collection
Concatenated Steane code
A recursive CSS family that replaces every physical qubit of a Steane block by another Steane block. The executable slice lifts inner checks blockwise and outer checks through the inner logical representatives, exposing exactly where the product distance claim enters.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:concatenated_steane#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
Constructor variables
level- concatenation depth; the current T1 constructor supports level 2
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| primary | n=49 verified | k=1 verified | d=9 claimed |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:concatenated_steane#collection. Formalization target: eczoo-entity:concatenated_steane#collection. Legacy vocabulary: exact family projection.
Source/entity binding: clean.