V.R90 — The star builder as constructive proof

The canonical star builder is a constructive existence proof: given baryon count and sector index, the NF iteration constructs the solution explicitly at each orbit depth as a finite computation. The equilibrium carrier is the profinite limit of finite-depth characters.