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.
css-tableau-with-ldc-witness canonical
Five pure-X or pure-Z checks form the canonical executable view. The constructor also exports the exact local-diagonal-Clifford equivalence witness to the primary paper's mixed-Y presentation.
References: dasu2025classification
- 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.