feat(corpus): enrich CS-02 + CS-03 — Arc 1 Mathematics (manuscript-grounded)

corpus/construction-spine/internalize-self-enrichment/index.md

@@ -142,11 +142,36 @@ construction_step_id: "CS-03"
 
 <div class="notice note"><strong>Status note.</strong> Build status reflects the current internal state of the Corpus. It does not imply external acceptance unless explicitly stated.</div>
 
-## What this step is required to do
+## 1. What this step must build
 
 The program must begin to discharge the externality of speaking about τ only from outside by showing how τ can internalize its own morphism spaces, representation, and enrichment ladder.
 
-## What the corpus built
+By the end of this step:
+
+- Morphism spaces between τ-objects must themselves be τ-objects (`Hom(A, B) ∈ Obj(τ)`).
+- The Yoneda embedding `τ ↪ [τ^op, τ]` must be proved as a τ-internal **theorem** (II.T36) — not imported from ambient category theory.
+- Iterated enrichment must be available: `τ → [τ, τ] → [[τ, τ], [τ, τ]]`, with two-morphisms arising from `Hom(Hom(A, B), Hom(C, D))`.
+- The canonical enrichment ladder `E₀ → E₁ → E₂ → E₃` must be initiated, with `E₀` = mathematical layer (Books I–III), `E₁` = physics layer (Books IV–V), `E₂` = life layer (Book VI), `E₃` = metaphysics layer (Book VII).
+- The **Central Theorem** `O(τ³) ≅ A_spec(L)` (II.T40) must close the boundary↔interior loop and serve as the step's structural climax.
+- **Categoricity** (II.T42) must establish that the K0–K5 axioms force τ³ uniquely — moduli space `{pt}`, no parameters, τ³ discovered rather than constructed.
+
+What cannot yet be assumed: physical carrier (CS-04), measurement bridges (CS-06), reflective structure (CS-08), self-hosting machinery (CS-09).
+
+## 2. The construction challenge
+
+This step is hard for five interlocking reasons.
+
+**2.1 Move from external description to internal expressibility.** The kernel + recovered mathematics begin from outside. CS-03 must show how τ becomes capable of *describing itself from within* — its morphisms, representations, higher transformations.
+
+**2.2 Reduce the meta-language externality.** Even after CS-01 builds the τ-topos and CS-02 recovers the number tower + Tarski geometry, the description so far still uses an external hom-set vocabulary. Morphism spaces must become τ-objects, not external hom-sets in an ambient universe.
+
+**2.3 Achieve self-enrichment without circularity.** Self-reference is dangerous: it can collapse into impredicativity, paradox, or ill-founded recursion. The construction must achieve self-enrichment *without* uncontrolled circularity. K5 (diagonal discipline) is what makes this possible — and the τ-topos's four-valued internal logic absorbs cases that would crash classical foundations.
+
+**2.4 Make Yoneda earned rather than assumed.** Yoneda's lemma is normally assumed at the meta-level: any locally small category embeds in its presheaves. The τ-program cannot afford to assume probing-from-outside. It must *earn* the Yoneda embedding as a τ-internal theorem, with the proof-engine being **probe naturality** — the same condition that forced continuity in Book II Part II.
+
+**2.5 Surface the canonical enrichment ladder.** The ladder `E₀ → E₁ → E₂ → E₃` is the framework's structural commitment that physics, life, and metaphysics are not separate domains bolted on, but **enrichment layers** over the mathematical kernel. CS-03 must initiate the ladder; later steps populate it.
+
+## 3. What Panta Rhei builds
 
 The Corpus presents hom-objects as τ-objects, Yoneda-style representation as an earned theorem, iterated enrichment, higher morphism structure, and the later Central Theorem route toward deeper self-description.
 
@@ -156,7 +181,7 @@ Step 3 asks whether τ can internalize its own categorical structure. In categor
 
 The result is not yet full ontic closure. Step 3 does not prove that the framework has exhausted every explanatory burden. It proves a mathematical precondition for that later claim: τ is not merely described from outside, but begins to describe its own morphism spaces, higher transformations, and enrichment ladder from within. The reviewer burden is therefore precise: decide whether the external metalanguage has actually been reduced by internal construction, or merely renamed.
 
-## Why self-enrichment is required
+### Why self-enrichment is required
 
 If τ can only be described from an external metalanguage, then the no-externalities program has not yet reached its own foundation. It may still be a useful formal system, but its rules, morphisms, and representational behavior would remain explained from outside.
 
@@ -173,7 +198,7 @@ Self-enrichment is the categorical way to reduce this externality. Instead of tr
 <p class="formula-fallback"><strong>Plain-text formula:</strong> <code>Hom(A, B) in Obj(tau)</code>.</p>
 </div>
 
-## Yoneda as theorem, not axiom
+### Yoneda as theorem, not axiom
 
 The next burden is representation. A framework can always be studied externally by probing it from a larger mathematical universe. But the τ program cannot simply assume that kind of external representational power. It must earn internal probing.
 
