{
 "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; this item only replaces one constant of QLX5 and measures it on the engine.",
 "n": 11,
 "id": "chance_floor",
 "family": "tell floors",
 "find": "lr=mul(lr,chance);",
 "lo": "lr=mul(lr,chance<1e14?int256(1e14):chance);",
 "hi": "lr=mul(lr,chance<1e16?int256(1e16):chance);",
 "seeds": {
  "first": 10204408,
  "last": 10204535,
  "n": 128,
  "unused": 0,
  "burnt": 0,
  "blocks_complete": 4,
  "block_size": 32,
  "order": "10204408..10204535 ascending, each seed once per arm; inside each block QLX5, then LO, then HI",
  "engine_seconds": 530.6,
  "engine_seconds_note": "sum of run_batch wall time over the 12 arm-blocks; under the 35-minute bound, so all four blocks were started and completed"
 },
 "arms": {
  "QLX5": {
   "mean_edge": 542.576454,
   "peak_gas": 206419,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "afterSwap_calls": 1404003,
   "afterSwap_ok": 1404003,
   "mean_gas": 136548.4,
   "reverts_halts_tx_errors_bad_returns": 0,
   "oog_any_callback_either_pool": 0
  },
  "LO": {
   "mean_edge": 542.572638,
   "peak_gas": 206459,
   "out_of_gas": 0,
   "runtime_bytes": 22468,
   "source_sha256": "e35c0a316529e22845c8dd55edd20a7fc9445052ffd71c391ea091093e91e691",
   "source_chars": 47255,
   "runtime_sha256": "216e859a30399d91812a90f2aa32e1b58166f8d0c7a4c54f57f8559d050bdffc",
   "afterSwap_calls": 1404009,
   "afterSwap_ok": 1404009,
   "mean_gas": 136579.9,
   "reverts_halts_tx_errors_bad_returns": 0,
   "oog_any_callback_either_pool": 0
  },
  "HI": {
   "mean_edge": 542.559362,
   "peak_gas": 205397,
   "out_of_gas": 0,
   "runtime_bytes": 22469,
   "source_sha256": "e87d60d8f4106e5eff468c085d4baf61daf3e350e24126083fa1f6556b6fff8f",
   "source_chars": 47255,
   "runtime_sha256": "4b8d0fb4b49ead22be00d0285a7fbadaa20b32a61b63eec3b30a5d0d1f9749e0",
   "afterSwap_calls": 1404560,
   "afterSwap_ok": 1404560,
   "mean_gas": 136705.9,
   "reverts_halts_tx_errors_bad_returns": 0,
   "oog_any_callback_either_pool": 0
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -0.003815878,
   "se": 0.002667605,
   "sum_d": -0.488432337,
   "sum_d2": 0.117543365,
   "seeds_positive": 14,
   "seeds_negative": 25,
   "seeds_equal": 89,
   "min": -0.279194401,
   "max": 0.095256849
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -0.017091627,
   "se": 0.015040953,
   "sum_d": -2.187728195,
   "sum_d2": 3.714991284,
   "seeds_positive": 58,
   "seeds_negative": 70,
   "seeds_equal": 0,
   "min": -0.466739196,
   "max": 0.497829776
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": -0.013275749,
   "se": 0.015391296,
   "sum_d": -1.699295857,
   "sum_d2": 3.873475769,
   "seeds_positive": 58,
   "seeds_negative": 70,
   "seeds_equal": 0,
   "min": -0.465530663,
   "max": 0.497829776
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true
 },
 "reading": "Neither floor on the grid chance helps: LO (1e-4) - QLX5 = -0.0038 se 0.0027 (-1.4 se) and HI (1e-2) - QLX5 = -0.0171 se 0.0150 (-1.1 se) on 128 fresh paired engine seeds, both negative and within noise of zero, so chance_floor gives no sign of the +0.04 needed and QLX5's unfloored chance stays.",
 "not_done": [
  "No gate (P, Q, T, F, G, E) was run, nothing was submitted to the leaderboard, and no arm was paired with qt1.",
  "Only the two values of the map were tested (floors 1e-4 and 1e-2 of 1e18-scaled chance); no value between or beyond them, and no stacking with another knob.",
  "Peaks, out-of-gas and revert counts come from these 128 seeds only.",
  "How often the floor binds (how many lean-tell hits have chance below 1e-4 or 1e-2) was not counted; LO equals QLX5 exactly on 89 of 128 seeds and HI on 0.",
  "The c-map input has no public URL known to this item, so it is not in sources.json; knob n=11 was taken from the handed file (sha256 f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e) and its LO/HI source hashes and runtime bytes were reproduced here.",
  "Method, for the record: variants are QLX5 with the single occurrence of find replaced (count asserted 1, reverse replacement restores QLX5 byte for byte); compiled by the driver's compile_arm (kit SolidityCompiler, pinned solc 0.8.24, optimizer 200, viaIR, paris); engine amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704 with amm_sim_rs 0.1.0.post1 (native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14) from the kit setup_fast.sh at 45e7563d1a29ffca9d608fdf60c90bf2624d2d01; driver_zb64 of A/764c9461 unedited (sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282), one process, two commands (budget stop after three blocks, then the fourth), each arm alone against the 30 bps VanillaStrategy, workers 8; configs checked equal to the kit's on all 128 seeds; the setup smoke was not run, so no other engine seed was simulated."
 ]
}