{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved: the solved policy, replica and production U1 tables that LEAN and QLX5 are built on. Checked here: the Cython build of A/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760 against the untouched port A/60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4 and the unrounded engine rows of A/362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4; QLX5 + tables A/1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15; kit identity-md-launches/goal-3178-build-shared-evaluation-kit@45e7563d1a29ffca9d608fdf60c90bf2624d2d01.","item":"b3-speed-check/cython","where":"replica_parity","metric":"Cython-accelerated QLX5 port edge minus unrounded engine edge (A/362fb97f per_seed_512.csv), per seed; replica-minus-engine parity error, NOT strategy improvement","gain_vs_base":0.0,"se":0.0,"n":512,"seeds":[10010512,10011023],"gain_note":"every one of 512 per-seed differences is exactly 0.0: IEEE-754 bits of the Cython edge equal engine_hex of the audit row on 512/512 (and the untouched control port also 512/512). max |diff| = 0.0.","source_sha256":"3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93","source_hash_scope":"SHA256 of qlxhot.py (the Cython-compiled policy source) regenerated here by mkcy.py from qlxcore.py 701dbfd1...; byte-identical to the value claimed in A/8d540069. QLX5 contract source itself: e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40 (unchanged, not recompiled here).","advance":true,"advance_reason":"512/512 exact edge bits vs the unrounded engine rows and vs the original port, equal callback counts on every seed; all 20 trace/variant runs (4 seeds x default + 4 knob variants) identical in every callback input, fee WAD, policy state and label; default-knob counts match the engine trace summaries; median paired wall speedup 1.5272x (+52.7%, >= 20%) on 32 old seeds with 8 workers.","parity_metrics":{"seeds_512":{"compared":"Cython build (qlxcore_cy + qlxhot .so) vs untouched qlxcore.py (control) vs audit row engine_edge_unrounded/engine_hex, default QLX5 knobs, separate spawned 8-worker pools with separate NUMBA_CACHE_DIR","checks_out_of_512":{"edge_bits_cy_eq_engine":512,"edge_bits_ctl_eq_engine":512,"edge_bits_cy_eq_ctl":512,"nedge_eq":512,"sha_eq":512,"counters_eq":512,"calls_eq_csv":512,"split_eq_csv":512,"row_rounded_eq":512},"mean_cy_minus_engine":0.0,"max_abs_cy_minus_engine":0.0,"mean_edge_cython":535.8764277580433,"mean_edge_engine_audit":535.8764277580433,"per_run_digest":"sha256 over repr of every callback (inputs, returned bid/ask WADs, policy state m,v,sp,r,px,py,fb,fa,t,cnt,syn,m0, counters, per-callback label deltas); sha_eq 512/512","all_runs_sha":{"control":"3160f50f467d6ae1e2d924cf77bdf57ca889f8355abb9c0b00f92d0ef92d500b","cython":"3160f50f467d6ae1e2d924cf77bdf57ca889f8355abb9c0b00f92d0ef92d500b"},"first_divergence":null},"trace_9700000_9700003":{"all_pass":true,"what":"original vs Cython, full per-callback records compared field by field: inputs (init,is_buy,ax,ay,t,rx,ry), fee WADs as exact integers, policy state, labels (deltas of firsts, arbs, tell_pos, tries, hits, guard); variants default, split_window=13, split_nc=3, pull_alpha=150000000000000000, and all three together; default runs additionally checked against A/362fb97f trace_summaries.json (engine edge bits, wad_callbacks count, afterSwap callbacks, tell_positive, arb_labels, split tries/hits, m0 value set)","runs":[{"variant":"default","seed":9700000,"callbacks_ctl":11332,"callbacks_cy":11332,"edge_ctl":"407fd2f28209c12a","edge_cy":"407fd2f28209c12a","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":22664,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3889,"labels_arb":3888,"labels_split_tries":7421,"labels_split_hits":6578,"vs_engine_trace_summary":{"engine_edge_bits_eq":true,"wad_callbacks_eq":true,"afterSwap_callbacks_eq":true,"tell_positive_eq":true,"arb_labels_eq":true,"split_tries_eq":true,"split_hits_eq":true,"m0_values_eq":true}},{"variant":"default","seed":9700001,"callbacks_ctl":9698,"callbacks_cy":9698,"edge_ctl":"407ef24f0ead2058","edge_cy":"407ef24f0ead2058","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19396,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3761,"labels_arb":3759,"labels_split_tries":5906,"labels_split_hits":5316,"vs_engine_trace_summary":{"engine_edge_bits_eq":true,"wad_callbacks_eq":true,"afterSwap_callbacks_eq":true,"tell_positive_eq":true,"arb_labels_eq":true,"split_tries_eq":true,"split_hits_eq":true,"m0_values_eq":true}},{"variant":"default","seed":9700002,"callbacks_ctl":12859,"callbacks_cy":12859,"edge_ctl":"40862d8e762c042e","edge_cy":"40862d8e762c042e","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":25718,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":4186,"labels_arb":4185,"labels_split_tries":8663,"labels_split_hits":7652,"vs_engine_trace_summary":{"engine_edge_bits_eq":true,"wad_callbacks_eq":true,"afterSwap_callbacks_eq":true,"tell_positive_eq":true,"arb_labels_eq":true,"split_tries_eq":true,"split_hits_eq":true,"m0_values_eq":true}},{"variant":"default","seed":9700003,"callbacks_ctl":9832,"callbacks_cy":9832,"edge_ctl":"408092f075613da6","edge_cy":"408092f075613da6","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19664,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3773,"labels_arb":3769,"labels_split_tries":6022,"labels_split_hits":5369,"vs_engine_trace_summary":{"engine_edge_bits_eq":true,"wad_callbacks_eq":true,"afterSwap_callbacks_eq":true,"tell_positive_eq":true,"arb_labels_eq":true,"split_tries_eq":true,"split_hits_eq":true,"m0_values_eq":true}},{"variant":"split_window=13","seed":9700000,"callbacks_ctl":11333,"callbacks_cy":11333,"edge_ctl":"407fd2651e27ee6b","edge_cy":"407fd2651e27ee6b","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":22666,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3888,"labels_arb":3887,"labels_split_tries":7445,"labels_split_hits":6600},{"variant":"split_window=13","seed":9700001,"callbacks_ctl":9701,"callbacks_cy":9701,"edge_ctl":"407ef3caea309c14","edge_cy":"407ef3caea309c14","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19402,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3761,"labels_arb":3759,"labels_split_tries":5940,"labels_split_hits":5350},{"variant":"split_window=13","seed":9700002,"callbacks_ctl":12859,"callbacks_cy":12859,"edge_ctl":"40862db03cb97d71","edge_cy":"40862db03cb97d71","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":25718,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":4184,"labels_arb":4184,"labels_split_tries":8673,"labels_split_hits":7665},{"variant":"split_window=13","seed":9700003,"callbacks_ctl":9832,"callbacks_cy":9832,"edge_ctl":"408092eb16279cbb","edge_cy":"408092eb16279cbb","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19664,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3768,"labels_arb":3766,"labels_split_tries":6065,"labels_split_hits":5410},{"variant":"split_nc=3","seed":9700000,"callbacks_ctl":11333,"callbacks_cy":11333,"edge_ctl":"407fd23bc55fe751","edge_cy":"407fd23bc55fe751","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":22666,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3891,"labels_arb":3890,"labels_split_tries":7420,"labels_split_hits":6077},{"variant":"split_nc=3","seed":9700001,"callbacks_ctl":9695,"callbacks_cy":9695,"edge_ctl":"407ef28c6f801411","edge_cy":"407ef28c6f801411","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19390,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3757,"labels_arb":3756,"labels_split_tries":5906,"labels_split_hits":4902},{"variant":"split_nc=3","seed":9700002,"callbacks_ctl":12863,"callbacks_cy":12863,"edge_ctl":"40862d535ba44652","edge_cy":"40862d535ba44652","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":25726,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":4190,"labels_arb":4187,"labels_split_tries":8665,"labels_split_hits":6997},{"variant":"split_nc=3","seed":9700003,"callbacks_ctl":9831,"callbacks_cy":9831,"edge_ctl":"408092e3d1b762f2","edge_cy":"408092e3d1b762f2","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19662,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3768,"labels_arb":3765,"labels_split_tries":6025,"labels_split_hits":4939},{"variant":"pull_alpha=0.15","seed":9700000,"callbacks_ctl":11315,"callbacks_cy":11315,"edge_ctl":"407fd17e0fd53bcb","edge_cy":"407fd17e0fd53bcb","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":22630,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3885,"labels_arb":3880,"labels_split_tries":7412,"labels_split_hits":6572},{"variant":"pull_alpha=0.15","seed":9700001,"callbacks_ctl":9684,"callbacks_cy":9684,"edge_ctl":"407ef3ce298031b4","edge_cy":"407ef3ce298031b4","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19368,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3751,"labels_arb":3748,"labels_split_tries":5902,"labels_split_hits":5301},{"variant":"pull_alpha=0.15","seed":9700002,"callbacks_ctl":12858,"callbacks_cy":12858,"edge_ctl":"40862e5d14fd2232","edge_cy":"40862e5d14fd2232","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":25716,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":4188,"labels_arb":4185,"labels_split_tries":8663,"labels_split_hits":7656},{"variant":"pull_alpha=0.15","seed":9700003,"callbacks_ctl":9818,"callbacks_cy":9818,"edge_ctl":"408090f7133c7a1d","edge_cy":"408090f7133c7a1d","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19636,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3761,"labels_arb":3755,"labels_split_tries":6021,"labels_split_hits":5363},{"variant":"all_three","seed":9700000,"callbacks_ctl":11312,"callbacks_cy":11312,"edge_ctl":"407fd108595ba60f","edge_cy":"407fd108595ba60f","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":22624,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3884,"labels_arb":3878,"labels_split_tries":7433,"labels_split_hits":6082},{"variant":"all_three","seed":9700001,"callbacks_ctl":9685,"callbacks_cy":9685,"edge_ctl":"407ef39f8cf7cb38","edge_cy":"407ef39f8cf7cb38","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19370,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3749,"labels_arb":3746,"labels_split_tries":5937,"labels_split_hits":4936},{"variant":"all_three","seed":9700002,"callbacks_ctl":12848,"callbacks_cy":12848,"edge_ctl":"40862f54cae86820","edge_cy":"40862f54cae86820","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":25696,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":4182,"labels_arb":4175,"labels_split_tries":8671,"labels_split_hits":7072},{"variant":"all_three","seed":9700003,"callbacks_ctl":9816,"callbacks_cy":9816,"edge_ctl":"40809388b1eefd2a","edge_cy":"40809388b1eefd2a","sha_eq":true,"counters_eq":true,"nedge_eq":true,"fee_wads_compared":19632,"fee_wad_mismatches":0,"state_mismatches":0,"label_mismatches":0,"input_mismatches":0,"labels_tell_pos":3755,"labels_arb":3754,"labels_split_tries":6061,"labels_split_hits":4966}]},"helper_exact_test":"payload exacttest.py, 2000 per helper (48,360 cases): 0 mismatches; compiled helpers are builtin_function_or_method"},"callback_counts":{"seeds_512_total_incl_afterInitialize":{"control":5627413,"cython":5627413},"afterSwap_total_cython":5626901,"afterSwap_total_audit_csv_port_calls":5626901,"audit_engine_afterSwap_calls":5626901,"per_seed_equal":512,"trace_seeds":{"default/9700000":11332,"default/9700001":9698,"default/9700002":12859,"default/9700003":9832,"split_window=13/9700000":11333,"split_window=13/9700001":9701,"split_window=13/9700002":12859,"split_window=13/9700003":9832,"split_nc=3/9700000":11333,"split_nc=3/9700001":9695,"split_nc=3/9700002":12863,"split_nc=3/9700003":9831,"pull_alpha=0.15/9700000":11315,"pull_alpha=0.15/9700001":9684,"pull_alpha=0.15/9700002":12858,"pull_alpha=0.15/9700003":9818,"all_three/9700000":11312,"all_three/9700001":9685,"all_three/9700002":12848,"all_three/9700003":9816}},"mismatches":{"seeds_512":0,"trace_fee_wads":0,"trace_states":0,"trace_labels":0,"trace_inputs":0},"first_divergence":null,"speedup":{"median_wall":1.52715,"min_wall":1.4752,"max_wall":1.588,"median_cpu":1.5676,"median_throughput_gain":0.5272,"claimed_in_input":1.5397,"reproduced":true,"total_wall_s":{"control":16.791,"cython":10.987}},"timings":{"seeds":[10010512,10010543],"workers":8,"note":"two spawned Pool(8)s (control, Cython), each fully loaded and warmed (numba load + 16 warm runs of 300 steps) before any timing; 6 rounds, order alternating (control first in rounds 0,2,4); 32 full 10,000-step runs per impl per round, no logging; wall = perf_counter around pool.map, cpu = sum of per-run process_time; edges sha equal across all rounds and both impls","edges_equal_all_rounds":true,"rounds":[{"order":["control","cython"],"control_wall_s":2.8334,"control_cpu_s":21.3336,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","cython_wall_s":1.9139,"cython_cpu_s":13.6598,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.4804,"speedup_cpu":1.5618},{"order":["cython","control"],"cython_wall_s":1.8794,"cython_cpu_s":13.4587,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","control_wall_s":2.7724,"control_cpu_s":21.0236,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.4752,"speedup_cpu":1.5621},{"order":["control","cython"],"control_wall_s":2.8326,"control_cpu_s":20.9422,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","cython_wall_s":1.7838,"cython_cpu_s":13.3141,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.588,"speedup_cpu":1.5729},{"order":["cython","control"],"cython_wall_s":1.8654,"cython_cpu_s":13.3076,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","control_wall_s":2.7757,"control_cpu_s":20.8199,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.488,"speedup_cpu":1.5645},{"order":["control","cython"],"control_wall_s":2.793,"control_cpu_s":20.7994,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","cython_wall_s":1.7832,"cython_cpu_s":13.1911,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.5663,"speedup_cpu":1.5768},{"order":["cython","control"],"cython_wall_s":1.7615,"cython_cpu_s":13.1323,"cython_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","control_wall_s":2.7841,"control_cpu_s":20.6264,"control_edges_sha":"3aa8f8ef91f95b35f475b228012327f10a28df3b8dc873e92cbca414669f447b","speedup_wall":1.5805,"speedup_cpu":1.5707}],"parity512_wall_s":{"control":42.23,"cython":28.41},"parity512_cpu_s":{"control":333.99,"cython":223.68}},"hashes":{"input_after_cython":"8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","original_port_artifact":"60dc237fa0a4d42f3b6e2d2bed61c1a2df08d27c31ccd95cce508ee9c8689de4","audit_artifact":"362fb97f041087bf3548c302af4c0f82d2537d6a6c0157a95ac06d0cb70a5ce4","qlx5_rows_artifact":"1ef80bfb6d6791b877b1f4048a5e63cf2ae54153e6e8763ae3f8ab13132dfb15","qlx5_source":"e183e5bc3fb794b7067703b10a7da9920267aa5f4caa968e16ca101b02338f40","qlxcore_py":"701dbfd1175fee7d129de92db21b1ddc78645796c422b29d8efba2eda501ab00","enginecore_f_py":"60af56a7570fabd603c6374d38a38f88b3c35a8f1e8192f588769460a96bfcfd","qlx_tables_json":"8c6d33c5c1024bc23593f46123aad1712c0cc8af3f4a118c5875258f9d7b81a6","rebuilt_qlxhot_py":"3d28cffd8e4fe258e412c9e42f7be7b8f590a719e1267293704af5c0f53d3e93","rebuilt_qlxcore_cy_py":"7e1d0d75ab5f315f03a1f74185aed0351dbed9bc7e871ddf0c5a145bd4d8aa72","qlxhot_pxd":"1aafacd66dcdb3d253cacc04503bbbbed0e64bf9fb8be5d0176a4c9de30382cc","rebuilt_qlxhot_c":"3ec6cc3133036121548f2321debfe83bba43227206a0f513b1d30cc0e5c64844","rebuilt_qlxhot_so":"74c5db45d6a67564c04984ed46338ce189906eb5166422cf713f5041ab713d32","so_note":".so differs from both earlier builds (a25edbf7..., 34426a41...) as the input already reports (embedded build paths); generated C is byte-identical","cython_3_1_4_wheel":"9def7c41f4dc339003b1e6875f84edf059989b9c7f5e9a245d3ce12c190742d9","setuptools_80_9_0_wheel":"062d34222ad13e0cc312a4c02d73f059e86a4acbfbdea8f8f76b28c99f306922","audit_per_seed_512_csv":"06bce18b1eb7712b848713baa86cabd2265778d480be61d2f4af59f8753cdc90","audit_trace_summaries_json":"1b8944ef02ea97d1152ab40e6afcaa06d1a5f4617abc635664a14de2de8722f8","kit_setup_fast_sh":"48e150d165ea3b385fb92e0e3a7aefbbe0d97c38c53efa737a587ed62c308d20","amm_sim_rs_so":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","check_py":"685189c3fa32ec87180b6efea4d8fbc5f6722cf797ecfabce3494630bea6137f"},"build_result_url":"https://api.imd.fun/artifacts/8d5400696659b56bc12eeffc34dec5e58c5c119ddddaca681792db59586dd760","commands":["curl -sSL https://github.com/identity-md-launches/goal-3178-build-shared-evaluation-kit/archive/45e7563d1a29ffca9d608fdf60c90bf2624d2d01.tar.gz | tar xz -C test/scratch/kitsrc; bash .../setup_fast.sh --platform linux-x86_64 --cache $PWD/test/scratch/cache --scratch $PWD/test/scratch/runtime; . test/scratch/runtime/env.sh","curl https://api.imd.fun/artifacts/{8d54...,60dc237f...,362fb97f...,1ef80bfb...} (full hashes above) into test/scratch/dl; sha256 verified equal to the URL hashes","extract code_zb64 (60dc237f) -> x/port, payload_zb64 (362fb97f) -> x/audit, payload_zb64 (8d540069) -> x/cyp; cd x/port/qlxcore && python3 -I mktables.py <1ef80bfb json> qlx_tables.json","runtime venv has no pip: the two wheels pinned in requirements-cython.txt were fetched from files.pythonhosted.org, sha256 checked against the pins, unzipped into test/scratch/cypkgs","bash x/cyp/cyqlx/cyport/build_cy.sh x/port/qlxcore cyout cypkgs","python -B tools/check.py x/port/qlxcore cyout x/audit out/trace.json trace","python -B tools/check.py x/port/qlxcore cyout x/audit out/parity512.json parity512","python -B tools/check.py x/port/qlxcore cyout x/audit out/bench.json bench 6","python -B x/cyp/cyqlx/tools/exacttest.py x/port/qlxcore cyout 2000"],"check_py_zb64":"eNq1Gmtv20byu3/FXouAZEvTkvxI4oCHS50CVyBt0tYBehAEYkWuJEZ8ZZeUzQb+7zczu3yKtgMcLkBkch8zs/OeWX7PbqSI4vKa3fI6ySWzt2Ua7rN4uysdl23jcletvTBPz7rxM56mpypO/3Xxar7gV+evFufz+dXiQswvZ1c85PPzecjPL8Pzl682r89n0WsmhRJchrszlScHEXkn37NfskgUAn6ykhVcxmXNfmSqECJi4U6Ee5ZvWLkT7KYud3nG1lWcRMx+e/YquryYza5eO4xveZypklZVWZlXsC9iRS5L9iW5D3MpvKLGLVezKFycv9w4gJZnkdkg8wqwR0xk2zgTTOZ3qsHJK+AI7jy/WmzWr19uWCFkoIC24HK+8EJ1cDx2k2elzBOCaIiUVcbijCkBB+KlAHSq4HcZUiXzUCgF1OWJcpng4Y7dAW9ZXALWu4z99unXn94GN29v/v1z8O6XPzz2SfGtuGaFhnz6k+YKnuj393/dfPiDlrGb/3z4dMvefnr3yy29w5v3WcGGXz+8+/kkTokbQK/LdlztknjtMpx2WQ5UqFJWYQl/a3gp41Q0G9IqKWNDcpxtGVcsLU5O/rx9e/sz85ltpZbLrAP+qAJ/Jf4U9/Rb4+9mTb8cf0v8CTP6o+oM/6Qzyzm5+e2WgIU8SRQtj6Uq6YnLNf0tRZIERa6fZSzoYRfrRduKywjgBHBWALT8Lc/E6uTkJBIbFsRZXNoFL3cuS/Mo46lw2R2XKUnRuT5h8A/O7eESD9RIyNKeuQxfHZo0rNB/gHE0mAKedsTTTwHArxJhGzR6N9K0nK1geao3ercBvnhJzqOg5OtEKNsxU6A2dkubS2tdlgWqFIXyz2czh7HvWVala87AEIs4EWcIBuylyJM4rOlgp1UBenUfJhUq9UbmKYoUpAccCRMOuvc+3+pzf/fddzfAc1i2rlFnbbClTSkkEwcha4byWHOwQFJQGznpslgF66p2Gb+H//AXhiQ8Snhcx1Fwx4Fwrvb44LxhPIoUWhKhM0SqEkyitT8wqNMWUcLXImGRSErQNBuFznaIFNQAtLNIwBhLWZ/RGEndZaQrp/nmFLnkeHAkwkWyJ+EHga1EsiHxw/IqSYzUSfIw48EEiiSP3uh3XAMD+MeMSBEq1KyVeY/i7eC9kOKAKjxzHfYDS0Rmg047Qyw7WGBsz1M7vri8sh2zPZ0hNCVK0ISWel6gVzS0l1XRoxoYSes17V7w8cN70LEOXQmzsAN0cSuA2aW0YQdw0WEbcOwcXROZcEdhmD2/ZXAkkFS7I2SnrKB1IRgOLv07LuwQnEvLHMcZcirMRiKYKQ90BZHCc4cGGA+rpSikbZeo2Aokj5ABv+N4IgvzSNhjTntVEYGO2bB7NIWC8wxnR8LAxd5O3MMSoUASy+v51arbHm865egk0QJGDWkAd5QSlcYTrcFb2fdGilKUlcyM4wXfE+5t658ROLN7osFuNn3O1zaXW9U4KvIL+yxfK9JnAczB6dYnGXdD7+UMJQTe3DMePMAXwyw4jt7vM2sNbNxZ3aEkOSj0B30/9MMPhLcvGzpDFIclLfT1ahFthU+HlUsLX6wV5A9hUfkTtIDmlEbcyRbQgmuyU7cjDblt6flpqpJ86yfbEXV5hRbwbYThQ7Dx2yFwuIOFWS5TnsR/Q9xv9gykj8YDCQR4TeV/3V8zudyvyBb2aAj/Y1AL1C7e6HeMlA9HqLMgXPvob5It6TYcCNQZOAJG0NNll+GkbxYB72bKVxCyRIQb4e2bJNTXGRJMpzLA8aWFNmBhqFuSwd5r33GPfAAsOLvqKz/sMVqOyZANQRQdDkTnXO6Rm68aW8lzFGduYnQUSwyvdvPO1wr/2kGwgYAYBI7RAQXe4RDLPFtao5yKaGy2f87jzEYUwGPPQ05n68CCkIr0aFBt9oAuni+tsExQTyyTXFoOcgaXE2dCnQ5aTCRK6PV1f3kArwYuanThgcMNcJO4L22L8kTL8T4iSwwnIOhCHIu1FvqBicPwi6bvd8mNy16/nOE/w4LCS3lhgwtx2dI2Uy77+uA2Ju+sIFo1WOBxgWqwq7K9Akz+nNINnQroNQyzDcgWMHZjqtGXZmFkSWoeRPHBBlGujQhRD2KX2ZAo1A7qg4AsRmBqbGOoAB6hXiKX1s2j04t3wN579g+f1UPHazDHfTIw98P1aBMtWAcFgyMddC0dSIvs4Up3tK5xxCmUGLYhCeQPfMIcCMsDFxUZ/P3djqOaYi4Jcjks59dXWt1544tgn2/2+mFtvJrA0P/1oTEwDQXUSJdCUGX0HTOWJrA6zkp0TejWgETwOcRgiYyFFN97B8j+ECApaecQkOyBqhuarfVCnp+BN1Vn45LGchznoRc2RYRIkxgcieTZVtjz2Ww+g8Uuw6f5bHGB4R0yS8idmXErSCqxnfb3/UR33FYz0HS0szS2g3UC1TuWMxQ5mkzfWwDesolyvejWd0u4Eg3+a8uxAcMKyN47K1HGPrTjtLQHU7qWg3OshvbxMKTNC5NcCczqCs1reAL5EgXgUCzIicHhaxdJRafdoxv9rAsW2IJMY5WaHHODngc1G06bt6EtXAeoUWDS+FTTAwabQBeyAYjS76VSqt1IIQ/jG+wKxBezHvf3Zsrk0SnaZFBTsIR3fIbIo5/GUaoXI81SQ+gXTaTJ7XvvoD6BqctpR3eMKN5sdO490KFORkOFgYy0JnDo8jFINSq2WqI09ZBWNT2CirtUqwEQYDqsInaD8H6E9BXyAoi81upNN1frqXo8NRKJXkUWnN8tLSocdY6wGunuHpXWmhaWdY2IdEKCVkawDBKI+xRvHhEmbA2f3johPmtC/GMawi6Fshq10GuywaKsXaUVRq+B53YFPU+S0VMjva0ZaPd2A9MAeoo3hmCENQFqMDMtu0lsfbUGbPYInU76gBOjccoBddSyW2waltniuGw0YfZM0zE0J6DEeuFdbSz2opFgsNFna8c3EOob+PwA2xDE7+//ugQcQ7dHua7LDmiA+d6LS5Eqe+S2tf/BzBh0/zCYIntuKqc+Nad9Gox+0mTbsaPw3Ie15ugol/tHaML4moH/PAytG0Zh4zHBMfYA2mwGHYlztAaddEN8r95w2YZDMhr5a2yHoMVgSVF3BkIWiWM9ozG+dsKUNRWQ6cfOMQlAPsSHWFGAuJ6QPtPxA0ldns5XvfpNNYVyRjUEuU9KAUW4hwIB4hG4MJ4ov8T0GAHwEiaVT7CuFzOsloJmnJIIRZBwyHE77gm5hYRT+JtoSj1ZKniGfgXSsarxlb6qUpuUw2FnlJTpF6CD3weQ9B9tgHEbxu1IR+0IhW/2PIqUFApiJyIbx4KeLg4jTEOQ4dcUcAz0mFwFWI1hWThqNliWzhAQ514j0w5whKntcAxaE119CfsfJgmAai4wBSllGs0BDTKYPkaG6cc3gG7yRX+5VMcRtNPn4xkdGMd4TdwTST/9LSUPRS/1BfoxG8KeNbVOvymzJSABbuXoNqkhjtltC/UA4zwrKZ+wLcjzeZVge/rrAzDDNp71Ls6i/M6fn1uu6SkMh53e2iz0R8twZNorM9hVQBkd8KQALZl588tma294fjkb/XscGmpduZNCPEJpk2chTS57BsnqqARYtjWkfpg3D4vm4bzbBAm1ZqvChpXbtHJI9gEOofxb/o804v9ZL/Rrgl6F/Jl6av3s/s1URt95T1Cw4zQUi1xz4GBU6CKCEXUH7LouM9oJO/YDloA17NEU9tmq39xtktrjfDY+srl4uC3bCGwYzt6wTLdv8YnKAnwoq0I/kdc2BcdRpP8MB5Qh9vsn6viw6QFRRqMfnYlUoAQACv4n2NwVB54ASKzkaryCguG6Ha6pB5FXku7GsK2EV3OQ+qizNd6gnVEHWh1hEE2tE2dFVUIAC5fXL1fYQyhrfILYJAQNv7xuhuHJ1ZcTvgpxjGjBGwkIajSQTGQAxDfIasTS0rgw8ydO60HEQ0PAUz1CKGgIpaDHNBprNRXdeVbbwgN2VHhV5FD3Rcvo6aBvxKhrRXPD4n/GRkUc7vxRliT6SdIBMxStV74Ezl3MMNJrtfJlrQeGrMBjojJrsTmgscTZtsxu9WF4RDj3YNvi+S1SNocypuIf6KZB513NQanooVykVUpnMFvTZKem0z6V6bqXOje9TM1kDfWoaYylajgod+peuWPK47BX69RP1DrjqjkcFzuDosHtutD1c0UQ6RXqatBL6TK6tAAx4s3dYALGjF0Mhs39hkgGozDyGEoDG3ifpwWXIK+FuSxD5XEaWwuatjglZcnyXKsEeXxUl24hl2uzZnG05hEazM5eLWUgXDyKpSuvzNLLb0V2nP7igFYErT0kfGdcjWBYgBSoSUeuJ70bZjUg6LSgqix4EWHVpsCrvGdPexQpl9ah7Uj0U6SaOlNkWpMn6hdh1AoAraRrEjEo0Ezl2hnHJDDUss4cAZLAIrsU21xXuEtrsAIHTP9i1XRznzNeusv+844XQ0TvdTVvwB5ZUlvrTwNttDMuQa4G3GBsEmR71aNbLrKRT9BNPHIGuQ7MUo2rG5hERHdLYyQw+Bj8niUYBIM+w9RRTNPiCXA7oxzvh82JCWB6YhpWOgt00ENQpq0MENvhTs/S2VH3rNH0Dkio1btZPowpkMw1ZbyU/StOBToGk7pnCw8Tpcr4+vTZjvns8oI65lSZ4Ups5bT3Blcrp7nAaMYc9k92pW8srlo0H+kmABLZ62GG+3yK/IA51Tovd3SJw9YCduAHGXXzoUh7/IkMl5JUfSpN/yi/y2UkMEIvJzCvdFL7gi2QcTN9ojZfdbu7s5F0osYtEXCffp2j1LQ5M01PJJ3tbbiQm8AoIab2OUx81CWBN3EVYK7Knr4JOMJ2N40Nu/zHeho9cUVw57IL1JXeGqrte0swLN33a3q6cs0d3PkkMvTP1KIgYI+0KO7bHm8P9HRfYiQ1tH7gVVXQqXoE45QRdXfgM9qhdaEdPTpCH6o+8BTQhkMDmGbwGGRn+vjJUiGps4rfCiWV2vm3shLOwAToE5ePbUZ+/dwtUOcZUCuaC7Ij7rSJr1T4tUw4ubYTcrO0uzASaCcJT9cRZ4drZh+W6ETAe5ydMciQfmSHpW1GTtncDGMzazHVE9TdvCX9WWL+r59O56tV747eNV7Mx2tqoAAS8qB/Lh/GbHWHbbt4NKPuEOxka47fHy0FvEcI8JMFgh9OZwDUvdQQvsb9TphcxkNr6zPUZefGiZKcp5tg2nTEl4pjDyUJDBeQvV8b6H3z6iHow6YIZtwH9baiKi1skAKU8tTgoqtl686ihj9+I9s4G62m7R5lY6/vMKjpUJi9qm5PzW8KCk0Ljz7ZxPCGf+kEEB2c5fX5rC3wnmrKdYfq4uTIGojKqe9iTPFG34IaSga122iAPiY1dZfVXR1hX+moZLEeS8iP72dGVQ3CG9c07bc7vUweP8VhEr/csB/NpenTgRi/QsTPVYKAOBgE+CFBEBgm6q8KTv4LQY2EGA==","limitations":["Engine evidence is the audit payload (unrounded engine_hex per seed, trace_summaries.json); no engine was run here and the instrumented engine was not rebuilt. Per-callback engine labels are not in the payload, so on 9700000..9700003 labels/fees/state are compared original-vs-Cython per callback and against the engine only through the summary counts (callbacks, tell_positive, arb_labels, split tries/hits, m0 value set, edge bits).","Knob variants are compared original vs Cython only (no engine reference exists for them).","Speed measured on this host only, 32 old seeds, 8 workers; the earlier claim was 1.5397x median, reproduced here as 1.5272x.","No fresh engine seeds (10,200,000+), no tuning, no repair, no P/Q/T/F/G/E gate claimed, nothing submitted."],"engine_work":{"fresh_seeds_from_10200000":0,"engine_runs":0,"leaderboard_submissions":0}}