pub fn canonical_model(model: &[bool], generators: &[Perm]) -> Vec<bool>Expand description
Symmetry-break the witness. The canonical (lexicographically least) model in a witness’s orbit
under the automorphisms — the symmetry-broken representative. All witnesses in one orbit reduce to the
same canonical witness, so the essential content of the solution set is one canonical witness per
orbit; the symmetry regenerates the rest via model_orbit.