{"item":"a1s3","batch":"e6-combo-a1","task":"Confirm frozen ComboG(GATE=1) vs qt1 on engine seeds 9803828..9803955 inclusive only","credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables and replica (github.com/gtmcknight/amm-sim at 4812a6382311624e1506aca131ca35c378f930d9, research/solved) and the amm_sim_rs wheel release sim-6b6921f8. qt1 and ComboG are Solidity ports/extensions of that work.","status":"complete","blocked":null,"board_claim":null,"board_claim_note":"No board claim: these are local engine measurements on 128 assigned seeds, nothing was submitted to or read from the board.","hashes":{"tc_a_candidate":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/contracts/Candidate.sol","sha256":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","expected":"b87234c89e094f4955578417c1266129b0f96e6dfda68e3fb8866e00eeda71a2","match":true},"frozen_gate1_source":{"how":"TC-A Candidate.sol + `patch -p1` of the ```diff block under 'Frozen source: unified diff against TC-A' in D (170 diff lines, patch exit 0)","sha256":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","expected":"f904a486b1dcfbd6fcf40aa48920d1bb6b79ad2ac1c99a2cbbb16d4272c2c616","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":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","match":true},"diff_artifact_D":{"url":"https://api.imd.fun/artifacts/9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","sha256_of_body":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","expected":"9b842d35c17245af4dd2bfc0ec608263f9b7edcb2db619cffba7d36d1d853740","match":true},"extracted_diff":{"sha256":"ee1e263770b2beecda27dbf2b85365c6536dd1e6f4c69f3ed5ad6451d39290b2"},"tools_engine_py":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/engine.py","sha256":"306c529d0c84c88610c1e8a9a6aa34634534b73ab83312e9155ef14476e46300"},"tools_check_py":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/tools/check.py","sha256":"cbcfea4c793ac7b78e0ee27dd723c9e6af4d9d704a70a8038c985acffffcfed1"},"amm_sim_rs_wheel":{"sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","checked_by":"sha256sum -c inside scratch/setup.sh (setup exit 0)"},"engine_checkout":{"repo":"github.com/benedictbrady/amm-challenge","head":"6b6921f8d463314aa7c96234e1be25a25245f704","expected":"6b6921f8d463314aa7c96234e1be25a25245f704","match":true}},"runtime":{"candidate_bytes":22058,"candidate_expected_bytes":22058,"candidate_matches_expected":true,"candidate_creation_bytes":22087,"qt1_bytes":20605,"qt1_creation_bytes":20633,"limit_bytes":24576,"candidate_within_limit":true,"qt1_within_limit":true,"compiler":"solc 0.8.24 via amm_competition.evm.compiler.SolidityCompiler (tools/check.py compiled())"},"validation":{"candidate":{"command":"amm-match validate frozen/Candidate.sol","exit":0,"output":"Strategy 'TaylorComboGQmTrim2' validated successfully!"},"qt1":{"command":"amm-match validate frozen/qt1.sol","exit":0,"output":"Strategy 'TaylorGaussianQMSpline' validated successfully!"},"setup_starter":{"command":"amm-match validate contracts/src/StarterStrategy.sol (last line of scratch/setup.sh)","exit":0,"output":"Strategy 'StarterStrategy' validated successfully!"}},"method":{"engine":"amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8) per arm, X alone vs the 30 bps VanillaStrategy; K/tools/engine.py unmodified, K/tools/check.py unmodified, both in the same scratch/tools directory","configs":"engine.configs(): per-seed transcription of MatchRunner._build_configs (np.random.default_rng(seed); uniform draws for retail_mean_size, retail_arrival_rate, gbm_sigma in that order; BASELINE_VARIANCE, build_base_config)","configs_check":{"what":"engine.configs(0,4) compared field by field with MatchRunner._build_configs for n_simulations=4 (config construction only; no simulation run, no engine seed consumed)","equal":true,"baseline_variance_flags":{"vary_retail_mean_size":true,"vary_retail_arrival_rate":true,"vary_gbm_sigma":true}},"chunks":"8 sequential 16-seed chunks, END exclusive, one process per chunk, never concurrent; in each chunk the candidate arm runs first, then qt1, with amm_sim_rs.gas_stats_reset() before and gas_stats() after each arm","seeds_policy":"each seed run exactly once per arm; candidate and qt1 share seeds only for pairing; no other engine seed was run, no tuning, no smoke run","stop_rule":"stop at first timeout/error or candidate peak>245000/OOG/revert; never triggered","diff_sign":"diff = candidate edge - qt1 edge (edges[\"submission\"] of each arm)","scratch_location":"all state under the workspace test/scratch/ directory (engine checkout at test/scratch/amm-challenge, its scratch/ holds setup.sh, env.sh, tools/ and chunk outputs); /tmp not used"},"ranges":{"assigned_inclusive":[9803828,9803955],"attempted_half_open":[[9803828,9803844],[9803844,9803860],[9803860,9803876],[9803876,9803892],[9803892,9803908],[9803908,9803924],[9803924,9803940],[9803940,9803956]],"completed_half_open":[[9803828,9803844],[9803844,9803860],[9803860,9803876],[9803876,9803892],[9803892,9803908],[9803908,9803924],[9803924,9803940],[9803940,9803956]],"completed_seed_count":128,"missing_seeds":[],"missing_ranges":[],"failures":[],"stop_file":null},"paired":{"n":128,"mean_diff":0.6264815792494729,"se":0.04754921875529431,"worst5":[{"seed":9803921,"diff":-0.9854398388081904},{"seed":9803860,"diff":-0.651158901822896},{"seed":9803933,"diff":-0.5495162955198793},{"seed":9803899,"diff":-0.4901948433156349},{"seed":9803929,"diff":-0.21762898749773285}],"sample_sd":0.5379580003518588,"se_definition":"sample SD (n-1) / sqrt(n)","t":13.175433701099832,"wins":114,"losses":14,"ties":0,"mean_candidate_edge":525.0185155519143,"mean_qt1_edge":524.3920339726649,"cross_check":"identical to K/tools/engine.py paired() over the 128 rows"},"paired_per_chunk":[{"start":9803828,"end_exclusive":9803844,"n":16,"mean_diff":0.7222275155818885,"se":0.11792733530681064,"seconds_candidate":21.789117336273193,"seconds_qt1":17.64288568496704},{"start":9803844,"end_exclusive":9803860,"n":16,"mean_diff":0.7126473760515282,"se":0.12351248201158685,"seconds_candidate":20.152740240097046,"seconds_qt1":16.835923194885254},{"start":9803860,"end_exclusive":9803876,"n":16,"mean_diff":0.5891791596398299,"se":0.12952598041053318,"seconds_candidate":19.2621853351593,"seconds_qt1":18.40166997909546},{"start":9803876,"end_exclusive":9803892,"n":16,"mean_diff":0.7769205818373841,"se":0.1636007237152067,"seconds_candidate":20.28087329864502,"seconds_qt1":16.62692403793335},{"start":9803892,"end_exclusive":9803908,"n":16,"mean_diff":0.47235106845330677,"se":0.10152745318084079,"seconds_candidate":21.58209466934204,"seconds_qt1":19.57856035232544},{"start":9803908,"end_exclusive":9803924,"n":16,"mean_diff":0.44712325917266327,"se":0.16557020072459716,"seconds_candidate":19.3122718334198,"seconds_qt1":18.429205179214478},{"start":9803924,"end_exclusive":9803940,"n":16,"mean_diff":0.5847300130590334,"se":0.15293964486735048,"seconds_candidate":20.55007290840149,"seconds_qt1":16.944295644760132},{"start":9803940,"end_exclusive":9803956,"n":16,"mean_diff":0.7066736602001491,"se":0.11109906583074554,"seconds_candidate":21.951205253601074,"seconds_qt1":17.198373317718506}],"gas_summary":{"limit_afterSwap_peak":245000,"candidate":{"submission_afterSwap":{"calls":1387636,"ok":1387636,"sum_ok_gas":209866994856,"max_ok_gas":220187,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":151240.66747763823},"max_peak":220187,"mean":151240.66747763823,"oog":0,"reverts":0,"within_limit":true,"submission_afterInitialize":{"calls":128,"ok":128,"sum_ok_gas":11798784,"max_ok_gas":92178,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":92178.0},"submission_getName":{"calls":128,"ok":128,"sum_ok_gas":2772608,"max_ok_gas":21661,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":21661.0}},"qt1":{"submission_afterSwap":{"calls":1386481,"ok":1386481,"sum_ok_gas":191444490992,"max_ok_gas":208809,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":138079.41904144376},"max_peak":208809,"mean":138079.41904144376,"oog":0,"reverts":0,"submission_afterInitialize":{"calls":128,"ok":128,"sum_ok_gas":11629824,"max_ok_gas":90858,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":90858.0},"submission_getName":{"calls":128,"ok":128,"sum_ok_gas":2762112,"max_ok_gas":21579,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"mean_ok_gas":21579.0}},"note":"mean = sum_ok_gas/ok summed over the 8 chunks; max_peak = max of per-chunk max_ok_gas; role \"Baseline\" rows in gas_stats_raw are the 30 bps VanillaStrategy normalizer"},"gas_stats_raw":[{"start":9803828,"end_exclusive":9803844,"candidate":[{"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":174626,"ok":174626,"max_ok_gas":22592,"sum_ok_gas":3940038820,"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":177126,"ok":177126,"max_ok_gas":219871,"sum_ok_gas":26738170834,"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}],"qt1":[{"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":175552,"ok":175552,"max_ok_gas":22592,"sum_ok_gas":3960927716,"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":176765,"ok":176765,"max_ok_gas":208233,"sum_ok_gas":24368300967,"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}]},{"start":9803844,"end_exclusive":9803860,"candidate":[{"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":167120,"ok":167120,"max_ok_gas":22592,"sum_ok_gas":3770686684,"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":170123,"ok":170123,"max_ok_gas":219808,"sum_ok_gas":25786109468,"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}],"qt1":[{"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":168098,"ok":168098,"max_ok_gas":22592,"sum_ok_gas":3792754360,"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":169932,"ok":169932,"max_ok_gas":208645,"sum_ok_gas":23498540808,"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}]},{"start":9803860,"end_exclusive":9803876,"candidate":[{"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":173765,"ok":173765,"max_ok_gas":22592,"sum_ok_gas":3920630020,"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":176326,"ok":176326,"max_ok_gas":219917,"sum_ok_gas":26612676253,"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}],"qt1":[{"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":174837,"ok":174837,"max_ok_gas":22592,"sum_ok_gas":3944818680,"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":176487,"ok":176487,"max_ok_gas":208809,"sum_ok_gas":24335616385,"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}]},{"start":9803876,"end_exclusive":9803892,"candidate":[{"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":166658,"ok":166658,"max_ok_gas":22592,"sum_ok_gas":3760242868,"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":169863,"ok":169863,"max_ok_gas":219792,"sum_ok_gas":25755852887,"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}],"qt1":[{"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":167626,"ok":167626,"max_ok_gas":22592,"sum_ok_gas":3782083952,"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":169728,"ok":169728,"max_ok_gas":204594,"sum_ok_gas":23472881920,"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}]},{"start":9803892,"end_exclusive":9803908,"candidate":[{"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":175521,"ok":175521,"max_ok_gas":22592,"sum_ok_gas":3960236916,"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":178299,"ok":178299,"max_ok_gas":220187,"sum_ok_gas":26867836201,"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}],"qt1":[{"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":176506,"ok":176506,"max_ok_gas":22592,"sum_ok_gas":3982457012,"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":177918,"ok":177918,"max_ok_gas":206736,"sum_ok_gas":24509794711,"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}]},{"start":9803908,"end_exclusive":9803924,"candidate":[{"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":165551,"ok":165551,"max_ok_gas":22592,"sum_ok_gas":3735266428,"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":168617,"ok":168617,"max_ok_gas":220130,"sum_ok_gas":25600278091,"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}],"qt1":[{"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":166546,"ok":166546,"max_ok_gas":22592,"sum_ok_gas":3757722248,"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":168390,"ok":168390,"max_ok_gas":206209,"sum_ok_gas":23308330450,"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}]},{"start":9803924,"end_exclusive":9803940,"candidate":[{"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":168008,"ok":168008,"max_ok_gas":22592,"sum_ok_gas":3790719952,"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":170647,"ok":170647,"max_ok_gas":219654,"sum_ok_gas":25836335999,"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}],"qt1":[{"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":169167,"ok":169167,"max_ok_gas":22592,"sum_ok_gas":3816867420,"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":170557,"ok":170557,"max_ok_gas":202831,"sum_ok_gas":23575126653,"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}]},{"start":9803940,"end_exclusive":9803956,"candidate":[{"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":173549,"ok":173549,"max_ok_gas":22592,"sum_ok_gas":3915743008,"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":176635,"ok":176635,"max_ok_gas":219757,"sum_ok_gas":26669735123,"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}],"qt1":[{"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":174517,"ok":174517,"max_ok_gas":22592,"sum_ok_gas":3937583936,"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":176704,"ok":176704,"max_ok_gas":200988,"sum_ok_gas":24375899098,"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}]}],"seeds":[{"seed":9803828,"candidate":567.5377134580125,"qt1":567.5835780880404,"diff":-0.045864630027949715},{"seed":9803829,"candidate":587.9639452395645,"qt1":587.2201606103955,"diff":0.7437846291689993},{"seed":9803830,"candidate":527.1357137531976,"qt1":526.395716852788,"diff":0.739996900409551},{"seed":9803831,"candidate":448.82046553070944,"qt1":447.42725734271255,"diff":1.3932081879968905},{"seed":9803832,"candidate":576.4268641690312,"qt1":574.8403443823055,"diff":1.5865197867257166},{"seed":9803833,"candidate":564.7511688063508,"qt1":564.338130015552,"diff":0.41303879079885064},{"seed":9803834,"candidate":552.2266196170003,"qt1":551.7801951987461,"diff":0.4464244182541961},{"seed":9803835,"candidate":400.8891946448797,"qt1":400.01746354820364,"diff":0.8717310966760579},{"seed":9803836,"candidate":511.9593577027009,"qt1":511.1872591717613,"diff":0.7720985309396156},{"seed":9803837,"candidate":465.31389990988106,"qt1":465.01083540339255,"diff":0.3030645064885107},{"seed":9803838,"candidate":493.0289400636292,"qt1":491.8710324084534,"diff":1.1579076551757908},{"seed":9803839,"candidate":642.3916142602893,"qt1":641.5573529825327,"diff":0.8342612777565819},{"seed":9803840,"candidate":482.4565928726307,"qt1":481.1138851376412,"diff":1.3427077349895171},{"seed":9803841,"candidate":452.90363261406236,"qt1":452.289489764701,"diff":0.6141428493613716},{"seed":9803842,"candidate":579.2967335487563,"qt1":579.0197297198441,"diff":0.27700382891214304},{"seed":9803843,"candidate":533.9548880524003,"qt1":533.8492733667159,"diff":0.10561468568437249},{"seed":9803844,"candidate":517.2599507968447,"qt1":516.0895656347319,"diff":1.1703851621127797},{"seed":9803845,"candidate":383.9127440185408,"qt1":383.54816305721744,"diff":0.3645809613233837},{"seed":9803846,"candidate":493.1763979197306,"qt1":492.72682141961104,"diff":0.4495765001195764},{"seed":9803847,"candidate":809.1031704913723,"qt1":809.2121972698741,"diff":-0.10902677850174314},{"seed":9803848,"candidate":528.64130239172,"qt1":528.4884753960129,"diff":0.15282699570718705},{"seed":9803849,"candidate":596.655411105029,"qt1":595.9856359795442,"diff":0.6697751254847617},{"seed":9803850,"candidate":457.95559199565116,"qt1":458.06740334979224,"diff":-0.11181135414108212},{"seed":9803851,"candidate":548.749085353026,"qt1":547.4922371243725,"diff":1.256848228653439},{"seed":9803852,"candidate":409.4273419694146,"qt1":408.6941840553592,"diff":0.7331579140554254},{"seed":9803853,"candidate":454.35830950816626,"qt1":453.444378473676,"diff":0.9139310344902469},{"seed":9803854,"candidate":366.3692544788542,"qt1":365.55128628861166,"diff":0.8179681902425386},{"seed":9803855,"candidate":619.4427213524084,"qt1":617.7598456268603,"diff":1.682875725548115},{"seed":9803856,"candidate":512.4486119607437,"qt1":511.6509903936913,"diff":0.7976215670524311},{"seed":9803857,"candidate":559.9903374477798,"qt1":558.7369322078688,"diff":1.2534052399109896},{"seed":9803858,"candidate":671.0258035410736,"qt1":670.3451008243753,"diff":0.6807027166983062},{"seed":9803859,"candidate":389.1602985178427,"qt1":388.4807577297746,"diff":0.6795407880680955},{"seed":9803860,"candidate":718.8369906648027,"qt1":719.4881495666256,"diff":-0.651158901822896},{"seed":9803861,"candidate":506.4570060496917,"qt1":506.17304675816234,"diff":0.2839592915293565},{"seed":9803862,"candidate":559.0053098793207,"qt1":558.8050729277662,"diff":0.2002369515545297},{"seed":9803863,"candidate":557.5976814994239,"qt1":556.4934642277284,"diff":1.104217271695461},{"seed":9803864,"candidate":620.5574469197907,"qt1":620.2166278559081,"diff":0.3408190638825772},{"seed":9803865,"candidate":382.4924347694277,"qt1":381.88918485421425,"diff":0.6032499152134392},{"seed":9803866,"candidate":712.3738621233653,"qt1":710.8838981650057,"diff":1.4899639583595672},{"seed":9803867,"candidate":503.1692024850311,"qt1":502.21709991590325,"diff":0.9521025691278737},{"seed":9803868,"candidate":673.823540807996,"qt1":673.4207906040473,"diff":0.402750203948699},{"seed":9803869,"candidate":551.0902222918512,"qt1":551.0408377879589,"diff":0.049384503892270004},{"seed":9803870,"candidate":643.4136831122987,"qt1":642.7703988417816,"diff":0.6432842705171424},{"seed":9803871,"candidate":552.9680071026168,"qt1":552.1397611551943,"diff":0.8282459474224879},{"seed":9803872,"candidate":411.4578358598115,"qt1":410.6394297197546,"diff":0.8184061400568794},{"seed":9803873,"candidate":437.3523014613963,"qt1":436.5398668187137,"diff":0.8124346426826037},{"seed":9803874,"candidate":400.520537483705,"qt1":399.28995419349144,"diff":1.2305832902135876},{"seed":9803875,"candidate":524.4111533232807,"qt1":524.092765887317,"diff":0.3183874359637002},{"seed":9803876,"candidate":429.02623218390636,"qt1":427.15110613945905,"diff":1.8751260444473132},{"seed":9803877,"candidate":472.52439266653664,"qt1":472.4434973382034,"diff":0.08089532833326984},{"seed":9803878,"candidate":544.1796953387469,"qt1":544.2039354146741,"diff":-0.024240075927195903},{"seed":9803879,"candidate":431.2154955848634,"qt1":430.2464544949017,"diff":0.9690410899617063},{"seed":9803880,"candidate":428.9095113398489,"qt1":427.4501819808337,"diff":1.4593293590152143},{"seed":9803881,"candidate":475.4819446130287,"qt1":474.5127274853699,"diff":0.9692171276587942},{"seed":9803882,"candidate":477.41446002513555,"qt1":475.8726624264287,"diff":1.5417975987068644},{"seed":9803883,"candidate":495.31850811881105,"qt1":495.2352869880516,"diff":0.08322113075945481},{"seed":9803884,"candidate":587.8689022923506,"qt1":586.9663581836003,"diff":0.9025441087503623},{"seed":9803885,"candidate":511.5974022529947,"qt1":510.5465887658603,"diff":1.0508134871344055},{"seed":9803886,"candidate":665.9230344074986,"qt1":665.0652953458608,"diff":0.8577390616377443},{"seed":9803887,"candidate":579.847133911746,"qt1":578.1037991462792,"diff":1.7433347654667841},{"seed":9803888,"candidate":526.6237295518133,"qt1":526.1951810999171,"diff":0.42854845189617663},{"seed":9803889,"candidate":527.4052825333513,"qt1":527.5961865691431,"diff":-0.19090403579184567},{"seed":9803890,"candidate":374.8581546042412,"qt1":374.4210431291151,"diff":0.4371114751260734},{"seed":9803891,"candidate":511.50247135819336,"qt1":511.25531696597034,"diff":0.24715439222302393},{"seed":9803892,"candidate":447.12313354490556,"qt1":446.92503591185584,"diff":0.19809763304971284},{"seed":9803893,"candidate":389.4233119059437,"qt1":389.13164412922396,"diff":0.2916677767197484},{"seed":9803894,"candidate":469.2330938932178,"qt1":468.58905159227044,"diff":0.6440423009473761},{"seed":9803895,"candidate":493.96668530370937,"qt1":493.28550714017786,"diff":0.6811781635315128},{"seed":9803896,"candidate":593.1297015321989,"qt1":592.6454348302972,"diff":0.4842667019016744},{"seed":9803897,"candidate":587.5299172513928,"qt1":586.5461748561623,"diff":0.9837423952304789},{"seed":9803898,"candidate":489.10119882350904,"qt1":488.14761379303854,"diff":0.9535850304704923},{"seed":9803899,"candidate":535.3868819724526,"qt1":535.8770768157682,"diff":-0.4901948433156349},{"seed":9803900,"candidate":574.7681359496199,"qt1":574.4676916234197,"diff":0.30044432620024963},{"seed":9803901,"candidate":577.5731631020891,"qt1":577.4337797259059,"diff":0.1393833761832184},{"seed":9803902,"candidate":632.438903376196,"qt1":632.3734862496509,"diff":0.06541712654507137},{"seed":9803903,"candidate":515.8935015394327,"qt1":515.3202289592468,"diff":0.5732725801858578},{"seed":9803904,"candidate":730.2145573000739,"qt1":729.1113621423879,"diff":1.1031951576860592},{"seed":9803905,"candidate":714.1157327793732,"qt1":713.8786776281288,"diff":0.2370551512443626},{"seed":9803906,"candidate":463.3184246921519,"qt1":462.5808878311071,"diff":0.7375368610448163},{"seed":9803907,"candidate":544.0396888226278,"qt1":543.3847614649999,"diff":0.654927357627912},{"seed":9803908,"candidate":551.5792574591363,"qt1":551.6096201164515,"diff":-0.030362657315208708},{"seed":9803909,"candidate":623.9782963605287,"qt1":623.1764172629231,"diff":0.8018790976055925},{"seed":9803910,"candidate":529.2987187827295,"qt1":527.5718707482948,"diff":1.7268480344346244},{"seed":9803911,"candidate":452.76556475693496,"qt1":452.58577694413117,"diff":0.17978781280379508},{"seed":9803912,"candidate":393.15127288303313,"qt1":393.09436256398567,"diff":0.05691031904746069},{"seed":9803913,"candidate":698.5457835266242,"qt1":697.7456706549013,"diff":0.8001128717228312},{"seed":9803914,"candidate":517.4312357950492,"qt1":516.6299856699276,"diff":0.801250125121669},{"seed":9803915,"candidate":665.3721927496384,"qt1":663.7883695421409,"diff":1.5838232074975167},{"seed":9803916,"candidate":474.2007795570253,"qt1":474.05567463558714,"diff":0.14510492143818965},{"seed":9803917,"candidate":641.3720318730035,"qt1":640.5474539011054,"diff":0.8245779718980657},{"seed":9803918,"candidate":467.88345592858695,"qt1":468.0279857251484,"diff":-0.14452979656147136},{"seed":9803919,"candidate":352.36812135514515,"qt1":351.81196306529114,"diff":0.556158289854011},{"seed":9803920,"candidate":562.6034397261739,"qt1":562.1117602148024,"diff":0.4916795113714443},{"seed":9803921,"candidate":434.58121589604895,"qt1":435.56665573485714,"diff":-0.9854398388081904},{"seed":9803922,"candidate":503.2111210824301,"qt1":502.9335716072939,"diff":0.27754947513619754},{"seed":9803923,"candidate":440.95622874665474,"qt1":440.88760594513866,"diff":0.06862280151608502},{"seed":9803924,"candidate":461.8206130338888,"qt1":461.04798572224115,"diff":0.772627311647625},{"seed":9803925,"candidate":453.50252488446984,"qt1":453.04510775924604,"diff":0.45741712522379885},{"seed":9803926,"candidate":604.1562196313512,"qt1":602.9636630649012,"diff":1.19255656644998},{"seed":9803927,"candidate":673.3227052196988,"qt1":673.0166391527964,"diff":0.30606606690241733},{"seed":9803928,"candidate":604.6826966534071,"qt1":603.37285308172,"diff":1.3098435716871109},{"seed":9803929,"candidate":369.6019725794353,"qt1":369.81960156693304,"diff":-0.21762898749773285},{"seed":9803930,"candidate":413.41624968055083,"qt1":412.6878993154513,"diff":0.7283503650995158},{"seed":9803931,"candidate":396.1678967426049,"qt1":395.676924918231,"diff":0.49097182437390074},{"seed":9803932,"candidate":626.2592086990574,"qt1":626.3899698537338,"diff":-0.13076115467640648},{"seed":9803933,"candidate":541.5151117735484,"qt1":542.0646280690682,"diff":-0.5495162955198793},{"seed":9803934,"candidate":510.51772305786875,"qt1":509.90643407767965,"diff":0.6112889801891015},{"seed":9803935,"candidate":403.45549262029357,"qt1":402.1530226295437,"diff":1.3024699907498416},{"seed":9803936,"candidate":655.6209101763395,"qt1":655.586371728966,"diff":0.03453844737350664},{"seed":9803937,"candidate":425.99842681634385,"qt1":424.3052050585776,"diff":1.6932217577662527},{"seed":9803938,"candidate":624.2860724504726,"qt1":623.7721831634889,"diff":0.5138892869837264},{"seed":9803939,"candidate":460.09233089344895,"qt1":459.25198554125717,"diff":0.8403453521917754},{"seed":9803940,"candidate":417.41471357348934,"qt1":417.13321719704044,"diff":0.28149637644889935},{"seed":9803941,"candidate":511.2758863043665,"qt1":510.5642726973146,"diff":0.7116136070519019},{"seed":9803942,"candidate":448.8404515854387,"qt1":447.97494414279583,"diff":0.8655074426428655},{"seed":9803943,"candidate":530.1995299973701,"qt1":528.5628057679786,"diff":1.6367242293914614},{"seed":9803944,"candidate":534.6566976938236,"qt1":534.0272959878251,"diff":0.6294017059984753},{"seed":9803945,"candidate":487.5262930495361,"qt1":487.1732703054776,"diff":0.3530227440584781},{"seed":9803946,"candidate":488.65378052612414,"qt1":488.07735598829214,"diff":0.576424537831997},{"seed":9803947,"candidate":471.7312293542966,"qt1":471.2759718600416,"diff":0.45525749425502227},{"seed":9803948,"candidate":571.8570542771848,"qt1":570.9598862924106,"diff":0.897167984774228},{"seed":9803949,"candidate":538.3245607325672,"qt1":537.3021798916128,"diff":1.0223808409543835},{"seed":9803950,"candidate":599.3700656795019,"qt1":598.720232219653,"diff":0.6498334598488782},{"seed":9803951,"candidate":473.86729159981377,"qt1":474.0054895207838,"diff":-0.13819792097001482},{"seed":9803952,"candidate":683.3731979983787,"qt1":682.6469668478234,"diff":0.7262311505553498},{"seed":9803953,"candidate":509.3516534263441,"qt1":508.9000091051957,"diff":0.45164432114842157},{"seed":9803954,"candidate":651.8214285522336,"qt1":650.2469756681769,"diff":1.5744528840566545},{"seed":9803955,"candidate":493.1780094059815,"qt1":492.56419170082614,"diff":0.6138177051553839}],"commands":[{"cmd":"git clone https://github.com/benedictbrady/amm-challenge test/scratch/amm-challenge && git checkout 6b6921f8d463314aa7c96234e1be25a25245f704","exit":0},{"cmd":"sh scratch/setup.sh  (script text exactly as given in the brief, run once from the checkout root)","exit":0},{"cmd":"curl -LsSf K/contracts/Candidate.sol, K/reference/qt1/Strategy.sol, K/tools/engine.py, K/tools/check.py, D","exit":0},{"cmd":"awk-extract D's ```diff block; patch -p1 < port.diff (in the directory holding Candidate.sol); sha256sum","exit":0},{"cmd":". scratch/env.sh && amm-match validate frozen/Candidate.sol","exit":0},{"cmd":". scratch/env.sh && amm-match validate frozen/qt1.sol","exit":0},{"cmd":". scratch/env.sh && python: check.compiled() on both sources, engine.vanilla(), engine.configs(9803828,9803830) construction only, idle gas_stats() == []","exit":0},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803828 9803844 scratch/a1s3/chunk_9803828_9803844.json","exit":0,"wall_seconds":41},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803844 9803860 scratch/a1s3/chunk_9803844_9803860.json","exit":0,"wall_seconds":39},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803860 9803876 scratch/a1s3/chunk_9803860_9803876.json","exit":0,"wall_seconds":39},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803876 9803892 scratch/a1s3/chunk_9803876_9803892.json","exit":0,"wall_seconds":38},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803892 9803908 scratch/a1s3/chunk_9803892_9803908.json","exit":0,"wall_seconds":42},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803908 9803924 scratch/a1s3/chunk_9803908_9803924.json","exit":0,"wall_seconds":40},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803924 9803940 scratch/a1s3/chunk_9803924_9803940.json","exit":0,"wall_seconds":39},{"cmd":". scratch/env.sh && timeout 470 python scratch/tools/engine.py frozen/Candidate.sol frozen/qt1.sol 9803940 9803956 scratch/a1s3/chunk_9803940_9803956.json","exit":0,"wall_seconds":40}],"limits_of_this_result":["Engine-only confirmation on 128 seeds; gates P/Q/F were not rerun here (out of scope of this item).","gas figures are amm_sim_rs.gas_stats() engine counters, not pyrevm gas_used.","Seeds 9803828..9803955 are now consumed and must not be replayed by other workers."]}