collection
Subsystem qubit CSS code
A subsystem stabilizer class whose gauge generators split into pure-X and pure-Z sets. The witness computes the stabilizer center from the gauge commutator matrix, so protected qubits are never inferred from stabilizers alone.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:qubit_subsystem_css#collectionT1 — preserved
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: primary
At a glance
Executable-target parameters
form: collection formal target: css formal target: subsystem
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| primary | n=9 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:qubit_subsystem_css#collection. Formalization target: eczoo-entity:qubit_subsystem_css#collection. Legacy vocabulary: exact class projection.
Source/entity binding: clean.