{"key":"eng2-12001280","seeds":{"from":12001280,"to":12001535},"ib":{"n":256,"sum":133290.06798785817,"sumsq":71243058.50380743,"rows":[[12001280,389.0845935274874],[12001281,571.7915147546781],[12001282,618.8990537223319],[12001283,510.84530004754544],[12001284,352.6738160858712],[12001285,447.9497697808411],[12001286,529.339937910841],[12001287,441.00928545430423],[12001288,528.2966834991366],[12001289,508.11558256052854],[12001290,606.2284301720127],[12001291,586.1921081626981],[12001292,518.6217494980621],[12001293,545.3765186241651],[12001294,355.16902462363],[12001295,448.6893815003558],[12001296,411.9434438104742],[12001297,635.3470953303101],[12001298,455.4842808696331],[12001299,418.344871030751],[12001300,457.4946403033556],[12001301,517.8200468121254],[12001302,391.5304224557256],[12001303,788.6105429266989],[12001304,494.5111265319505],[12001305,617.4341886462173],[12001306,434.9107123195371],[12001307,531.6912273294151],[12001308,405.31726300759664],[12001309,467.07496179695573],[12001310,448.67586641700245],[12001311,462.6282180118245],[12001312,454.1356198510847],[12001313,651.5816387393342],[12001314,521.1684259615241],[12001315,447.9157350804576],[12001316,615.9881728956581],[12001317,425.3731614133266],[12001318,565.1537982090077],[12001319,654.7508362281445],[12001320,594.4328092844667],[12001321,580.8110679351165],[12001322,555.0673531561899],[12001323,497.61388776856546],[12001324,489.67992025759423],[12001325,501.1031415361165],[12001326,483.18314516727503],[12001327,490.6075115275331],[12001328,415.92505961572095],[12001329,420.86443638789314],[12001330,426.5315927567411],[12001331,493.8400146352147],[12001332,525.1713133484527],[12001333,486.3334278491473],[12001334,519.5025639085426],[12001335,484.49454971279494],[12001336,621.6807289942026],[12001337,461.12905164812696],[12001338,410.574521733476],[12001339,595.796755847852],[12001340,675.1542795818331],[12001341,631.4699380994172],[12001342,416.8641134265066],[12001343,433.60409817848563],[12001344,468.44606924659564],[12001345,605.1005711231568],[12001346,580.6980547325346],[12001347,515.3686128047223],[12001348,474.57756807125855],[12001349,417.45866768926646],[12001350,457.5447215553624],[12001351,577.6185035864623],[12001352,562.3481382807294],[12001353,611.8004110359415],[12001354,466.8986117511458],[12001355,543.4695422632743],[12001356,448.4049863517562],[12001357,638.6036080537046],[12001358,519.1219251835256],[12001359,581.4065278327976],[12001360,429.8239673339705],[12001361,533.9590602859085],[12001362,425.95621405373663],[12001363,473.9573632023628],[12001364,582.9648363165937],[12001365,586.9980424326722],[12001366,610.6528077153293],[12001367,408.1456543908398],[12001368,550.722957597784],[12001369,488.02281814825346],[12001370,555.624208785925],[12001371,444.67024309398477],[12001372,440.5632084257442],[12001373,721.3850007319022],[12001374,578.7942175124429],[12001375,527.7579710710779],[12001376,645.0614444354594],[12001377,608.1794551473681],[12001378,606.9496512927901],[12001379,465.71770225393493],[12001380,641.9854583079264],[12001381,411.9945563481678],[12001382,632.8913407621906],[12001383,461.72858728613636],[12001384,429.01694124277805],[12001385,363.49965160431003],[12001386,472.8318237448321],[12001387,521.1923955291591],[12001388,539.7323320898237],[12001389,570.4634767159499],[12001390,527.5720647380128],[12001391,445.7303020370185],[12001392,589.6911810770915],[12001393,534.5627685761164],[12001394,449.0263129191059],[12001395,592.3209584231001],[12001396,515.5159460429979],[12001397,438.09885908484983],[12001398,446.3403008211968],[12001399,691.9949820602072],[12001400,645.5503911608679],[12001401,622.5645460398807],[12001402,482.0714507593508],[12001403,613.4511837375591],[12001404,538.3982845965693],[12001405,554.4405094945969],[12001406,677.2321250507124],[12001407,617.7214886753126],[12001408,664.944034897743],[12001409,614.3035160290557],[12001410,459.1237842762369],[12001411,501.59494418923856],[12001412,432.36147588754716],[12001413,689.7535987855331],[12001414,509.0780807623809],[12001415,472.938319397872],[12001416,532.7399864263157],[12001417,405.63821881604025],[12001418,598.0693135285691],[12001419,480.037504735921],[12001420,469.00369844336086],[12001421,445.1895033535379],[12001422,428.62916785874086],[12001423,494.38536921826324],[12001424,582.9786468055701],[12001425,548.9599345057183],[12001426,667.5440848783951],[12001427,568.0066884835737],[12001428,628.5839810271541],[12001429,638.7323819934712],[12001430,408.69332861622513],[12001431,525.0261760284526],[12001432,578.9864835070433],[12001433,519.4664404106253],[12001434,474.09692576912744],[12001435,577.4002778067497],[12001436,439.1461521592057],[12001437,612.158893098942],[12001438,455.9924112965122],[12001439,594.0798198441679],[12001440,428.3462016866574],[12001441,577.7892662084126],[12001442,470.239168180233],[12001443,468.7794836070349],[12001444,400.0194001136698],[12001445,564.9084409683088],[12001446,477.9360634517422],[12001447,399.3281802693367],[12001448,428.18986639386503],[12001449,440.9795086699882],[12001450,545.1435364145234],[12001451,536.6784686600383],[12001452,398.79550276983457],[12001453,588.7197343488444],[12001454,578.840218219326],[12001455,558.6958188063519],[12001456,355.2916885337671],[12001457,645.2686563941827],[12001458,526.0369534648495],[12001459,510.1521338389907],[12001460,548.3612410353314],[12001461,734.6762096964977],[12001462,612.7175226336647],[12001463,617.6385288616679],[12001464,555.1437399550175],[12001465,403.236165662327],[12001466,587.9216419478996],[12001467,439.573496125942],[12001468,551.2998628703277],[12001469,640.2915379909496],[12001470,528.1311832156254],[12001471,581.2762930610884],[12001472,541.710092247353],[12001473,491.93653910111055],[12001474,497.8558793562516],[12001475,630.2176492682213],[12001476,499.9272618714405],[12001477,521.0185294349282],[12001478,497.59491443364686],[12001479,594.4481762851668],[12001480,469.52399474728884],[12001481,529.4715757092451],[12001482,445.3199252770848],[12001483,543.5169859644215],[12001484,619.2118749599509],[12001485,450.2703050725902],[12001486,514.591853897773],[12001487,452.826175384344],[12001488,463.9558173485274],[12001489,536.4620814258492],[12001490,395.2131915251464],[12001491,516.4552858012132],[12001492,439.9781435854083],[12001493,617.8937283282967],[12001494,591.8166797903224],[12001495,381.8920459239786],[12001496,501.29683514870896],[12001497,457.2444970738854],[12001498,403.7352309285093],[12001499,610.0498390560696],[12001500,526.9468140597335],[12001501,639.3623673483994],[12001502,411.60705249213277],[12001503,486.3603942466815],[12001504,599.0060778290845],[12001505,595.8009298081276],[12001506,590.6180600675115],[12001507,499.8046673625417],[12001508,566.815572010116],[12001509,550.5414916185005],[12001510,594.0774355314754],[12001511,433.66852183074747],[12001512,415.49433133511246],[12001513,532.6236517881642],[12001514,373.2685299067672],[12001515,484.6855106342483],[12001516,433.5449183021361],[12001517,628.5390812046078],[12001518,480.4000783572423],[12001519,680.0924311849271],[12001520,665.8600582741826],[12001521,628.7195764260605],[12001522,662.4390098267021],[12001523,564.0578258824349],[12001524,459.99172295573],[12001525,359.1419019326675],[12001526,359.13965506020014],[12001527,441.3396918701547],[12001528,613.1973097354792],[12001529,470.8370063078463],[12001530,479.03177819060653],[12001531,630.209365607823],[12001532,320.3759142208749],[12001533,411.05697153418737],[12001534,532.1099246925742],[12001535,608.8205016060696]]},"port":{"n":256,"sum":134075.0422040098,"sumsq":72092407.91462126,"rows":[[12001280,389.8149200732826],[12001281,573.7163649300538],[12001282,622.3854189221405],[12001283,512.8809986871506],[12001284,353.8988589311414],[12001285,450.95205355003804],[12001286,532.5994295367005],[12001287,443.30421204428535],[12001288,531.1076081306664],[12001289,511.79645845518485],[12001290,610.3055923366687],[12001291,591.0562985322994],[12001292,521.5327879814478],[12001293,551.7357143064729],[12001294,357.0417792958717],[12001295,450.41318390582245],[12001296,413.24556973573004],[12001297,638.5007304566351],[12001298,457.3095559476085],[12001299,421.37910757932343],[12001300,458.75092283339626],[12001301,521.1747211789077],[12001302,392.6990384895705],[12001303,795.1485317341907],[12001304,498.5300726630961],[12001305,621.9130386133787],[12001306,437.496975026539],[12001307,534.5615375438855],[12001308,406.80679873473474],[12001309,470.75974683775905],[12001310,450.6034429518702],[12001311,465.1518773793888],[12001312,457.99143371759885],[12001313,654.2646903301849],[12001314,524.1368071055834],[12001315,450.4079117104051],[12001316,619.4563037017242],[12001317,429.02468897956487],[12001318,568.2642624630057],[12001319,657.9755775775473],[12001320,598.5352584211773],[12001321,584.3557799712668],[12001322,557.524047882038],[12001323,501.4201198107066],[12001324,494.26899722317137],[12001325,506.1911609438834],[12001326,484.55668699652335],[12001327,493.28446147213543],[12001328,419.490169492241],[12001329,421.7097548847478],[12001330,426.49144940324106],[12001331,497.0865856860136],[12001332,527.2667448760236],[12001333,489.68816903270283],[12001334,523.1701588001181],[12001335,486.9777349508773],[12001336,623.8497022963687],[12001337,462.4013566313599],[12001338,411.84884287236537],[12001339,599.3035508017938],[12001340,679.3553598091247],[12001341,637.0685989116532],[12001342,419.94174735039877],[12001343,436.57326285512954],[12001344,471.20057419467184],[12001345,609.3885196693072],[12001346,584.9863927697818],[12001347,520.1682968700095],[12001348,478.82496657770236],[12001349,419.6200677934485],[12001350,460.46200339128245],[12001351,581.1268172999685],[12001352,566.5772001893108],[12001353,616.854942264868],[12001354,468.73641585312146],[12001355,543.5209397066258],[12001356,449.9667263735585],[12001357,639.7840410748581],[12001358,522.3235730784534],[12001359,586.076012772609],[12001360,432.2036242873849],[12001361,536.857572803744],[12001362,427.34267017768565],[12001363,478.2148331469153],[12001364,588.2696041336543],[12001365,590.7676143752014],[12001366,613.0736246334816],[12001367,409.97116269194436],[12001368,551.8841647286736],[12001369,490.75331515425614],[12001370,558.0279869689936],[12001371,445.84034791659764],[12001372,441.35426747572296],[12001373,725.0383418950781],[12001374,581.7975679252361],[12001375,531.1002085044437],[12001376,650.3065368044087],[12001377,611.5214183827724],[12001378,609.3323711706362],[12001379,468.7446773792767],[12001380,643.4276224988081],[12001381,414.2311273566496],[12001382,635.2386678221943],[12001383,463.1255844740367],[12001384,430.8782482202418],[12001385,366.73331722768773],[12001386,476.9486565701532],[12001387,526.4349473765894],[12001388,542.3905019610512],[12001389,574.8506485035809],[12001390,531.6094631404138],[12001391,447.4747747604957],[12001392,593.3232159612833],[12001393,537.774786519613],[12001394,451.04595311259806],[12001395,595.2128563235343],[12001396,517.7763706547872],[12001397,440.10205496716065],[12001398,449.59743155436826],[12001399,697.3761123076978],[12001400,651.0209670423369],[12001401,626.6645032132951],[12001402,485.2393375781369],[12001403,616.8442898676683],[12001404,542.3880250458056],[12001405,558.452009227881],[12001406,681.7231144611283],[12001407,621.1255565103379],[12001408,667.5403622786434],[12001409,616.8968492790855],[12001410,461.2586607108223],[12001411,503.4682546183798],[12001412,434.4947736595065],[12001413,692.7259852399034],[12001414,512.9975052889597],[12001415,475.54657789017017],[12001416,536.8925391941306],[12001417,406.6532063620036],[12001418,600.2383515928634],[12001419,481.1125744697624],[12001420,471.7439851369665],[12001421,448.44130472669184],[12001422,431.8433298571407],[12001423,498.83510021016826],[12001424,588.0299898813081],[12001425,551.8837384557187],[12001426,667.6679323179826],[12001427,570.9208767827993],[12001428,630.9478979512261],[12001429,641.6101134199652],[12001430,412.2618379068617],[12001431,526.4250874515935],[12001432,582.7435642242191],[12001433,521.1944297684411],[12001434,476.66146204638915],[12001435,583.0059492369029],[12001436,443.02252149189593],[12001437,615.139381265203],[12001438,458.8397164825529],[12001439,599.0540050430436],[12001440,430.3634957637532],[12001441,582.3662180474903],[12001442,473.11261511052663],[12001443,472.8324031659831],[12001444,401.68284533761965],[12001445,570.2510430879399],[12001446,479.5632402622152],[12001447,400.867419250014],[12001448,429.32331233442306],[12001449,443.5371105422804],[12001450,548.8659089708881],[12001451,541.5302394735695],[12001452,400.06551633977034],[12001453,591.6162737387432],[12001454,582.251089331034],[12001455,562.20844588767],[12001456,356.51236657423306],[12001457,650.830642055945],[12001458,529.830047002669],[12001459,515.7194419863118],[12001460,551.5896217707166],[12001461,739.6216709950592],[12001462,615.2905539305408],[12001463,624.6684832286821],[12001464,557.9507501687834],[12001465,405.9014940103604],[12001466,590.1566788175023],[12001467,441.22927787303917],[12001468,554.1437994098555],[12001469,652.1161822943227],[12001470,528.687693440749],[12001471,584.1404090410083],[12001472,544.91146065685],[12001473,493.5733324015288],[12001474,502.1475780313654],[12001475,633.7413183733694],[12001476,502.24432860931665],[12001477,524.2299491715318],[12001478,502.2391772276679],[12001479,597.4928226313164],[12001480,471.51783634639906],[12001481,533.699365233385],[12001482,448.17715147773606],[12001483,547.3640015599307],[12001484,624.1276343889543],[12001485,453.6888199802486],[12001486,516.7608793968571],[12001487,455.46223241778364],[12001488,464.33376356488594],[12001489,540.167737629555],[12001490,397.2220359307835],[12001491,519.6233206104745],[12001492,441.7910411209544],[12001493,622.4727941223906],[12001494,594.8423459460485],[12001495,384.410356965012],[12001496,504.4460032634206],[12001497,460.3780906965332],[12001498,406.3731873552598],[12001499,614.9667304118318],[12001500,530.104280449227],[12001501,642.5782962362063],[12001502,414.5249239039366],[12001503,490.8529423125906],[12001504,603.8489675744705],[12001505,600.9770652880081],[12001506,596.5786759338837],[12001507,502.2983342475433],[12001508,571.5095036420628],[12001509,552.4425699382193],[12001510,598.7362844884104],[12001511,437.14040612650587],[12001512,418.86040740508975],[12001513,535.6476039656282],[12001514,374.77527239554513],[12001515,487.2144669934725],[12001516,435.49531977838177],[12001517,632.658649590782],[12001518,483.58830335297523],[12001519,684.7211167397104],[12001520,668.2878931915342],[12001521,631.4445897620988],[12001522,666.6064403664537],[12001523,565.0712063634498],[12001524,465.06830324839166],[12001525,360.0455647660115],[12001526,359.8917849455188],[12001527,444.5450435162932],[12001528,617.3438663976046],[12001529,472.86540794371837],[12001530,483.11545131090327],[12001531,631.885802513529],[12001532,321.2046815148986],[12001533,413.05379754917703],[12001534,533.2714748334982],[12001535,611.9737874365502]]},"paired":{"n":256,"mean_diff":3.0663055318423362,"se":0.08778990505435644,"sum":784.9742161516381,"sumsq":2910.0881431340563,"worst5":[[12001330,-0.040143353500013745],[12001355,0.05139744335144769],[12001426,0.12384743958750732],[12001488,0.3779462163585663],[12001470,0.5565102251235885]]},"gas":{"ib":{"peak_afterswap":234825,"mean_afterswap":135254.3,"oog":0,"reverts":0},"port":{"peak_afterswap":201771,"mean_afterswap":92746.6,"oog":0,"reverts":0}},"validate":{"ib":"pass","port":"pass"},"block_seconds":{"ib":[24.5,23.7,27.5,24.5],"port":[19.9,18.6,19.7,18.2]},"engine":"ok","notes":"Both sources decoded from the artifacts match their declared code_sha256; compiled unchanged with the engine's SolidityCompiler (solc 0.8.24, viaIR, paris, optimizer 200); getName IB=inputs_b, Q2=QmGaussianPort; amm-match validate passed on both. Configs follow MatchRunner._build_configs with seed s (default_rng(s), BASELINE_VARIANCE draws in order, base fields from BASELINE_SETTINGS). 8 blocks of 64 seeds via run_batch(bytecode, VanillaStrategy, configs, 8); all 256 seeds ran per arm, none missing. A 2-seed probe (12001280-81, port arm) ran first to inspect the result shape; reported rows come from the 64-seed blocks only (engine deterministic). se = sample sd (ddof=1)/sqrt(n). Per-block mean diff +2.935, +3.104, +3.139, +3.088; 1 of 256 seeds negative (12001330). Gas from engine gas_stats: oog/reverts summed over Submission afterInitialize+afterSwap+getName; other_halt, tx_error, bad_return all 0; afterSwap calls IB 2750918, port 2774728, all ok. Port afterSwap peak 201771 (<=245000) and mean 92747 exceed the Q2 artifact's self-reported pyrevm figures (155745 / 59801), likely a measurement difference; IB peak 234825 agrees with its artifact's 234849, same instrumentation."}