pub fn is_total_via_orbits(
cover: &Cover,
generators: &[CubeSym],
) -> Option<bool>Expand description
The symmetry-broken cover-totality check: when every generator is a verified automorphism,
the cover is total iff it covers one representative per orbit. Same verdict as Cover::is_total,
but it inspects orbit_count corners instead of 2ⁿ. None (fail-closed) when some generator is
not actually an automorphism — never a guessed answer.