Registry · Theorem IV.T78 tau-effective formalized

IV.T78 — No vacuum catastrophe in τ

No vacuum catastrophe in tau: the tau-vacuum energy density rho_vac^(tau) = sum over {B,A,C,D} of eval(Delta^S_omega(Vac^*_S)) is finite (a stabilized boundary invariant), parameter-free (no additive offset), and structurally prevented from diverging.

Book IV Part 5 Ch. 44

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Strong.VacuumCatastrophe

Symbol: Tau.BookIV.Strong.NoVacuumCatastropheIn