{"credit":"Taylor (gtmcknight): qt1, Gaussian filter, qm tables and solved replica; github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9. Assignment o1-a seat541 / o1-b1497.","item":"e07-buy-grid-check/buy-grid","status":"complete","answer":{"buy_grid_survives_compiled_source_engine":true,"scope":"Pinned source engine built with maturin --release --locked, unchanged qt1 alone vs 30-bps VanillaStrategy; NOT release-wheel evidence.","BUY_ALL":{"arb_n":16441,"false_negatives":0,"retail_n":30869,"false_positives":41,"retail_false_positive_rate":0.0013281933331173669},"BUY_FIRST_including_t0":{"arb_n":16441,"false_negatives":0,"retail_n":13128,"false_positives":19,"retail_false_positive_rate":0.0014472882388787325},"SELL_FIRST_including_t0":{"arb_n":15100,"false_negatives":0,"retail_n":13338,"false_positives":20},"finding":"Shared execute_buy_x compatibility alone cannot distinguish BUY truth, but the upstream amount-generation grid can. The original o1-b function and the complete public-wad virtual-reserve search agree on all 47,310 BUY callbacks. Full SELL replay and the one-division shortcut agree on all 45,877 SELL callbacks.","caps":"At candidate budget 4 the standalone BUY grid and standalone SELL one-division predicate have zero fallbacks and reproduce complete answers. Full SELL replay still falls back on some rows even at budget 16.","claim_limits":"Empirical eight-seed arithmetic measurement. No score, learned policy, release-wheel, deployed-size, gas or contract-gate claim."},"method":{"public_inputs":"Previous own reserveX/reserveY wads (initially 100 and 10000 converted by Wad::from_f64); actual bid/ask fee wads in force; current TradeInfo. No true path, label, fair price or hidden float bits enter predictions.","truth_use":"Trace labels/hidden bits/fair price only validate replay, verify preimage completeness, and tabulate errors after prediction.","first":"First own callback in each timestamp, independent of side. Initialized with last timestamp None so t=0 is included. All eight seeds have a FIRST t=0 callback, with ten total t=0 callbacks.","preimages":"Exact lower-bound binary search over all positive finite binary64 bit patterns, followed by complete equality interval enumeration. Both neighboring boundaries checked. Zero/saturated wads outside these measured domains are unsupported and assert.","buy_grid":"For each previous-X preimage rx, enumerate every positive finite virtual reserve xv such that Wad::from_f64(fl(fl(xv-rx)/gamma)) equals amountX. gamma=1-fl(float(fee_wad)/1e18). This tests the necessary upstream grid, not existence of a hidden fair price producing xv by sqrt.","sell_full":"Independent Cartesian enumeration of prior reserves and amountX for arb execute_sell_x; prior reserves and amountY for retail execute_buy_x_with_y. Match all four current amount/reserve wads.","sell_shortcut":"For all previous-Y and current-Y preimages, test d=fl(currentY-previousY)>0 and Wad::from_f64(fl(d/gamma))==amountY.","R_interpretation":"BUY R=shared execute_buy_x compatibility, a necessary retail condition, NOT a complete router-generation predicate. SELL R=execute_buy_x_with_y compatibility. Both is arithmetic compatibility, not two true paths.","decision":"Positive means A=true predicts arb, including both. FP is positive on retail; FN is negative on arb. Both/neither also reported separately. Grid AND execution yields identical complete matrices to grid alone on all BUY rows.","cap_definitions":{"matrix_caps":"Candidate budgets for A and R pair. BUY grid cost=n(previousX)+sum(n(virtuals)); R shared-execution check is diagnostic and not budgeted in grid rows. SELL full cost=nx*ny*(nax+nay); SELL one_division cost=npy*ncurrentY+nx*ny*nay. Eligibility is conservatively tabulated against complete counts, with fallback excluded from positives/negatives.","standalone_caps":"Separate actually executed bounded A-only functions: BUY cost=n(previousX)+sum(n(virtuals)); SELL shortcut cost=n(previousY)*n(currentY); SELL full cost=n(previousX)*n(previousY)*n(amountX). Above cap returns None before candidate replay. Each nonfallback answer cross-checked with complete search.","caution":"Caps bound candidate evaluations, not binary search comparisons, preimage enumeration, CPU instructions or EVM gas. No truncation-as-negative."},"patch":"Only logging in cfmm.rs and engine.rs. Per-seed append files prevent cross-worker append corruption. Original operation order, fee updates, router and arbitrageur arithmetic unchanged. Both fee conversion bits and current fair-price bits logged. Previous/current TradeInfo reconstructible from ordered per-seed rows.","actual_replay":"All execution paths replayed against hidden input bits and compared with four output bits/wads. Arb upstream sizing independently recomputed from logged before reserves, fees and fair price on both sides. Retail allocation itself was not independently reconstructed; actual input execution was replayed."},"matrix_definitions":{"key":"SIDE/SCOPE/PREDICATE/BUDGET; complete means no budget cap","truth":["arb","retail"],"n":"all truth rows including fallback","denominator_for_error_rates":"n-fallback for each truth; missing counts are not imputed","partition":"arb_only + retail_only + both + neither + fallback = n"},"matrices":{"BUY/ALL/grid/complete":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"arb_only":0,"retail_only":30828,"both":41,"neither":0,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"BUY/ALL/grid/2":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":12101,"neither":0,"positive":12101,"negative":0,"false_positive":0,"false_negative":0,"fallback":4340},"retail":{"n":30869,"arb_only":0,"retail_only":30828,"both":31,"neither":0,"positive":31,"negative":30828,"false_positive":31,"false_negative":0,"fallback":10}},"BUY/ALL/grid/4":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"arb_only":0,"retail_only":30828,"both":41,"neither":0,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"BUY/ALL/grid/8":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"arb_only":0,"retail_only":30828,"both":41,"neither":0,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"BUY/ALL/grid/16":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"arb_only":0,"retail_only":30828,"both":41,"neither":0,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"BUY/FIRST/grid/complete":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"arb_only":0,"retail_only":13109,"both":19,"neither":0,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"BUY/FIRST/grid/2":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":12101,"neither":0,"positive":12101,"negative":0,"false_positive":0,"false_negative":0,"fallback":4340},"retail":{"n":13128,"arb_only":0,"retail_only":13109,"both":15,"neither":0,"positive":15,"negative":13109,"false_positive":15,"false_negative":0,"fallback":4}},"BUY/FIRST/grid/4":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"arb_only":0,"retail_only":13109,"both":19,"neither":0,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"BUY/FIRST/grid/8":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"arb_only":0,"retail_only":13109,"both":19,"neither":0,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"BUY/FIRST/grid/16":{"arb":{"n":16441,"arb_only":0,"retail_only":0,"both":16441,"neither":0,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"arb_only":0,"retail_only":13109,"both":19,"neither":0,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"SELL/ALL/full/complete":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11642,"neither":0,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30777,"arb_only":0,"retail_only":30730,"both":47,"neither":0,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"SELL/ALL/full/2":{"arb":{"n":15100,"arb_only":1150,"retail_only":0,"both":3767,"neither":0,"positive":4917,"negative":0,"false_positive":0,"false_negative":0,"fallback":10183},"retail":{"n":30777,"arb_only":0,"retail_only":10038,"both":10,"neither":0,"positive":10,"negative":10038,"false_positive":10,"false_negative":0,"fallback":20729}},"SELL/ALL/full/4":{"arb":{"n":15100,"arb_only":2699,"retail_only":0,"both":8805,"neither":0,"positive":11504,"negative":0,"false_positive":0,"false_negative":0,"fallback":3596},"retail":{"n":30777,"arb_only":0,"retail_only":23692,"both":35,"neither":0,"positive":35,"negative":23692,"false_positive":35,"false_negative":0,"fallback":7050}},"SELL/ALL/full/8":{"arb":{"n":15100,"arb_only":3329,"retail_only":0,"both":11130,"neither":0,"positive":14459,"negative":0,"false_positive":0,"false_negative":0,"fallback":641},"retail":{"n":30777,"arb_only":0,"retail_only":29776,"both":47,"neither":0,"positive":47,"negative":29776,"false_positive":47,"false_negative":0,"fallback":954}},"SELL/ALL/full/16":{"arb":{"n":15100,"arb_only":3427,"retail_only":0,"both":11562,"neither":0,"positive":14989,"negative":0,"false_positive":0,"false_negative":0,"fallback":111},"retail":{"n":30777,"arb_only":0,"retail_only":30650,"both":47,"neither":0,"positive":47,"negative":30650,"false_positive":47,"false_negative":0,"fallback":80}},"SELL/ALL/one_division/complete":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11642,"neither":0,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30777,"arb_only":0,"retail_only":30730,"both":47,"neither":0,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"SELL/ALL/one_division/2":{"arb":{"n":15100,"arb_only":1158,"retail_only":0,"both":3696,"neither":0,"positive":4854,"negative":0,"false_positive":0,"false_negative":0,"fallback":10246},"retail":{"n":30777,"arb_only":0,"retail_only":9596,"both":13,"neither":0,"positive":13,"negative":9596,"false_positive":13,"false_negative":0,"fallback":21168}},"SELL/ALL/one_division/4":{"arb":{"n":15100,"arb_only":2865,"retail_only":0,"both":9354,"neither":0,"positive":12219,"negative":0,"false_positive":0,"false_negative":0,"fallback":2881},"retail":{"n":30777,"arb_only":0,"retail_only":24819,"both":38,"neither":0,"positive":38,"negative":24819,"false_positive":38,"false_negative":0,"fallback":5920}},"SELL/ALL/one_division/8":{"arb":{"n":15100,"arb_only":3418,"retail_only":0,"both":11435,"neither":0,"positive":14853,"negative":0,"false_positive":0,"false_negative":0,"fallback":247},"retail":{"n":30777,"arb_only":0,"retail_only":30328,"both":47,"neither":0,"positive":47,"negative":30328,"false_positive":47,"false_negative":0,"fallback":402}},"SELL/ALL/one_division/16":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11641,"neither":0,"positive":15099,"negative":0,"false_positive":0,"false_negative":0,"fallback":1},"retail":{"n":30777,"arb_only":0,"retail_only":30730,"both":47,"neither":0,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"SELL/FIRST/full/complete":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11642,"neither":0,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13338,"arb_only":0,"retail_only":13318,"both":20,"neither":0,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}},"SELL/FIRST/full/2":{"arb":{"n":15100,"arb_only":1150,"retail_only":0,"both":3767,"neither":0,"positive":4917,"negative":0,"false_positive":0,"false_negative":0,"fallback":10183},"retail":{"n":13338,"arb_only":0,"retail_only":4285,"both":7,"neither":0,"positive":7,"negative":4285,"false_positive":7,"false_negative":0,"fallback":9046}},"SELL/FIRST/full/4":{"arb":{"n":15100,"arb_only":2699,"retail_only":0,"both":8805,"neither":0,"positive":11504,"negative":0,"false_positive":0,"false_negative":0,"fallback":3596},"retail":{"n":13338,"arb_only":0,"retail_only":10185,"both":14,"neither":0,"positive":14,"negative":10185,"false_positive":14,"false_negative":0,"fallback":3139}},"SELL/FIRST/full/8":{"arb":{"n":15100,"arb_only":3329,"retail_only":0,"both":11130,"neither":0,"positive":14459,"negative":0,"false_positive":0,"false_negative":0,"fallback":641},"retail":{"n":13338,"arb_only":0,"retail_only":12885,"both":20,"neither":0,"positive":20,"negative":12885,"false_positive":20,"false_negative":0,"fallback":433}},"SELL/FIRST/full/16":{"arb":{"n":15100,"arb_only":3427,"retail_only":0,"both":11562,"neither":0,"positive":14989,"negative":0,"false_positive":0,"false_negative":0,"fallback":111},"retail":{"n":13338,"arb_only":0,"retail_only":13282,"both":20,"neither":0,"positive":20,"negative":13282,"false_positive":20,"false_negative":0,"fallback":36}},"SELL/FIRST/one_division/complete":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11642,"neither":0,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13338,"arb_only":0,"retail_only":13318,"both":20,"neither":0,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}},"SELL/FIRST/one_division/2":{"arb":{"n":15100,"arb_only":1158,"retail_only":0,"both":3696,"neither":0,"positive":4854,"negative":0,"false_positive":0,"false_negative":0,"fallback":10246},"retail":{"n":13338,"arb_only":0,"retail_only":4151,"both":7,"neither":0,"positive":7,"negative":4151,"false_positive":7,"false_negative":0,"fallback":9180}},"SELL/FIRST/one_division/4":{"arb":{"n":15100,"arb_only":2865,"retail_only":0,"both":9354,"neither":0,"positive":12219,"negative":0,"false_positive":0,"false_negative":0,"fallback":2881},"retail":{"n":13338,"arb_only":0,"retail_only":10660,"both":15,"neither":0,"positive":15,"negative":10660,"false_positive":15,"false_negative":0,"fallback":2663}},"SELL/FIRST/one_division/8":{"arb":{"n":15100,"arb_only":3418,"retail_only":0,"both":11435,"neither":0,"positive":14853,"negative":0,"false_positive":0,"false_negative":0,"fallback":247},"retail":{"n":13338,"arb_only":0,"retail_only":13134,"both":20,"neither":0,"positive":20,"negative":13134,"false_positive":20,"false_negative":0,"fallback":184}},"SELL/FIRST/one_division/16":{"arb":{"n":15100,"arb_only":3458,"retail_only":0,"both":11641,"neither":0,"positive":15099,"negative":0,"false_positive":0,"false_negative":0,"fallback":1},"retail":{"n":13338,"arb_only":0,"retail_only":13318,"both":20,"neither":0,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}}},"standalone_bounded":{"credit":"Taylor (gtmcknight)","matrices":{"buy_grid/ALL/2":{"arb":{"n":16441,"positive":12101,"negative":0,"false_positive":0,"false_negative":0,"fallback":4340},"retail":{"n":30869,"positive":31,"negative":30828,"false_positive":31,"false_negative":0,"fallback":10}},"buy_grid/FIRST/2":{"arb":{"n":16441,"positive":12101,"negative":0,"false_positive":0,"false_negative":0,"fallback":4340},"retail":{"n":13128,"positive":15,"negative":13109,"false_positive":15,"false_negative":0,"fallback":4}},"buy_grid/ALL/4":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"buy_grid/FIRST/4":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"buy_grid/ALL/8":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"buy_grid/FIRST/8":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"buy_grid/ALL/16":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30869,"positive":41,"negative":30828,"false_positive":41,"false_negative":0,"fallback":0}},"buy_grid/FIRST/16":{"arb":{"n":16441,"positive":16441,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13128,"positive":19,"negative":13109,"false_positive":19,"false_negative":0,"fallback":0}},"sell_one_division/ALL/2":{"arb":{"n":15100,"positive":14122,"negative":0,"false_positive":0,"false_negative":0,"fallback":978},"retail":{"n":30777,"positive":44,"negative":28558,"false_positive":44,"false_negative":0,"fallback":2175}},"sell_one_division/ALL/4":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30777,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"sell_one_division/ALL/8":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30777,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"sell_one_division/ALL/16":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":30777,"positive":47,"negative":30730,"false_positive":47,"false_negative":0,"fallback":0}},"sell_full/ALL/2":{"arb":{"n":15100,"positive":12419,"negative":0,"false_positive":0,"false_negative":0,"fallback":2681},"retail":{"n":30777,"positive":40,"negative":25664,"false_positive":40,"false_negative":0,"fallback":5073}},"sell_full/ALL/4":{"arb":{"n":15100,"positive":14543,"negative":0,"false_positive":0,"false_negative":0,"fallback":557},"retail":{"n":30777,"positive":47,"negative":30005,"false_positive":47,"false_negative":0,"fallback":725}},"sell_full/ALL/8":{"arb":{"n":15100,"positive":14905,"negative":0,"false_positive":0,"false_negative":0,"fallback":195},"retail":{"n":30777,"positive":47,"negative":30577,"false_positive":47,"false_negative":0,"fallback":153}},"sell_full/ALL/16":{"arb":{"n":15100,"positive":14996,"negative":0,"false_positive":0,"false_negative":0,"fallback":104},"retail":{"n":30777,"positive":47,"negative":30654,"false_positive":47,"false_negative":0,"fallback":76}},"sell_one_division/FIRST/2":{"arb":{"n":15100,"positive":14122,"negative":0,"false_positive":0,"false_negative":0,"fallback":978},"retail":{"n":13338,"positive":19,"negative":12286,"false_positive":19,"false_negative":0,"fallback":1033}},"sell_one_division/FIRST/4":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13338,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}},"sell_one_division/FIRST/8":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13338,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}},"sell_one_division/FIRST/16":{"arb":{"n":15100,"positive":15100,"negative":0,"false_positive":0,"false_negative":0,"fallback":0},"retail":{"n":13338,"positive":20,"negative":13318,"false_positive":20,"false_negative":0,"fallback":0}},"sell_full/FIRST/2":{"arb":{"n":15100,"positive":12419,"negative":0,"false_positive":0,"false_negative":0,"fallback":2681},"retail":{"n":13338,"positive":17,"negative":11049,"false_positive":17,"false_negative":0,"fallback":2272}},"sell_full/FIRST/4":{"arb":{"n":15100,"positive":14543,"negative":0,"false_positive":0,"false_negative":0,"fallback":557},"retail":{"n":13338,"positive":20,"negative":12994,"false_positive":20,"false_negative":0,"fallback":324}},"sell_full/FIRST/8":{"arb":{"n":15100,"positive":14905,"negative":0,"false_positive":0,"false_negative":0,"fallback":195},"retail":{"n":13338,"positive":20,"negative":13252,"false_positive":20,"false_negative":0,"fallback":66}},"sell_full/FIRST/16":{"arb":{"n":15100,"positive":14996,"negative":0,"false_positive":0,"false_negative":0,"fallback":104},"retail":{"n":13338,"positive":20,"negative":13283,"false_positive":20,"false_negative":0,"fallback":35}}},"bounded_calls":556256,"nonfallback_disagreements_with_complete":0,"seconds":19.989237419795245},"counts":{"BUY/ALL/retail":30869,"BUY/ALL/retail/t0":8,"BUY/FIRST/retail":13128,"BUY/FIRST/retail/t0":7,"SELL/ALL/retail":30777,"SELL/ALL/retail/t0":2,"SELL/FIRST/retail":13338,"BUY/ALL/arb":16441,"BUY/FIRST/arb":16441,"SELL/ALL/arb":15100,"SELL/FIRST/arb":15100,"SELL/FIRST/retail/t0":1},"per_seed_trade_counts":{"9950024":11795,"9950025":12249,"9950026":12635,"9950027":12948,"9950028":11333,"9950029":12552,"9950030":10424,"9950031":9251},"candidate_histograms":{"BUY/virtual":{"0":30828,"1":12132,"2":4350},"BUY/previous_x":{"1":34867,"2":12443},"BUY/execution_product":{"1":19675,"2":19757,"4":6567,"8":651,"38":10,"36":20,"10":81,"6":89,"9":51,"5":99,"18":57,"3":125,"76":3,"40":2,"20":31,"148":5,"74":15,"12":15,"19":17,"37":15,"590":3,"147":1,"16":6,"73":1,"72":2,"296":4,"2361":1,"1182":1,"295":3,"1180":1,"592":1,"294":1},"preimage/before_x":{"1":68438,"2":24749},"preimage/before_y":{"1":68924,"2":24263},"preimage/amount_x":{"1":71594,"2":20104,"19":44,"4":175,"18":53,"37":62,"5":380,"3":453,"9":195,"10":58,"36":10,"148":5,"295":11,"147":4,"74":28,"73":3,"2361":1,"591":2,"296":1,"1180":1,"590":3},"preimage/amount_y":{"1":73353,"2":19818,"3":5,"19":1,"5":2,"9":3,"4":4,"10":1},"preimage/reserve_x":{"1":68435,"2":24752},"preimage/reserve_y":{"1":68923,"2":24264},"SELL/arb_product":{"1":19147,"2":18976,"8":738,"4":6348,"148":11,"74":23,"5":108,"3":124,"37":20,"10":93,"6":88,"38":6,"9":55,"72":4,"18":53,"19":8,"36":14,"12":12,"20":24,"16":8,"296":1,"295":4,"144":2,"590":3,"294":2,"1184":1,"146":1,"1180":1,"73":1,"1182":1},"SELL/retail_product":{"2":19337,"4":6373,"1":19515,"8":646,"6":1,"5":1,"12":1,"10":1,"3":1,"18":1},"SELL/shortcut_product":{"1":25200,"2":17524,"4":3153}},"validation":{"gate_P":{"passed":true,"command":"python3 -I gates.py","unmodified_before_changes":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","precision_decimals":6},"gate_Q":"Not applicable: no policy selection or score evaluation.","gate_F":"Not applicable: no new or changed Solidity/reference fee policy.","arithmetic":{"BUY_shortcut_disagreements":0,"fee_conversions_checked":186374,"fee_conversion_mismatches":0,"execution_wad_mismatches":0,"execution_bit_mismatches":0,"execution_checked":93187,"SELL_shortcut_disagreements":0,"BUY_upstream_checked":16441,"BUY_upstream_bit_mismatches":0,"BUY_upstream_wad_mismatches":0,"SELL_upstream_checked":15100,"SELL_upstream_bit_mismatches":0,"SELL_upstream_wad_mismatches":0},"tests":{"credit":"Taylor (gtmcknight)","preimage_boundary_cases":861,"virtual_grid_cases":125,"multiple_virtual_preimages":0,"off_grid_mutations":125,"fee_endpoint_path_cases":60,"seconds":0.03876103786751628,"passed":true},"independent_checks":{"credit":"Taylor (gtmcknight)","passed":true,"rows_checked":93187,"original_o1b_function_checked":47310,"original_o1b_disagreements":0,"original_o1b_candidate_cap_hits":0,"t0_rows":10,"matrix_count_checks":true,"digest_checks":true,"seconds":2.5806472613476217},"preimage_self_check_cases":861,"logging_patch_diff_check":true,"delivery":{"embedded_file_hashes_verified":13,"embedded_stdlib_tests_passed_offline":true,"representative_rows_replayed":11,"source_quotes_refetched_exact_matches":12,"matrix_totals_reconciled":true,"result_size_limit_bytes":64000}},"examples":{"BUY/grid/retail/retail_only":{"row":{"seed":9950024,"step":0,"is_buy":1,"amount_x":52736864012329304,"amount_y":5256031548566170624,"reserve_x":100052587955881181184,"reserve_y":9994743968451434381312,"bid_fee":2823606104386589,"ask_fee":2823606104386589,"is_arb":0,"path":"execute_buy_x","before_x":100000000000000000000,"before_y":10000000000000000000000,"amount_x_bits":4587761004111462105,"amount_y_bits":4617603783858280448,"before_x_bits":4636737291354636288,"before_y_bits":4666723172467343360,"reserve_x_bits":4636740991903050517,"reserve_y_bits":4666720282933441557,"ask_fee_bits":4568657214922885376,"bid_fee_bits":4568657214922885376,"fair_price_bits":4636737540415140026},"first":true,"previous_reserve_wads":[100000000000000000000,10000000000000000000000],"a":false,"r":true,"candidate_work":1},"SELL/full/retail/retail_only":{"row":{"seed":9950024,"step":0,"is_buy":0,"amount_x":33443339906639836,"amount_y":3352579293605253632,"reserve_x":100019144615974535168,"reserve_y":9998085904848713154560,"bid_fee":2504338944619858,"ask_fee":3174539777766639,"is_arb":0,"path":"execute_buy_x_with_y","before_x":100052587955881181184,"before_y":9994743968451434381312,"amount_x_bits":4584980514256324608,"amount_y_bits":4614731756228722738,"before_x_bits":4636740991903050517,"before_y_bits":4666720282933441557,"reserve_x_bits":4636738638537220180,"reserve_y_bits":4666722120182405605,"ask_fee_bits":4569466412880346446,"bid_fee_bits":4567921034974465748,"fair_price_bits":4636737540415140026},"first":false,"previous_reserve_wads":[100052587955881181184,9994743968451434381312],"a":false,"r":true,"candidate_work":3},"SELL/one_division/retail/retail_only":{"row":{"seed":9950024,"step":0,"is_buy":0,"amount_x":33443339906639836,"amount_y":3352579293605253632,"reserve_x":100019144615974535168,"reserve_y":9998085904848713154560,"bid_fee":2504338944619858,"ask_fee":3174539777766639,"is_arb":0,"path":"execute_buy_x_with_y","before_x":100052587955881181184,"before_y":9994743968451434381312,"amount_x_bits":4584980514256324608,"amount_y_bits":4614731756228722738,"before_x_bits":4636740991903050517,"before_y_bits":4666720282933441557,"reserve_x_bits":4636738638537220180,"reserve_y_bits":4666722120182405605,"ask_fee_bits":4569466412880346446,"bid_fee_bits":4567921034974465748,"fair_price_bits":4636737540415140026},"first":false,"previous_reserve_wads":[100052587955881181184,9994743968451434381312],"a":false,"r":true,"candidate_work":3},"BUY/grid/arb/both":{"row":{"seed":9950024,"step":2,"is_buy":1,"amount_x":44829754661183664,"amount_y":4479137138238002176,"reserve_x":99872364737351499776,"reserve_y":10012779837844449394688,"bid_fee":3850712331840608,"ask_fee":1756409797699473,"is_arb":1,"path":"execute_buy_x","before_x":99827707609179422720,"before_y":10017258974982688473088,"amount_x_bits":4586621469560185392,"amount_y_bits":4616729078514065408,"before_x_bits":4636725167355462877,"before_y_bits":4666732660689181840,"reserve_x_bits":4636728309821490927,"reserve_y_bits":4666730198257498892,"ask_fee_bits":4565742833405621489,"bid_fee_bits":4571025560637180076,"fair_price_bits":4636728122588003354},"first":true,"previous_reserve_wads":[99827707609179422720,10017258974982688473088],"a":true,"r":true,"candidate_work":2},"SELL/full/arb/arb_only":{"row":{"seed":9950024,"step":73,"is_buy":0,"amount_x":81544780655491424,"amount_y":8135164648836589568,"reserve_x":100325952680450965504,"reserve_y":9967510631921022402560,"bid_fee":1774037021657426,"ask_fee":4937438804440190,"is_arb":1,"path":"execute_sell_x","before_x":100407497461106458624,"before_y":9959415634149802770432,"amount_x_bits":4590540341363550208,"amount_y_bits":4620769308614895662,"before_x_bits":4636765966439229936,"before_y_bits":4666700860976264257,"reserve_x_bits":4636760228235420966,"reserve_y_bits":4666705311248352395,"ask_fee_bits":4572342501529002360,"bid_fee_bits":4565824124627892069,"fair_price_bits":4636726330932783419},"first":true,"previous_reserve_wads":[100407497461106458624,9959415634149802770432],"a":true,"r":false,"candidate_work":4},"SELL/one_division/arb/arb_only":{"row":{"seed":9950024,"step":73,"is_buy":0,"amount_x":81544780655491424,"amount_y":8135164648836589568,"reserve_x":100325952680450965504,"reserve_y":9967510631921022402560,"bid_fee":1774037021657426,"ask_fee":4937438804440190,"is_arb":1,"path":"execute_sell_x","before_x":100407497461106458624,"before_y":9959415634149802770432,"amount_x_bits":4590540341363550208,"amount_y_bits":4620769308614895662,"before_x_bits":4636765966439229936,"before_y_bits":4666700860976264257,"reserve_x_bits":4636760228235420966,"reserve_y_bits":4666705311248352395,"ask_fee_bits":4572342501529002360,"bid_fee_bits":4565824124627892069,"fair_price_bits":4636726330932783419},"first":true,"previous_reserve_wads":[100407497461106458624,9959415634149802770432],"a":true,"r":false,"candidate_work":4},"SELL/full/arb/both":{"row":{"seed":9950024,"step":97,"is_buy":0,"amount_x":47661241561428368,"amount_y":4754407759340988416,"reserve_x":100265632384815300608,"reserve_y":9973507135147188682752,"bid_fee":1976630436081421,"ask_fee":3314045666936043,"is_arb":1,"path":"execute_sell_x","before_x":100313293626376732672,"before_y":9968768483712282132480,"amount_x_bits":4587029529827348480,"amount_y_bits":4617039005680721771,"before_x_bits":4636759337433683285,"before_y_bits":4666706002759687649,"reserve_x_bits":4636755983571968659,"reserve_y_bits":4666708607860863978,"ask_fee_bits":4569788091559631857,"bid_fee_bits":4566704221999149808,"fair_price_bits":4636723329605190122},"first":true,"previous_reserve_wads":[100313293626376732672,9968768483712282132480],"a":true,"r":true,"candidate_work":3},"SELL/one_division/arb/both":{"row":{"seed":9950024,"step":97,"is_buy":0,"amount_x":47661241561428368,"amount_y":4754407759340988416,"reserve_x":100265632384815300608,"reserve_y":9973507135147188682752,"bid_fee":1976630436081421,"ask_fee":3314045666936043,"is_arb":1,"path":"execute_sell_x","before_x":100313293626376732672,"before_y":9968768483712282132480,"amount_x_bits":4587029529827348480,"amount_y_bits":4617039005680721771,"before_x_bits":4636759337433683285,"before_y_bits":4666706002759687649,"reserve_x_bits":4636755983571968659,"reserve_y_bits":4666708607860863978,"ask_fee_bits":4569788091559631857,"bid_fee_bits":4566704221999149808,"fair_price_bits":4636723329605190122},"first":true,"previous_reserve_wads":[100313293626376732672,9968768483712282132480],"a":true,"r":true,"candidate_work":3},"BUY/grid/retail/both":{"row":{"seed":9950024,"step":565,"is_buy":1,"amount_x":679559962596822912,"amount_y":68845348512115376128,"reserve_x":99539248179759595520,"reserve_y":10046288456931910615040,"bid_fee":3058802513779539,"ask_fee":2327739619230441,"is_arb":0,"path":"execute_buy_x","before_x":98861766856884633600,"before_y":10115133805444026335232,"amount_x_bits":4604296151533930336,"amount_y_bits":4634544977654141056,"before_x_bits":4636657195317773864,"before_y_bits":4666786467946261263,"reserve_x_bits":4636704868827668398,"reserve_y_bits":4666748619815657582,"ask_fee_bits":4567513824654584706,"bid_fee_bits":4569199540919276272,"fair_price_bits":4636894018783053727},"first":true,"previous_reserve_wads":[98861766856884633600,10115133805444026335232],"a":true,"r":true,"candidate_work":2},"SELL/full/retail/both":{"row":{"seed":9950024,"step":658,"is_buy":0,"amount_x":124976197329473856,"amount_y":12747695808838305792,"reserve_x":99211892235615207424,"reserve_y":10079436824217923878912,"bid_fee":143799808909385,"ask_fee":5232892045299692,"is_arb":0,"path":"execute_buy_x_with_y","before_x":99336868432944676864,"before_y":10066755835725080428544,"amount_x_bits":4593669904754736128,"amount_y_bits":4623365932816572978,"before_x_bits":4636690627619038039,"before_y_bits":4666759871876144175,"reserve_x_bits":4636681833200979864,"reserve_y_bits":4666766843323293963,"ask_fee_bits":4572683135923995066,"bid_fee_bits":4549437300562429991,"fair_price_bits":4636860375525095057},"first":true,"previous_reserve_wads":[99336868432944676864,10066755835725080428544],"a":true,"r":true,"candidate_work":8},"SELL/one_division/retail/both":{"row":{"seed":9950024,"step":658,"is_buy":0,"amount_x":124976197329473856,"amount_y":12747695808838305792,"reserve_x":99211892235615207424,"reserve_y":10079436824217923878912,"bid_fee":143799808909385,"ask_fee":5232892045299692,"is_arb":0,"path":"execute_buy_x_with_y","before_x":99336868432944676864,"before_y":10066755835725080428544,"amount_x_bits":4593669904754736128,"amount_y_bits":4623365932816572978,"before_x_bits":4636690627619038039,"before_y_bits":4666759871876144175,"reserve_x_bits":4636681833200979864,"reserve_y_bits":4666766843323293963,"ask_fee_bits":4572683135923995066,"bid_fee_bits":4549437300562429991,"fair_price_bits":4636860375525095057},"first":true,"previous_reserve_wads":[99336868432944676864,10066755835725080428544],"a":true,"r":true,"candidate_work":5}},"measurement":{"seeds":[9950024,9950025,9950026,9950027,9950028,9950029,9950030,9950031],"workers":8,"elapsed_seconds":5.880534364841878,"configs":[{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0009203902123611521,"gbm_dt":1.0,"retail_arrival_rate":0.888353194283175,"retail_mean_size":20.14023770885219,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950024},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0009819084273230522,"gbm_dt":1.0,"retail_arrival_rate":0.9345016048503667,"retail_mean_size":20.87775957738417,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950025},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0009759948217323315,"gbm_dt":1.0,"retail_arrival_rate":0.9803345188552723,"retail_mean_size":20.16017016789913,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950026},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.000940259160599479,"gbm_dt":1.0,"retail_arrival_rate":0.9967181191020914,"retail_mean_size":19.273852211748178,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950027},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0009558132566246118,"gbm_dt":1.0,"retail_arrival_rate":0.8346188832611453,"retail_mean_size":19.72053402706465,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950028},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0009128679068755097,"gbm_dt":1.0,"retail_arrival_rate":0.9845955677719646,"retail_mean_size":20.69881300031889,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950029},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.0008896206244572454,"gbm_dt":1.0,"retail_arrival_rate":0.7613366201510002,"retail_mean_size":19.07112758300407,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950030},{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_sigma":0.000932202010395885,"gbm_dt":1.0,"retail_arrival_rate":0.6199956787228518,"retail_mean_size":19.93402280926569,"retail_size_sigma":1.2,"retail_buy_prob":0.5,"seed":9950031}],"qt1_creation_sha256":"0af76fa66572167378c48100a70dcd8e64b58eb28cdd94b2e3456c95f367445f","qt1_runtime_sha256":"79c8d6c305ec6dfc29770b27cfb15b6cbd57b1fb01a23309cf8c131ca5c70189","qt1_runtime_bytes":20605,"vanilla_creation_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","trace_sha256":{"9950024":"2d815a3456f6ef825b410cb812e403d8d92a0a2ae3f7a51347a3afde7526483a","9950025":"9198a30f2b4a94987a626685d2fef3d45ecab65a07fbb3f1268c0019b4bc6d76","9950026":"8658b0ab7c62f40e62fe7b8a52403fe557c1e0333744e0c3f4d8837ec9b096dd","9950027":"fb3d29a51142bf833cacf636fa33866c326599ead017349c5165f3880069ee4d","9950028":"1aacbc1d775388739537b294f5e1116aa76290107f51a8bdec675e7402f5b25b","9950029":"fd79c9d68024082f313210fafaf59c3995a2b54071275d2ca7a3c0051df77f68","9950030":"809aa39976d081094b348313301d58c9829400182ddae2914ab582036700ea34","9950031":"bd51dacb5ea17208dbdd627e40d24331b35eedf54baf820e86d47f4a1af373da"}},"timings":{"source_build_seconds":31.75,"engine_seconds":5.880534364841878,"analysis_seconds":18.304940219037235,"bounded_comparison_seconds":19.989237419795245,"maximum_command_timeout_seconds":470,"under_one_hour":true,"checkpoint":{"credit":"Taylor (gtmcknight)","last_seed":9950031,"completed_trades":93187,"elapsed_seconds":18.282822518143803},"completed_utc":"2026-11-10T05:51:44.301571+00:00"},"inputs":[{"name":"o2-c","url":"https://api.imd.fun/artifacts/e714896bd9db6c7290b97fbeed9b16f5fb9d8d58d63e7a83376c3b3f560c48f2","sha256":"e714896bd9db6c7290b97fbeed9b16f5fb9d8d58d63e7a83376c3b3f560c48f2","bytes":59478,"artifact_hash_verified":true,"compressed_bundle_hash_verified":true,"declared_extracted_file_hashes_verified":true,"extracted_files":{"REPRODUCTION.txt":"afbf2d65feaf31ccbef14cd47bdc6bbcc540644d7a9a611b95d24b9549908225","amm_sim_rs/Cargo.lock":"59ddb500849874228e555288122ba62a56be4b5651cb8d99dd1a36e5923e462d","gates.log":"10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8","patch_engine.py":"ca4e65802fe8b09e1e44666f7f55432705c584d0e9e90b407a09595f9fc98344","scratch/analyze.py":"6e93104c27af1d49934dfbeca511e53eed471800c88ec29bf22212587b8e166d","scratch/bin/ar":"1b46777e2245bd20836af4370af342e5745b88881a10af856c4d8c12f2b8a54d","scratch/bin/cc":"de2a619ed8224940077293ecad2cbff7aad41af79b536f53b6a813cbfc6d970f","scratch/check_results.py":"329afa3ef8b1fcb9fc04501cb5180443b7bdab5e86e3d1f80fbd791bddf7c30c","scratch/checks.json":"d4b988be51c8909c8f5f42fa4b08c5107a9b52c70942682231092397f7ac4c2e","scratch/engine.patch":"02c962c449f30516aa25908f559ab49c6505c4df765732ecf51ba80e5f93c2f3","scratch/measurement.json":"1d49d6892559cd199485d29be7be8a67fee50ed4046f194f31eceeb7ace67573","scratch/run_measurement.py":"5abc83670dab616b5f27bbdbc14443247cd765c7c4511b11ebde61898bfb9aca","scratch/setup.sh":"5428b4843c03487b2b9536636be4739a6504c69dd2ee605614840a368fb23a3c"}},{"name":"o1-b","url":"https://api.imd.fun/artifacts/d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a","sha256":"d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a","bytes":32901,"artifact_hash_verified":true,"compressed_bundle_hash_verified":true,"declared_extracted_file_hashes_verified":false,"extracted_files":{"agg.py":"697b7ee53702f95c9822f40309640da001641ba13bed31a6927cf94c20b0d568","build.py":"9261ff31cd58dc8e1479ad4fbe5a48ce1d9ca0d53aa62f22ac3e3c73fb7a83d7","edge.py":"0c54d2328f24d05bb14a0020f52d3348966dd32b73f44f9ef387ed8600c26add","port.py":"81ec1136146777e10056c3a1e1ad5282de5a1b53e90d425decefc288e5948aac","sumedge.py":"5cde726772e92172363faba5d69c8b06196b1f7252f99d999cde1f1d239901cd","tell.py":"2ece4288ff6ba4d34aed25295c571f8f21fc09b51f8aa93b9a591a585ddb248f"},"extracted_hash_note":"No per-file expected digests in this bundle; enclosing compressed digest verified, extracted file hashes independently recorded."},{"name":"o1-a","url":"https://api.imd.fun/artifacts/9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b","sha256":"9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b","bytes":32160,"artifact_hash_verified":true,"compressed_bundle_hash_verified":true,"declared_extracted_file_hashes_verified":true,"extracted_files":{"brute.py":"aa10e58fd197b794efc1f5320d55bb606c6de2c29f55a09d5a98f6361e104cc9","tellport.py":"5101e0afb19641e85a37aaca2db43ff57914f9a44ac5102e77d5a90f70c6d332"}},{"name":"qt1","url":"https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","bytes":62223,"artifact_hash_verified":true}],"source_sha256":[{"url":"https://api.imd.fun/artifacts/e714896bd9db6c7290b97fbeed9b16f5fb9d8d58d63e7a83376c3b3f560c48f2","sha256":"e714896bd9db6c7290b97fbeed9b16f5fb9d8d58d63e7a83376c3b3f560c48f2"},{"url":"https://api.imd.fun/artifacts/d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a","sha256":"d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a"},{"url":"https://api.imd.fun/artifacts/9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b","sha256":"9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b"},{"url":"https://api.imd.fun/artifacts/8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/arbitrageur.rs","sha256":"f81bceb19ce315dfb457253f35e5dfc6cd78c587c54f06e873f0ef2e978f5503"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/wad.rs","sha256":"23643ea8c3fb78b52ec194d821d9780412d863dd9b275d6e867e4f7fe1423c14"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs","sha256":"bfaab0d22531d2d920d4fe108ae78ebde759e2b75e96ca4c8503f7979a92a80f"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs","sha256":"3d726a0fff1f69e639a8345d722226888089fd33b4a825fd85ece6bbc565994d"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py","sha256":"78915a1aa36341e61c29f333fb18b31a319f70ce3e8bc2f737ba8b003aea5c17"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py","sha256":"e4b13d9f271fe27e184157904e6e9f5079db7c49ec5c0e1a31b52daeea2c1f9c"},{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/VanillaStrategy.sol","sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572"},{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md","sha256":"02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2"}],"build":{"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","replica_commit":"4812a6382311624e1506aca131ca35c378f930d9","command":"maturin develop --release --locked","setup_runs":1,"setup_exit":0,"build_exit":0,"linker_repair_needed":false,"cargo_lock_sha256":"59ddb500849874228e555288122ba62a56be4b5651cb8d99dd1a36e5923e462d","qt1_sol_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","toolchain":"rustc 1.99.1; maturin 1.16.0; Python 3.12; solc 0.8.24; compiler defaults viaIR optimizer=200 Paris"},"code":{"encoding":"base64(zlib(JSON UTF-8 object mapping relative paths to file contents))","sha256":"12ad20044570ee1771206eef961948922ebf86536ae3ef967d73e2a8e69af256","compressed_sha256":"dca35723b6b19f700b5201c1e52d2b3642b11c3c4f7aa2b6886901dfef2a2298","files":{"REPRODUCTION.txt":"82897e5a70b82b39da81a4a93b816c8c9f3039daa1994efe1c9e56187b90d2e2","scratch/setup.sh":"5428b4843c03487b2b9536636be4739a6504c69dd2ee605614840a368fb23a3c","scratch/engine.patch":"f2225c441780c17bddea6b366abeb8a1649f7d3eb373c152a48b41a27dac4369","scratch/analyze.py":"824245e7549f8cef25922ba59924bc16694e1c8663382308d4355145432c141a","scratch/arithmetic.py":"5bb436495a5ef798dfdbef0ce41154963f8be5dd0b58ab7f26b8fdef2bfdd94c","scratch/run_measurement.py":"7167779b800b90816c46da53ca6a5a4f7a149b19ad32198286bc0997ae8396b7","scratch/tests.py":"be5865f5e44030a390a192350120f3cf47dc831b7370bbfd5ea6296fd65fdf74","scratch/check_results.py":"98e4159fbf7f6a9361379ad2f4b74a5842918f661ee3f6ac28cb70fa67891118","scratch/bounded.py":"2ece5157e5397072e630fd2560b2806a2d35e0d40be359f07c0f9ff44c05be47","scratch/o1b_tell.py":"2ece4288ff6ba4d34aed25295c571f8f21fc09b51f8aa93b9a591a585ddb248f","scratch/gates.log":"10f187b4b7d36e2d034ac4c74766f4b6670b3f766a2d291c7370050b799dcbf8","scratch/checkpoint.json":"46bff34342886eb8c52460555d7b9736ce311d6015daa40587cbf6565618d515","scratch/analysis.log":"9610ea3e34590c6a134e1f0fa9ba5ab2da9f16636ae3661c4e4af6a29831b4ce"},"zlib_base64":"eNrNfQt32zay8F9B070laVPUy5ZlqcxtkrrbfCev66Td9tg+PJRE2VxLpEpSr2Tz3795ACRIUbKT7T76sEg8BoPBYDADDIafnlxevLt8++MvLz68fPvGyTbZk8GTF0kwCbOB+OBvZ3EizNtsPr6Pwtu7zLLFH1lb+NFEpPFsFUxEEixm4dh3rqMPd2Eq4L80XibjoDFahrOJmAd+ukyCeRBlIliFkyAaB7aI4gwqziAvaKzvgmAmoJl0HCdBXggAPodsMb4LxvfxErAZBRGgNc5GiT/ZNv35vDG+82ezILoNfuiNeued9rQ/Oel1u+0T3z8bn/c63ZOgPQo6p37ntHNyOj1rnSCa3KlbPwtSxD6JJ8sxdGQZzeNJOA3hcRX6YrHN7uKoKxovuaiz2AIGU0Rx4WfjuzC6RRSX0WQWiGk4A2A+5P3y4adGX2TBJksd8WMwjieBGEE/eie2+DgLR40JpM0XSZCmtlgFSTjdijs/vQvgNbsLIgCeQK//33sYjOvo2WIx2wJhEmyxCT0No8Ch5kUWY3mxCCOgSk4lR1wGaYZIAn28NJx7Sdp84Se3sTOLx/dimsRzqodtNqh97HDcaYxFGC2WmRhxj8xlBNQF0k6oKGQCrdLlLHP+nsaRRcMNg7XxxxnXVkimQbZcOFAj8SPx9s2LC5Eux2Po7nQ5g77kCCiMRRLHGYB7E4tZGN0HCY6JHyZi7aciCoJJMHHEc+SlgXA0Uqywje++E+Z4ovUVU+Z+tkwA30mwCmbxQjQaktXgCYkQTAr0wzSDgSSefp8B6OB26wBjU+Mwhgl0DyhASIcZ4OPP4dVPsnAKObbIiTSkbKZUWiEWNHa5hFFK6jvAjIZ8pvKSZeRp8wY5z4yjQGD6CEvYIsDJKNZxAgRLsTs/xnJSLaGfKZAtFefnp61W58Rx6KHbFsC8wgearvVZ6QigxFasA+CZcRylS+zhaAtjhB3JgjkAv/CB4RCoWCchThuFKRBoEqSN7zHvqTNOV0wH4KnZhOdDugjGzGMA04/82fZjgB366eXFqx/fI4tjWhqmjyVOAeM6eoE89OiagHiWUj0h/3lcPeJUjwf0a+qPYphSwMVY8wKm3BY4KxgvkbFAFMxRliK7yWI4sf1MzOM0EydnLSA7jMoEhMkHRF91P+G5IeII5tQ7bjLNJiBggKQ/wUwTyLswUqY/wknWPRGvw+cgvbM4ngHPhlFKQhx+M5ShMDwkrifBIohQ/oZSnslONLAhltvBfBRMsD9yDslXEqVBChzlZ+EKmDVeA58sF4s4AQkxncLkBqEE7HM3D7JwDMVXYbAeChQLQIdksUxZHsJikoXQnYiYGEVFnIQg+HzZJykuDRa6jgDBocCzgATQ3Blg4PHMD+eE61sFJG43RtBqNMZWuJOz2CfK3yXx8vZOPHv/Abm1Ou5DEQM2iQjn2Cea5dkdDFWOHiJE8CKQPEk+ypJQY3+BGPkgnzbhfDkX0RJIlwDykBVNwglIH1j9/NmS+g89ew5QgVvSwE8Al7QJ9A3n/i32E2ZpwmTC9mCEU1g1GZ0x8FGG8xBbwwEDOYzDnCypx5wvaAWUTAcIPrGflCYYTEhYMG5BF5BSRLTbZ+enouN0ryNOOhXtTufkXJw4ZyqpB0m97qk4c9qnKu0M0s5P+uLc6fVVWh+gdbtd+Ov088rnUPD0tCPaJ05X1e62RLt1gq33nBPVMkiy885pW7T7TgdAfrp+QiOVXj8ZCHh5/svvXnoHIwTE9yZh6t8mAUk6KtCyxfWTaRB4MKtgkFKktEf1gwnmt/u97tnJbiFvHqZzpE9QgOEBxsy1PzlcYBRmhwtoKJx32/0zzH1/8erVQ13B3i4XMLqBPy/1o3dy0t4psAeNUpk9fSFkals6bbdqSuxpqlyopq3PWIp4VBvQ5rNXr5pJkPnhDBO7rX7vXCKuZTWzFub2Vc5PLy/ff9CqtbvtTm2mrJgTfae5s7O6PFmtk2ftNtjt9nU8/WRUHRxZqZqTN6UydCpX6tRklRBsE02Dmb9Ig4knFxRmdqfbOjk/aXXa563uWad7+nlXFNBaC4Lgmv4FjMVtEk7KKgQbDHX2wgB1K1tZCbrhsIghZQuy591yBE9igTDGUisfB7iG0Oo2hvVp5IPuCswCQvHnEFabSFcxQGSi8IRZRKsUQGRUryOW1CLdgnINyoktUB2zUUEEFSqDhcGmxQRWTRtVnQQXx/Q6InUPtGzMkNJevINXmTOOYcGUq4fMfYH8GiQ2rJ9TH5YLNFOuI2gXlfU7B8QvADdbNrC9iZBMz8PFwvMsB9YXpIdpQdEEiGlZshltrZStKPlvIylsATMM+oVl+QnoF9uEtzdnLTENZlOeqrZ4/ew376eXb15+uPCev/zw3pYaGGgL9CtcmSCOxZUxCiceyj8EbNjGFPRxb5GEY5lyAxqtS/0wJKsY1lC8ePbuvWt27BO7b7d70I1r0CSmYEwl2dKfpWaysW/ttTVg/elb8TqG1Qn1WrYiRrTa9U5geBYLVMpjXERhCgCnpCHpFNMwgmFSEFHHDpIV6AAMERubmiNgOeD+ZRIhlUxT0QcyGsnGat5aXHoWTDOXMiB1KBLkVrdCpOM2l13f4cqONb6ncoNCBZy7JqYfU7rVbHaKrBDRmVvfrwfc2FyBw3+CWRoMZKtzTgZNLMlcLLrTahUxmkdTatlyXdnAsSvh+ymym4SX9xGX/KlJiY02YFUqi/WfVhuhCtTGU1laEhYsvFmgU5ZMixHZPWgOcSs2Vc35YLTceig5zMXGBt6y/Y1ihVu33ZiCDpaZkG4120G7LzNAH1uk7lXOQshBUI+a22BzakoAUOumhKMfbU2ub9lg1JjAVdCXyJZpFmAXqQIKRaXJfSmeiE6yg4/GJZuVm2yOTa4MAKmudXRblEAQXkHAHnAxVEJJ5URgiPpTEC/mZmU35ixQptbeuu2u3rTkRJoLm5WcAq7rb/Jp8iFZBuXytS1XGpaVf4JhCRT9lK5iLrZ2smXqbR+knjZgH59uBdtDgO3HxlbiuqUubu2P2MlcUDu8dQOt5UTfWnb+kmytgvl4cSGZjeO6YOTiUWoDWyoM/Q2ga4OYSrYuZHFitLGjrR35djSyo48usZE/H018sR4gC+XtrYGnJGwJaGtJWoXE/dqgALSVHSVuzZwoCiVuIctNQ1oTHlbZGHapE1qlb8UzMD9wvwVNB6Vo8ZKN636INBiKS1y/Yf1K72DRmYhcD0WLFFoNR+EszLaOhgwP0icDIRkD07cT6MBxtLJsSvJg2LwcDBaggUxUseNocxRtjyLfAmXkkyFntDEAOhgLtAXjZQr9GgC5jUIrliOMyVwbKu+bpMAnchhr6QZr4Wwf4Q5Q2lvDKuxt6+ulbj3Hl/j6k4EmriIZ9cOM/ONoBPwiDFj/QLNfhSlTLcUy0NGPil4jpheoervEsA1W83ZyRraRmw1FHoIFYL7rpmpajIEopjWQmEotxsSZYkZuy8ZWUaWCR9mSfBuBJQw/URCiRQxPaommxFtfPk5ROHhaHieUS5By57ZwriBK/mRijm2kFVisoKflJUjSqKk6vjIi4yZf8XCpleUGkKWeqcSQe5fXQ9wNrCE5lJZiYai+yixO1HpN6aqw7LiGAQBW/SxBUH0tFy0TBvPCKJNTBk126ro1zEvqULAkmfVUmkuq8Zz7YWQqGvH6j2quM2dVKxyboOoAm6Mql7qfPg95NyB11dBD9l2YZq6mx5oyD7LYztYLg+o2B12AYS3AVA6CCT3zJg08FiskbSDmq5TcV7DZpO/oS9bCvWxODbm3+Amrfca9RWPIQK9Qi8ZU68aV6rsDcqxz2jMXoE6DSTnaghVhWpZzF2wm4W2QZoDrzE+zNAsW7huYc0PQZuPENXGhAevJsWz5hM/Qryh1W+UFNvHXiDzgQW1A9xdOvIAFwKqutrlKFZlQCeQSPrFybZVLJvHa/XQ/WCHD3LuugVLIYMbBUV6xonNvr7Dlj+FCQrER7OfaRgHilYG0MW5gmsNvudQ0TGBwuRCQwrj5xlVkKeijZQ9BBrojWGxNSgxTFIrGjTUktivnwATCHNyIcg0wEw257MmJgMapMRQzfxTMXJxtlE9wSpPNqO0XD5fLjfExDAjzG1t/R8TKlUFSu6yrYrn7GyYnEtM0/DlyMa4I6hGEvCFNCkpWz1sDOAIkOxNGmkbGTal7lOWn95xVxuJb8RbtWNpQR2MWNyXTFDfFefeS5RwZbmCPsnmLejXp33gSQpYXmboLJMfEKcNH3ca+S23aHXJ1TeeIyFZSdcpVeUJf4ZgdG3u2mlDmkLzBlAo7Fdx5lzp4WACzboACRIJsGsf3N1erQvaVavJA5KNpFwNpf9nwVCYg9Sx1C02QBt8aEmKGSmbccG6OU2sXQ435ckOHAAGh2Ai2WB7sdgwMt/Gd5LL0HvsFKlMtkkx+Y89+pFGPVX0tbR8N6xG+rG4j1oQSYE7sKc2Pb9xKTm7c662tYAFyr/aS4KsG0qq0sbGlzuxiaxUZSfvvLm5u8OwnIXljU50tLcpFKsjQWu2NJ6lPumJlCoz8ydrlRnDDHBcHnHgsNlDbx70WzreAZLldoNUfHaxPmzMFAE0e5WT8erlUO52NfRvTxBjQ3+FuwfJ2rSw4qim4nzeVOK9h9Brbb0hSzS0x1u5Gk7ULK9gsAjyVdU2ySNM/kszcHG2PbptU0WqghVsSznNQijaNUummeXvExS17c+Scn9c0BATgaaRahNGjdzA2hmXJWd0XZ8VzT5laUu8rvDuAqKhoGAFDXrVudrFHAviTgVLQnDTIpFJnStmct6HgG7icVgiRjkHJAQFgPIPl++bYvDJog5mXP1InmMZX1aGaskfHAlUZCaVOApL6WawWVJCeSFGoF4BqzrOO4rqtwQNg4Clr7ZGmiCce69tkn+GJuiU3cib5irZbS9WkQz2YtjjtbesYt0D3lMZ/7oOtOzU+IZqfm58ISfjF1j8DqqaBxvcsyNiCkOeFJFCIxKj2QqJl7W8A9chgSyYEYKUU/YF6uILMG/dTNmC7j3qQSbEDCpmyJ42qcllaE8E+K8G74pHSTDaFOqJB6NOWDlD2KaK/yyZfTv6xn7l/qiG320R5rHiMPlFX4Rfa/2zUMqZGfjX18jkoyW8A8xoD+GMbNIGMAf1o+yBKwuOJhzFgJc7wjQFa/FDTNvIDYw8pZgzw7+cdaZxrbYekQK70HZICrH6jqOkMboZRWppJ0uzTzbJIWyShLtgymGFHsBDigbNZNUobvGHcsezpbJneubglqaFgXjYNko+LGGCRU41hOeSL4qGrlUluNpPlfJGan4wxHUYZA6PmOAp4HO0cj0ykASGVz7qJxyYnpC/npuyVgwfyZEzaRuUEzRjUd+OzmqEAZu4nW/cwSoM9HnXygAwwVtPNyCcyIo0Sz5CSD3gnSGSnJOI6k6DiG98m/hwq4LPN1MTq9ItbbswgRs4qtkHeFh5b1lCPndQMzffAK86XvLGfEuXyFPMLCMbkwlHOnQ8OjrEkrB2iq0rmdqxj4/oaijMcZrgyS1S6W6XeDqKyhaudnJvPFR6FeeZ5KB48D7RPz8MtGM/DocKtmPJxan6ip5+okvccH4FNeydkBgp0VXKQL/b4YN4CoOXIAc5tFunkEpmG6LB1Hb2QNqZ0plnC6PBxqhIyxbmqlDZ0vmoLUNDItQUEM3pqIl9+wGnxMprGAPlnzT7FPJKIfA4LbRAPBzPer8fRYW8isN/x/LI4qKWqRHx2o6wc2I7TVf4sd3jyd+2cVqbgSOcvczqnVQe/5PSSvyL3fekZLpUmbyFsU5WdJUvgeOCmQ4fF19GlcEXlmFQ7bzVpo0agFiN4Z0Uo5V89bEWu+OdPWyG3IITcbxC8+cKcU1qVcpNMKIMsb8HjEZTN8JsqXXqTeWW4OVacmaMmoTJerMJbTgriLMOpgOeLL9udPva9Lb7/XrQ7Z5ZoiDZn6UePrmhtzqbBVP9HbXJq546D0k47D7ezjBbA1qbxdGLYKk2m/B+kjCyLFGZ5Kkl28gOA/m8HEIKelgChWp7DWUEHpuJIFIdcICZW4qkrFA0GO0crKqeECW8DYhs/5DwH6tcmDT8GbucU9yut/IRLnUNJ2DypLqS8DsTFrxeXv4NSEKndZHWejmIHDWVxuQR1/m9gNQyQxh6km7T84RkzSRUEW/JKA1N3EuAJEsIAWiITwiSKlDfz2p/dkw8fCIEQvbv/WPp4soQdA5bxZ3Iv600sgkUaztA9IwLIIP8aQFHhLxZJvIGO4VS1aUcs3EBzv7x6pzBYg5yJ16hvLou9sbcj5Eh2pBNz7NYoKPwIUPqA2IJaKfoK+3wm9jFIYhQ3oDTeLW+DnKIKRUU11gjQaQ8VLDDxyWUTGQQkBkpY1QyQWsIP6EjT0celdPzeEt+LNfxf5oFZjPuBOBd23DfEsSj7JsRQ+y7UHRPCCc4zyDiGDEs0m6Lsm0AMq6YSlLYsRKKibEN1l0Dl7eXOC+WChCcUlPzPJHLBLOSEETzPYh3jkfjeFXVuDSW8YLIK1y2hxbAd4AxYW0olizIjceyKsjcEV7NB6gbzRbbNRxcmstJ21cZ9jE22kNlKuEA6yComU6nCSDwVNb4TOx15KurcKBix/AiHNrp4LzjZwP9bW0ppWprRJCjP73fsXyv+WMagKR0RCdUe2BHtUE7ncyeBni9YTKNrTYAO3WB9Mus7OkdOUXSprRpqTjQ1OXYLSoZPQx2ZbaeFzlQbs4UP8Ab0mWpn3ow3jjMUYI9TrMzvuwIQTcW8Li1mMAzV89tBiYdlCyBXk82gum9YAUpGncCSIJgTzYs7CtYeJFJOQ4Ks5G4h9x7owEX1TFyjXVWoUYKLFhjl73R4L35ZnPkzCRFrNplk2kkUjInstJuXbnDpUssq7/Ftq74UUIvGtLHaSygiEvw5rmKj/DskF0v4ir33j3hpB3fw4CAy9pI4R1XC5cNYh2HOAfkYa5kbDx3oZaerDAB4c/7j6Vwawhzd6d6uPDQO1P7jh4GKFzJFHwR11lY7EFIBRKCbPXTeGRh9ZjE+Gy2jblJtFbG3itgFg2zrCb1D5IMEruC/S9xafBVRG4xE2W9JUnLLhFUElVpZ4VfCMl3p2PnTNpfrNp5Xoh6dS3i6kYVZ0LrKu2rfPDxbeHcrr6L2h78VdDXkBdjcQRr6uM1GziFDUFXkySNa5BnqPsuIfDATchHCx1GQrQNQ6e62C7wHkeZ+l+z9pi9VD7hpKRpYtqimbfW0vPulI3Z51uI+ZqUsTdTikKa0MVk+6RHqpAaJqwhYP60Lv7laXzhtJyR3eb3Y3PmgjKJyCFpBQyrLwGlgv4/i5C6O0aeZfWHx4iBulgH1g1T6emBiCoZ7TvtxgHo0aVowK1qttg2zo02LsS06vC631A8/VDz7qCRkqDM53HoIkOFaxehyK6RMcHsDXdVy2YjiLEuXY0WvcLjI7WMEc6gPLYKGJvptrTS7YkI53fVkFqZZxdExRDR00JXBYThXJeUrtKwbpTCGFXhrOz9RQshcfc/Wsz8mv2NQZQGv4nBPt72qu/PKFzfIikMblGGYwODqK/izmVntA2nCBRFqq8vhK9RfpWtSOjKntiFV3Ewr/PvlLbQFOeWzDYZ7C7lz/lCM9zr70+XgZnEj+AXYRtRGWn/FiS+UseN3Q5pz5ICYhCkabgD+4tfXeFEJL3CtgmSKNps/AhkVUm26Z8Vn4LQfBWRRu7nKPCTbTFm89XcD8GoA3QygKwF/xkWAf9r3ny9e7Dj+K0do9FaypTMQnjnZahffVh6ldrHy1Djry70PHmuTzl/KXrF4UFPvFTvc68eL+i5Acl1DIaFrbRvNIWOxKUtmdMLYpBYeDw1qdaaHHcE36U0dyOM61+/97ez6jle7RmZI2WmzqA689FHvZsUdeQfBbWod4e/H9HE4fZ17NGFllW1cvTfknsq5m9SG0r5fGiq7vkO5r3JB7SO9U76/p1My4UucdB/v3Qg6GPofynN4tzVUvkxu6ys8EfGsyK2o77W+gGa9x6K1x0Uw+Xq3v6H04St78JH3XpFYcVHJnfh0F76KJ15SOPGV/fGGNBgIW/e7073u2Dlur2uc5hg31Dzy/il/vHIHkZtT1yzkjm2VUDBrpq2tMf+eM2nSNBD0oPaod0fYqaVnx62ffTSsWj+NYHZQuOQwdU9zhNe9yUG3a91kcI8ur/2lHvF7/BwO+Df47gPLiZqTtV4Yaj9H184Hauoeu/43rurKfl+M3NvEJGcVW3qqWBVPFZlrPeynIQ/9lZ8GdKLu0L/+8B8jlsD/ucfFjm/9n+Ex/1UOHGNX4SU9N4YVZ/pDY0PjUvWw31+tZqN4B53HOM4Pa33m/eIEEiaPEle1TvOFw7wqjvQqLYn5QqFWCul5+KBDQXE8jxsAhpwGHp6vqiNnPI6P4khRrexgy0Z77vuTsz1KqMeemytN/uCxOXdo59R8uHtgjouTtgbJYCbSKCJO/8Yt+k0OD19wDl4NrJAbHy+1E2M9cBAf2x+6ZlyxPHZ1fNLvUdFXF37pEjAsmna2XQSprZ0N/xco/HLB16+t2dr139IVKLoNvFfHf4zONHFp7DEKRmrWeWHQpQriJssazqul9ZvgNRVKk2x+ZcigNei416cZOecbC5RChnW9WrYDqOSfAnUn1aTybVgwBKBE7idzU3j2UFXpInJT6+vquhSUodAg5cSAevksuKnZNCD5TD5xGF5JrPbtKzCKLIddF1EdX21uCuvGLLza7JIvm81ecHbuyGYXonnPVoQucG+Osc1CTpYku+syQvugVAWy65ol2LlDcCGcWba3rMMgC4QYZPGugyTFtRZervWUhufq3knYFcFoGnYbtbFjo5mL3ZsrAnxT60VXostA4etWlJIyYyiGqhlzgGrk7nZY/B63Ogx9VeBk1dQKFiXbBNiW2kl8AS3jMSr59GTrWCyWGK2HQq8V0W3UFgmLFdzFxbN4KSabL96+fv62FPJH7ioyGBcnd9wewUSezUBMl+f1MMO1EgSoQxHLTK4j8UMEwFyPWJWmSDlQ2hnFE/LYB90W4w5F48CMUAY7P0mEfwymFl+Cc5QCbpIfG0YhQK16PIvRGwvAzr34Pr9IEKWwTKNEJxe5O9sARdUYnLTOe7bhjcfG4NNn9IdbLNBBDgbeNiCbBL/zPsQhfINq/gKEh5nF6Pfg5nd8eatjLe9MyCUXRYQ55iEwsQOvwdSGR+ygS52nZcULbyOwkYASN5ZtYOChpqIl33I1LDtSKnedyTrcuZ6Xq4ZFEum2kK4lRVmrzt4tJO1jbttJ3nv8FbsaEaw5hX6FVb34883nuvtwiM83hfFcsaWRmMfFq6tfDNREhGZbg9mFjm3VW/W+G6VXdVx8Y+4a18qUtj8Z/sYYoBGtDOSbz9UrLG75TvQBaCU4dbdHyD4bliyvUcUl5LH7BtIpP3fkz3k3T/J3KEkDMlAcXS24T1NXB5cKPiEHI0XRdEieFFkSO8iVWXljWlb7nAHTbtJD+j9fyjMGeB5ko3N3cYFrcEDrAIGgRg2FrJLZRd3cciiVK9/N04yFUqnC9xeknneHjngD5D4pA29IBmYtD7GFnKwlzZiNR6PmKYdZ7hNP8Eri440Tqb4ftE3QdHrYMIFSX2NrFG7jYGpgvDAaUIyAdP2kZkyvn2C8pNxPnGJyceAxjk1VdhcvheyqD7LU6cO/ndN2v33S7be6nzX89JiegNwknE5Fo3ELVo7f1EJ4pskYX5vSmUeMDmQCfYCQG9HqBL3eyanjdINxb9I9wSNAmBDXUaPROAj9Ojo+Pn6giR9+EI223RXHbftE/PADVGk2ORCoZg4MybV9fCia7EOezKLZ/AaUHVIXwC6Sk0S89sGIyOAHA4aa6HNA3gSWrCHrvcSRookifonCdO0vxK/d5q8nwKFbjNoaBGIeT4KZWN9h+EtyffYpDibZeXhehv3s9u2eOO6e2+fQUzwZk86g7Bh9ycfKn6jNpvgFPa1LrT2iHVihQYuC6TrbSjAmR/MMoxUf6AEDY4DUP5Yh0HJL/dQQefHT69eIwTEt6JAuV2Hg3oF4u0CSfb/snTy1d4qw7B4I3B/ezaUrcgN07rSlqEbcVKRU2raU6VgHXweYC4qmXh7P8FJVB9dmJMgkGNMWp+SlXhtp3DtlGqNOlncqhz/Fg9+1qUANELDCxS48pRnfwimZ3i3ReCreB7NpDpGDQPFRCPCOgkqKJxjooAem1BNQp7QaCsRx6dBVozbdBKvNV6QmI6e+iKQ3ntNXds1oU7WSplCupueUsOU8PScG7rRO7bNd6uoDxTvD0tGAmfUZFAOdJRW/CZPSUZ2czfAdh/J3yymPUMkfxfxuvszIFcLOPc/l8OCqAZN6vhiIpRweyajarHpaIjWOFtNJBmJ2hYmwnaLDovS+LQ0dVjell07h9WPh2GMldqBktBWupfoVF6QSI1UckYZM+E77nAjfOasjvPqHGtHeUYgs6KicBAXtD6mh1qhBSDM5aFzM7+jHC6NpbJfoZIu8Q9JNySqCT8ouXz8p9ZWALwkL1BxTHXgV3/cxTJiKKKTed7j3ID6/ju0Unym+k2xIrup7+Y5PNf77GC93e9zLehLzfbxX9uh8DPedtoj+vdZ/D/fJTpT4j/v9r2DAHhPgrP0VDCh5buEDz/2OXiQqKOVvhwSedMCrYb/tf5b9Ng/IvQ1ao4C4wrbKfZsvlHx9Ws87593/NO+V/F0rnKcP2b+C//okALutjt053U+F3Jz/TGCPJSU+ULBrOeKoMTE2A9rCo0ETxKghB8mmC2HkETbbqpswBGoaiRKtmCtBH/8uv9ennFEHwiQeRX1JkSwtJ+JmC1SFUbFKPEpOIBmTgvZ7FHsVutGO2kSh6rPJYBDGg8Hf0CwcVkogSJxJ7BRMZafpYPB2EUQ8aeAFVULLASMDiAMrxTKwlKtfxjc0j6tHjryrhLsvfvaNef2kEs3+E+1/oRFIHbEcdtyDgliPjRzqFbNMCTwZt7PoG7JngdM+fbb/uf8AjZoe0AVfkTm5MMEXdYcwFct+XaXMUXLYSXygmV2kbIuUXKbsJqlStQjBUI+XCR5q0Xxx5J6TgrJbQDqFPABTV51l1zhSUk2F8s01ZmmnZSkUarPb1n4E5ARwWmgMkBNmMSuctpZYU1e1rldVTR6uWZbsev2yjH8ElFp68wY3WzglyLXDt7e0ZrAUedpcoZmwf7J8ls/4q63Ee8W/IG9l4fO6rJZgkG0lGV2suoW01gWdVRK8Uma9vTdN2V1b3V21cvmV24WEgIdmvaktBQjw0KYNPC5n5O2qtnrqdm/qSqltnF6/ezI+6TrO6PR82j33D2/j1EOq3c+pL/pv3dh57WNwmBwP+QEHh5fXfHnQjt0Hg5/99O61v5B6Rr+DK2xf1zLe5+Au+HMQVW2FmT2OpuGtgxdgQ9LLq2pJIQSAaMvRPExxt8JRuwV5Cu1DOuMZ6D5micMrFbV10NWWyYoqoRY8rIyfDaLPWrikM/BKV+mLKqMs/e4Z0qPdPbf7jycIDHDbEX8NIr4njB+IKeLOVcoigkWUJkCNozUtkhhjzjp4RmLKTh2XZekcfeDK8tzFw9ydRb9cVLVTNDrcRb/jiGcJiKDEvw2WifpyT4r3W6YhB3DjO49gVlZq00dx5nNyqIeG8bQ28WAITGuHTlU9B8/k5XURvFFUIOAoBRPSQKOe2xr2IJpoHUPdX+qJ7RMetdP2l7Cx0hir748jPG1C1VCyi1+QwmMQvtmN+5SJujJ9G2CAyWVWjSpJFJHF8VoOuSew/eTcSq7yOL+8mabqMlC5n44g8D1x6EdV/I5/bfGdnB/pHqoOS/v//O0u/pQJTT6KVzMFcdJA+S3dy/1livehjhczFEh6yh/z/Ngry6AhSLiO6C6NECcnfafTa7f75/jcdU5OT0/P+/x82gHrUz73et3TTourtYU4Pes5Z2fn7fNzfG47J73uSUs+9zrd09M2P5+fnYH9xNU6kNRtO/1+7+T8DJ47p06718cvqdBzv3faP0UQnZ5z0m73uu0SEbRD/NzXCrQhgWl0M0TEkbylT6xGPkgm/oUalvK7qhX0ypmggx91QiZBPywgWuaPZgEsJ+bBdUD8cNJvd/wefiUDFRu8sdHkMDj4QQH0T2h+WMfo7EAb5i/xgCjMtq9/pE9TpRJvXE+WKUy9gf7ZNtlj8f7i4keBdjZdbWviK50F1X0lIk53PxLxCOevny8uL/COnnQBm4QJ7SKrd3+ULkqOYFadv5hAKNDtak7bzgH/PQ4jE4vZwnAcA/5KQuKjIiA+Mw3JBUjdIcE/MEXe5Slq5DD1Mu/kfBQX3YMXdL5//urtc617OhajWTwCZZGC77zBQr3ryBuP4QFD/1Ikmmfv4A19Ma4jPn6k22o3nEtRqNHBoxq3IqAvZU3iJfCRmPCmH54GTo7IEYPvQpklnd4acLyJ5WyRQs01h5lZLlj+r7WrKhh4ZkYcjxec+BtuqTAlen6Gjs6y7ZQXjrW/HQqZj4Fy5PkNjj9+Tk67QI+hFXA1ASrkIfbh+WotPSAmrfyG/VrdrR9KC1eFS0ASTVpDERX38DhqAlFABhaRNCB3GfE9ojxAMMr6xRmEcCr3/cBuLL4hgC0UV8VmMZ4U4+VzhAzwCmSqQNQ9QgXkX4HmHizR30Lih15TjPRAjg3wVaVoTLsHA3KaAtKDmYInOHN/kcoQIGvFNYtiZWL67/86w0nVI+WBHuz4OewSqEKUcg26JMAfwUwC/77k9UA7DaYRxWqyTDn2hBbYAiGnMKMxYjezIs7mJajxkj/pTrN2c3Xmkb/hvbnAm7ULvFo79T28KmkNyqGNK9vu+eY1CpUi+ER+MRsDIimbEiFa1Q9osCyAZqtulMlWz95WB4DUOA0COoGgi0v91Q0oWUSlgBcOICHq/XYqV9uHpRgYGP5CRr5A8xEv0tLtW6u23VIAjAPNVUJSbIZ1N+aHh8NP7AtDcaDZPeEnho8MO1HEJujoqCfbjgpJYNYFl6gn1Tsn36pRhwY4T3Bct8YNiROtCDSpspNNTfa2yN6WvN++6F63Nj8g64vmR+l0IN+M/jfNi215Xmz3z4vHcMm/fS7IcBhbFW1iWBfNY1gXxWN4OHrHvigeB7ApB5dAlKZBcHAKEOTyLPC/cAIQiJz9N/9Z9kdORq6usP/oYfYvVoeB+vDMaCvQgZ22dPesEqP/zCrxKMYeFvFENgV31gaoqRPtMsbIHum+NxZKhVG2X8W6G2bdYcGqyJibMmNqbFsKfbKfVbclVt3+51m17GvLHJszq25w6Ps3SUqXCHLFhvx28uCMLp4qqo/QwaK7sdRKaYsiwxUUbPz+iHKaKvAxMB7GovMjZdw44iWd4OE3u5UKt1kVBs90hv9BCrXUJGiWrjoyXr+hzve/uiGiOJg5tzyhhqCR59LkUbNrs8q5pGK8WLvRlmq/ZrarIm9WujHyZR80Q9KYOVnUAFgVnfrAJ87q0XngK2fapSravpV4ZWjTkR8sbi6xDy064isgC8i+dJIl17LZsjbRrLasKyOY3OYfDcnahyDN4lvNSkxos+xdPVwbC7vwv6yadQ4BVoKc9u/SKwP3xTn8tLphgUyBO9HFt3/oC88FNjhodGMD2qxIZbwXy7eYNrRnsfvJDgKPl1KBv4yBAX/x4gB9nEMKarywalmWbt4VFQ3Av6YWsrCqMiyKbmuLbmugSwMyILf9HWnk8xlRjbEU0J134waFDBBKldtRGvVyFWd8H6X0nhjnZm2Qc/PBKOfVG2G0Ty63ag5c2Q1Q5NUv+wFdLqjtwFRWqhPA+6ulc/xCjrb+qyUaF7h3zuuXb7xnr9/+8uYDqRfcYfzw9kx+EF1FBBRFyTrCkqtK3n+6lC075waA33jqjqc2I+PSX/27fMD3uaGONTMXkMywNxhpQTELn1Pjq/xiibxtAgkc9v3Gpjj28L994Ir0Iib+cgPnNshMQ74aML+Pjgh/fVC1aSzXV1utpFIKdA9JgTh15v59MAH0zLrNPtpAxaaDTZgiK+uB2nM3fSYKfQmMpZLcaPRQzrnwYtNmpHpNlQCUyREwCifjEyTXEieSpwX0cS2UcjbPb5cv2OOjZctNITffG7Jp8PC7N2k92DQYpwxCIu2CQG6AfGfkXJCi8Na2adfcBWrCW8eqhwVYeXeBP0EhfDXo3uwWIz+U/YSGh/+RV7rF/7AzCiSt82msRdYXRNYSMQvCyJj7XdmRNn8Ws3SNgkLJFRcpGD4tc9TEFhg+uV1hpIny9QpYejz9/q92wPA2ksf/8lBh5/gYdP+vOTku79pXw4OXgoE/6lL3EpY6irc+j8f3ecQlDpyUQyqOztWFbUhAFTHI6IuajvYsilDk4zvcB6MHb05XBB+uLo+mFZTnz95fvHr55sL79dnly2dvXlyglAlnEzoe9rjsI4AyMhLma3y5XEYRnl3UVg1Wcyc/f5a1QP54Kz8CWevT9b9xPAnos5/+KDwARl6TVJdQxft4RncY5A3WZG+gdBWqCBZguhZ+6dzO4pGprioecYQdnBI/AePflSIG4BI4AG2ar+YF6EpAMQtpFqWOcR3RgwrlVr5xLrQr5/JGLaj8l6BjGuq6gZPGM3UfVl6FzBGuXJiUF2P1i5I028a9fr9/Np5O8QSxFbQ7I78zao+DUbfbDSbTs57f77am5+1przs6nZydnfr9fqs3HZ0H41bfH/vQB0la9igoUxVd4uT9VEbAmdCA0YV8dYFZVnfS5RhP7+0iJUiSGHldjrcN6rh7kAGw/wlxFBTU+MuMvMK/I3X72AayrLvDxLxi4MKMstyTYQKwxspPQrws7O7MBWj0W7xxQ0c56gIcMEJ2F4NMpHMdimLJ398LKDgWe5qE0QSvheP0xIxRElLs5T+WMEB4DZrML5ICTjz6O7o06bMYT9uQZUBEy4vC0YBZKz+e6LPuRddBBHsn8mqpvmBKnabTbiKU4zFFZDrSkx89+al7/GAAEDMLFimuDMpzhY6/9YSN/rLFl9vR3Jsv1VMa3s599TLJjLrFS2mSdPgPYBK5HMlk/HawhyHotTR8LWDLRNT/Fkk8oiNJvP+IMwpvByotRLs2eB2NSEa5mrBF08ajZAoFaeb8qdgPzRzMkGxpKfYCXu4DRHkdr6Y1WAsJkXwyXCUO+QeQGYzWCjXryCglNzikNMDQAf42COrNTLr8gqgw9n+y4y7LFumg2Ty4uqnBkNe0JU/hoi+DZgwEzIfdz5UImaKqSyJAxtWn+wFOXD/Dr0fZ4l77ZF+Jvz5znKciPVWaF3bKIw6mb77I78FUxdzu0OgSTweV4OnrPHgY0gRUsHgbTLxHgyRRDBDJrtsPRlVVwuzBzin2qmtfcgjRmpl8IJiXcKRAGUspgZ4gZRHN6B1+P+9jNgW6/AUe8Yku01s72NHSpF3hV7Hn9l7U56AA9GE25K/P0B5YgLzC1URzOfwRHpFf20XbXX6HZ+fmriwNE6H09RxNlUyDbLmALpGjTiYawXJ46f7l3d9+bMoSw/k9WCaisRB/uWxmc/oZQR/gB1bj8Qam+/guJvd+UjQ+vH7340sAwYV/+/Gv3otnL36+8H5++/oCUzdj8cuvMk0WXK4o7d3vH35++8Z7+eb9h2evXhWZ6Ezy9tWL37znL988u/zde/fsw8+ual5c/vL+wy/vcvDJMoUOiRfPLv/6Nk8cgxodi19fXn745dkr7+LNr9xDZxVEK8Hg8nfs3ID7OFBV6eX6+i9Y9PqJeArpUBKoNnRE/kyKwRz3CxorsVyJp81JsGpGy9nsH//4JMbLZCYar9L30zqZ5KO/66yR3kF3m0kwC/C7Ts0ZelFlTfSpwLg/kNfY9Hte76SxjO4jSG2AorjcNG6jpQNS1bn9+A/4EY1GFDdSMDAaUAQ0g8bmo2i8kMM3HKuBRHBH8EcOaHMIzMhY6kimMD+IpE6S/gPUvUYK8EVjC3/JzW9GH3oM57gni+3CSh1OtxhjGQgCwInEUJYchETXaXcEkXkIeYsQw9vBgjCboba+TDDyH/DtViy2DRzdxsZ1Ow7upC62CWi1rttyus5ZtS41DPIGUAsEaBGyMTCCrp8oNyPklSH9dWQ1D99Mo+X0nc4JzJ4npXmRkUaiGVbP8s9IcWgDjtSrPu7EYXoF1/pnImZJDyj2hqLIuLgdO4nnhyyqPzUK1lFt4M+aAFaRq0fbRj8dYFq3NRSgeGbhYoaRVOjzLqkeFYU3u02Ml912bAyTbXOQbLsaIrvTd2z8LnhlW3O6ZgB22+62jtqto6P2iU0/Z/Kn0a5udGrRc9d68NxSIMO7cMpR/dp2x0ZYLcas7pxqsyq+ocofUt1YxwTBGq7pY6HmZtWgk4P6c8b19/QBzX2nRqvUzaPuJhh2d23t/VDyhkKurNK9BVRUa1Nh5Loc0FpW3A+aurZKrxrtG6uhXlo31nGbv69+qC61WBlTqm0Xhw8Sn+/XXwoFELKrUJ7WQbE92ysigyI0KGxP10BQFWrH39t4OcBLqbLr+nUfyIQZgDFX1Aw4VlR6WhOu8VvxdjptIGgwlQIK+j1fZmwo0ceTKMQIH0kFWgh7GSscv/ukR2R3dlsgcGDerY9rmr+NswqPyeJW3fFp0Y7LZjuezirOt+lhs7IaeFtNvRz3Tuu+75sswSa70j7RQ6w4qgaYVx9L0j/mk7OvxPRm78iReQI9hLLU4G5BEkwcohLKFd+wkFKsEFgH5E2jLR+qMqr4IIPJ3wdQ0s6pOxunr0rQSU352x/2TtDY+u9O1Amo2C0+1KALWfmthum6XizFRbjRvbKpiCasPt8QW/lkqn56A4cQ27fUEz3DFNoT9VaNQB7g9HHBgGSQRk9+u2GrvowZ2YbkcZrDKpl+bENNU3V67Ck4+NFPmWcb8XTKldXshFziHps+Bh9EE4p041HXZQN5Pw5F7MnKUYzkcVBpR07qIf/GID6f/z/+OAJ3"},"limitations":["Full raw traces and installed engine/toolchain dependencies are not embedded; trace digests and representative rows are provided. Embedded stdlib tests run offline; a full engine rebuild is not self-contained.","Eight requested seeds only; no seeds were selected based on results and no policy was chosen.","Zero measured FN is not a universal floating-point proof.","No EVM implementation or gas measurement of predicates; candidate caps are not gas guarantees."]}