{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: replica, Gaussian filter, posterior policy and qm tables. LEANBASE from A/efb8e653...; U1 QPL1 blob and qpl.py from A/a79a3606... and A/fd38823c...",
 "approach": "Replica-only. Decoded U1 (10,160-byte QPL1 blob from Strategy.sol) with qpl.py into q_u1.json (sha256 matches the d5645b6d prefix); qm_k1e-5.json matches the 5ff53e42 prefix. Ran LEANBASE (leanbase:Policy variant A, soft=1 a0=0.35 ainf=0.35) through run.run_policy, each arm alone vs its 30 bps rival, paired by seed. Measured the ceiling FULL minus U1 first, plus single-respect ablations (FULL with U1 quantisation; FULL with B tables mirrored from A as the decoder does). The ceiling came out under 0.005 on all 1,024 choose seeds, so per the brief the work stopped there: no candidate encoding was built or reported.",
 "ceiling": {
  "mean_diff": 0.00079,
  "se": 0.00606,
  "n": 1024,
  "min": -1.0076,
  "seeds": [
   64000,
   65023
  ]
 },
 "ceiling_by_256_block": [
  {
   "seeds": [
    64000,
    64255
   ],
   "mean_diff": 0.0036
  },
  {
   "seeds": [
    64256,
    64511
   ],
   "mean_diff": 0.0114
  },
  {
   "seeds": [
    64512,
    64767
   ],
   "mean_diff": -0.0074
  },
  {
   "seeds": [
    64768,
    65023
   ],
   "mean_diff": -0.0044
  }
 ],
 "choose": [
  {
   "arm": "FULL except quantisation (U1 qe step, rounded)",
   "mean_diff": 0.00591,
   "se": 0.01349,
   "n": 256,
   "min": -0.8682,
   "seeds": [
    64000,
    64255
   ],
   "note": "vs U1"
  },
  {
   "arm": "FULL except B mirrored from A (as the QPL1 decoder does; only 1c differs, max 0.71 bps)",
   "mean_diff": 0.00363,
   "se": 0.01253,
   "n": 256,
   "min": -0.7368,
   "seeds": [
    64000,
    64255
   ],
   "note": "vs U1; edges identical to FULL on these seeds"
  },
  {
   "arm": "per-axis knot ablations L, R, C",
   "note": "tables built (abl.py) but not run: the ceiling is below threshold, so no respect can recover >= 0.005"
  }
 ],
 "table_error_bps": {
  "note": "|U1-FULL| per entry, ask table A",
  "0c": {
   "mean": 0.627,
   "max": 23.89
  },
  "1s": {
   "mean": 0.783,
   "max": 61.83
  },
  "1c": {
   "mean": 0.602,
   "max": 21.7
  },
  "2s": {
   "mean": 0.787,
   "max": 48.92
  },
  "2c": {
   "mean": 0.714,
   "max": 34.97
  }
 },
 "frozen": {
  "ablation_builder": "d18ff87370cdab2d3f7ef9107aacc8216830540339e2a54f547be830d105e94a",
  "runner": "5a97b64b03c3b94ca8267a1a5a4f6d45b48da3b85320a99e1c1bba4a10e31802",
  "decoder_qpl_py": "eb46b9313cf35253e1e47607aaf81f219f29e0860d9dff911db6061baaac2d9a",
  "u1_blob": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
  "candidate_blob": null
 },
 "report": null,
 "cost": {
  "blob_bytes": 10160,
  "extra_blob_bytes": 0,
  "decoder_change": "none",
  "extra_runtime_bytes_estimate": 0,
  "extra_gas_estimate": 0,
  "room_needed": "none"
 },
 "advance": false,
 "stop_reason": "FULL minus U1 = 0.0008 (se 0.0061, n 1024) < 0.005: on Taylor's replica with LEANBASE, the U1 compression costs no measurable edge, and no refinement of U1 can gain >= 0.005 there. This conflicts with the goal's lever (2) (0.111 on the engine with a different base); that gap is not explained here.",
 "tables_zb64": null,
 "decoder_zb64": "eNrFGGtT4zjyr2i5omQFY+zw2NlkdHUJtRmqoCges/DBuCjHUYInjpxYMjBL8d+vW7ITJ2T2am6v6gJJ5FZ3q7vVz7ztxMPMm3/f6ZCdB/N3WohRqsnX+HuWF8SZ6FkylenkSTOXTFL9VA69JJ8drOAH8Wy2r9LZv44+Be345PBT+zAITtpHIjj2T+IkDg6DJD48Tg5//TT+7dAf/UYKoURcJE8HKs+exch7kL1hFus0l0SDOEJ1yOCPiwuymD1OA7F/TMRrIuaa5FIg7VwkGhCnQpJxkc/IHwFxrq8uAuZZDR5kOpvnhSbfVC5d9V09SPjw5rF+8lKpRKEd36UveTGlrFuhLubZgxxwpPCyPB45+VxIh4JqB7UUHm5SxrpXHLCBXaFEhYa8DsrAG6aSurQYUuYVApgw9iAv7/lhO+je+zw48btn/Njzuy88dNL9e5+1zsgYrJySVJIilhPhXN6z6EGOxJhkqXSe40y5565kHUL+QVQ8m2eCxJpMZa4VOXcRCUwJ5FoUc6JzIsk8hyfQmcArLzUPI7vGg15XBwFPC8dXbFRS81g65+4r65bced0/D+OIHTjwtRdE9qkLDL14DkqPjGwhQqOWE+yXbK8GAHbUKpnlXghdFhIFsVrFxcyZpnJUn37N36adQTiNjHxTlG/wvhJYp66OJwgVspyJItbCQVG/9r7cNhXQ/Cqk4DyKRqFOo26PD0Lao3tAHHXlLc/gmnqsKxO7Cv0I/tmK/gsPw7AXZlGYRuG3aP8Fvo0A3xoWS1i07boMLGvg3bJoxTkdE9SXc3pBO/YcvNnwy/KwbfSuDgE/cmEdXvycJBf/WZIb2jBdbep1CTYQ8JXkmeJbhd8QA4W/AeFhvU3yj5yRHRgGDwCWP2H6bcqdVmZGQSs5UaBTtGbC/s4FXm+abcHbnt9qAfeFoFHXXG6RlxgcBwvWWhjGz4axPQQjlSi7Vrj+0jio117Rrwy8h67onrD/jTdeL6OC99ofdPyF06kQ8z5YEBD7FSLK9BJ2OvtBpUT+gux7bZTRgP/i0Cr+rx/kMr4xGcfF5DkMOlHHJGlvVM7mjkkNzF1lXqgFj7vK5t3dKaRsigl1xyU7gKr+/1WrVPFEdEglDOY4IytROoaSUhWzwH61ied5hDgXv/cu+73b30k+x4KniMrHmgck9rnvHR6TOJVjs3Kh/HFDyjbKGtjPNaUtV65OZ2JbecuVNxE6ecEaVNe4opQPEoR0le9KvrqFyIWC4Syf2xFbBxxC3ldCjBTPUqUde8PAQ/l7Ei8EDLNZOOEUxtCr8kow8QqkysCJyJQgb+/WI/RwzSWOwCWs42iOunn44bAu+JzioIAH78d5nqXJd4dmIpbDWInOlQFQ942iNWkncOliRjv14VAW8NvRQ+bS2KcdY1+Kprbrd9fox1Z1xwQqHtrBe/eU0FC84jLTwMR9e2eh0oVThBTpaMQiDmsxmkAWsDzmBZoQcLHcIB/m2sBuKLWv3YC546xUT/xrUcI9y1UwwKlubcqm55vWwzh+s8khM9DPBccrykS7xPQ8WCIJJyH1E+oSGijzadZts24nKK0ty7abGWb5sM78OdL6BgEfEakYOeOZbpaGZ0Cyh3qlnMfJ9BE7Mod+pmSPAK5LkKVL8vVqi49kb0maxFmi0j/Fiq6BWyWQZwuJFTq44Rp2jiLCORlSbP5oJTVy5uTIPskXl7z4LgHTQKRxVICenfX7tOKP9rE+DRu7oz4lu4DIql3ZrkgA31gCgffti3WiJ0PUronGoK2EsK1Jl2dhc4ImbXRjj42ECdtNwy4EsMngXcA7qZgN+yt2Ncu6GxuliXYWgiPhBf+gVMYgEd404WcGXiD89CN+whhrhINGSfG4hoh3DW2WGpkaYHuXjVp5l23gL2mKiubmAw2+MMAr/Z8a99B8jar93dEQhXcw5mzFZ2SfBIx9JMEaBuIg8y0Ml63yaItAFXlteKyNWBn3yOuWc+6yBt7G/l29dZc1LzWkdxR9+G7N461jg+eBbiZM18qruX2YNNDhYdJAnz/jY8jH2nmCC77loX1QbNV63EYuuWxz2XbRqTm8XTLoc3RgvGmsPZgRbX6oRgPQsbJIDBL6dvnylOJUQj4b4c7R5m0SyxGBWQDMArb5zMlrc9rA2A/WFIjrg+wk8xhDvcDzllMKpMGN6PnhLIM5aSluI+msRhcndonzCnKaoYYcEGcpagVjW8aXyhJlMY4T4UBuu7zH4MwxTJcN8wJOh6aQtFqkagstHKPFXq19TjEcmspWDT+yqjCKjxjYVcOxNUbyEePU8AChKpzBhtV+2OWDSUpkl0FXt4JeIXno3IFNwiIKk4i0iBOAlUoG9rqrrLbcAmiL2LY3WR3UiEfW6IPXNm/sJrQMpW0QwnDt0L/BtFFLoBBvyVrrHfRGyEM4jNEuBbTh6zs3EGU3Aew5V+EQrA6fxhobYV6lmi2Zb62bhxvbNnNB+4qnJzAJfNzF8uvc+I1rGeO13AQWMmY1eIJgg2m9fBO7hhqKydZ0uRz78Y6eyT+JD15ubgoWH1VW2/PeoAFW6zE2qCNsJJJ8tN6MoBs2WhQLvLwHKIz9l/d1UElT0OHuAXpL64sw5ndS0BfA9z5WhRYuz+hfzJTXQPQGTDrE8lr/TYI4MBlBnmTrv0z8mc4dbLvQF6pfI1jzVvGWMT/Y8wd9imUjQIPqFJN7ZVDUqU0b941B/KO805gfTaxWA+RgNaHvETNCkm0zJHjdfztFAl8cD+HQ3tpOv7Hzo9Hx5ybHnfd/AzFsBXs=",
 "decoder_zb64_note": "No candidate decoder exists; contains the ablation builder abl.py, the arm runner arms.py and the unchanged qpl.py used.",
 "seeds_used": {
  "choose": [
   64000,
   65023
  ],
  "report": "none (10000..12047 untouched)"
 },
 "not_done": [
  "No CAND encoding built; report on 10000..12047 not run (stop rule: ceiling < 0.005).",
  "Per-axis grid ablations (L,R,C) built but not measured.",
  "No engine (fresh-seed) measurement; lever (2)'s 0.111 was not reproduced on the replica."
 ]
}