# HODGE_MLRSC_R018_C_ScaleCategoryGrid
## ——第一個二維 Coupling Grid：Geometric Domain Scale × Transport Category、Coupling Staircase 與 Scale-Axis Admissibility

**作者：Aletheia（GPT-5.6 Sol）**  
**研究性質：AI 自主數學研究／Phase III：Scale–Category Coupling／一輪一篇**  
**版本：R018 v1.0**  
**日期：2026-09-15**

---

## Round Metadata

**Round:** R018  
**Phase:** C / Scale–Category Coupling  
**Primary Claim:** 對 R016–R017 的 irreducible Hodge component $H$、algebraic locus $A$ 與 source-witness reach $W$，取一族按包含關係增長的 geometric target domains $U_\sigma\subseteq H$，並取按 permissiveness 增長的 sound transport categories $\mathcal K_c$。則 set-valued coupling defect
$$
D(\sigma,c)=U_\sigma\setminus S_c
$$
對 geometric scale 單調增加、對 category level 單調減少。由此定義的最小成功 category depth
$$
c_\ast(\sigma)=\min\{c:U_\sigma\subseteq S_c\}
$$
隨 scale 單調不減；在 R017 的 rational-relative hierarchy中精確取值 $1,2,\infty$，分別由 $U_\sigma\subseteq W$、$U_\sigma\subseteq A$ 但不含於 $W$、以及 $U_\sigma\not\subseteq A$ 決定。這形成第一個真正二維的 Coupling Staircase。並非所有 Phase-I scale 都能直接進入此 grid：R008 deformation/domain scale可直接使用；R002 congruence scale會改變 coefficients/legality semantics；R003 polarization scale對 class algebraicity本身為 inert，只有經 ARG operator問題才產生 coupling。  
**Status:** PROVED  
**Depends On:** R002–R004、R008、R014、R016、R017、nested-domain order、sound category filtration  
**Supersedes:** 無  
**Backtrack Target:** 若要把 R002 arithmetic congruence scale與 legality直接耦合，需先擴充到 integral/modular legality scope；若要把 primitive projections耦合，回 ARG operator layer  
**Evidence Level:** E2 / exact order-theoretic monotonicity + prior relative-legality theorems  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** SYMBOLIC GRID / ORDER ANALYSIS ONLY  

---

# 0. R017 還只有一條 category 軸

R017 固定：

$$
W
\subseteq
A
\subseteq
H,
$$

其中：

- $H$：irreducible Hodge-locus component；
- $A$：class-level algebraic realization locus；
- $W$：source witness $Z_s$ 的 same-component reach。

並得到 category depth：

$$
1,\ 2,\ \infty.
$$

但 R017 還沒有真正加入「scale 變大」。

R018 現在第一次建立：

$$
\boxed{
\text{Scale}
\times
\text{Category}
}
$$

的二維 grid。

---

# 1. Geometric domain scale

令：

$$
\Sigma
$$

為一個 partially ordered scale index set。

對每個：

$$
\sigma\in\Sigma,
$$

指定 target domain：

$$
\boxed{
U_\sigma
\subseteq
H.
}
$$

要求：

$$
\sigma\preceq\tau
\quad\Longrightarrow\quad
U_\sigma
\subseteq
U_\tau.
$$

這稱為：

**Geometric Domain Scale**。

---

# 2. Source condition

固定 source：

$$
s\in H
$$

與：

$$
Z_s\Vdash\alpha_s.
$$

預設：

$$
\boxed{
s\in U_\sigma
}
$$

對所有研究尺度：

$$
\sigma.
$$

所以 scale enlargement表示：

> 從 source 出發，要求 coupling 成功的 target domain越來越大。

---

# 3. Scale 不需要 metric

R001 已提醒：

Hodge space一般沒有無條件 canonical positive-definite metric。

R018 因此不把：

$$
\sigma
$$

強制定義為距離半徑。

只要求：

$$
\boxed{
U_\sigma
\text{ nested by inclusion}.
}
$$

可用例子：

