Part III: The Denotational Bridge
The ontic seal is in place. Every object of τ exists, is unique, and is rigid. From this point forward, we only name — never create.
The alpha-orbit O_α is identified as τ-Idx: the internal natural numbers, earned rather than imported. Rank transfer maps establish canonical bijections between the counting scaffold and the three solenoidal orbits. From ρ alone, we derive the swap operator σ, index addition (n + m = ρ^m(n)), index multiplication, exponentiation, and tetration — a full arithmetic tower, each level earned by structural recursion from the previous.
The program monoid captures finite ρ-instruction sequences with composition defined by concatenation and normalization. Composition associativity is a theorem, not an axiom — proved via the NF-Confluence Lemma. Three levels of sameness (ontic identity, address equivalence, shadow equality) replace the single primitive “=” with a principled hierarchy. The denotational order extends K1 to all of Obj(τ), completing the well-ordered structure.
After this Part, every object has a name, an address, and a position. The bare-metal foundations are complete. Parts IV–XV will build the entire edifice of mathematics upon them.
Chapters
- Chapter 10: τ-Idx — The Alpha-Orbit as Internal Natural Numbers
- Chapter 11: The Swap Operator σ and the First Arithmetic
- Chapter 12: Earned Exponentiation and Tetration
- Chapter 13: The Program Monoid — Composition as a Theorem
- Chapter 14: Three Levels of Sameness
- Chapter 15: The Denotational Order and the Road Ahead