A state machine driven by labels

triage needed
reporter confirms the fix →
fix verified