Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
distance- Code distance for an executable, paper-audited triangular patch. The current constructor accepts only 3 and 5; it rejects larger odd distances rather than inferring their incidence from a bulk formula.
boundary- Exact finite-patch convention. The supported literal is 'three-color-triangle'; closed, punctured, and other planar boundaries are distinct variants.
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| d3_triangle | n=7 verified | k=1 verified | d=3 verified |
| d5_triangle | n=17 verified | k=1 verified | d=5 verified |