pub fn diagnose(num_vars: usize, clauses: &[Vec<Lit>]) -> Diagnosis
Run every lever’s detector and report what applies. The automated “what can we still do” — one call, the whole portfolio probed.