Registry · Proposition IV.P212 tau-effective skeleton

IV.P212 — PMNS Unitarity Triangle Consistency

PMNS Jarlskog J_PMNS^(τ) ≈ −0.030 from all τ-predicted angles + δ_CP. Experimental: −0.033±0.004. Within 1σ, limited by θ₂₃ precision.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.pmns_unitarity