Registry · Proposition V.P133 tau-effective skeleton

V.P133 — Baryogenesis Threshold Placement: n_EW < n_B < n_N

Baryogenesis threshold ordering verified: n_B = 15 (from ι_τ^15 winding depth) places between electroweak (n_EW) and nucleosynthesis (n_N) thresholds. Energy scale E_B = m_Pl·ι_τ^15 ∼ 10¹² GeV (GUT-like). Comparison: Strong CP at E(ι_τ^9) ∼ 10¹⁵ GeV, ratio ι_τ^{−6} ∼ 10³. The SA-i mod-N hierarchy: mod-3 (Strong CP) > mod-5 (baryogenesis) in energy.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BaryogenesisAsymmetry

Symbol: Tau.BookV.Cosmology.baryogenesis_threshold_ordering