{"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 re"},{"url":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","quote":"512/512 saved rows reproduced with |port - engine| = 0 <= 1e-8 (engine re-run unrounded; it rounds to every saved 6-decimal row exactly), and the 12 full 10,000-step proof traces agree exactly in every compared category with 0 fee error and 0 f64 relative error. No parity defect found, so no repair was made."},{"url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","quote":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, replica and tables that LEAN, QLX3 and QLX5 are all built on. LEAN: A/a79a3606 (copy-a); t"},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","quote":"# Credit: Taylor (gtmcknight), solved-policy research,\n# github.com/gtmcknight/amm-sim @ 4812a6382311624e1506aca131ca35c378f930d9 (research/solved)."},{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","quote":"    mean = finite(statistics.mean(diffs), 'mean difference')\n    se = finite(statistics.stdev(diffs) / math.sqrt(len(diffs)), 'standard error') if len(diffs) > 1 else None"}]}