{
 "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 flips one constant of QLX5 (A/1ef80bfb code_zb64.QLX5) and measures it on the engine; all credit for the policy is Taylor's.",
 "n": 9,
 "id": "pull_syn",
 "family": "synced-table switches",
 "find": "ln(c)-lr));syn=true;}",
 "lo": "ln(c)-lr));syn=false;}",
 "hi": "ln(c)-lr));syn=cnt==0;}",
 "meaning": "Whether a callback whose rival estimate came only from the 0.35 pull is quoted from the synced tables (lo never, hi only on the first non-arbitrage callback of the step).",
 "seeds": {
  "first": 10204152,
  "last": 10204279,
  "n": 128,
  "unused": 0,
  "unused_list": [],
  "burnt": [],
  "blocks_complete": 4,
  "blocks": [
   [
    10204152,
    10204183
   ],
   [
    10204184,
    10204215
   ],
   [
    10204216,
    10204247
   ],
   [
    10204248,
    10204279
   ]
  ],
  "each_run_once_in_order": true
 },
 "arms": {
  "QLX5": {
   "mean_edge": 521.257818,
   "peak_gas": 207852,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "afterSwap_calls": 1387883,
   "afterSwap_ok": 1387883,
   "mean_gas": 136718.8,
   "callback_errors_both_pools": {
    "oog": 0,
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
   },
   "engine_seconds": 34.565
  },
  "LO": {
   "mean_edge": 521.234081,
   "peak_gas": 205927,
   "out_of_gas": 0,
   "runtime_bytes": 22441,
   "source_sha256": "3cbf4b16bcfc7f4be6fde84c1cf534d2fd2e61a2f5c7ce7ff6b14c31ddcf15a2",
   "source_chars": 47231,
   "runtime_sha256": "2939ee9438c816493ada48e64fcc1a384d7fc031fac56bfcc5ff4f157f1fbea6",
   "afterSwap_calls": 1387507,
   "afterSwap_ok": 1387507,
   "mean_gas": 136089.7,
   "callback_errors_both_pools": {
    "oog": 0,
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
   },
   "engine_seconds": 33.162
  },
  "HI": {
   "mean_edge": 521.212451,
   "peak_gas": 207160,
   "out_of_gas": 0,
   "runtime_bytes": 22441,
   "source_sha256": "662076420f0fe46453ddb1341ffaca95ebd949f75bcdafd3798e41ad9acb117e",
   "source_chars": 47232,
   "runtime_sha256": "8986106b86418332f9ebd3c5949ff4d8f06fad90b5de7745655093bdc9330c11",
   "afterSwap_calls": 1387609,
   "afterSwap_ok": 1387609,
   "mean_gas": 136540.8,
   "callback_errors_both_pools": {
    "oog": 0,
    "revert": 0,
    "other_halt": 0,
    "tx_error": 0,
    "bad_return": 0
   },
   "engine_seconds": 31.221
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -0.023737,
   "se": 0.012728,
   "sum_d": -3.038298803,
   "sum_d2": 2.705470675,
   "seeds_positive": 50,
   "min": -0.448132,
   "max": 0.649444,
   "seeds_zero": 0,
   "by_block": [
    -0.020181,
    -0.049427,
    -0.022106,
    -0.003233
   ]
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -0.045367,
   "se": 0.0132,
   "sum_d": -5.806966178,
   "sum_d2": 3.095729624,
   "seeds_positive": 48,
   "min": -0.585421,
   "max": 0.624986,
   "seeds_zero": 0,
   "by_block": [
    -0.032061,
    -0.057908,
    -0.052463,
    -0.039036
   ]
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": -0.02163,
   "se": 0.009489,
   "sum_d": -2.768667375,
   "sum_d2": 1.523736298,
   "seeds_positive": 56,
   "min": -0.415909,
   "max": 0.281363,
   "seeds_zero": 0,
   "by_block": [
    -0.01188,
    -0.008481,
    -0.030357,
    -0.035803
   ]
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true,
  "QLX5": true
 },
 "limits": {
  "source_chars_max": 50000,
  "runtime_bytes_max": 24576,
  "peak_gas_max": 245000,
  "all_arms_within": true
 },
 "reading": "On 128 fresh engine seeds both variants lose to QLX5: LO (syn=false after the 0.35 pull) -0.0237 se 0.0127 and HI (syn only on the first non-arbitrage callback of a step) -0.0454 se 0.0132, HI-LO -0.0216 se 0.0095, so the knob stays at QLX5's syn=true and offers no gain; both variants pass the peak limit.",
 "method": {
  "build": "QLX5 = code_zb64.QLX5 of A/1ef80bfb (https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15), decoded base64(zlib), sha256 checked e183e5bc...; find asserted to occur exactly once; LO and HI differ from QLX5 only in that span; their source hashes and runtime bytes equal the c-map entry (compiled_lo/hi).",
  "engine": "kit setup_fast.sh --platform linux-x86_64 (kit @45e7563d1a29ffca9d608fdf60c90bf2624d2d01): amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1, native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14; pinned solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)",
  "driver": "driver_zb64 of A/764c9461 (https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42), sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unchanged: each arm alone against the 30 bps VanillaStrategy, blocks of 32 seeds, QLX5 then LO then HI inside each block, workers 8; configs checked equal to the kit's on all 128 seeds before the run",
  "commands": "2 driver commands on one ledger (block 1; blocks 2-4), exit 0 both; engine time 98.9 s in all (run_batch wall, compile excluded), far inside the 35-minute stop",
  "stats": "differences are variant minus base per seed; se = sd(paired differences, n-1)/sqrt(n); sum_d and sum_d2 are sums of d and d^2 over the 128 seeds; by_block = mean difference in each 32-seed block; statistics use unrounded edges; peak_gas = largest successful Submission afterSwap gas over all blocks",
  "map": "knob n=9 read as data from the c-map result (sha256 f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e)"
 },
 "rows_zb64": "eNpNmF2uLDUMhN9Zy6iVX9vZAUhIiDcWACtg/xJf2ZM+SAjVzfF0J3a5XOl///nn78+fv/+1P7//8fn1t196G231PT4z1rP6OH4SztZHi4J+1lo3cn7WsmcdG30VXGvOU7AtW+1Grvz1mKf1gnO68fuEu+29b+Tm17zdxl4n4W7DTtSqr778RtpnN3+sjRORcO19zio4zPv7dv/w78cX/7cL19oJLdaK90TxsXY4u/s4BUc/q1bnXs3PjdTm5tNm302bG8+JRWjB7fzsG2ntY51I1+4SDhaP1apF9Ht26599jCw1cpOwjW2jAfdzTsw2b+T47B6PUZm5Co7R20m4V+wZN5IaxX7snHkKujlRtToPib6RFMapRniEJeRvproLbvvf29kcZx9j65kJ+5q9FeTddvOpdMckx3M0T7hI0+4FB2zqN9I/2+JpjSPzTPPneIuxCgZseCNVjf3EGIQClSVKM3P1TJ5yGWLkY1O3gCFecMzhs+A649yze/uQ8me7TcgiuOaCeLUarfd7IqdGQbphEKkpSJFqNeYmETdyfIw+8LlgfUJobJBaEILscU/EjtbxByL6IGEnnt7W4PeC7dAql0u+OGV7po0lLgHHVJVqtSllN5LUbBcX5mwJ5+w9Tq32Bl9upGXd1vQZPSHHoeNr9VDY95kOZwed7XPuhOM014kE/RyzG0lqent6bFos4Wz7iCFaJXf79iYSwz/orX7aTMiJSHitQnm7WYr2Ifzpw/kvIVQ1kVpw0z23jziG2Xr80MQrIcVWzwgOsuC3RjGyD4KtuRekd5KfcGm1/WY+4NfkmYaCtYJUFl0TjKbU30g0oPeHzBw1HzDgFXKS8CBSN0uxP3NQ7HUaIpFwOHspSJy/kSRxLLRujrUSrjiBUidcQfJuJEQ/VCOsURhB6L9HrfYTHPlGSgM6CmQqITlny4RGwen/26e0zpUPSlMQeVW5BG3Eq94QnQGAwI1U2oSo3iwIWPftnFJ7pxq0bULo5VIwrdLa5779UCM7nAgqtoJzSfYEp0T5VlPv2Z0pEVlC4KYwJCxXT9v9fftKtem9NcZASsxeNr3gQiuvhhymxCSJSBBiJIgU2Rq16muPyxAUvegLQ4Dr8CCL/YXGO98TQTXXlNlOHwlOZgFnT+hQ/qoNc48OevpE1EbCBuOZPYKD4fPy8yhzA62KmL0gbWpfeNCcb41GowuZZkEWdXbNuH18eUKmKX18I6tG9GzMb2EaVCzWdYb6HDdSfaQR2AfDISH8kBMAxtkk6kaivkdCnG0qOLy1GQU3evU+kxot5BWl84LHmBfnu0pzvCdSEruSGCMKMlXv6vH9cyKR0lGGkUMoIROkoMSqtRvpH573OCeSCxIkoUQKIkut+42sedQn3sMKknOpjSAmYb2R7H3ijELNmZCxqH7PVRR/3n1KKQcaMuFfyxJ2WGOWsJ3T531mF9HV2TTsSsic3n0nbCjdiBsp/cNxYLYotpkKw8JOSM8ze27kTBeDFJHFgoe9lbfBrtDwN1Jm7jyOzRgn4T4r7QPQTJu6kezI7CGwSWKA5Hpy9lyl26PfSE657QnfSQGgYyRFQK1uX/N9ZvUR/EKuEypyVR+ZRbM3S9Soy8UsVDvhcGeuJ5w4lvY+89SM2l2SL8hk6FIGQRTkPTu+bDqzlCkAkwUR+RGrIA+47hdnxiRvzOLF/grydg0HIBaq9zdyJGdRyyxh0heF+67usf1maXAM+iAgnVyQoKXNEYS1e84buXLviIFDloRY1qgTuQUj50aqRqgFf/jCmRatoLH8np0+amlTmlgnONlSS4hfJyk3kveExB3XOBI2xEjVxAGyd78TYdC64rziUrY6DGHU74T4ZGvviWR96I7D5BwJ4Tk1T4ixOXe+a0coGpHjbHlF6M/UaKMgB/qJxDNww8jZIIs2eabt2AkdI/rmc5b3xkGFJlfXNHQ6uCCPfxkyZx44TH4cuPkRY7VWmTEc7kbiI6gGf2PCJ4RA7DHhdFmeG7lzlq4R02usot5b5kWQ3ryzY7Ajm9onRYyEPIVyJ+TaQb1uZPm6w5XPvK4lwP1dpfB2+cmDXG4Lv/KFlG3JJwsaTvbdp/qIjjunnVZQTvQL/ezrWMbSPKLJ6ZhYCbku8MqE0VGSy/kFE51by5IDTYinJDcFVfibT3UMLhvLO62uo2oI6YVupljmeN+uCwwEGqHHCzreXHvSKtN233zKRzicVTH1dkiN+ZUVFRzylTdSrRtMs7HkgpCDQ2F0YxSUnrxvp0Y4jkZCmoTYZKc2W07YZhvv2eXgZGTxLecLj+5sBXEk7zOhmjXmiWk0CWItjnutIuNv3VfdFydGYBSpu15fUFe6cc/OEILXmKQWklJGdaP5mJEJsfvXpY+taQbnN6wZCU2etVa59GCpb6TuNxQbpssoAGXl5CpPfj3wd3aoY2S8+pKfF5zGddMTwtnz8/a6DGMA6woCdHTcEy4syX6fifeGieaB20voWAo8ca5S4uusKMfXCWBpo8a/TG2tGm023khpXe59zy8M3tkScvJ275ty2cwc+EXhLSHeN2wWpEmv9xZrqCMlxMlGQaROmc9VXn/zaVJfRjVE1IQFMtx6KjWrjfa7DJHfgYmIfOi7jVtedXRBF5SvuyfKEnIpou5cKBM2ffIo6Kj7PVFOM3Eemdt1h8WTtoKZm8s6jcABa/DO8mBcdWjilquhjaC6N3Jz/9bnp4NqJ2TCafcJGfWvY5EzwmVvs51fJI7Gsq6Jgty7UJQbia+jGh7cZVpC6IHoJzQN6DefkR6fK8QcBWlS14wTxHH8vF012jI0+rolyOX/SHSBmMZ4n+lwAQ1ZOQcKMm5arTJDzr0XS9VIBGrD5FsJmUdc+7+r0d/u0MUgv9Bg8T2hcafSNRGIlqESN1KTByZPPO9IqNusJqxWdV24WfKV+cgvBgW3rhOVO+jX7H3mrs2hlHdzaB36W/uEIldDXB+V8I8TU6mPSjmLUalcPUyjnywVE2mJZcVP3IO+7CWkbm+/q8npA9I+9WGmHxlEl9Z13bmwQe/bNdQxiGROn/OAtjcWsyDNhSb/B70FHqM=",
 "rows_format": "base64(zlib(csv)): header seed,QLX5,LO,HI; submission edges rounded to 6 decimals",
 "not_done": [
  "No gate (P, Q, T, F, G, E) was run, no replica run was made and nothing was submitted to the leaderboard.",
  "Only the two values of the map were tried (false, cnt==0); no other form of the switch and no stacking with other knobs (the map lists finds 2 and 9 as overlapping).",
  "128 seeds: se 0.009 to 0.013, enough to say neither variant gains +0.04, not to rank LO against QLX5 firmly (LO-QLX5 is 1.9 se).",
  "The arms were paired with QLX5 only, not with qt1 or LEAN."
 ]
}