Reproducible Multi-Platform Certification of QECTOR Decoder v3 Proof Suite v1.2.1
Year: 2026
Type: report
Abstract: Reproducible Multi-Platform Certification of QECTOR Decoder v3 Proof Suite v1.2.1 Author: Guillaume Lessard (iD01t Productions)ORCID: 0009-0000-3465-3753Date: 2026-09-02Commit under test: 6b90b063eb953be5f4770248807c03bf0ba64474Related DOI: 10.5281/zenodo.21941046 (Reference Manual)Repository: https://github.com/GuillaumeLessard/qector-proof Nature of this deposit This is an author-attested, publicly reproducible certification run of the open QECTOR Proof Suite, executed by the suite author. It is not a third-party or independent audit. The value of the record lies in full transparency of environment, commands, artifacts, and the accompanying green public CI matrix, so that any third party can re-execute and compare. Summary Hermetic execution of qector-proof-suite v1.2.1 against the live PyPI wheel qector-decoder-v3==1.0.0, plus confirmation of full hosted GitHub Actions matrix success on the same commit. Local run (Linux x86_64, Python 3.12.3) Metric Result Master tests 111 passed, 0 failed, 11 skipped v1.0 theorems T1–T16 59/59 passed v1.1 claim classes T17–T26 37/37 passed Coverage upgrades 15/15 passed Sidecar integrity All SHA-256 match Schema validation 0 errors Wording linter 0 banned hits CERT_STRICT preflight PASS Z3 oracle pass (sat=true) Formal deps (Z3, CVC5, provably, symproof) installed & exercised Hosted CI (GitHub Actions, commit 6b90b06) Job Result CodeQL Analyze (actions) Successful (39 s) CodeQL Analyze (python) Successful (1 m) cpu-macos-14-py3.10 / 3.11 / 3.12 Successful cpu-ubuntu-22.04-py3.10 / 3.11 / 3.12 Successful cpu-ubuntu-24.04-py3.10 / 3.11 / 3.12 Successful cpu-windows-2022-py3.10 / 3.11 / 3.12 Successful gpu-optional Successful (19 s) lean-coq-compile Successful (55 s) This multi-OS / multi-Python matrix success satisfies the G10 / “two OS images” criterion previously noted as open in PRODUCTION_READY.md. Honest scope Exit 0 certifies executable + SMT + packaging correctness only. It does not claim full machine-checked discharge of every theorem in Lean/Coq/Isabelle, nor any LER/threshold/latency claim. Boundaries follow Reference Manual Table 4.1 and §3.4. Files in this deposit QECTOR_Proof_Suite_Certification_Report_2026.pdf — short formal report certified_master_proof.json — regenerated master certificate from the local run Zenodo_README.md — this file Reproducibility python -m venv .venv && source .venv/bin/activate pip install --require-hashes -r requirements.lock pip install -r requirements-formal.txt python qector_proof_suite.py CERT_STRICT=1 python preflight.py python -m pytest tests -q -m "not gpu" Suggested citation @techreport{lessard_2026_qector_proof_cert, title = {Reproducible Multi-Platform Certification of QECTOR Decoder v3 Proof Suite v1.2.1}, author = {Lessard, Guillaume}, institution = {iD01t Productions}, year = {2026}, doi = {10.5281/zenodo.22244510}, url = {https://doi.org/10.5281/zenodo.22244510}} License Source-available (PolyForm Noncommercial 1.0.0). Free for academic, personal and non-commercial research. Commercial use requires a licence (https://qector.store/pricing). iD01t Productions · 2026
Author: Lessard, Guillaume
Language: English
Subfield: Information Systems and Management
Field: Decision Sciences
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W7206181281