KZ-Lax is the self-limitation condition on Flow: flowing twice does not take you further than flowing once. A process that has already flowed has already gone as far as flowing can take it. This is what distinguishes Flow from unbounded iteration — directed becoming is inherently convergent.
KZ-Lax arises in Movement III: Directed Dynamics as the condition that ensures directed evolution is self-limiting. Without this condition, directed motion could spiral into runaway determination — each step producing more determination than the last. KZ-Lax prevents this: the first step of flow carries as much determination as any number of subsequent steps. This self-limitation means that Flow preserves the modal core (Must and May) earned in Movement II — directed evolution respects the boundaries of necessity and possibility.
The condition governs the interaction between Flow-Counit (resolution) and Flow-Comult (propagation). Rather than satisfying strict equalities, these operations satisfy inequalities — lax variants that allow for directed convergence.
Mathematical correspondence
KZ-Lax is the Kock-Zoberlein condition, named after mathematicians Anders Kock and Volker Zoberlein who identified this property in the study of lax-idempotent monads. The condition states that the double application of the monad is contained within the single application — the defining property of a lax-idempotent structure.
Related
- Flow — the directed dynamics operator this condition constrains
- Flow-Counit — the resolution operation governed by this condition
- Flow-Comult — the propagation operation governed by this condition