Registry · Definition IV.D349 tau-effective formalized

IV.D349 — Cabibbo Angle from T² Holonomy: λ_C = ι_τ·κ_D

The Wolfenstein parameter λ_C = sin(θ_C) is identified with the T² fiber holonomy product ι_τ·κ_D = ι_τ·(1−ι_τ). Numerical: ι_τ·(1−ι_τ) = 0.22482 vs PDG 0.22534 at −2327 ppm. Best τ-formula for any CKM parameter.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.cabibbo_formula