V.R56 — Lean formalization

The gravitational constant is formalized in Lean 4 module TauLib.BookV.Gravity.GravitationalConstant. The structure GravConstant encodes G_tau as a positive rational, and the torus vacuum is formalized as TorusVacuum with verified shape ratio.