{"item":"a1s2","credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables, replica and research harness. Frozen ComboG(1) confirmation only.","status":"complete","blocked":null,"claim_scope":"Local paired engine measurements on assigned seeds only; no leaderboard claim. No tuning or source changes after frozen patch.","sources":{"Candidate.sol":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol","qt1.sol":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol","engine.py":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/engine.py","check.py":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/check.py","diff.txt":"https://api.imd.fun/artifacts/9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740"},"hashes":{"base_candidate":{"sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","matches_expected":true,"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol"},"candidate":{"sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","matches_expected":true,"construction":"Apply complete Frozen source: unified diff against TC-A from diff artifact, GATE=1"},"qt1":{"sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","matches_expected":true},"diff_artifact":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","extracted_diff":"ee1e263770b2beecda27dbf2b85365c6536dd1e6f4c69f3ed5ad6451d39290b2","engine_py":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300","check_py":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","engine_wheel":{"sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","matches_expected":true}},"runtime":{"candidate":{"sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","runtime_bytes":22058},"qt1":{"sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","runtime_bytes":20605}},"validation":{"setup_exit":0,"starter":"passed","candidate":{"exit":0,"log":"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorComboGQmTrim2' validated successfully!\n"},"qt1":{"exit":0,"log":"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorGaussianQMSpline' validated successfully!\n"},"runtime_cap_bytes":24576,"candidate_expected_runtime_bytes":22058,"runtime_checks_passed":true},"protocol":{"assigned_inclusive":[9803700,9803827],"ranges_convention":"half-open [start,end_exclusive); end excluded","chunk_size":16,"sequential":true,"workers":8,"each_arm":"amm_sim_rs.run_batch(X,VanillaStrategy,configs,8)","normalizer":"VanillaStrategy fixed 30 bps","gas_reset_per_arm":true,"seed_replays":0,"other_engine_seeds":[],"config":"Pinned engine.py configs: direct transcription of MatchRunner._build_configs; baseline variance flags all true; np.random.default_rng(seed) draws retail size, arrival rate, sigma in that order. 10,000 steps.","statistics":"diff=candidate-qt1; se=sample SD(diff)/sqrt(n); worst5 sorted by diff then seed","stop_guard":"Persist each arm and raw gas immediately; stop before subsequent arm/chunk on errors, candidate peak >245000, OOG/revert/other_halt/tx_error/bad_return."},"attempted_ranges":[{"start":9803700,"end_exclusive":9803716,"status":"done"},{"start":9803716,"end_exclusive":9803732,"status":"done"},{"start":9803732,"end_exclusive":9803748,"status":"done"},{"start":9803748,"end_exclusive":9803764,"status":"done"},{"start":9803764,"end_exclusive":9803780,"status":"done"},{"start":9803780,"end_exclusive":9803796,"status":"done"},{"start":9803796,"end_exclusive":9803812,"status":"done"},{"start":9803812,"end_exclusive":9803828,"status":"done"}],"attempted_ranges_by_arm":{"candidate":[[9803700,9803716],[9803716,9803732],[9803732,9803748],[9803748,9803764],[9803764,9803780],[9803780,9803796],[9803796,9803812],[9803812,9803828]],"qt1":[[9803700,9803716],[9803716,9803732],[9803732,9803748],[9803748,9803764],[9803764,9803780],[9803780,9803796],[9803796,9803812],[9803812,9803828]]},"missing_ranges":[],"completed":[{"seed":9803700,"candidate":613.918702704102,"qt1":612.0966510382661,"diff":1.8220516658358292},{"seed":9803701,"candidate":462.1349388487977,"qt1":461.97837818118774,"diff":0.1565606676099378},{"seed":9803702,"candidate":633.3616801363737,"qt1":633.6417096100183,"diff":-0.2800294736446176},{"seed":9803703,"candidate":511.934407956887,"qt1":510.8557361800024,"diff":1.0786717768846188},{"seed":9803704,"candidate":556.088266522278,"qt1":555.2778524039586,"diff":0.810414118319386},{"seed":9803705,"candidate":345.66027938279206,"qt1":345.1552327475192,"diff":0.5050466352728336},{"seed":9803706,"candidate":470.07979554789597,"qt1":469.0550043125187,"diff":1.024791235377279},{"seed":9803707,"candidate":409.4523846034476,"qt1":408.77006589073426,"diff":0.6823187127133679},{"seed":9803708,"candidate":586.4699274505984,"qt1":586.7066220842776,"diff":-0.23669463367912158},{"seed":9803709,"candidate":531.1407271840817,"qt1":530.7825560798464,"diff":0.35817110423533904},{"seed":9803710,"candidate":497.34526288719525,"qt1":496.26664752861205,"diff":1.0786153585831926},{"seed":9803711,"candidate":428.01313683753335,"qt1":427.6675038519696,"diff":0.345632985563725},{"seed":9803712,"candidate":480.0807834133486,"qt1":479.88612977721766,"diff":0.19465363613096542},{"seed":9803713,"candidate":406.48401944585817,"qt1":405.4630796806508,"diff":1.0209397652073449},{"seed":9803714,"candidate":591.2477677057371,"qt1":589.927557096263,"diff":1.320210609474202},{"seed":9803715,"candidate":485.61419593717903,"qt1":484.6652185162788,"diff":0.9489774209002348},{"seed":9803716,"candidate":642.071403383033,"qt1":641.6501469304599,"diff":0.421256452573175},{"seed":9803717,"candidate":536.2741388528434,"qt1":535.3710335266608,"diff":0.9031053261826401},{"seed":9803718,"candidate":485.5863710362115,"qt1":484.3512137086171,"diff":1.235157327594436},{"seed":9803719,"candidate":445.9629035142463,"qt1":445.17932787741023,"diff":0.7835756368360762},{"seed":9803720,"candidate":787.3830883668168,"qt1":786.2293039986567,"diff":1.153784368160018},{"seed":9803721,"candidate":500.23522805727765,"qt1":499.53498902720156,"diff":0.7002390300760908},{"seed":9803722,"candidate":426.5397308444998,"qt1":426.44207099273945,"diff":0.09765985176034064},{"seed":9803723,"candidate":391.0781816995483,"qt1":390.80164960868103,"diff":0.2765320908672493},{"seed":9803724,"candidate":427.89614906505284,"qt1":427.76803745344273,"diff":0.12811161161010887},{"seed":9803725,"candidate":545.9990590226286,"qt1":544.0645445281024,"diff":1.9345144945261836},{"seed":9803726,"candidate":531.1403012250681,"qt1":530.8606161622563,"diff":0.27968506281183636},{"seed":9803727,"candidate":533.9950807066139,"qt1":533.1303920038206,"diff":0.8646887027932735},{"seed":9803728,"candidate":499.5833276111386,"qt1":498.34187263115314,"diff":1.2414549799854626},{"seed":9803729,"candidate":511.1217251394615,"qt1":511.7005711593199,"diff":-0.5788460198584175},{"seed":9803730,"candidate":447.90229434054703,"qt1":445.9012676389131,"diff":2.0010267016339185},{"seed":9803731,"candidate":489.7220317297319,"qt1":488.9217072283902,"diff":0.80032450134172},{"seed":9803732,"candidate":395.4251811474911,"qt1":394.70386890735267,"diff":0.7213122401384453},{"seed":9803733,"candidate":575.433886338917,"qt1":574.0642882958037,"diff":1.3695980431132284},{"seed":9803734,"candidate":654.632411430842,"qt1":652.9849913371045,"diff":1.6474200937375372},{"seed":9803735,"candidate":612.738869063174,"qt1":612.297516569004,"diff":0.44135249417001887},{"seed":9803736,"candidate":553.0599216689579,"qt1":553.4323683487877,"diff":-0.3724466798297499},{"seed":9803737,"candidate":607.3830236049212,"qt1":606.3628586380427,"diff":1.0201649668784967},{"seed":9803738,"candidate":469.0606682341729,"qt1":467.16828127121084,"diff":1.892386962962064},{"seed":9803739,"candidate":590.0096311373738,"qt1":589.0077865125687,"diff":1.0018446248051305},{"seed":9803740,"candidate":669.7197196564961,"qt1":667.9183270800974,"diff":1.8013925763987118},{"seed":9803741,"candidate":624.6874326640271,"qt1":624.5806547957176,"diff":0.10677786830956393},{"seed":9803742,"candidate":405.22176076915264,"qt1":404.08037729380186,"diff":1.1413834753507786},{"seed":9803743,"candidate":402.5687330906568,"qt1":401.49346612449807,"diff":1.075266966158722},{"seed":9803744,"candidate":545.1437766537287,"qt1":544.1559769381386,"diff":0.9877997155900857},{"seed":9803745,"candidate":501.51037653949896,"qt1":500.476004792444,"diff":1.0343717470549905},{"seed":9803746,"candidate":474.0268958705138,"qt1":473.9652246257747,"diff":0.06167124473910235},{"seed":9803747,"candidate":424.026236854814,"qt1":423.41138717133873,"diff":0.6148496834752564},{"seed":9803748,"candidate":328.8854247774794,"qt1":328.0175257870668,"diff":0.8678989904125842},{"seed":9803749,"candidate":504.062434591361,"qt1":502.8478296509313,"diff":1.2146049404296946},{"seed":9803750,"candidate":614.4678811276484,"qt1":614.0733399370985,"diff":0.3945411905499441},{"seed":9803751,"candidate":529.6202751108627,"qt1":529.5102527138051,"diff":0.1100223970576053},{"seed":9803752,"candidate":348.96827987597703,"qt1":348.95513797868745,"diff":0.013141897289585813},{"seed":9803753,"candidate":397.23829103032335,"qt1":396.67550569299885,"diff":0.5627853373244989},{"seed":9803754,"candidate":455.0626257687202,"qt1":454.97268613112936,"diff":0.0899396375908168},{"seed":9803755,"candidate":699.5391603888775,"qt1":698.0959385803549,"diff":1.443221808522594},{"seed":9803756,"candidate":484.3826443137686,"qt1":483.80112039560044,"diff":0.5815239181681591},{"seed":9803757,"candidate":593.5905534601695,"qt1":593.0132439378688,"diff":0.5773095223007658},{"seed":9803758,"candidate":366.6112093351627,"qt1":365.98908905118356,"diff":0.6221202839791431},{"seed":9803759,"candidate":572.9290663271069,"qt1":573.3531973937072,"diff":-0.4241310666003528},{"seed":9803760,"candidate":521.4932518061845,"qt1":520.74885826718,"diff":0.7443935390044771},{"seed":9803761,"candidate":606.7849883486763,"qt1":606.8797694604255,"diff":-0.09478111174917103},{"seed":9803762,"candidate":584.2929289292726,"qt1":584.3896635894095,"diff":-0.09673466013680354},{"seed":9803763,"candidate":470.8892945381838,"qt1":470.1795666095966,"diff":0.7097279285871991},{"seed":9803764,"candidate":691.805086403324,"qt1":690.9186545467081,"diff":0.8864318566159},{"seed":9803765,"candidate":424.19858886865336,"qt1":422.90593718087985,"diff":1.292651687773514},{"seed":9803766,"candidate":514.6420843886189,"qt1":514.0588944772175,"diff":0.583189911401405},{"seed":9803767,"candidate":558.6298769073541,"qt1":559.1091721415326,"diff":-0.47929523417849396},{"seed":9803768,"candidate":706.2702991350915,"qt1":705.3946211967882,"diff":0.8756779383032836},{"seed":9803769,"candidate":613.6227174504994,"qt1":612.4643082148332,"diff":1.1584092356662268},{"seed":9803770,"candidate":513.7923908408358,"qt1":512.970833478127,"diff":0.8215573627087451},{"seed":9803771,"candidate":554.6975419471415,"qt1":554.8919398348886,"diff":-0.19439788774707267},{"seed":9803772,"candidate":635.1511735991821,"qt1":634.5809240077385,"diff":0.5702495914435985},{"seed":9803773,"candidate":663.8828764001219,"qt1":663.3960859604177,"diff":0.48679043970412295},{"seed":9803774,"candidate":680.3692083399337,"qt1":680.0619359779874,"diff":0.30727236194627494},{"seed":9803775,"candidate":497.25901531244807,"qt1":496.78282148783467,"diff":0.47619382461340365},{"seed":9803776,"candidate":701.7695453385468,"qt1":701.7021092424643,"diff":0.06743609608247425},{"seed":9803777,"candidate":455.2494458231919,"qt1":454.153658832583,"diff":1.0957869906088717},{"seed":9803778,"candidate":736.8752307920859,"qt1":737.0971202535459,"diff":-0.22188946146002309},{"seed":9803779,"candidate":490.4414612433101,"qt1":489.5290517657296,"diff":0.9124094775804679},{"seed":9803780,"candidate":503.0644300448868,"qt1":502.908430878652,"diff":0.15599916623483523},{"seed":9803781,"candidate":554.6943622926418,"qt1":553.6888683623631,"diff":1.0054939302787034},{"seed":9803782,"candidate":516.587359216514,"qt1":516.0258447010588,"diff":0.561514515455201},{"seed":9803783,"candidate":410.15988210613403,"qt1":409.2211953603292,"diff":0.93868674580483},{"seed":9803784,"candidate":459.7442075423711,"qt1":458.74929652259755,"diff":0.9949110197735536},{"seed":9803785,"candidate":448.45417807497074,"qt1":446.8267010280782,"diff":1.6274770468925226},{"seed":9803786,"candidate":466.6606417252141,"qt1":467.5239692340949,"diff":-0.8633275088808432},{"seed":9803787,"candidate":502.3886678347141,"qt1":501.41982796424816,"diff":0.9688398704659562},{"seed":9803788,"candidate":571.4037904580028,"qt1":570.3362595902778,"diff":1.0675308677250541},{"seed":9803789,"candidate":444.97612555083896,"qt1":443.6368510284377,"diff":1.3392745224012401},{"seed":9803790,"candidate":463.3676482716192,"qt1":462.943208858949,"diff":0.42443941267021046},{"seed":9803791,"candidate":510.98867760441044,"qt1":510.463921422655,"diff":0.5247561817554356},{"seed":9803792,"candidate":557.2522705842416,"qt1":556.1903368958057,"diff":1.0619336884359427},{"seed":9803793,"candidate":477.7769688989024,"qt1":477.59256478496,"diff":0.184404113942378},{"seed":9803794,"candidate":627.6110136549919,"qt1":625.6274329265759,"diff":1.9835807284159728},{"seed":9803795,"candidate":449.45951861648103,"qt1":448.8729800087405,"diff":0.5865386077405219},{"seed":9803796,"candidate":615.2843838477331,"qt1":614.6720890203858,"diff":0.6122948273473412},{"seed":9803797,"candidate":570.8371311159266,"qt1":570.228952590939,"diff":0.6081785249875793},{"seed":9803798,"candidate":672.712616669887,"qt1":671.7563001350534,"diff":0.9563165348336042},{"seed":9803799,"candidate":576.13513350142,"qt1":575.3948910822396,"diff":0.7402424191803902},{"seed":9803800,"candidate":441.2534686516143,"qt1":440.37940408669124,"diff":0.8740645649230601},{"seed":9803801,"candidate":507.30580081753334,"qt1":507.3201725191129,"diff":-0.014371701579534601},{"seed":9803802,"candidate":620.2245392003201,"qt1":618.1819901113142,"diff":2.042549089005888},{"seed":9803803,"candidate":421.0126296113725,"qt1":419.44298991832176,"diff":1.5696396930507603},{"seed":9803804,"candidate":646.6485509439764,"qt1":645.6251302755434,"diff":1.0234206684330047},{"seed":9803805,"candidate":439.6125254118607,"qt1":438.99162892156335,"diff":0.6208964902973548},{"seed":9803806,"candidate":443.9164333831755,"qt1":443.4680230025059,"diff":0.4484103806695998},{"seed":9803807,"candidate":460.3515180702313,"qt1":459.2642285436631,"diff":1.0872895265682132},{"seed":9803808,"candidate":574.3468806381112,"qt1":573.5009363278541,"diff":0.8459443102570958},{"seed":9803809,"candidate":519.6666550931395,"qt1":519.0022300697032,"diff":0.6644250234363653},{"seed":9803810,"candidate":519.568086055787,"qt1":519.1431668396654,"diff":0.4249192161216797},{"seed":9803811,"candidate":526.5693664168198,"qt1":526.2265307884925,"diff":0.3428356283272933},{"seed":9803812,"candidate":634.3322117022873,"qt1":634.3409519914035,"diff":-0.00874028911619007},{"seed":9803813,"candidate":579.8550298822387,"qt1":579.265400431193,"diff":0.5896294510456528},{"seed":9803814,"candidate":491.4995611941547,"qt1":491.2267554263734,"diff":0.2728057677812785},{"seed":9803815,"candidate":616.683772577597,"qt1":615.916178696241,"diff":0.7675938813559924},{"seed":9803816,"candidate":547.3762532238309,"qt1":546.7660542400787,"diff":0.6101989837521842},{"seed":9803817,"candidate":356.8860132011481,"qt1":355.5286691979612,"diff":1.3573440031868813},{"seed":9803818,"candidate":563.6620704578684,"qt1":563.4690400338784,"diff":0.19303042398996695},{"seed":9803819,"candidate":546.2431485524007,"qt1":544.6633490033876,"diff":1.5797995490131598},{"seed":9803820,"candidate":518.7565994040298,"qt1":517.929947797875,"diff":0.8266516061547691},{"seed":9803821,"candidate":384.10501880933134,"qt1":383.5592538577583,"diff":0.5457649515730623},{"seed":9803822,"candidate":484.9603552312091,"qt1":484.41392650723924,"diff":0.546428723969882},{"seed":9803823,"candidate":445.3657617374525,"qt1":444.77905595972675,"diff":0.5867057777257401},{"seed":9803824,"candidate":618.0728789600201,"qt1":618.415887597674,"diff":-0.3430086376538384},{"seed":9803825,"candidate":576.3825778452622,"qt1":575.5387608940903,"diff":0.8438169511719025},{"seed":9803826,"candidate":608.5636821049725,"qt1":607.8458308554768,"diff":0.7178512494956522},{"seed":9803827,"candidate":386.26082035030174,"qt1":386.8534545864984,"diff":-0.592634236196659}],"paired":{"n":128,"mean_diff":0.6833918182245711,"se":0.05146834900427692,"worst5":[{"seed":9803786,"diff":-0.8633275088808432},{"seed":9803827,"diff":-0.592634236196659},{"seed":9803729,"diff":-0.5788460198584175},{"seed":9803767,"diff":-0.47929523417849396},{"seed":9803759,"diff":-0.4241310666003528}]},"raw_gas_stats_by_chunk_arm":[{"start":9803700,"end_exclusive":9803716,"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":161510,"ok":161510,"max_ok_gas":22592,"sum_ok_gas":3644080588,"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":165426,"ok":165426,"max_ok_gas":220319,"sum_ok_gas":25165616989,"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":12.859101295471191},"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":162542,"ok":162542,"max_ok_gas":22592,"sum_ok_gas":3667369660,"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":165206,"ok":165206,"max_ok_gas":206317,"sum_ok_gas":22905279054,"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":10.646956443786621}}},{"start":9803716,"end_exclusive":9803732,"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":168215,"ok":168215,"max_ok_gas":22592,"sum_ok_gas":3795371440,"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":171780,"ok":171780,"max_ok_gas":219469,"sum_ok_gas":26042604502,"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":13.476022720336914},"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":169186,"ok":169186,"max_ok_gas":22592,"sum_ok_gas":3817273328,"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":171601,"ok":171601,"max_ok_gas":206821,"sum_ok_gas":23731029457,"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":10.909306287765503}}},{"start":9803732,"end_exclusive":9803748,"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":170026,"ok":170026,"max_ok_gas":22592,"sum_ok_gas":3836251424,"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":172439,"ok":172439,"max_ok_gas":220256,"sum_ok_gas":26090220140,"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":13.007373332977295},"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":171090,"ok":171090,"max_ok_gas":22592,"sum_ok_gas":3860260656,"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":172224,"ok":172224,"max_ok_gas":209185,"sum_ok_gas":23789296516,"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":10.969095945358276}}},{"start":9803748,"end_exclusive":9803764,"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":163603,"ok":163603,"max_ok_gas":22592,"sum_ok_gas":3691308656,"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":167057,"ok":167057,"max_ok_gas":219866,"sum_ok_gas":25363502073,"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":13.627253532409668},"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":164808,"ok":164808,"max_ok_gas":22592,"sum_ok_gas":3718492464,"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":167079,"ok":167079,"max_ok_gas":208646,"sum_ok_gas":23137402712,"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":10.447371244430542}}},{"start":9803764,"end_exclusive":9803780,"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":176866,"ok":176866,"max_ok_gas":22592,"sum_ok_gas":3990584108,"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":179588,"ok":179588,"max_ok_gas":219695,"sum_ok_gas":26994480421,"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":13.332471132278442},"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":177840,"ok":177840,"max_ok_gas":22592,"sum_ok_gas":4012563132,"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":179185,"ok":179185,"max_ok_gas":206956,"sum_ok_gas":24664934167,"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":11.743475198745728}}},{"start":9803780,"end_exclusive":9803796,"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":164437,"ok":164437,"max_ok_gas":22592,"sum_ok_gas":3710146100,"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":167385,"ok":167385,"max_ok_gas":219763,"sum_ok_gas":25424642266,"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":12.521282434463501},"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":165423,"ok":165423,"max_ok_gas":22592,"sum_ok_gas":3732392052,"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":167367,"ok":167367,"max_ok_gas":208632,"sum_ok_gas":23172760119,"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":10.961852073669434}}},{"start":9803796,"end_exclusive":9803812,"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":176459,"ok":176459,"max_ok_gas":22592,"sum_ok_gas":3981401656,"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":179549,"ok":179549,"max_ok_gas":219895,"sum_ok_gas":27080060166,"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":13.764957666397095},"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":177657,"ok":177657,"max_ok_gas":22592,"sum_ok_gas":4008421428,"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":179522,"ok":179522,"max_ok_gas":204368,"sum_ok_gas":24731137584,"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":11.890450477600098}}},{"start":9803812,"end_exclusive":9803828,"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":171157,"ok":171157,"max_ok_gas":22592,"sum_ok_gas":3861767120,"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":173659,"ok":173659,"max_ok_gas":219837,"sum_ok_gas":26275594901,"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":14.35434889793396},"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":172145,"ok":172145,"max_ok_gas":22592,"sum_ok_gas":3884052364,"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":173459,"ok":173459,"max_ok_gas":206794,"sum_ok_gas":23947639215,"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":11.284868955612183}}}],"summed_Submission_afterSwap":{"candidate":{"calls":1376883,"ok":1376883,"sum_ok_gas":208436721458,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"max_ok_gas":220319,"mean":151383.03069904997},"qt1":{"calls":1375643,"ok":1375643,"sum_ok_gas":190079478824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"max_ok_gas":209185,"mean":138175.00530588243}},"max_peak":{"candidate":220319,"qt1":209185},"all_callbacks_failure_counts":{"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}},"failures":[],"not_executed":{"P_Q_F":"Not part of this frozen-engine confirmation item; no new Python reference or policy tuning. No claim that broader replica gates were rerun.","forge_slither_aderyn":"Not run: task uses pinned challenge SolidityCompiler and validator; no contract development or Foundry test task."},"commands_exits":[{"command":"mkdir -p test/scratch/a1s2 artifacts/goal/batches/e6-combo-a1/items/a1s2","exit":0},{"command":"timeout 470s python3 (urllib.request fetch of pinned candidate, qt1, engine.py, check.py and diff artifact)","exit":0},{"command":"timeout 470s bash -c 'git clone -q https://github.com/benedictbrady/amm-challenge test/scratch/a1s2/engine && git -C test/scratch/a1s2/engine checkout -q 6b6921f8d463314aa7c96234e1be25a25245f704'","exit":0},{"command":"timeout 470s python3 (extract unified diff; patch -p1 -i frozen.patch; assert candidate SHA-256)","exit":0},{"command":"timeout 470s sh scratch/setup.sh > scratch/setup.log 2>&1","exit":0,"invocations":1},{"command":". scratch/env.sh && timeout 470s bash -c 'amm-match validate scratch/Candidate.sol > scratch/validate-candidate.log 2>&1 && amm-match validate scratch/qt1.sol > scratch/validate-qt1.log 2>&1'","exit":0},{"command":". scratch/env.sh && timeout 470s rg -n 'def _build_configs|gas_stats|sum_ok_gas|OutOfGas' amm_competition rust","exit":127,"classification":"read-only source discovery; no simulation attempted","error":"timeout: failed to run command \u2018rg\u2019: No such file or directory","resolution":"Read the checkout sources with Python pathlib instead; this was not a setup, validation, compilation or chunk failure."},{"command":". scratch/env.sh && timeout 470s python (read MatchRunner._build_configs and BASELINE_VARIANCE; inspect gas_stats docstring)","exit":0},{"command":". scratch/env.sh && timeout 470s python (check.compiled for both frozen sources; assert runtime sizes)","exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803700 9803716 > scratch/chunk-9803700.log 2>&1","exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803716 9803732 > scratch/chunk-9803716.log 2>&1","start":9803716,"end":9803732,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803732 9803748 > scratch/chunk-9803732.log 2>&1","start":9803732,"end":9803748,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803748 9803764 > scratch/chunk-9803748.log 2>&1","start":9803748,"end":9803764,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803764 9803780 > scratch/chunk-9803764.log 2>&1","start":9803764,"end":9803780,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803780 9803796 > scratch/chunk-9803780.log 2>&1","start":9803780,"end":9803796,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803796 9803812 > scratch/chunk-9803796.log 2>&1","start":9803796,"end":9803812,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/run_chunk.py 9803812 9803828 > scratch/chunk-9803812.log 2>&1","start":9803812,"end":9803828,"exit":0},{"command":". scratch/env.sh && timeout 470s python scratch/tools/remaining.py > scratch/remaining.log 2>&1","exit":0,"purpose":"Sequential supervisor for last seven chunks; each child has its own 470-second timeout."},{"command":"timeout 470s python3 (fetch each sources.json URL and assert exact quote inclusion)","exit":0,"result":"8/8 exact source quotes found; all <=500 characters"},{"command":"timeout 470s python3 test/scratch/a1s2/assemble.py","exit":0,"result":"128 pairs assembled; finite JSON; row arithmetic and gas accounting assertions passed"},{"command":"timeout 470s python3 test/scratch/a1s2/verify.py","exit":0,"result":"PASS: exact 128-seed coverage; raw rows/gas and aggregate arithmetic match; no failures; runtime, byte limit and <1h duration pass"},{"command":"timeout 470s node -e JSON.parse(readFileSync(...)) result.json sources.json","exit":0,"result":"Both JSON outputs parse"},{"command":"timeout 470s git status --short --untracked-files=all -- artifacts/goal/batches/e6-combo-a1/items/a1s2","exit":0,"result":"No tracked modifications reported; outputs not staged"}],"reproduction":{"setup_script":"set -eu;R=$PWD/scratch;mkdir -p $R/tmp $R/bin $R/solcx\necho \"export TMPDIR=$R/tmp XDG_CACHE_HOME=$R/xc UV_CACHE_DIR=$R/uvc UV_PYTHON_INSTALL_DIR=$R/uvpy SOLCX_BINARY_PATH=$R/solcx VIRTUAL_ENV=$PWD/.venv PATH=$PWD/.venv/bin:$R/bin:\\$PATH\" >$R/env.sh;. $R/env.sh\ncommand -v uv >/dev/null||{ curl -LsSf https://github.com/astral-sh/uv/releases/latest/download/uv-x86_64-unknown-linux-gnu.tar.gz|tar --no-same-owner -xz -C $R/tmp;cp $R/tmp/uv-*/uv $R/bin/;}\nW=amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl;curl -LsSf https://github.com/gtmcknight/amm-sim/releases/download/sim-6b6921f8/$W -o $R/$W\necho \"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a  $R/$W\"|sha256sum -c -\nuv venv --python 3.12 .venv;uv pip install $R/$W numpy numba cma py-solc-x==2.1.0 pyrevm==0.3.7;uv pip install --no-deps -e .\npython -c \"import solcx;solcx.install_solc('0.8.24')\"\namm-match validate contracts/src/StarterStrategy.sol\n","chunk_harness":"# Credit Taylor (gtmcknight): reference policy, filter, qm tables and engine harness.\nimport sys,json,time,traceback\nfrom pathlib import Path\nimport engine\nimport amm_sim_rs\nstart,end=map(int,sys.argv[1:3])\nassert 9803700<=start<end<=9803828 and end-start==16 and (start-9803700)%16==0\noutpath=Path(f\"scratch/chunk-{start}-{end}.json\")\nout=dict(start=start,end=end,status=\"started\",arms={},attempted_arms=[])\nwith outpath.open('x') as f: json.dump(out,f)\ndef save():outpath.write_text(json.dumps(out,allow_nan=False))\ndef guard(gas,arm):\n    assert gas, \"missing gas statistics\"\n    for row in gas:\n        for key,value in row.items():\n            if isinstance(value,(int,float)):\n                k=key.lower()\n                if any(t in k for t in ('oog','out_of_gas','revert','halt','error','fail','bad_return')) and value:\n                    raise RuntimeError(f\"{arm} gas failure {key}={value}\")\n                if arm=='candidate' and ('max' in k or 'peak' in k) and 'gas' in k and value>245000:\n                    raise RuntimeError(f\"candidate peak exceeds budget: {key}={value}\")\ntry:\n    normalizer=engine.vanilla()\n    cfg=engine.configs(start,end)\n    for arm,path in [('candidate','scratch/Candidate.sol'),('qt1','scratch/qt1.sol')]:\n        code=engine.compiled(path)\n        out['attempted_arms'].append(arm);save()\n        amm_sim_rs.gas_stats_reset(); t=time.time()\n        try:\n            batch=amm_sim_rs.run_batch(list(bytes.fromhex(code['creation'])),list(normalizer),cfg,8)\n        except BaseException:\n            out['arms'][arm]={'gas':amm_sim_rs.gas_stats(),'rows':[],'seconds':time.time()-t};save();raise\n        rows=[dict(seed=r.seed,edge=r.edges['submission'],normalizer_edge=r.edges['normalizer']) for r in batch.results]\n        gas=amm_sim_rs.gas_stats()\n        out['arms'][arm]=dict(rows=rows,gas=gas,seconds=time.time()-t);save()\n        print(json.dumps(dict(arm=arm,gas=gas,seconds=time.time()-t)),flush=True)\n        assert sorted(r['seed'] for r in rows)==list(range(start,end)), 'missing or duplicate seeds'\n        guard(gas,arm)\n    out['paired']=engine.paired(out['arms']['candidate']['rows'],out['arms']['qt1']['rows'])\n    out['status']='done';save();print(json.dumps(out['paired']),flush=True)\nexcept BaseException as e:\n    out['status']='blocked';out['blocked']={'step':f'chunk {start}:{end}', 'error':str(e)};save();raise\n","helper_files":"Fetch engine.py and check.py at listed pinned URLs into same scratch/tools; run from prepared checkout; preserve frozen Solidity bytes."},"elapsed_seconds":383.23210525512695,"checks":{"json_finite":true,"unique_complete_seed_pairs":true,"exact_assigned_seed_coverage":true,"source_quotes_verified_by_refetch":true,"independent_raw_data_statistics_gas_verification":"passed","node_json_parse":"both outputs passed"}}
