{"item": "e", "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    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[15] = 400000000000000000 | (uint256(2000000000000000) << 160); 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            // Process variance is propagated inside the censored update.\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        // Censored assumed-density posterior. No external or future inputs.\n        uint256 arbProbability;\n        (fastHat, uncertainty, arbProbability) = _posterior(PosteriorInput(\n            fastHat, uncertainty, pImplied, spot, slots[2] >> 64,\n            prevBidFee, prevAskFee, firstInStep, silent, trade.isBuy,\n            trade.reserveY > 0 ? wdiv(trade.amountY, trade.reserveY) : 0\n        ));\n        slots[13] = uncertainty;\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 originalLambda = lambdaHat; uint256 originalSize = sizeHat;\n\n        if (313332340948774976 > 0) {\n            uint256 packedFlow = slots[15];\n            uint256 rate = uint80(packedFlow);\n            uint256 count = uint80(packedFlow >> 80);\n            uint256 meanSize = uint80(packedFlow >> 160);\n            if (rate == 0) rate = 400000000000000000;\n            if (meanSize == 0) meanSize = 2000000000000000;\n            if (isNewStep) {\n                uint256 inst = count / silent;\n                if (inst > 3 * WAD) inst = 3 * WAD;\n                uint256 retention = _powWad(999900000000000000, silent > 64 ? 64 : silent);\n                rate = wmul(rate, retention) + wmul(inst, WAD-retention);\n                count = 0;\n            }\n            uint256 weight = firstInStep ? WAD-arbProbability : WAD;\n            uint256 correctedWeight = weight;\n            if (2 == 2) {\n                uint256 missing = wmul(feeUsed, 295258630944077512704);\n                if (missing > 676913754948332416) missing = 676913754948332416;\n                correctedWeight = wdiv(weight, WAD-missing);\n            }\n            count += correctedWeight;\n            uint256 learning = wmul(WAD-999900000000000000, weight);\n            meanSize = _blend(meanSize, tradeRatio, learning);\n            slots[15]=rate | (count << 80) | (meanSize << 160);\n            uint256 retailRate = wmul(rate, 227474052282879744);\n            uint256 retailSize = 2 == 0 ? sizeHat : wmul(meanSize,1776671479763605504);\n            lambdaHat = _blend(lambdaHat,retailRate,313332340948774976);\n            sizeHat = _blend(sizeHat,retailSize,313332340948774976);\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        lambdaHat = originalLambda; sizeHat = originalSize;\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\n    struct PosteriorInput {\n        uint256 mu; uint256 v; uint256 obs; uint256 spot; uint256 preSpot;\n        uint256 bid; uint256 ask; bool first; uint256 silent; bool buy; uint256 size;\n    }\n    function _posterior(PosteriorInput memory x) internal pure returns (uint256, uint256, uint256) {\n        if (x.mu == 0) x.mu = x.spot;\n        if (x.v < 10000000000) x.v = 10000000000;\n        uint256 lo = wmul(x.preSpot, WAD-x.bid);\n        uint256 hi = wdiv(x.preSpot, WAD-x.ask);\n        if (x.first) {\n            if (x.silent>1 && x.preSpot>0) {\n                uint256 elapsed=x.silent>8?8:x.silent;\n                x.v += 902500000000*(elapsed-1);\n                (x.mu,x.v)=_band(x.mu,x.v,lo,hi);\n            }\n            x.v+=902500000000;\n        }\n        uint256 mRetail = x.mu;\n        uint256 vRetail = x.v;\n        // A missing own-pool trade is a censored price observation.\n        if (x.first && x.preSpot > 0) {\n            (mRetail, vRetail) = _band(x.mu, x.v, lo, hi);\n        }\n        if (!x.first) {\n            // A later print is retail. Only an interior route is an observation\n            // of the other pool, with explicit observation uncertainty.\n            uint256 fee = x.buy ? x.bid : x.ask;\n            if (fee > 30 * BPS) {\n                uint256 normal = x.buy ? wdiv(wmul(x.spot, WAD-fee), WAD-30*BPS)\n                    : wdiv(wmul(x.spot, WAD-30*BPS), WAD-fee);\n                uint256 residual = wdiv(absDiff(normal, x.mu),x.mu);\n                uint256 noise = 9000000000000 + wmul(residual,residual);\n                uint256 k = wdiv(x.v,x.v+noise);\n                return (_blend(x.mu,normal,k),wmul(x.v,WAD-k),0);\n            }\n            return (x.mu,x.v,0);\n        }\n        uint256 e = wdiv(absDiff(x.obs,x.mu),x.mu);\n        uint256 totalV = x.v + 22500000000;\n        uint256 z = wdiv(wmul(e,e),totalV);\n        uint256 density = _powWad(wdiv(WAD,WAD+z/8),4);\n        uint256 odds = wmul(density,wdiv(4000000000000000,_isqrt(totalV*WAD)));\n        if (x.size > 3000000000000000) odds = wmul(odds,4*WAD/10);\n        if (x.silent > 1) odds = wmul(odds,8*WAD/10);\n        uint256 sd = _isqrt(x.v*WAD);\n        uint256 width = wdiv(hi-lo,x.mu);\n        uint256 distance = x.mu<lo?lo-x.mu:(x.mu>hi?x.mu-hi:0);\n        uint256 zBand = wdiv(wdiv(distance,x.mu),sd);\n        uint256 mass = wmul(wdiv(width,width+2*sd),wdiv(WAD,WAD+wmul(zBand,zBand)));\n        if (mass < WAD/100) mass = WAD/100;\n        odds = wdiv(odds,mass);\n        uint256 prob = wdiv(odds,WAD+odds);\n        uint256 kArb = wdiv(x.v,totalV);\n        uint256 mArb = _blend(x.mu,x.obs,kArb);\n        uint256 mean = _blend(mRetail,mArb,prob);\n        uint256 between = wdiv(absDiff(mArb,mRetail),x.mu);\n        uint256 variance = wmul(prob,wmul(x.v,WAD-kArb)) + wmul(WAD-prob,vRetail)\n            + wmul(wmul(prob,WAD-prob),wmul(between,between));\n        if (variance > 100000000000000) variance = 100000000000000;\n        return (mean,variance,prob);\n    }\n    function _blend(uint256 a,uint256 b,uint256 w) internal pure returns(uint256) {\n        return b>=a ? a+wmul(b-a,w) : a-wmul(a-b,w);\n    }\n    function _band(uint256 mu,uint256 v,uint256 lo,uint256 hi) internal pure returns(uint256,uint256) {\n        // Soft interval likelihood avoids discontinuities at quadrature nodes.\n        uint256 sd=wmul(mu,_isqrt(v*WAD));\n        uint256[3] memory acc;\n        for(uint256 j=0;j<7;j++) {\n            uint256 p=j<3 ? (mu>(3-j)*sd?mu-(3-j)*sd:1) : mu+(j-3)*sd;\n            uint256 w=j==3?72:(j==2||j==4?45:(j==1||j==5?10:1));\n            uint256 distance=p<lo?lo-p:(p>hi?p-hi:0);\n            uint256 z=sd>0?wdiv(distance,sd):0;\n            uint256 likelihood=wdiv(WAD,WAD+4*wmul(z,z));\n            w=wmul(w*WAD,likelihood);\n            acc[0]+=w;acc[1]+=wmul(w,p);\n            uint256 d=wdiv(absDiff(p,mu),mu);\n            acc[2]+=wmul(w,wmul(d,d));\n        }\n        uint256 m=wdiv(acc[1],acc[0]);\n        uint256 d=wdiv(absDiff(m,mu),mu);\n        uint256 second=wdiv(acc[2],acc[0]);\n        return(m,second>wmul(d,d)?second-wmul(d,d):10000000000);\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 \"censored_10\"; }\n}\n", "sha256": "f31f75ce818f10a4402b1a598898fa1acdd498476636336c10b00cf9310b76cc", "params": [2, 0.3133, 0.9999, 0.2275, 1.7767, 295.2586, 3.0951], "params_exact": [2, 0.313332340948775, 0.9999, 0.22747405228287973, 1.7766714797636054, 295.2586309440775, 3.095148788646452], "parameter_names": ["structure (0=count,2=bounded correction)", "mix", "retention_per_step", "rate_scale", "size_scale", "quote_correction_slope", "correction_cap (max weight multiplier; missing<=1-1/cap)"], "log": [{"gen": 0, "params": [2, 0.3424067991934183, 0.999, 0.36638342491340714, 1.8832961581192982, 196.03088039613942, 1.5], "sha256": "f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2", "block": [840000, 840063], "n": 64, "mean_diff": 0.08257164506357029, "se": 0.07172910640520921, "max_ok": 198779, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.5302070473958893, 0.9882867625961794, 1.6950842646943738, 3.3216282177821332, 159.74292264135053, 1.2842982256416424], "sha256": "52cf0cd70cd869a9d027aeadc3ed8d45f91843b00316f80287b185231091fd6d", "block": [840000, 840063], "n": 64, "mean_diff": -8.78270995243222, "se": 0.4026235567166761, "max_ok": 203047, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.5150204997864472, 0.9939097862154578, 0.5003439894435875, 2.7859927180787927, 385.19644167366596, 1.05], "sha256": "a3c3ab30da03317d3cd7e6e1fa84bbc3aa67f5b6f52297a49fe3a9fe8dc173de", "block": [840000, 840063], "n": 64, "mean_diff": -0.03415303643271361, "se": 0.07882202863123154, "max_ok": 198751, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.26039501122667597, 0.9880300111705158, 0.3579451295284498, 1.9387331666895578, 134.2296207802963, 2.5768246285662704], "sha256": "7fd63d462d714244235331d6baa17a3fddb5e6a64dab2312c2e0967fc4f10786", "block": [840000, 840063], "n": 64, "mean_diff": 0.0221547806543807, "se": 0.065393120402561, "max_ok": 198775, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.3513368992265641, 0.9992670287615703, 0.02, 0.8585155405304945, 85.49003780032136, 2.0010336871118697], "sha256": "81165991d834554982294405fda9f3d586d9d6d273a5595b7664822ea9dd2d52", "block": [840000, 840063], "n": 64, "mean_diff": -1.7482776814067247, "se": 0.1383135888456169, "max_ok": 198732, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.18649723390722175, 0.9999, 0.45437129365901313, 2.073552589863092, 215.10494643421842, 2.1847464190082966], "sha256": "9f738fa7b5e2023cef2d86f97cbeaafe44c7d70a58f4652e92ab9486a69fac48", "block": [840000, 840063], "n": 64, "mean_diff": -0.1545538419287329, "se": 0.06757945540313512, "max_ok": 198775, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.5087229041409026, 0.9879929695031944, 1.3012294908305346, 1.3067583804609006, 278.2988663699552, 1.2132103606245044], "sha256": "992e1fedc071d4b7b9a59598e5d4832fdd1851ef00ab8ac21b980f113491cde9", "block": [840000, 840063], "n": 64, "mean_diff": -0.8536021690413378, "se": 0.1301889355208247, "max_ok": 198783, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.3124528886344804, 0.9999, 0.48666441003470035, 3.072786960542807, 115.28423388571188, 2.217669180266821], "sha256": "1b53ae713dd4c611b9cffab15e35142933fc2e5a7c48bc7bb23e32a7c332bee8", "block": [840000, 840063], "n": 64, "mean_diff": -1.451999249305735, "se": 0.1206640538009733, "max_ok": 197265, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.44750395594737974, 0.9999, 1.3255366186501945, 2.40468238757997, 461.9614372997043, 2.6811873669719395], "sha256": "a3f816c2c488be44f9ef6499dcbce02a01bea65a0b62904e07cefdab57f8c82b", "block": [840000, 840063], "n": 64, "mean_diff": -5.708973800845982, "se": 0.278492109546953, "max_ok": 197265, "oog": 0, "init_max_ok": 243099}, {"gen": 0, "params": [2, 0.20167820636727235, 0.9999, 1.0979650565683634, 1.4969450357464067, 438.7644152642312, 1.9942254908118837], "sha256": "933f391358bce5178373512f5770a25af6118f6cda91444c2be15f869341bf72", "block": [840000, 840063], "n": 64, "mean_diff": -0.28553730851817427, "se": 0.07808999542784126, "max_ok": 198771, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.46594799474548504, 0.9813498763425875, 0.16167864509995497, 1.163653330683421, 165.78611291670921, 1.1038587621264009], "sha256": "6d1b9e3a7bf23a9f6bd3bd2ac99ca2f51ea208738bfcce548d5243e7790fccd2", "block": [840064, 840127], "n": 64, "mean_diff": -2.475737025281042, "se": 0.13751763876637482, "max_ok": 192441, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.36112711576430645, 0.9907151974561885, 0.7518509689671083, 2.5063408181331064, 131.09567259805982, 1.05], "sha256": "78feba7d4219ea1ff058928df6ddcfaf456c0f4f70a5cd9b747e77e5a36d6543", "block": [840064, 840127], "n": 64, "mean_diff": -0.06967626533909943, "se": 0.06094854049860095, "max_ok": 192450, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.09813077743738091, 0.9999, 1.0562452326530145, 0.7149471161702718, 287.0696525789744, 3.44803350017568], "sha256": "3f9437daea222231061454b08ee77fea953acce1491f2b9805ed98df44b2c9fb", "block": [840064, 840127], "n": 64, "mean_diff": 0.09677696499490995, "se": 0.033656809144142985, "max_ok": 192441, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.4638506891888151, 0.9902370529585688, 0.03655984698938386, 1.8339317708096918, 274.91350084757613, 3.50887133365131], "sha256": "9315d1aecec79de9f75a6d6aeda7cccf76a08ea44e19032b1b7429f05997f068", "block": [840064, 840127], "n": 64, "mean_diff": -1.704213704707465, "se": 0.11699789791097119, "max_ok": 192431, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.4681833074074516, 0.9630207343309809, 0.409027439164426, 1.6511700965512675, 343.9114082117771, 3.515385426748672], "sha256": "325ce746eef983428e1dc548977ef2a4e1fb4c621d25e4e6ccf1e149854d8055", "block": [840064, 840127], "n": 64, "mean_diff": 0.07222900651780506, "se": 0.05966249410466847, "max_ok": 192431, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.3156069977487609, 0.9999, 0.20944960846740315, 1.7215045273443912, 220.62518869025354, 1.2693201510141405], "sha256": "b3a36ff3d818ce29cecd238577da4e7eb18c2c56abb294446b21cdeb2b652056", "block": [840064, 840127], "n": 64, "mean_diff": 0.1600098762105704, "se": 0.057927139495516165, "max_ok": 192431, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.25280646754384994, 0.9881425547877754, 0.02, 1.1284836010229216, 252.76305088194533, 2.0385811865510686], "sha256": "aa500ec3978f5c0f746141a0e7783ac4edb46633f5a2b22642f0db9769ad93c9", "block": [840064, 840127], "n": 64, "mean_diff": -0.6320371213195735, "se": 0.10020303121079677, "max_ok": 192441, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.46279732069662977, 0.9970324353685482, 0.0987508941593107, 1.660751400079107, 238.92443027775928, 1.434008814517656], "sha256": "08759a30f27cb3988e8649a17d768b02a59e5581761049d332cf9ab1d012e277", "block": [840064, 840127], "n": 64, "mean_diff": -1.62689886084637, "se": 0.12033979503549823, "max_ok": 192431, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.4472468187696653, 0.9836484148836367, 1.0528118840035714, 1.9388058739258671, 231.73163951609007, 1.1579003014875533], "sha256": "2177953cad959cb5d98155348fb7475a87f77288f076e67e231fd553e7fa68b2", "block": [840064, 840127], "n": 64, "mean_diff": -0.4047664565792317, "se": 0.09331161536448583, "max_ok": 192431, "oog": 0, "init_max_ok": 243099}, {"gen": 1, "params": [2, 0.37807600842843725, 0.9890603939490267, 0.6127015992436433, 2.3862225179517282, 154.87933622080257, 1.05], "sha256": "def0ffb13a0cde1a19be5454a16b25afe149657c167097ab4801250adcf616b1", "block": [840064, 840127], "n": 64, "mean_diff": 0.1023389977875695, "se": 0.051015439083702784, "max_ok": 192450, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.3464704475672504, 0.989351632801735, 0.5510734774474281, 2.442083439337778, 57.344633155920675, 1.826048786765805], "sha256": "d2dfaa29b55325b6570858ba3dfdb75a4d4535875bbc7b2a77c0e3a6d8c6413f", "block": [840128, 840191], "n": 64, "mean_diff": -0.16087020383868378, "se": 0.07803646627725727, "max_ok": 198969, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.33913680949932146, 0.9999, 0.5664111748919101, 3.361474679052396, 203.40644792282905, 1.820763267477934], "sha256": "c549ad6cfe957023510e46554ad8a6f8ec225d9772972c56bfb505bd70abe6ca", "block": [840128, 840191], "n": 64, "mean_diff": -2.39244697183487, "se": 0.1476925916982749, "max_ok": 199069, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.11110572206359982, 0.9777428576862224, 0.02, 1.0441335575442132, 179.99903220882706, 1.05], "sha256": "fde9b6968e60f172d43faeb3531b55a8cca1c0e99d36da51924a6f922630a9ac", "block": [840128, 840191], "n": 64, "mean_diff": -0.019557831382114088, "se": 0.05366088542629784, "max_ok": 199000, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.285117486119934, 0.9999, 0.3879763678628813, 2.073201958142737, 145.79710151921694, 1.1252693029143617], "sha256": "e0c6492f1ea487b0d03ddfce02a8d873e8989dbf7064032f4b57908567cc226e", "block": [840128, 840191], "n": 64, "mean_diff": -0.010270796178599717, "se": 0.06301809812667732, "max_ok": 199239, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.31370183518534805, 0.9999, 0.02, 1.9438906670076217, 232.14597399879582, 2.212201573724343], "sha256": "00888d39b58270907e4d6f575979528b11168029b6cff576227dc2101d799d1a", "block": [840128, 840191], "n": 64, "mean_diff": 0.1222861424589885, "se": 0.0538995098839386, "max_ok": 198980, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.313332340948775, 0.9999, 0.22747405228287973, 1.7766714797636054, 295.2586309440775, 3.095148788646452], "sha256": "f31f75ce818f10a4402b1a598898fa1acdd498476636336c10b00cf9310b76cc", "block": [840128, 840191], "n": 64, "mean_diff": 0.11116082214780487, "se": 0.046165992002763195, "max_ok": 199004, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.4840261378406061, 0.9949268528627919, 0.4623338893962773, 1.1760923253165343, 242.1300592175619, 2.734011763857554], "sha256": "d119ae79776223dc1d22c9796ddeddd6534a2dd72b39a881284fdd7287669c48", "block": [840128, 840191], "n": 64, "mean_diff": -0.04975156931983182, "se": 0.06187613724479438, "max_ok": 199000, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.16560967944825938, 0.9639150976607636, 0.2671401860291116, 1.8446907589641086, 314.9261222574811, 2.290555584478639], "sha256": "96797646a24de17f402df6291f59e85b1e38277a03791c972a3a72d786e82ed1", "block": [840128, 840191], "n": 64, "mean_diff": 0.03645081470629563, "se": 0.037275778627917595, "max_ok": 198988, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.33759218586419637, 0.9930074568377892, 0.872235233425728, 1.2468091434808266, 190.36370543033664, 2.3127095275097194], "sha256": "f75ae6b51b07bec680976d7747c786169024fe00a5f94ce7c94c0707297dbc89", "block": [840128, 840191], "n": 64, "mean_diff": -0.3009352618914347, "se": 0.09203429210299341, "max_ok": 199231, "oog": 0, "init_max_ok": 243099}, {"gen": 2, "params": [2, 0.4748499413924747, 0.990746171708923, 0.5381699208420042, 2.7808688153379304, 349.532292335766, 1.05], "sha256": "a0d4ff651550667a0b7012af2d490ab06e20435320df7d56f6405d3f9f9b9d06", "block": [840128, 840191], "n": 64, "mean_diff": -0.06237329770463074, "se": 0.06929784212537841, "max_ok": 198996, "oog": 0, "init_max_ok": 243099}], "v10_per_block": [{"block": 840000, "gas": {"max_ok": 191127, "init_max_ok": 220981, "oog": 0, "other_halts": 0}}, {"block": 840064, "gas": {"max_ok": 185784, "init_max_ok": 220981, "oog": 0, "other_halts": 0}}, {"block": 840128, "gas": {"max_ok": 191237, "init_max_ok": 220981, "oog": 0, "other_halts": 0}}], "recheck": [{"rank": 0, "params": [2, 0.3156069977487609, 0.9999, 0.20944960846740315, 1.7215045273443912, 220.62518869025354, 1.2693201510141405], "sha256": "b3a36ff3d818ce29cecd238577da4e7eb18c2c56abb294446b21cdeb2b652056", "search_gen": 1, "search_mean_diff": 0.1600098762105704, "seeds": [844000, 844255], "n": 256, "mean_diff": 0.12458832190536806, "se": 0.03093713721969953, "gas": {"max_ok": 200175, "init_max_ok": 243099, "oog": 0, "other_halts": 0}}, {"rank": 1, "params": [2, 0.31370183518534805, 0.9999, 0.02, 1.9438906670076217, 232.14597399879582, 2.212201573724343], "sha256": "00888d39b58270907e4d6f575979528b11168029b6cff576227dc2101d799d1a", "search_gen": 2, "search_mean_diff": 0.1222861424589885, "seeds": [844000, 844255], "n": 256, "mean_diff": 0.1292119491356869, "se": 0.03164006084044076, "gas": {"max_ok": 200175, "init_max_ok": 243099, "oog": 0, "other_halts": 0}}, {"rank": 2, "params": [2, 0.313332340948775, 0.9999, 0.22747405228287973, 1.7766714797636054, 295.2586309440775, 3.095148788646452], "sha256": "f31f75ce818f10a4402b1a598898fa1acdd498476636336c10b00cf9310b76cc", "search_gen": 2, "search_mean_diff": 0.11116082214780487, "seeds": [844000, 844255], "n": 256, "mean_diff": 0.17171694914275415, "se": 0.02801908628926781, "gas": {"max_ok": 200175, "init_max_ok": 243099, "oog": 0, "other_halts": 0}}], "held_out": {"seeds": {"first": 845000, "last": 845511, "n": 512}, "vs_v10": {"n": 512, "mean_diff": 0.18117069354388216, "se": 0.023088115807047924, "worst": [{"seed": 845110, "d": -1.2826217852135073}, {"seed": 845340, "d": -1.1845717977812456}, {"seed": 845232, "d": -1.1748456890032912}, {"seed": 845469, "d": -1.0150385980945202}, {"seed": 845027, "d": -1.0028324318423074}], "retail_edge_delta": {"mean": 1.1314178241333281, "se": 0.025766933994613692}, "arb_edge_delta": {"mean": -0.9502471305894481, "se": 0.013370337326166083}}, "vs_rs2": {"n": 512, "mean_diff": 0.01013272925853792, "se": 0.016178455907815508, "worst": [{"seed": 845089, "d": -4.795487757091053}, {"seed": 845321, "d": -2.0885476316532277}, {"seed": 845438, "d": -1.108890279210982}, {"seed": 845011, "d": -1.0462843039709924}, {"seed": 845112, "d": -0.915810808549395}], "retail_edge_delta": {"mean": -0.375599532389023, "se": 0.017123927970124377}, "arb_edge_delta": {"mean": 0.38573226164755814, "se": 0.008184954259245637}}, "rs2_vs_v10": {"n": 512, "mean_diff": 0.17103796428534424, "se": 0.02734758960137471, "worst": [{"seed": 845067, "d": -1.52351523079858}, {"seed": 845402, "d": -1.4060827677697034}, {"seed": 845238, "d": -1.363002803130371}, {"seed": 845369, "d": -1.2682951451284907}, {"seed": 845280, "d": -1.2136147649666782}], "retail_edge_delta": {"mean": 1.507017356522351, "se": 0.029543360339836344}, "arb_edge_delta": {"mean": -1.3359793922370065, "se": 0.013075891319908552}}, "arm_mean_edge": {"frozen": 528.6692481059199, "RS2": 528.6591153766615, "V10": 528.488077412376}, "arm_sha256": {"frozen": "f31f75ce818f10a4402b1a598898fa1acdd498476636336c10b00cf9310b76cc", "RS2": "f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2", "V10": "cd9bdb45ab0537ad25c4fd90ca8618898cef6386de3df65f192eaef65fbca245"}, "arm_gas": {"frozen": {"max_ok": 200257, "init_max_ok": 243099, "oog": 0, "other_halts": 0}, "RS2": {"max_ok": 200257, "init_max_ok": 243099, "oog": 0, "other_halts": 0}, "V10": {"max_ok": 192826, "init_max_ok": 220981, "oog": 0, "other_halts": 0}}}, "gas": {"max_ok": 200257, "init_max_ok": 243099, "oog": 0, "other_halts": 0, "limits_checked": {"afterSwap_max_ok_lt": 235000, "init_lt": 245000}, "search_max_ok_over_all_evals": 203047, "search_init_max_ok": 243099, "search_oog_total": 0, "search_other_halts_total": 0, "recheck_max_ok": 200175}, "checks": {"ch_seeds_0_999_mean_edge": 525.5258821780834, "ch_expected": 525.5258821780834, "ch_match": true, "parity": {"generator_sha_match": true, "generator_sha": "f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2", "mix0_seeds": [846000, 846031], "mix0_max_abs_edge_diff": 0.0, "mix0_sha": "edb266858c14047a4ba073f716bac92a156502852dec1ea8b842de5a44200431", "gas_mix0": {"max_ok": 192829, "init_max_ok": 220981, "oog": 0, "other_halts": 0}, "gas_v10": {"max_ok": 192826, "init_max_ok": 220981, "oog": 0, "other_halts": 0}}, "artifact_sha256_verified": {"RS2": "f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2", "V10": "cd9bdb45ab0537ad25c4fd90ca8618898cef6386de3df65f192eaef65fbca245", "STACK": "2eaafc7960e520b8a7fd322ec8afaff8fa677c730228a961efb509cc30b25719"}, "validate": "amm-match validate on frozen code: validated successfully (contract name censored_10)"}, "generator_source": "def generate(base,p):\n kind,mix,decay,scale,sscale,correction=p\n mix=int(mix*1e18);decay=int(decay*1e18)\n s=base.replace('(fastHat, uncertainty) = _posterior','uint256 arbProbability;\\n        (fastHat, uncertainty, arbProbability) = _posterior')\n s=s.replace('internal pure returns (uint256, uint256) {\\n        if (x.mu', 'internal pure returns (uint256, uint256, uint256) {\\n        if (x.mu')\n s=s.replace('wmul(x.v,WAD-k));','wmul(x.v,WAD-k),0);').replace('return (x.mu,x.v);','return (x.mu,x.v,0);').replace('return (mean,variance);','return (mean,variance,prob);')\n insert=f'''\n        if ({mix} > 0) {{\n            uint256 packedFlow = slots[15];\n            uint256 rate = uint80(packedFlow);\n            uint256 count = uint80(packedFlow >> 80);\n            uint256 meanSize = uint80(packedFlow >> 160);\n            if (rate == 0) rate = 400000000000000000;\n            if (meanSize == 0) meanSize = 2000000000000000;\n            if (isNewStep) {{\n                uint256 inst = count / silent;\n                if (inst > 3 * WAD) inst = 3 * WAD;\n                uint256 retention = _powWad({decay}, silent > 64 ? 64 : silent);\n                rate = wmul(rate, retention) + wmul(inst, WAD-retention);\n                count = 0;\n            }}\n            uint256 weight = firstInStep ? WAD-arbProbability : WAD;\n            uint256 correctedWeight = weight;\n            if ({kind} == 2) {{\n                uint256 missing = wmul(feeUsed, {int(correction*1e18)});\n                if (missing > WAD/2) missing = WAD/2;\n                correctedWeight = wdiv(weight, WAD-missing);\n            }}\n            count += correctedWeight;\n            uint256 learning = wmul(WAD-{decay}, weight);\n            meanSize = _blend(meanSize, tradeRatio, learning);\n            slots[15]=rate | (count << 80) | (meanSize << 160);\n            uint256 retailRate = wmul(rate, {int(scale*1e18)});\n            uint256 retailSize = {kind} == 0 ? sizeHat : wmul(meanSize,{int(sscale*1e18)});\n            lambdaHat = _blend(lambdaHat,retailRate,{mix});\n            sizeHat = _blend(sizeHat,retailSize,{mix});\n        }}\n'''\n s=s.replace('        uint256 flowSize =', '        uint256 originalLambda = lambdaHat; uint256 originalSize = sizeHat;\\n'+insert+'        uint256 flowSize =')\n s=s.replace('        uint256 dirDev;', '        lambdaHat = originalLambda; sizeHat = originalSize;\\n        uint256 dirDev;')\n s=s.replace(\"slots[13] = 902500000000;\", \"slots[15] = 400000000000000000 | (uint256(2000000000000000) << 160); slots[13] = 902500000000;\") if mix else s\n return s\n\n# --- cap extension (7th parameter); cap==2.0 reproduces RS1 byte-for-byte ---\ndef generate7(base,p):\n    p=list(p); kind=int(round(p[0])); cap=float(p[6]) if len(p)>6 else 2.0\n    s=generate(base,[kind]+[float(x) for x in p[1:6]])\n    if cap!=2.0:\n        old='if (missing > WAD/2) missing = WAD/2;'\n        assert old in s or float(p[1])==0\n        m=int((1-1/cap)*1e18)\n        s=s.replace(old,f'if (missing > {m}) missing = {m};')\n    return s\n", "notes": ["Setup per brief at amm-challenge 6b6921f8d463314aa7c96234e1be25a25245f704; wheel sha256 verified by setup script; CH check on seeds 0..999 reproduced 525.5258821780834 exactly.", "Parity: generate7(V10, RS2 params_exact) reproduces RS2 sha256 f24b6ca1...; mix=0 variant gives edges identical to V10 (max abs diff 0.0) on seeds 846000..846031.", "Search: own numpy CMA-ES, default_rng(25), pop 10, mu 5, log weights, sigma0 0.2 in a [0,1]-normalized box over 6 dims (mix 0..0.9, retention 0.9..0.9999, rate_scale 0.02..3, size_scale 0.3..4, slope 5..800, cap 1.05..8); structure fixed at 2 as the brief states; samples clipped to the box and clipped steps used in the update. Warm start = RS2 params_exact, evaluated exactly as member 0 of generation 0.", "Each generation used a fresh 64-seed CRN block 840000+64*gen with V10 run once on that block; fitness = paired mean edge diff vs V10; invalid (any halt, afterSwap>=235000, init>=245000) would be -1000; none occurred.", "Evaluations were slower than planned (~40 s per 64-seed arm, ~400 s per generation), so only 3 generations (30 evaluations, 1200 s measured) fit the 25 min stop; a 4th would have overrun to ~1600 s and was not started. Search blocks used: 840000..840191. This is a very short CMA run; it has not converged and the result should be read as a few probes near RS2, not a full family search.", "Search moved retention to its new upper bound 0.9999 for all top points (the old bound was 0.999); mix stayed ~0.31-0.33; rate_scale moved down toward 0.2 (one top point at the 0.02 lower bound); cap and slope were not pinned.", "Top 3 by search score rechecked on 844000..844255 vs V10; rank 2 (search 0.111) had the best recheck (+0.172 se 0.028) and was frozen before any held-out run. Held-out 845000..845511 run once per arm (frozen, RS2, V10), each alone vs VanillaStrategy via amm_sim_rs.run_batch(..., 8) in 64-seed chunks with gas_stats_reset/gas_stats per chunk; configs from the V10 harness_source configs() (MatchRunner._build_configs layout); arb/retail split by the V10 harness decomposition(); se = sd(ddof=1)/sqrt(n); no seed dropped.", "Init gas is 243099 for every RS2-family arm (V10 220981), only ~1.9k under the 245000 search limit; afterSwap peak 200257 on held-out, 0 OOG, 0 other halts.", "Gains vs V10/RS2 are in hundredths-to-tenths of a point, far below the ~+5 over STACK the goal needs. No STACK comparison was run, no seeds >= 5000000 were used, and no board claim is made.", "Held-out result: frozen vs V10 +0.181 (se 0.023; retail +1.131, arb -0.950); frozen vs RS2 +0.010 (se 0.016; retail -0.376, arb +0.386), i.e. not distinguishable from RS2. RS2 vs V10 on the same block +0.171. The widened bounds did not yield a measurable gain over RS2 in this short run."]}