Registry · Remark V.R235 tau-effective formalized

V.R235 — Saturation radius vs. observable universe

The saturation radius R_sat is a structural property of tau^3, while the observable universe is a chart-level concept. R_sat is comparable to the observable universe size, meaning what we can see is essentially everything there is in terms of structural variety.

Book V Part 6 Ch. 54

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.SaturationRadiusVsObservableUniverse