Public verification and certification artifacts for the Qector IonQ Superion 256 / Walking Cat decoder v1.7.7-production

Qector IonQ Decoder v1.7.7 - Public Verification Data Public verification and certification artifacts for the Qector IonQ Superion 256 / Walking Cat decoder v1.7.7-production, by Guillaume Lessard (qector-decoder-v3). Target hardware: IonQ Superion 256. Target architecture: Walking Cat (arXiv:2604.19481). Codes: Q70 (70 qubits / 70 checks), Q102 (102/102, Appendix-C, row-weight 8), Gross-144 (144/144). What is in this repo certs/ - 10 GREEN certification files (JSON + Markdown): smoke test, math verification (24 proofs), Q102 production (31 checks), qector test suite (23 checks), performance benchmark. proof_artifacts/certified_z3_oracle.json (+ .sha256) - Z3 SMT solver oracle: Q70/Q102/Gross all SAT (schema qector-z3-oracle-v1). performance_summary.csv - Throughput: GPU Tesla T4 batch-2000 (Q70 62826 / Q102 34402 / Gross 28643 shots/s) and CPU reference numbers in certs/cert_performance.*. redacted_source/ - Public-safe reference code only: Python API stub (qector_ionq.pyi), thread-allocation wrapper, smoke test, math/CPU/ performance/GPU benchmark scripts. No proprietary Rust source, no wheels, no license keys, no API tokens. Colab_Linux_Build_Suite_FULL.ipynb - 8-cell Colab build + CPU/GPU verification notebook (works on free T4 GPU runtime). pyproject.toml, LICENSE-PROPRIETARY, SHA256SUMS.txt, NOTICE.txt. Verification status All suites GREEN on Linux x86_64 (Python 3.13), 2026-09-09: math 24/24, Q102 production 31/31 (incl. full 5151-pair weight-2 scan), qector test 23/23, smoke 0 failures, Z3 oracle pass, SHA256 verified. Reproduce (CPU-only, no wheel needed) Pure-Python reference checks run without the proprietary binary: python redacted_source/qector_ionq_math_verification.py python redacted_source/qector_ionq_cpu_benchmark.py Full binary verification requires the restricted frozen package (wheels under NDA, see NOTICE.txt): 10.5281/zenodo.22676194. License and citation Code and decoder: proprietary, see LICENSE-PROPRIETARY and NOTICE.txt. Verification data in certs/, proof_artifacts/, performance_summary.csv is shared under CC-BY-4.0 (see DATA_LICENSE.txt); cite as below. See CITATION.cff, AUTHORS.md, CHANGELOG.md, SECURITY.md. 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. Licensing This record contains two categories of material, licensed under different terms. Data, reports, and documentation (datasets, JSON and CSV artifacts, figures, PDF reports, certificates, Markdown and text reports): made available under the Creative Commons Attribution 4.0 International License (CC-BY-4.0). You may share and adapt this material, including for commercial purposes, provided you give appropriate credit to Guillaume Lessard / iD01t Productions and indicate if changes were made. Code (all .py files, .pyi stubs, notebooks, and scripts): licensed under the PolyForm Noncommercial License 1.0.0. You may use, copy, and modify the code for noncommercial purposes only. Any commercial use, including use in or to develop a commercial product or service, requires a separate commercial license from iD01t Productions. The full license text is included in this record (LICENSE-POLYFORM-NONCOMMERCIAL-1.0.0) and at https://polyformproject.org/licenses/noncommercial/1.0.0/ . Copyright (c) 2026 Guillaume Lessard / iD01t Productions. All rights reserved except as expressly granted above. Note on prior versions: earlier versions of this record were published with a CC-BY-4.0 metadata license. That grant is irrevocable for copies already obtained under it. The terms above apply to this version and all future versions.