Registry · Theorem IV.T198 tau-effective formalized

IV.T198 — Jarlskog NLO at +2624 ppm

J_NLO = J_LO·(1+ι_τ³) = 2.97×10⁻⁵ × 1.0398 = 3.088×10⁻⁵ at +2624 ppm from PDG 3.08×10⁻⁵. LO was -35714 ppm, 13.6× improvement. Sign duality: A screened (1-ι_τ³), J enhanced (1+ι_τ³) by fiber topology.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.jarlskog_nlo