Registry · Theorem V.T187 tau-effective formalized

V.T187 — Sakharov Conditions from τ³ σ-Involution

All three Sakharov conditions derived from τ³ structure: (1) Baryon number violation: σ swaps L's two lobes (baryon↔antibaryon) with amplitude ι_τ^15 from SA-i mod-5. (2) C and CP violation: 3 generations from H₁(τ³)≅ℤ³ (IV.T171) + complex CKM phase η̄≠0 (IV.T167) → Jarlskog J≠0. (3) Non-equilibrium: primorial mode filtering at n_EW threshold on τ¹ is irreversible.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.BaryogenesisAsymmetry

Symbol: Tau.BookV.Cosmology.sakharov_from_sigma