Function canonical_blocker 

pub fn canonical_blocker(b: &Subcube, generators: &[CubeSym]) -> Subcube

The orbit representative (canonical form) of a blocker under a generating set: the lexicographically minimal blocker reachable through the generators. Two blockers are symmetric iff they share a canonical form, so canonicalizing is how a symmetry-aware engine dedups derived rules by orbit.