前沿幾何、割集、障礙覆蓋與相對耗盡

處理長程研究裡最常被誤判的問題:當許多路徑已被證明/反證/阻斷/商化後,「真正仍開放的剩餘部分」究竟是什麼,何時可以合法把它升格為聲稱級的耗盡結果。定義活躍前沿、商化前沿、加權前沿質量、前沿分量與閉包距離,把圖論割集推廣為型別化超圖割集(路徑割、假設割、阻斷割、橋接割、範圍割、表示法割、混合割),並引入 Certified Cut 與 Obstruction Cover。只有 RouteCompleteness、CutCompleteness、ObstructionCoverage、ScopeFidelity、ParentBridge 五者同時成立,才能把「已觀察路徑全部受阻」升格為母問題級相對耗盡——並明確把 Observed / Admissible / Relative Mathematical / Absolute Mathematical 四層耗盡分開,不互相崩塌。另建立六級耗盡階梯(EXH0–EXH5)與前沿重開幾何。