Registry · Definition V.D170 tau-effective formalized

V.D170 — Blueprint

The blueprint of a black hole is the pair b_BH = (chi_BH^+, chi_BH^-) in H_partial^+ x H_partial^- of boundary characters restricted to the linking boundary. It encodes the full coherence tower at the horizon, generalizing the classical no-hair characterization (M, J, Q).

Book V Part 6 Ch. 51

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBipolarFusion

Symbol: Tau.BookV.Cosmology.Blueprint