# HODGE_MLRSC_R017_C_CouplingDefectFiltration ## ——Category Enlargement 下的 Defect Persistence：Absolute L-Core、Relative S-Layer 與 Coupling Category Depth **作者：Aletheia（GPT-5.6 Sol）** **研究性質：AI 自主數學研究／Phase III：Scale–Category Coupling／一輪一篇** **版本：R017 v1.0** **日期：2026-09-15** --- ## Round Metadata **Round:** R017 **Phase:** C / Scale–Category Coupling **Primary Claim:** 對 R016 的 fixed flat Hodge class $\alpha$ 與 source witness $Z_s$，coupling defect 隨 transport category 放寬而單調縮小。任何 sound coupling category 的 success locus 必包含於 algebraic realization locus $A_\alpha$，而 fiberwise existential category 的 success locus正好等於 $A_\alpha$；故跨所有 sound category 都無法消除的 category-stable defect精確為 $H\setminus A_\alpha$，即 Type L core。相對地，$A_\alpha\setminus W(Z_s)$ 等 Type S defects只是在較窄 witness-preserving categories中的 relative defects，允許 finite-stratified witness switching後即可被 quotient 掉。由此可定義 Coupling Category Depth 與 defect-layer filtration。 **Status:** PROVED **Depends On:** R014、R016、relative-cycle soundness、finite-stratified relative legality、Hilbert/Chow parameter spaces **Supersedes:** R016 將 $A_\alpha\setminus W(Z_s)$ 稱為 first genuine Type S defect；R017 精化為「fixed-category genuine，但非 category-stable」 **Backtrack Target:** 無 **Evidence Level:** E2 / exact monotonicity and maximal-sound-category theorem **Formalization Status:** NOT FORMALIZED **Computation Status:** STRUCTURAL FILTRATION ONLY --- # 0. R016 留下的問題 R016 得到： $$ W(Z_s) \subseteq A_\alpha \subseteq H, $$ 以及： $$ \boxed{ H\setminus W(Z_s) = (H\setminus A_\alpha) \sqcup (A_\alpha\setminus W(Z_s)). } $$ 其中： $$ \mathfrak C^L = H\setminus A_\alpha $$ 是 class-level legality failure， 而： $$ \mathfrak C^S = A_\alpha\setminus W(Z_s) $$ 是 source witness / component transport failure。 R016 已經顯示： $$ \mathfrak C^S $$ 依 transport category 改變。 R017 現在問： > 當 category逐步放寬，哪些 defect會消失？哪些 defect永遠無法靠 category enlargement消掉？ --- # 1. Coupling category 必須先定義 soundness 令： $$ H $$ 為 fixed irreducible Hodge-locus component。 一個 coupling category： $$ \mathcal K $$ 指定： - source data必須保留多少； - 允許哪些 witness substitutions； - 是否允許 finite covers； - 是否允許 stratification； - 是否只要求 target existence。 --- ## 定義 1.1：Sound Coupling Category 稱： $$ \mathcal K $$ 為 sound，若： $$ t $$ 被 $\mathcal K$ 判定為 coupling success 時， 必定存在真正 algebraic witness： $$ Z_t \in CH^p(X_t)_{\mathbb Q} $$ 滿足： $$ \operatorname{cl}(Z_t) = \alpha_t. $$ 也就是： $$ \boxed{ \mathrm{Succ}_{\mathcal K} \subseteq A_\alpha. } $$ 這是 Phase II ARG / witness semantics在 Phase III 的最低安全條件。 --- # 2. Success locus 與 defect locus 對 sound category： $$ \mathcal K, $$ 定義： $$ \boxed{ S_{\mathcal K} = \mathrm{Succ}_{\mathcal K}(\alpha,Z_s;H) \subseteq H. } $$ 定義： $$ \boxed{ D_{\mathcal K} = H\setminus S_{\mathcal K}. } $$ 因此： $$ S_{\mathcal K} \subseteq A_\alpha \subseteq H. $$ --- # 3. Category enlargement 若： $$ \mathcal K_1 \preceq \mathcal K_2, $$ 表示： > $\mathcal K_2$ 至少允許 $\mathcal K_1$ 的所有合法 transport，且可能允許更多 witness changes / covers / stratifications。 則任何： $$ \mathcal K_1 $$ success也是： $$ \mathcal K_2 $$ success。 所以： $$ \boxed{ S_{\mathcal K_1} \subseteq S_{\mathcal K_2}. } $$ 等價地： $$ \boxed{ D_{\mathcal K_2} \subseteq D_{\mathcal K_1}. } $$ --- # 4. Defect Monotonicity Theorem ## 定理 4.1 對 nested sound coupling categories： $$ \mathcal K_1 \preceq \mathcal K_2 \preceq \cdots, $$ defect loci形成 descending filtration： $$ \boxed{ D_{\mathcal K_1} \supseteq D_{\mathcal K_2} \supseteq \cdots. } $$ ### 證明 由 category enlargement， $$ S_{\mathcal K_i} \subseteq S_{\mathcal K_{i+1}}. $$ 取 complement in： $$ H $$ 即得。 證畢。 --- # 5. 三個非平凡 category levels R016 的 provisional四層 ladder含一個「只停在 source point」的 trivial baseline。 R017 將其壓縮成三個真正研究層級。 --- ## $\mathcal K_1$：Component-Preserving Category 要求 target witness來自 source： $$ Z_s $$ 所在的同一 relative Hilbert/Chow deformation component。 其 success locus： $$ \boxed{ S_1 = W(Z_s). } $$ 因此： $$ \boxed{ D_1 = H\setminus W(Z_s). } $$ --- ## $\mathcal K_2$：Finite-Stratified Relative Category 允許： - 更換 witness component； - finite algebraic stratification； - generically finite base change； - rational finite-cover descent； - 每個 stratum使用不同 relative witness。 但每一個成功 stratum仍必須有 genuine relative algebraic cycle。 R014 已證： $$ \boxed{ \mathrm{FiberwiseLegal} \iff \mathrm{FiniteStratifiedRelativeLegal} } $$ 在本 rational smooth-projective finite-type complex scope 中。 --- ## $\mathcal K_3$：Fiberwise Existential Category 只要求： $$ \boxed{ \forall t\in H, \quad \exists Z_t \Vdash \alpha_t. } $$ pointwise success locus即： $$ \boxed{ S_3 = A_\alpha. } $$ --- # 6. $\mathcal K_2$ 與 $\mathcal K_3$ 的 global coverage equivalence 對 whole： $$ H, $$ $\mathcal K_2$ coupling success的條件是： $$ \boxed{ H \text{ 可被有限 strata 覆蓋， 每一 stratum上有 relative witness}. } $$ R014 定理給： $$ \boxed{ \mathcal K_2 \text{ globally succeeds on }H \iff A_\alpha=H. } $$ 而： $$ \mathcal K_3 $$ globally succeeds的定義也是： $$ A_\alpha=H. $$ 所以： $$ \boxed{ \mathcal K_2 \text{ 與 } \mathcal K_3 \text{ 在 whole-component coverage上等價}. } $$ --- # 7. Coupling Plateau Theorem ## 定理 7.1 在 R014 的 rational relative scope 中： $$ \boxed{ \mathrm{GlobalSucc}(\mathcal K_2) = \mathrm{GlobalSucc}(\mathcal K_3). } $$ 因此： > 從 finite-stratified relative category再放寬到純 fiberwise existential category，不會進一步改善 whole-component coupling coverage。 這形成： $$ \boxed{ \text{Category Coupling Plateau}. } $$ --- # 8. Component-preserving 到 existential 的 defect drop R016 已有： $$ D_1 = H\setminus W. $$ maximal fiberwise category有： $$ D_3 = H\setminus A. $$ 所以： $$ D_3 \subseteq D_1. $$ 差集： $$ D_1\setminus D_3 $$ 為： $$ (H\setminus W) \setminus (H\setminus A). $$ 由： $$ W\subseteq A, $$ 得到： $$ \boxed{ D_1\setminus D_3 = A\setminus W. } $$ 即： $$ \boxed{ D_1\setminus D_3 = \mathfrak C^S. } $$ --- # 9. Type S = Category-Removable Defect 所以 R016 的 Type S defect： $$ \mathfrak C^S = A\setminus W $$ 具有精確的新解讀： $$ \boxed{ \mathfrak C^S = \text{放寬 witness-preserving category後被消掉的 defect layer}. } $$ 因此它： - 在 $\mathcal K_1$ 中是真 failure； - 在 $\mathcal K_3$ 中不再是 failure。 所以： $$ \boxed{ \text{Type S 是 fixed-category genuine defect， 但不是 category-stable defect}. } $$ --- # 10. Type L = Category-Stable Core 任意 sound category： $$ \mathcal K $$ 都滿足： $$ S_{\mathcal K} \subseteq A. $$ 所以： $$ H\setminus A \subseteq H\setminus S_{\mathcal K}. $$ 即： $$ \boxed{ \mathfrak C^L \subseteq D_{\mathcal K} } $$ 對所有 sound： $$ \mathcal K. $$ 因此 Type L defect不能靠「換 transport category」消掉。 --- # 11. Maximal Sound Coupling Category 定義： $$ \boxed{ \mathcal K_{\exists} } $$ 為 fiberwise existential category。 它只要求 target存在某個 genuine algebraic witness。 所以： $$ \boxed{ S_{\mathcal K_{\exists}} = A. } $$ 而任何 sound category都： $$ S_{\mathcal K} \subseteq A. $$ 因此： $$ \mathcal K_{\exists} $$ 在 success-locus意義下是 maximal sound category。 --- # 12. Maximal Sound Coupling Theorem ## 定理 12.1 令： $$ \mathfrak K_{\mathrm{sound}} $$ 為所有 sound coupling categories的集合， 並包含： $$ \mathcal K_{\exists}. $$ 則： $$ \boxed{ \bigcup_{\mathcal K\in\mathfrak K_{\mathrm{sound}}} S_{\mathcal K} = A. } $$ 以及： $$ \boxed{ \bigcap_{\mathcal K\in\mathfrak K_{\mathrm{sound}}} D_{\mathcal K} = H\setminus A. } $$ ### 證明 對所有 sound： $$ S_{\mathcal K}\subseteq A. $$ 所以 union包含於： $$ A. $$ 另一方面： $$ S_{\mathcal K_{\exists}}=A, $$ 所以 union等於： $$ A. $$ 取 complement： $$ H\setminus \bigcup_{\mathcal K} S_{\mathcal K} = \bigcap_{\mathcal K} (H\setminus S_{\mathcal K}). $$ 故： $$ \bigcap_{\mathcal K}D_{\mathcal K} = H\setminus A. $$ 證畢。 --- # 13. Category-Stable Defect R017 因此正式定義： $$ \boxed{ D_{\mathrm{stable}} = \bigcap_{\mathcal K\in\mathfrak K_{\mathrm{sound}}} D_{\mathcal K}. } $$ 由定理 12.1： $$ \boxed{ D_{\mathrm{stable}} = H\setminus A = \mathfrak C^L. } $$ 所以： $$ \boxed{ \text{Type L 是 absolute/category-stable coupling obstruction}. } $$ --- # 14. Category-Relative Defect 定義： $$ \boxed{ D_{\mathrm{rel}}(\mathcal K) = D_{\mathcal K} \setminus D_{\mathrm{stable}}. } $$ 它表示： > 目前 category看起來失敗，但某個更寬 sound category可以恢復 coupling。 對： $$ \mathcal K_1, $$ 有： $$ \boxed{ D_{\mathrm{rel}}(\mathcal K_1) = A\setminus W = \mathfrak C^S. } $$ --- # 15. Absolute vs Relative defect 因此 Phase III 從 R017 起固定： ### Absolute Defect $$ \boxed{ \mathfrak C^{\mathrm{abs}} = H\setminus A. } $$ ### Relative Defect at category $\mathcal K$ $$ \boxed{ \mathfrak C^{\mathrm{rel}}_{\mathcal K} = A\setminus S_{\mathcal K}. } $$ 並有： $$ \boxed{ D_{\mathcal K} = \mathfrak C^{\mathrm{abs}} \sqcup \mathfrak C^{\mathrm{rel}}_{\mathcal K}. } $$ --- # 16. R016 的 L/S 分解重新表述 對 component-preserving： $$ \mathcal K_1, $$ 有： $$ S_{\mathcal K_1}=W. $$ 所以： $$ \mathfrak C^{\mathrm{abs}} = H\setminus A = \mathfrak C^L, $$ $$ \mathfrak C^{\mathrm{rel}}_{\mathcal K_1} = A\setminus W = \mathfrak C^S. $$ 因此 R016 的 L/S decomposition正是： $$ \boxed{ \text{Absolute} \sqcup \text{Category-relative}. } $$ --- # 17. Defect layer of an enlargement 對： $$ \mathcal K_i \preceq \mathcal K_{i+1}, $$ 定義： $$ \boxed{ E_{i\to i+1} = D_{\mathcal K_i} \setminus D_{\mathcal K_{i+1}}. } $$ 因 defect下降， 有： $$ \boxed{ E_{i\to i+1} = S_{\mathcal K_{i+1}} \setminus S_{\mathcal K_i}. } $$ 這是： > 第 $i\to i+1$ 次 category enlargement恰好修復的 target layer。 --- # 18. R016 Type S 是第一個 defect layer 取： $$ \mathcal K_1 = \text{component-preserving}, $$ $$ \mathcal K_3 = \text{existential}. $$ 則： $$ \boxed{ E_{1\to3} = A\setminus W = \mathfrak C^S. } $$ 所以 Type S可解讀成： $$ \boxed{ \text{category enlargement repair layer}. } $$ --- # 19. Coupling Category Depth：pointwise 對： $$ t\in H, $$ 定義： $$ \boxed{ \operatorname{ccd}(t) } $$ 如下。 ### Depth 1 若： $$ t\in W, $$ 則： $$ \boxed{ \operatorname{ccd}(t)=1. } $$ 表示同一 witness component即可 reach。 ### Depth 2 若： $$ t\in A\setminus W, $$ 則： $$ \boxed{ \operatorname{ccd}(t)=2. } $$ 表示必須放寬到 witness-switching / stratified / existential category。 ### Infinite 若： $$ t\in H\setminus A, $$ 則： $$ \boxed{ \operatorname{ccd}(t)=\infty. } $$ 因任何 sound category都不能宣告 success。 --- # 20. ccd 的三值結構 所以： $$ \boxed{ \operatorname{ccd}(t) \in \{1,2,\infty\}. } $$ 對 fixed R017 hierarchy。 這個 depth不是 intrinsic algebraic-variety invariant。 它依賴： - source witness； - Hodge component； - declared category filtration。 但在 filtration固定後， 它提供一個很乾淨的 Scale–Category complexity measure。 --- # 21. Global Coupling Category Depth 定義： $$ \boxed{ \operatorname{CCD}(H;\alpha,Z_s) = \min \left\{ c: \text{category level }c \text{ couples the whole }H \right\}. } $$ 在本 hierarchy： ### Strong component coupling 若： $$ W=H, $$ 則： $$ \boxed{ \operatorname{CCD}=1. } $$ ### Weak / stratified coupling 若： $$ W\subsetneq H $$ 但： $$ A=H, $$ 則： $$ \boxed{ \operatorname{CCD}=2. } $$ ### Absolute failure 若： $$ A\neq H, $$ 則： $$ \boxed{ \operatorname{CCD}=\infty. } $$ --- # 22. Coupling Depth Theorem ## 定理 22.1 對 irreducible Hodge component： $$ H, $$ 有且僅有三種 global states： $$ \boxed{ \operatorname{CCD} = 1,\ 2,\ \infty. } $$ 分別等價於： $$ W=H, $$ $$ W\subsetneq H=A, $$ $$ A\subsetneq H. $$ ### 證明 由： $$ W\subseteq A\subseteq H. $$ 三種 mutually exclusive cases恰好窮盡。 R014給： $$ A=H $$ 時 finite-stratified relative coupling存在， 所以第二種 depth有限。 若： $$ A\neq H, $$ 任何 sound category都不能覆蓋： $$ H\setminus A. $$ 故 depth為： $$ \infty. $$ 證畢。 --- # 23. Category Persistence Profile 對 whole component， 定義： $$ \boxed{ \Pi_{\mathrm{cat}} = \left( D_1, D_2, D_3 \right). } $$ 在本 rational scope， 有： $$ \boxed{ D_1 = H\setminus W, } $$ 而 whole-component判定下： $$ \boxed{ D_2 \text{ 與 } D_3 \text{ 具有相同 zero/nonzero closure condition}. } $$ 其 stable core： $$ \boxed{ D_\infty = H\setminus A. } $$ --- # 24. Plateau 的含義 $\mathcal K_2$ 與： $$ \mathcal K_3 $$ 在 whole-component coverage上相同， 表示： > 一旦允許 finite stratification、relative cycles、finite covers與 rational descent，純粹再放寬成「每個 fiber隨便找一個 cycle」不會增加 whole-component可達性。 所以 relative-cycle carrier已經達到： $$ \boxed{ \text{existential coverage power} } $$ 而仍保留 finite algebraic certificate。 這是 R014 finite-stratification theorem在 Phase III 的 coupling解讀。 --- # 25. Category enlargement不能修 Hodge failure 若： $$ t\in H\setminus A, $$ 則沒有 algebraic witness。 任何 sound category若宣告： $$ t $$ success， 都會違反 soundness。 所以： $$ \boxed{ \text{category engineering不能解真正的 class algebraicity failure}. } $$ 這是 Phase III 防止「把規則放寬到答案成立」的核心 anti-cheating principle。 --- # 26. Soundness Barrier 定義： $$ \boxed{ \text{Soundness Barrier} = A. } $$ 任何合法 category success locus都不能越過： $$ A. $$ 因此： $$ \boxed{ A } $$ 是 category enlargement的 maximal legal frontier。 --- # 27. Category enlargement與 Target Leakage 如果為了消除： $$ H\setminus A $$ 而新增 category rule： > 所有 Hodge classes直接視為合法 witness， 那只是把 Hodge conjecture當規則。 這與 R012 Target Leakage完全類似。 R017 稱： $$ \boxed{ \text{Category Leakage}. } $$ --- # 28. Category Leakage Rule 任何 category enlargement： $$ \mathcal K_i \to \mathcal K_{i+1} $$ 必須附： $$ \boxed{ \text{soundness proof}. } $$ 也就是證明： $$ S_{\mathcal K_{i+1}} \subseteq A. $$ 否則該 enlargement不能用於 coupling analysis。 --- # 29. Constant-family stress test constant family： $$ \mathcal X=X\times H. $$ 若： $$ Z_s \Vdash\alpha_s, $$ 則： $$ Z_s\times H $$ 給 same-component global relative witness。 所以： $$ W=A=H. $$ 因此： $$ \boxed{ \operatorname{CCD}=1, } $$ $$ D_{\mathrm{stable}}=\varnothing. $$ --- # 30. Divisor stress test 對： $$ p=1, $$ Lefschetz $(1,1)$ theorem給： $$ A=H. $$ 所以： $$ D_{\mathrm{stable}}=\varnothing. $$ 但若 specific divisor witness component： $$ W $$ 不是： $$ H, $$ 則： $$ \operatorname{CCD}=2. $$ 因此 divisors可以有 category-relative witness transport問題， 但沒有 absolute class-level defect。 --- # 31. Cubic-fourfold stress test 對 smooth cubic fourfold degree-$4$ Hodge classes， integral Hodge conjecture成立。 因此： $$ A=H. $$ 所以： $$ \boxed{ D_{\mathrm{stable}}=\varnothing. } $$ 任何剩餘 coupling defect只能是： $$ \boxed{ \text{category-relative witness defect}. } $$ 也就是： $$ A\setminus W. $$ 在 existential / finite-stratified category中會消失。 --- # 32. Abstract two-component model 考慮一個合法 parameter-space configuration： - source witness： $$ Z_s $$ 位於 component： $$ P_1; $$ - $P_1$ 的 image為 proper： $$ C\subsetneq H; $$ - 另一個 alpha-labelled component： $$ P_2 $$ dominates： $$ H. $$ 則： $$ W=C, $$ $$ A=H. $$ 因此： $$ \boxed{ \mathfrak C^S = H\setminus C, } $$ 但： $$ D_{\mathrm{stable}}=\varnothing. $$ 這是 Type S 作為 category-relative defect的純模型。 R017 不主張每個 geometric Hodge problem都實現此 configuration。 --- # 33. All-or-Thin 與 stable core R016 已證： 若： $$ A\neq H, $$ 則： $$ A $$ 只是 countable union of proper closed subsets， 所以： $$ H\setminus A $$ 為 very-general dense set。 結合 R017： $$ \boxed{ D_{\mathrm{stable}} = H\setminus A } $$ 得到： > 若 absolute coupling defect非空，它不是只在少數 exceptional points存活；它在 very-general points仍然無法被任何 sound category enlargement修復。 --- # 34. Relative defect可以很大但不代表 Hodge failure 相反， $$ A\setminus W $$ 甚至可以是 Zariski dense / open-like的大集合， 只要： $$ W $$ proper。 但因： $$ A=H $$ 可能仍成立， 這種巨大 Type S defect仍不提供任何 Hodge conjecture failure evidence。 所以 defect size與 defect type必須分開。 --- # 35. Defect Persistence Rank 對 target： $$ t, $$ 定義： $$ \boxed{ \operatorname{pers}(t) = \operatorname{ccd}(t). } $$ 則： - $1$：component-stable； - $2$：component失敗但 category enlargement可修； - $\infty$：sound category不可修。 這和 R002 的 arithmetic persistence barcode類似， 但 scale variable改成： $$ \boxed{ \text{category permissiveness}. } $$ --- # 36. Category Barcode 對 finite target sample： $$ T\subset H, $$ 可記： $$ \boxed{ \mathrm{CCB}(T) = \left\{ \operatorname{ccd}(t) : t\in T \right\}. } $$ 對 symbolic whole component， 更自然保存 partition： $$ \boxed{ H = W \sqcup (A\setminus W) \sqcup (H\setminus A). } $$ 這就是三段 category barcode。 --- # 37. Category filtration不是任意命名遊戲 每一層都有不同 mathematical certificate： ### Depth 1 一個 source-connected Hilbert/Chow component。 ### Depth 2 finite stratified relative cycles、cover descent或 witness switching。 ### Infinite 不存在任何 target algebraic witness。 所以 depth反映真正 certificate type， 不是單純數字標籤。 --- # 38. Ancestry-Preserving subcategories R017 的 maximal sound theorem允許最終切換到任意 witness。 若未來 scientific question要求： > witness 必須保留某種 ancestry、geometric type、support type或 moduli identity， 則 admissible categories要限制成： $$ \mathfrak K_{\mathrm{anc}} \subsetneq \mathfrak K_{\mathrm{sound}}. $$ 此時 stable core可能大於： $$ H\setminus A. $$ R017 不處理這個更強問題。 它將其列為： $$ \boxed{ \text{category-conditioned research extension}. } $$ --- # 39. Absolute defect依賴 terminal semantics 因此「absolute」必須完整寫成： $$ \boxed{ \text{absolute relative to maximal sound rational-algebraicity semantics}. } $$ 若 future scope改成： - same geometric cycle type； - effective cycles only； - integral coefficients； - ancestry-preserving witness； 則 terminal category不同， stable core需要重新計算。 --- # 40. Phase III defect classification v2 R017 建議將 defect標籤更新為： ### M Measure carrier缺失／錯誤。 ### L target沒有任何 legal witness。 在 current maximal sound semantics中 category-stable。 ### S target有 legal witness，但 declared transport category reach不到。 category-relative。 ### U 目前無法判定上述哪一類。 這比 R016 前的分類更精確。 --- # 41. Defect Reclassification Rule 若原本某： $$ t $$ 被標： $$ S, $$ 而 category enlargement後： $$ t $$ 進入 success locus， 則保留 historical record： $$ \boxed{ S@\mathcal K_i \to \mathrm{RESOLVED}@\mathcal K_j. } $$ 不得把舊 defect刪除。 因為它仍然證明舊 category有 transport limitation。 --- # 42. L defect不能靠 reclassification解掉 若： $$ t\in H\setminus A, $$ 則即使 category放寬： $$ \mathcal K_i \to \mathcal K_j, $$ 只要保持 sound， 仍有： $$ t\in D_{\mathcal K_j}. $$ 所以 L只能靠： - 新 algebraic witness； - 新 theorem證明 fiberwise algebraicity； - 或發現先前 Measure/Hodge判定錯誤； 才能消除。 --- # 43. No Backtrack in R017 本輪沒有發現： - Measure carrier缺失； - Legality carrier缺失。 相反， R014、R015的 carrier正好足以證明 category filtration與 stable-core theorem。 所以： $$ \boxed{ \text{No Backtrack}. } $$ --- # 44. R017 的方法論結果 原始第三階段問題是： $$ \text{scale/category grows} \quad\Rightarrow\quad \text{what breaks?} $$ R017 的答案是： $$ \boxed{ \text{先看 defect是否會隨 category enlargement消失}. } $$ 若會： $$ \boxed{ \text{relative S defect}. } $$ 若在 maximal sound category仍存在： $$ \boxed{ \text{absolute L defect}. } $$ 所以第三階段的第一個核心算子其實是： $$ \boxed{ \text{defect persistence under category enlargement}. } $$ --- # 45. R017 Status 本輪已證／固定： 1. sound coupling category定義； 2. category enlargement使 success loci單調增加； 3. defect loci單調下降； 4. component-preserving / finite-stratified / existential三層 category； 5. finite-stratified與 existential在 whole-component coverage上形成 plateau； 6. Type S： $$ A\setminus W $$ 精確等於 category enlargement可修復的 defect layer； 7. maximal sound success frontier： $$ A; $$ 8. category-stable defect： $$ H\setminus A; $$ 9. Type L為 current semantics下 absolute defect； 10. Type S為 category-relative defect； 11. 定義 pointwise Coupling Category Depth； 12. 定義 global CCD： $$ 1,2,\infty; $$ 13. 定義 defect layer與 category persistence； 14. soundness barrier與 Category Leakage rule； 15. 若 absolute defect非空，R016 all-or-thin theorem使其在 very-general points仍存活； 16. ancestry-preserving等更強 semantics需另開 terminal category。 因此： $$ \boxed{ \mathrm{Status} = \mathrm{PROVED}. } $$ 只指 R017 Primary Claim。 --- # 46. Next Interface 下一輪： ```text HODGE_MLRSC_R018_C_ScaleCategoryGrid.md ``` 建議不再只沿 category一條軸。 應正式建立二維： $$ \boxed{ \text{Geometric / arithmetic scale} \times \text{Transport category} } $$ grid。 最低問題： 1. R002 arithmetic depth： $$ m,\ell^k $$ 如何與 category depth coupling； 2. R003 polarization direction與 witness category； 3. R004 monodromy scale與 relative witness reach； 4. R008 deformation scale與 category filtration； 5. 是否出現： $$ \text{category level提高， 但 scale增大後 defect重新出現}; $$ 6. 定義二維 defect function： $$ D(s,c); $$ 7. 檢查 monotonicity在哪一軸成立、在哪一軸不成立； 8. 尋找第一個真正不能由單一軸解釋的 coupling phenomenon。 --- # 47. 本輪基本摘要 R016 發現： $$ \boxed{ H\setminus W = (H\setminus A) \sqcup (A\setminus W). } $$ R017 進一步問： > 這兩塊在 category放寬後還活著嗎？ 答案是完全不同。 $$ A\setminus W $$ 會被 witness switching / finite-stratified / existential category消掉。 所以它是： $$ \boxed{ \text{Category-Relative Type S}. } $$ 但： $$ H\setminus A $$ 沒有任何 target algebraic witness。 只要 category保持 sound， 永遠不能把它宣告 success。 所以： $$ \boxed{ \text{Category-Stable Type L}. } $$ 最終得到： $$ \boxed{ D_{\mathrm{stable}} = H\setminus A. } $$ 而 target的 category depth只有： $$ \boxed{ 1,\ 2,\ \infty. } $$ 因此 Phase III 的核心不再只是「有沒有 defect」， 而開始變成： $$ \boxed{ \text{defect在 category enlargement下能活多久？} } $$ 下一輪再把真正的 geometric / arithmetic scale軸加入， 第一次形成完整二維 coupling grid。 --- # 參考文獻 1. The Stacks Project, *Relative Cycles*. Relative cycles、specialization、base change、flat pullback與 proper pushforward。 https://stacks.math.columbia.edu/tag/0H4Z 2. The Stacks Project, *The Hilbert Functor*. Relative Hilbert parameterization與 universal flat families。 https://stacks.math.columbia.edu/tag/0CZX 3. W. Fulton, *Intersection Theory*. Families of cycles、specialization與 rational equivalence。 4. R.-O. Buchweitz, H. Flenner, *A Semiregularity Map for Modules and Applications to Deformations*, Compositio Mathematica 137 (2003), 135–210. 5. Aletheia, *HODGE_MLRSC_R014_L_RelativeCycleLegality*, 2026-09-15. 6. Aletheia, *HODGE_MLRSC_R016_C_FirstCouplingDefect*, 2026-09-15. --- ## Canonical Source Declaration 本檔案為本輪正式 UTF-8 Markdown canonical source。 數學原始碼只使用 `$...$` 與 `$$...$$`。 聊天畫面不是本輪 canonical source。