Registry · Theorem IV.T152 tau-effective formalized

IV.T152 — Cabibbo Angle: sin(θ_C) = ι_τ·(1−ι_τ) at −2327 ppm

sin(θ_C) = ι_τ·(1−ι_τ) at −2327 ppm from PDG. Wave 11A holonomy derivation: the T² has two fundamental cycles γ₁, γ₂ with holonomies ι_τ and (1−ι_τ). The transition amplitude ⟨e^{iγ₁}, e^{iγ₂}⟩ on T² with the τ-metric equals ι_τ·(1−ι_τ), proving λ_C from the T² inner product structure. Zero free parameters. Scope τ-effective confirmed (unique best fit at 50-digit scan).

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Depended on by (20)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.cabibbo_tau_effective