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