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 20:00 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-AUTO-0002 | test | pass | 2026-04-17 20:00 | message: dup_rejected=True, unique_accepted=True |