object
Plenio-Vedral-Knight constant-excitation code
A fixed stabilizer code whose source logical basis uses superpositions of bit strings with equal excitation. Relative signs select the encoded subspace. The executable tableau uses an explicit Pauli change of frame to make its generator eigenvalues positive; applying that Pauli again restores the source basis. This T1 skeleton covers the finite subspace and its Pauli distance. Dynamical noise behavior and recovery circuits are not surveyed.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:qubit_8_1_3#objectT1 — 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: n8
At a glance
Executable-target parameters
form: object formal target: non-css formal target: small-code
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| n8 | n=8 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:qubit_8_1_3#object. Formalization target: eczoo-entity:qubit_8_1_3#object. Legacy vocabulary: exact code projection.
Source/entity binding: clean.