# Verification checks (P4)

• clean re-run of out/analysis.py: results.json byte-identical: PASS
• analytic rows == n_analysed: PASS
• n_valid==n_analysed: PASS
• n_valid+n_unreadable==control: PASS
• sum recompute: PASS
• implied sum identity: PASS
• mean recompute: PASS
• median recompute: PASS
• ledger rows consistent: PASS
• ledger start==n_input_rows: PASS
• ledger end==n_analysed: PASS
• ids unique: PASS
• municipality gaps sum == n_unreadable: PASS
• implied unreadable mean plausible vs valid mean (within valid price range): PASS
• feasibility partial since n_unreadable>0: PASS