Registry · Proposition IV.P67 conjectural formalized

IV.P67 — CP Violation from Sigma-Polarity

Leptonic CP-violating phase delta_CP arises from sigma-polarity involution on L. Relative phase between solenoidal windings picks up sigma-dependent contribution at crossing omega. Precise derivation remains open.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.CpViolationFromSigmapolarity