Registry · Definition V.D180 tau-effective formalized

V.D180 — Absorbing pattern

An absorbing pattern P_infty: tau^3 -> M_eternal assigns to each point its limiting eternal motif. It is rho-invariant (the pattern is preserved by the progression operator) and locally constant on the chart-level geometry (no fluctuation below R_sat).

Book V Part 6 Ch. 54

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.AbsorbingPattern