Registry · Remark V.R228 tau-effective not_applicable

V.R228 — Why overlap forces merger

In tau, BH mergers are topological: two excisions cannot coexist when their boundaries overlap, because the coherence kernel (axiom K3, injectivity of rho) forbids two distinct topological defects at the same refinement-tower location. Overlap forces coalescence, unlike the continuous GR dynamics.

Book V Part 6 Ch. 53

Lean Formalization

Module: