Registry · Remark V.R130 tau-effective not_applicable

V.R130 — Why no divergence

No ultraviolet divergence: the QFT vacuum energy diverges because it sums infinitely many modes; the tau-vacuum energy is a single boundary integral over compact L -- no momentum integral, no UV divergence, no cutoff issue (Planck/string scale question does not arise).

Book V Part 3 Ch. 25

Lean Formalization

Module: