Registry · Definition VI.D58 tau-effective planned

VI.D58 — BH DecodeTarget

Operator selecting argmin of lexicographic defect over blueprint ball; unique minimizer is exact Kerr-Newman solution. BH phenotype target.

Book VI Part 7 Ch. 44

Dependency Graph

Depended on by (3)

VI.D60 VI.L09 VI.T30

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHSelfDesc

Symbol: Tau.BookVI.BHSelfDesc.BhDecodetarget