Registry · Theorem IV.T207 conjectural formalized

IV.T207 — δ_CP NLO from Fiber Correction

δ_CP = π + arctan(ι_τ·(1−ι_τ³)) = 198.11°. Fiber correction (1−ι_τ³) = confinement screening at ι_τ^dim(τ³). Same correction as CKM Jarlskog NLO. PDG 197°±25°. Deviation +5645 ppm (was +9365), 40% improvement.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.DeltaCPNLO