Registry · Remark IV.R338 tau-effective formalized

IV.R338 — Structural origin of the exponent 7

The evaluation point s = 4 is forced by the mass operator (B raised to the fourth power yields mass via the trace formula); the exponent 7 = 2*4-1 counts total independent oscillation directions in the fibered product: dim(tau^3)+dim(T^2)+dim(tau^1)+1 = 3+2+1+1 = 7.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.StructuralOriginOfTheExponent7