Skip to content

Commit f9969ff

Browse files
committed
docs: add v0.6.2 correctness note to CORRECTNESS_AUDIT.md and other key docs
1 parent e875a10 commit f9969ff

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

docs/CORRECTNESS_AUDIT.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
# Correctness Audit
22

3+
**v0.6.2 update**: Union-Find family now hard-errors on hypergraphs (qubit degree >2) instead of producing invalid corrections. See `uf_core.rs` validation and Python `_validate_check_to_qubits(reject_hyperedges=True)`.
4+
35
QECTOR correctness is tested continuously, not asserted once. This document
46
states the decoder contracts, the test coverage behind each contract, and the
57
known limits that must stay attached to public claims.

0 commit comments

Comments
 (0)