REQ-SELF-TYPES-001 pass blocking since 0.1.0
Statement: The vnvspec source code shall pass mypy --strict with zero errors.
Rationale: Strict type checking catches a class of bugs that tests miss.
Verification Method: analysis
Last Checked: 2026-04-17 20:00 UTC
Acceptance Criteria
- mypy --strict src/vnvspec reports "Success: no issues found".
Evidence
| ID | Kind | Verdict | Observed | Details |
|---|---|---|---|---|
| EV-AUTO-0011 | test | pass | 2026-04-17 20:00 | message: Success: no issues found in 77 source files |