Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
distance- Odd code distance at least three; also the weight of the constructor's left-boundary logical X and Z representatives.
boundary- Exact finite-patch convention. The supported literal is 'three-color-triangle'; other 6.6.6 boundaries define different families.
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| d3_triangle | n=7 verified | k=1 verified | d=3 verified |
| d5_triangle | n=19 verified | k=1 verified | d=5 verified |
| d7_triangle | n=37 verified | k=1 verified | d=7 claimed |