collection
CSS plaquette code
A subsystem code with qubits at periodic cubic-lattice sites: X gauges occupy yz and xz plaquettes, and Z gauges occupy xy and xz plaquettes. The executable stabilizer is the full center of this gauge group. Sheet operators change from stabilizers at even size to bare logicals at odd size. This T1 skeleton ships only L=2 and L=3. Its distance is dressed distance, minimizing over operators that commute with stabilizers but lie outside the gauge group; bare logicals must commute with every gauge. Appendix B equation B4 has a parity-count inconsistency, diagnosed against B1 in the source ledger; no B4 parameter formula is adopted. Decoder, operation, relation and realization facets remain unsurveyed.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:css_plaquette#collectionT1 — draft
Verified formal skeleton
The formal core and displayed claims are provenance-checked. Unlisted facets are not yet surveyed, not negative results.
One orienting visual
Orienting view
Inspect constructor-derived qubits, stabilizers, and logical paths without leaving the entry. Visual instance: L2
At a glance
Executable-target parameters
form: collection formal target: css formal target: subsystem
Constructor variables
L- Periodic cubic linear size; the finite T1 domain is integer L=2 or L=3.
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| L2 | n=8 verified | k=2 verified | d=2 verified |
| L3 | n=27 verified | k=7 verified | d=2 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:css_plaquette#collection. Formalization target: eczoo-entity:css_plaquette#collection. Legacy vocabulary: exact family projection.
Source/entity binding: clean.