Registry · Proposition V.P119 established formalized

V.P119 — Generator universality

Each generator acts on H_partial[omega] at every scale; no RG flow of generator itself; effective coupling is depth-dependent.

Book V Part 8 Ch. 74

Dependency Graph

Depends on (3)

I.D34 IV.D05 V.D53

Lean Formalization

Module: TauLib.BookV.Coda.HermeticClosure

Symbol: Tau.BookV.Coda.generator_universality