V.T42 — 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 (black holes).