{
  "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved; solved policy, Gaussian filter, exact-arithmetic tell and U1 tables underlying QLX5.",
  "n": 4,
  "id": "window",
  "family": "the split test's window and candidates",
  "find": "(s2>>128&M64)+7){int256 m0",
  "lo": "(s2>>128&M64)+4){int256 m0",
  "hi": "(s2>>128&M64)+10){int256 m0",
  "seeds": {
    "first": 10203512,
    "last": 10203639,
    "n": 128,
    "unused": []
  },
  "arms": {
    "QLX5": {
      "mean_edge": 535.3813259437349,
      "peak_gas": 205382,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"
    },
    "LO": {
      "mean_edge": 535.3729934332273,
      "peak_gas": 197644,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "aab6bbd96c794810f1a7760118ef5a735c96caa3a940a69b13afb845fd5ae352"
    },
    "HI": {
      "mean_edge": 535.3905301141226,
      "peak_gas": 216164,
      "out_of_gas": 0,
      "runtime_bytes": 22440,
      "source_sha256": "95972864a99e12e35e4f610bdc148d4f7c5571e1ba954bb2269b5dd81b282481"
    }
  },
  "diffs": {
    "LO-QLX5": {
      "n": 128,
      "mean_diff": -0.008332510507614188,
      "se": 0.008554743347180718,
      "sum_d": -1.066561344974616,
      "sum_d2": 1.1985602836285905,
      "seeds_positive": 55,
      "min": -0.3589436413405451,
      "max": 0.43531645579730593
    },
    "HI-QLX5": {
      "n": 128,
      "mean_diff": 0.0092041703876653,
      "se": 0.005181513506594154,
      "sum_d": 1.1781338096211584,
      "sum_d2": 0.4472861688755734,
      "seeds_positive": 62,
      "min": -0.19113499747697915,
      "max": 0.2883201351607454
    },
    "HI-LO": {
      "n": 128,
      "mean_diff": 0.01753668089527949,
      "se": 0.009566083111421373,
      "sum_d": 2.2446951545957745,
      "sum_d2": 1.526950186347489,
      "seeds_positive": 77,
      "min": -0.3921247223915998,
      "max": 0.3756296092077491
    }
  },
  "pass_peak": {
    "LO": true,
    "HI": true
  },
  "reading": "On 128 paired fresh engine seeds, shortening the split-test window from 6 to 3 steps changes edge by -0.008333 (SE 0.008555), while extending it to 9 changes edge by +0.009204 (SE 0.005182); this screening run does not establish a qualifying improvement.",
  "not_done": [
    "No leaderboard submission or deliverable contract; only the assigned 128-seed screening test was authorized.",
    "No 1,024+ seed confirmation, qt1 comparison, or gates P, Q, T, F were run; observed gas peaks cover this lease only."
  ],
  "evidence": {
    "map_sha256": "f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e",
    "base_artifact": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
    "driver_artifact": "https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42",
    "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
    "driver_unchanged": true,
    "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
    "engine_commit": "6b6921f8d463314aa7c96234e1be25a25245f704",
    "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
    "compiler": "solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
    "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
    "find_occurrences": 1,
    "only_requested_replacements": true,
    "validator_passed": [
      "QLX5",
      "LO",
      "HI"
    ],
    "source_chars": {
      "QLX5": 47230,
      "LO": 47230,
      "HI": 47231
    },
    "method": "Each arm alone vs 30 bps VanillaStrategy, four consecutive 32-seed blocks, QLX5 then LO then HI inside each block, unchanged driver with budget 2100 seconds; edge is edges[submission]; sample paired SE uses n-1; seeds_positive counts strictly positive differences.",
    "engine_seconds": 485.799158398062,
    "failures": [],
    "burnt": [],
    "blocks": [
      {
        "first": 10203512,
        "last": 10203543,
        "arm": "QLX5",
        "seconds": 40.44067042507231,
        "peak_gas": 205382,
        "calls": 350689
      },
      {
        "first": 10203512,
        "last": 10203543,
        "arm": "LO",
        "seconds": 40.503603536169976,
        "peak_gas": 197374,
        "calls": 350617
      },
      {
        "first": 10203512,
        "last": 10203543,
        "arm": "HI",
        "seconds": 41.48657713830471,
        "peak_gas": 211935,
        "calls": 350719
      },
      {
        "first": 10203544,
        "last": 10203575,
        "arm": "QLX5",
        "seconds": 41.50643842294812,
        "peak_gas": 202428,
        "calls": 354069
      },
      {
        "first": 10203544,
        "last": 10203575,
        "arm": "LO",
        "seconds": 39.732471344061196,
        "peak_gas": 197644,
        "calls": 353982
      },
      {
        "first": 10203544,
        "last": 10203575,
        "arm": "HI",
        "seconds": 40.09795716125518,
        "peak_gas": 211045,
        "calls": 354078
      },
      {
        "first": 10203576,
        "last": 10203607,
        "arm": "QLX5",
        "seconds": 41.34644150082022,
        "peak_gas": 205350,
        "calls": 347310
      },
      {
        "first": 10203576,
        "last": 10203607,
        "arm": "LO",
        "seconds": 38.12738115899265,
        "peak_gas": 197636,
        "calls": 347263
      },
      {
        "first": 10203576,
        "last": 10203607,
        "arm": "HI",
        "seconds": 40.51581413112581,
        "peak_gas": 216164,
        "calls": 347308
      },
      {
        "first": 10203608,
        "last": 10203639,
        "arm": "QLX5",
        "seconds": 40.15864498121664,
        "peak_gas": 203357,
        "calls": 353920
      },
      {
        "first": 10203608,
        "last": 10203639,
        "arm": "LO",
        "seconds": 41.23255826532841,
        "peak_gas": 196777,
        "calls": 353867
      },
      {
        "first": 10203608,
        "last": 10203639,
        "arm": "HI",
        "seconds": 40.65060033276677,
        "peak_gas": 209536,
        "calls": 353941
      }
    ],
    "rows_format": "base64(zlib(UTF-8 JSON [[seed,QLX5,LO,HI],...])); unrounded locally measured submission edges",
    "rows_zb64": "eJxtmVvS5KgOhDdU4UASCFjLxOx/G+dLUd04Ts08TeevwliXVEr+5x9r3mKYfyLj6bnanr5HaxkH6dnX3Pxh7gP4NAewwOTfz5/fx2cse2KusW1H6+GjkB67c1gfI3IfpM3Rs03+EvMe0D/YPcPXWn3Pvcewg4yRPI1/64dfaM/JkTNnjnvC+OQaD1dp5vxqxeqFZKabjbShS/3Y3APyw0OecO+8x1rTchwk5h65LJMTfm3uAfPDQ55mzWLF3hG8VSHNZ982Vvr6YxPNLSymzZcX16e74yHbO0dOzshCokcmnh+Lixybbcu4FgfafLkRH8/xcHhmJLHgLQshXtN94YeNY4X4njGTWK52X8Hbp8/2TM8ekR7RR2ZB/HS1xQ97XUpGlnt3haZNuydwuvO8xsMI5oyF+RcxV1zbaH9seIsgWYj4dYI7HtpP7mx6ZvbGAUImr7Tk9eDQQsbq0XCJ971eBwTX249HrhixJ948QCor92oerc2CuIWRBuG48jrRycVtD0nmjajNxTvOAy0nu3tfuy0/iHcy243rENd7hLI/npF4MG3irrEOMvtoC5/47geovI4k5d9exGeWT+ByMp1Iz94PMiaBx7rNdWw6Ry/ekfSydQ+YH5z1LMdn3KbFokQPYtGduC/KNH6N7glc2CbJ7+Fr4GiCcRByCodQv2t7IeTQ3I5fyJl9D5DbOZ0/7bWoYksvZE5eYnonv9bsBe3GOxnFTcbeE6KRJ/1peKG1TgmrIJ0jNxEgMxfsZMeECynZcVXcVwgoZMdDiKkd/IV9KJD+zI1Xu0FLvPQxmpBEkN7TLO8JijIUshsl5X05Fy2Et9vG76aSYRyjmZUMpI376xJQYxuPMpky5vD9BSYVvvC6/FOIN+7HXbts7u/hkLke2BYvm3Xe2woxUSov32xxzR+bewCkZ5TrUNobrDD2PohDSNZ4fIx1kN1SxTjM2iXGoP4gDEVo4oXWRrdCnJxbKafzt2MDvTiFC2WvW1A4HQolSCQelJtcmho7kA+VNDWu/sI7bGoMBqUacuUrEOReEufG9W0muTe+CI5VUTRYnoKgQ+nRNIaJE289BMkY+UC5OHRTMjiKVIjBA6l9ETls0fJYGQ1wwxdcalw/dMiR7uGTS1DuEFEeoItUuME2tbElZoPYNuW9Yf77e7yW4k0eDg+QaXsdhHJtnEH55NdGz657xg1kp9rWggJoBbgHdhcFgHQFheQesNEB8FOSiCTci1Q6iaeCVCeBVgjEskIm7dho63gSp5QNXK3HNzn8HkAqDsfB/McpKYY/CEwM30JsQ2QNMpVlxHrt9ZIJnUpJhxKgcrEa1bYL4eIUKESJ0vBjRBbyoOr09nqH/BB72WfDazwEgVHQIoromI7v+z5G5ir5qWp4RYGwu6JImegNu6r1QKGokUeQ1cwDbRWZOQ2itdd7iAmdH0C5nq4c/CJJe8QJZJFa8bGBbYk4le33ACpw5kNjIE+5AszhheQgdfbmHQjfr83fAwbUGIEwwCSI3hKzCYFrKZGw3Tr0XjYxaRb0cursOhIVwMW5MPW7oWH+6IWYqHVFny7qKhskgpqYwZW3IocfJk1qimyjq3DJL4TPcolauEIhWMOTeJqqvvk0zl+pNMVgIERUpkLoR6go/C7HFkJvGZMLUGPxuoTqDRrBy51oDzp2FSXBT/6/oaHIMoRZWZGeSBj6bLw9KZHXqCoKJ1QYaxdAV25SqUSy5Y/J/bnUDY/Dmhbq6tSUqW/okkzmkXDJXMdGBWq8JKro9QqzqLepFck71PUByHEKBbXV0VRCDL41usjc6yU1RN3dJYpJNCjFTYE8CAwwttSkfRHkovoYouj1Bvh80L5gVCJMoHnFL4LSoktJNNF5BVHxZCaM2RwW+ntEttIBdOkhXnSXyw8i2kEHUkj7ILRxJbQI4P7ePhEbeUVBing6BUOhd7zQYMpV1eCSK2WFS5fogYK9R+B1al4aE8lmYp+DNDo1TZlwLBGgbODaJf2EKrt+ZODpcrLyWUpmIYK/CPXdoSEnVAdQSAg1obhxTKh3TNh9i5hpQgjug9ADSF1yAnL4tbkH0KedGcobg43aQUs/CBwHPyP5UDK/NvcAUnFO5h2ZW0mDeRCJN3JBA8sfG1Q7LEEj65fW1MTbehC8anYL9SM2L0Q0M8UhdJhCcDj5AW3DsPcAEp0/Nv2a+qerbui2IIKpGdL4Sc7/sLpnkP6MiQRcJcWUudUTQSYc2Eg1DZPr2MAGOFLa8+WGSTJuaWexZFMXlr4SktU1mLp65UbZqI/yqNcMNGmKtGCItGvagb/VFIXQA+hRKGfJna8NAgZdQ4u4v5co1gCjgCEO0XxfgBj45I1azx+T+/OTpGhR9JqZuvI3kZkqkcm8TajvK5E10S11WpjvHiANMJnlYSuDCnvNgELkbY2G6nK/NvcAkqwxHDVixcObWnshomUaFDqXEjo2PWm4kmf+kqxqnjnhO1OdOnNvqLoKQh4pDK7x5dfoHkEqQqKI22q9U/qikFGjNCnetJH4sbkH0DdWY94KaaHB1AaJFEQzhc+a5tA2CknJRyLpakk3m3W+0VElYOlMmpoOYGpC3SuxCuimKRzROl6JvJCLMR8JS7ovvRDd2AtSUm9YteadrxGaWdlEiG8mIc9gwkcjPjFC7KSUihCNjISBKlTPNdXj1pl0bmTmJSVNqb1raRNYEWnXwCWEdyD0eE0N8CCmeQJRS9O4B/BAGIsH91Im1NrqBdHMoEjcCin8l9E9QqpxwADoBGqaXJeuGB3VqH0GLMN8dwCUFy2QpGewuL8fH8QypEnMaYpDc99BelUURYDjCiHOTDD8OzG6B6h9J5nDhE51k8V2kOwlBbZ46Guj5orM4K32Kw6aX4LTafBNs2DQiQ9EdjHi010oja+VZLnuFZT5PYJ0TLQ76U/eqkVqagRxpOLWIgfvaPHwNeIC1smoVzppteO1skATa2Wh2VcIdcMwTrtK7RT+3+bvARteJNlLpDRUMco+D0JX1dzaaJWrEObqoVUPldPuO5CrBOtRc5TsYIAeBeAOTdad5F/xx4Rn7KGEe/3ea/G0XMtDLY+KhkCmak2LPiXvsenSF8z8tNrXG5w8o+3jQ4YmtFTpEipKyyKt85IUOUbwFEMZ+i9f+zHNCgs1SQpRDbyk5t0DLSQzhywt5g5CiyWgW/PH1RmEDUc8yDzrGvmQcrOQ1LQ3NXltKcCyqXUZd+DV7gG8c2ta4DUJoXEYX4hrRByUpepBCBSFZqTxi67uAZoL4pGLtbGYVn0bhNGeV8aH1Ng6NoR5bs5Q4d0DOF3LL9MeNmoJ2r8IeoBhhdbe/9pQPsRas9U9gPlqSRXQINQvaevrIKG8Z6LKVQvkMqI7R9DspRj+HEGYPpDuo8UM+lJxg4aEaHindLS8o5GWTZQo5WnzDuOpPYxTbXiRt5BuTlWUtkNQBN0I0Rl/jRg8JDwZinLeI5SPsIDeWJ2QEdoK0coZrvXU+FvIlJrQi6vI7gHk48pHwx4eUmjpTAciupJ8sWv7CAI1N3Q3vmYMuifg+K7Qa3U0xH95kOC20Ig2I8xEPzb3gFEz3q614tRiUStqIbIlF1DrDElfhCDiUaSY3QPU2rXCU70SJqv8AmGSwKtNhElV/9jcAySKk5aEWiLQ3NJKOAMF4si0MvXzb6/3YdiUDrkHrNrDECHyllmUevsiVCcEKz6PPr8QQx6tmBbu63XEWXvXsN5Ia60FKm5Ne/+ueeAwDcVMZhkOiNsgyCHUnBH2qTSjjdeqM+tbBfFi/mCOmceGW7SK6h3B0rS06SQqacrlBpqiH4QsoBrMiisPQqRMI1W/QyT5WXKSn2sRQnvqXwDFuxHhEymwD0KD7RQNoX2lkT6/pKpVAjmVZ/sgjP5aB3Q4YP6HzT2AzqOZldLDiahU1wwI4hrFpP1DTCsTJxFDIdm3x9NYSTEEohytDY5msINs7WWwT7FO1xCrKVFTdHu/QNYKFSXYatetTyMHmVrGIFTq08mx4TpdspRfvW6ghTeNYOlzhD4yELk8UE59e1DxU0wF0VnwX0O6cpN7xGHdEv74CL83aWlBEJSGDQZBhUpI7qgBiob9OkHzXWi60jcvWDiGfxEnEKYNsPaWIHqn2ttxh0uLTiZ2faqA9E17I1M5g0Rb0rQanNX2ZYOk0wRMxdwdY34/v9D0pNypHjmykKH1uZYfGkIFTFxNg+DAFx04nNuTKPFbnukBCxZC2NEl2Gs9dGwkR0kmpxFeF7jGF9QkAaNOhsb8g0SpHOEhQvpjg0CQEHm54Hx90QeVVPPkhPmFnKLXVoc+uw+CDKDbmmK5by7oMx+iemk2QQ/SULQSAUGRkE36QMfUdRAtbVEZKQV1D+CdB0HmyfAXLEgNH4TKkP5j4qDEf2zuAWT/kDSDUGCbPSoP/MlWH5zmd86TydJKm1Py9S0ya69qD+6BwRQHXvMgZBEUKPE2oxBxri7guOJSmkZehBiKzhRDSBwCDBMB4jgtx7audEy29JS+Jl4P6NPL0uhBBg6Jot3O9nlpbIKoqvoOsuQ+9Cc1dsOoby8Z2mLxF+21XBSuvS7ZT0dBkCxNHtiYlpWmel7xOkBjNAeQXrCgaQk7a6OqTwWaisXVu2xgeA03qKHWLyszZVDnjz5yDrUtWKUfRIOLtlIw6QEYpJpGUArsfvdIfXlhxm1SF8rx2eNMxkzdTR1Bn3SOSUd9L3mF17y/H9/Vh/SU1XpEDEPSURna6ASjkh0bHyIj2p2/XUDMKDSstcNF1Lgqp9PGFmNtVIPWJ7GyaUpjfd7YrwMgRblcOxMInF9xQCGuTbWYGnL82oQUDFmFXHudsOqbCpWsOYf+rOGtEDGXRhb62TwI2UgSofPilYja6Dp5i7QliFpZ+foiTKdMtbShrQWtIPGjOgNPoRr//R+5erhT"
  }
}