Registry · Theorem II.T02 established formalized

II.T02 — Fiber Degeneration at Omega

At the omega boundary, the fiber T^2 degenerates: paths of unbounded primorial depth produce balanced B/C ratios, forcing the fiber to collapse onto the lemniscate L = S^1 v S^1.

Book II Part 1 Ch. 5

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Interior.OmegaReadout

Symbol: Tau.BookII.Interior.primorial_balanced