『首個真 Type S 缺陷』不等於範疇穩定缺陷：R017 對 R016 框架的自我修正

R017 開篇即問：R016 分解出的兩塊缺陷，在 transport category 放寬之後，是否都還「活著」？答案截然不同，而且 R017 的 metadata 明確寫下「Supersedes：R016 將 A_α∖W(Z_s) 稱為 first genuine Type S defect；R017 精化為『fixed-category genuine，但非 category-stable』」——這是本研究線對自己前一輪標題性結論的正式修正，而非事後模糊帶過。R017 先定義 sound coupling category 𝒦（要求其 success locus S_𝒦⊆A_α，即 Phase II witness semantics 的底線），並證明 category enlargement 𝒦₁⪯𝒦₂ 蘊含 defect 單調下降 D_{𝒦₂}⊆D_{𝒦₁}（Defect Monotonicity Theorem）。取三個具體層級：𝒦₁ component-preserving（S₁=W，即 R016 的 witness reach）、𝒦₂ finite-stratified relative（允許 witness switching、finite stratification、generically finite cover、rational descent）、𝒦₃ fiberwise existential（S₃=A_α）。Coupling Plateau Theorem（定理 7.1）證明，在 whole-component coverage 的意義下 𝒦₂ 與 𝒦₃ 完全等價（GlobalSucc(𝒦₂)=GlobalSucc(𝒦₃)=A_α）——再放寬也買不到更多。由此直接算出 D₁∖D₃=A∖W=𝔠^S，即 R016 的 Type S defect 恰好等於「從最窄範疇放寬到最寬範疇之間被修復掉的那一整層」：在 𝒦₁ 中是真的失敗，但在 𝒦₃ 中不再是失敗。 Maximal Sound Coupling Theorem（定理 12.1）進一步證明，對所有 sound category 取交集，∩_𝒦 D_𝒦=H∖A_α——這才是任何合法範疇放寬都無法修補的 category-stable core，R017 正式命名 Absolute Defect 𝔠^abs=H∖A_α，並定義 Relative Defect 𝔠^rel_𝒦=A∖S_𝒦（在 𝒦₁ 下即精確等於 R016 的 𝔠^S）。因此 R016 標題性宣稱的「first genuine Type S defect」本身完全正確地存在於 𝒦₁ 這個特定、較窄的範疇裡，但它是 category-relative 的——只有 R016 分解中的另一塊 H∖A_α（Type L）才具有跨所有合法範疇不可消去的 category-stable 性質。 必須清楚分辨兩件事：(1) R017 沒有推翻 R016 的任何一個定理——H∖W=(H∖A)⊔(A∖W) 這個精確分解本身完全成立，R017 只是替兩塊各自的「範疇穩定性」下了精確判定；(2)「絕對」（absolute）一詞在 R017 中被明確定義為相對於一個宣告的 terminal semantics——本輪固定的是 maximal sound rational-algebraicity semantics，若未來把容許範疇限縮為 ancestry-preserving（witness 必須保留某種幾何血緣、support type 或 moduli identity），stable core 可能大於 H∖A_α，R017 明確聲明不處理這個更強問題（列為 category-conditioned research extension）。此外，無論 𝔠^abs 或 𝔠^rel_𝒦 何者非空，都不構成 Hodge 猜想成立與否的證據——𝔠^rel_𝒦 只反映特定範疇選擇下的 witness-transport 能力，而 𝔠^abs=H∖A_α 的內容仍與 R016 相同，就是（variational）Hodge legality 本身的重述。R017 提出的「pure Type S 模型」（§32，一個 source witness 落在 proper component 而另一 alpha-labelled component dominates H 的抽象構造）只是說明 Type S 可以很大但不代表 Hodge 失敗的純線性代數範例，本輪明確聲明「不主張每個 geometric Hodge problem 都實現此 configuration」，不是對任何具體幾何給出的斷言。