Label State Machine

Live transitions extracted from source. Compared against the Mermaid block in ADR-0002 by tests/architecture/test_label_state_matches_adr0002.py.

(no transitions discovered)