{
 "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; QLX5 from code_zb64.QLX5 of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15; block driver driver_zb64 of https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42; kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01. This item only changes one constant of that work; all credit for the policy is Taylor's.",
 "n": 2,
 "id": "pull",
 "family": "rival clip and band widths",
 "meaning": "Fraction of the way ln r is pulled toward the fill's rival-bound candidate ln c when the bound does not bind (GivePolicy alpha).",
 "find": "r=exp(lr+mul(35e16,ln(c)-lr))",
 "lo": "r=exp(lr+mul(2e17,ln(c)-lr))",
 "hi": "r=exp(lr+mul(5e17,ln(c)-lr))",
 "map": {
  "input": "artifacts/goal/batches/c-map/items/map/result.json",
  "sha256": "f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e",
  "value": "35e16 (alpha 0.35)"
 },
 "build": "QLX5 decoded from code_zb64.QLX5 (sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 checked, 47230 characters); find asserted to occur exactly once; LO and HI each replace that one occurrence and change nothing else; their source sha256 equal the map's (4d4e3833..., dd5854fd...).",
 "seeds": {
  "first": 10203256,
  "last": 10203383,
  "n": 128,
  "unused": 0,
  "burnt": 0,
  "failed": 0,
  "order": "run once each, in order, 4 blocks of 32, arms QLX5, LO, HI inside each block"
 },
 "arms": {
  "QLX5": {
   "mean_edge": 544.132613,
   "peak_gas": 207566,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "afterSwap_calls": 1415075,
   "mean_gas": 136482.5,
   "engine_seconds": 49.357
  },
  "LO": {
   "mean_edge": 544.148868,
   "peak_gas": 210537,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "4d4e38337f4b18395cb1717be538d1e1a5155d7d906734ea133a02693a3a6d21",
   "source_chars": 47229,
   "afterSwap_calls": 1413821,
   "mean_gas": 136491.6,
   "engine_seconds": 49.686
  },
  "HI": {
   "mean_edge": 544.127117,
   "peak_gas": 209022,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "dd5854fd13b2759994f5c367822f7bcb0cdfed7d40321249f492adecec91e1ae",
   "source_chars": 47229,
   "afterSwap_calls": 1415933,
   "mean_gas": 136479.5,
   "engine_seconds": 48.889
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": 0.016254,
   "se": 0.012277,
   "sum_d": 2.080544,
   "sum_d2": 2.484105,
   "seeds_positive": 75,
   "min": -0.379748,
   "max": 0.36363
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -0.005496,
   "se": 0.012598,
   "sum_d": -0.70348,
   "sum_d2": 2.583794,
   "seeds_positive": 61,
   "min": -0.381568,
   "max": 0.392296
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": -0.02175,
   "se": 0.016016,
   "sum_d": -2.784024,
   "sum_d2": 4.23032,
   "seeds_positive": 64,
   "min": -0.531917,
   "max": 0.341399
  }
 },
 "blocks_mean_diff": {
  "10203256..10203287": {
   "LO-QLX5": 0.022908,
   "HI-QLX5": 0.013387
  },
  "10203288..10203319": {
   "LO-QLX5": 0.022218,
   "HI-QLX5": -0.037333
  },
  "10203320..10203351": {
   "LO-QLX5": -0.006829,
   "HI-QLX5": 0.000422
  },
  "10203352..10203383": {
   "LO-QLX5": 0.026719,
   "HI-QLX5": 0.00154
  }
 },
 "pass_peak": {
  "LO": {
   "peak_gas": 210537,
   "out_of_gas": 0,
   "revert": false,
   "pass": true
  },
  "HI": {
   "peak_gas": 209022,
   "out_of_gas": 0,
   "revert": false,
   "pass": true
  },
  "QLX5": {
   "peak_gas": 207566,
   "out_of_gas": 0,
   "revert": false,
   "pass": true
  },
  "limit": 245000
 },
 "limits": {
  "source_chars_max": 50000,
  "runtime_bytes_max": 24576,
  "LO_ok": true,
  "HI_ok": true
 },
 "engine": {
  "engine": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704 via the kit setup_fast.sh, amm_sim_rs native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "compiler": "pinned solc 0.8.24, optimizer 200, viaIR, paris (driver compile_arm via kit SolidityCompiler)",
  "driver": "driver_zb64 of A/764c9461, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unedited; each arm alone against the 30 bps VanillaStrategy, 8 workers",
  "engine_seconds_total": 147.9,
  "stopped_by_time": false
 },
 "reading": "Changing the pull alpha from 0.35 does not move edge measurably on 128 fresh engine seeds: LO (0.20) - QLX5 = +0.0163 se 0.0123 and HI (0.50) - QLX5 = -0.0055 se 0.0126 (HI - LO = -0.0217 se 0.0160); LO leans positive at 1.3 se only, so neither is near the +0.04 bar and QLX5's 0.35 stands; both variants pass gas (peaks 210537 and 209022, 0 OOG).",
 "not_done": [
  "No gate (P, Q, T, F, G, E) was run and nothing was submitted; arms were paired with QLX5 only, not with qt1.",
  "128 seeds only: se about 0.012 to 0.016, too wide to resolve effects near 0.01 to 0.02; no confirmation run on 1,024+ seeds.",
  "Peaks are from these 128 seeds only.",
  "No seed outside 10203256..10203383 was simulated.",
  "No replica run was made for this knob."
 ]
}