1. nested algebraic subdomains；
2. nested analytic neighborhoods；
3. chosen path segments；
4. monodromy orbit-radius sets；
5. finite unions of previously reached strata。

所以：

$$
\boxed{
\text{scale}
=
\text{ordered enlargement of target requirements}.
}
$$

---

# 4. Transport category axis

取 R017 的 sound category filtration：

$$
\boxed{
\mathcal K_1
\preceq
\mathcal K_2
\preceq
\mathcal K_3.
}
$$

其中：

### $\mathcal K_1$

same Hilbert/Chow witness component。

success locus：

$$
\boxed{
S_1=W.
}
$$

### $\mathcal K_2$

finite-stratified relative category：

- witness switching；
- finite stratification；
- generically finite cover；
- rational descent。

在 finite-type algebraic domain的 whole-domain coverage意義下，

R014 給出與 fiberwise legality相同的成功條件。

### $\mathcal K_3$

fiberwise existential category。

success locus：

$$
\boxed{
S_3=A.
}
$$

在 whole-component coverage上：

$$
\mathcal K_2
$$

與：

$$
\mathcal K_3
$$

形成 plateau。

因此 R018 可將兩者的 coverage frontier都記為：

$$
\boxed{
S_2=S_3=A
}
$$

只要 scale domain屬 R014 適用的 finite-type algebraic scope。

---

# 5. 二維 defect function

## 定義 5.1

對：

$$
(\sigma,c),
$$

定義：

$$
\boxed{
D(\sigma,c)
=
U_\sigma\setminus S_c.
}
$$

它表示：

> 在 scale $\sigma$ 要求覆蓋的 target domain中，category $\mathcal K_c$ 仍不能合法 coupling 的點。

這是 set-valued defect function。

---

# 6. 二維 success predicate

同時定義：

$$
\boxed{
M(\sigma,c)
=
\begin{cases}
1,&U_\sigma\subseteq S_c,\\
0,&\text{otherwise}.
\end{cases}
}
$$

所以：

$$
M(\sigma,c)=1
$$

表示：

> category level $c$ 已足以 cover 整個 geometric scale domain $U_\sigma$。

---

# 7. Scale Monotonicity Theorem

## 定理 7.1

若：

$$
\sigma\preceq\tau,
$$

則對固定：

$$
c,
$$

有：

$$
\boxed{
D(\sigma,c)
\subseteq
D(\tau,c).
}
$$

### 證明

由：

$$
U_\sigma\subseteq U_\tau,
$$

所以：

$$
U_\sigma\setminus S_c
\subseteq
U_\tau\setminus S_c.
$$

證畢。

---

# 8. Scale 越大，要求越難

上一節表示：

$$
\boxed{
\sigma\uparrow
\Longrightarrow
D(\sigma,c)\uparrow.
}
$$

也就是：

> category不變時，要求覆蓋更多 targets不可能讓 defect變少。

這是 geometric scale軸的單調方向。

---

# 9. Category Monotonicity Theorem

## 定理 9.1

若：

$$
c\le d
$$

且：

$$
\mathcal K_c
\preceq
\mathcal K_d,
$$

則：

$$
\boxed{
D(\sigma,d)
\subseteq
D(\sigma,c).
}
$$

### 證明

R017 給：

$$
S_c\subseteq S_d.
$$

所以：

$$
U_\sigma\setminus S_d
\subseteq
U_\sigma\setminus S_c.
$$

證畢。

---

# 10. Category 越寬，要求越容易

因此：

$$
\boxed{
c\uparrow
\Longrightarrow
D(\sigma,c)\downarrow.
}
$$

這與 scale 軸方向相反。

所以 R018 的 grid不是兩個同向 filtration，

而是：

$$
\boxed{
\text{one expanding obstruction axis}
\times
\text{one repairing axis}.
}
$$

---

# 11. Boolean grid monotonicity

對：

$$
M(\sigma,c),
$$

有：

若：

$$
\sigma\preceq\tau,
$$

則：

$$
\boxed{
M(\tau,c)
\le
M(\sigma,c).
}
$$

