REQ-SELF-SPEC-001 pass blocking since 0.1.0
Statement: The Spec model shall validate uniqueness of requirement IDs and hazard IDs at construction time.
Rationale: Duplicate IDs would break traceability and coverage reporting.
Verification Method: test
Last Checked: 2026-04-17 18:13 UTC
Acceptance Criteria
- Constructing a Spec with duplicate requirement IDs raises SpecError.
- Constructing a Spec with duplicate hazard IDs raises SpecError.
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-PYTEST-0021 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/test_self_spec.py::TestSpecValidation::test_duplicate_hazard_ids_rejected, test_name: test_duplicate_hazard_ids_rejected |
| EV-PYTEST-0020 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/test_self_spec.py::TestSpecValidation::test_duplicate_req_ids_rejected, test_name: test_duplicate_req_ids_rejected |