pub fn auto_collapse(num_vars: usize, formula: &[Vec<Lit>]) -> AutoCollapseExpand description
The unified, structure-recognizing engine. Given only opaque clauses, decide WHICH collapse physics applies — covering symmetry or parity — and produce the corresponding Lyapunov-certified artifact. One engine; the structure selects the mechanism. Sound and fail-closed on both paths.