{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic arb/retail tell and U1 tables underlying LEAN and QLX5.","n":17,"id":"window_first","family":"the split test's window and candidates","find":"(s2>>128&M64)+7){int256 m0","lo":"(s2>>128&M64)+7&&cnt==0){int256 m0","hi":"(s2>>128&M64)+7&&cnt!=0){int256 m0","seeds":{"first":10205176,"last":10205303,"n":128,"unused":[]},"arms":{"QLX5":{"mean_edge":543.8606607643106,"peak_gas":206572,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"LO":{"mean_edge":543.8541440598234,"peak_gas":206609,"out_of_gas":0,"runtime_bytes":22454,"source_sha256":"827f512136a69cd5b2a74e059a2cb7a60e8e007dc27313f6f7672cb4861c91b8"},"HI":{"mean_edge":543.8375857331848,"peak_gas":198181,"out_of_gas":0,"runtime_bytes":22455,"source_sha256":"05d2878f09e0281f887338a1ff165413cbf34239ddb0cf17bb02dd6b0f84a146"}},"diffs":{"LO-QLX5":{"n":128,"mean_diff":-0.006516704487211644,"se":0.006721638205934232,"sum_d":-0.8341381743630905,"sum_d2":0.7398887422913203,"seeds_positive":66,"min":-0.3334965314126066,"max":0.19809486617953098},"HI-QLX5":{"n":128,"mean_diff":-0.023075031125832535,"se":0.013835259420970808,"sum_d":-2.9536039841065644,"sum_d2":3.1797870430264896,"seeds_positive":51,"min":-0.4683647784456184,"max":0.591475330316257},"HI-LO":{"n":128,"mean_diff":-0.01655832663862089,"se":0.01426197476199196,"sum_d":-2.119465809743474,"sum_d2":3.3416289975368456,"seeds_positive":55,"min":-0.49259686409294545,"max":0.5696509442855131}},"pass_peak":{"LO":true,"HI":true},"reading":"On 128 assigned paired seeds, first-only LO changes edge by -0.006517 (SE 0.006722) and later-only HI by -0.023075 (SE 0.013835) versus QLX5; neither is eligible for promotion from this screening run.","not_done":["No leaderboard submission or contract promotion; this is a 128-seed structural screen, not a 1,024+ seed confirmation.","No replica or gates P, Q, T, F were run; only the assigned engine experiment, source validator and compile/size/gas/error checks."],"method":{"map_sha256":"f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e","driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","compiler":"solc 0.8.24; optimizer 200; viaIR true; evmVersion paris","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","source_check":"Base hash verified; find occurred exactly once; LO and HI each differ only by their prescribed replacement and match map hashes.","source_chars":{"QLX5":47230,"LO":47238,"HI":47238},"validator":"All three arms valid; no errors or warnings.","engine":"Unchanged driver; each arm alone against 30 bps VanillaStrategy; QLX5, LO, HI in each 32-seed block; workers=8; each assigned seed once per arm in ascending block order; all configs checked against kit.","seconds":168.96801750408486,"errors":"Zero oog, revert, other_halt, tx_error, bad_return in both participants in every block; all Submission afterSwap calls successful.","stats":"Paired differences; se = sample standard deviation (n-1) / sqrt(n); seeds_positive counts differences strictly above zero."},"evidence":{"columns":["seed","QLX5","LO","HI"],"rows":[[10205176,541.6311479135154,541.617697099394,541.9962501722208],[10205177,470.3037846739201,470.35432241474314,470.39696455956795],[10205178,549.0139882907836,549.0476250147882,549.0748486036475],[10205179,543.9616418628251,544.0343188390642,543.9726290959518],[10205180,477.32058677803894,477.33053361658494,477.196185029389],[10205181,590.2889569412404,590.2679381519915,590.4052774237954],[10205182,551.2299275622589,551.2734448988034,551.3934116849882],[10205183,499.2062812625532,499.2092809910582,499.2522403566853],[10205184,584.6111950700483,584.62799017586,584.5862272559746],[10205185,658.4821301198729,658.4945340299115,658.4070560818817],[10205186,364.7987242823967,364.79036508758435,364.77664711430714],[10205187,527.938257961694,527.9139344303605,527.7200992055288],[10205188,487.47862288676976,487.50168803865984,487.3019765113728],[10205189,409.8868245781294,409.88639765151936,409.80763834164014],[10205190,449.3602914458244,449.40488730138514,449.60202345353224],[10205191,554.2182049455519,554.0948999333782,554.1489521727855],[10205192,530.3257010218609,530.499913485316,530.4596320892722],[10205193,640.8191904848941,640.9117520083429,640.6568177819142],[10205194,614.3630451904246,614.4799068669083,614.4520128652623],[10205195,554.5657057954743,554.5036524782304,554.4465625372922],[10205196,529.6765857128491,529.6409620176753,529.7623127533047],[10205197,480.98833992104426,480.9344448681294,480.82602724870407],[10205198,493.3893433910672,493.41938755449115,493.5238336736262],[10205199,532.2576984820898,532.2783645109703,532.4244936801275],[10205200,536.6768251695324,536.6706539660063,536.559927107414],[10205201,595.1161730848892,595.0960529468257,595.1163165094523],[10205202,659.4138685273551,659.4701826929839,659.6346419425706],[10205203,490.845603261446,490.851674696659,490.70758120079586],[10205204,551.4004313560381,551.3612636422677,551.2163727745038],[10205205,423.81298323342253,423.791747660591,423.7303129221524],[10205206,537.3989697173948,537.3980267281678,537.5446500338462],[10205207,533.4106136090827,533.4753611651468,533.3999422004761],[10205208,457.4049623651625,457.41333128756696,457.3182182194152],[10205209,523.5103969884437,523.5229308137611,523.5089356068585],[10205210,594.6651547188751,594.5951383109855,594.393991782566],[10205211,547.7930274407619,547.8513082035461,547.6461563229611],[10205212,565.4453952509836,565.4187900534442,565.5360623348071],[10205213,495.3843529948869,495.3842937455732,495.17105773575713],[10205214,650.0734472033648,649.9900603886097,650.3619857881406],[10205215,694.184998721177,694.1764895038152,694.2458883113104],[10205216,411.30268212347136,411.3261203359091,411.26755205734736],[10205217,476.5355556728194,476.53445335236125,476.53863564737156],[10205218,785.5758071436481,785.6496828197037,785.7386736323386],[10205219,412.5603649446438,412.35921987721275,412.5561614730938],[10205220,419.14803054580915,419.14968927403083,419.20057345870765],[10205221,426.3942175136249,426.3907230581333,426.158102802863],[10205222,591.2880575809103,591.2656192862336,591.4294345273079],[10205223,701.2871857489287,701.3797550169684,701.0320707003655],[10205224,602.3303580263923,602.3279843355755,602.3028250598911],[10205225,547.7726344213154,547.7504383516374,547.4793274472676],[10205226,409.17993221730455,409.18294896948873,409.1611135118911],[10205227,495.3318555430362,495.4599873251929,495.4322186933739],[10205228,573.1376785991616,573.2145048523288,573.1112114461123],[10205229,411.12159237026395,411.13527493645756,411.05773559423614],[10205230,642.6290286762804,642.6579697478893,642.776954174572],[10205231,529.8041618841519,529.7486487992292,529.750384195725],[10205232,627.8679433857352,627.845652085319,628.0973626984311],[10205233,668.3524991382715,668.3124661581479,668.2469423827897],[10205234,562.6062532094828,562.6636407660843,562.3276881563455],[10205235,540.3524551790982,540.3466846194347,540.2820618340346],[10205236,398.7572674543041,398.7723410730761,398.75842092669296],[10205237,643.405887809484,643.4014081396244,643.4658458758922],[10205238,428.5191305732905,428.5192714226021,428.6233765773848],[10205239,689.958864016107,689.9699289173416,689.9433479062691],[10205240,632.5273498909688,632.3820487094192,632.3581641634879],[10205241,426.84443893652235,426.81678088927345,426.7538827860555],[10205242,486.9030862106467,486.9237784203436,486.82841225613976],[10205243,605.8481810918696,605.8667841218744,605.9916806342833],[10205244,553.9857114402812,553.7592230238894,553.7372493690578],[10205245,552.688308368407,552.702220534929,552.4517311350304],[10205246,523.1250808182695,523.1365104804394,523.2181705732735],[10205247,501.5168876761499,501.51961458853367,501.5426827984519],[10205248,483.8327424935634,483.85028143943975,483.91724232234094],[10205249,625.1508334483057,625.0279402397592,625.2186839600623],[10205250,613.1576378564188,612.9422011066438,612.8751822315722],[10205251,451.9921788540116,451.96324432854226,451.9802534960675],[10205252,675.695260570377,675.7513559242957,675.6295622444071],[10205253,665.7529181212312,665.882625428902,665.762328467066],[10205254,607.2180700969933,607.2352649945398,607.0998384369364],[10205255,632.2946757685605,632.2850446014362,632.5542707651354],[10205256,363.02443437791595,363.00250570871356,363.06505111699346],[10205257,373.76436504849676,373.6922167836914,373.60492463264495],[10205258,540.750922695751,540.7609377309406,540.6831516226646],[10205259,584.5463947652976,584.4471287859385,584.3277613776304],[10205260,623.4533089281325,623.4386409685027,623.3637419245924],[10205261,526.6449958783268,526.6511029563962,526.5886998613827],[10205262,479.96915967060806,480.00308319166317,479.8977129532549],[10205263,439.198519841192,439.22275192683935,438.7301550627464],[10205264,423.23637232974977,423.23961476363246,423.0771384495311],[10205265,376.07840916345083,376.1188832657222,375.92150436569455],[10205266,504.85462760072176,504.8529519416854,504.78564045886316],[10205267,653.1738327022938,653.2097088732199,653.1445091523708],[10205268,508.4912430006634,508.5003430122031,508.3450761262561],[10205269,451.93945910102656,452.0605547649993,451.914566587588],[10205270,573.3519775389094,573.4086175793935,573.3232277142594],[10205271,648.8411861366313,648.7260538683287,648.7537884955755],[10205272,492.385634604712,492.31045229216073,492.5316095760969],[10205273,650.6158648203997,650.3998105333441,650.7831498533257],[10205274,581.5051836095097,581.509994956844,581.3257415901618],[10205275,534.3491034179158,534.3576039246091,534.4170159686126],[10205276,616.9041577403055,616.9429653260688,616.7057749447771],[10205277,781.7879211083914,781.6561319726162,781.7070899761219],[10205278,634.7846623374463,634.7862252773183,634.8468313105675],[10205279,468.6880264164386,468.65750707892295,468.5869875037469],[10205280,525.1639803583289,525.0243117933187,525.0790986865692],[10205281,640.6456688176526,640.8437636838321,640.6010767391141],[10205282,494.8501666670805,494.75817571283017,494.7821095622237],[10205283,645.3043004182933,645.298635136222,644.9910061131168],[10205284,456.66477922885144,456.66372909065825,456.5043203054366],[10205285,613.1410012173986,613.0568382017309,613.094579076311],[10205286,691.9424515445749,691.919290659276,691.7747223895486],[10205287,434.3617154994424,434.3600112721125,434.0501592998832],[10205288,654.8870960491124,654.7609168888703,654.6952126230394],[10205289,670.3868997784306,670.4090240699214,670.5313590423814],[10205290,593.4158913688732,593.4188872618759,593.5295085389301],[10205291,605.0823100001222,605.2358050210917,605.2628570433268],[10205292,567.7132042196823,567.6998031980054,567.7573857052707],[10205293,549.0546578325949,549.0673505890575,549.0730521832525],[10205294,499.67539332066843,499.6471618589333,499.5771364941279],[10205295,624.2095752854882,624.2612444417647,624.212628758437],[10205296,430.64646545330885,430.6179105195396,430.57053031275177],[10205297,503.66275832205196,503.32926179063935,503.6617972506779],[10205298,423.741719215556,423.8519740571861,424.1105834681515],[10205299,594.4866701977529,594.4527397050816,594.6718511405419],[10205300,449.70877378886,449.67731190912883,449.69946816816935],[10205301,629.5939285681201,629.6157529541508,630.1854038984363],[10205302,453.96921136938454,453.9791935806653,453.8843954013005],[10205303,503.11001083778604,503.0306791544043,503.14036411572187]],"blocks":[{"first":10205176,"last":10205207,"peak_gas":{"QLX5":205501,"LO":203763,"HI":197133}},{"first":10205208,"last":10205239,"peak_gas":{"QLX5":206572,"LO":206609,"HI":195769}},{"first":10205240,"last":10205271,"peak_gas":{"QLX5":206552,"LO":204251,"HI":198181}},{"first":10205272,"last":10205303,"peak_gas":{"QLX5":204637,"LO":204947,"HI":194979}}]}}