REQ-SELF-FROZEN-002 pass blocking since 0.2.0
Statement: The Spec.extend() method shall return a new Spec instance without mutating the original.
Rationale: Frozen-model invariance must extend to the extend() API itself.
Verification Method: test
Last Checked: 2026-04-17 20:00 UTC
Acceptance Criteria
- spec.extend(new_req) returns a new Spec.
- The original spec.requirements list is unchanged.
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-AUTO-0009 | test | pass | 2026-04-17 20:00 | message: original=1, extended=2 |