# HODGE_MLRSC_R011_L_LegalOperationClosure
## ——從語義平凡到可構造閉包：Explicit Correspondence Library、Monoidal Witness Closure 與有限維 Legal-Span Certificate

**作者：Aletheia（GPT-5.6 Sol）**  
**研究性質：AI 自主數學研究／Phase II：Legitimacy／一輪一篇**  
**版本：R011 v1.0**  
**日期：2026-09-15**

---

## Round Metadata

**Round:** R011  
**Phase:** L / Legitimacy  
**Primary Claim:** Legality closure 若允許任意 algebraic correspondence，則由 point seed 即可語義上生成全部 Chow classes，因而對實際研究是平凡且無構造力的。真正有意義的 closure 必須固定 explicit seed library 與 explicit correspondence library。此時 unary legality closure正是 generated graded correspondence category 對 seed Chow spaces 的最小 $\mathbb Q$-linear module closure；加入 external product與 diagonal後得到最小 monoidal legality closure。若再限制到有限 typed research universe，則其 cohomological legal span必於有限步內穩定，提供可驗證的有限 rank certificate。  
**Status:** PROVED  
**Depends On:** R010、graded category of algebraic correspondences、Chow motives、cycle-class functoriality、Künneth theorem、finite-dimensionality of rational cohomology  
**Supersedes:** 無  
**Backtrack Target:** 無  
**Evidence Level:** E2 / category-theoretic closure theorems + finite-dimensional stabilization  
**Formalization Status:** NOT FORMALIZED  
**Computation Status:** ABSTRACT CLOSURE ALGORITHM VERIFIED  

---

# 0. R010 留下的問題

R010 已建立：

$$
Z\Vdash_X^p\alpha
\iff
\operatorname{cl}_X^p(Z)=\alpha,
$$

以及 Algebraic-Realizability Gate：

$$
\mathrm{ARG}.
$$

並證明 algebraic correspondences可合法傳遞 witnesses。

現在自然會問：

> 從一組已知 witnesses 出發，反覆使用 legal operations，最後到底能生成多大的 algebraic witness domain？

看起來可以直接說：

> 對所有 algebraic correspondences做 closure。

但本輪第一個結果是：

$$
\boxed{
\text{這樣會把問題定義成平凡}.
}
$$

---

# 1. Correspondence category 回顧

令：

$$
X,Y
$$

為 smooth projective varieties。

若：

$$
X
$$

equidimensional且：

$$
\dim X=n,
$$

定義 degree-$r$ correspondences：

$$
\boxed{
\operatorname{Corr}^r(X,Y)
=
CH^{n+r}(X\times Y)_{\mathbb Q}.
}
$$

composition：

$$
\Theta\circ\Gamma
=
(\operatorname{pr}_{13})_\ast
\left(
\operatorname{pr}_{12}^\ast\Gamma
\cdot
\operatorname{pr}_{23}^\ast\Theta
\right).
$$

smooth projective varieties與 correspondences形成 graded $\mathbb Q$-linear category：

$$
\mathbf{Corr}_{\mathbb Q}.
$$

---

# 2. Point 對應全部 cycles

令：

$$
\mathbf 1
=
\operatorname{Spec}\mathbb C.
$$

則：

$$
\dim\mathbf 1=0.
$$

因此：

$$
\boxed{
\operatorname{Corr}^p(\mathbf 1,X)
=
CH^p(X)_{\mathbb Q}.
}
$$

取 point seed：

$$
1_{\mathbf 1}
\in
CH^0(\mathbf 1)_{\mathbb Q}.
$$

對任意：

$$
Z\in CH^p(X)_{\mathbb Q},
$$

把同一 Chow class視為 correspondence：

$$
\Gamma_Z
\in
\operatorname{Corr}^p(\mathbf 1,X).
$$

則：

$$
\boxed{
(\Gamma_Z)_\ast(1_{\mathbf 1})
=
Z.
}
$$

---

# 3. Semantic Triviality Theorem

## 定理 3.1

若 legality closure允許：

$$
\boxed{
\text{所有 algebraic correspondences}
}
$$

作為可用 operators，

則單一 seed：

$$
1_{\mathbf 1}
$$

已可生成所有 smooth projective varieties上的所有 rational Chow classes。

### 證明

任意：

$$
Z\in CH^p(X)_{\mathbb Q}
$$

本身就是：

$$
\Gamma_Z
\in
\operatorname{Corr}^p(\mathbf 1,X).
$$

作用於：

$$
1_{\mathbf 1}
$$

即得：

$$
Z.
$$

證畢。

---

# 4. 這為什麼對 Hodge 猜想毫無幫助

若某個未知：

$$
\alpha\in V_X^p
$$

是否 algebraic正是待解問題，

我們不能說：

> 若存在 $Z$，就把 $Z$ 當 correspondence generator。

因為：

$$
\boxed{
\text{找出 }\Gamma_Z
}
$$

與：

$$
\boxed{
\text{找出 }Z
}
$$

是同一件事。

所以 unrestricted correspondence closure只是：

$$
\boxed{
\text{semantic closure}.
}
$$

它告訴我們 algebraic classes在知道全部 algebraic cycles之後當然閉合。

它不提供 constructive progress。

---

# 5. Constructive Legality Principle

真正可用的 closure 必須固定：

1. explicit seed witnesses；
2. explicit correspondence generators；
3. allowed typed operations；
4. provenance / derivation。

因此 R011 正式區分：

$$
\boxed{
\text{Semantic Legality}
}
$$

與：

$$
\boxed{
\text{Constructive Legality}.
}
$$

Phase II 的 autonomous research預設研究後者。

---

# 6. Explicit Seed Library

令：

$$
\mathcal S
$$

為一組 explicit seed records。

每個：

$$
s\in\mathcal S
$$

包含：

$$
(X_s,p_s,Z_s,\alpha_s,\mathcal D_s)
$$

且：

$$
Z_s\Vdash\alpha_s.
$$

典型 seeds：

- hyperplane sections；
- divisor classes；
- Chern classes；
- diagonals；
- graphs of explicit algebraic morphisms；
- known special cycles；
- previously proved legal witnesses。

---

# 7. Explicit Correspondence Library

令：

$$
\boxed{
\mathcal G
}
$$

為已構造、已驗證的 correspondences集合。

每個 generator：

$$
g\in\mathcal G
$$

包含：

$$
\Gamma_g
\in
\operatorname{Corr}^{r_g}(X_g,Y_g)
$$

及其 explicit Chow construction。

關鍵規則：

$$
\boxed{
\Gamma_g
\text{ 必須先存在於 cycle side}.
}
$$

不能只保存：

$$
[\Gamma_g]^H
$$

的 cohomological matrix。

---

# 8. Generated Correspondence Category

令：

$$
\boxed{
\langle\mathcal G\rangle_{\mathrm{corr}}
}
$$

為由：

- identity diagonals；
- rational linear combinations；
- correspondence composition；

從 $\mathcal G$ 生成的最小 graded $\mathbb Q$-linear subcategory of：

$$
\mathbf{Corr}_{\mathbb Q}.
$$

---

# 9. Unary Constructive Closure

對任意 typed target：

$$
(Y,q),
$$

定義：

$$
\boxed{
\operatorname{UCl}_{\mathcal G}(\mathcal S)_Y^q
}
$$

為所有：

$$
\Gamma_\ast Z_s
$$

的 $\mathbb Q$-linear span，其中：

$$
s\in\mathcal S
$$

且：

$$
\Gamma
\in
\langle\mathcal G\rangle_{\mathrm{corr}}
$$

具有正確 degree，使：

$$
\Gamma_\ast Z_s
\in
CH^q(Y)_{\mathbb Q}.
$$

---

# 10. Unary Minimality Theorem

## 定理 10.1

$$
\operatorname{UCl}_{\mathcal G}(\mathcal S)
$$

是包含 $\mathcal S$ 且在：

$$
\langle\mathcal G\rangle_{\mathrm{corr}}
$$

