REQ-SELF-TRACE-GRAPH-001 inconclusive high since 0.1.0
Statement: The build_trace_graph() function shall reject cyclic traceability links.
Rationale: Traceability must form a DAG for correctness of coverage analysis.
Verification Method: test
Last Checked: Never
Acceptance Criteria
- Cyclic links raise SpecError.
- Acyclic links produce a valid networkx DiGraph.
Evidence
No evidence collected for this requirement.