1# Verification checks (P4)2| check | outcome |3|---|---|4| Clean re-run (deleted outputs, re-ran analysis.py): SHA-256 of results.json, analytic.csv, exclusions.csv identical | PASS |5| analytic.csv rows (1164) == n_analysed == n_valid_records | PASS |6| n_valid_records + n_unreadable_records == n_records_control (1164+36=1200) | PASS |7| n_input_rows (1200) == n_records_control (no extra/missing lines; only unreadable ones) | PASS |8| sum of price_cad in analytic.csv == sum_price_valid | PASS |9| sum_price_control − sum_price_valid == sum_price_unreadable_implied | PASS |10| mean and median price/m² recomputed independently with pandas from analytic.csv | PASS |11| exclusion ledger: n_before − n_removed = n_after each row; chained; starts at 1200, ends at 1164 | PASS |12| sale_id unique in analytic dataset; price_cad integer dtype | PASS |13| per-municipality control deficits sum to 36 = n_unreadable_records | PASS |14| magnitude: implied mean of unreadable records 14,917,000/36 ≈ 414,361 CAD, same order as valid mean 392,070 CAD (plausible) | PASS |15| no CIs/SEs produced (descriptive census totals) — n/a | n/a |16| feasibility == "partial" since 36 control records not analysed | PASS |17