{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","item":"copy-b","kind":"targeted certification of unchanged QLX5, not a P/Q/T/F/G/E chain","certified_original":true,"source_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","reference_sha256":"35a93a38433a6860d2843504651f703b4b195b5aa7d58d7ff432d3900d7777cb","reference_hash_recipe":"SHA256 of UTF-8 json.dumps(decoded original reference_zb64 mapping after the listed patch, sort_keys=True, separators=(comma,colon), ensure_ascii=True); tables and QLX5.sol are separately pinned in manifest.","gates":{"P":"pass","T":"pass","F":"pass","Q":"not_run","G":"not_run","E":"not_run"},"diagnosis":{"first_failure_full_qm":"The original reference runner.make selects full qm_k1e-5.json; unchanged QLX5 computes production U1 fees with its QPL1 compressed node table. The first fee difference changes the next lean label and inferred arb branch. This is a reference policy mismatch for this certification.","seed74200_callback0":{"input":{"buy":false,"amountX":44268008089019872,"amountY":4441301820258115584,"timestamp":2,"reserveX":99955731991910973440,"reserveY":10004428761333327986688,"prior_bid_ask_wad":[2823606104386589,2823606104386589]},"full_qm_expected_fees_wad":[2956545026965740,2398743533803316],"solidity_actual_fees_wad":[2951324332807182,2400868984894847],"errors_bps":[0.05220694158558,0.02125451091531]},"seed74200_callback1":{"input":{"buy":true,"amountX":17203908238511686,"amountY":1716529514660578560,"timestamp":3,"reserveX":99972885036020137984,"reserveY":10002712231818666442752,"prior_reserves_wad":[99955731991910973440,10004428761333327986688]},"full_qm_expected":{"inferred_arb":true,"tested":false,"verdict":false,"m0":0,"m1":0},"solidity_actual":{"inferred_arb":false,"tested":true,"verdict":false,"m0":0,"m1":0},"leanLabel_with_actual_quote":2,"leanLabel_with_full_qm_quote":1,"label_encoding":{"1":"positive","2":"negative"}},"full_qm_diagnostic_counts":{"T_callbacks_through_first_failure":2,"T_failing_callbacks":1,"T_differing_fields":2,"F_callbacks_through_first_fee_failure":1,"F_fee_sides_over_0_01bps":2},"production_QPL":"The repaired Python lookup decodes QPL1 from the unchanged contract and uses its five production U1 node tables. The independent filter and offset remain in Python; previous observable contract fees are fed back only after each comparison.","drift_search":"No arb, tested, split verdict, or tracked-offset drift across either complete 50-seed replay; fee errors below 0.01 bps on both first-2000-per-seed F windows."},"changes":{"solidity":"none; unchanged e183e5bc... source","reference":"policy.py now uses production QPL1 lookup and qlx.hit_mku raw five-denominator candidate loop; new prod_lookup.py decodes the original QPL1 blob","needs_revalidation":false,"old_E_inherited":false,"solidity_repair":null},"P":{"status":"pass","command":"python3 -B gatep.py --reference ../reference/taylor --cache ../gatep-cache","runner":"kit gatep.py runs pinned Taylor gates.py","stdout":["10000  448.261189  443.455598  443.522608  443.663520","10001  576.779199  571.463409  571.623551  571.977293","10002  531.886497  525.168028  525.865859  526.411631"]},"T":{"status":"pass","definition":"all callbacks in 50 full replica seeds; compare inferred arb, split tested and verdict, tracked offset; probe imports original TellMath.qHitX, while actual state comes from untouched Strategy afterSwap","fixed_full_qm_inputs":{"callbacks":549733,"split_tests":548153,"arb_mismatches":0,"tested_mismatches":0,"split_mismatches":0,"offset_mismatches":0},"autonomous":{"callbacks":549802,"split_tests":356965,"arb_mismatches":0,"tested_mismatches":0,"split_mismatches":0,"offset_mismatches":0}},"F":{"status":"pass","definition":"first 2000 callbacks per seed for each of 50 seeds, both bid and ask, error=abs(wad difference)/1e14 bps, threshold <=0.01 bps","fixed":{"callbacks":100000,"fee_sides_over_tolerance":0,"worst_bps":5.273786e-08,"worst_bid_bps":7.399e-11,"worst_ask_bps":5.273786e-08},"autonomous":{"callbacks":100000,"fee_sides_over_tolerance":0,"worst_bps":1.8001e-10,"worst_bid_bps":1.8001e-10,"worst_ask_bps":7.229e-11}},"counts":{"autonomous":{"arb":0,"tested":0,"split":0,"offset":0,"fee_sides":0,"fee_callbacks":0,"split_tests":356965},"fixed":{"arb":0,"tested":0,"split":0,"offset":0,"fee_sides":0,"fee_callbacks":0,"split_tests":548153},"autonomous_callbacks":549802,"fixed_callbacks":549733,"F_callbacks_each_stream":100000},"worst_bps":{"autonomous":1.8001e-10,"fixed":5.273786e-08,"full_qm_first_callback":[0.05220694158558,0.02125451091531]},"protocol":{"compiler":"solc 0.8.24, optimizer 200, viaIR true, evmVersion paris; pyrevm 0.3.7 from pinned kit setup","source_runtime_bytes":22440,"source_characters":47230,"streams":["fixed: original full-qm runner QLX5 vectors, all callbacks on seeds 74200..74249; input rows frozen before replay","autonomous: replica_e events generated afresh with unchanged contract afterSwap quote returned to the replica"],"callback_inputs":"buy, amountX, amountY, timestamp, post-trade reserveX/reserveY WADs; init reserves 100e18,10000e18; prior observable bid/ask quotes and prior reserves carried in order","feedback":"reference outputs are computed and compared before the contract quote becomes the next prior quote. Only prior observable contract bid/ask quotes are synchronized. Python filter posterior, rival tracker and signed m0 are independent; no EVM storage writes, expected-label injection, or hidden truth inputs.","label_method":"arb from actual post-swap phase count in slot 2; tested from actual arb and dt<=6; split verdict from pure probe importing unchanged TellMath.qHitX with actual prior observable inputs and actual prior m0; cross-check returned m1 against actual slot 6. Python labels and m0 from its private state.","fee_method":"reference production QPL1 fee lookup in Python; compare bid and ask WADs before quote feedback; F windows first 2000 callbacks each seed","independent_private_state":true,"fixed_vector_sha256":"8dd6e8d476766fd42f2f310b385c57e58def1948ef2a850f738110c4501e6b5b","fixed_vector_callbacks":549733,"no_submission":true,"no_engine_seeds":true},"autonomous":{"seeds":[74200,74249],"seeds_count":50,"callbacks":549802,"callbacks_per_seed":[8751,13205],"fee_callbacks":100000,"counts":{"arb":0,"tested":0,"split":0,"offset":0,"fee_sides":0,"fee_callbacks":0,"split_tests":356965},"worst_bps":1.8001e-10,"worst_bid_bps":1.8001e-10,"worst_ask_bps":7.229e-11,"first_failure":null,"rows_sha256":"8877e728508f6c639177c23c6a0e6c16ddab330ec726f56f2abc3169525fb129"},"fixed_input":{"seeds":[74200,74249],"seeds_count":50,"callbacks":549733,"callbacks_per_seed":[8755,13191],"fee_callbacks":100000,"counts":{"arb":0,"tested":0,"split":0,"offset":0,"fee_sides":0,"fee_callbacks":0,"split_tests":548153},"worst_bps":5.273786e-08,"worst_bid_bps":7.399e-11,"worst_ask_bps":5.273786e-08,"first_failure":null,"rows_sha256":"e88634116efdd195acd6ecb04a9c6d9d10fa2832e66bd1ac812339531754a604"},"arithmetic":{"contract":"raw (dm+m) at original de for all five candidate denominators; preserve literal semantics","patched_reference":"qlx.hit_mku, not qlx.hit","synthetic_check":{"primitive_sets":50000,"mku_tail_cases":50000,"tail_binade_cases":9651,"literal_vs_binade_safe_verdict_differences":493,"mku_tail_mismatches":0},"interpretation":"Binade-safe normalization is a different extension on synthetic crossing cases. The production policy is certified with the raw loop; no arithmetic change to Solidity is proposed."},"reference_patch":{"base_url":"https://api.imd.fun/artifacts/6c818dc70c445e849f1d26e6b5ce3c369250b83f42b0b35d3c804fa41471e241","base_key":"reference_zb64","base_encoding":"base64(zlib(UTF-8 JSON {filename: text})); overlay on pinned Taylor research files; source only, as LEANBASE was packed","policy_py_edits":[{"find":"Credit: Taylor (gtmcknight), amm-sim@4812a638 research/solved.","replace":"Credit: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved."},{"find":"import qlx, leanbase, stalerival, tellpol","replace":"import qlx, leanbase, stalerival, tellpol, prod_lookup"},{"find":"qlx.hit(paid, px, py, fee, buy, self.m0, self.nc)","replace":"qlx.hit_mku(paid, px, py, fee, buy, self.m0, self.nc)"},{"find":"return tellpol.TellPolicy.lookup(self, w, w2, phs, sd)","replace":"return prod_lookup.fees(w, w2, phs, self.synced, sd, self.W2L)"}],"new_files":{"prod_lookup.py":"# Credit Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\n\"\"\"Independent Python interpretation of Strategy.sol QPL1 node table and fee lookup.\"\"\"\nimport re, pathlib, math, bisect\nS=pathlib.Path(__file__).resolve().parent.parent.joinpath('QLX5.sol').read_text()\nB=bytes.fromhex(re.search(r'bytes constant QPL=hex\"([0-9a-f]+)\"',S)[1])\nPAT=re.compile(r'(?:if|else if)\\(tb==(\\d)\\) t=QT\\(([^;]+)\\);')\nT=[]\nfor m in PAT.finditer(S):\n a=[int(x.strip(),0) for x in m[2].split(',')]; assert int(m[1])==len(T)\n lk,r0,r1,r2,ck,nl,nr,nc,off,scale=a\n ks=[(lk>>(16*i))&65535 for i in range(nl)]\n rk=[((r0 if i<16 else r1 if i<32 else r2)>>(16*(i%16)))&65535 for i in range(nr)]\n ck=[(ck>>(8*i))&255 for i in range(nc)]\n T.append((ks,rk,ck,nl,nr,nc,off,scale/1e18))\nassert len(T)==5 and B[:4]==b'QPL1'\n\ndef record(t,l,r,c):\n ks,rk,ck,nl,nr,nc,off,scale=t\n o=off+(l*nr+r)*(nc+1)\n v=int.from_bytes(B[o:o+2],'little',signed=True)\n for x in B[o+2:o+2+c]:v+=x if x<128 else x-256\n return v*scale\n\ndef lerp(a,b,f):return a+(b-a)*f\n\ndef surf(tb,pw,p2,k,tt,jm):\n t=T[tb];ks,rk,ck,nl,nr,nc,off,scale=t\n i=min(int(pw),319); f=pw-i\n j=min(int(p2),jm);g=p2-j\n a=0\n while a<nl-2 and ks[a+1]<=k:a+=1\n r=min(nr-2,max(0,bisect.bisect_right(rk,i)-1))\n c=min(nc-2,max(0,bisect.bisect_right(ck,j)-1))\n v=[record(t,l,r0,c0) for l in (a,a+1) for r0 in (r,r+1) for c0 in (c,c+1)]\n levels=[]\n for l in (0,1):\n  u=(k+l-ks[a])/(ks[a+1]-ks[a])\n  q=[lerp(v[z],v[z+4],u) for z in range(4)]\n  nodes=[]\n  for row in (0,1):\n   rf=(i+row-rk[r])/(rk[r+1]-rk[r])\n   x0=lerp(q[0],q[2],rf);x1=lerp(q[1],q[3],rf)\n   for col in (0,1):\n    cf=(j+col-ck[c])/(ck[c+1]-ck[c]);nodes.append(max(0,lerp(x0,x1,cf)))\n  levels.append(lerp(lerp(nodes[0],nodes[2],f),lerp(nodes[1],nodes[3],f),g))\n return lerp(levels[0],levels[1],tt)\n\ndef fees(w,w2,ph,syn,sd,W2L):\n S=[0,4,8,12,16,20,26,34]\n k=0\n while k<6 and sd>=S[k+1]:k+=1\n tt=max(0,min(1,(sd-S[k])/(S[k+1]-S[k])))\n pw=max(0,min(320,w/5+160));wq=(pw-160)*5\n if ph==0:tb=0;p2=max(-6,min(6,w2/5))+6;jm=11\n else:\n  tb=(1 if ph==1 else 3)+(0 if syn else 1)\n  z=w2/5\n  if z<=W2L[0]:p2=0\n  elif z>=W2L[48]:p2=48\n  else:\n   i=bisect.bisect_right(W2L,z)-1;p2=i+(z-W2L[i])/(W2L[i+1]-W2L[i])\n  jm=47\n xa=surf(tb,pw,p2,k,tt,jm)+wq-w\n xb=surf(tb,320-pw,(48 if ph else 12)-p2,k,tt,jm)+w-wq\n return max(0,min(.1,1-math.exp(-xb/10000))) if xb>0 else 0.,max(0,min(.1,1-math.exp(-xa/10000))) if xa>0 else 0.\n"},"patched_file_sha256":{"policy.py":"40984bfddf28a209a1ed51eacece86e4bf9bcc44b9fe0a975821ca80351d592f","prod_lookup.py":"b2892ac8f6513f2e4f725d1785a6002e4979327a0349b38c88f3e41bacf9c102"},"layout":"Place decoded QLX reference in qlx_ref/, the unchanged QLX5.sol in its parent, and Taylor pol_mid.json and qm_k1e-5.json in qlx_ref/. Apply the four exact policy.py replacements; no other module is changed."},"manifest":{"contract":{"url":"https://api.imd.fun/artifacts/84a14d5edf847f83dfdd8f6a9c3e034a97004dcae6c069c11b4f6a2ffa7c517c","key":"code_zb64","encoding":"base64(zlib(UTF-8 Solidity))","path":"QLX5.sol","sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40"},"qlx_reference_overlay":{"url":"https://api.imd.fun/artifacts/6c818dc70c445e849f1d26e6b5ce3c369250b83f42b0b35d3c804fa41471e241","key":"reference_zb64","encoding":"base64(zlib(UTF-8 JSON {filename: text})); overlay on pinned Taylor research files; source only, as LEANBASE was packed","files_sha256":{"README-QLX.md":"c33cca07b41fd1f9da7cc04e180e497f0ae75ad72f2fd9ba6667e38c41de3299","check_policy.py":"c6170c37ef156e67e7c1da759c99cc8e2d2b0dcf67ce463e7bb4d4db51df83ef","check_primitives.py":"62f273a665ad114a8e24075d7f8ba89d8e0efbc5c5d48b5bf5e9a7c361607cb2","check_qlx.py":"bf08ff9a6c3c7c82435978b4bfd2c0a0f515ef5b8439460b9eaa4f140e432237","check_vectors.py":"27ae6081239f6778d2cc8682fbe8e146837a3e6fbd2e03f1850e76a44ea9e34a","evalpol.py":"79a96efe8c543aee125c937554688b37ec2e7df44df4f3435265bba6eb012bf3","kit_score.py":"7b9fa5e37695a5d1b048efe91a8b6c45d31bd4245a733261774c871fe9105a43","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","leanbase.py":"ba015769f7981d7798acbbc9aff8c0e0c59825bb1541d55bcdef49311d7a04bc","par.py":"bf8a1a2e2a4bf9a23bf4622d726fd815702298ad1f9fa0dd17197230cce63ec1","policy.py":"0031c006ab44b5e88773c6a219d1da0c78b4a154e0596a58ac4e521d539de038","qbase.py":"9e81ff7cbde60fe0160ed01e6e51a135b88189822a4bdd990803df47f4455d68","qlgate.py":"0823f2d25728bf95238fc350a8aabefe8e73143cfaf9859e894a7c2c06984de6","qlite.py":"2ab8337870a2375b79f1773619e3b11a472bc6d8b4b9085f5047cec645c57535","qlx.py":"642c7ddbdf782a05ca027609cabbec97c459be9764c6ab2fc8b324f52525e771","real.py":"6a4a0f0e7f8b43d38e5eaa9d8b2e847a0771aee7f89551b122fe89bfe7969b5f","replica2.py":"54380c8755f4e42e9a0426759e918eacd2c5f915b7f04e5d0501c394c5846b40","replica_e.py":"67aebe610bd4a6538219784c16037d7137f8aa2c4ccd58293030066a36bb4713","replica_t.py":"a0c0cc988fdc7f86d48b1cabbd93918106781e3094d3b7f0cbb259f14b455dc4","run.py":"91133e4ef485626226679d73349b5b4e374d9713ac5d7e9d36a39e1afd75933c","runner.py":"60e27cf262985a4d8f12af8a159bb8ea023d26dd3abcaa530eff19c740ce2711","screen.py":"b882211bf8becc0353d6a32d15dff08874789364cc88dec7baac1dd6748abe7c","stalerival.py":"d124a171d35b024daed840e5449d352b2b5e50a68ce98c8a9aaafaf3419d23da","tellpol.py":"7d5961c45bec56292533e65607245ad119b8733c760a5bf28f76a2e07bc3960b","tellref.py":"4867a33106ce2597863b8d7c8fb396288954b98f291714801fae8820f1f47aa3","vectors.py":"c2a8d626d01a9b318f2ca4059203c5d6ee70391df5dac18d80cd8e9f16dcecfc"}},"leanbase_overlay_provenance":{"url":"https://api.imd.fun/artifacts/efb8e653f8fd061cecf3e92b186470c9c96c5188523364b60ed101e9672869aa","key":"reference_zb64","encoding":"base64(zlib(UTF-8 JSON {filename:text}))"},"taylor_P_and_tables":[{"path":"README.md","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/README.md","sha256":"02d2b51f17adbb5411a2a67f7a37255143ba381a73ff10abba557d7d23c0cef2"},{"path":"calib_out_2048.json","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/calib_out_2048.json","sha256":"fdf24c7aa2b604d770336a5783276da8ed4d50bca9dbcc02e98b4da58f608d26"},{"path":"clsdata.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/clsdata.py","sha256":"41a72a924638e34d4ef56ba922f162e7fe60ac6c915f08d950c648151dc7b227"},{"path":"dp.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/dp.py","sha256":"ca4e7c378d23c46c7def4716611135c471a831d15234b984fe30d58d9eec5734"},{"path":"evalpol.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/evalpol.py","sha256":"6e67667bfed7798bdd3384652a6efc6ba0b1fce653740d0f9af2bcbcb8e6a27c"},{"path":"fillstat.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/fillstat.py","sha256":"a02f85e20e80f0593b9986e96cfa78f4e5f63947bd8f228a31c60af3f2503ec5"},{"path":"fixedcheck2.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/fixedcheck2.py","sha256":"de6991683b4a5f2b05b4b0d0a09e963ebc7ca1c4d7b6a4cc7602882999b08c8d"},{"path":"gates.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/gates.py","sha256":"603280c1f595ca163ffaf2ba1ebdc7945fdb08dabae67fc53c922d39e1cce604"},{"path":"latt.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/latt.py","sha256":"925c0fe996b19fd51fb79a85d5e4dba4bc2f5453d0a156cc1e480f65a6a00cc8"},{"path":"pol_mid.json","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/pol_mid.json","sha256":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b"},{"path":"qm_k1e-5.json","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/qm_k1e-5.json","sha256":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},{"path":"qmdp.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/qmdp.py","sha256":"63b8c35048718c37eb0a5dae9e70849fa3af257c335e4a2e3a625c833f1dc1eb"},{"path":"real.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/real.py","sha256":"1305b5333731c046c3e6736cc2578eff4635c88132a39c22f5780d78aef2c81e"},{"path":"replica2.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/replica2.py","sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"},{"path":"stale.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/stale.py","sha256":"b79b7356f7c46738ca0c5f4718ae397b67e222d8bc57cbc088896270800d5462"},{"path":"trace.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/trace.py","sha256":"6300a33eddc091d9cb3bec5b36e23f32a541a8a2499085b9cc05d08e96b6f692"},{"path":"track.py","url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/4812a6382311624e1506aca131ca35c378f930d9/research/solved/track.py","sha256":"69f49abd59e6bd62f457184cbf6ca7ea16d42bb3ef90d71c0802468ded0ba486"}],"engine_interfaces":[{"path":"AMMStrategyBase.sol","url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/AMMStrategyBase.sol","sha256":"3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869"},{"path":"IAMMStrategy.sol","url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/contracts/src/IAMMStrategy.sol","sha256":"85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff"}],"QPL1":{"source_url":"https://api.imd.fun/artifacts/84a14d5edf847f83dfdd8f6a9c3e034a97004dcae6c069c11b4f6a2ffa7c517c","from":"QLX5.sol bytes constant QPL hex literal","bytes":10160,"sha256":"830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099"},"kit":{"archive_url":"https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz","archive_sha256":"9176e11cc6c5369ce4b37db5088ecc14fdf2dd3eac0c3769f95a0b5edd8d856f","archive_bytes":2544159,"key_files":[{"path":"README.md","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/README.md","sha256":"b432f1aa8ac15cfba1f78227780c233427cc4564c758efbab258cc92871b5827"},{"path":"setup_fast.sh","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh","sha256":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20"},{"path":"reference/materialize.py","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/reference/materialize.py","sha256":"79e316706e8b4a84ee29e261c817476120d7a502f9017ec2f7f76f8f4444aaad"},{"path":"reference/sources.json","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/reference/sources.json","sha256":"62147ff112987f666e2c1ad5041012276a66033baec543c2b014f766cd8f01f5"},{"path":"gatep.py","url":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/gatep.py","sha256":"1d1d65bc18647530037cf3cff73fd8d4448f353d61b4494dd2ee7d556be122db"}],"materialization":"reference/materialize.py restores all pinned originals from kit/reference/envelopes using reference/sources.json"},"downstream_links":{"LEAN":"https://api.imd.fun/artifacts/a79a3606add967bb8f8ec2af8ef3d61bafb597419c488133597c8af5b9d34505","LB4":"https://api.imd.fun/artifacts/93cc15561f172c49c8bce174143333ede904fdbfcf51276cbbeb514d4f5b614e","driver":"https://api.imd.fun/artifacts/764c9461a9f3bab6e277178f4bb48553d1b97c6cca33bed016f7c9bfd611cc42","qt1":{"url":"https://raw.githubusercontent.com/identity-md-launches/goal-3170-beat-network-s-amm-entry/4eb3e985fd31e3cd17832501b95b6d2491aca73d/reference/qt1/Strategy.sol","sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","materialize_from":"kit reference/materialize.py"}}},"audit_harness":{"encoding":"base64(zlib(UTF-8 JSON {filename:text}))","sha256":"e5beb08a5a1d58d236db17b1f18bd6fc8773dcc9c2f4a9ba9366099ca90af164","bytes":9723,"files_sha256":{"evm_audit.py":"b2be16a17591c16e63e6ad9ded8ea7550a8c05a65ded9fb5e1e9ecab5c560988","compile_probe.py":"f290b79751fd8085b7ff0a21f347ebb315af50694ff791c9ce052e00c4aa3e32","QLXProbe.sol":"f686e501268fa01d34f695715f0b60cf8a80c114f6419adfa047ed971290f6c5","dual_replay.py":"94032b2a04a54220f48d5c4d91941a45bba31da42073f3be4c365a457f30e9c7","fixed_replay.py":"abc1a2273a939a00b22c3f9e02cce9da1a087e4b9a2dd706bd54dff073141da7"},"data":"eNrNGolu20b2VyYpWpLOmKYk23Ekj7FpkmKDTRZunRQFJC0xIkcSY3Io87ClDfLv+97M8NKxidsCrWNLwzfXuy/m89Of3/12naUz4eZp/HT49OSE3Fy//u34XRQImYvjt6GQRTSPRDYk799+mEhY8CoTYVSQD3wTpxmxF0US3MposSwcShZRsSxnbpAmJw38hCfJcR4l/zi96PX5+eCiP+j1zvunonfmnfOA9wa9gA/OgsHzi/mLgRe+IJnIBc+C5QlgdS9CdyJXGV8knMBzBJdvyH8898Ltn44mMkpWaVYQyz0BWs6QDgugQSqLjAcFqQgknyeSzEsZFFEqyd0/o+I3u4xk0T87J6sHWg2zdTPc1MO5EHSWpjGZlRtqYIlXT8vAIWJdiEzymKzKTAABRZnJ3MZNZoPzWQPJBxHH73mxdDUScDlcCpepS+B8OBgOHH2ZSPh9Sp8CM1dRLPyVktNqA2L67q8RgmE1PAdr+ilPJV0BHXE0A/kwM3Sv4dv2/Tmi7DsunILbbcdd8QyUaSLznH2Ww88WiggA1tBenUhcyEO/ADbazhcyB6IkiSSxrbaGWtSqhUytl+/f34CQC7HY/MjzasHbFliBHGDjmimk3YqXecFlyLPQDqOgsGMuFyVfCGbdGP2yaJ6WWSByluc0F0URyUXO1OJ0VURJ9F+R6Uch+SwWIfuQlYJmpcxZ3/Mceh/xt79ooLhPfhVZDmrHLOBBlFs0LYtVWdyIWCh1ZJ+tI2uoPsYWLHdnm0IEaSjcdPYJlgBVCE1EsUzDxiRza/rli+NQJM2/r67QhmE5EynYemxVhgCLx11etp5xDDdY05GhKgBpKMzE2KqQwUUGnynwBHFPsxxX7EHMGYFULaWyx4bpoYsqYznuQxYVQosaIW5YJqvczhxntMrAVuxsbNXHw0nKCMKSx34mVjHf/KUmMHmK/16WRSrTJC1z8ubX98dhFt0LSTR6I1DbUKyERHaQ6w2wRhIg7B40koDeFYKSdJaL7B4Vh9yVKcDB9sMZD25dfX5japu8Y2g0gW+65Lm2uutHWN0md3GxG4Ffzwrbo3mR2dcn1l28BsbOLcepbwU1liKjSE8UcF/QFZhFsKEgztCP0/S2XMEkj+EIHgskLaax4BJkGscUDpzIeZYmBPjto/BFEaEyuajEYi0C4F5GzF3Av8pa35gp4LJ8xZRqxCkPc9uguaNILZcByF/v7Nmvft1dH1nPOzrqXYzI+5c3/2J27/Ly/NQ57kEIiXmek5siXdlv1oFYIQnOcAXAau41yj0bQmAJxZz4fiSjwvdtUN45GIgIaQyeonBwAUGgi0CGHyP1qKaZ+tQAwfaww0YDzF3k6FKs7Vdg08Y6wTgcvVFR+g2br/fuBvEzLXM34bdC+dwzy0xK5tX4B2kpC+MHeTZjHoXDC6AJtAl0pYDvdD4HfwkDUGk/j0JwoXoc8DhGFc+rxT7uhSenPn4eZXnhx3wmYvbvVIpRCwpH7MD0nQ004WuRZWzsUW9qhIK3VgKJKShqThc8Z2ee+tGiCXnBWZdPsNh5NrMs91MaSdtGr7R2vkflwEjuuEXqqw32oE+tWbSwHBWy1hiy8BJFU8q0UF3tvPMcQoxig40fEEDM9KuX7969+cV/+fr1L29ubmhR7wM3EqcbEfo8DMGic4r7FLb4gdSUAriJBMGfutPkGGPAWBFj0EzH0TB6NuhP29hGiG0GsU+AN4iFtFOHDvpOxbo8TgvNusgZmnO1FiAJ1uDieRi+EC8sOo6mzrjm+J3SRb1RseIQj62Bd37uDfrc+tNYrVOk/8tuveQAy/XkI9he6RHiwNkf5XolPcwabQ4sdSgf96YkmhP8vtRMOYNkM86FAh1XfDLMRw+kWX/Es0Xecj1g466a1RMjSEFYS5oXg+dczE+fgzR7nnf0kfaQrqOPEMjB00HAILiBjfsQNM+98553Org4P7t4MT3qN+ZrgpgNS52RoaUoV7Gw708+KuLvkXicNvjWWxTOONHFePZA6zF/YLCg9ljufNbMzTk7eEcKcSnjoVFJzLD5mvINLeiabuhRKctchPreLH3Qzs04auOyKUb0tX6WeALTp7Am/rkPPLT5GgS22YFuHFqwArL87RlYnu0s3zhKmyBjSDNm1xSuW5zYtMZdDmlf2jeoowH3nVHitZ7P1XPioVIl3pZKJV5bocgDl0ZJ8PSaj1ssrJf6D2x8AK/pKGwOgthZ4J5F2lHBoD/js9kZqiDeALIYW3wNuaYebWBU6HFWQzOATg3RfF5URl5T3tuivMeSnqK8t015r0M5JMyYcGKMs83JV1e9F/0fvPXc/DhMB0YTAW2ZFq1tBOoLUhzDZtjXv/gBkwvnkunTvyMflgIqxlUKmkcwc3qHMQ9lDqkA5BQkykkY8YVM8yIKQINjSCsflmksjnUqRlSQzAnkNpA8qlwLcbx54CuyWmIxVAtFh1PlUhpHkCOOzghQgDQbPJ2J2iHk8j1LuSJgUrP9CWsoG7YyARBLNrOmz1jPbIEDND+s6ROmR9311WyzZQuHJyCh7hYNb2+x92NGwPj3IIDgPZc4SkTbeQdyHhMK5Q52sxLlHI6OQPeoNlD1Savjm8yowbBKkVqYUcgacSXCzBCAYJbIfw+HvUoU4FAUfc3JDb3VyfqLKrOmSsW1CwFOGRE0xFRMbWVgNWfJHU0SbTAmiI9rI8TDwCq1sTQGqciHQGUGvWrQ727QwMG06m+caZvFNXdPOlxAYSXJk4p8jfke1Buk8ZDtnLCW4k6y+DUBjjsiMVhMKyGMkUNTzemaAkT3KzoLWSmWymM+y23wepAwHWuHianTSU/0TrdTA5MQ7ECH1a06GF32IUq3maRTYDiWwcjugqhGA++sOVeDrjzX2yKizuDbtte6VxkQXqMPcfQRu7rWyf4bwXXlBov2SQ3T/q/JTLOykhHw1xDqz1Y5M7jVWYWE60fddAV2OB3qrlhTng0zHoEGYxnYytD2ZDXmFMw4oJaCkjovY52LmdxC79yXXjSlkUkxOhxTJTRU8SFLIEE2K5D/DjX1WIvbFOThK5oV9S0FoG0/tu3YaMPtLvNp23i2ralFb4vQItsM69aBW81pStUqZRGqolZsNSV1zSEdpRoWYl8Cq2vJE+H7jFm+n/BI+r6F1ylWYtGADQ5Ibe/BCTkjXVl3wH0AZ0yX7HarOlcYVq2nbj9KdZ6gmvB5GUbF36L1ut0PqltBf6zh0u7sPqqthDbTMB6EY7otWjamh7rV7r3+Srv3d/R3STr79PtbvPr7b9PnrerPH/+ULjAJGOzfbQSfVU3gipmHm8DBgSYwsAF4JHB+G+cDzeLgULP4QIfva61i7U2V/Px8ySF9Z8YiXP2o+oA1tUbtdHXuOO5SrMNoAUmQ7VTE6EmGhXkG9YUGAoonJ/0WHVstamd0V0bKUwWP7VuOvqVtF3S7dhPZbm01XZavNrJ0c+WbWiopO9xI2dc/+b1tkz+jYUU1qjpeuHCBjyU9vjREgi1se1h0b59D935Ns0M/KP7ibXEkhfJJIMX756dg7kp+qEXpCi5XLMeOQUviuAepAreokuTbSKpKxKqiuTVEO4xkKSaa10zn2JAY15Vut+ZVo6IueLul7wRfLQg2PtCSg9+GcXafDugpPVeZpU4D9DbvfCDm88CDbd+CSxcFSMmEzvsFhFj15U1/sOs+ukNtDbu6guf2RIXhROVOSi+2GwGVMkKhXPTZDpH96ggs7Hdmz1sX7ER35Th0W0eRooZATSTBYTPVJ4ZCWUCQC0QloiismZHftqqCCnv4azap3oE5GkAZ2gXWyq0VpnzTAq5Kw2a6KhLVfFOTNAugDFFzqmRsgXsGDJUL1XLWOV67qaE4uq+lUa1SdaTOt1VaOH6UZJ22ERjeXu2kacMZOLVblWXNozVw6G/zgu8nRIfMyzg+vkvIvXL0ROlGTgm+BitVQD/++fodqTnfea9X/weEx73ge0TyNTrwSk/5L8wGW+9Mq+RPp7/t93YfJzJOdxPoZbSbPWMH+PrEtpSsjr/HX+MRv7fjlC4jEL0zUl1a7SGtB0xAgjJDdPV7mrB6XSPUe6U0ixZbDdBDzvcYPk9fHKtY/kg/7C4EhAHli0HFrSWEX5FZ2GrApl2cXmqDwaLAml4uo7aP7npy2K2iybDqd2HNioeouvVB5ysdP9OpZJxn1mQiVVZGKra0rgbumPrETKoyz3NGoW7dO6ODiB0KMaZ5H6pavXUVY+aKThi61eHiVqfi4Pwp+n2KLp+it1ehIxd3ykEe9Ud4JWyt3/2INWi8fa/rwE/KJefonquBKf3rQu9u/Ek1ij5dYjSHZ9ONRbWAY/Cyjm4wdQGAscYMm450K2wddatyRHQ8BO1t4ui+Ff2hCvtkHklAdTPcuhbxaZhZUXPFLmgtqU4UqVY4ukCViu4/oi4PbhCnudhXp9YNBRCEscJpp6MgJFUve8A34FsR5ZuffvkfFmYWog=="},"reproduction_commands":["Fetch the manifest kit archive into test/scratch/copy-b/kit.tar.gz; verify archive_sha256; extract under test/scratch/copy-b/. Run bash setup_fast.sh --platform linux-x86_64 --cache ../cache --scratch ../setup from kit root.","From kit root: python3 -B reference/materialize.py --out ../reference && python3 -B gatep.py --reference ../reference/taylor --cache ../gatep-cache","Decode contract code_zb64 to test/scratch/copy-b/QLX5.sol and reference reference_zb64 to test/scratch/copy-b/qlx_ref/; verify every manifest SHA256; copy materialized Taylor pol_mid.json and qm_k1e-5.json into qlx_ref/. Extract audit_harness data as its relative filename:text map.","Before applying the reference patch: python3 -I test/scratch/copy-b/qlx_ref/vectors.py test/scratch/copy-b/v74200-74249-QLX5.jsonl 74200 50 QLX5; for the first-failure reproduction also generate v74200.jsonl with 74200 1 QLX5.","Apply reference_patch.policy_py_edits exactly once each; write reference_patch.new_files/prod_lookup.py; verify reference_sha256 using reference_hash_recipe.","Copy the two pinned engine interface Solidity sources beside QLX5.sol. Source test/scratch/copy-b/setup/env.sh and set PYTHONPATH=test/scratch/copy-b:test/scratch/copy-b/setup/engine/amm-challenge.","python3 -B test/scratch/copy-b/evm_audit.py compile && python3 -B test/scratch/copy-b/compile_probe.py && python3 -B test/scratch/copy-b/evm_audit.py 1","For each seed 74200..74249: python3 -B test/scratch/copy-b/dual_replay.py SEED 20000. Run python3 -B test/scratch/copy-b/fixed_replay.py 74200 74250 for the separate fixed-input stream. Each reported batch command was below eight minutes."],"limitations":["P is Taylor gates.py reproduction, not a Q or engine gate.","T/F claims use the measured QPL1 policy reference. The original full-qm reference fails at the stated first input; it is not silently treated as passing.","No Q, G, E, engine seeds, or submission were run; the prior E result was not inherited.","T/F are local differential measurements; the verifier checks paths and bytes, not behavior."]}