Registry · Proposition V.P130 tau-effective formalized

V.P130 — Baryogenesis First Principles: Generator Orbit + Threshold Uniqueness

Wave 12 upgrade: Sakharov conditions now proof-carrying (Nat fields with window_nonempty proof). Exponent 15 uniqueness proven: (3,5) is unique factor pair matching (dim(τ³),|generators|). η_B derivation uses Nat-level exponent/coefficient fields (not Bool flags). Deviation −1.03% (−1.09σ) within observational uncertainty. Scope: τ-effective.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: Tau.BookV.Cosmology.baryogenesis_first_principles