{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell and U1 tables underlying QLX5; all policy credit to Taylor.",
 "n": 25,
 "id": "cand_n",
 "family": "the split test's window and candidates",
 "find": "t.isBuy,m0,5)",
 "lo": "t.isBuy,m0,1)",
 "hi": "t.isBuy,m0,3)",
 "seeds": {
  "first": 10206200,
  "last": 10206327,
  "n": 128,
  "unused": []
 },
 "arms": {
  "QLX5": {
   "mean_edge": 537.8005190097856,
   "peak_gas": 208087,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"
  },
  "LO": {
   "mean_edge": 537.7812069330015,
   "peak_gas": 197137,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "684981efce73cba6f41ed2a03a81b25e6c48a1835a573cdf3208f523c05ff52e"
  },
  "HI": {
   "mean_edge": 537.8127027146714,
   "peak_gas": 201803,
   "out_of_gas": 0,
   "runtime_bytes": 22488,
   "source_sha256": "349731ec5feef73fa1577ec5a45a74d4b19c971aef0647245e6cae8532b8f79a"
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -0.019312076784203214,
   "se": 0.012663026444247558,
   "sum_d": -2.4719458283780114,
   "sum_d2": 2.654424400401729,
   "seeds_positive": 53,
   "min": -0.32114392087311217,
   "max": 0.41598458977387054
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": 0.012183704885763369,
   "se": 0.007291343969593435,
   "sum_d": 1.5595142253777112,
   "sum_d2": 0.8832297176160059,
   "seeds_positive": 71,
   "min": -0.21499080480089106,
   "max": 0.39099515915802385
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": 0.03149578166996658,
   "se": 0.011903669449248866,
   "sum_d": 4.031460053755723,
   "sum_d2": 2.4304060480433627,
   "seeds_positive": 73,
   "min": -0.33692786971573696,
   "max": 0.3253604006453088
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true
 },
 "reading": "On 128 paired fresh seeds, reducing the split-test candidate count from five to one changed edge by -0.019312 (SE 0.012663) and to three by +0.012184 (SE 0.007291); this screening run does not establish the required gain on 1,024+ seeds.",
 "not_done": [
  "No leaderboard submission and no contract promoted or delivered; the assignment is a 128-seed structural screen, not a 1,024+ seed confirmation.",
  "No qt1 comparison or gates P, Q, T, F run: this item requires only QLX5/LO/HI on its exclusive engine seed lease; no other engine seed was simulated.",
  "No forge build/test, Slither or Aderyn analysis: compiled with the specified pinned kit compiler rather than a Foundry project; forge and aderyn were found, slither was unavailable. No security certification claimed."
 ],
 "checks": {
  "source": {
   "QLX5_expected_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "find_count": 1,
   "only_prescribed_replacement": true,
   "source_chars": {
    "QLX5": 47230,
    "LO": 47230,
    "HI": 47230
   },
   "variant_hashes_equal_map": true
  },
  "compile": "All three succeeded: solc 0.8.24, optimizer 200, viaIR, paris; runtime sizes within 24,576 bytes.",
  "validator": "SolidityValidator.validate: QLX5, LO, HI valid, no errors or warnings.",
  "engine": {
   "complete_blocks": 4,
   "seconds": 267.0032756640576,
   "failures": [],
   "burnt": [],
   "blocks": [
    {
     "first": 10206200,
     "last": 10206231,
     "arms": {
      "QLX5": {
       "seconds": 22.907071163877845,
       "peak_gas": 204830
      },
      "LO": {
       "seconds": 22.508855727035552,
       "peak_gas": 195373
      },
      "HI": {
       "seconds": 22.319569167215377,
       "peak_gas": 201361
      }
     }
    },
    {
     "first": 10206232,
     "last": 10206263,
     "arms": {
      "QLX5": {
       "seconds": 21.864174162968993,
       "peak_gas": 206262
      },
      "LO": {
       "seconds": 21.828366209287196,
       "peak_gas": 196534
      },
      "HI": {
       "seconds": 21.525197323877364,
       "peak_gas": 201350
      }
     }
    },
    {
     "first": 10206264,
     "last": 10206295,
     "arms": {
      "QLX5": {
       "seconds": 22.368557075969875,
       "peak_gas": 205517
      },
      "LO": {
       "seconds": 22.31393851013854,
       "peak_gas": 196441
      },
      "HI": {
       "seconds": 21.870628534816206,
       "peak_gas": 201762
      }
     }
    },
    {
     "first": 10206296,
     "last": 10206327,
     "arms": {
      "QLX5": {
       "seconds": 22.900031485129148,
       "peak_gas": 208087
      },
      "LO": {
       "seconds": 22.641794285736978,
       "peak_gas": 197137
      },
      "HI": {
       "seconds": 21.955092018004507,
       "peak_gas": 201803
      }
     }
    }
   ]
  },
  "commands": [
   {
    "command": "bash test/scratch/k25/kit/setup_fast.sh --platform linux-x86_64 --cache test/scratch/k25/cache --scratch test/scratch/k25/runtime",
    "result": "exit 0; 16 pinned files verified; runtime verify_env OK; no smoke seeds run"
   },
   {
    "command": "python -B test/scratch/k25/driver.py --kit test/scratch/k25/kit --compile-only --strategy QLX5=test/scratch/k25/QLX5.sol --strategy LO=test/scratch/k25/LO.sol --strategy HI=test/scratch/k25/HI.sol --out test/scratch/k25/compile.json",
    "result": "exit 0"
   },
   {
    "command": "python -B test/scratch/k25/driver.py --kit test/scratch/k25/kit --strategy QLX5=test/scratch/k25/QLX5.sol --strategy LO=test/scratch/k25/LO.sol --strategy HI=test/scratch/k25/HI.sol --seeds 10206200 10206327 --lease 10206200 10206327 --block 32 --budget 2100 --out test/scratch/k25/engine.json",
    "result": "exit 0; 128 paired seeds in four complete blocks; no engine callback errors"
   }
  ],
  "deliverable_validation": "PASS: Python and Node JSON parse; independent statistics.mean/stdev recomputation of all paired summaries from embedded per-seed rows; 128 unique consecutive seeds; all five source quotes matched live URLs; exactly result.json and sources.json delivered; result under 14,000 bytes."
 },
 "provenance": {
  "map_sha256": "f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e",
  "driver_sha256": "d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
  "driver_unchanged": true,
  "kit_commit": "45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "engine_commit": "6b6921f8d463314aa7c96234e1be25a25245f704",
  "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "solc_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
  "opponent": "30 bps VanillaStrategy, each arm independently",
  "workers": 8,
  "block": 32,
  "budget_seconds": 2100,
  "paired_se_definition": "sample SD of per-seed differences (n-1 denominator), divided by sqrt(n)"
 },
 "rows_format": "base64(zlib(UTF-8 JSON)); rows [seed,QLX5 edge,LO edge,HI edge], full floating-point values; local unchanged-driver measurements",
 "rows_zb64": "eJxNmQGy5qoKhDf0V0pEFNdy6+1/G+9rzBxTUzM1pw8xitA05L//rPU2e2u/WPOJPVubc/Xd3QqZvafzd7Wx8tiM4REt15jjf79/z2Md7Vmj9+FrD6wLCHcPa61ZPwY+W9je/DzzPs0v93rW9DTP9D22vUiL2frovlcBEWNnhLc53O7z/hvpD7tc7Hb0NBuF+FhtLV7f1zpIXznc2wo20OddYfwiG/bRJu/IYHuFRGtum11ZHaFsxtwtG67KzwLxG40XztV29D6txSoEb7EtXx2XHZvRdvM+cDKevgvMX5g9MZfnHr0tm6uQbZx47pG49djMjoNx/+JXcRdYv+n7mXtZ28Ns8VAhOeZsOMVj4aiyycHrrce0/NwCJ2Z7+Hs33WPvqwBnwTnlhPDpBUV66+yKVT8n2D+u/klusfduGHNRB2LnsfrcxJetF9q5zAd33fffEtbYX7AEm5jRiRgC4SCYsqiN3L2Qua2NTIBPIJn9eNPD+TMTN7FCFmJ74fLAoOc4yDROzJnatOF3hf4DerjG7BNfsoM+C4rl+GXz/iQTymgbm28E1P4cgSNve/AgMbaMQPJVyCBoCdweNnMW4qQdPjX+aXZzidgl29gCV7b2XNb9IOnOiXDv3qsXsnArOdnImc/zwer72QoZt9geeRBt3QbZN3ivH6MVu4XyZTa7V2kE2kgtj8+5gzXYlBCcskkp30E0HYTgUMQRXjchuWRCC6pojaydioaDcI1GcHIy3vraKBEJmUF+3AWyLnk1Al8BzVvfWx8RhC1X735MYpgcAG/lZwP7R3Q+g3dzb51QEoGAdFmOmStCfAaiGNydlF/887dAJxIVSZNVCQo383kQsojtQx/E14vAWDM9G2e7CxC41p+VTWfbY3DOQpLM48YTf5NNx4ZLgqQiYKe7AHTj+cB9BPMWZ41RiM85YBToI9trQx50SJX4/B6BXA3RjVmx1wg7iAdO5FDsIA+wjYvlx8gPp3cSZfE6RQy8xgtFciD8hyBIW+xiv0bUDdKIe6E43BXiR4ASiWnRBlQujhGCC4llUneE70LEyqTCrry7C4jwJi4zLoTrgYVGIYvMZVVs+/KDGC5dYq6MzxkIm57PnmQx8aWABtgPF7Dhk6k43gdJLojXECDzc4vQx2iPwWCEMDfNDc0DDXiVy4US/Bh174lFdjHEZwusv0hVyI+q4dA6jhUi8oLOcIGKUyFmW2xExfjwslObQ7luVI6E0hxzIcGWBpGNF9tBEt6HvreK0M1mSjmXS66TFk31kFQ9yFwLNhjEg8dBYpCNnHTZul7wzgHtMfmG7eGpmIXo0iEHiHXrsstoLXgGBiGY5w0FZWtAQeydWDe9ZhVCehI1xLL48tjscmQjGOwSMxwIeTyknbX0OdhIFiJjTHXz/iJN54nJn08wckLo96HmZtYmHGIWolzgWuCAuedrQ7WDasnQ8fECv8z9oBWm7gleV4EEoYwFhAL2msDwLKj7wuo+z4GnXDwpfVRgrs0KWXoXi+E6VIcQeRDtguyAp+4CxBnZSglJ0i0cmkVjRGdJ+LArlNnkOBCiiPSCWb5CSclmg19qExuPYwNCNYReVGJNEfraaDmIQczzt8AgFvFwm1JKjqyBVgohzKc0HYeScgIhWrqkFsVt3IweR9gNVFQs1idx/Cg7pCGUQEkYYxdCnFH+OALF4qbTgPJ6wCkNpmhLCXWQ3DAAhUqB5K8NKounVvRPaRl6HyRGISX6TRuu16HnYklrEcBxTCynIoBV2+d5DtybnmcHev/uB1BxJfUJXIVaL0LYVCuA9j2ASHQ/HJ/tEjGQ+DgIIUGC8z5kxUHQAq56i3r5aBRkIKGDQKBwc7gY/gJSrdRlFzON14YL7CFftxvJEudJ3OG/jTgYVd0BxJLSjdKi+r3EBSqkkTGfG0T8zPlw7q00Isn9RSCdKW4gKqBpQR0HUsOlbrnpu8Su0i3KV/VGGfdT77koahmZktIsZbPdOEDgy9n/FoiGkoYSTcVVWpxqcBCYXjJQxc0OIrFODSA4PpxK5g1pMhKfFKPIc1UvgjsXqTalbw8UTXyGiKBO3hW4Iu54ER2UppBYm4UkyYHshNZQ6OOFuBEUC/7xe40hSoQw8R91lBh3id0oXUg9hZyJhHVsllIJrvbv8yzeZunttZRkPFMI141TEgEutS1kDe0GloRlPoo9CMWpnmg5adTktV1ISzo0QoYyG+MYQdqQhJoA+2jNOISJgCPvIBsCKguRYAqpdgrci6DKCdlN52U3m9QlbdEHKgJtzXVXNwfEjukeiU8vWV/IdMq9U0zsw0kl8UeVdAkC8p+orj0Tzmx3q4t0JZkgeI0ggWb2J6bRAGSIXqAtL1XVcRB0CSWHViazALQrMg+sfTllihbFWHgxoA5svBDaB86NDcQ4jo1SBMVJnq/PAmpz8sFpMuXeOX0hrtrU5JVZ7ZxYSdEh17RPMIgETbzKT2oOawMArltJSv8aJaa0AbQBEbOk2u/zmA9XpJ4Ugo2tEFJj47SpVmMcGy6W7RObaIe7APuNSSHhfuA0FOIWAgtDZ8GroP41jw3RyEKkNQlxF4hSUdKgpF+OCjyAnGpTHbf4fCUGcgElQ562jwM4HRIKEeiUYkhpSfFLeHnRbFNN3YXMc8JJwn2qK+32SIVyl1KjLPFYISaKTzGIr9dGiiElh779L3WPI6qUsn0Im7YJIh3Srzo9DtOtKDRlReGUJHfktX2coB5aZ0ZGo6i6qF3AopORjKfko5aODa8Y0m6U3U+BXYRiLlSK+j41jCov+JR7QL8TDVTGnscm1aEuOeMy4yISO13Dpp8KVQ8sC0FGoqCdy1h+bFAA5CJNHilzn+/VVU01TrgiNC0pBE0ggQOF4JhCpG9caUCZ+xyAzjS7iqdmGMQy8VsIVXSpZVZjj1ATRKipF0WYU0PuCuNomtX1a0rQqO6TTo1L7xLdXqpcNuh69Y9dJfYuEBWnpCrOQlNLiBQCN+EWyEFEVghiReLThH52QDDS1NCAixBQNE0uByGoRQ5jHJEiZJfex4B0uAsQaPQtkGKqc8LjCOhCYqvLU6s5/tkQEdAZjI2iuyvkCVWj7aI3VcacaK7u2TXy4qrLxDVkI6m+GoMDU1NQIJApd6wc7oXQIklsE0PcTiEsTrtA0ZeE/VsgiUMRO7RB8z7UKxaAoQYSOMLCCnH5A85cDUff5+1HV129Zgz1tnD7QbhRTQu4k30QTXZoxOdobX42oHGdStnUsHBpiuGFWEirUl9Rt3EQ9EBqxkUNvc+LwRHSklgKhCYPCoF1SH9CANqPQlJ6Gs6DZz+5XBJMPVlq7EWHI38LsNKIS9OtfhDEAZtsKhUfSi0ZihLHObAy8mNI/G4NgoCgWKSbKG0T2ZSlqfGnvHIXUJdW4z7UD0VvzzgIP3BkGAJK6wcJE01rTAb13xXI1I4Tds144PaqK4VotEulxKv9IDia4tXhqM8OiEKUtFGypya5VvU+nybi0lhATco8kLp7xS1kdVk5SbPUBEDDXVKZ5vAgeCrFaBov+bEJTgBDjW9Z2mqeVTKge66IzKeIHETSRu17U79RsqtDV6528KMUNYnuRpOoyqa6LCEggCTc6vBcgxoBXXuDEZNj3McVhcQMpBSSEmL8g2yNfykgBGcehBjDo+iT/tGZW3mvLlc1XG35lE+7JFOqQ/VB6rZ1IJbiXljUP5mkkYnTq+tdcAnmKvZCVJU1ScEDuzQaYoWuaNeU9FLJVp6riqlg0Mo0hXYhmkCv6v7tteGiS7gpv+4CRxlTL+j7kMv7n1amNtDfUAE07Dw2FJ1QV4QXPk44s0bNdZvqK6R0JpRtUv+ocjatFIzCSA2Tukgi8S6gWd9+tH2UHD1JKrKFkEKaaaKYfL82lC7Ur5rv+/wuotD71eHxvIoqolMzZLhFwb+OCS2RvKoB2V8UeX1fUVONEu9ndu5Hi4QksxST96NgtqY5sAOSc97nraoNHV7qdKGxTyGa6cO13ECN1jBRGJuY6DNP5Y2oX5OWWvKAWsRxEP6vAOo1vCgEGa1ygAL7RJFLlU8yWTOskJInUwrhSARyyN72MUJt0RpKMvYrUYkyyo24ILbmGlPdxYHUMqqbpGHZ+Ro12DE4VdxBlmv+CNNoUOOiBnJFsh4IwUd0hdq0OocgvILEbEYf1e8SIhvcZvoqsjSFDA2uVEUoUmg07jKq35iqvkM9B1Ge8bmLVX5C5KGjJzSsKaMQmphB+BlElsff6rq4SJOU2XcB9IxmIEQj3QySaJkdBOXYqkXieKMgwoNiqcZ+tY8jzoSETWrignhY49/3sUYmST/ULEo2usdQ+UP3/S1gxOOgcGlosjRl0Gh4aBS96ruH2qNxTODHqS1B1vcI8pDpixsb3urwZ90lkGkiQ5aT0hIoMoIN1Etaabe7BHpC9hAi/moVQYWQhFRXVymC2YVoTKApfv29C/BLDU1r8A6t0BwJoRiiPHG6Ph34OjalovLTcam/EumTJ7hXPR58AdKfVooTFj5zkrJB5qCu0I3N7gJR6ol81nxee5teSFQnK7bVKKxsKN0Up6XvYjej7B0vNPWM8AGnXgfBf5RKSinx+E4l1PNyayz5uQSp2v3oQ9ikMmvG8yIshUCUKNVIVIgEF5LJNTa7C2S1Jy4hwqHZ5BinYxmpb8JcL1S94rWiB0f5TBWHu8Su4k0JwAUUdX0KOSUeyRcanxGfCg0QjbJRapCRAvRvCX1qUUdEMONxSMA161WnWjpbnWF9/pEN5ZCARDS0W6JdF7eSiqqKrvx30T3IRqalxvKKn0L0BSC0TUniu0A/876hSNKQX8MjIabvR6GSW59KCtkSecrdO5x2KRBa3SSqJNbJO6JbiL49G7p84+vTDtOGLnXP8O39eFs0hrDT/GxHzbf3PjOPPfQ1Fx6LdpD6iKG75LY/8dz1ja/rkxvpw/HUVBwEVtZ3OAkje5GuT/rKUrvxTPnheh/ew13qe+1Su+0aWEd98NKnRH3ukZEG8JodkrOfFTTgTs0HQh/zso4sIPV5cWjmoc8vQohu2ofGTuj8/vd/6qyzEQ=="
}