Registry · Remark IV.R406 tau-effective formalized

IV.R406 — CP Phase delta_CP from A-Sector Rotation: Connects IV.T152 and V.T174

The CP-violating phase delta_CP in the PMNS matrix connects the A-sector (CKM) CP violation to the lepton sector. If the A-sector provides the same holonomy phase as the quark CKM (both from pi-generator on tau^1), then delta_CP(PMNS) ~ delta_CP(CKM) ~ pi. The PDG best-fit delta_CP(PMNS) ~ 197 degrees (near pi) is consistent with this. IV.T152 (Cabibbo = iota_tau*kappa_D, tau-effective) provides the A-sector scale; V.T174 (PMNS identity from sigma) shows where the mixing comes from. OQ-C7 status: A-sector rotation gives approximately correct angles but sub-percent precision not yet achieved.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.remark_cp_phase_a_sector