Registry · Definition V.D188 tau-effective formalized

V.D188 — UV shield

The UV shield is the structural property that every refinement level H_n of the boundary holonomy algebra is a finite-dimensional algebra. The projective limit H_partial[omega] = varprojlim H_n is profinite (compact, totally disconnected) and therefore admits no ultraviolet divergences. This is structural finiteness, not regularization.

Book V Part 7 Ch. 60

Lean Formalization

Module: TauLib.BookV.Orthodox.CorrespondenceMap

Symbol: Tau.BookV.Orthodox.UvShield