collection page · collection formal target
Surface code
Surface codes are Abelian topological CSS codes defined from cellulations of two-dimensional surfaces. The source denotation spans closed and bounded surfaces, multiple boundary types, punctures, and mixed-boundary layouts; Atlas's current constructor covers one planar rectangular subfamily.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:surface#collectionT0 — new-broad-skeletonatlas-entity:surface#subjectgold — preserved-child-scope
Human gold-approved
The complete entry has passed the repository gates and the owner's human taste gate.
Visual scope: this constructor-derived view depicts atlas-entity:surface#subject, not every member of the primary collection.
One orienting visual
Orienting view
Inspect constructor-derived qubits, stabilizers, and logical paths without leaving the entry. Visual instance: L3
At a glance
Executable-target parameters
form: collection page · collection formal target formal target: css formal target: topological formal target: hypergraph-product
Constructor variables
L- distance (odd or even, L >= 2)
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| L3 | n=13 verified | k=1 verified | d=3 verified |
| L4 | n=25 verified | k=1 verified | d=4 verified |
| L5 | n=41 verified | k=1 verified | d=5 bounded |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:surface#collection. Formalization target: atlas-entity:surface#subject. Legacy vocabulary: lossy five-way compatibility projection.
Scope boundary: the executable constructor and parameters apply to atlas-entity:surface#subject, a narrower subject shown on this broader page; they do not characterize every member of the primary collection.
Source/entity binding: clean.