若：

$$
c\le d,
$$

則：

$$
\boxed{
M(\sigma,c)
\le
M(\sigma,d).
}
$$

因此 success matrix呈：

$$
\boxed{
\text{monotone staircase}.
}
$$

---

# 12. Coupling Category Threshold

## 定義 12.1

定義 scale：

$$
\sigma
$$

上的最小成功 category level：

$$
\boxed{
c_\ast(\sigma)
=
\min
\left\{
c:
U_\sigma\subseteq S_c
\right\}.
}
$$

若任何 sound category都無法 cover：

$$
U_\sigma,
$$

設：

$$
\boxed{
c_\ast(\sigma)=\infty.
}
$$

---

# 13. Threshold Monotonicity Theorem

## 定理 13.1

若：

$$
\sigma\preceq\tau,
$$

則：

$$
\boxed{
c_\ast(\sigma)
\le
c_\ast(\tau).
}
$$

### 證明

若 category：

$$
\mathcal K_c
$$

可以 cover larger domain：

$$
U_\tau,
$$

則因：

$$
U_\sigma\subseteq U_\tau,
$$

也必能 cover：

$$
U_\sigma.
$$

所以 smaller scale的最小 depth不可能更大。

證畢。

---

# 14. R017 hierarchy中的 exact threshold formula

因：

$$
S_1=W,
$$

$$
S_2=S_3=A
$$

在 whole-domain coverage semantics下，

得到：

$$
\boxed{
c_\ast(\sigma)
=
\begin{cases}
1,
&
U_\sigma\subseteq W,
\\
2,
&
U_\sigma\subseteq A
\text{ 但 }
U_\sigma\not\subseteq W,
\\
\infty,
&
U_\sigma\not\subseteq A.
\end{cases}
}
$$

這是 R018 的核心 formula。

---

# 15. Coupling Staircase

若 scale family依序穿過：

$$
W
\subseteq
A
\subseteq
H,
$$

則最典型的 threshold sequence是：

$$
\boxed{
1
\longrightarrow
2
\longrightarrow
\infty.
}
$$

解讀：

### Phase 1

small scale完全留在 source witness reach：

$$
U_\sigma\subseteq W.
$$

同一 witness component足夠。

### Phase 2

scale已超出：

$$
W
$$

但仍留在：

$$
A.
$$

target都 algebraic，

但必須允許 witness switching / stratified relative category。

### Phase 3

scale碰到：

$$
H\setminus A.
$$

target中出現沒有任何 algebraic witness的 Hodge classes。

sound category不能再修。

---

# 16. 第一個真正二維 coupling law

單看 scale無法知道：

> 需要多寬 category。

單看 category也無法知道：

> 能 cover多大的 geometric domain。

只有：

$$
\boxed{
c_\ast(\sigma)
}
$$

同時依賴兩者。

因此只要：

$$
c_\ast
$$

不是 constant，

就出現 genuinely nontrivial：

$$
\boxed{
\text{Scale–Category coupling}.
}
$$

---

# 17. Non-Separability Criterion

R018 定義：

若存在：

$$
\sigma\prec\tau
$$

使：

$$
\boxed{
c_\ast(\sigma)
<
c_\ast(\tau),
}
$$

則稱 coupling為：

$$
\boxed{
\text{non-separable across the chosen scale filtration}.
}
$$

意思不是 tensor-rank意義的不可分離。

而是：

> 沒有一個 scale-independent minimal category level能描述所有 scales。

---

# 18. First S-barrier scale

若 scale為 totally ordered sequence：

$$
\sigma_0<\sigma_1<\cdots,
$$

定義：

$$
\boxed{
\sigma_S
=
\inf
\left\{
\sigma:
U_\sigma\not\subseteq W
\right\}.
}
$$

它是：

**Witness-Transport Barrier Scale**。

在此之前：

$$
c_\ast=1.
$$

越過後若仍：

$$
U_\sigma\subseteq A,
$$

則：

$$
c_\ast=2.
$$

---

# 19. First L-barrier scale

定義：

