Registry · Theorem V.T36 tau-effective formalized

V.T36 — Density cap

For every Einstein-admissible boundary character chi, the matter-character density is bounded at every orbit depth: ||T^mat_omega(chi)||_n <= C_n / kappa_tau = C_n / (1-iota_tau) for all n. No infinite density can form; the profinite structure enforces a density cap.

Book V Part 2 Ch. 15

Dependency Graph

Depends on (1)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.DensityCap