{"item":"b","blocked":null,"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    bytes constant RESIDUAL = hex\"fafcfdfc0004fb000005fffffef9fdfefefcffff\";\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        {\n            // Residual buckets use post-update fastHat and sigmaHat.\n            int256 gap = (int256(spot) - int256(fastHat)) * int256(WAD) / int256(fastHat);\n            int256 scale = int256(sigmaHat);\n            uint256 ig = gap < -2 * scale ? 0 : gap * 4 < -3 * scale ? 1 : gap * 4 < 3 * scale ? 2 : gap < 2 * scale ? 3 : 4;\n            uint256 state = (firstInStep ? 2 : 0) + (silent > 1 ? 1 : 0);\n            bidFee = _residualFee(bidFee, int8(uint8(RESIDUAL[ig * 4 + state])));\n            askFee = _residualFee(askFee, int8(uint8(RESIDUAL[(4 - ig) * 4 + state])));\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 _residualFee(uint256 fee, int8 units) internal pure returns (uint256) {\n        int256 adjusted = int256(fee) + int256(units) * int256(BPS / 2);\n        return adjusted > 0 ? uint256(adjusted) : 0;\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":"6e167c114b1c373c05db4020fbb76c516b57418cd89d90515e0ea2f58c83f8d9","params":{"base_sha256":"2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719","residual_int8_half_bps":[-6,-4,-3,-4,0,4,-5,0,0,5,-1,-1,-2,-7,-3,-2,-2,-4,-1,-1],"residual_hex":"fafcfdfc0004fb000005fffffef9fdfefefcffff","winner_evaluation":55,"dimension":20,"CMA_seed":2,"population":12,"mu":6,"initial_mean":0,"initial_sigma_half_bps_units":4,"quantization":"numpy.rint, ties to even; clipped to [-128,127]","bucket_edges":[-2,-0.75,0.75,2],"bucket_boundary":"left inclusive, right exclusive","cell":"ig*4 + (firstInStep ? 2 : 0) + (silent > 1 ? 1 : 0)","g":"(spot-fastHat)/fastHat, evaluated after STACK estimator updates","ask_symmetry":"Da[ig,state] = Db[4-ig,state]","offset_placement":"Immediately before STACK tail compression; negative adjusted fees floor at zero."},"evaluations":111,"log":{"setup":{"simulator_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","solc":"0.8.24","optimizer_runs":200,"viaIR":true,"evmVersion":"paris","validation_starter_passed":true},"calibration":{"strategy":"CH at d34a5199c59a4c44d5336a25f1436b4ae1f21104","seeds":[0,1000],"n":1000,"mean_edge":525.5258821780834,"expected":525.5258821780834,"exact_match":true,"gas":{"max_ok":151647,"oog":0,"valid":true,"afterSwap_calls":10445223,"afterSwap_ok":10445223,"init_max_ok":185532,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"zero_table":{"seeds":[540000,540032],"paired":{"n":32,"mean_diff":0.0,"se":0.0,"worst":0.0},"full_trace_equal":true,"steps_compared":320000,"source_preserved":true,"bucket_checks":true,"gas":{"max_ok":211301,"oog":0,"valid":true,"afterSwap_calls":328398,"afterSwap_ok":328398,"init_max_ok":220965,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":209181,"oog":0,"valid":true,"afterSwap_calls":328398,"afterSwap_ok":328398,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"decomposition_check":{"n":16,"mean_edge":527.3039930373426,"mean_arb":-26.06724993434411,"mean_retail":553.3712429716868,"volume_tolerance":0.0001,"volume_assertions_passed":true},"control_reconstruction_repair":{"arm":"level-heldout","seed":550478,"step":"arb volume consistency check","reconstructed_volume_y":22427.108060242033,"simulator_volume_y":22427.10816272731,"absolute_difference_y":0.0001024852754198946,"original_absolute_tolerance":0.0001,"new_tolerance":"0.0001 + 1e-8 * abs(simulator_volume_y)","effect":"Initial control evaluation aborted; re-run the identical level control. No candidate selection or frozen/STACK held-out rerun. No seed omitted.","retry_summary":{"n":512,"reconstruction":{"max_volume_error":0.0001024852754198946,"volume_atol":0.0001,"volume_rtol":1e-08},"all_seeds_included":true}},"training_seeds":[540000,540064],"wall_budget_seconds":1800,"actual_seconds":1801.9533251959947,"complete_generations":9,"invalid_evaluations":0,"trace_columns":["evaluation","generation","mean_diff","se","worst","afterSwap_max_ok","valid"],"table_hex_by_evaluation":["01fefef60705ff0301fe04fffffd020002fe01fc","03010102fc0308f9f9fa030104030101ff03fbfe","0107fdfcfe04ff05f90504fa010500040901fffd","03ffff0003fcfaf605000600fd0200fbfc070102","fffd0400fdfffc0105fd06fd01fdff00fefdfdfd","faff0204030a01fe07fc04fc01f804fffc070300","fd00ff0303fdfefefbfe000305fd02fe080002fc","fd01fe01fa03fc07ff04fa02fcfe00ff01030300","fbfdfff803ffff040301fc0101fc0402f800fb05","03fcfc00ff0603ff02f80103fffd020801fc06f8","02fe04fd0501f9f8ff050100ff030201fc0505fb","0903fef80302fef904fefe0b0904fe03f700fdfb","fcf8fd010009f80304fffd0001fefffd030100fb","ffff01fc0107fc0602fc00fefefb05f9f7fff803","fff600fc0506fcfd02fc080103010df900fdf901","fafef9f608fcfaff06fb0501fbfa07fffe02f9ff","fcfdfffb0604fffdfe00fcf8fffd0400faff0000","fa06020103fdfd05030305fe01fa030702faff03","0500fafcfa0100050604020201fc01fffdfef8fc","fffb02f702fe01fe05010301f9fa0700faff0005","fdfefffe0106f9fc0502fcfd000605030000f904","f40302f70308fd05020004ff01fd03fc02fd02fa","01fb03f90203f8fb0600fc0306030bfafe04fffd","03fe01fa0300ff0402080101f8fe01fdfff600fd","fbfc04f803fe00030102ffff02fdff0201fc0102","f8fdff020408fa0604fe01fd00fffe0000ff05fe","fff703ff0305f8030600fe04fcf8fffd04f9fb00","fefefffc0603feffff06fffd00fd04f9000300fa","ffff0400fe06fdff050302fffefc02fbfcf4fefe","05fefc02fe09fffe0202fe01fefefe0507fb03fb","fdfa01fc03070007020102f90401f90102f902f8","fbfefff7fc0604ff040201fffafefffa08020504","fdfefffe0305fe0505020002fe0103fd050100f8","fffef8fa0405fb0b0901fe09f8ff03fe0500fdf8","f800fe00040401050802fffbfdff03fafffa01fc","fb00f6fe00fefafe000601fafdfd00fb01fbfbf8","fefbfbfb0200fd010705fc0a01fc06ff03fafffa","f6fefffc03050101050603f9fcfbfafc04fc01fe","fcfb02fa0200f70503fffefb01f604f70101fffd","01fcfffe0500ff020702fcfc00fc09f8fdfef9fb","fcfb04fe0203fd0101fdff0201fdfffe03fafdfa","0002fbff0006ff05fafdfafdfeff04feffff01fd","f601fffa0402ff0203fe00ff0100fffe06fcfbfb","f2fdfff80603fb0804ffff01feff020202fffff4","f8fffb010203fa01070003fe02fd05fe03f90102","f50100fc0003ff00fe050500fffdf8fe01fc01ff","fefa03010109f90205fd05fc03ff0300fef7ffff","f7ff02fb0000fa04fd0705fe0900020103ff01fe","f3fb00010201f9020afdff0308fafefefbfffffa","f7fcff050000fd0601fcfe03fe02fcfd02f8fcf8","f9fe01ff000702fc05fefc01fefdfffe08f6fefd","fefc02fd01fcfa0303030501fff8fefefdfcf9fa","01f901fefe04fa01020001fe02fffd0101f8fdfb","fbff03020205fa0300fbff01fefdfffa01fd03ff","fafcfdfc0004fb000005fffffef9fdfefefcffff","f8fe06fbfefffa0005fc060304fffefc00f7fcfe","f80002fc01fffc06fefa02fffe00fffc05fb03f8","f5fe01010704030203fe02ff01f9fdfffff800f7","fffefe04060bf9ff03fd020000fafcfb01f900ff","f602010005fcff0406fefffdfe01020003f9fd01","fa01faff02fff90000fffe01fcfff80002f7fefe","f9fc00030402fe05fd01030400fcfa0101f9f9fd","fc0004030704f70206feff0002f9fcfb00f7fafa","fff8fffafdfffcfd0300fe07fafcfd0100f8fdfe","faf900fdfe05fc01ff06000201ff000200fafe03","f6fe01fefefdf900fd020401fbff01fcfcfaf8fa","f9fa010204fdfb090004fc0105f705fe05f9fdfb","fa0102010007fb0205060000fffe0103fffcfffc","fefcfb05fcfdfa0102020500fbfa03fbfdf6fff8","f9fb0404ff03fa01ff06fdfffcfeffff01fbfcfb","f6fc00fcfc0701020103f90201fb010000fcf8f8","fcfdf8fffefffb0601050507f6f7fd00fdf800fb","fbfd01fefc01fd00fd0208fff8fcfeff00f6fefc","fff903000200fd04040603fe00feff01fff800fe","f9fc01fe0201fb00fd020502fefe01fefcfafe00","f900ffff0003fa0002070206fbfffc06fffa00ff","f6fe02f8f805fb0403020200fdfd02fbfffafe00","00f400fefd01f902ff0a00fd0102ff01fcf700fe","fbfa05fefa060004ff04ff0201fe030800f8f700","fefefcfbfd05f7fbfe05faff00fc01fdfffcfefd","00f7ff00fe05fafdff04ff04fdfdfe01fdfafa02","fdfcfdfffcfff9000309050200fe0403fbfffe02","fbf9fcfd0103f80104030401fffe0002fdfe0000","fafefefffe05fd00030002fffcfd0200fdf4ff01","f7f9fbfffb04ff01fd030504fb020104fefcfb03","fafafc01ff03fd0505050000ffff02fff9f7ff02","fcf60002fc03fbfd00060306fdfafd00f7f5ff04","01effc01fc04fc0002ff0402fd0302fef9fb0000","00f9fefcfa04f90101040100fdfb0404fdf9fc03","faf9fbfdff06f501040004ff00fe0804fbf40300","01f9fe000003fd00000208fefdff0301fdf3fffe","fef70200fc05faff0702fdfffcff0001fbf700ff","fbf800000205fbfffe0002fefbf90303fff7fd03","fbfdfbfffd04fb00ff030101fefc04fff9f4fd00","f8fbfd000300fa00ff0500fefafd0001fef8fd00","00f806fe0106fe0101020402fffffa03fef7fc00","fff8fdfffe02f80104090400fefc0203faf6fc02","fcf6fb01ff06fbfe0103fc02ff030400fef80003","f7f5fd00fe02f80306020305fdfd0205fef6fa02","fbf9f8010201fd000402fc02fd030202fef7fbfd","fefafbfd0003fe00fc08040204fffffdfcf601ff","00fcfcfd0002fa06040401020003fffcf9f8ff03","f9f6ff020200fb01f90602ff0005fffef7f6fe00","f5fe0000fcfefd05030504fe00fb00fbfcf6ff04","f8fafafef904fe000007fc02fffffffefaf7f903","fafc0102fb09fd04ff03fbfdfafa0001f9f9fd00","fdf9fe02fd06fb0102060300ff03fefdf7f80105","fcf6fc01fb05fe0404040401fbfe0001f9fdff0b","00f802feff07fa070403ff01000103fefcf6ff05","fc01f6fd00fefc0503040005fe04fffcf5f6fe02","fbfd0000fc04f7040103010101fe00ff01f7fc00"],"trace":[[1,0,-0.5169816290569331,0.05949557635665235,-1.8104980788889407,211402,true],[2,0,-1.7104097811560033,0.07998183260266999,-3.875950112271312,211437,true],[3,0,-1.611666468684783,0.10028964017976413,-4.895773676107524,211402,true],[4,0,-0.7329216756635146,0.08472403194106053,-3.014501924554338,211402,true],[5,0,-0.6027417610965058,0.06502975207784703,-2.1572332646447876,211437,true],[6,0,-0.8800998472274983,0.07724680994082724,-2.525056635957185,211437,true],[7,0,-0.9194362400876921,0.08944381449473529,-2.52716595058871,211402,true],[8,0,-0.7143548924046046,0.06602104783390848,-1.8623088007377078,211402,true],[9,0,-0.5677948538227975,0.06727962348894145,-2.031525767845096,211402,true],[10,0,-0.8498587017214128,0.08154120879784586,-2.7301747102638956,211402,true],[11,0,-0.9566437944418942,0.06913342040041241,-2.1668142630999228,211437,true],[12,0,-1.5962793748528394,0.0721775617403896,-3.2115806554946857,211402,true],[13,1,-0.34988395740840605,0.06477760048544329,-1.8980828578894489,211402,true],[14,1,-0.7716419910074652,0.07143017059439928,-2.4315543839720704,211437,true],[15,1,-1.8486511847475553,0.10625838992548263,-3.72051298194242,211402,true],[16,1,-1.0085576359346424,0.08165972171606764,-2.4023278163681425,211402,true],[17,1,-1.0407033180319267,0.05809301595580032,-2.1121597431452983,211402,true],[18,1,-0.7353641869138716,0.0793447355126104,-2.32206684893265,211437,true],[19,1,-0.6006195316101719,0.08016493046727649,-2.7050378377673496,211402,true],[20,1,-1.0067100902621533,0.08571572332704368,-2.8580807244916286,211437,true],[21,1,-0.7612764093264879,0.0675204175281019,-2.2569986849456427,211402,true],[22,1,-0.5294582153573693,0.06452528163434096,-1.5226593095924272,211437,true],[23,1,-1.5083258678254463,0.09180788598016255,-3.61471114381834,211437,true],[24,1,-0.5192094285429247,0.056128833251131945,-1.6319542749257607,211437,true],[25,2,-0.5123545094419599,0.052418154945713356,-1.543908742479914,211437,true],[26,2,-0.4327476967345252,0.07339369475631548,-2.01094595874099,211402,true],[27,2,-0.6269036850424143,0.08038479288291646,-3.0189294580708292,211437,true],[28,2,-0.610398890524011,0.06333006376358669,-1.5511369563201924,211402,true],[29,2,-0.36138302456284155,0.058006135922688655,-1.5716211673521912,211437,true],[30,2,-0.8555177565821941,0.08122964433302275,-2.9107312775639684,211402,true],[31,2,-1.0601157971159028,0.07643891385207602,-2.657648663261284,211437,true],[32,2,-0.8764272134560098,0.08853734313911407,-2.636947299668236,211402,true],[33,2,-0.3411584472101188,0.08444289069972032,-2.0599705778377597,211402,true],[34,2,-1.4071376180151223,0.10969369905640355,-3.636949293312057,211402,true],[35,2,-0.7750139541537893,0.07844897906596723,-2.147848961983698,211402,true],[36,2,-0.5259913359197999,0.05572040380770697,-1.4482845046054535,211402,true],[37,3,-0.9104884347566786,0.08838111431817414,-2.2190915866796104,211402,true],[38,3,-0.8036758251274421,0.07707444180282719,-2.7011438251203117,211402,true],[39,3,-0.8861068747243577,0.0657976305557316,-2.3165599409289257,211437,true],[40,3,-1.3995809095082032,0.0808979454774155,-3.1010483440883263,211402,true],[41,3,-0.41324214319079555,0.05220352747980259,-1.2391582389160476,211437,true],[42,3,-1.0372038152137826,0.07320023386142085,-2.236501103572209,211402,true],[43,3,-0.5510982855302107,0.07286495156256365,-2.057213043942056,211402,true],[44,3,-0.45313161180676964,0.05848733819973576,-1.5795723097148766,211402,true],[45,3,-0.5491643433621123,0.07732546798781839,-1.8414494229328966,211402,true],[46,3,-0.6492177355926936,0.07851296956226268,-2.109538263935974,211402,true],[47,3,-0.6890432962347033,0.07089277698067187,-2.1525670022093664,211437,true],[48,3,-0.9808539203023923,0.08746225360553084,-2.9616471509855273,211437,true],[49,4,-0.7901685542613981,0.09192594355725875,-2.907394499792872,211402,true],[50,4,-0.3397784011389353,0.07088499916214823,-2.0200875978974295,211402,true],[51,4,-0.7887541216123228,0.07031172468072384,-1.9319237226707742,211437,true],[52,4,-0.3576458230623629,0.06664653886358217,-1.6429742360359114,211437,true],[53,4,-0.39513367237023633,0.056952286310659135,-1.6381672014346123,211437,true],[54,4,-0.4160787366353098,0.0643980512584721,-1.5601739220415993,211437,true],[55,4,-0.03943390745307607,0.04374428900502611,-1.2943609858332366,211402,true],[56,4,-0.7444982357336354,0.08065489462730425,-3.0694488927507564,211437,true],[57,4,-0.6323751588396096,0.07954401487668962,-2.376249776445661,211437,true],[58,4,-0.5982626215065441,0.06094452010092237,-1.6159594785754052,211437,true],[59,4,-0.3913237147983786,0.06455928763114853,-1.3668582733454286,211402,true],[60,4,-0.4737852669360727,0.06516502686625847,-1.7696259053475387,211437,true],[61,5,-0.5725116322973269,0.07611658322918609,-2.260369804486345,211402,true],[62,5,-0.6514733751346142,0.06766389420606532,-2.616169438550969,211402,true],[63,5,-0.9052319688302548,0.07534741853103512,-3.477224008928715,211437,true],[64,5,-0.31382671438104026,0.07693025607774334,-1.5548843726480754,211402,true],[65,5,-0.09270873364205201,0.044526997668652334,-1.4876592370582102,211402,true],[66,5,-0.4765026804279904,0.07876056507271352,-2.337145568511687,211437,true],[67,5,-1.1136637910461138,0.07889624411876886,-2.488470499120808,211437,true],[68,5,-0.17310435612607744,0.049761997257808915,-1.1519179180762649,211437,true],[69,5,-0.4397257149468228,0.07436893286001851,-2.7877044322116262,211402,true],[70,5,-0.5047341761722723,0.06188857055036089,-1.7525987214659153,211437,true],[71,5,-0.7449877616246665,0.0681536684869036,-1.862074907240185,211402,true],[72,5,-0.7334595533485206,0.08508828016553086,-3.124680225096995,211402,true],[73,6,-1.0219552901748257,0.08813900333441657,-3.0676989552259784,211437,true],[74,6,-0.3460023830323813,0.054430959173281925,-1.6608621662516043,211437,true],[75,6,-0.42809568363362427,0.055884305722176196,-1.402737954510826,211437,true],[76,6,-0.3757945418752566,0.07243685748612899,-2.3250187500987067,211402,true],[77,6,-0.3762392347665582,0.05679873287639668,-1.5487581510101336,211437,true],[78,6,-0.25424714237894097,0.046542609799545796,-1.4424935060927737,211402,true],[79,6,-0.8714696758529934,0.06701284051078964,-1.9615727028257197,211437,true],[80,6,-0.6201801301590084,0.05651686344729751,-1.5559417542091865,211402,true],[81,6,-0.14257073883142812,0.045202600919035406,-0.8300664924524881,211402,true],[82,6,-0.3425043861560404,0.054888494086674317,-1.434075901668507,211402,true],[83,6,-0.1714802963916524,0.05068309676433007,-1.1707491762450672,211402,true],[84,6,-0.08842342138525083,0.04598415358026963,-0.9644104848613324,211402,true],[85,7,-0.538626104255119,0.07417157801564568,-2.3730497409133022,211402,true],[86,7,-0.18563191437048498,0.051524953132182645,-1.2273546342091777,211402,true],[87,7,-0.4246927568775112,0.05544856994026659,-1.5885820624483813,211402,true],[88,7,-0.29945367162591907,0.06854889253100656,-1.567825387953917,211402,true],[89,7,-0.3238742028044177,0.058219000219426054,-1.6333959143350967,211402,true],[90,7,-0.7660186618660179,0.08187839101034639,-2.2753622655649224,211402,true],[91,7,-0.6487546612824007,0.064626440453626,-1.906157829736003,211402,true],[92,7,-0.4493259826104161,0.06706549970267252,-1.9355759754394057,211437,true],[93,7,-0.4563718552076672,0.06270994827675257,-1.6807428547930385,211402,true],[94,7,-0.23969349511041838,0.05638695364568585,-1.5164478823872969,211402,true],[95,7,-0.28650834453222984,0.049655408349978114,-1.3863266857039207,211402,true],[96,7,-0.6000036678869511,0.06496051019818723,-1.8277811234395358,211437,true],[97,8,-0.2233800856286532,0.049906143717237235,-0.8764144596970027,211402,true],[98,8,-0.2463602548381525,0.053112230921601465,-1.0693935732687123,211402,true],[99,8,-0.392460591128299,0.06494002915570948,-1.6155212903140637,211402,true],[100,8,-0.23269569123621192,0.05973884709417725,-1.3063746017930953,211402,true],[101,8,-0.36101134432453996,0.0648439223873787,-1.4552308093409465,211402,true],[102,8,-0.19414846757782467,0.05558050975603181,-1.5322951803850628,211402,true],[103,8,-0.6963458220246022,0.06092225309735506,-1.6445865986437411,211402,true],[104,8,-0.25893068904696737,0.06513924497785344,-1.9179558839369975,211402,true],[105,8,-0.19795402408697615,0.060359284921981324,-0.9931369174919382,211402,true],[106,8,-0.5678341043716015,0.07219394411268774,-2.250145962559941,211437,true],[107,8,-0.3669107049320415,0.06164816550169688,-1.4765204890839527,211402,true],[108,8,-0.5221158584612402,0.07582641627677641,-2.2428481148845094,211402,true],[109,9,-0.3825337886717497,0.059378298962084554,-1.6623224089138375,211437,true],[110,9,-0.24036748886870551,0.05316610989541472,-1.366219257952821,211402,true],[111,9,-0.2691655440514271,0.04412717743606909,-1.485977229997161,211402,true]],"generations":[{"generation":0,"best":-0.5169816290569331,"sigma_next":3.7475079315705946},{"generation":1,"best":-0.34988395740840605,"sigma_next":3.5884321931472707},{"generation":2,"best":-0.3411584472101188,"sigma_next":3.3298206009675573},{"generation":3,"best":-0.41324214319079555,"sigma_next":3.209126764462386},{"generation":4,"best":-0.03943390745307607,"sigma_next":3.043808337027996},{"generation":5,"best":-0.09270873364205201,"sigma_next":2.8969734500223034},{"generation":6,"best":-0.08842342138525083,"sigma_next":2.8056645207351054},{"generation":7,"best":-0.18563191437048498,"sigma_next":2.7777907919441995},{"generation":8,"best":-0.19414846757782467,"sigma_next":2.7197536809160594}],"frozen_validation":{"returncode":0,"stdout":"Validating strategy...\nCompiling strategy...\nStrategy 'no_cubic' validated successfully!\n","stderr":""},"selection":"Top three distinct valid training tables re-checked; maximum valid re-check mean frozen before held-out. Controls never used for selection."},"recheck":[{"seeds":{"start":541000,"stop_exclusive":541256},"paired":{"n":256,"mean_diff":-0.040801335433506614,"se":0.02701109591412885,"worst":-2.2483181189583092},"retail_edge_delta":null,"arb_edge_delta":null,"gas":{"max_ok":213812,"oog":0,"valid":true,"afterSwap_calls":2701483,"afterSwap_ok":2701483,"init_max_ok":220990,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211588,"oog":0,"valid":true,"afterSwap_calls":2657059,"afterSwap_ok":2657059,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":524.5765055755753,"stack_mean_edge":524.6173069110089,"table":[-6,-4,-3,-4,0,4,-5,0,0,5,-1,-1,-2,-7,-3,-2,-2,-4,-1,-1],"evaluation":55,"training_paired":{"n":64,"mean_diff":-0.03943390745307607,"se":0.04374428900502611,"worst":-1.2943609858332366}},{"seeds":{"start":541000,"stop_exclusive":541256},"paired":{"n":256,"mean_diff":-0.11490132183064139,"se":0.028381435006178096,"worst":-2.1719823453398703},"retail_edge_delta":null,"arb_edge_delta":null,"gas":{"max_ok":213812,"oog":0,"valid":true,"afterSwap_calls":2657707,"afterSwap_ok":2657707,"init_max_ok":220990,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211588,"oog":0,"valid":true,"afterSwap_calls":2657059,"afterSwap_ok":2657059,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":524.5024055891781,"stack_mean_edge":524.6173069110089,"table":[-6,-2,-2,-1,-2,5,-3,0,3,0,2,-1,-4,-3,2,0,-3,-12,-1,1],"evaluation":84,"training_paired":{"n":64,"mean_diff":-0.08842342138525083,"se":0.04598415358026963,"worst":-0.9644104848613324}},{"seeds":{"start":541000,"stop_exclusive":541256},"paired":{"n":256,"mean_diff":-0.11197763151534312,"se":0.02130632242269024,"worst":-1.2823083868114509},"retail_edge_delta":null,"arb_edge_delta":null,"gas":{"max_ok":213812,"oog":0,"valid":true,"afterSwap_calls":2655757,"afterSwap_ok":2655757,"init_max_ok":220990,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211588,"oog":0,"valid":true,"afterSwap_calls":2657059,"afterSwap_ok":2657059,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":524.5053292794935,"stack_mean_edge":524.6173069110089,"table":[-6,-7,0,-3,-2,5,-4,1,-1,6,0,2,1,-1,0,2,0,-6,-2,3],"evaluation":65,"training_paired":{"n":64,"mean_diff":-0.09270873364205201,"se":0.044526997668652334,"worst":-1.4876592370582102}}],"held_out":{"seeds":{"start":550000,"stop_exclusive":550512},"paired":{"n":512,"mean_diff":-0.0389275909257184,"se":0.018164335492415494,"worst":-1.1780050356396714},"retail_edge_delta":0.8823457127385416,"arb_edge_delta":-0.921273303664259,"gas":{"max_ok":213800,"oog":0,"valid":true,"afterSwap_calls":5374184,"afterSwap_ok":5374184,"init_max_ok":220990,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211576,"oog":0,"valid":true,"afterSwap_calls":5286377,"afterSwap_ok":5286377,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":522.0779029644498,"stack_mean_edge":522.1168305553754},"retail_edge_delta":0.8823457127385416,"arb_edge_delta":-0.921273303664259,"gas":{"max_ok":213812,"oog":0,"valid":true,"scope":"Frozen candidate: CRN, re-check, held-out, and confirmation if run. max_ok is afterSwap gas; initialization maxima are separate per-arm fields."},"confirm":null,"controls":{"shuffled":{"seeds":{"start":550000,"stop_exclusive":550512},"paired":{"n":512,"mean_diff":-0.7492254310664952,"se":0.025458721840595243,"worst":-4.2221637708092885},"retail_edge_delta":0.49648612047180074,"arb_edge_delta":-1.245711551538296,"gas":{"max_ok":213800,"oog":0,"valid":true,"afterSwap_calls":5331233,"afterSwap_ok":5331233,"init_max_ok":220990,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211576,"oog":0,"valid":true,"afterSwap_calls":5286377,"afterSwap_ok":5286377,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":521.3676051243089,"stack_mean_edge":522.1168305553754,"permutation":[6,18,7,10,2,11,0,17,19,16,9,12,5,15,13,14,3,4,8,1],"table":[-5,-1,0,-1,-3,-1,-6,-4,-1,-2,5,-2,4,-2,-7,-3,-4,0,0,-4],"rng_seed":2},"level":{"seeds":{"start":550000,"stop_exclusive":550512},"paired":{"n":512,"mean_diff":-0.11796333883680243,"se":0.018582634471081456,"worst":-1.4211329290418462},"retail_edge_delta":0.8330835229561656,"arb_edge_delta":-0.9510468617929674,"gas":{"max_ok":211995,"oog":0,"valid":true,"afterSwap_calls":5388568,"afterSwap_ok":5388568,"init_max_ok":220993,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"stack_gas":{"max_ok":211576,"oog":0,"valid":true,"afterSwap_calls":5286377,"afterSwap_ok":5286377,"init_max_ok":220962,"failures":{"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"candidate_mean_edge":521.9988672165387,"stack_mean_edge":522.1168305553754,"offset_half_bps_units":-1.85,"offset_bps":-0.925,"exact_mean":true}},"table":{"units_bps":0.5,"state_order":["same_step_elapsed_le_1","same_step_elapsed_gt_1","first_in_step_elapsed_le_1","first_in_step_elapsed_gt_1"],"rows":[{"ig":0,"Db_half_bps":[-6,-4,-3,-4],"Da_half_bps":[-2,-4,-1,-1]},{"ig":1,"Db_half_bps":[0,4,-5,0],"Da_half_bps":[-2,-7,-3,-2]},{"ig":2,"Db_half_bps":[0,5,-1,-1],"Da_half_bps":[0,5,-1,-1]},{"ig":3,"Db_half_bps":[-2,-7,-3,-2],"Da_half_bps":[0,4,-5,0]},{"ig":4,"Db_half_bps":[-2,-4,-1,-1],"Da_half_bps":[-6,-4,-3,-4]}]},"notes":["All reported edge differences are paired candidate-minus-STACK per seed; n includes every seed, SE uses sample standard deviation divided by sqrt(n), worst is the minimum paired seed difference.","Every arm runs alone against VanillaStrategy with amm_sim_rs.run_batch(...,8), in 16-config chunks. Each config uses default_rng(seed) draws in size/rate/sigma order with the pinned baseline ranges; price seed=seed, retail seed=seed+1.","Arbitrage edge reconstructed from the previous step spot and bid/ask, current fair price, and constant k=1000000; fees sit outside reserves. The initial quote is 4 bps. Reconstructed gross Y arbitrage volume is checked against simulator totals to tolerance 0.0001 + 1e-8 * simulator gross Y volume per seed. Retail edge = total edge - reconstructed arbitrage edge.","All callback categories from amm_sim_rs.gas_stats() are checked separately per arm. Any OOG, revert, other halt, transaction error, bad return, or calls!=ok invalidates an arm; no failed seed is dropped.","The level control uses the exact arithmetic mean residual as a constant WAD offset before compression, without rounding that mean back to the int8 lattice. Its initialization stays at STACK 4 bps.","Cell state 1 (not first in step and elapsed > 1) is unreachable under STACK timestamp handling; its five table entries remain in the specified 20-dimensional search.","The 30-minute search permits an evaluation started before the deadline to finish; no new evaluation starts after 1800 seconds.","Confirmation is run only when the frozen held-out mean is >2 SE and >=0.05, with no callback failures; otherwise the 5026000:5028000 block is untouched.","No leaderboard submission was made and no board improvement is claimed. Simulator results are local experimental measurements.","Held-out gate failed; retain STACK and leave the fresh confirmation block untouched."]}