pub fn applicable_levers(d: &Diagnosis) -> Vec<&'static str>Expand description
From a Diagnosis, the list of symmetry-breaks and cuts that apply — the menu of moves, in order
of decisiveness. Empty global structure ⟹ the honest fallback: backdoor + branch on the residue.