Registry · Definition V.D76 tau-effective formalized

V.D76 — Coherence Horizon

The coherence horizon M_n*(x) is the maximal mass index for which the GR tension functional remains bounded by the structural threshold Lambda_tau: M_n* = sup{M | T_n(x_M) <= Lambda_tau}. Beyond it, ball topology cannot accommodate a refinement-coherent solution.

Book V Part 2 Ch. 18

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.CoherenceHorizon