Registry · Remark V.R387 tau-effective formalized

V.R387 — η_B Exponent Resolution: 15 vs 20 (Effective 19 = W₅(3))

η_B exponent resolution: 2nd Ed α_τ·ι_τ¹⁵·(5/6) = (121/270)·ι_τ¹⁹. 1st Ed q_B·ι_τ²⁰ with q_B = (121/270)/ι_τ ≈ 1.313 absorbed one ι_τ factor. Effective exponent 19 = W₅(3), same window number as N_e/dim(τ³) = 57/3. Both inflationary duration and baryon asymmetry governed by [5,3] CF window.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.EtaBExponentResolution