pub fn invariant_witness_exists_direct(
inst: &SymmetricInstance,
degree: usize,
) -> Option<Vec<Mono>>Expand description
The direct orbit-collapsed solver — the independent validation path. No canonical types, no
representative tricks: every admitted generator m·g (all multipliers) becomes a constraint, the
unknowns are one bit per orbit (constancy imposed directly), plus L(1) = 1. Same mathematical
question as collapsed_dual_system + CollapsedDual::solve, different code path — the two
must agree at every scale, which is the machine check that representative completeness and type
canonization are right.