Committing state machine