{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, exact-arithmetic tell, replica and U1 tables QLX5 is built on. QLX5 A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15; exact port A/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4; Cython recipe A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760 checked in A/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b; unrounded engine audit A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4; kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.","item":"c4-search-b/split-radius","family":"expanded tracked split candidate stencil: OFFSETS=[0,1,-1,2,-2,3,-3,4,-4], split_nc 7 then 9; first five offsets, q_hit_x arithmetic, m0 tracking and split_window=7 unchanged; nc5 is parity control only","where":"replica_choose","measured_arm":"nc7 (split_nc=7), STOPPED after round 0: diagnostic headline, not selected","gain_vs_base":0.003257925169726672,"se":0.0025846324786543283,"n":128,"seeds":[64000,64127],"gain_definition":"mean over seeds of (arm edge - unchanged QLX5 edge), both on the Cython build of the audited exact port, paired per seed; kit score.summarize","advance":false,"advance_reason":"Both arms stopped after the first 128-seed choose round (cumulative mean+2se: nc7 0.00843, nc9 0.00972, both < 0.03). No survivor reached 1,024 choose seeds, so nothing was frozen and no report (10000..12047) was run, as the brief requires.","source_sha256":"6efebf20c8d171989df83aa12e7bd8ad2d2a98a18e82e5231a94b8a0883ba1ad","source_hash_scope":"patched qlxcore.py (audited port 701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00 + one-line OFFSETS edit); Cython qlxhot.py built from it 64279076a425c0c7d2a14ec9dbd07dfa60203d2a63013b9bba8907b78ec12fd1, qlxhot.c d401faebfddf49c150cc25902c65dc3e1528b60645c2c2aa760cfee52c1251e3. Base QLX5.sol unchanged e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40. Solidity nc7 variant 44bd1d79befd68d3d16e6d44d5e9b522d737b8310e8954214db58289abb4a2f2, nc9 87eda5c2c2e032d5795abaa09cd6eba73caef72629f198d4725a6b862d2c03a3","config_sha256":"4b859c0f3c19e373b96b30b00291559ff89074b511abcc2867220ad9af2e0b3b","config_sha256_scope":"sha256 of canonical JSON (sorted keys, no spaces) of arms.nc7.config","selected_parameters":null,"arms":{"nc7":{"config":{"base":"QLX5 (unchanged knobs, qlxcore.py KNOBS defaults)","OFFSETS":[0,1,-1,2,-2,3,-3,4,-4],"split_nc":7},"config_sha256":"4b859c0f3c19e373b96b30b00291559ff89074b511abcc2867220ad9af2e0b3b","status":"stopped (diagnostic)","stop":{"after_round":0,"n":128,"reason":"cumulative mean+2se < 0.03"},"rounds":[{"round":0,"seeds":[64000,64127],"round_mean":0.003257925169726672,"round_se":0.0025846324786543283,"cum_n":128,"cum_mean":0.003257925169726672,"cum_se":0.0025846324786543283,"cum_ucb":0.008427190127035328,"activations":2037,"max_sec":0.583,"identical_edges":55,"hits_minus_base":2069,"tries_minus_base":10,"wall_s":30.6}],"paired_moments":{"n":128,"sum":0.417014421725014,"sumsq":0.10995396578884102,"mean":0.003257925169726672,"sd":0.029241778440503526,"se":0.0025846324786543283,"min":-0.13334735102500872,"max":0.11121372717798295,"seeds_better":41,"seeds_worse":32,"seeds_equal":55,"activations_total":2037,"seeds_with_activation":128,"jumps":{"-3":1006,"3":1031},"mean_sec":0.4909765625,"max_sec":0.583},"arm_mean_edge":535.0010853727711},"nc9":{"config":{"base":"QLX5 (unchanged knobs, qlxcore.py KNOBS defaults)","OFFSETS":[0,1,-1,2,-2,3,-3,4,-4],"split_nc":9},"config_sha256":"271884c838d3ff140e330e1967671aca09410a85d1a40b70da610f2657ba1ef7","status":"stopped (diagnostic)","stop":{"after_round":0,"n":128,"reason":"cumulative mean+2se < 0.03"},"rounds":[{"round":0,"seeds":[64000,64127],"round_mean":0.0016459170336577955,"round_se":0.004035652305128869,"cum_n":128,"cum_mean":0.0016459170336577955,"cum_se":0.004035652305128869,"cum_ucb":0.009717221643915534,"activations":2425,"max_sec":1.028,"identical_edges":30,"hits_minus_base":2313,"tries_minus_base":4,"wall_s":30.6}],"paired_moments":{"n":128,"sum":0.21067738030819783,"sumsq":0.2650999312542673,"mean":0.0016459170336577955,"sd":0.04565819378348393,"se":0.004035652305128869,"min":-0.13334735102500872,"max":0.32479506719550955,"seeds_better":40,"seeds_worse":58,"seeds_equal":30,"activations_total":2425,"seeds_with_activation":128,"jumps":{"-4":178,"-3":1014,"3":1062,"4":171},"mean_sec":0.68840625,"max_sec":1.028},"arm_mean_edge":534.9994733646349}},"grid_order":["nc7","nc9"],"stopping_rule":"after each 128-seed round, stop an arm when cumulative mean+2*se < 0.03 (kit score.summarize: mean of diffs, stdev/sqrt(n))","freeze_record":{"frozen":null,"reason":"no surviving arm completed 1,024 choose seeds (64000..65023); nothing frozen","choose_seeds_used":[64000,64127],"report_run":false,"report_seeds_used":null},"base_qlx5_mean_edge_choose_64000_64127":534.9978274476013,"activation":{"definition":"a split hit whose accepted offset satisfies |m_new - m0| >= 3, i.e. one of the new candidates (counted by wrapping Policy.swap; arithmetic untouched)","nc7_total":2037,"nc9_total":2425,"per_seed_mean_nc7":15.9140625,"per_seed_mean_nc9":18.9453125,"note":"the new candidates fire on every seed (~16-19 per seed out of ~6,500 split tries), so the arms are not no-effect; their effect on edge is ~0 (nc7 +0.0033 se 0.0026; nc9 +0.0016 se 0.0040)."},"timeouts":{"count":0,"note":"no per-run timeout fired; max per-run wall 1.028 s (nc9), 0.583 s (nc7)"},"parity":{"audit_rows_10010512_10010515":[{"impl":"py{}","seed":10010512,"edge_unrounded":606.1300985640944,"hex":"4082f10a711db056","engine_hex":"4082f10a711db056","bits_equal":true,"calls":12227,"engine_calls":12227,"tries":8155,"engine_tries":8155,"hits":7255,"engine_hits":7255},{"impl":"py{}","seed":10010513,"edge_unrounded":482.77829524211705,"hex":"407e2c73e5b63867","engine_hex":"407e2c73e5b63867","bits_equal":true,"calls":9988,"engine_calls":9988,"tries":6388,"engine_tries":6388,"hits":5684,"engine_hits":5684},{"impl":"py{}","seed":10010514,"edge_unrounded":404.7966542836623,"hex":"40794cbf188fe8c4","engine_hex":"40794cbf188fe8c4","bits_equal":true,"calls":9532,"engine_calls":9532,"tries":5838,"engine_tries":5838,"hits":5236,"engine_hits":5236},{"impl":"py{}","seed":10010515,"edge_unrounded":450.2556494695746,"hex":"407c241723e5f101","engine_hex":"407c241723e5f101","bits_equal":true,"calls":10484,"engine_calls":10484,"tries":6858,"engine_tries":6858,"hits":6117,"engine_hits":6117},{"impl":"ctl{}","seed":10010512,"edge_unrounded":606.1300985640944,"hex":"4082f10a711db056","engine_hex":"4082f10a711db056","bits_equal":true,"calls":12227,"engine_calls":12227,"tries":8155,"engine_tries":8155,"hits":7255,"engine_hits":7255},{"impl":"ctl{}","seed":10010513,"edge_unrounded":482.77829524211705,"hex":"407e2c73e5b63867","engine_hex":"407e2c73e5b63867","bits_equal":true,"calls":9988,"engine_calls":9988,"tries":6388,"engine_tries":6388,"hits":5684,"engine_hits":5684},{"impl":"ctl{}","seed":10010514,"edge_unrounded":404.7966542836623,"hex":"40794cbf188fe8c4","engine_hex":"40794cbf188fe8c4","bits_equal":true,"calls":9532,"engine_calls":9532,"tries":5838,"engine_tries":5838,"hits":5236,"engine_hits":5236},{"impl":"ctl{}","seed":10010515,"edge_unrounded":450.2556494695746,"hex":"407c241723e5f101","engine_hex":"407c241723e5f101","bits_equal":true,"calls":10484,"engine_calls":10484,"tries":6858,"engine_tries":6858,"hits":6117,"engine_hits":6117},{"impl":"pat{}","seed":10010512,"edge_unrounded":606.1300985640944,"hex":"4082f10a711db056","engine_hex":"4082f10a711db056","bits_equal":true,"calls":12227,"engine_calls":12227,"tries":8155,"engine_tries":8155,"hits":7255,"engine_hits":7255},{"impl":"pat{}","seed":10010513,"edge_unrounded":482.77829524211705,"hex":"407e2c73e5b63867","engine_hex":"407e2c73e5b63867","bits_equal":true,"calls":9988,"engine_calls":9988,"tries":6388,"engine_tries":6388,"hits":5684,"engine_hits":5684},{"impl":"pat{}","seed":10010514,"edge_unrounded":404.7966542836623,"hex":"40794cbf188fe8c4","engine_hex":"40794cbf188fe8c4","bits_equal":true,"calls":9532,"engine_calls":9532,"tries":5838,"engine_tries":5838,"hits":5236,"engine_hits":5236},{"impl":"pat{}","seed":10010515,"edge_unrounded":450.2556494695746,"hex":"407c241723e5f101","engine_hex":"407c241723e5f101","bits_equal":true,"calls":10484,"engine_calls":10484,"tries":6858,"engine_tries":6858,"hits":6117,"engine_hits":6117},{"impl":"pat{\"split_nc\": 5}","seed":10010512,"edge_unrounded":606.1300985640944,"hex":"4082f10a711db056","engine_hex":"4082f10a711db056","bits_equal":true,"calls":12227,"engine_calls":12227,"tries":8155,"engine_tries":8155,"hits":7255,"engine_hits":7255},{"impl":"pat{\"split_nc\": 5}","seed":10010513,"edge_unrounded":482.77829524211705,"hex":"407e2c73e5b63867","engine_hex":"407e2c73e5b63867","bits_equal":true,"calls":9988,"engine_calls":9988,"tries":6388,"engine_tries":6388,"hits":5684,"engine_hits":5684},{"impl":"pat{\"split_nc\": 5}","seed":10010514,"edge_unrounded":404.7966542836623,"hex":"40794cbf188fe8c4","engine_hex":"40794cbf188fe8c4","bits_equal":true,"calls":9532,"engine_calls":9532,"tries":5838,"engine_tries":5838,"hits":5236,"engine_hits":5236},{"impl":"pat{\"split_nc\": 5}","seed":10010515,"edge_unrounded":450.2556494695746,"hex":"407c241723e5f101","engine_hex":"407c241723e5f101","bits_equal":true,"calls":10484,"engine_calls":10484,"tries":6858,"engine_tries":6858,"hits":6117,"engine_hits":6117}],"all_bits_equal":true,"disabled_patch_equals_control":{"seeds":[64000,64127],"equal":128,"of":128,"fields":["hex","calls","tries","hits","tell_pos","arbs","m0"],"impl":"patched Cython split_nc=5 vs unchanged Cython control, separate spawned 8-worker pools, separate NUMBA_CACHE_DIR"},"control_build_matches_recorded":{"qlxhot_py":"3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93","qlxcore_cy_py":"7e1d0d75ab5f315f03a1f74185aed0351dbed9bc7e871ddf0c5a145bd4d8aa72","qlxhot_c":"3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844","qlx_tables_json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","note":"all four equal the values recorded in A/72b58a14"}},"pairs":{"encoding":"base64(zlib(csv))","sha256_csv":"2fc48de0d0427e3e73200bff738ffe4c396dd1fd5af529debccd07583cbce295","columns":"seed,base_hex,nc7_hex,nc9_hex,base_hits,nc7_hits,nc9_hits,nc7_act,nc9_act (hex = IEEE-754 big-endian binary64 of the unrounded edge)","decoder":"python3 -c \"import json,base64,zlib,struct,sys;d=json.load(open(sys.argv[1]))['pairs'];[print(l if i==0 else ','.join([l.split(',')[0]]+[repr(struct.unpack('>d',bytes.fromhex(h))[0]) for h in l.split(',')[1:4]])) for i,l in enumerate(zlib.decompress(base64.b64decode(d['zb64'])).decode().splitlines())]\" result.json","zb64":"eNqNWsuSXLmt3PtbakGQBEF+jYPPuHfjzXjhz3cCYFWPVN1W2TPQROqIzQeQSAD6a+/1GP2v/c//2/95/GvK/bXZr/4b///vv/x3/D/aF9Lnvw3Ar/8oOYTwyEEmrUxyKNYm/QOAozSYltyQ/mOrkX7bz+kr1txOqp8AHFlgCquRhzyarRXxZc0ph0y5dwltvYAaRw9l8DsghQNMiWrYdlZttaTfhhZGrCQtjtN+AnZIOTZeezwKVXmUiEuCiQ+iB/nesn5LKcSQt1Af4xgQzzmyWy+lpneAJeLWJF/zdWt2DpJIKe1xMsX+AVBKLjCF3BC2F221ojfc4m4RZ6CAH3+BOneb4wz+BuAYC0zSF035UR9+a6I/F5cxdxjYdDjzA0CICkwiNfkRwyOSrVb1W5bJHa8UxmrnAm3PmRInf6VfAYm4NYmZ1cgjxkf0W7P3ivDK1fHvCaf+BJTVZktCC24mRa+/VjXyIL63RsFuuKZaVulp9DJ+AlJuqa+5qt483hHXX2EkPEi3Z6uR+RKcsp3TVuM0PgBKlQyDgIJhXc29jSwSYpm9U2s9zRUu0E5OIa+YvgEKIRoLkZn4gL8FWyzZ4+NjHtL6iOH8AOAfSrv3HrHXWrGJ2uBbDc+IRaNvTQNBjqwl2BulaYHwLTCnUJ25VPhZwStySWaSuu69NjaqiWvwynDqSfIJoK+ZsVs3GqTmbmSB0EeJkkrnRfwFFK6tnzmfQJVZs6Q4H8wNjFQQkzDuIGKr2U9eafUsfFYD31yAD+3CO+oGfgdYQ4EpZjXVQr7YauaatEbtFHaUyvQEsNcQ5tnjHZCkgQUHhMnxKxTIArruGJmKgM8GXSDkSC21XOc3QEvYReOspliY2itEc6aE1UI/+ZyZ+QKHOcCtQhIHElij7h15YG8Zh5OczchX0Efy9xfpO+K0VKsDzHXQwIZPeQe4lQCDeIBxGs+2moUCgbdyHLKpCV2g7yRMW5xTfgUkIOgF4aaGzEPs3qLRjSRcRKGNp8rnBcSOm4KXXSCesaeEOI8+ABbC2dU4vflqFgu9zFBg4W0rfgAggQY1mgHhMJd4o6eEOEs8JTVqoziwcuTdaIB+7heIqLEDnQ265QLXYISqMFaFk903sBsGOdNZsYy91voEaEgrWa8fplgksK1mkTDaps6hp11XeQKjyAonWboCsLqUMAR0D5ZMeDtEO8PkaDHvL2ruMMuiHPsmjrX8AIxTu8yQ4HIPVuHCmp9YqbtcFo/N8zISUk6UOORwgdwHT9pxeF5OgrDCT+j4IY8C+QCDuIdJ2Nfd2mXVgC9ziZz3eQISVbPg668vZp+hLng78pWmKsQI8lW0RzACSeapaW5koxH6qLM7sJA7wIjsmfs3QDKOL4yDwpmDPYI5SIqew7muITFwaecCyE0jnNzmd0BTVdWUfdRohvG9+a0UCJtJI+2bYQBQaNAIIYsHHp+dxlqxM+6iQCjBQGbBVDuppZhk6ii33GfuGxpvtifQ4VNZhjPKrwAUkhpNqJWT5ivz3WSfwhOgx3qvGjs/Ai3FJWdiIxJULwTWsAeTaL6yGE3uSynuHPE78Nb+A5BinolagdOAuyvSAancJc36LlCNBeX0I5nh/G1z/QDgAhrCcyU1+YvZkn1bNnjydOwTvPcEWhpjp7LXO8B6Iri5xkHGE4TnrbmYLenUWA9I9+qN/w3YjliwCgyZe5izWRRJSWCFM0YsqfMF5mkdHLtHeweYtEiAYgGzBU0Hl42yBwLutPGANtlOsgbsNuZcq70DiAgEQglm6gMem+zesoujOfuuyuPscRbnajEvJK11+B3A/atRZ2tIvaC0ZK6bTR3tAlUPkVDomMr8DkiTGJw0I/JZacGWDGqyEYjfm2WEnfIgHvix1S/yG4CXEkLpA4FXEPMw8N0iWsLk573ZOUKnfkhlfpb5E9AgKaH+y0FeZlwVcqsmBs3y8QZpdtIG1WcaUqEhxk/AbJoAZuLuBRooWYs2EJM6ieWEbIoAIglqe+ZDx8P2WyAhzWeB6nlwVudg1VrGcFeiZkttOSDHi6Y75L+fAJx75FlBx1Dg0QS5/hfcP9Lltux1Avx2wD9lH04/ARMZZ5wDzQ8O0pygdAkjX7Uau+oDLVYIIU4nDweoarmUevOLxRcVXAKFoMTPev+4ftwdo06I4e6NXaed0uE3kpFRywXm6DyBdHkHOKhacGUJ6QcHcVHJFgoS4Oio7KDb975AJ0262wnpNwBSEkkracWsRhc0evNbkQBu0OJm05EfANRqTHMi/lDDaI0LDxY1cJByRSVnlwSqJxnEWlb6AGAmNVqaqvl6BeMfSB78UJkSIYeeAPRom9KGvAOov5Xekv4XPEQrZl/t5t2j74nv2dXXHwAEJ5xDtGQTlUf5hgJ7KJyx6p6aoc7/AlCmB2xQc155FoAiX7nUX4xOAyPvdVor/ASQlhFHNYwLlJx3RnFaunqvEhLIEgaxwJfe2BPxHnCPM8AbYX4AiNaPQuomBErDAycjpOLqB4wvmoxr9i6IAhXPAo70ls2vAHaMUK/Q3mZUhhhZFk8LbaIOq9ly+QeABCgTCUinMPmrJCoWC7iHCt24qMxzLqDlG8T99N6GAvDmtEMZqt3wClpAqbG9ufcW7x4NrjxbVRbIHwAIevVeTfqsHZpnnBb7VhYPVBYjg3/qBQ5EX+v4ceMCUCDxxMEn60nZDwnj5ZolQHeIMBlf9whCav0DoESk06K1R9EO3stDisVCSHtBFK44Fs0LTFS2DaziXZxfAZQcIHKVbax+DA6592Z3TGPIXPBNQVH2BJSeZs/e5XsCMgkeUhIiAL5ixpj8ntTl1OingarKzDt+ACAtskr89jC9/ipjisdCXZBT8HVVQBcAV+BAa8oTQLjPONkcF8EOgwQkquHAb8nYUoKnN1q5R5yW+s2IKNVEag1hzHcARZEeEpHlRVG93OtVbUbOhcrrqMBbuQC8pU/4bNrvAEiNtQ5vbtRD7E1du0Mppr7B1HD58QKSLIj9sC+A1F9QI5GmUi36RJuTonWWLuh7S97mQO2NIOHSrSb/E8AooZHvtWpTc8tccYHUY10UofSGlA+AovVKUeVn5tXwEcsKSyBQ8YRpjpo+ALg1rWJAk0WbY6+um//kgRdqs0LgyewfADgnlsykhyVrH903MHfII9VZx0lneLIGkBHkGRV8fgHSqI8NJfIorCoQeQtGpSA/92aRgGpbezooVdo+PwIVjpu56PkspDK8rNje8KLGR+L9YOQQmitGZBa+gOyp7e1A+x3grN0ZLZ1hGPWa7ayaPsJS8HB8jEJ7fAAwJ9WAbErpb137eptHmcH7JfHtLCiQ8KcrlG58B5zWkp2YvPAwNqrefkGmqn0dBM7iT4CmSqgplTWtcp95/nb4BS45prY6rD5TAEVtLQl7GU+gHRSXU/ubJSobxWbk20wfme9WywkJkbiqltzIbxeYa8SEQijQO+C0po2BokpJs5+9aHW9glpxs1YVyRPKHwDfFoJfTfrbST0GZRwWntSzVVQGbDj/KCOsdwBr6AMk8q7P10m9eVgjVNRoYYxyXgBq3xCZ1jtgA5SilGvmNe2oXitEaCPKeyNTlg+Aq92qarfKX7xbvX+EKoVQSK41Jl+g7LGb9onHBXJbGcUpFJk2G0T7DGbsFTyXeneICfm7HbzsEZ93UNJGaFy5jPUOIK9AlIOi3OgrWPbzmid2/PDWIuGuy09AjLnIQqk2dW+kjRDxbojyka92p2vQxp3qHHCEJwCiXQdefcdtO00ULkys/btGVuhqdtDGfbt1TEveEK4SYz2ztUofAIVwvoISTg19+VtzLaUlItRaTMUmEgAIpHHAbXH0dwASS+cJKkQQ+1+N++ZPiKTWDqI0VX8FA4QzEuJtKv8CaAdO3USLGfkbhzSv7qQ2eEc/sfTzAYBcAH7LWn6ouVzZXCLwAUMsSpw3/wRA65eETD80EliDACKy2ITzmf18/ABXWzJC7NGbkwA6XKBiN9lHGPhiduQImVFZ/BalqlG1oH+27ZtFAqcQ8WfjnOI9/++AJAS62y116A6IDslJZUgyBrFbI58yQ8pKnNjaQDL/AUDIM+qrllmepKupU93lOhvdIbOAPnAzYTSrCwzAVk5vy0qi3wDkh6zZuajx4s9X80YqSvW+88xElS+Q+CyIr+ITLAUGniWHofSnrSNkBjVF5Qz5Oe/UF5J6os5D1t0XwAm59X1sEPMbAHetKgW1NR7rS++S1xQRRT84tdUxbq/rG2DNsjqOuavyB0oEbeLBceur/0zBSZtGDBH5dE3rw/0JKBpQ1lCBx5E1GP2kPo/oQgsEDq+6xAhAe3pFc+g7IFEltA904R/PGobunHkNlE1rth59igOgNh3GaDvjHUA1iiVJeZc0RvNzNYuENveCyttTUPU4cOLBLrrmp3eAc1YpozVM5q+RE92Gn8xUQYvQy5avFCgE5sH/XAcC4KKKoeq2oNlI2wx8ew3V61LyOTOy7Z4QBGfE21oAsCQRrutOAX4BcPca7mwDf58zB1vNp1+UNYxQ5zSn9T8ApSG4IO+1XSn06oMQeSjA55FEVuvpzoo3fE1mC3Vs/gbQLAUtGNTQc85M5CVzpEYTRcp2XjQgZQiOedJ6Bxivq8M/NRDgSDTW5SWfM6tr9nR25Zr4AwDcprNcKA6Y9koJRD5+QGnVckWJO8atprSxU8sKy2SsAXh1RLGleY7aRMVBYZr2jD2wfM68ztjx5NDBF+MCK8yk7cNa3gGWrM2oQm6eoxhykt67QznVht3YIBjAGMgB2K8UegIjlAPa0DWQr7R9r7P1Vl+TP/I5c1S/XKksLT0vUPZCKqrC+wLgDRy8T20Xkw6dtGkv9tdexBMz+Zx5JsRNjvPs6D07A7ADHM0HzzNtPn3EVWImn6Njk1kNdmmlH0XPTqfUFaGUpdf9BPYsc2SO6QIUd9y5oz7V+YvcmQI1743brd0p84ber2XUPCu/ADhDluqJ++hKlAaeXRNo1mjQVg3MV3vxCgKl8JbC6WFG16yQSQF/NGG74R2ABBet2HQ1RGqCDPTVvI0gHV4DsdJQQj0BxnOrr4bXF2WHjrfSQBdlX/37R0XbFun6h0+ZJ2gInCAIQE9PU9tJBSFb4qZ3gHW6yaw3qMd9zokoetT0o/HCOqr7EcjaWYyhRJSlqieL9jyKNhfoNo/I58y9NNR2a6OE8RHZNwD+Tx11s74C6l94RbImAczT2fzOY89dyz9IhftXjQAgINc5h74BpKrXVrAI1D0yTMU7/OO/8vEryA=="},"patch":{"replica":"one line in qlxcore.py (audited 701dbfd1...): OFFSETS = (0, 1, -1, 2, -2) -> OFFSETS = (0, 1, -1, 2, -2, 3, -3, 4, -4); arm knob split_nc=7 or 9; split_nc=5 (default) is bit-identical to QLX5. Cython: copy mkcy.py with SRC_SHA set to 6efebf20c8d171989df83aa12e7bd8ad2d2a98a18e82e5231a94b8a0883ba1ad, then build_cy.sh unchanged.","solidity_recipe":["In TellMath.qHitX replace  int256 m=m0+(i==0?int256(0):i==1?int256(1):i==2?int256(-1):i==3?int256(2):int256(-2));  with  int256 m=m0+(i==0?int256(0):(i&1)==1?int256((i+1)>>1):-int256(i>>1));  (yields 0,1,-1,2,-2,3,-3,4,-4 for i=0..8; identical for i<5)","In afterSwap change the call  TellMath.qHitX(...,t.isBuy,m0,5)  to  ...,m0,7)  (nc7) or  ...,m0,9)  (nc9)","No other change: m0 slot 6 tracking, window 7, q_hit_x arithmetic untouched"],"code_zb64":"eNrtO2tz20aS/oxfMZfULQAbhADwoZfh3USxz76KrZzl5LaOy0KBwFCEiQc1A1JUdPzv190DgKBEyd5L4qqNiSqJ8+zu6e7p7mkM7AP74G8/havXPIy5ePKHPI56Hvp1nG5vU8Z21/Fc7wlbPfkCz0KWoQD0T77OxztiWZlk3HcPj3vdgXvs9W3XPe4fe4fak/3zp3/kPE3KjgjjZCEP5mEZTe04mUx+9/0/UPvdPey77V96PCi7fe+wd9jru04f9n+3f9h/wpwvuf+TLH503Kf6/0Wfnhf1PO05O3/16uLlhwvmM8OxmGuxDvx58OOZWqfT0V48MsJiXfiBvx789EzGvmVttWJG1OtIHopo2hmbJ2ySCFnC/yVnizyahvklj0/VjCCP2OHBMeOrkucxK6ecSShFSbo3Rn/MY+/9/97/t/3/0cB2D92jQb+/33Jfm/+Xwp7f/DH7/xH/P+g63cb/e44H+98b9Hp7//8lnm/ZmeBxUp6wD+FNWghmXJZZNMuTy2lpWuwyKaeLsR0V2cGm/SDMso5Msr/1jlwvHHSPvK7rDrwed/vOIIxCt+tGYbcfdQ+PJsddJz5mgiv/fyCLdMljW3s8QvivH//eZ6UIoxmP1UBWcogZroEaFoV5nMRh2YQGLI98DBqMOkJxLNeC4MSzIDTpWhCY9CwISwDnUm4iDoWkyCnIOLspp1AcL5I0ZsWE2sIFsAXG8VUYlWxeiNJm7GcZXvITNlfjO98z2jLs7fkPL9n5zx/+8+L8HRuG4lKOtCTDOUzeSIsV8PdRFrnF0NZaQLlYRKXFpqGcpsnYYtkiLZO5KCIuZZJfslCybK5pGG0V0oa4HMNykYcZN+p6OJb4awTBJEl5EJim9ubtTz/CjFs9KlP9pJn5sUhy48JienRTLMoAO0G0OvQ9PAg7adDNrjGrA1zbwVW6igrBdXOtBW8R8VrTtJhPWJDkSWkAB1LzRGPwAASeLxNR5EP93c9vv/8uOPvu7PXL4Ic37/VRa5ENhnyRjcNAZ88YQSEgwEo1KsklFyWGobjiIY4YqSHJhMYz31ekUyN1KGlUFCN/r6iPp5I/NCqIbjYDx6HkQOiV/VORJtGNRo1RGkrJzopFXoLUDBxjbqCh3vjMOWUfF9lcVvypO5FN8jqcG5KnE4s9DVsT8clgdVOYg902VqgwTUq5NQxkBYMQsb0NbWsUsKWZzv7NB8CwiRhokFGBZx1AaLIXPutuk4FPvT4bF/TMZ+69EfGGUIJ0uplDax/GKOTtNvuSl0ZsMUD77A5IwcuFyHFt1FzzvAWC2oO3Q/2K1OfqlCofVMVOizAOynCccmmYqutMb1Og2lBTqBkLFSaxyA0411TQLJYHYGXm0u86Dh1srkORVUr+sRgbsNUruUnOYTGzvBijpKFdAYRyRSbwpKqcUcVu1OPMbikIziodKKOlsOdcTIIIqebCUDIVtESkU6FsSH36lLCrUXG5GwSIp3S0FpPjJCoJkt9agU//LWKMv2GVxXh8yX0x1PEX61O+8pUxg50ZzQz9RaxbrBlg2jDAMK17ChOFaSoREBUQUikSTi1UINigrNiAvzSCp2kwL9SgqoztoRhTG/5iPXOwljlQvocXeO4T5y21Kf1boN6Ygc9Zsgl4v5kFhSRnEswAj41KMjY4ggxUyVzjNox8AdyMjRiAdMHqKm2YF0VKFg90xj+qlKLicTZHZQchgAxWpaGD4b7OdRPUGuaAU0BrmYRp8isXPplO1YR+xFcwCQ3s4iBAHxAEZOCCIAuTPAgqM5cVMbgWZRDQVML05dAFhjQVb1RRtVPX8J/RmFGEpsxoKJKybUpRTxBAmsjSEOhMDRciOqfveharSgNzY4CQr4oxsxx5OzTQNFtAADgYg3xVU0G3c7ei16kB8ET9tTnaNlAUE7SY3zPRZs/vWzFYNXkKsDboiu0YJWvMchMtwNzOwHjCjraAPImUmkS3JGXABY82C4p3cCDJYRfVfO6OTJRgq6U3Mlsc2dBMq99FMVKrx4kkb72LQuDRhkJFEYg6mi7ymQRF8r2d6MitP4YOBvR347sjhs9BztO2ItGukS1F+hbNpKwTQuBKS2jIZIDiYacMTJxkuGdEkUKEWIJwYaOFECkpI2WSE+NhNMVpzADSrbqniuuIsscU99NiQ+dkghNBymAuqQ76F7kZ1R/986JFj/1puf5WsSIgNBj11sNF1MZs9w7B0Z+5IXaQRUu7BpMeSFqcMpQt60Lux2LV8GYfGjARTNec5wbYLwj/rvVqu8wFCkSPi5yDLVAmbguLuU9T/Ovn/7r383/uPv/3RfJ/h1v5P8/pDuz+oeMN9um/ry//F4tkyX//FOCn8n9Q2+T/BvT+r7vP//3J838X/GrBczz2MNc76mBIocIFSbEWk2UBR+LrKc9ZtMgWaVjiC8OMh/kzT3L2nNlOlxmzpGQSczW2XGQZnFR+5aZdZ+lqdYY4pSgk/1/BMbvzQGJOLsZV/g1WnWLck4Xl9J/NwO1IUSEwG/8Z95JcQL0UEcQ1+lOId4YOBDM1cbgmTYXO7cOc9h/v3/xAKb48OoRAfCsqP1xj4iw6vtt+vF5r7UBcsaMKxCn4hjOrsOoQd9CDTWmxI0vlBhCjqW3yZBPRDoMNFbTdXRlEcbisieD8V27jaL0+AN1H6DqE0B1A9Duhg3ymj+BYAEUK5/XRWoNdWiIvbsMTRdY8BDj+EKJQpTVURKWZ89h/B+GiilfDOuxda3DAXvI6/McmU6MjP45Qp4FcVFFxWsA4dSx5hurJnrLZKZsmOLugpsP6nJwXcGpByJt4eix4ONM22bkHuDPRb1Ek60DcztYVj9pQ62l8BQRLDIxbMftGXSkVNEQd4SseLSjtBTg63+vWfcyUrqbEbnUao4QBJaSNtDBVYZrsyNjUT+vsjLJAPg7DUYvXyAs4pePpgEcz/4NY8ColtUNvYE1mO716CzJHU4DyFwRU0BGzPjCpnEWDTIkSMbZZQwkQ1BcgrGkVxTXqWtxuk+VQJz2Cw8ozHw46DfZWDguOLIh72PSNmuzWhkCE3sKFmO6YJeO3Qt8c/KJd4Ftr2YwUPMI1434hefszSx3e/GFaYIat3j4BGlZfwLkKCwFeAdKbPsmpR1LGD4xxkPsR1PNdCTYkD0YQuOguOOwBYNEWsEU0vjsSdpgHW64ZtwtLGIFDAKdQ5NIHLiBzoUkfbXPNRDO+CjBpB79KAtH9QbsQJDG6pyhMA5RHg2TKV3i09e+LTfV8BmRMaAZZki9kgEAayJTn3KUQVc9ngKbk6Q7YVVJ1F/C66y7f1AHbj9tH7fbGqQzIyA7B5MIpH3RtM0Ad20OrbS5wAFi9dCGnLatwN91YOSfK7cCMoV7pCFD4nDng9LfzFkhJZfUp40C6Hk5KLoJG4zfqChBDIMjXd4cUCF7ffnNCxsUWPCuW3AhNbZOyIExItq+yEmgJffxnKePj038MLMQyWRbgrJShqvMcn3AKamffVH6hTok86MYRCyx/GG6MI4UKMGFjlomptWXcSHDYcUeKz7lSbTh/90a1K0LILd/GybziZsIOi834jZ+G2TgOGbgD4zHoyGkUQofMNsUVECfFfAWMbeeLRSNHkfmIsH4rgVOG2EDeBVevDI1CSh2P4N2xXyogkn8KhDJXG1GqtYtFyn3YnZdT5AqiwcQjcq+CrIztKbsUScwKEXPBStxtm8Vu9GkiHteM7WCqnSNr5clevT//n5fv9K19NxGmueNdZzXj3Tm7+Pn9L29+OX+v73Np+/zf/v7f13z/z3O7nu0cHcMBZ58A/Pru/2XF7Mvn/w4H/UGT/+t5Pcr/DZx9/u/Pnf9DXaNglV7Utm8DXhRpAiTdMEWY4ZqM55dJzhnQMU9SiKIgzKL7ewcsj/qdnF93+GouqHpI/48hFIVjsYUYxkkMZzkIrqR5CpgNz2QfeJq+xSDr6nVS/r2+8sfVjT9ZLETE8f0zRs7zG8GXGd4dxCH0iQyM+UndALwK4GwWrJCetLjEa4V4oWUcRphVmi9KaT+Qbmxu/gmIyYvsd8gz3gsbBd51yviB4h0JLZoCdVDnGDpORJExaA2Qq7xM8Cxtw1LthssV6bU8zqr2ZklFGq00KTDHsDtyXR2glGwYCAjhFBXGhqmd//hDcP7qFUz6BiJQrz9gmZ85z4zE952/qhbDMU+g6tZVl6peXe2oereue1CtejzTPP1Ge/fyvz8HhZH8xTVbaIzkmWu+eAHQO1VLgjWEiESfffcjXq/8RqZFKYe9kbWoRpV2Ir9f3Px1Mj6ZhKZVVa3Msfo4N5QoIwaMsukellFxwKSzljqUbfUhItVJV4uWoUhC6MqjKsuFJz2cIfg8DSNew7NYtW5zqwehWawuNV06EkcnTus2j9ZQNs32paXlZuTBAYuqm3M1MXhHsk+zoXNr9+aRj/C27/SePgjANTWVJb3Vi8lE8jLAnRwsw3QBB6UTNnToUidyw6ETDAMx0aUM9uIFcI86/wIF6utAHzabKnuWbHK7x+ZoraFmA6q7Cg1KCVTJgKhAjQW8wF/KpvcDsC5IErTVguib1HXYajo0m9x73XRsrrX2nTJCsX37Ak+6SFO95YxlJYIxdFxyOJOWwoBzoT6+KXkEB39gmMptA9x2fwyiKm54HNwdWKehh7MmO1LM/DHeGhG2XESYQQbSuRB4rBW2KuDxGqj1wVYASXDwnYag535ltGxVNZY2zxGXYdI9vzi5hGOwsTMxVdkiIk+BFfY9mk0U5metSgm7tcDHMyqztTJB6tBsXwsQArJa+QJYaQ5c0GBlwCKS0pBEOdJe0+uCMaib/o+criLhpc3X7JZNFnmEBpNdGZUVYPPr2iAwsdoUb5rihHMLOc/GYBxqu+Q03bC96cM3MP4pmy8Er3aiNHBSNcG8rbbntgczADkgBWSERBkfAHi6Zut/5Doaabrzp1/AEkp+eUMMwfdEdCkxx5vgr9dKX8E7RaivpJgB3aXFpGFQrx+0d1uLEfgwH6mb5w24aK3hWxRyErV+BxBs5XEoYuNWT2FbLkJwRSdMrzckpjmU95VqC0ps4CUaDknkFnPQI7woSTWe49uOGMqYUFQ+D8d5joPvwpZJ+Ob9phN82y9cSJAa4sR7jVJXyoqqAt76gqecpErAnzb/hzjVrpXQLsYfYZiuINoZh0ggfkPZ4knCMQG/hseilQdLhdDXHfvI9noVPuInKitenjWI0Wfn7z68/+7sw0Vw8f4M78WDtoKzLq5pnHxsoKnhRfFiqDcS0kfDbUlD/TXoM7n8KqCpnPjLX95qWPWxhLelM3wPozsrvHuvu67OngI7TxkuFa3zOATBgVPAS2Wuw55ir6mFcYy2DAepTUv9tNttRIrXgKfERiSl2c5Qrpg5wqCGp3iXfWsSpQo3M3cw21auwqheoKLDvDZW5kntx4wV+3eIIdnz5wz3j2mXhTJDRtdDy5pc6moWoAiujOYivqhpMZSUJb5UDjC8o7Xhii2K9uKwDH2k/Rkb67oyP9d0s3BVuaEVZWDrHCfyGnppiRUlYtj1TgYQUVT0nNKgjHVahFOWHJ2b1+8r+5e13bUy6cOui5cYs88KEFtfegDG/+cnGjRde+DDiQ+7ruNDoIyZ6pGmbrFvXbgk6j9srt1vdXrYCbN9+LOaD4b9Y1MTOb5cVKG0/Z5+wCOfshy5mEhkJn364LNJiHJ1yNDNYR/gOyh66/FrMjcILvwbuiejSguA6TAANOuErqIm+YKrbw8ssuIsXMEf/JYWGn209gyC+hD9+kKcsjm0zaFtDo1zbEWcwz4ImgqDunBYF45GzRvOnKyw0bfYocWOWy84M7yyDUu2ccHIoc7AYoNNLhhv1eJn2uEKyQcylbogmRt6trrmYbUc/NAkb7/HuVGfG1TnHNgdANtEa6B2O20Y1ZRvfxpCbIcWo1zMIbABQCZ+ecKX5qmSBfRBI3D2lITSVJtPU7DqjlpfpmCgONSvYPYqQNxLGagPsTZvfuhDhvsa9ZAyRWCHpQ8OD6mlk530sVh9fID/VDEIy6AKTy951weC26+C6BX6o7l7lVlpp+7xpjGaMd8FhqhcfCtnTxCbAcOTruM4+6uu+2f/7J/9s3/2z/7ZP/vnNz//BwUZXhQ=","code_encoding":"base64(zlib(tar)): split-radius/{patch.diff,sr.py,drive.py,smoke.py}; smoke.py regenerates the nc7/nc9 .sol files from QLX5.sol (sha256 e183e5bc...) by the recipe and checks their sha256 listed in smoke.compile_engine_compiler"},"smoke":{"passed":true,"compile_engine_compiler":{"QLX5":{"ok":true,"errors":null,"chars":47230,"sha256":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","runtime_bytes":22440},"nc5_newexpr":{"ok":true,"errors":null,"chars":47246,"sha256":"922d5dc40ca18c20b12815689eac16cb447b112406e33ac921de18d4c14c5127","runtime_bytes":22461},"nc7":{"ok":true,"errors":null,"chars":47246,"sha256":"44bd1d79befd68d3d16e6d44d5e9b522d737b8310e8954214db58289abb4a2f2","runtime_bytes":22461},"nc9":{"ok":true,"errors":null,"chars":47246,"sha256":"87eda5c2c2e032d5795abaa09cd6eba73caef72629f198d4725a6b862d2c03a3","runtime_bytes":22461}},"offset_expr_values":[0,1,-1,2,-2,3,-3,4,-4],"qhitx_evm_vs_python":{"seed":64000,"steps":1500,"cases":4038,"mismatches":0,"hits":1398,"hits_at_offset_ge3":344},"note":"edited TellMath.qHitX (nc9 source) deployed in pyrevm via a harness contract, called on inputs built from logged callbacks of seed 64000 (1,500 steps, nc in 5/7/9, random m0 in -6..6) and compared with the patched Python q_hit_x: 0 mismatches. Runtime 22,461 bytes <= 24,576. Gas/OOG not measured (no engine run)."},"timings":{"parity_wall_s":26.35,"choose_round0_wall_s":30.6,"workers":8,"mean_run_s":{"nc7":0.4909765625,"nc9":0.68840625},"total_compute_under_minutes":10,"cap_minutes":45},"provenance":{"kit":"https://raw.githubusercontent.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/45e7563d1a29ffca9d608fdf60c90bf2624d2d01/ (setup_fast.sh --platform linux-x86_64 with scratch --cache/--scratch; score.summarize)","artifacts_sha256_verified":["72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b","8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15"],"wheels":{"cython_3_1_4":"9def7c41f4dc339003b1e6875f84edf059989b9c7f5e9a245d3ce12c190742d9","setuptools_80_9_0":"062d34222ad13e0cc312a4c02d73f059e86a4acbfbdea8f8f76b28c99f306922"},"runtime":"python 3.12.16, numba 0.68.1, solc 0.8.24 (optimizer 200, viaIR, paris) from the kit venv","tables":"mktables.py on QLX5.sol (artifact JSON form not accepted by mktables.py)"},"limitations":["Only 128 choose seeds per arm were run: both arms met the stop rule after round 0, so the gains are diagnostic, not selected, and no report-set estimate exists.","Replica only; no engine seeds were run (none allowed). Engine afterSwap gas of the nc7/nc9 contracts (up to 4 extra candidate iterations per split try) was not measured; QLX5 peak was 208,366 vs the 245,000 limit.","Activation counts come from a Python wrapper around Policy.swap that reads m0/hits; they do not change any arithmetic (nc5 under the same wrapper equals control on 128/128).","Gates P/Q/T/F/G/E are not claimed."],"engine_work":{"fresh_seeds_from_10200000":0,"engine_runs":0,"submissions":0}}