1# Verification checks (P4) — all run 2026-10-30 via python on out/ files2- Determinism: deleted results.json/analytic.csv/exclusions.csv, re-ran analysis.py; SHA-256 of all three identical — PASS3- analytic rows (1164) == n_analysed — PASS4- n_valid + n_unreadable == n_records_control (1164+36=1200) — PASS5- sum_price_valid + sum_price_unreadable_implied == sum_price_control — PASS6- analytic.csv price sum == sum_price_valid — PASS7- mean_price_valid == sum/n — PASS8- median_price_per_m2_valid recomputed from analytic.csv — PASS9- exclusions ledger: n_before − n_removed = n_after each row; chaining; starts at 1200 (n_input_rows) and ends at 1164 (n_analysed) — PASS10- sale_id unique in analytic set — PASS11- municipality gaps vs control are all ≥0 and sum to 36 — PASS12- Magnitude vs baseline: control mean 471287000/1200 = 392,739.17; valid mean 392,070.45 (−0.17%) — PASS13- feasibility = partial because 36 control records unanalysed — PASS14- data/ unchanged (SHA-256 re-verified after accidental creation and removal of a stray data/out/ directory) — PASS15