Registry · Definition V.D69 tau-effective formalized

V.D69 — Tension profile

The tension profile t(n) = ||G_omega(chi)|_n - G_omega(chi_flat)|_n||_n^2 for n >= n_0 describes the orbit-depth-resolved gravitational cost of an equilibrium carrier, showing how curvature character deviates from the flat vacuum at each depth.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (1)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.TensionProfile