The Stability stratum is the smallest non-terminal stratum — 9 acts that freeze the four fundamental structures (trace, judgement, term, observation) and their contexts into invariants. It serves a single architectural purpose: preparing the material that Geometry needs to couple flow with closure. Where the Semantics stratum organized recognitions logically, Stability ensures those organized recognitions can be fixed and revisited without drift.
What Stability exports
Of 9 acts, 2 are exports, 6 are intermediates, and 1 is a dead end.
| Export | External use | What it provides |
|---|---|---|
| StabilizeTrace | 1 | Frozen trace — feeds FixFlow in Geometry |
| StabilizeContext | 1 | Frozen context — feeds FixNucleus (fixing under Close) in Geometry |
The export structure is remarkably clean. Two acts export, each to exactly one target, and those two targets are the two foundational operations of the Geometry stratum: fixing flow and fixing closure. Stability is a lens that focuses four kinds of stabilization into two geometric invariants.
How the exports are earned
The stratum follows a single compositional thread: stabilize each structure, then combine them.
StabilizeTrace (CompleteTrace, TraceObservationEquivalenceClosure) — Freezing a complete trace under observation equivalence closure. A trace is stable when its observation-equivalence properties are closed — no further equivalences can emerge. Export: feeds FixFlow.
StabilizeJudgement (RecognizeJudgementTriad, CloseJudgementTrace) — Freezing a recognized judgement triad under trace closure. A judgement is stable when its trace is closed. Intermediate.
StabilizeTerm (SeedTerm, EquateContexts) — Freezing a term seed under context equation. A term is stable when contexts cannot distinguish it from itself. Intermediate.
StabilizeObservation (RecognizeObservation, NormalizeObservationEquivalence) — Freezing a recognized observation under normalization equivalence. An observation is stable when normalization cannot change it. Intermediate.
StabilizeContext (RecognizeContext, StabilizeJudgement) — Freezing a recognized context under judgement stability. A context is stable when the judgements it supports are stable. Export: feeds FixNucleus.
The compositional logic: trace stability depends on observation equivalence closure (from Observation). Judgement stability depends on judgement trace closure (from Judgement). Term stability depends on context equation (from Term). Observation stability depends on normalization equivalence (from Observation). Context stability depends on judgement stability (from this stratum). Each stabilization draws on a different aspect of the prior strata.
ReflexJudgement (StabilizeContext, StabilizeTerm) — Stable context meeting stable term. Intermediate.
WitnessJudgement (StabilizeJudgement, ReflexJudgement) — Stable judgement witnessing the reflexive combination. Intermediate.
ObserveJudgement (StabilizeObservation, WitnessJudgement) — Stable observation witnessing the judged result. Intermediate.
TraceJudgement (StabilizeTrace, ObserveJudgement) — Stable trace witnessing the observed judgement. Dead end: nothing references this. The thread has assembled all four stabilizations into a single structure, but the result — a trace-level judgement that combines all four kinds of stability — is not used downstream. The Geometry stratum accesses stability only through StabilizeTrace (for flow) and StabilizeContext (for nucleus), not through this combined structure.
The dead end is structurally interesting: it says that full combined stability (all four structures frozen and witnessed together) is a valid concept but not needed for the construction. Geometry needs each stabilization channel independently, not their combination. This is an instance of the general pattern where a stratum assembles a “complete” structure and then discovers that later strata access only specific faces of it.
Connection to the derivation
Stability marks the transition between the derivation’s logical phase and its geometric phase. The strata so far have built recognition structures and organized them logically. Stability freezes those structures — declaring them invariant under further manipulation — so that Geometry can couple them with flow (directed motion) and closure (settlement) without the underlying structures drifting. This corresponds to the transition from Movement I (logical structure) to Movement II (geometric structure).