G0 Finite-Stage Exactness Re-Audit：Support-Width Semantics、Convex Shortcut 與 Global Reduced-Class Necessity

重新審計 G0（有限階段的精確性：真正的最優解落在簡化的支撐切線類裡）：修補一處語意含混（有限線段的障礙接觸 vs 凸包支撐寬度切線），並把 G0 標為「研究證明層級的暫時閉合；形式權威開放；獨立審查開放」；重現 2007 年 n = 4, 5, 6 的表。