Directed motion respects the boundaries of necessity and possibility. What must be stays stable under flow; what may be remains accessible. Change happens within the space defined by what is necessary and what is possible, never violating either.

In formal terms: Flow commutes with the modal operators. Must(Flow(a)) = Must(a), and Flow preserves the structure of the necessity and possibility modalities.

Derivational context

This law arises in Movement III: Directed Dynamics as the requirement that directed motion must preserve the coherence earned in Movement II. If flow could violate necessity — if directed motion could undo what must be — then the stability achieved through structural stabilization would be meaningless. If flow could collapse possibility — if directed motion could close what may be without going through the proper consolidation — then the openness preserved by interior would be illusory.

Mathematical correspondence

The Preserves-Core condition: the flow monad commutes with the modal operators of the underlying Heyting algebra.