Function all_enforce_probes_pass 

fn all_enforce_probes_pass(probes: &HashMap<String, ProbeRecord>) -> bool

All enforce-mode probes have status Pass. Observe and Disabled are ignored per RFC-0007 §3.3 (ProbeMode docstring, state.rs); they do not gate convergence. Mirror of collect_failing_enforce_probes on the Soaking → Converged exit path. Empty enforce set trivially satisfies — matches the shared verifier’s “empty probe map acceptable” semantic in verify_converged_invariants.