V.R233 — The 1/sqrt2

The 1/sqrt(2) radiated energy bound is a classical GR result (Penrose extraction limit for Kerr BHs). In tau, the same bound follows from the entropy constraint: defect entropy S_def of the final excision must exceed the sum of initial defect entropies by the No-Shrink Theorem.