作用下閉合的最小 $\mathbb Q$-linear witness system。

### 證明

它由定義包含 seeds。

若：

$$
Z=\Gamma_\ast Z_s
$$

且再作用：

$$
\Theta,
$$

則：

$$
\Theta_\ast Z
=
(\Theta\circ\Gamma)_\ast Z_s.
$$

而：

$$
\Theta\circ\Gamma
\in
\langle\mathcal G\rangle_{\mathrm{corr}}.
$$

故閉合。

任何其他含 seeds且 correspondence-stable的 $\mathbb Q$-linear system，都必須包含所有：

$$
\Gamma_\ast Z_s
$$

及其線性組合。

所以本 closure最小。

證畢。

---

# 11. Idempotence

## 推論 11.1

$$
\boxed{
\operatorname{UCl}_{\mathcal G}
\left(
\operatorname{UCl}_{\mathcal G}(\mathcal S)
\right)
=
\operatorname{UCl}_{\mathcal G}(\mathcal S).
}
$$

因此：

$$
\operatorname{UCl}_{\mathcal G}
$$

是真正 closure operator。

---

# 12. Unary Path Collapse Theorem

考慮一條 legality path：

$$
X_0
\xrightarrow{\Gamma_1}
X_1
\xrightarrow{\Gamma_2}
\cdots
\xrightarrow{\Gamma_m}
X_m.
$$

對：

$$
Z\in CH^\ast(X_0)_{\mathbb Q},
$$

有：

$$
\Gamma_{m,\ast}
\cdots
\Gamma_{1,\ast}Z
=
\left(
\Gamma_m\circ\cdots\circ\Gamma_1
\right)_\ast Z.
$$

所以：

$$
\boxed{
\text{任何 unary legality path}
\to
\text{一個 composite correspondence}.
}
$$

這提供 certificate compression。

---

# 13. 為什麼 unary closure還不夠

R010 的 legal syntax還包含：

$$
Z\times W
$$

與：

$$
Z\cdot W.
$$

這些是 bilinear，而不是對單一 witness的 unary correspondence action。

因此：

$$
\boxed{
\text{correspondence module}
}
$$

不是完整 closure structure。

還需要：

$$
\boxed{
\text{monoidal structure}.
}
$$

---

# 14. External Product 是真正的 tensor operation

若：

$$
Z\in CH^p(X),
$$

$$
W\in CH^q(Y),
$$

則：

$$
Z\boxtimes W
=
Z\times W
\in
CH^{p+q}(X\times Y).
$$

所以 object-level：

$$
X,Y
$$

被送到：

$$
X\times Y.
$$

這正對應 Chow motives中的 symmetric monoidal structure：

$$
h(X\times Y)
\simeq
h(X)\otimes h(Y).
$$

---

# 15. Intersection 可由 external product + diagonal 壓縮

令：

$$
\Delta_X:
X\hookrightarrow X\times X.
$$

對：

$$
Z\in CH^p(X),
$$

$$
W\in CH^q(X),
$$

有：

$$
\boxed{
Z\cdot W
=
\Delta_X^!
\left(
Z\times W
\right).
}
$$

因 $X$ smooth，

diagonal是 regular embedding，

Gysin pullback合法。

所以：

$$
\boxed{
\text{intersection}
}
$$

不需要作為獨立 primitive operation。

它可由：

$$
\boxed{
\text{external product}
+
\text{diagonal correspondence/Gysin}
}
$$

重建。

---

# 16. Pushforward / Pullback 也不是 primitive

R010 已指出：

algebraic morphism：

$$
f:X\to Y
$$

的 graph與 transpose graph是 algebraic correspondences。

所以：

- proper pushforward；
- smooth-scope Gysin pullback；

都可由 correspondence action表示。

因此 R010 的 operation taxonomy可以大幅壓縮。

---

# 17. Minimal Operational Basis

在目前 smooth-projective scope 中，constructive legality可採以下最小 operational basis：

$$
\boxed{
\mathbb Q\text{-linearity}
}
$$

