REQ-SELF-TRACE-GRAPH-001 pass 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: 2026-04-17 18:13 UTC
Acceptance Criteria
- Cyclic links raise SpecError.
- Acyclic links produce a valid networkx DiGraph.
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-PYTEST-0023 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/test_self_spec.py::TestTraceGraph::test_acyclic_links_accepted, test_name: test_acyclic_links_accepted |
| EV-PYTEST-0022 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/test_self_spec.py::TestTraceGraph::test_cyclic_links_rejected, test_name: test_cyclic_links_rejected |