Registry · Proposition
V.P21
tau-effective
formalized
V.P21 — Truncation invariance of the star builder
The canonical star builder is truncation-coherent: for all m < n, pi_m(Star_n(C)) = Star_{nu_m}(C) where nu_m is the total node count up to depth m. The stellar configuration looks the same at every resolution.