V.R88 — Chandrasekhar limit as maturity threshold --- V.R02

The Chandrasekhar mass is recorded in Lean as the minimal maturity threshold: the first major radius at which the iota_tau shape ratio can be refinement-invariantly realized. Below the Chandrasekhar mass, the torus vacuum cannot stabilize.