pub fn generic_subfamilies(n: usize) -> BTreeMap<(String, usize), usize>Expand description
Peek inside the generic full-degree cores. They’re Bₙ-rigid and full-degree — but are they one
undifferentiated blob, or do finer invariants split them into sub-families? Sub-classify the distinct
generic full-degree types by their coarser invariants (shadow, min-res-width): returns
(shadow, width) → number of distinct full-degree types. If a few buckets hold most of the types, the
“generic” bucket has real sub-structure (more families); if they’re spread thin, it’s genuinely varied.