Status: IN
One-directional state machines are the concrete enforcement mechanism for temporal gap containment: their irrevocable transitions (OPEN→CLOSED→FINALIZED, OK→PENDING→ALERTING) mechanically prevent temporal gaps from causing state regression, making gap containment structurally enforced rather than conventionally assumed.
State machines make forward-only containment physical — a gap between check and act cannot regress a state machine past its current position
Depends on (SL): state-machines-instantiate-forward-only-monotonicity, temporal-gaps-are-contained-by-forward-only-design