Registry · Proposition V.P194 tau-effective not_formalized

V.P194 — CP Asymmetry from A-Sector Polarity

CP asymmetry parameter set by A-sector polarity matrix P_A with off-diagonal entries iota_tau. Per-generator CP asymmetry epsilon = iota_tau. Full 5-generator orbit with dim(tau^3)=3 gives epsilon_total ~ iota_tau^15, matching SA-i mod-5 suppression.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: