{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, Gaussian filter, tables and exact-arithmetic tell that LEAN and QLX5 are built on. This item only moves one constant of QLX5 (A/1ef80bfb code_zb64.QLX5) and measures it on the engine; block driver A/764c9461, knob map c-map (A/f921f213), kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d, all built on Taylor's work.",
 "n": 6,
 "id": "rival_clip",
 "family": "rival clip and band widths",
 "find": "r=clip(r,mul(pe,997e15),divi(pe,997e15));",
 "lo": "r=clip(r,mul(pe,9985e14),divi(pe,9985e14));",
 "hi": "r=clip(r,mul(pe,9955e14),divi(pe,9955e14));",
 "seeds": {
  "first": 10203768,
  "last": 10203895,
  "n": 128,
  "unused": []
 },
 "arms": {
  "QLX5": {
   "mean_edge": 545.40122,
   "peak_gas": 207674,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "afterSwap_calls": 1425714,
   "mean_gas": 136503.0,
   "engine_seconds": 35.3
  },
  "LO": {
   "mean_edge": 542.615765,
   "peak_gas": 207909,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "f493c67a8961d487cbd1d943ee90c3644a6d837548ce68859201bd0451be414d",
   "source_chars": 47232,
   "runtime_sha256": "f88913d5b37367181c4a7816ab6e175450ff7cc8677da7d4a55c40f3864cdf45",
   "afterSwap_calls": 1306428,
   "mean_gas": 137508.5,
   "engine_seconds": 32.5
  },
  "HI": {
   "mean_edge": 545.378017,
   "peak_gas": 205919,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "5aaf48527343a5636a5f7e654be848378a1743b0aa263f0df5e57c96101db940",
   "source_chars": 47232,
   "runtime_sha256": "81be10d0edd425b6316f09c5f5979421f88b7757e18378b2d9c68d96a53f316c",
   "afterSwap_calls": 1430063,
   "mean_gas": 136417.3,
   "engine_seconds": 34.3
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -2.785455,
   "se": 0.094015,
   "sum_d": -356.53825,
   "sum_d2": 1136.804677,
   "seeds_positive": 0,
   "min": -5.19727,
   "max": -0.289578
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -0.023202,
   "se": 0.018374,
   "sum_d": -2.969895,
   "sum_d2": 5.557265,
   "seeds_positive": 55,
   "min": -0.676981,
   "max": 0.768202
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": 2.762253,
   "se": 0.097429,
   "sum_d": 353.568355,
   "sum_d2": 1130.9541,
   "seeds_positive": 128,
   "min": 0.154955,
   "max": 5.305895
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true
 },
 "reading": "On 128 fresh engine seeds the rival clip half-width of QLX5 (30 bps) is not improved by either side: LO (15 bps) loses 2.785 se 0.094 (LO-QLX5 = -2.7855, positive on 0 of 128 seeds) and HI (45 bps) is -0.0232 se 0.0184 (-1.3 standard errors, positive on 55 of 128), so this knob offers no gain and neither variant should be promoted.",
 "not_done": [
  "No gate (P, Q, T, F, G, E) was run and nothing was submitted; the arms were paired with QLX5 only, not with qt1.",
  "Only the two map values (9985e14, 9955e14) were tested; no value between 30 and 45 bps or above 45 bps was tried, and HI-QLX5 (se 0.018) does not exclude a difference of a few hundredths either way.",
  "Peaks, out-of-gas and revert counts come from these 128 seeds only (peak limit 245,000).",
  "No replica run; no seed outside 10203768..10203895 was simulated, each seed ran once per arm, none burnt, failed or partial.",
  "rows_zb64 edges are rounded to 6 decimals; mean_edge, mean_diff, se, sum_d, sum_d2, min and max are computed from unrounded edges and then rounded to 6 decimals."
 ],
 "method": {
  "build": "QLX5 = zlib/base64-decoded code_zb64.QLX5 of A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 (47230 characters, sha256 e183e5bc... checked); find asserted to occur exactly once; LO and HI are that source with find replaced by lo and by hi, nothing else changed; their sha256 equal the map's source_sha256_lo and source_sha256_hi.",
  "compile": "driver compile_arm: kit SolidityCompiler, pinned solc 0.8.24 (binary sha256 fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f), optimizer 200, viaIR, paris; QLX5 runtime sha256 equals the one A/1ef80bfb reports.",
  "engine": "benedictbrady/amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1 (native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14) as installed by the kit setup_fast.sh --platform linux-x86_64 at kit commit 45e7563d1a29ffca9d608fdf60c90bf2624d2d01; no smoke seed was run.",
  "driver": "driver_zb64 of A/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unedited: one invocation, --block 32, --lease 10203768 10203895, arms QLX5 then LO then HI inside each block, each alone against the 30 bps VanillaStrategy, workers 8; exit 0.",
  "blocks_complete": 4,
  "engine_seconds_total": 102.1,
  "failures": 0,
  "burnt": 0,
  "reverts": 0,
  "se": "sd of the paired differences with n-1, over sqrt(n); checked equal to the driver's own summary"
 },
 "rows_zb64": "eNpNmEuuBTUMROes5aqVj53YOwAJCTFjAbAC9i9xyn2Txyyvnm8+/lTZ/e8///z9+fP3v/zz+x+fX3/7pbfR5l7xWSOfWPtdxpNrDBuFZsuMeSzzs7Y9M8OWsZyPeY8v2gIT+1ru9lmez8ixw1nuZy33aS86PZcfy/5Z0x5bzsks2zP2aMsLHTpzH0tu1PqTsYPtPdmzDw4FHU8HzjiW8+Puz5yt82/3/nQbs5agvXnvx5IbtXz6sght70/O1VoW2lbOfd6+/WP4g2ta3ywXp/fNj4R62p73Reszwx9elmOw5MrdR0ShYbn2OJb749Yf39EWV568aAYOf9HWp11/xocDnvBsc7C0xznXe6Fcc/o9PT/W/fFYU/fsHc9v66vQsD7n8VK0j3ljo5VpH7P1RPDe8aLRuN6x7LxyPziYgLIcD4FoYxS6iFc/XsIfzr9zERf/eMeJc/TxouG72bln8OC9n5jpiiYJZJbTVqFuFqsdS6VaI8K2neXiyFy8o9AxnHgdS2K0iGbn2bx9LRIIw15oa/LJsSRGac+2jK5lBcG4stDV2fNkSOzPMu6ZFaNlk8D4WItlPI0EsTyWpG/ixOmbEC5tP8bS70FXEK9rSYwMf5C4uMGMx/XsvF0o3lz9WCYx2vnMMdrgcXs91pLbveg0XnosezmxO1kj13aKL5Jousp021wn6xRCLHdzw7WG5aTa3Qtd0WIefyYbNXJhkg3xIXN5+xwEodC1eeixZKN0KgZD3J14qYdStVCKO9ax5JyY3HNsn/WMhTtnFNrI2Xn3JBfwMa/Uj9ycF0ESL4odKXUs8THZvRqpQBWT89Nn9xfdre+bIck5K/A8pa4lP4Ji5irUx1w/XiKEEEdQ2N0rBXLz5Fbo7m6nOqKJjFSFbIprcqjMLL7o9tHjWCpGRJhgKVw6Mob5KHQR93n3HEXEk1BPLjLYaDTRiVCSxk8m42Qqu7Gn8aSPtaj0tyg0BnRyT+dyhrvxXMvXiRCM7mliMGr2WrLRnCryoFBEcAk9wp9C+XX8vIhoxCIa1DbPIIQjOX8U2pLI57GE6waMDimS1DjlIftCbhAaw8e11N1RiV7FA3WJvdtahbbsa9ixFE+jPM2oqRIH72jYelEqv33ZJjp3BzNuuUhKLNkw+ywUrp9jHUvdaD2bV8o10JY7RlYosY+8lhAxtTWoOHEyIbSFYM1CeXu2a6lzFHeYddXpe/L4KHSt1duJe4fg+saJiITSl9Lloj0KnbCNj2NJSSADXUHingSmdxjMCp255rxvX29JUAa4gcOe3kh0f1HS5LBNQJrSfDEhJUGp8e/WxL/Icp9k/X1RFLmTaSmxVfGhkKgpDkInmp9OIHqW6poj1rO0mEeu8Sq0DcjvZLLyKygeqHZ5MYNtlUehmfvHS4MYNWK0Bx5hKbbpqbeDopBI/bEkMF1JyW2dJUGg5IiHUCpv/Zw+q8jpDlLFZ2KGIKELpfZynxcNuA4Rar3r33RCTzr0GSU42SDdUx1QNvpAdnuQQPiv6ICTCqXHaieasNpCdZclMlXS4opMe1EMbzSVFhtWw30UuZadA63Vkh4rbhXTTok0WQ8ROdIyvTfLF0V64sR95AdpfeZuZChL0hePqedwKYrPdd4+374OQ0Sw+jqetqhtoVAU7cOx7MV/iEwXM8CK1tVeFDrbpmU6lqPyi9pqX4Kb/L3frKNL6X6iOZU1eI7WSgmIa8i/UgRX/xk/WUenSZwfqD2Hlg0ZQRp7oYTLbiZP8iv1SgpbyqV+CSdFiViozo7nKQmfNMfIDYWiJRK2v2iQi3bvKdoiLYar4tSDZcezVig8TxSOZVQXo9pBN6Ek+s/W+ovOSTbdPekZqGyoDguWPC7Rq5eToQj6h6+lqZ2idClxKEbyT8rNWC+qDDgxMnEdxQPpcU8VdIrMojh54oB+LSFNKgbB4EklLR7olxVKPSGix3IWr0DtUc21BNxrCOjqaZNW9lha0RZ7k0cs+ZFcG4XSPpmd2hQHyN1maq6NlrfzcrEqqNG9nj6EXKSyySWGES6ym8YaZGIUqry5WWe7NJ92sqmJp3TbVmIUSkOYN0MsqnhgIYULMYA4vARcJUUjc2aZUG3x65F7KAh0FzPgHCu0qSs4ezr/burglo70Rh3B8D4LJU/nmbmCHr/8gYg421MS8F2ur+/YKM6LVJBcjh5bqg17kdRpRSetvLzu6cSIuPNHF52gxewI7xWKt/y+SL0eZMQT5SV/uyBv9m0faOeP5+kfxeiDOmKkcx8iiY6Av+wPsV1LhbCrTxaZqbsQd88XZfy6nSo9BVWYmia2qcFUuFydgPpPKDFuLnnU5ehcRK+MD2xEkz/rnrSF+WOZtSdtRavSX0pfkVmhjR99O2q6c84JTVdtaknpOgnnhTL2woHHUs2cBkLmZh6MIozGb7xQDQbjRHOpPdXpCS9We5rZaoYFJbB+Oyvdnayh3qit2oi+QZQvFG1A1o+legYsm9WoRL/UKLjRC8V3CP+x5MGK5i5FMGSALnyoSy+UyJ5cko8hDkKNLUuNiaR7KxSoz+slHtw1EKI9/Igi79KBUSi50G7OLybgZCPyi7Tib3JpqB0rtEu2jyWJjvyryqTvDIRMWXKYV1OgyeJrqX489PVAEyHLKWHbyvmQTmRe3VRS0njB7a6uMjW8Ma74i5KU63hpiw7gKudeJKVjSe0XM9A2Tvj/vAg1M2b6yUHzbVNgnWJ/UObt/50uNeMZpJLiLgbDhYo7ZSotvj2DvjNwOUTVSo+Q+r5SpCu0jzsXx161JzNP65LQJc+7qhg0uOXtvfeu6Z/We+nKBAZl4GeF6tPGZe+tGIXm70QRmM1JSuYXf1ES/3y7YH8qG3f3XRLICIEmlfaAMvP7Ve2ahKgDErm/nYDmZxWKio8NLofEG2GSd7b3m8DmR9oTAW+Npvbkpz7WmGSVrPEv12nILRQeHVe56jsDPWkRKEtaEmhL/AkKmHEyOd6+TkOgJtNFo9B2Ec/Sp5HN9Y+lF0/z0xqfmus7A3xCzuueyOPJz/rOwCwzTIOaPi4gwKO8jMNIpX4td7XRiExJi8R25ehWKH1Yu32IvjOMLfbNWup0c30PAWVKa5frImtqYbZCkkrUuSXlVyjJMm/PoJGsIsyFiKa+XWienS/KyHY9z+XK83PVBzmp4aZBXS/aJODHclRrrjaj20vkdIP62NPUeyN45+0io6jakmugsUfyrooD1Yvmyc98P1hAxDBThQsn1ReerYql1zxeyneEoCt+/71F2Yx5hSYPtvHLf+dsIJc=",
 "rows_format": "base64(zlib(csv)): header seed,QLX5,LO,HI; one line a complete seed; submission edges rounded to 6 decimals"
}