Registry · Theorem V.T22 tau-effective formalized

V.T22 — G derivation --- V.D02

The gravitational constant satisfies G = (c^3/hbar) iota_tau^2, derived from the sector structure. The Planck length equals the master constant (ell_P = iota_tau in natural units where m_n anchors), so G is a readout of the shape ratio r/R = iota_tau.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (4)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.GDerivationVd02