{"item":"cf-4","batch":"e09-confirm","credit":"Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved, README read first.","status":"complete: P, identity, T, F and fresh-engine gas checks pass; 512 paired engine seeds measured","blocked":null,"source_policy":"No supplied source file changed or repaired. Work and installations isolated in test/scratch/. Only the two requested JSON files are delivered.","sha256_checks":{"downloads":[{"name":"LB4","url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","expected":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","actual":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","pass_":true},{"name":"TCA","url":"https://api.imdnotdead.fun/artifacts/dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","expected":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","actual":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","pass_":true},{"name":"QT1","url":"https://api.imdnotdead.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","expected":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","actual":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","pass_":true}],"bundles":[{"name":"TCA","expected":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","actual":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","passed":true,"manifest_sha256":"272c6b758f6e6ead17a5bc832a0bbab64520f976450c94dbf7b87d3b7ed1b2c1","manifest_entries_verified":32},{"name":"LB4","expected":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","actual":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","passed":true,"source_hashes_rechecked_after_all_runs":{"scratch/Strategy.sol":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","scratch/LeanTell.sol":"d43b3e1644d1fa60f03d035a9453dc389c16510e6b955df26722bb64928da581","scratch/Probe.sol":"b1eeb6903a027067f3c131f1ca519411545a3ac1082928c0e0debd58af45b2ae","scratch/ref/lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","scratch/ref/policy.py":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","scratch/score.py":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","scratch/summarize.py":"17feb75f01f15478f1ad183234b6bb1a83273240c281a0aff940172afbbdad05","scratch/test_contract.py":"18b6c8b6b2b8d9a46aa8c3be33db7fa84b2b4b8c6bd312836ba857d6bd687c93","scratch/test_lean.py":"bdaf3f53823b7275a7f2193ae78ffdfce31bc7e54da052f01a21515831cee57a","scratch/test_fidelity.py":"b15ec354624ebdad9d6204544bad737629cce8c2c9e59381a3260d73a9b6d0ef","scratch/check_configs_lb4.py":"cfe9eb6fec6f8b2c5826606cb4b69407777e4106b3ba0dd6f1a9ba95d983cffa","scratch/frozen.json":"f6f753696be4c4c1ebf03b55ab83aae9d1257390eac28db55b4f54601dc03217","scratch/NOTES.md":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","scratch/ref/port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","scratch/ref/twocomp.py":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","scratch/ref/qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","scratch/ref/replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","scratch/compile.py":"6e66877ac6381261599bc11ba1bfeb4d29c32a32cd42b6a58a8053477cfa9f93","scratch/engine.py":"6baf20c3b0523764140b35d5e9f2193444b0b80fd4b22ea0a5e2af1960d8e19a","scratch/check.py":"2b5d8038a1a051fa9e73e1d144b6feb4a375d25d9425c65d99ae913309c5c754","scratch/test_math.py":"5efef84f79af905d0d7c699c91b694b0414711e2c95995c47ad8d9d6d1334018","scratch/materialize.py":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","scratch/setup.sh":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b"},"entries_verified":23}],"qt1_solidity":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","qm_blob":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","engine_wheel":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a"},"setup":{"status":"pass","runs":1,"platform_requirement":"Linux x86_64 satisfied","command":"sh scratch/setup.sh","later_commands_prefix":". scratch/env.sh && ","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","replica_commit":"4812a6382311624e1506aca131ca35c378f930d9","tracked_source_diffs_empty":true,"validation":"Strategy StarterStrategy validated successfully","log_sha256":"554c928dbe2cf39fcc13c0828d9ff13297f8b81000b68e62cc19669510942a04"},"P":{"status":"pass","command":"python3 -I gates.py","working_directory":"amm-sim/research/solved","unmodified":true,"ran_before_contract_checks":true,"README_rows_match_to_6_decimals":true,"columns":["seed","perfect-info","gaussian+plain","gaussian+qm","lattice+qm"],"rows":[["10000","448.261189","443.455598","443.522608","443.663520"],["10001","576.779199","571.463409","571.623551","571.977293"],["10002","531.886497","525.168028","525.865859","526.411631"]],"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","gates_py_sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","stdout_sha256":"10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8","source_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md"},"identity":{"status":"pass","source_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","source_hash_matches_expected":true,"command":"python scratch/compile.py Probe Strategy","runtime_bytes":22946,"runtime_sha256":"dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017","runtime_matches_lb4":true,"deployed_limit_bytes":24576,"size_pass":true,"engine_and_replay_creation_and_runtime_identical":true,"compiler":"solc 0.8.24; viaIR; optimizer enabled, 200 runs; evmVersion paris","qt1":{"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","runtime_bytes":20605,"runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189"},"source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e"},"Q":{"status":"accepted-policy qualification inherited from LB4; not rerun in this bounded confirmation","source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","reported_replica_seeds":[10000,12047],"reported_n":2048,"reported_mean_diff_vs_qt1":3.1599088463183005,"minimum_contract_qualification":0.5,"no_selection_or_tuning_performed":true},"T":{"status":"pass","seeds":[74450,74499],"n_steps":10000,"first_trades":351118,"counts":{"sell/neg":80263,"buy/neg":79947,"sell/pos":95472,"buy/pos":95436},"mismatch_count":0,"mismatches":0,"exact_stored_fee_wads":true,"stream":"unchanged TwoComp on o1-b engine-order port","probe_peak_gas":35876,"tell_gas_alone_peak":12579,"tell_gas_alone_mean":6209.144828803992,"tell_gas_note":"probe call gas minus a no-op call with identical calldata (pyrevm)","sha256":"b204f8f5cb3f35d572ab6cf3bd61fb2df15f906872092858ae6a4cae9d23f26b","seconds":65.6788416840136,"command":"python scratch/test_contract.py T 74450 74500","mismatch_examples":[],"label_counts":{"sell/neg":80263,"buy/neg":79947,"sell/pos":95472,"buy/pos":95436},"rows_sha256":"b204f8f5cb3f35d572ab6cf3bd61fb2df15f906872092858ae6a4cae9d23f26b","interpretation":"Solidity label equality with the supplied Python reference, not perfect arb/retail truth classification."},"F":{"status":"pass","seeds":[74450,74499],"n":100000,"max_error_bps":[4.74542818235113e-07,4.692709935916195e-07],"errors_over_tolerance":0,"tell_mismatches":0,"first_trades":64878,"peak_replay_gas":191808,"callbacks_over_245000":0,"counts":{"neg":29977,"pos":34901},"per_seed_rows_sha256":"e4e69307a1a2fe24ad7cb0879530f6d55ca876a9c6fc25152378bc88ca19d97d","strategy_source_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","seconds":50.217054763110355,"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,"command":"python scratch/test_contract.py F 74450 74500","callbacks":100000,"per_seed_callbacks":2000,"largest_fee_error_bps":4.74542818235113e-07,"max_error_bps_bid_ask":[4.74542818235113e-07,4.692709935916195e-07],"tolerance_bps":0.01,"replay_peak_gas":191808,"label_counts":{"neg":29977,"pos":34901},"per_seed_evidence_columns":["seed","callbacks","max_bid_error_bps","max_ask_error_bps","peak_gas","first_trades","tell_mismatches","errors_over_tolerance"],"per_seed_evidence":[[74450,2000,4.598114076992399e-07,4.4559500186891476e-07,185473,1347,0,0],[74451,2000,4.549632025285799e-07,4.449514021120926e-07,170051,1245,0,0],[74452,2000,4.264870488018824e-07,4.3766684720836224e-07,168497,1289,0,0],[74453,2000,4.74542818235113e-07,4.2970712058054694e-07,173571,1373,0,0],[74454,2000,4.6334767619948813e-07,4.6226975372598567e-07,167939,1324,0,0],[74455,2000,4.506676976046009e-07,4.4871658472223075e-07,158194,1180,0,0],[74456,2000,4.418609575451704e-07,4.430137159894265e-07,166622,1222,0,0],[74457,2000,4.397485153795344e-07,4.692709935916195e-07,164202,1185,0,0],[74458,2000,4.559952068716733e-07,4.479268518597923e-07,178033,1324,0,0],[74459,2000,4.4118084185917894e-07,4.418787731552687e-07,165698,1254,0,0],[74460,2000,4.3938027695367143e-07,4.305914045460435e-07,161377,1272,0,0],[74461,2000,4.4539028715151474e-07,4.5436493109618503e-07,161050,1232,0,0],[74462,2000,4.4476247120991963e-07,4.4820602090878126e-07,166401,1205,0,0],[74463,2000,4.431671696281114e-07,4.3420742478969543e-07,182677,1411,0,0],[74464,2000,4.525590319159889e-07,4.5603760351342615e-07,162766,1256,0,0],[74465,2000,4.590921566516304e-07,4.341945639835254e-07,177972,1261,0,0],[74466,2000,4.450948984380254e-07,4.517519084507038e-07,182319,1395,0,0],[74467,2000,4.4175311629188196e-07,4.6615366081081966e-07,175940,1220,0,0],[74468,2000,4.4475688756873133e-07,4.5798344283642933e-07,171525,1342,0,0],[74469,2000,4.433835937289743e-07,4.4238706448096465e-07,184143,1263,0,0],[74470,2000,4.3409605771094206e-07,4.3762600748092906e-07,159274,1286,0,0],[74471,2000,4.6066728556781733e-07,4.6618073984427966e-07,172863,1348,0,0],[74472,2000,4.48038403252915e-07,4.357916067940226e-07,162705,1393,0,0],[74473,2000,4.5983269275629013e-07,4.40768081755305e-07,161163,1196,0,0],[74474,2000,4.66236823454258e-07,4.6665823982827703e-07,161903,1243,0,0],[74475,2000,4.508383597001675e-07,4.442366439982859e-07,162787,1297,0,0],[74476,2000,4.523359811714478e-07,4.3850075480411643e-07,163241,1198,0,0],[74477,2000,4.4033637413426474e-07,4.345180465437082e-07,179184,1257,0,0],[74478,2000,4.686608653242663e-07,4.412208359089176e-07,173765,1374,0,0],[74479,2000,4.3956012441004333e-07,4.3618626831103124e-07,180195,1299,0,0],[74480,2000,4.532963067405138e-07,4.391483097304638e-07,175169,1417,0,0],[74481,2000,4.5031338033463264e-07,4.614025134186406e-07,173519,1347,0,0],[74482,2000,4.5721399756504244e-07,4.6114912236050465e-07,168695,1404,0,0],[74483,2000,4.6118795631391873e-07,4.6642288989429126e-07,168258,1368,0,0],[74484,2000,4.4796452138007314e-07,4.477548193326797e-07,161753,1214,0,0],[74485,2000,4.309921516898463e-07,4.4551299281658796e-07,173972,1344,0,0],[74486,2000,4.5440765733539834e-07,4.480455936817229e-07,174241,1415,0,0],[74487,2000,4.3792493936711807e-07,4.588013649553524e-07,161215,1263,0,0],[74488,2000,4.3615697858934155e-07,4.5280793004032205e-07,171667,1403,0,0],[74489,2000,4.4304524106494533e-07,4.396067971451645e-07,172513,1382,0,0],[74490,2000,4.6085600613476885e-07,4.4150314480739805e-07,169867,1377,0,0],[74491,2000,4.4890849718037806e-07,4.656422166252061e-07,174282,1314,0,0],[74492,2000,4.517743210780134e-07,4.394569950993965e-07,161850,1220,0,0],[74493,2000,4.4196316745237496e-07,4.3425499307581106e-07,161969,1288,0,0],[74494,2000,4.3133887087098977e-07,4.563887462394334e-07,161101,1230,0,0],[74495,2000,4.4767835732971786e-07,4.494616918232497e-07,191808,1248,0,0],[74496,2000,4.556727564719587e-07,4.3992615106347444e-07,161308,1202,0,0],[74497,2000,4.599972919933082e-07,4.4129113991459024e-07,172988,1431,0,0],[74498,2000,4.4839895089066745e-07,4.6483438626010454e-07,164853,1280,0,0],[74499,2000,4.5565506229250374e-07,4.3973892235871226e-07,184532,1240,0,0]]},"E":{"status":"complete","method":"Each contract alone versus 30 bps VanillaStrategy: amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8). Paired difference = candidate edge minus qt1 edge on the same seed.","configs_check":{"credit":"Taylor (gtmcknight): replica, filter, solved policy, qm tables","exact_equality":true,"n":512,"seeds":[9991536,9992047],"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"],"method":"Unmodified MatchRunner._build_configs code object with only outer iteration bounded to assigned seeds; no engine invocation."},"blocks":[{"start":9991536,"end_exclusive":9991600,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991536 9991600 scratch/E-9991536.json","wall_seconds":142.04642135906033,"engine_seconds":112.43861985206604,"arm_seconds":{"candidate":54.43229293823242,"qt1":57.952605962753296},"output_sha256":"b7f896945d0e16ca612d41a0fa2788bf161e9296d73b4016155851b6b13de3d9","paired":{"n":64,"mean_diff":3.2114451015543244,"se":0.12591471794299838,"min":0.8775242422540259,"worst5":[{"seed":9991556,"diff":0.8775242422540259},{"seed":9991594,"diff":1.6311842307868574},{"seed":9991558,"diff":1.6908264812640255},{"seed":9991540,"diff":1.7155828499347763},{"seed":9991588,"diff":1.9091740886540833}]},"mean_edges":{"candidate":529.399649721698,"qt1":526.1882046201437},"afterSwap":{"candidate":{"calls":695128,"ok":695128,"peak_gas":215803,"out_of_gas":0,"sum_ok_gas":97269961570,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":698292,"ok":698292,"peak_gas":206567,"out_of_gas":0,"sum_ok_gas":96367178899,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991600,"end_exclusive":9991664,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991600 9991664 scratch/E-9991600.json","wall_seconds":118.64370257011615,"engine_seconds":117.30120468139648,"arm_seconds":{"candidate":58.97602915763855,"qt1":58.260945320129395},"output_sha256":"ebcdb65d4c5e8bc0378fc583e20e9b9d61d1d803c15e4fd0db262be2669dbdf5","paired":{"n":64,"mean_diff":3.3156187034752955,"se":0.13381345654501708,"min":1.6438916476367922,"worst5":[{"seed":9991624,"diff":1.6438916476367922},{"seed":9991653,"diff":1.6505869484471418},{"seed":9991638,"diff":1.6960033732198667},{"seed":9991614,"diff":1.7026729250620178},{"seed":9991611,"diff":1.7336397796124174}]},"mean_edges":{"candidate":530.1578279070943,"qt1":526.842209203619},"afterSwap":{"candidate":{"calls":701657,"ok":701657,"peak_gas":217064,"out_of_gas":0,"sum_ok_gas":98095966436,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":704471,"ok":704471,"peak_gas":208827,"out_of_gas":0,"sum_ok_gas":97137390617,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991664,"end_exclusive":9991728,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991664 9991728 scratch/E-9991664.json","wall_seconds":116.68413395388052,"engine_seconds":115.27744150161743,"arm_seconds":{"candidate":59.222320318222046,"qt1":56.00097036361694},"output_sha256":"b4c03a2be9c5235a2254d4d580be8fa660d8a7f1a5e5931a4474cbbf03928bb0","paired":{"n":64,"mean_diff":3.2405012830205244,"se":0.13579389347237109,"min":-0.5524676275713318,"worst5":[{"seed":9991691,"diff":-0.5524676275713318},{"seed":9991705,"diff":0.9751042646121277},{"seed":9991686,"diff":1.7542597126038117},{"seed":9991683,"diff":1.8200241107952024},{"seed":9991674,"diff":1.8784171268852106}]},"mean_edges":{"candidate":551.0017597431272,"qt1":547.7612584601067},"afterSwap":{"candidate":{"calls":714471,"ok":714471,"peak_gas":223141,"out_of_gas":0,"sum_ok_gas":99675633488,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":717544,"ok":717544,"peak_gas":208246,"out_of_gas":0,"sum_ok_gas":98794872175,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":1,"zero_pairs":0},{"start":9991728,"end_exclusive":9991792,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991728 9991792 scratch/E-9991728.json","wall_seconds":120.25267352093942,"engine_seconds":118.7546935081482,"arm_seconds":{"candidate":61.2640163898468,"qt1":57.4358184337616},"output_sha256":"90b7d22aeddba2e17bc065ef84104d5ccf93cc55c519a2933b6bec70068b0a5f","paired":{"n":64,"mean_diff":3.2233466922701846,"se":0.11342778796458236,"min":1.3113872673441165,"worst5":[{"seed":9991755,"diff":1.3113872673441165},{"seed":9991790,"diff":1.408758525788926},{"seed":9991737,"diff":1.6107934301631985},{"seed":9991775,"diff":1.8347392173909611},{"seed":9991747,"diff":1.9800050604990815}]},"mean_edges":{"candidate":511.7860450990904,"qt1":508.56269840682023},"afterSwap":{"candidate":{"calls":677257,"ok":677257,"peak_gas":222475,"out_of_gas":0,"sum_ok_gas":95037861491,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":681628,"ok":681628,"peak_gas":208556,"out_of_gas":0,"sum_ok_gas":94247219557,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991792,"end_exclusive":9991856,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991792 9991856 scratch/E-9991792.json","wall_seconds":117.68425689986907,"engine_seconds":116.22163558006287,"arm_seconds":{"candidate":56.5589120388031,"qt1":59.6087908744812},"output_sha256":"40fb27393a27a26b65ca1da7dd609ddb4cd39404f40cbd9e03d5179f8a3b4160","paired":{"n":64,"mean_diff":3.183808791058416,"se":0.12154261172479926,"min":1.2445683680738853,"worst5":[{"seed":9991798,"diff":1.2445683680738853},{"seed":9991813,"diff":1.3005473842665083},{"seed":9991848,"diff":1.55313507542769},{"seed":9991822,"diff":1.602101043798143},{"seed":9991854,"diff":1.711191847934515}]},"mean_edges":{"candidate":536.6821784685267,"qt1":533.4983696774682},"afterSwap":{"candidate":{"calls":694372,"ok":694372,"peak_gas":224693,"out_of_gas":0,"sum_ok_gas":97168194210,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":697627,"ok":697627,"peak_gas":208939,"out_of_gas":0,"sum_ok_gas":96256794598,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991856,"end_exclusive":9991920,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991856 9991920 scratch/E-9991856.json","wall_seconds":119.31408913596533,"engine_seconds":117.95589566230774,"arm_seconds":{"candidate":57.35245680809021,"qt1":60.54887914657593},"output_sha256":"61a3048125f4b68e1d48cd9a67e1b987c9fe58fe6e78a5c2837a7c711cf44f7e","paired":{"n":64,"mean_diff":3.110428889691252,"se":0.13875585710560953,"min":0.6442151192304095,"worst5":[{"seed":9991864,"diff":0.6442151192304095},{"seed":9991889,"diff":0.9550721152347705},{"seed":9991905,"diff":0.9736888535037451},{"seed":9991896,"diff":1.2966656461040884},{"seed":9991880,"diff":1.5765079664264476}]},"mean_edges":{"candidate":539.9666544939515,"qt1":536.8562256042603},"afterSwap":{"candidate":{"calls":687912,"ok":687912,"peak_gas":224691,"out_of_gas":0,"sum_ok_gas":96346346251,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":691707,"ok":691707,"peak_gas":208914,"out_of_gas":0,"sum_ok_gas":95503949807,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991920,"end_exclusive":9991984,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991920 9991984 scratch/E-9991920.json","wall_seconds":115.84158175694756,"engine_seconds":114.21566247940063,"arm_seconds":{"candidate":58.10919260978699,"qt1":56.03279709815979},"output_sha256":"c5d40b9213607153ed123096568b106fed98c564230e77d232e06029bd32c954","paired":{"n":64,"mean_diff":3.2089832813455823,"se":0.10459793899493953,"min":1.62101573027644,"worst5":[{"seed":9991924,"diff":1.62101573027644},{"seed":9991978,"diff":1.8706975034021411},{"seed":9991932,"diff":1.896935573853625},{"seed":9991965,"diff":1.9102696544520654},{"seed":9991920,"diff":2.0036135422562324}]},"mean_edges":{"candidate":528.4692229216092,"qt1":525.2602396402636},"afterSwap":{"candidate":{"calls":689339,"ok":689339,"peak_gas":222239,"out_of_gas":0,"sum_ok_gas":96539199946,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":693287,"ok":693287,"peak_gas":209272,"out_of_gas":0,"sum_ok_gas":95722162677,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0},{"start":9991984,"end_exclusive":9992048,"command":"python scratch/engine.py scratch/Strategy.sol scratch/qt1.sol 9991984 9992048 scratch/E-9991984.json","wall_seconds":118.98958953702822,"engine_seconds":117.62413692474365,"arm_seconds":{"candidate":60.974228620529175,"qt1":56.595165729522705},"output_sha256":"256b585d715a01f165faa8b57a7cf06e3cf19a827534039f6f86a478c8da3bae","paired":{"n":64,"mean_diff":3.289777912563106,"se":0.12065097462085067,"min":1.04901286396057,"worst5":[{"seed":9992002,"diff":1.04901286396057},{"seed":9992016,"diff":1.493194744294101},{"seed":9992000,"diff":1.7400520528481138},{"seed":9992047,"diff":1.8039102549756194},{"seed":9992028,"diff":1.8961349029677308}]},"mean_edges":{"candidate":525.1675389459526,"qt1":521.8777610333896},"afterSwap":{"candidate":{"calls":695653,"ok":695653,"peak_gas":218456,"out_of_gas":0,"sum_ok_gas":97337840813,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":699936,"ok":699936,"peak_gas":208753,"out_of_gas":0,"sum_ok_gas":96577169637,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0}],"pooled":{"paired":{"n":512,"mean_diff":3.2229888318723354,"se":0.04389607521522181,"min":-0.5524676275713318,"worst5":[{"seed":9991691,"diff":-0.5524676275713318},{"seed":9991864,"diff":0.6442151192304095},{"seed":9991556,"diff":0.8775242422540259},{"seed":9991889,"diff":0.9550721152347705},{"seed":9991905,"diff":0.9736888535037451}]},"mean_edges":{"candidate":531.5788596626312,"qt1":528.3558708307589},"afterSwap":{"candidate":{"calls":5555789,"ok":5555789,"peak_gas":224693,"out_of_gas":0,"sum_ok_gas":777471004205,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":5584492,"ok":5584492,"peak_gas":209272,"out_of_gas":0,"sum_ok_gas":770606737967,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":1,"zero_pairs":0},"gas_gate":{"limit":245000,"required_out_of_gas":0,"candidate_pass":true,"qt1_pass":true},"timing":{"budget_seconds":2100,"first_block_wall_seconds":142.04642135906033,"whole_window_elapsed_seconds":1005.1695106090046,"completed_within_budget":true,"decision":"After timing the first 64-seed block, all eight blocks fit. Before each later block, required remaining time >= 1.2 times the largest prior block wall time."},"engine_seeds_run":{"start":9991536,"end_exclusive":9992048,"count":512,"blocks_in_order":true,"once_per_arm":true},"engine_seeds_not_run":[],"other_engine_seeds_run":[],"reused_engine_seeds":[],"per_seed_columns":["seed","candidate_edge","qt1_edge"],"per_seed_rows":[[9991536,488.69998432833415,484.8551910439807],[9991537,615.0661475597941,611.101483487623],[9991538,423.099767943722,420.7763776798613],[9991539,532.8818188176257,528.1767812284149],[9991540,720.1549643131619,718.4393814632272],[9991541,584.2374681991056,580.600675194387],[9991542,472.4847224402717,469.64835991598653],[9991543,404.8276913501186,401.86731078279433],[9991544,488.2414373869903,484.4599812114029],[9991545,496.6487691834965,494.56486312048713],[9991546,632.1001978212773,628.0183555184612],[9991547,464.4338044143884,461.18648482037025],[9991548,516.5457796664284,514.1090588501479],[9991549,593.0878402062335,589.9161107590228],[9991550,483.82055404281107,481.1033350904385],[9991551,377.7114025601319,374.21756981274785],[9991552,601.952814379053,598.938447056947],[9991553,462.37635531674306,459.2517016176656],[9991554,412.21136796119475,409.31991944040993],[9991555,536.3785228675191,531.7607502456359],[9991556,495.03526846172025,494.1577442194662],[9991557,615.8175921053097,613.1494846974883],[9991558,464.1983987017313,462.5075722204673],[9991559,758.5780600692799,753.6757436258673],[9991560,523.4805712366418,520.8266797844863],[9991561,533.2287644272463,527.2520418141672],[9991562,433.9413108757295,431.47214255480714],[9991563,504.4532937081706,501.4988876696797],[9991564,510.07344963003555,506.79139197542844],[9991565,610.5099613501834,607.7241982790357],[9991566,573.8726455065556,568.9852975526884],[9991567,623.807140241092,620.865089404884],[9991568,593.5595028901301,590.8046866804629],[9991569,541.6370782006395,537.6359274056906],[9991570,479.7706590330787,476.71363908833933],[9991571,389.0790037804534,386.87541006467035],[9991572,566.4176795253527,562.8387247012503],[9991573,495.6884246943735,492.0384841977698],[9991574,516.387405232324,513.2800701826707],[9991575,570.863777081466,567.7815735153969],[9991576,581.0318982534675,577.5528560239427],[9991577,507.80179063853336,505.38510393288885],[9991578,520.2881154229813,516.3598662919567],[9991579,788.1194694402046,783.452251630758],[9991580,420.2684957644821,417.5419594169186],[9991581,423.6370416256099,421.39188261285994],[9991582,464.12978802222324,460.83129695849794],[9991583,742.9044577062087,740.0885753562243],[9991584,393.18759865987727,390.8982655506814],[9991585,579.1678061443301,575.500884254085],[9991586,381.75524846228467,377.8286474500164],[9991587,522.5112257514227,519.6685663208424],[9991588,444.6316631528914,442.7224890642373],[9991589,520.2529304212454,517.6234254948984],[9991590,485.69872956455055,483.3201098663661],[9991591,651.3747384097876,648.8237329363687],[9991592,423.36047823830125,419.8956269365571],[9991593,715.0153615546332,708.7111905302936],[9991594,560.6827552156437,559.0515709848569],[9991595,598.9651786000273,595.4663997739589],[9991596,384.8185624675892,382.79416899652944],[9991597,525.7669783401024,521.6047856592738],[9991598,621.1309584687696,616.2077498785629],[9991599,517.7149143535911,514.1367617928923],[9991600,535.9893655017054,532.1163290105997],[9991601,443.2232656187335,441.0923289391059],[9991602,566.641062083931,562.5950564904889],[9991603,448.3703260151562,444.2238522544704],[9991604,618.2990383479104,614.9409281190232],[9991605,406.42795876264245,403.50513075440784],[9991606,638.6162755576526,635.6243830812255],[9991607,596.4479918737626,594.1076351803408],[9991608,578.7393563650422,576.1351067235321],[9991609,590.779214690399,586.6029587485444],[9991610,575.0334891729779,570.3684009255857],[9991611,662.3053188430615,660.5716790634491],[9991612,633.6421213256311,630.9694964961993],[9991613,391.2843793815482,388.9059294161078],[9991614,346.7802416818413,345.07756875677927],[9991615,581.5498658198414,578.1856376669816],[9991616,354.8263925497722,351.4702991008551],[9991617,533.620252595958,531.4642869079108],[9991618,592.8092174434767,588.3433535975735],[9991619,551.48199499353,546.9415040502314],[9991620,495.9786986381519,493.0240856780777],[9991621,535.6493178546317,532.2762220221135],[9991622,549.088160814972,545.2543685734731],[9991623,788.5329017700868,784.6762506530307],[9991624,626.8550076184883,625.2111159708516],[9991625,611.6813955609576,609.7663091506001],[9991626,595.7529361999619,591.7229816918474],[9991627,675.8899568079618,669.190002500652],[9991628,501.5696912505055,497.9485607359234],[9991629,673.2313266323957,670.3703298964093],[9991630,666.1917134184185,660.7366386427208],[9991631,400.9209912476631,397.03383307029736],[9991632,467.0057041354592,463.80552369623643],[9991633,432.7136149604981,429.6314355111095],[9991634,359.6702657784717,357.1403142958517],[9991635,450.1866061621627,446.56638348300237],[9991636,540.8936486019487,537.5037945268245],[9991637,573.773085832681,567.3728437237463],[9991638,367.23446340313853,365.53846002991867],[9991639,380.74910962796133,377.2747120759591],[9991640,579.2333860888605,576.518424288298],[9991641,583.0453408926703,579.4523154971797],[9991642,644.7722772605978,641.9303415775335],[9991643,462.04837851963237,457.51781923261314],[9991644,518.7608121519863,513.9295824913796],[9991645,363.7193884802207,361.07200927559126],[9991646,407.5139885164234,404.72035829474214],[9991647,608.858956937703,605.5562830951695],[9991648,580.5572932318391,577.3331209047716],[9991649,469.47356663629955,464.8952595119463],[9991650,412.396953941121,410.62265088401034],[9991651,575.8657580774742,572.921959213994],[9991652,498.1658013790507,495.8013182793665],[9991653,486.42356973839634,484.7729827899492],[9991654,677.6502810068639,674.4171262205282],[9991655,524.7027482278688,520.8402117373179],[9991656,569.1423060114197,566.3224963756006],[9991657,449.7527774086345,445.09386392425654],[9991658,614.342539339039,610.3015724694623],[9991659,458.8508137708409,456.81706035589684],[9991660,508.3464448024308,505.63169441008307],[9991661,665.8624952768521,662.3377794954506],[9991662,533.2911395352369,530.7890829828037],[9991663,396.88824388148316,393.0200445116137],[9991664,509.8238490457681,506.34658731991874],[9991665,553.3697552215772,550.5531335148482],[9991666,491.24261525473406,489.1409922893269],[9991667,423.4411641472133,419.76189808139253],[9991668,710.1746811371908,707.3181102288398],[9991669,436.20901623860186,432.28408161662753],[9991670,469.3853013647101,465.89368831692394],[9991671,523.8765394689814,520.9860312977713],[9991672,663.7816236227046,661.6764095005872],[9991673,523.8213815126632,520.5412455508189],[9991674,647.0446497399213,645.1662326130361],[9991675,514.845864921501,512.2122893386128],[9991676,504.76115872558654,499.86025642309],[9991677,518.6789587439403,514.1306238380407],[9991678,523.5463522438274,521.0418371985439],[9991679,456.8091398401814,454.51376934691837],[9991680,446.4536893270198,442.50922684722036],[9991681,545.2994311998776,542.820340886519],[9991682,541.8174595994398,538.953940207974],[9991683,454.2220588985527,452.4020347877575],[9991684,392.16413727856957,388.45381296755886],[9991685,608.6920770656383,606.058075570227],[9991686,563.5349421135634,561.7806824009596],[9991687,584.7735350261822,580.8285256578314],[9991688,591.8667145794602,588.8461124447992],[9991689,474.57482465259795,470.96896380319527],[9991690,541.3509244331973,539.2718623822323],[9991691,707.7113833409671,708.2638509685385],[9991692,624.0273099528331,622.0460108617614],[9991693,545.1932749830273,542.4063348954952],[9991694,445.0646463784199,440.1062413323956],[9991695,463.4487418708849,460.2108072667841],[9991696,571.0477710043134,567.1814872173277],[9991697,636.5368809455805,633.4422208707601],[9991698,460.5524171831617,457.0699544358683],[9991699,606.0606317297406,602.2401828235612],[9991700,661.1586451740167,656.6491949910402],[9991701,551.7875869001269,547.8928471889036],[9991702,559.5964318781913,557.5062520807043],[9991703,521.1079174707424,517.5845620877423],[9991704,662.3355225938482,656.7188134173517],[9991705,572.82691100293,571.8518067383179],[9991706,528.7130211428822,526.1025880973046],[9991707,596.3927392220708,593.3300408265097],[9991708,600.9468059645221,596.6126008865152],[9991709,541.6125503479639,539.1447642379799],[9991710,646.763036293953,643.4679124410594],[9991711,473.7890008142437,470.97712509175847],[9991712,448.0478548111298,443.82419859745585],[9991713,500.0542778290472,497.39536489030246],[9991714,564.3040535967069,561.3119449102271],[9991715,450.10367802152047,446.8048526865509],[9991716,549.6140377434,545.267557288705],[9991717,767.6604334186692,764.6766169576019],[9991718,577.8540044811529,572.5295864357406],[9991719,479.0851921411637,475.75175858461967],[9991720,635.9698683630565,631.8757270885975],[9991721,511.3877572757108,507.9189361005022],[9991722,716.3774649647695,713.1966904702793],[9991723,468.8925982739168,465.39760088302387],[9991724,662.7478673874896,657.3493097335867],[9991725,554.3526372112664,551.8251536040088],[9991726,578.8432731831978,575.2844494743841],[9991727,606.5825532603233,601.1844305519912],[9991728,576.9911985713305,574.1913438613941],[9991729,449.89442288665134,445.91175416546633],[9991730,599.9184728939273,595.6956772929348],[9991731,480.7912399994652,478.18530278626594],[9991732,523.1106660466722,520.8141427117232],[9991733,506.35017889097253,502.2301317976825],[9991734,396.05758494743526,392.6627866077954],[9991735,536.28440192097,533.3356064767374],[9991736,442.6297943448472,439.54915244895284],[9991737,508.24915343647456,506.63836000631136],[9991738,464.82712689284887,460.7479962884488],[9991739,554.4083227297235,552.1745066285476],[9991740,494.2370188593287,491.2220901939995],[9991741,548.3230577979084,544.8649298148814],[9991742,556.5919223170254,554.4404554331836],[9991743,409.18668776371936,407.03207159653863],[9991744,608.884550820876,605.5439231136619],[9991745,545.5064215491536,541.6218142384909],[9991746,505.02693826976724,502.7057176251809],[9991747,384.3140641644136,382.3340591039145],[9991748,746.3295386935674,742.3628491263985],[9991749,572.7170610803792,568.9377145866403],[9991750,390.58810649976385,387.41396080645046],[9991751,387.4540489968744,385.25968540882144],[9991752,589.569263039568,587.3112022610871],[9991753,557.6533987415548,553.0209332960402],[9991754,665.3435928909554,661.0627381172956],[9991755,572.0440983978996,570.7327111305555],[9991756,566.1754730937271,561.7899317145083],[9991757,452.84920155205594,449.7564868832432],[9991758,603.2196584077745,599.835934826198],[9991759,510.71273453888654,507.01840749096556],[9991760,396.36340767898656,392.8553499960942],[9991761,735.4497597048157,733.0604045657849],[9991762,649.6846931153242,644.298618967363],[9991763,473.15982320016604,469.72714347081416],[9991764,772.8276304718988,770.1703254644601],[9991765,435.3306456259099,430.289968377155],[9991766,409.4738589140285,406.048189816157],[9991767,442.5569862628129,438.90482899990263],[9991768,571.9374865454623,567.3471646200433],[9991769,397.91819012576053,394.4424380648269],[9991770,504.3708475445788,501.81574588436973],[9991771,435.25874752621985,432.5033719646945],[9991772,357.98375584044254,354.01077503462653],[9991773,586.8816739267119,584.3994062901273],[9991774,521.5490398559023,519.0610104616693],[9991775,595.131373736428,593.2966345190371],[9991776,444.9277340016222,441.18352043039187],[9991777,465.35083622813016,461.7219687804762],[9991778,479.7332865044167,475.1187183217551],[9991779,513.7171611318369,510.22727155221],[9991780,374.9508776744282,372.6916138117741],[9991781,438.234580008224,435.34006929565015],[9991782,459.656201636687,455.6853692528795],[9991783,553.2879846131677,550.5879165270414],[9991784,462.5342970440292,459.225440274651],[9991785,501.14522393011043,498.5048643942919],[9991786,644.3678915912558,640.4345773399945],[9991787,366.0496979994208,361.51526078137687],[9991788,678.4221262890206,675.6349341917595],[9991789,489.9514196870302,487.2831396798824],[9991790,489.33751087389095,487.928752348102],[9991791,400.52273601654764,396.2935267168151],[9991792,575.778587024327,571.9942940775372],[9991793,540.3119576855393,537.0400319879876],[9991794,538.4990601008257,536.7392788254351],[9991795,582.1549330271455,579.7773245821423],[9991796,501.6623219954296,498.20040858789184],[9991797,626.4513624944929,622.1547430980331],[9991798,381.152005686366,379.9074373182921],[9991799,457.96694169116194,454.3254354300596],[9991800,791.0163738040343,788.1349007466814],[9991801,438.2550554037352,435.6653396146435],[9991802,599.8874931954978,595.4351308508086],[9991803,517.7913744683634,514.0836197339806],[9991804,372.8578165876058,369.70312381591674],[9991805,416.22794875849934,413.2643011450699],[9991806,596.8135456751036,593.080485918905],[9991807,489.7402054279863,487.2631912678404],[9991808,509.1776479247523,504.8196235660838],[9991809,531.5144382609137,528.2715580018007],[9991810,353.1729422117762,351.05820792849926],[9991811,675.8186318119265,673.7441733094407],[9991812,563.2009196300086,560.0029584121979],[9991813,470.5775344921519,469.2769871078854],[9991814,729.8699266357781,726.3778788653271],[9991815,464.02895567716604,459.8065099353186],[9991816,607.9341043799543,603.3209305107982],[9991817,697.2243801604068,694.4687556124611],[9991818,571.572681766813,566.6274947305303],[9991819,540.9719056651531,537.7912972809906],[9991820,438.1092402560073,434.78584659485733],[9991821,423.6391178265194,420.1639706589844],[9991822,554.1597709831227,552.5576699393246],[9991823,546.53717328354,543.6651574098752],[9991824,459.88772223504924,456.47029242440607],[9991825,540.0536775351674,536.8829710539718],[9991826,745.2995155197001,738.7085568175046],[9991827,469.12080992287144,466.4557817313901],[9991828,650.6868037196369,648.1217652162384],[9991829,561.5191811807676,559.1290365457196],[9991830,446.5810408789457,443.3751923687848],[9991831,497.34743714348457,494.19186833846095],[9991832,568.415949152023,563.9333231420432],[9991833,643.4118021548828,639.7676723264057],[9991834,587.762217652794,584.56109361937],[9991835,470.3889610241015,467.25188790129573],[9991836,462.28030422872473,460.24884513696577],[9991837,459.04270251890796,456.13200786675924],[9991838,480.52181584878633,477.5861254882157],[9991839,429.29958688787434,426.040667384009],[9991840,557.7347626468556,555.2048173106703],[9991841,607.3386811872559,604.9444296503591],[9991842,462.7504957313719,459.1354042452525],[9991843,562.6127349260538,559.9684915294256],[9991844,561.3496171772109,556.3617197449407],[9991845,693.8126309651119,689.8110550440197],[9991846,483.10796272111065,479.0892007575057],[9991847,643.762460880875,640.5423103358007],[9991848,552.2620222849561,550.7088872095284],[9991849,407.1334789494787,404.43889702764557],[9991850,415.5189136550275,413.08361828553495],[9991851,679.7819638102557,674.8646312838035],[9991852,627.9401518167381,624.1974137237888],[9991853,412.7746612433583,409.9508639659228],[9991854,674.112489955394,672.4012981074595],[9991855,429.9705124388292,426.8274669091669],[9991856,402.5991251562559,398.8277068449039],[9991857,709.4596710194851,705.7890700813831],[9991858,444.5046599443894,441.35096749076513],[9991859,675.2079225243841,671.0698375480009],[9991860,628.8919288744253,626.5540249661613],[9991861,448.52900553519464,445.54176181180486],[9991862,345.31276579319143,342.1831002570671],[9991863,447.9053943017984,445.3254902637746],[9991864,468.29288619698485,467.64867107775444],[9991865,451.6433351728083,449.37359472142236],[9991866,457.0175752745623,454.1007561285522],[9991867,573.8203979201858,570.0594419296078],[9991868,561.6093960815657,558.1672912747177],[9991869,435.2455856358532,433.39621965603914],[9991870,632.3050070632274,629.1630878840385],[9991871,644.823120112496,641.7502538839624],[9991872,522.661845591796,519.562417270327],[9991873,516.6106147885926,513.9334067871432],[9991874,669.0085639350608,666.9049658128786],[9991875,498.51168931454106,495.0015108238646],[9991876,671.8437174251876,668.5505145864531],[9991877,471.9865356002086,467.67574000904693],[9991878,445.91236554073333,443.80589856447136],[9991879,409.003413418621,405.94311181522863],[9991880,660.3994794906107,658.8229715241843],[9991881,663.354880107014,658.9610525285395],[9991882,581.7448487027726,577.8360426705797],[9991883,447.48970946561036,444.6853004399675],[9991884,607.0991401289205,604.0267513564454],[9991885,436.1204906195476,433.9148081361475],[9991886,620.6914070393823,614.4852316906587],[9991887,622.6985710647963,618.4224954781566],[9991888,599.2394433720411,595.3359406563698],[9991889,708.817072396776,707.8620002815412],[9991890,760.4147896778837,754.873021546764],[9991891,515.0148839012077,512.9325387310965],[9991892,608.0392601751681,605.3619590695105],[9991893,608.3685467419803,602.7364348780663],[9991894,606.226897477914,602.0646759388719],[9991895,568.0092072711392,563.7355676368263],[9991896,542.1756834722642,540.8790178261601],[9991897,469.77260351622095,467.8200823871575],[9991898,468.0644137421484,464.88548855595604],[9991899,434.4876393662185,432.2025461670354],[9991900,580.4184497243725,577.3896946612753],[9991901,499.45203385166775,496.63491242152827],[9991902,523.2994244697795,519.8793096919289],[9991903,499.6805579056099,496.3748748281365],[9991904,572.5531138893718,570.244163356603],[9991905,529.6088595993209,528.6351707458172],[9991906,485.2447203823111,481.5136965045144],[9991907,460.07691344650266,454.79122778375086],[9991908,425.5090240543465,422.329335435192],[9991909,405.71496419405656,403.3134299639258],[9991910,516.18218638132,512.2344107222858],[9991911,617.0505848134127,612.3296751977515],[9991912,529.5525064012749,527.5761274717802],[9991913,553.7254879719693,549.9591571701872],[9991914,514.5741157611894,511.3550060143077],[9991915,652.0689986354364,649.9364968852772],[9991916,542.5017082554516,539.8148472110876],[9991917,463.5318462995164,461.6914187525595],[9991918,401.6807119752042,398.2212195388811],[9991919,724.5041896496217,721.0514953264673],[9991920,482.94345112737034,480.9398375851141],[9991921,530.4435652291891,526.0638406951499],[9991922,595.1493861850787,591.3741868519156],[9991923,426.4968484536931,423.6021589320167],[9991924,470.1126911303566,468.49167540008017],[9991925,668.6938809275688,664.4578848544847],[9991926,480.30509071244006,477.64424353177765],[9991927,544.2708473472463,541.9978618521869],[9991928,719.6470823651598,715.0049384608361],[9991929,485.2099515356066,481.3652455578127],[9991930,610.2758779184212,605.81679043108],[9991931,497.6942242363719,494.59879880435216],[9991932,632.7760214413381,630.8790858674845],[9991933,462.8871056437361,459.56973260557953],[9991934,443.16646518439245,439.66145510217484],[9991935,616.4137792682938,612.0551678157835],[9991936,626.4666296562598,623.0057800285038],[9991937,645.8138318232891,643.236730928831],[9991938,462.4840569575134,458.2257447334922],[9991939,529.9220810556242,527.8213144316492],[9991940,407.3428428201408,403.3556077533563],[9991941,668.7829272686466,664.4888650938033],[9991942,510.0757932167994,505.38071107165337],[9991943,558.2027367778824,555.0052890824711],[9991944,677.3343564773656,673.8214919963139],[9991945,558.0921721966486,554.4821115963701],[9991946,545.2959515907689,540.6676978244985],[9991947,471.476446222405,467.89681951407056],[9991948,612.5731942080298,608.7472941871492],[9991949,378.5128588166146,374.594264659052],[9991950,408.72030170000437,405.18304129225464],[9991951,510.07449687310196,506.314330921795],[9991952,612.5616384808503,609.8522071095639],[9991953,465.34043673632334,463.0776756506405],[9991954,497.8444545075395,495.7435770219935],[9991955,651.5493022343059,648.9263655846063],[9991956,475.8935318120521,472.12759309404436],[9991957,528.3953391883333,525.8644167359552],[9991958,696.9393429543851,693.6210770540695],[9991959,556.4427979487839,553.7470577456016],[9991960,563.0832123225047,559.8066346308143],[9991961,454.9749554727334,452.0106589901716],[9991962,554.3233488356742,552.0429740867066],[9991963,618.7971717563942,614.1410172579491],[9991964,463.7333129724138,461.2413402430852],[9991965,471.4199740333249,469.5097043788728],[9991966,507.6975485813785,503.6209227679012],[9991967,613.3727023207907,610.794118184655],[9991968,470.09367485096783,467.399628545062],[9991969,522.6892120893324,518.0856300821655],[9991970,469.59929902961375,465.6917748372618],[9991971,468.85633912708295,466.60672252333774],[9991972,420.18646266167536,417.4010499422486],[9991973,418.0879476585772,414.30798663859986],[9991974,449.09734014136876,446.56867700095546],[9991975,555.2493816417161,552.55358776372],[9991976,629.5360433346818,626.3868224782514],[9991977,455.89076584373737,452.8359463781656],[9991978,450.06591974569346,448.1952222422913],[9991979,546.9006193556062,543.5609502226902],[9991980,483.9752693874891,481.58277475143],[9991981,522.7205915758509,519.8922592739376],[9991982,533.4811040909482,531.1628148023512],[9991983,455.574279923505,452.5461494946822],[9991984,559.7368760379261,555.72171934996],[9991985,593.0684084938833,589.0128886547299],[9991986,440.9564311558141,437.542678587887],[9991987,464.67379657125446,460.77132975199794],[9991988,468.1607913552293,464.70242202307367],[9991989,493.034384489212,491.0454213142449],[9991990,533.7822851852075,530.5569929386076],[9991991,623.9610745484055,619.8648938368057],[9991992,659.6441061063364,657.7361313027617],[9991993,459.86453981532384,456.2251567574502],[9991994,506.63346801287275,504.46059166802775],[9991995,713.9374466298977,710.7627534846762],[9991996,439.1335825962609,436.11798948640444],[9991997,451.07710918604624,448.032164896168],[9991998,588.6481182255345,585.8900415628502],[9991999,502.4820741801339,499.599101180422],[9992000,668.546358060923,666.8063060080749],[9992001,430.6282027928981,427.35278137311394],[9992002,461.5183222472411,460.4693093832805],[9992003,523.4182207214851,520.6303929621863],[9992004,560.5396267014723,554.9004334370326],[9992005,501.9865393838063,497.68421395641883],[9992006,582.3237654858574,578.4512272378048],[9992007,565.9326357082058,562.5831179481556],[9992008,417.1327995986694,413.48964245001594],[9992009,559.8501055645771,556.1756398418474],[9992010,505.5121722190508,502.6840796000466],[9992011,508.05625317344857,504.64208579107407],[9992012,709.6701511121878,704.7717477044663],[9992013,523.9870566392694,520.9687697527921],[9992014,559.5588265393372,556.4905491761207],[9992015,455.77460629055065,453.1522899320587],[9992016,437.6024184594755,436.1092237151814],[9992017,569.4063993381945,566.0889754212694],[9992018,399.81248373107263,397.83423963683276],[9992019,570.9098928057612,567.8586483024875],[9992020,624.1707999783939,620.9722402688526],[9992021,526.1274923894244,522.9519447913856],[9992022,588.7183971995853,583.3202163940533],[9992023,634.987509536246,631.4180741240436],[9992024,394.34825083955974,391.6529102188901],[9992025,546.4941116551003,544.1515745919055],[9992026,473.19186959498904,468.4986390689164],[9992027,431.53909570863385,428.0088270121522],[9992028,381.0963110120332,379.20017610906547],[9992029,471.69127230915376,467.5797123042628],[9992030,527.6517907154491,524.2600234002055],[9992031,461.5280275217016,457.2620366446509],[9992032,472.38658856179313,469.32423937583155],[9992033,555.3438324763488,551.6270183655848],[9992034,605.9609771377294,600.7506557719134],[9992035,603.0751182448319,599.8809858509558],[9992036,560.5451651480322,556.4309708133761],[9992037,454.15071429087783,451.21818873814146],[9992038,494.23756930128275,489.2837613461766],[9992039,657.4325873965075,652.033657025554],[9992040,481.930843283299,478.99324237374555],[9992041,684.4110688075201,681.5828235222111],[9992042,486.24066883797866,482.89492253288495],[9992043,577.370548838238,574.6570005212625],[9992044,582.7010871620655,580.3868564097733],[9992045,458.58005392335616,456.00331415037044],[9992046,420.25759137512756,416.85883410652497],[9992047,443.59182013288984,441.7879098779142]],"statistics":"Arithmetic paired mean; SE = sample standard deviation of differences / sqrt(n); worst5 ordered by (difference, seed); min is the lowest paired difference. Gas peak is max successful Submission.afterSwap gas; all OOG and other failure counters are separately reported.","normalizer_gas_excluded":true},"comparison_to_lb4":{"source_url":"https://api.imdnotdead.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","differences":[{"field":"E.pooled.afterSwap.candidate.calls","lb4":5574428,"cf4":5555789,"cf4_minus_lb4":-18639},{"field":"E.pooled.afterSwap.candidate.ok","lb4":5574428,"cf4":5555789,"cf4_minus_lb4":-18639},{"field":"E.pooled.afterSwap.candidate.peak_gas","lb4":224481,"cf4":224693,"cf4_minus_lb4":212},{"field":"E.pooled.afterSwap.qt1.calls","lb4":5602910,"cf4":5584492,"cf4_minus_lb4":-18418},{"field":"E.pooled.afterSwap.qt1.ok","lb4":5602910,"cf4":5584492,"cf4_minus_lb4":-18418},{"field":"E.pooled.afterSwap.qt1.peak_gas","lb4":209297,"cf4":209272,"cf4_minus_lb4":-25},{"field":"E.pooled.mean_edges.candidate","lb4":533.8362347441381,"cf4":531.5788596626312,"cf4_minus_lb4":-2.2573750815068934},{"field":"E.pooled.mean_edges.qt1","lb4":530.6734729408261,"cf4":528.3558708307589,"cf4_minus_lb4":-2.317602110067128},{"field":"E.pooled.paired.mean_diff","lb4":3.1627618033120055,"cf4":3.2229888318723354,"cf4_minus_lb4":0.06022702856032991},{"field":"E.pooled.paired.min","lb4":0.5730198233235342,"cf4":-0.5524676275713318,"cf4_minus_lb4":-1.125487450894866},{"field":"E.pooled.paired.se","lb4":0.04268009976496206,"cf4":0.04389607521522181,"cf4_minus_lb4":0.0012159754502597542},{"field":"E.pooled.paired.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}],"cf4":[{"seed":9991691,"diff":-0.5524676275713318},{"seed":9991864,"diff":0.6442151192304095},{"seed":9991556,"diff":0.8775242422540259},{"seed":9991889,"diff":0.9550721152347705},{"seed":9991905,"diff":0.9736888535037451}]},{"field":"E.window_1.afterSwap.candidate.calls","lb4":2777712,"cf4":2788513,"cf4_minus_lb4":10801},{"field":"E.window_1.afterSwap.candidate.ok","lb4":2777712,"cf4":2788513,"cf4_minus_lb4":10801},{"field":"E.window_1.afterSwap.candidate.peak_gas","lb4":221835,"cf4":223141,"cf4_minus_lb4":1306},{"field":"E.window_1.afterSwap.qt1.calls","lb4":2792632,"cf4":2801935,"cf4_minus_lb4":9303},{"field":"E.window_1.afterSwap.qt1.ok","lb4":2792632,"cf4":2801935,"cf4_minus_lb4":9303},{"field":"E.window_1.afterSwap.qt1.peak_gas","lb4":209297,"cf4":208827,"cf4_minus_lb4":-470},{"field":"E.window_1.mean_edges.candidate","lb4":534.680566627872,"cf4":530.5863206177524,"cf4_minus_lb4":-4.094246010119605},{"field":"E.window_1.mean_edges.qt1","lb4":531.4548573696104,"cf4":527.3385926726723,"cf4_minus_lb4":-4.11626469693806},{"field":"E.window_1.paired.mean_diff","lb4":3.225709258261719,"cf4":3.247727945080082,"cf4_minus_lb4":0.022018686818363165},{"field":"E.window_1.paired.min","lb4":0.5730198233235342,"cf4":-0.5524676275713318,"cf4_minus_lb4":-1.125487450894866},{"field":"E.window_1.paired.se","lb4":0.06238856794266395,"cf4":0.06344486252005206,"cf4_minus_lb4":0.0010562945773881088},{"field":"E.window_1.paired.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}],"cf4":[{"seed":9991691,"diff":-0.5524676275713318},{"seed":9991556,"diff":0.8775242422540259},{"seed":9991705,"diff":0.9751042646121277},{"seed":9991755,"diff":1.3113872673441165},{"seed":9991790,"diff":1.408758525788926}]},{"field":"E.window_2.afterSwap.candidate.calls","lb4":2796716,"cf4":2767276,"cf4_minus_lb4":-29440},{"field":"E.window_2.afterSwap.candidate.ok","lb4":2796716,"cf4":2767276,"cf4_minus_lb4":-29440},{"field":"E.window_2.afterSwap.candidate.peak_gas","lb4":224481,"cf4":224693,"cf4_minus_lb4":212},{"field":"E.window_2.afterSwap.qt1.calls","lb4":2810278,"cf4":2782557,"cf4_minus_lb4":-27721},{"field":"E.window_2.afterSwap.qt1.ok","lb4":2810278,"cf4":2782557,"cf4_minus_lb4":-27721},{"field":"E.window_2.afterSwap.qt1.peak_gas","lb4":208860,"cf4":209272,"cf4_minus_lb4":412},{"field":"E.window_2.mean_edges.candidate","lb4":532.9919028604041,"cf4":532.5713987075101,"cf4_minus_lb4":-0.4205041528940683},{"field":"E.window_2.mean_edges.qt1","lb4":529.8920885120418,"cf4":529.3731489888454,"cf4_minus_lb4":-0.5189395231964227},{"field":"E.window_2.paired.mean_diff","lb4":3.099814348362292,"cf4":3.198249718664589,"cf4_minus_lb4":0.09843537030229665},{"field":"E.window_2.paired.min","lb4":0.6811445459161405,"cf4":0.6442151192304095,"cf4_minus_lb4":-0.03692942668573096},{"field":"E.window_2.paired.se","lb4":0.05811402356472897,"cf4":0.06076613844001717,"cf4_minus_lb4":0.0026521148752882},{"field":"E.window_2.paired.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}],"cf4":[{"seed":9991864,"diff":0.6442151192304095},{"seed":9991889,"diff":0.9550721152347705},{"seed":9991905,"diff":0.9736888535037451},{"seed":9992002,"diff":1.04901286396057},{"seed":9991798,"diff":1.2445683680738853}]},{"field":"F.first_trades","lb4":64634,"cf4":64878,"cf4_minus_lb4":244},{"field":"F.label_counts.neg","lb4":29526,"cf4":29977,"cf4_minus_lb4":451},{"field":"F.label_counts.pos","lb4":35108,"cf4":34901,"cf4_minus_lb4":-207},{"field":"F.largest_fee_error_bps","lb4":4.829964813518606e-07,"cf4":4.74542818235113e-07,"cf4_minus_lb4":-8.453663116747556e-09},{"field":"F.max_error_bps_bid_ask","lb4":[4.806689594960556e-07,4.829964813518606e-07],"cf4":[4.74542818235113e-07,4.692709935916195e-07]},{"field":"F.peak_replay_gas_pyrevm","lb4":192906,"cf4":191808,"cf4_minus_lb4":-1098},{"field":"F.per_seed_rows_sha256","lb4":"f59ddf08b15ece47d4f23e131b78e6a2a1a7112b391c979dc45228f06704e822","cf4":"e4e69307a1a2fe24ad7cb0879530f6d55ca876a9c6fc25152378bc88ca19d97d"},{"field":"F.seeds","lb4":[74200,74249],"cf4":[74450,74499]},{"field":"T.first_trades","lb4":350657,"cf4":351118,"cf4_minus_lb4":461},{"field":"T.label_counts.buy/neg","lb4":79488,"cf4":79947,"cf4_minus_lb4":459},{"field":"T.label_counts.buy/pos","lb4":96692,"cf4":95436,"cf4_minus_lb4":-1256},{"field":"T.label_counts.sell/pos","lb4":94214,"cf4":95472,"cf4_minus_lb4":1258},{"field":"T.rows_sha256","lb4":"3ed21c4aa184dac016baa060f4b5d878cd132428c9506d8a4b3617ac50dd5fad","cf4":"b204f8f5cb3f35d572ab6cf3bd61fb2df15f906872092858ae6a4cae9d23f26b"},{"field":"T.seeds","lb4":[74200,74249],"cf4":[74450,74499]},{"field":"peak_gas.candidate.calls","lb4":5659321,"cf4":5555789,"cf4_minus_lb4":-103532},{"field":"peak_gas.candidate.engine_afterSwap_peak","lb4":224481,"cf4":224693,"cf4_minus_lb4":212},{"field":"peak_gas.qt1.calls","lb4":5688365,"cf4":5584492,"cf4_minus_lb4":-103873},{"field":"peak_gas.qt1.engine_afterSwap_peak","lb4":209297,"cf4":209272,"cf4_minus_lb4":-25},{"field":"tell_gas_alone.mean","lb4":6196.476214648503,"cf4":6209.144828803992,"cf4_minus_lb4":12.668614155489195},{"field":"tell_gas_alone.n","lb4":350657,"cf4":351118,"cf4_minus_lb4":461},{"field":"tell_gas_alone.peak","lb4":9800,"cf4":12579,"cf4_minus_lb4":2779},{"field":"tell_gas_alone.probe_call_peak_gas","lb4":33013,"cf4":35876,"cf4_minus_lb4":2863}],"unchanged_measured_fields":["E.pooled.afterSwap.candidate.bad_return","E.pooled.afterSwap.candidate.other_halt","E.pooled.afterSwap.candidate.out_of_gas","E.pooled.afterSwap.candidate.revert","E.pooled.afterSwap.candidate.tx_error","E.pooled.afterSwap.qt1.bad_return","E.pooled.afterSwap.qt1.other_halt","E.pooled.afterSwap.qt1.out_of_gas","E.pooled.afterSwap.qt1.revert","E.pooled.afterSwap.qt1.tx_error","E.pooled.paired.n","E.window_1.afterSwap.candidate.bad_return","E.window_1.afterSwap.candidate.other_halt","E.window_1.afterSwap.candidate.out_of_gas","E.window_1.afterSwap.candidate.revert","E.window_1.afterSwap.candidate.tx_error","E.window_1.afterSwap.qt1.bad_return","E.window_1.afterSwap.qt1.other_halt","E.window_1.afterSwap.qt1.out_of_gas","E.window_1.afterSwap.qt1.revert","E.window_1.afterSwap.qt1.tx_error","E.window_1.paired.n","E.window_2.afterSwap.candidate.bad_return","E.window_2.afterSwap.candidate.other_halt","E.window_2.afterSwap.candidate.out_of_gas","E.window_2.afterSwap.candidate.revert","E.window_2.afterSwap.candidate.tx_error","E.window_2.afterSwap.qt1.bad_return","E.window_2.afterSwap.qt1.other_halt","E.window_2.afterSwap.qt1.out_of_gas","E.window_2.afterSwap.qt1.revert","E.window_2.afterSwap.qt1.tx_error","E.window_2.paired.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","P.rows","T.exact_stored_fee_wads","T.label_counts.sell/neg","T.mismatch_count","T.status","T.stream","identity.deployed_bytes","identity.qt1.deployed_bytes","identity.qt1.source_sha256","identity.runtime_sha256","identity.source_sha256","peak_gas.candidate.out_of_gas","peak_gas.qt1.out_of_gas"],"scope_note":"Fresh T/F seeds 74450..74499 versus lb-4 74200..74249. Fresh E seeds 9991536..9992047 versus lb-4 9978100..9978355 and 9978400..9978655. E window comparisons below use first/second 256 fresh seeds; they are different samples, not reruns. lb-4 peak_gas additionally includes its eight G pilot seeds (520 total); cf-4 only runs its assigned 512 seeds. No corresponding lb-4 64-seed blocks exist.","fresh_256_seed_halves_for_window_comparison":[{"start":9991536,"end_exclusive":9991792,"paired":{"n":256,"mean_diff":3.247727945080082,"se":0.06344486252005206,"min":-0.5524676275713318,"worst5":[{"seed":9991691,"diff":-0.5524676275713318},{"seed":9991556,"diff":0.8775242422540259},{"seed":9991705,"diff":0.9751042646121277},{"seed":9991755,"diff":1.3113872673441165},{"seed":9991790,"diff":1.408758525788926}]},"mean_edges":{"candidate":530.5863206177524,"qt1":527.3385926726723},"afterSwap":{"candidate":{"calls":2788513,"ok":2788513,"peak_gas":223141,"out_of_gas":0,"sum_ok_gas":390079422985,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":2801935,"ok":2801935,"peak_gas":208827,"out_of_gas":0,"sum_ok_gas":386546661248,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":1,"zero_pairs":0},{"start":9991792,"end_exclusive":9992048,"paired":{"n":256,"mean_diff":3.198249718664589,"se":0.06076613844001717,"min":0.6442151192304095,"worst5":[{"seed":9991864,"diff":0.6442151192304095},{"seed":9991889,"diff":0.9550721152347705},{"seed":9991905,"diff":0.9736888535037451},{"seed":9992002,"diff":1.04901286396057},{"seed":9991798,"diff":1.2445683680738853}]},"mean_edges":{"candidate":532.5713987075101,"qt1":529.3731489888454},"afterSwap":{"candidate":{"calls":2767276,"ok":2767276,"peak_gas":224693,"out_of_gas":0,"sum_ok_gas":387391581220,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":2782557,"ok":2782557,"peak_gas":209272,"out_of_gas":0,"sum_ok_gas":384060076719,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_gate_pass":true,"negative_pairs":0,"zero_pairs":0}],"lb4_engine_seed_ranges":[[9978000,9978007],[9978100,9978355],[9978400,9978655]],"lb4_reported_peak_scope":"engine seeds 9978000..9978007, 9978100..9978355, 9978400..9978655","not_independently_repeated":["Q choose/report scoring","buy-grid reference fidelity tests","Solidity arithmetic tests","lb-4 original T/F seeds","lb-4 G pilot or original E seeds"],"finding":"Identical source/runtime and matching P rows; T and F pass. All assigned fresh engine pairs complete with peak below 245000 and no OOG. Unlike lb-4, the fresh E minimum is negative. The isolated tell peak and engine candidate peak are higher than lb-4; these are measured sample differences, with no source repair or tuning."},"execution_notes":["One initial P shell redirection used a nonexistent scratch log directory and exited before Python started. The prescribed unmodified P command then ran once with the corrected log destination; no gate or engine seed was rerun.","No supplied source changes. Superseded TCA files remain unused in the extraction; the LB4 overlay scripts import its lean tell.","Each shell execution was bounded below eight minutes; engine blocks used subprocess timeout 470 seconds and all returned exit 0.","Temporary dependencies are verification-only and are not required to read or recalculate the delivered JSON statistics.","Initial aggregation under system Python hit an exact-equality assertion on block standard errors differing by about 3e-17. The same aggregation code passed unchanged under the prescribed setup Python. No supplied source repair or simulation rerun occurred."],"limitations":["All figures are local measurements, not leaderboard scores; no leaderboard submission.","Fresh samples confirm the requested finite-seed checks, not a universal gas bound or a guarantee of improvement on every seed.","Measurement evidence is local command output, with aggregate data and all E per-seed edge pairs embedded here. Source URLs establish supplied artifacts and upstream code; they do not independently certify this run."]}