{
 "blocked": null,
 "divisions": [
  [
   "(stepTradeCount * WAD) / elapsedRaw",
   "afterSwap L75",
   "elapsedRaw==0; unreachable (inside isNewStep, timestamp>lastTs, plus elapsedRaw>0 guard)"
  ],
  [
   "wdiv(trade.reserveY, trade.reserveX)",
   "afterSwap L85 (spot)",
   "reserveX==0; guarded by reserveX>0 ? : pHat"
  ],
  [
   "wdiv(spot, gamma)",
   "afterSwap L92 (pImplied)",
   "gamma==0; excluded by if (gamma == 0) branch"
  ],
  [
   "wdiv(s, WAD - prevAskFee); (...)/2",
   "afterSwap L102 (silence centre)",
   "never zero (stored fees <= MAX_FEE=0.1 WAD; constant 2)"
  ],
  [
   "wdiv(absDiff(pImplied, pHat), pHat)",
   "afterSwap L109 (ret)",
   "pHat==0; guarded by pHat > 0"
  ],
  [
   "wdiv(wmul(spot, gamma), WAD - 30*BPS) / wdiv(wmul(spot, WAD - 30*BPS), gamma); 90*WAD/100, 10*WAD/100",
   "afterSwap L141-143 (normalSpot)",
   "gamma==0; guarded by gamma > 0; others constant"
  ],
  [
   "wdiv(trade.amountY, trade.reserveY)",
   "afterSwap L151, L155, L311",
   "reserveY==0; guarded by reserveY > 0"
  ],
  [
   "WAD / 4",
   "afterSwap L160",
   "never zero (constant)"
  ],
  [
   "wdiv(absDiff(spot, pHat), pHat)",
   "afterSwap L172 (tox)",
   "pHat==0; guarded by pHat > 0"
  ],
  [
   "(toxEma - runMean) / sampleCount",
   "afterSwap L183-184 (anchor)",
   "never zero (sampleCount incremented to >=1 before use)"
  ],
  [
   "count / silent",
   "afterSwap L205 (flow inst)",
   "silent==0; unreachable (only when isNewStep, silent=timestamp-lastTs>=1)"
  ],
  [
   "wdiv(weight, WAD - missing)",
   "afterSwap L216",
   "never zero (missing capped at 1/3 WAD)"
  ],
  [
   "wdiv(absDiff(spot, staleHat), staleHat)",
   "afterSwap L255 (staleTox)",
   "staleHat = wmul(pHat,0.7)+wmul(fastHat,0.3) == 0, i.e. pHat and fastHat both below ~2 wei; unguarded"
  ],
  [
   "int256(...)*k/1e12, /1e6, *1000000/8, *k/1e18",
   "afterSwap L296-321 (nx scaling)",
   "never zero (constant divisors; unchecked does not suppress /0 but these are literals)"
  ],
  [
   "(int256(spot) - int256(nh)) * 500000000 / int256(nh)",
   "afterSwap L303 (nx[6])",
   "nh == 0 (same condition as staleHat); unguarded"
  ],
  [
   "(... wdiv(wmul(spot,gamma),WAD-30*BPS) : wdiv(wmul(spot,WAD-30*BPS),gamma) ... - nh) * 1e18 / int256(nh)",
   "afterSwap L315 (nx[18])",
   "nh == 0; gamma==0 needs feeUsed>=WAD, impossible (fees <= 0.1 WAD); unguarded"
  ],
  [
   "b /= 1000000; a /= 1000000; (...)/1000000",
   "_head L348-372",
   "never zero (constant)"
  ],
  [
   "wdiv(x.preSpot, WAD - x.ask)",
   "_posterior L391 (hi)",
   "never zero (ask <= 0.1 WAD)"
  ],
  [
   "wdiv(wmul(x.spot, WAD-fee), WAD-30*BPS) / wdiv(wmul(x.spot, WAD-30*BPS), WAD-fee)",
   "_posterior L411-412",
   "never zero"
  ],
  [
   "wdiv(absDiff(normal, x.mu), x.mu)",
   "_posterior L413 (residual)",
   "x.mu==0: fastHat==0 and spot==0 (mu is reset to spot when 0)"
  ],
  [
   "wdiv(x.v, x.v + noise)",
   "_posterior L415",
   "never zero (v floored at 1e10)"
  ],
  [
   "wdiv(absDiff(x.obs, x.mu), x.mu)",
   "_posterior L420 (e)",
   "x.mu==0 (spot==0, or the first _band returned m==0)"
  ],
  [
   "wdiv(wmul(e,e), totalV); wdiv(WAD, WAD + z/8); z/8",
   "_posterior L422-423",
   "never zero (totalV >= 2.25e10+1e10)"
  ],
  [
   "wdiv(4000000000000000, _isqrt(totalV*WAD))",
   "_posterior L424",
   "never zero (isqrt >= ~1.8e14)"
  ],
  [
   "4*WAD/10; 8*WAD/10",
   "_posterior L425-426",
   "never zero (constant)"
  ],
  [
   "wdiv(hi - lo, x.mu)",
   "_posterior L428 (width)",
   "x.mu==0"
  ],
  [
   "wdiv(wdiv(distance, x.mu), sd)",
   "_posterior L430 (zBand)",
   "x.mu==0; sd=_isqrt(v*WAD)>=1e14 never zero"
  ],
  [
   "wdiv(width, width + 2*sd); wdiv(WAD, WAD + wmul(zBand,zBand)); WAD/100",
   "_posterior L431-432",
   "never zero"
  ],
  [
   "wdiv(odds, mass)",
   "_posterior L433",
   "never zero (mass floored at WAD/100)"
  ],
  [
   "wdiv(odds, WAD + odds); wdiv(x.v, totalV)",
   "_posterior L434-435",
   "never zero"
  ],
  [
   "wdiv(absDiff(mArb, mRetail), x.mu)",
   "_posterior L438 (between)",
   "x.mu==0"
  ],
  [
   "wdiv(distance, sd)",
   "_band L455",
   "sd==0; guarded by sd > 0"
  ],
  [
   "wdiv(WAD, WAD + 4*wmul(z,z))",
   "_band L456 (likelihood)",
   "never zero (divisor >= WAD; huge z gives quotient 0, or Panic 0x11 on overflow, not 0x12)"
  ],
  [
   "wdiv(absDiff(p, mu), mu)",
   "_band L459",
   "mu==0 (reachable only if _band is entered with mu==0)"
  ],
  [
   "wdiv(acc[1], acc[0])",
   "_band L462 (m)",
   "acc[0]==0: every one of the 7 quadrature weights w=wmul(w*WAD, likelihood) is 0, i.e. likelihood floors to 0 at all nodes; this happens when integer z=wdiv(distance,sd) > 5.0e8 (sd = mu*sqrt(v)) at every node, i.e. the band [lo,hi] lies more than ~5e8 sd from mu"
  ],
  [
   "wdiv(absDiff(m, mu), mu)",
   "_band L463",
   "mu==0"
  ],
  [
   "wdiv(acc[2], acc[0])",
   "_band L464 (second)",
   "acc[0]==0 (same as L462; never reached because L462 panics first)"
  ],
  [
   "x / r (8 times)",
   "_isqrt L502-509",
   "never zero (r >= 1 from the bit-length seed; x==0 returns early)"
  ]
 ],
 "culprit": {
  "expression": "uint256 m=wdiv(acc[1],acc[0]);  (wdiv = (x*WAD)/y)",
  "location": "T03.sol _band, line 462; reached from _posterior line 404: (mRetail, vRetail) = _band(x.mu, x.v, lo, hi) (the censored retail update on a first-in-step print with preSpot>0), confirmed by an instrumented copy tagging the two _band call sites (tag 2)",
  "zero_variable": "acc[0] (sum of the 7 quadrature weights)",
  "why": "At the failing callback the posterior centre mu=fastHat is 141.13 while the band from the previous post-trade spot is lo=1.4675e8, hi=1.6309e8 (spot 2.25e8). v=9.125e-7 (VAR_FLOOR 1e-8 + PROCESS_VAR 9.025e-7), so sd=wmul(mu,isqrt(v*WAD))=0.13481. Every node is ~1.0885e9 sd below lo; integer likelihood=wdiv(WAD, WAD+4*wmul(z,z)) is 0 for z>5.0e8, so all w are 0 and acc[0]=0. Such reserves arise in the stress harness because, with no arbitrage, the 15%-of-X-capped random sells/buys walked spot from 100 to 2.25e8 in 1,223 callbacks (reserve X 100 -> 0.0666) while fastHat stayed near its start: in a port replay of the same sequence fastHat was 107.4 at callback 62 (spot 119.8), 135.9 at callback 280 (spot 282.9), 141.41 at callback 1000 (spot 18,682), 141.42 at callback 1223 (spot 2.25e8); spot/fastHat first exceeded 1e3 at callback 1062 and 1e5 at callback 1157. The float port never divides by zero here (its a0 is tiny but non-zero, and its uncertainty at that point was 1e-4 vs the EVM 9.125e-7 band input); EVM/port fee drift on this sequence reached 4.12 bps at callback 1198, before the revert."
 },
 "reproduction": {
  "harness": "fresh EVMStrategyExecutor deployment of T03.sol (pyrevm 0.3.7, solc 0.8.24), afterInitialize(100,10000); post-trade reserves from the replica _execute driven by the T03 port; numpy default_rng(440145); elapsed from [0,0,0,1,1,2,8,13]; buy w.p. 0.5; lognormal(-2,1.5) X amounts capped at 15% of reserve X; calldata = int(Decimal(str(v))*1e18)",
  "state": {
   "sequence_seed": 440145,
   "callback_zero_based": 1223,
   "is_buy": false,
   "amount_x": 0.011758797438930166,
   "amount_y": 2256212.1895594997,
   "reserve_x": 0.06663318548727094,
   "reserve_y": 15007537.050604152,
   "timestamp": 3939
  },
  "output": {
   "evm": "Revert { gas_used: 62659, output: 0x4e487b710000000000000000000000000000000000000000000000000000000000000012 }",
   "gas_used": 62659,
   "panic_code": "0x12",
   "instrumented_values_at_revert_wei": {
    "mu": 141130434782608695652,
    "v": 912500000000,
    "lo": 146750636314078570660170069,
    "hi": 163093239005574508995974947,
    "sd": 134814658531665062
   },
   "integer_emulation": {
    "acc0": 0,
    "node_z_real_range": [
     1088535151.72,
     1088535157.72
    ],
    "likelihood_int_all_nodes": 0,
    "z_threshold_for_zero_likelihood": 500000000.0
   }
  },
  "matches_fact": "yes: same amounts, reserves, timestamp 3939, callback 1223 and gas_used 62659 as the reported Panic(0x12)"
 },
 "margins": {
  "source": "T03 float port (instrumented copy) in the replica, 512 markets, seeds 1358000000..1358000511, configs per MatchRunner._build_configs (replica market_config), 10,000 steps; 5556722 afterSwap callbacks; 1015 markets/s on 32 processes",
  "per_divisor_min_abs": {
   "band_acc0 (L462/L464), real units (integer = x1e18)": {
    "canonical_min": 0.0018796860436400005,
    "seed": 1358000027,
    "failing_state": 0
   },
   "band max over calls of min-node z (zero iff > 5.0e8)": {
    "canonical_max": 153.4448380055985,
    "seed": 1358000027,
    "failing_state": 1088535154.72
   },
   "band_mu (L459/L463)": {
    "canonical_min": 69.84294741970845,
    "seed": 1358000187,
    "failing_state": 141.1304347826087
   },
   "band_sd (L455 guard)": {
    "canonical_min": 0.06924914162107043,
    "seed": 1358000187,
    "failing_state": 0.13481465853166505
   },
   "posterior x.mu (L413/L420/L428/L430/L438)": {
    "canonical_min": 69.84294741970845,
    "seed": 1358000187
   },
   "staleHat (L255)": {
    "canonical_min": 69.86194785987959,
    "seed": 1358000187
   },
   "nh (L303/L315)": {
    "canonical_min": 69.86194785987959,
    "seed": 1358000187
   },
   "elapsedRaw = silent on new step (L75/L205)": {
    "canonical_min": 1.0
   },
   "anchor sampleCount (L183)": {
    "canonical_min": 1.0
   },
   "constant or >=WAD/100-floored divisors": "not recorded (structurally bounded, see divisions)"
  },
  "reserve_x_range": [
   86.14586509845701,
   127.54372135373588
  ],
  "reserve_y_range": [
   7840.448666434646,
   11608.218210555935
  ],
  "spot_range": [
   61.47263529099617,
   134.75073002388194
  ],
  "failing_state": {
   "reserve_x": 0.06663318548727094,
   "reserve_y": 15007537.050604152,
   "spot": 225226168.3252569,
   "fastHat_evm": 141.1304347826087
  },
  "replica_mean_edge_T03": 525.7442732802122
 },
 "guard": {
  "diff": "--- T03.sol\n+++ T03G.sol\n@@ -461,2 +461,3 @@\n         }\n+        if (acc[0] == 0) acc[0] = 1;\n         uint256 m=wdiv(acc[1],acc[0]);\n",
  "rule": "divisor clamped to 1 when zero (acc[0]); nothing else changed",
  "gate_C": {
   "sequences": 50,
   "callbacks_per_sequence": 2000,
   "commands": "5 x 10 sequences",
   "seeds": [
    520000,
    520049
   ],
   "amount_cap": "2% of reserve X",
   "spot_window": "side forced back when spot outside [25, 400] (4x of 100)",
   "max_bps": 0.00039262343539542277,
   "threshold_bps": 0.1,
   "reverts": 0,
   "pass": true,
   "afterSwap_gas_peak_pyrevm": 194780
  },
  "stress": {
   "sequences": 10,
   "seeds": [
    440140,
    440149
   ],
   "cap": "15% of reserve X, no spot window",
   "reverts": 0,
   "max_bps": 1000.0,
   "max_bps_excluding_seed_440145": 0.0005188203630601684,
   "note": "max_bps 1000 is T03G vs the unguarded float port on seed 440145 after the guard fires at reserve X ~0 (the port has no guard); T03G ran all 2000 callbacks of every sequence without revert",
   "T03_same_sequences": {
    "reverts": 1,
    "max_bps_before_revert": 4.1200120283326385
   }
  },
  "alternative_rejected": {
   "rule": "if (acc[0] == 0) return (mu, v);",
   "stress_reverts": 1,
   "detail": "seed 440145 callback 1825: Panic 0x11 (overflow), reserve X 4.43e-08, reserve Y 2.26e+13, gas 32116"
  }
 },
 "real": {
  "engine": "amm_sim_rs.run_batch(bytecode, VanillaStrategy, configs, 8), each arm alone; configs per MatchRunner._build_configs with seed i -> seed",
  "n": 256,
  "seeds": [
   8146432,
   8146687
  ],
  "commands": "4 x 64 seeds per arm",
  "mean_diff": 0.0,
  "se": 0.0,
  "max_abs_per_seed_diff": 0.0,
  "identical_seeds": 256,
  "mean_edge_T03": 530.8279510523353,
  "mean_edge_T03G": 530.8279510523353,
  "retail_volume_y_delta": 0.0,
  "arb_volume_y_delta": 0.0
 },
 "gas": {
  "afterSwap_peak": {
   "T03": 235406,
   "T03G": 235406
  },
  "oog": 0,
  "reverts": 0,
  "gas_stats": {
   "T03": [
    {
     "role": "Baseline",
     "callback": "afterInitialize",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21796,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Baseline",
     "callback": "afterSwap",
     "calls": 2741981,
     "ok": 2741981,
     "max_ok_gas": 22592,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Baseline",
     "callback": "getName",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21526,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "afterInitialize",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 243234,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "afterSwap",
     "calls": 2774264,
     "ok": 2774264,
     "max_ok_gas": 235406,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "getName",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21742,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    }
   ],
   "T03G": [
    {
     "role": "Baseline",
     "callback": "afterInitialize",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21796,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Baseline",
     "callback": "afterSwap",
     "calls": 2741981,
     "ok": 2741981,
     "max_ok_gas": 22592,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Baseline",
     "callback": "getName",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21526,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "afterInitialize",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 243234,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "afterSwap",
     "calls": 2774264,
     "ok": 2774264,
     "max_ok_gas": 235406,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    },
    {
     "role": "Submission",
     "callback": "getName",
     "calls": 256,
     "ok": 256,
     "max_ok_gas": 21742,
     "oog": 0,
     "revert": 0,
     "other_halt": 0,
     "tx_error": 0,
     "bad_return": 0
    }
   ]
  }
 },
 "code_zb64": "eNrdPdly3DiS7/4Kdj9MFCWWRJAgCeoohWzL3YqVj7HU0z3b4VWwVJRFu66pYkm2u/3vm4mLAAmWNLPRL+uHEgkiE4m8cXp/37t89/K34UV1U87X5fB8Us7r6rYqVwfe6/OrZ8tV8XFWeOvFtJpU9Vfvf8I9thfRw2fPqtlysaq9P05fv76sV0Vdfvz6vFiX373b1WLm/bi33/qwBzh+PNRgV6tiUp7PbxcNwLkBIWs/u1nMoeSm9tQHr1p7LczeH888+Lep5nWUpB6ArOtiXntnF6fvLs9eXr84fecde9mhu9bl+U9vTi+ur35+f3b589uLl1CVkIzQLAzjOKV5nqY9kC/P31+/PHtx+k/EHsdJRHNKCaU0onEU9gCdvrjSQHGWJjRnSZ7QiEQpDcNeGv/7TENRlsUsZDRhaUiiKEuiHqirt79poDxiaRzleRLGSZwk0Fg/O16fGt0C/IzmEaU5YUkS9/Hi4vT185cNXI61QxqlIbAiSUkebevZ84uzNy81LIvzjLAwTDLGchIm+bb+2aBRnOQhsCaM0zAB3jC2RQo2aM5A5mGSZDSJI5rmWV9P3/18enV9egF/sEEQXxiRBGQYpmlCemXRQF2/P7s6Pb8AYJB6SkEgWZiCSMLsCbCXp6/PUEFplrIQFI2ROM5BPn3Evj/7x9n7q+tfACbcosXnr98hR17/cnGFCtZT86fTq7NroR+yZprFaRbFMctBiym89crq9fmba4RHrQcuR3HKcuA1WFncK973py/PrrmQ3769vBKQYJSUAbdIEodpr3gvr04vzq5PrwAFdOsV/CKxQGVIECrJYmh2C9OupM+I4jDLY5rRLCEZ/G7TRAkBAKCCYRTnKSNhTrb37v3p1flbCUpAb0kGToClAJYlvbokbU1CkSzN8hA6FHLYfs9zeXX27vrF21/eqN71+oDnp5dn16/OuLBymoFWQ+fBS0XxVqfx4u3ZK84CNIcEOZcwBlrxWD8EGHQ5iuGH5QwY0NuLVxdvf73mXkPCgQGBswkzEC2wHOyIbhOSgEEVzCLwviTKKSgC2wLy919OX2oawReCEwRA6CShQCzd4mAkEANVJUmaJ2lMcmiY9TIETVG1lIGXzzMWpUkCvaJbIIx+ZSn46Qx8Vw6ExpRuNQ+jtSwJ0Y9lYFsJOEJQxK2CNlqEEEShZ1lGUhKSPO0DRJd3/V9vuE4lcRyRGFxAHiURo2wrzOXF23dn1+/ev706e3HFuQk9S3MIEuA4Uevp49DSEXDoELQEGiZgqKBsCM3Bbzfzm7pazL3iti5X5/Oqropp9a0cKLyVKPot8Fol//S98gvAzIupt7gvV6tqUnqrst6s5mtPgWsoXyYr+G89XdTr38MPQJeyuENZSFyFMRb+evry0GuhSPCDItAbeaF34j1MqvuBIjHQX33vwCNh6O1wRC08KeIByzX/qcYz/MbC9j/1mX3glt/62MJPOKG0g8T7UzNq0Mbhe0dHHklDX7OGsyEPo6RNA6H4RbHE4JKQhjdQDA00a31B4neXElw+FMuBTlO9m2I6nRR14dVY9B8LXWnPclXeP68mr8pS0xwCzebn0/Vn8zMxPk+LdX21hk9YkNKBqBF98A87DU2q1WUNubLGExt4ILM+g/RefaImBT8XtcnODuJ1BSMDs1JqETgbT6yvmfF1DZZlfmMO9PXii0laboLX5ZIL5sViM2+wEGDgMzeZrxarV8AyrCqp7jZ4CxVMokCdupVAQ8pVXcDb16Zi7OTOtOS0cXXZq6tZCX5ptgTzlMI76Xwaqk8HnmE748ViCqOeN+XDJfR7C8YGpLr1BhrC1D6TwnJaLNfl5H3x4MA57OB0gAKcgWRkDbhOrLcDo6KN0lDP60l5U3x9AWwrV+VkoL4EzUArUGh8G4lW44fZZjoQb4F3vVw8/FpMBnrI1YC34Bt95Ajka4OhGX/1otDqyjGItwaBHor1wqPIWnqNjvxvf7NZHLalaYpFGN35nCt6Gxv3+L633ysJRYWBZWTkmr6NvvnQxWIaP2eHLgisgaLv7ZrfEXOAVIL2WdXsFr5bb/v73rvV4qZcr737YlUVYJ84RbBcLZbFR9CeCYS+NXrn+q70cI5jAbrlbZbgysu9jgRM8x5hoLRDkW39pC/acZVq+yjj+/dntnHfVqt1fT6X5t2GtEC1e1kuGueyKtfl6r60Qr/1BdTOrolpwNLygth74fKPUcmU94dmHD71tix/EfYv0Fbr55uv0LIR1A6MENYl/2Mx48aiEB1xsZ9I4avSA1fPl+ez5bQqJzbpEiGn/Q9dR/XA0JlyihNGZg27C8IBAFAgiEROcYaaZYemCEEDLw9Ay27LlVd488WQI4QCcGP3kB/ccIcmZrlQCdGxesvFupYVEfGeO37clJeQdpQy7bM6bOoMOAkZbkBn+9z9Rx78eK2hR7rO56MAxmrE7fUfBB0ArtxaNx8EDvlu6LWOl9EHbzTSo0/LAUoJYl1bPa0UH72bkJNyF43icZ/C5WV+E3roo/uLus3eeCPRntT7Xem2HgJoayi+2FBci3jdYVNXvHs3neDSliRU4jCxg30PvtNPuGUKGafklGn6xXj9srq9HSgdF5T58o9tVSa2Yrq840ZpqNaJOd910J3GcmMClr+7K2qnFLnHW5cwTpu8W1XcNf7QVuaOByQuHMWsfFmtkOACxHEoShfLpVnYVbGmZVco5Tg2ywhJVy5i5OqGlWKTJheMPrijKtT5QXqnhnAsxd75+AutHjbk/yBrHbbine6H+OxrqbVmCbfFzJb/4DQp6h0dByUgIPuoTYrWm0mxrKv78ieRxskUSqTZQXvW0JH2WPBHeqrQbyNWH1q5n+y/SP3wJbBMrp0qOog1y7YCI7Voc0fHFh4ecox0Z8k7LgydU6QTncYkRfmhQzJSBcAO9OztI3kfmFujgKRHAbHSyPRyUriKMvgsXF2g2/W7mBrHd6z8ne6y8LW94I/poJNq5PZIzcj60uHJ1y51xpC0pYXGsoYWBiBTUjI/91Fth/xzDOrVYoUkFdXUWy02dTX/6JX/2vCJozVmMcNi8mmzxiR0Vqw+VjhbsFxVkKzuWdnDZrwGMIzMPCNYQ+4AmQR6Qe+mmM8h0xuL/FXO4njFalxB1Y+lTF6szKDtTVU2NfJinPd5/u4SS0XC5FAspVTzxWpWTC/NPJPnSB2my6jTSZwUb1WrfgfyoAPZgtD5lgXaNbVcTmhBeCeYp0sBN10IoNyqctgj1hdqhFCs15tZORlOoAAXPjFh4wLf894sjMkfSOw29WaFsllu6nU3kQNZwQBlXIyrKeBp2h3I+YbAHFUEreo+Dot104N36ukcGxtYXHGjaxyOYLCdgQU2X3USFRhJU2DmA9I71oGpETYWe+DRHZIUMwzq7RHJP3leohGZo2Nz2s/oW6cCn/2TXHBMJ2Fr74u6WrSHTf8mjXYabqAdtdd0fLvR1ldjWNVB1F6T7rPR5WZ9p7ojYHfa63ndAMaBRtIWqK+QyPdufUPSLi9tTODox12OtCcRUpVGXqQmJQwcUXtqmtuoHLY9qfGR6NFJUzIUJZ3E9/sTJpFaK8XatzQ8V16rXfNpU0ztBfAtDXSqOrJb2cpI8LVp1GLp92eu2dYtIwnhO/pHEVxNAMNIrYT6EqF8bWq6p8laK/kNDxZfVOfbVZwTxpfVR3TKx7IZZ52Lal4WK+env2+KyQo4fnP4yLhrWdx8Lien85u7xarJvNIP7tHQajN/XRbzZrbeBO8bLRfgt/XckdVe39jZgDjyMpL4JpLdXYdhC1lAli8p9DWpMAKWn4fq276BzTEYVpAwHh7I56HAsAVSM87TNOBakNWVI+htd65VSBGjY8G58hyi0kQ1HHhKsdIsy3PKcGdCykiWulBpqT+KjRASsoxkESUpybM8ziM7kXjWO/vXKtg1R7TOqV97td7vYrQrOCbpFquKp5wXfHIVIPQs7GGnziU4Cj4/xP2FQRqv9jvJP3izcrZYffXmX1qBK6YRDVNgM8ljSlgc0m1ZpdDkV9PFQ2M3SZ/dCMeOrywcNJA9JnMjGdOpjxbDwh6oGUhY9t4JyJceu4NAThofz0squ6uaXaimLQ5pNB09Ctu7nGN2phJz84IT+zJXc4fhSszvxyoES9DYFX5bU064Q3AxF5kpnwbM+ZYXex5LT0imFKIJ/BzIIsegcmWMxVd8DK5b0aGgUosDw+ZbF9NNd7K9G+j1fGZZfbyrOxNe2IadhQPtHZ40WrdalTcwxPtVYRNouxKMUOzRNvHNqvUax5CSFXLgBn4nT8M4ZCwEL0Zi3LHCGPPdclU4QLStf1nqGy10v7q42ekbH6/xNyEMiXDrUF8IZfe4jc/N0Cn49bnBBWzFpWCCilbDhkldj7kTVyWBZyZUqpEW+LalNR2GlWeIaNhvJut5z6LqoXD3cxQQKAOvF0ddRPMvv5NM7Ovg+yKgorBUt9hbY/6W/o68pOOefNGnFo2OORXlpI+5mUJ4vlGBGZwqvmumy50aWAa44Q1Y5D/FEsUcyvuOG4jTNGYYYHIS0zAjKevx4gKBcqbcv4Ilq/T3QODUqkAYw+1/JGGE5GBMELNaeM0VTKlIzRpmQ23QDX69ab9EoxL/huLtSL53F99A/2RP24urErkjOb7lG6WbPUXKrTY79wI9e6Z9rrFBL2hYoj/bW/ECTZir+dcVLrUJKiS42kUWNPmcb37TG+8CPRjQqVpgJW6+hlPb7gI5mjNIUSTgH6vzDR2tOcOGLN/IeUzVsFOsQ0PaZmLl3JPzsrw/VGsh0+m7Vbleb1alnRQ2Q9pjEaT/kJDmcHcotoSZWLhZb0rHsqcGF4MqhaQDLldUHAPF9efyQWme2kEYSLxaDOa2RMlWUSNoRmm+Q03GfPbJ2J7UWj4WCzgNpe1gOlYbqqSUkdjW9L/aU8VrjER3TsTbULxZI1vnzIONxNWMTcgTmnlspQ+c87TszHtmDq8uRaCnA7uLjH1DTmziig/bHYN/RYBvPLp2sEgcxkyAgbczHdBp//KuutWdtPepBhpTTweKmh8VsVA0SAPHrnBXD3DCe3TcdNK1SKikKx92Ddq7AVRri3wY2YSeqPKhXd6dreqbBGs3sJ2cNvEdcmT5o+Q8rrzcvfEE43QKNs93W5jTiXytV/JbzCr9CanDD64aR65VeD07KdFvy615veeLxVqrRut8gZkg9iRZ7ZUVAycOFOWihd2UKnZjtOdWHYrV4HItBEuv3lWAfjCn2J7sV28g+i3hcXB9s5gtsfYVZDG/VvXd5XSxLAdjuXzQ3brd3u+maX4MZSFXIbr7uU2U2/30f9BGD9n/F064yH727IkLonyhXDkQSQWooDZivWbWkKiKHLN1iK2xf4EWhw2qgQab5mEXW4v4rfjSLr6OYWjKtvYz7fZTY+oLovObuxKHbg7/AOOs0BxmqRx4B3f37ZOSREPimpNRYzQDtsmQd6LHISOrVZG37yRPaTM2IOUU69MAqQEo8+OnASYGoMoZ/UfA9DrynZWzOFKWXStheTRfkTTxSeOBYiDECH8oX+Z3Pu+X+LfflDrxmINsIwJoxvSEAstzKzRD/uBshpm8t9d4n6It+YfOPJVERlTid+ANW0VujTXV3VhPRXmm23WdWCqLk3kjBoSwZm5vR8LvMzcGU+k3xl99hIGkH3z/iVoploSda7kS9ROWdJFvsnYfw0yzcW6qdoOZRmPsT3RXTluV5YZFd2Vmqn5r++rTtmI8feuFD4WGXcFXkAvz9r1HzEoIRz7seCnNwoQykuH+C0Sw6w2GKWFRHm/junyARuM8iZgFHYVxFqXRNu7Lhx0visKUZDkhJgIWxmGSbROIfEB4RoD6uAXPUpL4W+bu5MOORwnwKrGAo5gRsk3A8gEaz2gcJzSJDXiSZa6e3y5W+viRN6+Ow8N5dURy+N3ddWXHwp0NoKl59WFElSsR78e0z/gssKNhG27YC9hNYaUae3fjQD0VfNfLXVlMoAVXKi67N25MRuQC/u7deIe411BMwMJwxcLOdu+KbYA61ZiPj9C9hGA/g/l4JJG8Pv2NHyaDL/IRviv3Nh/7/pZB4bwwMBZPw1j4T9mkZhwvVPMqxuFCObXSbAg6lmNfseDq/dk/M2ycRjQmkOQBMkTNU4tD83CivX/WOG2oj2OZxwyNhUrjdGFncVIdDGvW+5uDYJ0lVyM5VMcBVYpemL4WV3Htw4BCE7sroV98scef7+rDaTN9/k/NZimNLqwDgD3J6Jif68cj6irmeainUZ5DypQ6lwUF9m926TfEk5M8JxQdxWBIwPmFuK6HmS7ODw2ymNCE8hIiSoY0TeKU8aJIFEHDjMUCLpa1ojjCWx14GRVlCYtTmvKSRNYigCwjOS9LJbI4DuM040WZrJZEeRolohpToCwEPydIy2UZS6KYCjpIqOplJEplmewCpUkmsZFI0UuymClY1Qma4eFjUUaNjlHRfaK7EQHVuaCZpLpveERdlMmOQHeB3bIedAQSKfci7uDbEfjIb+CU1VBn8K3xud/c7nbM92Lg3Ru8H998VAssAkJoFImijgIMSRpGDOSCGpBFcZJlpgJA5IsyYipAFJKIJLGlABmoY5hYCkCSjLLQlP8wwhieWwpAU5pniSl/CqEztMUfZzSVYmCKhpzlrCX7NItaomfA7IhasidJEhFmy54kIYZcS/R5SEliSZ5ADhDloSX5GDKNJLLknoa54peSepglLMz/UqlDipOmOc0suUMhZCL9kqcxDYmUPCExwBNT9HGWpGmWWsZPIJXKo8wUfgZWyFJT9nkMws9N0QPLQxaHtu1neCNKZsqehGjoxBQ+gVQuk1xXpp+yKJXaJqWP69xK0Er6WRIp4rXrisM8zizhQ7KYZLbZx+BYEmLLHrxIGqW21UcJ90G21QMlodIlpb/gHYhS4L9KAXIKXpzZ4icZRIgk7RM/S9MIxITShwQzykJT+EMSMwZ+wZQ+CQn4/sQUPuRvYGG5bfngIGhmuf4h3sEg2SLZl6dxxEzhA2qWmKLPGKNSDlLyKAVb8CABIh2W4fEzDD626CErT1lsiZ5kacgyS/QRbgCzzX5IwN3R2LZ7AqEN/GBL9AmoamSLngHFafTXmn4ahxCnLNHHeNUJN0G3y6dgjCkRhg/+HXTHlH2Ct7EwU/KUgZVLK1Tci9KWw88zmkgb0byD0Juzlt0TgncZmaIfpuBGZZDOtGLlLElN6UONJLcCfhyxluwjvFsrbZs9pWEr3AMRMKIjtt1DLiT9kRZ+BiWxbfdRlII+UFv2DARkWz2FUehfLfk4hPCc5pbo0f/EWZ/kI4IOVhg9uNY0lXLWtgMxIGSWzwfusTy1jJ7EGd6/Y4ofUjudKSqnCTaSS4NQ8RIieZ4SU/YJpFOxLXoIKJRmlujBimLL7sHwE0v0cQahPbclD7lMknQkn+FlS5bkwUlmytVRLT4Wt9O8jIHHYLbkIchESrtUB9BL5ariXyV8YGXCTcsM+EBiFMZ90oeULAInKHJ9YEKYJ6b0MQeACGwHfHAjtvAzcKUy51FeExxGSKyAn9GMEjvVg9QB72mzcn1I6ilpxfsIGojsVB9SNnAulvwhwqjBBNHkA6nE9vuQhOOwo60CIea5dsIHnU9oRFu+H3hMUtv+oQ1IZmwlyCEwEmopAbghSthfnPXhvVmx7frBcye0z/7jPMcEiCsA2h2RHla7zwxFEpsaEOMtgNQK+nh1XmynfJjjUOkRqM7IEypT7caCIO5IL5HqkAs6SU0doNBAZrl+SMehgdDUAFCAOCZt909wENzK+GMW6YGYCl40TJjtA9I8T6g91oPBCiV24IdEBuTaHukxSBtaPoAAH3Vy+FflfAmJOefMnI/JEUlb/GNvX99DgbWNt9YOsvYVR9ZOd3MzdHPB1X0x3ZTN6+fe+Q7HNUe4RvIZ9+HxfUtyxoUjtHfz8CJc/5+J8wei4oyfQRCrRrzGkFP22XW9UTmt9XkSrDUUZJt1JVZR9UhgP+F/hqJMb26QXFrXq81N7dnH7RyXOM02zV6le2NX/Xh9aN3UYd3rdMnv1HBsfbL2PR0aV4Mctm4Vkt/Gm6/2lUqqD7ag+44PPj6P1b7HynmhFUrxy95sIze1i0f4s7a6KWrdA/eJuVkJi6yLVLqMmS6UdL/sSe6Jrcdf9oBnDo24q9QOpg4A8NVv08Q57Fpthy6INS6CC9Aa12jrUWx5uc6xBmYn7EC9dKeBsf+79m1mOwOJY+haHeCsDgDMP74eF2C66j2YLoK7autuW6i1e2xdnLZll+nsvTjXfMwl2uXyvfH9/tA8Qnuqd5kvHubDpd4DhNfyFM0VPPwgNJoK3pKCmrrnEozFetfBkoEkNFAU8cWDhjVIXgBKFHgWd77bR6Z71ID3Zlrg9S1LflcFdEFs3N3z3s6nXz1wJJU+CL7Y1KKTc7NbbYSLW36UewE/gBW4E3gPVX3nlV+W0+qmqk1Y87zrnnPP2y1fRABT4Kt/3CTAm3FN7+6Vum3t7ehXY3Fy2sDcrBYKyxYWBQjF2iIMWnacR7zbx7xNaAnToNp26mRdTTacImtvoqAz4DrqB/x3y06ERcX3QFtnCZrLAEQLgXrYguhz42Du0fZ2OWbXwRa50iD3fnOFlCR/9gPJkPsA+w/v2/fKK1za4MOtu8TLNqu+7IFiBU5GNUcg62L6D2HSwJfI5SlU3W/6NAj2ogxAEQS4M0aLM/TNiSEOCd3Gru9+22d+QB1wi8lkrZy/xBFwyPZhq+C6Wv9rVQ8EBTuYc/gdR48Rkqt/e8es2Qw+BxQxQGrnQNHcstSBYl0oHZxx56OkEXi7Y28a0OeRqkl9p9h6Vw3BafUIalLhHac3pfTOR9PFyXQxxMcDrh+ju+oE/w7vqgMXPd+eg3/UAsQfhVEqyNoVWGfFWvdYQCLBAf/djXYAJrDkyivypgL+25EJR8iv/trn1zbIBuR7U1exGpFzVmNFB4HL1WJs1UMq8MFR9/Ppamyaca/yzkRF04SFKSEGV31x1FcdP5LRCbEESJ9r13tZP5TlvG2wHETC95qsvvNO7bGCJlqOBcnU28KxhNdR0dLyMbJSg0lVl85KUhrIv215amIcV+cZhPbem6dcHE/2FYDJtXZqO7ZGL0WgOaqfHnqSW9eYRTY/Hh0XuCtb6O94WAQPuF+mGIp7AYbA3z5yCnMstdFE3AdNMhs0aeojpAUOEvG2mMVt3VwuN60+l9PqbrGYeMX9ogI7AUvG/zShmm+quiohG6m9f4mDMtjGfDEpHZeUrCfHYgC1Ua5UOKmuxuG6vxw4FDfGQflbGF8obJ9g3PvpKDv81N10ok31+NNRDFyGFkeDePjJB/dxAg5LPR8Q5Plsszv4NIyxoOdKuuNPx8fxSRYdDOAh+vNP+KUnNOGvhL8mJyQEbD1nBpTfO15KJ7o8GCzRfS7bvtPyn8frySg8sT0n+L+DnpvVGikdWx6S7ggfGXxr0/cg5PGAUgga8M69pze/hx92jx8O8Yngk7iLbtnX3WP7hrgAnX0naUJkUYNMxN9g4vfmz4IOOQJUL+YRd20Usn1ObSBquuKbTeasS6ZWXH6dW4M1cmAVdgVYROWR7s+JKBjqggPS2XXamTdxb/c28vFmxmSNn/7dWRNM0o+OmwvT9aTIrXkSSpY116rv6jPDeFmGKg4kDT19kdlYcwPyTb1YNfTDkOQx6jEz30xr241iSfvOkYc7yJ28AaB0jeKw4/jpb566EE9jUdk5vAWSwpa6ikJ9alp2wlmVNz+yVLNnesy+i1if9pYFgZHbQr1XbcbJO37/DdE3YWNq5MkW9u7dx/zySkmScUhQKgfu6JRqoSvx04IBtmLdPdekIuJmBpUr4HWWusscqBMtOYR9f6soa0+qQex6NV2AoNYQj5Abi0V94I2reghR/CNkvusS792CxHRd3kM69KZ8qEESuI0LWFZMp3r2aa8lKxGxVB++PK6znfkrdZeD6JM53OnZraVQ4aDmi61jq+4NqtjGV36bRMT0NZBfhSZG7BBAjo74/8fhuCTvq7jwpQWGdQVUHPVCxVELCusKKJL2QpG0TWKqoFgvULtbulP9fWp3Sfeov0NNf2Qv2jX5pZor0Pov3j6KGbtz+P+2hh63oxJipUPXjAGwysNzfSuwyPoxv/exrN8Us3Jg/P8G3Ia6/8nBul7hHJ/IBQ2v86Oa4bsm4Y8on+/P/heHviPB",
 "code_sha256": "df126b49435e97278a089d0db532986accb45722c5c13fe0e467752dcce3674b",
 "valid": true,
 "notes": [
  "All inputs verified: START artifact JSON sha256 = URL id 3d0015..., T03 code sha256 cb6d9455..., port sha256 732c0fb6...; IB artifact sha256 afd5183e..., IB code sha256 301941829a...; replica artifact e8a7a2af..., replica_source sha256 1e4c44b4....",
  "SETUP ran verbatim from a checkout at 6b6921f8 under test/scratch/amm-challenge; wheel sha256 check passed; StarterStrategy validated; T03G validated with amm-match validate.",
  "Port weight vector built per the START notes layout: [1], 19 multipliers, 19 offsets, W1 row-major, b1, W2 row-major, b2, 3 anchor constants, then port TH_VALUES with params.constants substituted by name.",
  "No search was run (item says no search). Replica speed with the instrumented port was 1015 markets/s.",
  "On the canonical replica paths the closest approach to the failure condition was min-node z = 153.4 against the 5.0e8 integer threshold, and reserves stayed within X [86.1, 127.5], spot [61.5, 134.8]; the failing state is at X 0.0666, spot 2.25e8.",
  "Real-engine per-seed edges, retail and arb volumes of T03 and T03G were identical on all 256 seeds; neither arm had an OOG or revert; afterSwap peak 235,406 <= 245,000 for both.",
  "valid=true refers to T03G: no OOG, no revert in Gate C, stress or real engine, peak <= 245,000. T03 itself reverts in the uncapped stress sequence 440145.",
  "The real engine LightweightSimResult has no retail/arb edge split, so retail/arb deltas are reported as Y-volume deltas.",
  "Not done: no paired comparison against IB on the real engine was asked for in this item and none was run."
 ]
}