{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved. The solved policy, filter, tables and exact-arithmetic tell are Taylor's; QLX5 (A/1ef80bfb), its exact port qlxcore.py (A/60dc237f) and the audit (A/362fb97f) are IdentityMD work built on it; kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.",
 "item": "fee-offset-fine",
 "batch": "c3-search-b",
 "where": "replica_choose",
 "gain_vs_base": -0.0007490408939245796,
 "se": 0.011899730807775387,
 "n": 128,
 "seeds": [
  64000,
  64127
 ],
 "gain_note": "No setting was selected. The headline is the highest of the four cumulative paired means at the stop, B=-100000000000000000 (-0.10 bps): QLX5+offset minus unchanged QLX5 on the exact replica, 128 choosing seeds 64000..64127, unrounded edges. All four settings are in choosing.settings.",
 "advance": false,
 "advance_reason": "All four settings met the futility rule (cumulative mean + 2 se < 0.03) after the first 128-seed choosing round, so none completed choosing, nothing was frozen and, as the brief says, no report run was made. The baseline smoke passed.",
 "source_sha256": "edc8c593fc73fc50ae398ead0b0247fcf11f1f84c99aedeb96783914b1deaa70",
 "source_hash_scope": "SHA256 of qlxcore_fo.py, the measured policy file: qlxcore.py of A/60dc237f plus policy_patch.unified_diff (knob fee_off). Baseline arm: qlxcore.py unchanged.",
 "selected": null,
 "selected_parameters": null,
 "selection": {
  "rule": "highest completed choosing mean (1,024 seeds), grid order on ties",
  "survivors": [],
  "selected": null,
  "note": "no setting completed choosing"
 },
 "hashes": {
  "qlx5_sol": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "qlxcore_py_baseline": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
  "qlxcore_fo_py_measured": "edc8c593fc73fc50ae398ead0b0247fcf11f1f84c99aedeb96783914b1deaa70",
  "enginecore_f_py": "60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd",
  "qlx_tables_json": "8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6",
  "qpl1_blob": "830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099",
  "port_bundle_tar": "0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3",
  "audit_payload_tar": "c9d5f89540cbcb02096c74f12e797d2f225b43adeb6002b24594dedf9b1d9ef5",
  "mktables_py": "2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a",
  "kit_score_py": "7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43",
  "engine_wheel_so_installed_not_run": "ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14",
  "fo_patch": "a0c0f7d06052098c6e5453a38dccc7a4ebf3682116a245d3ecf3b6c45649df95",
  "code_tar": "d48add2ee20a971d1e283951317f91be5da9865deefeafb3586dd4f34cdb425e",
  "choosing_rows_raw": "4efafe93ecd350b2fc797023e5fe089dacd9ac11c043a2051680f74872e455ce"
 },
 "grid": {
  "parameter": "fee_off (B)",
  "unit": "bps * 1e18, added to xb and xa after the table lookup and before the fee conversion; guard unchanged; every other knob at its QLX5 default",
  "values": [
   -100000000000000000,
   -50000000000000000,
   50000000000000000,
   100000000000000000
  ],
  "order": "as listed (tie order)"
 },
 "rule": {
  "pairing": "each setting against unchanged QLX5 (qlxcore.py) on the same seeds, same enginecore_f.py, same tables",
  "round_size": 128,
  "workers": 8,
  "statistics": "kit score.py summarize(): mean of paired differences, se = stdev(n-1)/sqrt(n); recomputed independently in final.py (agree to 1e-12)",
  "stop": "a setting stops when cumulative mean + 2 se < 0.03 (overrides the kit loop's mean + 3 se < 0)",
  "choose_seeds": [
   64000,
   65023
  ],
  "report_seeds": [
   10000,
   12047
  ],
  "work_cap_s": 2700
 },
 "baseline_smoke": {
  "passed": true,
  "what": "four unrounded rows of the audit payload (b2r3/runs/per_seed_512.csv of A/362fb97f, columns engine_hex and port_hex) reproduced bit for bit before searching, by qlxcore.py and by qlxcore_fo.py with fee_off=0; callback counts equal too",
  "rows": [
   {
    "seed": 10010512,
    "audit_engine_edge_unrounded": "606.1300985640944",
    "audit_engine_hex": "4082f10a711db056",
    "qlxcore_hex": "4082f10a711db056",
    "qlxcore_fo_B0_hex": "4082f10a711db056",
    "calls": 12227,
    "audit_port_calls": 12227,
    "bit_identical": true
   },
   {
    "seed": 10010513,
    "audit_engine_edge_unrounded": "482.77829524211705",
    "audit_engine_hex": "407e2c73e5b63867",
    "qlxcore_hex": "407e2c73e5b63867",
    "qlxcore_fo_B0_hex": "407e2c73e5b63867",
    "calls": 9988,
    "audit_port_calls": 9988,
    "bit_identical": true
   },
   {
    "seed": 10010514,
    "audit_engine_edge_unrounded": "404.7966542836623",
    "audit_engine_hex": "40794cbf188fe8c4",
    "qlxcore_hex": "40794cbf188fe8c4",
    "qlxcore_fo_B0_hex": "40794cbf188fe8c4",
    "calls": 9532,
    "audit_port_calls": 9532,
    "bit_identical": true
   },
   {
    "seed": 10010515,
    "audit_engine_edge_unrounded": "450.2556494695746",
    "audit_engine_hex": "407c241723e5f101",
    "qlxcore_hex": "407c241723e5f101",
    "qlxcore_fo_B0_hex": "407c241723e5f101",
    "calls": 10484,
    "audit_port_calls": 10484,
    "bit_identical": true
   }
  ],
  "knob_live": {
   "seed": 10010512,
   "B": 100000000000000000,
   "edge_hex": "4082efca4127d186",
   "calls": 12206,
   "differs_from_base": true,
   "note": "audit seed, not a choosing or report seed; only shows that fee_off changes the run"
  },
  "utc": "2026-11-11T01:14:48Z"
 },
 "choosing": {
  "seeds_leased": [
   64000,
   65023
  ],
  "seeds_run": [
   64000,
   64127
  ],
  "rounds_run": 1,
  "rounds_possible": 8,
  "runs": 640,
  "status": "all four settings stopped in round 1",
  "baseline_mean_edge": 534.9978274476013,
  "settings": [
   {
    "B": -100000000000000000,
    "B_string": "-100000000000000000",
    "B_bps": -0.1,
    "config": {
     "fee_off": -100000000000000000
    },
    "rounds_completed": 1,
    "status": "stopped",
    "stop_round": 1,
    "stop_reason": "cumulative mean + 2 se < 0.03 after round 1",
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "mean_diff": -0.0007490408939245796,
    "se": 0.011899730807775387,
    "mean_plus_2se": 0.023050420721626195,
    "t": -0.06294603684943442,
    "sum_d": -0.09587723442234619,
    "sum_d2": 2.301979828613843,
    "mean_base": 534.9978274476013,
    "mean_cand": 534.9970784067074,
    "seeds_positive": 62,
    "min": -0.38978933495889123,
    "max": 0.40183020221138577,
    "worst5": [
     {
      "seed": 64056,
      "diff": -0.38978933495889123
     },
     {
      "seed": 64077,
      "diff": -0.3226300391683026
     },
     {
      "seed": 64126,
      "diff": -0.3022280599497549
     },
     {
      "seed": 64021,
      "diff": -0.2822297544629464
     },
     {
      "seed": 64018,
      "diff": -0.2286166773816376
     }
    ],
    "kit_default_rule_mean_plus_3se": 0.034950151529401584,
    "kit_default_rule_would_stop": false
   },
   {
    "B": -50000000000000000,
    "B_string": "-50000000000000000",
    "B_bps": -0.05,
    "config": {
     "fee_off": -50000000000000000
    },
    "rounds_completed": 1,
    "status": "stopped",
    "stop_round": 1,
    "stop_reason": "cumulative mean + 2 se < 0.03 after round 1",
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "mean_diff": -0.0023904334716124964,
    "se": 0.01021850740681711,
    "mean_plus_2se": 0.018046581342021722,
    "t": -0.23393176483071862,
    "sum_d": -0.30597548436639954,
    "sum_d2": 1.698148692777674,
    "mean_base": 534.9978274476013,
    "mean_cand": 534.9954370141297,
    "seeds_positive": 58,
    "min": -0.25904024444270135,
    "max": 0.2813741012157607,
    "worst5": [
     {
      "seed": 64078,
      "diff": -0.25904024444270135
     },
     {
      "seed": 64060,
      "diff": -0.2526981015199681
     },
     {
      "seed": 64031,
      "diff": -0.24785725531796743
     },
     {
      "seed": 64056,
      "diff": -0.23438786500435072
     },
     {
      "seed": 64009,
      "diff": -0.23102204903204893
     }
    ],
    "kit_default_rule_mean_plus_3se": 0.028265088748838832,
    "kit_default_rule_would_stop": false
   },
   {
    "B": 50000000000000000,
    "B_string": "50000000000000000",
    "B_bps": 0.05,
    "config": {
     "fee_off": 50000000000000000
    },
    "rounds_completed": 1,
    "status": "stopped",
    "stop_round": 1,
    "stop_reason": "cumulative mean + 2 se < 0.03 after round 1",
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "mean_diff": -0.02730610924315746,
    "se": 0.008503977831966792,
    "mean_plus_2se": -0.010298153579223878,
    "t": -3.2109807648501514,
    "sum_d": -3.495181983124155,
    "sum_d2": 1.2710353600966713,
    "mean_base": 534.9978274476013,
    "mean_cand": 534.9705213383581,
    "seeds_positive": 47,
    "min": -0.3816702350080732,
    "max": 0.2658962860404017,
    "worst5": [
     {
      "seed": 64031,
      "diff": -0.3816702350080732
     },
     {
      "seed": 64041,
      "diff": -0.31156085659335986
     },
     {
      "seed": 64052,
      "diff": -0.2847416088908403
     },
     {
      "seed": 64021,
      "diff": -0.24159659966693425
     },
     {
      "seed": 64008,
      "diff": -0.24105520879720643
     }
    ],
    "kit_default_rule_mean_plus_3se": -0.0017941757472570846,
    "kit_default_rule_would_stop": true
   },
   {
    "B": 100000000000000000,
    "B_string": "100000000000000000",
    "B_bps": 0.1,
    "config": {
     "fee_off": 100000000000000000
    },
    "rounds_completed": 1,
    "status": "stopped",
    "stop_round": 1,
    "stop_reason": "cumulative mean + 2 se < 0.03 after round 1",
    "n": 128,
    "seeds": [
     64000,
     64127
    ],
    "mean_diff": -0.04248727850195566,
    "se": 0.011285169264307133,
    "mean_plus_2se": -0.019916939973341395,
    "t": -3.7648773808236027,
    "sum_d": -5.438371648250325,
    "sum_d2": 2.30134522760431,
    "mean_base": 534.9978274476013,
    "mean_cand": 534.9553401690994,
    "seeds_positive": 47,
    "min": -0.5141535742346832,
    "max": 0.2723297292997131,
    "worst5": [
     {
      "seed": 64021,
      "diff": -0.5141535742346832
     },
     {
      "seed": 64025,
      "diff": -0.5016829369194511
     },
     {
      "seed": 64023,
      "diff": -0.342259996530629
     },
     {
      "seed": 64041,
      "diff": -0.3166544565943923
     },
     {
      "seed": 64031,
      "diff": -0.24882076608548687
     }
    ],
    "kit_default_rule_mean_plus_3se": -0.008631770709034259,
    "kit_default_rule_would_stop": true
   }
  ]
 },
 "freeze": {
  "written": false,
  "record": null,
  "note": "A freeze record is written only for a surviving setting, before any report seed; none survived. The driver (fo.py) refuses the report phase without it."
 },
 "report": {
  "run": false,
  "seeds": [
   10000,
   12047
  ],
  "runs_on_report_seeds": 0,
  "pairs_zb64": null,
  "note": "Report seeds 10000..12047 were never opened: no run of any arm on any of them. There are therefore no report pairs; the unrounded choosing rows are given instead."
 },
 "choosing_rows_zb64": "eNoV1/cj1f0bx3FZZRRStISsopQRKnGJQiEqUVpmZe/OPudzzjFSQjSkk5mRcSIhI7fkrhQlSkWJIrLvspXv9f0Hzg/nnMf7+booF5czzRRoQPyy3li4QAFe4L0VwvpcmNEiEyXxLKjND7JT2kaAplmtiWwwAQOLu09e1SbDPDhJNF9jQ2qNgOdxWgRMj9HT6WZs8KnMfB/JIWDXNd5CnhYL3hjfWn3Plw1SJbfKPdlkqDVOSG+nM0F+nVfbwy00ONpy10CjjAJpKX/CsnbTwYHUIx3TQUAxESyn1kOCvfMH+Uo9HIiWiemhXGBC0GqGVlIzAQflul2NdkTB26OuFFFfCpSt3jHptpmAz8M+bxXhArzvz7Rfc4cKkYe6NVf40QDsZc03GREwZqe2z0+IDY0V4il+zRxIPapUHqtGhjdDD+qEzxDw4tfA/oIkLoj65lZ+KWKDOF1U47suDZzv3HEJ5TPhhqfQLOVHOOxaNb5x2p0Fd91L5j7vDoeT611djq3igI6n0cWiV2wQU/TS+OHBAHDucinWZwDNQ2AFP50FKYtIa9seU2G74sF1qvIsSPimFrpHjAuHR9vdtarYcMBURPqmNB2yu0P18yZJMJLx8/LVpVEw1R3oJSMVBa1y9Q0LSVRo0noW1dzNBLXe56YirzkwlVs59GGOBZ7JXeudZgiQ5Bfzmwe5UMsdHM6ZYcOWRFsjy9scWPBtqY2MjgRhEe6LiIcsMJooDal4FwW3fqvsfNfAgnU1b/XemLCgiGH+hVZFQM9Tr5CZSiZwZPgm5Fgu5LTQMtpkWHD9Kd9fz5cLl845DO00YMEG74jgGzp0CH+Zsjw2gwGclyEp7sF0aHSKf07WpcKhuV+XLj/gwugmvSuLz1Lh2rUNTeMEGaiyQ4ujFUmgedidYx/KhHcTvwujBykwnMOrLqcRYHvzDmtYgAO7HnifYPhzYCKrLmyCyoCAqnitXjYHJh+OrOjS5kJDx27PoEUEMEcFUh8uj4BJqnKydC4bfpRdTr9twgUieX5jcD8HpAyCuT2BLGAa5fxZ/YAAvjq/g0eiQ+8R2ULaaRbEq2rebz9GBcNnm6OVt0VAS0XGk+CtZNjyaExEK4wCETJPv1PEybDsaFxj4gYC9lTdpPaEssGs015VaS0DqNSxMoUcAlIzXtjad7BhZ9hQSmszGQLo9V1GNAaolUhJDu3iwNVjlk+CVxAgm/lRc/onGfh9B18lKLNgu3O/qSZ+zuO1NVZ5/lyY8xH/3TNHh8HIa6v0fjLgQrVf68kANrT2vN7znzENrlDWasZOUiHCpiJS+hsTNCRnt11s5EDznU2pRyj4+/dSLbzoNGj4dWy7M58Bhrb9sdPnKTC/VWxvThY6MH95hLWOBhEnf6TPzVNAboYcflWPC48Uyo0dE1gQHDd3lqeDLnzNboeFEnB8rIyqg/49UhtekK+zgeT1RvhfSgRclUkI2riHDWdavPU6Igg4164tWI7+hRRGGuL82GBT6JSuEUmGGttIh3YqE2xM/ZZob6bBP1JL2lMrKHC373AnBf0PBf/oePiRgMtvgmPSvpGgbZ5BWvjGAfYuna7JYCa8r1PYX/+aAEGrTSL1hlGQUMzbsQz9d1/X4xNaBLRnD54M2n0BjFctN3BIpUJL2snkZB8aMAJcJ60N0b/Qo1ZJYTbs0uzvq23iQPuYSXrDBjLoDuS7HXUl4HC1wOHH6D947KyiayEb/OslUwu202CNUFLAi0ImvG1QYpH6w4FPq46bQP/XGLPJi0zCwUlc3lZNngMuFktaa1+y4TPj6f1iLwbsc3hudMCQASaHrmi9TmPBlhN1il01VLi81+rHVfT/Rdux4L/FXLAQv3iu+xEb9jX22d1A/0orJ8rOov8Yn5seFMkosFTfYum2LAqunDHZEn2NCkdW5y+N72LCoYmBib6XHGh6IDu7ap4FJ+qV5baj//3G76cB/X9PuX9nfpoNFPKnLHceB8rM2jX90f/1b8pb96P/mpN6xjz0Px8rvyzwGQvcos/eb9vNggbG7XrJGgJq5TJjch8xQaTV71Yq+rddEhbyQpoFwt/KOoPQ/5mTkr/l0P+afEdf3jY6jJOkOtjoP8vSpnIsgA7vF0TE8nSo0K7S+2rqPhcuVEUMkTypYHfoia4UhwxPWkLG1qH/P8ptql4hTLB6PUPLG6XAFG/5X3c6Aerf5Q7fEeSAkI315mo/DiwtkhO5h/5n9JSsLDgcIPzZ1EH0L2j8+pGWIAGJu/xTEtE/f/e2jVZ5bLjwbI4nYMqFP9tAue8HB/6WXrnYFMSCdoFzY/ZlBJhP8lS2UOlw4bqVayr65/Hy9nk5UcH/N+eY4dYION11Xy9pCxnK3ncHWKF/Vr7VHlP0/yTvlOFmFQKCg60nM8PYENtc7peAbgVLS2P3ZhNwxCDjaMAnNpinZq9Nf02GYQ/Lsi4GA4rVj6RqoX8/M0/7SjkCmuYu6P0eJkNF4YJJGfr/ed+z/D1+DvO5keWWAC6ofU799OQvHcQtGtMt0L+P5aSeWiC+K9byZzbupoEaz1bhLfpnrJf1uIg9uCF4+sMJ9F+0KW13Lvq/vthTNZdGA90N+SpP0H+0QUvaBk8K1MaSdiWg/70R0kIz6L/ktYnEtr8UUN8fu+M8+reT9j5Yh/7f9YoInMD+3zxtzV/A/qebKWw9jf4VnhiwV6F//bu0477UCPjjdZaZZcqGVfSIMT30f57/YF4F/TsurS54iv03dsq6wEX/HxfKfc6gf8mXfhLrsf+XM0TefUf/P74rhseh/+LTdWIanwjQvvHlwNNeEmRHalvvR/+O42f1c8OYADJ6s05vCBhJz+jcYRQFQ6b9C7fQf3JwcUSPJgHxJZlCP9D/WMbQzsYUKmyxc9TSRf909asOvjtwH8zYHm/E/odKhP0NesUB96+nuK/Qv5STDGkJ9n/zkxXN04lc0Gwv2xCA/ScEZ2c09Wlg6NO2vx77/2/3yWcK2H9fwcvJeeh/RPrTiUnjcAhy616Ri/6rGEzmJ+x/R5ZtYLUnA36bjiiqGjAgZq077yv6D1X2N0mupcIvGRkHH/Qvf+Zq4+kl+P/s5N0bqsTfwyVj0EuGDk3auj9zJkjwdIVGwwn0f5P8K4KE/q0mj7M/of/z9QED8V+ZMKktvkMN37Hny/qWBmH/7ZxLN3VME9D/jqFWj/79w4+ezZhig1NnTHs2+j8jIFjsFxMJFVZnP0yWsiDRuObd57Yo6L25pOIQ+r/7aYO6EPY/UvWYhhf6NygtcW2pRv+7Va6tv8KFZq26VdXY/2JyjZ0Q+udIce1l0b/LbfOYt+g/9W2gUW46A/7r/Fq8J5AOLmJ7v3C3UeFYYphNJvbfQrQlsseNCmkyc9nx2H8uJf51iBIJxop97KrQ/6Lc8SuA/tUXc+wI7L+dYViN4iIOpGu0UFWw/9NWFkeksKOBoU7j89j/tqKkZ4JbuXCPHt2tif6fb1WqqUH/C7lrHjXlsCE47PmB1ej/U5Cx/if0z7z00fQO+qdoSWnXlRCw/dy4Q/wFOpgPJMRnov+ox5pXQ9H/d1XZqQzsf7m7uPVi/L/7kOSyU9C/T1j/fDv6z/OtUM5B/+IbRb5w0f+eG6OP5NDt8/+cN368S8BT/S76Uuy/t5sOzRv9d3TydCfRv42+Wek79P91xEnoAfrX/bMtay/6tzooJvr//r8pDCttX8MAi7D9z5cH4vf7XLFs8wIdCnpMVSuGGJAm4emhhP2fUzTa52dCg3OVmR1zE1TovG1TSEP//t+8UnxfcOCuyx1DX/RfbenYOI79r97Y52JznwF/7lOWv8L+0/feO2+O/uVzTg09XE+DgGsa4zYC+C4fNzrBQv/FvSES/8SxoOvqjHwY9r8tx5tXGkSA0q/W7pjNZPg3LmV1VRIb1h7ILvPF/geeseV74v73M56qWMkloNJ44VGJJgu+7hemCmD/m2gybdno/1zD/eBqGhMiSx2dq7D/D67UlUg8pID54ZwYjjEdvhm+qpLE/d8SdV0x+isJinS2t0+i/x35qnY8/H8M0xM7I3D/RyndskjG/c93sEjq96GAxiwvwwH3v0qBR8Go6QWYEte/9/M2FYSXHSIK0f/ysqzH6tj/n17BXgrYf6nRn+OnsZuMDRHDvqrYf03LP+GnCTCiGQqoYf//RBvEUdD/fQW5RAf0P7BzWcAI+je5Yf6hHP17D1pvTkT/dh2ppaHof+2bJ5YdKzlwRy93uq6JDYfaUi90uTNgffA/mbm6DKj6lOjER/8iaeNnnNF/Y7Rj1agcC5S+/1pg4P4vzk4pEUT/6R/XeDVK0SGxuXzKZIoEE2/tvA5IRIFz27NL/9//C+V1pCHc/05Hr+h8QP+fk/SJQ7j/T5lavzyM/v8Yh9zbMkuAtGYMMf0Td9zqzxrTuP//eky00nD/dxS7RFhdjAQJr77tTOy/EHfidiX2P7OkOJGJ+1+6KokoQP/kqauc9GoC0rq6KVK4/xenqTbdwf6rzvISotD/Kh+Xs5fR//bR/vmM7SwY2/1qdAr9X0rKH4pB/3bftAYSguhgnVq0qBD737jBrs8G/T9uX/KXhv1/osrf+JJJBjGKveZi9M++Tf5wCvc/RfUVow73/1ei0qWeSoClUY8nCf1fytyl347+HxnMFMVRGOBonKHGwv6HDFhO2mL/NxtnNjzB/T/baMRZQP+mAa0PtNA/2Uze/inu/4y0Tb9lBzjQnT50Yhr3/zr5nJStuP/XBXSTv6P//PcB2y3Q/6PNcyc4R6mwcu8qsTDsv4hD5TVJ3P9yzBPDsiEUcNSI7Xgvhh1TW81RRf9eSY9IB3D//xVM+ZiJ/kPvfdT6jPufCAtX7ML+Kw5NXU7D/c+00r3lh+/WL3/nojb0f8j2aH3nStw3bteHIwfJsDLeVuc9+l926PxwOvoPqqe4snD/z8svT62cpwNJlVihjv3PFyaqPvhj/4+b2fTuokGtSPNPfex/zpWjuyVw/6u1v3Fywv6PZ3/g9pK4sOzU0q46Jg0KpjsF9hUxQD1bQLLrHAU8RZVvcjLZsGxref4vvP//XX0mRgj9E77Rbu3o376vP0kQ7/90DyUjZV0ChFgK3uIhBFjoNOR8Qf9npeQtddC/b5b50Cj2314iRNQV2EBLvFNwFO//Y99G8gex/93+1W+zsf869SLadejfTMD57Tnsv6xE7RUvLRqszps8f/4BBeIuVTT1on/y6M5Jg04CvLMnfTd1k8A8LkDCHO9/7Z+BAxDAhK7RMskZ9M+fkgmgGkTBZecPMZnon6TczTm9EftfeqDkNvofuveJ+g37fy5AaudnvP/NLk+WO6L/uoFV8eboP6HFRiQQ+694WNMlVYUMrff6jcKw/62BV737sf8+sSZTgP7THW/0qKP/vA/pvVtLmODGZM9WfAsH4yGbgq/ov9LbTXiJaThUeJh+fIP+i9afNLTB/ut32P2+gf6zb4up7MT7v9VUPF0D7/8TXH7qON7/O/susZ6h/59rs1a7Yv+lf3TGeeL93xHzOW85+t+XTe36iPu/SF7EyBrvf55sQGkh+id5OLjQsf8qveI6RvjeW7e6Qgj2H/r5uUqzLCiYvyS7CPe/eqKLTyH6H1i+Q6Ad/Wtdr7aYxv5Pzv116kT/Zv0T+4zQf3LxtRfe7VEgnxstH/8vC2iC+zRF0X+1xpquJvQvRuFo7KhgAss8MIaH/g+dDXhZi/7V69eouaJ/A3YGNRr97187GHsc/Yvnl/DH0P/IXLJEKvqfma39sxL7H71oUfObYi6M7W+bnUD/rV+Ge58xyGCvfMblFO7/ktQb3tH4vo/VvVyTjf5Hcv4aa6F/qb0eS5wX2LA4+K7HugAOHMgNCVBCRw+/53eJcjkwKsgvW4L+hddqyx3D/pdc/JX7F/37bo37ZxP6vyFz66Ur+n8cVaeriP5vZLSFrsD+m5RI7yIVE5DglLqpAf0zdiwa8UT/avqGEj7ofy7MrcQX/Qfzjv0Xjf0XVSSvF0X/Tfcj7yqg/7e2ftzP6L+PerpxH/pXWKX37DD6z3iWss4N/Q82d2epYP/X31tDicL+Gx5zzRLFd2uU0hY6jP7rH6yvE8D7v9Go0L0O/WeXntJJ+v/+F3EfNEb/l6oWker98H2NyxcZ+UMHgRrRsPYfDFB4p+xD4P6//prkKIb+dyW/1lBB/w43Vwr/v/9GFn1L9LFrUUufmr9C/89ayA6W6L/nfW2jKPr/Z37OZxb9x68/kEhC//8D5E1QhQ==",
 "choosing_rows_format": "base64(zlib(little-endian float64)): 5 arms x 128 seeds, arm order [unchanged QLX5, B=-1e17, B=-5e16, B=+5e16, B=+1e17], seeds 64000..64127 ascending inside an arm; unrounded replica edges. Decode: numpy.frombuffer(zlib.decompress(base64.b64decode(s)), \"<f8\").reshape(5, 128)",
 "policy_patch": {
  "base": "qlxcore/qlxcore.py in code_zb64 of https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
  "base_sha256": "701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00",
  "patched_sha256": "edc8c593fc73fc50ae398ead0b0247fcf11f1f84c99aedeb96783914b1deaa70",
  "unified_diff": "--- a/qlxcore.py\n+++ b/qlxcore_fo.py\n@@ -86,2 +86,3 @@\n     ('guard_hi', 3000000000000057, 'fee guard: highest such fee wad; a fee in [guard_lo, guard_hi] steps to the nearer outside neighbour'),\n+    ('fee_off', 0, 'symmetric log-fee offset B added to xb and xa after the table lookup, before the fee conversion, bps*1e18 (QLX5: 0)'),\n ]\n@@ -527,2 +528,3 @@\n         xb = surf(t, 2 * H * U - pw, nc1 * U - p2, k, tt, nc1 - 1, 2 * H - 1) + w - wq\n+        xb += K['fee_off']; xa += K['fee_off']\n         fb = U - exp(tdiv(-xb, 10000)) if xb > 0 else 0\n",
  "apply": "cp qlxcore.py qlxcore_fo.py && patch qlxcore_fo.py fo.patch   (or mkpatch.py in code_zb64); sha256 must be patched_sha256",
  "run": "import qlxcore_fo as Q; T = Q.load_tables(); Q.run(seed, T, fee_off=B)   # fee_off=0 is QLX5, bit for bit on the four smoke rows",
  "configs": [
   {
    "fee_off": -100000000000000000
   },
   {
    "fee_off": -50000000000000000
   },
   {
    "fee_off": 50000000000000000
   },
   {
    "fee_off": 100000000000000000
   }
  ],
  "tables": "qlx_tables.json written by mktables.py (A/60dc237f) from A/1ef80bfb, sha256 8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6"
 },
 "solidity_edit": {
  "source": "QLX5.sol = zlib.decompress(base64.b64decode(code_zb64.QLX5)) of https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
  "source_sha256": "e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40",
  "where": "function fees, the one line that converts xb and xa to fees (it occurs once)",
  "old_line": "        fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);",
  "new_line": "        xb+=<B>;xa+=<B>;fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);   with <B> the decimal literal, sign included (the block is unchecked, xb and xa are int256); guardFee is not touched",
  "variants": [
   {
    "B": -100000000000000000,
    "new_line": "        xb+=-100000000000000000;xa+=-100000000000000000;fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);",
    "source_sha256": "1658996c193ef7ecd7bd3ff650eb0f24cc5ea46ee1c1da0edc0e853ddbc86c4f",
    "source_chars": 47278,
    "deployed_bytes": 22479,
    "deployed_sha256": "48366099379955716f89aa145678ac3859a75b8e8b55ce800d2e3f4ad7f954c0",
    "replay_callbacks": 12251,
    "replay_fee_mismatches": 0
   },
   {
    "B": -50000000000000000,
    "new_line": "        xb+=-50000000000000000;xa+=-50000000000000000;fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);",
    "source_sha256": "94061a4296f4067525980119a8b0e38c8c020318320205f59b46e3762b89d8d2",
    "source_chars": 47276,
    "deployed_bytes": 22475,
    "deployed_sha256": "17e0764fdf5589ed262e69011c768d48b4de8e995a1a8ca4c1a15762ba68265b",
    "replay_callbacks": 12237,
    "replay_fee_mismatches": 0
   },
   {
    "B": 50000000000000000,
    "new_line": "        xb+=50000000000000000;xa+=50000000000000000;fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);",
    "source_sha256": "6881b51e97da5bd4111eff4e78bb1f56ce806b2e9724778beb5a354bc2383ebe",
    "source_chars": 47274,
    "deployed_bytes": 22477,
    "deployed_sha256": "08e26517cd3ec5e82d44d9e38c495af28199dee80bb2d0ee0332c89a0d917a8b",
    "replay_callbacks": 12222,
    "replay_fee_mismatches": 0
   },
   {
    "B": 100000000000000000,
    "new_line": "        xb+=100000000000000000;xa+=100000000000000000;fb=xb>0?U-exp(-xb/10000):int256(0);fa=xa>0?U-exp(-xa/10000):int256(0);",
    "source_sha256": "bb21cc1b5d66ad0dfb77a1a804d0d9c2beb16ef6fff15fb83b8788d41dd1f295",
    "source_chars": 47276,
    "deployed_bytes": 22498,
    "deployed_sha256": "06d316992bd74d296bdd01c286e0250717a743d3cc41e8ea70db654f5c818f78",
    "replay_callbacks": 12207,
    "replay_fee_mismatches": 0
   }
  ],
  "unchanged_control": {
   "source_chars": 47230,
   "deployed_bytes": 22440,
   "deployed_sha256": "903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8",
   "creation_sha256": "275fd44fa37b567c17e18607436eebae510e2bd157979bf3a2fdb61228d59dab",
   "replay_callbacks": 12228,
   "replay_fee_mismatches": 0,
   "note": "deployed_sha256 equals runtime_sha256 of QLX5 in A/1ef80bfb"
  },
  "check": "each variant compiled with the kit compiler (solc 0.8.24, optimizer 200, viaIR, paris) and the callbacks of qlxcore_fo.run(10010512, fee_off=B) replayed in order through the bytecode in pyrevm with 250,000 gas a call: both returned fee wads equal on every callback. 10010512 is an audit seed, not a choosing, report or fresh engine seed; the engine was not run.",
  "status": "recipe only: none of these sources is a candidate, none was run on the engine, peak gas was not measured"
 },
 "code_zb64": "eNrtfWl320a2YD7zV9Q48QMQgxDAXVSQF8mWOzmdxG5J7p732Do8WCW0SIIBQC3J5L/PXaqwkZKVdjrnTQ9xji2iUKjlVtXd70UcRd00jvOo6MbJKjp4/e6HH45/fHNu5def/V6XDddoMKC/cLX/9kfj8jeXO73BsPeZsD/7A65NXngZdP/Z/5/X5+J1FoVJMRUX3sMizYR+VSyDm1VydV0YprhKiuuNbwXp8qAqP/CWy26eLL8ZTJyeN+pPen3HGfUGkTO0R17gOX0n8PrDoD+exId9OzwUWZRHXhZcH+Tp4jYKrc7nIm5uvKkoriMB/Sy9VZjDjVeIdZaGmyAK8fXNorD+kacrU8RZuqTKWbRO86RIsweRpWlhidPbKHsorpPVlYBFfchFshJFlBcHeZB5RXBtdaA30Y065269+EicuYNhNB6O+qHj9Q7jOPAOw5E9icN4ZAeHth/3YHZhL7SdzvImTDLRXYsvzg/CBf5/kxR5FuCvbLPCP9B3EdGPlCpE9/j/XZrdCLo+F+tNATNIYJpepuUiThYRDVZW6wSbbCG6+fn34roo1vn04KC2DkkYrYqkeOguw+7C26yC6yg/uEq9RbfvjCddf5Mswm5+7cGydqNbb7HxiiRddWGYB7gEyW108MWZBT1bVz+L/4NDEPc/i+7rai6dP3934X7x/m9vDsqi53XQ/eKs43v5tfgCWjgAYG/W89jLC0AmottdL7wiTrOlWCSrzX33fjKajwZQHngwBfFCdUi3L6BcLk/1BOBbJMvoRQdaEdcIsJEdBr3+OPZsbxAOenHfH0W9sOdH4cgJYC3D2J6EvXEAGzIID4dBEA3tSRQdBpPR5DCMBqI/6sX+4Ti2B449GftxfziYBH2758WDwI4n0NawPw5H3iiwneHYOxx6gT0K7cAf294wgAacKJ7ABvFH4Wh86PiT8dh34oE9mHjDaNQP4p4XDQfOsB+Nosl41PeifjzxfDghfRic7wyPRJh2hFArLrop7yxYq2L+xTXt+XIXeOvESpahFW9W+DyJvaDID764xkZWUWcNmz9d9UX3O7WTYO8VGVSy1g/VhoX9qPZhmhXC36zCRSS6X4vo/gBLDn5a3AdpFpnC2wBmEGtEDF4oa1DZgd/L+qb4y/f/e2jhLudH8N5Q6OssWRU5ndBr2AtRbnSCNffbaF79lWNrP41WV4AW8Oc8fqTK8qbwfDg68jFsj4NdMFjerOn0V7WaPddK5nEqC+kQH+At7UEJMFfwba0BVaWjB6FCAv/xH6I2jvowLUut7aduHN4ZMJC5bB3vjY4lqoMCMLyFoydhIronJUh4mvkyvYmEqB0vOrhlgURk8q6x9lg5P1hH2TyPonA+dHpWkN8+2lNwnaZ59LGehkNbARpwewQUAOexEC/k61hrk9NefwEUJF0tHsTddbQScrGyKPo5YrhE90kOm1CH7RsmoVilhbiOssiYCvHYGJGcwHH4+Bh3zBLOABJR2jv1d6iRCn54QA7KQ1M2DL8d23ZsgKKa/3m6SKBBHFWQrIEwXkfBjQnzEHwuOr8X/W+R4RrC+OwP4/+cbf5v3B/s+b9/Y/7vxYsXH1ZrL7gRxweKiAPpqOgR9H18oKiz0BuUyBDAI1bEJ42hqkKnlqij3hr5e/P9/M13Z+Ldhwv8C/13kiX1R1xl/pCbaW4C8xKNBubPi8Q3k9SEnYG8mYl0DIo64cJMN4ULlS0vu7qdOZdm+bt32Tl2F97SDz1xPaVWLRysnq6jlZ7mSCWAnKfJSodmNCQBLxlpay+vDcPoeCPbPda1T2VpNGipP8KWPpW3wZacCFv6VFoFLYVRjNjcy3TfDIH5NqYdxHQAl6V3Axswy3UsNglxz9Mb9yLbRAbVKVy5DhaBEn+l/j/cJLVOHoCP/+6d7htcE/nCJXH91lVULKOlH0G7siu8vDyPYMmRHCytlbeMLDz9RX4H21zXDjTeWZplaVQHWuJqpvzbbmhpJTmORzcEdg13MBPdaFQvLLkLvcWC5whvFFHmaqFXeBqPPANeOVuJGb/32EQuO76Le9MKgTFaruFU5TpvWcsfDbAwjHTYRzMNf81/hkLtEmBDLJmuSU4PWHdNbWlgD7zecAQQtK6j+zC5gvHphnEk+BW1Yo3tC0fA1PDoaLhtnzOi/mimybO7NSjFXf4uoyI0QcOqb6ztekiINaO92fJnTMWJGsCdaYiG6vPB+52TyRuTMRewlXP5x5Kt08C30EU1YlNTSA8Gr935mmHdZUkRQUOq+7MPP45szST0E26W65z3AzAi2qWZrFB2dJ1qtD++u3jz7sfT7Rdg+8+R0dr51p9/fHdyvv3OzSr1c4DFbDoCMn6pqsPy4y7WNSXdwwJ1Pttf/yOuNv9XCUt/GP/X648GW/yfM9zzf//e/F9NhtYrJtAUjC7F2HZCPw4dy7IM1C80JPQpCH+RWEV3AnEO6hLnsIkFkNfY2ywKYYOkTogY1WPe6ioKDavzIfeuomlTMi81A7XRNHUBSr6vcYzILAqJ3U2QL+MYmUNUArqC0HeNQTSsLAImEFgp5hjaRCELrGglkX+dPgjXFZqCgTMewhTHodMDDu+wF/o9x3fCMBhPRoPh+HAUDHo9H55Notj3elHoDW3H821b6xw7MKYXyGHo2tXGy8L5daKZom/Xr+HYFBp0IKjGVFzDIsMgRL4JrhG24s4Lj4RHP4EnmXFDi9QUqslLEMGjdS6KlPQ+K1jsKBNAuPIkxFto0E83GVCtv69edE5wUDCyV2pkcv1gYDaMJH9YLqMiSwKxSK+62CkjKHEivDCMQuzl3idO7d4TXgy8FPVKehB4J73ZrE3hR8BERfQAmwjS1S3wUAlqkP11/qUTOROh4x6ZCtuQAzvuKWjhBX24AIMs1gtT9MSX4lv490F0xfoOJPHAUXc9U4BoXhRc2BWOqg0/DZjkHfy4+4kmju1DJ68anbxyxZ9nJQwuj3BWrTJ8GXlCD+GvH0MPxz3J1sp9hRspSDdIbmnvOB2APo4fyrNovfCCiN47cYzqHkZ+0pMsR02QgTW4K1kLaAa4d2hJ06T0wvvd2qySOInCOd7TPs7Xi6RYABHJdeKnTNwAO0o1r6aAgzXX/Kb6DYpWxG00x9VvjitU7EXrRGGfO0+UKZDXCve8x5P0n1bgd+7jafqPtr5+i/47o3F/T///ven/lgFw7SUZGfsAYwSeyIMsilZozEtjJuavxFOk4cpLVnlRUXxWEHU6dY1vQ+8NopJAZe35xfHFqTj+8Oa7i/nr87/ueEHqn5svnHx486fTi/k543EdbZRLpEBHYjSAXWxZoyGwtqZwepMuKslFBug5zI0d7UvV83PbX0FrOdeqK72PUIuMHTs9ezA2Oh1s7zpdQN06r1UCyCTiiCIuomdY7Cbjo9deetXgs6Bq2zoDxLjTskVYQpwXXgESdhLkAhgCcZMAnaImYSpLL0t+jpCtgPUr2GabAgtBCv1gs9ws4N3bSCwjbwX996Ca+ErYlt2n3aN4MbQ6yJ9KS1fT66nfaV7ybkW2CYoaJ6d+osGkQ7Zl6LpI1lkaRHmO45IVQISdAxdRRPdFp/P6hzcmrpeJC2bKFXNFxfhNh5cdvCMxHjYm0GjdpleMXeXQilEOCkGERoAKXsjxljDTy5pyhYAHEH85aRXCKlL5207nT2ffvYHBzbqO3b5M0R1ul+0o2n71svO3d2d/Pj07h6YnnbN3H37ETmC3d15/++7dOYJDp5NgCjoJRufs9P27swssd2SjvFHffrj47vvvLv4LnuD6dl4fv59jq4MhsFEju3Nxguz8CalT5Q5rakhoIbTW/kMtw8VbfPPtP/Hm2bu/4RAalWmVoXqW3nHFhWZ0qPDtY1XJaCQb7bw9Oz3979PHqtZOMtTtkMYUeBoda0peT2oJ2xwPsklYC4eGOiGWOBrMj2wvhiL9vtkanwgLlfG69nUI3Nc9vVq+tFnh3fXOtzar2ns+qmMtPEP8gjGDTcJtgLimF15+o5jWbAmCHiJFV2AxK0pRasNjaMnDN8cbnRWkSYwvkVSEGEurdLoZb45sA7xihFjt4oRfiRZ51Kr2tl7trakQmktqqmxpNJSx5SBNkc20KLxCZRj+DLzFIpe/WQLKr5O4oKId4wf2v7AlHO6gUaWQloN2cMTA8s5JhHKHNg9CjtXhgVZPq0HbaoFod9NOU00DtNQeY0so77K3NVW4nGTLTiGrNeAQJkGho5lznrtwPk1B6EX+RjuwC3/XsCmj3P3lVxNJszu7LLewdxvJwZ3L7ovlGhZDHpxXQrOgQKMnpUZRPzdZlIZHzPabotRDKsuBkmOojhx5HSR4ThVE8Nj98usjwMHDXgMNSlpIElHYokG0nqvtVMIu14mCNiqcznTYHrDccqPgRtIujUt4jw+U3FNz+A3ldYCfykkAbOd4OnJ9naYLk05KLkENba5gYwLiUCO7K48Pb7sjWifGqVwBeLlqPiiHob0jF3Fz5rVtj+OD5cbtLmV9uCNPJRyQlSy99XyzSrMwAsZNhzNejjG43qxuciBWsFzTNlzKHgga2IkcK0i9Qd6oHUtpr6Zqpu1IMHAVJJCxcgke0LRbNu9Ws0Aou4T98M6Qk3LrU3PpfwMldu3vK61azdiKF5v8GiEK+ybOH1aBDmUJiJOpLo/KHTTUBD8K/Qz385nGp0e7xBli1SMs5GPEhfibCvE8cRFKqwTNxt7At/kEyk0CrJJ+alarlkt4IzedI9XXYYIl0AHiXbxjJEoFBq06rSq9f0mv50tkZ5rMmk5t8nAQc8/u6dU5UAzaE/j0cgtzrNx8OdPQ/EC8HOkLqKi8w0ewmliWR2W9NQB93pPltbrEDH4pytqN/UJD3yznsPYAlxAWmu56dHsPr/GQabz4lNpFWFCFJmBacDHEAa0J32x3S00FwAirpkqIP9mOICdG4HTlEL8WdmOI2/0kK3eJehgcvnfvwj/6DXssL4YELf6plTiYzsl8kaaEV9mgieq764Q2DmwQfwPHQhllgb0+I1kFJS9g6HjcIr2NAC+mlnWd0AgRUrAYKEQAj79YdL2AOHZs8UjEGyhDDxZk68U6IsQitXWRF1zzqbWQlcc+3yNFmGlMRrRLC4QCqczVeby0l2gg7ozHfilPfk6GKiRCdDvHIwLkaYa7ijyGXDxVKElq29B8/MJpuL94U9mzbInnqKmukdCJUjOHr/wqMQISnBoVAqkNSYYOsOtCOcDNgY1wIIhvPqrxPjWeh5mFCnfXJBBdg05vgNd7D4hYl4w4YXPEzBXGvbsGNCXezzQeP5we5KAUOJqYGaaGh9przgfJ5XsiZPD2zLtsNSXhcblFHOGd2uq0KkCbaF/HHqGvDFtaZdOtxakGEhTTnUv32MgEGhvXi6gAotvZ8VK9Jo3vSPjANt806uKmhSWr4++DGo6GSVQ3yGwCpR0agGNYFvpS6HjMYegGr/aXwrGcYRsODepAXX4tSACafmzcAVDfDI8SzJFoBzBecHK8NZD4UNde5lOUoABVCPI9hupCVlfKcVog8TLUxEshj1lGYzV2gQMG26RvsGnViBl/bA95uxXGJXA2gPPSM1RE6HQcMgU4k4+HnimoUanR5K6IMBJ18xDHtlBstXFmjM8RtLjZEnQloheke8dpc19W1BXafoT9qsFJ8l/NUwQcxa4pPmtaT294tC8pcm+WHSGjJ88a7QvqYPtdWWWOXpPzOjlFGwfTq938wQ7yRUPvPH0W+fBX+zEwtl6A1QgkaVfEHsbzlVD6gN965JHSrOkwtOukcFI+AiA2JvDiSmiWq6ydaARy4GJMHDIxMzRw8dIaxqiaor/LVz35k05U0OJxAsXfbM/aeIwy7Z4tCIHIktacpGr1G2hXzfeofCLpY7UyVKrz1u+1NmRDeus8G17EDr+0nJjPEv1CRAm4RjC2ozKCUnXmzBrPa9YRo7E93+2BSZ7zveR5lh7wSJKhOVe0WArJSgx8/cMbImKkEK6rFIBkq/Mb5LfWG+AAziIPxBy9aZMaXhqGMZsOKiyizv4MoVOJfXSIMjxE2HZVnUn80Zbw1tlGdNWRbDPsAHR4bD/+LC8yHZWAsz6Ckh7MbJBFq2H8k+wFwx3H9wujj6nQUWJEMVHyRVAKIhiVXf0z0uOvnTpyfkzGIo0AGTxnlw1ptoR5c9A45OYKNR6jEVGejpLvdHMZEDFn5TeJlCjEl3d4LrkGKmLVc/W7eirfILl0s6KzA81XTTUf7BJxGgSn6pGFWjmvquQJ9MKXUhmXQjKsaYMG4G6p7AM4PjeL1tlH6vFwtuo4l88bTZzOT+z2mOxdHXHNend22ZextbKzrgOo1AegcSgVvEd4Ui+f1eDBbG5rmWVRtbJYsPV2Of4W8/vkYgI/ttWQXETsZNfaPtG5qlL2v0ABzRUEpI9iBdIB0P7HA+SiHyII+XkOmxV9WdNtIOKJS0lttkHroZTEmgRm1+KzKmSO8SRAJuQLyJagOwK1ekvnOMotDDiLQKBSYjSUQU/9nc2i0WqOU3Zrp1jO0xQnrpx9W0WEb/AG4y1F97BrydUnyvI5qrhZa9CoL/4XL4Td3kLPEDuBH41c9l+VyjcSkNj0SEbQTJkJ8fERR7/k10ipKFhS+UCxcY/jr9DrcydgODCLoaJGun5w0dyw2zyivDWM5qn76DvSo8MwPgaCukHxiWZbdkc1Hmm9maOa8IkRtYw8HxvTDezu/FHYkOFPyyvI7GxvUwQuUSw4bTFRLe3lf3VfLrsvw4uX305f/jB9ef7fmrQbXC2ZrtVwVqURz5dSJb7b0IQsjJzYboX5U6pIertkDBFBNI7s0SN8IPOANd0sjrHmLty0NUi9Itre3SfjI3bNSbamvJ3wCfqUIzIiZlyZsWUHy01eEK5Soi77H6DSg9pheRXGEcMYigZD12YO2fiv7QwiaNkR2MBXzZv0J8CSIKb1mR/yEY8h3qnQLKq+mho6TfpAzGXfpmCTKqEt+RPxUUN316mJVW2FD8kCHNsAYIoCDNgtQxzet1ijTXb72/VAlbqlSex8dCR0xY8Yn7pT0sXuph8njJ+LqywB2ojc4hFaHwF1ia/FTURuh4DrYH0XCTodwh5IV3Ceonxbdcp6qR1SKhPPmrS2S1iluSQ5TYbiPWAAVXP49KkWd0uzEj5eW4irlulSEWGEVHKbZrlLwoVnNIFISnR8CYgcPseWjfqwcblp6KSrwl/PlfV2NLI9m5bCc+t57dh4qwednQFgR4uvXGDH4T9Z4lwqqwLJCqcGnwdF+XLhLdDA/UDIcJd6L84UxAJybXL/cmK9Pjt9g/gaKPfP0Wr+z2HlCsDzuuGYAP0ULQGhKk6u3F9Kf86pKN/7FQ0AcNYf5nm6yQJYADLq/x5kVaHE39SyIqqK75izyp1EYcY8T09VvuY+eS5M8dG9/EQfvBl4YMguzhnFz9mBgu0Ad8wLLOSk516hHuP0yZ67vUMrAykjcoDK/ZaJtH5VxDnOYG/torhNUqm9PXv336c/ws6qEc04M9okVWtEPEP193Xdz3sOp6lQBFH8plqlrj2R3hA1msYgrNG0ONumyZKaGW3CF5MAsr1nmRI8c+M+h/rJUZqixBVmhSRMJqtxpnBldSrRzL5NFiVkFSrZCdknodjpAATnc1R5zecExvkctUzzuQQkq5w6/0/7/1aR7H9Y/M9w3Btvx3+P9/6//97+v68xpQFamJF7K/Md4Fhk0oNpFeL9itg6fBaF7JqDZqcTVBsv1wnsWMbd2BI6TcpSwMnI8kJpBwV53wtuyKRdw0WVO5ii6CcGeSB7Dxhocg1U64rbRec2jCog/eVDFt0u0ScX5RqoKINkcuoZE+MYVudHlasBxXCr7vRbyxaB7r7oplvO9N2HCwxTPz89fdOOOOL0R2Xc0W9yWCVhlTDx+dlrE3sxqY+GzyrS5XoUSCP0orwZXJrEvjRkpkdcXY/ER3xdlcbz1lsgnY1uH/VipZlKwMs6p3/9ofPu+zf1mJ3Yd+/9r+3//NCN7td6994/IFdTYwojRl9J2ziKPffeq1XxtqtguI1ymkUX2d/Zb7YWKQar8UkRYpEz6UdDP+jH/vhw4I/t0Xhs933H9sahd3jYs3ujsecN40HgeYejSeSM4Hjajm/3+v1JPLBZKKyChwCcMnzoYttz1ujUnBKbHotsc/lH6usn0uaCwXmNYKpX7svw6N6jPy/Q8APH9wRN49CntUCJbq1rQvpd5Ry6hJLHCY7HZqGlHs0Er5nYiyHdneD8A0Be5pRgBZVTL0OKlMauaL+foANXzVf2rh4+3XRAVR50bNuIbq25Qim6YcmfOlpei2DLIlHYnZqLA6os802AR3PL95JklBO3hsbct94CPdqiLCPeGDmcyJhN+7BtiEOOlBqUa0jebpFeVZaPmqMrnnBaKnTJhH91LMdM4S2KxHCOcLKvcb3s+579rKvHfjteGGYEoqUVwsKkDzr/iTL3Nc4rjFxyC0Y9raVwKBAWUuMir37l5a5jz6FF/CeHtUKwymQatywt3RpWkc65rX4PNT7JlYZuNejheCTiJGsqGhBaiSn0ZJUUyAw+ADG4h3/wF+4z+JnBT8CjIHsATKPVZhllKPsCnGoui7CM2MJUBOjx1vRwfjHpj70oHoxf4DaGQevZffnroeI8yRF5ZwNBz/d8f1g14JCsvXmQ/iSq2Cvb9R7Ur+LpTtkahuuyhL3nXbEZQcf/eG2K1MXFYyU3pqJwg7C1Lr1hbVFoJj7bzSzWgNNikMZ72qewQbkmkbe7Wr83HQ3KenUY6xGsROSRCl2nRWlKXCtUVzptpQQvutTITMs9QOcqcROTEpy5M2wPlfy3S3fG/VxuOzg3zyEamk3JcMyR4XBJc9JCR4B9gDA2pOs29n4sFlG+FVx7cM5lLogtoVEepZBB6Epzh9UoluepLNs9juoMbr/cHNm25wiQJ5QyP9ryIw0qoJaGoCIAsrijI2a7SK53GXORnF/ZZkhVW7riyyAF3r/E2xGA8Pgynlsm+RIjtwFymDYSN0dZ5tLtM2S6py3jQ7aJ1zE7Eoy1tfTWOlBDk1S9TYN2y9Ed3pB6fSBS6HtcimCk+N6ty99SvFMrNc37Px//may8xe8cAvq0/Dewxz2nLf/1h6O9/PfvLf8dA7u7xIj9WnZX5kYJNbKVDsW11hatEsCqBKEcZNVI/KW2sTh/fXZ88fpbKVe1Raq0FKuWxBNyVJMpKAGYkNnAKpErSdFFhXOCwbA75yxKPSFEdVjxjJzpHwhfrXM8Ql7205OJdY77I2zok3OJdY4dNBB8eioxFGXPTv+KbT03aS+/c/w3fEelUs28O4uBvwGpi5A78CufmF8XhA8UN3iE/7KwS+i74o79qXgyaVYnC6vK6+kuCzJs4rXRjB3snDfDm7JQ51DGg3pAI3B65z88WrFuvIWK777fUTNdNKkdUK5WIMCsbQu9VHLy4zbOtvnMFb9opcFBmwqMDCiVxnCPrN2vbB1tqZ6VibQ2oM7j5t8tsGpbiUlxhp3PyUDByilvRWQbXc1g26HmC7ilTUF7CpFfhDmtCcNRILXQV6lUcQGj1ZFRbfWAtWoF6mGqZYaxej4OFdG5I5TtSCn7dwaxld7TNIVMAkcFFzTXq/ORYLiPB5I2A+UoqFR5WeawSFGo/5I3TYa/4vil7b1yAH/EDK9cCrjJhte2Cl8eOL2JwbkBkcU8JRUJBidjtLMMX89ZAm80zvA9blideRCXJYCPW9tYOTFTb8dt52UQgsphHFdGNamzUU7itScArSMO1jpljy/feJab9yVL1pwypaOM50glrZhDq8SBWB2h67Mszn/KCr2qoN9DF0tDfPml6NUDmuA1fcWpcaCBhleH5+f6Eh41/aYN8ZVwoq7T4/MCdaDPrnKmbj5l32wKJyGI9CZUvFQxYyqFAOuY5MI1PD1PXKDzJ3NUR62uXAWwk7m/zl0fRox5g8xdFl3/1zIcqfSFcJ0qBEmtqymqFYXnj9s5uVrkoUuT9mRCBBlVxdEcDqXPWUmHPndW+bvxr65z2YjEC7YD8YLHIuuasW5lgN62OzuwSa2GAXSl+zsH6OEt/ihLemVRrwwCJCc71RKf5I8Ni0Lw1Ct4o6m5z8tQuwAtmPybukpW9EbCUYrePd155LIrw+qCKqruiQGgx5gMW5tnG5B5K7j0axMpAxn7sClLsGy9fJduFuiznq6ffBN3ASbiZE8SDAdUOxvajB5UUtr7qbhvHqwOMEGok1KZnRqZAL7CrVpGhbSC3NoxIR2yuP+MjZUZM6Xig1Jqlgk1oUdTHBoVPUJqSGYVTk7a8Tcx6o6q3K5Gh007u1LAQmVYLtQxgpBs4qAA/5TZYj+cXxyfzd++O/vh+ILkdBlSI9OpslN97XsnmrT/1r+BgqK3rlVphMs6tSKqUqWSK6vUiqiKSm6lVUnHd3hnElckzUNl5VoRNyXFm6o1VVD2hF1rFQuiSqR7L39yogyJx+XkUI41Jb1lCFVqDVT7AWOxRo13QjkbGMQXXvbdKk4pg1tDjaDBFsUG6QULNR+SmPhcQi41rLnFO9wAcJOOBoMq8sHywpCS6xaJKZrZfo94AjPsgpiIaw+K244Kfj27r689KepqlMGXku8iFS7h1YEWcPaw1dDrgtSjsCe/RS71h5nGjrQVV/ht5fkLi3H5+2TxIxqGvSl/x3+N1etFB7YZio3AqxPboDgjKJ1pJzwbm6nwYqHfzzSlLoVHlI2PM9ZVejf1Skn+oWWjc4b7riM09s4C0illZMwEIS5QrichVvpFoeYO0yWbnN8vp56iezh7XS+DhV1GyBYX0WJBOYZ4af+u5UecM0qvUoOjFq3I+V1RNzK2UlAaymosv3+hV4nIDerjOykh/vCGIytRJCzQ6TApjog5/+dFyG/w4EgJF+GBEctaUkRLAFP7kFHqPNqk8Czod1kF0PXpnTv83AE+aLuSwjPMlDW/zZmeTsm1r8UEaLUHTJyAr1IFK1kDEH+tEt5dlq2jOzv2/mNapne6AwyshC5e52uQNVlskZ8LkXknpU9AnG6yeiYomR8MBwq7oJCB5+kaPflfhkJ/afVizO1osOPAK5kaDKj6Jm+lBSMPUXQapb0gQUSpuiqHexYIVC4vEAHGpiiDcihiILfEMWw7GmcpBeAGgZ2umrFKLpMMkQytE4Sg/ImcJQfoaF54660ChBubAasiyQciRLd7hBPA8FIR98g8CP1JltGo5c1ks0mZpqwEAE0VLRUg7q3o20zM1ZY1KEbhWq0tu1bi2TGJ2KLPRJZQBhhUtYHcKl2v8KMY+MLSCyPeCC3nbUZzvPebHmbTOoKl+APec7IWYmP02F/T3jv/9hgTyTYdPtYPnPYMQJJvshLLED2Z1hECfVWg/DQBsnDKUZOpej39pdAb6dEscaImBMxSo9VyG8rZNZUQNbUE9JIBMYI1ytXDTt15W6YlwKV2NXVwtpeIl153TLs3ECrjROVJrTyltYZHZt2TmIfF0Smr6jBv90SsjKKHcnSYtHwO2NxlEtLyFqwiSdYPc7UF3BYFbYWbzNW6uTs2wlYQybczrVW0i3tvx49wy/UiGsZ64cz9Req72qRvT0aT+NDvR0MvdEa9YBD37LEdjWIvCu3xpBeM/UEQQDXPHx3ag4HfC+Jx3x7Fo4l9eKhJyxazvNBR5mp2NPHCYDAe9w7HTt/2x32nfzj0J4PDgT8aDXvBISpZg8loCM14QEYieD7pD8OeE/XGcX9HagsZGCjz7lMvwWE4jCeHw4Ed+IFv92zgOsaD2OlF48Nx2It7vaE/6MO59Ee2DczIYHg4AGwHU3XCwygewsjV14wQvlrP74/7sR1Mek4M3ErkjcbDPkLG92LUNkeHgRMMBt7YgRn4w3gQ9nujXi9yvIk3iUbejlE3gm5gKer31RrPgb5FC9hbc0z6iDbtEGkORY9pcTyZ+KP+sB/0PC8c9we92PZ6I+dwAIswGEfjiX8Y9P3+JBxN+t54MDi07VE46PUPx5MgdAY7RoVbjOyGyGlWKraKrTbY2YHAjHWQbay7UZOABNIPN+Ddkeu2hidRHZbywLtamc/6xNCQ6CSFqwGZQIUTqR+enQaZnj6aCfmIEx9VSOlIqhsBq0NjhNOAziLTRERTCqdb4OGQPJdNnYRXXA3wOyrSYJjAvkdcajCOQJxVTTohRYtGKWEUdtmdy7OekdJQFDxHjp0Qm8m/WxFispT3rErbMmdTbG9C4v0NQMOdtCdVqlxzV6snYqznYZwyegVSIXkTDhAEyRfNsaQay4swutVXXcc4IAXZiryKWMkLL9R0v4sH5BtKw5XuXWWwWrDIpN4ytO0BpmuA829Onyl0TOQDG08GCeLk0PUaeGZVuy9r4+5jvlGGAczqCR1RlVtzxXdn9ayOrDm5mWOSktztjUHUwLWvYhI45F7tAgoqZaeLu2uQ4TVicSp2iyLyJV/Y/Cqd/vjnyJiGK94dD+hiswTesQrlpfOhwnjJ8VN9ctKHLkiXC3/bIWSooK4TdTpk7bzxpLUoU/UdlV4KghztYBA/bbwFLG/6RFIiCrudVbGrpeb8o5HkTzzeelvGqbfL6rRXVvmtQa27YrmznQHSKtQ224p6NrcD3MvB1sOgTdEIRsZKrejkWhIGFKYRuNrlE9OoooexenmHXWH8EBbCX8m7l2zQtJapar4AbgUWpH1sytCV6gnKF1VCK3zklHfrNM8TwF+ApDjfIrxUKZa9LYFAqpo584HUCXeeiA8i0Y+C+lUTFMJc17mWjZdVaNZs2VJzRmfKIlopJ0ZEc1mTgzwW/IZ8hoKffInjmVnJyKwoy2DUWZnN31s9NKOgSTLh+kqqDLMEE5XpdAzxTMebXMVD86tkraIDik5ySWFJuiSDYhRnXU5kN3rDlZinq3kDB2ImTEyDR58Hakz9rB7CVk/ULO6AYogVUl4Z0jYlYWlDhAVnjInTyDfiQaLAJc0U4cF0PWPoVCIWjeGI5lzh0Jpgd8dy6hVACu2PQKe9UEKhybHQV46mHFD18/Zj1riisMV6X9L26iCEFouoC2QtAXJCblujgQHUcsjK4/sqqZzJkyNZZNYk9yjWd4HfGdOPYeSM8Mer8gc+UmepIaaD9Blg3+gJv6IPUHiktT6q0xOZZFyK8W9IGw1w3yzXD2R49DdIyfWPfhAqR87vxVfx5AXazoG5W0f6kDQJRLG1usyothYZNbQdn0FFvYH6thQu9dPffUVV0fHIZj8V5Z23JT5Rz5Vf4E75eedVF3DdXSxvqcOHRVyvFyAOBOvHv6OC30Stfzu19XkV1HxjSG31RZY6MDCQgD8LQ4HdftSa1qM0lOSB3SEFR4Jc3Jse7kdQUEsR3AgLwSDkkqAj6uJdWucUJFPK6Jh0GURlHhsdmxEBtTQNiS0LtdJ8uu0UBiXuBOaj/pHZhi6TvKUqJWj5fR3cPbskXYP1KRyOM5caWiZpJL675TfIAHofPR7lClr4lmE8c1c7p22/2t0ahMdoN2k/gYkEjEKOFADdnPU+SC9IM0NJM1gWAm6sEqSA4cba9OnYNAg2GfCdwM8jK5wupC8whh481vUquuNKWj304auTryn2Af/+Ptp65ZsKLdLEAODJEjhKQL5R5i0AfskV4vZgsQlJCkM92yIFBjRhbWgU3OAer4mQpLnE9g0pGb6NIhXzXaQbSjT46LxvQSbygLGV/OqJey/1nCVA7tGPo3So1i6tTAZ9/J0iWJvrfb9DXdTwma4q0D0+b7lLQ41myTN51rrjdTWaVpHG0g86LFf+x/ecG5xuahVazsg7zCRGw0Qyc6ZP8KUllSSX5CxduLXTKYHTOC2PwYcrbYFoa/KtetX8257hXLFV+nygt/zAK7DKdj8OWVsxW63BsrCVC/ldbFWqvisCUK8QpPZ4fDudGamqkNv9IwGIApZlEYDYPbF6A3Tzhu6Tn6G8h5zkbeJ9d4YUOkvyyuj0VKii+kz07nBFzLtEnNRH4hZpqL2hbQJKwTgPTDMEnQLpSeHBdlAji6r4VW3SDqkBWtVXq5OceKxHsxcpTQHaWGNkk1RoJHPxZIrhAjQMUNzUZmU9jmzKvL78dWyUHaYsCzCDjKFi7EVMQxPoBpKEwL6YXAt7IQZ7VesbViLybgggahRK2yxZ4/K7n9OP+Tmg+q/p6FA2QPVZUmxwzfAKGraVd0Lbov5LzSvBrH3Y2KzxTKaQFo7KX8AsNUpmyWv9qvR8aPQQbIbNS6N4yZER5HykCmTjQGGE3yDSGaZRziwuzYrs8ZWZhm7xIW54kBYVD0HaXNhgqBQ6HFp9U9RTD7lbqYhK/RMx7o6qt5XLkhycmlXlVwo45qSWbp2CT8q6KE6XWXx37LedmcnqydtrGYEpu5nMbzknNQ9gIKnLnA+GgKnQIWldNaJyC/CQSqaL8Iya6mBgTWoxNDQSiXzcWWWDp7HUiciuyTBynCilJx88OpcJOvMA4wC7F9WS7zlWGYuuoKIpWNr0UV7uW2OCSjeHnY1Jwj06SjWmszKu2dbhkBN/Yrx27S22lqMNEDVqkcGiO6cr3hQRJSsuUQEnLZbyabS6TbJ0tYxWJWPKfv+u1geB2nJG6ACHcpyr9ayhNeBb33M12xpNLPSPWyxul8gnYdHQtihZIOBpvEVEjfYZwpRYANPF+4VXoLDrasC7bO6795PRfIQVK/OD/yAVxbS9Yy8v4KSKble9KupvQnmAsxKWZcFvFckAdzzLdZaCaC6twTRJMlXPpdzqas8UDQklP6t2f0TqvqHK6QEYc67kjudx7J1HPOJc9r5nBzdEjACvqs1aBMQneN6TZvY2OniZW9CDdfVz5Ye/e1xSLk+zBFC/q/1r4jCEzkhVGT4iTyH+d6tdzgZe+TEA9V2zRXqHxICIVHgVCeCrX8GGHaKfw1S8tAYy+fAgPhL0yNl+YpYHl51k+9YECegqRNsPxxGDRA09CeBMUmZEPGDbr7z6SEo5YAFPgWUpWLJcpaoCDK37+NC6O4cG557iKoE+8zEXr8hEAQLtlkcDooiE6HmpvLnFHRNQvi9shZWdyAwcCTyI3kNeeigwCHioefll0ldqWMiYeNXX5aA16bDREXVX4VnvcstdtvakqSqd9R+t3N+u7Dxa2dmubD9a2ZaVacMtgPhyKAGFPcBcYOMtHmpeH01nD/nBLqlHM0o2iSLPawY61McG3iaPZKnUN5Mm8ojd5eXn76RyUzJ04m/IeeaKksBSO7DTimwDDcVxFGBiP4pPRhZjVdXqqd0H54sOloyd4G9LeMUuKxdxL7COXVzokJhWKfNDVR9YQCAiNO2ra4AIbh9ySUxotkWpilbOS9eYjolGivQcWyeEDK/SJ+mIVUUdb3tjLh5wi9cygZAnDPPAp/wJLJ1YUjpNjm2iZIB8eboyqCqcwki8N8VfSB311hR/wr16Ss/yjQ/SD3/UFm5JHiTnNmgrLaSTidAuKqMZkpW8IvvK0FpjwHHeeFu3+AKnUKPudK5qJmI2/5L6ANdIahbKtlFtrUZmibcoAUjzNutjFtVjfle5g6H8wbINORrXVVIC00XX5A1YKRqFQnUgIQEca6IU7lNDgqM6Aqimk1bq0nhCG5bW6TFbuATKUcP7qdis1Las1PAYVS84OIg+jbyh3IS1VWF/KC9BAwVq+CtIZNg7yUswHxAEuiiWSE09suLoMrtYkI67aPBe6AWBoVCGNI6QDitj6RAnDSecOLLaKDbrvADsu6RhA/1JYdrbVLDOj4WCj3rpbcmOkKhZylt5c0o+AZfmNqJugTf9tZPm1tKDjQJ4iPNzEKDm6Y3M8s4JDGoxzmdVhDN9/SC9mwOHxEYa+bHgRgQWNarVoktVZtTqy8blt54+V/Ji500VLhc/Fi6nhQt0NzfKcDni+eDFN7pWSTiSBcSECD/NVQ12zMThK20Eh6+KqxSVjnJvTcVXuBZfH0jG0NA652eYnwNwuP5c3g8GA6XzlzLfLVAzKEYQfH96/CPtVDrjKyD8W7JwN/YAVcebBSfwpzAvZRyvYwtk68kkjfTm00f2ntjeHWhpKnWcjI74w93MqVA8m2sLHWcF/MQ7Oq+/BSf9TmP/ZDfvZw8DWfUdw+iPcBiMtWBd2Juz8khp0SyhD53eASpv/KTolmZyEY8GxvOHgor6HUNxKGsnLFJfdAVtN5c5uyG5lsAve9yrtmCrTq+s4+CuxDEywWQv499ncJ+cOYmGIQOLX9USQZslFijzaZriBTkDxZhKJtIr1yKL3YNwkejDKlUgHQXeUbHBQRw1dl2jtK5VDfG1cKqkri9+28CgJfZoetgVYlQ+UoFG063mG7jOZPHXVBgPKnNM5MYEOndXwAPST5y9bny9ngrxeRnc+JOBKWGHqCb96VHcXs8U0ELuNbrxi6qHPDDJ0pts4cKAftqgPuQnVr7D/bwa3eWvtXQaJZUoU0giSeEoVY0/WtL46rz8CAobzWUFvsExshZRFp/NalpFzDivoVu4VnqHV47iDXa/8sxXg1Lw7nxi/kel/fvj8n+gCtneyv/Rt/f5P/6Iq9vtCq/mg9B59eqV8A8aRvrON9+I7mRk9sQr+L8vvvmmI0PV+Ou31wls2H4jS8FwbFK8CtsRp2VoR74JrpVhAb/9jT/xM13cEH4lSzV5KSi7HPHN1+gfA7Q8KwX3VQQNAqufIRp+xYNRJnRT2IgbnvhU/HPdZ83HfWdN1Bp8ie64zIxM0VsSUeMlQWvYGyO4hr1JDV5sDKYPbmWxDrgQY5K/hX8fgAKu70CGCxx11zPFjSmKggu7iFC4NkVOvxJ3+O2bn3jqst1XrvjzrITC5RHOq1VWjSPGcWBPaGAuwuQWDdEy34RB9AVa/FolurI7n+2v/bW/9tf+2l/7a3/tr/21v/bX/tpf+2t/7a/9tb/21/7aX/trf+2v/bW/9tf+2l/7a3/tr/21v/bX/tpf+2t/7a//Edf/BU1j3bM=",
 "code_encoding": "base64(zlib(tar)); members fee-offset-fine/{COMMANDS.sh, extract.py, mkpatch.py, fo.py, soledit.py, final.py, fo.patch}; every file credits Taylor (fo.patch is a bare diff of a file that does)",
 "code_files_sha256": {
  "COMMANDS.sh": "b6e09c4104edd9ff8c007656cde8a13466d97ead2675b17f62a80ca23dced756",
  "extract.py": "c6419d9ee979695611f87f67984b4befea079a594a64b4b24be211761ca2e070",
  "mkpatch.py": "3438484c49ba8119eadf0d48c231ba0a04798873f120a4509e7b533909c478d2",
  "fo.py": "cea0d0d328f1a191aea960a316272d366fce4658378e911df84fa90f63ba07b7",
  "soledit.py": "55cc8ba24f05a0232fcca7fd498deeb1d2640f5008a63a550d5aabf0fcff8bc7",
  "final.py": "ea81dabb08ce8e2a46546bdf2597a8adfa03b185dbc102a0ccac0c9338ea5158",
  "fo.patch": "a0c0f7d06052098c6e5453a38dccc7a4ebf3682116a245d3ecf3b6c45649df95"
 },
 "timings": {
  "kit_setup_s": 95.3,
  "smoke_wall_s": 6.85,
  "choose_round1_wall_s": 370.61,
  "choose_round1_core_s": 2380.0,
  "choose_runs": 640,
  "core_s_per_run": 3.72,
  "work_s_counted_against_45_min_cap": 377.5,
  "solidity_check_wall_s": 44.8,
  "compile_s_per_variant": [
   27.3,
   30.7,
   28.1,
   29.4,
   26.4
  ],
  "note": "8 workers; the port is interpreted Python integers, here about 3.7 core-seconds a run (A/60dc237f measured 0.95 runs per core-second on its machine). The 45 minute cap was not reached."
 },
 "environment": {
  "python": "3.12.16",
  "numpy": "2.5.4",
  "numba": "0.68.1",
  "llvmlite": "0.50.0",
  "solc": "0.8.24",
  "pyrevm": "0.3.7",
  "platform": "linux-x86_64",
  "installed_by": "kit setup_fast.sh --platform linux-x86_64 --cache ... --scratch ..."
 },
 "provenance": {
  "exact_replica": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4",
  "audit": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4",
  "qlx5_source_and_tables": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15",
  "kit": "https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/",
  "kit_tarball": "https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz",
  "policy_origin": "github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved (Taylor)"
 },
 "reading": "On 128 choosing seeds a positive offset lowers the edge (B=+0.05 bps: -0.0273 se 0.0085; B=+0.1 bps: -0.0425 se 0.0113, about 3.2 and 3.8 standard errors below zero) and a negative offset is not told apart from no offset (B=-0.05 bps: -0.0024 se 0.0102; B=-0.1 bps: -0.0007 se 0.0119). None can reach +0.03 by the futility rule. This is replica evidence on one round only; it says nothing about offsets outside +-0.1 bps or asymmetric ones.",
 "limitations": [
  "Only the first choosing round (64000..64127) was run for each setting, because each stopped there; 64128..65023 were not run. With se about 0.01 a true effect smaller than about 0.02 is not resolved, and a stop at mean + 2 se < 0.03 is a one-sided call that can be wrong roughly one time in forty for a setting whose true gain is exactly 0.03.",
  "Replica evidence only. No engine run, no fresh E seed (none from 10,200,000 on), no gate P, Q, T, F, G or E, no submission, no contract promoted.",
  "The audit proves the port against the engine for the QLX5 defaults; A/60dc237f says other knob values are not checked against any contract. For fee_off the only contract check is the fee replay in solidity_edit (one audit seed a value, about 12,200 callbacks each).",
  "Only the four listed settings were run, every other knob at its default; nothing was tuned, and no report data exists to tune on.",
  "The port raises on a contract revert or out-of-gas instead of modelling it (A/60dc237f not_done); none occurred in the 640 runs.",
  "The upstream repository gtmcknight/amm-sim was not read here; Taylor's work is used through the artifacts above."
 ]
}