{
 "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 (code_zb64.QLX5 of A/1ef80bfb) and measures it on the engine; all credit for the policy is Taylor's.",
 "n": 21,
 "id": "bound_syn",
 "family": "synced-table switches",
 "find": "{r=c;syn=true;}",
 "lo": "{r=c;syn=qx;}",
 "hi": "{r=c;syn=false;}",
 "meaning": "Whether setting r=c marks the callback synced: lo only on an exact split-test hit, hi never.",
 "seeds": {
  "first": 10205688,
  "last": 10205815,
  "n": 128,
  "unused": 0,
  "unused_list": [],
  "burnt": [],
  "blocks_complete": 4,
  "block_size": 32,
  "each_seed_run_once_per_arm": true
 },
 "arms": {
  "QLX5": {
   "mean_edge": 526.6158427940284,
   "peak_gas": 208104,
   "out_of_gas": 0,
   "runtime_bytes": 22440,
   "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
   "source_chars": 47230,
   "runtime_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "afterSwap_calls": 1391314,
   "afterSwap_ok": 1391314,
   "mean_gas": 136682.8,
   "callback_errors_either_pool": 0,
   "engine_seconds": 76.8
  },
  "LO": {
   "mean_edge": 526.609789868583,
   "peak_gas": 207633,
   "out_of_gas": 0,
   "runtime_bytes": 22439,
   "source_sha256": "f1563acf5d2e2159ecfac22102d75d46edafa181cead9a2ccc8b2f02534b64a9",
   "source_chars": 47228,
   "runtime_sha256": "d37af4db759521b3297b5ac9ffdf1e013e3dd1106db62c6ab515593645c18681",
   "afterSwap_calls": 1391204,
   "afterSwap_ok": 1391204,
   "mean_gas": 136651.0,
   "callback_errors_either_pool": 0,
   "engine_seconds": 70.8
  },
  "HI": {
   "mean_edge": 525.9544144016702,
   "peak_gas": 199280,
   "out_of_gas": 0,
   "runtime_bytes": 22441,
   "source_sha256": "5b15d6b9c3ad16cf82eb78fd8f2b1e500210ed46bd565777dfd5ae576b060cad",
   "source_chars": 47231,
   "runtime_sha256": "7ae937616dadb59f26838eeada8ea5b73bfe7a76b3e0d724cbdaef2e4b6bdeb0",
   "afterSwap_calls": 1378313,
   "afterSwap_ok": 1378313,
   "mean_gas": 131331.7,
   "callback_errors_either_pool": 0,
   "engine_seconds": 71.8
  }
 },
 "diffs": {
  "LO-QLX5": {
   "n": 128,
   "mean_diff": -0.006052925445377166,
   "se": 0.00816447649763959,
   "sum_d": -0.7747744570082773,
   "sum_d2": 1.0882930968924114,
   "seeds_positive": 60,
   "seeds_negative": 68,
   "seeds_equal": 0,
   "min": -0.38026969699325264,
   "max": 0.26220451783274257
  },
  "HI-QLX5": {
   "n": 128,
   "mean_diff": -0.6614283923581352,
   "se": 0.04208612065025354,
   "sum_d": -84.66283422184131,
   "sum_d2": 84.79170499119422,
   "seeds_positive": 7,
   "seeds_negative": 121,
   "seeds_equal": 0,
   "min": -1.980448945697617,
   "max": 0.4758479795586936
  },
  "HI-LO": {
   "n": 128,
   "mean_diff": -0.655375466912758,
   "se": 0.04384578937125069,
   "sum_d": -83.88805976483303,
   "sum_d2": 86.22957629706265,
   "seeds_positive": 12,
   "seeds_negative": 116,
   "seeds_equal": 0,
   "min": -2.0495931223874777,
   "max": 0.4237460513186875
  }
 },
 "pass_peak": {
  "LO": true,
  "HI": true
 },
 "blocks": [
  {
   "first": 10205688,
   "last": 10205719,
   "LO-QLX5": {
    "mean_diff": -0.009322,
    "se": 0.015612
   },
   "HI-QLX5": {
    "mean_diff": -0.768697,
    "se": 0.091888
   },
   "HI-LO": {
    "mean_diff": -0.759375,
    "se": 0.095138
   }
  },
  {
   "first": 10205720,
   "last": 10205751,
   "LO-QLX5": {
    "mean_diff": 0.001169,
    "se": 0.016107
   },
   "HI-QLX5": {
    "mean_diff": -0.64811,
    "se": 0.082569
   },
   "HI-LO": {
    "mean_diff": -0.649279,
    "se": 0.08486
   }
  },
  {
   "first": 10205752,
   "last": 10205783,
   "LO-QLX5": {
    "mean_diff": -0.021771,
    "se": 0.021001
   },
   "HI-QLX5": {
    "mean_diff": -0.603225,
    "se": 0.086073
   },
   "HI-LO": {
    "mean_diff": -0.581455,
    "se": 0.093326
   }
  },
  {
   "first": 10205784,
   "last": 10205815,
   "LO-QLX5": {
    "mean_diff": 0.005712,
    "se": 0.011562
   },
   "HI-QLX5": {
    "mean_diff": -0.625681,
    "se": 0.076346
   },
   "HI-LO": {
    "mean_diff": -0.631393,
    "se": 0.077436
   }
  }
 ],
 "reading": "On 128 fresh engine seeds, never marking the callback synced when r=c is set (HI) loses 0.661 (se 0.042, 121 of 128 seeds lower) against QLX5, and marking it only on an exact split-test hit (LO) is -0.0061 (se 0.0082), not distinguishable from QLX5, so neither setting of bound_syn approaches the +0.04 bar and QLX5's syn=true stays.",
 "limits": {
  "source_chars_max": 50000,
  "runtime_bytes_max": 24576,
  "peak_gas_max": 245000,
  "all_three_arms_within": true
 },
 "method": {
  "base": "QLX5 decoded from code_zb64.QLX5 (base64, zlib, utf-8) of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15; 47230 characters, sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 checked",
  "variants": "find asserted to occur exactly once in QLX5; LO and HI are QLX5 with that one occurrence replaced, nothing else changed; their source sha256 and runtime bytes equal the figures the c-map entry n=21 lists (map file sha256 f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e)",
  "compile": "driver compile_arm: kit SolidityCompiler, pinned solc 0.8.24, optimizer 200, viaIR, paris; QLX5 runtime sha256 equals the one A/1ef80bfb reports (903a0cf8...)",
  "engine": "amm-challenge@6b6921f8d463314aa7c96234e1be25a25245f704, amm_sim_rs 0.1.0.post1 (native sha256 ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14) as installed by setup_fast.sh --platform linux-x86_64 of the kit @45e7563d1a29ffca9d608fdf60c90bf2624d2d01; setup smoke not run, so no engine seed outside the lease was simulated",
  "driver": "driver_zb64 of https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42, sha256 d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282, unedited: each arm alone against the 30 bps VanillaStrategy, --block 32 --lease 10205688 10205815, QLX5 then LO then HI inside each block, workers 8; one command, exit 0, no burnt seed, no failed block; configs checked equal to the kit's on all 128 seeds",
  "engine_seconds": 219.4,
  "stats": "se = sd(paired differences, n-1)/sqrt(n); sum_d and sum_d2 are the sum and sum of squares of the unrounded paired differences; peak_gas = largest successful Submission afterSwap gas over all blocks; callback_errors_either_pool = oog+revert+other_halt+tx_error+bad_return over every callback of both pools (0 for every arm); pair statistics agree with the driver's own summary"
 },
 "not_done": [
  "No gate (P, Q, T, F, G, E) was run and nothing was submitted; this is a 128-seed screen of one knob.",
  "Arms were paired with QLX5 only, not with qt1 or LEAN.",
  "LO-QLX5 has se 0.0082: an effect below about 0.016 either way is not resolved by 128 seeds; no confirmation run on 1,024+ seeds was made (nothing here qualifies for one).",
  "afterSwap peaks come from 128 seeds only; a larger sample would raise them somewhat (all three are 36,000 or more under the limit).",
  "The knob was tested alone; no stacking with other knobs, and the replica (ammfast) was not used.",
  "Why HI loses (which table the unsynced state selects) was not traced in the source; the reading is the measured effect only."
 ],
 "rows_zb64": "eNpFmF2KLTcMhN+zlkMjW7Js7yCBCyFvWUCyguwf8pV83APzUPTotGX9lEr937///vP569ff4/Prz8/vf/zWrNvItT7Z5jPW3G4HztG34Hj2aGZxLfcnzJ7VPeeBM1e6H7hm7vW11K97PLPHHlFw2LQ2gP5s89nsWrYPhz0txt7rQA/vCVxPTJ8/7+yfEfH4wsU40GO4oD823K1fS/+MzGfx47jQ6yTg8D5zXMv4RLfHNs4D23522yt3QZxv+33n+Iy2HrPWIw/Epu8Dh+/xvjM/vv1ZoeMPzJx2ntp0i3kt5wejZwxiZwXTbHTBfLJZ+L6WhMaUjT5jHNh9BxGxeHINAnot8T31TpLoBWPH1j2BrXvbXz+n2Wf4eObG8MBFEnwW7LNFz2tJ5EanLFq2A6eNNfjRaDzd6+ed/RMj8XNnWwembSIv2IhSzmtJYlp7kuu2feAci4gI7u0UybXE9xHPDgJnBdfquFrQbRKsazk+xPxJJ3Sr4GiTtwKpJU4Pu5b5iTn0bIUduDBdBalTy/dGeBTUwrJOYgXJeurusR4PHO3Xkhyt/lhfU2UhSDybnhKl7Ty5lvx7b45MauhA740+HBs/yUdePxt9FHq2DJcFedSo74x8yNsY61oS4xjkPVr/wmhVVjQKidvztfzmKBcHHaguu0/J4fWzcQ7JjkE6s6CTayKS5L2H/WSzkSOjfGMZlgXVXLMg4ZzrvRE5GkSupY9ZsA+6vAEnzEBdve8k3GurXz1XwSQzeI8J92w057XEI7FFqoAL5gxrIh4cWbGtXUsynMRDHZMHDspoFHR8/rkROZo0T0YdKeijqflmynL2G0/61RfhbjTGPjAnNViQ2vd530lissVjEKhCC2ybOtdTf+YkGHEtORK2aAvSbQWN3udHFBTpan3cu3eeeX9UXtBzQUplCjY1NH/XkhxNf3xsE/EIQkzfp+Yw2M17H+Xcggr9+Lmp4RXHe4g0bzzhaU9qoXFhu3ArsWlEfvZ5897poz25hk81D7AxO6r8E1bcFu/pzKMcNTtWHkiS4CXBhL/GG0+4jhgHg8q+cHAwtLdgRbfx8hLOhfWnncsd2E2Uz+TanoyUaymuYsZtgmgHUpOacdQ8M4zXXstes4M2K0tBjrQzRpIiHTebrhwxIc3UPILQdFdigW7MxMt1TDOnulvADV6wt850AlJ1kze/fipHhDtXH+1A2312oD2twQ/v6fSRk2Eo5AubRsKoCqFHaZtriXNMCaKBTwdCtJqwzE0nVC8v+ao26/DKPs2Hm4wuIBxCb79V5yQmdCQuroJEYfL6iE4YVu+3kkXEvlEX3SmLgjtQHwUhG+J8LVU1ASdDiweK9NSbNArKBX1wLZUj2Dd56T5wqCcKEgN/+z1UNRM6kBIpGMlsWQVVfm+/R5xs4N3cBbmDHKl+h3byVrI8IhvMmKlkCyYUHwXxuMXNuyQFFAP36u6CuVx0ItgJ58ufcCoiAYLz4hCrskrJHMZIyv33RpBmalwheEZBeCO6ni6YARJ6o7RPdUMMkQWbk6U45Y+z79ysmZ/iqq6GBi5dg2IZyIeMePt9tGMJMxDPgovLeFnCOCNuNqmaQHS21VK9KegU2Hlq3sfbR+PkCNJyzThBaqkrR6U5kGHXUhmGCpmwXSUgglMN1NOQHLtRGhzJaEFXWSWb0EBRUgKrRv2Om/chTcot0QkQh+A2ePhAPKKprqXmnipR0/jANRfznaFEJa+8WlHaZMD99BEqu6DNWZqhIbJ4wVvJ38EGzwbDsuDU3K4Z59HnOzvSPsx41MVIRugXipemlJWtn3mUajM1JExMlJgdCDCquOBE9r3Z5N85eTagqlmQJDBkCxKGeP2EtugvaqmnOKQgl9csd+jE2ttxCqJBHNJt48BAY52nqIHdbpRSUxdpTjRh2oIOJZ+nfc/5cojEh0SSqWgLDrSaNHFM7QM/PJ+zzkH+Mc0OTAaGFDWWjZ+974TrOGdKZI8DVSuCS1X37h3sP59ExMMM8EpBhNIQJ6OoqUUWqK+lroHikJxXkwtaw7Qg7Txfnp/aWphRjbVoHJjSFPQRYYA4/J5e3I/vOvPscdSu2pQyoAA9/T0d4mDR2quJGQQZraF7AmkYs1vzZDicIEIb/KggkZHWFOxp7+zgRbFVFlPjTpCKlCOCo1HyN5szS72SFvjiQIpKmgPRCqXv9b5zVuuyNzWlEEib7Ti9jZbLt0LUr4SbCVckIUgKPGqTQv3/cIgW14DgRHZZ0NA5shRku3t5fiFoNnmrWjgQrmNuCiID9n4tG71VKqaPLKilmVFPwXBP4nQjD6uJsrWNfom8s0fNw94LKfiq38UzJiRDs/YjIPIvaxuRrst8NW3NEyUbQu8HSsytgijFeJWVOhtt0uhKyRxBFLtyxA6LYJnv7JDwQo9LQiE+vlBKF4kslY8mupbkiKK0RmZ2QerYtMMCu5jlvTseucZq+hfCSqbJ51rQ8eFOBIQsgxKmLLYpyJ4PkQuyguS7mW6rTwbm0hz1yWBLmxMlWHFKClwG2xJJUGFHTewD2TH1cQJWbBDbu03AAa49jHHmuyAJDO0tQBZDAnYt6SNHHENQbR+oMZMFufp6mUFTAuXeSFJYwW6MuHmeLiTze7py5BwJe9sXemosazjgd94Zp3UUtTW0svmBBLa3glBqvPum5L4m+RIFHQjx1MZnWpHH/cLDGvhBg1CzTJkD6aX8Pg15f2teQYReeZE+wRSEPcd5SgG8vbnsyGgiQ6UfyIoytaRCPFTnzaY0lEqN0rB2qg61pBup6vg3C9i1FKeqj5jKoyA0UwyoPXDBPPtaenF/wFXtQN8oHO3FVB1l0ee11L7YpbKzFsquNi1eQivCuXaVP8VP3kyzoz7BABmrts6Squ0/3xtpgSHGSGt9WwOi5JZId2jp/8nmslOzNETTvikZvXZ9alI2kQTjPX2dnR5G14ItyAyS4gGiG6iCa7mP3IfV7Kv82T3ru0/X/m/r5qjiQVFq0Tqs2DUQ9BTvc78TYekDEPsiXB26uyC1Iv2phZLI7teSbFS4m5ZUQQmStEP5KPv73WZJyE591mGB3AXVuLsXdP28X8uorxTkSEtmQc0wfQsaalOcuJbajxYyumm+FyQy/TsjoZgWv/0PuMEiSw==",
 "rows_format": "base64(zlib(csv)): header seed,QLX5,LO,HI; one line a seed; submission edges rounded to 6 decimals (statistics above use the unrounded values)"
}