Registry · Proposition V.P169 tau-effective formalized

V.P169 — BBN Table Consistency

All four τ-BBN predictions within 2.3σ of observation. Three τ-effective (Y_p, D/H, ³He/H) from established nuclear physics; ⁷Li conjectural (1/3 suppression needs first-principles validation).

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNNuclearNetwork

Symbol: Tau.BookV.Cosmology.bbn_table_all_within_range