REQ-SELF-FORMAL-001 pass 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 20:01 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-AUTO-0028 | test | pass | 2026-04-17 20:01 | message: construct=True, roundtrip=True |