{"item":"cf-2","batch":"e09-confirm","credit":"Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README first. Supplied contract/reference lineage: qt1, TC-A #770, o1-a #541, o1-b #1497, tca-path, buy-grid, lb-4.","status":"complete: P, identity, T and F pass; all eight E blocks completed","measurement_scope":"Independent local confirmation of unchanged accepted LB4 contract. These local figures are not leaderboard scores. No leaderboard submission.","blocked":null,"provenance":{"inputs":{"LB4":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","TCA":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","QT1":"https://api.imdnotdead.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40"},"replica":"https://github.com/gtmcknight/amm-sim/tree/4812a6382311624e1506aca131ca35c378f930d9/research/solved","engine_checkout":"https://github.com/benedictbrady/amm-challenge/tree/6b6921f8d463314aa7c96234e1be25a25245f704","local_measurements":"P, identity, T, F, E were executed here. Command names, source hashes and raw-output digests identify their origin. Digests alone are not independent behavioral certification.","source_policy":"No supplied source file repaired or edited; TCA then LB4 overlay as supplied. Unused superseded TCA files were retained and were not imported by these checks. Both pinned checkouts have no tracked diff.","inherited_Q":"No policy selection, tuning or replica report rescoring in this confirmation item. LB4 supplies the prior Q qualification; it is not independently remeasured here."},"sha256_checks":[{"name":"LB4","url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","expected_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","actual_sha256":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","pass_check":true,"bytes":53722},{"name":"TCA","url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","expected_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","actual_sha256":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","pass_check":true,"bytes":63997},{"name":"QT1","url":"https://api.imdnotdead.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","expected_sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","actual_sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","pass_check":true,"bytes":62223},{"name":"LB4 decoded tar.xz","expected_sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","actual_sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","pass_check":true},{"name":"TCA decoded tar.xz","expected_sha256":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","actual_sha256":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","pass_check":true},{"name":"scratch/Strategy.sol","expected_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","actual_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","pass_check":true},{"name":"scratch/LeanTell.sol","expected_sha256":"d43b3e1644d1fa60f03d035a9453dc389c16510e6b955df26722bb64928da581","actual_sha256":"d43b3e1644d1fa60f03d035a9453dc389c16510e6b955df26722bb64928da581","pass_check":true},{"name":"scratch/Probe.sol","expected_sha256":"b1eeb6903a027067f3c131f1ca519411545a3ac1082928c0e0debd58af45b2ae","actual_sha256":"b1eeb6903a027067f3c131f1ca519411545a3ac1082928c0e0debd58af45b2ae","pass_check":true},{"name":"scratch/ref/lean_tell.py","expected_sha256":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","actual_sha256":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","pass_check":true},{"name":"scratch/ref/policy.py","expected_sha256":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","actual_sha256":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","pass_check":true},{"name":"scratch/score.py","expected_sha256":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","actual_sha256":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","pass_check":true},{"name":"scratch/summarize.py","expected_sha256":"17feb75f01f15478f1ad183234b6bb1a83273240c281a0aff940172afbbdad05","actual_sha256":"17feb75f01f15478f1ad183234b6bb1a83273240c281a0aff940172afbbdad05","pass_check":true},{"name":"scratch/test_contract.py","expected_sha256":"18b6c8b6b2b8d9a46aa8c3be33db7fa84b2b4b8c6bd312836ba857d6bd687c93","actual_sha256":"18b6c8b6b2b8d9a46aa8c3be33db7fa84b2b4b8c6bd312836ba857d6bd687c93","pass_check":true},{"name":"scratch/test_lean.py","expected_sha256":"bdaf3f53823b7275a7f2193ae78ffdfce31bc7e54da052f01a21515831cee57a","actual_sha256":"bdaf3f53823b7275a7f2193ae78ffdfce31bc7e54da052f01a21515831cee57a","pass_check":true},{"name":"scratch/test_fidelity.py","expected_sha256":"b15ec354624ebdad9d6204544bad737629cce8c2c9e59381a3260d73a9b6d0ef","actual_sha256":"b15ec354624ebdad9d6204544bad737629cce8c2c9e59381a3260d73a9b6d0ef","pass_check":true},{"name":"scratch/check_configs_lb4.py","expected_sha256":"cfe9eb6fec6f8b2c5826606cb4b69407777e4106b3ba0dd6f1a9ba95d983cffa","actual_sha256":"cfe9eb6fec6f8b2c5826606cb4b69407777e4106b3ba0dd6f1a9ba95d983cffa","pass_check":true},{"name":"scratch/frozen.json","expected_sha256":"f6f753696be4c4c1ebf03b55ab83aae9d1257390eac28db55b4f54601dc03217","actual_sha256":"f6f753696be4c4c1ebf03b55ab83aae9d1257390eac28db55b4f54601dc03217","pass_check":true},{"name":"scratch/NOTES.md","expected_sha256":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","actual_sha256":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","pass_check":true},{"name":"scratch/ref/port.py","expected_sha256":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","actual_sha256":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","pass_check":true},{"name":"scratch/ref/twocomp.py","expected_sha256":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","actual_sha256":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","pass_check":true},{"name":"scratch/ref/qmref.py","expected_sha256":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","actual_sha256":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","pass_check":true},{"name":"scratch/ref/replica2.py","expected_sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","actual_sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","pass_check":true},{"name":"scratch/compile.py","expected_sha256":"6e66877ac6381261599bc11ba1bfeb4d29c32a32cd42b6a58a8053477cfa9f93","actual_sha256":"6e66877ac6381261599bc11ba1bfeb4d29c32a32cd42b6a58a8053477cfa9f93","pass_check":true},{"name":"scratch/engine.py","expected_sha256":"6baf20c3b0523764140b35d5e9f2193444b0b80fd4b22ea0a5e2af1960d8e19a","actual_sha256":"6baf20c3b0523764140b35d5e9f2193444b0b80fd4b22ea0a5e2af1960d8e19a","pass_check":true},{"name":"scratch/check.py","expected_sha256":"2b5d8038a1a051fa9e73e1d144b6feb4a375d25d9425c65d99ae913309c5c754","actual_sha256":"2b5d8038a1a051fa9e73e1d144b6feb4a375d25d9425c65d99ae913309c5c754","pass_check":true},{"name":"scratch/test_math.py","expected_sha256":"5efef84f79af905d0d7c699c91b694b0414711e2c95995c47ad8d9d6d1334018","actual_sha256":"5efef84f79af905d0d7c699c91b694b0414711e2c95995c47ad8d9d6d1334018","pass_check":true},{"name":"scratch/materialize.py","expected_sha256":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","actual_sha256":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","pass_check":true},{"name":"scratch/setup.sh","expected_sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","actual_sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","pass_check":true},{"name":"scratch/qt1.sol","expected_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","actual_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","pass_check":true},{"name":"scratch/ref/blob.bin","expected_sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","actual_sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","pass_check":true},{"name":"amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl","expected_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","actual_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","pass_check":true}],"bundle_verification":{"tca_original_manifest_members":32,"all_tca_members_match":true,"lb4_overlay_members":13,"lb4_inherited_members":10,"all_match":true},"setup":{"status":"pass","platform":"Linux x86_64","runs":1,"command":"sh scratch/setup.sh","validate":"StarterStrategy validated successfully","wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","log_sha256":"d1b78e89249f209880010bfd40d66e5d6bf62ee0c6187177204ba282befd6b53"},"P":{"status":"pass","command":"python3 -I gates.py","cwd":"amm-sim/research/solved","expected_rows_source_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md","before_other_gates":true,"unmodified":true,"gates_py_sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","matches_readme_to_6_decimals":true,"stdout":"seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n","columns":["seed","perfect-info","gaussian+plain","gaussian+qm","lattice+qm"],"rows":[[10000,448.261189,443.455598,443.522608,443.66352],[10001,576.779199,571.463409,571.623551,571.977293],[10002,531.886497,525.168028,525.865859,526.411631]]},"identity":{"status":"pass","compile_command":"python scratch/compile.py Probe Strategy","expected_identity_source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","compiler":"solc 0.8.24; viaIR; optimizer enabled, runs 200; evmVersion paris","candidate":{"source_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","deployed_bytes":22946,"runtime_sha256":"dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017","creation_sha256":"ba64ac8f6779dd3fcff1c8d2662862f74cb039bde4caf5e1bce5a8c1adad48b2"},"qt1":{"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","deployed_bytes":20605,"runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189","creation_sha256":"0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f"},"matches_expected_runtime_size_and_hash":true,"engine_compiler_creation_and_runtime_identical":true,"deployed_limit_bytes":24576},"T":{"status":"pass","seeds":[74350,74399],"n_steps":10000,"harness_source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","first_trades":346821,"mismatches":0,"label_counts":{"buy/neg":78943,"sell/pos":95182,"sell/neg":79034,"buy/pos":93662},"exact_stored_fee_wads":true,"stream":"unchanged TwoComp on o1-b engine-order port","rows_sha256":"cf9a5c0c51979ddd9b0aae3e48b03a3f86e04af6c2063834e9e0afea69daafec","seconds":72.3853059578687,"probe_peak_gas":35950,"tell_gas_alone":{"peak":12737,"mean":6207.530876158018,"n":346821,"method":"probe call gas minus a no-op call with identical calldata (pyrevm)"},"command":"python scratch/test_contract.py T 74350 74400","raw_output_sha256":"776d41c9fe29dc35c3eadb10387323ad80b7d28212fb78667defdd899f0a2bb4"},"F":{"status":"pass","seeds":[74350,74399],"callbacks":100000,"per_seed_callbacks":2000,"harness_source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","largest_fee_error_bps":4.769733739917736e-07,"max_error_bps_bid_ask":[4.761634142536053e-07,4.769733739917736e-07],"tolerance_bps":0.01,"errors_over_tolerance":0,"first_trades":65052,"tell_mismatches":0,"label_counts":{"neg":29941,"pos":35111},"replay_peak_gas":181049,"callbacks_over_245000":0,"per_seed_rows_sha256":"75156d328386de4596d6bc8f7a4946517724c5a15183bab18871384608d54595","stream":"contract-driven o1-b engine-order port on Taylor streams; reference receives exact previous returned fee wads; reference filter otherwise carried independently","gas_limit_for_diagnostic":2000000,"seconds":50.79807601775974,"command":"python scratch/test_contract.py F 74350 74400","raw_output_sha256":"4e75e9c3c8f9f55d5f1053134fbb03d024db9262de1a45c07099c703a1e85ed7"},"E":{"status":"complete","harness_source_url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","method":"Each contract alone versus 30 bps VanillaStrategy: amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8); paired candidate edge minus qt1 edge by identical seed.","configs_check":{"credit":"Taylor (gtmcknight): replica, filter, solved policy, qm tables","exact_equality":true,"n":512,"fields":["n_steps","initial_price","initial_x","initial_y","gbm_mu","gbm_sigma","gbm_dt","retail_arrival_rate","retail_mean_size","retail_size_sigma","retail_buy_prob","seed"],"seeds_inclusive":[9990512,9991023],"method":"Original unmodified MatchRunner._build_configs code object; only outer range bounded to assigned seeds. No simulation executed."},"paired_se_definition":"sqrt(sum((diff-mean_diff)^2)/(n-1)/n); worst5 sorted by diff then seed","blocks":[{"seeds_inclusive":[9990512,9990575],"paired":{"n":64,"mean_diff":3.058579003956102,"se":0.10506519550886163,"min":0.8117669453118879,"worst5":[{"seed":9990551,"diff":0.8117669453118879},{"seed":9990553,"diff":0.940446256032601},{"seed":9990568,"diff":1.416799998176657},{"seed":9990554,"diff":1.612282621997224},{"seed":9990514,"diff":1.7563964666491074}]},"mean_edges":{"candidate":518.0247076229949,"qt1":514.9661286190388},"afterSwap":{"candidate":{"calls":687342,"ok":687342,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":218169,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":691053,"ok":691053,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":206500,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990512 9990576 scratch/engine-confirm-9990512.json","wall_seconds":91.53966898517683,"engine_seconds":65.49130082130432,"arm_seconds":{"candidate":33.6165611743927,"qt1":31.78050208091736},"raw_output_sha256":"0b4b85f9c5b4abae67a7b535e13f584ea3e8c4f295e63ff2eec632cc53ab82c5"},{"seeds_inclusive":[9990576,9990639],"paired":{"n":64,"mean_diff":3.1968645227438417,"se":0.10833267505465712,"min":1.2879376114424304,"worst5":[{"seed":9990592,"diff":1.2879376114424304},{"seed":9990613,"diff":1.5769466309834002},{"seed":9990639,"diff":1.6789187076334429},{"seed":9990599,"diff":1.7927090814326903},{"seed":9990582,"diff":1.9831443813097849}]},"mean_edges":{"candidate":522.3973248709343,"qt1":519.2004603481905},"afterSwap":{"candidate":{"calls":693868,"ok":693868,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":217417,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":697755,"ok":697755,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":208595,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990576 9990640 scratch/engine-confirm-9990576.json","wall_seconds":66.3498296206817,"engine_seconds":65.02173781394958,"arm_seconds":{"candidate":32.70148754119873,"qt1":32.22742414474487},"raw_output_sha256":"e5135625e496630532b1dc2959897dbbaeeff068b8310a12a48f5cef06c283f4"},{"seeds_inclusive":[9990640,9990703],"paired":{"n":64,"mean_diff":3.139752457030168,"se":0.11065236553524534,"min":1.428651719898312,"worst5":[{"seed":9990679,"diff":1.428651719898312},{"seed":9990678,"diff":1.4453923435696652},{"seed":9990670,"diff":1.5796615916742667},{"seed":9990642,"diff":1.6057101984706605},{"seed":9990660,"diff":1.9191940462901016}]},"mean_edges":{"candidate":532.9603248592733,"qt1":529.8205724022432},"afterSwap":{"candidate":{"calls":697894,"ok":697894,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":221239,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":701699,"ok":701699,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":208731,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990640 9990704 scratch/engine-confirm-9990640.json","wall_seconds":69.47234172699973,"engine_seconds":68.16262149810791,"arm_seconds":{"candidate":33.6798996925354,"qt1":34.392733097076416},"raw_output_sha256":"a106874d2b8b03858619b81d7e5d8d19fcc317e8eb32e7eba95447c3351543b2"},{"seeds_inclusive":[9990704,9990767],"paired":{"n":64,"mean_diff":2.9549714168296175,"se":0.13024236830553979,"min":0.524169767746514,"worst5":[{"seed":9990767,"diff":0.524169767746514},{"seed":9990726,"diff":0.624328207269059},{"seed":9990740,"diff":0.9598439501435223},{"seed":9990712,"diff":1.0413254836122405},{"seed":9990765,"diff":1.4694168590915524}]},"mean_edges":{"candidate":524.8488049130859,"qt1":521.8938334962563},"afterSwap":{"candidate":{"calls":691077,"ok":691077,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":223146,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":695250,"ok":695250,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":209366,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990704 9990768 scratch/engine-confirm-9990704.json","wall_seconds":65.34205235959962,"engine_seconds":64.06192564964294,"arm_seconds":{"candidate":32.687716007232666,"qt1":31.284069061279297},"raw_output_sha256":"9c2899b13e831f83d9d1248a2ffd76866386d23aeb9183a2225823c4f5b52457"},{"seeds_inclusive":[9990768,9990831],"paired":{"n":64,"mean_diff":3.1488024421886367,"se":0.11563621464997834,"min":1.005639915243023,"worst5":[{"seed":9990775,"diff":1.005639915243023},{"seed":9990807,"diff":1.0330846428213363},{"seed":9990822,"diff":1.4469647172484201},{"seed":9990820,"diff":1.5672297380048121},{"seed":9990817,"diff":1.7419769456408858}]},"mean_edges":{"candidate":544.0448259235689,"qt1":540.8960234813802},"afterSwap":{"candidate":{"calls":699743,"ok":699743,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":221050,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":702822,"ok":702822,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":208825,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990768 9990832 scratch/engine-confirm-9990768.json","wall_seconds":67.15423246193677,"engine_seconds":65.82954430580139,"arm_seconds":{"candidate":33.53472590446472,"qt1":32.20351004600525},"raw_output_sha256":"dbb9a3138b4fcf52844ce97f87283318c88db2b8bec2b9f3a3db82fe80ca1bfc"},{"seeds_inclusive":[9990832,9990895],"paired":{"n":64,"mean_diff":3.3331157726701077,"se":0.11558075458916531,"min":1.0242589970266636,"worst5":[{"seed":9990837,"diff":1.0242589970266636},{"seed":9990840,"diff":1.7746164432479077},{"seed":9990835,"diff":1.9314516642138528},{"seed":9990887,"diff":1.9633230952202894},{"seed":9990883,"diff":1.982535231079396}]},"mean_edges":{"candidate":541.7121604137157,"qt1":538.3790446410455},"afterSwap":{"candidate":{"calls":709618,"ok":709618,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":218247,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":712752,"ok":712752,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":209144,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990832 9990896 scratch/engine-confirm-9990832.json","wall_seconds":69.46519304718822,"engine_seconds":68.12401843070984,"arm_seconds":{"candidate":34.64257502555847,"qt1":33.39196515083313},"raw_output_sha256":"7b421339336e75972051852aa6c2ac36a277e9d0b3816c8b5b452f501dadb16f"},{"seeds_inclusive":[9990896,9990959],"paired":{"n":64,"mean_diff":3.392507008945521,"se":0.09870958065299883,"min":1.9581226445138782,"worst5":[{"seed":9990944,"diff":1.9581226445138782},{"seed":9990958,"diff":2.0589591849781073},{"seed":9990930,"diff":2.1328993034510972},{"seed":9990900,"diff":2.300636841077335},{"seed":9990911,"diff":2.349608302843194}]},"mean_edges":{"candidate":538.5926009467877,"qt1":535.2000939378422},"afterSwap":{"candidate":{"calls":696058,"ok":696058,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":220317,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":699597,"ok":699597,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":209037,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990896 9990960 scratch/engine-confirm-9990896.json","wall_seconds":72.49445260781795,"engine_seconds":70.98844265937805,"arm_seconds":{"candidate":37.743887186050415,"qt1":33.1291127204895},"raw_output_sha256":"421a3e9b157890480a870027abbe385dbeacb984cc7ac9d426efe3e02088b9c8"},{"seeds_inclusive":[9990960,9991023],"paired":{"n":64,"mean_diff":3.332710079358173,"se":0.10750811527895712,"min":1.5145660570399286,"worst5":[{"seed":9990975,"diff":1.5145660570399286},{"seed":9990986,"diff":1.6075718689714336},{"seed":9990961,"diff":1.764036806903448},{"seed":9991012,"diff":1.9035505624314055},{"seed":9990984,"diff":2.0626258087262386}]},"mean_edges":{"candidate":537.9307434712559,"qt1":534.5980333918978},"afterSwap":{"candidate":{"calls":698933,"ok":698933,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":215446,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":702560,"ok":702560,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":208614,"out_of_gas":0,"within_245000_and_zero_oog":true}},"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9990960 9991024 scratch/engine-confirm-9990960.json","wall_seconds":66.15366101590917,"engine_seconds":64.89172625541687,"arm_seconds":{"candidate":33.16823720932007,"qt1":31.626310348510742},"raw_output_sha256":"ffa1f50e49bb76541cef87462a2cda0b6ece91611cde3a1216651f08a45072c8"}],"pooled":{"seeds_inclusive":[9990512,9991023],"paired":{"n":512,"mean_diff":3.194662837965271,"se":0.039750132537687284,"min":0.524169767746514,"worst5":[{"seed":9990767,"diff":0.524169767746514},{"seed":9990726,"diff":0.624328207269059},{"seed":9990551,"diff":0.8117669453118879},{"seed":9990553,"diff":0.940446256032601},{"seed":9990740,"diff":0.9598439501435223}]},"mean_edges":{"candidate":532.5639366277021,"qt1":529.3692737897368},"afterSwap":{"candidate":{"calls":5574533,"ok":5574533,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":223146,"out_of_gas":0,"within_245000_and_zero_oog":true},"qt1":{"calls":5603488,"ok":5603488,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0,"peak_gas":209366,"out_of_gas":0,"within_245000_and_zero_oog":true}}},"per_seed_columns":["seed","candidate_edge","qt1_edge"],"per_seed":[[9990512,457.0963440614094,452.9988943621246],[9990513,479.0726237674932,475.40110216282454],[9990514,466.20610431067036,464.44970784402125],[9990515,562.906997078433,559.3340482553099],[9990516,629.6366800349177,627.1874811548637],[9990517,459.942663603082,456.94063580467775],[9990518,605.8151945417318,602.8742212863945],[9990519,424.97862529096267,422.0540920370225],[9990520,362.0613815832595,358.68003445093785],[9990521,440.31935531464563,436.2287788494132],[9990522,466.79149918667497,464.49254567770197],[9990523,465.4010897084795,462.5576978094198],[9990524,492.8800303739197,489.569349421393],[9990525,372.4594326410767,368.82644843335873],[9990526,651.3549738735749,647.4969587268847],[9990527,630.2984980083344,627.3550273522692],[9990528,492.2277740594965,487.37946161618277],[9990529,647.5118553579847,643.732980796457],[9990530,550.3608061954807,545.6895196649383],[9990531,464.50367072131456,460.789420587274],[9990532,456.1639730398849,453.72891723750456],[9990533,358.1296996998899,355.2088467974328],[9990534,551.5871453402132,549.2111098434904],[9990535,544.955868874138,541.3558784864802],[9990536,472.3261427078189,469.64530633987897],[9990537,661.8781786740545,658.163647687082],[9990538,440.1817178314828,435.97331173372334],[9990539,421.51412014328884,418.45930082659197],[9990540,540.571758141071,536.4752749020159],[9990541,621.1249592674621,617.9290809922135],[9990542,568.6705376609384,564.7392995393707],[9990543,456.39724579460506,453.6401382289265],[9990544,526.1380014867925,521.9256251686603],[9990545,440.7072867450022,437.3430625306435],[9990546,468.56245707940656,464.98437397417126],[9990547,544.8983948735839,540.3018279920882],[9990548,488.1573055688291,485.9761848957166],[9990549,518.7084168738484,515.6821742717261],[9990550,373.5383440794399,370.36366419392846],[9990551,416.59785849416494,415.78609154885305],[9990552,630.9297744670976,628.0204650913],[9990553,634.7424074709621,633.8019612149295],[9990554,684.3723988056449,682.7601161836477],[9990555,477.802105059575,475.373468900122],[9990556,616.5988948553519,613.4969046063541],[9990557,457.26260310271965,454.7170246568098],[9990558,498.5748322326872,495.75403346912503],[9990559,759.2923457252979,756.65661693933],[9990560,620.7355677880647,617.1556304788635],[9990561,533.2247090155374,530.8651515565533],[9990562,359.18954689194476,357.1559274742552],[9990563,395.5606569062762,391.75620264598405],[9990564,536.2818310568732,533.0932183192853],[9990565,651.9283903470275,648.9842109937941],[9990566,506.5706038323858,503.5218442011751],[9990567,527.545220683584,524.9854249811247],[9990568,530.5209834298698,529.1041834316932],[9990569,588.2264751130065,586.3595314017757],[9990570,442.8418266425098,439.5178070479031],[9990571,620.2796514670245,616.7118064177787],[9990572,599.8897345253496,596.9242573532712],[9990573,387.9249355918197,384.40326634849083],[9990574,618.5207590494049,615.5378537492743],[9990575,482.1300217228042,480.2438006716777],[9990576,486.5458838307905,482.9970273059625],[9990577,541.2481549349799,537.623229167717],[9990578,384.97436747777255,382.3819423088577],[9990579,677.1509070530974,673.6528676183482],[9990580,538.4125391600621,534.5821763935649],[9990581,678.1630381120417,674.1960771854893],[9990582,729.5229761284132,727.5398317471034],[9990583,660.5720008545541,656.3120928013007],[9990584,499.6398185395203,496.5461144876427],[9990585,643.5794030233898,641.4999380331074],[9990586,627.2961443579807,622.975703145104],[9990587,412.4041440926867,409.75000744174963],[9990588,475.5904480552678,473.0785444277957],[9990589,462.1863801132082,459.26721076089024],[9990590,634.3027680125067,629.5563917692738],[9990591,510.84444203443593,508.705440066724],[9990592,412.65377242690874,411.3658348154663],[9990593,409.9299793672203,407.36256756488365],[9990594,604.9828744677299,600.8981077907986],[9990595,540.0930479121758,535.6225527749774],[9990596,488.1218511634471,485.1610167728194],[9990597,600.4154629216351,596.1811224217555],[9990598,572.1682793634384,567.6639647759772],[9990599,447.99265128440464,446.19994220297195],[9990600,480.0591242249219,477.57919967797466],[9990601,530.4448043187838,528.0694341880737],[9990602,563.3527317878069,561.1054772474562],[9990603,450.24614374867497,446.78970853706005],[9990604,501.6014970511134,497.8676485775621],[9990605,525.301928298129,522.7573204809097],[9990606,514.1614602778927,511.4116859352686],[9990607,462.84083261497517,460.301696630763],[9990608,563.9619515997117,559.0249809409928],[9990609,548.5895178440646,546.0139383464572],[9990610,406.9700287582146,402.7588350772321],[9990611,387.1304288521559,384.70546672902765],[9990612,405.58349223102675,402.11291944308584],[9990613,416.74462086978673,415.16767423880333],[9990614,488.506082067176,485.315297233006],[9990615,632.9394485344195,629.1738407969478],[9990616,648.5038486647653,644.2522734385147],[9990617,600.2476149652014,596.4430089882917],[9990618,458.0003659323076,453.84954337120905],[9990619,478.16652959977677,474.53973767207435],[9990620,441.2509520972218,439.0125306618653],[9990621,619.7580104657318,616.778105876373],[9990622,761.1189568644484,757.3157377619956],[9990623,695.0354420566665,693.0087442431321],[9990624,410.54235195727347,406.99687717578036],[9990625,461.28490523648054,458.586742553123],[9990626,546.671591925221,542.7853908114131],[9990627,415.66120619892865,413.00739025036495],[9990628,526.289175706476,523.2210501458961],[9990629,443.4497308095021,440.968685051897],[9990630,353.88555818786085,350.56440983970793],[9990631,416.23563247017853,413.73839281339457],[9990632,499.58404606141744,496.0736784471594],[9990633,519.4167990672352,515.0948454911371],[9990634,531.4919362827052,527.426451320385],[9990635,566.413759267569,562.7298866795279],[9990636,547.7381439067942,544.2701112000046],[9990637,497.2678627359337,493.139518981635],[9990638,431.2639837407776,428.5054805832382],[9990639,646.9249597728024,645.2460410651689],[9990640,662.1483791538061,658.8762635663232],[9990641,375.72618887342753,373.31853852046214],[9990642,615.7507188901096,614.145008691639],[9990643,423.64977139057055,420.96570828495595],[9990644,702.0905271907442,698.9887785876379],[9990645,435.391268731051,432.64544644422955],[9990646,524.0724399448969,519.9881368130983],[9990647,584.7023934337112,582.4711147979654],[9990648,568.5679081369141,564.3401582240173],[9990649,494.6100111017172,492.1225890155632],[9990650,520.9452115898174,517.2782173290805],[9990651,467.9391765280863,463.71932357820685],[9990652,595.5848141229054,592.5975824600545],[9990653,514.7177531920302,511.4933658673009],[9990654,670.5424319431219,667.2688276510621],[9990655,620.9831925716998,617.7335029034898],[9990656,420.8537887056775,418.2581669581906],[9990657,489.8098963034516,486.8711824978478],[9990658,447.5101777692085,445.1547104167542],[9990659,713.6583556701086,711.5815519230764],[9990660,433.4036540590243,431.4844600127342],[9990661,461.8423183547797,458.1709309732849],[9990662,438.3662416723324,434.44812338255673],[9990663,488.82531820032415,485.807863799179],[9990664,630.4713783407244,626.5840190164829],[9990665,443.7026886058485,439.2125199414547],[9990666,422.92792233591234,420.43117102636205],[9990667,596.0398093004969,591.7403514979266],[9990668,497.07969616543335,494.53881351546653],[9990669,506.84979470334963,504.5703436975042],[9990670,535.3569354393131,533.7772738476389],[9990671,473.3449388130789,470.05112882324266],[9990672,671.4313451690109,666.9823496520391],[9990673,404.59594581099503,401.2186880565332],[9990674,773.6462842781586,769.8787410638502],[9990675,580.6076301138354,575.6699692312767],[9990676,457.42593948991015,453.7824917140451],[9990677,521.7297673493066,518.8794039601801],[9990678,561.4408070678566,559.9954147242869],[9990679,547.8475413227746,546.4188896028763],[9990680,591.0082082469924,587.4667856531091],[9990681,585.0877957096927,580.7707810177853],[9990682,441.9085107956343,438.01192937652996],[9990683,673.6202615567173,670.8107741701656],[9990684,593.2188827399938,589.5651268586676],[9990685,605.8848817415013,602.10763800906],[9990686,493.3736702613649,491.1683068604916],[9990687,516.4117776191343,513.9727734569583],[9990688,557.8714194686202,555.8758957863131],[9990689,476.5445246213793,473.01805496528897],[9990690,585.2140945365762,581.1556810623705],[9990691,463.27875155485197,458.69545456633637],[9990692,551.0384540304971,545.9003738007337],[9990693,512.7421728017648,509.7262281417027],[9990694,537.465088971187,534.5312295738889],[9990695,509.480621965036,506.101320257762],[9990696,567.9704823463131,565.9498656952233],[9990697,528.0708326178917,524.7353779696215],[9990698,500.7550427740359,498.59644864863805],[9990699,373.58161830795007,370.1991698216267],[9990700,466.6823174921873,464.6969930592799],[9990701,501.6583842679271,498.2877441178853],[9990702,589.5118083310921,586.8795613033201],[9990703,590.8908263996321,586.8319975009285],[9990704,753.1935421524223,748.5530275659794],[9990705,511.8941186096933,509.6671096556357],[9990706,458.38313430746524,456.40711199905985],[9990707,609.4367350388843,606.8369984158375],[9990708,382.5801292177199,379.48416065855594],[9990709,492.3445013831308,488.4035311184919],[9990710,574.9070418431822,572.8986242130749],[9990711,427.755350953576,425.1675995008548],[9990712,421.3422887180379,420.30096323442564],[9990713,462.1266354947754,459.35124417856264],[9990714,439.74866513610647,436.96799312613956],[9990715,407.3724964646096,405.47489675594016],[9990716,593.4830879199457,589.9570623869904],[9990717,395.7242854211409,392.0378557154967],[9990718,570.850107417169,567.2493434847231],[9990719,507.51193935089503,505.3682478449983],[9990720,548.79167009696,545.8285820521871],[9990721,578.8452900859551,576.0223984343802],[9990722,489.6029440934911,485.1172164002239],[9990723,359.6110233021069,357.3938716973451],[9990724,593.3959314187694,591.4840858753607],[9990725,542.5245646192584,539.5782341665741],[9990726,519.5697281627628,518.9453999554937],[9990727,434.5018837336534,431.51136895913015],[9990728,436.8910202952626,434.5487980963386],[9990729,641.6513271895976,637.9280739530521],[9990730,493.8904641959664,491.06249325503967],[9990731,440.6331617151796,436.6742704273388],[9990732,664.8491106893088,662.1753627155417],[9990733,378.30882263427367,373.86929467897613],[9990734,587.77164831766,584.7178089266905],[9990735,689.4117548977339,686.698352514539],[9990736,530.2392896448116,527.7971002706593],[9990737,630.3100829534748,626.7780086797976],[9990738,627.1059207130285,622.0463096477838],[9990739,518.7757789245613,515.3434783010538],[9990740,617.902525535237,616.9426815850935],[9990741,563.7287816558793,561.6753387491],[9990742,591.3737340064886,588.7790496620295],[9990743,427.11417780423255,425.04457040428593],[9990744,445.087144793106,442.27689211373126],[9990745,511.64858108776787,507.8129373766034],[9990746,686.6240500312351,681.3791635690238],[9990747,752.9819572391302,749.6423975883831],[9990748,503.17595532670515,500.3834454941151],[9990749,585.1101024558295,580.9631915165032],[9990750,594.5602215033128,590.9016283173817],[9990751,522.0405712045388,517.4995835784736],[9990752,444.5526594422211,442.77468737157545],[9990753,418.91212025526505,416.7650658518288],[9990754,623.0109374455869,619.5873169826637],[9990755,520.5851922140546,517.6062555540016],[9990756,401.90242125808703,399.59659137839145],[9990757,389.6717697894603,385.97915624116337],[9990758,600.2259265694108,598.2049187250194],[9990759,430.8774957570507,427.6632801493988],[9990760,552.9135784235847,548.7674201479803],[9990761,565.6363702887023,561.8797912664869],[9990762,514.394777950497,511.1090606746377],[9990763,509.08549156586935,504.11628741957213],[9990764,571.4954178760139,567.87692529171],[9990765,478.86787876877963,477.3984619096881],[9990766,563.7253268692449,561.674265539398],[9990767,487.7828702076395,487.258700439893],[9990768,640.3851350115395,636.4118750560276],[9990769,486.7055979531154,482.45298532401506],[9990770,412.76174947567756,410.7319963600037],[9990771,420.3000962377476,416.4845438524178],[9990772,510.13045361381734,507.9876261455197],[9990773,484.3531985284554,481.70392444991046],[9990774,450.9115365336682,447.4786006152256],[9990775,858.9555225217658,857.9498826065228],[9990776,542.7619428404874,538.8091186264936],[9990777,528.7369352599859,526.2157377781214],[9990778,489.03902257496304,486.08197531301084],[9990779,622.9360752700236,619.9636461715194],[9990780,518.6940205284503,515.2325014786168],[9990781,576.23682421063,573.6590710017149],[9990782,611.654709576241,609.4276945448999],[9990783,494.966537754397,491.86163178527886],[9990784,629.2069850524147,625.7190754013341],[9990785,422.3343772132144,419.3597566164306],[9990786,524.3069396292727,520.2405020807004],[9990787,570.8081424968593,568.767445080002],[9990788,724.7249713678935,720.2339415142746],[9990789,563.594673819284,560.9139352049142],[9990790,508.30425324026925,504.16043418396197],[9990791,690.4249658438328,686.7644867004573],[9990792,516.4749443295565,511.86137492952486],[9990793,494.6378214826299,490.16233739585044],[9990794,696.2000401945174,692.1089011470812],[9990795,532.091973334538,528.9177128445641],[9990796,595.2135792162313,591.7912276974561],[9990797,529.0059878664212,526.4297352547711],[9990798,550.8707078599334,548.5428184422343],[9990799,393.38287919819095,390.04192548574264],[9990800,418.4547074723042,415.64062687026825],[9990801,449.4566021592491,445.40942616462263],[9990802,400.32904874690723,397.4371026292971],[9990803,509.54066371081615,506.82321638926635],[9990804,738.2197072603948,734.2872303895373],[9990805,594.9653180941377,591.387965478515],[9990806,651.4284655400427,646.9997127591943],[9990807,484.8999704221632,483.8668857793419],[9990808,545.6601938232326,540.877107290013],[9990809,707.1518238358045,701.8498613099447],[9990810,657.7704569824456,655.1653154441718],[9990811,457.62975767764607,454.84626481305656],[9990812,564.1206773207506,561.4598948674013],[9990813,587.1738125148166,584.5225462439918],[9990814,568.9369603655279,565.3611013838937],[9990815,389.2692591633237,386.17764950325693],[9990816,422.19011751307596,418.84448162356404],[9990817,562.234889805587,560.4929128599462],[9990818,555.0246865417173,552.1695433099563],[9990819,456.0195639254971,452.32042015728484],[9990820,384.3882819047817,382.8210521667769],[9990821,605.6300849964144,602.5877620747673],[9990822,592.8737672827598,591.4268025655114],[9990823,431.37318871171885,429.19213925894],[9990824,576.1837711653798,572.6962975604649],[9990825,482.44784188447966,479.7493944870965],[9990826,684.666117626499,679.9164572282051],[9990827,527.1364543709318,523.7765421532017],[9990828,483.34036828352333,480.98863531306233],[9990829,627.8964128835446,625.5391142084125],[9990830,538.7192000278795,534.51608051711],[9990831,572.6240870590265,569.7275389196601],[9990832,482.39786278004846,478.7465760842382],[9990833,582.8456343875789,578.9092819931683],[9990834,524.103923729936,521.1633719257079],[9990835,459.432390555571,457.5009388913571],[9990836,575.9047775674236,572.7998039006233],[9990837,641.5857089678223,640.5614499707956],[9990838,640.9010912741609,637.3293595208993],[9990839,696.2818510920056,693.6937283411023],[9990840,416.4218655451171,414.6472491018692],[9990841,546.1996237888299,543.226759951606],[9990842,561.4963061011606,558.4612144381913],[9990843,458.56044246939103,454.48387549810064],[9990844,517.5485200414438,514.4722956326843],[9990845,456.48326535022613,452.6313927481053],[9990846,484.991173104031,482.45751356136213],[9990847,371.17524963823695,367.38566974978403],[9990848,611.4765642469079,605.8662734088961],[9990849,583.4516194687359,579.7231934483103],[9990850,397.01677402754706,394.05290500296394],[9990851,485.98737597610403,483.49251437905855],[9990852,535.6655338841605,531.4057096111603],[9990853,538.9798799891474,536.1942022438262],[9990854,553.7321731758713,550.8182207690866],[9990855,592.2689406009453,587.9671226639183],[9990856,438.8883922800626,436.14786515972276],[9990857,781.5306508107116,777.8230895310927],[9990858,520.7787104771637,516.0607867573023],[9990859,574.2852299321369,571.4855147075862],[9990860,799.2226078018637,795.177644665284],[9990861,482.50299735357976,479.7265855223239],[9990862,573.2970724773214,569.6181886165374],[9990863,639.958306896202,635.2075156833328],[9990864,516.6386904993021,513.4514044910493],[9990865,595.3166737193253,592.3674352880844],[9990866,538.3472618128383,534.8953561386433],[9990867,374.57989302912966,372.06444112261494],[9990868,588.7375407078914,586.4167433825112],[9990869,595.5592954945281,590.8752859545812],[9990870,643.8741172128715,640.439349734929],[9990871,440.11709858809695,436.2546226706648],[9990872,519.4713359900056,516.4038394242868],[9990873,586.0720518265066,584.0473478340173],[9990874,420.1885467396161,416.6016740249364],[9990875,362.25175033796097,358.1547548448817],[9990876,403.76925876369654,401.29135397905725],[9990877,569.9007058824225,567.4498975030347],[9990878,579.5674301208649,574.3473219594292],[9990879,575.5791756491066,571.4727676981516],[9990880,440.6889891216285,438.5296839676801],[9990881,663.8977084380994,660.2389111194118],[9990882,547.3586081002488,543.1908553540258],[9990883,709.5885784285005,707.6060431974211],[9990884,510.6142944950411,507.55182561959526],[9990885,490.7555320501144,487.4030961727488],[9990886,388.4097051545525,385.3075239583247],[9990887,573.3280923584197,571.3647692631994],[9990888,608.6611037003946,605.5889449159939],[9990889,628.5095043056682,625.8681316667155],[9990890,599.8007697352479,596.928677948184],[9990891,425.91326874165907,422.36107794899493],[9990892,524.9575659445073,520.753699345697],[9990893,589.1479196213112,583.9594935789801],[9990894,577.8669547948517,574.3466047391471],[9990895,554.7363293219474,549.4881086999228],[9990896,593.7527542628684,590.417373867824],[9990897,477.00090460194815,474.5455219670021],[9990898,601.7092605998888,598.2483341295473],[9990899,574.9863402934226,569.9396474299148],[9990900,548.2889762689771,545.9883394278997],[9990901,385.25583011454455,381.25865490656963],[9990902,437.2642789001473,433.9672112483175],[9990903,572.4516188253469,569.020988666447],[9990904,547.414832041891,543.8613749519363],[9990905,725.3574970558778,720.449433559259],[9990906,494.504113540553,490.66961519279226],[9990907,371.381872333462,368.17314988415615],[9990908,558.123939241719,554.9378307582091],[9990909,595.0909120956032,590.9635452041451],[9990910,426.3719370150284,423.2016461966049],[9990911,623.5770259119904,621.2274176091472],[9990912,635.859376794701,632.6108457882945],[9990913,456.300877280248,452.8838073394971],[9990914,775.0374599487265,771.9748320276684],[9990915,575.3152527368428,570.8409669812577],[9990916,677.1229289510761,672.0906809989334],[9990917,572.9312151136567,569.0019926386823],[9990918,416.5677138513846,414.09845334068433],[9990919,656.7156760243914,653.0007392280602],[9990920,511.74523080728,508.7882770425229],[9990921,592.0187749124632,587.6771383752857],[9990922,439.1912336703034,435.36834062389835],[9990923,464.19931997507126,461.14348945020157],[9990924,520.1150482318769,515.9639343920611],[9990925,388.63501265655833,385.80884253591194],[9990926,450.32149295350496,447.4925447954063],[9990927,669.268836102481,665.0753515911015],[9990928,579.4241011738948,575.5432921197591],[9990929,535.9039333152011,533.3072949457605],[9990930,470.65198052802145,468.51908122457036],[9990931,478.93809211091144,476.0596983456592],[9990932,561.168915346109,558.7967847358861],[9990933,645.5258372632317,640.9576817292201],[9990934,663.0999949362342,660.5008916723108],[9990935,533.4182799326909,530.7683677374828],[9990936,674.3296146819747,671.6949421466506],[9990937,671.1357108320689,668.2575688285552],[9990938,616.3902477980557,613.3320325325827],[9990939,469.72920068122244,466.8081948326501],[9990940,477.5276156308661,474.8817894531464],[9990941,623.0125149663614,619.7795417660589],[9990942,552.2462303417925,549.5020788276759],[9990943,446.0042087560155,443.43834434723766],[9990944,485.7887729924287,483.8306503479148],[9990945,608.2871529978169,605.0122018934077],[9990946,657.050442113915,652.8066120499043],[9990947,485.5047843708179,482.38686508716376],[9990948,509.46743555563677,505.3224325221734],[9990949,390.06090128353344,386.79462229573005],[9990950,622.7097913558409,617.4981326068216],[9990951,515.1621367640228,511.86551368100385],[9990952,392.85658791814814,388.2228390563094],[9990953,482.7468246888941,479.31121143367204],[9990954,527.4166753394313,523.6173896383312],[9990955,597.05053014335,593.9895183185906],[9990956,512.0662559764529,508.09872553551025],[9990957,338.27629039223103,334.76768620855944],[9990958,375.5983451882938,373.5393860033157],[9990959,637.499512105112,632.904317949045],[9990960,617.184413285157,613.1955181243951],[9990961,412.277905600409,410.51386879350554],[9990962,462.96185377171344,460.16703361315814],[9990963,547.7247034301009,543.7376511143209],[9990964,596.9294445161802,593.225604384503],[9990965,454.89651124274104,452.3522379859731],[9990966,583.7046014999964,580.1083299502512],[9990967,677.290076438055,671.4895820235008],[9990968,541.2023115231075,538.6158113185247],[9990969,392.4219203439147,387.8774960586556],[9990970,675.003668313287,671.413335525155],[9990971,399.4504294045203,396.35560949644696],[9990972,560.5295867678163,556.8830995559431],[9990973,616.3323778777404,612.4084126052796],[9990974,599.8903069942588,596.280988357968],[9990975,516.7050199829386,515.1904539258986],[9990976,525.9628181141586,523.4531668127609],[9990977,656.4821647600193,653.3490771136682],[9990978,510.96488964563747,508.6858093907723],[9990979,474.7724973049667,471.83763112957047],[9990980,736.5091193067794,733.0541313482892],[9990981,468.4052069240477,464.89102717743975],[9990982,596.5216817258552,592.7176507943008],[9990983,558.4988424242936,556.040234406532],[9990984,392.1654397464005,390.1028139376743],[9990985,420.04108872271627,417.08300300530755],[9990986,493.0809793207248,491.47340745175336],[9990987,422.89638028095106,419.1860711036579],[9990988,470.8685438167905,467.80039255905564],[9990989,549.775491529187,546.3391539570086],[9990990,580.0625234943043,576.1771636787623],[9990991,452.62473624536017,450.107280863891],[9990992,442.8885434534149,440.4620011714453],[9990993,540.5006289750385,537.7101564285817],[9990994,552.9624901527471,547.7609485679458],[9990995,746.0901397913406,742.7524521568046],[9990996,509.0410951517054,506.22857360647487],[9990997,609.9274108547161,606.9763217381847],[9990998,741.7468585871795,737.9594710904997],[9990999,469.91529258569915,466.2691970367065],[9991000,504.075557063025,499.72582253133027],[9991001,589.9392469938463,586.6726280136814],[9991002,561.5176342992947,557.9465017241788],[9991003,605.0273564390649,602.0706737705741],[9991004,548.5284858971334,546.188565476924],[9991005,446.21414519910024,443.4032542323741],[9991006,473.4031831946954,470.674371217141],[9991007,679.6773096549798,675.7948850302072],[9991008,635.3083840943251,630.7674564682648],[9991009,673.1728856753504,670.025452576399],[9991010,440.9652451220909,437.6221028745861],[9991011,661.698169470425,657.9534623431155],[9991012,594.9325416543171,593.0289910918857],[9991013,709.6125764835758,705.1328362334427],[9991014,381.548718601469,378.37345680181704],[9991015,542.6728437750767,539.5412586020024],[9991016,442.30363096297657,440.15566599147377],[9991017,401.42823733847746,397.6939909893352],[9991018,719.1004070150457,715.9369876296773],[9991019,483.52728443657475,478.8359394269356],[9991020,404.3970084770792,400.11512993793485],[9991021,433.30734444730615,428.5150133705414],[9991022,386.53091215442225,382.5858305002412],[9991023,531.4684798047614,527.2816908868302]],"first_block_wall_seconds":91.53966898517683,"first_block_engine_seconds":65.49130082130432,"first_block_projected_8_block_wall_seconds":732.3173518814147,"timing_policy":"After timing first block, continue prescribed blocks of 64 in order, without adapting to scores; reserve each seed range once. Each command timeout 470 seconds.","window_limit_seconds":2100,"wall_seconds_first_start_to_last_finish":713.2121095657349,"sum_block_wall_seconds":567.97143182531,"all_submission_callback_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}},"peak_limit":245000,"both_arms_peak_within_245000_and_zero_oog":true,"engine_seeds_run_inclusive":[[9990512,9991023]],"engine_seeds_not_run_inclusive":[],"seed_reuse":false,"other_engine_seeds_run":[],"ledger_sha256":"6b080922e2c8b1abcac1be76f7174b708ebad659df8da39442d33ad3f61f814b"},"differences_from_lb4":{"source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","interpretation":"Different assigned replica and engine seeds: changed sample statistics are observations, not same-seed reproduction failures. P rows and contract identity match. The tell-only peak exceeds LB4; whole-contract engine compliance is judged separately.","scope":"All overlapping measured aggregate figures are compared below, including each original 256-seed E window versus the corresponding fresh 256-seed half, pooled E, and the original 520-seed peak summary. Eight new 64-seed block statistics have no LB4 block counterpart. Q, diagnostics and the eight-seed G pilot were not rerun.","changed":[{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.candidate.afterSwap_calls","lb4":5574428,"cf2":5574533,"cf2_minus_lb4":105},{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.candidate.ok","lb4":5574428,"cf2":5574533,"cf2_minus_lb4":105},{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.candidate.peak_gas","lb4":224481,"cf2":223146,"cf2_minus_lb4":-1335},{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.qt1.afterSwap_calls","lb4":5602910,"cf2":5603488,"cf2_minus_lb4":578},{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.qt1.ok","lb4":5602910,"cf2":5603488,"cf2_minus_lb4":578},{"figure":"E.both_windows_vs_cf2_pooled.afterSwap.qt1.peak_gas","lb4":209297,"cf2":209366,"cf2_minus_lb4":69},{"figure":"E.both_windows_vs_cf2_pooled.mean_edge.candidate","lb4":533.8362347441381,"cf2":532.5639366277021,"cf2_minus_lb4":-1.2722981164359908},{"figure":"E.both_windows_vs_cf2_pooled.mean_edge.qt1","lb4":530.6734729408261,"cf2":529.3692737897368,"cf2_minus_lb4":-1.3041991510892785},{"figure":"E.both_windows_vs_cf2_pooled.paired_vs_qt1.mean_diff","lb4":3.1627618033120055,"cf2":3.194662837965271,"cf2_minus_lb4":0.03190103465326555},{"figure":"E.both_windows_vs_cf2_pooled.paired_vs_qt1.min","lb4":0.5730198233235342,"cf2":0.524169767746514,"cf2_minus_lb4":-0.04885005557702016},{"figure":"E.both_windows_vs_cf2_pooled.paired_vs_qt1.se","lb4":0.04268009976496206,"cf2":0.039750132537687284,"cf2_minus_lb4":-0.002929967227274774},{"figure":"E.both_windows_vs_cf2_pooled.paired_vs_qt1.worst5","lb4":[{"seed":9978131,"diff":0.5730198233235342},{"seed":9978263,"diff":0.5815538743556772},{"seed":9978551,"diff":0.6811445459161405},{"seed":9978452,"diff":0.6955298571939466},{"seed":9978110,"diff":0.7366590463408329}],"cf2":[{"seed":9990767,"diff":0.524169767746514},{"seed":9990726,"diff":0.624328207269059},{"seed":9990551,"diff":0.8117669453118879},{"seed":9990553,"diff":0.940446256032601},{"seed":9990740,"diff":0.9598439501435223}]},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.afterSwap_calls","lb4":2777712,"cf2":2770181,"cf2_minus_lb4":-7531},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.ok","lb4":2777712,"cf2":2770181,"cf2_minus_lb4":-7531},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.peak_gas","lb4":221835,"cf2":223146,"cf2_minus_lb4":1311},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.afterSwap_calls","lb4":2792632,"cf2":2785757,"cf2_minus_lb4":-6875},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.ok","lb4":2792632,"cf2":2785757,"cf2_minus_lb4":-6875},{"figure":"E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.peak_gas","lb4":209297,"cf2":209366,"cf2_minus_lb4":69},{"figure":"E.window_1_vs_cf2_corresponding_half.mean_edge.candidate","lb4":534.680566627872,"cf2":524.5577905665722,"cf2_minus_lb4":-10.122776061299874},{"figure":"E.window_1_vs_cf2_corresponding_half.mean_edge.qt1","lb4":531.4548573696104,"cf2":521.4702487164323,"cf2_minus_lb4":-9.984608653178157},{"figure":"E.window_1_vs_cf2_corresponding_half.paired_vs_qt1.mean_diff","lb4":3.225709258261719,"cf2":3.0875418501399325,"cf2_minus_lb4":-0.1381674081217863},{"figure":"E.window_1_vs_cf2_corresponding_half.paired_vs_qt1.min","lb4":0.5730198233235342,"cf2":0.524169767746514,"cf2_minus_lb4":-0.04885005557702016},{"figure":"E.window_1_vs_cf2_corresponding_half.paired_vs_qt1.se","lb4":0.06238856794266395,"cf2":0.0569480092343655,"cf2_minus_lb4":-0.005440558708298453},{"figure":"E.window_1_vs_cf2_corresponding_half.paired_vs_qt1.worst5","lb4":[{"seed":9978131,"diff":0.5730198233235342},{"seed":9978263,"diff":0.5815538743556772},{"seed":9978110,"diff":0.7366590463408329},{"seed":9978228,"diff":0.8423458034940268},{"seed":9978139,"diff":0.8848354133717748}],"cf2":[{"seed":9990767,"diff":0.524169767746514},{"seed":9990726,"diff":0.624328207269059},{"seed":9990551,"diff":0.8117669453118879},{"seed":9990553,"diff":0.940446256032601},{"seed":9990740,"diff":0.9598439501435223}]},{"figure":"E.window_1_vs_cf2_corresponding_half.seeds","lb4":[9978100,9978355],"cf2":[9990512,9990767]},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.afterSwap_calls","lb4":2796716,"cf2":2804352,"cf2_minus_lb4":7636},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.ok","lb4":2796716,"cf2":2804352,"cf2_minus_lb4":7636},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.peak_gas","lb4":224481,"cf2":221050,"cf2_minus_lb4":-3431},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.afterSwap_calls","lb4":2810278,"cf2":2817731,"cf2_minus_lb4":7453},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.ok","lb4":2810278,"cf2":2817731,"cf2_minus_lb4":7453},{"figure":"E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.peak_gas","lb4":208860,"cf2":209144,"cf2_minus_lb4":284},{"figure":"E.window_2_vs_cf2_corresponding_half.mean_edge.candidate","lb4":532.9919028604041,"cf2":540.570082688832,"cf2_minus_lb4":7.578179828427892},{"figure":"E.window_2_vs_cf2_corresponding_half.mean_edge.qt1","lb4":529.8920885120418,"cf2":537.2682988630414,"cf2_minus_lb4":7.3762103509995995},{"figure":"E.window_2_vs_cf2_corresponding_half.paired_vs_qt1.mean_diff","lb4":3.099814348362292,"cf2":3.3017838257906096,"cf2_minus_lb4":0.2019694774283174},{"figure":"E.window_2_vs_cf2_corresponding_half.paired_vs_qt1.min","lb4":0.6811445459161405,"cf2":1.005639915243023,"cf2_minus_lb4":0.3244953693268826},{"figure":"E.window_2_vs_cf2_corresponding_half.paired_vs_qt1.se","lb4":0.05811402356472897,"cf2":0.054768694141782925,"cf2_minus_lb4":-0.0033453294229460473},{"figure":"E.window_2_vs_cf2_corresponding_half.paired_vs_qt1.worst5","lb4":[{"seed":9978551,"diff":0.6811445459161405},{"seed":9978452,"diff":0.6955298571939466},{"seed":9978576,"diff":1.0002522858463294},{"seed":9978568,"diff":1.0314462926866668},{"seed":9978632,"diff":1.2182132146630238}],"cf2":[{"seed":9990775,"diff":1.005639915243023},{"seed":9990837,"diff":1.0242589970266636},{"seed":9990807,"diff":1.0330846428213363},{"seed":9990822,"diff":1.4469647172484201},{"seed":9990975,"diff":1.5145660570399286}]},{"figure":"E.window_2_vs_cf2_corresponding_half.seeds","lb4":[9978400,9978655],"cf2":[9990768,9991023]},{"figure":"F.first_trades","lb4":64634,"cf2":65052,"cf2_minus_lb4":418},{"figure":"F.label_counts.neg","lb4":29526,"cf2":29941,"cf2_minus_lb4":415},{"figure":"F.label_counts.pos","lb4":35108,"cf2":35111,"cf2_minus_lb4":3},{"figure":"F.largest_fee_error_bps","lb4":4.829964813518606e-07,"cf2":4.769733739917736e-07,"cf2_minus_lb4":-6.023107360086932e-09},{"figure":"F.max_error_bps_bid_ask","lb4":[4.806689594960556e-07,4.829964813518606e-07],"cf2":[4.761634142536053e-07,4.769733739917736e-07]},{"figure":"F.per_seed_rows_sha256","lb4":"f59ddf08b15ece47d4f23e131b78e6a2a1a7112b391c979dc45228f06704e822","cf2":"75156d328386de4596d6bc8f7a4946517724c5a15183bab18871384608d54595"},{"figure":"F.replay_peak_gas","lb4":192906,"cf2":181049,"cf2_minus_lb4":-11857},{"figure":"F.seeds","lb4":[74200,74249],"cf2":[74350,74399]},{"figure":"T.first_trades","lb4":350657,"cf2":346821,"cf2_minus_lb4":-3836},{"figure":"T.label_counts.buy/neg","lb4":79488,"cf2":78943,"cf2_minus_lb4":-545},{"figure":"T.label_counts.buy/pos","lb4":96692,"cf2":93662,"cf2_minus_lb4":-3030},{"figure":"T.label_counts.sell/neg","lb4":80263,"cf2":79034,"cf2_minus_lb4":-1229},{"figure":"T.label_counts.sell/pos","lb4":94214,"cf2":95182,"cf2_minus_lb4":968},{"figure":"T.rows_sha256","lb4":"3ed21c4aa184dac016baa060f4b5d878cd132428c9506d8a4b3617ac50dd5fad","cf2":"cf9a5c0c51979ddd9b0aae3e48b03a3f86e04af6c2063834e9e0afea69daafec"},{"figure":"T.seeds","lb4":[74200,74249],"cf2":[74350,74399]},{"figure":"peak_gas_lb4_520_vs_cf2_512.candidate.calls","lb4":5659321,"cf2":5574533,"cf2_minus_lb4":-84788},{"figure":"peak_gas_lb4_520_vs_cf2_512.candidate.engine_afterSwap_peak","lb4":224481,"cf2":223146,"cf2_minus_lb4":-1335},{"figure":"peak_gas_lb4_520_vs_cf2_512.qt1.calls","lb4":5688365,"cf2":5603488,"cf2_minus_lb4":-84877},{"figure":"peak_gas_lb4_520_vs_cf2_512.qt1.engine_afterSwap_peak","lb4":209297,"cf2":209366,"cf2_minus_lb4":69},{"figure":"tell_gas_alone.mean","lb4":6196.476214648503,"cf2":6207.530876158018,"cf2_minus_lb4":11.054661509515427},{"figure":"tell_gas_alone.method","lb4":"probe call gas minus a no-op call with identical calldata (pyrevm); Probe.ltTell on every first trade of seeds 74200..74249","cf2":"probe call gas minus a no-op call with identical calldata (pyrevm)"},{"figure":"tell_gas_alone.n","lb4":350657,"cf2":346821,"cf2_minus_lb4":-3836},{"figure":"tell_gas_alone.peak","lb4":9800,"cf2":12737,"cf2_minus_lb4":2937},{"figure":"tell_gas_alone.probe_call_peak_gas","lb4":33013,"cf2":35950,"cf2_minus_lb4":2937}],"equal":["E.both_windows_vs_cf2_pooled.afterSwap.candidate.bad_return","E.both_windows_vs_cf2_pooled.afterSwap.candidate.other_halt","E.both_windows_vs_cf2_pooled.afterSwap.candidate.out_of_gas","E.both_windows_vs_cf2_pooled.afterSwap.candidate.revert","E.both_windows_vs_cf2_pooled.afterSwap.candidate.tx_error","E.both_windows_vs_cf2_pooled.afterSwap.qt1.bad_return","E.both_windows_vs_cf2_pooled.afterSwap.qt1.other_halt","E.both_windows_vs_cf2_pooled.afterSwap.qt1.out_of_gas","E.both_windows_vs_cf2_pooled.afterSwap.qt1.revert","E.both_windows_vs_cf2_pooled.afterSwap.qt1.tx_error","E.both_windows_vs_cf2_pooled.paired_vs_qt1.n","E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.bad_return","E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.other_halt","E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.out_of_gas","E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.revert","E.window_1_vs_cf2_corresponding_half.afterSwap.candidate.tx_error","E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.bad_return","E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.other_halt","E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.out_of_gas","E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.revert","E.window_1_vs_cf2_corresponding_half.afterSwap.qt1.tx_error","E.window_1_vs_cf2_corresponding_half.paired_vs_qt1.n","E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.bad_return","E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.other_halt","E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.out_of_gas","E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.revert","E.window_2_vs_cf2_corresponding_half.afterSwap.candidate.tx_error","E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.bad_return","E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.other_halt","E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.out_of_gas","E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.revert","E.window_2_vs_cf2_corresponding_half.afterSwap.qt1.tx_error","E.window_2_vs_cf2_corresponding_half.paired_vs_qt1.n","F.callbacks","F.callbacks_over_245000","F.errors_over_tolerance","F.per_seed_callbacks","F.status","F.stream","F.tell_mismatches","F.tolerance_bps","T.exact_stored_fee_wads","T.mismatches","T.status","T.stream","peak_gas_lb4_520_vs_cf2_512.candidate.out_of_gas","peak_gas_lb4_520_vs_cf2_512.qt1.out_of_gas"]},"limitations":["Fresh-seed confirmation does not prove worst-case gas for every possible callback.","T checks Solidity/reference label agreement, not correctness of the latent arb/retail classification.","F uses the supplied contract-driven replica with exact previous returned fee wads and a separately carried Python filter.","Raw scratch logs are disposable; the delivered JSON retains per-seed engine edges, aggregates, commands and hashes."],"summary":{"paired_n":512,"mean_diff_vs_qt1":3.194662837965271,"se":0.039750132537687284,"min":0.524169767746514,"candidate_engine_afterSwap_peak_gas":223146,"candidate_engine_afterSwap_out_of_gas":0,"contract_identity_confirmed":true,"label_mismatches":0,"largest_fee_error_bps":4.769733739917736e-07,"source_repairs":0,"leaderboard_submission":false}}