Classify an instance. Terminal states win first; then effect or activity
faults; then missing references read by unmet conditions; then transition faults; 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 effect or activity faults; then missing references read by unmet conditions; then transition faults; 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).