REQ-SELF-SPEC-001 inconclusive 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: Never
Acceptance Criteria
- Constructing a Spec with duplicate requirement IDs raises SpecError.
- Constructing a Spec with duplicate hazard IDs raises SpecError.
Evidence
No evidence collected for this requirement.