{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, Gaussian filter, qm tables and exact-arithmetic tell that LEAN and QLX5 are built on. This item only changes one constant of QLX5 and measures it; all credit for the policy is Taylor's.",
 "n": 27,
 "id": "trunc_floor",
 "family": "tell floors",
 "meaning": "Floor on the truncated-normal mass Z below which the filter treats the no-arbitrage band as missed and collapses the belief to the nearer band edge.",
 "find": "if(Z<1e6)return",
 "lo": "if(Z<1e4)return",
 "hi": "if(Z<1e8)return",
 "seeds": {
  "first": 10206456,
  "last": 10206583,
  "n": 128,
  "unused": 0,
  "burnt": 0,
  "blocks_complete": 4,
  "block_size": 32
 },
 "arms": {
  "QLX5": {
   "mean_edge": 542.0187983507559,
   "peak_gas": 206504,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "afterSwap_calls": 1402971,
   "afterSwap_ok": 1402971,
   "reverts_halts_errors": 0,
   "sum_ok_gas_by_block": [
    47091012744,
    48264435403,
    48171400565,
    48146252221
   ],
   "engine_seconds": 56.689
  },
  "LO": {
   "mean_edge": 542.0187983507559,
   "peak_gas": 206504,
   "out_of_gas": 0,
   "runtime_bytes": 22439,
   "source_sha256": "388623aa4b6b2215dcbd69eededc25c997751da904761b058fd75471d58ea446",
   "source_chars": 47230,
   "runtime_sha256": "370f23388fd844f88c7ded2e6563cc08887f05555465dd4e3eb605a868862d96",
   "afterSwap_calls": 1402971,
   "afterSwap_ok": 1402971,
   "reverts_halts_errors": 0,
   "sum_ok_gas_by_block": [
    47091012926,
    48264435403,
    48171400565,
    48146252221
   ],
   "engine_seconds": 53.357
  },
  "HI": {
   "mean_edge": 542.0187983507559,
   "peak_gas": 206504,
   "out_of_gas": 0,
   "runtime_bytes": 22441,
   "source_sha256": "56b04ca926e2fb34d6a611835884144e1c53de2cff86c8c1a73e32f14f13678f",
   "source_chars": 47230,
   "runtime_sha256": "78a990431389212179e269aeba23d5f158f1ea56fef41614d7c909171a8d3608",
   "afterSwap_calls": 1402971,
   "afterSwap_ok": 1402971,
   "reverts_halts_errors": 0,
   "sum_ok_gas_by_block": [
    47091012744,
    48264435403,
    48171400186,
    48146252221
   ],
   "engine_seconds": 54.832
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": 0.0,
   "se": 0.0,
   "sum_d": 0.0,
   "sum_d2": 0.0,
   "seeds_positive": 0,
   "seeds_negative": 0,
   "seeds_zero": 128,
   "min": 0.0,
   "max": 0.0
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": 0.0,
   "se": 0.0,
   "sum_d": 0.0,
   "sum_d2": 0.0,
   "seeds_positive": 0,
   "seeds_negative": 0,
   "seeds_zero": 128,
   "min": 0.0,
   "max": 0.0
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": 0.0,
   "se": 0.0,
   "sum_d": 0.0,
   "sum_d2": 0.0,
   "seeds_positive": 0,
   "seeds_negative": 0,
   "seeds_zero": 128,
   "min": 0.0,
   "max": 0.0
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true
 },
 "afterSwap_gas_minus_QLX5_by_block": {
  "LO": [
   182,
   0,
   0,
   0
  ],
  "HI": [
   0,
   0,
   -379,
   0
  ]
 },
 "reading": "On 128 fresh engine seeds the truncation-mass floor is inert between 1e4 and 1e8: LO, HI and QLX5 give the same edge on every seed to the last bit (all three paired differences exactly 0, se 0), with the same peak (206,504) and no out of gas, so this knob offers no gain; its only trace is a total afterSwap gas shift against QLX5 of +182 for LO (first block) and -379 for HI (third block), which shows the floor did decide differently on at least one call in each, without changing any edge.",
 "method": {
  "qlx5": "code_zb64.QLX5 of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15, decoded base64+zlib, 47230 characters, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 checked",
  "variants": "find occurs exactly once in QLX5 (asserted); LO and HI are QLX5 with that one occurrence replaced, nothing else changed; their source sha256 equal the c-map values (map file sha256 f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e)",
  "compile": "driver compile_arm: kit SolidityCompiler, pinned solc 0.8.24, optimizer 200, viaIR, paris; all three compiled, runtime bytes 22440 / 22439 / 22441 as c-map and A/1ef80bfb report",
  "engine": "amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1 (native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14), installed by setup_fast.sh of identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01",
  "driver": "driver_zb64 of https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unedited: each arm alone against the 30 bps VanillaStrategy, 4 blocks of 32 seeds, QLX5 then LO then HI inside each block, workers 8; one command, exit 0; configs checked equal to the kit's on all 128 seeds",
  "engine_seconds_total": 164.9,
  "stats": "se = sd(paired differences, n-1)/sqrt(n); differences from unrounded edges; peak_gas = largest successful Submission afterSwap gas over the 128 seeds; reverts_halts_errors sums oog, revert, other_halt, tx_error, bad_return over every callback of both pools",
  "map": "knob 27 of the c-map result, https://api.imd.fun/artifacts/f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e (same bytes as the handed file), read as data"
 },
 "not_done": [
  "No gate (P, Q, T, F, G) was run, no replica run was made, and nothing was submitted; this is one 128-seed engine measurement.",
  "Peaks and out-of-gas counts come from these 128 seeds only; pass_peak is not a certificate of the 245,000 limit on other seeds.",
  "Why the edges are bit-identical was not traced: the calls on which Z fell between the floors were not counted or located (the gas shift is the only evidence that any did), and the fee on those calls was not compared.",
  "Values outside 1e4..1e8 were not tried; no seed outside 10206456..10206583 was simulated; none was burnt, failed or left unused.",
  "The arms were paired with QLX5 only, not with qt1 or LEAN."
 ]
}