{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: solved policy, Gaussian filter, exact-arithmetic tell, qm and U1 tables underlying QLX5; this item tests only the supplied level_interp replacement.","n":24,"id":"level_interp","family":"table levels","find":"int256 tt=clip((sd-sdl(k)*U)/(sdl(k+1)-sdl(k)),0,U);","lo":"int256 tt=clip((sd-sdl(k)*U)/(sdl(k+1)-sdl(k)),0,U)>=U?U:int256(0);","hi":"int256 tt=clip((sd-sdl(k)*U)/(sdl(k+1)-sdl(k)),0,U)>=U/2?U:int256(0);","seeds":{"first":10206072,"last":10206199,"n":128,"unused":[]},"arms":{"QLX5":{"mean_edge":525.2423570753443,"peak_gas":205463,"out_of_gas":0,"runtime_bytes":22440,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"LO":{"mean_edge":525.2176744989445,"peak_gas":205924,"out_of_gas":0,"runtime_bytes":22481,"source_sha256":"96f99c56dae4d935905026ac509ee1eb28d03da6e3fa4c595d32cf210370ffcb"},"HI":{"mean_edge":525.2383939561333,"peak_gas":205608,"out_of_gas":0,"runtime_bytes":22489,"source_sha256":"e1da8fcfea20db124c131d00accd0d306b3338e398ec7eed547e3f08de3a412a"}},"diffs":{"LO-QLX5":{"n":128,"mean_diff":-0.024682576399890355,"se":0.01720511914567769,"sum_d":-3.1593697791859654,"sum_d2":4.890019510974846,"seeds_positive":56,"min":-0.7815493121599957,"max":0.420268056799614},"HI-QLX5":{"n":128,"mean_diff":-0.003963119211058075,"se":0.013985702653146108,"sum_d":-0.5072792590154336,"sum_d2":3.1816820363600327,"seeds_positive":62,"min":-0.734231396147834,"max":0.49679520966003565},"HI-LO":{"n":128,"mean_diff":0.02071945718883228,"se":0.016263956746197274,"sum_d":2.652090520170532,"sum_d2":4.354926670663192,"seeds_positive":71,"min":-0.4584575256124026,"max":0.5974197853288388}},"pass_peak":{"LO":true,"HI":true},"reading":"On 128 paired fresh seeds, replacing linear sd-level interpolation with the lower level gives -0.024683 edge (SE 0.017205) and the nearest level gives -0.003963 (SE 0.013986) versus QLX5; this is a structural-constant screen, not a promotion certification.","not_done":["No leaderboard submission or contract delivery.","No 1,024+ seed confirmation or comparison with qt1; only the assigned seed lease was simulated.","Gates P, Q, T, F and full G/E were not run; source size, deployed size and observed callback gas/errors were checked.","Observed gas peaks and absence of errors apply only to these seeds."],"method":{"map_sha256":"f921f2133d55d8ce81b5d809494003e898fc2a72d1fe47cdc34606ff269d676e","driver_sha256":"d3f8646b541a76921a47e9d03247c8c9dfab594076a7c5dca79c36b6c048a282","kit_commit":"45e7563d1a29ffca9d608fdf60c90bf2624d2d01","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","native_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","compiler":"solc 0.8.24, optimizer 200, viaIR, paris (kit SolidityCompiler)","compiler_sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","opponent":"30 bps VanillaStrategy","block_size":32,"arm_order":["QLX5","LO","HI"],"workers":8,"single_replacement_verified":true,"driver_unchanged":true,"complete_blocks":4,"failed_blocks":0,"partial_blocks":0,"reused_seeds":0,"elapsed_engine_wall_seconds":559.4312601599959},"evidence":{"columns":["seed","QLX5","LO","HI"],"rows":[[10206072,715.2143995163192,715.2882198295486,715.4076014492528],[10206073,482.08571391020234,481.81264326644504,482.0222833975616],[10206074,598.0985115037357,598.0287842968573,598.2046146022452],[10206075,528.2754242095637,528.5144778230153,528.536340458393],[10206076,527.415933334293,527.4040273062418,527.5271362096361],[10206077,718.2302030889259,718.6504711457255,718.6217187139456],[10206078,609.9570339475147,610.3160528230615,610.013673125272],[10206079,523.6643206216766,523.8863914329855,523.6351797311361],[10206080,525.3436490881187,525.3173554502018,525.1778430974165],[10206081,394.2834413032092,394.54970447339554,394.2461107469732],[10206082,706.3540842517667,706.4972880697261,706.3634024081874],[10206083,419.1776572522718,419.17994974011305,419.19978550180434],[10206084,599.6813418097321,599.703096415976,599.6655725371717],[10206085,557.1541473734004,557.2395807854464,556.9875370001313],[10206086,438.75957037699015,438.8142620483454,438.72078613850607],[10206087,582.4079374328485,582.4008949626834,582.1708428972445],[10206088,440.70640631877535,440.66349485104297,440.77910684388564],[10206089,455.0526640955608,454.97527107081544,455.0107681277797],[10206090,662.762353098626,662.714108514855,662.8278475127546],[10206091,530.5129854339579,530.7734084531207,530.6090875587925],[10206092,490.7284807574151,490.71174257822105,490.6831589040196],[10206093,559.9663865687692,559.8050178991241,559.6297708399314],[10206094,594.7923552101655,594.5250976673753,594.9071826467903],[10206095,729.4649294065157,729.7114402064198,729.5418337974354],[10206096,548.5578392253369,548.2206176261751,548.3044689603001],[10206097,543.2894448901137,543.3260355035985,543.3085716592453],[10206098,436.87296794873214,436.8603685320803,436.9326519220576],[10206099,614.7705590846263,614.465545038008,614.5880864932037],[10206100,522.8741541257028,522.8455151408996,522.9200505909064],[10206101,514.9977212398071,515.1035608471185,515.1369577257349],[10206102,534.7183512219037,535.0543516252696,534.6198215442819],[10206103,537.3122261300044,537.4890503255352,537.4271633395805],[10206104,462.86443505893794,462.97217642595854,462.93268594005093],[10206105,500.42218181447777,500.19161263062676,500.7890324159556],[10206106,522.9410463057552,522.7606018353571,523.1607296712539],[10206107,650.9167016720148,650.895830483597,651.1110855488139],[10206108,662.5767398276649,662.560242396455,662.5671650137602],[10206109,584.7135360672738,584.6858991480618,584.8630048721427],[10206110,406.10545050474906,406.12230270688303,406.14342750912704],[10206111,687.2061283578906,687.2174300438917,687.56779015772],[10206112,671.7576289899192,672.1198855834624,672.2544241995793],[10206113,398.80667204551776,398.6039132453683,398.70026165099546],[10206114,514.1408287066319,513.933049857994,514.0948963981631],[10206115,641.6526597269376,641.5379394705486,641.6903617961565],[10206116,341.9269766844213,342.0560527164939,341.9354757039179],[10206117,423.43208296616774,423.2005543096582,423.323571893767],[10206118,689.9416806181865,689.8963927638636,689.9529428233295],[10206119,561.6196948189897,560.8381455068297,560.8854634228419],[10206120,468.67088833179747,468.8525484285893,468.76567333225915],[10206121,597.6597858848004,597.7921223816609,597.5240918542429],[10206122,506.9318262331722,506.92680090170103,506.8474079937868],[10206123,520.9324005331266,520.7703445499335,520.8966381306271],[10206124,483.4087110305237,483.4637173420835,483.53173470588615],[10206125,533.5263735858115,533.5026622586387,533.4392681874876],[10206126,487.4032343085567,487.5406657142109,487.3311330113665],[10206127,583.100376853026,582.9667057880641,583.2315864533947],[10206128,438.3688304087669,438.1945687620504,438.3580267428787],[10206129,478.41216329342177,478.0383443051111,478.2085408105356],[10206130,535.8507048049573,535.8161283468188,535.6884067230711],[10206131,397.72282244434973,397.61093652405066,397.7555985730459],[10206132,587.2218581443343,587.1448344986658,587.2505066149173],[10206133,366.080138953316,366.20496798623105,366.0628853723565],[10206134,532.1541207250255,532.2453637217524,532.2635823268814],[10206135,469.17669537966106,469.3112307383576,469.1340201395242],[10206136,405.7265251574409,405.6920365594577,405.6712251511082],[10206137,407.67012380964655,407.82369857601844,407.57332598812445],[10206138,701.0528710451555,700.7352805204752,700.9145899409431],[10206139,571.6840625642886,571.9224162900636,571.6615796082128],[10206140,472.66532014555094,472.53976749495405,472.44666867976196],[10206141,373.11688457572075,373.3536642706679,373.3989874286657],[10206142,620.1588168810335,620.1216708573136,620.0326779885744],[10206143,509.10500407978344,509.32890681629493,509.1699417478755],[10206144,409.9478232823906,409.841622443725,409.63006180616907],[10206145,510.7297436473864,510.4551812085173,510.71061163884474],[10206146,630.8340096128939,630.8668698339828,630.8644172855551],[10206147,503.18758020030634,503.1519789010393,503.14834085755706],[10206148,426.9648374936999,427.1415371631647,427.1402338128188],[10206149,420.76061874534093,420.77364660567184,420.7339482964533],[10206150,469.1818815339261,469.25575618013045,469.2866299301299],[10206151,579.8954261667899,579.8627173116879,579.9208737907917],[10206152,598.7145333049273,598.5508560810051,598.7594521633799],[10206153,536.4288477978897,536.3568040141325,536.2253268209457],[10206154,371.8035087834644,372.1002205492598,371.81145784068906],[10206155,640.0376204629247,640.0810804260517,639.9678840464679],[10206156,398.7363589563536,398.9945602623901,398.834809102757],[10206157,360.9031220847545,360.89204523353067,360.90034744016214],[10206158,680.106766978928,680.3621530566336,680.1959453939638],[10206159,434.6637534835248,434.577520841866,434.64176494045034],[10206160,638.1265959315135,638.3945393821277,638.485986160842],[10206161,457.9958338350356,457.8902558540625,457.94185658233374],[10206162,548.3940299417565,548.2906879407656,548.4797424714799],[10206163,560.6363441333568,560.5937128625125,560.5748741367494],[10206164,594.0005167859897,594.0119120397004,594.0143225930642],[10206165,476.4226906237881,476.29570192169564,476.6413043327612],[10206166,575.5704828252287,575.7172783714258,575.6427450753765],[10206167,476.55239493611447,476.43546035677895,476.3385392918436],[10206168,496.20727916267356,496.00907283126435,496.1958564241321],[10206169,732.4290685910388,732.5133124010656,732.3455377013721],[10206170,545.8037361451142,545.578386330133,545.5024303513354],[10206171,563.8080239460844,563.6075307851161,563.784281066014],[10206172,439.23935918592537,439.02140348270393,439.26714190283644],[10206173,564.9959473718329,564.8306372760572,564.9831500780466],[10206174,409.75690453991837,409.84106747541966,409.80025775988],[10206175,508.38897018655206,508.27515934302926,508.37732069862426],[10206176,587.6585245448625,587.409399243092,587.5337435854104],[10206177,498.2862150982661,498.3009029332653,498.37204659808543],[10206178,593.793482095344,593.5151642848286,593.7188370822541],[10206179,364.22879442591363,364.36658871033023,364.15253004503313],[10206180,450.7969008267561,450.62977702029536,450.7079226713762],[10206181,571.3318921307496,571.4158773390628,571.4484184138715],[10206182,430.6679786136162,430.79370117338306,430.33524364777065],[10206183,663.8704814501185,663.6091511712643,663.6809678109682],[10206184,527.1329121394376,527.203453224745,527.1344544802365],[10206185,530.9849459231789,530.849266977075,530.9856106603902],[10206186,405.80046758627867,405.7926913888476,405.73782535119165],[10206187,454.7154299432601,454.60153753741724,454.79314002834974],[10206188,353.5945533539815,353.74905576466966,353.54800423862906],[10206189,482.9343923261702,482.6003977087409,483.05029753957],[10206190,462.99734669105226,462.79645848715063,462.8507173099652],[10206191,596.1367098276795,596.1615959481437,596.1475992652187],[10206192,533.6303153073809,533.6561449589159,533.5695514523036],[10206193,505.17896740322163,505.2505058033329,505.2740343323405],[10206194,427.8225273933594,427.5166585786798,427.6963708591547],[10206195,516.5287481789717,516.6848548638353,516.7103088211901],[10206196,537.2923937899694,537.2489465667309,537.0922029713843],[10206197,571.9490771882662,571.6260034749372,572.0289500637061],[10206198,628.1276565984631,627.8007105449695,628.006751497684],[10206199,562.0282050149717,561.37358488689,561.9340728604717]]}}