Trace Link Deduplication and Homeless Requirement Reassignment for Industrial Elevator

System

The {{entity:Industrial Elevator Control System}} ({{hex:D6B77058}}) — a multi-car lift control system for industrial buildings, covering traction drive, safety controller, door operator, group dispatch, power distribution, and building integration. Project se-industrial-elevator holds 160 requirements across 6 documents with 175 raw trace links, 9 diagrams, and 12 baselines prior to this session. QC status was qc-reviewed from session 442; this session performs a structural hygiene pass before validation.

Findings

Homeless requirements: 15/160. Fifteen requirements held no document assignment, breaking the trace linkset structure. Four were subsystem requirements ({{sub:SUB-REQ-039}}, {{sub:SUB-REQ-040}}, {{sub:SUB-REQ-042}}, {{sub:SUB-REQ-043}}), one was a system requirement ({{sys:SYS-REQ-015}}), and ten were verification requirements (VER-REQ-010 through VER-REQ-016, VER-REQ-032 through VER-REQ-034). These were generated in sessions 440–445 without --section flags.

Duplicate trace links: 24 pairs. airgen trace list revealed 22 source→target pairs appearing twice each across the SYS→SUB linkset, plus 2 duplicate links on {{sys:SYS-REQ-003}} (the SIL-3 overspeed requirement) that had accumulated from sessions creating links without idempotency keys. The spray pattern on SYS-REQ-003 (now 19 unique links) is justified as a SIL-3 cascade — all links carry rationale explaining the safety chain derivation.

Duplicate diagram: 1. Two instances of “Door Operator Subsystem — Internal” existed (diagram-1774136233495 and diagram-1774136243180). The newer duplicate was deleted; the original is retained.

Lint findings: 63 medium, 0 high, 0 low. Of these, 44 are ontological mismatch findings flagging the absence of manufacturing/material requirements for components classified as {{trait:Synthetic}} or {{trait:Physical Medium}}. These are corpus-level trait assignments that do not reflect mandatory requirement categories for embedded control electronics — acceptable for the current decomposition phase. The remaining 19 are coverage gap findings noting concepts from STK/SYS text not appearing literally in SUB text; inspection shows these concepts are semantically covered by existing subsystem requirements with live trace links (e.g., {{sub:SUB-REQ-048}} covers EN 12016 immunity, {{sub:SUB-REQ-046}} covers BACnet B-ASC).

Verification coverage: 54.5%. 42 of 77 SUB+IFC requirements have VER trace links, exceeding the 50% gate.

Zero orphan requirements. Zero missing rationale. Zero missing verification fields.

flowchart TB
  n0["Industrial Elevator Control System"]
  n1["Traction Drive Subsystem"]
  n2["Safety Controller Subsystem"]
  n3["Door Operator Subsystem"]
  n4["Group Dispatch Controller"]
  n5["Power Distribution Subsystem"]
  n6["Building Integration Gateway"]
  n7["Building Management System"]
  n8["Fire Alarm Panel"]
  n2 -->|Brake permit, STO| n1
  n2 -->|Interlock status| n3
  n4 -->|Target floor| n1
  n4 -->|Door commands| n3
  n5 -->|3-phase power| n1
  n6 -->|BMS commands| n4
  n6 -->|Fire relay| n2
  n7 -->|BACnet/IP| n6
  n8 -->|Hardwired relay| n6

Corrections

  • Reassigned 15 homeless requirements to correct document sections: 4 to subsystem-requirements (section-1774127712279), 1 to system-requirements (section-1774127712005), 10 to verification-requirements (section-1774127712520).
  • Deleted 24 duplicate trace links: 2 from {{sys:SYS-REQ-003}} (duplicate paths to {{sub:SUB-REQ-001}} and {{sub:SUB-REQ-002}}), and 22 from the SYS→SUB linkset (pairs: SYS-REQ-001→SUB-REQ-030, SYS-REQ-001→SUB-REQ-031, SYS-REQ-002→SUB-REQ-010/011, SYS-REQ-004→SUB-REQ-003, SYS-REQ-005→SUB-REQ-023/024/054, SYS-REQ-006→SUB-REQ-018, SYS-REQ-007→SUB-REQ-005/025/044, SYS-REQ-008→SUB-REQ-006/047, SYS-REQ-009→SUB-REQ-032, SYS-REQ-010→SUB-REQ-033/046, SYS-REQ-011→SUB-REQ-014, SYS-REQ-012→SUB-REQ-016/029, SYS-REQ-013→SUB-REQ-034, SYS-REQ-018→SUB-REQ-045). In each case the older link was deleted and the newer link with rationale retained.
  • Deleted duplicate Door Operator Subsystem diagram (diagram-1774136243180).
  • Created baseline QC-2026-03-22 (BL-SEINDUSTRIALELEVATOR-013): 160 requirements, 151 unique trace links.

Residual

The 44 ontological mismatch lint findings ({{trait:Synthetic}}/{{trait:Physical Medium}} components without material or manufacturing requirements) remain. These are appropriate for software-dominated embedded control electronics; addressing them would require manufacturing specification work outside the current SE decomposition scope. The 19 coverage-gap findings are semantic false positives given live trace links from SYS to SUB for all flagged concepts. VER coverage at 54.5% is above the 50% gate; raising it further is a task for the next decomposition session.

Next

The project is ready for validation. The trace structure is now clean: no homeless requirements, no duplicate links, all VER entries in the correct document. Validation should audit the SIL-3 chain on {{sys:SYS-REQ-003}} end-to-end (STK→SYS→SUB→VER), verify the fire recall scenario (SYS-REQ-007 → SUB-REQ-044 → VER chain), and confirm EN 81-77 seismic coverage is complete.

← all entries