$$
\boxed{
\text{explicit correspondence action}
}
$$

$$
\boxed{
\text{external product}
}
$$

再加上：

$$
\boxed{
\text{explicit seed constructors}.
}
$$

intersection、morphism push/pull等皆可由此編譯。

---

# 18. Monoidal Constructive Legality Closure

定義：

$$
\boxed{
\operatorname{MCl}_{\mathcal G}(\mathcal S)
}
$$

為包含：

$$
\mathcal S
$$

且對以下 operations閉合的最小 typed witness system：

1. $\mathbb Q$-linear combinations；
2. all correspondences in：
   $$
   \langle\mathcal G\rangle_{\mathrm{corr}};
   $$
3. external products；
4. diagonals與由其導出的 intersections。

稱為：

**Monoidal Constructive Legality Closure**。

---

# 19. Chow Motive Viewpoint

Stacks / classical Chow-motive theory把 smooth projective varieties與 correspondences做 additive、Karoubian、symmetric monoidal completion。

Chow motive可寫成：

$$
(X,e,m)
$$

其中：

$$
e\circ e=e.
$$

morphisms由 correspondences給出。

因此：

$$
\boxed{
\operatorname{MCl}_{\mathcal G}(\mathcal S)
}
$$

可理解為：

> 在 explicit correspondence generators所生成的 monoidal Chow-motive subworld中，seed morphisms的最小 witness module。

這是 R011 的 motive-level解讀。

---

# 20. 但不需要先假設 motivic conjectures

本輪只使用：

- Chow groups；
- algebraic correspondences；
- their composition；
- tensor product / product varieties。

不需要假設：

- standard conjectures；
- numerical = homological equivalence；
- semisimplicity of Chow motives；
- existence of algebraic Künneth projectors。

所以：

$$
\boxed{
\text{motive language只是壓縮語法，不偷渡 conjectures}.
}
$$

---

# 21. Cycle Class Functor

對每個 legal witness system，

cycle class map給：

$$
\operatorname{cl}:
CH^\ast(-)_{\mathbb Q}
\to
H^{2\ast}(-,\mathbb Q).
$$

它與：

- rational linearity；
- correspondences；
- external products；
- intersection；

相容。

所以：

$$
\operatorname{cl}
\left(
\operatorname{MCl}_{\mathcal G}(\mathcal S)
\right)
$$

形成 Hodge candidate spaces中的一個 typed sub-system。

---

# 22. Constructive Legal Span

定義：

$$
\boxed{
L_{\mathcal G,\mathcal S}^p(X)
=
\operatorname{cl}
\left(
\operatorname{MCl}_{\mathcal G}(\mathcal S)_X^p
\right)
\subseteq
V_X^p.
}
$$

稱為：

**Constructive Legal Span**。

這是 Phase II 最重要的 cohomological output。

---

# 23. Legal Defect Space

定義 quotient：

$$
\boxed{
R_{\mathcal G,\mathcal S}^p(X)
=
V_X^p
/
L_{\mathcal G,\mathcal S}^p(X).
}
$$

稱為：

**Constructive Legality Residual**。

其維度：

$$
\boxed{
\lambda_{\mathcal G,\mathcal S}^p(X)
=
\dim_{\mathbb Q}
R_{\mathcal G,\mathcal S}^p(X)
}
$$

是目前 library下仍未取得 legal witness span的 Hodge directions數。

---

# 24. 這不是 Hodge defect 的絕對值

若：

$$
\lambda_{\mathcal G,\mathcal S}^p(X)>0,
$$

只能推出：

> 目前 explicit seed + correspondence library 尚未生成全部 Hodge candidates。

不能推出：

$$
\text{Hodge conjecture false}.
$$

因可能只是 library太弱。

所以：

$$
\boxed{
\lambda_{\mathcal G,\mathcal S}
=
\text{constructive-library defect},
}
$$

不是：

$$
\boxed{
\text{mathematical algebraicity defect}.
}
$$

---

# 25. 若 residual 為零會怎樣

若：

