Flow is the directed continuation of stability. Having attained stable structure through closure, being must express motion without loss of coherence. Relations propagate, transforming while preserving their form. Flow generalizes iteration from a process of self-confirmation into a principle of internally consistent transformation — a calculus of becoming that never departs from the ground of relation.
Flow is inflationary but contractive under iteration. It moves forward (each application carries the configuration further) while stabilizing (repeated application converges). This combination makes flow a lax-idempotent monad — a “do-then-forget” evolution where each step is self-consistent.
The Kock-Zöberlein condition — the defining property of flow’s lax-idempotence — means that Flow(a) ≤ Flow(b) if and only if a ≤ Flow(b). In other words, comparing flowed states is the same as comparing an original state against a flowed one. This condition is not assumed but derived: it follows from monotonicity and lax idempotence.
Flow must preserve the core modal structure. The condition PreservesCore(Flow) — equivalently, MaintainsBalance(Flow, May, Must) — ensures that directed evolution does not break the balance between possibility and necessity.
The Flow operator, its counit (resolution), and its comultiplication (propagation) formalize this process as terms in the canonical lexicon.
Derivational context
Flow is the central process of Movement III: Directed Dynamics. It arises when the relational boundary — earned in Movement II — must itself be related. Reflexion folds the boundary into the system, and from this folding directed motion emerges. Being, having achieved stability, must now express change without losing what it has earned. Flow is the answer: directed continuation that preserves the modal core (Must/May) while moving forward.
Related
- Stabilization — what flow settles into
- Iteration — the precursor process that flow generalizes
- Balance — what flow must preserve
- Closure — the stability that flow continues