pub fn stabilizer(model: &[bool], group: &[Perm]) -> Vec<Perm>Expand description
The stabilizer of a witness — the subgroup of symmetries that fix it (σ·m = m). These are the
transformations under which the witness sees itself; they are exactly the redundancy in its
perspective of the others.