Registry · Proposition IV.P204 conjectural formalized

IV.P204 — δ_CP = π + arctan(ι_τ) at +9365 ppm

PMNS CP phase δ_CP = π + arctan(ι_τ) = 198.84° at +9365 ppm from PDG 197°. Physical: half-period (π) plus τ-rotation on crossing. First structural δ_CP candidate in the framework.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.delta_cp_prediction_conj