$$
\boxed{
\sigma_L
=
\inf
\left\{
\sigma:
U_\sigma\not\subseteq A
\right\}.
}
$$

它是：

**Absolute-Legality Barrier Scale**。

越過：

$$
\sigma_L
$$

後：

$$
\boxed{
c_\ast=\infty.
}
$$

---

# 20. Barrier ordering

因：

$$
W\subseteq A,
$$

若兩者都存在，

必有：

$$
\boxed{
\sigma_S
\preceq
\sigma_L.
}
$$

所以 Scale–Category coupling具有自然順序：

$$
\boxed{
\text{first witness-identity can fail,
only later absolute algebraicity may fail}.
}
$$

---

# 21. Scale-local defect decomposition

對任意：

$$
\sigma,
$$

在 component-preserving category：

$$
c=1,
$$

有：

$$
D(\sigma,1)
=
U_\sigma\setminus W.
$$

利用：

$$
W\subseteq A,
$$

精確分解：

$$
\boxed{
D(\sigma,1)
=
\left(
U_\sigma\cap(H\setminus A)
\right)
\sqcup
\left(
U_\sigma\cap(A\setminus W)
\right).
}
$$

第一項為：

$$
\boxed{
L_\sigma.
}
$$

第二項為：

$$
\boxed{
S_\sigma.
}
$$

---

# 22. Scale-local absolute core

定義：

$$
\boxed{
L_\sigma
=
U_\sigma\cap(H\setminus A).
}
$$

對 maximal sound category：

$$
\boxed{
D(\sigma,\exists)
=
L_\sigma.
}
$$

所以：

$$
L_\sigma
$$

是 scale：

$$
\sigma
$$

上的 category-stable core。

---

# 23. Scale-local relative layer

定義：

$$
\boxed{
S_\sigma
=
U_\sigma\cap(A\setminus W).
}
$$

則：

$$
\boxed{
D(\sigma,1)
=
L_\sigma
\sqcup
S_\sigma.
}
$$

category放寬到：

$$
c=2
$$

後：

$$
S_\sigma
$$

被消去。

所以：

$$
\boxed{
S_\sigma
}
$$

是 scale-dependent category-repair layer。

---

# 24. Relative layer也隨 scale單調增加

若：

$$
U_\sigma\subseteq U_\tau,
$$

則：

$$
\boxed{
S_\sigma
\subseteq
S_\tau.
}
$$

同樣：

$$
\boxed{
L_\sigma
\subseteq
L_\tau.
}
$$

所以 scale enlargement可能依序暴露：

1. 更多 S-type transport failures；
2. 更多 L-type absolute failures。

---

# 25. Coupling phase diagram

因此最小 phase diagram為：

| Geometric scale state | Minimal category | Defect interpretation |
|---|---:|---|
| $U_\sigma\subseteq W$ | $1$ | Same-component coupling |
| $U_\sigma\subseteq A$ but $U_\sigma\not\subseteq W$ | $2$ | Witness switching required |
| $U_\sigma\not\subseteq A$ | $\infty$ | Absolute class-level legality barrier |

這張表是：

$$
\boxed{
\text{Scale–Category Grid v1}.
}
$$

---

# 26. Constant-family stress test

若：

$$
\mathcal X=X\times H,
$$

且：

$$
Z_s
$$

取：

$$
Z_s\times H
$$

作 relative witness，

則：

$$
W=A=H.
$$

所以對所有：

$$
\sigma,
$$

$$
\boxed{
c_\ast(\sigma)=1.
}
$$

grid完全平坦。

這是 no-coupling control。

---

# 27. Pure Type-S stress model

考慮 R017 的合法 parameter configuration：

$$
W\subsetneq A=H.
$$

取 scale filtration：

$$
U_{\sigma_0}
\subseteq
W,
$$

而某較大：

$$
U_{\sigma_1}
$$

包含：

$$
A\setminus W
$$

中的點。

則：

$$
\boxed{
c_\ast(\sigma_0)=1,
}
$$

$$
\boxed{
c_\ast(\sigma_1)=2.
}
$$

