Registry · Proposition V.P77 tau-effective formalized

V.P77 — Equatorial focusing

For a coherent instance with toroidal topology T^2 and shape ratio r/R = iota_tau, the effective gravitational potential has a minimum in the equatorial plane, producing a restoring force toward theta = pi/2 that focuses infalling matter.

Book V Part 5 Ch. 40

Dependency Graph

Depends on (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.AccretionJets

Symbol: Tau.BookV.Astrophysics.EquatorialFocusing