Registry · Proposition
V.P145
tau-effective
formalized
V.P145 — Lie Algebra Cross-Term
Lie Algebra Cross-Term: ω_fiber = √(a₀/r) DERIVED from capacity gradient V.P56 + structural a₀ V.T207 (both τ-effective). For circular geodesics on τ³, g_cap = ω_fiber²·r gives ω_fiber = √(a₀/r) = c/√(2ℓ_τ·r). Cross-term: g_fiber = r·|ω_base|·|ω_fiber| = √(g_N·a₀). Uniqueness: only mass-independent angular velocity consistent with V.T85.