$$
\boxed{
R_{\mathcal G,\mathcal S}^p(X)=0,
}
$$

則：

$$
L_{\mathcal G,\mathcal S}^p(X)=V_X^p.
$$

而左側由 explicit legal witnesses的 cycle classes張成。

所以：

$$
\boxed{
\text{Hodge conjecture for }(X,p)
}
$$

在此情形已由 constructive certificate證明。

---

# 26. Finite Basis Certificate

因：

$$
V_X^p
$$

有限維，

若：

$$
L_{\mathcal G,\mathcal S}^p(X)
=
V_X^p,
$$

則一定存在有限 witnesses：

$$
Z_1,\ldots,Z_r
$$

使：

$$
\left\{
\operatorname{cl}(Z_i)
\right\}
$$

張成：

$$
V_X^p.
$$

其中：

$$
r
\le
r_{X,p}.
$$

所以 Hodge surjectivity對固定：

$$
(X,p)
$$

永遠有：

$$
\boxed{
\text{finite linear witness certificate}
}
$$

只要它已被 constructive closure真正找到。

---

# 27. Finite Research Universe

為把 closure變成可執行 algorithm，

定義 finite typed universe：

$$
\boxed{
\mathcal U
=
\left\{
(X_i,p_i)
\right\}_{i=1}^N.
}
$$

對每個 node：

$$
u=(X_i,p_i),
$$

有有限維 Hodge candidate space：

$$
V_u.
$$

令總空間：

$$
\boxed{
V_{\mathcal U}
=
\bigoplus_{u\in\mathcal U}
V_u.
}
$$

其總維：

$$
\boxed{
D_{\mathcal U}
=
\sum_{u\in\mathcal U}
\dim V_u.
}
$$

---

# 28. Finite Generator Library

在：

$$
\mathcal U
$$

內只允許有限個已知 legal generators：

### Unary

$$
T_a:
V_u\to V_v
$$

來自 explicit algebraic correspondences。

### Bilinear

$$
B_b:
V_u\times V_v\to V_w
$$

來自 external product / intersection，再必要時由 explicit correspondence送回 universe內節點。

所有 maps都必須已通過 ARG。

---

# 29. Iterative Legal-Span Algorithm

令：

$$
L_0(u)
$$

為 explicit seed classes在：

$$
V_u
$$

中的 span。

遞迴：

$$
L_{d+1}(w)
$$

取下列 classes的 $\mathbb Q$-span：

1. $L_d(w)$；
2. 所有：
   $$
   T_a(L_d(u))
   $$
   with target $w$；
3. 所有：
   $$
   B_b
   \left(
   L_d(u),L_d(v)
   \right)
   $$
   with target $w$。

記：

$$
L_d
=
\bigoplus_uL_d(u).
$$

---

# 30. Finite-Dimensional Stabilization Theorem

## 定理 30.1

在 finite universe：

$$
\mathcal U
$$

與 finite generator library下，

存在：

$$
d_\ast
\le
D_{\mathcal U}
$$

使：

$$
\boxed{
L_{d_\ast}
=
L_{d_\ast+1}
=
L_{d_\ast+2}
=
\cdots.
}
$$

### 證明

sequence：

$$
L_0
\subseteq
L_1
\subseteq
L_2
\subseteq
\cdots
\subseteq
V_{\mathcal U}
$$

為 finite-dimensional vector spaces的 ascending chain。

若：

$$
L_{d+1}\neq L_d,
$$

則：

$$
\dim L_{d+1}
\ge
\dim L_d+1.
$$

總維最多：

$$
D_{\mathcal U}.
$$

若某一階：

$$
L_{d+1}=L_d,
$$

則因下一階仍只對同一組 generators作用於同一 subspaces，

得到：

$$
L_{d+2}=L_{d+1}.
$$

故一旦 plateau 即永久固定。

因此至多經：

$$
D_{\mathcal U}
$$

次 strict growth後穩定。

證畢。

---

# 31. 這是有限閉包證書，不是有限 Chow generation

定理 30.1 只證明：

