Registry · Theorem V.T79 tau-effective formalized

V.T79 — Two-Regime Readout --- V.T31

The gravitational readout functor exhibits two regimes: classical (r << ell_cl) with standard Newtonian g = GM/r^2, and galactic (r >> ell_cl) where the capacity gradient correction dominates, governed by the ratio r/ell_cl.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (5)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.ClassicalIllusion

Symbol: Tau.BookV.Astrophysics.TworegimeReadoutVt31