1# Verification checks (P4)2| # | check | outcome |3|---|---|---|4| 1 | Clean re-run of out/analysis.py regenerates byte-identical results.json | PASS (cmp identical) |5| 2 | Market clearing: x1_A+x1_B = 12.0 = aggregate_endowment_good1; x2_A+x2_B = 10.0 = aggregate_endowment_good2 | PASS |6| 3 | excess_demand_good1 = 0, excess_demand_good2 = 0, walras_law_residual = 0 (float) | PASS |7| 4 | Budgets bind: A spends 9.0 = p*8+2; B spends 11.5 = p*4+8 | PASS |8| 5 | MRS_A = MRS_B = p = 0.875 (Pareto efficiency / tangency) | PASS |9| 6 | Exact rational arithmetic: p = 7/8, x1_A = 144/35 (=4.1142857...) matches float | PASS |10| 7 | Closed-form vs brentq root of z1(p) on [1e-6,1e6]: abs diff 1.1e-16 | PASS |11| 8 | All allocations strictly positive (interior solution) | PASS |12| 9 | n_raw agents 2 - removed 0 = n_analysed 2 (exclusions.csv) | PASS |13| 10 | Input discrepancy (sheet E1 14 vs sum 12) recorded in data_issues | PASS |14