Function next_state 

pub fn next_state(current: CertState) -> Option<CertState>

The next state in the forward-progress pipeline for Proceed decisions. Returns None for terminal or wait states.