collection
Subsystem qubit stabilizer code
A stabilizer code class in which a nonabelian gauge group carries disposable logical degrees of freedom. The executable witness derives the commuting center and protected quotient from the same symplectic gauge rows.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:qubit_subsystem_stabilizer#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=4 verified | k=1 verified | d=2 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:qubit_subsystem_stabilizer#collection. Formalization target: eczoo-entity:qubit_subsystem_stabilizer#collection. Legacy vocabulary: exact class projection.
Source/entity binding: clean.