StateEnter idempotently retrieves the challenge for the named state with the given opaque data.

OnStateEnter fires when a state is entered.

OnUserAction fires when the workflow is in this state and the user takes some action on a previous workflow message.

UserAction is idempotent from the state machine perspective but may have side effects like modifying Tabula or tokens.