{"credit":"Taylor (gtmcknight): replica, Gaussian filter, solved policy, qm tables; github.com/gtmcknight/amm-sim @4812a6382311624e1506aca131ca35c378f930d9, research/solved (README read first).","item":"cf-1","status":"complete","setup":{"status":"pass","runs":1},"P":{"status":"pass","command":"python3 -I gates.py","unmodified":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","exact_readme_6dp":true,"gates_py_sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604","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]]},"sha256_checks":{"downloads":{"LB4":"93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","TCA":"dc359635b5851de9f5b3ecf81dc2107d46acd5dbe67e0be234bcfbe0c8a488e7","QT1":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40"},"download_hashes_equal_names":true,"overlay_files":{"scratch/Strategy.sol":{"expected":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","actual":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","pass":true},"scratch/LeanTell.sol":{"expected":"d43b3e1644d1fa60f03d035a9453dc389c16510e6b955df26722bb64928da581","actual":"d43b3e1644d1fa60f03d035a9453dc389c16510e6b955df26722bb64928da581","pass":true},"scratch/Probe.sol":{"expected":"b1eeb6903a027067f3c131f1ca519411545a3ac1082928c0e0debd58af45b2ae","actual":"b1eeb6903a027067f3c131f1ca519411545a3ac1082928c0e0debd58af45b2ae","pass":true},"scratch/ref/lean_tell.py":{"expected":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","actual":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","pass":true},"scratch/ref/policy.py":{"expected":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","actual":"962135885c1ad1ef142ed4b364870869e61948982c165ca2426ee864c1f10b51","pass":true},"scratch/score.py":{"expected":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","actual":"a831daafe06ad369f6060692311b679ab5f79773d1f66800714b820f70f38dba","pass":true},"scratch/summarize.py":{"expected":"17feb75f01f15478f1ad183234b6bb1a83273240c281a0aff940172afbbdad05","actual":"17feb75f01f15478f1ad183234b6bb1a83273240c281a0aff940172afbbdad05","pass":true},"scratch/test_contract.py":{"expected":"18b6c8b6b2b8d9a46aa8c3be33db7fa84b2b4b8c6bd312836ba857d6bd687c93","actual":"18b6c8b6b2b8d9a46aa8c3be33db7fa84b2b4b8c6bd312836ba857d6bd687c93","pass":true},"scratch/test_lean.py":{"expected":"bdaf3f53823b7275a7f2193ae78ffdfce31bc7e54da052f01a21515831cee57a","actual":"bdaf3f53823b7275a7f2193ae78ffdfce31bc7e54da052f01a21515831cee57a","pass":true},"scratch/test_fidelity.py":{"expected":"b15ec354624ebdad9d6204544bad737629cce8c2c9e59381a3260d73a9b6d0ef","actual":"b15ec354624ebdad9d6204544bad737629cce8c2c9e59381a3260d73a9b6d0ef","pass":true},"scratch/check_configs_lb4.py":{"expected":"cfe9eb6fec6f8b2c5826606cb4b69407777e4106b3ba0dd6f1a9ba95d983cffa","actual":"cfe9eb6fec6f8b2c5826606cb4b69407777e4106b3ba0dd6f1a9ba95d983cffa","pass":true},"scratch/frozen.json":{"expected":"f6f753696be4c4c1ebf03b55ab83aae9d1257390eac28db55b4f54601dc03217","actual":"f6f753696be4c4c1ebf03b55ab83aae9d1257390eac28db55b4f54601dc03217","pass":true},"scratch/NOTES.md":{"expected":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","actual":"6c3f0a74877bbb5a027fbbe11b87b086284e819c1da56660fe07fa4b65e5d69c","pass":true},"scratch/ref/port.py":{"expected":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","actual":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","pass":true},"scratch/ref/twocomp.py":{"expected":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","actual":"9d3c1833321493fb51bbde4e1b4dabc2f8978bd6d774ee2af8dc8aed13f0f0af","pass":true},"scratch/ref/qmref.py":{"expected":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","actual":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","pass":true},"scratch/ref/replica2.py":{"expected":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","actual":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","pass":true},"scratch/compile.py":{"expected":"6e66877ac6381261599bc11ba1bfeb4d29c32a32cd42b6a58a8053477cfa9f93","actual":"6e66877ac6381261599bc11ba1bfeb4d29c32a32cd42b6a58a8053477cfa9f93","pass":true},"scratch/engine.py":{"expected":"6baf20c3b0523764140b35d5e9f2193444b0b80fd4b22ea0a5e2af1960d8e19a","actual":"6baf20c3b0523764140b35d5e9f2193444b0b80fd4b22ea0a5e2af1960d8e19a","pass":true},"scratch/check.py":{"expected":"2b5d8038a1a051fa9e73e1d144b6feb4a375d25d9425c65d99ae913309c5c754","actual":"2b5d8038a1a051fa9e73e1d144b6feb4a375d25d9425c65d99ae913309c5c754","pass":true},"scratch/test_math.py":{"expected":"5efef84f79af905d0d7c699c91b694b0414711e2c95995c47ad8d9d6d1334018","actual":"5efef84f79af905d0d7c699c91b694b0414711e2c95995c47ad8d9d6d1334018","pass":true},"scratch/materialize.py":{"expected":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","actual":"12ebf6f647f67826e7bc5ad2df0f045bec1b46028c552b136bb706fd4b7bbaea","pass":true},"scratch/setup.sh":{"expected":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","actual":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","pass":true}},"bundles":{"TCA":{"sha256":"546b440855726c3cd2231e4879e0002dda182dc609ee9c5155c04e4790ca6fdb","verified":true},"LB4":{"sha256":"f368c459fec21abaa30e179ffbf03cfbe1c7b194f1ad8b07de3637892d06e9f1","verified":true}},"blob":{"sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","matches_materialize_expected":true},"TCA_manifest":{"sha256":"272c6b758f6e6ead17a5bc832a0bbab64520f976450c94dbf7b87d3b7ed1b2c1","verified":true,"payload_files_verified":32},"engine_wheel":{"sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","matches_required":true}},"identity":{"source_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","runtime_bytes":22946,"runtime_sha256":"dab7d69ddb7a172624b37828021941904406326442fb11f750a727e16707d017","matches_required":true,"engine_runtime_matches_compile":true,"qt1_source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","qt1_runtime_bytes":20605,"compiler":"solc 0.8.24; viaIR; optimizer enabled, runs 200; EVM paris; supplied compile.py and engine SolidityCompiler paths","size_limit_pass":true},"T":{"status":"pass","seeds":[74300,74349],"n_steps":10000,"first_trades":348387,"counts":{"sell/pos":95152,"sell/neg":79002,"buy/pos":95591,"buy/neg":78642},"mismatches":0,"exact_stored_fee_wads":true,"stream":"unchanged TwoComp on o1-b engine-order port","probe_peak_gas":36120,"tell_gas_alone_peak":12811,"tell_gas_alone_mean":6196.348758707989,"tell_gas_note":"probe call gas minus a no-op call with identical calldata (pyrevm)","sha256":"9ad3a9ae2448962ed8de1a8d2dc81bdcb80ac750a32342ed377439fb38575c59","seconds":106.77352317795157},"F":{"status":"pass","seeds":[74300,74349],"max_error_bps":[4.806289741199343e-07,4.820135496253972e-07],"errors_over_tolerance":0,"tell_mismatches":0,"first_trades":64900,"peak_replay_gas":189034,"callbacks_over_245000":0,"counts":{"pos":35495,"neg":29405},"per_seed_rows_sha256":"53a6ac0f44127dab9b6940e02c18db23d3c6b24102fc3ca3619c9ee0c3b8270c","strategy_source_sha256":"a243bb3570545fb614d8995ced61e811db8e075af68e636add20eaf8fbaeebfb","seconds":81.01728932932019,"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,"callbacks":100000,"largest_fee_error_bps":4.820135496253972e-07,"replay_peak_gas":189034,"per_seed_callbacks":2000,"seed_count":50},"E":{"status":"complete","configs_check":{"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"],"method":"Original MatchRunner._build_configs code object; only outer range bounded to assigned seeds; no engine run."},"blocks":[{"paired":{"n":64,"mean_diff":3.1531272223806015,"se":0.11622018711781264,"min":0.9922838236176403,"worst5":[{"seed":9990047,"diff":0.9922838236176403},{"seed":9990021,"diff":1.5398349264701778},{"seed":9990039,"diff":1.6606658221660382},{"seed":9990045,"diff":1.7238311203654462},{"seed":9990022,"diff":1.7454830648163124}]},"mean_edges":{"candidate":541.172378157862,"qt1":538.0192509354814},"afterSwap":{"candidate":{"calls":707184,"peak_gas":219582,"out_of_gas":0,"ok":707184,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":710597,"peak_gas":204617,"out_of_gas":0,"ok":710597,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990000,"end_exclusive":9990064,"seconds":231.0777609348297,"output_sha256":"a5d361ffaf4edf5f45c726fbb04891803b62019d3452584feb076e8e1e8eee13"},{"paired":{"n":64,"mean_diff":3.1514919000069943,"se":0.11703921519857614,"min":0.6724120768138278,"worst5":[{"seed":9990083,"diff":0.6724120768138278},{"seed":9990118,"diff":0.7246301586949357},{"seed":9990070,"diff":1.7868306794280215},{"seed":9990092,"diff":1.813704129115422},{"seed":9990100,"diff":1.9835756339177806}]},"mean_edges":{"candidate":523.0659386043341,"qt1":519.914446704327},"afterSwap":{"candidate":{"calls":688133,"peak_gas":215541,"out_of_gas":0,"ok":688133,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":691897,"peak_gas":208696,"out_of_gas":0,"ok":691897,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990064,"end_exclusive":9990128,"seconds":216.30872917175293,"output_sha256":"c6fd19a4a81e2f1cd370d7ef234be1c068b3816014c09bed0efde3d934b07421"},{"paired":{"n":64,"mean_diff":3.2213201677347723,"se":0.14020470070450275,"min":0.4052119207838132,"worst5":[{"seed":9990176,"diff":0.4052119207838132},{"seed":9990159,"diff":0.7418565550235598},{"seed":9990160,"diff":0.9513341019763857},{"seed":9990166,"diff":1.0807538578862363},{"seed":9990185,"diff":1.5319548338127333}]},"mean_edges":{"candidate":542.3174650508843,"qt1":539.0961448831495},"afterSwap":{"candidate":{"calls":689486,"peak_gas":218231,"out_of_gas":0,"ok":689486,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":693113,"peak_gas":208566,"out_of_gas":0,"ok":693113,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990128,"end_exclusive":9990192,"seconds":217.55304193496704,"output_sha256":"dcde3f946971f40aa50792d239b5cace6f3f21608e77399ac6688194336feb76"},{"paired":{"n":64,"mean_diff":3.4445631635706615,"se":0.12783899063161283,"min":1.2348072670067722,"worst5":[{"seed":9990244,"diff":1.2348072670067722},{"seed":9990215,"diff":1.7367544805138664},{"seed":9990204,"diff":1.7564166042496936},{"seed":9990236,"diff":1.923561798940625},{"seed":9990250,"diff":2.200948455408138}]},"mean_edges":{"candidate":517.8147366802706,"qt1":514.3701735166999},"afterSwap":{"candidate":{"calls":687603,"peak_gas":215769,"out_of_gas":0,"ok":687603,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":690924,"peak_gas":207950,"out_of_gas":0,"ok":690924,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990192,"end_exclusive":9990256,"seconds":212.83995294570923,"output_sha256":"3e3dff78ddb780974e28b08684fbb4294a54f63228e6ef6f63c271d4ef831083"},{"paired":{"n":64,"mean_diff":3.1347378954949034,"se":0.09751304732202931,"min":1.6175276099043003,"worst5":[{"seed":9990275,"diff":1.6175276099043003},{"seed":9990318,"diff":1.6771984861080682},{"seed":9990313,"diff":1.7300038401247093},{"seed":9990312,"diff":1.8657374817481696},{"seed":9990297,"diff":1.8658813799025324}]},"mean_edges":{"candidate":524.4157329608796,"qt1":521.2809950653847},"afterSwap":{"candidate":{"calls":693854,"peak_gas":219229,"out_of_gas":0,"ok":693854,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":697002,"peak_gas":208691,"out_of_gas":0,"ok":697002,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990256,"end_exclusive":9990320,"seconds":217.9321575164795,"output_sha256":"d476af7745c5704e321a30e6a0131a62ab47c9bcc3548ef5972f0311c41871cf"},{"paired":{"n":64,"mean_diff":3.184910053652491,"se":0.1283268030932295,"min":1.2015591075610246,"worst5":[{"seed":9990362,"diff":1.2015591075610246},{"seed":9990358,"diff":1.4497918147650353},{"seed":9990322,"diff":1.5402110254261743},{"seed":9990363,"diff":1.6324035336990619},{"seed":9990345,"diff":1.677692804868002}]},"mean_edges":{"candidate":541.0072683967904,"qt1":537.822358343138},"afterSwap":{"candidate":{"calls":696373,"peak_gas":222186,"out_of_gas":0,"ok":696373,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":699098,"peak_gas":209235,"out_of_gas":0,"ok":699098,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990320,"end_exclusive":9990384,"seconds":219.16371297836304,"output_sha256":"783161b774717076a335e8928deab03d32263e6a913df04ecbf81020b38d7481"},{"paired":{"n":64,"mean_diff":3.2975007217494623,"se":0.1288517777043337,"min":1.5161437564319158,"worst5":[{"seed":9990404,"diff":1.5161437564319158},{"seed":9990432,"diff":1.6024469049585264},{"seed":9990393,"diff":1.645446554213322},{"seed":9990427,"diff":1.691530476352682},{"seed":9990387,"diff":1.7357655569182953}]},"mean_edges":{"candidate":538.801408876424,"qt1":535.5039081546745},"afterSwap":{"candidate":{"calls":699189,"peak_gas":220878,"out_of_gas":0,"ok":699189,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":702965,"peak_gas":208982,"out_of_gas":0,"ok":702965,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990384,"end_exclusive":9990448,"seconds":226.91790318489075,"output_sha256":"d600cf443da0a063763010963aba7e0a6d7ea7e867ee9a30f4347fd6c610962f"},{"paired":{"n":64,"mean_diff":3.117502824046304,"se":0.12227440721867426,"min":1.2406477861654253,"worst5":[{"seed":9990511,"diff":1.2406477861654253},{"seed":9990502,"diff":1.4256732966054528},{"seed":9990495,"diff":1.5237816715628014},{"seed":9990492,"diff":1.5256009151046328},{"seed":9990497,"diff":1.668343211456886}]},"mean_edges":{"candidate":519.4268804369977,"qt1":516.3093776129515},"afterSwap":{"candidate":{"calls":685833,"peak_gas":225355,"out_of_gas":0,"ok":685833,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":690122,"peak_gas":209246,"out_of_gas":0,"ok":690122,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true,"start":9990448,"end_exclusive":9990512,"seconds":226.36714363098145,"output_sha256":"6091baae8a8c94367478c77faf8e38cce13bff0238d3cac0919343c795d08203"}],"pooled":{"paired":{"n":512,"mean_diff":3.213144243579524,"se":0.0433734949866572,"min":0.4052119207838132,"worst5":[{"seed":9990176,"diff":0.4052119207838132},{"seed":9990083,"diff":0.6724120768138278},{"seed":9990118,"diff":0.7246301586949357},{"seed":9990159,"diff":0.7418565550235598},{"seed":9990160,"diff":0.9513341019763857}]},"mean_edges":{"candidate":531.0027261455554,"qt1":527.7895819019758},"afterSwap":{"candidate":{"calls":5547655,"peak_gas":225355,"out_of_gas":0,"ok":5547655,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"calls":5575718,"peak_gas":209246,"out_of_gas":0,"ok":5575718,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"gas_limit_pass":true},"paired_rows_columns":["seed","candidate_edge","qt1_edge"],"paired_rows":[[9990000,500.4174303716746,498.34032806446237],[9990001,568.9263386436497,566.6719333149937],[9990002,574.5653986804956,570.2368254227014],[9990003,557.2818534175525,553.6286282454673],[9990004,619.7188211428384,615.3947242098193],[9990005,586.7640841123525,582.2417498425917],[9990006,595.2857870963488,591.9851435029883],[9990007,583.085835020548,579.7527235328924],[9990008,590.6789033707965,587.2769208693879],[9990009,504.1364396460099,501.0024516112118],[9990010,393.9773879575109,390.4238483050496],[9990011,473.3302348813128,470.19066876138544],[9990012,591.2442071320514,589.4385229060891],[9990013,476.4567566536466,473.24010822050974],[9990014,646.8260216946111,641.8768556174715],[9990015,549.250066508066,546.5617487895535],[9990016,498.0560414886617,494.92157307838545],[9990017,408.34409532271013,406.40538274710093],[9990018,532.2231736304732,529.8350569527148],[9990019,442.1603881671367,439.62245125829554],[9990020,535.5329013798311,532.9420549105233],[9990021,440.8069219656728,439.26708703920264],[9990022,570.5431398936464,568.7976568288301],[9990023,483.67307384759124,480.37545225122796],[9990024,416.0541742418466,413.1634661941019],[9990025,590.3930133142927,586.6609729401533],[9990026,518.7103377152799,515.807985062834],[9990027,395.7541045618126,392.5718380444067],[9990028,544.0027252837274,540.8069747953195],[9990029,531.0102167736749,528.1565196771692],[9990030,640.8334557727849,637.3932899137534],[9990031,619.7134192779195,616.9743589686153],[9990032,623.7755733762979,619.6530541011808],[9990033,560.7761924506915,557.4712426905267],[9990034,650.6346730365617,645.9131708960826],[9990035,577.2748642113893,573.2891962804711],[9990036,630.2942907627205,625.4159412928049],[9990037,445.45509828827915,441.59187927381504],[9990038,561.5367641491803,558.2472728715375],[9990039,449.5797761980926,447.91911037592655],[9990040,575.0650741450992,571.6869600974277],[9990041,527.4679945295123,524.7875959204963],[9990042,540.032234965378,535.6216922850688],[9990043,400.213488757499,397.3401291642454],[9990044,537.3553674482274,534.0967552058222],[9990045,434.3957246825265,432.6718935621611],[9990046,374.62602430098417,372.869700944595],[9990047,418.65537427626896,417.6630904526513],[9990048,439.93844172659635,436.45795688891604],[9990049,633.0039954710854,629.8541027791476],[9990050,519.9037395903642,515.9528186133492],[9990051,547.6602072932625,542.9182696152194],[9990052,602.558582653123,598.4951168672552],[9990053,452.6896783307278,450.8161107407985],[9990054,443.01096431452845,439.2890309701842],[9990055,676.8989048111844,674.5504137378159],[9990056,571.5965980731324,567.8733468435706],[9990057,720.181085027393,716.4337750398141],[9990058,641.9799748164015,638.5146720616568],[9990059,722.7553192296842,718.1989016933414],[9990060,618.4012385265536,616.6230734323492],[9990061,645.3366367628955,641.7477604776271],[9990062,477.1453767652359,473.9919262364674],[9990063,635.0761941657618,633.3107965792722],[9990064,458.60969570185466,454.2705868195425],[9990065,597.5546392846312,593.9692887401766],[9990066,605.136976189455,600.8843847038784],[9990067,515.705926286238,512.4533547475656],[9990068,569.9959455529076,565.9403023797945],[9990069,599.0128336083976,594.3975145306706],[9990070,559.3838532764386,557.5970225970106],[9990071,412.1695383865891,407.7181174172543],[9990072,622.4585739380955,618.9941401578637],[9990073,603.50346748522,600.6779811348403],[9990074,536.0110818774299,531.3478259401264],[9990075,505.42167291534395,502.83419743293337],[9990076,400.6050123790296,397.60907617566],[9990077,597.9759232106485,595.8274721292569],[9990078,379.93933753422044,377.4829016962855],[9990079,627.6544843990699,623.1251921390141],[9990080,412.1200538886998,409.5822984204502],[9990081,650.538331515452,646.8723048923432],[9990082,462.4877204198072,459.4607763370642],[9990083,425.5580255437315,424.8856134669177],[9990084,575.163332983325,573.0604198958197],[9990085,455.87860548642414,453.029060636652],[9990086,572.4569243289814,569.4446625901667],[9990087,421.0554597475503,418.7505747212066],[9990088,434.34913010822504,432.3489015034727],[9990089,473.0179695191187,468.60914264411855],[9990090,654.9816393876242,650.1003253076275],[9990091,578.2605366243223,575.4225497525415],[9990092,572.001616300702,570.1879121715866],[9990093,621.5437013443445,618.5636583904653],[9990094,609.4695577431422,604.7805491576195],[9990095,436.0965769828057,432.22266619404587],[9990096,502.19050399705185,499.6784385134227],[9990097,401.2001043723064,399.1754717440904],[9990098,516.8468635326813,512.8193303461953],[9990099,531.4498947714072,527.0045526711507],[9990100,556.8605247941691,554.8769491602513],[9990101,473.23874811625325,469.32988219848215],[9990102,379.4500045010553,376.9461818466512],[9990103,616.571328902935,614.217762314985],[9990104,433.6232210070723,431.1070120829245],[9990105,464.22687249745707,461.2697514486361],[9990106,515.9981264160865,512.7517309926517],[9990107,654.2205781481915,651.0336993605412],[9990108,513.8662038256908,510.934759369417],[9990109,581.3455413080172,579.0534593078264],[9990110,493.56396736372415,489.9715189215429],[9990111,484.38709699612826,481.68252799842503],[9990112,617.7887006876439,613.9850691851902],[9990113,400.3086143604939,397.5449844473049],[9990114,528.4175628148267,524.5659366668638],[9990115,394.7891569940948,392.0660506653077],[9990116,647.1172030335143,642.1186229354236],[9990117,609.5059631480798,606.2501442489015],[9990118,697.3242893894089,696.599659230714],[9990119,484.58225052211793,480.97597623479334],[9990120,702.205534137109,699.3116935156619],[9990121,594.7050620291494,591.8875532866957],[9990122,385.78500257554055,382.51377759704116],[9990123,449.7644459756961,446.0142500581506],[9990124,476.6865254544384,473.33325062003416],[9990125,589.4406812760454,586.5830489369121],[9990126,425.84118499338166,422.9052800906929],[9990127,406.8001687857836,403.5654882560776],[9990128,442.49827427909673,439.9228637163941],[9990129,431.82289143788324,429.3803769619759],[9990130,411.62381055079624,408.1012650010478],[9990131,523.5624587576124,519.5675479294998],[9990132,608.4845439446801,605.3125534118874],[9990133,528.0391500910937,525.363604102699],[9990134,428.121449124496,425.1014555550372],[9990135,431.06888553181983,427.90216466073656],[9990136,524.133270940181,518.9825410396128],[9990137,503.16400925477706,500.0599831585527],[9990138,735.5488576974534,731.7447385914081],[9990139,505.0649417953901,501.3650136612223],[9990140,469.7357940364626,468.1680728315938],[9990141,511.5018793781227,508.34800266667054],[9990142,655.5025911665787,652.2546134947621],[9990143,628.5178425978748,624.1968084611362],[9990144,519.2099160104593,514.8478522616857],[9990145,447.2836272113757,443.4199364753314],[9990146,510.93470246587367,506.84701904000843],[9990147,493.0456967254719,489.5970340028198],[9990148,596.9192079197835,594.0116243256763],[9990149,611.210786778986,607.8501450926642],[9990150,465.16610424765435,463.37089280411334],[9990151,462.39639186308796,459.07609399441594],[9990152,373.84366286964007,370.9633825240157],[9990153,730.2014881884752,725.28044351013],[9990154,486.588798475912,483.63134157785623],[9990155,449.39226844518834,446.27186108635215],[9990156,395.11725534753157,392.76127309296714],[9990157,530.5934603487342,526.1971045625647],[9990158,720.3754464987954,714.3378303797531],[9990159,587.5490188112459,586.8071622562223],[9990160,666.3435883166425,665.3922542146661],[9990161,586.6594732992096,583.8523708130816],[9990162,359.2508722981355,356.4975151283947],[9990163,686.3308576769276,682.0702970269126],[9990164,597.6457863548397,594.9118208994067],[9990165,769.0389980403287,767.492959789687],[9990166,402.4586951505329,401.37794129264665],[9990167,438.2280019990304,435.4020989558406],[9990168,520.945660244106,516.7916164064065],[9990169,487.993984465018,484.72875084052873],[9990170,400.82471665054766,397.14061438029273],[9990171,661.1929330159456,656.5594790503703],[9990172,434.6297177841031,430.97521618209964],[9990173,492.36137580441056,489.46680124015967],[9990174,568.0198132736451,564.8418562536033],[9990175,496.7612056367343,494.0262996862093],[9990176,688.1834869487542,687.7782750279704],[9990177,538.0231866378209,534.8794699922332],[9990178,470.3611128623888,468.2041428390866],[9990179,468.7761901568777,463.5600838072483],[9990180,507.4503464289298,504.57819021137067],[9990181,751.5421869132622,749.0460738502842],[9990182,557.596942707775,552.2844361699499],[9990183,656.0567396710335,652.7406027961089],[9990184,648.1710485685556,643.5131863763296],[9990185,663.1987278620458,661.666773028233],[9990186,448.79311444755007,445.69311552940087],[9990187,668.5873162382793,664.8796488388635],[9990188,599.0749966926921,596.6798753240549],[9990189,547.2436361118026,543.9831541141899],[9990190,723.2555347963345,718.296541996871],[9990191,485.0990334097974,481.79920822825073],[9990192,585.22777573507,581.1316920024577],[9990193,509.74356579922664,505.3164208267374],[9990194,484.5219819583057,481.10734732980984],[9990195,623.6897479747864,619.754987700097],[9990196,403.0291253199899,399.78155808166963],[9990197,440.2621517244849,436.55356017045386],[9990198,633.1463660459519,627.2867141058246],[9990199,595.610757068333,592.7472857435791],[9990200,625.9479401051623,621.180291304192],[9990201,561.1434338135275,557.9462681784112],[9990202,590.439604269682,586.4440275391083],[9990203,424.01338570731275,420.0433950155581],[9990204,716.6151296656345,714.8587130613848],[9990205,662.4743160207819,657.484678698756],[9990206,428.3411035918839,424.5758773812816],[9990207,476.65103054057766,474.09495516729015],[9990208,439.77674936806005,435.55038633700514],[9990209,398.8728676565696,396.2229990936629],[9990210,514.4412154402269,512.1989424379509],[9990211,507.5095937372375,503.7768590015836],[9990212,501.5624173404435,499.28719358393937],[9990213,453.66421790174604,449.24150454501273],[9990214,494.694929540211,490.89101642285914],[9990215,485.0474516102125,483.3106971296986],[9990216,550.9057848856974,548.4638808634064],[9990217,582.4543839833598,576.0608313861833],[9990218,583.6146667925832,577.097117208653],[9990219,532.8987953351732,529.3177618067789],[9990220,491.7027486852723,488.1781122428112],[9990221,380.7011888648004,377.0154768916029],[9990222,478.12397957049564,474.7508137341611],[9990223,675.322254852398,671.6412433664177],[9990224,583.6340265269705,579.5559801991061],[9990225,508.4088478502924,504.0053387557195],[9990226,645.6529073639196,641.8752393216514],[9990227,776.2911884044973,771.1466070174013],[9990228,529.1158526648433,525.8797322559049],[9990229,615.9449079402119,613.1493838904721],[9990230,488.2005404343669,485.2873496942892],[9990231,569.4086191482726,566.6533261446107],[9990232,410.13400914817083,406.65985927401726],[9990233,681.3929936283373,677.461576673991],[9990234,376.3514943285695,373.48665399280844],[9990235,526.6505717778464,523.0601883591762],[9990236,376.1331615990359,374.20959980009525],[9990237,463.0033633544575,460.56196552654706],[9990238,571.124214744708,566.6332409896255],[9990239,495.91681286636924,492.3292383454814],[9990240,322.68033771243114,320.35174853848577],[9990241,691.8109635548905,688.0625469587866],[9990242,401.56339389600333,397.91531556969437],[9990243,505.2043992598382,502.388756558342],[9990244,724.3312815653725,723.0964742983657],[9990245,377.9647961726855,375.02445464247063],[9990246,505.828867448072,503.08970738083025],[9990247,498.8965078319931,496.2595246566583],[9990248,533.0013423594554,530.0428311638237],[9990249,391.67671021232724,388.1375630510414],[9990250,396.3441447309642,394.1431962755561],[9990251,527.0098209606352,523.6111484028726],[9990252,405.87263375279804,403.3113811609263],[9990253,426.7272378659432,423.8443660631918],[9990254,463.9115304765912,461.1033543823279],[9990255,517.8050070512493,514.040847366186],[9990256,433.0836630146785,430.6859771887607],[9990257,462.5894599922579,460.3851410086981],[9990258,511.68094969932446,507.92026208530353],[9990259,490.40007237741486,487.2038757211073],[9990260,422.8319801250826,420.5902108679239],[9990261,589.6984563595546,587.1962648604891],[9990262,457.6509908522253,454.7143466771461],[9990263,552.4554324037737,547.9669486699531],[9990264,427.89230212791244,424.39187519000745],[9990265,584.6995094598847,581.9718302607555],[9990266,463.67292683335285,460.4825079957225],[9990267,583.0771030971481,580.1201062996039],[9990268,528.5796921805643,525.0859241099299],[9990269,454.8129865835981,451.4732987656889],[9990270,689.3922940177305,686.4563077711091],[9990271,528.4630934317826,523.6008684076232],[9990272,437.1240289838041,433.8428802070951],[9990273,436.1046404129745,433.27952978247885],[9990274,580.9353508663936,577.8161235913506],[9990275,665.2383426576384,663.6208150477341],[9990276,571.4079004412062,567.7639197639467],[9990277,413.4574441887677,410.18499266068477],[9990278,637.1207952734111,635.1367277252854],[9990279,432.358301184911,429.3788120310913],[9990280,489.55708246008584,487.1912752847792],[9990281,404.47741801395017,402.40394181066716],[9990282,434.9965299934407,431.4155451679083],[9990283,386.93579960246143,383.9684064394144],[9990284,571.0669961464538,567.6469246385147],[9990285,565.0257683319425,560.4618120369089],[9990286,403.24524401068777,399.4523718028245],[9990287,402.89333513605357,400.02254842578026],[9990288,566.1741894999021,563.1207785849101],[9990289,543.8808495416555,540.0099040389457],[9990290,564.8888390583292,562.0664128361447],[9990291,639.4158378858187,634.8558414626325],[9990292,495.2548033814553,491.23183976313845],[9990293,579.1653772912815,576.1857580603479],[9990294,568.901990742447,565.65797258758],[9990295,444.4253439884939,440.86145089248816],[9990296,762.9973830877192,759.7558379786711],[9990297,464.9158357726792,463.04995439277667],[9990298,588.4875300521321,583.7901648732849],[9990299,563.8215823692335,559.1057639183927],[9990300,546.4002184218718,542.5389570934515],[9990301,466.2057268030477,463.20189557453267],[9990302,549.0237946789453,545.63613147942],[9990303,484.3909846889892,481.118299257319],[9990304,584.3350433661983,582.1875711724833],[9990305,546.0358132681257,543.2044394803584],[9990306,622.5621521450721,619.7211288165382],[9990307,575.9257876458653,571.7548558568791],[9990308,495.32561037020804,492.2849613152673],[9990309,549.286428709241,545.8190335960783],[9990310,541.0950112905389,538.0326450810066],[9990311,461.5008942763269,459.3502652737701],[9990312,412.02147258516743,410.15573510341926],[9990313,697.5464830671452,695.8164792270205],[9990314,517.8683507289691,514.3626635379611],[9990315,455.44456501441977,452.3528646029205],[9990316,425.14549553285116,422.34609837206057],[9990317,598.5302100015633,595.7108462405936],[9990318,545.3541572001185,543.6769587140104],[9990319,693.3532567700137,689.1878027039296],[9990320,606.3913323839218,604.2718971769586],[9990321,475.08669737468756,472.8516352228064],[9990322,401.0202307418797,399.4800197164535],[9990323,702.0404626712475,696.6655821670479],[9990324,496.5445249512145,493.61108519612884],[9990325,705.5382542817869,702.390563468141],[9990326,402.52587290095704,399.4136970459684],[9990327,540.0430178091523,536.0710354146454],[9990328,739.4797440945343,735.237410316093],[9990329,471.1898394044886,468.36377812635374],[9990330,579.1251138981834,576.4642785454186],[9990331,536.5143885357501,532.4006556674743],[9990332,601.2465774435041,596.9834493610143],[9990333,588.4942727278717,583.9706418702785],[9990334,498.6884209264261,496.08084124433344],[9990335,566.0319511905153,564.0338250744848],[9990336,580.294261828447,577.5068812024952],[9990337,622.4063830725415,618.6578821637091],[9990338,570.6808372676072,565.9581673718227],[9990339,398.94654323029647,396.2168178970123],[9990340,445.9871618330387,442.69258652887765],[9990341,510.2689581726611,507.27184614493],[9990342,513.8814309900039,511.84424227305186],[9990343,617.2907814250857,614.3715276825304],[9990344,626.154342783097,620.9360983335106],[9990345,487.31485798427434,485.63716517940634],[9990346,515.3272372496835,511.79156513804185],[9990347,678.0358397450073,672.4198059759967],[9990348,441.7626874035662,437.27011764540117],[9990349,477.0819549880112,473.13737149525406],[9990350,492.4464199138982,490.11010211835446],[9990351,448.564561461536,445.815026435893],[9990352,540.3625897717652,538.4993139896344],[9990353,493.03901371537205,489.238640910118],[9990354,575.5872725154402,571.8213464093719],[9990355,644.425236397498,642.178188873714],[9990356,626.5919128305605,621.3675037906411],[9990357,641.712105135919,639.5366136339167],[9990358,596.5370889157481,595.087297100983],[9990359,473.35935302525485,469.72055953753244],[9990360,495.29204063307753,492.4078568044259],[9990361,480.56524147934897,477.53312088368637],[9990362,519.5926769301382,518.3911178225771],[9990363,590.911538406378,589.2791348726789],[9990364,473.7889300691606,471.40593105152897],[9990365,669.3350172727017,665.1963334466915],[9990366,404.48001038432,401.60357274884245],[9990367,482.52719793923245,479.10197396617474],[9990368,606.5209028873071,601.9799551981147],[9990369,614.2700851816255,610.8390890820281],[9990370,572.2243919584179,570.428602481675],[9990371,418.94677905425164,416.97253563505797],[9990372,560.0247800133122,557.4452531701951],[9990373,488.0381871747923,483.9607209119826],[9990374,481.0303316598832,478.0018260866516],[9990375,563.3856874005174,560.2740427746933],[9990376,526.529508699597,522.6982840305286],[9990377,497.60921995749595,494.4844967781326],[9990378,599.7110458386943,595.8274996145171],[9990379,359.9397812085611,357.342682294718],[9990380,558.5746525877034,555.4563938215975],[9990381,676.1148304554005,672.9125752400348],[9990382,537.6383754375165,533.3184187584501],[9990383,519.3944317727232,516.392453040049],[9990384,503.7712524680384,501.1817817621683],[9990385,475.22850736526397,471.517010929689],[9990386,618.4126386572915,615.4387446851974],[9990387,588.7050949657776,586.9693294088593],[9990388,654.9869353302662,650.4014009545461],[9990389,675.3142240947426,672.6444266198322],[9990390,461.3327436703514,457.65743399699096],[9990391,486.9246797833334,482.3518383757936],[9990392,534.2914907612285,531.0755545608619],[9990393,392.646381517422,391.0009349632087],[9990394,663.5165425853388,661.2346480878994],[9990395,633.2285111423209,628.8520025161761],[9990396,613.0185473453793,610.3036151095777],[9990397,573.4632784418262,568.5361811263436],[9990398,617.6625749764571,613.2729406447069],[9990399,403.71947894823785,401.33313072351524],[9990400,357.57368410310147,353.5163340769975],[9990401,428.30432692990104,423.358144306023],[9990402,526.2223761007032,521.8916642754048],[9990403,487.8048070294896,484.04356202223113],[9990404,473.0650526436758,471.5489088872439],[9990405,488.9753429693868,486.06889861659005],[9990406,667.6402554786374,663.5978416114614],[9990407,711.364566917105,706.7018785167649],[9990408,586.8358109694392,584.7966185057822],[9990409,613.2905590533337,611.2224640624195],[9990410,399.5912394470605,396.7046745441586],[9990411,483.4621627226265,479.4993870823886],[9990412,547.5767875685303,545.2088646675145],[9990413,490.32481527269397,486.44250836528863],[9990414,505.7157376829296,503.859698696902],[9990415,558.6399448871492,554.8622938535419],[9990416,706.2571712619576,704.3164305255079],[9990417,523.8015752250318,519.2065851612211],[9990418,490.8207338980346,487.5392246944979],[9990419,650.435579429685,645.8203793238584],[9990420,393.7351690490809,389.96458524607226],[9990421,463.013996472902,460.6092003074232],[9990422,541.2323681080782,537.8136281840264],[9990423,584.1566821951474,582.145409742603],[9990424,528.3343059263435,523.9123117600578],[9990425,712.279088206663,708.5515185158608],[9990426,403.08152747151445,399.0383945233536],[9990427,683.1621305231977,681.470600046845],[9990428,433.85435891022416,431.0958576476641],[9990429,632.9653271726636,627.2515372178029],[9990430,613.3482825196774,611.4242570785734],[9990431,469.74006914203767,466.16722201183615],[9990432,455.6774956895975,454.07504878463897],[9990433,560.742801613596,558.0018505318],[9990434,714.6191773548669,711.376362059537],[9990435,558.6058686144238,553.1451974922599],[9990436,498.2113099780539,494.220734601391],[9990437,646.9354059041921,643.6573944219039],[9990438,355.65489773127973,351.91650016221104],[9990439,431.67723001679525,428.2710939533921],[9990440,538.1965796936009,535.0956890727966],[9990441,724.0709684241374,720.322992305651],[9990442,496.62031045095455,493.975822280225],[9990443,432.43478149270015,430.29308131252503],[9990444,578.0487110742549,575.2191253459159],[9990445,565.7564148489195,561.9755045104938],[9990446,443.63387960347114,441.1957479615136],[9990447,429.5756182590143,426.08611855963295],[9990448,513.8471205108066,512.0188291524588],[9990449,610.0217120240275,607.2947326636164],[9990450,442.5408034151847,438.83461127976636],[9990451,491.60178027262026,488.978718032111],[9990452,706.3887794956645,704.0006104717662],[9990453,447.8498018352492,444.62564462059595],[9990454,601.2826674126192,597.3589351294216],[9990455,472.84521017117356,469.40773992625043],[9990456,656.7921253912581,653.5095163516726],[9990457,425.6474633440023,420.6109681091866],[9990458,596.0984530025248,593.0166304090192],[9990459,483.10125888334727,478.5067075929723],[9990460,553.1855814312509,551.4188677928122],[9990461,631.4152766238337,626.6529510331791],[9990462,677.2037130017424,673.8531940335939],[9990463,585.3177864524872,581.7104321426634],[9990464,506.00629322394315,502.88951480380894],[9990465,566.6598155002538,561.7356490276392],[9990466,595.767802361704,592.8634275818945],[9990467,361.3244251537625,358.29093673340896],[9990468,504.4588942670969,500.5226433792641],[9990469,570.8797291689746,566.5978655141805],[9990470,453.1840618920587,450.35050685634485],[9990471,535.1020008457979,530.7690394423536],[9990472,409.57665595244885,406.1241706054977],[9990473,354.17302695306824,350.12416880013586],[9990474,420.04463602440285,418.11870257030074],[9990475,445.150264526336,441.94110021902287],[9990476,460.91035730820784,458.92581673053354],[9990477,476.85219120796484,472.8599659375003],[9990478,406.09762497044704,401.81249532628453],[9990479,392.35013599455453,389.2909336029866],[9990480,566.3687603507298,563.1941640869026],[9990481,462.9373040529436,459.73547695370695],[9990482,659.1420984396425,656.4145532338526],[9990483,575.1660337544391,571.5852882409214],[9990484,533.4802900109087,530.4585243706332],[9990485,540.291102840641,534.5969142237583],[9990486,640.6427309777432,636.715167198212],[9990487,587.3679721769553,583.9054724672548],[9990488,584.9424507484782,581.6781163281536],[9990489,568.4968904370633,566.458670772236],[9990490,404.9286746739208,403.2111348792244],[9990491,482.7875946624424,479.5441654904972],[9990492,600.4220232752357,598.896422360131],[9990493,631.6524861430923,629.2365551056174],[9990494,595.5640882305245,593.5912181352834],[9990495,434.72971892194784,433.20593725038503],[9990496,488.1780715587823,484.56679230994564],[9990497,570.1363202529216,568.4679770414647],[9990498,456.9463782486977,453.542239314871],[9990499,392.68167588395096,390.0626859400378],[9990500,600.4083549154309,597.3999860529009],[9990501,423.1828956233636,419.88331433248237],[9990502,414.21420221933585,412.7885289227304],[9990503,647.6767640032142,643.0644401954382],[9990504,490.2701758299047,487.751936990734],[9990505,649.9965667458306,647.0980097245988],[9990506,442.7362574277654,438.7281792520621],[9990507,605.8028153258658,604.0544056840664],[9990508,486.5077708751454,484.173755509609],[9990509,541.0079343983315,537.6779435167484],[9990510,435.7749884408314,433.13530535539326],[9990511,375.2015079029625,373.96086011679705]],"engine_seeds_run":[{"start":9990000,"end_exclusive":9990064},{"start":9990064,"end_exclusive":9990128},{"start":9990128,"end_exclusive":9990192},{"start":9990192,"end_exclusive":9990256},{"start":9990256,"end_exclusive":9990320},{"start":9990320,"end_exclusive":9990384},{"start":9990384,"end_exclusive":9990448},{"start":9990448,"end_exclusive":9990512}],"engine_seeds_not_run":[],"method":"Unmodified scratch/engine.py; each contract alone vs 30 bps VanillaStrategy; amm_sim_rs.run_batch(X, VanillaStrategy, configs, 8); blocks of 64, in order, each seed once per arm.","simulation_seconds":1768.1604022979736,"first_block_seconds":231.0777609348297,"gas_scope":"Submission-role afterSwap only; VanillaStrategy normalizer calls excluded; pooled counts sum, peak takes maximum.","seed_ledger_verified":true,"timing":{"first_block_engine_seconds":231.0777609348297,"first_block_candidate_compile_seconds":21.983847618103027,"first_block_qt1_compile_seconds":14.79154920578003,"approximate_total_wall_seconds_including_initial_compile":1834.9969699382782,"wall_estimate_method":"Last completed output mtime minus first completed output mtime plus first engine block seconds plus 38 seconds for initial compilation. Approximate; simulation timing is from engine.py.","within_35_minutes":true,"each_command_timeout_seconds":470}},"limitations":["Local figures are not leaderboard scores. No leaderboard submission.","Local checks carry no independent certification."],"Q":{"status":"not_repeated","reason":"Independent confirmation only; accepted frozen LB4 contract; no selection, tuning, or source changes. LB4 report qualification is prior evidence, not an independently reproduced claim here."},"local_measurement_evidence":[{"file":"gate-T-74300.json","sha256":"3b4090ca0d370ff490e5520edf1fe28314d1e53f0111417af7233c1522205358"},{"file":"gate-F-74300.json","sha256":"a56c54e67a93b8461ef86306e6ef876a23caee42ab038917335b45cff99ff376"},{"file":"Strategy-compiled.json","sha256":"b163a3616355893c0cf55fd2be8403998b53b09be8359387e6a310889feae812"},{"file":"configs-confirm.json","sha256":"2f3d78145d4744aed1049eaa6e80d1918efa69efb053d828956bcb801c86fe67"}],"evidence_note":"Download and provenance claims refer to sources.json; T/F/E figures are fresh local executions of the hash-verified supplied scripts. Raw engine paired edges are included for recomputing statistics. Scratch logs are temporary, not delivered.","lb4_comparison":{"source":"https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","interpretation":"Independent samples use different seeds, so differing counts, maxima, labels, edges and hashes are expected. No policy changed. P rows, source/runtime identities and byte sizes are identical. All original measured figures for corresponding T/F/engine checks are retained below for comparison; Q and development-only tests were not rerun.","original_T":{"status":"pass","seeds":[74200,74249],"first_trades":350657,"label_counts":{"sell/neg":80263,"buy/pos":96692,"buy/neg":79488,"sell/pos":94214},"mismatch_count":0,"stream":"unchanged TwoComp on o1-b engine-order port","exact_stored_fee_wads":true,"rows_sha256":"3ed21c4aa184dac016baa060f4b5d878cd132428c9506d8a4b3617ac50dd5fad"},"original_F":{"status":"pass","seeds":[74200,74249],"callbacks":100000,"per_seed_callbacks":2000,"largest_fee_error_bps":4.829964813518606e-07,"max_error_bps_bid_ask":[4.806689594960556e-07,4.829964813518606e-07],"tolerance_bps":0.01,"errors_over_tolerance":0,"first_trades":64634,"tell_mismatches":0,"label_counts":{"neg":29526,"pos":35108},"peak_replay_gas_pyrevm":192906,"callbacks_over_245000":0,"per_seed_rows_sha256":"f59ddf08b15ece47d4f23e131b78e6a2a1a7112b391c979dc45228f06704e822","stream":"contract-driven o1-b engine-order port on Taylor streams; reference receives exact previous returned fee wads; reference filter otherwise carried independently"},"original_tell_gas_alone":{"peak":9800,"mean":6196.476214648503,"n":350657,"method":"probe call gas minus a no-op call with identical calldata (pyrevm); Probe.ltTell on every first trade of seeds 74200..74249","probe_call_peak_gas":33013,"tca_path_tell_for_comparison":"probe_peak_gas 183516 and contract replay peak 298073 in result tca-path"},"original_engine_G_pilot":{"engine_seeds":[9978000,9978007],"candidate_afterSwap":{"afterSwap_calls":84893,"ok":84893,"peak_gas":208548,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1_afterSwap":{"afterSwap_calls":85455,"ok":85455,"peak_gas":201686,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"paired_vs_qt1":{"n":8,"mean_diff":3.2856916398251386,"se":0.4020073096834726,"min":1.073909401665901,"worst5":[{"seed":9978007,"diff":1.073909401665901},{"seed":9978003,"diff":2.8385466861835766},{"seed":9978001,"diff":3.1530141840650003},{"seed":9978006,"diff":3.243131352931414},{"seed":9978000,"diff":3.2472233346650796}]}},"original_engine_E":{"status":"complete (both windows)","window_1":{"seeds":[9978100,9978355],"engine_seed_ranges":[[9978100,9978227],[9978228,9978355]],"paired_vs_qt1":{"n":256,"mean_diff":3.225709258261719,"se":0.06238856794266395,"min":0.5730198233235342,"worst5":[{"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}]},"mean_edge":{"candidate":534.680566627872,"qt1":531.4548573696104},"afterSwap":{"candidate":{"afterSwap_calls":2777712,"ok":2777712,"peak_gas":221835,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"afterSwap_calls":2792632,"ok":2792632,"peak_gas":209297,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"window_2":{"seeds":[9978400,9978655],"engine_seed_ranges":[[9978400,9978495],[9978496,9978655]],"paired_vs_qt1":{"n":256,"mean_diff":3.099814348362292,"se":0.05811402356472897,"min":0.6811445459161405,"worst5":[{"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}]},"mean_edge":{"candidate":532.9919028604041,"qt1":529.8920885120418},"afterSwap":{"candidate":{"afterSwap_calls":2796716,"ok":2796716,"peak_gas":224481,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"afterSwap_calls":2810278,"ok":2810278,"peak_gas":208860,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}},"both_windows":{"paired_vs_qt1":{"n":512,"mean_diff":3.1627618033120055,"se":0.04268009976496206,"min":0.5730198233235342,"worst5":[{"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}]},"mean_edge":{"candidate":533.8362347441381,"qt1":530.6734729408261},"afterSwap":{"candidate":{"afterSwap_calls":5574428,"ok":5574428,"peak_gas":224481,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"qt1":{"afterSwap_calls":5602910,"ok":5602910,"peak_gas":209297,"out_of_gas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}}}},"original_engine_peak_gas_including_pilot":{"candidate":{"engine_afterSwap_peak":224481,"out_of_gas":0,"calls":5659321},"qt1":{"engine_afterSwap_peak":209297,"out_of_gas":0,"calls":5688365},"scope":"engine seeds 9978000..9978007, 9978100..9978355, 9978400..9978655"},"pooled_mean_diff_delta":0.05038244026751837,"pooled_se_delta":0.0006933952216951408,"pooled_peak_gas_deltas":{"candidate":874,"qt1":-51},"differences_note":"Fresh T has 348387 first trades versus 350657; all four label counts and row digest differ, mismatches remain zero. Fresh F has the same 100000 callbacks; first trades, label counts, bid/ask max errors, replay peak and row digest differ; tolerance failures and tell mismatches remain zero. Fresh engine seeds, paired edges, means, SE, minimum, worst5, callback counts and peaks differ as listed; runtime/source identities and all pass/fail conclusions agree.","changed_figures":[{"field":"E.both_windows.afterSwap.candidate.afterSwap_calls","lb4":5574428,"cf1":5547655},{"field":"E.both_windows.afterSwap.candidate.ok","lb4":5574428,"cf1":5547655},{"field":"E.both_windows.afterSwap.candidate.peak_gas","lb4":224481,"cf1":225355},{"field":"E.both_windows.afterSwap.qt1.afterSwap_calls","lb4":5602910,"cf1":5575718},{"field":"E.both_windows.afterSwap.qt1.ok","lb4":5602910,"cf1":5575718},{"field":"E.both_windows.afterSwap.qt1.peak_gas","lb4":209297,"cf1":209246},{"field":"E.both_windows.mean_edge.candidate","lb4":533.8362347441381,"cf1":531.0027261455554},{"field":"E.both_windows.mean_edge.qt1","lb4":530.6734729408261,"cf1":527.7895819019758},{"field":"E.both_windows.paired_vs_qt1.mean_diff","lb4":3.1627618033120055,"cf1":3.213144243579524},{"field":"E.both_windows.paired_vs_qt1.min","lb4":0.5730198233235342,"cf1":0.4052119207838132},{"field":"E.both_windows.paired_vs_qt1.se","lb4":0.04268009976496206,"cf1":0.0433734949866572},{"field":"E.both_windows.paired_vs_qt1.worst5[0].diff","lb4":0.5730198233235342,"cf1":0.4052119207838132},{"field":"E.both_windows.paired_vs_qt1.worst5[0].seed","lb4":9978131,"cf1":9990176},{"field":"E.both_windows.paired_vs_qt1.worst5[1].diff","lb4":0.5815538743556772,"cf1":0.6724120768138278},{"field":"E.both_windows.paired_vs_qt1.worst5[1].seed","lb4":9978263,"cf1":9990083},{"field":"E.both_windows.paired_vs_qt1.worst5[2].diff","lb4":0.6811445459161405,"cf1":0.7246301586949357},{"field":"E.both_windows.paired_vs_qt1.worst5[2].seed","lb4":9978551,"cf1":9990118},{"field":"E.both_windows.paired_vs_qt1.worst5[3].diff","lb4":0.6955298571939466,"cf1":0.7418565550235598},{"field":"E.both_windows.paired_vs_qt1.worst5[3].seed","lb4":9978452,"cf1":9990159},{"field":"E.both_windows.paired_vs_qt1.worst5[4].diff","lb4":0.7366590463408329,"cf1":0.9513341019763857},{"field":"E.both_windows.paired_vs_qt1.worst5[4].seed","lb4":9978110,"cf1":9990160},{"field":"E.window_1.afterSwap.candidate.afterSwap_calls","lb4":2777712,"cf1":2772406},{"field":"E.window_1.afterSwap.candidate.ok","lb4":2777712,"cf1":2772406},{"field":"E.window_1.afterSwap.candidate.peak_gas","lb4":221835,"cf1":219582},{"field":"E.window_1.afterSwap.qt1.afterSwap_calls","lb4":2792632,"cf1":2786531},{"field":"E.window_1.afterSwap.qt1.ok","lb4":2792632,"cf1":2786531},{"field":"E.window_1.afterSwap.qt1.peak_gas","lb4":209297,"cf1":208696},{"field":"E.window_1.mean_edge.candidate","lb4":534.680566627872,"cf1":531.0926296233376},{"field":"E.window_1.mean_edge.qt1","lb4":531.4548573696104,"cf1":527.8500040099144},{"field":"E.window_1.paired_vs_qt1.mean_diff","lb4":3.225709258261719,"cf1":3.2426256134232574},{"field":"E.window_1.paired_vs_qt1.min","lb4":0.5730198233235342,"cf1":0.4052119207838132},{"field":"E.window_1.paired_vs_qt1.se","lb4":0.06238856794266395,"cf1":0.06293081295013853},{"field":"E.window_1.paired_vs_qt1.worst5[0].diff","lb4":0.5730198233235342,"cf1":0.4052119207838132},{"field":"E.window_1.paired_vs_qt1.worst5[0].seed","lb4":9978131,"cf1":9990176},{"field":"E.window_1.paired_vs_qt1.worst5[1].diff","lb4":0.5815538743556772,"cf1":0.6724120768138278},{"field":"E.window_1.paired_vs_qt1.worst5[1].seed","lb4":9978263,"cf1":9990083},{"field":"E.window_1.paired_vs_qt1.worst5[2].diff","lb4":0.7366590463408329,"cf1":0.7246301586949357},{"field":"E.window_1.paired_vs_qt1.worst5[2].seed","lb4":9978110,"cf1":9990118},{"field":"E.window_1.paired_vs_qt1.worst5[3].diff","lb4":0.8423458034940268,"cf1":0.7418565550235598},{"field":"E.window_1.paired_vs_qt1.worst5[3].seed","lb4":9978228,"cf1":9990159},{"field":"E.window_1.paired_vs_qt1.worst5[4].diff","lb4":0.8848354133717748,"cf1":0.9513341019763857},{"field":"E.window_1.paired_vs_qt1.worst5[4].seed","lb4":9978139,"cf1":9990160},{"field":"E.window_1.seeds[0]","lb4":9978100,"cf1":9990000},{"field":"E.window_1.seeds[1]","lb4":9978355,"cf1":9990255},{"field":"E.window_2.afterSwap.candidate.afterSwap_calls","lb4":2796716,"cf1":2775249},{"field":"E.window_2.afterSwap.candidate.ok","lb4":2796716,"cf1":2775249},{"field":"E.window_2.afterSwap.candidate.peak_gas","lb4":224481,"cf1":225355},{"field":"E.window_2.afterSwap.qt1.afterSwap_calls","lb4":2810278,"cf1":2789187},{"field":"E.window_2.afterSwap.qt1.ok","lb4":2810278,"cf1":2789187},{"field":"E.window_2.afterSwap.qt1.peak_gas","lb4":208860,"cf1":209246},{"field":"E.window_2.mean_edge.candidate","lb4":532.9919028604041,"cf1":530.912822667773},{"field":"E.window_2.mean_edge.qt1","lb4":529.8920885120418,"cf1":527.7291597940372},{"field":"E.window_2.paired_vs_qt1.mean_diff","lb4":3.099814348362292,"cf1":3.1836628737357904},{"field":"E.window_2.paired_vs_qt1.min","lb4":0.6811445459161405,"cf1":1.2015591075610246},{"field":"E.window_2.paired_vs_qt1.se","lb4":0.05811402356472897,"cf1":0.05977199310614153},{"field":"E.window_2.paired_vs_qt1.worst5[0].diff","lb4":0.6811445459161405,"cf1":1.2015591075610246},{"field":"E.window_2.paired_vs_qt1.worst5[0].seed","lb4":9978551,"cf1":9990362},{"field":"E.window_2.paired_vs_qt1.worst5[1].diff","lb4":0.6955298571939466,"cf1":1.2406477861654253},{"field":"E.window_2.paired_vs_qt1.worst5[1].seed","lb4":9978452,"cf1":9990511},{"field":"E.window_2.paired_vs_qt1.worst5[2].diff","lb4":1.0002522858463294,"cf1":1.4256732966054528},{"field":"E.window_2.paired_vs_qt1.worst5[2].seed","lb4":9978576,"cf1":9990502},{"field":"E.window_2.paired_vs_qt1.worst5[3].diff","lb4":1.0314462926866668,"cf1":1.4497918147650353},{"field":"E.window_2.paired_vs_qt1.worst5[3].seed","lb4":9978568,"cf1":9990358},{"field":"E.window_2.paired_vs_qt1.worst5[4].diff","lb4":1.2182132146630238,"cf1":1.5161437564319158},{"field":"E.window_2.paired_vs_qt1.worst5[4].seed","lb4":9978632,"cf1":9990404},{"field":"E.window_2.seeds[0]","lb4":9978400,"cf1":9990256},{"field":"E.window_2.seeds[1]","lb4":9978655,"cf1":9990511},{"field":"F.first_trades","lb4":64634,"cf1":64900},{"field":"F.label_counts.neg","lb4":29526,"cf1":29405},{"field":"F.label_counts.pos","lb4":35108,"cf1":35495},{"field":"F.largest_fee_error_bps","lb4":4.829964813518606e-07,"cf1":4.820135496253972e-07},{"field":"F.max_error_bps_bid_ask[0]","lb4":4.806689594960556e-07,"cf1":4.806289741199343e-07},{"field":"F.max_error_bps_bid_ask[1]","lb4":4.829964813518606e-07,"cf1":4.820135496253972e-07},{"field":"F.peak_replay_gas_pyrevm","lb4":192906,"cf1":189034},{"field":"F.per_seed_rows_sha256","lb4":"f59ddf08b15ece47d4f23e131b78e6a2a1a7112b391c979dc45228f06704e822","cf1":"53a6ac0f44127dab9b6940e02c18db23d3c6b24102fc3ca3619c9ee0c3b8270c"},{"field":"F.seeds[0]","lb4":74200,"cf1":74300},{"field":"F.seeds[1]","lb4":74249,"cf1":74349},{"field":"T.first_trades","lb4":350657,"cf1":348387},{"field":"T.label_counts.buy/neg","lb4":79488,"cf1":78642},{"field":"T.label_counts.buy/pos","lb4":96692,"cf1":95591},{"field":"T.label_counts.sell/neg","lb4":80263,"cf1":79002},{"field":"T.label_counts.sell/pos","lb4":94214,"cf1":95152},{"field":"T.rows_sha256","lb4":"3ed21c4aa184dac016baa060f4b5d878cd132428c9506d8a4b3617ac50dd5fad","cf1":"9ad3a9ae2448962ed8de1a8d2dc81bdcb80ac750a32342ed377439fb38575c59"},{"field":"T.seeds[0]","lb4":74200,"cf1":74300},{"field":"T.seeds[1]","lb4":74249,"cf1":74349},{"field":"tell_gas_alone.mean","lb4":6196.476214648503,"cf1":6196.348758707989},{"field":"tell_gas_alone.n","lb4":350657,"cf1":348387},{"field":"tell_gas_alone.peak","lb4":9800,"cf1":12811},{"field":"tell_gas_alone.probe_call_peak_gas","lb4":33013,"cf1":36120}],"comparison_grouping":"Fresh first 256 and last 256 engine seeds are compared to original window_1 and window_2 respectively; these are distinct samples, not reruns. Fields absent from the fresh measurement, including development-only and G pilot measurements, are retained as original evidence only."},"source_quotes_verified_live":true,"source_and_test_files_modified":false,"conclusion":"Independent confirmation passed P, identity, T, F and all eight fresh engine blocks. Across 512 paired seeds, candidate exceeds qt1 by 3.213144243579524 (SE 0.0433734949866572). Candidate peak afterSwap gas 225355, zero out-of-gas; qt1 peak 209246, zero out-of-gas. Local figures only; no leaderboard submission.","validation":{"json_parse":true,"bytes_below_64000":true,"source_quotes_at_most_500_characters":true,"all_assigned_engine_seeds_exactly_once_per_arm":true,"pooled_statistics_recomputed_independently_with_statistics_module":true,"all_supplied_strategy_reference_and_harness_hashes_unchanged":true}}