Registry · Remark V.R223 tau-effective not_applicable

V.R223 — Irreversibility of mergers

The non-invertibility of the blueprint monoid is the algebraic expression of irreversibility of BH mergers. Two black holes can merge but cannot split back. This replaces Hawking's area increase theorem with a more fundamental algebraic statement: the monoid structure enforces merger irreversibility.

Book V Part 6 Ch. 51

Lean Formalization

Module: