{ "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": "s7", "batch": "a2-age-b", "where": "engine", "advance": false, "submission": false, "gain_vs_base": -0.03130674059796856, "se": 0.01372703728786144, "n": 128, "seeds": [ 10209536, 10209663 ], "allocated_seeds": [ 10209536, 10209791 ], "allocated_seed_count": 256, "completed_seeds": [ 10209536, 10209537, 10209538, 10209539, 10209540, 10209541, 10209542, 10209543, 10209544, 10209545, 10209546, 10209547, 10209548, 10209549, 10209550, 10209551, 10209552, 10209553, 10209554, 10209555, 10209556, 10209557, 10209558, 10209559, 10209560, 10209561, 10209562, 10209563, 10209564, 10209565, 10209566, 10209567, 10209568, 10209569, 10209570, 10209571, 10209572, 10209573, 10209574, 10209575, 10209576, 10209577, 10209578, 10209579, 10209580, 10209581, 10209582, 10209583, 10209584, 10209585, 10209586, 10209587, 10209588, 10209589, 10209590, 10209591, 10209592, 10209593, 10209594, 10209595, 10209596, 10209597, 10209598, 10209599, 10209600, 10209601, 10209602, 10209603, 10209604, 10209605, 10209606, 10209607, 10209608, 10209609, 10209610, 10209611, 10209612, 10209613, 10209614, 10209615, 10209616, 10209617, 10209618, 10209619, 10209620, 10209621, 10209622, 10209623, 10209624, 10209625, 10209626, 10209627, 10209628, 10209629, 10209630, 10209631, 10209632, 10209633, 10209634, 10209635, 10209636, 10209637, 10209638, 10209639, 10209640, 10209641, 10209642, 10209643, 10209644, 10209645, 10209646, 10209647, 10209648, 10209649, 10209650, 10209651, 10209652, 10209653, 10209654, 10209655, 10209656, 10209657, 10209658, 10209659, 10209660, 10209661, 10209662, 10209663 ], "partial_seeds": [], "burned_seeds": [ 10209664, 10209665, 10209666, 10209667, 10209668, 10209669, 10209670, 10209671, 10209672, 10209673, 10209674, 10209675, 10209676, 10209677, 10209678, 10209679, 10209680, 10209681, 10209682, 10209683, 10209684, 10209685, 10209686, 10209687, 10209688, 10209689, 10209690, 10209691, 10209692, 10209693, 10209694, 10209695, 10209696, 10209697, 10209698, 10209699, 10209700, 10209701, 10209702, 10209703, 10209704, 10209705, 10209706, 10209707, 10209708, 10209709, 10209710, 10209711, 10209712, 10209713, 10209714, 10209715, 10209716, 10209717, 10209718, 10209719, 10209720, 10209721, 10209722, 10209723, 10209724, 10209725, 10209726, 10209727, 10209728, 10209729, 10209730, 10209731, 10209732, 10209733, 10209734, 10209735, 10209736, 10209737, 10209738, 10209739, 10209740, 10209741, 10209742, 10209743, 10209744, 10209745, 10209746, 10209747, 10209748, 10209749, 10209750, 10209751, 10209752, 10209753, 10209754, 10209755, 10209756, 10209757, 10209758, 10209759, 10209760, 10209761, 10209762, 10209763, 10209764, 10209765, 10209766, 10209767, 10209768, 10209769, 10209770, 10209771, 10209772, 10209773, 10209774, 10209775, 10209776, 10209777, 10209778, 10209779, 10209780, 10209781, 10209782, 10209783, 10209784, 10209785, 10209786, 10209787, 10209788, 10209789, 10209790, 10209791 ], "lease_retired_seeds": [ 10209536, 10209791 ], "lease_policy": "Whole lease retired permanently, including completed seeds; burned_seeds lists any uncompleted seeds. Never reuse or retune.", "failed_seeds": [], "source_sha256": "c0fb05961b60655744bfc5597a098e2f91bc5b90db9e8688e488d077864fb5da", "peak_gas": 207618, "peak_gas_all_arms": 209173, "oog": 0, "other_callback_failures": { "revert": 0, "other_halt": 0, "tx_error": 0, "bad_return": 0 }, "failures": [], "chars": 47757, "bytes": 22558, "arms": { "CAND": { "source_path": "test/scratch/s7/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.2240905710496, "n": 128, "mean_edge": 534.736896547521, "afterSwap": { "calls": 1402770, "peak_gas": 207618, "mean_gas": 136508.63742381145, "out_of_gas": 0 }, "seconds": 90.07994901109487, "seconds_per_seed": 0.7037496016491787, "validation": { "valid": true, "errors": [], "warnings": [] }, "source_url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0" }, "QLX5": { "source_path": "test/scratch/s7/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": 20.37394386297092, "n": 128, "mean_edge": 534.768203288119, "afterSwap": { "calls": 1402651, "peak_gas": 207919, "mean_gas": 136568.50697001605, "out_of_gas": 0 }, "seconds": 81.37548129586503, "seconds_per_seed": 0.6357459476239455, "validation": { "valid": true, "errors": [], "warnings": [] }, "source_url": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15" }, "QT1": { "source_path": "test/scratch/s7/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": 12.401418938068673, "n": 128, "mean_edge": 531.4805174517932, "afterSwap": { "calls": 1403623, "peak_gas": 209173, "mean_gas": 137947.47507129764, "out_of_gas": 0 }, "seconds": 93.21699944813736, "seconds_per_seed": 0.7282578081885731, "validation": { "valid": true, "errors": [], "warnings": [] }, "source_url": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/reference/materialize.py" } }, "normalizer": { "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved", "source_sha256": "62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572", "creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05", "runtime_sha256": "69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b", "runtime_bytes": 640, "source_chars": 989 }, "paired": { "CAND-QLX5": { "n": 128, "sum_d": -4.007262796539976, "sum_d2": 3.1885976576083808, "mean": -0.03130674059796856, "se": 0.01372703728786144, "worst5": [ { "seed": 10209657, "diff": -0.527012881367682 }, { "seed": 10209562, "diff": -0.5023951373481168 }, { "seed": 10209546, "diff": -0.47799552031210624 }, { "seed": 10209570, "diff": -0.36332056706453386 }, { "seed": 10209538, "diff": -0.3131629206436628 } ] }, "CAND-QT1": { "n": 128, "sum_d": 416.8165242531783, "sum_d2": 1486.289868373489, "mean": 3.2563790957279553, "se": 0.08907374550549063, "worst5": [ { "seed": 10209649, "diff": 0.7736822811992852 }, { "seed": 10209539, "diff": 1.2658115252168045 }, { "seed": 10209593, "diff": 1.4454058898288622 }, { "seed": 10209577, "diff": 1.4746072214325068 }, { "seed": 10209589, "diff": 1.5889899494345627 } ] } }, "rounds": [ { "round": 1, "requested_seeds": [ 10209536, 10209663 ], "command": [ "python3", "-B", "driver.py", "--kit", "test/scratch/s7/kit", "--strategy", "CAND=test/scratch/s7/CAND.sol", "--strategy", "QLX5=test/scratch/s7/QLX5.sol", "--strategy", "QT1=test/scratch/s7/reference/qt1/Strategy.sol", "--seeds", "10209536", "10209663", "--lease", "10209536", "10209791", "--block", "32", "--budget", "1794.9999713790603", "--cache", "test/scratch/s7/cache/compile", "--out", "test/scratch/s7/ledger.json" ], "exit_code": 0, "wall_seconds": 271.028079476906, "cumulative": { "QLX5": { "n": 128, "mean_diff": -0.03130674059796856, "se": 0.01372703728786144, "worst5": [ { "seed": 10209657, "diff": -0.527012881367682 }, { "seed": 10209562, "diff": -0.5023951373481168 }, { "seed": 10209546, "diff": -0.47799552031210624 }, { "seed": 10209570, "diff": -0.36332056706453386 }, { "seed": 10209538, "diff": -0.3131629206436628 } ], "sum_d": -4.007262796539976, "sum_d2": 3.1885976576083808 }, "QT1": { "n": 128, "mean_diff": 3.2563790957279553, "se": 0.08907374550549063, "worst5": [ { "seed": 10209649, "diff": 0.7736822811992852 }, { "seed": 10209539, "diff": 1.2658115252168045 }, { "seed": 10209593, "diff": 1.4454058898288622 }, { "seed": 10209577, "diff": 1.4746072214325068 }, { "seed": 10209589, "diff": 1.5889899494345627 } ], "sum_d": 416.8165242531783, "sum_d2": 1486.289868373489 } }, "futility": true } ], "stopping_reason": "futility: cumulative CAND-QLX5 mean+2*se<0.04 after 128", "rows_format": "base64(zlib(JSON [[seed,CAND,QLX5,QT1],...])) with unrounded native submission edges; only complete three-arm paired seeds", "rows_zb64": "eNpVmQuuxbYNRDd0YUjiT1pL0P1vo2fol8pNgTSP19aHHA6H9D//zLHGCcufH3vO2Mvdto99/kz7+DRbK0blCkzj8Trb1/JTMfM/v3+XqF/melbEjIo1fazZlmnjjFojowaW2E/uEdN2jZF57gL7l2bPdLYaa5XZjLZ47MUfbMu6v1znqaNdWMFm7bvAYfV4xrSKY+FjRmLx55zgPitHrGKBsKdYzGuvzVXuAj5+Pnjc5uZ8I7fnyDYV/6Wb1WBVLOuJ5LeFw/jls8L8xTjPcN355K4Zuy1zmA+d7PgqLPnMZRFp6Tntvr9+UeexWnu4bw63X8PiontyDG9LPSvn3nbGOuWf94214/FZVRGbHffK15Qcam184KZD2jPSy4edGMT8ruA/nPfgKJ8x5yFo+7Vw25rJ0QHJD4c+a605uSmnGHEXEEj8SV8zhp+1rKotEbywy/FeeAMpFssNbhUc7C7AgRc/7uTKRK6S867Z591O4EbpBjOfOBm5A2zh3fs+/vX5cHlAtNfkhvPPUjyX43Ax/GRExd9AEdfzWWD/ONHjROosIAOool4Ty+AA8HHWwUIuxMIBWYTaPlfgx1pPTRIlklSoEdEmUMN/jg14wVFu4Qio+WKNzx1igHN7yASOzL/InPlaJlDYbIovfkDgKdxsTjYQ2s/7LL7zGecs3ieYpBCWeA7vHz9kNQmFxcDaTvK7/HCvzwokSgpmWxCaedLboNu6PJYbFyi/iZLBGYRpzHXfN0IcDxlLyGcF770WEAUTkPjGgbFAELADW8Myc106ACPkMRdee0I14BmPyZLkJbHF56k1TV4dM0v5vJRzd4n4wWUPB55pUNoks9sStiK1K6ss9tmAg0sZiQXK8xNJMYhzxO3kK+ArXNWWpcyvQzonj1hxrylW2TPn/Byh2skbDw7n3iyR1iZ2xkl4gaw0PbUExyRWE39DdXeNzSUHaOK3kjNgEBnAEKfBuWfrpoBpQZee5Fx8UzpOu7kM0G4usiGjtgA6rguoDxtzAhaYbA4iyDW/l8jxYkdAEA0CyIzXBIcXZBI1h7+XCNAJp+EpmPwuMX8FE4MZlRKAT2K/liEosSNISywsACFBjTwDjO8CuB0ehfBxuUFEMGJbNggHFoQ3DykBsyq50sj8grTvAqJGJyUMmKa4hQ3aRGkCYzZJdhlUsXAznMJtOcpdAWoEKefsIlvGPAemUth4B7IikxMwia4PGyvg3PJ83hczblEG/uFueGJmm7rarDmoF+adJe6TgnkG2RofcgVr3J7awe3OglAij7eJUgoTwaigd2OanGIqPDwqrN8loEfYmHSjnuoJPd4WggqgTqlMYJkqxVMXDbHuXYDA2X7IhlTgt679WmKDkENVolxjIXlDp4fduPvnEuARPkddEKGpIg4/tClUjgs+5wTxXoKsdZVZsiBvnS0QSRF0pROAHcFV2rIH/yOUkMNUopX3CmnEwj4EyePYiCX0TjSWqya1haAslTnnFSxLpTAPWUk1/uBRQmLDjzDPBgkbvHpbKLmkAoURegGhynSuNkr6xT9io8BjwDswNAWNvwlkG7gAiISgDTyTmypzFE02mOeTlIV/EhkB7JFmHqKTP4uonOiCUFkWBNjAKhW0T07idBCG6OOFgXd9+W6LdAXgh2pSxZ9ST0AO1GIscC4SCphM8Te8C/RIIqXIJEVM6TBMyV2tf3LrXq5t8iMa9euikEMalPZDBsgLWCgoofygduKnharjUKVIUPI/J1AR1BXIe245hODXQryPyWVLoR6bK8By+BT35M3JOiQsVRQ0oxbZz05n8BhiO2nAqSwvZeTJohZCN58yuUefzmAc3lUYKZxtYbUjOoX1s/ULFbdLSBi5dRcAtx5P0w/7UzC2lLdMgx/ZsikfCxUASYJAhwUMFXKXWC1mDDqXSEdlZhtcVI4QR+YqoU3HhA/AphTXfV0eq4cMBfJobtY5r4W8wGcD8AMkZIxWxPsLPX2+PvAfgZHL0LiqiBzztXB0qN3AnckCMEiNJLb49RME8TAVFI0/VPzUfbwGMQ/IoR1I3REBBqwQAhRSZM99Xw5DzUFcYCZxvP0Z1AaEQIM8aaduqB7Salb9eJDSVSkhwh8gBuBEW1AGPAybSwe1gENM0BCRM7s+pUGiHEHaNc8FmqWgYCGryByAh3RVtqA90ENrh+T4vkDWjTkxTKBSSvEcwhEWeIlENEmoIQukh6bcAKvwy6WDAyMuVufeOJEwD10KC/5D98BgMNWpl1PJN2QOpA9b3xUkqum2FidTYyCC4m9YSI0ako9Ydi6zlLHWVILdGxwEJvUcdT/YXapk/VlIDPxRmyyVhboCJIRKCufnAtayn73U+CHNhlIRy25tC/OQjaKX9gk0DcfZRyVBHHDsQ9JYK1ZeWq9lqpdBIgYe+OEzSpcd2FFi5mJAEEcMpEjvLAlk5KksxJmAULThWT3DGYOtCSvB/pS187IhNEoEOSr7nbYUxeFFESSOB0U3ojrUGJriEwCiQ9ri6X2k+3EZoKWw8pMaVTTzUvfoZDKhVIf98tPnDLvrqJQwUKKGYm7LVimevEMBwELjAGGRA/xDifpEQbW5HmiEtpJf4k9zwAabmkTWETcpvaY46UxUfwhh/y6Bg1jfH7yORKeW4/0WJEa1bU6TvFQ2QdO0o+pSN8ejEN8lUIuCIqQOzHEm27RlVUeC0NBaYQEdaFEqdai1i7vAaqBQVeDgQaOW2YbSnAIITPVEfwkKNwM2iKY+78OJriqCx4c6bNbAQhMKI6sEUWhNgmE/dE0UG4Q4pe3jBH7ERVsqLQR8ijEWOFFnOd0P7dUtHRzJmUguOHXfBcSJ45E8mWo7hI42IGcoK3k4FaSzduOFdCIK4+sBoG6KO7qSxxXM10JaTmkwOBHSKQWbdKZUKJ8++1dXPclqNcASs7MtdBwKmku0qTJOSFK6868XuQtIOUgULnWhQK/VMvKXjaBxyvOQvqEbQxmcLr6k/ucCHM6BKVxCTaGBhoDaAqgpQSQ0cCLDXQ2emlwemn5nKWR38y2tLWU91NiMl4FpABRYk6KI1itcUeIZfIOXu4DmDqUOHRKnZNA0vhYyxyh2u8c/WED2FkSpLYjte4X5SgFCJVZBEYwWMxQaycNNske3HGt1sacpMc0y/C6gnqUkDihJodKi/cRg2aAEteZvX0OQKEtghcLwdYIaElAHAflOPLTev5HYUzQJ+jVPQqQqOeHY9X9BmJRB50eFRuLDJYz/TBryIfY1v8omrlAYgSJuuRItu8XJpzFUYFwTp7Z4O5Wsk7TFItlIN1IaCaEw7gLVrWa3JSXuQJO83Sc+p+WGS1chD7v77IEYpacQAneF3ZWQagFCgG93sW0CNNI8Gud0uQTM8CY+6CbmEwiYPFRcIJsj9ugWKUz0A54B81R6BPnZdVL9b93yTvpzOjJN4kz5SBJ4W4Qb6jl/I296LgDUcaEa+LrFmSQm+10zAFUF+gQXmGUBnOI7yTBRhjSWZCai6+xxgdDFuPNZmoYLEeZsE/KIcggGoucC1Gc1jmrM6BbmrZCkSCdwKOYlWq04bSGhYTBt18NCUhqSFEfxyPkklLrjlBIfyFP6Je9ZnSwI3UOzrJEpm9CyKACC+xLV3wW44aZdQJMQxJK8fS1kFulLK6SmA4vwDOYl6gnxx435TgJpfZHKkvjeBg2o1UxDuyntCTqpc3gQhI2PB6rHarTIUDINOtLK7TXNFToBFdMbmwPtLKIGzlepQhBdM9iFU6OrIbn+m+4IjdcNtPXMeygrqFQk86eqLMGQzZpvq/xtV7Bomh0anGzxdqxH3YiL3yhP9/wmkTg0zaInhS8I16g2qb2lprHhZmdqc2lIxoamQlc3E2y2GtDIFschxPvbgSxoZ4hcQ+F6k0ucTD9Dsag7PqCiE5/Q1JB+Cdfl7DJArdzqWjFS0d/Bik2L7qqI82cBayXvEjCkM7nQswJMTVP4ZvcsytFiKp5DcvqjtbtwT/X10Ix+m4q5LDBBqtlYbBvdNELapuE0pe1Dacb9Qs1BZmqUVWLeNlEXuJACc/6myFvTTkAZ6sjvCko9iH1XTw2BieazsqTInhCYxvutnwF7d70SIlcvp4YL8FV3jFxxVMsJNAtlfKgMQXbRfRzpPJTkQPM2XcDuRxo/kuowqqRddwwJmLbCpi4IXYZFw6VDwXf2P3cYBRN2JaCQwqIKlHoWWYAsYt80RfMWsD2vhjOte4b/LeCq0EPzEdVvfQyo2RZ2knNpnk0JTiAk2Bc9Atxn/llh9rcJZT9OQo9nvd8vJv3I5hl1f9EkpRkN9LL0ueN6wSWPj1pdGhZCMRTxNuEAoEWZhVbsRbjpIxU1gD71s4K9jEc7gICY/X9toTymdJm6duF5aBwGm5hmkdeL7j3Hx/mlSbo+VL0WKhiSUkpFDW5KPwud0qo1P4FUMUTIWg9RZgPBXkvqA8jQZCLV/rYYEq+AJTnqrpBNWQAURusEstciPSMDHeFRxdz6AMGBqADfziW7IQAJoY8DtjUBPm0xhNUkLi6x020HigNW5VYSLHcBKCBd3zsQVtANfj9tQbWI2PT5L/8qg75J6XsYB7kJxX68+oC5MWfXS84kC1ksbaVmzTSnQKbAIFxM7WBcH8T4meQmopj008Aasm0LC8AB+JKuMzBp6g0n4dcU190VZn8YUC8S1nL1vBZFhYZH8+X58n3pOxJVTOOU+z75O+PNPtd3xoOkkOVoylnCvoqbplscfmrUAzN+iBHg0jNKLaqdcm+NIMvShwryC9dovqYvIIqgwErJ+gglzUB7pC6EQfAo13fsDjWfbmutvGfsCD3aWjSSBsD3/ej5ArcN6FmjGgFpavwn1UNQl1orgVPZSuOVKnoXB/25hewlk0EuGVuvgTdIorl61osLJTbBgMCP5P9cQN/+VF/1jU8jAvzcltDYkUcpqZpzuCYlW9MmSMruV4KMdwKqz5aIQH3QrdcCCk16n3oopYdXTRNLfWWAfD83eOeHmthqRg9f+p8F0B19LYGNvTspnIH445rjM4dAgvTEFTKiu9cgpNSHbMVA4zSSfPZXYWkMjV23WsF5Z+Opz6VT40AW2KYpgihqao5sIhguD5u+86oBvQGurXnOXWC1jpySP/qcRfF7lSVlGJI0zYmz+xgwTydn+hCXNxFIVGrNoy/86jKl4/5MJnU9NIzT91DSED+h+EEqQKSy/Oe/qPG2/Q==", "rows_sha256": "054343e91a67d8a3b458dbf3599b42922f939a8dd9665c3c7ad9b642507dc9bc", "block_audit_format": "base64(zlib(JSON array)); native gas_stats for all roles and callbacks, full block timing, normalizer edges; no counter imputation", "block_audit_zb64": "eNrtnVuPHbeVRv9LPwsF3rnpt7m8BBgEGGQeBggCoW13HCGyFLTkTDCG//usj1WHrKrT8rHhSRC524mcUrOrirV52R/3XmR+//3d/eO3d1/c/du//Pbf717dfXh4+PrD3Re/9y64lmN5tV6U+odXd+/uvohBv/LV+3f6pdCWFKyFGFvzVktIr+7u//jx4fF3/3P/l7svvr/76v7tW34v5uCSf3X3/s/z+i8P939+/c29nuJyzoXHfvft6/fbz5K5FEJoKVHw/ruPr9//cS1wP7y64+L1h4/3H1XN7+8e3799oPr/ev/h4e2bdw98gt765f1XvGytzW/evfn45v7tm/+9FH5Yv6NXh//99v5v48XB13aqS2k1Vf36+294/6u7x4e/Pjx+7JfvP/7p4fH1n+7frn/9+LfXD4+P7x/7X768//r148PH7x7f9Vr/lIp2s80qppxd3qq5XR+qGnILx6rW2jBlxcZ/5+p+8/Dxt/ff/iR75nC2p5nF/78K/u67L7998+HDm/fvfmHT+1hDqKd+GJsPJf1jKntq/icGzcGyN4fN37fKP6cLNH8eUg67/sIqMiH99f7dm7dv718/fP3NwwdNOJdZS3NTWYL3rYWcaosyyFZYsVOgMHjjb8n5UOsoNApdXLLPkft8aiWHWdrUI9wSzUd6Ri7O1TgenBxvLX4pTCHZvDN6js1Sr1GclupdCdlSSVGTylYYKGx18TlFSzEyQlwbhZHCmBYGjTVz+pe3UZgo5KV8Zot0k9jc7p1ZreGXkBKfk6svxfIsLaqRX5yloHI6fxxlGClWt4RSva80Vt2/02TevKRq2UVHf/M1j0JsFH3FCqq5L4G/TPtmJ/vWJdTis8e8vDWPe7PXgx01orIp8fwWRnVzkPErXxq983yI83UWykYuLyVXV0P2rsVWZmlSy4SFzpB8pslizcP2GSOFXBZHu5h6THTej0JslDy2z9a84+MCDTPrKyuFgH35xtwaH5rKLJWZsi2FT23Zm2V+adapbdbnw6y2lKnSqFNx+pyyZNdk3ZJCtNEfClZKtA3dPDqL1InuNgplJd+WigFpmZQ8HzsK4/rO6q23WnapjQqVpDvj4nxsSW/hY1wapb0rtQU3X3N0KQYXyugupQ+4RCnmDZacy7NHFFmpBQzsPDbgCSGWHzTD/IjwKLYJj9aeEB76wEaPTqXlaqb+9bTucNTzMoWu13vdUVI6TUx0OU+HzbW1Z6w7YskXq23XN3UH02os1l50x69Ad1wPmqPuuDVsnq3uKFIP3vAWIfODjKOeTqg0uQO3oM2CTxZLKK2NGb9qxo9+SUgV5mY8YGzDC1XN+A7dUaVGeHCJaUzqNawvDQnRYCZJMOblGrt2XBwtJr1hrdqc06u0Q2DWxk97pm/TfDoKNeFXJnyEp/OtOlzOmNKrpAOTMP4FdxEKPcKmN6ia8GNZmL5K4wc4+zAcVDV5g7igujyePMr97R4sr2h5QVXgK+h7NkWSud4hF1x4kTooCZU1CiWvHF9aPD2Rm5Ees0YmfZXzInkUQsG6CdUzSmUlYy1bUpURkQB1SiFLfTguyeHIaZuWypRCJiuVKM1nkbHCFOjHx9gmQ33IUYUpu93XbNrB8V0MHarr27SDyUoB7YCJ1GgWGWGjyU1WQgqpqenkiKh5Z5MKTcbH1CIxmZBCdXxqk5kyirC0Qv9kvPKEUSgrhbrwJ6A+qO++VdsmHtBWhlZBZ6GVRqGMxNfoXbiCzNPLfG5em5zPpwOrO8zaqiOVtCDIMSC+pmHhWSob0e/R4Xoe/2DwUdhVaFwa5mvI1FZamq3WNNqMW2V5Ky5Zizc0B2p+1Rwl+qeCHV66v0QqSj0CIv1TogO9d5mStuu96Ki9+xxXbRiFbkVjPWPRYcXHi+hYr2+JDiuI1pBreREdn7/ouB40R9Fxa9g8V9HBrMVbK1M6k33JONTW3HAHxUk6RCkARpXzgVXunEOL04yfCqqjNNyNPL2zUdgn/LDg2hRT4hvwQ2WUpnVSZ7bExbiE+LEyH5z72mGhPgUvlRMqJI1CLaqZTrksFoyZm5l+3lpXCcDH4KmYtvGeab5WjrGmhcqihkpTmKXNexWgwR1zGwtjHA3ueNzq3RojwKWiZSIPrUiMUSrPWMJCrVmmImxanFb0YXVTLImTojCOdw87+biKIeweFPehjiN4g2JQffNSCpKCF5ddDIBuvvo3vDz2xzEiwOoolHqoppW8REtFk7R5Z11jQr5Up/U2r929U56xBwh4oqPds5TLKJV4yOhFhyLyyA5+o423BhkpoN3QmD77Rs1m+AbhuvaXag2tRHV563htkJE82s1CbQGfixFHhIZPXCNr6K5uw0BnTKNSoZspLIYKbYwhz6J+3pp1K4UR54TjDUavGW0TyiZpqqOf4jlQ3XU+uEoltAXJUk1RC+mwWSrBHjIirNDvMv2nlfk9MlRxSx9PUtyozvng6FZxx8+cqUFQXuPWqEAW4jki3Wl9j6pB4dzSH8wl60WJT8c8UkWrJk970aAxf0J/JPnEiyddrw9BD9r7vHpD4xtSPbrnqz8Y0ZKzvZrb9S39QaMzIprWNi/64zPXH08MmlPQ48awebb6I4bVI/vCzJRxoV6T5ZgJ45orYLnGvI/4YAkXRqFmfQsLswBOhik05zSyASXKO3q3ICFwnCyhM2vS4Yp6jscUTlGwRGtVlu/ztXWNmBSWxkGRgBz9nJ03/8g4517nWevOMq0bm19oV1wnNVKy5lKoDI/cn8NFeVcd7tryeGfP8BiuxvQ9SlGw6hyFQdXF/fEGFrle0md8ac/wNFv0aw0LdpUwCtOaG8JZ0y+VCMQPjsK8ir+Gw0QnIWt2Ei1tCkIVQaEVqbShd5ThUSFdwzssm9pOFyZbVQuVUjiHf8o03yXD45PiXBVlgj65FOYefshLq9QICSAzjDuz36Qd1m2KN3j06ShUHMslZZWQ9ChOpZZGoboRwq5GegjLewWPptrMvR/xoYjQwH+z0hejUCbipTlXZfWaIUVGm/X8jitLo1retSS5M0zU0zu5Leo+iBk6FWp0FNqa1UiGEMJhhNLS/NAtjGXKUfBSU5pmVFfZHWVaEHwaK/QX10YasSi9o+gZ2gE1TqVbKLOwC/a20P0wEDWPtO18sKyUnOQvgppeZujVvJMd//kf/51/LuMRF0Mf+kSNHeMsfEp2oHLsMoNu13vZgX5y18lqybzs6rNmPLQwujAeur7NeCjv3HP/L7Ljcw97XA+ao+y4NWxeGA8FJjIORT71ivHATqy90OmsvcsZ8sDLurTmqocmGYyHMAvz3uPdYjsjHpVFNSs7Vt/9E4+Eh2mxHvFgSIWJnayIB57GqrHo5k/L/oh4sA5VZl1hDb7MnxEPU3iB9S1KdKZpLohHVMYJk3s7vLQjHixhWbqytJc78SVdQR44ci2AeaxN3mJHefCRTqRHtGvMw3CwomiYQdsV5YHlEVFopGpnxsMrOZTQfObjifGwRUKFe5tCBHZmPPC2+GllPtIOxbggHgg6CrGwT7vndsYDVZLkGc3hOesZ8ag1KXSCBsg7cmTL0ijew5Jf0ZI9w7ERHggL32hyl3fZnxXwcGgAdGOMVM5mdS+AR0FEqb4Iml1q40J4YJ6QFM/A/leEBy9Q1gN9G/dZxgvigcBySpT5sEsOrYxHkNCk9zaUBCrvivGgqsi9hjvyO7BkQzwQSC262ioCxB8RD7poQzCiFZHtLtzSHT+OeAQ+X4E/dROGuPef1B2swtJIV/frve5InZs8Jauz85K9z5vxsDQZD/spuoOZCAFs6UV3/AoYj6tBc9Qdt4bNs2c8Kh6XdWxhdp8sxoXxCKzotPzFXdXJGVwYD1yU9AHeK053OxmP1HhixVG3dGY8fFXKAu3vdkDFhfFgomR5jGIJbabQB+NhXtMPTy9TWQzGA5+I+6FpQ5sp9Avk4ZWLiIUVb3VWz5CHhZpwWKzGYzpBHvgZFtU4oaxISzozHkzvpbBMrXsnf4E8vILxCvqUUKcdLpQHTo2PConftJSuKA+HH4pIQhf8FeTB7XjyVhVlOCMesfUQQGS0tqcQj5o7w+EnQjMQj8r9fA6qZA+AXBgPZd9ob3xmi1eIB2IPaVAk6cuZ8ChOiQvdaCFeIR4KiVUERJlYyQA8kG4Yj7k9TqlzATxE0ARXpLxmYmgAHkI7hKM6w17livBAE4h/9kwG5Ux40KymcAc2SleMB22LMVFfQl3jmfFg2vYiaBM29WfGAw3ljB6BHpytdkE8igZlQ46jU2O6oTpuQB6Ct2qIAoWVHZSk/QTj4Vwc6ep+fdjQYilcJ6uVvMnqWM+Y8Rhk4Xb9ExgPEdcvOZZfBeNxNWhOG1puDJtnz3jEJj/NtJ3i2CwwEY/CD0vW5pMwk+cXxKMo2YE68Io2nxEPdAj+iNHH7H0iPNLimnParIEK8WMvwSA8krEkxmk2hkA8Eh5KnXsWzbi+hJO8Jjw8Lq4F/NBUHQPwEEAb1EmiD1d8B37TMy0kZX6u8A4+JHvtAZnw4qA7FJEQC1tq3ZEWF7qjdcDQelz9iu5wFY8ZswDbekV3IAWxOrLNmktnvIOVOnJJlhis5UZ3tAUn6oJ+wZUdUbLRHUKqcaj8Ckuv9ATewVo7quFCO9MdkdoWvHgycZVXdIc2lUQ8dnWT97nAHbQIzcYAtbZHJS50hzIZ4iWQs+EK7pDg7Ttw3OwMK9uhwr5JySEUa7tiO1rZclhhh5tsaIfYJUSQ0kZ19sCBdhTthFM4yGdXr9AO0ZqIJ1p/9pUV7UCJl4qGEoHkdunBjexA5hRRys7xa/UK7cA8vLXp1nJTddxAO1D2itegTBmSuX4a7Ei7HHU6ZVjovu0qQ019NfTKswY7mp9gR/M/Beyg54caX3az/CrAjvOgOYGlN4bNC9ghrl4/qn768AvXga8Knd1nTT0JzwF24NuCKAXFys9cR9AuDhacPcR9hXXgz5uS4WGuJAfVUVlZ4/XE1KWWrrCOlLQaV9a+7niRDexQ1UUmWmrtGuyI645CPNwO3bhwHYgspnrzSWHpM9jhJSkowedOvGCAHQ2vJueYfbF0Jju0RcOsGRrCW7xCO7SzLonBLTtZd2E7WsRhNvxxDVPQrGyHxEUWF+rFBacz25Fc0rbgho7aGWJL66i3aV+ONstesx3a70ubNjnlcoY7oqSZciHSo+lMd1DxoO01LbTpqwfdUZp2tKybmM5wR/XarZKMG6dmucAdjFgnxhIX48o13YHts0INOU+RNegOJa+UosGRX9EdWVtdXBYG6ydJPPEOdRXUoduBoRe6w/gGhYUkTtoV3EHdJG2NbjgJogvdgVIyc+jHYlPZXeCOIC1GL2P2T36vO/7L/1y0QwqTr/RYD/muHOgnTu/o+bvtIIJ+fdxF265WbUWht9S5qmcb7GA1MYId6/XNYAcDwBl680V3/Oymx3D5tEFEU0z6B/jwpw/vuBoz5020Pz5q/nlkR21XsuOXx+NugR1tQX+nGLsHm1norgCiE5IX5ORR6fOwhpXr6DthszYD6lCisfbdwA48kFOygsnX7TbKrmBHUuzbeWZ6Wsyfju4QdCcYjxW98SftwQ6tYL1l7SptLerdR7KjR/l5big9gV+PaAe6w+uhOp8jnciOtCgk0iqLEZsHZaxcBz48oidqN0WJ+ch15CUE0Q6h79XM8ch1aP9HzxfFRMXSAesIfTNRUwADNxSOWAeeLSvCj+5gYe3j6fAO5Uli16Xaf5MOYEfCw6ccqC6aakZRNrBDG2iaiaRAOlg9Hd6RVwoRBVpZTNQj2GEL+iajQSved+6pzlsUSlmZnpETAXtCOwSjOhework2s1ud7CjKxtVS13MyiotHtENVErzJf8Lct7OiHcKWpaZa0uaRXS9c0Q4EQFN+hlt1oks5sB3UKWqHKSKk4CTSEe2IS0POCQJUPqoeyY6qYF31Uqplh7h0sCN6Rk2LIQSJjzo700p21GWlXyt/10aXI9pRFmwbLWVftcss3dAdN9COuKBK1WQMLe2e+TTZYbsktZ3IDrpBPM+gOigpmw/PWXes2bVVd6zXN3VH6nOTf4l3fP6643rMHHXHrVHzbHVHBzuYmhIrSXn5kDQhHskOplD8nkJG1mI6gR1RHCCe0XzanXi1ch0smkUHlKr1rNsdldEn/LSIkxTJHzwrvnREO3AWOrPC69CxtLs1rcn8IKZDi3iXd4xrRzssybtpmV8tzy0GK9khqhF/qwMSkj/wGT37oAi3Fviokqz+fEQ7bGFRjLsOVcz6xA8729Hcojg/oiUgzyb0uLId2lWik9GE11o9HeCRdaAk0sdMe16PYEfTO3HTChLsTpfoYIfOnqLFeLKO8JoCq5MdqW8qiToZkfW8352j0dEO4aYs5NGLqL6dBljZDu3KQZxlBT18SCe2Q/kQ7CAriV84sB1RB4Mp3KHNGnnCkrad/OWZibU1SUd1HdAOuhlL/6JjPcxCnAZc4Q50h6/FaUOUj7NRV7ijLepGjHGGc9yd9bLCHWmxQoUU30yh7UrTdrAdAragscTXnOCOitopzWOGvDuUbWU72sLo0TFm0rYzdLOxHZH6euOhnUhxpwM8kCyuZ86CgKfZ91e6g3sp09EzOgsu3NAdt07wUP5P+8GcY6WlaOrTsoMPHOcfrdeHNIsL59OPJCtpKtNS5LnKjqxjdcaCt1/fkh3S4Aw7ewl3fP6y43rMnLIsN0bNc5UdG9rRtx9ondlTzjP4vbIdzL21H1aq6EKaexA724G3cD1QLxBzT1nENaehrLom18CavR7ZjrYoFNIPZJBwiUe2A7/I7ynM73BT+ch2SJT0Ob3sciwd7NDeDiGJXnJnhm5WsMMkDYQBoEt0tlw6kB3ai2KRJujU/47B6GiH0igsbX3sx3PlI9pRZMCQ+j4gnGM6sB2CJai3OAGnjZzpAHd0qLHGgnSoVmZuYYU7DL/nGw4Tl00fjke4A//EQpZPUhbhRHeYqAadrmH8aHcw6IZ32KJ9ofgh/LxOfTviHdqjIcrCsEXaHUTSVo6F6kojhTTh4xXuiDKwAvoSO20HYfiVq22tn3KGCoo7kqKzHaYz2aRjUmt1HD63sR10wZ5QCYI75h7tsNmIDtIPbUVcuBPbUZHFyIdWsX08sx15qepd1TuPApibnkNdQd9aooISfGYLB7KD7xR/oUN8qbP5I9lRlObrfd50sG3eox3ReZ2HlzpsWrzPB7LDBEMF1L0PYoGt3lAcPw52sJxAM+UURCv1E4U/iXbUcdbzdn1IsfhyXrRVxYYUB4rPONThZ5B9u765iUX74OnrL5rjs9ccT4yZU4rlxqh5tppjJTukKtBlFV9ca5n0wIp2GMt0HY7uFD3YnTGwoh1M6vg0J8coLvKIdvTDPVPUMfRhbi/c0I6+KUR7X4uODq1HtEPLf9yoWBLz8/D0De1QLqR6LSIt7Sf1tvJ6cpd4f9xTzJNiXdGOthRtqUWRRFN4+8B26HgSE7aUmUTc2JW7oR150RHaSUtxzeF7tEPIoyGfdOy1gii2JzuUE1JsRv+3GCyd444KyevX6LB+388MDdO7pQ2AYd0vpMSkk/KR7JCwSE7bQrWr58h1tEUiIeg0crxfPHAdQTJI6cV1u049ch06Wd2Ussj8YHrFFesw7fMJOo687HnSntbxOknFKwFTdISWHakOsQ6+702qylYdz+xocUmt8psO759rOGIdCFCdO2E99xFCOWAd3i+iOjOGtHQ+tAOFZJ2SVhbQzSDJxnVUkTHI6iiAJYYD1qHgVdSeZySStOgR69Ahsf3IjizxNaGaletoi05KMR3ErxNdj1xH1kG72nscZMepFVeuI2h7t/ZvOw2AEH744Q//B/cMgfQ=", "gates": { "P": { "status": "pass", "inherited": { "url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "status": "pass" }, "measured": { "command": "python3 -B test/scratch/s7/kit/gatep.py --reference test/scratch/s7/reference/taylor --cache test/scratch/s7/cache/gatep", "exit_code": 0, "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" } }, "T": { "status": "inherited_pass", "url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "measured_here": false, "evidence": { "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": "inherited_pass", "url": "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "measured_here": false, "evidence": { "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." } }, "G": { "status": "pass", "measured_here": true, "size_pass": true, "gas_pass": true, "gas_limit": 245000, "source_chars_limit": 50000, "deployed_bytes_limit": 24576, "coverage": "Only measured leased seeds; afterSwap gas independently measured by native engine counters." }, "Q": { "status": "not_run", "reason": "Outside this paired engine item; a-check explicitly did not certify Q." }, "E": { "status": "not_certified", "reason": "This 256-seed maximum block cannot certify pooled 1024+ seed E or authorize submission. Futility-stopped blocks cannot certify E." } }, "identity_checks": { "qa_artifact_sha256": "dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "qa_local_after_matches": true, "qlx5_artifact_sha256": "1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15", "driver_artifact_sha256": "764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "exact_candidate_source": true, "candidate_runtime_matches_a_check": true, "all_arm_source_hashes_match_requested": true, "inherited_P_T_F_pass": true }, "runtime": { "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01", "kit_archive_sha256": "9176e11cc6c5369ce4b37db5088ecc14fdf2dd3eac0c3769f95a0b5edd8d856f", "engine_commit": "6b6921f8d463314aa7c96234e1be25a25245f704", "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14", "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282", "driver_url": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "driver_unchanged": true, "runner_sha256": "46aa62498cd412c81a863d2833a487d3f7f3599ef2e6e60d883fc75e8f229fa6", "runner_zb64": "eNp9Vm1v5LYR/r6/QkBhULrTynp/wyloemmRAGng1v7QZLEQKIrSstabScnnTXD/vUNSsr0+NwZsU5zhzHDmmWf4F+MzpzWbc+MOn7uRG2Y79+R+YO1ptmyjZfNpqRwy9tcv+9e47/eC9X8NU8/HcZD6gefFfki9yI0xwV7gERxEJEjSJgvcOjM4FRRzcroWY/dIa2fH+mnksyHOwh6FPbOe2v8V42CfsDh1rLJ7PJ92DR97Y4IV7BjriRspWNc1Z4+U724KuWmWZcM6WpaWA96kG9NyJszpMO/AjSPtOGwQlM+ma4uZmzfX6J7NyLKeoyEjp7vP//77Dz/dFdq4o792I2ctG3C3bfNlKKtuJPe7XU0bo10wr2ltfsC8FVa+M+CH1i0VNl4gufbEx6qjvSg2O6umUmSNobQOCDcz5bdf8ISOBzRRfF+2WKDjd34Yua6rzcqfzZyDp4kOtfly0JCnDPpEKK2Foc8h7YbTeeHDu2HpS0yYARRMMeOZ2kaFBe3YQNfbCGmwULIDEkvfY36WUap9dFQ60oAoDqawVz3MeyGVPn//yw/yPx+/yG+ZfGEd95dam8Nv9CyjAVwKgw06Cu1sXOZCFczR0bDfqakCsDaxs0w1ODBBXtaFRJTTwNqstT27lhb1EVvp+K+VPryjdpFI8LDbYSEBZXR0MEfhCHKiddnSGTcNG9h8Nl3L+q5Idw+4kPB2uhHXwpTIe8CO3EESrbguZ/o0m2B/tYe7znzAB9RC/DIT7bEo0ARCpIJqZUgHdINsdAe//0BHawctOr11IvegJ97zdNiEUDv6NFEy07r4Q1cqR8RtKjfKYq+K3TiKkjCsGhJFWYLdLKV+k3kViarMrauMpnGa0jBNazdJ0jhsqqjGENS/fv5PBJaolwY0qkjQVEkWVokbJ4kbVJ6Lkxpnme/6cYJx1IQE4yxOqRcDf7he5fpBkDahKy3deTIkcJMmpGliz0td6vkV9iuP0CoIAlo3SYzTwIXAmjiACJIkwmnqxg0ESNwUSAl93cnUAdjsR5k+eX2HzYB+c4X4mvtHAPW4cEJLccJ+FCPI/ZahAxw/GnioX2mRE+ZQo0+F7DVXCd1PIAaKkLxWVmdVw08FdGMSbxWW7l81xqr74lFW/+3udnYlSUfvq0qvtDSdtzIrr1Bn50SfagYtD0UHDNVBAzWKqyj0cBJnvofDhGa1G/hhQlKS1Q2uoix0IZ0JiWqCk4wEcRUTN0yxn/poiwHdfH97i2QipXuJ0wmA116ibFMexlmpdZJ8+AZH+sTEDDHaBhooRA+NNXX4bGDgNwal6igwAtq9ZdxiJdtdRVs8FDJDTj+Ci3FgBHyCFSBzwDJRgw3lmsJtBHTDoYblMhOUq2NAMI1cmOjq1/1Vv7+q765+zK/+mV/d/obUVHLaXilYlg2stAzAdfnhKG2N08SGtoTbytvkv4wDtRH07UiwdCKZCXRTG30Z+T3lek0HYH8oKCUjmCo71ssAAc+uRiezzW60T8ySiaXD0lMuGexgeq7vZlEQ22oRx4Flm+sy1HtJ5llH21uxzGmPgYGGtvCSLNqbb7O0V8nTfAaT6LE4oP1eTsOLyWjDJnxDCO0ZGlGitUAfVw355cCg/UZNdv6Lmvx6X+3Oe9HitKEwqgm9fpi969tV69U5NWZUcN1oqf+QJSnRKLHRlqFtCflAUq4wA6vA158LQHC95nOSlCGCgb2f76++rjeOVApA+M/iCyTrgSQfGTqVq86rnjx+lBKtJlH4LWpV0cj2vJBxrZtqSL4l9stGupgg2xlR/FHlFyO90oO00sND8bMm1+NXdapZZtbB0FJTXqwaQE4DvEAKz08Vtb2R9RQPZc2aBh0/+h/eCKEux0+u44b6dtCSqoVQzqCZ6MMCpASdokubHxTwobUg5z2WWvAEOs+ncQhk4f4Gf14SqvMJ/fTEZmi1mqKcE2g16L+tudYWf415lXpwsPRLh2ewhXIVsY22q6N8W31d20hyyWFr/eP24OLWhfjC77F4v9m2tx4n+XbuLYscC8Bd11WY3Jcjl4+/ssGsWzhF+mRR+AbtBDU2JtETRmNavzo7UGRF4alqbbf5M4/POsZLYgzZ3HtZR0NWWJaWqkoa6qVpABou3fl/eifooo7KWssxps6tpcTz2DNSShwrFgCO13Y0tG39oZMNQ2GYTdUI9dJPAopgN90iTsUdX+jzU/r/xpFXsLrf/Q/TQTIt", "runner_encoding": "base64(zlib(UTF-8 Python)); only wraps run_block to add gas ceiling and uses score.summarize for task stopping rule", "engine_eval_sha256": "0a3ed61457cb66c85a292c82acbb9657b5e5544a98c7aa04c7a6a5dccdc1d3b2", "score_py_sha256": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43", "gatep_sha256": "1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db", "materialize_sha256": "79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad", "manifest_sha256": "f9a0c49310aa6f501eac9a760e537af444d21f556239e3f00a9ed6f1d9628dad", "pinned_dependencies": [ { "kind": "python", "sha256": "ce4f6d0a6cfdb3bed6e44c2f9affd85943c76a42e25ad3a259002f31d6fb8a20", "bytes": 34505639, "filename": "cpython-3.12.16+20261026-x86_64-unknown-linux-gnu-install_only_stripped.tar.gz", "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" }, { "kind": "wheel", "sha256": "fbde6962867ee75b48b0ee29b2b9372ec5d617799dbaf38e82dc0596f2f7738a", "bytes": 16727283, "filename": "numpy-2.5.4-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "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" }, { "kind": "wheel", "sha256": "8b33fee239194b9b6cb9b176f3c2563b94e5882fd846748ad0cf960daeee5406", "bytes": 3890001, "filename": "numba-0.68.1-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "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" }, { "kind": "wheel", "sha256": "d501e5103076b9a14be885d2574dc2f6793171aa54a853d1244e011d476f1399", "bytes": 59696588, "filename": "llvmlite-0.50.0-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl", "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" }, { "kind": "wheel", "sha256": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a", "bytes": 727586, "filename": "amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl", "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" }, { "kind": "wheel", "sha256": "d055860c3352d6bc180b80255d8563f0b3c0fe6ce62b5c2a52e1bc7ecc4fad4f", "bytes": 4317826, "filename": "pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", "url": "https://files.pythonhosted.org/packages/7c/6c/17f60815e678474fa8bb36363e4a9f336fa444abb983c2a1e4bb08f681ae/pyrevm-0.3.7-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl" }, { "kind": "wheel", "sha256": "4bf45aa96c29ed0a3654dcb6951f0f14c648d2be3f938260babbbd1ace6dde04", "bytes": 18126, "filename": "py_solc_x-2.1.0-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/8d/6d/3456e1c77b7efe9e277c5202bb8b879048117369f97c2b3dcefbc4c43071/py_solc_x-2.1.0-py3-none-any.whl" }, { "kind": "wheel", "sha256": "d7193f7c8e4e93f444fde0262bf90af30e16fa0ad0ad44cb553c87339b23cd1c", "bytes": 129956, "filename": "packaging-26.3-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/63/34/ba1c580383c9eada3711951fef0795c80b829a078d72188184bcab9dd527/packaging-26.3-py3-none-any.whl" }, { "kind": "wheel", "sha256": "2a0d60c172f83ac6ab31e4554906c0f3b3588d37b5cb939b1c061f4907e278e0", "bytes": 73075, "filename": "requests-2.34.2-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/a0/f4/c67b0b3f1b9245e8d266f0f112c500d50e5b4e83cb6f3b71b6528104182a/requests-2.34.2-py3-none-any.whl" }, { "kind": "wheel", "sha256": "3d31298449090ab8d47b7b1b2a555ff73cac7ed438a08b7ac160980c7ebed649", "bytes": 257601, "filename": "charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl", "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" }, { "kind": "wheel", "sha256": "ab7ae7122974553370f0bdb919e1a960b2cd1bc1ef0276416d896db81c14582c", "bytes": 69583, "filename": "idna-3.20-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/58/a2/bb081bab032533a855d44de1d56f8e8426114ff1ba5d1f07a438a0a654f8/idna-3.20-py3-none-any.whl" }, { "kind": "wheel", "sha256": "0cf3cae568d36aa9576b28dfb35f11328f1cb974ca7647d9475ebb86c75ac6e3", "bytes": 135717, "filename": "urllib3-2.8.0-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/92/9d/c4e665119135114480843e7ab388fa94d8480650450e6f8e26b70d323a4c/urllib3-2.8.0-py3-none-any.whl" }, { "kind": "wheel", "sha256": "e9b54de76e530bb6cf0ccd036787103acb58fd42ba930ea8bf948ddbaa2f61d1", "bytes": 135082, "filename": "certifi-2026.10.23-py3-none-any.whl", "url": "https://files.pythonhosted.org/packages/32/d1/a3652fe2c19134d0d15922177821d863cbd7e842d53a21bbe7e8e3a1b5ac/certifi-2026.10.23-py3-none-any.whl" }, { "kind": "engine-src", "sha256": "fa91b175c4b0db13fa44657903f55f664c80fb34796172c94d57ebebba71ec9e", "bytes": 58742, "filename": "amm-challenge-6b6921f8d463314aa7c96234e1be25a25245f704.tar.gz", "url": "https://codeload.github.com/benedictbrady/amm-challenge/tar.gz/6b6921f8d463314aa7c96234e1be25a25245f704" }, { "kind": "harness", "sha256": "0fe3bcb3f836bf9bbd8f6b88b06c7cbd2971bfd5999c4b366aba25675f86c590", "bytes": 5222, "filename": "harness.py", "url": "https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/harness.py" }, { "kind": "solc", "sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f", "bytes": 15020760, "filename": "solc-linux-amd64-v0.8.24+commit.e11b9ed9", "url": "https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.8.24+commit.e11b9ed9" } ], "python": "3.12.16", "numpy": "2.5.4", "amm_sim_rs": "0.1.0.post1", "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)", "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f" }, "method": { "platform": "linux-x64", "allocated_cores": 8, "workers": 8, "horizon": 10000, "pairing": "Each arm alone against kit 30-bps VanillaStrategy on identical seed/config; never head-to-head between arms. Native amm_sim_rs.run_batch; blocks of 32; arm order CAND, QLX5, QT1.", "config_check": "Pinned driver compares all 12 configuration fields against engine_eval._config for every arm/seed before each native block.", "score": "Unmodified kit score.py summarize called on paired unrounded rows. File/CLI engine seed whitelist is not used; no seed remapping. Built-in 3-SE rules not applied.", "futility_rule": "After first 128 complete seeds stop if cumulative CAND-QLX5 mean+2*se<0.04; otherwise request second 128.", "advance_rule": "n=256 AND mean CAND-QLX5>=0.04 AND P/size/gas pass AND all callbacks succeed; not pooled promotion.", "gas_guard": "Unchanged driver imported by runner; runner wraps run_block, adding a failure if afterSwap peak>245000. Native blocks are atomic; counters inspected before scheduling next block.", "execution_order": [ "build", "check: inherited P/T/F and exact source; measured gatep/validation/size", "engine: after successful checks" ] }, "timing": { "setup_seconds": 26.309, "compile_seconds": 54.99945337208919, "engine_wall_seconds": 271.02821544301696, "engine_limit_seconds": 1800, "started_utc": "2026-11-10T23:59:52Z", "native_seconds_by_arm": { "CAND": 90.07994901109487, "QLX5": 81.37548129586503, "QT1": 93.21699944813736 } }, "commands": [ "bash test/scratch/s7/kit/setup_fast.sh --platform linux-x86_64 --cache \"$PWD/test/scratch/s7/cache\" --scratch \"$PWD/test/scratch/s7/runtime\"", ". test/scratch/s7/runtime/env.sh", "python3 -B test/scratch/s7/kit/reference/materialize.py --out test/scratch/s7/reference", "python3 -B test/scratch/s7/kit/gatep.py --reference test/scratch/s7/reference/taylor --cache test/scratch/s7/cache/gatep", "python3 -B test/scratch/s7/driver.py --kit test/scratch/s7/kit --compile-only --strategy CAND=test/scratch/s7/CAND.sol --strategy QLX5=test/scratch/s7/QLX5.sol --strategy QT1=test/scratch/s7/reference/qt1/Strategy.sol --out test/scratch/s7/compile.json --cache test/scratch/s7/cache/compile", "SolidityValidator().validate(source) for each arm; all valid, no warnings/errors", "timeout 1800s python3 -B test/scratch/s7/run_block.py" ], "limitations": [ "A single leased block, not pooled promotion; no leaderboard submission.", "P/T/F inherited only where stated. Local gatep checks Taylor originals, not candidate label or fee parity.", "No replica Q or 1024+ seed efficacy certification performed.", "Compressed rows and audit retain measured numerical evidence; scratch downloads and environments are not delivered and result inspection needs no installed dependency." ], "source_urls": [ "https://api.imd.fun/artifacts/dcda482dfdc67a08edbd81196d26cff298d5a34e18483fa7dd4ce356662baed0", "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15", "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42", "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md", "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/docs/score.md", "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py", "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/bootstrap/manifest.tsv", "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/reference/materialize.py" ], "config_evidence": { "measured_here": true, "simulated": false, "seeds": [ 10209536, 10209791 ], "fields_compared": 3072, "all_equal": true, "all_horizons_10000": true, "sha256": "9396c265e17f3481e40c5734d37e18aee17433974240331221a16584bc2d759d" }, "futility_screen": { "round": 1, "n": 128, "mean_plus_2se": -0.003852666022245682, "threshold": 0.04, "strict_less_than": true, "second_round_requested": false, "unmeasured_seeds_burned": [ 10209664, 10209791 ] }, "self_checks": { "authority": "Local checks only; no independent verifier certification.", "json_and_size": "pass", "paired_rows_and_statistics": "pass", "native_gas_audit_and_no_seed_replay": "pass", "task_futility_and_advance_rules": "pass", "all_source_quotes_refetched_and_found": "pass" } }