Registry · Remark V.R194 tau-effective formalized

V.R194 — No-hair test via ringdown

The Ringdown Uniqueness Theorem provides a direct test: if multiple QNM modes are measured from a single ringdown, their frequency ratio must match tau-Schwarzschild predictions. Any deviation would indicate additional parameters or departure from T^2 topology.

Book V Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.NohairTestViaRingdown