Registry · Remark V.R179 tau-effective formalized

V.R179 — No primordial black holes

Primordial black holes do not form in the tau-framework: black hole formation requires d_top = 1 from sufficient mass concentration, achieved only after stellar evolution produces compact cores; the early universe has d_top << 1 everywhere.

Book V Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.NoPrimordialBlackHoles