V.T38 — Vacuum shape ratio --- V.T01

Every torus vacuum has shape ratio r/R = iota_tau, fixed by the coherence kernel and independent of the mass of the gravitational configuration. The Lean formalization encodes this as a cross-multiplied identity on the TorusVacuum structure.