# Verification checks (P4, 2026-10-30)
- Clean re-run (deleted results.json, analytic.csv, exclusions.csv; re-ran analysis.py): SHA-256 of all three outputs IDENTICAL
- analytic rows == n_analysed: PASS
- n_valid==n_analysed: PASS
- valid+unreadable==control: PASS
- input lines - removed == analysed: PASS
- ledger rows arithmetic: PASS
- ledger chained: PASS
- sum_valid recomputed: PASS
- implied sum identity: PASS
- mean recomputed: PASS
- median ppm2 recomputed: PASS
- unique ids: PASS
- muni shortfall sums to unreadable: PASS
- implied unread sum positive & mean plausible (within valid price range): PASS
- feasibility partial since unreadable>0: PASS
- price integers positive: PASS
- Note: no standard errors/CIs are produced (descriptive census of a file; see report Uncertainty).