Registry · Remark V.R98 tau-effective formalized

V.R98 — Defect minimization drives topology selection

The topology change from ball to torus is selected by the defect minimization principle: the tau-normal-form process minimizes defect, and at the coherence horizon the torus has lower defect. This is the same principle that selects the shape ratio r/R = iota_tau.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.DefectMinimizationDrivesTopologySelection