Registry · Proposition
V.P82
tau-effective
formalized
V.P82 — Inner Shadow Ellipticity
When the torus hole is visible (iota < iota_crit), the inner shadow has angular radius theta_inner ~ R(1-iota_tau) sqrt(1-iota_tau^2) cos(iota)/d_L and is circular regardless of viewing angle, providing a qualitative T^2 vs S^2 discriminant.
Book V
Part 5
Ch. 42