{"item":"eng-12012672","batch":"a10-confirm-t1-c","status":"complete","blocked":null,"allocation":{"first":12012672,"last":12012927,"count":256,"exclusive":true,"missing":{"ib":[],"m09":[],"t1":[]},"reruns":0,"commands_per_arm":4,"seeds_per_command":64},"arms":{"ib":{"n":256,"sum":134645.23327730387,"sumsq":72742259.47998665,"rows":[[12012672,594.82385959572],[12012673,435.4161847603717],[12012674,417.05185179714863],[12012675,567.7864193690245],[12012676,664.5321958132201],[12012677,500.4347043814411],[12012678,580.6578287068451],[12012679,560.7676356450444],[12012680,655.3877299582608],[12012681,334.42035353122776],[12012682,446.2435467199853],[12012683,613.6728609960574],[12012684,413.2693048858009],[12012685,585.7989769357771],[12012686,505.6937550302859],[12012687,534.9729754082736],[12012688,480.7041508840163],[12012689,488.15635864772304],[12012690,474.635416969315],[12012691,490.01638797013413],[12012692,634.7811165623182],[12012693,561.5620742698324],[12012694,513.7701256849617],[12012695,546.6869664194317],[12012696,576.4775874746765],[12012697,527.6131215632279],[12012698,492.7224616883629],[12012699,609.6756688846195],[12012700,442.00813106464517],[12012701,770.8064582551985],[12012702,514.2065861424901],[12012703,642.9415925556458],[12012704,532.3473285404807],[12012705,597.3604468645417],[12012706,601.2642523424284],[12012707,454.2547768482869],[12012708,604.8245324105416],[12012709,678.2816450729271],[12012710,576.3808563064572],[12012711,446.8160906475723],[12012712,483.23900855272313],[12012713,532.7893404636177],[12012714,464.9415109113181],[12012715,722.2385132073399],[12012716,728.2845776228241],[12012717,583.8652409615598],[12012718,481.42288943063073],[12012719,607.9549462932931],[12012720,491.4703414618718],[12012721,534.4155869562719],[12012722,419.91706719773896],[12012723,389.57833008838674],[12012724,579.3112645055672],[12012725,737.3393202253541],[12012726,490.8543263225055],[12012727,415.28373476154627],[12012728,475.2427941248338],[12012729,492.5251529192411],[12012730,492.8224417939806],[12012731,647.4232165005816],[12012732,477.38746162011984],[12012733,506.7035135555846],[12012734,560.2518791557981],[12012735,529.7980679294893],[12012736,559.9200302340602],[12012737,420.69247227832375],[12012738,645.6414259639091],[12012739,649.6112648255332],[12012740,520.7193568345081],[12012741,459.82580618372896],[12012742,429.2332462826262],[12012743,494.30242827417425],[12012744,630.5717552941035],[12012745,464.6022229255346],[12012746,487.7329621081226],[12012747,345.2122819400372],[12012748,593.7843254198419],[12012749,392.7422359637379],[12012750,598.2658534415427],[12012751,412.0721610412718],[12012752,545.8261868522029],[12012753,585.4696325371715],[12012754,700.9847469990953],[12012755,477.8064697642696],[12012756,491.9277096787484],[12012757,708.6008017292343],[12012758,444.78839745797933],[12012759,606.9078279789658],[12012760,374.7188121274959],[12012761,417.34865906097264],[12012762,565.1635412728446],[12012763,368.4062865750265],[12012764,679.6685609936952],[12012765,621.7270443717057],[12012766,463.4692983732401],[12012767,373.03820125093694],[12012768,583.0862275044598],[12012769,532.3800728955042],[12012770,528.3702389985091],[12012771,402.19335522960785],[12012772,458.35238299159465],[12012773,477.3081503097484],[12012774,534.0277390086289],[12012775,624.4114330951173],[12012776,463.2513218906101],[12012777,621.3173199784798],[12012778,585.4410376622935],[12012779,537.7974742976933],[12012780,511.09061653069847],[12012781,535.1722111811439],[12012782,483.5532912586365],[12012783,580.1740367451066],[12012784,515.4295002076549],[12012785,496.6753805249905],[12012786,479.87230620852426],[12012787,537.4325783130175],[12012788,407.3781989518038],[12012789,450.1861731236432],[12012790,565.2938875190448],[12012791,425.22279423796806],[12012792,643.6152756627934],[12012793,379.1081783573584],[12012794,387.547942568991],[12012795,476.5450981938279],[12012796,620.5117179731627],[12012797,441.63708179574854],[12012798,422.24955923020553],[12012799,663.4359746486996],[12012800,423.46659344238276],[12012801,489.8939970891927],[12012802,402.2917549251231],[12012803,551.8268933971032],[12012804,577.2892155166194],[12012805,476.7293720469147],[12012806,575.4402158502252],[12012807,638.7068168235155],[12012808,492.76311263555505],[12012809,452.80672165837694],[12012810,388.4053442806552],[12012811,512.9844337359008],[12012812,678.8775457989499],[12012813,577.0551825709151],[12012814,400.98396754961897],[12012815,509.39264646894264],[12012816,438.24307375215153],[12012817,448.4768131269126],[12012818,596.0746664060873],[12012819,468.6212346848441],[12012820,406.7673037003987],[12012821,588.9986477403481],[12012822,494.1697620938798],[12012823,701.6162542439309],[12012824,619.2017624435431],[12012825,496.59451100551854],[12012826,555.7255322054608],[12012827,593.0737660692749],[12012828,575.867635639599],[12012829,545.4831924801566],[12012830,462.480000194565],[12012831,377.90498579601166],[12012832,548.5390755429204],[12012833,510.97174785318276],[12012834,629.2271514141577],[12012835,600.4492107637535],[12012836,548.5887826825905],[12012837,620.9366123663654],[12012838,590.6288921211215],[12012839,388.12064436944615],[12012840,450.6789113385981],[12012841,434.00362170411483],[12012842,451.0481344934396],[12012843,420.7945724646535],[12012844,417.6997599171852],[12012845,624.7591472574682],[12012846,581.0400195757503],[12012847,585.768070114058],[12012848,475.921853343453],[12012849,434.1850841437889],[12012850,476.04264288520517],[12012851,417.8771467376076],[12012852,477.47820310052055],[12012853,549.5062381237981],[12012854,553.9559910421361],[12012855,646.256938665791],[12012856,713.8784749045685],[12012857,433.68461017266],[12012858,566.8840227221899],[12012859,463.5862216599396],[12012860,554.0228592797451],[12012861,552.0899772253642],[12012862,462.2004502030455],[12012863,488.8464946017835],[12012864,530.4968247331968],[12012865,535.2152038389056],[12012866,443.61672737420565],[12012867,671.4683323460255],[12012868,562.5185265573538],[12012869,540.2951922692096],[12012870,443.74763603135244],[12012871,661.291946025743],[12012872,550.0717738870726],[12012873,476.8066361672726],[12012874,469.41084413597144],[12012875,768.4461241167927],[12012876,511.0469603115639],[12012877,570.3734915545879],[12012878,573.8500920551505],[12012879,525.9526382518538],[12012880,492.56338760412604],[12012881,480.80822779872346],[12012882,633.8731848504058],[12012883,478.2807539067276],[12012884,633.2683527610873],[12012885,576.1034487669211],[12012886,447.6274714580075],[12012887,504.5791071860101],[12012888,446.6710507951956],[12012889,358.07610294969516],[12012890,523.055049710852],[12012891,521.9820535117215],[12012892,555.5447784315411],[12012893,415.9292016832234],[12012894,532.4147637277349],[12012895,599.1934266397617],[12012896,422.7527937467472],[12012897,496.36526829450986],[12012898,513.7603314704826],[12012899,571.1609033941786],[12012900,585.5317961810825],[12012901,508.56737686377807],[12012902,593.140670882594],[12012903,524.4537671732965],[12012904,504.4429006335668],[12012905,493.55718595372406],[12012906,534.4193242030279],[12012907,599.6804493395405],[12012908,556.3634912793569],[12012909,558.2504761235022],[12012910,565.0618519779346],[12012911,498.769286908294],[12012912,445.80485404861537],[12012913,590.4200354047409],[12012914,605.9636298849617],[12012915,419.0640262283682],[12012916,592.6609398350022],[12012917,465.50411613491434],[12012918,488.33403513979226],[12012919,396.42723967603916],[12012920,533.6356847905353],[12012921,680.5600002076767],[12012922,496.9802087519764],[12012923,427.3087387597172],[12012924,713.484751105065],[12012925,550.1643363507097],[12012926,377.1097183309691],[12012927,697.9338513317059]]},"m09":{"n":256,"sum":135606.3775208134,"sumsq":73792504.57816362,"rows":[[12012672,597.4827957421481],[12012673,437.787660774448],[12012674,418.39895578100453],[12012675,571.1643909005979],[12012676,668.9108811273617],[12012677,506.6965669636298],[12012678,584.4446070927967],[12012679,563.2687208839073],[12012680,658.7902542724523],[12012681,336.8747665143226],[12012682,448.64213833446473],[12012683,618.1865204396571],[12012684,416.45743182211754],[12012685,591.2983697256725],[12012686,507.009244447501],[12012687,541.1386839370156],[12012688,486.2776294997611],[12012689,490.686707511596],[12012690,477.8348062186377],[12012691,490.26291433758854],[12012692,641.8989754698415],[12012693,564.4162754914672],[12012694,517.2589199218052],[12012695,550.5264902871537],[12012696,579.6805720318999],[12012697,530.9138709457874],[12012698,494.8279030821358],[12012699,614.0928619239928],[12012700,443.65980507539757],[12012701,775.2752245301003],[12012702,517.779146837459],[12012703,649.0589928779951],[12012704,535.6990007346948],[12012705,600.1173260500785],[12012706,606.0603886627699],[12012707,456.5175012901437],[12012708,610.023734148447],[12012709,682.171759126502],[12012710,580.4378485922028],[12012711,449.8000227773194],[12012712,486.8858465087967],[12012713,536.0501262063291],[12012714,470.0288712089081],[12012715,730.3384390576501],[12012716,732.806458791488],[12012717,587.5319637248414],[12012718,485.1042299602193],[12012719,613.6793750484259],[12012720,495.90531246432],[12012721,538.7599112012704],[12012722,423.60576505360643],[12012723,393.35370554321815],[12012724,584.2902178830611],[12012725,743.4866735770747],[12012726,496.3147752078374],[12012727,418.90554173927825],[12012728,477.29647237193296],[12012729,494.3154567097954],[12012730,496.7849307159988],[12012731,650.946793347179],[12012732,481.2779808491167],[12012733,510.3113045483047],[12012734,565.6626779218307],[12012735,534.1760903209993],[12012736,562.8157723725743],[12012737,422.1021039143644],[12012738,650.1277576299449],[12012739,653.899172405364],[12012740,525.5782891994387],[12012741,460.84173118510154],[12012742,432.4810757620225],[12012743,498.4267262868216],[12012744,636.0605014121189],[12012745,468.0785027276961],[12012746,491.36696099224696],[12012747,347.0176552718274],[12012748,598.289422376986],[12012749,394.70583650123945],[12012750,601.5362871353033],[12012751,412.9550982995549],[12012752,548.6646058180457],[12012753,589.705006064983],[12012754,706.8961416722807],[12012755,482.7997700515642],[12012756,495.34807047298034],[12012757,713.9610631367423],[12012758,447.40189349028657],[12012759,609.9624486686985],[12012760,378.34739716954346],[12012761,419.34495191903284],[12012762,570.6265817634445],[12012763,370.52717247972726],[12012764,686.4443449140955],[12012765,626.1625861944544],[12012766,464.92968314138136],[12012767,376.02414679593755],[12012768,588.596787716364],[12012769,536.7143309081486],[12012770,532.9533192981022],[12012771,404.6678838269951],[12012772,460.32115980064725],[12012773,479.8926377422289],[12012774,538.7530737121318],[12012775,630.6881423883029],[12012776,467.2513601481823],[12012777,626.305331467579],[12012778,590.5762722770855],[12012779,542.2783968253311],[12012780,516.0838944193226],[12012781,539.0712405046143],[12012782,485.9320315375349],[12012783,585.1835247657843],[12012784,518.460995655875],[12012785,501.1415344685057],[12012786,482.75407264196207],[12012787,541.6639394262771],[12012788,409.84218620620504],[12012789,453.819576141875],[12012790,569.4503220096517],[12012791,427.82419699167224],[12012792,649.8206919485197],[12012793,381.28099685616917],[12012794,390.18781360013406],[12012795,478.3006419728969],[12012796,624.6489020692953],[12012797,445.9118598780453],[12012798,425.51206308979573],[12012799,665.8235980457716],[12012800,426.2867715442467],[12012801,495.00322012119],[12012802,405.5525467518973],[12012803,554.9707183532272],[12012804,580.5809798176437],[12012805,481.38923500993144],[12012806,581.2094719493776],[12012807,642.9220119473553],[12012808,495.2459909895948],[12012809,455.4625065015823],[12012810,391.3449750794948],[12012811,515.9703496944626],[12012812,682.7259679601382],[12012813,581.9729856954029],[12012814,403.65043873701137],[12012815,513.7091188093699],[12012816,440.2746854104195],[12012817,450.3735870461311],[12012818,600.828052114893],[12012819,472.9765387590533],[12012820,409.4328293053353],[12012821,592.7577919419588],[12012822,497.4238673871712],[12012823,710.4234105323362],[12012824,623.298369147765],[12012825,500.1403418628765],[12012826,559.6530991201053],[12012827,598.5029738607399],[12012828,580.2288279770886],[12012829,552.9224607867163],[12012830,466.3202669767069],[12012831,381.865567567437],[12012832,551.8980648112405],[12012833,515.7674676871795],[12012834,634.2847238192846],[12012835,605.8802955267935],[12012836,550.6637072865981],[12012837,626.2332480720142],[12012838,594.6111768833772],[12012839,390.6795092390646],[12012840,453.9529527946897],[12012841,437.679448992427],[12012842,453.7390686514817],[12012843,422.0516888255317],[12012844,420.3307405876858],[12012845,627.4569347849982],[12012846,586.4807560644717],[12012847,590.7898497700957],[12012848,479.8814648456193],[12012849,436.8608312177108],[12012850,479.79190746321234],[12012851,420.05193226305715],[12012852,482.6142953861998],[12012853,554.6622085583119],[12012854,557.0559379799364],[12012855,649.9971762956324],[12012856,720.2399756488815],[12012857,436.03978796831115],[12012858,573.5985194246393],[12012859,467.9641824430028],[12012860,558.3050322196422],[12012861,553.688508161295],[12012862,466.12051543178063],[12012863,491.073548785928],[12012864,532.2552715161117],[12012865,538.5091050038897],[12012866,447.631323001249],[12012867,676.6470460478542],[12012868,565.8396969491162],[12012869,544.6276066205775],[12012870,446.30735474250065],[12012871,664.0321862289165],[12012872,552.520261209561],[12012873,480.66759346313984],[12012874,473.88140049942376],[12012875,774.9020098395137],[12012876,516.2391167462873],[12012877,575.9938542071964],[12012878,577.5569031923809],[12012879,530.3836008098037],[12012880,496.52115008669324],[12012881,483.4635894478838],[12012882,638.0733117774113],[12012883,481.06708550511416],[12012884,637.7238930099961],[12012885,578.6279048479244],[12012886,451.56095679775444],[12012887,508.3236063690165],[12012888,449.2211417202567],[12012889,360.6453865019625],[12012890,526.9911448926928],[12012891,526.3097040334696],[12012892,558.6106337011822],[12012893,416.7478183257761],[12012894,535.2544982968951],[12012895,601.7218504757777],[12012896,427.0425604270208],[12012897,499.914367131387],[12012898,514.4194559125797],[12012899,571.2240470568552],[12012900,590.8104288509709],[12012901,510.969375791374],[12012902,596.4148732559556],[12012903,527.362869843778],[12012904,506.75224313401776],[12012905,496.7272758397879],[12012906,538.9530269222531],[12012907,602.95364398546],[12012908,560.610283572188],[12012909,564.4941437276686],[12012910,570.7468695688056],[12012911,501.7705073359585],[12012912,450.1055864805805],[12012913,594.3258122072856],[12012914,609.6148147012052],[12012915,420.945194504956],[12012916,597.5082894894773],[12012917,469.43648461826245],[12012918,491.1137738641936],[12012919,398.72932868744783],[12012920,537.9266542982779],[12012921,685.2472840742854],[12012922,501.9565594792893],[12012923,428.9127561529719],[12012924,720.7931493355286],[12012925,553.9730418959714],[12012926,380.519760247863],[12012927,704.5885141915018]]},"t1":{"n":256,"sum":136239.6268583105,"sumsq":74477126.8124351,"rows":[[12012672,602.1564003758285],[12012673,440.24161046916237],[12012674,419.78964770705187],[12012675,572.4856327633925],[12012676,671.6648730258019],[12012677,508.26204896582294],[12012678,586.0978196921642],[12012679,567.7603885234979],[12012680,662.2125033780255],[12012681,339.1051678124315],[12012682,450.84157136411176],[12012683,621.1735327390988],[12012684,418.3284444742736],[12012685,593.0152272742494],[12012686,509.6071748430639],[12012687,543.5827419903267],[12012688,488.5186588085203],[12012689,491.65666299207726],[12012690,479.4502528330715],[12012691,493.9171271174251],[12012692,643.6426960312463],[12012693,566.210639151917],[12012694,518.1223962176829],[12012695,553.6649203649843],[12012696,582.2779212129444],[12012697,534.1342638251158],[12012698,497.4196343719925],[12012699,616.3070781118622],[12012700,445.7801801604183],[12012701,778.1680704271507],[12012702,520.3407040496667],[12012703,650.0359091562542],[12012704,540.1414387078864],[12012705,603.2395668614289],[12012706,609.0133677650064],[12012707,459.6181772274577],[12012708,613.1239433804122],[12012709,687.1455707200471],[12012710,583.1888762966388],[12012711,451.63882419184256],[12012712,489.7115241336979],[12012713,538.8777186775613],[12012714,473.0818262411248],[12012715,731.9936346853542],[12012716,735.9071259858806],[12012717,591.0165279463966],[12012718,487.0289317385262],[12012719,617.7822903330112],[12012720,498.8744289531145],[12012721,540.2588852515332],[12012722,424.8627069444429],[12012723,395.2471232423553],[12012724,586.1866075832006],[12012725,746.5019924450343],[12012726,498.8201048065277],[12012727,419.68020429071527],[12012728,481.4003698075476],[12012729,497.36568611550723],[12012730,498.8279976459187],[12012731,653.5187557259117],[12012732,482.4803573265373],[12012733,513.5567932945903],[12012734,567.0663382248517],[12012735,535.0309508975491],[12012736,565.1260904842921],[12012737,424.2541437831895],[12012738,652.4031308442583],[12012739,656.4276717973319],[12012740,527.235664769491],[12012741,462.7220185818806],[12012742,435.0232775955116],[12012743,501.8970565670063],[12012744,638.5043861424296],[12012745,470.89741777113716],[12012746,493.2778656592436],[12012747,349.5275859946357],[12012748,599.7016985494836],[12012749,396.8472129247978],[12012750,605.2133311233911],[12012751,414.9460448392326],[12012752,551.4114358649703],[12012753,592.2876190796926],[12012754,711.3279323608367],[12012755,484.8931604673333],[12012756,498.218502173153],[12012757,717.2111165194889],[12012758,449.99586739808814],[12012759,612.1472932605684],[12012760,380.6300246727808],[12012761,421.5688077539585],[12012762,573.5701496874818],[12012763,373.022229939075],[12012764,689.3841689444511],[12012765,629.201843178159],[12012766,467.10129082445496],[12012767,378.6235940072352],[12012768,590.6688163120313],[12012769,538.9352599840953],[12012770,537.3684601871912],[12012771,406.76488027943674],[12012772,463.5134571581685],[12012773,481.4733862849787],[12012774,541.4711811939733],[12012775,631.781143917416],[12012776,469.74111965198193],[12012777,628.4729543033995],[12012778,594.6504720800357],[12012779,546.2867344428361],[12012780,517.6449197061481],[12012781,540.6201194843751],[12012782,487.87549031395685],[12012783,588.3170550755381],[12012784,520.0997144960648],[12012785,501.9002478803978],[12012786,485.057935416267],[12012787,543.7491809909436],[12012788,412.4207639532145],[12012789,455.7140396214199],[12012790,571.4264199448317],[12012791,430.052303049562],[12012792,652.264593185092],[12012793,382.62503015901433],[12012794,392.4393525212553],[12012795,481.68518692766463],[12012796,626.4755072862571],[12012797,448.02918256809534],[12012798,428.0992616212699],[12012799,670.5418835289466],[12012800,429.2287465928102],[12012801,496.9098381277235],[12012802,408.6949570802662],[12012803,558.9472278157122],[12012804,582.2011913980625],[12012805,482.46766793036824],[12012806,583.929539885627],[12012807,645.9120578009674],[12012808,497.77284490625885],[12012809,457.1051797026747],[12012810,394.7023782258998],[12012811,518.4988569955284],[12012812,686.8159092409588],[12012813,584.7850686103291],[12012814,405.1087196641515],[12012815,516.0576581585191],[12012816,443.7420330323449],[12012817,453.3374824152432],[12012818,603.9127322859584],[12012819,473.60913517197935],[12012820,411.8158940566798],[12012821,595.5164799153006],[12012822,499.49930272425274],[12012823,713.6212434180575],[12012824,627.1816333339052],[12012825,501.8682681521304],[12012826,562.5835096448737],[12012827,601.3743073203116],[12012828,582.8553185155015],[12012829,556.0128542159861],[12012830,470.4275104245875],[12012831,384.73557323143115],[12012832,554.1774057460682],[12012833,517.7160146516545],[12012834,634.2873626311672],[12012835,610.1513550479618],[12012836,551.4397899206963],[12012837,630.4708947530376],[12012838,596.436542034199],[12012839,392.59709133836265],[12012840,456.4679597171666],[12012841,438.5655325487491],[12012842,455.54678231518955],[12012843,423.53572154614],[12012844,422.0855042290687],[12012845,631.1813150535759],[12012846,590.6582454257821],[12012847,593.3238675398652],[12012848,481.94363401524726],[12012849,439.20883171209414],[12012850,482.2555281803462],[12012851,422.38377931019886],[12012852,484.9630511701982],[12012853,556.8136700453603],[12012854,559.1842805040123],[12012855,654.4319820053652],[12012856,722.1703755610456],[12012857,438.6854639554408],[12012858,574.855438868995],[12012859,470.1929497800145],[12012860,560.4939399069679],[12012861,555.6362351233639],[12012862,468.8272010622225],[12012863,493.7157081200687],[12012864,534.4376396064259],[12012865,541.1855518749533],[12012866,449.47142633925444],[12012867,680.2822331796687],[12012868,569.2835630683522],[12012869,546.8146833447106],[12012870,447.38401526054514],[12012871,665.4621020642065],[12012872,553.7222619133103],[12012873,483.34564470051674],[12012874,475.25290199400087],[12012875,778.5861091897573],[12012876,517.8307924691344],[12012877,576.7638324574954],[12012878,581.8133413263607],[12012879,532.9032049809281],[12012880,499.5564257644487],[12012881,486.17915397028435],[12012882,639.3756881767019],[12012883,485.1998750873152],[12012884,642.5730413925302],[12012885,580.1951035826808],[12012886,453.3952775252665],[12012887,509.89863859675074],[12012888,450.5439027940507],[12012889,362.84184307938773],[12012890,529.5036496050157],[12012891,528.6674234168519],[12012892,562.327493046199],[12012893,418.5527339048184],[12012894,538.30551137605],[12012895,605.893860920832],[12012896,429.82981940394615],[12012897,501.8761690874727],[12012898,517.912968022033],[12012899,573.8793804772737],[12012900,594.4740846351583],[12012901,513.281339924214],[12012902,599.7682493014124],[12012903,529.7167234188361],[12012904,508.34257289217527],[12012905,498.99381148564],[12012906,540.6562653827814],[12012907,605.1289989921922],[12012908,562.7803734182336],[12012909,566.9995272561961],[12012910,573.32445253675],[12012911,503.8690984753167],[12012912,451.4092101290168],[12012913,598.1696685050813],[12012914,612.9463952589634],[12012915,422.5519719502178],[12012916,599.054483142839],[12012917,470.8032982636626],[12012918,493.662362581184],[12012919,400.751087412718],[12012920,541.0552794137366],[12012921,688.8054965687188],[12012922,505.42024473506217],[12012923,431.33024830663135],[12012924,724.2398467384119],[12012925,555.5545733453146],[12012926,382.5536300675723],[12012927,706.3754925957899]]}},"paired":{"t1_minus_ib":{"n":256,"sum":1594.393581006647,"sumsq":10659.56240963919,"mean_diff":6.228099925807215,"se":0.10571302212275673,"worst5":[[12012893,2.623532221594985],[12012899,2.718477083095081],[12012674,2.737795909903241],[12012843,2.741149081486469],[12012836,2.851007238105808]]},"t1_minus_m09":{"n":256,"sum":633.2493374971173,"sumsq":1773.8792012383947,"mean_diff":2.4736302245981143,"se":0.056373027265763515,"worst5":[[12012834,0.002638811882547998],[12012819,0.6325964129260342],[12012785,0.7587134118920744],[12012877,0.7699782502990047],[12012727,0.774662551437018]]},"m09_minus_ib":{"n":256,"sum":961.1442435095298,"sumsq":4112.475927140378,"mean_diff":3.754469701209101,"se":0.08785720038332584,"worst5":[[12012899,0.06314366267656624],[12012691,0.2465263674544076],[12012898,0.6591244420970952],[12012893,0.8186166425526835],[12012751,0.882937258283107]]}},"gas":{"ib":{"submission_afterSwap_peak":234977,"submission_afterSwap_mean":135282.92592971437,"submission_afterInitialize_peak":243227,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2731043,"max_ok_gas":22592,"ok":2731043,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":61619910880,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":243227,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":62266112,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2747134,"max_ok_gas":234977,"ok":2747134,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":371640325441,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21735,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5564160,"tx_error":0}]},"m09":{"submission_afterSwap_peak":202282,"submission_afterSwap_mean":111710.62254517578,"submission_afterInitialize_peak":229594,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2746601,"max_ok_gas":22592,"ok":2746601,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":61970767408,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":229594,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":58776064,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2796687,"max_ok_gas":202282,"ok":2796687,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":312419645834,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21530,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5511680,"tx_error":0}]},"t1":{"submission_afterSwap_peak":195036,"submission_afterSwap_mean":107543.00145674557,"submission_afterInitialize_peak":229429,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2740911,"max_ok_gas":22592,"ok":2740911,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":61842481428,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":229429,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":58733824,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2758203,"max_ok_gas":195036,"ok":2758203,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":296625429247,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21530,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5511680,"tx_error":0}]}},"gas_per_command":{"ib":[{"first":12012672,"last":12012735,"n":64,"elapsed_seconds":18.96306931390427,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":694927,"max_ok_gas":22592,"ok":694927,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15679511828,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":695653,"max_ok_gas":234977,"ok":695653,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":93967635530,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12012736,"last":12012799,"n":64,"elapsed_seconds":18.730971586192027,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":676975,"max_ok_gas":22592,"ok":676975,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15274395644,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":683389,"max_ok_gas":231906,"ok":683389,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":92508497498,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12012800,"last":12012863,"n":64,"elapsed_seconds":19.657189588062465,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":676716,"max_ok_gas":22592,"ok":676716,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15268578264,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":681890,"max_ok_gas":234872,"ok":681890,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":92318218563,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12012864,"last":12012927,"n":64,"elapsed_seconds":19.37201000400819,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":682425,"max_ok_gas":22592,"ok":682425,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15397425144,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":686202,"max_ok_gas":231962,"ok":686202,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":92845973850,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]}],"m09":[{"first":12012672,"last":12012735,"n":64,"elapsed_seconds":17.466533227125183,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":698241,"max_ok_gas":22592,"ok":698241,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15754218984,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":709312,"max_ok_gas":198118,"ok":709312,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":79080741945,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012736,"last":12012799,"n":64,"elapsed_seconds":17.454542764928192,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":681449,"max_ok_gas":22592,"ok":681449,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15375306880,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":694961,"max_ok_gas":202055,"ok":694961,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":77706829265,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012800,"last":12012863,"n":64,"elapsed_seconds":18.731924110092223,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":680906,"max_ok_gas":22592,"ok":680906,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15363085972,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":694178,"max_ok_gas":202282,"ok":694178,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":77615445711,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012864,"last":12012927,"n":64,"elapsed_seconds":18.981336280005053,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":686005,"max_ok_gas":22592,"ok":686005,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15478155572,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":698236,"max_ok_gas":201297,"ok":698236,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":78016628913,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]}],"t1":[{"first":12012672,"last":12012735,"n":64,"elapsed_seconds":18.44708964508027,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":696768,"max_ok_gas":22592,"ok":696768,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15721013544,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":699637,"max_ok_gas":194719,"ok":699637,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":75107965642,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012736,"last":12012799,"n":64,"elapsed_seconds":18.01816048193723,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":680280,"max_ok_gas":22592,"ok":680280,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15348959724,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":685448,"max_ok_gas":195036,"ok":685448,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":73759616358,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012800,"last":12012863,"n":64,"elapsed_seconds":17.87133290199563,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":679448,"max_ok_gas":22592,"ok":679448,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15330217984,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":684481,"max_ok_gas":194497,"ok":684481,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":73686290833,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012864,"last":12012927,"n":64,"elapsed_seconds":18.120163124985993,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":684415,"max_ok_gas":22592,"ok":684415,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15442290176,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":688637,"max_ok_gas":194259,"ok":688637,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":74071556414,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]}]},"validate":{"ib":{"passed":true,"exit_code":0,"command":"amm-match validate IB.sol"},"m09":{"passed":true,"exit_code":0,"command":"amm-match validate M09.sol"},"t1":{"passed":true,"exit_code":0,"command":"amm-match validate T1.sol"}},"valid":true,"hashes":{"arms":{"ib":{"creation_bytecode_sha256":"345cbfe273190c3b629d6e624b4f19ecae919477786d13539b8bdd1ca87ed8b0","creation_bytes":14556,"runtime_bytecode_sha256":"a4f70330df778c7a4c916170f1b3036522789028ae2dfd8f715b93ff7f24ab2d","runtime_bytes":14528,"source_sha256":"301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686"},"m09":{"creation_bytecode_sha256":"1340c99e746d6166e0b81eb7db8b6d871854407a7042274ae48f7e0224134d3f","creation_bytes":22013,"runtime_bytecode_sha256":"e95f44d13169747859490d2f5fb627a55b4a9cb3c84dae0c95a6b37e0023e281","runtime_bytes":21984,"source_sha256":"a44cca4b0155ca3953f27ccb6b43ac8ee74b1cdc4f27022ee5fc51d8ab67ed5f"},"t1":{"creation_bytecode_sha256":"ba446cb0b7e5bb40a22c15ac4d4793e985b6cc43e471024079063dec30896ca6","creation_bytes":22861,"runtime_bytecode_sha256":"8e10f67ca334ce8959f19520245254f7d9f2f47ab5299b2a62cd08ae49844208","runtime_bytes":22832,"source_sha256":"6ee77c053e29d23a89b926c33b13e32365bdd09d880cac5557ce06c043dcf1ac"},"vanilla":{"creation_bytecode_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","creation_bytes":668,"runtime_bytecode_sha256":"69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b","runtime_bytes":640,"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572"}},"wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","native_extension_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","exact_pilot_arm_matches":true,"pilot_runner_tar_sha256":"db6ca583c4d60a3bec4202b17a122944d90d292226deaf52404c5f9f03fe8b4d"},"evidence":{"measurements":"Local saved rows and per-command gas_stats snapshots in this result; recomputable with bundled summarize.py.","contracts":{"ib":"https://api.imdnotdead.fun/artifacts/db67c7a0e8fa98f87b069766df6e213890861b15f967695293f519ecc46eeeb6","m09":"https://api.imdnotdead.fun/artifacts/063270cb0315aaded47d5cb3f437297bf8e9aac55e179fc4d26534a6d0e269d3","t1":"https://api.imdnotdead.fun/artifacts/6b308b7219a0cf0bab1e5168e2f2b94b68bc6c118ae09a6d5ca30ea0173638ff"},"runner_base":"https://api.imdnotdead.fun/artifacts/37096a34a13345a470a4fbfdca0be064dba0c81da6c06afc47b5af3a725111da"},"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","compiler":{"evmVersion":"paris","optimizer":{"enabled":true,"runs":200},"solc":"0.8.24","viaIR":true},"configs":{"method":"build_config with BASELINE_SETTINGS defaults and BASELINE_VARIANCE; numpy.default_rng(absolute seed); uniform draws retail_mean_size, retail_arrival_rate, gbm_sigma in that order; same configs for each arm","baseline_settings":{"gbm_dt":1.0,"gbm_mu":0.0,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"n_simulations":1000,"n_steps":10000,"retail_buy_prob":0.5,"retail_size_sigma":1.2},"baseline_variance":{"gbm_sigma_max":0.001008,"gbm_sigma_min":0.000882,"retail_arrival_rate_max":1.0,"retail_arrival_rate_min":0.6,"retail_mean_size_max":21.0,"retail_mean_size_min":19.0,"vary_gbm_sigma":true,"vary_retail_arrival_rate":true,"vary_retail_mean_size":true},"numpy_version":"2.5.4","MatchRunner_build_configs_checks":[{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":0},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":1},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":2},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":3},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":4},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":5},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":6},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":7}],"block0_sha256":"309783214b2cb028c0c2fde3e9f4b9474f966ac21e4a525627c5978cfa65557d","blocks":[{"config_sha256":"309783214b2cb028c0c2fde3e9f4b9474f966ac21e4a525627c5978cfa65557d","count":64,"first":12012672,"last":12012735},{"config_sha256":"605a5bbb7ba18ae79e04f395ff41a6f83b30de4642726d875b634dc456c15a94","count":64,"first":12012736,"last":12012799},{"config_sha256":"15242c9271d8f3c96ed27a89f1434c01a346d9ec71b841b6fc935ada16a3492a","count":64,"first":12012800,"last":12012863},{"config_sha256":"4a1d9d11ec8caaf3342a48fe4c25e4b0ca74f8618aadfb206fc3dfa49243767e","count":64,"first":12012864,"last":12012927}],"hash_encoding":"sha256 of JSON config field objects sorted keys, compact separators; rows ordered by absolute seed","workers":8,"opponent":"VanillaStrategy alone","edge_field":"edges['submission']","allocated_builder_equality":{"allocated_configs_equal":true,"builder_source_sha256":"6306eb43fce9852179e4ec6fb52d082d366abdb29636c9acd9874e8937fd5a6f","engine_simulations":0,"fields_per_config":12,"first":12012672,"last":12012927,"method":"Execute unchanged MatchRunner._build_configs body with only range(self.n_simulations) shifted to range(12012672,12012928); compare all twelve fields to canonical.cfg(absolute seed).","n":256}},"reading":{"t1_minus_ib":6.228099925807215,"t1_minus_m09":2.4736302245981143,"m09_minus_ib":3.754469701209101,"interpretation":"One confirmation block; observed paired edge differences do not establish a leaderboard score."},"limitations":["256 paired fresh engine seeds is one confirmation block, not the 4000-seed goal gate or a leaderboard score. No board entry.","Only observed engine callbacks and amm-match validation were tested; no claim of universal gas or correctness bounds.","All numbers in arms, paired and gas are computed from these local runs; source artifacts supply contracts and reference runner, not independent certification. Nothing was fabricated.","Prior audits are supplied local inputs; their conclusions are context, not substitutes for the measurements here. Frozen source files unchanged; no tuning or additional engine seeds."],"runner":{"code_zb64":"eNrtW21zpEaS9mf9CtYfDvAgBP3+Yi5C6x3fzYXXnhjN+j70dRAFFC0sGtpAa6TR6b/fk1kFTUvtWe/Fxm7EXeOwGuol6yWzMp/MytlledlcxaIoiywWubt7/Orv/nh4JqMR/+J58et73mjYlqly3x9Oh18Z3lf/gGdfN6LC8F/9/3y+/vrrD/vCyApjlxWFTIz4VsZ35b4xPmXNrVHHlWji2ytZ3Ls1Pst9FcvENXaV3IlKGtW+qI2iNGSxyQpp1FImtXtxnYhdA1ppWVHNpT/w/MFkOjAsUW1rI4ucrTd3Gn9piDwvY9FkZWG0jVyX3+aDqe0ab0V8a6CTGqjXuixiuTQKeS8ro5Lb8h6Dg5E06lZUd7KqjZJq9rU04rKo91vU6OlhzRfZdldWDUhvsI5aOoloRJyLupa1cyvq2xyT/KUuC2cnGv5osq1sexX77e7REFj5riO03YZ1tg0xLsqr+iKtyi2XxuV2J5uMZu0evxdptjF0/2if5Umoyhz1EYlatiV/vL55+8O7H9+GN28/fnz347/dHEp+vv7w7vrH797+9RG3xMp2wD/TB1hfyOp0T3m/5d5Zji3WnW7KPEuy5vE7XX7x/bu3P/zpJjCLsG7kDqwt0Fnk4a7KYtl9PXRvj8Ym2obbPf/U2WYr+C1pwKpGZHkoqiq7R0OInWzLtlKAfva5K6B33VuXRPtHjFlGzGLTrXd51lj2xb+//fA20Bx03+PXCsMUEw9D261kXeb30rJdkuSiubj5eP3hY9CK4cV3P/3lx4/BZHRxkcjUqG+FFdkLDLevCkNLCI6EGIwnqHBv5UOSbWRNo1L7MvrFirv2T3eLDSbaNJUVO3c2H4w7OnRq/565S5xurNpeXBhVUOzcShRJuXVRIfZ5E1YFVS7vg9d8N7ZB5e6LDES31r37ctPCbVY4p4rFg31hiFN9+0w47n5cwxQ2RxQ6vup+vW9urTekL+4W8Syona5psHFODBcI5+Uagq3a7E9V1khr5zzYi53LH2EjHxqLDrCb4LDW1oNTQ4DDO/lYBx+rvXRqUmCiKas6sEwH/y1M235j/ldhKppaw1lQhcSTuA5WzFNmkuIgibsBPm2kxbLj8N83LDj2+oJ0Fk5X0DtpFs17u89Zh9XBzFE7ELw68GpPfiwLaTtF+KlkjYb296LKBFTfazHgvU0lJBm1amQ37G9zDclU2h1LeTKzIpEP5iJzzDSTeVKH8te9yM1FX1Sx1syGvAZBW9QNscrWpwT5mUuyw8bMaCNIrZKOzHOL/n9YHY+5dsHjvcQEFUFSF3qmmHJTPS6q2r3p9u07tUP2Up+N4MkkDd9U+7jJIhxuslxgW6gGMRfE7+cLQz7EctcYHx938m1VYRwoarn4vUS+FznMhCmpp7lAQ0vaINpqyOClasT8SEvIOnhCM1oWzJhTV7FTiC2pRmNlmVlkOqSjrsx3f3ShjiCGNw0J++bRtB3LbPy2/qN/qh5mtG3wZ29+qsW9KLI8F6ZzpAVprWgVN/UVZnT1s2rUdmQ6tmO+KDbtNQ6CEQXoAn0gILCPDXFtGQftNrQWw4qgueIygXp12rFCWnhAf8DVViZit97HsaxrJ3Z5b2vU0aG7IqzwxnSjDCfS1qdaDRi79EvUiZDa5RVar8FEhVBCpZjBJ1bbjhljviQ7YdvzqEWPoGPi7JCt/62Widzl5aNMwl6XI+qQlVwWv02zq39NCYLyCk64x8iiwED38kKrPNonU2sql7Sd6bAc43yE6gCZC/XrmKRdcoC0sJZNkxUbVPVAjyvqJIsb6xXQsHs9W+3z5Z6dRqJ1102oTxiNp94cPUWaXN1+HG1zT3Gjxe/R3C6UEosbRlUSYS7Ur2OqPQthEWRRE5v6Qx2dC9XS7YOEg5gTo7WYQ01C0vIYQ3vuzB2MMItyBxbDKHGlLASUSKJ0D/Mf8xl43rNj3mfi3Ye2AiDrZ2h2TAqksKysNtGE8WV431YADYTtVxg+K/sEeSf2szYhA6VQb8Anh8pwdDQgNu2lqnTLHQTPfDD1cbJSUyNqYOMnNl7PrvvUs2KX/vMBZGMRbB3ZFio7+PvMYO1uRA2AKJo6BOqSwEjLSKIrDFWvDqVaKejKYLV21CusQEAHyN2WRdmQq0rGLCLDSiQws5A/rDwDArP6m6D1xzEjD81aBanavWgG2ZsRwhH1y4lW5Sdswlop9oo2gMcnUEmivjgoOLPeR9usZk7yRrkyAU5EA6Lhih14kliryiWL7+jaVb/Xek22nRrTQTjs0qpaeevDBKjFOgh4ab/FDbuvONodYr1hQ3EQBXNBfyGCSkvRB+S+W7q5wKv6VpwxF+oXopyLXQ1tVkOXFWQxXzLssoHoZqkRsiEIwyAwQ6DCDDJtYsN2QeuMudfVBv5a0bynL7KkO1ckCdCgKrZMWBPaGSe+LeFngBOtEsQ5JJuqDCOZz/XrzpeXWL3pNMABR74B4OWv+6wC7qKzeaofHyjdMyuav94hLqH4ex1asDEZgYvBzuXlUg+SKeV/CHVsl8r9EC6TaFnufxtw+begsBQu1uFu75KsspQLoxWkfIAMhOWdmtZFB2W5g22ABcJVOwgWtBtnSOAb1irczGmb2BdfnZ//u8+O43/1fgsTAeP1T4j/DXz42y/jf6PJ6Bz/+wfF/25a5htlkT8atbinMCCQTi4JGOjQXgSgABip0UAu9kV8q0JsO4BfHVrrRdYINE5GXSwtK1U4bUuKtoupiYqAlvMZHxfvf3eg5jqwXmh5e/n9uw83h+DN8ofr9ms+mKoITl6KxNp1IRmGmFRWWztl9jlkYNv/q3CPwgVsLWHK4M7CJlUr/6V5XhYBWVWqt5d1QJvhpjh8bclR0Tf33PueenN9Fz15IvNcOAAJW4BY/q1/xRteDzZcBZV2AtbhwXmkaYmAgfoD0Jd6e2yBzKp2xKpeX0b4sz6AOsIbMoFBIPBt2f8S6Rd7vUyC3pKxrGSFOa0PM7xbJKu79SE+QNVqwu1018///WRyKCfJ0hTOwYqr11cFWahC2SOKgKADYAZvTP0rANBWPFieY6n2ROiy7frNN4OrwgawufRtvLCpK/7V75P6BLehGWOv1NIY7GBRQS62USKMamER2xyCVra9WozXahvFZlPJDYCytWEOJ0nn1vPBoCVuGPZR0YYBIZVTiUH0rc0KvMmluXbwFgN3RyK+MwnaGTRNtDGAlKhjkiwSbJ58hD97t1BCcOewGGxcgLctOPBM3WhZPMDJJqqGaVO5pYZ3DmPbC/LMs2IvVUs9KNgW0BYfPp173sk7oAVUAFiEwH8aMBxavbnvuL9KjpmvNztJ4A7QbhLosxKcHpbKaksxkiWhbPxA8WwF8CO9MwIuNvSKA5ApnKWDKUT3eqFhNKD4csN/2+4rsWZ8rliUOQyqqI+EcyUpoKFBMisOh/TFG98BLlP7tgveX6Ums/Apyp7NK0t0SFlzjLi1cxlr0W739zIJtLJpcRsEtAeZ14GamnEayCcrdYrXx2ieV6DW8YbmSQSo3Zug64A9aB0KPaIC7QDBvX1pmzyZaYbDQMEsomzCnW8/3kyG7AJAgb/G9SD9smwNxUOOXecUKO+27ybAl+NvkTbkIh/P79nubccp+t+Opt7BpyIdygqMtY8dBJ2rQm0gT8T9vn7SgsTFShbJC30tALZ9eaDbKjvQhMRsAPOPtACK609iFxRkNqzN4eCrxiQi3ZnHybnpuYFghHGkBVDP+3IDgnDFOO4L+nRr8nel/05dw8DW90aBoxCVZW4pujb3pjCtplBTd7yXoPNyEtRdBXeCNri7If0ReH3NH8G4Ks1AYZJyQ3+bW1mFtyKHdwTRAaSgl+YhVPHVtX1qJHBWqYHyjiepRuZX4sSqr53W3waD0RhokvaJapW64iguSCk6/FetV5NGFXqTnDz1XPCwY04IsHOHQ/JquONhtNk6RYAsXksARqsjcKWKeJdbWoeVcfEXSB8Yq2dIovN6hlTaJ8P8VVF4tDMX5Z1DIaFQ3Tmx6ymrOvwsq9JcqO12TN4oc9Fu2cGi4LCDryGJJNSE4tuzcj+VQnx/pVSqd3UUs7SXn26lzLWkv9cwz3Y3eRlZ5jfup9vctHUjgmIBoTP+Oo7XtNr20BBiL5NoMhvMPBGL4Sj2fW8+maWe549mw9k0no9ns/HAm879YRoN4tSfC19Eo3gcp8lkNpsK80LJCsd3D6H8zvoQaAwsMha6mbx8Es8Alps2mqRg5fJARUnXjiaLbez6gdUqEp7u8/zxDxwsor7QwA8ZMSOBFvU4BkmaHD3Fdnup7nRbGob55omg8eJwn0AYedG7HQBaXrS3Cc+YSmtaD2fhaKardqIwWIQloQWfQINu9/Z1SEMxwmSly/GW1hY5qggtuiLbOfTkaX25KzXp98X36WGPGp4aF1yrxKcgK90/kqi8+4mih5zfoD0QFRmltzL6JUBbZ4vtDsxPpkP3mqIJ2oZ/oShN+P1PH/58/dGmgDwqWtjXXeyY/XwaBXg799rkSxQjIqHh2O3xVcphpI8CpzotLVO56OYbbr1sXL75JIsX0deWwmyBR280Za+Ep70EDYpFER2rcXrrjsickSjRIt2NbPjmDeN+jgLlsbnRZKRj6eSW8YUObHttUZEzt+3uYqc9btyMCnXDAx3d8nNENppeCSHW6raNUCoksZ8eYtJVA8SZRNv3LvleoNpeNv5lTJsIe76HXjFb19RsUZgoHi1t4Xs3iazmKKZOipFIk+ahE6dU3yGXhOL1GgkpLKCREEECOm4UwlvA76ODGOf7OrvvAI4eFcpOvZAtU7H+w0GtoZGrEFJpLkbkykhd0p3jyegZ04HUsk6FglXnTIm4TBg29eKuR33bMZxOjZiLw/ntdDXbd37vXY886UFJF6/aUqA0Vp/dHUmnTL9wj6Io/Fb1+pnuObJE8s0R+3z1vpIUIyV2/gA25DrqQOeVdRAWeanXZnQ40agLwMLbsmHntLnNai1OS/ySVOwbunVRJzvaF0nOSvVw9lzTOdx80lRYVd42za5eXF2JXeZm28RN98UVSU3K96MwH9N4Kjw5S8V8ls6mkTeZTyeTJJ3IgT+czb3ZxI/8cTqfTCfz8WA+TMf+XMbxaCKljCadCv7yMN5kOJh6ceQN/bEQiUxG02QcR8N0NJwO5tMoncm5EPF4LP3pPI1HyWAyHo7EJPHkYDJPhq1m//Iok2jozaLpAGbOi1MvEpEvx/5kJgfpIJqPYCmjeAIjORPSm4P4GEbTk8Lzp8PJcAYv/ZnvsgqIIJ3yvzrecApzC7sr/OFwNBYA8WKURmkSCy+SHhREhHnM/ERMYm8isKxpNBbpUEwHY99HMY2n4k8s8hkOojmJJvOBn86S0WQ49EdCwIpPBsOR9CM5GEPigPvSqTcy+9d1SkK773XvCpIEsrktyaD20yWUFL26DjXa20wW01d3nkuVG3aUtiMi2Np9o7Lj7KWhk2WMBCq4fpXj5JzKhHJ6+VIs+qIxyiqR1RIHZ8sZbrQYlXCnU+bMk1e+aiNeV6xPXvO+aN1VrF/dUWoVcFSIVr3cl+NklO56uuVM/856rbW190LDHN8Ut63oQl2jS91AFbcXW6zaQrZprKtN1d8oU+M/bn76UW+ewYkelLclY1I17CZSWKZ2OBgKeTYON89LpaqYB2gWPRpHXDY50EQ5O+ZiRlfDO9gcMiMvcyrgaKEGzenaT+WamIuvT9wBfk0nD0CBV3ACgclkdVQI8HOIra1PAa+jHhpCHXV5jbeoy1Hpyy4Z+Qs7EmBlWM2fCi2cBKIob5NZs8Q2AzqQxldkDVqxQVRUdlFtJCWbdlmTSs9qSDS8fujFKipFBa0el/AeSD3kGdSCyqcyFyuTGKtppjAOt0eZqQYsRnlyRg6PBqfUGMFnvKTWxqaEXSJv32DE/3p4OFGG+gZvK7YuP1EEvVucHrvzj5Sr+RK10yQ+Yd1A+zVkbkn5tHEusi1JKJQFHSeeCae0YmQYu6YA0sLgMHI1jXud56R5Isp7hYJgHNHug7ahBuXrKivJm1Nuab3ASDkbYIItS53ga3QaHOZzt8OSOqvJ1LosMJ3i5ujQZSIpsITNMGJJFDIFsGijYK0L6FRMIxVRlXHOgctxI6ZAMs3JNp8BG83F58gxX+feqFya3kFWSJNxqgXICw/Q6PUibhNHD9AU60YzQxN1DjA9hNbqD8W6pI/hX2WCYNqYwPe0i39D4jR4kgtsG3b/syx0Kfgoa8Ajoz+ia7zXKdZKE6qgPAcxu2xqhqYGoLbxXbl7NKKswIJL1cF33aFrUGp3aw84ZZqAlY5Y06UN0as7gg6/wNSrl5nn6ZfJSC2qHZCFgPwOWi6Men2UJKKTfZsu4dr4uXVPeS5axpjiaxfWNQ73US+vorReN5+fW0di1dlxqKIumUWZGpgcjmxkDZyu4IWJUJaGwGolurhuS7OF9etAvx2qWpi8gjNAOW3snBG6D3kZVBUcA+pAB4OP8u9c94p76qHtPmFG5Yesyb9h5FPTVM00aAO/O+sZmIC2sRjPhkCTE08MIxmPBt4g8qfCHwzmo1Ey95LBfDAYTBIpUuAqbxQD56beMJWzaJSYh/EOqiwkKF4lJkfQZLPfcTrUUQRDORhslbfK3+MMTafLRXjV4yU/O/Qw69JX2S2iUnPhD2Byc4oeUwj5kG8LUsd4UnA8e/VkmOyeCQ0o4C9lzjffaIl5fQ1Ac2sZ96wvGA45UCO7FyJaO4aJL9j2GvO+1ZljrSdbKM5wCFTUbDBhUtpM0vagwK/vVClO2pHu0Pmnyogo1axSUk6bGWwSQU9SvWQ6+RK33bUX8xLQ+xg04juj/vT01S82L0thsLDMe7qeTY6PpdhjCWFWwNrQGVg9mRS+IM+ewpWXXH3pk1uv1a6ZQAgn48lIxCk8jvF86gPID2U6SyfCHyceJBKuSjod+dEgHozj2Sz14SHF0TgZDNIkUr4dO+g81WtagEwu//P6T1cUGsmv+OYnY28zLnfQhZy/uDSge0V+mZR7ch6hDwgBltWj0UobTFaW12yXP+zr5vIIUiijTft5comD/hJH6XAYJfF4IL3xJJnHfpTA+RqM58M4GaXwg6Qfz8cSPlI6GkXJHM7fMBr6iT/24Cml/sslfpDMo0u+t+fxljpBtJ1jIwEM4G3fkyvBApKjluFALtPGoACvnn9Pe/QxVXddZL6vMpJrGkaBCcYG2GKNIBSzl2RzM8Ip7URb5FFwNJOhApBt3WQNkIjyWchM98MCBk4KLMH3R6JO0azaIOGjc6ZwUgN8BFxB80oS/ncrmMjRP0YivR4F/YxStcqTaaQOmZBPYSGKgG8K9D8I6JJLl70LqMj+NphQvsqSbjKPEpSjQ0PSIXzTGQRqXIqHAyb3J/Rk9vKCKVv5ZQBIR3F0uJ3DQU9i8epymC8u2utfvrH9Q3A6OP/cU1HPz07GoC0Y2F/Kz9N5HfVjfaEucI8sGopdUW3uV/7aPqeMnZ/zc37Oz/k5P+fn/Jyf83N+zs/5OT/n5/ycn/Nzfs7P+Tk//9znfwDAEoPV","code_sha256":"0f4b5307927ed4083137fa4f3a58c3ff574644b7b3ef8ff1ab2285a5d83c6124","encoding":"base64(zlib(tar)); code_sha256 is the decompressed tar sha256","canonical_py_sha256":"d39d3318fb68cb68104273b9b1697c736fddd6218f83d8812cf46495c0da3dee","run":"From pinned checkout with scratch/env.sh sourced, place frozen sources beside canonical.py. Prepare block0 for start 12012672 count 64. Copy bins to block1..3. Run each arm once per block at starts 12012672,12012736,12012800,12012864 with count 64 and timeout 470s; never rerun initiated seeds. Validate each source with amm-match validate. Summarize saved completed blocks."},"missing":{"ib":[],"m09":[],"t1":[]},"validation_record":{"setup":{"exit_code":0,"wheel_hash_match":true},"prepare":{"exit_code":0,"builder_equality_checks":8,"fields_per_check":12,"old_seed_simulations":0},"engine_commands":[{"arm":"ib","block":0,"exit_code":0},{"arm":"m09","block":0,"exit_code":0},{"arm":"t1","block":0,"exit_code":0},{"arm":"ib","block":1,"exit_code":0},{"arm":"m09","block":1,"exit_code":0},{"arm":"t1","block":1,"exit_code":0},{"arm":"ib","block":2,"exit_code":0},{"arm":"m09","block":2,"exit_code":0},{"arm":"t1","block":2,"exit_code":0},{"arm":"ib","block":3,"exit_code":0},{"arm":"m09","block":3,"exit_code":0},{"arm":"t1","block":3,"exit_code":0}],"forge_slither":{"status":"not_run","reason":"No Solidity source modifications; frozen source compilation and required amm-match validation performed."},"launch_check":{"status":"not_applicable","reason":"No launch manifest involved."}},"audit_inputs":[{"name":"after-audit-1","sha256":"dd606564acfea059712453ef8f6a15d0294516f741b2c25c88f15cbcb5d22fdb","conclusion":"Applied-WAD/model/numerical scope passes; ideal-double trajectory equality fails; no Rust-engine seeds tested."},{"name":"after-audit-2","sha256":"4f33bdc52e056d9c1bd1682593cd4f81de1c95ea4ff44bd9f433b31d150dbaf1","conclusion":"Replica-only audit; native-engine tell survival and live gas left untested."}]}