The relational derivation unfolds through 397 acts — constructive steps in which one previously earned act “witnesses” another, producing a new named act. Each act is a binary composition (Top Bottom), where the top act witnessing the bottom act earns the composite. The twelve strata organize these acts into layers of increasing complexity, from the primordial emergence of distinction to spectral theory and conservation laws. The derivation required 397 acts to construct all the structures it needs; more could be defined, but these are the ones the argument demands.
Acts
Each act has a top (the witnessing act), a bottom (the witnessed act), and a name determined by what the composition achieves philosophically. The most primitive act, Relationlessness, has no top or bottom — it is the empty act, the absence of relation from which everything else is earned.
The twelve strata
-
Foundation (15 acts) — Seeds the primordial recognitions from Relationlessness. Two threads: distinction (Relationlessness → Exclude → Articulate → EmergeReflex → FirstRecognize) and witnessing (Reflex → Relate → NotRelate → Witness → Something → Nothing → Void → FirstName → SelfNaming).
-
Trace (33 acts) — Establishes oriented trace mechanics: how acts proceed through leading and trailing orientations, starting, advancing, and completing traces.
-
Term (32 acts) — Builds syntax, contexts, and fixpoint constructors from the trace layer.
-
Observation (29 acts) — Records how values and traces are witnessed, normalized, and compared. Runs in two parallel tracks: observation and observation equivalence.
-
Judgement (16 acts) — Formalizes judgement triads (context + term + observation) and their interaction with observations.
-
Semantics (125 acts) — The largest stratum. Earns the relational logic: entailment, combining, choosing, conditional relating, denial, morphisms, and typing. High dead-end ratio: many acts verify metatheoretic properties (soundness, completeness, confluence) that are conclusions, not ingredients.
-
Stability (9 acts) — Freezes traces, terms, observations, and contexts into invariants. Two exports feed directly into Geometry’s two operations (fixing flow, fixing closure).
-
Geometry (34 acts) — Couples flow with closure to earn relational geometry, fixed-point theory, and residuation laws. The convergence point for Observation and Judgement through Flow and Close.
-
Context (4 acts) — Evolves, settles, and couples contexts under the flow-closure architecture. Three exports despite having only four acts.
-
Dynamics (7 acts) — Studies phase spaces, mixing, and ergodicity. Terminal stratum: all acts are conclusions.
-
Profile (34 acts) — Develops disciplines, filters, and nested profile towers. Each profile contains a full relational universe with its own semantics, geometry, and physics.
-
Physics (47 acts) — Connects profiles with observables, states, and physical evolution. Nearly terminal: only StabilizeInvariant feeds back to Profile.
The constructive proofs validating each stratum are developed in the mathematical correspondences.
Export architecture
Each stratum earns a small number of exports — acts that later strata depend on — through a larger body of intermediate construction. Some acts are dead ends: valid compositions that nothing else references. The export structure reveals the system’s load-bearing skeleton:
| Stratum | Acts | Exports | Intermediates | Dead ends | Notes |
|---|---|---|---|---|---|
| Foundation | 15 | 5 | 8 | 2 | |
| Trace | 33 | 8 | 25 | 0 | |
| Term | 32 | 12 | 17 | 3 | Cross-stratum dep on Semantics |
| Observation | 29 | 10 | 18 | 1 | Parallel track architecture |
| Judgement | 16 | 4 | 11 | 1 | Converges with Observation |
| Semantics | 125 | 13† | 12† | 19† | † of 44 documented |
| Stability | 9 | 2 | 6 | 1 | Clean lens into Geometry |
| Geometry | 34 | 7† | 3† | 12† | † of 22 documented |
| Context | 4 | 3 | 0 | 1 | 75% export ratio |
| Dynamics | 7 | 0 | 5 | 2 | Terminal |
| Profile | 34 | 10† | 9† | 11† | † of 30 documented |
| Physics | 47 | 1† | 3† | 5† | † of 9 documented |
Terminal strata. Only Dynamics is fully terminal (zero exports). Context exports heavily despite its small size. Physics has one export (StabilizeInvariant → ProfileInvariant), creating a feedback loop between physical invariance and profile recognition.
Convergence points. Flow (in Geometry) merges FlowObservation and FlowJudgement. Close merges NormalizeObservationEquivalence and NormalizedJudgementEquivalence. The system treats observation and judgement as parallel feeds into the same geometric operations.
The export/validation split. Beginning at Semantics, strata develop high dead-end ratios: 43% in Semantics, 55% in Geometry. These dead ends are not accidental — they are metatheoretic verifications (soundness, completeness, confluence, preservation, progress) and law proofs (absorption, distribution, transport, residuation). The derivation proves these properties but nothing further is built from the proofs. Later strata need the logical structure but not the verification.
Dead-end patterns. Dead ends cluster in: self-witnessing (WitnessValue, WitnessJudgementEquivalence), reflexive self-application (FirstRecognize, IterateReflex), exploratory chains (eventual equivalence, binders, weakening, composite profiles), and law verification (the Semantics and Geometry dead ends). The composite profile chain (7 dead ends in Profile) is the derivation’s largest exploratory cluster.
The compositional chain
Relationlessness is the empty act — the absence of relation, the void before distinction. (Relationlessness Relationlessness) produces Exclude — directing the void at itself forces an interior/exterior distinction, the first boundary. Through several intermediate steps that earn Reflex, Relate, Witness, and Something, the Foundation stratum arrives at Recognition (a two-place structure that relates distinguisher to distinguished) and Entry (how positions engage the boundary). From there, each subsequent stratum builds more complex structures using only acts already earned in prior strata. The entire derivation is self-grounding: no axioms are assumed, no mathematical framework is posited, and every structure is earned from what came before.