REQ-SELF-FROZEN-001 pass blocking since 0.1.0
Statement: The core models (Spec, Requirement, Evidence, Hazard, ODD, IOContract, TraceLink) shall be frozen Pydantic models.
Rationale: Frozen models prevent accidental mutation and guarantee hashability for traceability graphs.
Verification Method: test
Last Checked: 2026-04-17 20:00 UTC
Acceptance Criteria
- Every core model has model_config = {"frozen": True}.
- Attempting to set an attribute on a constructed model raises a ValidationError.
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-AUTO-0008 | test | pass | 2026-04-17 20:00 | message: frozen=True, mutation_blocked=True |