state machine consistency