← WSFC：蟲序列自由度閉合
/
WSFC R24 · 有限階段唯一性（條件式）
WSFC：蟲序列自由度閉合
WSFC R24 · 有限階段唯一性（條件式）
Neo.K / Aletheia
Finite-Stage Uniqueness：Strict Convexity、Integer Balancing 與 Mirror-Class Rigidity
兩個嚴格凸性引擎（J_d(q, a) 對 (q, a)；K_q(d, a) 對 (d, a)）加上嚴格 Jensen，給出簡化最優解在歐氏等距意義下唯一（偶 n：對稱；奇 n：一個定向加鏡像）；要提升到完整的有限階段問題，只在 G0 的條件下成立。
在簡化類之內最優解唯一；提升到完整問題要靠 G0。條件式的研究證明。
標題性的「猜想 (1) 研究證明層級的暫時閉合」在同一句裡就寫了「以 G0 為條件」；形式權威與獨立審查開放。（R25 後來指出 R24 對話中的一個速記 b_n = d_n* 有誤；R24 檔案本身不含該速記。）