1# Verification checks (P4)2- Clean re-run of out/analysis.py: results.json byte-identical: PASS3- CI contains ATT: PASS4- CI half-width = 1.96*SE: PASS5- wage CI contains ATE: PASS6- weeks CI contains ATE & low<high: PASS7- SEs positive: PASS8- wage p=0.022 consistent with derived SE (z=1153/503.83): PASS9- HIV 5km no star & |t|<1.645: PASS10- 5km ATT ** consistent: 1.96<|t|<2.576: PASS11- narcotics 3km *** consistent |t|>2.576: PASS12- fatal 1km *** consistent: PASS13- %change -35.0% = exp(-0.431)-1: PASS14- n_analysed = 25 and exclusions add up: PASS15- all locators present: PASS16- Note: JSON cannot store trailing zeros; 0.210 is stored as 0.21, -0.340 as -0.34 (numerically identical to the printed values; printed strings appear in the script's stdout).17