{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, qm and U1 tables, exact-arithmetic arb/retail tell underlying LEAN and QLX5.","n":29,"id":"rival_clip_p0","family":"rival clip and band widths","find":"clip(w2/5,-6*U,6*U)","lo":"clip(w2/5,-3*U,3*U)","hi":"clip(w2/5,-45*U/10,45*U/10)","seeds":{"first":10206712,"last":10206839,"n":128,"unused":[]},"arms":{"QLX5":{"mean_edge":541.4294679661153,"peak_gas":204800,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"LO":{"mean_edge":538.8305332679228,"peak_gas":206240,"out_of_gas":0,"runtime_bytes":22448,"source_sha256":"f0b4c0cb3011a254459f197a571bde0f06b49d8022a85419357474ede9143bd7"},"HI":{"mean_edge":540.810171485516,"peak_gas":206171,"out_of_gas":0,"runtime_bytes":22448,"source_sha256":"ff10131b33c7b345ffef08203246b88cf003582edbf22046be2fd6efd0426050"}},"diffs":{"LO-QLX5":{"n":128,"mean_diff":-2.5989346981924877,"se":0.09390497355386199,"sum_d":-332.6636413686384,"sum_d2":1007.9188301893273,"seeds_positive":1,"min":-5.255251771819758,"max":0.08489441437893674},"HI-QLX5":{"n":128,"mean_diff":-0.6192964805992864,"se":0.04482809049636901,"sum_d":-79.26994951670866,"sum_d2":81.75897068436414,"seeds_positive":15,"min":-1.7371452212257736,"max":0.6057913176773582},"HI-LO":{"n":128,"mean_diff":1.9796382175932012,"se":0.06436713131164334,"sum_d":253.39369185192976,"sum_d2":568.9785186436428,"seeds_positive":127,"min":-0.0449031365992596,"max":3.610854360245014}},"pass_peak":{"LO":true,"HI":true},"reading":"Narrowing the phase-0 rival clip loses edge versus QLX5 on 128 paired seeds: LO -2.598935 (SE 0.093905) and HI -0.619296 (SE 0.044828), so neither merits promotion.","not_done":["This is a 128-seed structural-constant screen, not 1,024+ seed confirmation; no contract is returned or submitted to the leaderboard.","No replica or P/Q/T/F/G/E certification was run; no qt1 arm was requested or run.","Gas limits are verified only on the reported engine seeds."],"provenance":{"input_map_sha256":"f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e","base_url":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","driver_url":"https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42","driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","driver_unchanged":true,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","compiler":"solc 0.8.24; optimizer 200; viaIR; paris","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","find_occurrences":1,"only_edit":"One find-to-lo/hi replacement in the original decoded UTF-8 source","source_chars":{"QLX5":47230,"LO":47230,"HI":47238},"config_fields_equal":1536,"workers":8,"block":32,"arm_order":["QLX5","LO","HI"],"opponent":"30 bps VanillaStrategy","budget_seconds":2100,"engine_seconds":201.10917092254385,"method":"Each arm alone vs Vanilla; unrounded seed-paired differences; SE is sample SD (n-1) divided by sqrt(n).","evidence":"Locally measured by the unchanged block driver, not historical numbers from cited artifacts.","callback_errors_total":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"block_audits":{"QLX5":[{"seeds":[10206712,10206743],"seconds":18.90146557497792,"calls":355835,"ok":355835,"peak_gas":203362,"sum_ok_gas":48582208927,"out_of_gas":0},{"seeds":[10206744,10206775],"seconds":16.822047824971378,"calls":349996,"ok":349996,"peak_gas":204800,"sum_ok_gas":47805736447,"out_of_gas":0},{"seeds":[10206776,10206807],"seconds":16.830794104142115,"calls":350815,"ok":350815,"peak_gas":204189,"sum_ok_gas":47919173137,"out_of_gas":0},{"seeds":[10206808,10206839],"seconds":19.604980535106733,"calls":354139,"ok":354139,"peak_gas":204437,"sum_ok_gas":48376745516,"out_of_gas":0}],"LO":[{"seeds":[10206712,10206743],"seconds":15.348001386038959,"calls":327731,"ok":327731,"peak_gas":206240,"sum_ok_gas":45143906193,"out_of_gas":0},{"seeds":[10206744,10206775],"seconds":15.244896929943934,"calls":322891,"ok":322891,"peak_gas":203525,"sum_ok_gas":44484307984,"out_of_gas":0},{"seeds":[10206776,10206807],"seconds":15.651739744003862,"calls":322622,"ok":322622,"peak_gas":205431,"sum_ok_gas":44463311679,"out_of_gas":0},{"seeds":[10206808,10206839],"seconds":15.397722203051671,"calls":326177,"ok":326177,"peak_gas":205947,"sum_ok_gas":44947913841,"out_of_gas":0}],"HI":[{"seeds":[10206712,10206743],"seconds":18.179905595025048,"calls":347220,"ok":347220,"peak_gas":205172,"sum_ok_gas":47507800765,"out_of_gas":0},{"seeds":[10206744,10206775],"seconds":17.5660673531238,"calls":341769,"ok":341769,"peak_gas":206171,"sum_ok_gas":46788245136,"out_of_gas":0},{"seeds":[10206776,10206807],"seconds":15.162004900164902,"calls":342051,"ok":342051,"peak_gas":204367,"sum_ok_gas":46840809158,"out_of_gas":0},{"seeds":[10206808,10206839],"seconds":16.399544771993533,"calls":345534,"ok":345534,"peak_gas":205608,"sum_ok_gas":47304449501,"out_of_gas":0}]},"rows_format":["seed","QLX5","LO","HI"],"rows":[[10206712,609.333525108606,607.1104692556835,608.9631447419537],[10206713,386.2342332171918,383.23091438237475,384.84348161036866],[10206714,487.6236076044478,483.84738953841924,486.5453826007532],[10206715,533.0278963895016,530.8066316678057,532.146041324283],[10206716,647.7084889585441,645.4539464199012,647.4137098152048],[10206717,635.999226622836,631.9992365075661,634.4461238612009],[10206718,495.6385656783116,491.38783854384985,493.9965596124998],[10206719,600.0923375704575,598.19877016561,600.5546396207754],[10206720,367.51035157663455,363.5369496546851,366.2064586954845],[10206721,598.076126966166,595.8785069826547,597.5044158647821],[10206722,662.4657566206181,661.8837713633886,662.4014125684018],[10206723,557.414329321693,556.0106386874794,557.2384396434039],[10206724,666.274850463372,665.6071754209247,666.8564551782083],[10206725,749.9648897027213,748.3899902673033,749.704346301959],[10206726,576.2179442886867,573.3692231627662,574.5949057148647],[10206727,458.48265720364964,456.1011426926116,458.17664123504034],[10206728,546.7486712732002,544.9209273355946,545.9733046744112],[10206729,564.063399232339,560.8362793092721,563.0216409920397],[10206730,569.5673870261865,565.055289564873,568.056296225535],[10206731,603.5923233535921,600.6698552567485,603.0611100335612],[10206732,472.7344311990045,468.84861820561497,471.38675830292385],[10206733,657.1153972037667,656.9870056323298,657.3884230444746],[10206734,678.766547141347,676.8175757503955,678.1446247900074],[10206735,374.8484973508783,373.5373045638722,374.5784448688701],[10206736,398.2542968608815,395.3600182115232,397.55456330035616],[10206737,450.5343615640333,446.8784247114704,449.9468125153914],[10206738,504.4564208409204,501.85994456487157,504.1127543657303],[10206739,453.19566044195767,447.9404086701379,451.53703016522456],[10206740,505.1359472876189,501.78439671466447,504.7646635248491],[10206741,532.2895785343005,528.5656744867222,531.0210677162513],[10206742,408.36066570577,405.53885922406795,408.0166488167251],[10206743,550.8947265096818,548.787615706963,550.9343120136565],[10206744,698.0073622605117,693.9875949866462,697.0340290526435],[10206745,439.0932130523368,436.7091712488689,438.386241200999],[10206746,644.6896234875147,643.1219878515748,644.503786151499],[10206747,492.6931694246137,489.04666541234286,491.67543535927416],[10206748,635.0444590809522,632.7919925246425,634.7175969802552],[10206749,445.40483817787907,443.20248078795,444.84461690013495],[10206750,745.7301696320268,745.239128533423,745.775397964531],[10206751,793.1450325900453,791.1924115012854,792.8692274310577],[10206752,473.2106422882143,470.7064041815879,472.9587096548244],[10206753,642.2266756181358,638.5042345681877,641.5585783963398],[10206754,643.7905132380258,641.066296618088,642.7861270254815],[10206755,810.167686454791,807.3481371017641,808.8556074290183],[10206756,690.5246529821826,690.062128268367,690.9476893491455],[10206757,404.43757531079433,402.88107165605237,404.30517571017407],[10206758,581.4748368065411,578.0426697865987,580.9345783854003],[10206759,467.22192761234436,464.3049274764882,466.4202893277785],[10206760,509.1286144717637,505.74797575112194,508.18858863264234],[10206761,608.784723548623,605.1793620982853,608.0486174620821],[10206762,381.70644330273217,378.3316902403866,381.1121057544331],[10206763,477.3899579220214,474.3983357840655,476.53686386044376],[10206764,568.2034446932158,566.926233485527,567.6739631720701],[10206765,509.7438498335392,506.5497282435638,508.8453801541412],[10206766,577.1971402786269,576.5086320458652,577.2370136792706],[10206767,505.2690299362036,502.6698903534059,504.5371016776035],[10206768,461.3607011863874,459.88804883736606,461.45648762949463],[10206769,386.0056694865042,382.64739004170826,385.5748267209417],[10206770,463.81864788626524,461.8464960808529,463.57570647724947],[10206771,536.888535250798,536.4524734140323,536.8740304516548],[10206772,474.2311772050747,473.4978751200467,474.27835015197337],[10206773,587.0301505787161,585.2325716317224,586.7568521054912],[10206774,458.45503738681936,456.34269666890117,457.8301971460012],[10206775,650.319901524806,647.4283013665051,648.7896107291026],[10206776,533.2906610490272,530.4227165937519,532.4446251154143],[10206777,503.6256493896683,499.7672682789349,502.86253628706964],[10206778,677.7965575078327,677.5473487438891,677.5024456072898],[10206779,479.34751785011,476.058243559933,478.54926667337423],[10206780,644.4617916891468,641.3514545163786,644.0366591440549],[10206781,440.06483314406347,436.83765633443875,439.0810205113875],[10206782,370.03597343248526,366.0705623357541,368.95171315275826],[10206783,523.6605244950799,520.4930117291948,522.2499898191552],[10206784,451.88204789559984,449.37056142046424,451.43449810555035],[10206785,762.0174893950057,760.2249970155357,762.1226139584568],[10206786,440.20155588755375,437.3005898635013,439.18488935585845],[10206787,632.5649566703839,630.1813538222586,632.3154729820457],[10206788,477.77932262988287,473.2529824776373,476.86383683788233],[10206789,580.2896536086014,578.7047113855284,580.2744935433439],[10206790,566.9682740929542,564.0233187967315,566.1711221409546],[10206791,577.4060920843066,575.4390185450371,576.7337654933477],[10206792,494.1947919042348,491.21838016094864,493.88856645137076],[10206793,495.5301786323229,491.0925629446494,493.7930334110971],[10206794,691.0049501687273,688.5612526632734,690.6284746678026],[10206795,550.5333757752262,550.6182701896051,551.0258503543782],[10206796,400.19840918546214,397.51080232104925,399.6308130176708],[10206797,501.52590250528516,499.514066600295,501.00806284786296],[10206798,539.8182024309832,536.8894191042256,538.7904141980376],[10206799,541.5011583481986,538.9929431692584,540.6888152104302],[10206800,514.2315742968929,512.2255790877663,514.1941256211186],[10206801,584.1167973947485,579.4778626394134,582.9327011238573],[10206802,574.6092002545505,572.7117485749524,573.8796893930586],[10206803,640.2363095230936,639.1415419288556,639.8833797605312],[10206804,499.391840281508,496.2500327818401,498.8273521434347],[10206805,712.9776601859826,708.5655132979304,711.4121419488522],[10206806,322.7086569327178,318.5489875659364,321.4424977701127],[10206807,597.7667287183766,594.6012240958337,596.6326631156801],[10206808,517.5955363737477,514.7589840634847,516.7833773412247],[10206809,468.80813206133615,465.3149505433454,467.91881312359817],[10206810,562.2227402076655,559.9443730790912,561.5548907625688],[10206811,528.3970247294839,525.1937009334936,527.36531543768],[10206812,549.4396549654194,545.3628314013803,548.0822805898985],[10206813,447.4810652176811,444.61174922046393,446.69807574943735],[10206814,484.3091683429073,483.5782684477759,484.5440172616791],[10206815,518.6889410476559,515.692076823198,518.4370808729698],[10206816,626.6361166770984,623.3065735417869,625.4975944824401],[10206817,562.2022914488848,560.1051715489177,561.7105977893577],[10206818,578.8230416824453,577.2703974936647,578.2629149168486],[10206819,480.00451974530336,476.5612184617006,478.80320984055885],[10206820,457.85467062213553,454.6488621539675,456.97927573923613],[10206821,449.0546533654952,445.8010235849665,448.13335413698985],[10206822,619.3661949240561,616.5301656133283,619.1707626955181],[10206823,645.8891034205328,644.4066264166823,645.9240855525361],[10206824,368.03348148267844,364.5750331536711,367.3606191097079],[10206825,581.6228001162879,577.5608929106544,580.6301268414531],[10206826,504.7835355444509,503.0989612527374,504.9160013741465],[10206827,595.3984487581785,592.7075706504219,594.725813476532],[10206828,619.4037601625051,617.8870855685402,619.1477573952623],[10206829,540.667801942228,537.4908113934835,539.9105049996077],[10206830,593.8022242699494,592.1040748792559,594.4080155876268],[10206831,533.8438172904117,531.464924504193,533.6609568175758],[10206832,438.4957486005898,436.61863343248234,438.0605477332594],[10206833,518.128220854565,515.6461915950551,517.456286389641],[10206834,434.15778120258096,431.3929100993314,433.05881422894856],[10206835,550.6824874077288,548.0521543364944,549.9536904166465],[10206836,398.50487900278887,395.57383291524786,398.0011075789282],[10206837,533.5941234059882,532.3362442757644,533.3051488303116],[10206838,614.8672661224319,611.7430394267966,614.2286699048221],[10206839,593.4555299796103,590.9471457385703,592.5953175434535]]}