@@ -196,7 +221,7 @@ The intended result is that Yoneda-style representation is proved as a theorem i
 
 Canonical long-form source: [Book II, Part VIII: Self-Enrichment, Yoneda, and Higher Categories](/publications/books/book-ii/part-08-self-enrichment-yoneda-and-higher-categories/)
 
-## Iterated enrichment and higher morphisms
+### Iterated enrichment and higher morphisms
 
 Once hom-objects become τ-objects, the process can be iterated. Morphisms between morphisms become available, and higher categorical structure begins to appear. This does not mean Step 3 has already settled every higher-categorical or ontic question. It means the self-enrichment ladder has started and can be inspected as part of the Corpus.
 
@@ -219,19 +244,106 @@ Once hom-objects become τ-objects, the process can be iterated. Morphisms betwe
 
 Later results examine whether this ladder keeps producing genuinely new levels indefinitely or whether it stabilizes after a finite stage. Step 3 opens the formal self-enrichment route; later steps must still test self-hosting, semantic adequacy, and ontic closure.
 
-## Relation to Step 1 internal logic
+### Relation to Step 1 internal logic
 
 The τ-topos and four-valued internal logic are introduced in Step 1 because they belong to the kernel's split-complex truth machinery. Step 3 uses that machinery for a different burden: self-enrichment. The same internal truth substrate is now used to ask whether τ can make its own morphisms, representations, and higher transformations available from within.
 
 This is where [Hinge 6](/corpus/foundational-hinges/tau-topos-four-valued-internal-logic/) changes role. In Step 1 it is part of the kernel's internal truth machinery; in Step 3 it becomes the substrate on which self-enrichment, Yoneda-style representation, and higher morphism structure can be inspected. [Hinge 8](/corpus/foundational-hinges/tau-kernel-foundational-architecture/) remains the integration reference: it asks whether these ingredients still form one architecture rather than disconnected categorical vocabulary.
 
+### Self-description: enrichment as self-description
+
+Self-enrichment *is* self-description. The split-complex codomain is rich enough for self-reference. The transition from `E_stage{0}` to `E_stage{1}` (internal stages within the mathematical kernel `E_layer{0}`) initiates the enrichment frontier (`I.D82`). After this transition, τ no longer needs an external description of its own structure — it describes itself.
+
+### The Central Theorem — boundary determines interior
+
+Book II Part IX assembles the climax: the **Central Theorem** (II.T40):
+
+<div class="formula-block">
+<math display="block" aria-label="Holomorphic functions on tau three are isomorphic to the spectral algebra on the lemniscate">
+  <mrow>
+    <mi>𝒪</mi><mo>(</mo>
+    <msup><mi>τ</mi><mn>3</mn></msup>
+    <mo>)</mo>
+    <mo>≅</mo>
+    <msub><mi>A</mi><mi>spec</mi></msub>
+    <mo>(</mo>
+    <mi>𝕃</mi>
+    <mo>)</mo>
+  </mrow>
+</math>
+<p class="formula-fallback"><strong>Plain-text formula:</strong> <code>O(tau^3) ≅ A_spec(L)</code>.</p>
+</div>
+
+**Boundary determines interior; interior encodes boundary.** This is the framework's exact holographic principle. The proof chain:
+
+1. Boundary characters (idempotent-supported objects on `Ẑ_τ`) restated in bipolar form.
+2. **Hartogs Extension (II.T37)**: each idempotent-supported character extends uniquely to the interior, with the extension living in the split-complex codomain `H_τ` (not classical `ℂ`).
+3. **Hartogs extensions are ω-germ transformers (II.T38)**: stagewise naturality carries the boundary character structure to the interior.
+4. **Yoneda Applied (II.T39)**: ω-germs *are* holomorphic functions. Probe naturality = ω-germ naturality = holomorphy. The loop closes.
+5. **Central Theorem (II.T40)**: spectral coefficients are calibrated via `ι_τ` (Book II Part V).
+
+The Central Theorem is what makes Step 3 a *closure*, not just a foreshadowing. The Yoneda theorem (II.T36) is the *engine*; the Central Theorem is the *result*.
+
+### Categoricity — moduli space is a single point
+
+Step 3 closes with the **Categoricity Theorem (II.T42)**: the six axioms K0–K5 force `τ³` uniquely.
+
+> **Moduli space `= {pt}`. No parameters. `τ³` is discovered, not constructed.**
+
+Liouville's theorem in the τ setting (II.T41) handles the seemingly contradictory phenomenon that wave-type PDEs (not elliptic) permit non-constant bounded solutions, dodging the classical Liouville obstruction without violating it. Together, II.T41 + II.T42 make the categorical structure both *non-trivial* and *unique*.
+
+This is the framework's structural source of "zero free parameters." Every later constants ledger, every numerical prediction, every empirical bridge ultimately rests on the moduli-space-is-a-point claim.
+
+### The geometric bi-square — one seed, one theorem
+
+Book II Part X synthesizes the result: the **algebraic bi-square** of Book I (`I.T41`) is filled with every geometric object earned in Parts I–IX. The left square becomes the Hartogs extension; the right square becomes spectral restriction; the limit row becomes the Central Theorem.
+
+> **One algebraic seed plus nine Parts of earning equals one geometric theorem.**
+
+The geometric bi-square is the visual hinge of CS-03. It crystallizes how the kernel's algebraic constraints (CS-01) plus mathematical recovery (CS-02) plus self-enrichment (CS-03) collapse into a single closed-form result.
+
 ## First red-team questions
 
 - Are hom-objects genuinely τ-objects, or is an external category of sets still doing the real work?
 - Is Yoneda earned as a theorem under τ-discipline, or smuggled in through ambient categorical assumptions?
 - Does iterated enrichment produce genuine higher structure?
 - Does the construction avoid silently importing a larger universe for morphism spaces?
 - What exactly stabilizes, if later saturation claims are invoked?
