{
 "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 = LEAN plus the drift-tolerant split test (code_zb64.QLX5 of artifact 1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15). This item only moves one constant of that source and measures it; all credit for the policy is Taylor's.",
 "item": "k12",
 "batch": "c-round1",
 "n": 12,
 "id": "rival_fee_bound",
 "family": "rival clip and band widths",
 "meaning": "Rival fee factor in the bound candidate c that a retail fill implies for the rival spot (lo 15 bps, hi 45 bps band).",
 "value": "997e15 (30 bps rival fee)",
 "find": "int256 c=t.isBuy?divi(mul(s,U-fb),997e15):divi(mul(s,997e15),U-fa);",
 "lo": "int256 c=t.isBuy?divi(mul(s,U-fb),9985e14):divi(mul(s,9985e14),U-fa);",
 "hi": "int256 c=t.isBuy?divi(mul(s,U-fb),9955e14):divi(mul(s,9955e14),U-fa);",
 "find_occurrences_in_qlx5": 1,
 "changed_nothing_else": true,
 "seeds": {
  "first": 10204536,
  "last": 10204663,
  "n": 128,
  "unused": [],
  "burnt": [],
  "blocks": 4,
  "block_size": 32,
  "order": "in order, each seed once per arm, arms QLX5 then LO then HI inside each block",
  "fresh": "10204536..10204663 are this item's lease; no other engine seed was run"
 },
 "arms": {
  "QLX5": {
   "mean_edge": 534.4024826421097,
   "peak_gas": 206216,
   "out_of_gas": 0,
   "afterSwap_calls": 1387452,
   "afterSwap_ok": 1387452,
   "runtime_bytes": 22440,
   "source_chars": 47230,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "engine_seconds": 89.825,
   "blocks": [
    {
     "seeds": [
      10204536,
      10204567
     ],
     "n": 32,
     "seconds": 25.069,
     "peak_gas": 204590,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204568,
      10204599
     ],
     "n": 32,
     "seconds": 20.915,
     "peak_gas": 204561,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204600,
      10204631
     ],
     "n": 32,
     "seconds": 21.648,
     "peak_gas": 205134,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204632,
      10204663
     ],
     "n": 32,
     "seconds": 22.193,
     "peak_gas": 206216,
     "out_of_gas": 0
    }
   ]
  },
  "LO": {
   "mean_edge": 529.3345732043553,
   "peak_gas": 208209,
   "out_of_gas": 0,
   "afterSwap_calls": 1289587,
   "afterSwap_ok": 1289587,
   "runtime_bytes": 22440,
   "source_chars": 47232,
   "source_sha256": "546bd1d033876c2a842589d4458d6387d763e4325f91014821bdd3b8e8e8b7e0",
   "runtime_sha256": "fb1bc0f6bc8c2162a3d72fcf7c388bf8ff58fffe13b73153c235615a2fbfb144",
   "engine_seconds": 86.105,
   "blocks": [
    {
     "seeds": [
      10204536,
      10204567
     ],
     "n": 32,
     "seconds": 21.679,
     "peak_gas": 205914,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204568,
      10204599
     ],
     "n": 32,
     "seconds": 19.87,
     "peak_gas": 206728,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204600,
      10204631
     ],
     "n": 32,
     "seconds": 22.601,
     "peak_gas": 206150,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204632,
      10204663
     ],
     "n": 32,
     "seconds": 21.955,
     "peak_gas": 208209,
     "out_of_gas": 0
    }
   ]
  },
  "HI": {
   "mean_edge": 528.192810112645,
   "peak_gas": 205805,
   "out_of_gas": 0,
   "afterSwap_calls": 1344369,
   "afterSwap_ok": 1344369,
   "runtime_bytes": 22440,
   "source_chars": 47232,
   "source_sha256": "55bca73ee303456c22356b939a76d95c04c103890920a187606b4a73c6e5611a",
   "runtime_sha256": "c53aa7fa39ca2bf7509abd0946845ada4de2b86b9443172d32735c6fb966bc62",
   "engine_seconds": 85.485,
   "blocks": [
    {
     "seeds": [
      10204536,
      10204567
     ],
     "n": 32,
     "seconds": 22.753,
     "peak_gas": 205805,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204568,
      10204599
     ],
     "n": 32,
     "seconds": 22.494,
     "peak_gas": 205464,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204600,
      10204631
     ],
     "n": 32,
     "seconds": 20.569,
     "peak_gas": 204244,
     "out_of_gas": 0
    },
    {
     "seeds": [
      10204632,
      10204663
     ],
     "n": 32,
     "seconds": 19.669,
     "peak_gas": 202962,
     "out_of_gas": 0
    }
   ]
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -5.0679094377544995,
   "se": 0.12037782488630899,
   "sd": 1.3619196205055333,
   "sum_d": -648.6924080325759,
   "sum_d2": 3523.0771585631614,
   "seeds_positive": 0,
   "seeds_negative": 128,
   "min": -8.166142899675833,
   "max": -0.4862546358011741,
   "min_seed": 10204597,
   "max_seed": 10204616,
   "mean_by_block": [
    -5.1690397824623275,
    -5.056526826336643,
    -4.939164635119752,
    -5.106906507099273
   ]
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -6.2096725294646475,
   "se": 0.12435043454156511,
   "sd": 1.4068645681253533,
   "sum_d": -794.8380837714749,
   "sum_d2": 5187.051239124958,
   "seeds_positive": 0,
   "seeds_negative": 128,
   "min": -9.766169857022192,
   "max": -3.314887705662727,
   "min_seed": 10204562,
   "max_seed": 10204607,
   "mean_by_block": [
    -6.243798215335024,
    -6.266621138504629,
    -6.306416030513606,
    -6.0218547335053305
   ]
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": -1.1417630917101484,
   "se": 0.1529955620600401,
   "sd": 1.7309471907856262,
   "sum_d": -146.145675738899,
   "sum_d2": 547.3783670873728,
   "seeds_positive": 33,
   "seeds_negative": 95,
   "min": -6.458831541963036,
   "max": 3.095554368163789,
   "min_seed": 10204649,
   "max_seed": 10204650,
   "mean_by_block": [
    -1.074758432872697,
    -1.2100943121679855,
    -1.367251395393854,
    -0.9149482264060573
   ]
  }
 },
 "pass_peak": {
  "LO": {
   "passed": true,
   "peak_gas": 208209,
   "peak_limit": 245000,
   "out_of_gas": 0,
   "reverts": 0,
   "failed_blocks": 0,
   "burnt_seeds": 0,
   "note": "driver records any OOG / revert / halt / tx error / bad return as a failed block and exits 2; it exited 0 with no failures and no burnt seeds"
  },
  "HI": {
   "passed": true,
   "peak_gas": 205805,
   "peak_limit": 245000,
   "out_of_gas": 0,
   "reverts": 0,
   "failed_blocks": 0,
   "burnt_seeds": 0,
   "note": "driver records any OOG / revert / halt / tx error / bad return as a failed block and exits 2; it exited 0 with no failures and no burnt seeds"
  },
  "QLX5": {
   "passed": true,
   "peak_gas": 206216,
   "peak_limit": 245000,
   "out_of_gas": 0,
   "reverts": 0,
   "failed_blocks": 0,
   "burnt_seeds": 0,
   "note": "driver records any OOG / revert / halt / tx error / bad return as a failed block and exits 2; it exited 0 with no failures and no burnt seeds"
  }
 },
 "limits": {
  "source_chars_max": 50000,
  "runtime_bytes_max": 24576,
  "afterSwap_peak_gas_max": 245000,
  "out_of_gas_max": 0,
  "all_three_arms_within_limits": true
 },
 "reading": "Both directions lose badly and pass gas: LO (rival fee 15 bps) is -5.068 (se 0.120) and HI (45 bps) is -6.210 (se 0.124) edge against QLX5 on all 128 paired seeds, HI below LO on 95/128 seeds (-1.142, se 0.153); consistent with 997e15 being the rival VanillaStrategy's actual 30 bps fee (the bound a retail fill implies for the rival spot is exact only at the true fee), so this reads as a correctness constant, not a tunable one, and should stay at 30 bps.",
 "engine": {
  "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "setup": "bash setup_fast.sh --platform linux-x86_64 --cache \"$PWD/scratch/cache\" --scratch \"$PWD/scratch\" (exit 0, 19.8 s, 16 pinned downloads, cold)",
  "engine": "amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1",
  "native_sha256": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "compiler": "solc 0.8.24, optimizer 200 runs, viaIR, paris (kit engine_eval compile)",
  "compiler_sha256": "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
  "vanilla_creation_sha256": "3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05",
  "rival": "30 bps VanillaStrategy, each arm alone against it",
  "driver": "driver_zb64 of https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unchanged",
  "command": "python3 -B driver.py --kit <kit> --strategy QLX5=QLX5.sol --strategy LO=LO.sol --strategy HI=HI.sol --seeds 10204536 10204663 --lease 10204536 10204663 --block 32 --budget 540 --out k12.json",
  "exit_code": 0,
  "engine_wall": "2026-11-10T23:42:08Z to 2026-11-10T23:46:34Z (4 min 26 s, one invocation, all four blocks complete, under the 35-minute cap)",
  "configs": "driver builds each seed's config and compares it field by field with the kit engine_eval config before each block"
 },
 "inputs": {
  "map": "artifacts/goal/batches/c-map/items/map/result.json (after-map, sha256 f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e), knob n=12",
  "qlx5": "code_zb64.QLX5 of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15, decoded 47230 chars, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 (checked)",
  "variant_sha256_match_map": {
   "LO": true,
   "HI": true
  }
 },
 "not_done": [
  "No submission to the leaderboard was made or prepared.",
  "Gates P, Q, T, F and G were not run; this item measures one knob on 128 fresh engine seeds only (gate E shape, paired against QLX5; qt1 was not an arm of this item).",
  "Per-seed edge rows are not included here (they would exceed the 14,000-byte cap); the driver ledger with every row stayed under test/scratch and is not submitted.",
  "No replica run and no re-tune: the result is a single-constant engine test as briefed.",
  "A combined LO+HI value in between (e.g. 20 or 40 bps) was not tested: the brief fixes lo and hi from the map."
 ]
}