Qector IonQ Decoder v1.7.7-production - Reference Manual and Verification Report (PDF-only)

Qector IonQ Decoder v1.7.7-production - Reference Manual and Verification Report (PDF-only) AuthorsGuillaume Lessard (qector-decoder-v3) Description This deposit contains the complete scientific reference manual, mathematical foundations, architecture description, API specification, and end-to-end verification record for the Qector IonQ Decoder v1.7.7-production. The decoder is a high-performance quantum error-correction (QEC) decoder for the IonQ Superion 256 platform under the Walking Cat architecture (arXiv:2604.19481). It implements exact log-domain sum-product belief propagation (BP) with order-0 ordered-statistics decoding (OSD), GF(2) word-packed residual verification with strict gating Hc=s, erasure-channel support, heterogeneous per-qubit LLR priors, time-dependent syndrome-extraction-cycle (SEC) schedules, Rayon parallel batch decoding, and zero-copy NumPy bindings via PyO3. Three bivariate-bicycle (BB) codes are native: Q70 (70/70) Q102 (102/102, exact Appendix-C monomials) Gross-144 (144/144) Status (clean-host retest, 9 September 2026)ALL CERTIFICATION SUITES GREENMath 24/24 | Q102 Production 31/31 | Smoke MAX-PROOF PASSED | Max-Coverage 97/97 | Performance GREEN | Public SHA256 VERIFIED | Z3 Oracle Artifact SAT The document consolidates original author certificates with a full re-execution of every suite on a clean Linux host after installation of the official manylinux cp313 wheel under Python 3.13.15. All theorems, residual soundness arguments, performance data, GF(2) AVX2 analysis, and public artifacts are included. Key contents Mathematical foundations and theorems (CSS orthogonality, exact Appendix-C match, phi-kernel identities, residual soundness via Z3) Source-level analysis of core Rust modules (bp_osd.rs, gf2.rs, ionq_superion_decoder.rs) Complete Python API specification Verification results, performance tables and figures (this host) Supported codes, reproducibility instructions, licensing and citation Related deposits Frozen package: https://doi.org/10.5281/zenodo.22676194 Reference Manual (this PDF): https://doi.org/10.5281/zenodo.22678419 LicensePublic verification data and this PDF: CC-BY-4.0Binary + source (proprietary, NDA-restricted) Keywordsquantum error correction, QEC decoder, belief propagation, ordered-statistics decoding, bivariate bicycle codes, IonQ Superion 256, Walking Cat architecture, CSS codes, GF(2) linear algebra, PyO3, Rust Version1.7.7-productionClean-host retest: 9 September 2026 Citation @software{qector_ionq_1.7.7, title = {Qector IonQ Superion 256 / Walking Cat Decoder v1.7.7-production}, author = {Lessard, Guillaume}, version = {1.7.7-production}, year = {2026}, note = {Full scientific reference and clean-host retest — all suites GREEN}, lice@software{qector_ionq_1.7.7, title = {Qector IonQ Superion 256 / Walking Cat Decoder v1.7.7-production}, author = {Lessard, Guillaume}, version = {1.7.7-production}, year = {2026}, note = {Full scientific reference manual, verification report and clean-host retest — all suites GREEN}, license = {LicenseRef-Proprietary (binary+source); CC-BY-4.0 (public data)}, doi = {10.5281/zenodo.22678419}, url = {https://doi.org/10.5281/zenodo.22678419}, relatedidentifiers = { {doi = {10.5281/zenodo.22676194}, relation = {isSupplementTo}, description = {Frozen package}}, {doi = {10.5281/zenodo.22678419}, relation = {isDocumentedBy}, description = {Full Scientific Reference Manual and Verification Report (PDF)}} }