{ "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, replica and production U1 tables QLX5 is built on.", "item": "c4-search-b/level-curve", "where": "replica_choose", "metric": "QLX5 + level curve (arm B=+5000) minus unchanged QLX5, engine-faithful Cython replica edge per seed, paired, kit score.summarize", "headline_arm": "B=+5000 (lvl_curve=5000); DIAGNOSTIC ONLY: stopped at round 2 (cumulative mean+2se 0.02314 < 0.03), never selected", "gain_vs_base": 0.01062344092436899, "se": 0.0062590456608573215, "n": 384, "seeds": [ 64000, 64383 ], "advance": false, "advance_reason": "No arm survived the 128-seed rounds on choose seeds 64000..65023 (all four stopped on cumulative mean+2se < 0.03), so nothing was frozen and, per the brief, no report on 10000..12047 was run. advance requires a completed 2048-seed report with gain >= 0.03.", "source_sha256": "48e71018b1bdd21ddfd35da3801c01ce0f9e01d40df03a7456ce30192f620314", "source_hash_scope": "sha256 of the patched replica policy source qlxcore.py (= audited qlxcore.py 701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00 + level_curve.diff below). The QLX5 contract is unchanged: e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40.", "config_sha256": null, "config_note": "No config was selected. The measured diagnostic arm config {\"lvl_curve\": 5000} (json.dumps sort_keys) has sha256 c5403ae05837866da861a39794993aa624780255c4b50df8ee661e11b6a368dd", "selected_parameters": null, "freeze": { "frozen": false, "record": null, "why": "no arm completed 1024 choose seeds; no report seeds were touched (10000..12047 never run)", "report_run": false }, "rule": { "round_size": 128, "stop": "after each round, stop arm when kit score.summarize cumulative mean_diff + 2*se < 0.03 or when it has 0 activations", "choose_seeds": "64000..65023", "report_seeds": "10000..12047 (only after freeze)", "grid_order": [ -5000, -2500, 2500, 5000 ], "cap_minutes": 45, "workers": 8 }, "arms": [ { "arm": "B=-5000", "knobs": { "lvl_curve": -5000 }, "seeds": [ 64000, 64127 ], "n": 128, "rounds": [ { "round": 0, "seeds": [ 64000, 64127 ], "n": 128, "mean": 0.004745284606554101, "se": 0.007800794101913276, "up2": 0.020346872810380653, "wall_ctl": 9.5, "wall_pat": 37.8 } ], "stop": { "round": 0, "why": "cum mean+2se 0.02035 < 0.03" }, "completed_1024": false, "paired_moments": { "n": 128, "sum_diff": 0.6073964296389249, "sum_diff_sq": 0.992098698341595, "mean": 0.004745284606554101, "sd": 0.08825591052964643, "se": 0.007800794101913277 }, "activations": { "fee_evaluations": 1393094, "tt_changed": 587537, "fraction": 0.4217497168173863 } }, { "arm": "B=-2500", "knobs": { "lvl_curve": -2500 }, "seeds": [ 64000, 64127 ], "n": 128, "rounds": [ { "round": 0, "seeds": [ 64000, 64127 ], "n": 128, "mean": 0.010633143273575563, "se": 0.007503429322157121, "up2": 0.025640001917889805, "wall_ctl": 9.5, "wall_pat": 37.8 } ], "stop": { "round": 0, "why": "cum mean+2se 0.02564 < 0.03" }, "completed_1024": false, "paired_moments": { "n": 128, "sum_diff": 1.361042339017672, "sum_diff_sq": 0.9297085552816015, "mean": 0.010633143273575563, "sd": 0.08489161209362049, "se": 0.007503429322157122 }, "activations": { "fee_evaluations": 1392990, "tt_changed": 587469, "fraction": 0.4217323886029333 } }, { "arm": "B=2500", "knobs": { "lvl_curve": 2500 }, "seeds": [ 64000, 64127 ], "n": 128, "rounds": [ { "round": 0, "seeds": [ 64000, 64127 ], "n": 128, "mean": -0.000999714933480167, "se": 0.008057207054073846, "up2": 0.015114699174667526, "wall_ctl": 9.5, "wall_pat": 37.8 } ], "stop": { "round": 0, "why": "cum mean+2se 0.01511 < 0.03" }, "completed_1024": false, "paired_moments": { "n": 128, "sum_diff": -0.12796351148546137, "sum_diff_sq": 1.055444453119978, "mean": -0.000999714933480167, "sd": 0.09115689192575525, "se": 0.008057207054073848 }, "activations": { "fee_evaluations": 1392818, "tt_changed": 587489, "fraction": 0.4217988279875763 } }, { "arm": "B=5000", "knobs": { "lvl_curve": 5000 }, "seeds": [ 64000, 64383 ], "n": 384, "rounds": [ { "round": 0, "seeds": [ 64000, 64127 ], "n": 128, "mean": 0.027110954145767252, "se": 0.008975849143644674, "up2": 0.0450626524330566, "wall_ctl": 9.5, "wall_pat": 37.8 }, { "round": 1, "seeds": [ 64128, 64255 ], "n": 256, "mean": 0.01686325843048997, "se": 0.006653473841320704, "up2": 0.030170206113131377, "wall_ctl": 9.5, "wall_pat": 9.7 }, { "round": 2, "seeds": [ 64256, 64383 ], "n": 384, "mean": 0.01062344092436899, "se": 0.006259045660857322, "up2": 0.023141532246083635, "wall_ctl": 9.6, "wall_pat": 7.5 } ], "stop": { "round": 2, "why": "cum mean+2se 0.02314 < 0.03" }, "completed_1024": false, "paired_moments": { "n": 384, "sum_diff": 4.079401314957693, "sum_diff_sq": 5.8049788558127835, "mean": 0.01062344092436899, "sd": 0.12265174516705254, "se": 0.0062590456608573215 }, "activations": { "fee_evaluations": 4206538, "tt_changed": 1779091, "fraction": 0.4229347268466373 } } ], "timeout": { "cap_s": 2700, "hit": false, "choose_wall_s": 93.5 }, "parity": { "audit_rows": { "seeds": [ 10010512, 10010515 ], "source": "per_seed_512.csv in payload of A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4", "unchanged_qlx5_cython_vs_engine_hex": "4/4 bit-identical", "calls_tries_hits_equal": "4/4", "edges_hex": { "10010512": "0x1.2f10a711db056p+9", "10010513": "0x1.e2c73e5b63867p+8", "10010514": "0x1.94cbf188fe8c4p+8", "10010515": "0x1.c241723e5f101p+8" } }, "disabled_patch_equals_control": { "runs": 20, "seeds": "10010512..10010515 and 64000..64015", "equal_edge_bits": 20, "equal_callback_log_sha256": 20, "what": "patched build with lvl_curve=0 vs unchanged control build, sha256 over repr of every callback (inputs and returned fee WADs)" }, "rebuild": { "control_qlxhot_py": "3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93", "control_qlxcore_cy_py": "7e1d0d75ab5f315f03a1f74185aed0351dbed9bc7e871ddf0c5a145bd4d8aa72", "control_qlxhot_c": "3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844", "note": "byte-identical to the hashes recorded in A/72b58a14 and A/8d540069", "patched_qlxhot_py": "16b1fcb073c8db251be6ac2808ffab57a15ab43565b5794a55689bae4b75c40a", "patched_qlxhot_c": "959bb858e2567b8bacddfd6703807ee5297fe44718684148ea4d0ca66b467d09", "qlx_tables_json": "8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6", "enginecore_f_py": "60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd", "numba_cache": "separate NUMBA_CACHE_DIR per implementation (nc_ctl, nc_pat)" } }, "pairs_unrounded": { "encoding": "base64(zlib(records)); record = struct \"= S[k + 1] * U:\n k += 1\n tt = clip(tdiv(sd - S[k] * U, S[k + 1] - S[k]), 0, U)\n+ B = K['lvl_curve']\n+ if B:\n+ tt = clip(tt + tdiv(B * tt * (U - tt), 10000 * U), 0, U)\n pw = clip(tdiv(w, st) + H * U, 0, 2 * H * U); wq = (pw - H * U) * st\n if ph == 0:\n tb = K['table_arb']; pc = K['p2_clip']; p2 = clip(tdiv(w2, st), -pc * U, pc * U) + pc * U; nc1 = 2 * pc\n", "knob": "lvl_curve (default 0 = unchanged QLX5); arms B in order -5000,-2500,2500,5000", "replica_run": "sys.path.insert(0, CYOUT_PAT); import qlxcore_cy as Q; Q.run(seed, Q.load_tables(), lvl_curve=B)", "build": "build_cy.sh from payload of A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760 with mkcy.py SRC_SHA replaced by the patched qlxcore.py sha256 48e71018b1bdd21ddfd35da3801c01ce0f9e01d40df03a7456ce30192f620314", "solidity_edit_recipe": "In QLX5 (sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40), function fees, directly after the line \"int256 tt=clip((sd-sdl(k)*U)/(sdl(k+1)-sdl(k)),0,U);\" insert \"tt=clip(tt+(int256(B)*tt*(U-tt))/(10000*U),0,U);\" (inside the existing unchecked block; |B|*U*U <= 5e39 cannot overflow int256; Solidity signed / truncates toward zero = tdiv). Knots, tables and all other coordinates unchanged." }, "smoke": { "passed": true, "what": "(1) disabled patch equals control 20/20 bit-exact incl. callback logs; (2) unchanged control equals engine audit rows 4/4; (3) Solidity edit with B=5000 compiles with solc 0.8.24, viaIR, optimizer 200 runs, evmVersion paris (engine compiler.py settings): 0 errors, deployed 22521 bytes (QLX5 22440), source 47317 chars, source sha256 0896eeb4a0fae4549ae85e5f638a020dbf33b2b328e81f56ca68401215ebf33a. Not run in the engine (no engine seeds by brief); gas not measured." }, "timings": { "parity_ctl_wall_s": 1.7, "parity_pat_wall_s": 2.9, "choose_wall_s": 93.5, "round_walls": "see arms[].rounds wall_ctl/wall_pat", "workers": 8, "kit_setup_s": 11.0 }, "provenance": { "kit": "identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01 (setup_fast.sh --cache/--scratch under test/scratch; score.summarize)", "checked_cython_replica": "https://api.imd.fun/artifacts/72b58a1407966f0223f06ab7c6ddd979a24fb4593f1a9b3dc43508a7f133d00b", "cython_payload": "https://api.imd.fun/artifacts/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760", "original_port": "https://api.imd.fun/artifacts/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4", "engine_audit": "https://api.imd.fun/artifacts/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4", "qlx5_and_tables": "https://api.imd.fun/artifacts/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15 (code_zb64.QLX5 sha256 e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40)", "cython_wheels": "cython 3.1.4 sha256 9def7c41f4dc339003b1e6875f84edf059989b9c7f5e9a245d3ce12c190742d9, setuptools 80.9.0 sha256 062d34222ad13e0cc312a4c02d73f059e86a4acbfbdea8f8f76b28c99f306922 (files.pythonhosted.org, hash-checked)" }, "engine_work": { "fresh_engine_seeds": 0, "engine_runs": 0, "submissions": 0 }, "limitations": [ "Replica only; no engine seeds were used (by brief). The replica is bit-exact to the engine for unchanged QLX5 on the four audit rows checked here and on 512 seeds in A/72b58a14; the patched arms themselves are not engine-checked.", "All arms stopped early, so every number is a cumulative diagnostic at the stopping round, not a selection; B=-5000/-2500/+2500 have only 128 seeds, B=+5000 has 384.", "Activations count fee evaluations where tdiv(B*tt*(U-tt),10000*U) != 0 (about 42% of fee evaluations for every arm); the curve is active, it just does not gain >= 0.03.", "No report on 10000..12047 was run because no arm survived; nothing frozen, no retuning, no restart." ] }