QECTOR MEGA 2.2.1 | Full Scientific Reference Manual and Verification Report

Abstract

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 a trapped-ion 256-qubit platform (compatible with the IonQ Superion 256 architecture) 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} } Trademark and affiliation notice This is an independent product developed by Guillaume Lessard (iD01t Productions). It is not affiliated with, endorsed by, or sponsored by IonQ, Inc.; the names 'IonQ' and 'Superion' are trademarks of IonQ, Inc. and are used here solely to designate the target hardware profile. The Qector Trapped-Ion 256 Decoder is an independent product developed by Guillaume Lessard / iD01t Productions. It is not affiliated with, endorsed by, or sponsored by IonQ, Inc., and no partnership with IonQ, Inc. is implied. IonQ and Superion are trademarks of IonQ, Inc.; references to IonQ hardware describe target compatibility only.