Registry · Theorem IV.T195 tau-effective formalized

IV.T195 — Jarlskog Invariant from τ-CKM at −35000 ppm

J(τ) = 2.97×10⁻⁵ vs PDG (3.08±0.15)×10⁻⁵: −35000 ppm, within 0.7σ. Dominant deviation from A(τ)=0.825 vs PDG 0.790. Jarlskog is reparameterization-invariant; 0.7σ confirms global CKM consistency.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.jarlskog_invariant