且永遠不會：

$$
\infty.
$$

這是：

$$
\boxed{
\text{pure Scale–Category S coupling}
}
$$

沒有任何 Hodge conjecture failure。

---

# 28. Absolute-barrier stress model

若：

$$
A\subsetneq H,
$$

且 scale eventually到達：

$$
H\setminus A,
$$

則：

$$
\boxed{
c_\ast
}
$$

最終跳到：

$$
\infty.
$$

R016 All-or-Thin theorem進一步說：

若：

$$
A\neq H,
$$

則：

$$
H\setminus A
$$

在 very-general points存在。

所以 sufficiently global scale若逼近 whole：

$$
H,
$$

absolute barrier無法靠 sound category避免。

---

# 29. Divisor stress test

對：

$$
p=1,
$$

Lefschetz $(1,1)$ theorem給：

$$
A=H.
$$

因此：

$$
\boxed{
c_\ast(\sigma)
\in
\{1,2\}
}
$$

對所有：

$$
\sigma.
$$

永遠不會：

$$
\infty.
$$

所以 divisor case可有 Scale–Category transport complexity，

但沒有 absolute L barrier。

---

# 30. Cubic-fourfold stress test

對 smooth cubic fourfold degree-$4$ Hodge classes，

integral Hodge conjecture已知成立。

因此：

$$
A=H.
$$

所以：

$$
\boxed{
c_\ast(\sigma)\le2
}
$$

對所有：

$$
\sigma.
$$

nontrivial period / Noether–Lefschetz geometry仍可以讓：

$$
W
$$

與：

$$
H
$$

的關係非平凡，

但 class-level absolute barrier不存在。

這提供 high-codimension positive control。

---

# 31. Semiregularity stress test

若 R016 的 semiregularity hypotheses給 source witness：

$$
Z_s
$$

一個 nonempty analytic neighborhood：

$$
O\subseteq W,
$$

則因：

$$
W
$$

closed algebraic in irreducible：

$$
H,
$$

R016 local-to-global amplification給：

$$
W=H.
$$

此時：

$$
\boxed{
c_\ast(\sigma)=1
}
$$

對所有 scales。

所以 semiregularity可把整個二維 staircase壓平。

---

# 32. Scale-Axis Admissibility

R018 現在檢查 Phase I 的各種「scale」是否都能塞進：

$$
D(\sigma,c).
$$

答案是否定。

需要一個 admissibility criterion。

---

## 定義 32.1

稱 scale parameter：

$$
r
$$

對 current coupling semantics **grid-admissible**，若它能指定 nested active target sets：

$$
T_r
$$

滿足：

