{"item":"c4","seeds":{"start":9530000,"end":9530895,"n":896},"x_vs_ib":{"n":896,"mean_diff":0.7961927853309151,"se":0.027296718927992167,"sum":713.3887356564999,"sumsq":1165.514268712422,"wins":788,"worst5":[[9530146,-2.9556715169998142],[9530632,-1.7828174373539696],[9530866,-1.511490387320805],[9530243,-1.19018392939563],[9530111,-1.0837746372593529]],"retail_delta":-0.22155410783102056,"arb_delta":1.017746893161936},"x_vs_ha":{"n":896,"mean_diff":1.4700992422922223,"se":0.02961531570005994,"sum":1317.2089210938311,"sumsq":2639.7653445460774,"wins":872,"worst5":[[9530146,-1.7366763985780835],[9530840,-1.3814327856479736],[9530732,-0.5866145979944122],[9530363,-0.5644639583140361],[9530046,-0.5197558434745133]],"retail_delta":0.7946214758381396,"arb_delta":0.6754777664540847},"ib_vs_ha":{"n":896,"mean_diff":0.673906456961307,"se":0.025605195800573535,"sum":603.8201854373311,"sumsq":932.6779654181709,"wins":750,"worst5":[[9530285,-7.173031858347031],[9530476,-3.0931608935188706],[9530363,-1.8538825595719572],[9530262,-1.5397212131672404],[9530883,-1.4653947932032452]],"retail_delta":1.0161755836691602,"arb_delta":-0.34226912670785115},"quartiles":[{"quartile":1,"n":224,"ib_retail_volume_range":[56744.64275448107,69406.55187658827],"t3_minus_ib":{"mean_diff":0.8054117708515339,"se":0.04435083263680111},"t3_minus_ha":{"mean_diff":1.1985545700083604,"se":0.047109387175326964}},{"quartile":2,"n":224,"ib_retail_volume_range":[69507.04737608437,78758.37884979474],"t3_minus_ib":{"mean_diff":0.7560908830965722,"se":0.05263325239052086},"t3_minus_ha":{"mean_diff":1.34383290151574,"se":0.04903820703202316}},{"quartile":3,"n":224,"ib_retail_volume_range":[78769.16256245055,87212.29608045497],"t3_minus_ib":{"mean_diff":0.8276604032761963,"se":0.0640877320281127},"t3_minus_ha":{"mean_diff":1.6069538560161294,"se":0.06914208201268995}},{"quartile":4,"n":224,"ib_retail_volume_range":[87252.68575117482,99698.73673369343],"t3_minus_ib":{"mean_diff":0.795608084099358,"se":0.055725594822032286},"t3_minus_ha":{"mean_diff":1.7310556416286589,"se":0.06232245039341735}}],"diffs_x_minus_ib":[1.451238,0.351336,0.520369,0.769639,1.27638,-0.571402,-0.237816,2.601327,0.555977,0.515369,0.699342,0.784835,0.469889,0.931038,0.732052,0.419834,0.083585,0.898146,1.321663,0.822128,1.112118,0.362265,-0.264845,1.365563,0.653919,0.846359,0.438078,0.941826,0.868311,1.018665,0.766685,1.367404,0.280591,0.25184,0.862157,0.462785,1.398156,1.942272,1.543066,0.581258,0.521421,-0.52272,0.986004,1.294826,0.130286,1.246745,-0.771551,0.957531,0.359688,1.127927,0.13318,0.372233,1.21326,-0.383466,1.532107,0.153963,1.108773,1.014614,1.397186,1.367573,0.935694,0.613466,1.134717,1.039435,1.525135,1.621129,-0.625697,1.871113,0.95603,2.105219,0.915453,1.295947,0.782304,-0.319045,0.5131,0.417074,0.828479,0.745503,0.834163,1.035773,0.1881,1.195442,1.572907,0.775582,0.297355,1.105314,0.26874,1.040029,1.121745,1.208422,1.790561,1.549253,-0.458011,0.163851,0.880898,0.318919,0.619775,0.735366,1.719975,0.173256,0.210161,-0.378703,0.391367,0.836133,0.821029,0.768306,-0.11347,0.202456,0.951088,1.475053,0.103268,-1.083775,-0.503413,0.597952,0.809852,-0.156795,0.196581,0.515237,0.228087,0.051706,-0.073859,0.183701,2.35226,0.423779,1.462493,1.074015,2.099072,-0.16757,2.001886,-0.119009,0.61879,1.279744,-0.165025,0.740001,0.705189,1.032928,-0.366393,1.008114,1.47802,1.068481,1.067869,0.90308,-0.562876,-0.073809,0.315454,0.730759,-2.955672,1.510163,0.470712,1.165992,1.35234,1.663905,1.692201,0.598206,1.090382,-0.968466,2.280133,1.043892,0.220293,0.075111,0.442925,0.692003,0.396423,0.767608,0.813045,0.603714,0.135305,-1.031953,0.582641,0.320928,0.036086,1.359231,0.336885,1.4067,0.172264,1.29251,0.277118,1.328658,0.973446,0.791909,0.708379,-0.138052,0.553834,1.407859,1.768125,-0.695992,0.55406,1.14216,0.786919,0.324139,0.808994,0.482628,2.153687,1.489287,0.48189,0.302717,1.016778,2.132479,1.602199,0.245626,0.791087,1.599087,0.601569,1.434317,0.107211,0.665088,-0.210781,1.304557,1.575147,1.009515,1.834243,0.306836,-0.476832,1.044508,0.342201,1.263124,0.065631,0.431339,0.230191,-0.815442,1.217747,-0.202481,0.791781,0.821226,0.625451,-0.149616,0.867397,-0.103076,2.189481,0.194583,0.550346,-0.242873,-0.199777,0.332285,0.852516,0.347748,0.522751,0.784889,1.126347,0.516799,0.880178,-0.902227,0.729133,-1.190184,0.182155,0.83245,1.929867,0.782229,0.111474,2.723825,0.69048,-0.556999,0.320935,0.037152,0.484789,-0.209596,0.643086,-0.405374,-0.098652,0.194458,1.299881,2.380346,1.543853,1.169761,0.579207,0.785301,-0.343291,0.626621,0.994852,1.816798,1.731137,0.368091,0.111346,0.347256,0.730236,0.65709,1.68791,1.170568,1.128259,0.297495,1.54076,1.526037,-0.001164,0.96225,1.310762,7.871038,2.168855,1.706038,0.524632,0.551858,0.718913,1.157227,1.127265,1.719777,1.228907,0.950951,2.938156,1.722552,0.681808,0.687428,-0.216416,2.031828,-0.045138,0.426357,1.548314,1.826769,0.417167,0.800998,1.384361,1.398839,1.311879,-0.009683,0.728852,0.904022,0.005454,-0.022039,0.690307,0.274816,0.842511,1.120667,0.000315,1.257641,0.550947,1.519237,1.062541,1.432228,1.987699,0.343879,-0.493585,1.849194,0.435563,-0.3436,1.485027,0.823193,-0.119825,0.922063,1.027211,0.746354,0.452404,0.552366,-0.198823,-0.947722,0.601399,1.296986,-0.192065,0.786685,0.572069,1.008641,0.293868,0.232714,0.360594,1.54901,1.131076,1.451356,0.222192,-0.523663,0.284713,0.362399,0.076425,0.580997,-0.989284,0.822478,0.098248,1.289419,-0.336243,0.644716,1.257678,1.386602,1.191787,0.621538,-0.036707,1.421997,1.655446,0.327135,0.899508,0.467607,0.588734,1.41378,1.065702,1.621892,-0.003185,2.068224,0.918931,0.95549,0.774996,5.721593,0.903227,1.222361,-0.718357,1.21862,1.188255,0.14208,3.073674,0.860713,0.019495,1.072236,0.766904,0.191983,0.191336,1.227982,-0.094159,0.823609,0.212389,0.263186,1.10318,-0.188713,1.854349,4.195389,1.667629,0.9701,1.477513,0.157089,0.586772,1.028462,0.402105,0.001735,1.954294,-0.635355,-0.650656,0.477781,1.597576,0.810564,-0.091225,0.886556,-0.049654,1.180983,0.579314,1.640745,0.769469,0.830552,0.40302,-0.373337,0.360711,0.110894,0.989149,1.297753,0.884553,1.074003,-0.742487,2.112757,1.05866,0.385791,0.961025,0.67624,0.998946,-0.421803,0.033481,-0.001849,2.460287,0.027529,0.999956,0.495267,0.275418,1.574797,0.565079,0.583754,0.67518,0.64185,2.061171,0.639886,0.854829,1.184205,0.864361,2.01712,0.474691,1.446575,1.559067,-0.551687,1.876682,1.019835,0.654565,1.545332,0.793883,1.340087,0.388011,2.642278,3.985822,1.120476,0.383432,0.496397,1.254471,0.908612,2.676266,1.799826,0.671162,1.634583,0.863349,1.883596,1.522535,0.900152,0.170732,1.578705,0.113212,1.322642,0.846496,2.019237,0.48691,0.799972,1.760293,-0.785967,0.6156,1.090595,1.44635,0.797827,2.181603,6.217603,0.340664,1.013295,0.020097,0.594428,0.836503,1.648145,1.409134,0.657564,0.820726,0.111433,1.411151,2.409184,2.116929,0.529709,1.301086,0.917068,0.54908,0.957687,1.126347,1.725085,-0.018042,0.089586,0.706447,0.503488,0.657667,1.711462,0.237456,1.535461,0.927275,1.530531,0.185341,0.311703,0.823558,0.478677,0.864359,-0.494655,0.406433,0.321926,1.120208,0.551417,1.013701,-0.361478,2.457306,1.247124,1.068655,1.432055,0.911295,1.215941,1.245973,0.299885,0.684084,2.374319,0.199408,0.162638,1.342152,0.381838,0.320558,1.9374,0.378028,0.896115,0.757797,0.908111,0.137244,1.229906,1.236256,0.330171,1.029014,0.330267,1.284324,0.842098,1.841413,-0.209122,1.382399,2.0139,0.342242,0.613996,1.071986,0.35104,1.537143,1.484401,-0.124741,1.466328,1.915643,0.574236,0.649804,0.791511,2.437408,0.406116,1.920389,1.839065,1.071251,0.648477,0.056365,0.01702,-0.194587,0.095943,2.196675,1.118097,1.3626,0.678183,0.546744,0.648396,0.879613,0.981916,-0.248416,1.371754,0.684398,0.712913,1.385926,0.097358,1.59469,0.892913,1.079634,-0.067747,0.513199,0.840064,-0.441666,0.6033,0.182014,0.132711,0.629576,0.01231,2.516595,0.476195,0.736487,0.570681,-1.782817,1.446373,0.138766,0.404124,1.218776,0.435758,1.845852,1.249264,0.131443,1.181063,0.673025,0.115443,0.608412,0.944288,0.658672,0.38769,1.228526,0.114763,0.962676,0.471618,1.420035,3.064895,0.346163,0.650724,0.961966,-0.121311,1.947273,-0.028296,1.312579,0.177338,-0.902831,0.565247,-0.070958,0.330307,0.733213,1.207524,1.182728,-0.624986,-0.758359,-0.816054,0.353762,1.285187,0.996171,1.204148,1.829171,0.051051,1.531508,-0.045616,0.784465,0.399666,0.271578,1.128823,2.327355,0.191304,0.525572,0.950251,0.365922,0.401169,0.091165,3.124146,0.78131,1.202772,0.109837,0.358711,0.658646,0.346254,0.396438,0.067764,1.126092,-0.097803,0.780743,0.629441,0.034766,2.307331,-0.618458,1.54006,0.599283,0.34441,0.054921,0.280519,0.539167,2.554855,0.894624,1.347937,0.980976,-0.0618,0.411242,1.1771,1.355291,0.375254,1.59209,1.043628,1.337759,1.140222,2.268185,-0.225647,0.957363,-0.282688,0.832602,-0.315743,-0.725473,0.124256,0.836366,1.128186,2.090407,1.03475,0.515323,0.744907,1.892377,0.22835,0.290349,0.659632,-0.756099,0.363667,0.851911,1.335174,0.884768,0.980127,1.315505,1.217439,0.921865,0.162931,0.24327,0.644271,-0.345443,0.953406,0.310945,0.420292,1.220364,0.626695,1.749313,1.495095,0.227707,0.652201,1.012783,0.520193,2.049132,0.779627,0.887417,0.926467,0.698192,1.52261,2.165227,1.949549,1.487815,1.064302,0.31436,2.514627,0.856928,1.088184,0.312871,1.807712,0.53798,1.410784,-0.142176,0.381417,1.489257,-0.044113,0.500846,-0.224763,1.198577,1.717225,0.379414,0.504525,0.873104,0.319736,-0.060788,0.418272,0.752508,0.216332,0.70773,0.056568,0.68795,0.013362,0.17478,2.016365,1.261578,1.13978,1.345572,0.987281,0.324911,0.186402,1.213763,0.377432,0.164906,0.671586,0.989838,0.662319,0.4905,0.711091,1.062659,-0.021659,0.312881,1.303544,-0.055023,0.342029,1.511527,0.208118,0.080176,1.400637,0.775341,1.159094,1.218673,0.601964,-0.1341,0.188785,1.200353,1.102318,-0.720529,-0.812704,1.027724,0.918585,0.469939,0.348067,1.382917,0.260405,1.858235,1.447193,0.226888,0.221084,0.840221,1.613168,1.102777,0.439824,0.432925,0.18354,0.365535,1.873245,0.784925,1.407496,0.766058,1.568784,0.374651,0.846919,-1.51149,1.127791,0.737959,1.033173,1.116937,0.844086,0.549685,1.793675,0.530764,0.724435,0.015906,0.7863,0.833678,0.973664,1.827108,0.671678,0.705403,3.015484,1.113436,0.722196,-0.370434,2.047658,1.808144,1.626922,1.358217,2.973718,1.742393,0.398102,1.129499,0.644248],"gas":{"T3":{"afterSwap_peak":237587,"afterInitialize_peak":243234,"OOG":0,"calls":9758483,"other_failures":0,"afterSwap_calls":9757587,"afterInitialize_calls":896},"IB":{"afterSwap_peak":237040,"afterInitialize_peak":243227,"OOG":0,"calls":9681190,"other_failures":0,"afterSwap_calls":9680294,"afterInitialize_calls":896},"HA":{"afterSwap_peak":233659,"afterInitialize_peak":243147,"OOG":0,"calls":9545373,"other_failures":0,"afterSwap_calls":9544477,"afterInitialize_calls":896}},"mean_edge":{"T3":531.0181253467714,"IB":530.2219325614404,"HA":529.5480261044792},"mean_retail_edge":{"T3":559.2569638855637,"IB":559.4785179933947,"HA":558.4623424097256},"mean_arb_edge":{"T3":-28.23883853879231,"IB":-29.256585431954242,"HA":-28.91431630524639},"x_code_sha256":"cb6d945511e1e10af78baa64c2a6cb25806f0998403ce6440654bfc3c70092d9","ib_code_sha256":"301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686","ha_code_sha256":"99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe","valid":true,"notes":["Setup: amm-challenge cloned at 6b6921f8d463314aa7c96234e1be25a25245f704; goal SETUP script ran verbatim and succeeded (wheel sha256 aedb6828 verified; StarterStrategy validated).","Inputs: artifact JSON sha256 equal to ids for T3 (2333ecf2), IB (afd5183e), HA (2801efc8), KIT (0d8194e9). Decoded T3 code sha256 cb6d9455..., IB code 30194182..., HA code 99e3a2ec... all match the brief. KIT files decoded per decode_instructions; all seven file sha256s matched. No code or weight was changed.","Engine: each of T3, IB, HA alone vs the 30 bps VanillaStrategy via amm_sim_rs.run_batch(bytecode, VanillaStrategy, configs, 8); configs built exactly as KIT harness.real (MatchRunner._build_configs draw order with np.random.default_rng(seed), BASELINE_VARIANCE ranges, config seed = market seed); chunks of 64 seeds; per arm per chunk gas_stats_reset then gas_stats(); results paired seed by seed. Gas figures are the 'Submission' role entries summed over chunks (peaks = max over chunks).","Run time: run_batch seconds summed per arm (minutes): {'T3': 22.8, 'IB': 24.9, 'HA': 20.9}; done in 8-minute-capped command segments with state under scratch/.","retail/arb split uses the KIT harness decompose (arb reconstructed from constant k and the reported per-step fees; retail = edge - arb). The KIT version raises if reconstructed arb volume differs from the engine's by more than max(0.01, 1e-7*volume); the first T3 chunk (9530000..9530063) tripped that on a 0.026 discrepancy, so the check was turned into a recorded value instead of an exception. Max abs arb-volume reconstruction error per arm: {\"T3\": 0.026508676706725964, \"IB\": 8.387084017158486e-05, \"HA\": 8.163815800799057e-05}. Edge numbers do not depend on this; retail/arb deltas carry that small reconstruction error.","Disclosure: because of that exception, T3 on seeds 9530000..9530063 ran twice in the real engine (the first run's results were discarded before any number was read; the engine is deterministic). Every other seed ran exactly once per arm.","INCOMPLETE: only seeds 9530000..9530895 (896 of the 1,024 requested) were run for all three arms. Seeds 9530896..9531023 were NOT run for any arm. Another tenant pushed this 8-core machine to a load average of about 60, so 64-seed chunks went from ~70 s to 225-354 s per arm and the remaining chunks no longer fit the time limit. Every statistic here covers those 896 seeds; quartiles are 4 groups of 224.","Disclosure: IB on 9530832..9530895 was killed by the 8-minute command timeout partway through (no output written, no number seen) and was then rerun once, completely. The engine is deterministic.","se = sample standard deviation (ddof=1) of the paired differences / sqrt(n). worst5 = the five most negative differences [seed, diff]. retail_delta/arb_delta = mean paired difference of retail/arb edge. Quartiles: seeds sorted by IB retail volume (retail_volume_y of IB's AMM), split into 4 equal groups, Q1 = lowest volume.","valid follows the brief: T3 had 0 OOG (and no other call failures) with afterSwap peak <= 245,000 over all seeds."]}