{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, Gaussian filter, qm tables, exact-arithmetic arb/retail tell and U1 tables that LEAN and QLX5 are built on; all credit for the policy is Taylor's. QLX5 from code_zb64.QLX5 of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15; block driver from https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42.",
 "n": 22,
 "id": "budget",
 "family": "tell floors",
 "meaning": "Budget of preimage-plus-grid candidates above which the lean tell returns 'over budget' (a miss), from the c-map entry n=22.",
 "find": "hits>4)return 3;",
 "lo": "hits>3)return 3;",
 "hi": "hits>6)return 3;",
 "find_occurrences_in_QLX5": 1,
 "seeds": {
  "first": 10205816,
  "last": 10205943,
  "n": 128,
  "unused": 0,
  "burnt": 0,
  "blocks": 4,
  "block_size": 32
 },
 "arms": {
  "QLX5": {
   "mean_edge": 531.0591738687069,
   "peak_gas": 206645,
   "out_of_gas": 0,
   "afterSwap_calls": 1394759,
   "mean_gas": 136613.7382866861,
   "runtime_bytes": 22440,
   "source_chars": 47230,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "failed_blocks": 0
  },
  "LO": {
   "mean_edge": 527.8260422306713,
   "peak_gas": 208177,
   "out_of_gas": 0,
   "afterSwap_calls": 1399615,
   "mean_gas": 138413.029015122,
   "runtime_bytes": 22440,
   "source_chars": 47230,
   "source_sha256": "709bfacdc61ac71944fcc5367c7b097196d1543675d77be5524535de439858b8",
   "runtime_sha256": "4c7ee068364451512febd00947aa801e0edd26643ae00619a57c298d374fe4e3",
   "failed_blocks": 0
  },
  "HI": {
   "mean_edge": 531.0591738687069,
   "peak_gas": 206645,
   "out_of_gas": 0,
   "afterSwap_calls": 1394759,
   "mean_gas": 136613.7382866861,
   "runtime_bytes": 22440,
   "source_chars": 47230,
   "source_sha256": "cd5b70ce4da4364b97483c32a240b1884a132caf54ab7df10a7a773d1a6090fb",
   "runtime_sha256": "2e53263db1a6eb7dada69b3847fb11f62c1961f04825e9b355ba6266d779e5fa",
   "failed_blocks": 0
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -3.233131638035621,
   "se": 0.22632579668552966,
   "sum_d": -413.8408496685595,
   "sum_d2": 2170.6889858592053,
   "seeds_positive": 0,
   "seeds_zero": 0,
   "min": -24.98898045306794,
   "max": -0.5737829270253769
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": 0.0,
   "se": 0.0,
   "sum_d": 0.0,
   "sum_d2": 0.0,
   "seeds_positive": 0,
   "seeds_zero": 128,
   "min": 0.0,
   "max": 0.0
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": 3.233131638035621,
   "se": 0.22632579668552966,
   "sum_d": 413.8408496685595,
   "sum_d2": 2170.6889858592053,
   "seeds_positive": 128,
   "seeds_zero": 0,
   "min": 0.5737829270253769,
   "max": 24.98898045306794
  }
 },
 "pass_peak": {
  "LO": {
   "peak_gas": 208177,
   "out_of_gas": 0,
   "revert": 0,
   "runtime_bytes_ok": true,
   "source_chars_ok": true,
   "pass": true
  },
  "HI": {
   "peak_gas": 206645,
   "out_of_gas": 0,
   "revert": 0,
   "runtime_bytes_ok": true,
   "source_chars_ok": true,
   "pass": true
  }
 },
 "engine": {
  "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01 setup_fast.sh",
  "engine": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1",
  "compiler": "solc 0.8.24 (sha256 fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f), optimizer 200, viaIR, paris",
  "driver": "driver_zb64 of https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42, unchanged, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282",
  "command": "python3 -B driver.py --strategy QLX5=QLX5.sol --strategy LO=LO.sol --strategy HI=HI.sol --seeds 10205816 10205943 --out k22.json --block 32 --budget 520",
  "opponent": "30 bps VanillaStrategy",
  "exit": 0,
  "wall_seconds": 82.4,
  "engine_seconds": 69.12250973423943
 },
 "reading": "Lowering the lean-tell budget to 3 costs -3.233 (se 0.226, 0 of 128 seeds better) against QLX5, while raising it to 6 is bit-identical to QLX5 on all 128 seeds (same edges and same afterSwap gas totals, so a candidate count of 5 or 6 never occurred here); keep the budget at 4, nothing to promote.",
 "not_done": [
  "128 seeds only; no 1,024-seed confirmation, since neither variant beats QLX5.",
  "Gates P, Q, T, F were not run; gate T's Python reference was not changed to the LO/HI budgets.",
  "HI equal to QLX5 shows only that totals of 5 or 6 did not occur on these seeds; values above 6 were not tested.",
  "No paired run against qt1 and no submission (none was asked)."
 ]
}