耦合缺陷不等於單一集合：Type L／Type S 精確分解與代數實現軌跡的 All-or-Thin 二相性

R016 是 Phase III（Scale–Category Coupling）的開卷之作，第一次對「coupling defect」做出正式計算。設 π: X→B 為 smooth projective family，α 為 R^{2p}π_*ℚ 的 flat rational section，H⊆B 為含固定點 s 的 irreducible algebraic Hodge-locus component（由 Cattani–Deligne–Kaplan 定理保證存在），A_α={t∈H : ∃Z_t∈CH^p(X_t)_ℚ, cl(Z_t)=α_t} 為 class-level algebraic realization locus，W=W_H(Z_s) 為固定 source witness Z_s⊩α_s 所在 relative Hilbert/Chow component 沿 family 能到達的 locus（由 Noetherian 性，是有限多 proper parameter component 的像的聯集）。本輪第一個核心定理是精確不交分解 H∖W=(H∖A)⊔(A∖W)：第一項 𝔠^L=H∖A 稱 Type L（class-level legality defect，Measure 認為 α_t 是 Hodge candidate，但 Legality 側完全找不到代數 witness），第二項 𝔠^S=A∖W 稱 Type S（source witness 本身沿 family 移動失敗，即使 target 已經合法）——這把「naive coupling defect B_α∖A_α」拆穿成兩種性質完全不同的東西：只問 class 是否合法（Type L），與只問 specific witness 是否能沿 family transport（Type S）。第二個核心定理是 algebraic realization locus 的 All-or-Thin 二相性（定理 14.1）：A_α 在 irreducible H 上，要嘛 A_α=H（Full Coupling），要嘛 A_α 只是可數個 proper closed algebraic subsets 的聯集，而 H∖A_α 是 Zariski dense 且 analytic-topology 中 dense 的 very-general 集合；因此任何非空 analytic-open 或 Zariski-open 的 legality，都會被自動放大成整個 H 的 legality（Open-to-Global Coupling Theorem）。必須明確指出：𝔠^L=H∖A 這個 Type L 層，本質上就是（variational）Hodge 猜想本身沿 H 的重述，不是新的獨立猜想——A 的定義本身就是「存在代數 witness 的軌跡」，故 A=H 就是「Hodge 猜想沿 H 逐點成立」的另一種寫法，𝔠^L=∅ 沒有引入任何超出 Hodge／variational-Hodge legality 之外的新內容。 之後兩輪（R018、R019）進一步把「transport category」這一軸，擴充成 geometric domain scale × transport category 的二維 grid（核心量 D(σ,c)=U_σ∖S_c），並把 R004 的 monodromy 以 word-radius ball B_r 的形式接入、細分出 O_r⊆C_r⊆A_r⊆H_r 四層 filtration；但這些都建立在 R016 這裡確立的 W⊆A⊆H 三層結構與其 all-or-thin 幾何之上。 R016 的 Status=PROVED 僅指本輪自己列出的一組結構性結論（分解式、二相性、以及兩者的證明），不代表任何 Hodge 猜想相關陳述本身成立。本輪明確列出 Known Boundary，聲明未證明：rational Hodge 猜想、variational Hodge 猜想、A=H 一般成立、W=H 一般成立、specific witness obstruction 一定存在，以及 category filtration 存在唯一 canonical 選擇。尤其必須強調：𝔠^S=A∖W（Type S defect）即使非空，也完全不能當作 Hodge 猜想為假的證據——它只證明「witness identity 在此 transport category 下沿 family 移動失敗」，對應 target 的 class 本身仍然是已知合法（algebraic）的。換言之，All-or-Thin 二相性保證的是一個條件敘述的結構（一旦局部合法就整體合法），而非該條件本身成立與否的判定；若 Type L defect 真的非空，它會出現在 very-general points，而不是少數例外點，但本輪並未對任何具體幾何給出 Type L 非空或為空的判定——divisor 與 cubic fourfold 等 stress test 中 𝔠^L=∅，都是藉由 Lefschetz(1,1) 或已知 integral Hodge 結果得到，不是本輪自行證明的新結果。