編輯導讀
文獻 gate 為 COMPLETE / REFRAME：positive systems 的 common diagonal、copositive、quadratic 與 robust convex certificate theory 已經成熟。P09 因而不聲稱新 LMI 理論，而是把「在若干 parameter points 看見 stability」與「一個 inequality 對整條 convex segment 成立」的證據差別做成可重現 audit。
完整推導、五級 stress 結果、開發期 candidate search、rev1 圖像 rejection、直接 residual verification、reproduction hashes 與 locked next stages，見由模擬走向證書。
主要結果
- 在 stress 為零的 collapsed-midpoint check，diagonal 與 full constructions 的相對差只有 3.596327e-11。
- 在 full stress，此 benchmark 的 dense finite diagnostic、full certificate 與 diagonal certificate 分別為 0.2676586726、0.2676585204 與 0.1040795885；diagonal relative gap 為 0.6111480807。
- 241 對 121 construction-grid sensitivity 的最大 absolute difference 為 6.763624e-5；全部 endpoint residual checks 通過，但 grid construction 不代表 globally optimal SDP。
限制
- 證據只涵蓋一個合成 two-state line segment，不能推廣為 diagonal-LMI conservatism 的一般定律。
- Deterministic grid 只構造 feasible trace-normalized matrices，並非 globally optimal SDP solver 或 large-network scaling study。
- 沒有 physical system、experimental data、controller、safety conclusion、新 theorem 或 universal certificate ranking。
技術紀錄
詳細程式、計算、生成圖像及重現說明存放於私人技術工作區。公開文章只包含人工審閱的解讀與核准圖像，不會由同步程序改寫正文。
版本紀錄
2026-08-30 — 已按技術證據重新審閱繁體中文概覽。