Star builder existence and uniqueness
For every baryon count n and sector index k: Star_n(k) exists (NF iteration converges), is unique (by the Uniqueness Theorem applied to the equilibrium carrier), and is regular (bounded curvature at all orbit depths). The most important cases are k=C (neutron stars) and k=D (blac
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T42
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 2 · Chapter 17
Result summary
For every baryon count n and sector index k: Star_n(k) exists (NF iteration converges), is unique (by the Uniqueness Theorem applied to the equilibrium carrier), and is regular (bounded curvature at all orbit depths). The most important cases are k=C (neutron stars) and k=D (black holes).
Related Results surfaces
Reading role
Use as Registry evidence for an existing Results surface.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: black, neutron
- result-facing terms: uniqueness
- candidate is better handled as evidence for an inferred existing public surface
Review notes
- No additional review notes recorded.