The Context stratum is the smallest stratum — 4 acts that thread contexts through the flow-closure architecture earned in Geometry and restricted in Profile. It ensures that contexts — the environments of meaning — participate in the same dynamics as the recognitions they contain.
What Context exports
Despite having only 4 acts, Context has 3 exports and only 1 dead end.
| Export | External uses | What it provides |
|---|---|---|
| ContextGeometry | 3 | The full geometry of contexts — feeds residuation, indexing, presheaves |
| ContextFlow | 2 | How contexts evolve under flow — feeds adjunction and natural transformations |
| ContextNucleus | 1 | How contexts settle under closure — feeds adjunction witness |
This is the highest export ratio of any stratum: 75% of its acts are exports. Context is a tiny but highly connected hub.
The four acts
ContextFlow (FlowProfile, RecognizeContext) — Flow restricted to the profile, applied to recognized contexts. Contexts evolve: they change as flow carries their content forward. Export (2 external: ContextAdjunctionWitness, ContextNat).
ContextNucleus (NucleateProfile, RecognizeContext) — Close restricted to the profile, applied to recognized contexts. Contexts settle: the closure operator identifies equivalent positions. Export (1 external: ContextAdjunctionWitness).
ContextGeometry (ContextFlow, ContextNucleus) — Context flow witnessing context closure: the full geometry of contexts, coupling evolution and settlement. Export (3 external: DynamicResiduation, IndexBase, Presheaf). This act bridges relational dynamics and the indexing, residuation, and presheaf constructions that the later derivation uses for cohesion.
ContextDynamics (ContextNucleus, ContextFlow) — Context closure witnessing context flow: the reverse composition, asking what happens when settlement precedes evolution. Dead end: nothing references this. The system needs the geometry (flow-then-closure) but not the dynamics (closure-then-flow). This asymmetry is itself a finding: the order of flow and closure matters at the context level, even though they commute at the recognition level.
Connection to the derivation
Context corresponds to the derivation’s transition from local to global structure — the beginning of Movement IV. By threading contexts through the flow-closure architecture, this stratum establishes that environments of meaning are not static frames but participants in relational dynamics.