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.
xp-phased-pauli-tableau canonical
Equation (5.16)'s seven supports drive the incidence scene, while a parallel ordered phase vector records the signs omitted by the binary CheckMatrix representation. No tensor-network geometry is asserted.
References: shen2025quantumlego
- 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.