Registry · Theorem
V.T275
tau-effective
not_formalized
V.T275 — Scalar Amplitude from alpha_tau Inheritance
A_s = alpha_tau * iota_tau^14 * (1 - iota_tau^3/3) = 2.096e-9, at -1979 ppm from Planck. Coefficient (121/225) = (11/15)^2 inherited from fine-structure constant chain. NLO factor is tau^3-volume averaging.
Book V
Part 6
Ch. 47