qector-mega 2.2.1 | Full Scientific Reference Manual and Verification Report

qector-mega 2.2.1 | Full Scientific Reference Manual and Verification Report Authors Guillaume Lessard (ORCID 0009-0000-3465-3753) / iD01t Productions Description This deposit contains the complete scientific reference manual, mathematical foundations, architecture description, API specification, and end-to-end verification record for qector-mega 2.2.1. The decoder is a high-performance residual-faithful belief-propagation with ordered-statistics decoding (BP-OSD) engine targeting the IonQ Superion 256 platform under the Walking Cat architecture (arXiv:2604.19481). It features a Rust BP-OSD core with PyO3 bindings, optional CUDA acceleration with automatic CPU fallback, and streaming dual-window support for syndrome-extraction cycle (SEC) schedules. The public decode paths enforce strict residual gating, ensuring the identity $Hc=s$ holds over $\\mathbb{F}_2$ or failing explicitly. Three production codes are natively supported: Q70: $[[70, 6, 9]]$, Rank 59 Q102: $[[102, 22, 9]]$, Rank 80, exact Appendix-C construction Gross: $[[144, 12, 12]]$, Rank 112, Bivariate bicycle construction Status (15 September 2026) ALL LISTED CERTIFICATION SUITES PASS / GREEN Full Suite 205/205 | Q102 Production 59/59 | Math 38/38 | Onpager 98/98 | Compute_Certified_100 GREEN | Z3 Full SMT 31 checks GREEN | Lean 0 sorries The document consolidates original author certificates with a full re-execution of every suite on a measured Linux host (Python 3.12.3, manylinux cp312 wheel). All theorems, residual soundness arguments, performance data, Z3 oracle artifacts, and public artifacts are included. Key contents Mathematical foundations and theorems (CSS orthogonality, BP identities, residual faithfulness, and Z3 oracle soundness) Architecture and public API surface (AutoDecoder, TwoStage, SpaceTime, Hardware bridge caps) Verification results, including canonical latency, batch throughput, thread scaling, and exhaustive/noise-stress campaigns Supported codes, reproducibility instructions, licensing, and distribution limits Related deposits Frozen package (v2.2.1 Frozen Release): https://doi.org/10.5281/zenodo.22773113 LCL-832 Master Edition: https://doi.org/10.5281/zenodo.19119790 QECTOR Decoder v3: https://doi.org/10.5281/zenodo.21941046 License Public verification data and this PDF: CC-BY-4.0 Binary + source (proprietary, NDA-restricted evaluation only) Keywords quantum error correction, trapped-ion, BP-OSD, residual faithfulness, GF(2), CSS codes, formal contract testing, IonQ Superion 256, Walking Cat, Rust, PyO3 Version 2.2.1 Citation Code snippet @techreport{Lessard2026QectorMegaRefManual, author = {Lessard, Guillaume}, title = {qector-mega 2.2.1: Full Scientific Reference Manual and Verification Report}, institution = {iD01t Productions / qector.store}, year = {2026}, month = {9}, day = {15}, note = {IonQ Superion 256 / Walking Cat. Proprietary binary; public cert data CC-BY-4.0. ORCID 0009-0000-3465-3753} }