{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","table":1,"measurement_role":"bound","nodes":[{"rank":1,"node":[0,18,7],"abs_weight":16108.9481,"share_of_table":0.016615,"value_bps":51.5,"plus":{"gain":0.00235,"se":0.001879,"n":2048},"minus":{"gain":0.000532,"se":0.00194,"n":2048},"confirm":{"sign":1,"gain":-0.000567,"se":0.00098,"n":8192}},{"rank":2,"node":[0,17,6],"abs_weight":15961.8332,"share_of_table":0.016464,"value_bps":55.0,"plus":{"gain":0.001532,"se":0.001928,"n":2048},"minus":{"gain":-0.001129,"se":0.001948,"n":2048},"confirm":null},{"rank":3,"node":[1,20,10],"abs_weight":13076.9873,"share_of_table":0.013488,"value_bps":46.0,"plus":{"gain":0.001706,"se":0.001975,"n":2048},"minus":{"gain":0.000336,"se":0.001891,"n":2048},"confirm":null},{"rank":4,"node":[1,21,12],"abs_weight":12710.2592,"share_of_table":0.01311,"value_bps":45.0,"plus":{"gain":0.003633,"se":0.001942,"n":2048},"minus":{"gain":0.000464,"se":0.001849,"n":2048},"confirm":{"sign":1,"gain":0.000327,"se":0.001098,"n":8192}},{"rank":5,"node":[1,20,11],"abs_weight":12671.796,"share_of_table":0.01307,"value_bps":50.0,"plus":{"gain":0.002268,"se":0.001751,"n":2048},"minus":{"gain":0.002562,"se":0.001874,"n":2048},"confirm":{"sign":1,"gain":2.1e-05,"se":0.000957,"n":8192},"confirm_all":[{"sign":1,"gain":2.1e-05,"se":0.000957,"n":8192},{"sign":-1,"gain":-0.001292,"se":0.000985,"n":8192}]},{"rank":6,"node":[1,21,11],"abs_weight":12259.7743,"share_of_table":0.012645,"value_bps":41.0,"plus":{"gain":-0.000413,"se":0.0018,"n":2048},"minus":{"gain":-0.001697,"se":0.001942,"n":2048},"confirm":null},{"rank":7,"node":[1,19,9],"abs_weight":11795.6603,"share_of_table":0.012166,"value_bps":51.0,"plus":{"gain":0.003334,"se":0.001841,"n":2048},"minus":{"gain":0.001376,"se":0.002054,"n":2048},"confirm":{"sign":1,"gain":-0.000811,"se":0.000924,"n":8192}},{"rank":8,"node":[0,18,8],"abs_weight":11207.6143,"share_of_table":0.01156,"value_bps":54.5,"plus":{"gain":0.001198,"se":0.001904,"n":2048},"minus":{"gain":0.002465,"se":0.002088,"n":2048},"confirm":{"sign":-1,"gain":0.000918,"se":0.000955,"n":8192}},{"rank":9,"node":[1,26,12],"abs_weight":10228.4207,"share_of_table":0.01055,"value_bps":9.0,"plus":{"gain":0.000735,"se":0.001836,"n":2048},"minus":{"gain":0.003934,"se":0.00185,"n":2048},"confirm":{"sign":-1,"gain":-0.000144,"se":0.000923,"n":8192}},{"rank":10,"node":[0,16,5],"abs_weight":9716.8474,"share_of_table":0.010022,"value_bps":56.5,"plus":{"gain":-0.000315,"se":0.001883,"n":2048},"minus":{"gain":-0.000903,"se":0.001875,"n":2048},"confirm":null},{"rank":11,"node":[0,19,9],"abs_weight":9697.5758,"share_of_table":0.010002,"value_bps":53.0,"plus":{"gain":-0.002391,"se":0.001929,"n":2048},"minus":{"gain":-0.000261,"se":0.002099,"n":2048},"confirm":null},{"rank":12,"node":[1,19,10],"abs_weight":9158.6631,"share_of_table":0.009447,"value_bps":54.5,"plus":{"gain":-0.001029,"se":0.001876,"n":2048},"minus":{"gain":-0.000409,"se":0.001866,"n":2048},"confirm":null},{"rank":13,"node":[1,25,12],"abs_weight":8659.4209,"share_of_table":0.008932,"value_bps":17.5,"plus":{"gain":0.003055,"se":0.001864,"n":2048},"minus":{"gain":0.00186,"se":0.001878,"n":2048},"confirm":{"sign":1,"gain":-0.000763,"se":0.00095,"n":8192}},{"rank":14,"node":[1,22,12],"abs_weight":8659.4209,"share_of_table":0.008932,"value_bps":35.5,"plus":{"gain":0.001563,"se":0.00189,"n":2048},"minus":{"gain":-0.000361,"se":0.00202,"n":2048},"confirm":null},{"rank":15,"node":[0,18,6],"abs_weight":8430.9291,"share_of_table":0.008696,"value_bps":49.5,"plus":{"gain":-5.8e-05,"se":0.002352,"n":2048},"minus":{"gain":0.000414,"se":0.001942,"n":2048},"confirm":null},{"rank":16,"node":[1,26,13],"abs_weight":8323.3838,"share_of_table":0.008585,"value_bps":12.5,"plus":{"gain":-1e-05,"se":0.001955,"n":2048},"minus":{"gain":0.00041,"se":0.001929,"n":2048},"confirm":null},{"rank":17,"node":[1,18,8],"abs_weight":8280.5743,"share_of_table":0.008541,"value_bps":55.5,"plus":{"gain":0.001792,"se":0.001814,"n":2048},"minus":{"gain":0.002061,"se":0.001892,"n":2048},"confirm":{"sign":-1,"gain":-0.000915,"se":0.000958,"n":8192}},{"rank":18,"node":[0,19,8],"abs_weight":8055.6506,"share_of_table":0.008309,"value_bps":48.5,"plus":{"gain":0.003168,"se":0.001929,"n":2048},"minus":{"gain":0.000988,"se":0.001843,"n":2048},"confirm":{"sign":1,"gain":-0.000842,"se":0.000934,"n":8192}},{"rank":19,"node":[1,27,13],"abs_weight":7872.781,"share_of_table":0.00812,"value_bps":8.5,"plus":{"gain":0.000151,"se":0.001802,"n":2048},"minus":{"gain":0.002574,"se":0.001861,"n":2048},"confirm":{"sign":-1,"gain":-0.001195,"se":0.000946,"n":8192}},{"rank":20,"node":[1,29,14],"abs_weight":7655.0331,"share_of_table":0.007896,"value_bps":3.5,"plus":{"gain":0.000283,"se":0.001787,"n":2048},"minus":{"gain":0.001331,"se":0.001885,"n":2048},"confirm":null}],"confirmed":[],"sum_of_confirmed":null,"gain_vs_base":0,"se":0,"n":0,"seeds":[510000,518191],"best_delta_zb64":"","advance":true,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","dropped":[{"rank":21,"node":[0,12,2],"share_of_table":0.007485,"reason":"time: not scored on SCAN or CONFIRM"},{"rank":22,"node":[1,21,10],"share_of_table":0.007456,"reason":"time: not scored on SCAN or CONFIRM"},{"rank":23,"node":[1,25,11],"share_of_table":0.00742,"reason":"time: not scored on SCAN or CONFIRM"},{"rank":24,"node":[1,22,13],"share_of_table":0.00742,"reason":"time: not scored on SCAN or CONFIRM"}],"engine_runs":0,"report_set_evaluated":false,"controls":{"implementation_sha256":"4d4894474104eac9148e52b18d679b994ce73c6a889bafa18169c8dacca22855","implementation_sha256_matches":true,"source_sha256_matches":true,"empty_delta_equals_original":{"equal":true,"n":64,"seeds":[500000,500063],"comparison":"byte-identical runner CSV (17 significant digits): original/sim vs overlay/sim with an empty delta file and with no delta argument","csv_sha256":"45d5a3a8cfb7eb9acdbf59206c3abbf70706d9479fa703c31f7277bf8c1a72a8"}},"seed_sets":{"profile":[64000,64127],"scan":[500000,502047],"confirm":[510000,518191]},"profile":{"table_lookups":1286194,"table_abs_weight":969526.9616,"abs_weight_by_level":[385116.401,572521.0345,11889.5261],"top24_share_of_table":0.246928,"kept_share_of_table":0.217149,"frozen_top24":[[0,18,7],[0,17,6],[1,20,10],[1,21,12],[1,20,11],[1,21,11],[1,19,9],[0,18,8],[1,26,12],[0,16,5],[0,19,9],[1,19,10],[1,25,12],[1,22,12],[0,18,6],[1,26,13],[1,18,8],[0,19,8],[1,27,13],[1,29,14],[0,12,2],[1,21,10],[1,25,11],[1,22,13]],"matches_harness_table_use":true},"feasibility":{"step_millibps":500,"all_scored_steps_pass_qpl_apply_and_encode":true,"failures":[]},"diagnostics":{"scan_steps":40,"scan_mean_of_step_gains":0.000977,"scan_se_of_that_mean_paired_by_seed":0.001266,"scan_best_step_gain":0.003934,"scan_worst_step_gain":-0.002391,"scan_fraction_of_seeds_changed_by_a_step":1.0,"scan_steps_with_mean_minus_se_above_0":11,"confirm_steps_scored":11,"confirm_mean_of_step_gains":-0.000479,"confirm_best_step":{"node":[0,18,8],"sign":-1,"gain":0.000918,"se":0.000955,"mean_minus_2se":-0.000993},"confirm_largest_mean_plus_2se":0.002828,"confirm_steps_with_mean_minus_2se_above_0":0},"method":{"base":"build/original/sim (unmodified QLX5 replica)","candidate":"build/overlay/sim with a one-record delta file \"1 level row column +-500\"","build":"harness build.py, g++ 13.3.0 -O3 -std=c++20 -ffp-contract=off","score":"harness score.paired: mean of candidate minus base per seed, se = sample sd / sqrt(n)","node_indices":"stored knot indices [level,row,column] of table 1 (first retail synced), shape (3,43,30)","confirm_rule":"CONFIRM run for each signed step with SCAN mean - se > 0; confirmed means CONFIRM mean - 2 se > 0"},"limitations":["Only the 20 most visited of the frozen 24 nodes were scored; ranks 21-24 were dropped for time (see dropped) and have no SCAN or CONFIRM figure.","No step is confirmed: 0 of 11 CONFIRM runs has mean - 2 se > 0, so gain_vs_base, se and n are 0, best_delta_zb64 is empty and no sum was scored.","This bounds single-node moves of exactly one lattice unit (0.5 bps) on table 1 only; joint moves of several nodes, larger steps and the other tables were not tested.","Each CONFIRM standard error is about 0.001 edge, so a true single-node gain below roughly 0.002 cannot be excluded; the steps not sent to CONFIRM have only the SCAN figure (se about 0.002).","The mean of the 40 SCAN step gains is +0.00098 with se 0.00127 when paired by seed (the steps share one base and one seed set, so their gains are correlated, not independent); the 11 steps it selected average -0.00048 on CONFIRM.","Node [1,20,11] qualified in both directions; its confirm field holds the better of the two CONFIRM results and confirm_all holds both.","Visit ranking uses abs_weight on 128 profile seeds (64000..64127): a visit measure, not an objective gradient. Ranks 13/14 and 23/24 tie in abs_weight to the printed precision.","Replica only: no engine run, no Solidity, no gas, and seeds 10000..12047 and 64128..65023 were not run. A profile-guided and a -march=native build were tried for speed on 64 SCAN seeds, gave byte-identical output and no speedup, and were not used for any score."]}