{"header":"Frozen ComboG(1) vs qt1 confirmation; credit Taylor (gtmcknight) for the solved policy, Gaussian filter, qm tables, and replica research.","item":"a1s4","status":"complete","blocked":null,"scope":"Frozen policy confirmation only; no tuning, no other engine seeds, no board claim. P/Q/F are outside this item and were not rerun.","evidence":"Performance, hashes, sizes, validation and exits below are direct local measurements. sources.json identifies the fetched frozen source and engine implementation; remote reports are not substituted for local measurements.","hashes":{"tc_a":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol","sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","expected_match":true},"frozen_candidate":{"diff_url":"https://api.imd.fun/artifacts/9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","expected_match":true},"qt1":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol","sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","expected_match":true},"engine_py":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/engine.py","sha256":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300"},"check_py":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/check.py","sha256":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1"},"diff_artifact":{"url":"https://api.imd.fun/artifacts/9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","sha256":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740"},"engine_wheel":{"sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","expected_match":true}},"runtime":{"candidate_bytes":22058,"qt1_bytes":20605,"candidate_expected_bytes":22058,"limit_bytes":24576,"passed":true,"bytecode_sha256":{"candidate":"48c29ec5de7626f2c66f7a4cf3dd7e7a6b294473188029f197208c71ee49f0cb","qt1":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189"}},"validation":{"setup_exit":0,"starter":"passed","candidate":{"exit":0,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorComboGQmTrim2' validated successfully!\n"},"qt1":{"exit":0,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorGaussianQMSpline' validated successfully!\n"}},"method":{"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","engine":"amm_sim_rs 0.1.0.post1","compiler":"solc 0.8.24, pinned SolidityCompiler settings","workers":8,"normalizer":"VanillaStrategy, 30 bps","arms":"Each arm alone vs VanillaStrategy; same configs for pairing. gas_stats_reset before each arm; gas_stats read immediately after each arm.","configs":"Pinned engine.py configs; BASELINE_VARIANCE has all three vary flags enabled. Same np.random.default_rng(seed) uniform draws in retail size, arrival rate, gbm sigma order as MatchRunner._build_configs; 10000 steps.","chunk_size":16,"execution":"Sequential chunks. Original engine.py/check.py fetched into same scratch/tools directory. guarded_engine.py evaluates original engine.py with a stop check inserted immediately after saving each arm: any callback error or candidate Submission/afterSwap max_ok_gas >245000 aborts before next arm. Policy sources untouched after frozen patch. run_one.py reserves every chunk before launch and forbids replay; child timeout 465 seconds inside command timeout 470 seconds.","baseline_label":"The upstream engine helper calls the qt1 arm baseline; raw gas role Baseline denotes VanillaStrategy, and Submission denotes the tested candidate or qt1."},"range_convention":"All ranges [start,end), end exclusive. Assigned inclusive range 9803956..9804083.","assigned_range":[9803956,9804084],"attempted_ranges":[[9803956,9803972],[9803972,9803988],[9803988,9804004],[9804004,9804020],[9804020,9804036],[9804036,9804052],[9804052,9804068],[9804068,9804084]],"completed_ranges":[[9803956,9804084]],"missing_ranges":[],"missing_ranges_by_arm":{"candidate":[],"qt1":[]},"completed":[{"seed":9803956,"candidate":632.3840561779299,"qt1":632.0434711711127,"diff":0.3405850068171503},{"seed":9803957,"candidate":402.23733870055884,"qt1":402.2185642266283,"diff":0.01877447393053444},{"seed":9803958,"candidate":523.8425073376092,"qt1":522.469976321177,"diff":1.3725310164321627},{"seed":9803959,"candidate":764.2259180962483,"qt1":763.6694869011949,"diff":0.556431195053392},{"seed":9803960,"candidate":527.5752878409995,"qt1":527.1020063776033,"diff":0.47328146339623345},{"seed":9803961,"candidate":569.1848426492036,"qt1":568.5737635261422,"diff":0.6110791230613586},{"seed":9803962,"candidate":594.5551156003526,"qt1":594.4928026133533,"diff":0.06231298699924537},{"seed":9803963,"candidate":471.2105879508788,"qt1":470.7237900997527,"diff":0.4867978511260844},{"seed":9803964,"candidate":550.00928277935,"qt1":549.3023733960547,"diff":0.7069093832952831},{"seed":9803965,"candidate":490.167520614716,"qt1":488.7674101152913,"diff":1.400110499424727},{"seed":9803966,"candidate":611.1853795391097,"qt1":611.1871220193543,"diff":-0.0017424802446157628},{"seed":9803967,"candidate":458.4099608638881,"qt1":457.36360409961725,"diff":1.046356764270854},{"seed":9803968,"candidate":566.9133310278476,"qt1":565.7254074285033,"diff":1.1879235993442308},{"seed":9803969,"candidate":459.4829275419573,"qt1":458.7097318707734,"diff":0.7731956711838848},{"seed":9803970,"candidate":483.5061766272769,"qt1":483.4502563964015,"diff":0.05592023087535836},{"seed":9803971,"candidate":618.8769411636966,"qt1":618.1408052844208,"diff":0.736135879275821},{"seed":9803972,"candidate":521.5994112300842,"qt1":520.5600201891659,"diff":1.0393910409183036},{"seed":9803973,"candidate":477.2565146017408,"qt1":476.50016487530564,"diff":0.7563497264351327},{"seed":9803974,"candidate":373.16477875499476,"qt1":372.60333376085293,"diff":0.5614449941418229},{"seed":9803975,"candidate":456.6784412790909,"qt1":455.74194258043764,"diff":0.9364986986532813},{"seed":9803976,"candidate":381.9321614409067,"qt1":380.99820696735816,"diff":0.9339544735485674},{"seed":9803977,"candidate":580.3676748128076,"qt1":578.2601855731862,"diff":2.1074892396214864},{"seed":9803978,"candidate":427.4762151019828,"qt1":426.5920100741518,"diff":0.8842050278310012},{"seed":9803979,"candidate":562.001380720661,"qt1":561.1761638114683,"diff":0.8252169091927044},{"seed":9803980,"candidate":533.8341809073877,"qt1":532.6972189570712,"diff":1.136961950316504},{"seed":9803981,"candidate":524.8572140179441,"qt1":523.7420804616839,"diff":1.1151335562601616},{"seed":9803982,"candidate":545.7153359144215,"qt1":545.3388551311647,"diff":0.3764807832568522},{"seed":9803983,"candidate":538.0006597119176,"qt1":536.6803050722026,"diff":1.3203546397149921},{"seed":9803984,"candidate":492.74553291861906,"qt1":491.88383794153464,"diff":0.8616949770844258},{"seed":9803985,"candidate":632.9746776153629,"qt1":632.4798485813814,"diff":0.49482903398154576},{"seed":9803986,"candidate":506.33568022231384,"qt1":505.27404591526346,"diff":1.061634307050383},{"seed":9803987,"candidate":586.0517543998601,"qt1":585.5804154806953,"diff":0.47133891916485027},{"seed":9803988,"candidate":486.61367631719446,"qt1":485.4509248661315,"diff":1.1627514510629453},{"seed":9803989,"candidate":664.3365772736755,"qt1":662.4867751476864,"diff":1.849802125989072},{"seed":9803990,"candidate":350.2948358150616,"qt1":350.01477264666335,"diff":0.2800631683982715},{"seed":9803991,"candidate":371.8201015089615,"qt1":371.0121425758355,"diff":0.807958933125974},{"seed":9803992,"candidate":664.9896241139368,"qt1":662.7987699227416,"diff":2.1908541911951716},{"seed":9803993,"candidate":577.9722655219583,"qt1":577.0605115717613,"diff":0.9117539501970668},{"seed":9803994,"candidate":498.67805754674976,"qt1":497.52894921938423,"diff":1.149108327365525},{"seed":9803995,"candidate":489.7409536684983,"qt1":489.3016127215614,"diff":0.43934094693690895},{"seed":9803996,"candidate":474.86054056170576,"qt1":474.0069804573036,"diff":0.8535601044021632},{"seed":9803997,"candidate":625.8823591321005,"qt1":624.2857699191213,"diff":1.596589212979211},{"seed":9803998,"candidate":621.4065288982165,"qt1":620.0360584735666,"diff":1.3704704246498522},{"seed":9803999,"candidate":405.1408291290905,"qt1":404.1754807051356,"diff":0.9653484239548789},{"seed":9804000,"candidate":516.6037395712245,"qt1":515.6817043150967,"diff":0.922035256127856},{"seed":9804001,"candidate":519.5768511262191,"qt1":519.0215697192747,"diff":0.5552814069444594},{"seed":9804002,"candidate":592.5382809652008,"qt1":593.3080642249284,"diff":-0.7697832597276602},{"seed":9804003,"candidate":364.72254656490185,"qt1":363.8545335334011,"diff":0.8680130315007659},{"seed":9804004,"candidate":496.7066233996744,"qt1":494.3644632164205,"diff":2.3421601832538954},{"seed":9804005,"candidate":647.271799570638,"qt1":646.2726612759834,"diff":0.9991382946545855},{"seed":9804006,"candidate":416.2989944175603,"qt1":414.9698278299479,"diff":1.3291665876124057},{"seed":9804007,"candidate":567.117878010713,"qt1":567.1997551903752,"diff":-0.08187717966222863},{"seed":9804008,"candidate":658.6498545530641,"qt1":658.4722460633812,"diff":0.17760848968282517},{"seed":9804009,"candidate":418.79042995034666,"qt1":417.2314366548533,"diff":1.5589932954933374},{"seed":9804010,"candidate":511.3373562978493,"qt1":511.26616371343925,"diff":0.07119258441002785},{"seed":9804011,"candidate":692.4252701282412,"qt1":691.5252182426433,"diff":0.900051885597918},{"seed":9804012,"candidate":455.1845336705952,"qt1":454.42860195493347,"diff":0.7559317156617453},{"seed":9804013,"candidate":582.7971137227253,"qt1":582.9851456197941,"diff":-0.1880318970688677},{"seed":9804014,"candidate":458.92229809375186,"qt1":457.5769197932318,"diff":1.3453783005200535},{"seed":9804015,"candidate":450.05572076679005,"qt1":449.8905820134167,"diff":0.16513875337335548},{"seed":9804016,"candidate":528.8485043457546,"qt1":527.789109575364,"diff":1.0593947703905542},{"seed":9804017,"candidate":501.3063868287596,"qt1":500.5386440506391,"diff":0.767742778120521},{"seed":9804018,"candidate":649.4503161693182,"qt1":648.669696227711,"diff":0.7806199416071422},{"seed":9804019,"candidate":671.081088386643,"qt1":669.7010305869915,"diff":1.3800577996515813},{"seed":9804020,"candidate":435.5362361511035,"qt1":435.7883221733294,"diff":-0.25208602222591026},{"seed":9804021,"candidate":526.6807885407235,"qt1":525.4248740427158,"diff":1.2559144980076553},{"seed":9804022,"candidate":475.2695810268888,"qt1":474.0822464440368,"diff":1.1873345828519746},{"seed":9804023,"candidate":416.5376730791794,"qt1":416.322232913944,"diff":0.21544016523540677},{"seed":9804024,"candidate":622.6291749240186,"qt1":621.6980121994761,"diff":0.9311627245424461},{"seed":9804025,"candidate":648.370320104678,"qt1":647.8936755867129,"diff":0.4766445179650418},{"seed":9804026,"candidate":596.3050753858408,"qt1":596.5694921649388,"diff":-0.26441677909792816},{"seed":9804027,"candidate":638.5237539133296,"qt1":639.7173872849346,"diff":-1.1936333716049603},{"seed":9804028,"candidate":685.3042017933997,"qt1":684.9469858045311,"diff":0.35721598886857464},{"seed":9804029,"candidate":364.8392802418931,"qt1":364.07338288625647,"diff":0.7658973556366391},{"seed":9804030,"candidate":389.88303430609125,"qt1":389.3106157735334,"diff":0.5724185325578333},{"seed":9804031,"candidate":512.737141444651,"qt1":512.7208135348626,"diff":0.016327909788401485},{"seed":9804032,"candidate":698.629235097766,"qt1":698.11102636852,"diff":0.5182087292459983},{"seed":9804033,"candidate":725.0060688704483,"qt1":728.3889932386382,"diff":-3.382924368189947},{"seed":9804034,"candidate":447.3561718700718,"qt1":446.8444103332864,"diff":0.5117615367854},{"seed":9804035,"candidate":425.0279967928904,"qt1":424.1478654609807,"diff":0.8801313319096948},{"seed":9804036,"candidate":673.3154830636362,"qt1":672.5017034373568,"diff":0.81377962627937},{"seed":9804037,"candidate":613.5220057095312,"qt1":612.555525835285,"diff":0.9664798742461471},{"seed":9804038,"candidate":540.4506502956734,"qt1":541.0332864889679,"diff":-0.5826361932944337},{"seed":9804039,"candidate":482.9067865612712,"qt1":481.67126833254196,"diff":1.2355182287292337},{"seed":9804040,"candidate":598.2393944944322,"qt1":597.2441811660127,"diff":0.9952133284194815},{"seed":9804041,"candidate":515.2408801631118,"qt1":514.1057312031381,"diff":1.1351489599736624},{"seed":9804042,"candidate":634.0352242871405,"qt1":633.6744657249786,"diff":0.36075856216189095},{"seed":9804043,"candidate":525.9641430845631,"qt1":525.2177942779593,"diff":0.7463488066038053},{"seed":9804044,"candidate":440.7164818154036,"qt1":440.72275842581325,"diff":-0.006276610409656769},{"seed":9804045,"candidate":728.0289209645285,"qt1":727.6347057240084,"diff":0.39421524052011137},{"seed":9804046,"candidate":445.7801374975985,"qt1":444.61713002053546,"diff":1.1630074770630472},{"seed":9804047,"candidate":452.90535864479756,"qt1":452.87770780226293,"diff":0.027650842534626463},{"seed":9804048,"candidate":575.2248639112743,"qt1":575.2927484963645,"diff":-0.06788458509026896},{"seed":9804049,"candidate":551.3922940319743,"qt1":550.1372721877483,"diff":1.2550218442260075},{"seed":9804050,"candidate":483.4422655081036,"qt1":482.63896803402434,"diff":0.8032974740792724},{"seed":9804051,"candidate":627.6608787633759,"qt1":627.0056127762884,"diff":0.6552659870874322},{"seed":9804052,"candidate":792.1630208663173,"qt1":791.4130490911016,"diff":0.7499717752157267},{"seed":9804053,"candidate":682.9402283025358,"qt1":681.0409186260571,"diff":1.8993096764787651},{"seed":9804054,"candidate":520.0971468840748,"qt1":520.0175331150185,"diff":0.07961376905632278},{"seed":9804055,"candidate":584.9077278477504,"qt1":584.8256192107364,"diff":0.0821086370140165},{"seed":9804056,"candidate":420.7681945876802,"qt1":420.59776497296,"diff":0.1704296147202058},{"seed":9804057,"candidate":413.24549922448136,"qt1":411.9817352996446,"diff":1.2637639248367805},{"seed":9804058,"candidate":523.218643034023,"qt1":523.1812354974796,"diff":0.03740753654335549},{"seed":9804059,"candidate":473.75868895576826,"qt1":472.6434248685229,"diff":1.1152640872453503},{"seed":9804060,"candidate":729.4099868598405,"qt1":728.2268241618033,"diff":1.183162698037222},{"seed":9804061,"candidate":714.4892850681474,"qt1":714.3115547430326,"diff":0.17773032511479414},{"seed":9804062,"candidate":632.6811166159363,"qt1":630.9723121519279,"diff":1.7088044640083808},{"seed":9804063,"candidate":505.9991359953405,"qt1":505.5516464049437,"diff":0.44748959039679903},{"seed":9804064,"candidate":555.8684001419532,"qt1":555.1900157706714,"diff":0.6783843712818225},{"seed":9804065,"candidate":371.14203069346377,"qt1":370.3394490175852,"diff":0.8025816758785709},{"seed":9804066,"candidate":602.8026562350985,"qt1":602.3049253222155,"diff":0.49773091288307114},{"seed":9804067,"candidate":606.778225811976,"qt1":606.2486337135686,"diff":0.52959209840742},{"seed":9804068,"candidate":595.5463939581074,"qt1":595.0628700538734,"diff":0.4835239042339481},{"seed":9804069,"candidate":390.58934342298596,"qt1":388.54173472075837,"diff":2.047608702227592},{"seed":9804070,"candidate":601.4094878172771,"qt1":601.6330801562697,"diff":-0.2235923389926029},{"seed":9804071,"candidate":476.34971699758063,"qt1":475.49208304848344,"diff":0.8576339490971918},{"seed":9804072,"candidate":529.2034055951843,"qt1":528.72347876229,"diff":0.47992683289430715},{"seed":9804073,"candidate":431.5213685632394,"qt1":430.3993389782697,"diff":1.1220295849696527},{"seed":9804074,"candidate":601.5815421675889,"qt1":600.8248262070476,"diff":0.7567159605412144},{"seed":9804075,"candidate":629.6647808136709,"qt1":629.2397442485471,"diff":0.4250365651237189},{"seed":9804076,"candidate":652.3612548021447,"qt1":651.3584037612306,"diff":1.002851040914038},{"seed":9804077,"candidate":550.9312556124034,"qt1":549.6139280806613,"diff":1.317327531742194},{"seed":9804078,"candidate":664.6057826646121,"qt1":663.7192141776069,"diff":0.8865684870052064},{"seed":9804079,"candidate":595.507050527099,"qt1":594.9911437622407,"diff":0.5159067648583004},{"seed":9804080,"candidate":445.66766489286056,"qt1":444.9054069977552,"diff":0.7622578951053356},{"seed":9804081,"candidate":554.672857945248,"qt1":554.4870359009407,"diff":0.18582204430731508},{"seed":9804082,"candidate":616.6845314566482,"qt1":615.7121052762931,"diff":0.9724261803551144},{"seed":9804083,"candidate":622.7743132504444,"qt1":621.6891657661612,"diff":1.0851474842831976}],"paired":{"n":128,"mean_diff":0.7016893506328548,"se":0.060424819387048266,"worst5":[{"seed":9804033,"diff":-3.382924368189947},{"seed":9804027,"diff":-1.1936333716049603},{"seed":9804002,"diff":-0.7697832597276602},{"seed":9804038,"diff":-0.5826361932944337},{"seed":9804026,"diff":-0.26441677909792816}]},"raw_gas_stats_per_chunk_arm":[{"range":[9803956,9803972],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":174253,"ok":174253,"max_ok_gas":22592,"sum_ok_gas":3931616960,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":176235,"ok":176235,"max_ok_gas":220130,"sum_ok_gas":26603243923,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":20.71055245399475,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":175212,"ok":175212,"max_ok_gas":22592,"sum_ok_gas":3953259024,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":176251,"ok":176251,"max_ok_gas":207355,"sum_ok_gas":24299312596,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":17.163523197174072,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9803972,9803988],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":169005,"ok":169005,"max_ok_gas":22592,"sum_ok_gas":3813200544,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":172517,"ok":172517,"max_ok_gas":220069,"sum_ok_gas":26140220107,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":18.362455368041992,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":170055,"ok":170055,"max_ok_gas":22592,"sum_ok_gas":3836889288,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":172190,"ok":172190,"max_ok_gas":208668,"sum_ok_gas":23788875440,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":16.841391563415527,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9803988,9804004],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":171824,"ok":171824,"max_ok_gas":22592,"sum_ok_gas":3876821104,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":174436,"ok":174436,"max_ok_gas":219895,"sum_ok_gas":26393961359,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":19.252643823623657,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":172880,"ok":172880,"max_ok_gas":22592,"sum_ok_gas":3900641368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":174283,"ok":174283,"max_ok_gas":204770,"sum_ok_gas":24059806109,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":17.472339868545532,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9804004,9804020],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":172625,"ok":172625,"max_ok_gas":22592,"sum_ok_gas":3894892540,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":175218,"ok":175218,"max_ok_gas":220833,"sum_ok_gas":26479994499,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":19.454336643218994,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":173646,"ok":173646,"max_ok_gas":22592,"sum_ok_gas":3917926884,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":174935,"ok":174935,"max_ok_gas":204202,"sum_ok_gas":24131358124,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":15.961424112319946,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9804020,9804036],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":171487,"ok":171487,"max_ok_gas":22592,"sum_ok_gas":3869214644,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":173815,"ok":173815,"max_ok_gas":217776,"sum_ok_gas":26254002618,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":19.565460443496704,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":172344,"ok":172344,"max_ok_gas":22592,"sum_ok_gas":3888539952,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":173785,"ok":173785,"max_ok_gas":209290,"sum_ok_gas":23978429928,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":16.346765518188477,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9804036,9804052],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":175200,"ok":175200,"max_ok_gas":22592,"sum_ok_gas":3953011824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":178002,"ok":178002,"max_ok_gas":220377,"sum_ok_gas":26837850978,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":20.67103123664856,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":176183,"ok":176183,"max_ok_gas":22592,"sum_ok_gas":3975186940,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":177935,"ok":177935,"max_ok_gas":206594,"sum_ok_gas":24512823179,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":17.87312388420105,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9804052,9804068],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":176632,"ok":176632,"max_ok_gas":22592,"sum_ok_gas":3985320440,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179306,"ok":179306,"max_ok_gas":219839,"sum_ok_gas":26968735936,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":19.194283485412598,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":177626,"ok":177626,"max_ok_gas":22592,"sum_ok_gas":4007741584,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179114,"ok":179114,"max_ok_gas":205239,"sum_ok_gas":24652404014,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":16.60962438583374,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}},{"range":[9804068,9804084],"end_exclusive":true,"status":"done","arms":{"candidate":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":178196,"ok":178196,"max_ok_gas":22592,"sum_ok_gas":4020605632,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":92178,"sum_ok_gas":1474848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":180114,"ok":180114,"max_ok_gas":220233,"sum_ok_gas":27090500920,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21661,"sum_ok_gas":346576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":19.44039249420166,"source_sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616"},"qt1":{"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":179296,"ok":179296,"max_ok_gas":22592,"sum_ok_gas":4045418744,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":90858,"sum_ok_gas":1453728,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":179903,"ok":179903,"max_ok_gas":205138,"sum_ok_gas":24753405421,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21579,"sum_ok_gas":345264,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"seconds":15.972194910049438,"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca"}}}],"submission_afterSwap":{"candidate":{"calls":1409643,"ok":1409643,"sum_ok_gas":212768510340,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"max_peak":220833,"mean":150937.86890723396},"qt1":{"calls":1408396,"ok":1408396,"sum_ok_gas":194176414811,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"max_peak":209290,"mean":137870.6094102795}},"all_roles_all_callbacks_errors":{"candidate":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"commands":[{"command":"git clone https://github.com/benedictbrady/amm-challenge test/scratch/a1s4/checkout","timeout_seconds":470,"exit":0},{"command":"git checkout 6b6921f8d463314aa7c96234e1be25a25245f704","exit":0},{"command":"patch -p1 -i frozen.diff","exit":0},{"command":"timeout 470s sh scratch/setup.sh > scratch/setup.log 2>&1","exit":0},{"command":". scratch/env.sh && timeout 470s amm-match validate scratch/Candidate.sol > scratch/validate-candidate.log 2>&1","exit":0},{"command":". scratch/env.sh && timeout 470s amm-match validate scratch/qt1.sol > scratch/validate-qt1.log 2>&1","exit":0},{"command":". scratch/env.sh && timeout 470s python -","purpose":"Import scratch/tools/check.py compiled; compile both sources; assert runtime <=24576 and candidate runtime ==22058; save scratch/compile.json. No engine seeds used.","exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9803956","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9803956","9803972","scratch/chunk-9803956.json"],"timeout_seconds":465,"range":[9803956,9803972],"end_exclusive":true,"exit":0,"seconds":39.03300428390503},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9803972","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9803972","9803988","scratch/chunk-9803972.json"],"timeout_seconds":465,"range":[9803972,9803988],"end_exclusive":true,"exit":0,"seconds":36.256064653396606},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9803988","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9803988","9804004","scratch/chunk-9803988.json"],"timeout_seconds":465,"range":[9803988,9804004],"end_exclusive":true,"exit":0,"seconds":37.66226410865784},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9804004","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9804004","9804020","scratch/chunk-9804004.json"],"timeout_seconds":465,"range":[9804004,9804020],"end_exclusive":true,"exit":0,"seconds":36.346352338790894},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9804020","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9804020","9804036","scratch/chunk-9804020.json"],"timeout_seconds":465,"range":[9804020,9804036],"end_exclusive":true,"exit":0,"seconds":36.97865653038025},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9804036","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9804036","9804052","scratch/chunk-9804036.json"],"timeout_seconds":465,"range":[9804036,9804052],"end_exclusive":true,"exit":0,"seconds":39.51457715034485},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9804052","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9804052","9804068","scratch/chunk-9804052.json"],"timeout_seconds":465,"range":[9804052,9804068],"end_exclusive":true,"exit":0,"seconds":36.79644274711609},{"command":". scratch/env.sh && timeout 470s python scratch/run_one.py 9804068","engine_command":["python","scratch/tools/guarded_engine.py","scratch/Candidate.sol","scratch/qt1.sol","9804068","9804084","scratch/chunk-9804068.json"],"timeout_seconds":465,"range":[9804068,9804084],"end_exclusive":true,"exit":0,"seconds":36.433335304260254},{"command":"timeout 470s python3 test/scratch/a1s4/assemble.py","exit":0},{"command":"timeout 470s python3 test/scratch/a1s4/verify.py","exit":0}],"limitations":"Local engine results on the assigned seeds only; no claim of exhaustive gas bounds or live leaderboard performance.","checks":{"passed":true,"completed_unique_consecutive_pairs":128,"arithmetic":"diffs, sample-SD/sqrt(n) SE, worst5 and gas means checked","source_quotes":"All 9 URLs fetched again and exact quotes verified, each <=500 characters","deliverables":"Both JSON files parse; result <=64000 bytes; neither file tracked or staged","authority":"These are local checks, not independent certification."}}