REQ-SELF-FORMAL-001 inconclusive medium since 0.3.0
Statement: The VerificationMethod type shall accept "formal_proof" as a valid value.
Rationale: Vocabulary reservation for v0.4 formal-methods integration.
Verification Method: test
Last Checked: 2026-04-17 18:13 UTC
Acceptance Criteria
- A Requirement with verification_method="formal_proof" passes validation.
- The value round-trips through JSON serialization.
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-PYTEST-0044 | test | inconclusive | 2026-04-17 18:13 | source: pytest-vnvspec, reason: no test linked |