| Clean re-run of out/analysis.py reproduces out/results.json byte-identically |
PASS |
| Market clearing good 1: x1_A + x1_B = 12.0 = aggregate_endowment_good1 |
PASS (12.0) |
| Market clearing good 2: x2_A + x2_B = 10.0 = aggregate_endowment_good2 |
PASS (10.0) |
| excess_demand_good1 = 0 |
PASS (0.0) |
| walras_law_residual = 0 |
PASS (0.0) |
| Budgets bind: A 9.0 = 0.8758+2; B 11.5 = 0.8754+8 |
PASS |
| Optimality: MRS_A = MRS_B = p = 0.875 |
PASS |
| Closed-form vs numerical root (brentq on z1(p), not using closed form) |
PASS, |
| All allocations strictly positive (interior solution) |
PASS |
| n_analysed (2) = n_raw agents (2) − removed (0) per exclusions.csv |
PASS |
| Hand derivation: p = (0.42+0.68)/(12-(0.48+0.64)) = 5.6/6.4 = 0.875 |
PASS |
| Data issue (E1 summary 14 vs primary 12) reported in data_issues |
PASS |