docs: verify and upgrade all documentation for v0.6.2 (full Mac Intel+ARM support, hypergraph rejection details, sdist, accurate limits, install examples, roadmap reality)

Author: qectorlab

INSTALL.md

@@ -7,7 +7,7 @@ The current repository does **not** include `install.py`. Use the source build p
 Install Rust first from rustup, then run:
 
 ```powershell
-git clone https://github.com/qectorlab/qector-decoder.git
+git clone https://github.com/GuillaumeLessard/qector-decoder.git
 cd qector-decoder
 
 py -3.11 -m venv .venv
@@ -33,7 +33,7 @@ During the base install, pip may print ignored optional-extra messages for packa
 ## Git Bash on Windows
 
 ```bash
-git clone https://github.com/qectorlab/qector-decoder.git
+git clone https://github.com/GuillaumeLessard/qector-decoder.git
 cd qector-decoder
 
 python -m venv .venv

PYPI_README.md

@@ -21,10 +21,10 @@ pip install qector-decoder-v3
 Supported package target for the public release workflow:
 
 - Python 3.9 to 3.13
-- Linux x86_64 wheels
+- Linux x86_64 wheels (manylinux)
 - Windows x64 wheels
-- macOS arm64 wheels
-- Source distribution for custom/source builds
+- macOS Intel x86_64 + Apple Silicon arm64 wheels
+- Source distribution (sdist) for custom/source builds
 
 Optional research and validation extras:
 

README.md

@@ -342,7 +342,7 @@ The REST API is for local experiments, partner review, or controlled internal de
 | GPU performance | Correctness is artifact-backed for tested machines. Speedup is not universal. |
 | OpenCL wheels | OpenCL support depends on build configuration and target environment. Confirm locally. |
 | SparseBlossom | Near-optimal, not exact MWPM. Use `BlossomDecoder` for exact minimum-weight matching. |
-| UnionFind | Fast approximate path; not a universal decoder for arbitrary graphs. |
+| UnionFind / FastUnionFind | Fast approximate; only for codes where each qubit participates in ≤2 checks (graph-like matching codes). Explicitly rejects hypergraphs (v0.6.2+). Use Blossom/SparseBlossom/BPOSD for general cases. |
 | REST/gRPC/MCP surfaces | Not hardened as public SaaS without a separate deployment/security review. |
 
 ---

docs/CORRECTNESS_AUDIT.md

@@ -25,8 +25,8 @@ check matrix.
 |---|---|---|---|
 | `BlossomDecoder` | Syndrome-faithful and exact minimum-weight on audited small matching codes | Exhaustive brute-force oracle + PyMatching cross-checks | Exact MWPM on the tested audited graph families; do not claim universal hardware layout equivalence |
 | `SparseBlossomDecoder` | Syndrome-faithful and near-optimal | Brute-force small-code audit + PyMatching-compatible matching-graph tests | Region-growing decoder, not exact MWPM by design |
-| `UnionFindDecoder` | Syndrome-faithful on supported QEC matching graphs | Exhaustive small-code tests + family tests + property tests | Fast approximate decoder; not minimum-weight and not guaranteed on arbitrary adversarial hypergraphs |
-| `FastUnionFindDecoder` | Same as Union-Find, lower-overhead path | Cross-decoder faithfulness tests | Fast approximate decoder, not exact MWPM |
+| `UnionFindDecoder` | Syndrome-faithful on supported QEC matching graphs (each qubit in ≤2 checks) | Exhaustive small-code tests + family tests + property tests + hypergraph-rejection tests (v0.6.2) | Fast approximate; explicitly rejects hypergraphs (qubit degree >2) with clear error since v0.6.2. Not minimum-weight. |
+| `FastUnionFindDecoder` | Same as Union-Find (≤2 checks per qubit), lower-overhead path | Cross-decoder faithfulness + rejection tests (v0.6.2) | Same rejection and limits as UnionFindDecoder. |
 | `LookupTableDecoder` | Exact/faithful on stored table entries; faithful fallback on larger cases | Exhaustive table tests + d=5 fallback test | Table size and fallback behavior must be stated |
 | `BPOSDDecoder` / `BpOsdDecoder` | Syndrome-faithful on LDPC/qLDPC-style CSS checks | BP-OSD reference-package comparison + CSS commutation tests | Quote LER from the harness, not from faithfulness alone |
 | `BeliefMatching` | Lower observed LER on selected correlated workloads | Seeded Stim/PyMatching comparison tests and benchmark artifacts | Accuracy mode, not fast path; selected workload only |

docs/PLATFORM_ARTIFACT_ROADMAP.md

@@ -14,7 +14,7 @@ This roadmap turns the external audit recommendations into explicit public work
 | GPU bit-identity | Tested configurations and docs | Safe as bit-identity claim, not throughput claim |
 | GPU throughput | Not yet a stable public proof asset | Do not claim speedup without regenerated local artifacts |
 | Linux/macOS benchmark corpus | Not yet published as comparable artifacts | Do not imply cross-platform benchmark equivalence |
-| Prebuilt wheels | Not yet published as release assets | Source build remains the public path |
+| Prebuilt wheels | Published for v0.6.2+ (Linux, Windows, macOS Intel+ARM) | Full matrix in CI; attach attestations |
 
 ## Planned artifact classes
 
@@ -73,23 +73,30 @@ unsafe claim wording
 
 ### 3. Prebuilt wheels
 
-Goal: reduce install friction once release automation and license packaging are ready.
+As of v0.6.2, CPU-safe wheels are published via CI for:
 
-Candidate wheel targets:
+- Linux x86_64 (manylinux)
+- Windows x64
+- macOS Intel x86_64 + Apple Silicon arm64
+
+sdist is also published.
+
+Candidate / supported targets (v0.6.2+):
 
 ```text
-Windows x86_64 CPython 3.10/3.11/3.12 CPU-safe
-Linux x86_64 CPython 3.10/3.11/3.12 CPU-safe
-macOS arm64 CPython 3.10/3.11/3.12 CPU-safe
+Linux x86_64 CPython 3.9–3.13
+Windows x64 CPython 3.9–3.13
+macOS x86_64 CPython 3.9–3.13
+macOS arm64 CPython 3.9–3.13
 ```
 
-Constraints:
+Constraints / notes:
 
 ```text
-Do not publish GPU-enabled wheels until CUDA/OpenCL runtime assumptions are documented.
-Do not publish commercial-use language that conflicts with LICENSE and COMMERCIAL.md.
-Attach license and source-available terms to every release.
-Keep source build path documented even if wheels become available.
+GPU wheels (CUDA feature) are built in CI but require runtime support on the target machine.
+OpenCL support depends on build configuration and host drivers.
+Attach license and source-available terms.
+Keep source build documented for full auditability.
 ```
 
 ### 4. SBOM and dependency audit outputs
@@ -138,6 +145,6 @@ Unsafe:
 
 ```text
 QECTOR already has universal cross-platform benchmark proof.
-QECTOR already ships production wheels for every platform.
+QECTOR ships production wheels for Linux, Windows, macOS Intel x86_64 and Apple Silicon.
 QECTOR GPU throughput is generally faster than PyMatching.
 ```