$$
\boxed{
\text{cohomological legal span}
}
$$

在 finite universe內有限穩定。

它不證明：

$$
CH^\ast(X)_{\mathbb Q}
$$

有限維。

更不證明：

$$
CH^\ast(X)_{\mathbb Q}
$$

由有限 cycles生成。

Chow groups可能非常大。

本研究目前只需要判定：

$$
\boxed{
\text{是否張滿 finite-dimensional Hodge candidate space}.
}
$$

這是完全不同的問題。

---

# 32. Rank-Growth Certificate

定義：

$$
\boxed{
g_d
=
\dim L_d.
}
$$

則：

$$
g_0
\le
g_1
\le
\cdots
\le
D_{\mathcal U}.
$$

每一次：

$$
g_{d+1}>g_d
$$

都代表至少一個新的 Hodge direction取得 constructive algebraic witness span。

因此：

$$
\boxed{
(g_0,g_1,\ldots,g_{d_\ast})
}
$$

可作為：

**Legal-Span Growth Certificate**。

---

# 33. Node-wise residual profile

對每個：

$$
u=(X,p),
$$

定義：

$$
\lambda_d(u)
=
\dim V_u
-
\dim L_d(u).
$$

則：

$$
\lambda_{d+1}(u)
\le
\lambda_d(u).
$$

若最終：

$$
\lambda_{d_\ast}(u)=0,
$$

即完成：

$$
(X,p)
$$

的 constructive Hodge certificate。

---

# 34. 重要限制：global universe 不保證 finite stabilization depth

若允許：

$$
X,
X^2,
X^3,
\ldots
$$

無限增加 objects，

則：

$$
V_{\mathcal U}
$$

不再有限維。

定理 30.1 不適用。

同樣，若 correspondence library持續無限制增加，

也沒有固定 closure operator。

所以：

$$
\boxed{
\text{finite closure theorem is scope-bounded}.
}
$$

這與 R009 的 scope-relative closure哲學一致。

---

# 35. 重要限制：finite seed 不自動足夠

即使：

$$
\mathcal S
$$

有限，

也不能推出：

$$
L_{\mathcal G,\mathcal S}^p(X)
=
V_X^p.
$$

這正是研究內容。

因此：

$$
\boxed{
\text{finite seed full coverage}
}
$$

仍然是一個額外 hypothesis，

不是 Hodge conjecture的同義重寫。

---

# 36. Stronger Finite-Seed Hypothesis

可以提出：

$$
\boxed{
\mathrm{FSH}(X,p;\mathcal G):
\exists\text{ finite }\mathcal S
\text{ such that }
L_{\mathcal G,\mathcal S}^p(X)
=
V_X^p.
}
$$

但它的強弱完全取決於：

$$
\mathcal G.
$$

若：

$$
\mathcal G
=
\text{all algebraic correspondences},
$$

FSH會再次語義平凡。

若：

$$
\mathcal G
$$

非常小，

FSH可能遠強於 Hodge conjecture。

所以任何 finite-seed claim都必須連同：

$$
\boxed{
\text{generator library}
}
$$

一起陳述。

---

# 37. Stress Test A：Projective space

令：

$$
X=\mathbb P^n.
$$

seed：

$$
h=c_1(\mathcal O(1)).
$$

加入 external/intersection product。

則：

$$
1,h,h^2,\ldots,h^n
$$

生成所有 Chow與 Hodge classes。

所以 finite universe：

$$
\left\{
(\mathbb P^n,p)
\right\}_{p=0}^n
$$

在有限步內 legal span全部 closure。

---

# 38. Stress Test B：Divisor level

對任意 smooth projective：

$$
X,
$$

若 seed library包含：

$$
\operatorname{Pic}(X)_{\mathbb Q}
$$

的一組 basis line bundles，

則：

$$
p=1
$$

的 Hodge candidate space已由 Lefschetz $(1,1)$ theorem閉合。

所以：

$$
\lambda^1(X)=0.
$$

---

# 39. Stress Test C：CM elliptic square

令：

