The switching mechanism generates the State_ID, which is sent to all zones.
Each zone checks this ID and automatically activates the corresponding operant.
An IN_OUT zone, for example, knows:
"I am in state 2 → Operant S → perform action and wait for feedback."
As soon as the feedback is TRUE, the zone reports:
"Sequence check fulfilled → S = 0."
The switching mechanism collects all reports:
If no interlock is active and all S are satisfied, ΣS = 0 and the next state is released.
