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…
Part Overview
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
Chapter Navigation
Part pages expose the chapter path as navigation only. Chapter pages carry the individual abstracts and anchors.
Registry and TauLib Anchors
Registry anchors
No explicit Registry anchors are declared at part level yet.
TauLib links
No explicit TauLib module is mapped for this part yet.