Registry · Definition VI.D61 tau-effective planned

VI.D61 — Lift_ω Constructor

Teichmüller-style recursive builder from bipolar scalar seed through primorial ladder P_k to profinite ω-germ code converging to ι_τ.

Book VI Part 7 Ch. 45

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookVI.CosmicLife.CrossLimit

Symbol: Tau.BookVI.CrossLimit.LiftConstructor