Registry · Proposition V.P116 tau-effective formalized

V.P116 — Precision Budget

Total uncertainty budget for G via bridge: 2.7 ppb from alpha (negligible), ~3 ppm from c_1 (dominant), 0.6 ppm from m_n.

Book V Part 8 Ch. 70

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Coda.GAlphaBridge

Symbol: Tau.BookV.Coda.precision_budget_thm