Entry facet
Representation ladder
R1 checks through R5 cross-model views, with canonicality and provenance.
- R1
Checks
Sparse Pauli generators in symplectic form, including stabilizer and gauge rows.
golay-css-matrix canonical
The constructor takes the even rows of the primary paper's displayed Golay matrix as one ordered binary block and duplicates that block into pure-X and pure-Z stabilizers. Its odd all-one row supplies a declared logical pair, while exact finite enumeration checks the first nontrivial normalizer weight.
References: sullivan2024golay, steane1996simple
- R2
Structure
CSS pairs, chain complexes, lattices, and other structure behind the checks.
No representation at this rung is recorded for this entry.
- R3
Dynamics
Ordered measurement schedules and their instantaneous stabilizer groups.
No representation at this rung is recorded for this entry.
- R4
Circuit & detectors
Named syndrome-extraction circuits and detector error models.
No representation at this rung is recorded for this entry.
- R5
Cross-model views
Executable or illuminating algebraic, ZX, fermionic, tensor, and statistical dictionaries.
No representation at this rung is recorded for this entry.