Registry · Remark V.R220 tau-effective formalized

V.R220 — Sakharov Conditions

Two of the three Sakharov conditions for baryogenesis are structural in tau: CP violation from the bipolar lemniscate, and departure from equilibrium from the directed alpha-orbit. Only baryon number violation remains open, reducing the mystery from three unknown mechanisms to one.

Book V Part 6 Ch. 48

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.SakharovConditions