{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, exact-arithmetic arb/retail tell and U1 tables underlying LEAN and QLX5.","n":30,"id":"cand_outer","family":"the split test's window and candidates","find":"i==3?int256(2):int256(-2)","lo":"i==3?int256(3):int256(-3)","hi":"i==3?int256(4):int256(-4)","seeds":{"first":10206840,"last":10206967,"n":128,"unused":[]},"arms":{"QLX5":{"mean_edge":525.4343478263149,"peak_gas":206325,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"LO":{"mean_edge":525.4258536933021,"peak_gas":207248,"out_of_gas":0,"runtime_bytes":22439,"source_sha256":"cfb65b1b2e7c6cd0222eb414373e27e7d44a7f8b933a0fa9e2c03fc6abcf8f7a"},"HI":{"mean_edge":525.4383148736845,"peak_gas":205849,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"aff120560e8d16041c226cfd97d8b8d6f3e988edf0dfe648bbca401f6bf8f61f"}},"diffs":{"LO-QLX5":{"n":128,"mean_diff":-0.008494133012879601,"se":0.008729070481542823,"sum_d":-1.087249025648589,"sum_d2":1.2478883292866252,"seeds_positive":60,"min":-0.7708005375969833,"max":0.26295700646505793},"HI-QLX5":{"n":128,"mean_diff":0.003967047369530352,"se":0.0062264177288287635,"sum_d":0.5077820632998851,"sum_d2":0.6322315183403504,"seeds_positive":65,"min":-0.18217335332826678,"max":0.2713240907035015},"HI-LO":{"n":128,"mean_diff":0.012461180382409953,"se":0.008432273236658044,"sum_d":1.595031088948474,"sum_d2":1.1757301084935319,"seeds_positive":63,"min":-0.23813580597743567,"max":0.7129292859856378}},"pass_peak":{"LO":true,"HI":true},"reading":"On 128 fresh paired engine seeds, outer candidates +/-3 ulps (LO) change mean edge by -0.00849413 (SE 0.00872907) and +/-4 ulps (HI) by +0.00396705 (SE 0.00622642) versus QLX5's +/-2 ulps; this is a screening result, not promotion evidence.","not_done":["No 1,024+ seed confirmation, qt1 comparison, P/Q/T/F certification, or leaderboard submission; only the assigned 128-seed engine screen was run."],"method":{"map_sha256":"f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e","qlx5_url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","driver_url":"https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42","driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","driver_unchanged":true,"kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","compiler":"solc 0.8.24; optimizer 200; viaIR; paris","source_chars":{"QLX5":47230,"LO":47230,"HI":47230},"runtime_sha256":{"QLX5":"903a0cf860910022916e7c16aa1ffcfb94b0db9e25074665947d786615a44ae8","LO":"e2b86ece225bfffea79d5b1b630178ead1986874e133c49769657b3dbdd51b36","HI":"341f61bf53fb6615f03853ba6881c5796c0a62df9600cb0bb5d6bbcb0d889053"},"find_occurrences":1,"after":{"check":["build"],"engine":["check"]},"requires":{"platform":"linux-x64","minCpus":4},"opponent":"each arm alone against VanillaStrategy, fixed 30 bps","arm_order":["QLX5","LO","HI"],"workers":8,"block_size":32,"config_fields_equal":1536,"freshness":"Exclusively assigned range; no simulation outside it; exactly once per seed per arm.","block_start_wall_seconds":[2.7489149942994118e-06,47.62906844797544,122.35860164090991,198.5456361270044],"total_engine_run_batch_seconds":266.4283078536391,"callback_errors":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"paired_statistics":"d=edge(A)-edge(B); sum_d2=sum(d*d); se=sample_sd(d,ddof=1)/sqrt(n); seeds_positive counts d>0.","block_audit_columns":["arm","first","last","afterSwap_peak_gas","successful_afterSwap_calls","run_batch_seconds"],"block_audit":[["QLX5",10206840,10206871,205770,346903,14.077227147994563],["QLX5",10206872,10206903,205925,335972,23.53345583495684],["QLX5",10206904,10206935,206325,341719,25.386969091021456],["QLX5",10206936,10206967,205930,354317,25.693961832905188],["LO",10206840,10206871,205170,346867,13.834859292022884],["LO",10206872,10206903,204438,335939,23.772077000932768],["LO",10206904,10206935,207248,341688,24.90073344693519],["LO",10206936,10206967,204071,354314,25.685245843953453],["HI",10206840,10206871,205849,346855,17.76399726199452],["HI",10206872,10206903,203600,335952,25.04411669599358],["HI",10206904,10206935,203162,341669,23.676130898995325],["HI",10206936,10206967,202091,354309,23.05953350593336]]},"rows_columns":["seed","QLX5","LO","HI"],"rows":[[10206840,597.2564041968521,597.3323628576942,597.4241459985006],[10206841,532.574923872613,532.544555148308,532.4776520411668],[10206842,549.4914328387731,549.4893803003563,549.3976283359864],[10206843,480.1519937006348,480.1460746162316,480.201680712999],[10206844,507.63550409153055,507.5213146853911,507.4533307382023],[10206845,528.0716048423086,527.9425836752663,528.0602956232661],[10206846,516.6232091536257,516.594664562871,516.5816424891337],[10206847,438.0807166697361,438.06966611742394,438.0594935694142],[10206848,660.6978176232032,660.6545569824139,660.6520122785578],[10206849,572.9742088516592,572.796962414361,572.8047345769345],[10206850,611.5743114769558,611.6085340731312,611.5942863585013],[10206851,547.256693067858,547.2998374935988,547.3180384818231],[10206852,648.7095611702642,648.6252634529632,648.5812090242812],[10206853,394.2077137739459,394.28109491186945,394.17091313549946],[10206854,451.35466511439887,451.3540978548127,451.38203903309665],[10206855,504.84187242376044,504.86557647665484,504.8585773283999],[10206856,563.3296550412015,563.3335003068061,563.36518525843],[10206857,449.4029889229499,449.3891333959813,449.6055066362713],[10206858,640.7740605109093,640.7361044878588,640.7770498724057],[10206859,554.7818247871488,554.6767180623735,554.737097932443],[10206860,501.42257727516403,501.42698639453624,501.414332635185],[10206861,551.3471439319092,551.3822497103062,551.4666753703821],[10206862,606.8195071766334,606.8978845983054,606.9408847255042],[10206863,367.43130407916027,367.43095737780214,367.4207668373272],[10206864,689.5490350743133,689.5774385150353,689.589435003511],[10206865,513.879379710839,513.9175564947265,513.912308544813],[10206866,588.9284464519048,588.9369943114507,589.055267993373],[10206867,631.0184629092682,631.0795181484557,631.0959661143704],[10206868,394.30741123729064,394.2846320394547,394.3003812595781],[10206869,475.84526572936903,475.8293449571021,475.8483415403002],[10206870,548.1278614352208,548.1698564566075,548.1151487698004],[10206871,485.0175765602652,485.0150373886969,484.9803345859716],[10206872,492.8359375826374,492.83753539145147,492.73267691048613],[10206873,420.60967419469586,420.41857341174307,420.5957921953331],[10206874,444.87998055882196,444.84979800123676,444.85223456791186],[10206875,468.22983422383516,468.23186090624716,468.2307817940024],[10206876,460.45803633332935,460.3423356835244,460.36328487902756],[10206877,553.8155253568289,553.7628446350564,553.935844511225],[10206878,645.5044245560542,645.4309589123013,645.4901096514632],[10206879,411.1386802917404,411.1250619278787,411.1202802110833],[10206880,497.92556822276873,497.8711873320583,497.9272728418383],[10206881,489.24391572565344,489.2688814003808,489.21894944497353],[10206882,499.46145035944465,499.4344247818583,499.4760714545745],[10206883,461.82934615373574,461.8283983283248,461.8384367752141],[10206884,440.44261399774047,440.31489768696923,440.37375755790305],[10206885,413.0095710344226,412.962265399798,412.99623788012997],[10206886,430.83405584179707,430.71754884803886,430.71305403400146],[10206887,626.7076389843963,626.6995188321423,626.7129539219451],[10206888,459.2483308752301,459.27364658983095,459.22721771596065],[10206889,442.6644351044582,442.6549903631827,442.6550417053182],[10206890,632.5208649013455,632.6652283098625,632.5882324001534],[10206891,403.08217119238793,403.08214033369177,403.070812261135],[10206892,592.8336339123048,592.7735590329046,592.8050889219919],[10206893,514.7021468429098,514.7115713296907,514.6224826581232],[10206894,657.1347018178857,657.0906417582538,657.1461334695159],[10206895,436.81357772716046,436.83677987080875,436.82893011053613],[10206896,606.6043585298631,606.5587064452019,606.5067289177553],[10206897,384.2423010081942,384.24590334603545,384.20877174776297],[10206898,588.594575346036,588.6049594287856,588.5705858168287],[10206899,620.9943575859302,620.2235570483332,620.9364863343188],[10206900,481.9154054646415,481.9834659785612,481.9781175902425],[10206901,543.7704251972159,543.7891607463577,543.7041884047238],[10206902,617.43417697756,617.4265734110053,617.4761493615082],[10206903,479.74407842652704,479.7944096485249,479.8094054413373],[10206904,647.9379266712876,648.0033728410109,647.9899332598977],[10206905,631.6550330264326,631.6952019778236,631.7051125696814],[10206906,531.6022275433139,531.5853193725065,531.5785630891644],[10206907,381.5899879548414,381.61389950221303,381.6153501072241],[10206908,528.962889303319,529.0111492920549,528.9932739295449],[10206909,426.00613128317207,425.9711481791358,426.0213215148932],[10206910,428.22341655722437,428.10509012608713,428.195688437465],[10206911,434.55546869834194,434.5535254900446,434.54051362318626],[10206912,692.3317444091965,692.2861743607929,692.4974321291211],[10206913,535.6010959747447,535.8640529812097,535.8724200654482],[10206914,429.779421951469,429.8343890023482,429.7890014273427],[10206915,536.314411992411,536.344860671662,536.3953943200269],[10206916,352.48006371817655,352.48415600321914,352.4802446405293],[10206917,771.1552567075577,771.0075436470746,771.0831101586472],[10206918,441.40429588714824,441.3867263863818,441.3627237787413],[10206919,396.9977538414036,396.99893841885796,396.9816487847715],[10206920,429.0064235112995,428.95461244320956,429.0665573102884],[10206921,561.7497619139193,561.7618963929748,561.7723172807713],[10206922,503.5601525941444,503.51900186929834,503.4838800339869],[10206923,546.0189787279239,546.093456348377,546.027675419524],[10206924,510.8225130476177,510.8329972344891,510.792809142096],[10206925,502.35072546457945,502.17258182888,502.2150952790874],[10206926,408.93701493739525,408.9242895178053,408.8494893046231],[10206927,545.3964284362909,545.3750672773903,545.3425939339417],[10206928,506.2859602891602,506.3439293307191,506.30936162258485],[10206929,426.92728730590323,426.96196131155324,427.017478916685],[10206930,690.4747449185535,690.6058128877513,690.517130239205],[10206931,737.2963139068207,737.355917976361,737.2874374203533],[10206932,445.3745843031097,445.6275835591374,445.39661128016957],[10206933,413.1647887901789,413.116261663012,413.16158475228394],[10206934,543.0164092227109,543.0247306385737,543.0395255312262],[10206935,575.5298052182923,575.4714118906297,575.4941740004688],[10206936,470.5295647099762,470.5353511243647,470.50862367662427],[10206937,557.810407547714,557.8198877758206,557.8151256049003],[10206938,449.3403437087219,449.3718759008216,449.3625934361377],[10206939,587.5804955922596,587.5886346002186,587.5585719816956],[10206940,621.9492780904889,621.9437675521212,621.9321020162038],[10206941,480.287704396076,480.29461110177317,480.3003691298465],[10206942,504.02209852360704,504.0083381706047,504.1143552420892],[10206943,662.1572583294867,662.3782921351317,662.1401563291543],[10206944,543.5113469154794,543.5077051855951,543.5271617069714],[10206945,535.5775832500229,535.5524647285341,535.6332112332309],[10206946,511.7017308735382,511.73192184440927,511.71174036878995],[10206947,582.8643517580164,582.8824701325411,582.8383213807117],[10206948,633.908958124307,633.896847203295,633.8866383633255],[10206949,597.5260937305719,597.4925435161992,597.7221883141451],[10206950,643.9424715855934,643.939724473451,643.9585307555193],[10206951,480.20856663390754,480.20764087825427,480.269643567351],[10206952,379.45272186576267,379.4621538209261,379.5061103275893],[10206953,599.5155614585186,599.5517841342111,599.5463284722065],[10206954,553.3292490872196,553.2476793069951,553.3664630740923],[10206955,516.9621737898042,517.0659550281766,516.9599039992919],[10206956,505.09400581705466,505.17933685614497,505.1624460252265],[10206957,584.7238673766083,584.5481675800078,584.657213859244],[10206958,633.3962016742777,633.3056998369796,633.3023631457197],[10206959,621.5687600240562,621.7174352520972,621.549308190985],[10206960,745.2514753484962,745.262803238968,745.3707065356522],[10206961,488.2291087429421,488.173927504658,488.11016701846694],[10206962,488.17752485081945,488.1752680106188,488.204991501308],[10206963,483.85914775969866,483.88347638343026,483.87542687574535],[10206964,459.8528528267251,459.82106281624357,459.8900310953256],[10206965,411.8252489920554,411.8211143365896,411.909875366227],[10206966,472.5357768246772,472.5518985404353,472.52961475222713],[10206967,613.6846454226678,613.680549961573,613.6540928888722]]}