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 18:13 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-PYTEST-0031 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/test_self_spec.py::TestExtendImmutability::test_extend_preserves_original, test_name: test_extend_preserves_original |
| EV-PYTEST-0009 | test | pass | 2026-04-17 18:13 | source: pytest-vnvspec, nodeid: tests/core/test_spec.py::TestSpecExtend::test_extend_preserves_original, test_name: test_extend_preserves_original |