Classify an instance. Terminal states win first; then the genuine stuck
causes (nothing advances on its own or via a normal action); then waiting
(an action is available — healthy); then blocked (an active activity held by
an unmet requirement — healthy, not yet actionable); else progressing (a
transition is already satisfied and will cascade).
Classify an instance. Terminal states win first; then the genuine stuck causes (nothing advances on its own or via a normal action); then
waiting(an action is available — healthy); thenblocked(an active activity held by an unmet requirement — healthy, not yet actionable); elseprogressing(a transition is already satisfied and will cascade).