Registry · Proposition V.P136 tau-effective formalized

V.P136 — CMB Tensor-to-Scalar Ratio r = ι_τ⁴

r = ι_τ^{2·dim(T²)} = ι_τ⁴ = 0.01357. Derived from fiber dimensional suppression: tensor modes on base τ¹, scalar modes on full τ³. Each fiber dimension contributes ι_τ suppression, squared for power spectrum. Below BICEP/Keck 2021 bound r < 0.036. CMB-S4 at ~14σ. Zero free parameters.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (10)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.tensor_scalar_ratio_thm