Registry · Definition V.D277 tau-effective formalized

V.D277 — Bi-Rotational Dynamics on T²

Two boundary-character oscillation modes on T² horizon read via B-sector: ω_major (outer S¹) and ω_minor = ω_major/ι_τ (inner S¹). Ratio = ι_τ⁻¹ ≈ 2.930, topological invariant.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.BiRotationalDynamics