collection
Tillich–Zémor code
A hypergraph-product family whose classical seed combines a circulant weight-two core with an additional sparse block. The finite witness constructs that seed explicitly and delegates the quantum product to the shared HGP primitive.
Scoped completion
Completion belongs to an entity, not the whole page
eczoo-entity:tillichzemor#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 formal target: hypergraph-product formal target: qldpc
Reference instances
| Instance | n | k | d |
|---|---|---|---|
| primary | n=25 verified | k=1 verified | d=3 verified |
Scientific scope
Source, page, and formal object are separate identities
Primary entity: eczoo-entity:tillichzemor#collection. Formalization target: eczoo-entity:tillichzemor#collection. Legacy vocabulary: exact family projection.
Source/entity binding: clean.