{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.","where":"replica_choose","gain_vs_base":0.00997033740637776,"se":0.007568739531474232,"n":256,"seeds":[64000,64255],"advance":false,"source_sha256":"29ce62b22a1ad3659849e37886f8e9249118645b951dfa0ff6f8fb90b86fab4f","source_hash_scope":"SHA-256 of QLX5 Solidity source after the exact edit recipe below. The simulation uses the corresponding knob configuration in unmodified qlxcore.py; the Solidity edit was not executed or certified.","selected_parameters":null,"summary_parameters":{"split_nc":3,"split_window":7,"pull_alpha":300000000000000000},"selection_note":"Only a setting with all 8 choosing rounds completed and no futility stop can be selected. If none survives, summary_parameters identifies the highest observed mean only; it is not selected. Ties are broken by grid order.","baseline":"unchanged QLX5; integer policy arithmetic and production U1 tables; no AGE","grid":[{"split_nc":3,"split_window":7,"pull_alpha":100000000000000000},{"split_nc":3,"split_window":7,"pull_alpha":150000000000000000},{"split_nc":3,"split_window":7,"pull_alpha":250000000000000000},{"split_nc":3,"split_window":7,"pull_alpha":300000000000000000}],"choosing":{"seed_range":[64000,65023],"round_size":128,"settings":[{"parameters":{"split_nc":3,"split_window":7,"pull_alpha":100000000000000000},"rounds":[{"n":128,"mean_diff":0.006729957830620137,"se":0.016403516009444046,"worst5":[{"seed":64088,"diff":-0.5956635336282261},{"seed":64011,"diff":-0.36877183911497013},{"seed":64018,"diff":-0.3553702477712477},{"seed":64044,"diff":-0.34304499092399965},{"seed":64109,"diff":-0.3403164220280246}],"sum_diff":0.8614346023193775,"sum_diff_squared":4.3798861044936945,"mean_base":534.9978274476013,"mean_candidate":535.0045574054319,"seeds":[64000,64127],"round":1,"stop":false},{"n":256,"mean_diff":0.006638986207040176,"se":0.0124163045172127,"worst5":[{"seed":64238,"diff":-1.028075019194489},{"seed":64088,"diff":-0.5956635336282261},{"seed":64206,"diff":-0.4619257070114031},{"seed":64236,"diff":-0.4532267869556108},{"seed":64011,"diff":-0.36877183911497013}],"sum_diff":1.699580469002285,"sum_diff_squared":10.075149745463596,"mean_base":532.3720767604536,"mean_candidate":532.3787157466606,"seeds":[64000,64255],"round":2,"stop":false},{"n":384,"mean_diff":0.002661548021494505,"se":0.010060142042291496,"worst5":[{"seed":64238,"diff":-1.028075019194489},{"seed":64338,"diff":-0.7978315225501547},{"seed":64088,"diff":-0.5956635336282261},{"seed":64206,"diff":-0.4619257070114031},{"seed":64300,"diff":-0.4561295185504832}],"sum_diff":1.02203444025389,"sum_diff_squared":14.887356371640847,"mean_base":536.7100137463826,"mean_candidate":536.7126752944041,"seeds":[64000,64383],"round":3,"stop":true}],"stopped":true},{"parameters":{"split_nc":3,"split_window":7,"pull_alpha":150000000000000000},"rounds":[{"n":128,"mean_diff":0.005023472825902875,"se":0.015940349956048688,"worst5":[{"seed":64088,"diff":-0.45330884311817954},{"seed":64011,"diff":-0.45019320425546994},{"seed":64049,"diff":-0.42811214332016334},{"seed":64044,"diff":-0.36767938410275747},{"seed":64052,"diff":-0.3138906985362837}],"sum_diff":0.643004521715568,"sum_diff_squared":4.133794481003247,"mean_base":534.9978274476013,"mean_candidate":535.0028509204272,"seeds":[64000,64127],"round":1,"stop":false},{"n":256,"mean_diff":0.0047778995900154,"se":0.012071502577112193,"worst5":[{"seed":64238,"diff":-0.6142732314833665},{"seed":64206,"diff":-0.4887693980217023},{"seed":64088,"diff":-0.45330884311817954},{"seed":64011,"diff":-0.45019320425546994},{"seed":64049,"diff":-0.42811214332016334}],"sum_diff":1.2231422950439423,"sum_diff_squared":9.518522320421114,"mean_base":532.3720767604536,"mean_candidate":532.3768546600437,"seeds":[64000,64255],"round":2,"stop":true}],"stopped":true},{"parameters":{"split_nc":3,"split_window":7,"pull_alpha":250000000000000000},"rounds":[{"n":128,"mean_diff":-0.003695640859500582,"se":0.01122070045323136,"worst5":[{"seed":64002,"diff":-0.35464166310566725},{"seed":64068,"diff":-0.281062968005358},{"seed":64055,"diff":-0.28044199683228044},{"seed":64010,"diff":-0.25322829996980545},{"seed":64083,"diff":-0.22688078693772695}],"sum_diff":-0.4730420300160745,"sum_diff_squared":2.0484455464099853,"mean_base":534.9978274476013,"mean_candidate":534.9941318067418,"seeds":[64000,64127],"round":1,"stop":true}],"stopped":true},{"parameters":{"split_nc":3,"split_window":7,"pull_alpha":300000000000000000},"rounds":[{"n":128,"mean_diff":0.010194737881316751,"se":0.011546738528692287,"worst5":[{"seed":64023,"diff":-0.9310593162664418},{"seed":64083,"diff":-0.18813184760040258},{"seed":64055,"diff":-0.16772142725130834},{"seed":64079,"diff":-0.14546498366587457},{"seed":64096,"diff":-0.1445772700947714}],"sum_diff":1.3049264488085441,"sum_diff_squared":2.1806698691861883,"mean_base":534.9978274476013,"mean_candidate":535.0080221854827,"seeds":[64000,64127],"round":1,"stop":false},{"n":256,"mean_diff":0.00997033740637776,"se":0.007568739531474232,"worst5":[{"seed":64023,"diff":-0.9310593162664418},{"seed":64161,"diff":-0.26106413703894304},{"seed":64240,"diff":-0.22463813771742025},{"seed":64211,"diff":-0.22295594068407354},{"seed":64183,"diff":-0.18974701173118547}],"sum_diff":2.5524063760327067,"sum_diff_squared":3.7650665580284706,"mean_base":532.3720767604536,"mean_candidate":532.38204709786,"seeds":[64000,64255],"round":2,"stop":true}],"stopped":true}],"statistics":"kit score.py summarize: paired mean and sample standard deviation divided by sqrt(n); futility is mean+2*se < 0.03, strictly."},"freeze_record":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","selected":null,"reason":"all_stopped","timestamp":1794359605.6357024},"report_rounds":[],"report_pairs":{"encoding":"base64(zlib(UTF-8 JSON)); array [seed,baseline_edge,candidate_edge] with unrounded binary64 round-trip decimal numbers","data":null,"count":0},"baseline_smoke":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","rows":[{"seed":10010512,"edge":606.1300985640944,"actual_hex":"4082f10a711db056","expected_hex":"4082f10a711db056","equal":true},{"seed":10010513,"edge":482.77829524211705,"actual_hex":"407e2c73e5b63867","expected_hex":"407e2c73e5b63867","equal":true},{"seed":10010514,"edge":404.7966542836623,"actual_hex":"40794cbf188fe8c4","expected_hex":"40794cbf188fe8c4","equal":true},{"seed":10010515,"edge":450.2556494695746,"actual_hex":"407c241723e5f101","expected_hex":"407c241723e5f101","equal":true}],"ok":true,"seconds":4.793156398001884},"hashes":{"baseline_QLX5_solidity_sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","replica_bundle_tar_sha256":"0e8adc477297130b731395b8494b6652c982d2c865306a317e139835d21e27f3","qlxcore_py_sha256":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","enginecore_f_py_sha256":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","mktables_py_sha256":"2b373f0c821f501ea67538f9bbaf2f3be9c1c44a7152cb5f4d32622e1a8a8e6a","production_tables_sha256":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","candidate_solidity_sha256_by_pull_alpha":{"100000000000000000":"8543a8093ac059a92225515db5045ff97d23f5c55f51b352c5d38bc748a55c43","150000000000000000":"6014012f3c358ed53848dc8004c78878978158fd89d344e5b6aad82a8071b06b","250000000000000000":"f914902e4bf63c69fc3eb194f8e294f1edf2cb54da1eca1a25b820ef9bd88a8d","300000000000000000":"29ce62b22a1ad3659849e37886f8e9249118645b951dfa0ff6f8fb90b86fab4f"}},"solidity_edit_recipe":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.","precondition":"Decode baseline code_zb64.QLX5 with base64 then zlib and check baseline SHA-256. Apply each exact replacement once; preserve all other bytes. split_window is already 7. Set ALPHA to the selected integer WAD. Do not deploy or promote from this replica measurement.","replacements":[{"old":"t.isBuy,m0,5);if(mm!=m0)","new":"t.isBuy,m0,3);if(mm!=m0)"},{"old":"r=exp(lr+mul(35e16,ln(c)-lr));syn=true;","new_template":"r=exp(lr+mul(ALPHA,ln(c)-lr));syn=true;"}]},"reproduction":{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.","instructions":"Download the pinned kit, QLX5 artifact, replica artifact and audit artifact into test/scratch/pull-three; decode code_zb64 and payload_zb64 tarballs with zlib/base64; run mktables.py on base.json into qlxcore/qlx_tables.json; use kit setup_fast.sh with --platform linux-x86_64 --replica-only and explicit scratch cache and scratch runtime. Place embedded audit_run.py and search.py under test/scratch/pull-three, run audit_run.py first then search.py with the kit virtualenv; paths assume the archive directory names as in the pinned kit. The script writes the freeze record before reading report seeds; it uses eight workers and score.summarize. The deadline in the embedded rerun script is relative to its own launch; the actual run includes setup in its 45-minute deadline.","audit_run_py":"# Credit: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nimport sys,csv,json,time,struct\nsys.path.insert(0,'test/scratch/pull-three/replica/qlxcore')\nimport qlxcore\nstart=time.monotonic()\nrows=list(csv.DictReader(open('test/scratch/pull-three/audit/b2r3/runs/per_seed_512.csv')))[:4]\nt=qlxcore.load_tables()\nout=[]\nfor row in rows:\n r=qlxcore.run(int(row['seed']),t); actual=struct.pack('>d',r['edge']).hex(); out.append({'seed':r['seed'],'edge':r['edge'],'actual_hex':actual,'expected_hex':row['engine_hex'],'equal':actual==row['engine_hex']}); print(out[-1],flush=True)\njson.dump({'credit':qlxcore.CREDIT,'rows':out,'ok':all(r['equal'] for r in out),'seconds':time.monotonic()-start},open('test/scratch/pull-three/audit_result.json','w'))\n","search_py":"# Credit: Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved.\nimport sys,os,json,time,multiprocessing,statistics,math,hashlib\nsys.path.insert(0,'test/scratch/pull-three/replica/qlxcore')\nsys.path.insert(0,'test/scratch/pull-three/goal-3178-build-shared-evaluation-kit-45e7563d1a29ffca9d608fdf60c90bf2624d2d01')\nimport qlxcore,score\nP='test/scratch/pull-three/'\nalphas=[100000000000000000,150000000000000000,250000000000000000,300000000000000000]\nT=None\ndef one(job):\n global T\n seed,alpha=job\n if T is None:T=qlxcore.load_tables()\n kw={} if alpha is None else {'split_nc':3,'split_window':7,'pull_alpha':alpha}\n r=qlxcore.run(seed,T,**kw)\n return r['edge']\ndef stats(rows):\n diffs=[(s,b-a) for s,a,b in rows]\n v=score.summarize(diffs)\n v.update(sum_diff=math.fsum(d for _,d in diffs),sum_diff_squared=math.fsum(d*d for _,d in diffs),mean_base=statistics.mean(a for _,a,b in rows),mean_candidate=statistics.mean(b for _,a,b in rows))\n return v\ndef save(name,obj):\n with open(P+name+'.tmp','w') as f:json.dump(obj,f,allow_nan=False)\n os.replace(P+name+'.tmp',P+name+'.json')\nassert json.load(open(P+'audit_result.json'))['ok']\nstart=time.time(); deadline=time.time()+2700 # reproducible 45-minute budget\nprint('start',start,'deadline',deadline,flush=True)\n# Compile before fork so workers share the compiled kernel.\nqlxcore.run(10010512,n_steps=50)\nwith multiprocessing.Pool(8) as pool:\n entries=[{'parameters':{'split_nc':3,'split_window':7,'pull_alpha':a},'rounds':[],'stopped':False,'pairs':[]} for a in alphas]\n for k in range(8):\n  active=[e for e in entries if not e['stopped']]\n  if not active or time.time()>deadline-10:break\n  seeds=list(range(64000+128*k,64000+128*(k+1)))\n  jobs=[(s,None) for s in seeds]+[(s,e['parameters']['pull_alpha']) for e in active for s in seeds]\n  vals=pool.map(one,jobs,chunksize=1)\n  base=vals[:128]\n  for i,e in enumerate(active):\n   cand=vals[128*(i+1):128*(i+2)]\n   e['pairs'].extend([[s,a,b] for s,a,b in zip(seeds,base,cand)])\n   x=stats(e['pairs']);x['seeds']=[64000,seeds[-1]];x['round']=k+1;x['stop']=x['mean_diff']+2*x['se']<0.03\n   e['rounds'].append(x);e['stopped']=x['stop']\n  save('choose',{'credit':qlxcore.CREDIT,'entries':entries,'seconds':time.time()-start})\n  print('choose',k+1,[(e['parameters']['pull_alpha'],e['rounds'][-1]['mean_diff'],e['rounds'][-1]['se'],e['stopped']) for e in active],flush=True)\n completed=[(i,e) for i,e in enumerate(entries) if not e['stopped'] and len(e['rounds'])==8]\n if not completed:\n  save('freeze',{'credit':qlxcore.CREDIT,'selected':None,'reason':'all_stopped' if all(e['stopped'] for e in entries) else 'unfinished','timestamp':time.time()})\n  sys.exit(0)\n i,e=max(completed,key=lambda ie:(ie[1]['rounds'][-1]['mean_diff'],-ie[0]))\n freeze={'credit':qlxcore.CREDIT,'selected':e['parameters'],'grid_index':i,'choosing_summary':e['rounds'][-1],'timestamp':time.time()}\n save('freeze',freeze)\n print('FREEZE',json.dumps(freeze),flush=True)\n rows=[]; rounds=[]\n for k in range(16):\n  if time.time()>deadline-10:break\n  seeds=list(range(10000+128*k,10000+128*(k+1)))\n  vals=pool.map(one,[(s,None) for s in seeds]+[(s,e['parameters']['pull_alpha']) for s in seeds],chunksize=1)\n  rows.extend([[s,a,b] for s,a,b in zip(seeds,vals[:128],vals[128:])])\n  x=stats(rows);x['round']=k+1;x['seeds']=[10000,seeds[-1]];x['stop']=x['mean_diff']+2*x['se']<0.03;rounds.append(x)\n  save('report',{'credit':qlxcore.CREDIT,'selected':e['parameters'],'rounds':rounds,'pairs':rows,'seconds':time.time()-start})\n  print('report',k+1,x['mean_diff'],x['se'],x['stop'],flush=True)\n  if x['stop']:break\n","policy_patch":"Pass split_nc=3, split_window=7, pull_alpha=<selected integer WAD> to qlxcore.run; baseline is qlxcore.run with no knob overrides. Source is unchanged; hashes above pin its implementation and generated tables."},"timings":{"start_utc":"2026-11-11T01:08:54Z","deadline_utc":"2026-11-11T01:53:54Z","audit_seconds":4.793156398001884,"search_seconds":134.83264684677124,"result_written_utc":"2026-11-11T01:14:07.002489+00:00"},"provenance":{"replica":"https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","audit":"https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","baseline":"https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","kit":"https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/tree/45e7563d1a29ffca9d608fdf60c90bf2624d2d01","score":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/score.py","setup":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/setup_fast.sh"},"limitations":["Replica results are not engine E evidence and do not justify contract promotion.","No engine seeds, Solidity deployment, gas/OOG measurement or gates P/Q/T/F/G/E were run in this item.","Kit synthetic smoke checks the installation, while the four unrounded QLX5 audit rows check this baseline.","A stopped or unfinished report cannot pass; replica evidence is not a board submission.","No setting was frozen; no report run was opened. Reason: all_stopped"]}