debugging $state transition in bxAuth