Function reflection_symmetry_proven 

pub fn reflection_symmetry_proven() -> bool

true iff left-right reflection is a proven symmetry of a bitmask counting search with one column mask and a conjugate <<1/>>1 diagonal pair — the soundness gate for the symmetry-breaking optimization. Proven for all n.