Registry · Definition VI.D59 tau-effective planned

VI.D59 — BH DecodeHorizon

Operator extracting constant ω-germ code c^BH from blueprint ball; the BH genotype encoded in asymptotic charges (M,J,Q).

Book VI Part 7 Ch. 44

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHSelfDesc

Symbol: Tau.BookVI.BHSelfDesc.BhDecodehorizon