Registry · Remark IV.R08 conjectural formalized

IV.R08 — G Frontier

Gravitational constant G: dimensional skeleton G = C_D · L³H²/M where C_D is the unknown base-sector geometric invariant (Book V). Exponents (-1,3,2,0). SI target: G ≈ 6.674 × 10⁻¹¹. Deferred to Book V.

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.GravityFrontier