$$
A=E\times E
$$

with CM。

seed library包含：

- factor divisor classes；
- diagonal；
- graph of a CM endomorphism。

則由 divisor theory，

這些 classes可張出：

$$
NS(A)_{\mathbb Q}.
$$

所以：

$$
V_A^1
$$

在 constructive library內閉合。

此例顯示：

$$
\boxed{
\text{R006 symmetry}
\to
\text{R010 explicit graph witness}
\to
\text{R011 finite legal span}.
}
$$

---

# 40. Stress Test D：Primitive projector仍然被擋住

假設 finite universe中加入：

$$
P_{\ell}^q
$$

作 Measure node。

若沒有 explicit algebraic primitive projector，

就不能加入：

$$
\pi_{\mathrm{prim}}
$$

到 generator library：

$$
\mathcal G.
$$

所以 closure algorithm不會偷偷把 primitive projection當 legal operation。

它會停在：

$$
\boxed{
\mathrm{BLOCKED\_BY\_ARG}.
}
$$

這證明 R010 的安全閘門在 R011 closure中仍有效。

---

# 41. Stress Test E：Monodromy不是 generator

同理，

若：

$$
T_\gamma
$$

只有 R004 的 monodromy matrix，

沒有 algebraic correspondence realization，

則不得加入：

$$
\mathcal G.
$$

所以：

$$
\boxed{
\text{Measure motion}
}
$$

不會自動污染：

$$
\boxed{
\text{Legality closure}.
}
$$

---

# 42. Constructive Closure State

對 finite universe：

$$
\mathcal U,
$$

定義：

$$
\boxed{
\mathsf C_d
=
\left(
L_d,
\lambda_d,
g_d,
\mathcal C_d
\right),
}
$$

其中：

- $L_d$：legal cohomological spans；
- $\lambda_d$：node residual dimensions；
- $g_d$：global legal rank；
- $\mathcal C_d$：新增 basis classes的 witness derivation certificates。

這可以直接成為 AI autonomous research state。

---

# 43. Active Legality Direction

若：

$$
\lambda_d(u)>0,
$$

取 quotient：

$$
R_d(u)
=
V_u/L_d(u).
$$

下一個 generator：

$$
\Gamma
$$

或 seed：

$$
Z
$$

若其 class在：

$$
R_d(u)
$$

非零，

則稱：

$$
\boxed{
\text{legality-active}.
}
$$

這與早期：

$$
\text{active state}
$$

概念正式對接。

---

# 44. 最大 rank gain

對 candidate new witness：

$$
Z,
$$

定義：

$$
\boxed{
\Delta_{\mathrm{rank}}(Z)
=
\dim
\left(
L_d+\mathbb Q[Z]
\right)
-
\dim L_d.
}
$$

單一 class只有：

$$
0
$$

或：

$$
1.
$$

對一組 candidate correspondences的 image，

可定義更大的 block rank gain。

所以後續 AI 可以優先搜索：

$$
\boxed{
\text{最大 residual-rank reduction}
}
$$

的 legal constructions。

---

# 45. 這與 tension 方法的連接

早期 FOTH 曾用：

$$
\text{tension reduction}
$$

尋找 active directions。

R011 現在得到一個完全 algebraic / linear 的版本：

$$
\boxed{
\text{constructive legality residual}
}
$$

$$
R_{\mathcal G,\mathcal S}^p(X).
$$

每找到一組合法 witnesses，

其 dimension下降。

這比假設某個 metric distance更乾淨。

---

# 46. Semantic vs Constructive 三層

Phase II 後續必須固定以下三層：

### Layer A：Semantic Algebraicity

$$
\operatorname{Alg}^p(X)
=
\operatorname{Im}
CH^p(X)_{\mathbb Q}.
$$

### Layer B：Constructive Closure

$$
L_{\mathcal G,\mathcal S}^p(X).
$$

### Layer C：Hodge Candidate

$$
V_X^p.
$$

必有：

