Registry · Remark V.R105 tau-effective formalized

V.R105 — G is the least precise fundamental constant

G is the least precisely measured fundamental constant (CODATA 2018 relative uncertainty 22 ppm, five orders of magnitude worse than alpha, c, or hbar). The tau-prediction at 3 ppm is comfortably within this uncertainty; a future sub-3-ppm measurement would sharply test the closing identity.

Book V Part 2 Ch. 20

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.GIsTheLeastPreciseFundamentalConstant