Registry · Lemma
V.L01
tau-effective
formalized
V.L01 — Surface Matter Bound
For any TOV configuration with mass M and carrier radius R, the surface matter character satisfies sup ||T^mat_n(y)|| <= C_pack * R_n^2(x), where C_pack is the universal maximal packing constant for persistent defect bundles on the ball carrier surface.