Test stateful flows exhaustively by modeling states and transitions — checkout, onboarding, subscription lifecycle, order status — covering every valid transition and rejecting every invalid one. Use for multi-step flows, wizards, status fields, or anywhere "it got stuck in a weird state" happens.