$$
\boxed{
L_{\mathcal G,\mathcal S}^p(X)
\subseteq
\operatorname{Alg}^p(X)
\subseteq
V_X^p.
}
$$

Hodge conjecture問第二個 inclusion是否 equality。

autonomous construction實際能直接控制的是第一個 subspace。

---

# 47. Correspondence Closure 的真正研究目標

因此 Phase II 不是：

> 找到所有 correspondences。

而是：

$$
\boxed{
\text{用少量 explicit generators 最大化}
\quad
\dim
L_{\mathcal G,\mathcal S}.
}
$$

這是一個有限維 target-space問題。

---

# 48. R011 Status

本輪已證／固定：

1. unrestricted all-correspondence closure語義平凡；
2. point seed加所有 correspondences生成全部 Chow classes；
3. constructive closure必須固定 explicit seed與 correspondence libraries；
4. unary closure是 generated correspondence category的最小 module closure；
5. unary legality paths可 collapse成 composite correspondence；
6. external product引入真正 monoidal structure；
7. intersection可由 external product + diagonal Gysin重建；
8. push/pull可由 graph correspondences編譯；
9. monoidal constructive legality closure定義完成；
10. constructive legal span與 residual定義完成；
11. residual zero給 constructive Hodge certificate；
12. finite universe + finite generator library下 cohomological legal span有限步穩定；
13. 此 finite stabilization不意味 Chow groups有限生成；
14. finite-seed full coverage必須連同 generator library陳述；
15. legality-active directions可由 residual quotient精確定義。

因此：

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

只指 R011 Primary Claim。

---

# 49. Next Interface

下一輪應直接壓力測試：

$$
\boxed{
\text{Finite Seed Hypothesis}
}
$$

而不是先相信它。

檔名：

```text
HODGE_MLRSC_R012_L_FiniteSeedHypothesisStressTest.md
```

R012 應問：

1. 哪些 variety classes有 natural finite witness generators？
2. finite seed coverage何時只是 Hodge conjecture的換皮？
3. correspondence library多大時 hypothesis變成 tautology？
4. library多小時 hypothesis變得過強？
5. 能否定義非平凡的 generator-complexity hierarchy？
6. 是否能找到第一個高 codimension stress case使 residual明確非零？

---

# 50. 本輪基本摘要

R010 建立：

$$
\text{legal operations}.
$$

R011 發現：

> 「對所有 algebraic correspondences閉包」不是答案，因為那等於預先知道所有 algebraic cycles。

真正可研究的是：

$$
\boxed{
\text{Explicit Seeds}
+
\text{Explicit Correspondence Library}
+
\text{Monoidal Closure}.
}
$$

unary paths可以壓成：

$$
\boxed{
\text{one composite correspondence}.
}
$$

而在 finite research universe中，

cohomological legal span：

$$
L_0\subseteq L_1\subseteq\cdots
$$

一定有限步穩定。

所以 Phase II 第一次得到真正可執行的：

$$
\boxed{
\text{finite legality-closure certificate}.
}
$$

下一步就是測試：

> 這個 finite closure在非平凡 Hodge problems中究竟能走多遠？

---

# 參考文獻

1. W. Fulton, *Intersection Theory*, Springer. Chow groups、intersection products、Gysin maps與 correspondences。

2. The Stacks Project, Section 45.3, *Correspondences*. Smooth projective schemes與 algebraic correspondences形成 graded $\mathbb Q$-linear category。  
   https://stacks.math.columbia.edu/tag/0FFZ

3. The Stacks Project, Section 45.4, *Chow motives*. Chow motives形成 additive Karoubian $\mathbb Q$-linear symmetric monoidal category，products對應 tensor products。  
   https://stacks.math.columbia.edu/tag/0FG9

4. The Stacks Project, Section 45.5, *Chow groups of motives*.  
   https://stacks.math.columbia.edu/tag/0FGK

5. J. P. Murre, *On a conjectural filtration on the Chow groups of an algebraic variety*, Indag. Math. 4 (1993), 177–188.

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

---

## Canonical Source Declaration

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

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

聊天畫面不是本輪 canonical source。