collection
Triangle surface code
The Yoder–Kim triangle family joins surface-code patches around a central twist. Its local checks include a Y at the origin and a mixed Pauli boundary loop. This T1 skeleton implements only the symmetric r=s=t=2 patch in the paper’s coordinate and Pauli convention; other sizes are not implemented. The displayed parameters describe this finite witness. Decoder, circuit, operation, and realization facets remain unsurveyed.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:triangle_surface#collectionT1 — formal-skeleton
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: r2-s2-t2
At a glance
Executable-target parameters
form: collection formal target: non-css
Constructor variables
r- Paper’s coordinate extent r; this finite implementation accepts only the integer 2.
s- Paper’s coordinate extent s; this finite implementation accepts only the integer 2.
t- Paper’s coordinate extent t; this finite implementation accepts only the integer 2.
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| r2-s2-t2 | n=7 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:triangle_surface#collection. Formalization target: eczoo-entity:triangle_surface#collection. Legacy vocabulary: exact family projection.
Source/entity binding: clean.