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.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.TruncationInvarianceOfTheStarBuilder