pub struct MenuSplit {
pub n: usize,
pub orbits: usize,
pub by_rung: BTreeMap<String, usize>,
pub distinct_signatures: usize,
pub largest_morph_class: usize,
}Expand description
The lens-menu split + morph clustering. A lean pass (per-orbit certified invariants only — no full
router, no group closure — so it reaches n=4): which certified lens-class covers each orbit, and how
many distinct structural signatures the orbits collapse to. A signature is (rung, shadow, min-res-width, face-vector) — the structural fingerprint. When distinct_signatures ≪ orbits, the vast orbit count is
mostly morphs of a few structural types (the same family, mutated), exactly as one expects: symmetry
already quotiented the exact symmetries, and the residual multiplicity is near-symmetric variation.
Fields§
§n: usize§orbits: usize§by_rung: BTreeMap<String, usize>Orbit count per certified proof-rung — the fixed lens menu (trivial/counting/parity) vs the growing
nullstellensatz-d{degree} dial.
distinct_signatures: usizeNumber of distinct (rung, shadow, min-res-width, face-vector) signatures — the structural-type count.
largest_morph_class: usizeOrbits in the single most common signature — the largest morph-class.