pub fn family_census(n: usize) -> BTreeMap<String, usize>Expand description
The family census across n — classify every minimal-UNSAT orbit into its certified family (lean:
reaches n=4). This is the parametric handle on the infinite tower: the families are defined for all
n, so recognizing membership (poly for the cheap families; n^d for the degree-d algebraic ones)
covers the structured tower without enumerating it — the only way past the super-exponential orbit count.