{ "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables, replica, gates.py and harness run shape; QLX5 and AGE are network extensions of his LEAN policy.", "item": "s4", "batch": "a2-age-a", "where": "engine", "submission": false, "summary": "Negative result. QLX5+AGE (CAND) minus QLX5 = -0.007991 se 0.013178 on 128 fresh paired engine seeds 10208768..10208895; mean+2*se = 0.018364 < 0.04, so the futility rule stopped the block after round 1. Round 2 (10208896..10209023) was not simulated and is retired with the lease. An early-stopped block cannot certify E; advance=false.", "gain_vs_base": -0.00799112390550416, "se": 0.013177711735361829, "n": 128, "seeds": [ 10208768, 10208895 ], "allocated_seeds": { "lease": [ 10208768, 10209023 ], "count": 256 }, "completed_seeds": { "count": 128, "range": [ 10208768, 10208895 ], "contiguous": true }, "partial_seeds": [], "burned_seeds": { "interrupted_or_failed": [], "unsimulated_retired_with_lease": { "range": [ 10208896, 10209023 ], "count": 128, "note": "No arm ran these seeds. They are consumed with the lease under the futility stop and must never be reused." } }, "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "advance": false, "advance_rule": "n=256 and gain_vs_base>=0.04 and P/size/gas pass and all callbacks succeed; not a pooled promotion", "advance_failed_on": [ "n=128, not 256 (futility stop after round 1)", "gain_vs_base -0.007991 < 0.04" ], "rounds": { "planned": 2, "completed": 1, "size": 128 }, "stopping_reason": "futility_after_round_1", "stopping_rule": { "text": "two rounds of 128; stop after the first if cumulative CAND-QLX5 mean + 2*se < 0.04 (explicit rule of this item; score.py's built-in 3-se rules were not used)", "mean": -0.00799112390550416, "se": 0.013177711735361829, "mean_plus_2se": 0.018364299565219497, "threshold": 0.04, "stop": true }, "CAND_minus_QLX5": { "n": 128, "sum_d": -1.0228638599045325, "sum_d2": 2.8310621512922003, "mean": -0.00799112390550416, "se": 0.013177711735361829, "min": -0.36234369872749994, "max": 1.1146073462150525, "seeds_positive": 58, "worst5": [ { "seed": 10208889, "diff": -0.36234369872749994 }, { "seed": 10208848, "diff": -0.32488330443140967 }, { "seed": 10208801, "diff": -0.317366582928571 }, { "seed": 10208782, "diff": -0.31417482814936193 }, { "seed": 10208831, "diff": -0.1838070550867883 } ], "best3": [ { "seed": 10208816, "diff": 1.1146073462150525 }, { "seed": 10208793, "diff": 0.3026702487596822 }, { "seed": 10208777, "diff": 0.27147134316794563 } ] }, "CAND_minus_QT1": { "n": 128, "sum_d": 441.337011346568, "sum_d2": 1654.5439711720328, "mean": 3.4479454011450623, "se": 0.09039708053540112, "min": 1.0022244983562132, "max": 6.33449342328953, "seeds_positive": 128, "worst5": [ { "seed": 10208835, "diff": 1.0022244983562132 }, { "seed": 10208863, "diff": 1.0188621030803233 }, { "seed": 10208857, "diff": 1.5768467728321411 }, { "seed": 10208785, "diff": 1.651430776504526 }, { "seed": 10208799, "diff": 1.6864127186466362 } ], "best3": [ { "seed": 10208829, "diff": 6.33449342328953 }, { "seed": 10208816, "diff": 5.614432541191263 }, { "seed": 10208772, "diff": 5.589985864318351 } ] }, "QLX5_minus_QT1": { "n": 128, "sum_d": 442.3598752064725, "sum_d2": 1662.3666521152593, "mean": 3.4559365250505665, "se": 0.09065562616239921 }, "per_32_block_CAND_minus_QLX5": [ { "seeds": [ 10208768, 10208799 ], "n": 32, "mean": 0.004127942732024437, "se": 0.02009556494162752 }, { "seeds": [ 10208800, 10208831 ], "n": 32, "mean": 0.002713433397873999, "se": 0.041091536317347 }, { "seeds": [ 10208832, 10208863 ], "n": 32, "mean": -0.02164517364538021, "se": 0.017862984473054566 }, { "seeds": [ 10208864, 10208895 ], "n": 32, "mean": -0.017160698106534866, "se": 0.020422066770766995 } ], "peak_gas": 208377, "peak_gas_limit": 245000, "oog": 0, "other_callback_failures": 0, "chars": 47757, "bytes": 22558, "limits": { "source_chars_max": 50000, "deployed_bytes_max": 24576 }, "arms": { "CAND": { "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "source_chars": 47757, "runtime_bytes": 22558, "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9", "creation_bytes": 22587, "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f", "validator_valid": true, "mean_edge": 522.2422532590408, "afterSwap": { "calls": 1385800, "ok": 1385800, "peak_gas": 208377, "mean_gas": 136602.96807115024, "out_of_gas": 0 }, "afterInitialize_peak_gas": 137227, "errors_all_roles_all_callbacks": { "oog": 0, "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "unsuccessful_calls_all_roles": 0, "callback_counters": { "Baseline/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 21796 }, "Baseline/afterSwap": { "calls": 1358375, "ok": 1358375, "max_ok_gas": 22592 }, "Baseline/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21526 }, "Submission/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 137227 }, "Submission/afterSwap": { "calls": 1385800, "ok": 1385800, "max_ok_gas": 208377 }, "Submission/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21591 } }, "run_batch_seconds": 21.442, "vanilla_normalizer_mean_edge": 340.77680387104306 }, "QLX5": { "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40", "source_chars": 47230, "runtime_bytes": 22440, "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8", "creation_bytes": 22469, "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab", "validator_valid": true, "mean_edge": 522.2502443829463, "afterSwap": { "calls": 1385586, "ok": 1385586, "peak_gas": 206317, "mean_gas": 136675.55860047662, "out_of_gas": 0 }, "afterInitialize_peak_gas": 137227, "errors_all_roles_all_callbacks": { "oog": 0, "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "unsuccessful_calls_all_roles": 0, "callback_counters": { "Baseline/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 21796 }, "Baseline/afterSwap": { "calls": 1358391, "ok": 1358391, "max_ok_gas": 22592 }, "Baseline/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21526 }, "Submission/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 137227 }, "Submission/afterSwap": { "calls": 1385586, "ok": 1385586, "max_ok_gas": 206317 }, "Submission/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21591 } }, "run_batch_seconds": 21.417, "vanilla_normalizer_mean_edge": 340.8069528448804 }, "QT1": { "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca", "source_chars": 42990, "runtime_bytes": 20605, "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189", "creation_bytes": 20633, "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f", "validator_valid": true, "mean_edge": 518.7943078578958, "afterSwap": { "calls": 1387853, "ok": 1387853, "peak_gas": 208812, "mean_gas": 138054.35440568993, "out_of_gas": 0 }, "afterInitialize_peak_gas": 90858, "errors_all_roles_all_callbacks": { "oog": 0, "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "unsuccessful_calls_all_roles": 0, "callback_counters": { "Baseline/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 21796 }, "Baseline/afterSwap": { "calls": 1373845, "ok": 1373845, "max_ok_gas": 22592 }, "Baseline/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21526 }, "Submission/afterInitialize": { "calls": 128, "ok": 128, "max_ok_gas": 90858 }, "Submission/afterSwap": { "calls": 1387853, "ok": 1387853, "max_ok_gas": 208812 }, "Submission/getName": { "calls": 128, "ok": 128, "max_ok_gas": 21579 } }, "run_batch_seconds": 22.687, "vanilla_normalizer_mean_edge": 344.778081957581 } }, "runtime": { "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01", "engine": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1 (Taylor's release wheel)", "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)", "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282", "driver_artifact": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "python": "3.12.16", "numpy": "2.5.4", "run_batch_workers": 8, "allocated_cores": 32, "normalizer": "kit engine checkout contracts/src/VanillaStrategy.sol (30 bps), same bytecode for every arm", "horizon_steps": 10000, "config": "driver.config_for(seed) = kit engine_eval._config(seed), 12 fields compared for all 256 lease seeds (3072 fields equal) before the run and again per block" }, "inputs": { "a_check_artifact": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "a_check_file_sha256": "dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "CAND": "zlib(base64(code_zb64)) of the a-check result, frozen read-only before the run; sha256 equals the brief's CAND hash", "QLX5": "code_zb64.QLX5 of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 (file sha256 equals the artifact id)", "QT1": "kit reference/materialize.py output qt1/Strategy.sol (35 verified originals)", "exact_CAND": { "source_sha256_equals_brief": true, "runtime_sha256_equals_a_check": true, "runtime_bytes_equals_a_check": true, "a_check_runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9" } }, "gates": { "P": { "inherited": "pass", "measured": "pass", "evidence": "kit gatep.py --reference scratch/reference/taylor --cache scratch/cache/gatep (explicit scratch cache): 'gatep: PASS (executed gates.py)', exit 0, 1.75 s; repeat 'gatep: PASS (verified cache hit)'. Taylor's gates.py sha256 603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604 equals upstream at 4812a638.", "gates_output": [ "10000 448.261189 443.455598 443.522608 443.663520", "10001 576.779199 571.463409 571.623551 571.977293", "10002 531.886497 525.168028 525.865859 526.411631" ] }, "T": { "inherited": "pass", "measured": null, "evidence": "inherited from a-check only (0 mismatches in 549905 callbacks, seeds 74200..74249); not re-run here" }, "F": { "inherited": "pass", "measured": null, "evidence": "inherited from a-check only (worst 6.0834e-10 bps, tolerance 0.01 bps, 100000 callbacks); not re-run here" }, "Q": { "inherited": null, "measured": null, "evidence": "replica scoring was not part of a-check or of this item; not run" }, "G": { "inherited": "pass", "measured": "pass", "evidence": "measured here: 47757 source chars <= 50000; 22558 deployed bytes <= 24576 (kit SolidityCompiler, pinned solc 0.8.24, optimizer 200, viaIR, paris); amm_competition SolidityValidator valid, no errors; engine afterSwap peak 208377 <= 245000 over 1385800 Submission/afterSwap calls on 128 seeds; 0 OOG. The peak is a 128-seed sample, not a bound." }, "E": { "inherited": null, "measured": "not_certified", "evidence": "futility screen stopped after round 1 (n=128); an early-stopped block cannot certify E. CAND-QLX5 -0.007991 se 0.013178; CAND-QT1 3.447945 se 0.090397." }, "inherited_all": "pass", "inherited_PTF_pass": true }, "rows_zb64": "eNpVmQuS5DYORC9UoQD/5Fkcvv819j1odih77Ak3WsUigURmgvrnnxI19pr7N1d9Ypfaa11ljFIyUvroY6zWN7HfnPtpMffpZZ7Wz7+//3/+/PoeT8zo/cRsc7bob4iPn3HWnq5EqDy97N7qGv3svdbfNVb82mkPj7bSV2ERPkGoP/x61T7bavUMIsWH1h7Bzs75rFB+/aynNp5fsffYtWeknLqiz1nWHGMS6s/uY89dOUZt+65Qf7PMh32QiLE4VxsZ6bUVTtfGjraIxMP/lLZXaW2Nchdov8Hj+4wxasToHPWNjFMKqZltFwKcc89B3jf7+nw/++VhDkXe6o5SKoH1RGHjZ5deivvn43vWPWefp8x167DI8FgPiV91k2N2WN8Q2TwjVm/U14grxOmzNtY+a94l5m9EfVqfPMy31TFXRlgwBtDoK4ppPSS6zAAXo4y6+l2BBA3KTI0mf1VqtDNiGYFNO7MVIn09Y8Q5h022cz5J5Jd1PVSDlM3p4UtGLDEfa4NVJpHOM60NStKo7AcIhxKVZw0wUMai5rtnZFoFcsh5gsLGeUhBqRtg8Gf8XWDHj9Q+1PzsqHudOFQ2QwCS0tbJ7iqlmJ1qiaXGvqLWu8S7ZTIEQIK8s+eMBPkbU4xSEyI0GTiJTW1rfNC864/dPoNaUvzBnvbOyCZlPRqIGj6zQfwMTtfLoEL38y1xtjp1O7UWOvNPhIKBT3qkdItNEgAOOd15qLtA/406nraCIi223kCOkcouyDgIFiwcAKB0WmGUAM738+AsxmMjk8dO1bakQIjj770Tu2Q1bAbIgDqvoOHuAuR3AdTgk5nwyDUN9VMhmVrJ28m6rM7Whx8vH17aQPfQq2SgVA4CDs4bKQ1SIC90BYfakzybVpqcRvkssOkVqk6FyECA3EEZM7RonbPKZlF4Z5CogBJ6n6PyNbeh3OAIWhgUURSwQO5+VOM5MAwtTh/PQR46LEErnlmaB9k3EQc4NnBSYx6ab0GFwNcQYIoh1YEzInU/cF6HdWzJW8oD55z6LADa16BZ+J6MzDMkEZtgtsQSa9QECBx283AAWm/Ukn6EgKn0LBmhR+uBJk+TGEfbz0EDCipB1W5LAz2S8gyw0AYaQxpHRir8acbtadp+k6hWS6O3egOgdwGZEQoB8izNbsHjyJBfTFop1ZSXIiWqUxv+LmXeQqAdqMID5uZ509xrRigRP5FDmIXAQKFo19N3LXt/cjB/bR9SJmpgkeqKRmjVSk4AR2t0HarAQTdEUYMifMvwZoiHYQz0YfZaMtJkoDHlV/DZaIhCpml6iv2RSHi0Q3opXXBzYZ2SET4as6KnNBFwqyaqFylHli/trsBv16vKlV5Akmt7I6Sc1O4ewZ7ssSZXqoH03/yLxR3BBuMxf/RcJwuSCBG+qUSg7RSGQwBFQDgRfLixXHlghxRpPSwLUKZfCosYoShyIJltE9kLRNrC0vhI0VUoCDlPiOzy2QJNgYCMcFSAr+wfoUEvsBBgBPX7rM8RQHpDTSo/4lgoFYpjhAY9QXE7KIf8mjYBVod1UOU4d4GeLmSXsFu6doMzZIi6FBoSdoWbYbnHpYAiekOr3RVGuhAq2iAHunF1D6ExWVkxUknP8UlECBQc5fjDbLAOzL0f2PdIegGWzxtC9e1ytH54rGRXMkSiyO/5ZGEl9TaZG/CRQBowI/YNO7P8Rkgsi++Fpzhi6q7Ab4v6hx+qehY6+U+EY8G2KCc4JMQpoIBa7dQSHyy8cIRIIPvG/qZ7IEIAjOILBgTJClhRv4+vgb5am397ghpgS7FsdD+YjPQXGYGkAx6qqPPUutITRy+K7wJhNw9FuJO2YrMiVACqzwxBKqRtubCJWLAVJpIWVcF3vStQKBUkRBQZ5NtbRnAHgJR8QtrKBnzXSes+wWkxRncFEekKFd+waSHoISN0CVzW5JciRqtm+DVR6Pq+C+AkfJyqcYi+FNSMwDmkDMqrYJVI1VCwQ7qGxvycwRQFBsl+BNP4vDcwtU+ROsfncZJpzOkNlo2LhYIfWyE/U6UzlSAiCLMn5+uLXttIB02swBmb57gL4BoXsooK05QbEcJtGJGnQBe0vfWRCwe15UZ5oX5PwC/pYZCKAFMwYDTfCFuXzOA6D0UKUOwzSBNMcD45hLU4MQXjX+QQCc0AXlMK6VaNFhumufgU+2K1v5+vMKMmVWvB/NMUwjcSehsOqzMgQgqwpnQcJp1N3AVKujGsoRiFzQ80YcR+pIwqigsEcJ9MP7DiARJXINCh9AAjBYLkgbLXFXDU0P6j8JAbIXwZXB10JDJULq8gBxjmR6qIRNE0C0boYM24ro090JANFCLjXcYudwFwDnFCqkwa9AItrI8j1BGp7DCMl34HzTgUSTSAl+8p9DZwAAaHpKqAQxYhNOhmzAGPVzuy6ejBpuZOwFw0ac07yq4iIPcgla7KkP1F9iF63TIhulqRREro3fgcBECixFON4czAMJus2ZPswfEMRBDBsuDmIJljnT/l3MkifCm8WEGRY0uGhmmHys5g4z2Zhc6VKmy0+lni5PwqGy5P0C3YG8IgYCUpKqquchTGCLsPsCKi+6aiaR5hdSHvWDtP5rcB9AKeomlIT5bDHCAjDAuk+C4gQcIEenT6jv3R0RkCZdD6dAaOHIbGo0kBT7AcP12SbfV1GRgWjZUZec8NpNLfb/3HyFUx1SsHHifHzxJyKnp6nMFfu1QygvGTYHFa2eASL61rZhi42epdwV+2h7Z1NRJFRd4Ip6CkUK0tTQgWyKmN2Ru01qvbulagfGzN4SVEdc5rXn1U2huM4hRe4Jw0aTiPvj791WaKOhzF0+yPx8vIkL0ApbOPvt9TLJ5gB1SOUt0VHB4wYPQ2PFyqMtffEBqMNmJhQJYN410IDW+DwDefTeycO4fa4Hiof38jSB5+vngurznwtiCfLOK426fJxYt3QdhyFMNrgt3eCF2PyOZNywsI+KULKmBSPtXskCVU7paZQ2x0x00itAGeEYH2KooIOCW1UH9grucVHJyvarTsbFazKUdGhiZQxXnn68GMgrp17wIYVG4SXB0mHcSOFsaBqWXovRLAc4XXX3n54XXMcMR2JLxLeGjkAMugGDk+irFp6ba2kIk0dEmzyWbIKKiCTD9cp0QocnzRVta6KkQA8qTf+InUIDoyhIkGEqSq3kp0RxC2UNClQcHYYWkZIsBAhA5BlgTaU3kIkENc7O1Cur/sjCk4jPgou1cTGaJik4YkF/TsTIaYXsEUAM+i5bPGyksufhV5UaesvRFKz5aL3+ozaC+1DIuDhF3t9HGsAULXnRGdrXpGKKKQxssWEgm0HlTFXDEffG5Lcq5f85HUNWhNSXgjaAE6xJJOrMBpOIaj0DxaLxpG5MQguUiCNW+YMoLDdI6Af+luQkDaWU/Ix9d/DNmIGbs7JMPckeOoESYVjuNInPek8qzWZdmmn7EEocXW2QB7TO+kwOEbCQ0Ii0BI6iaHCkUT9YXxLxwV1doebzoDFIC+HAa1zt27QfgbPHoG7728Sgxr1T9n8EIKKjr0mm1I6f5EwtlSY+SUAJDw7BxAp9X/cwYMCz3otcrxagHTOTMC8KEAPoHj8hlU10u0w5hD41wkjdc1LsYulIFqhreBRpBhEMVTXkNp8Df5YEm4Yn0XWHk3qValv4KA58wQFpCcsHfIYr0Xw6dCdV6g/PcQeiylLJPsZEaqM8SktbzK7s4gI4erpX6CJ2+4PqKpsuh1i96zOKlXFS/t79J5QtOiiFDgBzioF6eYrA83zMhvoPTYRxhxqNNGEFwwQqdOb/A8G46WxKCrYPpuAvwwP8ME9J9eDypYGfHGlwRLRWg3oQ6kEE8GNzjy3plsPX/Xw2DjpkNe1xYZoUfAF3YgXwzgolrOZrA5Fv6zBe8cSTSqxn/TORXepa+CTemfWzW3Xnoz9js8W6Lbl1A4FfDOM73HUM9ahvImjPXxcjiUpiHN5e3L9bGC83UVbBcIOwyWeA2NG0ZWoskZFmJ5D+Mf7/A+ZQDB/b2IHVQK0K034PVdbceQtwWHzqOxm/Ph5zp7z/Xe7eEOASqcgrD0DDFU+5aBdltmIb3oslM1j/D+XYIesO4sPpenBIcZyYH1FDjWu38MthfOEjb62z7zocTD+ewA2prKYzMzgrCy85lTqv4LxVbnvGCoQvTvCguC3DQR5rm7uzFzy4a8yplyUffeZi81X4YFcuMzH62SVAKP6jrwXt03BUQGreVI6ihx8nWLLtYbUHS730Su+sMeP74F4ePN+43xRvQnwEynYmTwDPKEQDAwfG5dfDuDgkAe720G/ntkhL6c700uCCTCAg6i2ivM8U0jtKGSFmtpfzpXj1dcFYnmvbz3D01JxwNVR7YGwD57GHlXFV75mEbOqVMytHzZMqlNf9/ybOnj6Gqr97zX+3jt7mwuMcmQDDgrI/SOrxdo/PA108vEzANY5dY+3metvD1m7YF5C9KecodrjZTVHnm7N3PEKt5ATI1wfN6RbC+XOKavR2C+dHD6tdePw2Q6j/VKMC1FT8F2+1sMSr29RKuuzHztLZwRoOvrCaTNOw8H/uMLF6lpzo/12fGeEOw6kczkASPhkKiT0JSn1lDHqt1HED6KrXXv3qGnXIdue2Sk5D2TbYk7zDsECA5PEmhY/1jx7Y2IA7tjL9MDiWgZqb4mCm0WC6Ur9dYeODV9z8WT72iqYxFSNawr/PZGlkrddZ15ZRAQLoUqEDFadQupaQatYAnYgd7hRT0BEFAdXCU7ipCv47yz5x/J4X4e/ENE1TGZ7KyQcDOitPq+UFeYN/3URFbwRVl8cuigDfXqLJtaoN/PUK16t/AOzAG1be+i5juwxIcW8IXdl4MoNl+Ie9O5ZYRWwBw4ehcHzq6MlGwwrNH4lAGUHKjTt1roouOQP/Oo9YYoWqXSOz0EBWVShInvp0+yOXgFIUsO0YwS4eS4xHwVrZdsppn/W94GlM+c79sZFFHQ5luMLnG8oe79AyJTMgUkkadb970Xs+m4DX1KvvrI205NGnz2RoY3hcquF2DZC90L0eaUWe+7iW3ZK5pIBYuXJiPWH2hBCHZNjg1EAILjHkrU8HNXJX1BM3W7eaOwHWbLe3+XA3vTPJhn9MG3FGFdGQo+CzjP41UrVIqvRa5DK7Z8PeJtGnAG/PIah6jLC2+63rN80gCXsgnAq/VjhpU535AvKphXAZOAbt7vOsXHUjlR+3//B33vxQc=", "rows_format": "base64(zlib(json [[seed, CAND, QLX5, QT1], ...])), 128 complete paired seeds, unrounded engine submission edges", "rows_sha256": "409be03143186e6f77455f6a0276b25b6a29c1d0832e4e2801c5ab9961b855c0", "commands": [ { "cmd": "bash setup_fast.sh --platform linux-x86_64 --cache scratch/cache --scratch scratch --deadline 420", "exit": 0, "wall_seconds": 7.7, "note": "cold, 16 pinned downloads, verify_env ok" }, { "cmd": "python3 -B reference/materialize.py --out scratch/reference", "exit": 0, "wall_seconds": 0.1 }, { "cmd": "python -B gatep.py --reference scratch/reference/taylor --cache scratch/cache/gatep", "exit": 0, "wall_seconds": 1.8 }, { "cmd": "python -B driver.py --kit KIT --compile-only --strategy CAND=arms/CAND.sol --strategy QLX5=arms/QLX5.sol --strategy QT1=arms/QT1.sol --out compile.json", "exit": 0, "wall_seconds": 10.4 }, { "cmd": "python -B driver.py --kit KIT --check-configs --seeds 10208768 10209023 --out cfg.json", "exit": 0, "wall_seconds": 0.1, "note": "construction only, no simulation" }, { "cmd": "python -B driver.py --kit KIT --strategy CAND=arms/CAND.sol --strategy QLX5=arms/QLX5.sol --strategy QT1=arms/QT1.sol --seeds 10208768 10208799 --lease 10208768 10209023 --out ledger.json --block 32 --budget 500", "exit": 0, "wall_seconds": 17.052 }, { "cmd": "python -B driver.py --kit KIT --strategy CAND=arms/CAND.sol --strategy QLX5=arms/QLX5.sol --strategy QT1=arms/QT1.sol --seeds 10208800 10208831 --lease 10208768 10209023 --out ledger.json --block 32 --budget 500", "exit": 0, "wall_seconds": 17.346 }, { "cmd": "python -B driver.py --kit KIT --strategy CAND=arms/CAND.sol --strategy QLX5=arms/QLX5.sol --strategy QT1=arms/QT1.sol --seeds 10208832 10208863 --lease 10208768 10209023 --out ledger.json --block 32 --budget 500", "exit": 0, "wall_seconds": 16.527 }, { "cmd": "python -B driver.py --kit KIT --strategy CAND=arms/CAND.sol --strategy QLX5=arms/QLX5.sol --strategy QT1=arms/QT1.sol --seeds 10208864 10208895 --lease 10208768 10209023 --out ledger.json --block 32 --budget 500", "exit": 0, "wall_seconds": 16.687 } ], "timing": { "engine_commands_wall_seconds": 67.612, "limit_seconds": 1800, "run_batch_seconds_by_arm": { "CAND": 21.442, "QLX5": 21.417, "QT1": 22.687 }, "seconds_per_seed_per_arm": 0.1707, "order": "within each 32-seed block: CAND, then QLX5, then QT1, each its own native run_batch(X, Vanilla, configs, 8)" }, "method": "Each arm alone against the 30-bps Vanilla normalizer with the same per-seed config, full 10000 steps, through the e02-base driver (strict lease, one seed at most once per arm, in-flight seeds burnt on interruption). kit engine_eval.run_batch was not used because it rejects seeds outside 9700000..9700511. Paired statistics come from kit score.summarize on per-seed differences (se = sample stdev / sqrt(n)); sums are math.fsum of d and d^2. Gas is read from the engine's native gas counters (Submission/afterSwap max_ok_gas), reset before every run_batch. No retuning; the candidate was frozen before any seed ran.", "reading": "On this block the AGE rule adds nothing measurable to QLX5 (58 of 128 seeds positive); the block's upper 2-se bound of 0.0184 is below the +0.04 bar. The earlier +0.032 se 0.008 was AGE over LEAN, not over QLX5. This is one 128-seed screen, not a pooled estimate.", "not_done": [ "Round 2 (seeds 10208896..10209023) was not simulated: futility stop.", "Gates T, F were inherited from a-check and not re-run; Gate Q was not run.", "E is not certified. No leaderboard submission was made or prepared." ] }