Theorem: R^2 - alpha' = 0 at R = sqrt(alpha') (T-duality self-dual radius)

Theorem (T-duality self-dual canonical): R = sqrt(alpha') squared gives R² = alpha', residual R² - alpha' = 0 identically. Canonical sympy pin: alpha_prime = sp.Symbol('alpha_prime', positive=True); R = sp.sqrt(alpha_prime); residual =…