{"key": "eng2-12001536", "seeds": {"from": 12001536, "to": 12001791}, "ib": {"n": 256, "sum": 133927.0009801248, "sumsq": 71938433.40272224, "rows": [[12001536, 549.9582933100169], [12001537, 569.4256302094426], [12001538, 497.7716214166327], [12001539, 485.1880629908449], [12001540, 611.3684044537281], [12001541, 508.5160214772997], [12001542, 559.3161694829785], [12001543, 388.33915262642097], [12001544, 417.01380900399283], [12001545, 483.65661625949133], [12001546, 598.5294233567336], [12001547, 634.8059555531719], [12001548, 553.485435357064], [12001549, 559.912976322884], [12001550, 598.6689048213073], [12001551, 598.248375601256], [12001552, 698.7889812526074], [12001553, 580.9067603912322], [12001554, 525.5006746968817], [12001555, 548.38581727919], [12001556, 460.55047458877084], [12001557, 495.4100671050379], [12001558, 644.3330015986234], [12001559, 477.8053133371063], [12001560, 578.5994336499023], [12001561, 446.0800377961308], [12001562, 491.36942568420403], [12001563, 589.0821936767501], [12001564, 517.6318367212973], [12001565, 566.1675868933418], [12001566, 621.0554811522973], [12001567, 443.4210029526616], [12001568, 540.8219832811445], [12001569, 566.3526422908428], [12001570, 594.0759632990921], [12001571, 609.636381069755], [12001572, 607.8894799564573], [12001573, 537.020890198981], [12001574, 409.12319594849646], [12001575, 445.0811166938892], [12001576, 410.09280032005506], [12001577, 457.917488376077], [12001578, 472.97890324315836], [12001579, 602.985147354208], [12001580, 532.8671451210016], [12001581, 630.4212663108378], [12001582, 548.0696008365867], [12001583, 355.1090932723161], [12001584, 679.5119073402474], [12001585, 515.0873876569874], [12001586, 525.0359941388884], [12001587, 433.78063946185586], [12001588, 536.2487591946594], [12001589, 505.3221830878159], [12001590, 627.3366908176461], [12001591, 431.0699053538287], [12001592, 622.2397326671144], [12001593, 574.5863426454845], [12001594, 369.1032007562127], [12001595, 559.2339636200306], [12001596, 441.1126886013893], [12001597, 571.8547512546802], [12001598, 549.3675712295098], [12001599, 464.18288832859855], [12001600, 547.6629947803734], [12001601, 423.3754050983591], [12001602, 580.0745682578753], [12001603, 482.6449929018983], [12001604, 480.4248381793148], [12001605, 543.8882041753196], [12001606, 562.3748814915559], [12001607, 608.0373509596023], [12001608, 706.1715846105293], [12001609, 435.53789656998384], [12001610, 647.251262407745], [12001611, 464.67776209613686], [12001612, 470.4109960561488], [12001613, 376.5390398958109], [12001614, 557.5249846042789], [12001615, 413.8323182850837], [12001616, 461.8204974377645], [12001617, 667.1638040370465], [12001618, 429.3287884456246], [12001619, 598.9409025076606], [12001620, 444.96887670593753], [12001621, 442.8484515620222], [12001622, 637.309643267977], [12001623, 530.3314573791529], [12001624, 483.98161111008284], [12001625, 545.4156227419448], [12001626, 623.7280012695148], [12001627, 497.98299570611675], [12001628, 423.2745075636434], [12001629, 441.66864631855407], [12001630, 620.3440599460623], [12001631, 497.22532545810907], [12001632, 562.5946560234415], [12001633, 574.1962132540705], [12001634, 600.725318842029], [12001635, 555.317482675609], [12001636, 525.8808542173391], [12001637, 442.60970604739265], [12001638, 661.2567181190452], [12001639, 671.5260603470714], [12001640, 492.7503359524437], [12001641, 404.6519641439595], [12001642, 415.52625068900545], [12001643, 410.3653210193397], [12001644, 574.526045278657], [12001645, 405.62491969231496], [12001646, 589.0644971890779], [12001647, 434.1221981534688], [12001648, 449.57344291418343], [12001649, 420.9586839852974], [12001650, 401.1697704239748], [12001651, 451.6559971507521], [12001652, 405.1589961091739], [12001653, 667.2806839571908], [12001654, 493.3156167868227], [12001655, 621.7549875843575], [12001656, 607.2055798289994], [12001657, 586.3864588703224], [12001658, 429.02111569118887], [12001659, 418.9672809126622], [12001660, 503.63152203641386], [12001661, 423.90857135591125], [12001662, 467.2371952976251], [12001663, 482.37804098135905], [12001664, 474.26789584433004], [12001665, 438.85524461415224], [12001666, 411.4982954521315], [12001667, 575.1814393356751], [12001668, 645.4505450472993], [12001669, 623.1980787106719], [12001670, 486.55153069336166], [12001671, 618.7157534855684], [12001672, 568.6629100219742], [12001673, 647.9385363342465], [12001674, 446.5147420545298], [12001675, 416.52083758353206], [12001676, 495.8899170428939], [12001677, 547.3152589024185], [12001678, 556.0726970719606], [12001679, 583.0485330244708], [12001680, 467.9493519920358], [12001681, 432.784468195064], [12001682, 629.2552773319132], [12001683, 489.70613303150475], [12001684, 432.88180627381894], [12001685, 648.641460943758], [12001686, 680.2480883952494], [12001687, 496.61568569095266], [12001688, 527.5667584790143], [12001689, 508.11639257643685], [12001690, 650.1072931840556], [12001691, 421.3973671896451], [12001692, 560.8605124025845], [12001693, 436.67322306589523], [12001694, 624.9643054662932], [12001695, 591.5403707210729], [12001696, 483.7007082526097], [12001697, 392.3681167426272], [12001698, 465.29666964681854], [12001699, 672.3774993416675], [12001700, 662.0121236606041], [12001701, 660.2693757879931], [12001702, 513.2079190153057], [12001703, 485.64685915193405], [12001704, 593.6024398451285], [12001705, 456.0194727187963], [12001706, 546.6743423055249], [12001707, 563.0505965556085], [12001708, 428.3358116360547], [12001709, 494.40245096077615], [12001710, 568.6363733601349], [12001711, 472.18804536044496], [12001712, 553.0592704230381], [12001713, 620.6798537361733], [12001714, 461.45260146746307], [12001715, 465.7201859388098], [12001716, 478.5223879628275], [12001717, 446.48554673962207], [12001718, 418.9645070269508], [12001719, 622.5146169907039], [12001720, 648.4991687190295], [12001721, 515.2150756016899], [12001722, 381.71572263258213], [12001723, 539.9443774438728], [12001724, 493.0523511469458], [12001725, 614.476516151466], [12001726, 453.8079864816469], [12001727, 488.7358835069979], [12001728, 469.8376351770925], [12001729, 529.9485667500007], [12001730, 542.8351989153219], [12001731, 554.3297783764311], [12001732, 459.1924655426415], [12001733, 524.3463372602081], [12001734, 426.91213948209037], [12001735, 495.38382931492197], [12001736, 561.7777014755059], [12001737, 409.8984552016515], [12001738, 559.8044488804524], [12001739, 341.18640519491873], [12001740, 556.4481762611142], [12001741, 609.4657417475413], [12001742, 580.2508615985912], [12001743, 510.92451542617965], [12001744, 592.8916809871034], [12001745, 453.66976580964723], [12001746, 335.9953670731767], [12001747, 544.7594990380248], [12001748, 419.1996134317186], [12001749, 535.4606523471166], [12001750, 649.7609163971166], [12001751, 362.72273367653656], [12001752, 574.8913728923144], [12001753, 643.2992043376755], [12001754, 534.8421443585916], [12001755, 529.7819263813902], [12001756, 422.3261158537067], [12001757, 480.77577290210456], [12001758, 383.77034698315674], [12001759, 734.9373966505818], [12001760, 437.6368502312886], [12001761, 617.2949087555845], [12001762, 547.5366247904389], [12001763, 614.4093022998414], [12001764, 621.1012297399507], [12001765, 397.60744040983826], [12001766, 375.1536814030729], [12001767, 635.6074648296825], [12001768, 440.7484637250584], [12001769, 486.2755636167136], [12001770, 410.10215213228247], [12001771, 520.1899249916573], [12001772, 559.4929218831456], [12001773, 434.317477950591], [12001774, 471.727638563371], [12001775, 633.18823926632], [12001776, 425.68916091314924], [12001777, 353.6806205298779], [12001778, 541.9519664897687], [12001779, 583.5550339396287], [12001780, 540.798473941001], [12001781, 600.027567343834], [12001782, 670.9015676189581], [12001783, 648.9991370658826], [12001784, 729.3203275252852], [12001785, 412.7905565319124], [12001786, 577.2282234075111], [12001787, 603.8622532026139], [12001788, 552.7454486704391], [12001789, 515.4907308312803], [12001790, 381.9209486992749], [12001791, 636.4813445257049]]}, "port": {"n": 256, "sum": 134678.29899571347, "sumsq": 72751191.89926365, "rows": [[12001536, 554.6829444513761], [12001537, 572.9101306126566], [12001538, 500.6197002505754], [12001539, 487.49021443400716], [12001540, 618.6050319340873], [12001541, 513.0132879860713], [12001542, 559.8363402970397], [12001543, 391.4157786640589], [12001544, 420.40902124423815], [12001545, 485.72011661024015], [12001546, 602.780009782992], [12001547, 638.3518077635067], [12001548, 555.6416251412381], [12001549, 562.0266423056255], [12001550, 602.9435977235983], [12001551, 601.54676464976], [12001552, 702.2801866219546], [12001553, 583.5352199397468], [12001554, 526.4982846683963], [12001555, 549.348373881596], [12001556, 463.20868683249245], [12001557, 496.928383808726], [12001558, 647.8915658097031], [12001559, 482.3565890113027], [12001560, 582.2230711161587], [12001561, 446.6792887905292], [12001562, 495.5298372246339], [12001563, 592.3852896625352], [12001564, 520.2170012538447], [12001565, 570.0906189343439], [12001566, 623.9486500400731], [12001567, 446.1434031473785], [12001568, 544.0867743823086], [12001569, 569.0963324590989], [12001570, 597.9993708965052], [12001571, 610.7973869799617], [12001572, 609.0780101472217], [12001573, 538.2819834919887], [12001574, 411.1725148152425], [12001575, 445.4399861600742], [12001576, 412.48689526288416], [12001577, 460.9396676266036], [12001578, 476.80021115914525], [12001579, 607.7977430848863], [12001580, 536.4781854556475], [12001581, 633.2467955311771], [12001582, 552.3551878736823], [12001583, 357.36638545753107], [12001584, 685.9068852424463], [12001585, 515.903166025963], [12001586, 529.1746041593956], [12001587, 436.77280191927], [12001588, 538.5961953107836], [12001589, 506.48755372820216], [12001590, 630.8640924600527], [12001591, 434.0534844935172], [12001592, 625.8935553795562], [12001593, 578.3658305499206], [12001594, 371.396360142829], [12001595, 561.5958348487342], [12001596, 443.4159364490087], [12001597, 574.7057895019734], [12001598, 550.2651577391191], [12001599, 467.1717404654377], [12001600, 549.7010286102401], [12001601, 425.47584141473175], [12001602, 583.1754960984596], [12001603, 486.7739467851481], [12001604, 481.3742717058347], [12001605, 548.158093567107], [12001606, 564.9828323802213], [12001607, 611.1389011343693], [12001608, 709.2419624379435], [12001609, 437.57224744935417], [12001610, 653.5612639162619], [12001611, 467.0959840504349], [12001612, 471.873578750391], [12001613, 378.87602825019894], [12001614, 561.064284580083], [12001615, 416.7385546714783], [12001616, 464.19944432263634], [12001617, 670.5552585368524], [12001618, 433.0984417381925], [12001619, 602.709940545123], [12001620, 446.71461448759396], [12001621, 445.3851487177428], [12001622, 640.5522971301764], [12001623, 532.3959268570919], [12001624, 485.9345433498942], [12001625, 548.3587766176912], [12001626, 628.3920890101518], [12001627, 501.42591511608254], [12001628, 427.4176228265676], [12001629, 443.24657333208387], [12001630, 623.4295575269076], [12001631, 499.6692542736175], [12001632, 567.0140568764951], [12001633, 578.5274431455788], [12001634, 603.5321058630207], [12001635, 558.80365245557], [12001636, 528.6950568273422], [12001637, 446.4335397054029], [12001638, 665.9345910494861], [12001639, 675.3669481079526], [12001640, 496.82613579268235], [12001641, 408.2828662807463], [12001642, 417.2133002305975], [12001643, 412.19656141094003], [12001644, 578.1288732070286], [12001645, 406.85506036159666], [12001646, 592.8667054146747], [12001647, 435.6572125586282], [12001648, 452.4888029324312], [12001649, 423.33227759836205], [12001650, 401.82877396006637], [12001651, 455.5456772711539], [12001652, 406.17295058229615], [12001653, 670.8972326168827], [12001654, 495.5755133825105], [12001655, 625.4929634504223], [12001656, 608.0703327576438], [12001657, 590.1788040130367], [12001658, 431.4929249492978], [12001659, 420.9658314380993], [12001660, 505.052806705747], [12001661, 425.74267184912674], [12001662, 469.6554440878408], [12001663, 485.1803849494548], [12001664, 476.6937003083725], [12001665, 441.70752299069426], [12001666, 414.21472863858344], [12001667, 576.4551561491329], [12001668, 646.1856766938367], [12001669, 625.8626018532735], [12001670, 491.4930717243431], [12001671, 624.4168546124716], [12001672, 572.1508683575719], [12001673, 651.0006758935946], [12001674, 448.3968491248455], [12001675, 418.65933096014487], [12001676, 499.0381631511409], [12001677, 552.0709563190524], [12001678, 560.0696306431], [12001679, 588.0214717200236], [12001680, 471.5096587198993], [12001681, 435.4061085658722], [12001682, 630.9410112882183], [12001683, 492.88427772193774], [12001684, 434.8773880160155], [12001685, 652.8277894177095], [12001686, 686.5401005154914], [12001687, 499.26734896743943], [12001688, 531.3216663259311], [12001689, 511.2006591105641], [12001690, 654.1403363252351], [12001691, 424.39451072134915], [12001692, 563.3160377543533], [12001693, 440.7490586254081], [12001694, 627.4486729945869], [12001695, 595.7401538673093], [12001696, 486.3243897152646], [12001697, 393.6101789988843], [12001698, 469.77144041527487], [12001699, 674.8351459365111], [12001700, 665.8808724942086], [12001701, 658.0444384167669], [12001702, 515.7799300078123], [12001703, 488.2074329920427], [12001704, 596.932873254592], [12001705, 457.1905642818224], [12001706, 551.3192212543114], [12001707, 565.5624115103635], [12001708, 430.7203773583374], [12001709, 498.51294714925893], [12001710, 571.1531245957657], [12001711, 473.19485366087036], [12001712, 557.0561963345946], [12001713, 621.7318551442626], [12001714, 464.4366535021094], [12001715, 467.08997809344515], [12001716, 480.8596747810797], [12001717, 449.1533328136008], [12001718, 421.4852197632669], [12001719, 627.0075448282992], [12001720, 654.4437045014596], [12001721, 517.8364639900402], [12001722, 384.43916472761344], [12001723, 542.6963209419412], [12001724, 495.4122119912888], [12001725, 617.1933236595253], [12001726, 455.9956600119273], [12001727, 492.28951823917055], [12001728, 473.3508971746115], [12001729, 533.9650279684703], [12001730, 547.2900122492175], [12001731, 558.8397034364167], [12001732, 461.1955940963776], [12001733, 527.1164183097886], [12001734, 428.5148553326695], [12001735, 496.2399907211006], [12001736, 562.5435240430049], [12001737, 412.47078438631604], [12001738, 563.69151070814], [12001739, 343.30557252395573], [12001740, 557.8365160522151], [12001741, 612.4063918504693], [12001742, 583.4158035611607], [12001743, 513.2509254013439], [12001744, 596.6941993955795], [12001745, 460.59220577702195], [12001746, 336.26169951486577], [12001747, 547.9192588550483], [12001748, 421.37839455688726], [12001749, 538.7852014848283], [12001750, 653.9425936972706], [12001751, 364.0580938593231], [12001752, 578.7765979018], [12001753, 647.3225937002276], [12001754, 538.2532381956609], [12001755, 532.2567400964149], [12001756, 423.5829158954625], [12001757, 482.2776173022119], [12001758, 385.4620882865915], [12001759, 741.7383264857228], [12001760, 439.94314162665194], [12001761, 622.5701014107924], [12001762, 551.3890784513792], [12001763, 616.6033211985116], [12001764, 625.5287788544882], [12001765, 399.23772181904803], [12001766, 377.65902933488815], [12001767, 640.3593125686172], [12001768, 444.818300934827], [12001769, 487.93242408671404], [12001770, 412.10183619543426], [12001771, 522.5615357756154], [12001772, 561.275017515706], [12001773, 438.36110094418945], [12001774, 472.87706521488354], [12001775, 636.3511128905736], [12001776, 427.77460677842475], [12001777, 355.9682632337691], [12001778, 544.4258212781518], [12001779, 587.6729473055952], [12001780, 542.6375435261366], [12001781, 602.0081526719265], [12001782, 675.0976523601109], [12001783, 652.7474707312756], [12001784, 734.6694843960631], [12001785, 414.4034172013712], [12001786, 580.9665214530487], [12001787, 608.4619557300861], [12001788, 554.6776609156166], [12001789, 518.3920674589035], [12001790, 383.64084098541707], [12001791, 643.7342487844228]]}, "paired": {"n": 256, "mean_diff": 2.934757873393122, "se": 0.08265973089873915, "sum": 751.2980155886393, "sumsq": 2650.9119255211963, "worst5": [[12001701, -2.224937371226247], [12001746, 0.2663324416890873], [12001575, 0.3588694661850127], [12001542, 0.5201708140612027], [12001561, 0.5992509943984032]]}, "gas": {"ib": {"peak_afterswap": 237142, "mean_afterswap": 135324.5, "oog": 0, "reverts": 0}, "port": {"peak_afterswap": 196089, "mean_afterswap": 92768.5, "oog": 0, "reverts": 0}}, "validate": {"ib": "pass", "port": "pass"}, "block_seconds": {"ib": [6.1, 6.1, 9.9, 9.8], "port": [5.2, 4.7, 4.7, 4.7]}, "engine": "ok", "notes": "All 8 blocks ran (4x64 seeds per arm, 12001536..12001791), no seed missing. Both compiled unchanged with SolidityCompiler (contract_name Strategy); amm-match validate passed for both (names inputs_b and QmGaussianPort). IB.sol sha256 matches IB code_sha256 301941829a44...; qm-2 tar sha256 matches its code_sha256 988ef957e0f6... (Strategy.sol inside: 2c471f0132b0...). Mean afterSwap gas: port 92768.5, IB 135324.5. Port engine afterSwap peak 196089 is above the 155745 the qm-2 artifact reports from its pyrevm check, still under 245000. IB afterInitialize peak 243227. One seed (12001701) has port below IB by 2.22; all others port ahead. gas_stats_reset() before and gas_stats() after each block; oog/reverts over all Submission callbacks; no other_halt, tx_error or bad_return."}