Define the machine around states, not just outputs.
The cell is being structured around clear ownership of ready, running, hold, abort, stop and fault states so operators and engineers can see exactly what the system thinks is happening.
- Deterministic state flow
- Visible permissives and blockers
- Cleaner restart behaviour