Registry · Proposition IV.P200 tau-effective formalized

IV.P200 — CP Violation from ω-Period Pentagon: Pentagon-Angle Derivation

Pentagon angle derivation: 5 generators {α,π,γ,η,ω} at steps 2π/5=72°. Best pentagon formula: ρ̄·(tan(2π/5)-tan(π/5)) = 0.3742 at +75275 ppm from PDG 0.348. Provides geometric interpretation of CP violation as pentagon angle difference. Best candidate ι_τ^(-1/4)·κ_D^(5/4)/√5 not yet geometrically understood.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.pentagon_cp_derivation_conj