verify_converged_invariants

nixfleet_state_machine::transitions::soaking

Function verify_converged_invariants 

Source 
fn verify_converged_invariants(
    state: &HostRolloutState,
    current_closure: &str,
    converged_at: DateTime<Utc>,
) -> Result<(), TransitionError>
Expand description

RFC-0005 §4.2 Converged event: CP re-verifies the three invariants before transitioning. Same check runs agent-side too — same code, both sides (RFC-0006 §2 principle 4).