TauLib Book II — Categorical Holomorphy

All Lean 4 modules corresponding to Book II (Parts 0–XI). 65 chapters, ~162 registry entries, 60 modules, zero sorry.

Structure

• Prologue (Part 0): Split-complex codomain H_τ

• Interior (Part I): τ-admissible points, ω-readout, τ³ fibration

• Domains (Part II): Cylinders, ultrametric, Hol ⟹ Continuous

• Topology (Part III): Stone space, dimension, torus degeneration

• Geometry (Part IV): Betweenness, congruence, parallel, causal structure

• Transcendentals (Part V): Lines, circles, π, e, j, ι_τ

• Hartogs (Part VI): Mutual Determination, evolution, sheaf coherence

• Regularity (Part VII): Idempotent decomposition, 3-lemma chain, pre-Yoneda

• Enrichment (Part VIII): Self-enrichment, Yoneda, 2-categories

• CentralTheorem (Part IX): Boundary characters → O(τ³) ≅ A_spec(ℒ)

• Closure (Part X): τ-manifold, diff-geo agenda, BSD bridge, Book III export

• Mirror (Part XI): Sign classification, wave holomorphy, physics quadrant