{
  "item": "ib-a",
  "hashes": {
    "HA.sol": "99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe",
    "T.sol": "ebd9de9bf6af6e55d5e308fd15dbb88edec11fd684891d02a30aec185acd19b3",
    "replica.py": "1e4c44b4bffbdeed65872ee15d46dbde209bf5aa11014329d13d100507b4040c",
    "RS2_port.py": "9eac3553357528b06eeae3ed8d18283d83401e1968145ceba16be356a147e271",
    "IB.sol": "301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686",
    "KIT/sim.py": "d003c663b94968b58aaefb65fef8e910638ee1664e19f96c809b45e499910638",
    "KIT/port.py": "9aa80ce98b31cb18b14192a87a9b6d133e4c9c2d7adc4a51a5f170be95d92fef",
    "KIT/harness.py": "24169a30bddafe5f82fa6873adcd7d6c15892f883d1af25eebaa9b5f623606bc",
    "KIT/diff_test.py": "32345abab9b1ea77ebe084b02e1c4b7bb692b5202af7c62572e36f96d3e2cb5b",
    "KIT/test_kit.py": "2ff44560ef5b8ee5d5e1c32daf4e2c63b05fb858b9a4646640884fc66ca22bcd",
    "KIT/HA.sol": "99e3a2eceae0e5543d27473859e10b005d0ce0aa7067f2e1a24d1e0e4a7390fe",
    "KIT/T.sol": "ebd9de9bf6af6e55d5e308fd15dbb88edec11fd684891d02a30aec185acd19b3",
    "checkout/amm_competition/competition/match.py": "78915a1aa36341e61c29f333fb18b31a319f70ce3e8bc2f737ba8b003aea5c17",
    "checkout/amm_competition/competition/config.py": "e4b13d9f271fe27e184157904e6e9f5079db7c49ec5c0e1a31b52daeea2c1f9c",
    "checkout/amm_competition/evm/baseline.py": "743d29acf7d8ce760a282d45782f0ec8c62312acd02330686aa1aac7c050c9d7",
    "checkout/amm_competition/evm/compiler.py": "52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4",
    "checkout/contracts/src/VanillaStrategy.sol": "62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572",
    "HA_artifact_json": "2801efc8190e86318dd922d4a7179f63684d77a226047fc2f3c78232963eb690",
    "T_artifact_json": "6ac5e013b7b1fb4c5e7bdcdfec0aba28b16824e18ccf39500f258533879faffe",
    "replica_artifact_json": "e8a7a2af9039c24b8bb2d3b5fa1c9113606cbf5a480ac07d02ca26750f1752ea",
    "RS2_artifact_json": "d845a4b94eab87f23956fd1939c0135d955df212d1f3037f2a761c178cef7a0e",
    "IB_artifact_json": "afd5183e9ff3235334e041c00b0cd19079599a2c6464db95f8c1586712105557",
    "KIT_artifact_json": "0d8194e9f6e0017dc4e515cdb04c048efc292935bb1d18e3336091fe81154786",
    "KIT_params_canonical_json": "3cd7f8ba0317531606be03b8d9367602a4341648b0e9de1a42e6e0ccd650994a",
    "amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl": "aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a",
    "setup.sh": "f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b",
    "configs_7500000_7501023": "46e2dcd674f3986c42fb214e728fd38aa4fc594fdd4e79801027a20508daa3d3",
    "T_compiled_creation_bytecode": "a17e60fb587384c07c5b6994f768ab7bc8b766e2deedbe21e36067f8d80b5f9d",
    "HA_compiled_creation_bytecode": "1f28b203eeb71521aef4fd30a725415d9e87216a1120de47f03d36d7f6a9959f",
    "IB_compiled_creation_bytecode": "345cbfe273190c3b629d6e624b4f19ecae919477786d13539b8bdd1ca87ed8b0"
  },
  "seeds": {
    "start": 7500000,
    "end": 7501023,
    "n": 1024,
    "chunks_done": 16
  },
  "x_vs_ha": {
    "n": 1024,
    "mean_diff": 0.6280813417124276,
    "se": 0.023121276048242177,
    "sum": 643.1552939135258,
    "sumsq": 963.968231676496,
    "wins": 857,
    "worst5": [
      [
        7500162,
        -4.417760883693518
      ],
      [
        7500098,
        -3.7926303880200294
      ],
      [
        7500941,
        -2.7867217853462307
      ],
      [
        7500142,
        -2.1300495832978186
      ],
      [
        7500904,
        -2.117532589765176
      ]
    ],
    "retail_delta": 0.9804279891230554,
    "arb_delta": -0.35234664741062854
  },
  "x_vs_t": {
    "n": 1024,
    "mean_diff": 1.7798371872701177,
    "se": 0.031317039711449175,
    "sum": 1822.5532797646006,
    "sumsq": 4271.242035131109,
    "wins": 995,
    "worst5": [
      [
        7500162,
        -2.8726948453636396
      ],
      [
        7500866,
        -2.605329032078771
      ],
      [
        7500904,
        -2.4509624807218415
      ],
      [
        7500941,
        -2.2125050085235216
      ],
      [
        7500679,
        -1.4852713199188656
      ]
    ],
    "retail_delta": 5.0532576193645715,
    "arb_delta": -3.273420432094452
  },
  "ha_vs_t": {
    "n": 1024,
    "mean_diff": 1.1517558455576902,
    "se": 0.02786382885253626,
    "sum": 1179.3979858510747,
    "sumsq": 2171.690520720569,
    "wins": 960,
    "worst5": [
      [
        7500866,
        -4.627146615608467
      ],
      [
        7500230,
        -4.22942891013372
      ],
      [
        7500679,
        -3.051487757821178
      ],
      [
        7500740,
        -2.226853373651579
      ],
      [
        7500244,
        -1.7791864492230616
      ]
    ],
    "retail_delta": 4.072829630241516,
    "arb_delta": -2.9210737846838235
  },
  "diffs_x_minus_ha": [0.9860, 0.5698, -0.4599, 0.6140, 1.0954, 0.8314, 0.1872, 0.6939, 0.4048, 0.6882, 2.0016, 1.1355, -0.1358, 0.1735, 0.4516, 1.5464, 0.7402, 0.1637, 1.1414, 0.6361, 1.2413, 0.1877, 0.0244, 0.8177, 1.1531, 0.8985, 0.5456, -0.2986, -0.0574, 0.3881, -0.1434, 0.6002, 0.1111, 0.2886, 2.0733, 1.5244, 0.3430, -0.3266, 0.4640, -0.0361, 0.5279, 0.3866, 2.3043, 0.4100, -0.8152, 0.7332, 0.8481, 0.3434, 0.5163, 0.2273, 1.0461, 0.8691, 1.7362, 0.3757, 0.1529, 0.7459, 0.3081, 0.5393, 0.5111, 0.3413, 0.5038, 0.7426, 1.1987, 1.7316, 0.9428, 0.6506, 1.4710, 0.2900, 0.0653, 0.9230, -0.2106, 1.4051, 1.1796, -0.0612, 0.9362, 0.4158, 0.7884, 0.6548, 0.6144, 1.2290, 0.9395, 2.2439, -0.3612, 1.3516, 1.1391, 0.2791, 1.3984, 0.1331, -0.3959, 0.0291, 0.0021, 1.0999, 0.2438, 0.3441, -0.4873, 0.2002, -0.2713, 0.4599, -3.7926, 0.2351, 1.4957, 0.3393, 1.0436, 0.1358, 0.9859, 0.9202, 0.4055, 0.4379, 0.5674, 1.1688, 0.9417, 1.5912, -0.3318, 0.7776, 0.2930, -0.5814, 2.3907, 0.5443, 2.4450, -0.0771, 1.2838, 0.5745, 0.9928, -0.1949, 0.2935, 0.1666, -0.3083, 0.5462, -0.0487, 0.4294, 0.7006, 0.6496, 0.2278, 1.3463, 0.1329, 0.6180, 1.4240, 0.6099, -0.2693, 0.5471, 0.9212, -0.3734, -2.1300, 0.2340, 0.9203, 1.0936, 1.3437, -0.6829, 0.4716, 0.2228, 0.0804, -0.6816, 1.0201, 1.4941, 0.5759, 0.2578, 0.5394, 1.1454, 0.0654, 1.6111, 0.3095, 0.5107, -4.4178, 0.3959, -1.2733, 0.7094, 1.1084, -0.0255, 1.4558, 1.0835, 0.4538, 0.4961, 0.7315, 0.1812, 0.9115, 2.2384, 1.1166, 0.2737, 0.6887, 0.4424, 0.2630, 0.3792, 1.1517, 0.4754, 0.7614, 1.0758, 0.2677, 0.8369, -0.1072, 0.2564, 0.5864, 0.8282, 1.8128, 0.8361, 0.8550, 0.3416, 0.0649, 0.8023, 0.4749, 0.1061, -0.1149, 0.3419, -0.5749, 0.0348, 1.3360, 1.0965, 1.3718, 1.3416, 0.0409, 0.5654, 1.2434, 0.5812, 1.6724, 1.1203, -0.4177, -0.2495, -0.6245, 0.1801, 0.7083, 1.2107, -0.0429, 1.0749, 0.0866, 0.4258, 0.8489, 0.4612, 1.0566, 0.2287, 0.5801, 1.1475, 6.9019, 1.0529, 0.2152, 1.0349, 1.0606, 0.4416, -0.4243, 1.3088, 1.4644, 0.0201, -0.1292, 0.1715, 0.1332, 1.5476, 1.8478, 0.8192, 0.8998, 0.6288, 1.2661, -0.3159, -0.7181, 0.4756, 0.6042, 0.2260, 1.4738, -1.2000, 0.7697, 0.6784, 0.0514, 1.1200, 0.7321, 0.4081, 0.7221, 0.5688, 0.4954, -0.4972, 0.7731, -0.1737, 1.3284, 1.7848, 0.5159, 1.7696, 0.9559, -1.2719, 1.3574, 0.8010, 1.4371, 0.9317, 1.1976, 0.4040, 1.7769, 0.6943, 0.8666, -0.0091, 0.6103, 1.0834, 0.1725, -0.1077, 0.3960, 0.3567, 0.9645, 0.1148, -0.4939, 0.1781, 0.7445, -0.0378, 1.3440, 0.9839, -0.0118, 0.6078, 1.1994, 0.0002, 1.2942, 1.0368, 0.0567, -0.0677, 0.4287, 0.5831, 0.6569, 0.2174, 0.3984, 1.4013, -0.5773, 0.2088, 0.9618, 1.3322, 1.0555, 0.9270, 0.6072, 1.8044, 1.2666, 1.5431, 0.0891, 0.6907, 0.7955, -0.1422, 1.3202, 0.4029, 1.9993, -0.2334, 0.5454, -0.1708, 1.5066, 0.4320, -0.4229, 0.3008, 0.5337, 1.6914, 1.7248, 0.8994, 0.1791, 1.6222, -0.0873, 0.2953, 1.1712, -0.5909, 0.8685, -0.1815, 0.1929, 1.4805, 1.8871, 0.3319, 1.1521, 0.7291, -0.3852, 2.3298, 0.3464, 1.9780, 1.1830, 0.8385, 1.3314, 0.2482, 0.3319, -0.4931, 0.2455, -0.2313, 0.4226, -0.1104, 0.7161, 1.2677, 1.7994, 0.4046, 0.2572, 0.6985, 1.1215, 1.6238, 2.2155, 0.3306, 0.8203, -0.3097, 0.9864, 1.4681, 0.7614, 0.9823, 0.3820, -0.1851, 0.1633, -0.1077, 0.4433, 1.1629, 2.1372, 0.2144, 0.5570, -0.3303, -0.0731, 0.1122, 0.7271, 0.4438, 1.2221, -1.2873, 0.6787, 1.3605, 0.8470, 1.0450, 1.3880, 0.4192, 0.5967, 1.4231, -0.1467, 0.4869, -0.0697, 0.4810, 0.3175, 0.4844, -0.5726, 0.9274, -0.1291, 1.5120, -0.2622, 0.5734, 1.0202, -0.7784, 0.5047, 0.8398, 2.2133, 0.9823, 1.4466, 1.0059, 0.7032, 0.2123, 1.1950, 0.0995, 0.7191, 0.6978, 0.1383, 0.6160, 1.5473, 0.5252, -0.1049, 0.6305, 0.6379, 0.5916, 0.7402, 0.1167, 1.0647, 0.3314, 0.7606, 1.2135, -0.3243, 0.9533, 0.5206, -0.1743, 0.1854, 0.5844, -0.3750, -0.2579, 0.8852, 1.4824, 1.6966, 1.2224, 2.5236, 0.9026, 1.7868, 0.8333, 0.8529, 1.6173, 0.9917, 0.7548, -0.2558, 0.5775, 0.7242, 0.2739, 1.4162, 1.4628, -0.3591, 2.7196, -0.2800, 0.4705, -0.0779, 1.0547, 2.0513, 0.7055, 0.5267, 0.9153, 0.9157, 0.4642, 1.5502, 0.6625, 1.8933, 0.6469, 0.4750, 0.5710, 0.1357, -0.0937, 1.9153, 0.5100, 1.4484, 0.5006, 0.4939, 0.4403, -0.1253, 0.6806, 0.3760, 0.5423, 0.4508, 0.9335, 0.9549, 0.9269, -0.0654, -0.4999, 0.5274, -0.2339, 0.7699, 1.7500, 0.2558, 1.7602, 0.0181, 0.9212, 0.4540, 0.3377, -0.3041, -0.3940, -0.0907, -0.1033, 0.9604, -0.1956, 0.3171, 0.3404, 1.8232, 0.8520, 0.6006, 0.2525, 1.8073, 1.2494, 0.2938, 0.6932, 1.2102, 0.0796, 1.0072, 0.8539, 2.0575, 0.8529, 0.8726, 0.6957, 0.6240, 0.7111, 0.8963, -1.3588, 1.1088, -0.3962, -0.5760, 0.7365, 0.3929, 0.8216, 1.5064, 0.3989, 0.3727, 1.6021, 0.2813, -0.2195, 0.4823, 0.5070, 1.3126, 0.9533, 1.9233, 1.0472, 0.4508, 0.8066, 0.3889, 0.4631, 1.0000, 2.1613, 0.5100, 0.9425, 2.2253, 0.0401, 2.3419, 0.9128, 0.1674, 0.8690, 0.5144, 0.3683, 0.4927, -0.1914, -0.2550, 0.7247, -0.3357, 0.2550, 0.4040, 0.2454, 0.9089, 1.4745, 0.0277, 1.7468, 1.0074, -0.5132, -0.2428, 0.8744, 0.9598, 0.3988, 0.8069, 1.2877, 1.3359, 0.2276, 0.7879, 0.4992, 0.3902, 1.7474, 0.0344, -0.2721, 1.8906, 0.6809, 0.3822, 0.6195, 0.2814, 0.4295, 0.3122, 0.3167, 0.1328, 0.1764, 1.3808, 1.4993, 0.1065, -0.5182, 0.2966, 0.4875, 2.2709, 0.1683, 0.6736, 0.7719, 1.0042, 0.5951, 0.4944, 0.3789, 0.5150, 0.8445, 0.5950, -0.4584, 0.2511, -0.4256, 0.7074, 0.7709, 0.8925, 0.4282, 1.9817, 0.2766, 0.9098, 0.3155, 0.5718, -0.2009, 0.7145, 0.4867, 0.0204, -0.3203, 1.0429, 0.8971, 0.7231, 1.5187, 0.7403, 1.5889, 1.2820, 3.3218, -0.6133, 1.2028, 1.7507, 0.5220, 1.1543, 0.1179, 0.4421, 0.1005, 0.8068, 1.3235, 1.3603, 0.0753, -0.1993, -0.0128, 0.4919, 0.4752, -0.2242, 1.5662, -0.1445, 0.1059, 1.8543, 1.2914, 0.9649, -0.2857, 0.9964, 1.4289, 1.6360, 0.3581, 0.3845, 0.4241, 0.9030, 0.5664, 0.0659, 0.9778, 0.9282, 0.1026, 0.2370, 1.2852, 0.9298, 1.9943, 0.4787, 0.9911, 0.9645, -0.0520, 0.6034, -0.3273, 0.3809, 1.5177, 0.1614, 1.5925, 0.2418, 0.9842, 0.5830, 0.4537, 0.4068, 0.1079, 1.0410, 0.2739, 0.8753, 0.2672, 1.0149, 0.3365, -0.4934, 0.2808, -0.2960, 0.3145, 0.8991, -0.1736, 0.8977, 0.9599, 0.0783, 0.5414, 0.7826, 1.0403, 2.3199, 0.5962, 1.1310, -0.0580, 0.9276, 0.8838, 0.1259, 0.7610, 0.5486, 0.6892, 0.1124, 2.1294, 0.6425, 0.4886, -0.0045, 0.6143, 1.0775, 0.6563, -0.2800, 0.6506, 0.4021, 0.2330, -0.4332, -0.1364, -0.2046, 0.6941, 1.1714, 0.9474, 0.8512, 1.3581, 1.8538, 1.0075, 0.1071, 0.9930, 0.1010, 2.0220, 1.4295, 0.6724, 1.2720, 0.9062, 0.3989, 1.9305, 0.7177, -0.4369, 1.1837, 2.0298, 2.5410, 0.3021, 0.1778, 0.6608, 0.9589, 1.1390, 0.6034, 1.3116, 1.0390, 0.4138, 0.8347, 0.5350, 0.0333, 0.4117, 0.5882, 0.6235, 0.5459, 0.0698, -0.1104, -0.0153, 0.6032, 0.7972, 1.8283, 0.5699, 0.8697, 0.1298, 0.6163, -0.4611, 0.1593, -0.7509, 1.2958, 1.4542, -0.2492, 0.0091, 0.1202, -0.0117, 0.1764, 0.3636, 0.4463, 0.1422, -0.2334, 0.8346, 0.2411, 1.2072, 0.3034, 0.5106, -0.2717, 0.5393, 2.3623, 0.8490, 2.9921, -0.3825, 0.4823, 0.4120, 0.4957, 1.4865, 0.3420, 0.3104, 1.0604, 0.3432, 1.1775, 0.6003, -0.2991, 1.6130, 1.1749, 0.6423, 0.1326, 2.1078, 0.4286, -0.1868, 1.1308, -0.5384, 0.5649, 0.9986, 0.8269, 0.6990, 0.9077, 0.9792, -0.3126, 0.8247, 0.8791, 0.2163, 1.9076, 1.0625, 2.0218, 1.2723, 0.7850, 0.8261, -0.3017, 0.4432, -0.1297, 0.1558, 1.1810, 0.1473, 0.0716, 1.0138, 0.2016, 0.5450, -0.1513, 0.5290, 0.4012, 1.4500, 0.0618, 0.6855, -0.3160, 0.9185, 0.9473, 1.0302, -0.0565, -0.0654, 1.3454, -0.0601, 0.3577, 1.2284, -0.2096, -0.5492, 0.0435, 0.6286, 0.8797, 0.4123, 1.4330, 0.0771, -2.1175, 1.1353, 0.4077, 1.1810, 0.5551, 0.4453, 0.4514, -0.3408, -0.0435, 0.0049, 1.9511, 0.5269, 0.5718, 1.4398, 2.0107, 0.1005, 1.4517, 0.3230, 0.5141, 1.0237, 1.2465, 0.2740, 0.5857, 0.7160, 0.3870, 2.2099, 0.0774, 1.3137, 1.0775, 1.1756, 2.3035, 0.4757, 1.2395, 0.3308, 0.6245, 0.7140, 1.4186, -2.7867, -0.0434, 1.0492, 0.9788, -0.1695, -0.2400, 0.0537, 0.4012, 2.4607, 0.4614, 0.9887, -0.0302, 0.7674, 0.1706, 1.0465, 0.4603, 0.4116, -0.3361, 0.5748, 1.0222, 0.2323, 1.9604, -0.0410, 1.4335, 0.6616, -0.1155, 0.6705, 0.4741, 0.0438, 1.1514, 0.9196, 0.5471, 1.8762, 0.4800, 0.3035, -0.1773, 0.1094, 0.8585, 0.4480, 0.8137, -0.4468, 0.7899, -0.0880, -1.3204, 0.0556, 0.1797, 0.2049, 1.1358, 1.2528, 1.0213, 0.9866, 0.0125, 0.8362, 0.4292, 1.0610, 1.5069, 0.8111, -0.0364, -0.3698, 0.4557, -0.1863, -0.1847, 0.9327, 1.3908, 1.7904, 1.5711, 3.5647, 1.1769, 0.3790, 0.2661, 0.0998, 1.3578, 1.0716, 0.7957, 0.9867, 1.3236, 0.1584, 0.8048, 0.8878, 0.3143, 0.7801, 0.7800, 0.6279],
  "mean_edge": {
    "IB": {
      "edge": 527.2653184611598,
      "retail": 556.5941597427841,
      "arb": -29.328841281624257
    },
    "HA": {
      "edge": 526.6372371194475,
      "retail": 555.6137317536611,
      "arb": -28.976494634213626
    },
    "T": {
      "edge": 525.4854812738897,
      "retail": 551.5409021234195,
      "arb": -26.055420849529803
    }
  },
  "gas": {
    "IB": {
      "role": "Submission",
      "afterSwap": {
        "calls": 11033285,
        "peak": 237663
      },
      "afterInitialize": {
        "calls": 1024,
        "peak": 243227
      },
      "OOG": 0,
      "reverts": 0,
      "other_failures": 0,
      "other_failure_counts": {
        "other_halt": 0,
        "tx_error": 0,
        "bad_return": 0
      },
      "raw_counters": [
        {
          "role": "Submission",
          "callback": "afterInitialize",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 243227,
          "sum_ok_gas": 249064448,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "afterSwap",
          "calls": 11033285,
          "ok": 11033285,
          "max_ok_gas": 237663,
          "sum_ok_gas": 1491861584928,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "getName",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 21735,
          "sum_ok_gas": 22256640,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        }
      ]
    },
    "HA": {
      "role": "Submission",
      "afterSwap": {
        "calls": 10880375,
        "peak": 234255
      },
      "afterInitialize": {
        "calls": 1024,
        "peak": 243147
      },
      "OOG": 0,
      "reverts": 0,
      "other_failures": 0,
      "other_failure_counts": {
        "other_halt": 0,
        "tx_error": 0,
        "bad_return": 0
      },
      "raw_counters": [
        {
          "role": "Submission",
          "callback": "afterInitialize",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 243147,
          "sum_ok_gas": 248982528,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "afterSwap",
          "calls": 10880375,
          "ok": 10880375,
          "max_ok_gas": 234255,
          "sum_ok_gas": 1432998082045,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "getName",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 21654,
          "sum_ok_gas": 22173696,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        }
      ]
    },
    "T": {
      "role": "Submission",
      "afterSwap": {
        "calls": 10565487,
        "peak": 226215
      },
      "afterInitialize": {
        "calls": 1024,
        "peak": 243115
      },
      "OOG": 0,
      "reverts": 0,
      "other_failures": 0,
      "other_failure_counts": {
        "other_halt": 0,
        "tx_error": 0,
        "bad_return": 0
      },
      "raw_counters": [
        {
          "role": "Submission",
          "callback": "afterInitialize",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 243115,
          "sum_ok_gas": 248949760,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "afterSwap",
          "calls": 10565487,
          "ok": 10565487,
          "max_ok_gas": 226215,
          "sum_ok_gas": 1307758017544,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        },
        {
          "role": "Submission",
          "callback": "getName",
          "calls": 1024,
          "ok": 1024,
          "max_ok_gas": 21623,
          "sum_ok_gas": 22141952,
          "oog": 0,
          "revert": 0,
          "other_halt": 0,
          "tx_error": 0,
          "bad_return": 0
        }
      ]
    }
  },
  "valid": true,
  "timing": {
    "first_chunk_wall_seconds": 108.6312881319318,
    "first_chunk_run_batch_seconds": {
      "T": 23.18296616198495,
      "HA": 28.871963284909725,
      "Candidate": 29.93774170218967
    },
    "chunks_wall_seconds": [
      108.6312881319318,
      89.49537050211802,
      90.13328849896789,
      72.14273059391417,
      52.91748457006179,
      66.24390005017631,
      58.43856305303052,
      48.946121455868706,
      51.738532019779086,
      49.58666403708048,
      54.98427971219644,
      53.13259797496721,
      57.2134680270683,
      88.51985429110937,
      88.27050850284286,
      91.2785081891343
    ],
    "total_run_batch_seconds": {
      "T": 273.49268807307817,
      "HA": 337.74118847376667,
      "IB": 382.05108936619945
    }
  },
  "checks": {
    "kit_unit_tests_passed": 9,
    "configs_verified": 1024,
    "maximum_absolute_arb_volume_reconstruction_error": 0.00010703265797928907,
    "harness_aggregate_agrees": true,
    "all_measured_arms_valid": true
  },
  "notes": [
    "X is unchanged IB. No search, policy edit, or weight edit was performed. All reported performance and gas numbers are measurements from this run.",
    "Pinned checkout 6b6921f8d463314aa7c96234e1be25a25245f704; SETUP completed once and validated StarterStrategy. KIT was decoded and its nine supplied unit tests passed.",
    "Each chunk used harness.real, with arms T, HA, Candidate sequentially; each arm ran alone against VanillaStrategy (30 bps) using amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8). Seeds were consumed once per arm in ascending 64-seed chunks.",
    "All 1,024 configurations were checked field-for-field against MatchRunner._build_configs with only its seed range offset to 7500000..7501023. Every market had 10,000 steps; the same config list was passed to every arm of each chunk.",
    "Pair statistics, sums, sums of squares, wins (strictly positive paired differences), and worst five use unrounded edges. SE is the sample standard deviation of paired differences divided by sqrt(n). Only diffs_x_minus_ha is rounded to four decimal places.",
    "Retail and arbitrage edge were decomposed by the unchanged KIT harness and checked against the engine accumulated arbitrage volume. retail_delta and arb_delta are means of paired differences; mean_edge reports per-market means.",
    "Gas counters were reset before each arm and read immediately after its run_batch. Calls and failures are summed across chunks; peaks are maxima. Only Submission-role counters are included in gas; OOG, reverts, and other failures include getName, afterInitialize, and afterSwap.",
    "valid applies the requested IB criterion: zero OOG calls and afterSwap peak <=245000 gas. afterInitialize is reported separately.",
    "Replica and RS2 source files were hash-verified. Replica benchmarking, training, and port/EVM gates were not rerun because this item only confirms the supplied unchanged Solidity in the real engine.",
    "All 16 requested chunks completed for all three arms.",
    "Only result.json and sources.json are deliverables. SETUP dependencies and raw measurement files are temporary test scaffolding; no offline runtime bundle is delivered."
  ]
}
