{"item":"d","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 (368814349178386624 > 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(993265062498444032, 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, 408135880573796089856);\n                if (missing > 236906307719480416) missing = 236906307719480416;\n                correctedWeight = wdiv(weight, WAD-missing);\n            }\n            count += correctedWeight;\n            uint256 learning = wmul(WAD-993265062498444032, weight);\n            meanSize = _blend(meanSize, tradeRatio, learning);\n            slots[15]=rate | (count << 80) | (meanSize << 160);\n            uint256 retailRate = wmul(rate, 24213914757241600);\n            uint256 retailSize = 2 == 0 ? sizeHat : wmul(meanSize,3113400875246334976);\n            lambdaHat = _blend(lambdaHat,retailRate,368814349178386624);\n            sizeHat = _blend(sizeHat,retailSize,368814349178386624);\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":"e7ca0c8128743f52e248323b3c1e2d0fd95395aadc4af36569cdcb1daf634932","params":[2,0.3688143491783866,0.993265062498444,0.0242139147572416,3.113400875246335,408.1358805737961,1.3104550727073652],"params_exact":[2,0.3688143491783866,0.993265062498444,0.0242139147572416,3.113400875246335,408.1358805737961,1.3104550727073652],"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":[{"params":[2,0.3424067991934183,0.999,0.36638342491340714,1.8832961581192982,196.03088039613942,1.5000000000000004],"sha256":"5bb146cb61be6f33e6b2a6ac6d17c6f25aa1297571d48f6077a45bd6adc5cfef","block":[830000,830063],"n":64,"mean_diff":0.19814397608405,"se":0.06636303179787519,"max_ok":200268,"oog":0},{"params":[2,0.7071085764926693,0.9905175751765108,0.713329778357301,1.6756308931609454,115.0685743288497,1.0747051344051488],"sha256":"71fb843b250da20cf82a53bc99bc16d648dd4917f177e0c67db70f80d0b50205","block":[830000,830063],"n":64,"mean_diff":-0.1537421048886891,"se":0.10469865248402803,"max_ok":200268,"oog":0},{"params":[2,0.5035579625417357,0.9606676765029429,1.2305732894619055,0.6312597941559422,151.08352173568363,3.349371875504067],"sha256":"82858f700eca4afd0a5c94147ae9cc8c2910b847a81561dfaf89abe85bc6204e","block":[830000,830063],"n":64,"mean_diff":-2.6742865438434436,"se":0.2173102049310041,"max_ok":200278,"oog":0},{"params":[2,0.5215995634035413,0.9782902418261696,1.9477497327385402,2.2890117730066755,41.603544649628894,1.5886843241322952],"sha256":"0068be40b02da5af817b2aed89e050e0163ea14a7b890423e27a237f32c0a2e7","block":[830000,830063],"n":64,"mean_diff":-7.902044843956165,"se":0.3791798125180534,"max_ok":200268,"oog":0},{"params":[2,0.11802265561093815,0.987787584230764,0.8732016695075988,2.4161484128545316,236.24003303147498,3.7865137617733904],"sha256":"d836129cca3b4f9d1b32b96580d2483d3476c69fc3fd13309f3bf9fdb5420ee6","block":[830000,830063],"n":64,"mean_diff":-0.37062498406349587,"se":0.08866774850044917,"max_ok":200268,"oog":0},{"params":[2,0.41589749215890365,0.9601450406608782,0.3087708870647024,1.0415695947345494,140.6163705641153,1.1058147085952899],"sha256":"af382e5e21838b7264637c5604a40bf1cde7f6491806504486a04100ce8b6fea","block":[830000,830063],"n":64,"mean_diff":-1.2192572700264606,"se":0.1372439670144776,"max_ok":200268,"oog":0},{"params":[2,0.8726435003421291,0.9836624330788972,1.539198443707605,0.908995051291609,69.2401603989714,1.2941924514014074],"sha256":"5b371faee4bfd15b326a22e2a47c859a0d31b6c6dc9e60316e89a2b43ae3de44","block":[830000,830063],"n":64,"mean_diff":-2.8345287831727903,"se":0.2530052460221231,"max_ok":200268,"oog":0},{"params":[2,0.6581410991110809,0.9820735961463466,0.10630601718779405,3.6825568278933916,22.118086265057304,1.4315632959716198],"sha256":"8c8f4dd04dda94c532e6efc94cfe2715bd0bdd18b4e6638718daf5bf06e08d19","block":[830000,830063],"n":64,"mean_diff":-1.1193497886848256,"se":0.1368869378320486,"max_ok":200268,"oog":0},{"params":[2,0.020596646126132035,0.9919351198870849,1.107893543777997,3.2070201203287683,145.89435147305375,5.865130355094568],"sha256":"40632d2b4620d16a2ad6f66cf2d7275a108517d96b604fa908a705ecddbde8f9","block":[830000,830063],"n":64,"mean_diff":-0.005371094204194904,"se":0.04235668186926692,"max_ok":200268,"oog":0},{"params":[2,0.48783173352512577,0.9508314184297504,0.3000554745899941,2.1769545394591674,202.41520434664506,5.0969981944458],"sha256":"b25660b8bd4873c870b9b98cfe7970f3342bc1c5850397dc62ce7ba7440f4363","block":[830000,830063],"n":64,"mean_diff":-0.03271693379917373,"se":0.08952270943224101,"max_ok":200268,"oog":0},{"params":[2,0.1459279314288645,0.9680212606153176,0.6905700438366502,3.9692688153779194,328.9485893081595,2.062727876608549],"sha256":"252aadd2fc021179bd2683b4f05dfa971ed8d22e2c23dd237f15db64519c5edc","block":[830064,830127],"n":64,"mean_diff":-0.7493956115554479,"se":0.10565885492510248,"max_ok":197183,"oog":0},{"params":[2,0.46088468780887204,0.9880417683744965,0.18957272319185087,3.5112219721200812,293.10231656395007,2.5821092163543935],"sha256":"c8de15da11dd3c1c4aa15a166088e5cfaa2551be86337fd9736a40e65cecd79f","block":[830064,830127],"n":64,"mean_diff":-0.013234468928193799,"se":0.07922100507077795,"max_ok":198445,"oog":0},{"params":[2,0.3379417494898603,0.9898395694384519,0.04935758458184358,1.8079452821126003,305.4351319112755,3.5056892057189675],"sha256":"990fd464d3b81dd21aca6df306c24c8c2ad4de24cb7a49b2b8f3adb5a2d82efd","block":[830064,830127],"n":64,"mean_diff":-0.31630746629735285,"se":0.1022110657247558,"max_ok":197183,"oog":0},{"params":[2,0.5452501113862643,0.9730752377431532,0.07198045726457718,1.1400689418613106,619.8540936734353,3.5102254455215434],"sha256":"30b955c4df95ddd930956c2d3408894e4d9391ead4c4cb5c01c9bc2864626a0e","block":[830064,830127],"n":64,"mean_diff":-4.061449854123674,"se":0.17132322931938782,"max_ok":198665,"oog":0},{"params":[2,0.2232447092001633,0.9944415935742952,0.10614697847933305,1.7496224685864357,725.7582405736119,1.9448588477070512],"sha256":"351ce13d07ffdc8ac651e3ea40dea105fb8883bdfbdc2c1e6c21eaf03264da70","block":[830064,830127],"n":64,"mean_diff":0.1271997271224361,"se":0.07881465377002903,"max_ok":197183,"oog":0},{"params":[2,0.5339491090608044,0.9791194652041434,0.29433074997023656,1.1396717284352862,248.17651265876526,3.709086818015747],"sha256":"c4e17c17e66c20fb0efd7ac19061382aebd3661a9d927a492245cfeb49241154","block":[830064,830127],"n":64,"mean_diff":-0.7367659173628258,"se":0.12485224476494118,"max_ok":197183,"oog":0},{"params":[2,0.08048808163495101,0.9864488825208151,1.4509824523226864,2.5040136156726214,276.11273122299747,2.031891173743015],"sha256":"9482d3416ae3b173c09363aac6df420c4e8220d5ca94e3ce57fd5df5d4fb8219","block":[830064,830127],"n":64,"mean_diff":-0.39532691999099256,"se":0.07989336362817835,"max_ok":197183,"oog":0},{"params":[2,0.18216325862149127,0.9993101765434641,1.5316825534033824,2.1882256575338532,274.1026594571266,1.112632423582001],"sha256":"3ec193be49b805b247e9f77e04a956674792d98d28606f4b8630f27e029222e1","block":[830064,830127],"n":64,"mean_diff":-0.6836475614168576,"se":0.09952469682178317,"max_ok":197202,"oog":0},{"params":[2,0.1738910326171364,0.9533779389409325,2.421434221867767,3.2965172058504746,7.876680589343161,3.031246988211991],"sha256":"250dbb0e30c90fc01870051ac55b1ddb870e64c654221c11c29af06f3cb7cef9","block":[830064,830127],"n":64,"mean_diff":-2.2813059231062907,"se":0.16752056000039298,"max_ok":198933,"oog":0},{"params":[2,0.5316237569704779,0.9572889469786358,0.5554517066235123,1.1602329756527352,114.15224485409101,3.9003766864102314],"sha256":"2e789907d6c6618122a8e6a8efcc07ecb13f2104ddc693c5bda558ebd3132952","block":[830064,830127],"n":64,"mean_diff":-0.08935129271562836,"se":0.07693438019605028,"max_ok":197183,"oog":0},{"params":[2,0.5305218447442324,0.9520871264889907,0.46870895280305896,1.8011468528493744,308.65306028534803,5.097506409201023],"sha256":"b0b16226b5e6fef97980f3eb5eb9408de5ec572c8a59b7dc1e70d29571361c8d","block":[830128,830191],"n":64,"mean_diff":-0.7112911499701715,"se":0.10130163165976923,"max_ok":197288,"oog":0},{"params":[2,0.3262067053567804,0.9374579607044479,0.47315348122438267,2.2748269114795825,158.67419677085212,1.4659468490446679],"sha256":"3207b208d3e654181607d008fd944679e9c3a29ab39815018e197a20013f221e","block":[830128,830191],"n":64,"mean_diff":0.14353750559604084,"se":0.06813335064687877,"max_ok":197288,"oog":0},{"params":[2,0.5612022096691024,0.9808355360417386,0.09522047559338387,3.8098972545070553,377.88317209820116,4.916966155661558],"sha256":"2d983d66b6a8028eb225fe80c98e8042774b03f6a8d93ddd9529edb3e13a41fd","block":[830128,830191],"n":64,"mean_diff":0.2587067584823899,"se":0.09202477041015628,"max_ok":197288,"oog":0},{"params":[2,0.32179381832091525,0.9748603937010247,0.1858852698840699,2.722864996223032,349.91602345968823,1.943091365997319],"sha256":"17f2463bec22de6ccf9c03c97fa08bc768f88c0e0bea6536dc06cf5ea1588653","block":[830128,830191],"n":64,"mean_diff":0.2918136683155028,"se":0.08190273568121413,"max_ok":197288,"oog":0},{"params":[2,0.09588856632577436,0.9503351699150236,0.8086673344548534,3.8230998062177215,569.6681260156919,5.7734240635152325],"sha256":"35750e8d8a5f4977b82cfc68247163085b2a85d28c89e493b92a61c7445c04ca","block":[830128,830191],"n":64,"mean_diff":-0.7167188881924149,"se":0.11178411219191942,"max_ok":197288,"oog":0},{"params":[2,0.3855969241564323,0.9928164400707605,0.4471479286705308,1.7142211114499226,607.07917305837,4.652557709743354],"sha256":"d85662cb135d45a9a3cc593c20117a9e5471e759ca4756db70b017e4cd2c22ad","block":[830128,830191],"n":64,"mean_diff":-0.15925498557498052,"se":0.08123013710726983,"max_ok":197288,"oog":0},{"params":[2,0.3688143491783866,0.993265062498444,0.0242139147572416,3.113400875246335,408.1358805737961,1.3104550727073652],"sha256":"e7ca0c8128743f52e248323b3c1e2d0fd95395aadc4af36569cdcb1daf634932","block":[830128,830191],"n":64,"mean_diff":0.3469215990735437,"se":0.0837011416711696,"max_ok":197288,"oog":0},{"params":[2,0.404129557515327,0.9892197958824929,0.688414804287841,1.6211905254359207,393.14914416217755,2.000190362902668],"sha256":"2d8ff6bc43abe6afacfa8bdfb066df7eb30ba123e99594cede7e0bbb44db45ed","block":[830128,830191],"n":64,"mean_diff":-0.05633774320942031,"se":0.07497494434962526,"max_ok":197288,"oog":0},{"params":[2,0.09957150023616562,0.9873720253666396,1.5950513900510452,1.3596036608907052,682.5260009286721,2.7350648105617696],"sha256":"98e64c86c2e8d6a9cbe98e3d576ffc39a7771cfe02e3931e60e59d88839692e3","block":[830128,830191],"n":64,"mean_diff":-0.4418157633509141,"se":0.09949811204323529,"max_ok":197288,"oog":0},{"params":[2,0.33734018382404696,0.9735045230692203,0.5589979598785851,2.9358999319917554,256.77212666490175,2.059302886561526],"sha256":"0d38808f28bce84703e752ea01334a865205702b2274f8b33376017c7e3ea9f5","block":[830128,830191],"n":64,"mean_diff":-0.7334940216751633,"se":0.0968043834994097,"max_ok":197288,"oog":0},{"params":[2,0.6421900686731858,0.9716316735738314,0.6457127238319182,2.2647138123850503,174.7923760836663,1.9155255169169152],"sha256":"599813c4fe474e77d13e59643b12e6f47963a2c8cb165ec3efebbc026e969ad0","block":[830192,830255],"n":64,"mean_diff":-0.7816426765220399,"se":0.10268410156618503,"max_ok":200257,"oog":0},{"params":[2,0.3887939236755729,0.980895852566468,1.7128084861413198,3.5865396135581165,278.73594554080034,2.8595655944322376],"sha256":"8d2cb1f70c8c23d324d674ea726f5575d024a24dd04314ae3e5bc26c9adfc724","block":[830192,830255],"n":64,"mean_diff":-13.407867165317025,"se":0.46960795099711294,"max_ok":200257,"oog":0},{"params":[2,0.38981300694103554,0.9809137395812935,0.486548738981757,2.821770606253646,257.7413275056731,1.9362395919315938],"sha256":"30463e3318517e1af2fcb8fa58fdb85d278a8b6e2f2cf8f26397dca0f0c32c86","block":[830192,830255],"n":64,"mean_diff":-0.45857919033393113,"se":0.09915057591907507,"max_ok":200257,"oog":0},{"params":[2,0.6336767916587627,0.9814189177795006,1.2114636756920287,2.0455014537742118,34.45783916153105,1.4102925717205188],"sha256":"77515b572eb2837621e9a29e71394d4db802f8d1c20ac914914783042c4a7603","block":[830192,830255],"n":64,"mean_diff":-2.6313002077896623,"se":0.18941779692750788,"max_ok":200257,"oog":0},{"params":[2,0.5202425934727455,0.9701895565912403,1.0588692541376314,3.7969816184085783,704.6586579699276,2.581932496986699],"sha256":"4533674190ba2c2705e0abc3806ef9c990492fa885fd63370b4b483dd7989cf7","block":[830192,830255],"n":64,"mean_diff":-11.198580009126673,"se":0.4066016294325513,"max_ok":200257,"oog":0},{"params":[2,0.39018990671034365,0.9879095627104926,0.29115142741124755,3.780892696015268,327.29518625806395,1.5337870583642699],"sha256":"13d4779575a2799625efe339812dad252165a79e24e8f9be692815f26a2d5f6c","block":[830192,830255],"n":64,"mean_diff":-0.4166852736687394,"se":0.10074732044362737,"max_ok":200257,"oog":0},{"params":[2,0.15593011713323765,0.9293954486616212,0.09706494456700622,2.3050812946414947,480.4974804030252,2.6557314243215746],"sha256":"7a0be4706d7dc5f9e57e8ef2b3e9db96ce866901069148b472799637571d761c","block":[830192,830255],"n":64,"mean_diff":0.08956008586737418,"se":0.05290986799798993,"max_ok":200257,"oog":0},{"params":[2,0.024605745875347806,0.9579330493586389,0.700475817172488,3.820862235004971,555.586284620209,3.489685342927702],"sha256":"4136f92bceb72436c406a2a298bc93df6e6f237755416b3d34939dbdc1648e07","block":[830192,830255],"n":64,"mean_diff":-0.043951401803598245,"se":0.04150447965118623,"max_ok":200257,"oog":0},{"params":[2,0.32847821682169487,0.9822340676656938,0.939501423946129,3.0157574067641506,312.3209030394296,2.1517077882275664],"sha256":"424626d4dacce18cca26f550de3dca5260eca675e8660be5353093b29ecca9aa","block":[830192,830255],"n":64,"mean_diff":-2.8683768362450044,"se":0.17071733778410692,"max_ok":200257,"oog":0},{"params":[2,0.39916203439713965,0.9437815913847313,0.10104412478998831,3.9402233590958398,335.8473311367686,2.9246462958868857],"sha256":"8d71eff1dae3b95de2cd509ed458b6dff9a58def58c6f95677f5f6522902e1db","block":[830192,830255],"n":64,"mean_diff":-0.1807333063296488,"se":0.08798593281388263,"max_ok":200257,"oog":0},{"params":[2,0.47913329651128683,0.948617361192528,0.7254047227259794,2.0971793588318732,470.07566718154663,2.1593490713253196],"sha256":"74ecad7437c71ce5734234939fca7d1b1d88c17685d6ffcf241caf3f99e898a4","block":[830256,830319],"n":64,"mean_diff":-1.202678756940304,"se":0.1721765689887394,"max_ok":197160,"oog":0},{"params":[2,0.05003984572882705,0.9747021552968168,0.4150534286175358,3.1551802861550393,227.78093939194764,3.036830411308875],"sha256":"24e6d7e4889a59ccce2985ebde94f9471b900d41bbe5e5a12ae9d467c4e1a164","block":[830256,830319],"n":64,"mean_diff":0.04154920212635815,"se":0.04826650666540598,"max_ok":197160,"oog":0},{"params":[2,0.17305534136546613,0.9209700735994462,1.2641199256239462,3.3292821898270035,396.3789163632998,1.2881747977783085],"sha256":"e9c2f62cee4bdd205bedb8879a7a8d683f61dbc0d77b9970ae75757ad31eda63","block":[830256,830319],"n":64,"mean_diff":-1.0808925286676043,"se":0.1533500928622974,"max_ok":197160,"oog":0},{"params":[2,0.4832569761104807,0.9612226017124779,0.7512062777194516,3.612798745576523,357.05839873693446,3.900693542221692],"sha256":"73dd1b29f01be30a3d886422cb23360b23a3a77170bae5b81215d10b08813d48","block":[830256,830319],"n":64,"mean_diff":-7.869280000944911,"se":0.39555301183447156,"max_ok":197160,"oog":0},{"params":[2,0.32717279181997566,0.9013744566423928,0.31492946644126946,3.3902102182788183,407.86604005063657,4.22657804470534],"sha256":"f69c76f61d85ac254e2d34e6fe3b02395f1d49e0cf9bdf721a49fb10ed48df6e","block":[830256,830319],"n":64,"mean_diff":-0.887633329792668,"se":0.15901775085082126,"max_ok":197160,"oog":0},{"params":[2,0.39851707721114715,0.9901406457796786,0.5953290938963988,3.4874794378567393,755.370309734747,1.4253759067111136],"sha256":"8bb4cba284b3d092d264360980256522762ca38581bb31a4c1c857a75d99a924","block":[830256,830319],"n":64,"mean_diff":-1.134461107937212,"se":0.1718452565426519,"max_ok":197179,"oog":0},{"params":[2,0.14636385536176355,0.9224881433683887,0.07429404896928578,2.4881270394913675,705.5907877010466,4.780548614334402],"sha256":"038f60535cba0940ff944aca5b78ad6fa2ebd1fbb5705d7bcc32a789d6415f0e","block":[830256,830319],"n":64,"mean_diff":0.12669477677375784,"se":0.04690527111857633,"max_ok":197160,"oog":0},{"params":[2,0.08446522713574041,0.950486230304537,0.6710280016923102,2.4605701648027316,784.5417291505714,1.547244593809066],"sha256":"07b6b69644be0af7a2315c6eead22ed0c4582ee8a2c6e50920197f2491ef4a6f","block":[830256,830319],"n":64,"mean_diff":0.01649867086366541,"se":0.053404080774892976,"max_ok":197160,"oog":0},{"params":[2,0.4191106596371531,0.9461043916458546,0.23689730967336786,1.3876799948180552,489.5938933912378,2.8725413904933053],"sha256":"017ba1cc2119dcffb2486c8f5c3e7c62549d0a4861dbd320b754e014cde1ffae","block":[830256,830319],"n":64,"mean_diff":-0.35744085747688104,"se":0.1016692241274198,"max_ok":202425,"oog":0},{"params":[2,0.1396666406952168,0.9503421401855024,0.36148428999591575,2.4708652378277867,302.5547512596189,4.6465321708984835],"sha256":"6e482316bb1ed26313bb45e10139c0a7b4cf8fb8397c1fff7eb08e625a38171f","block":[830256,830319],"n":64,"mean_diff":-0.0031813361621981784,"se":0.07036194668234498,"max_ok":197160,"oog":0},{"params":[2,0.15533280197627253,0.9591865624291452,1.831303713559374,3.7383202592282845,650.0988476736399,3.8425748336092163],"sha256":"0ce8c7fe2ebceafaecf04eb802f23c11c7f9110d51e23e13f4446927f2dc9a73","block":[830320,830383],"n":64,"mean_diff":-5.073017096769122,"se":0.2867173677548248,"max_ok":200239,"oog":0},{"params":[2,0.10907170575043722,0.9451498797867822,0.45009786086944076,3.9000341196815773,363.9916930853613,4.585984186591235],"sha256":"a6513b54bcedd6327f803ae466572286a2cf40617b9d14def88d37cf722e22cd","block":[830320,830383],"n":64,"mean_diff":-0.33783679494526364,"se":0.09182569922163415,"max_ok":200239,"oog":0},{"params":[2,0.03764589389936015,0.9345893835257262,0.33411845819737035,2.485045411875033,588.480555411819,7.480259128521655],"sha256":"4340aca68b66e804bd2991bd231e533295063dda40e4eb1b4e36c4f066feb2f9","block":[830320,830383],"n":64,"mean_diff":0.022407276150735456,"se":0.023430116249931056,"max_ok":197265,"oog":0},{"params":[2,0.24937304605432095,0.9332791629634337,0.3790880278276459,2.960976582782978,313.6569314400508,3.3758611134234924],"sha256":"593d8fb9d8d4feb4ec3115d08c2bce4d099131749d3f2e0737729d5ee7e31f7f","block":[830320,830383],"n":64,"mean_diff":-0.3392746228333312,"se":0.07702824999986362,"max_ok":197265,"oog":0},{"params":[2,0.23788391083746543,0.9349350797944567,0.9626123791721829,3.9476397720703416,778.7298498236322,3.0548783023636634],"sha256":"250464265128b3d7d62b3a428e0a0ac4db02015fc360b8e299f6946692b676a9","block":[830320,830383],"n":64,"mean_diff":-3.8457141202220546,"se":0.25014918624516286,"max_ok":200239,"oog":0},{"params":[2,0.2883125232778107,0.9553180284235346,1.4260417121967663,2.88129077375414,42.20260166074808,3.9933613764634357],"sha256":"9f4e0975aa75a36e54bf48651fff1e9f4a03a2b939e51baf0816c6edd28b304f","block":[830320,830383],"n":64,"mean_diff":-2.54672053196885,"se":0.1796095260517885,"max_ok":200239,"oog":0},{"params":[2,0.2409583585026652,0.9111278374537016,0.4854626548419248,3.04270824705474,656.6188688438953,2.7234325744168704],"sha256":"bf811c772e04579b8487bd87004460cea57a0b2198a56255c98697522dfe8fe1","block":[830320,830383],"n":64,"mean_diff":-0.49382667626012644,"se":0.09872946971972038,"max_ok":200239,"oog":0},{"params":[2,0.22355381546433487,0.9312558785147891,0.1799771759270134,2.508199072538367,610.6457501238973,4.0412646014264695],"sha256":"83d8c5575c6645c0f1338fe645c5b8783d742ddae803213a7109880c36f2a3f7","block":[830320,830383],"n":64,"mean_diff":0.09431181181551374,"se":0.06585137294839354,"max_ok":197265,"oog":0},{"params":[2,0.12549242766995924,0.9030514819670468,0.1892361311926274,3.9512969383392478,688.7456394487898,2.070898247696981],"sha256":"648428ed65523c1281e8eee64f83f740ded3bf95c97408f8daba4cfe8696a082","block":[830320,830383],"n":64,"mean_diff":-0.1321641700871794,"se":0.06993179055621762,"max_ok":200239,"oog":0},{"params":[2,0.12006286425839713,0.9807661817186445,2.822546240323467,2.287822766997192,476.37446193968896,5.942230005582121],"sha256":"5283ff04226a2dc0cca1039aaf820299538c226fb05ce57f93fff83c9bf33209","block":[830320,830383],"n":64,"mean_diff":-6.342479293306655,"se":0.32242236177141237,"max_ok":200230,"oog":0},{"params":[2,0.06901157007890056,0.9232426931318165,1.2960907893377922,3.8883916507219367,625.7830643889492,4.158827844113497],"sha256":"1d05ec1254804bca45ed1aabf1c899c3e047dde6cc3e0f336b5e98ea381c406e","block":[830384,830447],"n":64,"mean_diff":-0.8829733826378954,"se":0.08864526613352287,"max_ok":197288,"oog":0},{"params":[2,0.06824630820082052,0.9181712956877952,1.6808331836459445,2.8456110825604046,472.829814269636,2.421478281473952],"sha256":"6b3ddcad1dffb96e3c774a5f07f908134659d16e323d9b01422b3171ca165958","block":[830384,830447],"n":64,"mean_diff":-0.644103540918052,"se":0.0829512039616662,"max_ok":197288,"oog":0},{"params":[2,0.15125518421677245,0.9178661915277225,2.3057578563624674,2.928995410293653,408.36167974223116,6.609905051946826],"sha256":"0b8a60728bdd59edd33204adef2e1b45444a23dc654bb0925c03d18897d4e1e1","block":[830384,830447],"n":64,"mean_diff":-8.01917871128941,"se":0.27865382465207594,"max_ok":202160,"oog":0},{"params":[2,0.14475907763494178,0.9087872019037845,1.1956431483140788,2.93972970906629,506.89719083736134,4.966944640638068],"sha256":"6c8c14770e60a6c31bea497152f6374c7db06214a67261bf0e19d142562cd2dd","block":[830384,830447],"n":64,"mean_diff":-2.2463130993756444,"se":0.14778899583199515,"max_ok":199170,"oog":0},{"params":[2,0.480688203324342,0.9509927410686595,0.3482980709252062,2.6507965209348106,474.9850509437529,3.3535930676690544],"sha256":"9377563f165d8a16df427e33077d5e5c3804acaf3d7907c0e6735f6d03f3018d","block":[830384,830447],"n":64,"mean_diff":-0.4724767486328316,"se":0.09739246044917059,"max_ok":197288,"oog":0},{"params":[2,0.30868826389214543,0.9017968813504367,0.47713974442876306,1.9848794691914051,721.1676709531861,5.62616214535714],"sha256":"d79e771193026f9f0026c76482f8f27c7e2ae8e5734b0f9cca9282d9758e9ac1","block":[830384,830447],"n":64,"mean_diff":-0.8243042690110203,"se":0.10339087353936645,"max_ok":197288,"oog":0},{"params":[2,0.14323027916836512,0.9006861339539757,0.4338582776834962,2.9434989993340293,339.918479498134,7.150458947210997],"sha256":"4ed8711d712e42fa40a1d6d5eb83163f0bc93ed274f2aa57932edb5c811de3b5","block":[830384,830447],"n":64,"mean_diff":-0.5508773797777673,"se":0.08231079643557244,"max_ok":197288,"oog":0},{"params":[2,0.18750377053242262,0.9132701458128409,0.7899835433215364,2.4447253614604643,491.93197564191723,5.86136716576604],"sha256":"9dd949b467d198006b9a77efa4a266507535c022c0a5294a7a57d1d97f9fd95b","block":[830384,830447],"n":64,"mean_diff":-1.5720340048702832,"se":0.12259375651246963,"max_ok":199162,"oog":0},{"params":[2,0.16637699504476333,0.9168615353674234,0.0657200180319976,3.835767597727724,375.0466698066746,5.757537038917116],"sha256":"080985afd6ed99c98d6a170d748d5a50fe45f31dd6936a577c319c877f979f61","block":[830384,830447],"n":64,"mean_diff":-0.08697886851186087,"se":0.07496636451823335,"max_ok":198948,"oog":0},{"params":[2,0.3688143491783866,0.993265062498444,0.0242139147572416,3.113400875246335,408.1358805737961,1.3104550727073652],"sha256":"e7ca0c8128743f52e248323b3c1e2d0fd95395aadc4af36569cdcb1daf634932","block":[834000,834255],"n":256,"mean_diff":0.24620007177033099,"se":0.04277569347407655,"max_ok":200245,"oog":0},{"params":[2,0.32179381832091525,0.9748603937010247,0.1858852698840699,2.722864996223032,349.91602345968823,1.943091365997319],"sha256":"17f2463bec22de6ccf9c03c97fa08bc768f88c0e0bea6536dc06cf5ea1588653","block":[834000,834255],"n":256,"mean_diff":0.15228344196189592,"se":0.03216818437351659,"max_ok":200245,"oog":0},{"params":[2,0.5612022096691024,0.9808355360417386,0.09522047559338387,3.8098972545070553,377.88317209820116,4.916966155661558],"sha256":"2d983d66b6a8028eb225fe80c98e8042774b03f6a8d93ddd9529edb3e13a41fd","block":[834000,834255],"n":256,"mean_diff":0.1069879949479906,"se":0.043860211862755336,"max_ok":200245,"oog":0}],"recheck":[{"sha256":"e7ca0c8128743f52e248323b3c1e2d0fd95395aadc4af36569cdcb1daf634932","params":[2,0.3688143491783866,0.993265062498444,0.0242139147572416,3.113400875246335,408.1358805737961,1.3104550727073652],"score":0.24620007177033099,"comparison":{"paired":{"n":256,"mean_diff":0.24620007177033099,"se":0.04277569347407655,"worst":[{"seed":834251,"d":-1.1253042193392275},{"seed":834102,"d":-1.0051361285374583},{"seed":834115,"d":-0.9137158028441945},{"seed":834145,"d":-0.8416929687041375},{"seed":834215,"d":-0.824133920206009}]},"retail_edge_delta":{"mean":1.9551467893505514,"se":0.052453814105769055},"arb_edge_delta":{"mean":-1.7089467175802149,"se":0.022289416694239436},"reconciliation_max_abs":1.1013412404281553e-13},"gas":{"max_ok":200245,"init_max_ok":243099,"oog":0,"other_halts":0}},{"sha256":"17f2463bec22de6ccf9c03c97fa08bc768f88c0e0bea6536dc06cf5ea1588653","params":[2,0.32179381832091525,0.9748603937010247,0.1858852698840699,2.722864996223032,349.91602345968823,1.943091365997319],"score":0.15228344196189592,"comparison":{"paired":{"n":256,"mean_diff":0.15228344196189592,"se":0.03216818437351659,"worst":[{"seed":834251,"d":-1.0216568836884221},{"seed":834080,"d":-1.013575377778352},{"seed":834168,"d":-0.9517235051505963},{"seed":834073,"d":-0.9361577140255122},{"seed":834102,"d":-0.8919485656480219}]},"retail_edge_delta":{"mean":0.5940681649781163,"se":0.033536382310614114},"arb_edge_delta":{"mean":-0.44178472301621646,"se":0.014468700530664165},"reconciliation_max_abs":1.1368683772161603e-13},"gas":{"max_ok":200245,"init_max_ok":243099,"oog":0,"other_halts":0}},{"sha256":"2d983d66b6a8028eb225fe80c98e8042774b03f6a8d93ddd9529edb3e13a41fd","params":[2,0.5612022096691024,0.9808355360417386,0.09522047559338387,3.8098972545070553,377.88317209820116,4.916966155661558],"score":0.1069879949479906,"comparison":{"paired":{"n":256,"mean_diff":0.1069879949479906,"se":0.043860211862755336,"worst":[{"seed":834080,"d":-1.805122754060335},{"seed":834215,"d":-1.4913598961436492},{"seed":834101,"d":-1.1256807537459963},{"seed":834192,"d":-1.076591134481589},{"seed":834141,"d":-1.0039496290575016}]},"retail_edge_delta":{"mean":1.2135359991984185,"se":0.0515510734163475},"arb_edge_delta":{"mean":-1.1065480042504223,"se":0.02243221641797943},"reconciliation_max_abs":1.1368683772161603e-13},"gas":{"max_ok":200245,"init_max_ok":243099,"oog":0,"other_halts":0}}],"held_out":{"seeds":[835000,835511],"vs_v10":{"n":512,"mean_diff":0.15940197831949932,"se":0.02711755683034363,"worst":[{"seed":835092,"d":-2.9307310358366294},{"seed":835095,"d":-1.4126882213463432},{"seed":835463,"d":-1.34577487202165},{"seed":835448,"d":-1.2805062507791263},{"seed":835212,"d":-1.1970239912240004}],"retail_edge_delta":{"mean":1.8515582946952494,"se":0.032889241532529874},"arb_edge_delta":{"mean":-1.6921563163757485,"se":0.016825373557163292},"reconciliation_max_abs":1.1368683772161603e-13},"vs_rs2":{"n":512,"mean_diff":-0.021094577677806647,"se":0.013215476435238988,"worst":[{"seed":835143,"d":-0.9585338441095814},{"seed":835006,"d":-0.9187371481223181},{"seed":835013,"d":-0.8200019101071234},{"seed":835178,"d":-0.7161465430181124},{"seed":835284,"d":-0.7072425457160989}],"retail_edge_delta":{"mean":0.3539925157480994,"se":0.015955763989120148},"arb_edge_delta":{"mean":-0.3750870934259042,"se":0.008769414715128284},"reconciliation_max_abs":1.1368683772161603e-13},"arm_gas":{"frozen":{"max_ok":202391,"init_max_ok":243099,"oog":0,"other_halts":0},"RS2":{"max_ok":201736,"init_max_ok":243099,"oog":0,"other_halts":0},"V10":{"max_ok":194056,"init_max_ok":220981,"oog":0,"other_halts":0}}},"gas":{"max_ok":202391,"init_max_ok":243099,"oog":0,"other_halts":0},"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","checks":{"parity":{"paired":{"n":32,"mean_diff":0.0,"se":0.0,"worst":[{"seed":836000,"d":0.0},{"seed":836001,"d":0.0},{"seed":836002,"d":0.0},{"seed":836003,"d":0.0},{"seed":836004,"d":0.0}]},"retail_edge_delta":{"mean":0.0,"se":0.0},"arb_edge_delta":{"mean":0.0,"se":0.0},"reconciliation_max_abs":0.0},"CH_mean":525.5258821780834,"RS2_generator_sha256_matches":true,"validation":"Validating strategy...\nCompiling strategy...\nStrategy 'censored_10' validated successfully!\n","search_evaluations":69,"search_blocks":[[830000,830063],[830064,830127],[830128,830191],[830192,830255],[830256,830319],[830320,830383],[830384,830447]],"search_last_completion_seconds":1508,"search_gas":{"max_ok":202425,"init_max_ok":243099,"oog":0,"other_halts":0}},"search":{"rng_seed":24,"pop":10,"mu":5,"sigma0":0.3,"bounds":{"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":2},"notes":["Frozen candidate beats V10 on held-out but has no demonstrated gain over RS2: paired mean -0.021094577677806647 with SE 0.013215476435238988 (512 seeds). Do not treat this item as an RS2 improvement or a board result.","RS2 and V10 artifact code SHA-256 verified against brief; generator at supplied RS2 params_exact reproduces RS2 SHA-256.","Warm start is supplied RS2 params_exact. Structure fixed at 2; six continuous parameters optimized in a unit box using full-covariance CMA-ES, numpy default_rng(24), population 10, mu 5, initial sigma 0.3; reflected bounds. First population includes the normalized warm start; floating-point round trip changes cap 1.5 to 1.5000000000000004 (its source hash differs from RS2). Exact RS2 source is evaluated as a separate held-out arm.","Each generation uses a fresh 64-seed search block shared by V10 and candidates. Each arm runs alone vs VanillaStrategy, run_batch workers=8; gas_stats reset and collected per <=20-seed chunk. Fitness is paired edge difference vs V10; any halt or afterSwap >=235000 or init >=245000 gets -1000.","Timer is checked before each evaluation; an evaluation already in flight completes. Search restricted to 830000..833999. Top three individual search evaluations ranked by paired mean are rechecked on 834000..834255. Winner frozen before held-out 835000..835511; no seeds >=5000000 used and no board claim.","SE is sample standard deviation (ddof=1) / sqrt(n). Worst contains five smallest paired edge deltas. Retail and arbitrage deltas are reconstructed with the supplied V10 harness and reconcile to total edge.","params and params_exact both record the full-precision frozen parameters; log also includes full-precision floats.","gas summarizes frozen held-out arm only; per-evaluation and per-arm gas is reported separately. init_max_ok includes initialization and getName callbacks.","Upstream source and simulator are the pinned task versions; dependencies were used only in disposable test/scratch. Delivered strategy needs the challenge base contracts, like the supplied RS2/V10."]}