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