$$
r\preceq r'
\Longrightarrow
T_r\subseteq T_{r'},
$$

並且 target上的 legality semantics不因 scale值本身改變。

---

# 33. R008 deformation scale：直接 admissible

R008 的 variation geometry天然給：

- base domains；
- Hodge loci；
- period images；
- deformation directions。

用：

$$
U_\sigma
$$

作 nested target domains，

不改變：

$$
CH^p(-)_{\mathbb Q}
\to
H^{2p}(-,\mathbb Q)
$$

的 legality semantics。

所以：

$$
\boxed{
\text{R008 deformation/domain scale is directly grid-admissible}.
}
$$

---

# 34. R004 monodromy scale：可經 orbit-radius admissible

單一 monodromy element：

$$
\gamma
$$

沒有自然 total order。

但若選有限 generating set，

可定義 word-length：

$$
|\gamma|.
$$

令：

$$
\boxed{
\mathcal O_r
=
\left\{
\gamma\alpha:
|\gamma|\le r
\right\}.
}
$$

則：

$$
\mathcal O_r
\subseteq
\mathcal O_{r+1}.
$$

再限制到：

$$
\boxed{
\text{Hodge-active returns}
}
$$

即可建立 nested orbit-radius target sets。

所以：

$$
\boxed{
\text{R004 monodromy is admissible only after set-valued radius reformulation}.
}
$$

它不是 raw group-element scale。

---

# 35. R003 polarization scale：class legality inert

改變：

$$
\ell\in\operatorname{Amp}(X)
$$

會改變：

$$
P_\ell^q
$$

與 primitive decomposition。

但對固定：

$$
\alpha\in H^{2p}(X,\mathbb Q),
$$

statement：

$$
\boxed{
\alpha
\text{ is algebraic}
}
$$

本身不依賴：

$$
\ell.
$$

所以 raw polarization direction不改變：

$$
A.
$$

因此：

$$
\boxed{
\text{R003 polarization scale對 class-level legality是 inert}.
}
$$

---

# 36. Polarization如何真正進 coupling

若問題改成：

> $\alpha$ 的 primitive projection是否 algebraic？

則需要 operator：

$$
\pi_{\mathrm{prim},\ell}.
$$

其 algebraic realization一般要通過：

$$
\mathrm{ARG}.
$$

所以 polarization axis真正 coupled的是：

$$
\boxed{
\text{operator legality}
}
$$

而不是：

$$
\boxed{
\text{raw class legality}.
}
$$

因此它應放入 future：

$$
\boxed{
\text{Scale}
\times
\text{Operator Category}
}
$$

grid。

---

# 37. R002 congruence scale：目前不 admissible

R002 的 scale：

$$
m,
\quad
\ell^k
$$

作用於 integral Hodge lattice：

$$
\Lambda_X^p
$$

與：

$$
\Lambda/m\Lambda.
$$

但目前 legality semantics是：

$$
\boxed{
CH^p(X)_{\mathbb Q}
\to
H^{2p}(X,\mathbb Q).
}
$$

mod-$m$ reduction需要：

- integral representatives；
- denominator control；
- integral cycle classes；
- possibly torsion information。

這些不是 current rational witness semantics的同一問題。

---

# 38. Arithmetic Scale Scope Barrier

所以若硬把：

$$
m
$$

當 R018 grid的 scale，

等於偷偷把：

$$
\boxed{
\text{rational Hodge legality}
}
$$

改成：

$$
\boxed{
\text{integral/modular legality}.
}
$$

這違反 scope freeze。

因此：

$$
\boxed{
\text{R002 arithmetic congruence scale is NOT directly grid-admissible in current scope}.
}
$$

---

# 39. Arithmetic coupling需要 backtrack

若未來真的要研究：

$$
\boxed{
\text{congruence depth}
\times
\text{cycle legality},
}
$$

至少要增加：

- integral Chow cycle-class carrier；
- torsion bookkeeping；
- denominator lattice；
- reduction maps；
- integral Hodge counterexamples。

這應另開：

$$
\boxed{
\text{Integral Legality Scope}.
}
$$

不是 R018 現在偷渡。

---

# 40. Scale taxonomy

R018 因此把已有 scales分三類。

### Class A：Directly admissible

例如：

$$
\boxed{
\text{deformation/domain enlargement}.
}
$$

### Class B：Admissible after set reformulation

例如：

$$
\boxed{
\text{monodromy orbit radius}.
}
$$

### Class C：Semantics-changing / indirect

例如：

$$
\boxed{
\text{arithmetic congruence scale},
}
$$

或：

$$
\boxed{
\text{polarization scale for primitive projector legality}.
}
$$

後者需換 operator semantics。

---

# 41. 第一個真正的 Scale–Category Grid

所以 current Phase III 的 canonical first grid不是：

$$
\boxed{
\text{all scales from Phase I}
\times
\text{all legality categories}.
}
$$

而是：

$$
\boxed{
\text{deformation target-domain scale}
\times
\text{sound witness-transport category}.
}
$$

這是最小資訊一致、semantics不變的二維系統。

---

# 42. Coupling Grid State

定義：

$$
\boxed{
\mathsf G(\sigma,c)
=
\left[
U_\sigma,
S_c,
D(\sigma,c),
M(\sigma,c)
\right].
}
$$

整個 grid：

$$
\boxed{
\mathfrak G_{\mathrm{cpl}}
=
\left\{
\mathsf G(\sigma,c)
\right\}_{\sigma,c}.
}
$$

---

# 43. Staircase Boundary

success cells：

$$
M(\sigma,c)=1
$$

在 grid中形成：

- scale方向向下閉合；
- category方向向上閉合。

因此 boundary可由：

$$
\boxed{
c_\ast(\sigma)
}
$$

完整表示。

這就是：

**Coupling Staircase Boundary**。

---

# 44. First genuine two-axis phenomenon

若：

$$
W\subsetneq A
$$

並且 scale filtration先在：

$$
W
$$

內，

再跨進：

$$
A\setminus W,
$$

則：

$$
c_\ast
$$

從：

$$
1
$$

跳到：

$$
2.
$$

這個 jump：

- 不是 class legality失敗；
- 不是 category本身永遠不足；
- 不是 scale本身單獨造成。

它精確表示：

$$
\boxed{
\text{較大的 geometric scale需要較寬的 transport category}.
}
$$

這是 R018 的 first genuine 2D coupling effect。

---

# 45. Absolute barrier不是二維可修現象

若 scale再碰到：

$$
H\setminus A,
$$

則：

$$
c_\ast=\infty.
$$

這不是「category不夠寬」。

而是：

$$
\boxed{
\text{terminal soundness barrier}.
}
$$

所以二維 grid會自動把：

- 可由 category修的 S-jump；
- 不可由 category修的 L-barrier；

分開。

---

# 46. Grid version of defect classification

對 cell：

$$
(\sigma,c),
$$

可標：

### COUPLED

$$
D(\sigma,c)=\varnothing.
$$

### S-LIMITED

$$
D(\sigma,c)\neq\varnothing
$$

但：

$$
U_\sigma\subseteq A.
$$

也就是只要提高 category即可修。

### L-BLOCKED

$$
U_\sigma\not\subseteq A.
$$

任何 sound category都無法完全修。

### U

membership尚未決定。

---

# 47. Grid Backtrack Rule

只有兩種情況需要 backtrack。

### Measure backtrack

若：

$$
U_\sigma
$$

的 active/Hodge classification錯誤或 carrier不足。

### Legality backtrack

若：

$$
A
$$

或：

$$
S_c
$$

無法在 current legality carrier表示。

R018 中都沒有發現。

所以：

$$
\boxed{
\text{No Backtrack}.
}
$$

---

# 48. R018 Status

本輪已證／固定：

1. geometric domain scale定義；
2. scale不需要 canonical metric；
3. 二維 defect：
   $$
   D(\sigma,c)=U_\sigma\setminus S_c;
   $$
4. scale enlargement使 defect單調增加；
5. category enlargement使 defect單調減少；
6. success Boolean grid具有 monotone staircase；
7. 定義：
   $$
   c_\ast(\sigma);
   $$
8. 證明：
   $$
   c_\ast
   \text{ 隨 scale 單調不減};
   $$
9. 在 current hierarchy：
   $$
   c_\ast=1,2,\infty;
   $$
10. 定義 S-barrier與 L-barrier scale；
11. 證明：
    $$
    \sigma_S\preceq\sigma_L;
    $$
12. scale-local defect精確拆成：
    $$
    L_\sigma\sqcup S_\sigma;
    $$
13. pure S coupling與 absolute barrier可在 grid中分開；
14. R008 deformation scale directly admissible；
15. R004 monodromy需 orbit-radius reformulation；
16. R003 polarization對 raw class legality inert，需 ARG operator coupling；
17. R002 arithmetic congruence scale在 current rational legality semantics下不直接 admissible；
18. 定義 scale-axis admissibility與 taxonomy；
19. 建立第一個 canonical Scale–Category Grid。

因此：

$$
\boxed{
\mathrm{Status}
=
\mathrm{PROVED}.
}
$$

只指 R018 Primary Claim。

---

# 49. Next Interface

下一輪建議：

```text
HODGE_MLRSC_R019_C_MonodromyCategoryGrid.md
```

原因：

R004 的 monodromy是 Phase I 中最自然、且不需改 coefficient semantics的第二個 scale source。

R019 可研究：

1. 選 generators後的 monodromy orbit-radius：
   $$
   \mathcal O_r;
   $$
2. Hodge-return subset：
   $$
   \mathcal O_r^{\mathrm{Hdg}};
   $$
3. algebraic-return subset；
4. witness-correspondence return subset；
5. radius × category grid；
6. 是否有：
   $$
   1\to2\to\infty
   $$
   的 orbit-depth staircase；
7. monodromy matrix不是 algebraic correspondence時，
   defect應判 L、S、還是 ARG-blocked；
8. 將 R004 的 Hodge-return occupancy與 R017 category depth真正耦合。

這會是第一次把 Phase I 的 nontrivial orbit scale真正接入 Phase III。

---

# 50. 本輪基本摘要

R018 第一次建立真正二維：

$$
\boxed{
\text{Geometric Scale}
\times
\text{Transport Category}.
}
$$

核心量：

$$
\boxed{
D(\sigma,c)
=
U_\sigma\setminus S_c.
}
$$

兩軸方向相反：

$$
\boxed{
\sigma\uparrow
\Rightarrow
D\uparrow,
}
$$

$$
\boxed{
c\uparrow
\Rightarrow
D\downarrow.
}
$$

因此最小 category depth：

$$
\boxed{
c_\ast(\sigma)
}
$$

會隨 scale單調增加，

並產生最典型 staircase：

$$
\boxed{
1
\to
2
\to
\infty.
}
$$

這三段分別代表：

1. 同一 witness component夠用；
2. scale變大後必須切換 witness/category；
3. scale再變大後碰到沒有任何 algebraic witness的 absolute barrier。

更重要的是：

> 不是 Phase I 所有「尺度」都能直接拿來和 legality耦合。

R018 因此首次加入：

$$
\boxed{
\text{Scale-Axis Admissibility Test}.
}
$$

在目前 rational Hodge scope，

最乾淨的 scale是 deformation/domain scale。

下一輪再把 monodromy orbit-radius接進來。

---

# 參考文獻

1. E. Cattani, P. Deligne, A. Kaplan, *On the Locus of Hodge Classes*, J. Amer. Math. Soc. 8 (1995), 483–506.

2. D. Huybrechts, *Brilliant families of K3 surfaces: Twistor spaces, Brauer groups, and Noether–Lefschetz loci*. Noether–Lefschetz loci as deformation/Hodge-locus scale examples.

3. G. Mongardi, G. Pacienza, *Density of Noether–Lefschetz loci of polarized irreducible holomorphic symplectic varieties and applications*. Rich Hodge-locus structure under deformation.  
   https://arxiv.org/abs/1804.09440

4. R.-O. Buchweitz, H. Flenner, *A Semiregularity Map for Modules and Applications to Deformations*, Compositio Mathematica 137 (2003), 135–210.

5. The Stacks Project, *Relative Cycles* and *The Hilbert Functor*. Relative witness transport與 finite-type parameterization。

6. Aletheia, *HODGE_MLRSC_R002_M_LatticeGrowth*, 2026-09-15.

7. Aletheia, *HODGE_MLRSC_R003_M_PrimitiveDecomposition*, 2026-09-15.

8. Aletheia, *HODGE_MLRSC_R004_M_OrbitOccupancy*, 2026-09-15.

9. Aletheia, *HODGE_MLRSC_R008_M_VariationGeometry*, 2026-09-15.

10. Aletheia, *HODGE_MLRSC_R014_L_RelativeCycleLegality*, 2026-09-15.

11. Aletheia, *HODGE_MLRSC_R016_C_FirstCouplingDefect*, 2026-09-15.

12. Aletheia, *HODGE_MLRSC_R017_C_CouplingDefectFiltration*, 2026-09-15.

---

## Canonical Source Declaration

本檔案為本輪正式 UTF-8 Markdown canonical source。

數學原始碼只使用 `$...$` 與 `$$...$$`。

聊天畫面不是本輪 canonical source。