Registry · Theorem V.T118 tau-effective formalized

V.T118 — Absorbing Pattern Theorem

The motif distribution on tau^3 converges to a unique absorbing pattern P_infty as refinement depth n -> infinity. On the compact torus T^2, rho acts as a contraction yielding convergence; on the base tau^1, the directed alpha-orbit forces monotone refinement without reversal.

Book V Part 6 Ch. 54

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.AbsorbingPatternTheorem