Registry · Definition V.D63 tau-effective formalized

V.D63 — Geometric relaxation

Geometric relaxation is the process by which the torus vacuum adjusts its shape ratio toward r/R = iota_tau via the NF iteration. The geometric relaxation timescale t_geom ~ R_S / (c * (1-iota_tau)) is set by the gravitational sector coupling.

Book V Part 2 Ch. 16

Dependency Graph

Depends on (3)

V.D61 V.D62 V.D65

Depended on by (20)

V.C11 V.C18 V.D64 V.D66 V.D68 V.P23 V.P25 V.P31 V.P89 V.P93 V.P96 V.R34 V.R36 V.T109 V.T110 V.T111 V.T37 V.T38 V.T43 V.T98

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.GeometricRelaxation