{"code":"// SPDX-License-Identifier: MIT\npragma solidity ^0.8.24;\n\nimport {AMMStrategyBase} from \"./AMMStrategyBase.sol\";\nimport {TradeInfo} from \"./IAMMStrategy.sol\";\n\ncontract Strategy is AMMStrategyBase {\n    uint256 constant ELAPSED_CAP = 8;\n    uint256 constant SIGNAL_THRESHOLD = WAD / 650;\n    uint256 constant DIR_DECAY = 750000000000000000;\n    uint256 constant ACT_DECAY = 530000000000000000;\n    uint256 constant SIZE_DECAY = 530000000000000000;\n    uint256 constant TOX_DECAY = 910000000000000000;\n    uint256 constant SIGMA_DECAY = 690000000000000000;\n    uint256 constant LAMBDA_DECAY = 990000000000000000;\n    uint256 constant SIZE_BLEND_DECAY = 828000000000000000;\n    uint256 constant TOX_BLEND_DECAY = 51000000000000000;\n    uint256 constant ACT_BLEND_DECAY = 985000000000000000;\n    uint256 constant PHAT_ALPHA = 270000000000000000;\n    uint256 constant PHAT_ALPHA_RETAIL = 60000000000000000;\n    uint256 constant PHAT_ALPHA_SAME = 120000000000000000;\n    uint256 constant REVERT_U = 0;\n    uint256 constant DIR_IMPACT_MULT = 4;\n    uint256 constant GATE_SIGMA_MULT = 7200000000000000000;\n    uint256 constant MIN_GATE = 30000000000000000;\n    uint256 constant TRADE_TOX_BOOST = 3500 * BPS;\n    uint256 constant STALE_ATTRACT_FRAC = 1050000000000000000;\n    uint256 constant RET_CAP = WAD / 35;\n    uint256 constant TOX_CAP = WAD / 5;\n    uint256 constant TRADE_RATIO_CAP = WAD / 5;\n    uint256 constant LAMBDA_CAP = 1820000000000000000;\n    uint256 constant STEP_COUNT_CAP = 64;\n    uint256 constant BASE_FEE = 4 * BPS;\n    uint256 constant SIGMA_COEF = 200000000000000000;\n    uint256 constant LAMBDA_COEF = 12 * BPS;\n    uint256 constant FLOW_SIZE_COEF = 4842 * BPS;\n    uint256 constant TOX_COEF = 300 * BPS;\n    uint256 constant TOX_QUAD_COEF = 15000 * BPS;\n    uint256 constant ACT_COEF = 91843 * BPS;\n    uint256 constant DIR_COEF = 20 * BPS;\n    uint256 constant DIR_TOX_COEF = 100 * BPS;\n    uint256 constant STALE_DIR_COEF = 6850 * BPS;\n    uint256 constant SIGMA_TOX_COEF = 500 * BPS;\n    uint256 constant TAIL_KNEE = 600 * BPS;\n    uint256 constant TAIL_SLOPE_PROTECT = 930000000000000000;\n    uint256 constant TAIL_SLOPE_ATTRACT = 850000000000000000;\n\n    function afterInitialize(uint256 initialX, uint256 initialY) external override returns (uint256, uint256) {\n        slots[0] = BASE_FEE; slots[1] = BASE_FEE; slots[3] = WAD; \n        slots[5] = initialX > 0 ? wdiv(initialY, initialX) : 100 * WAD;\n        slots[6] = 950000000000000; slots[7] = 800000000000000000; slots[8] = 2000000000000000;\n        slots[13] = 902500000000; slots[14] = slots[5]; \n        return (BASE_FEE, BASE_FEE);\n    }\n\n    function afterSwap(TradeInfo calldata trade) external override returns (uint256, uint256) {\n        uint256 prevBidFee = slots[0]; uint256 prevAskFee = slots[1]; uint256 lastTs = uint64(slots[2]);\n        uint256 dirState = slots[3]; uint256 actEma = slots[4]; uint256 pHat = slots[5];\n        uint256 sigmaHat = slots[6]; uint256 lambdaHat = slots[7]; uint256 sizeHat = slots[8];\n        uint256 toxEma = slots[9]; uint256 stepTradeCount = slots[10];\n\n        uint256 sigmaForFast = sigmaHat;\n        uint256 fastHat = slots[14];\n        uint256 uncertainty = slots[13];\n        uint256 silent = trade.timestamp > lastTs ? trade.timestamp - lastTs : 0;\n        bool isNewStep = trade.timestamp > lastTs;\n        if (isNewStep) {\n            uint256 elapsedRaw = trade.timestamp - lastTs;\n            uint256 elapsed = elapsedRaw > ELAPSED_CAP ? ELAPSED_CAP : elapsedRaw;\n            dirState = _decayCentered(dirState, DIR_DECAY, elapsed);\n            actEma = wmul(actEma, _powWad(ACT_DECAY, elapsed));\n            sizeHat = wmul(sizeHat, _powWad(SIZE_DECAY, elapsed));\n            toxEma = wmul(toxEma, _powWad(TOX_DECAY, elapsed));\n            if (stepTradeCount > 0 && elapsedRaw > 0) {\n                uint256 lambdaInst = (stepTradeCount * WAD) / elapsedRaw;\n                if (lambdaInst > LAMBDA_CAP) lambdaInst = LAMBDA_CAP;\n                lambdaHat = wmul(lambdaHat, LAMBDA_DECAY) + wmul(lambdaInst, WAD - LAMBDA_DECAY);\n            }\n            uncertainty += wmul(sigmaForFast, sigmaForFast) * elapsedRaw;\n            if (uncertainty > 100000000000000) uncertainty = 100000000000000;\n            stepTradeCount = 0;\n        }\n\n        bool firstInStep = stepTradeCount == 0;\n        uint256 spot = trade.reserveX > 0 ? wdiv(trade.reserveY, trade.reserveX) : pHat;\n        if (pHat == 0) pHat = spot;\n\n        uint256 feeUsed = trade.isBuy ? prevBidFee : prevAskFee;\n        uint256 gamma = feeUsed < WAD ? WAD - feeUsed : 0;\n        uint256 pImplied;\n        if (gamma == 0) { pImplied = spot; }\n        else { pImplied = trade.isBuy ? wmul(spot, gamma) : wdiv(spot, gamma); }\n\n        // S: infer a no-trade interval center from the last post-trade spot.\n        uint256 silenceScale = WAD;\n        if (firstInStep && silent > 1) {\n            uint256 g = silent - 1;\n            if (g > 1) g = 1;\n            uint256 w = WAD - _powWad(800000000000000000, g);\n            uint256 s = slots[2] >> 64;\n            if (s == 0) s = pHat;\n            uint256 c = (wmul(s, WAD - prevBidFee) + wdiv(s, WAD - prevAskFee)) / 2;\n            if (c >= pHat) pHat += wmul(w, c - pHat);\n            else pHat -= wmul(w, pHat - c);\n            silenceScale = WAD - wmul(300000000000000000, w);\n        }\n\n        {\n            uint256 ret = pHat > 0 ? wdiv(absDiff(pImplied, pHat), pHat) : 0;\n            uint256 alpha = firstInStep ? PHAT_ALPHA : PHAT_ALPHA_RETAIL;\n            uint256 prePhat = pHat;\n            bool secondPrint = !firstInStep && stepTradeCount == 1;\n            bool sameDir = false; bool oppDir = false;\n            if (secondPrint) {\n                bool up2 = pImplied >= pHat;\n                uint256 d1 = slots[12];\n                if (d1 != 0) { sameDir = (d1 == 1) == up2; oppDir = !sameDir; }\n                if (sameDir) alpha = PHAT_ALPHA_SAME;\n            }\n            if (firstInStep) { slots[12] = pImplied >= pHat ? 1 : 2; }\n            uint256 adaptiveGate = wmul(sigmaHat, GATE_SIGMA_MULT);\n            if (adaptiveGate < MIN_GATE) adaptiveGate = MIN_GATE;\n            alpha = wmul(alpha, silenceScale);\n            adaptiveGate = wmul(adaptiveGate, silenceScale);\n            if (ret <= adaptiveGate) { pHat = wmul(pHat, WAD - alpha) + wmul(pImplied, alpha); }\n            if (oppDir && REVERT_U > 0) {\n                uint256 pre = slots[11];\n                if (pre > pHat) pHat = pHat + wmul(pre - pHat, REVERT_U);\n                else pHat = pHat - wmul(pHat - pre, REVERT_U);\n            }\n            if (firstInStep) {\n                if (ret > RET_CAP) ret = RET_CAP;\n                sigmaHat = wmul(sigmaHat, SIGMA_DECAY) + wmul(ret, WAD - SIGMA_DECAY);\n            }\n        }\n\n        // Interior retail routing equalizes fee-adjusted marginal prices.\n        // Subsequent trades in a step cannot be the initial arbitrage trade.\n        if (!firstInStep && feeUsed > 30 * BPS && gamma > 0) {\n            uint256 normalSpot = trade.isBuy\n                ? wdiv(wmul(spot, gamma), WAD - 30 * BPS)\n                : wdiv(wmul(spot, WAD - 30 * BPS), gamma);\n            pHat = wmul(pHat, 90 * WAD / 100) + wmul(normalSpot, 10 * WAD / 100);\n        }\n\n        {\n            uint256 ret = fastHat > 0 ? wdiv(absDiff(pImplied, fastHat), fastHat) : 0;\n            uint256 alpha;\n            if (firstInStep) {\n                uint256 processSigma = sigmaForFast;\n                uint256 obsVar = uncertainty + wmul(processSigma, processSigma);\n                uint256 probArb;\n                uint256 z2 = wdiv(wmul(ret, ret), obsVar);\n                uint256 density = _powWad(wdiv(WAD, WAD + z2 / 16), 8);\n                uint256 sigmaObs = _isqrt(obsVar * WAD);\n                uint256 odds = wmul(density, wdiv(6700000000000000, sigmaObs));\n                bool arbFlag = ret <= wmul(sigmaForFast, 1220000000000000000);\n                uint256 prior = arbFlag ? 650000000000000000 : 400000000000000000;\n                uint256 tr = trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0;\n                if (tr > 3000000000000000) prior = wmul(prior, 6 * WAD / 10);\n                if (silent > 1) prior = wmul(prior, 8 * WAD / 10);\n                odds = wmul(odds, wdiv(prior, WAD - prior));\n                probArb = wdiv(odds, WAD + odds);\n                alpha = wmul(probArb, 600000000000000000) + wmul(WAD - probArb, 80000000000000000);\n                slots[15] = pImplied >= fastHat ? 1 : 2;\n                uncertainty = wmul(uncertainty, WAD - alpha);\n            } else {\n                if ((slots[15] == 1) == (pImplied >= fastHat)) alpha = PHAT_ALPHA_RETAIL;\n            }\n            uint256 gate = wmul(sigmaHat, GATE_SIGMA_MULT);\n            if (gate < MIN_GATE) gate = MIN_GATE;\n            if (ret <= gate) fastHat = wmul(fastHat, WAD - alpha) + wmul(pImplied, alpha);\n            slots[13] = uncertainty;\n        }\n\n        if (!firstInStep && feeUsed > 30 * BPS && gamma > 0) {\n            uint256 normalObs = trade.isBuy\n                ? wdiv(wmul(spot, gamma), WAD - 30 * BPS)\n                : wdiv(wmul(spot, WAD - 30 * BPS), gamma);\n            if ((slots[15] == 1) == (normalObs >= fastHat)) {\n                fastHat = wmul(fastHat, 9 * WAD / 10) + wmul(normalObs, WAD / 10);\n            }\n        }\n        slots[14] = fastHat;\n        uint256 tradeRatio = trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0;\n        if (tradeRatio > TRADE_RATIO_CAP) tradeRatio = TRADE_RATIO_CAP;\n\n        if (tradeRatio > SIGNAL_THRESHOLD) {\n            uint256 push = tradeRatio * DIR_IMPACT_MULT;\n            if (push > WAD / 4) push = WAD / 4;\n            if (trade.isBuy) {\n                dirState = dirState + push;\n                if (dirState > 2 * WAD) dirState = 2 * WAD;\n            } else {\n                dirState = dirState > push ? dirState - push : 0;\n            }\n            actEma = wmul(actEma, ACT_BLEND_DECAY) + wmul(tradeRatio, WAD - ACT_BLEND_DECAY);\n            sizeHat = wmul(sizeHat, SIZE_BLEND_DECAY) + wmul(tradeRatio, WAD - SIZE_BLEND_DECAY);\n            if (sizeHat > WAD) sizeHat = WAD;\n        }\n\n        uint256 tox = pHat > 0 ? wdiv(absDiff(spot, pHat), pHat) : 0;\n        if (tox > TOX_CAP) tox = TOX_CAP;\n        toxEma = wmul(toxEma, TOX_BLEND_DECAY) + wmul(tox, WAD - TOX_BLEND_DECAY);\n        uint256 toxSignal = toxEma;\n\n        stepTradeCount = stepTradeCount + 1;\n        if (stepTradeCount > STEP_COUNT_CAP) stepTradeCount = STEP_COUNT_CAP;\n\n        uint256 flowSize = wmul(lambdaHat, sizeHat);\n        uint256 fBase = BASE_FEE + wmul(SIGMA_COEF, sigmaHat) + wmul(LAMBDA_COEF, lambdaHat) + wmul(FLOW_SIZE_COEF, flowSize);\n        uint256 fMid = fBase + wmul(TOX_COEF, toxSignal) + wmul(TOX_QUAD_COEF, wmul(toxSignal, toxSignal)) + wmul(ACT_COEF, actEma);\n        fMid = fMid + wmul(SIGMA_TOX_COEF, wmul(sigmaHat, toxSignal));\n\n        uint256 dirDev; bool sellPressure;\n        if (dirState >= WAD) { dirDev = dirState - WAD; sellPressure = true; }\n        else { dirDev = WAD - dirState; sellPressure = false; }\n\n        uint256 skew = wmul(DIR_COEF, dirDev) + wmul(DIR_TOX_COEF, wmul(dirDev, toxSignal));\n        uint256 bidFee; uint256 askFee;\n        if (sellPressure) {\n            bidFee = fMid + skew;\n            askFee = fMid > skew ? fMid - skew : 0;\n        } else {\n            askFee = fMid + skew;\n            bidFee = fMid > skew ? fMid - skew : 0;\n        }\n\n        {\n            uint256 staleHat = wmul(pHat, 700000000000000000) + wmul(fastHat, 300000000000000000);\n            uint256 staleTox = wdiv(absDiff(spot, staleHat), staleHat);\n            if (staleTox > TOX_CAP) staleTox = TOX_CAP;\n            uint256 staleShift = wmul(STALE_DIR_COEF, staleTox);\n            uint256 attractShift = wmul(staleShift, STALE_ATTRACT_FRAC);\n            if (spot >= staleHat) {\n                bidFee = bidFee + staleShift;\n                askFee = askFee > attractShift ? askFee - attractShift : 0;\n            } else {\n                askFee = askFee + staleShift;\n                bidFee = bidFee > attractShift ? bidFee - attractShift : 0;\n            }\n        }\n\n        {\n            bool tradeAligned = (trade.isBuy && spot >= pHat) || (!trade.isBuy && spot < pHat);\n            if (tradeAligned) {\n                uint256 tradeBoost = wmul(TRADE_TOX_BOOST, tradeRatio);\n                if (!firstInStep && tradeBoost > 16 * BPS) tradeBoost = 16 * BPS;\n                if (trade.isBuy) { bidFee = bidFee + tradeBoost; }\n                else { askFee = askFee + tradeBoost; }\n            }\n        }\n\n        if (sellPressure) {\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_PROTECT));\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_ATTRACT));\n        } else {\n            askFee = clampFee(_compressTailWithSlope(askFee, TAIL_SLOPE_PROTECT));\n            bidFee = clampFee(_compressTailWithSlope(bidFee, TAIL_SLOPE_ATTRACT));\n        }\n\n        if (firstInStep) {\n            if (askFee > bidFee && bidFee > 30 * BPS) bidFee = 30 * BPS;\n            else if (bidFee > askFee && askFee > 30 * BPS) askFee = 30 * BPS;\n        }\n\n        if (bidFee > askFee && askFee > 36 * BPS) askFee = 36 * BPS;\n        else if (askFee > bidFee && bidFee > 36 * BPS) bidFee = 36 * BPS;\n\n        slots[0] = bidFee; slots[1] = askFee; slots[2] = (spot << 64) | trade.timestamp;\n        slots[3] = dirState; slots[4] = actEma; slots[5] = pHat;\n        slots[6] = sigmaHat; slots[7] = lambdaHat; slots[8] = sizeHat;\n        slots[9] = toxEma; slots[10] = stepTradeCount;\n\n        return (bidFee, askFee);\n    }\n\n    function _compressTailWithSlope(uint256 fee, uint256 slope) internal pure returns (uint256) {\n        if (fee <= TAIL_KNEE) return fee;\n        return TAIL_KNEE + wmul(fee - TAIL_KNEE, slope);\n    }\n\n    function _powWad(uint256 factor, uint256 exp) internal pure returns (uint256 result) {\n        result = WAD;\n        while (exp > 0) {\n            if (exp & 1 == 1) result = wmul(result, factor);\n            factor = wmul(factor, factor);\n            exp >>= 1;\n        }\n    }\n\n    function _decayCentered(uint256 centered, uint256 decayFactor, uint256 elapsed) internal pure returns (uint256) {\n        uint256 mul = _powWad(decayFactor, elapsed);\n        if (centered >= WAD) { return WAD + wmul(centered - WAD, mul); }\n        uint256 below = wmul(WAD - centered, mul);\n        return below < WAD ? WAD - below : 0;\n    }\n\n    // Floor square root: bit-length seed and seven Newton steps (all uint256).\n    function _isqrt(uint256 x) internal pure returns (uint256 r) {\n        if (x == 0) return 0;\n        unchecked {\n            uint256 y = x;\n            r = 1;\n            if (y >> 128 != 0) { y >>= 128; r <<= 64; }\n            if (y >> 64 != 0) { y >>= 64; r <<= 32; }\n            if (y >> 32 != 0) { y >>= 32; r <<= 16; }\n            if (y >> 16 != 0) { y >>= 16; r <<= 8; }\n            if (y >> 8 != 0) { y >>= 8; r <<= 4; }\n            if (y >> 4 != 0) { y >>= 4; r <<= 2; }\n            if (y >> 2 != 0) { r <<= 1; }\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            r = (r + x / r) >> 1;\n            uint256 t = x / r;\n            return r < t ? r : t;\n        }\n    }\n\n    function getName() external pure override returns (string memory) { return \"no_cubic\"; }\n}\n","sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","base_sha256":"610c1905e7dd5559b84e40a3b2d6f8e0b53a7b0ac7574ae33b6c1770a28367cb","v2_sha256":"28417e116f57f1029fdd1803832e852574902c1ae7253c05657f317db76da4ab","blocked":null,"freeze":{"name":"STACK","params":{"K":16,"R1":30,"R2":36},"sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","time":"2026-11-08T06:27:54.572575+00:00","selection_rule":"Highest valid screen mean_diff among variants beating STACK by more than one SE of the per-seed paired variant-minus-STACK difference; otherwise STACK.","paired_comparisons_to_STACK":{"STACK":{"n":256,"mean":0.0,"se":0.0},"R26":{"n":256,"mean":-0.011222838507486399,"se":0.010362378201038022},"R28":{"n":256,"mean":-0.001835128468149927,"se":0.0075760361464850285},"R32":{"n":256,"mean":-3.4287916434116994e-05,"se":0.008559705922107294},"R34":{"n":256,"mean":0.005620004886023988,"se":0.008807695260107634}},"holdout_seeds":[4430000,4431000]},"screened_variants":[{"params":{"K":16,"R1":30,"R2":36},"name":"STACK","sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","n":256,"mean_diff":0.044473586455237024,"se":0.017710772461378126,"valid":true},{"params":{"K":16,"R1":26,"R2":36},"name":"R26","sha256":"cf9f0b857c4adc7a131177b01645c56cc423846b0e244dd39760f4fe04d173fb","n":256,"mean_diff":0.033250747947750625,"se":0.020101738106822628,"valid":true},{"params":{"K":16,"R1":28,"R2":36},"name":"R28","sha256":"9e625a7bc7b46a41c622ac96366dce49af8cacc5047564881d73eefe55aa9891","n":256,"mean_diff":0.0426384579870871,"se":0.018682713893971598,"valid":true},{"params":{"K":16,"R1":32,"R2":36},"name":"R32","sha256":"9b2f353d2358c36c511bdd29187457f02fbdc3e19c2763058057ff7ee9068d71","n":256,"mean_diff":0.04443929853880291,"se":0.015578190036925645,"valid":true},{"params":{"K":16,"R1":34,"R2":36},"name":"R34","sha256":"ea989b67c68d39dcd70c183504818230b369c8d355c81c3e5f547bf238032c64","n":256,"mean_diff":0.05009359134126101,"se":0.014857156826710119,"valid":true}],"runs":[{"name":"screen_STACK","sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","seeds":[40000,40256],"paired":{"n":256,"mean_diff":0.044473586455237024,"se":0.017710772461378126,"worst":[{"seed":40218,"diff":-2.046798015984791,"edge_a":586.8841028313518,"edge_b":588.9309008473366},{"seed":40116,"diff":-0.457547932676448,"edge_a":712.6204807554892,"edge_b":713.0780286881657},{"seed":40035,"diff":-0.36344555804885204,"edge_a":565.6588090827514,"edge_b":566.0222546408003},{"seed":40065,"diff":-0.3250804839395869,"edge_a":642.4024553227401,"edge_b":642.7275358066797},{"seed":40006,"diff":-0.32184406986618797,"edge_a":481.86035968559725,"edge_b":482.18220375546343}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211552},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":220962,"sum_ok_gas":56566272,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2626605,"ok":2626605,"max_ok_gas":211552,"sum_ok_gas":258671104415,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21576,"sum_ok_gas":5523456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721091,"ok":2721091,"max_ok_gas":22592,"sum_ok_gas":61395892568,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243701},"init_max":236377,"oog":7,"other_errors":0,"oog_seeds":[[40049,3],[40181,1],[40250,3]],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":236377,"sum_ok_gas":60512512,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2624914,"ok":2624907,"max_ok_gas":243701,"sum_ok_gas":292722214484,"oog":7,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21545,"sum_ok_gas":5515520,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721559,"ok":2721559,"max_ok_gas":22592,"sum_ok_gas":61406460032,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.047673739789889646,"se":0.018790877784906353},"arb":{"mean":-0.0032001533349002714,"se":0.004436063969175847}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":85,"mean_diff":0.04755097522036736,"se":0.011999086700599172},{"tercile":"middle","n":85,"mean_diff":0.0038795124595895577,"se":0.014756326763691461},{"tercile":"high","n":86,"mean_diff":0.08155403115981791,"se":0.049116154178029385}],"seconds":[15.766,17.077]},{"name":"screen_R26","sha256":"cf9f0b857c4adc7a131177b01645c56cc423846b0e244dd39760f4fe04d173fb","seeds":[40000,40256],"paired":{"n":256,"mean_diff":0.033250747947750625,"se":0.020101738106822628,"worst":[{"seed":40218,"diff":-2.0525007544334812,"edge_a":586.8784000929031,"edge_b":588.9309008473366},{"seed":40058,"diff":-0.6165105999161824,"edge_a":616.9835373436694,"edge_b":617.6000479435855},{"seed":40239,"diff":-0.6082543117078103,"edge_a":735.7759636862685,"edge_b":736.3842179979763},{"seed":40015,"diff":-0.5926659519407735,"edge_a":453.41214819717095,"edge_b":454.0048141491117},{"seed":40176,"diff":-0.4680033113868376,"edge_a":637.1779627740862,"edge_b":637.645966085473}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211552},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":220962,"sum_ok_gas":56566272,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2627979,"ok":2627979,"max_ok_gas":211552,"sum_ok_gas":258784250905,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21576,"sum_ok_gas":5523456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2720262,"ok":2720262,"max_ok_gas":22592,"sum_ok_gas":61377194880,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243701},"init_max":236377,"oog":7,"other_errors":0,"oog_seeds":[[40049,3],[40181,1],[40250,3]],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":236377,"sum_ok_gas":60512512,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2624914,"ok":2624907,"max_ok_gas":243701,"sum_ok_gas":292722214484,"oog":7,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21545,"sum_ok_gas":5515520,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721559,"ok":2721559,"max_ok_gas":22592,"sum_ok_gas":61406460032,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.06072145450507671,"se":0.021304077716520455},"arb":{"mean":-0.027470706557282037,"se":0.005456409106700631}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":85,"mean_diff":0.02646098985921312,"se":0.017177167930188152},{"tercile":"middle","n":85,"mean_diff":0.03185207798423682,"se":0.027658399831941002},{"tercile":"high","n":86,"mean_diff":0.041343961720126915,"se":0.05071299465104244}],"seconds":[15.693,17.383]},{"name":"screen_R28","sha256":"9e625a7bc7b46a41c622ac96366dce49af8cacc5047564881d73eefe55aa9891","seeds":[40000,40256],"paired":{"n":256,"mean_diff":0.0426384579870871,"se":0.018682713893971598,"worst":[{"seed":40218,"diff":-1.9436148563793267,"edge_a":586.9872859909573,"edge_b":588.9309008473366},{"seed":40239,"diff":-0.6095953080173331,"edge_a":735.774622689959,"edge_b":736.3842179979763},{"seed":40220,"diff":-0.49112459081698034,"edge_a":691.1407840388354,"edge_b":691.6319086296523},{"seed":40176,"diff":-0.4442637547202821,"edge_a":637.2017023307527,"edge_b":637.645966085473},{"seed":40116,"diff":-0.4228428736863634,"edge_a":712.6551858144793,"edge_b":713.0780286881657}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211552},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":220962,"sum_ok_gas":56566272,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2627155,"ok":2627155,"max_ok_gas":211552,"sum_ok_gas":258718382668,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21576,"sum_ok_gas":5523456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2720850,"ok":2720850,"max_ok_gas":22592,"sum_ok_gas":61390467348,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243701},"init_max":236377,"oog":7,"other_errors":0,"oog_seeds":[[40049,3],[40181,1],[40250,3]],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":236377,"sum_ok_gas":60512512,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2624914,"ok":2624907,"max_ok_gas":243701,"sum_ok_gas":292722214484,"oog":7,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21545,"sum_ok_gas":5515520,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721559,"ok":2721559,"max_ok_gas":22592,"sum_ok_gas":61406460032,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.055373736601486145,"se":0.019762203260496932},"arb":{"mean":-0.012735278614493598,"se":0.005214830324105545}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":85,"mean_diff":0.04540774696241202,"se":0.01221822690665679},{"tercile":"middle","n":85,"mean_diff":0.02074140126167964,"se":0.024114080576234768},{"tercile":"high","n":86,"mean_diff":0.061543809833098914,"se":0.048922323114310794}],"seconds":[15.703,17.712]},{"name":"screen_R32","sha256":"9b2f353d2358c36c511bdd29187457f02fbdc3e19c2763058057ff7ee9068d71","seeds":[40000,40256],"paired":{"n":256,"mean_diff":0.04443929853880291,"se":0.015578190036925645,"worst":[{"seed":40114,"diff":-0.42604876834627703,"edge_a":501.01939445287076,"edge_b":501.44544322121703},{"seed":40006,"diff":-0.31785748955911686,"edge_a":481.8643462659043,"edge_b":482.18220375546343},{"seed":40218,"diff":-0.3058470338984307,"edge_a":588.6250538134382,"edge_b":588.9309008473366},{"seed":40224,"diff":-0.29823281703892235,"edge_a":408.90864363099126,"edge_b":409.2068764480302},{"seed":40176,"diff":-0.2956109346539506,"edge_a":637.350355150819,"edge_b":637.645966085473}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211552},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":220962,"sum_ok_gas":56566272,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2626510,"ok":2626510,"max_ok_gas":211552,"sum_ok_gas":258667807746,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21576,"sum_ok_gas":5523456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721206,"ok":2721206,"max_ok_gas":22592,"sum_ok_gas":61398484600,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243701},"init_max":236377,"oog":7,"other_errors":0,"oog_seeds":[[40049,3],[40181,1],[40250,3]],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":236377,"sum_ok_gas":60512512,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2624914,"ok":2624907,"max_ok_gas":243701,"sum_ok_gas":292722214484,"oog":7,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21545,"sum_ok_gas":5515520,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721559,"ok":2721559,"max_ok_gas":22592,"sum_ok_gas":61406460032,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.05159853686696336,"se":0.01633881011769864},"arb":{"mean":-0.007159238328285605,"se":0.0037108894636333936}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":85,"mean_diff":0.04156267741747182,"se":0.011604505385991665},{"tercile":"middle","n":85,"mean_diff":0.010388800330174357,"se":0.014277447290555809},{"tercile":"high","n":86,"mean_diff":0.08093703276027464,"se":0.0425123692323096}],"seconds":[15.65,17.272]},{"name":"screen_R34","sha256":"ea989b67c68d39dcd70c183504818230b369c8d355c81c3e5f547bf238032c64","seeds":[40000,40256],"paired":{"n":256,"mean_diff":0.05009359134126101,"se":0.014857156826710119,"worst":[{"seed":40114,"diff":-0.43692104188249914,"edge_a":501.00852217933453,"edge_b":501.44544322121703},{"seed":40027,"diff":-0.3682726653895543,"edge_a":639.177718072032,"edge_b":639.5459907374216},{"seed":40218,"diff":-0.32988794014306677,"edge_a":588.6010129071935,"edge_b":588.9309008473366},{"seed":40006,"diff":-0.28854389015191373,"edge_a":481.8936598653115,"edge_b":482.18220375546343},{"seed":40210,"diff":-0.25067563123820946,"edge_a":543.8409305463402,"edge_b":544.0916061775785}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211552},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":220962,"sum_ok_gas":56566272,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2626275,"ok":2626275,"max_ok_gas":211552,"sum_ok_gas":258646449072,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21576,"sum_ok_gas":5523456,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721279,"ok":2721279,"max_ok_gas":22592,"sum_ok_gas":61400136060,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243701},"init_max":236377,"oog":7,"other_errors":0,"oog_seeds":[[40049,3],[40181,1],[40250,3]],"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":236377,"sum_ok_gas":60512512,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2624914,"ok":2624907,"max_ok_gas":243701,"sum_ok_gas":292722214484,"oog":7,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21545,"sum_ok_gas":5515520,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":256,"ok":256,"max_ok_gas":21796,"sum_ok_gas":5579776,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":2721559,"ok":2721559,"max_ok_gas":22592,"sum_ok_gas":61406460032,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":256,"ok":256,"max_ok_gas":21526,"sum_ok_gas":5510656,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.05480334815908039,"se":0.015564115174972004},"arb":{"mean":-0.004709756817848812,"se":0.003698137240799502}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":85,"mean_diff":0.04188164721981058,"se":0.010996617143562096},{"tercile":"middle","n":85,"mean_diff":0.01653283674514796,"se":0.014007662973169913},{"tercile":"high","n":86,"mean_diff":0.0913805610039691,"se":0.0403424811564125}],"seconds":[15.585,17.107]},{"name":"holdout_PICK","sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","seeds":[4430000,4431000],"paired":{"n":1000,"mean_diff":0.03986286519855452,"se":0.005753506167154875,"worst":[{"seed":4430820,"diff":-1.3847894345966552,"edge_a":616.2408815879911,"edge_b":617.6256710225878},{"seed":4430253,"diff":-1.139892296200287,"edge_a":673.404741070036,"edge_b":674.5446333662363},{"seed":4430692,"diff":-0.9993708084136301,"edge_a":455.2163449270131,"edge_b":456.2157157354267},{"seed":4430718,"diff":-0.8221318759706264,"edge_a":525.9050391396147,"edge_b":526.7271710155853},{"seed":4430525,"diff":-0.6519414057662516,"edge_a":612.4245485027158,"edge_b":613.076489908482}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211588},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":220962,"sum_ok_gas":220962000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10350590,"ok":10350590,"max_ok_gas":211588,"sum_ok_gas":1018654343214,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21576,"sum_ok_gas":21576000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":21796,"sum_ok_gas":21796000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10751004,"ok":10751004,"max_ok_gas":22592,"sum_ok_gas":242574382788,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21526,"sum_ok_gas":21526000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243733},"init_max":236377,"oog":11,"other_errors":0,"oog_seeds":[[4430171,2],[4430662,2],[4430787,2],[4430876,3],[4430911,1],[4430968,1]],"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":236377,"sum_ok_gas":236377000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10344025,"ok":10344014,"max_ok_gas":243733,"sum_ok_gas":1152356333658,"oog":11,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21545,"sum_ok_gas":21545000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":21796,"sum_ok_gas":21796000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10753006,"ok":10753006,"max_ok_gas":22592,"sum_ok_gas":242619532448,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21526,"sum_ok_gas":21526000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"edge_deltas":{"retail":{"mean":0.038972317666562846,"se":0.00613188804831566},"arb":{"mean":0.000890547531966547,"se":0.0020782345158804564}},"terciles_by_v2_retail_volume":[{"tercile":"low","n":333,"mean_diff":0.04253956095465759,"se":0.007976249917611198},{"tercile":"middle","n":333,"mean_diff":0.03524313082718689,"se":0.009554152338156261},{"tercile":"high","n":334,"mean_diff":0.041800086332935034,"se":0.011969101380199782}],"seconds":[61.88,68.372]}],"method":{"simulator_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","reference":"Exact supplied V2, separately simulated against Vanilla using run_batch(..., 8).","seed_intervals":"Half-open. Only screen 40000..40256 and frozen holdout 4430000..4431000 were scored.","terciles":"Sorted by V2 submission retail_volume_y, then seed; index slices floor(n*k/3):floor(n*(k+1)/3).","se":"Sample standard deviation of per-seed paired differences divided by sqrt(n).","oog_validity":"Candidate OOG <= V2 OOG on the same seeds; no other errors; no Vanilla failures.","generator":"Exact supplied gen(G,16,R1,36). No other strategy changes.","checks":"Pinned commit, source hashes, STACK generator hash, setup, supplied tests.py and all five amm-match validations passed."},"paired":{"n":1000,"mean_diff":0.03986286519855452,"se":0.005753506167154875,"worst":[{"seed":4430820,"diff":-1.3847894345966552,"edge_a":616.2408815879911,"edge_b":617.6256710225878},{"seed":4430253,"diff":-1.139892296200287,"edge_a":673.404741070036,"edge_b":674.5446333662363},{"seed":4430692,"diff":-0.9993708084136301,"edge_a":455.2163449270131,"edge_b":456.2157157354267},{"seed":4430718,"diff":-0.8221318759706264,"edge_a":525.9050391396147,"edge_b":526.7271710155853},{"seed":4430525,"diff":-0.6519414057662516,"edge_a":612.4245485027158,"edge_b":613.076489908482}]},"valid":true,"invalid_reasons":[],"gas":{"afterSwap":{"max_ok":211588},"init_max":220962,"oog":0,"other_errors":0,"oog_seeds":[],"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":220962,"sum_ok_gas":220962000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10350590,"ok":10350590,"max_ok_gas":211588,"sum_ok_gas":1018654343214,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21576,"sum_ok_gas":21576000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":21796,"sum_ok_gas":21796000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10751004,"ok":10751004,"max_ok_gas":22592,"sum_ok_gas":242574382788,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21526,"sum_ok_gas":21526000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"v2_gas":{"afterSwap":{"max_ok":243733},"init_max":236377,"oog":11,"other_errors":0,"oog_seeds":[[4430171,2],[4430662,2],[4430787,2],[4430876,3],[4430911,1],[4430968,1]],"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":236377,"sum_ok_gas":236377000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10344025,"ok":10344014,"max_ok_gas":243733,"sum_ok_gas":1152356333658,"oog":11,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21545,"sum_ok_gas":21545000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"vanilla":{"by_callback":{"afterInitialize":{"calls":1000,"ok":1000,"max_ok_gas":21796,"sum_ok_gas":21796000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"afterSwap":{"calls":10753006,"ok":10753006,"max_ok_gas":22592,"sum_ok_gas":242619532448,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"getName":{"calls":1000,"ok":1000,"max_ok_gas":21526,"sum_ok_gas":21526000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"max_ok":22592,"oog":0,"other_errors":0,"oog_seeds":[]}},"holdout_note":"PICK equals STACK, so one holdout run satisfies both; no reselection.","provenance":{"base_and_harness":"https://api.imd.fun/artifacts/206a4888de6fa1bda53cd2c9bad1632ccdbb63d32e7f09b6a332746b7a3ac3c3","simulator":"https://github.com/benedictbrady/amm-challenge/tree/6b6921f8d463314aa7c96234e1be25a25245f704","measurements":"Computed locally by the supplied harness; no leaderboard result inferred."}}