Registry · Remark V.R91 tau-effective formalized

V.R91 — Not an ODE

The tension balance is not an ODE but an algebraic identity at each orbit depth, part of the tau-Einstein identity restricted to the equilibrium carrier. The "radial integration" of the orthodox TOV equation is replaced by profinite coherence of the NF iteration.

Book V Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.NotAnOde