pub fn lyapunov_of_symmetry(
ranked: &RankedRefutation,
) -> Option<LyapunovCertificate>Expand description
Extract and verify the Lyapunov certificate of a symmetry refutation: its rank annotation is the potential (“active items remaining”), and the refutation closing is the goal-reaching axiom.