Registry · Theorem V.T137 tau-effective formalized

V.T137 — No UV divergences in tau

Every spectral sum over boundary characters in H_partial[omega] converges. For any sector X and depth N: sum ||chi_X(alpha_n)||^2 <= kappa(X)^2 N. Physical observables are obtained via profinite completion, not continuous integration. The limit exists because boundary characters are bounded. No regularization, renormalization, or cutoff is needed.

Book V Part 7 Ch. 66

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Orthodox.MeasurementUnification

Symbol: Tau.BookV.Orthodox.NoUvDivergencesInTau