{"item":"lb-4","batch":"e08-lean-b","credit":"Taylor (gtmcknight): replica, Gaussian filter, qm tables (github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved); seats qt1, TC-A #770, o1-a #541, o1-b #1497, tca-path, buy-grid.","status":"complete: P, Q, T, F, G pass; E run on both windows. No leaderboard submission.","summary":"The LEAN TELL (buy-grid bounded sell_one_division / buy_grid, budget 4, nothing tuned) replaces tca-path's path tell in the reference and in Solidity. Replica report 10000..12047: +3.160 vs qt1 (se 0.022, min -1.360, no seed under -2). Contract: 22946 bytes, labels equal the reference on all 350657 first trades of 74200..74249, fees within 4.8e-07 bps on 100,000 callbacks, engine afterSwap peak 224481 gas with 0 out-of-gas over 520 seeds; engine pairing vs qt1 on 512 fresh seeds: +3.163 (se 0.043, min +0.573). The tell alone costs at most 9800 gas (mean 6196). All figures are local measurements on this machine; replica levels are not leaderboard scores.","inputs":{"tca_path":{"url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","sha256_equals_name":true,"source_bundle_sha256_compressed":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","bundle_sha256_checked":true,"materialize":"blob.bin restored, sha256 3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e"},"buy_grid":{"url":"https://api.imdnotdead.fun/artifacts/a162a591237e25c49d30b98c30c1c1fdc23746ead5ff3371a460a77357825624","sha256_equals_name":true,"code_used":"scratch/bounded.py, analyze.py, arithmetic.py (code.zlib_base64) as the exhaustive comparator in test_fidelity.py"},"qt1":{"url":"https://api.imdnotdead.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","sha256_equals_name":true,"solidity_block_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"},"replica":"github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9 (research/solved)","engine":"github.com/benedictbrady/amm-challenge @6b6921f8d463314aa7c96234e1be25a25245f704; setup.sh ran once, exit 0; wheel sha256 aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a checked by setup.sh"},"lean_tell":{"definition":"First own trade of a step. Sell (pool sells X): positive iff doubles py, cy of previous/new reserveY wads give d = cy - py > 0 and trunc((d/g)*1e18) == amountY; over budget if n(py)*n(cy) > 4. Buy (pool buys X): positive iff a double rx of the previous reserveX wad and a double xv > rx give trunc(((xv-rx)/g)*1e18) == amountX; over budget if n(rx) + n(xv) > 4. g = 1 - feeWad/1e18 with the fee wad returned on the previous callback for the traded side.","update":"positive: pi := pi/(pi+(1-pi)*L), L = 15/13131 sell, 16/12889 buy, capped at 1-1e-4, mixture kept when .005