{"args":{"bill":"londrina_brc_2026","bootstrap_B":200,"households":600,"seed":2026,"take_up":"reported","with_plan":true,"year":2023},"checks":[{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"ledger_resolves","kind":"diagnostic","min_lre":null,"note":"every figure's provenance.call_id is a ledger record: memo.missing_ledger_calls() == []","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":[],"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"provenance_registered","kind":"diagnostic","min_lre":null,"note":"every figure's provenance.tool resolves to a registered tool, by id or by engine, and the record its call_id points at was made through that tool at its card's version","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"no_auditor_blockers","kind":"diagnostic","min_lre":null,"note":"the deterministic axis auditor raises no blocker","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":0,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"sections","kind":"status","min_lre":null,"note":"each section's status, and the reason a not-applicable section gives","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":{"reasons":{},"statuses":{"analyses":"done","evaluation_design":"done","evidence":"done","memo":"done","plan":"done","policy":"done","score":"done","simulation":"done","theory":"done"}},"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"arithmetic","kind":"diagnostic","min_lre":null,"note":"scripts/check_arithmetic.py re-derives every figure from its trace: zero results that differ","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":0,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"interval_levels","kind":"diagnostic","min_lre":null,"note":"METHODS \u00a78.6: every interval at the level its derivation and its figure-table label name, re-derived where the trace allows (the bootstrap's replicates, the transported standard error)","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"golden_keys","kind":"diagnostic","min_lre":null,"note":"the same figure keys, and the same section statuses, as the golden","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":1e-12,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"golden_values","kind":"figure_close","min_lre":null,"note":"every value and interval bound equal to the golden to rel 1e-9","open_interval":false,"rel_tol":1e-09,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"golden_units","kind":"diagnostic","min_lre":null,"note":"every unit equal to the golden","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"golden_derivations","kind":"diagnostic","min_lre":null,"note":"every derivation (text, formula, terms, results) and provenance tool equal to the golden","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"golden_ledger","kind":"tool_called","min_lre":null,"note":"the ledger's sequence of calls (step: name, tools and model calls) equal to the golden","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":null,"weight":1.0,"where":null}],"datasets":{},"difficulty":"M","id":"e2e_memo.londrina_brc_2026.planned","level":"T3","meta":{"bill":"londrina_brc_2026","covers":"the planner on a Bolsa Fam\u00edlia change: the menu offers the inequality, progressivity and welfare stages (no budget step: the bill names no IRPF surcharge) and the fake planner includes all three; the inequality indices run on the simulation's own frames, Atkinson declining at \u03b5 = 1 on the frame's zero incomes; the progressivity block keeps Reynolds-Smolensky while Kakwani declines (the policy changes no tax); the welfare change declines on the zero incomes; every decline is stated in its block.","planned":true},"question":"","requires":["magi_agent","check_arithmetic"],"runner":"magi_bench.suites.e2e_memo:run_memo_task","sources":[],"split":"public","suite":"e2e_memo","tags":["golden","planner","transfer","evidence"],"target":"protocol","tool":null,"truth":"golden/londrina_brc_2026.planned.json (the protocol's own output, reviewed when written), gold/londrina_brc_2026.json (hand-written reading of the bill) and scripts/check_arithmetic.py (independent re-derivation)"}