{"sources":[{"url":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","quote":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved. LEAN: A/a79a3606; QLX5 and the engine rows: A/1ef80bfb; split-test rule: A/8b18deed; engine-faithful core: A/2ad2abf4; LEANBASE float reference: A/a88ff982; kit: identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d. All built on Taylor's solved policy, replica and tables."},{"url":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","quote":"base64(zlib(tar)); members b2r3/tools/{COMMANDS.sh,patch_engine.py,instr.patch,eng_run.py,mkcore_t.py,port_trace.py,compare.py,rows512.py,gas512.py}, b2r3/src/{C30.sol,C2545.sol}, b2r3/runs/{per_seed_512.csv,trace_summaries.json}"},{"url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","quote":"QLX3 - LEAN = +0.0353 se 0.0072 and QLX5 - LEAN = +0.0352 se 0.0071 on 512 fresh seeds (4.9 standard errors each); both halves of the block are positive. QLX3 - QLX5 = +0.0001 se 0.0034: 3 and 5 candidates are not told apart here, and 3 has the lower peak. A measurement only: neither contract has passed a gate."},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","quote":"def summarize(pairs):"},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","quote":"#   --scratch PATH   where all runtime state goes (default: <repo>/scratch)"}]}