The Profile stratum is the architectural culmination of the derivation’s constructive work. Through 34 acts, it builds disciplines (flow-closure pairs), filters (disciplines that commute with everything), profiles (the recognitions stable under a filter), and towers (full relational universes reconstructed inside each profile). This is where the derivation earns nested relational contexts — multiple coherent perspectives, each with its own flow, closure, geometry, and physics.
Of the 34 acts, the strata source files document 30. The analysis below covers these 30.
What Profile exports
Of the 30 documented acts, 10 are exports, 9 are intermediates, and 11 are dead ends.
| Export | External uses | What it provides |
|---|---|---|
| ProfileRecognitions | 7 | The recognitions stable under a filter — the material of a profile |
| FlowProfile | 7 | Flow restricted to the profile — how the profile evolves |
| NucleateProfile | 5 | Close restricted to the profile — how the profile settles |
| TraceProfile | 3 | Complete traces inside the profile |
| PhysicsProfile | 3 | Physical semantics of the profile |
| JudgeProfile | 2 | Judgements inside the profile |
| GeometryProfile | 2 | The profile’s relational geometry |
| ProfileSemantics | 1 | Semantic structure inside the profile |
| SoundProfilePhysics | 1 | The profile’s physics respects its semantics |
| BuildProfileTower | 1 | The recursive tower: profiles contain full relational universes |
The heaviest exports are ProfileRecognitions and FlowProfile (7 external children each). These feed into the Context, Dynamics, and Physics strata, as well as into the extensive “Fixed*” act family (acts that instantiate earlier constructions at the fixed-profile level — most of the 149 unassigned acts).
How the exports are earned
Discipline and filter (5 acts → ProfileRecognitions)
This is the heart of the stratum: the compositional chain from geometric commutation to stable recognitions.
Discipline (Close, CommuteFlowAndNucleus) — A discipline is a flow-closure pair whose commutation is recorded by the closure operator. It is the formal content of “a coherent way of doing things”: a directed motion and a settlement that are compatible. Intermediate.
GovernRegime (FixFlowNucleus, Discipline) — A discipline grounded in what is stable under both flow and closure. Dead end: the governance of a regime is earned but not used as a component. The derivation needs disciplines, not their governance.
ComposeDiscipline (Discipline, FixFlowNucleus) — Composing multiple disciplines. Intermediate.
Filter (Discipline, FlowObservationEquivalence) — A discipline that commutes with every closure, flow, and reflex. Filters are “maximally compatible” disciplines — they carve out relational universes that are coherent with everything else in the system. Intermediate.
ProfileRecognitions (FixFlowNucleus, Filter) — The recognitions that are both flow-closure-stable and filter-stable. This is the profile itself: the set of recognitions that define a coherent relational perspective. Export (7 external). Everything else in the stratum builds on this.
Profile dynamics (3 exports)
FlowProfile (Flow, ProfileRecognitions) — Flow restricted to the profile. How the profile’s recognitions evolve. Export (7 external: ContextFlow, May, Evolve, PathType, PhysicsState, ProfileDynamics, ProfileReach).
NucleateProfile (Close, ProfileRecognitions) — Close restricted to the profile. How the profile’s recognitions settle. Export (5 external: Must, ContextNucleus, Measure, ProfileEntropyMeasure, ProfileMeasure).
GeometryProfile (FlowProfile, NucleateProfile) — The profile’s full geometry: flow coupled with closure. Export (2 external: ProfileInvariantGeometry, SoundProfileGeometry).
Profile content (4 exports)
TraceProfile (CompleteTrace, ProfileRecognitions) — Complete traces inside the profile. Export (3 external: ProfileEntropy, ProfileKernelChain, Spectrum).
JudgeProfile (RecognizeJudgementTriad, ProfileRecognitions) — Judgements inside the profile. Export (2 external: FiberCategory, SoundPhysics).
ProfileSemantics (StructureSemantics, ProfileRecognitions) — Semantic structure inside the profile. Export (1 external: FixedProfileSemantics).
PhysicsProfile (FlowObservation, FlowProfile) — Observation flow witnessing the profile’s flow produces the profile’s physical semantics. Export (3 external: SoundPhysics, SoundProfileGeometry, SystematizePhysics). This is the bridge to the Physics stratum.
Tower construction (2 acts → 1 export)
BuildProfileTower (PhysicsProfile, CalculateProfileSyntax) — The recursive tower: a profile contains a full relational universe — its own syntax, semantics, flow, closure, geometry, and physics. Each profile is a complete system that can be re-entered. Export (1 external: ProfileKernelStep).
SoundProfilePhysics (PhysicsProfile, ProfileSemantics) — The profile’s physics respects its semantics. Export (1 external: SoundFixedPhysicsSemantics). This is the soundness guarantee: the physics that emerges from the profile is consistent with the algebraic structure of the profile’s recognitions.
Dead ends (11 acts)
The dead ends fall into three groups:
Governance dead ends (2): GovernRegime, GovernCompositeRegime — regimes are governed but governance is not used downstream. The derivation needs disciplines and filters, not their governance.
Naming dead ends (2): ContextualizeProfile, TermProfile — profiles have contextualized and term-level presentations, but these are not needed as components.
Composite dead ends (7): ComposeFilter, SoundProfileSyntax, BuildNestedProfileTower, CalculateCompositeProfileSyntax, GeometryCompositeProfile, PhysicsCompositeProfile, BuildCompositeProfileTower — the composite profile construction (profiles over composite disciplines) is developed but terminates without export. The system builds composite profiles but does not need their results for further construction. This is the largest dead-end cluster in the system: 7 acts developing composite profiles that nothing else uses.
What the Profile stratum earns
The tower principle. Every profile contains a full relational universe: semantics, syntax, flow, closure, geometry, physics. This is the formal content of nested relational perspectives — different coherent viewpoints, each complete, each stable under the global dynamics.
The filter distinction. Not every discipline is a filter. A filter is a discipline that commutes with everything. This distinction is the formal content of the difference between a local practice (discipline) and a global perspective (filter/profile). The derivation earns this distinction constructively — it is not postulated.
The composite dead ends. The 7-act composite tower development that terminates without export is the derivation’s most substantial exploratory chain. It shows that composite disciplines can be developed but suggests the derivation does not need composite profiles for its final physical conclusions. Whether this is a feature (composites are provably redundant) or a gap (the derivation has not yet found their use) is an open question.
Connection to the derivation
The Profile stratum enacts Movement IV — geometric cohesion. Multiple relational units coexist, each with its own internal dynamics and structure, connected by the shared geometric architecture. The tower construction corresponds to the philosophical claim that local relational perspectives are complete — what is true locally is true in its own right, not merely a shadow of a global truth.
The Physics and Dynamics strata consume Profile’s exports and develop the physical conclusions of the derivation — states, evolution, measurement, invariants, mixing, and ergodicity.