State machines make failure transitions explicit, but behavior trees can re-enter branches in ways that resemble retry amplification unless guarded carefully.
Curious whether anyone has modeled agent execution control as a state machine specifically to make containment explicit.