+- Does the Central Theorem hold uniformly across the τ³ structure, or only at the rank-(3, 15) check that the categoricity proof verifies?
+- Is the moduli-space-is-a-point claim of categoricity (II.T42) genuinely τ-internal, or does its proof leak into an external metalanguage?
+
+## 4. Why this matches the required answer-shape
+
+Step 3 reduces the meta-language externality and closes the boundary↔interior loop. Its admissibility is evaluated against the obligation to make τ describe its own morphisms, representations, and higher transformations from within — without inventing a new external substrate.
+
+**Gluing to previous steps.** CS-03 inherits CS-01's τ-topos + four-valued internal logic + boundary algebra + holomorphy, and CS-02's recovered mathematics + Tarski geometry + transcendentals + number tower + Local Hartogs. The split-complex codomain `H_τ` from CS-01 becomes the value-target for hom-objects. The Local Hartogs of CS-02 (Book II Part VI) is the analytic engine for the Central Theorem's boundary↔interior bridge.
+
+**No-externalities discipline.**
+
+- **No external category of sets.** Hom-spaces are τ-objects, not external hom-sets in an ambient universe.
+- **No assumed Yoneda.** Yoneda is *proved* (II.T36) via probe naturality; the proof is τ-internal.
+- **No imported higher-category machinery.** Iterated enrichment is built by `Hom(Hom(A, B), Hom(C, D))` inside τ; the split-complex structure propagates.
+- **No moduli freedom.** The Categoricity Theorem (II.T42) establishes moduli `{pt}`. There are no parameters to tune.
+
+**Earned language, earned answer.** Every step is *earned* rather than postulated: hom-objects-as-τ-objects (proved); Yoneda (II.T36, proved); Central Theorem (II.T40, proved); Categoricity (II.T42, proved). The geometric bi-square crystallizes the chain visually: one algebraic seed plus nine Parts of earning equals one geometric theorem.
+
+**Internal standpoint.** Self-enrichment is the structural realization of the internal standpoint. After CS-03, τ is no longer described from outside — it describes its own morphisms, representations, and higher transformations from within. The boundary↔interior duality is internal.
+
+**Step gluing — what later steps does it enable.**
+
+- **CS-04 Identify Physical Carrier** uses the enrichment ladder `E₁` slot for the physics layer; uses the Central Theorem's holographic principle to identify the carrier; uses categoricity to confirm zero-parameter status of the carrier.
+- **CS-08 Reflective Structure** uses self-description (II.D54) as the substrate for symbolic mediation; uses the four-valued logic from the τ-topos for handling reflection's circularity.
+- **CS-09 Self-Host Formal Systems** uses the proof-theoretic mirror (Book I Part XVIII) on top of self-enrichment to internally represent ZFC and Lean-like kernels.
+- **CS-10 Test Ontic Closure** asks whether the no-externalities discipline holds end-to-end; categoricity + zero-parameter status are foundations of that test.
+
+**Bridge status.** Bridges to standard category theory: the orthodox Yoneda lemma is recoverable as a corollary of II.T36 by passing through the embedding `τ ↪ Mathlib-Cat`. The orthodox holographic-principle correspondence (AdS/CFT-style) is structurally analogous but **not identical** — the τ holography is between boundary (`A_spec(L)`) and interior (`O(τ³)`), in the split-complex regime, with categoricity forcing uniqueness — features absent from orthodox holography.
+
+**Unresolved boundaries.** CS-03 does not by itself settle:
+
+- Whether the iterated enrichment ladder stabilizes after a finite stage or continues indefinitely. The ladder has *started*; its asymptotic behaviour is not yet decided.
+- Empirical adequacy of the holographic principle. The Central Theorem is *internal* mathematics; whether it lifts to an empirical claim about physical reality is CS-04 onward.
+
+**This is an internal construction claim, not external acceptance.** Step 3 internalizes self-enrichment under τ-discipline and proves the Central Theorem + Categoricity as τ-internal results; reviewer scrutiny is invited via Hinge 6 (τ-topos), Hinge 8 (kernel architecture), the registry, the TauLib formalization, and the Trust Budget Disclosure for the rank-(3, 15) `native_decide` check that underwrites the Central Theorem. The construction is claimed to be admissible relative to the required answer-shape; it is not claimed to be externally settled.
 - Which parts are formalized, which are τ-effective, and which remain bridge or meta-verification frontiers?
 - Does this step clearly distinguish formal self-enrichment from final ontic closure?