Registry · Theorem V.T270 tau-effective formalized

V.T270 — Baryogenesis NLO from Fiber EM Correction

η_B(NLO)=α·ι_τ¹⁵·(5/6)·(1+(4/3)α)=6.100×10⁻¹⁰. Deviation −655 ppm (0.12σ from Planck). 15.8× improvement over LO (−10320 ppm). NLO correction uses universal fiber ratio 4/3.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BaryogenesisAsymmetry

Symbol: Tau.BookV.Cosmology.BaryogenesisNLO