object
Bare seven-qubit code
A fixed non-CSS seven-qubit stabilizer block designed so that selected stabilizer measurements can use bare ancillary qubits without turning each single ancilla fault into an uncorrectable data error under the paper's stated setting. The executable identity is Table I's stabilizer block; it is not the CSS Steane code despite sharing length and distance.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:bare_7_1_3#objectT1 — 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: n7
At a glance
Executable-target parameters
form: object formal target: non-css formal target: small-code
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| n7 | n=7 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:bare_7_1_3#object. Formalization target: eczoo-entity:bare_7_1_3#object. Legacy vocabulary: exact code projection.
Source/entity binding: clean.