{ "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables and replica; QLX5 and AGE are network extensions.", "item": "s6", "batch": "a2-age-b", "where": "engine", "gain_vs_base": -0.007357393288509595, "se": 0.01150317548516753, "n": 128, "seeds": [ 10209280, 10209407 ], "allocated_seeds": [ 10209280, 10209281, 10209282, 10209283, 10209284, 10209285, 10209286, 10209287, 10209288, 10209289, 10209290, 10209291, 10209292, 10209293, 10209294, 10209295, 10209296, 10209297, 10209298, 10209299, 10209300, 10209301, 10209302, 10209303, 10209304, 10209305, 10209306, 10209307, 10209308, 10209309, 10209310, 10209311, 10209312, 10209313, 10209314, 10209315, 10209316, 10209317, 10209318, 10209319, 10209320, 10209321, 10209322, 10209323, 10209324, 10209325, 10209326, 10209327, 10209328, 10209329, 10209330, 10209331, 10209332, 10209333, 10209334, 10209335, 10209336, 10209337, 10209338, 10209339, 10209340, 10209341, 10209342, 10209343, 10209344, 10209345, 10209346, 10209347, 10209348, 10209349, 10209350, 10209351, 10209352, 10209353, 10209354, 10209355, 10209356, 10209357, 10209358, 10209359, 10209360, 10209361, 10209362, 10209363, 10209364, 10209365, 10209366, 10209367, 10209368, 10209369, 10209370, 10209371, 10209372, 10209373, 10209374, 10209375, 10209376, 10209377, 10209378, 10209379, 10209380, 10209381, 10209382, 10209383, 10209384, 10209385, 10209386, 10209387, 10209388, 10209389, 10209390, 10209391, 10209392, 10209393, 10209394, 10209395, 10209396, 10209397, 10209398, 10209399, 10209400, 10209401, 10209402, 10209403, 10209404, 10209405, 10209406, 10209407, 10209408, 10209409, 10209410, 10209411, 10209412, 10209413, 10209414, 10209415, 10209416, 10209417, 10209418, 10209419, 10209420, 10209421, 10209422, 10209423, 10209424, 10209425, 10209426, 10209427, 10209428, 10209429, 10209430, 10209431, 10209432, 10209433, 10209434, 10209435, 10209436, 10209437, 10209438, 10209439, 10209440, 10209441, 10209442, 10209443, 10209444, 10209445, 10209446, 10209447, 10209448, 10209449, 10209450, 10209451, 10209452, 10209453, 10209454, 10209455, 10209456, 10209457, 10209458, 10209459, 10209460, 10209461, 10209462, 10209463, 10209464, 10209465, 10209466, 10209467, 10209468, 10209469, 10209470, 10209471, 10209472, 10209473, 10209474, 10209475, 10209476, 10209477, 10209478, 10209479, 10209480, 10209481, 10209482, 10209483, 10209484, 10209485, 10209486, 10209487, 10209488, 10209489, 10209490, 10209491, 10209492, 10209493, 10209494, 10209495, 10209496, 10209497, 10209498, 10209499, 10209500, 10209501, 10209502, 10209503, 10209504, 10209505, 10209506, 10209507, 10209508, 10209509, 10209510, 10209511, 10209512, 10209513, 10209514, 10209515, 10209516, 10209517, 10209518, 10209519, 10209520, 10209521, 10209522, 10209523, 10209524, 10209525, 10209526, 10209527, 10209528, 10209529, 10209530, 10209531, 10209532, 10209533, 10209534, 10209535 ], "completed_seeds": [ 10209280, 10209281, 10209282, 10209283, 10209284, 10209285, 10209286, 10209287, 10209288, 10209289, 10209290, 10209291, 10209292, 10209293, 10209294, 10209295, 10209296, 10209297, 10209298, 10209299, 10209300, 10209301, 10209302, 10209303, 10209304, 10209305, 10209306, 10209307, 10209308, 10209309, 10209310, 10209311, 10209312, 10209313, 10209314, 10209315, 10209316, 10209317, 10209318, 10209319, 10209320, 10209321, 10209322, 10209323, 10209324, 10209325, 10209326, 10209327, 10209328, 10209329, 10209330, 10209331, 10209332, 10209333, 10209334, 10209335, 10209336, 10209337, 10209338, 10209339, 10209340, 10209341, 10209342, 10209343, 10209344, 10209345, 10209346, 10209347, 10209348, 10209349, 10209350, 10209351, 10209352, 10209353, 10209354, 10209355, 10209356, 10209357, 10209358, 10209359, 10209360, 10209361, 10209362, 10209363, 10209364, 10209365, 10209366, 10209367, 10209368, 10209369, 10209370, 10209371, 10209372, 10209373, 10209374, 10209375, 10209376, 10209377, 10209378, 10209379, 10209380, 10209381, 10209382, 10209383, 10209384, 10209385, 10209386, 10209387, 10209388, 10209389, 10209390, 10209391, 10209392, 10209393, 10209394, 10209395, 10209396, 10209397, 10209398, 10209399, 10209400, 10209401, 10209402, 10209403, 10209404, 10209405, 10209406, 10209407 ], "partial_seeds": [], "burned_seeds": [ 10209408, 10209409, 10209410, 10209411, 10209412, 10209413, 10209414, 10209415, 10209416, 10209417, 10209418, 10209419, 10209420, 10209421, 10209422, 10209423, 10209424, 10209425, 10209426, 10209427, 10209428, 10209429, 10209430, 10209431, 10209432, 10209433, 10209434, 10209435, 10209436, 10209437, 10209438, 10209439, 10209440, 10209441, 10209442, 10209443, 10209444, 10209445, 10209446, 10209447, 10209448, 10209449, 10209450, 10209451, 10209452, 10209453, 10209454, 10209455, 10209456, 10209457, 10209458, 10209459, 10209460, 10209461, 10209462, 10209463, 10209464, 10209465, 10209466, 10209467, 10209468, 10209469, 10209470, 10209471, 10209472, 10209473, 10209474, 10209475, 10209476, 10209477, 10209478, 10209479, 10209480, 10209481, 10209482, 10209483, 10209484, 10209485, 10209486, 10209487, 10209488, 10209489, 10209490, 10209491, 10209492, 10209493, 10209494, 10209495, 10209496, 10209497, 10209498, 10209499, 10209500, 10209501, 10209502, 10209503, 10209504, 10209505, 10209506, 10209507, 10209508, 10209509, 10209510, 10209511, 10209512, 10209513, 10209514, 10209515, 10209516, 10209517, 10209518, 10209519, 10209520, 10209521, 10209522, 10209523, 10209524, 10209525, 10209526, 10209527, 10209528, 10209529, 10209530, 10209531, 10209532, 10209533, 10209534, 10209535 ], "burned_unmeasured_seeds": [ 10209408, 10209409, 10209410, 10209411, 10209412, 10209413, 10209414, 10209415, 10209416, 10209417, 10209418, 10209419, 10209420, 10209421, 10209422, 10209423, 10209424, 10209425, 10209426, 10209427, 10209428, 10209429, 10209430, 10209431, 10209432, 10209433, 10209434, 10209435, 10209436, 10209437, 10209438, 10209439, 10209440, 10209441, 10209442, 10209443, 10209444, 10209445, 10209446, 10209447, 10209448, 10209449, 10209450, 10209451, 10209452, 10209453, 10209454, 10209455, 10209456, 10209457, 10209458, 10209459, 10209460, 10209461, 10209462, 10209463, 10209464, 10209465, 10209466, 10209467, 10209468, 10209469, 10209470, 10209471, 10209472, 10209473, 10209474, 10209475, 10209476, 10209477, 10209478, 10209479, 10209480, 10209481, 10209482, 10209483, 10209484, 10209485, 10209486, 10209487, 10209488, 10209489, 10209490, 10209491, 10209492, 10209493, 10209494, 10209495, 10209496, 10209497, 10209498, 10209499, 10209500, 10209501, 10209502, 10209503, 10209504, 10209505, 10209506, 10209507, 10209508, 10209509, 10209510, 10209511, 10209512, 10209513, 10209514, 10209515, 10209516, 10209517, 10209518, 10209519, 10209520, 10209521, 10209522, 10209523, 10209524, 10209525, 10209526, 10209527, 10209528, 10209529, 10209530, 10209531, 10209532, 10209533, 10209534, 10209535 ], "whole_lease_retired": true, "never_reuse_seeds": true, "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "hashes": { "candidate_artifact_sha256": "dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "qlx5_artifact_sha256": "1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15", "driver_artifact_sha256": "764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282", "arms": { "CAND": { "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9", "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f" }, "QLX5": { "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40", "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8", "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f" }, "QT1": { "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca", "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189", "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f" } }, "runtime": { "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14", "engine_commit": "6b6921f8d463314aa7c96234e1be25a25245f704", "python": "3.12.16", "numpy": "2.5.4", "wheel": "0.1.0.post1", "files": { "StarterStrategy.sol": "8f2cea337f6736105f58c6758da6c3ebf002951d34492bcd5b7101bef2d1e7f3", "VanillaStrategy.sol": "62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572", "IAMMStrategy.sol": "85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff", "AMMStrategyBase.sol": "3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869", "compiler.py": "52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4", "validator.py": "d43a373a3fdc90d0c1b0201099a6c3bf58ecbf893cd6ca2525ae694db48c6848", "engine_eval.py": "0a3ed61457cb66c85a292c82acbb9657b5e5544a98c7aa04c7a6a5dccdc1d3b2", "driver.py": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282", "score.py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43", "gatep.py": "1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db", "bootstrap/smoke_engine.py": "a2bd7d3f2a696909d01796b99f694bbd6502d300d7e42c6ff05cb3995273908c", "reference/materialize.py": "79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad", "bootstrap/manifest.tsv": "f9a0c49310aa6f501eac9a760e537af444d21f556239e3f00a9ed6f1d9628dad" }, "downloads": [ { "name": "cpython-3.12.16+20261026-x86_64-unknown-linux-gnu-install_only_stripped.tar.gz", "sha256": "ce4f6d0a6cfdb3bed6e44c2f9affd85943c76a42e25ad3a259002f31d6fb8a20", "bytes": 34505639, "url": "https://github.com/astral-sh/python-build-standalone/releases/download/20261026/cpython-3.12.16+20261026-x86_64-unknown-linux-gnu-install_only_stripped.tar.gz" }, { "name": "numpy-2.5.4-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "sha256": "fbde6962867ee75b48b0ee29b2b9372ec5d617799dbaf38e82dc0596f2f7738a", "bytes": 16727283, "url": "https://files.pythonhosted.org/packages/43/a3/c799c62e19c337e6d3770b08e475887fb30ce8477d3c09efca6b2f0228a6/numpy-2.5.4-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl" }, { "name": "numba-0.68.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "sha256": "8b33fee239194b9b6cb9b176f3c2563b94e5882fd846748ad0cf960daeee5406", "bytes": 3890001, "url": "https://files.pythonhosted.org/packages/43/23/0813ab091f60403c33cb741392ae77db13324587748df6f52167bf3a2404/numba-0.68.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl" }, { "name": "llvmlite-0.50.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "sha256": "d501e5103076b9a14be885d2574dc2f6793171aa54a853d1244e011d476f1399", "bytes": 59696588, "url": "https://files.pythonhosted.org/packages/4c/72/22b6449e15bec4cc86c62b659e6c625ab777d01e87aaec717ecef440f87a/llvmlite-0.50.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl" }, { "name": "amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl", "sha256": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a", "bytes": 727586, "url": "https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl" }, { "name": "pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", "sha256": "d055860c3352d6bc180b80255d8563f0b3c0fe6ce62b5c2a52e1bc7ecc4fad4f", "bytes": 4317826, "url": "https://files.pythonhosted.org/packages/7c/6c/17f60815e678474fa8bb36363e4a9f336fa444abb983c2a1e4bb08f681ae/pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl" }, { "name": "py_solc_x-2.1.0-py3-none-any.whl", "sha256": "4bf45aa96c29ed0a3654dcb6951f0f14c648d2be3f938260babbbd1ace6dde04", "bytes": 18126, "url": "https://files.pythonhosted.org/packages/8d/6d/3456e1c77b7efe9e277c5202bb8b879048117369f97c2b3dcefbc4c43071/py_solc_x-2.1.0-py3-none-any.whl" }, { "name": "packaging-26.3-py3-none-any.whl", "sha256": "d7193f7c8e4e93f444fde0262bf90af30e16fa0ad0ad44cb553c87339b23cd1c", "bytes": 129956, "url": "https://files.pythonhosted.org/packages/63/34/ba1c580383c9eada3711951fef0795c80b829a078d72188184bcab9dd527/packaging-26.3-py3-none-any.whl" }, { "name": "requests-2.34.2-py3-none-any.whl", "sha256": "2a0d60c172f83ac6ab31e4554906c0f3b3588d37b5cb939b1c061f4907e278e0", "bytes": 73075, "url": "https://files.pythonhosted.org/packages/a0/f4/c67b0b3f1b9245e8d266f0f112c500d50e5b4e83cb6f3b71b6528104182a/requests-2.34.2-py3-none-any.whl" }, { "name": "charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl", "sha256": "3d31298449090ab8d47b7b1b2a555ff73cac7ed438a08b7ac160980c7ebed649", "bytes": 257601, "url": "https://files.pythonhosted.org/packages/7f/c5/38806a25ab5e65fc178f39affeda20858efafede2fce1ffc2556cfc9fe73/charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl" }, { "name": "idna-3.20-py3-none-any.whl", "sha256": "ab7ae7122974553370f0bdb919e1a960b2cd1bc1ef0276416d896db81c14582c", "bytes": 69583, "url": "https://files.pythonhosted.org/packages/58/a2/bb081bab032533a855d44de1d56f8e8426114ff1ba5d1f07a438a0a654f8/idna-3.20-py3-none-any.whl" }, { "name": "urllib3-2.8.0-py3-none-any.whl", "sha256": "0cf3cae568d36aa9576b28dfb35f11328f1cb974ca7647d9475ebb86c75ac6e3", "bytes": 135717, "url": "https://files.pythonhosted.org/packages/92/9d/c4e665119135114480843e7ab388fa94d8480650450e6f8e26b70d323a4c/urllib3-2.8.0-py3-none-any.whl" }, { "name": "certifi-2026.10.23-py3-none-any.whl", "sha256": "e9b54de76e530bb6cf0ccd036787103acb58fd42ba930ea8bf948ddbaa2f61d1", "bytes": 135082, "url": "https://files.pythonhosted.org/packages/32/d1/a3652fe2c19134d0d15922177821d863cbd7e842d53a21bbe7e8e3a1b5ac/certifi-2026.10.23-py3-none-any.whl" }, { "name": "amm-challenge-6b6921f8d463314aa7c96234e1be25a25245f704.tar.gz", "sha256": "fa91b175c4b0db13fa44657903f55f664c80fb34796172c94d57ebebba71ec9e", "bytes": 58742, "url": "https://codeload.github.com/benedictbrady/amm-challenge/tar.gz/6b6921f8d463314aa7c96234e1be25a25245f704" }, { "name": "harness.py", "sha256": "0fe3bcb3f836bf9bbd8f6b88b06c7cbd2971bfd5999c4b366aba25675f86c590", "bytes": 5222, "url": "https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/harness.py" }, { "name": "solc-linux-amd64-v0.8.24+commit.e11b9ed9", "sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "bytes": 15020760, "url": "https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.8.24+commit.e11b9ed9" } ] }, "vanilla": { "source_sha256": "62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572", "runtime_sha256": "69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b", "runtime_bytes": 640, "creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "fee_bps": 30 }, "runner_sha256": "55c9c4cf8f53bba5427410bbcd7b6aff96f212d4b9ac84fe3aa888c8b60f2be1", "preflight_sha256": "c16ed147f9b5f1f0c43887ddb06854bcc9074e2f8414306e07910ca86e30c814", "raw_ledger_sha256": "7a5616954a7df977a6e8c43f28128cd4dceb5de195448183e2c3898b1c95fdc7" }, "peak_gas": 207617, "peak_gas_by_arm": { "CAND": 207617, "QLX5": 207462, "QT1": 209138 }, "oog": 0, "other_callback_failures": { "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "callback_failures": [], "gas": { "CAND": { "calls": 1399517, "ok": 1399517, "peak_gas": 207617, "sum_ok_gas": 191126361872, "oog": 0, "other_callback_failures": { "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "blocks": 4, "engine_seconds": 147.61151004838757, "mean_edge": 527.2312929846457 }, "QLX5": { "calls": 1399430, "ok": 1399430, "peak_gas": 207462, "sum_ok_gas": 191176206667, "oog": 0, "other_callback_failures": { "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "blocks": 4, "engine_seconds": 151.31981631112285, "mean_edge": 527.2386503779342 }, "QT1": { "calls": 1400527, "ok": 1400527, "peak_gas": 209138, "sum_ok_gas": 193214234728, "oog": 0, "other_callback_failures": { "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "blocks": 4, "engine_seconds": 161.32161071710289, "mean_edge": 523.8470686950733 } }, "chars": 47757, "bytes": 22558, "rounds": [ { "round": 1, "seeds": [ 10209280, 10209407 ], "exit_code": 0, "wall_seconds": 467.48564141918905, "cumulative": { "CAND-QLX5": { "n": 128, "mean_diff": -0.007357393288509595, "se": 0.01150317548516753, "worst5": [ { "seed": 10209365, "diff": -0.31768384657175375 }, { "seed": 10209327, "diff": -0.31012213639291986 }, { "seed": 10209325, "diff": -0.29744026759703956 }, { "seed": 10209280, "diff": -0.2835884583751067 }, { "seed": 10209402, "diff": -0.27648169591179794 } ], "sum_d": -0.9417463409292282, "sum_d2": 2.1579722379272748 }, "CAND-QT1": { "n": 128, "mean_diff": 3.3842242895724053, "se": 0.09560454670810703, "worst5": [ { "seed": 10209345, "diff": 1.0154740408813154 }, { "seed": 10209391, "diff": 1.4091995794233299 }, { "seed": 10209326, "diff": 1.4110054118127664 }, { "seed": 10209332, "diff": 1.476585468088274 }, { "seed": 10209317, "diff": 1.4931817973805437 } ], "sum_d": 433.1807090652679, "sum_d2": 1614.5642457270021 } }, "futility_upper": 0.015648957681825466, "futility_threshold": 0.04 } ], "stopping_reason": "futility_after_128_mean_plus_2se_below_0.04", "gates": { "P": { "status": "pass", "inherited": "pass", "measured": true, "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "command": "python -B test/scratch/s6/kit/gatep.py --reference test/scratch/s6/reference/taylor --cache test/scratch/s6/cache/gatep", "stdout": "gatep: PASS (executed gates.py)\nseed perfect-info gaussian+plain gaussian+qm lattice+qm\n10000 448.261189 443.455598 443.522608 443.663520\n10001 576.779199 571.463409 571.623551 571.977293\n10002 531.886497 525.168028 525.865859 526.411631\n", "cache_identity": { "format": 1, "commit": "4812a6382311624e1506aca131ca35c378f930d9", "python": "3.12.16 (main, Oct 26 2026, 14:08:45) [Clang 23.1.3 ]", "implementation": "cpython", "input_digest": "0dabe003f62d413d6cb222acca4586f806e2a3f94b183d02569f04fd010f2d5e" }, "wall_seconds": 10.189747781027108, "stdout_sha256": "10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8" }, "T": { "status": "pass", "evidence": "inherited", "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "independently_rerun": false, "details": { "callbacks": 549905, "split_tests": 356959, "mismatch_count": { "inferred_arb": 0, "split_tested": 0, "split_verdict": 0, "tracked_offset": 0, "age_rule_kind": 0, "age": 0, "weight": 0, "rt": 0, "synced": 0, "twin_fee": 0, "twin_state": 0 }, "seeds": [ 74200, 74249 ], "stream": "autonomous contract-driven replica_e", "kind_counts": { "arb": 191729, "binding": 320342, "pull": 37834, "neither": 0 }, "max_relative_rival_error": 8.731332265820772e-15, "fixed_input": { "callbacks": 549733, "split_tests": 548149, "mismatch_count": { "inferred_arb": 0, "split_tested": 0, "split_verdict": 0, "tracked_offset": 0, "age_rule_kind": 0, "age": 0, "weight": 0, "rt": 0, "synced": 0, "twin_fee": 0, "twin_state": 0 }, "kind_counts": { "arb": 146, "binding": 440688, "pull": 108899, "neither": 0 }, "fee_callbacks": 100000, "worst_fee_bps": 8.254e-11, "fee_sides_over_tolerance": 0, "max_relative_rival_error": 6.795853303475876e-15 }, "method": "Python reference shadows contract-driven callbacks with only prior observable fees synchronized. Candidate storage supplies arb and offset; QLX5 TellMath probe supplies split verdict. An instrumented AGE twin records branch kind, and its fee outputs and storage words 0,1,2,6 matched the unchanged candidate on every callback. AGE age, weight, rt and synced are compared on every callback." } }, "F": { "status": "pass", "evidence": "inherited", "source": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "independently_rerun": false, "details": { "callbacks": 100000, "worst_bps": 6.0834e-10, "fee_sides_over_tolerance": 0, "tolerance_bps": 0.01, "seeds": [ 74200, 74249 ], "stream": "autonomous", "both_sides": true, "fixed_input": { "callbacks": 100000, "worst_bps": 8.254e-11, "fee_sides_over_tolerance": 0 }, "method": "First 2000 callbacks per seed per stream, both fee WADs versus independent production-QPL Python reference before contract quote feedback; error = absolute WAD difference / 1e14 bps." } }, "Q": { "status": null, "evidence": null, "failure": "Replica gate Q is outside this leased engine block; a-check did not certify Q." }, "G": { "status": "pass", "evidence": "measured independently", "source_chars_limit": 50000, "deployed_bytes_limit": 24576, "afterSwap_peak_limit": 245000, "missing_gas_counters": [], "compile_validation": { "CAND": { "source_path": "test/scratch/s6/CAND.sol", "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "source_chars": 47757, "source_bytes": 47757, "runtime_bytes": 22558, "runtime_sha256": "d5d5ddaddcfac4a7212f7be41e26453776536571bd006c4c24b177523f63a0d9", "creation_bytes": 22587, "creation_sha256": "c5e443a5270912dda14169d0907a1af5a29e6137079e8b15d7386e03da697e5f", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)", "compile_seconds": 22.824117961106822, "validation": { "valid": true, "errors": [], "warnings": [] } }, "QLX5": { "source_path": "test/scratch/s6/QLX5.sol", "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40", "source_chars": 47230, "source_bytes": 47230, "runtime_bytes": 22440, "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8", "creation_bytes": 22469, "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)", "compile_seconds": 35.33141453913413, "validation": { "valid": true, "errors": [], "warnings": [] } }, "QT1": { "source_path": "test/scratch/s6/reference/qt1/Strategy.sol", "source_sha256": "c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca", "source_chars": 42990, "source_bytes": 42990, "runtime_bytes": 20605, "runtime_sha256": "79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189", "creation_bytes": 20633, "creation_sha256": "0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f", "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)", "compile_seconds": 21.774938008980826, "validation": { "valid": true, "errors": [], "warnings": [] } } } }, "E": { "status": "futility_screen_failed", "evidence": "measured paired fresh engine block", "n": 128, "full_1024_seed_certification": null, "failure": "This lease has at most 256 seeds and cannot independently certify the 1024+ seed promotion gate.", "futility_rule": "After round 1 only, stop if cumulative CAND-QLX5 mean + 2*se < 0.04.", "advance_rule": "n == 256 and CAND-QLX5 mean >= 0.04 and P/size/gas pass and all callbacks succeed; item-level advancement only." } }, "comparisons": { "CAND-QLX5": { "n": 128, "sum_d": -0.9417463409292282, "sum_d2": 2.1579722379272748, "mean": -0.007357393288509595, "se": 0.01150317548516753, "worst5": [ { "seed": 10209365, "diff": -0.31768384657175375 }, { "seed": 10209327, "diff": -0.31012213639291986 }, { "seed": 10209325, "diff": -0.29744026759703956 }, { "seed": 10209280, "diff": -0.2835884583751067 }, { "seed": 10209402, "diff": -0.27648169591179794 } ] }, "CAND-QT1": { "n": 128, "sum_d": 433.1807090652679, "sum_d2": 1614.5642457270021, "mean": 3.3842242895724053, "se": 0.09560454670810703, "worst5": [ { "seed": 10209345, "diff": 1.0154740408813154 }, { "seed": 10209391, "diff": 1.4091995794233299 }, { "seed": 10209326, "diff": 1.4110054118127664 }, { "seed": 10209332, "diff": 1.476585468088274 }, { "seed": 10209317, "diff": 1.4931817973805437 } ] } }, "rows_zb64": "eNpVmguS7baOBDd0QsE/wbW88P63MZlQjyk77Gs3WqRIfKoKkP/3v1paOS3Kb5zxlBFl9lNm9FlXmnqva7TOPzy5MZVnlFNqmZN/nf3P7/+3qL851rP76WfEaI2/X0vELLvWGmX5TGfPsWK1Ntcpnw3ab6311FHGOG21mOc11NVn66Wtw5nW6k/E2LOe1jlD3PX9N1t5akRprC8lxkhL6fy0S9ReC8/U+cxVo53qNjHvBuPHm58We5/JMVaJk5beeNU+ZXHigVu4FP/ha0Zwpvq5w/ytdp7Kgc+Jzi/TEs/hvjhynL1w1GrjWXXu0VYf0Wu7G7A9NzyV383NeUvdmogNHqx7jh17dSztIUZzxeBkrex+t9i/1c+zOPDYrTT+mK9ljmhc+xDkwLLwzN69jTrb+LghfnOOp7Y6ZoszCfdr2Diw9uDMFcvYT6yKa4fPrHHX47SYD/fCOZtQz/NaVvRGLCLq4kpRn8niUg9uJbj/rj8lg0yGcD9C1hp5l5Y5T18r9qga6lMKB+c4e895z38qEZpPX6YxHtr4fqdpbDLwDBxCauBDUrFxJFJ1xhnz3C3I3BMPOeMKtij7NewRm3u1GodMOgTqVFNtnj3L5whuzuNEm5tNPIe70kQOk9exD9XR8lC7F0NLNi8ccbcYvxXxNFyMi2bwGgz4fCzeR3L0oVuiPTiQmpvUJ9l2109cbJbtOtrIwuYSmoglcaH2uImBKdRTiTLwNjjwiQNBat3q4e14uA4S4DXh2FI9SZ+Fp+oROfZee3PU/dkCt4XlUC1P3ELuYqEchInCTWZrYEIsww1MkHN1fXMhfv00owQCsXgX3qelkIpBHGrfC1Qg1Z7GfUwNvF6/seCOk/13q6ewlJTtaSHkBKN2UI60xFSfNU40oKUW9vk3owkQL6i8QFChng63SUtfFtSs/axRf31zsQ7AkZV1cNl5dyAn13k2dQJmcJVVW1oIRlkkaC/TJAXuYgpghHsBYp8z8PzZVFWt1BLZX/pIC49RJALR2YnYZ/E4SYof+mc9+VqEc4qOcIOnc/+ZjCPZ30dJP5wD/EShfiJIrXq3GAluB0bACZs0PjUtHL+HMACeACwNgKXowqiRYvtuMH+zU3Pn9G6GLytbC+QSlBRMsfEU2PngKF4fA8gbnw1INk5cQF7eGKVyfizdsipCC+HdeKFUABc/AJ9r/yeSAgdItNfkxPhi1tdQKFDoJEwPLI3AgCvlDF5T464P8sSqb8QL3CD3qDPBcVFm4kIn2ZM0iPLCifw4SJG7w8kC4NWNTOFyW+LUQn5TxEu+HVkSbbYt/gGC816hQtU1HlCLjWv+GsRPE3BC9S2JR7/UgWPPIr3JdHL/blETuyav54jUN8F4LVFA44Vb4PAsXTJxCm5Uetw4mLyFmoK/O6yCp9d4LaD+oRBrhZ8zMk2IIMX2KBcYcNKPRx/OywEqIHtkJCxQ5qAcK2jSYa1BsCnJIUIhPdrdgONtYCCsTjhgnDlfC6lH+i6xm2tSYpT9plBqIxc+bmT3CodCaHNPCrmQOFqAFYoSdJ4c60ctPfgWGOaqFtXdQOADmrgacYL5lyWqha3gZS4ODOEDnMjxWtHXH5Lh2hxv6qDD45u/1kkL/ihAUwcGts90cIP/QuuAX+sTxvjtjhNhNCJBlpAwrwVRgGThtBAPlolXQHdSMSydu4E0DmbhcQqXG4Mrfxbu0MQFy0ERR0Qp5gqwAT//btDIxZbJDMnxCLky92tqki3ZU4R86OoBfjeYsmDPewXBH0LBd1RO22ehx9KiMhx74M8kEbL7SKVqD65xE0mNGTz+kjgE1Y06FmPKrQ8VgrCcG6B8OYsTju8GgCC0ygmDogFWR5LWfmYhI+CCFed9B5wHzENSANMFxQYoos4IF3EElZAs67VwuSrJQokr5cpUt4qJMsjdYP7IlGcDaaekyw61h0upPRQTqMYW+9fRW2uTmmzCKbne3YGgAUqdLTiZqb7TAMmRQ2Tw8mcgkSSG3rrC8FaSKqJuD8f5OR56s6UlkCkAGrQMxWDRA2eikxbg9ykEuJBniDhvD24Ok78Gc4ZsIQ+GYoY7bhmiWv7zs16CJj+oLuTA/mNs1p+EUNRuU/DikJCc+6EG8Mm/67u9SwOTuQD+5/Y6ME1iByEbcHxX/BxpgetUZXHcGADZgg8npS1ALtGgvAaEH4BIbXB0LKg16dPMPHj6rrfyK/oyBbso7gmwTML9AlpNzOQAVBv1GtAb5XJ36K8uIp/KSWIof0rJLiujCKljwS8qOkRf2I7cDQBEAJ/384I+TD2qm6BBAKoJU7lbScg9ChQ1SL0jdO8GYFUjD7ricqsIgGQtQ0ketl9HhUEpEwuqhY4v2ucGtinKkSr0krLK1jQJCqgFeoGz3vYGOId3SGLg+7ODmQiNsXhYKLjiz4K+gHIFoAlx0MDhUioThgOxPmHkwNwYnWF48OmRnbXwUn6iC1WpZRwIPz6mgaQ7+tBCP1kqTW2pGkGm9j8LyYDIQSINYRPppmonlUzIiweD7gXag0IGWAJr8lRaQHd5FEcsqQqV1exPdhLW/GyAfACtRGxKAmR+ZY8mFpOKtBPAgKZBhyG7Qc64+LNFy17DBKO3QBD/9SOL2rfMABWjDbmSiRxiqw9w0N0AL59ksmogMdAUapn2TiSoRf3Xj9A5KAPiP0qPgqd86SEhXcSi2R5/Fn7v38YTy7JPZDnushe9G9i+8Dibj2TSZcMWmQt0W+Z/1wecoNiD48liT/85wkqBXaryo8GgFUb7M0ku6P0S2UnDuKRaRR3wV9yKoGWjDvmlaUMNQLFktCYSKZms2qNz1Q22zZCzqR6A9ObTsJmGDheOs9cni8afBVUIlbAsRvbXoi3xpTRK/RwCMGzDVhSKheoBdvs4TQHJk48IfWcfSBYoTtad2M9HNc+SOghxS4k1Jwgy4rJjooiaO8L0WNZjSdgYpI68G0CpvcDgqCJAIBytvBacYplQ9NXpy3wUxtmAkJg3IdElKGGwD0pG0dtGY4DhlpzNISwjefCgJbYQ3gnNB2Dn25c48cBtKszs6U+KMx63Pw5pBi360ENat1T2+hD1BNILSh+Hk8m+ReLCAhuSf2gtcB+Qp3cQ12LZ6kETdwOVSX1MaCdZaNYVaaFDZw/AYBA/EHaBQNkgmXsfsTNtXWnJKXiujV5RDqVpOkJASUMc+2DBVUTBHoM9PlXB9svHuSruz7FJpIW4HSc1UriW+sjmZPNS8X2cEH8NfLYf5PWyMUzT2dIaOhAzlvLQ0Sxog02RJneH8wNvHnbP4UvlJjMtztLIfIVs/wFUaLKeOriO/eljF/iIlBleGRI4YuxrQaE3xTgZpYVshnV5SbETvutB06kiBofVTILya0Gq0BxOR3q4aRb6IbWW+Vw/JKG6IfeHIFLNRzNPCywuIoAjIElOHvmJo59SHYHcDaQg9B0t7lD3ZvGkRRIcMLjHyl6Ct9NBcg9Y4/KcDKQmJ19pXlgBo6WFZhIRg6BaUvWw17azkMGRMR8fkonIKQc+zsRazgK0jCpg0LPCFDVFLwGgwbLrLx9UUuZzvAEsuz+esyW0HaJznbA9l5yvWKBJp1oot+rN7g47x2d15gilipxpKDORNpTptgI9hbvXpBopvI8XLB7OQPuKLOcuhDMt9N3dAQiYopYnE+2l6FCUXB+mtVvaxRYXTQeR23qkgQRQ33BGYW4/vJjqJ9atf/TKlqhpbHjMUa2JHmmxlyoOe0XnpG6OMhP34Lq7niopeIzg+CCJt85rIS3JIVs4cU+iJ/oOwZ01fkrB422EL453E246ZlrcDpRBa75dLp0J2ilQFODiXU7WgcGqgeIgDC+ctMC1OMsTcegfPRMeYPee1fpZL+2weXVqMq10+8GU2YA3vcZysJX9oIdvNqj0oJ8NZkpOm2sJkWSWV7QgDLrtFAX+l2nAHSKYECJm7wYrA07XYZdFCIezEC0w1dJdwHl7p/qQkiV7/rPeiRlARRVQB2ipbMq1zMwXkthPBg77HJ2j7oft2ScHHIPjbw4fquKTrRoW32wXT8fcdXMOijl+TtX2BZN9ctjUHfFYNU4YX4s3onqRBH4yUPrgQZGF4MJeF1ADdoa0qNqD3iViLMSiruFP21diuXM8Q1YB701x+5ml/PmMtq3bw4OF+bPKolgHTjPSh2SBjf1wNHbLiJgB0FSdSIeQMO/nawrfkwOwkyZTA21CpNni6gvg2tHnbvK6323URWlCZFsK20mfTa2bgmUUN5rh07wI4XRLq+b4C8E4chiDGyWIRg9Qp6UInh30WvZz2O96P3Bs54JgnW2FckSL48Mpnr4GJ8mIxJ667X466nasjiHoOqQVIMxPJliGeLqRxjDhyF5kOiYlr7qtxN2A41L6ZME2kelOJGYtHDyILVxkFJzg0gEQMxugm4h+c3kDTLgdJArxGCCu7sigO5XCQiEAqQqWUALf9WTdPk+OA5GEBV3v2GU7wHO13wMcHGTT4Gcrx83NDL9nOPTRw8EpMte8k/gFdUdisMyS3UdPqoqcQztJZ5fPPCjnwSFeIz3YjF46DSDiRhhINYjqZVPpV4mwha2fUYKTlkWfQgVNPwEi1CMtQzxmCxhZVzlegV/5N7jc6meDngNiwY7+CR+EXKcJXoOnm4fKqRxk2e2ebMfxw91h/E3AyF9hkFO87V7xsk4Y7KbwRLbRjn1tgD4nmMm79BISAH7kJa9F8UwCKKHZYCd5npxhk18fH/o1Y4L5oFp/R/szLfALhVUs3vF+fkD5LRtC0P+z3kEH2gUgsVC3DUF+fiMDGi5Qkm71tB/gELK2rJJv/9wh8msIOQvu4x0Y1X5sKjlAoOUcCreTGxRkIj2etdn+bHFyUgDkHvsiBUS8FuqThgWN7uAomxZuwUmrqHi/23CoHLXDf7ixpaborwUMoGEDWf1Gigm8V1/4/Qn06utuURNynOkouKGmOl8LB3K8iT+hANs3UqukMFJXfg7xjv5yumtr1PprcAYGjg9VEfm4nQYQLkRGfiy/63vWVPihAvgCO/OLBSZ0dlf0+wUMX3WKF8IdyTjc97OFCUnf4szboebh4Gnh9scJg82tGSlaUiuR3BV3/cz8V0Z25zB95zhNkz0wwcWRys2i2LORwyug8McJvK8cWtBmrSFhuMdrQcRNpVXJeTzwDGF4GlVhfDZ4wdwPXY3eCifYjCEuzX961uIE3ikJDT+cm/9fAD3VP//8Hy/tuU0=", "rows_format": "base64(zlib(UTF-8 JSON)); each row [seed,CAND,QLX5,QT1], unrounded engine edges[submission]. Attribution: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, U1 tables and replica; QLX5 and AGE are network extensions.", "rows_sha256": "3b35afc4aa9b7e6883df55cef082f077f3184fd052a44f0f9ec8ea1be64cd43f", "engine_audit_zb64": "eNrtm2uPm0YUhv8K4lMrOd6ZM/ftl6YXRZWqSFVSqVIUWWM89qLFsAKcbLrKf+8BfGNYl92m23QNn3yMMRwOcx7mfT2+C6PcLeIyvAzf2k9JlgffrMp1dJ3Gq6vy20mwisurzXwaZeuLw/YLu16/KOL191xTsJJpYJRK4I4KIm1kKaORZSJiSi8NIwsT5K5wNo+uLoos+eAWl0HzGtxkSRx9mgSv7KYoYpsGyzgpXT4J3K2Nyhc2x9OvXRlHQemSZBL8ToPSzhNXBDZd4FFv8Ov2u+C3X/8Q9ZaXr34ObO6C1JUfs/waD1O6tIiztJiGk9Dm6yK8vAt/fPn6p/Dy3V1YOLfALe8oAWJAk0kd4MW8n4RpeMlggrtEWVrtxOmUEKalpEZSzpnC4y0x1zcf7U110MgmCe7GuAImJ2F2fYhvnL2erSx+CkQogVuKzXqWbbdxxRlgEY02+LVNOcuWzQfk8yTEYFaUtizqfPMscXinfrCFS+LU4SVVZ53bCE/WZPNLGpexTeI/dx8WzWXU6eDr2t7uTwxUGS8XaRTmjLtnKzz/JMzdB5eXdZiVVy6fXdmkeVvezlyeZ3n9Zm4Xs9yVmzyts35IonXZDilyogTfVa2JW6mCMNBOVUmtGTea8ydOd+XK13b9oHoK8OupMcl/r55vNvN1XFTj+QtvPWUKQHnjkBkKkv83yfq3v9s0rcr2ts3TpvyYIWCo31IE6/qFKb6vkmzRiuExm4Cz+2jFptxIQiSenIJg9AStBDdUba9lGx/TSknqjxLNkfeUMeADppUSROyHax330UpzgoOVPHm6I62enlb3NE2bVn1tMzxa4VO6CZS4j1ZkaoQQ2mA7E81wp1O4wiml3lW+iY9xhTX2nxIaBwlQvCgyYFxpIswOV03ciyt8ZCis5ji5OgNcdZumjau+thkerpRscIVS5B5cAUypkASLpA1hXFB5SgsyofbT2iZu4coI4tVdGrweg303YC3IUF/vxus27sOVQBlIJE6yRlw9fy3YbRoPVz1tc/a4QiRVjtfjLSyYEryxQikslJansYUKHI7UOHiikEvoaHEhFQGQYtAWFhMHC4uJh1hYyoAy9XAfsfX8LSyvaTxR2NM2o4XVoVVlt6Ng0YTgrFWL0x4WO5LjzPOwcM4rOmIc1Sajsp4WD9bD4prux2sdP8DDolhOMeLqLDwsv2nauOprm9HD8nDFp6iYjVYCFBGE6NMWFj9S49y3sGhnlGhQIITiVAzawgJ1sLBAPcTCAs4FZyOtzsLC8pvG04Q9bTNaWB0Lq/LaAQwzOLtS7LSDRdlBjFfxMa0kdB4SlRTHmoMZuINljhws8zAHC0DT8ffBs3Cw/KZp06qvbQbhYL2ljzew2FRLriihjBmtOT1tYKmj5SS+724o074SN1zJ6mfbIa9q4AL2a7CauI9a+ODgeL9GA+sf3HpDtPCGIRhSWUJfy7/ye6YNrb6u+f9AS5kOtATor7AESyumjJEca6fpSftK8L202cbHsNKK+GXXRiH9lKilzUBhJfA27xVBE/fByjBA7WDGNQ3PH1b39EwbVn1dMzxY9bhXesoEr5x2zcjfsAq/TQ86vIpbi9tZ1zNEsc6lNmbQrKqbZ8uqOu5nFQ5VSYGMrHr2rOr2jLe2vadrhseqHu9KTAFvKEIe5SmtlqqdkoHVz/B7QVPHLVoRoP6EVjANpPLFBmxeGbNfx7CNe9cxSKOZgZFWZyADuz3j0aqna86eVsircGnjZJO7CgUIqDhdJtX/Ig//LUw3SbJbpLWNK7urCvHbizzGM8/meMiyOsLnvwC+FMyj", "engine_audit_format": "base64(zlib(UTF-8 JSON)); complete native gas stats and wall times by arm and 32-seed block; no per-seed gas is inferred from block counters.", "method": { "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01", "driver_source": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "frozen_candidate": true, "retuned": false, "arm_order": [ "CAND", "QLX5", "QT1" ], "normalizer": "Each arm separately vs kit VanillaStrategy fixed 30 bps; score is edges[submission].", "n_steps": 10000, "workers": 8, "requires": { "platform": "linux-x64", "minCpus": 8 }, "allocated_cpus": 8, "configs": { "n": 256, "fields_compared": 3072, "all_equal": true, "n_steps": 10000, "sha256": "38f8fd182c3b9b90859f2ca12cd96efa0aff618d8c430e8984fa20dfff57e937" }, "paired_scoring": "Unmodified pinned score.py summarize(paired_seed_differences) at full engine precision. Its CLI restricts engine seeds to 9700000..9700511; its summarize function is seed-range agnostic. The CLI 3se stopping rules are not applied. The requested 2se/0.04 futility rule controls the two engine rounds.", "score_source": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py", "after_pipeline": [ { "stage": "build", "after": [ "after-qa" ], "requires": { "platform": "linux-x64", "minCpus": 8 }, "status": "pass" }, { "stage": "check", "after": [ "build" ], "requires": { "platform": "linux-x64", "minCpus": 8 }, "status": "pass" }, { "stage": "engine", "after": [ "check" ], "requires": { "platform": "linux-x64", "minCpus": 8 }, "status": "futility_after_128_mean_plus_2se_below_0.04" } ] }, "commands": { "setup": "bash test/scratch/s6/kit/setup_fast.sh --platform linux-x86_64 --cache \"$PWD/test/scratch/s6/cache\" --scratch \"$PWD/test/scratch/s6/runtime\" --deadline 420", "materialize": "python -B test/scratch/s6/kit/reference/materialize.py --out test/scratch/s6/reference", "preflight": "python -B test/scratch/s6/preflight.py", "run": ". test/scratch/s6/runtime/env.sh && python -B test/scratch/s6/run_block.py", "driver_argv": [ [ "leased_driver.py", "--strategy", "CAND=test/scratch/s6/CAND.sol", "--strategy", "QLX5=test/scratch/s6/QLX5.sol", "--strategy", "QT1=test/scratch/s6/reference/qt1/Strategy.sol", "--seeds", "10209280", "10209407", "--lease", "10209280", "10209535", "--kit", "test/scratch/s6/kit", "--cache", "test/scratch/s6/compile-cache", "--block", "32", "--budget", "1789.9835502039641", "--out", "test/scratch/s6/engine-ledger.json" ] ] }, "timing": { "started_utc": "2026-11-11T00:01:09.618677+00:00", "finished_utc": "2026-11-11T00:08:57.144778+00:00", "engine_wall_seconds": 467.52609994006343, "engine_deadline_seconds": 1800, "preflight_wall_seconds": 82.40147715201601, "gatep_wall_seconds": 10.189747781027108, "engine_native_seconds_by_arm": { "CAND": 147.61151004838757, "QLX5": 151.31981631112285, "QT1": 161.32161071710289 } }, "runner_zb64": "eNqdV+tv3LgR/75/BS/9QMnhyvv22j4emia+NsA1d7VdoMBCELgStcuuXkdStjdB/vfOkJJsJ04Q9IuWj+G85zezfyFvtcyUvSC34ljUmgQ7W6aHSu32NmRkp+y+3UZpXZ4+np+KshwbVf51sZ7OxGq+ns2n09VsIafLyUqkYjqfpmK+TOdn6/x8PsnOiZZGCp3uT01d3MksGr169epXXX+UFTErYu/rsa7bKiOy2qlKkm1Rp4dLUtXw0LaVqnbMb5pCHBm539eFJIUURiKBAgMiYDhSZVNrSxph94XaMnM07L+mrphVpWRG7SpRsNqwEu5ZJqx051aLVG5Fehhd8+5l9Af8BkmSq0ImSRiB9qh2EEaN0LKyI+AcIe3mYhLzjbE6uD6lB2VpyNwmjHtdnJJZkml1JzURhmTMpLWWo7fXV+/e3/Is8ouRMEYCfRaZvZgtVwFyfPY4ao4UVRFZsj1aaYIw5Jxm83y9Wqy2y8VUnK3OZ1OxOJPn2WQ+W5yl6/Q8y8V2eb6YnK3EWbrMUnF2ns5X21U6WazFbD2jveBCVkFtIpPuQeJOWpHnqlL2GEzC8Be+HjVa5gUGn6NLo6IWmXFKDhcRXnypYs9+oNpQVe2lVhbEyAeR2iQVVaYwHDTuqekOts0F+ePNzQ0J5INMW6AneAqOP4aUqIqgcEcHyux6uVY+2GCQWtXWkfm0Ghcy24EjOz3lgzIWdGT0Xe0otdRtRaAEtGwhs+xeGR8/Oqq1Ag6iSIACYgbfxOXoaJTJnOxaoTOwB46DE6F3JrwYEZRlmGihtlij620hS8Of8ulIRyQHkQYtcsQbMMokxgpraAx83PUBrzc0FUVhKKP1AT6leEjqQwLUsDFtOWxOsujq+vr36xv3nKic2GMjAxNBWINDGBKwC+1VlUVrzeYQ/zy56HWMRNPIKgtoqYyBykMSVd2JQmEADEmhUC3kMn19AN2Beae1yOH05l40NN7QRgqvTPzLbLGcTCaoyVcSbtqtE1JXp8Nrgk+dIPmQSpkZ4hlQEIZgoKsXPQuBeIwKfxKQ0VbuRMWx1KNG6jzp9IckKSHLeaZSG6QOArkvRShhoTE9W5vyHiaiYVHV98Gwwc/HupIR0IaRMjUEC+AFkkrLP1sAJuMFAG5ZvOK0UFX7MH5YLSgrVfW2aQ1fh0zcCVUIsCRJ8eR7xcjua32QGp4xl5x8M53MJuez9YS5xXK+jJlDU8M3MRhTNw2EMYHygLznH0BblkGpgCIyMTKtkXC6nkwYgHwp/LMQ3ClsXao0wWrBGgJfjtFjvnwYLkOf/uiELKlbGyDGtiXLtShleKGFgjK6hVu4u9K61gFFQWMvtQf7XhmIsMfoyP8E3e7m/d/f/Hb9TzaICS+7G1EIXQbIMhxZfbzwpeRsT6qaBbnSxrJCGBti/UjQTWoIXbAJnvsM8DFkQbdcD34MYzbFUiZYqHzzNR4zOh4D4APLHWxy+vbNh3f80/XnU1xE0DS+ovjXb/9ZOgpcvExxO3UEAJgSmk0qT/+009ObjuLxCdYGde3Gmek7j7MVrz1uMdrb2S/BKvccmxV71rjgMBWQcMMxpEMDDbA7dQSuuuD9fOaYbFuoxI4PoFEA3jw7n4yDF4pt7MowDB0biOEg5SVojsHlmF8b2qckjXvQcJh5+WPZSQg2anhxx/HZpc8MV94vAcJlWmcS0L0UqgrwtVfqy4b3YjN53vQIyaDMuCfZIDiXQh8RGH3Y0MBGQNj4p88dwm9xmHEgj5kB7oU88PjvKGXGN4FhPUfIe4PsMM/wV9f3uEefmjAef0GGvL8iCh/7DiqLKpFOUe5GlMjv1EcZeA3CJyRR2yAIBth3Mo4TVZTDOrjzXNkd8u2eMUc0e0p18hJd2BtrvGFj+tppzjuZGE9oi/wpiXNWfNlCcmiHbdiRkApdTWNsde5UFuBef15KUSWZynMav56dPNICew3ApDMP2S5Z+AAmLnB88wgpMYMBAqYXzBn8sHtozgOgvlQCT9KPpW3ZQk8AIPHmsLy1qgCIT7wp7vt4aPfQSmDqzfgkmizCoT48zj9WhzcgdM0W2ntAr3//N2SIG4OjrC0b05OwvGjNnt/qViI5eA2N+Im7Tt1x/6J30Ji7CQSH5aTWiS+EJIfW1WpJex6cz7y7qQfKxMMEvlAVgkohYdZDKVvge/DCfRhAxE98Oluf9G7/vjKP7BL3gF4+4diz4HxKAEKI8+jP6L7vMx187kaSBLRJXMY04K9kZmSylUV9nyCjb8ibXXzbfZ2+WQIzPvrgx4AMR6HGkr9BNVy5JYxMxI9IYMx3/AMW6LZBeeB9YI1pOQSsf9nvY57TT25UBL5hlCQVtPEk+XxBPsHBZ6Af/itFLr1ggE8BKHOcaAtsv8/6MjTlTsDTygAp32wPg0Iw7Ji9n8CA/v+dwQbx+HcxcR0x6f4uAlfM/NEP+r+vpl/ff3h/84+r5wXlSJ6V0/8ACXA8Hg==", "preflight_zb64": "eNqNV1tv2zgWftevELAPlBaMLFmWLKejxRRpO1Ng2ukkwWABwxAo8sjWRLeKdBpv0f++h5RkO7fZDRBbIs/98p3jf9hXPYhSXdq37FC1ve1sVc3vmnK7Uy61t6Xa7XOPt/XsdD5jdX0hy/rnRRLMWRwm8zAI4vkCgsiPGWdBGHAWRjxcJsUq9MXK7kEC6/luJtvqHoRnlXXX9sqWB0k7pnZVmdO/ZNvQHZPmRZU10LKRHXBFBVOMV0xKkHRgRBKvBsX0jXWdjiK8L/jtZFlRVpBlrodatTrH9TrWQ6MsVOdp2vWlv0nXUvXO9YzclYq41Ly4m8mwCpgEkYm+vIfeZtIenig027KBDO5ZpU8BrKJvaxsDkmGMOlClKtvGg/vaQ5IS7cOQjjJvWjwo1eHP6eJ1Xv2OTjxjvRrPJzM1LyYi6yVFV/kDbfZ1d7Curt+/+3ibDjZ7w5slFetVqgPrddAXqHPfKOgd981Xlurge1XLhHR0TDhrhLYRPH1BdCiZyPKDAum4rqVTgdoBPFFuQaqXWNKUCC7YIpmLQvB4yfwERC6SIFjFYh7zopivEhGxEMsmWSRhwZZCLDiEURzH85yB8MmkiFWV85WtyRbFS7JZbzcovcNLYhcY361dNvaafCGU3OL/B7JxLZ1mmX4nV28/vyOXaJ9+8DBISPDHb/+OzJl+mM5uA3PUQwFYKxxmX1Uwu1E9qtweDNEPCx50PYI4yiXcL3I/WsVBHvtxFC0Xi7zgUbRCd1cJzItVkPMoX/kiX0ESJwkskkT4y2USL4o8EuxoDcEohBDlPCzy5WqRL/14ufTDPPAxLmy1mvtzjCGLigVnbBUnEMTYaH6Q+/MwTIqFP/lAOKpJlhjfOAgSHwKM5TwPOORhGIIoljFLQh8NK+IQLVguI5YkflyggdxPsHvRzzHsFTTYTUOpZZlDWomVIPkOG2OLzVcUZYM16fiu+680sVhfY8B/vLlPnxW641o6TxXLoaKdzpZJj1cqqLGgLi37WUV1WEBTuNeGcWPZpqXSMzjwmBQlV8791G3gdEOtKnhQWKrum1GyuV8T80U21HxbaEnRUo4MuvPwsCmrik19MzZhho45ALSjusqHswvOMAzEPRquBa2JbPc9h4zvWI9l+lMa+fhnY2PY/k8DRY89hx04tJImmS+iZYxiMHijm6nxyFg2OoW2peYR9XV92ShniKRpWoEdL50zfpcW1V7u0tt+D8dWNfdD0W5OVsgdm0cxwW7S3fX01JpQKMW0ZNML4sUYp0wnMZ3OvavfP99ev726vclurq+ydx8xWn8OhI+6yLrvTzzjg3Mu8Tx/lLcNMnOVNayG9KlAckpv78k95yAlWt0U5VaeZxHRPxuPdSZ71mzBCfy5v5onPjUPURifgE3jDV+TooRKaLwhTSYVdFJHKjA51eXMdSGPYrHA0Q+s/8LTll6eCrlwDXExEL8WK29btblD/mlC5P4YpHn7zpT0d3Jk7A7kTPY4ID3sRs3gPB0TrkvJcQz9n7zHptXMZ+PuCbsuiWnQUjLG+jHJeHhGJnnbwxOqYQLPjldIpmG+e5nseIVkedsqHNusm8m6vUMrjbEv871Oi4JOmF+j+L7ECPznFTmvkj6yp8YyLZDLU/L+b415ROj+cK3pIF1vDGRu+3bf0buyERTbkkrURnWB0X1f6YrSaZh4DJCWxcDjmXEvv+H+5pCqbPYPFw9JnMWLS6LJ7C41MxtRbDb2u/6eadl4O/aBkYJy8SvTqtNUg49+cg2qPYZr5EfWo0us66ARjkEz073G7kGZpqUGA08StUsp/mMb9qBHzgCE3Kyn6bDEUDNk9AcuhzuMP06HDB40QBz3DwN8JyzXMkZcHnWfrD6HHZc+xr8JP4Y3Z9h9EGYEdFV7gGEb4q0A98Q5eKTH5ouEx0nzP1ScSS4ApXYyDf2jlnSMqELe5y41Gjcf7cOnHfHUiuNCfIY6BGfltN0i2tQYchT6/vMvHz+/z65+//QJg98d1A5Hkd6i0Wypl1XZVSUWyNrfDKtnaj5R0UiQZfTbDqBKn+/tkwyHjD8nLnBooscGR80nFe23xiyl6VRVZiIM8G6iYII9YTAdADsbIV+kcl9rHG+yCcmf4zZFrM/g655VQ92MSD/APH0xT2djd5SCyzduSHdwkIMQCahfY6hMHdzLKG5lrushbGBS9VJCv2mtEpPcoG8vrOQXpntda1SMouqSZ1qxxpAOUajSP8SGVZsO7YI7r9kNyJfr9x9++/jLr7f2l7c3N9P1mpwrxRXofEv4L4vS3dI=", "advance": false, "pooled_promotion": false, "leaderboard_submission": false, "contract_delivered": false, "limitations": [ "The measured gas peak is the maximum across recorded native blocks; the driver stops at the end of a block on any failure or excess.", "The inherited T/F evidence was not independently rerun; the exact source and runtime hashes match a-check.", "No contract or leaderboard submission is included; requester obtains user approval before any submission." ] }