Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
factor- Named deterministic finite Tanner witness. Supported values are complete-graph-5-incidence and affine-plane-4-incidence. The value selects fixed ordered incidence data and finite expansion cutoffs, not a scalable asymptotic expander generator.
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| complete_graph_5 | n=125 verified | k=37 verified | d=3 verified |
| affine_plane_4 | n=656 verified | k=170 verified | d=5 claimed |