EveMissLab Ontology Core Series — Paper 06

閉合、收連與分支閉合：從固定點、局部閉合到可證書全域閉合的擴張系統

Closure, Convergent Re-linking, and Branch Closure: From Fixed Points and Local Closure to Certified Global Closure

文件編號：EML-ONTO-CORE-06
版本：v0.1
日期：2026-08-15
作者：Neo.K × AI 協作
機構：EveMissLab／一言諾科技有限公司
系列：Ontology Core Series
上游正典：
- EveMissLab Ontology Canon v0.1
- Ontology Genealogy & Symbol Migration Map v0.1
- EML-ONTO-CORE-01：潛能、載域與顯現
- EML-ONTO-CORE-02：型別化三元算子族
- EML-ONTO-CORE-03：共享狀態域耦合（SSDC）
- EML-ONTO-CORE-04：型別化信息完整、失真與還原（TICDR）
- EML-ONTO-CORE-05：同一、非同一、邊界與主客邊（TIBRF）
性質：閉合理論／研究路由／分支系統／局部—全域一致性／AI-native research runtime
證據狀態：形式框架、條件式定理、歷史理論重構；不宣稱 CRL 已被證明可由 bare Closure 推導

摘要

EveMissLab 的 Closure lineage 從 Dynamic Circle Ontology（DCO）逐步把閉合性 $Cl$ 從幾何圓的抽象提升為過程原語，並在 DCO 5.0 中明確轉向 Closure-as-Process。然而，後續研究也暴露了一個關鍵問題：一個能持續產生合法閉合分支的系統，不一定內建「下一步應探索哪一條分支」「哪些分支可以合併」「哪些差異必須保留」「何時可以停止」的 selection pressure。換言之，閉合性可以限制合法性，卻不自動提供研究排序。

與此同時，T Query Runtime 引入 Convergent Re-linking（CRL，收連），要求：

\boxed{ CRL: \{B_1,\ldots,B_n\} \rightarrow G }

其中 CRL：

merge certified equivalent branches；
preserve unresolved divergences；
create next-stage semantic / causal links。

本文第一次把 Closure、Convergence、Fixed Point、Branch Closure、Global Closure、CRL、Selection Policy 與 Commit 分層整合。

首先，本文明確區分：

\boxed{ \text{Convergence} \neq \text{Fixed Point} \neq \text{Closure} \neq \text{Global Closure} \neq \text{Commit}. }

對單一算子 $T$ ：

T(x^\ast)=x^\ast

只證明 $x^\ast$ 是 $T$ 的 fixed point。對算子族 $\mathcal A$ ，集合 $S$ 對 $\mathcal A$ closed：

\boxed{ \forall a\in\mathcal A, \quad a(S)\subseteq S }

也只表示 operation closure，而不代表 branch coverage、local-to-global gluing、proof completeness 或 research termination。

本文因此建立七種 typed closure：

\boxed{ Cl^{op}, Cl^{fix}, Cl^{loc}, Cl^{cov}, Cl^{glue}, Cl^{br}, Cl^{glob}. }

並定義 Certified Global Closure 必須同時綁定：

\boxed{ \mathfrak C_{\mathrm{glob}} = \left\langle \Omega, \mathcal A, \equiv_{q,\mathcal J}, \mathfrak B, \mathcal U, \mathcal L, \mathcal G, \mathcal U_{\mathrm{unresolved}}, \mathcal P \right\rangle, }

其中分別表示 scope、合法算子、identity regime、boundary regime、cover、local certificates、gluing/cycle certificates、unresolved defects 與 provenance/version。

本文給出條件式 Global Closure Theorem：

若：

cover complete；
每個 local domain 已 closed / refuted / resolved；
overlap compatibility 成立；
必要的 higher-overlap / cycle coherence 成立；
branch merge 只在已證 typed equivalence 下發生；
relevant boundary 全部被 ownership / classification；
unresolved defect set 為空；
certificate 可重播；

則可在該明確 scope 與 identity/boundary regime 下宣稱：

\boxed{ Cl^{glob}. }

這個 theorem 不宣稱宇宙全域閉合，而是建立可審計的 scope-relative global closure。

本文接著重新定位 CRL。CRL 不是 Closure 的同義詞，也不是單純：

\mathfrak L\circ\mathfrak C.

本文定義 CRL 為一個 higher-order branch transformation：

\boxed{ CRL_{\Theta}: \mathfrak B^\ast \rightarrow \mathfrak G^\ast, }

其中參數：

\Theta = ( \equiv_{q,\mathcal J}, \mathfrak C_I, \mathfrak B^\xi, \Pi_{\mathrm{sel}}, \Pi_{\mathrm{link}}, \Pi_{\mathrm{commit}} )

包含 identity criterion、information preservation contract、boundary regime、selection policy、re-link policy 與 commit policy。

CRL 的 canonical output：

\boxed{ G_{\mathrm{CRL}} = ( \mathcal E_{\mathrm{clusters}}, \mathcal D_{\mathrm{unresolved}}, \mathcal L_{\mathrm{next}}, \mathcal F_{\mathrm{frontier}}, \mathcal P_{\mathrm{prov}} ). }

因此 CRL 同時處理「可合併」「不可合併」「下一步去哪裡」三種不同問題。

本文提出 Closure–Relinking Extension（CRE）：

\boxed{ \mathrm{CRE} = \left( \mathfrak{Cl}, CRL, \Pi_{\mathrm{sel}}, \mathfrak C_I, \operatorname{Cert} \right), }

並明確規定：

\boxed{ CRL \notin \mathfrak{Cl} }

不能作為 v0.1 的無條件 theorem。較保守的關係是：

\boxed{ \mathrm{CRE} = \text{an enriched extension of a closure system}. }

只有未來若能證明 selection / relinking policy 可由 bare Closure axioms 唯一或充分導出，才能再討論 CRL 是否內生於 Closure。

外部數學對照顯示，closure operators 的標準結構與 fixed points、complete lattices 有清楚理論；term-rewriting 的 confluence 與 unique normal forms 也顯示「每條合法 rewrite path」與「是否收斂到唯一正常形」是不同性質；e-graphs / equality saturation 則進一步提供一個高度相關的工程類比：大量等價 expressions 可以被共同保留，而 extraction 仍需要額外 domain analysis / cost criterion。本文利用這些對照限制自己的主張，而不把它們視為 SSDC/Closure/CRL 的直接證明。

本文最終得到：

\boxed{ \text{Closure} = \text{validity/closedness regime}, }

\boxed{ CRL = \text{difference-preserving branch reorganization}, }

\boxed{ Selection = \text{search/order policy}, }

\boxed{ Global Closure = \text{certificate-backed scope completion}. }

這四者的分離，解決了早期 Closure 理論最容易發生的「自洽即完成」「固定點即閉合」「分支多即理論錯誤」「收斂即強迫共識」四種混淆，並為下一篇一元—三元母框架提供最後一個中間層。

關鍵詞： Closure、CRL、Convergent Re-linking、branch closure、global closure、fixed point、confluence、e-graphs、selection policy、proof certificate、local-to-global、gluing

1. 問題：什麼叫「閉合」？

「閉合」至少有五種常見語義：

一個集合對某些操作封閉；
一個 dynamical state 到達 fixed point；
一條 proof branch 被 refute / solve；
一組 local results 可以 glue 成 global result；
一個 research runtime 決定不再繼續展開。

這五件事不一樣。

如果都寫成：

Cl,

便會產生：

\boxed{ \text{closure ambiguity}. }

2. Closure lineage 的保留與修正

DCO 5.0 歷史上將 Closure 從靜態 object 改寫為：

\boxed{ \text{Closure-as-Process}. }

這一點保留。

但 Ontology Core Series 不再假定：

\boxed{ Cl = \text{one untyped universal primitive}. }

改採：

\boxed{ \mathfrak{Cl} = \{Cl^\xi\}_{\xi\in\Xi}. }

3. Operation Closure

定義 3.1 — $Cl^{op}$

設：

S

為 state set，

\mathcal A

為合法操作族。

若：

\boxed{ \forall a\in\mathcal A, \quad a(S)\subseteq S, }

則稱：

\boxed{ Cl^{op}(S;\mathcal A). }

這是最接近標準 closure-under-operations 的形式。

4. Closure Operator

若：

cl: \mathcal P(X) \rightarrow \mathcal P(X)

滿足：

A\subseteq cl(A)

（extensive）、

A\subseteq B \Rightarrow cl(A)\subseteq cl(B)

（monotone）、

以及：

cl(cl(A))=cl(A)

（idempotent），

則：

cl

是 standard closure operator。

本文將其記為：

\boxed{ Cl^{std}. }

注意：

DCO / EveMissLab Closure lineage 不自動與標準 closure operator 完全等同。

兩者只在明確 mapping 下比較。

5. Fixed-Point Closure

定義 5.1 — $Cl^{fix}$

對：

T:X\rightarrow X,

若：

\boxed{ T(x^\ast)=x^\ast, }

則稱：

x^\ast

為 $T$ -fixed state。

本文可以記：

\boxed{ Cl^{fix}(x^\ast;T). }

但這只是 shorthand。

6. Fixed Point 不等於 Operation Closure

一個：

x^\ast

對某一：

T

fixed，

不表示：

x^\ast

對其他：

U

也 fixed。

更不表示：

S

對整個：

\mathcal A

closed。

因此：

\boxed{ Cl^{fix} \not\Rightarrow Cl^{op}. }

7. Convergence 不等於 Fixed Point

Paper 02 已建立：

\mathfrak C = \text{typed convergence family}.

一個 descending / contracting process：

x_0\to x_1\to x_2\to\cdots

可以一直具有：

\sigma_\tau=-,

卻沒有已證 limit。

因此：

\boxed{ \mathfrak C \not\Rightarrow Cl^{fix}. }

8. Fixed Point 也不等於 Convergence

若一開始：

x_0=x^\ast,

則：

T(x^\ast)=x^\ast

成立。

但沒有發生任何非平凡收斂。

因此：

\boxed{ Cl^{fix} \not\Rightarrow \mathfrak C. }

9. Local Closure

研究中常先在一個局部 domain：

U_i

完成某個 claim。

定義 9.1 — $Cl^{loc}$

若：

\mathcal P

在：

U_i

上已具有：

proof；
refutation；
validated model result；
explicit terminal classification；

則記：

\boxed{ Cl^{loc}(U_i,\mathcal P). }

10. Coverage Closure

假設 global scope：

\Omega.

local domains：

U_1,\ldots,U_n.

定義 10.1 — $Cl^{cov}$

若：

\boxed{ \Omega \subseteq \bigcup_{i=1}^n U_i, }

則稱 cover complete：

\boxed{ Cl^{cov}(\Omega;\mathcal U). }

它只保證沒有 hidden uncovered region。

11. Coverage 不等於 Local Correctness

即使：

\Omega = \bigcup_i U_i,

如果某個：

U_j

上的 theorem 是錯的，

仍不能 global close。

所以：

\boxed{ Cl^{cov} \not\Rightarrow Cl^{loc}. }

12. Local Correctness 也不等於 Coverage

所有已研究：

U_i

都正確，

仍可能：

\Omega \setminus \bigcup_i U_i \neq \varnothing.

因此：

\boxed{ \forall i\ Cl^{loc}(U_i) \not\Rightarrow Cl^{cov}(\Omega). }

13. Gluing Closure

即使 local results 全部正確、coverage 完整，

也可能：

representation 不一致；
assumptions 不一致；
overlap translation 衝突；
cycle transport 產生 holonomy；
boundary ownership 不一致。

因此：

定義 13.1 — $Cl^{glue}$

令：

g_{ij}

為 overlap transition。

若所有 required overlap / higher-overlap / cycle coherence 通過，則：

\boxed{ Cl^{glue} ( \{U_i\}, \{g_{ij}\} ). }

14. Pairwise Compatibility 不等於 Global Gluing

對三個 domains：

U_1,U_2,U_3,

pairwise compatibility 全部成立，

仍可能：

triple overlap coherence 失敗；
closed-loop transport 非平凡；
global section 不存在。

因此：

\boxed{ \text{pairwise compatibility} \not\Rightarrow Cl^{glue}. }

15. Branch Closure

令 research tree：

\mathcal T

具有 branches：

B_1,\ldots,B_m.

定義 15.1 — Branch Status

\operatorname{Status}(B) \in \{ Open, Solved, Refuted, Merged, Deferred, OutOfScope \}.

16. Branch Closure

若：

B

具有可重播證書，證明它：

solved；
refuted；
equivalently merged；
legally out-of-scope；

則：

\boxed{ Cl^{br}(B). }

單純：

\operatorname{Deferred}

不是 closed。

17. Merge 必須先有 Identity Regime

Paper 05 已建立：

B_1 \equiv_{q,\mathcal J} B_2.

CRL / Branch closure 不允許：

\boxed{ \text{similarity} \Rightarrow Merged. }

必須先指定：

\boxed{ \mathcal J_{\mathrm{merge}}. }

18. False Merge

如果：

B_1 \not\equiv_{q,\mathcal J_{\mathrm{merge}}} B_2

卻 merge，

則：

\boxed{ FalseMerge. }

這是一種 closure corruption。

因為 branch count 下降了，

但 relevant distinctions 被錯誤抹除。

19. False Split

反過來，若：

B_1 \equiv_{q,\mathcal J} B_2

卻長期保留成完全獨立 branches，

產生：

\boxed{ FalseSplit. }

False Split 通常不破壞 soundness，

但會增加：

compute；
memory；
proof duplication；
routing noise。

因此 CRL 應同時降低 FalseMerge 與 FalseSplit，

但優先避免 FalseMerge。

20. Closure 與 Information Preservation

Branch merge：

M: \{B_1,B_2\} \rightarrow B^\ast

必須滿足 Paper 04 的 information contract：

\boxed{ \mathfrak C_I(M). }

若：

conclusion preserved；
assumptions lost；
provenance lost；
boundary exceptions lost；

則：

M

不能稱 fully valid merge。

21. Boundary-Aware Closure

Paper 05 已建立 typed boundaries：

\mathfrak B^\xi.

因此 closure scope 必須包含：

\boxed{ \mathfrak B_{\mathrm{closure}} = \{ \mathfrak B^{domain}, \mathfrak B^{representation}, \mathfrak B^{version}, \mathfrak B^{singular}, \mathfrak B^{permission}, \ldots \}. }

如果 equality / singular / boundary cases 未分類，

不能只因 generic interior 完成就 global close。

22. Global Closure

本文不使用「全部看起來穩定」作 global closure。

定義 22.1 — Global Closure Certificate Object

\boxed{ \mathfrak C_{\mathrm{glob}} = \left\langle \Omega, \mathcal A, \equiv_{q,\mathcal J}, \mathfrak B_{\mathrm{closure}}, \mathcal U, \mathcal L_{\mathrm{cert}}, \mathcal G_{\mathrm{cert}}, \mathcal U_{\mathrm{unresolved}}, \mathcal P \right\rangle. }

其中：

$\Omega$ ：declared global scope；
$\mathcal A$ ：合法 operation / theorem / rewrite family；
$\equiv_{q,\mathcal J}$ ：identity regime；
$\mathfrak B_{\mathrm{closure}}$ ：boundary regime；
$\mathcal U$ ：cover；
$\mathcal L_{\mathrm{cert}}$ ：local branch certificates；
$\mathcal G_{\mathrm{cert}}$ ：overlap / cycle / gluing certificates；
$\mathcal U_{\mathrm{unresolved}}$ ：unresolved defect set；
$\mathcal P$ ：provenance / version / replay state。

23. Certified Global Closure

定義 23.1

在 declared regime：

\mathcal R = ( \Omega, q, \mathcal J, \mathfrak B, \mathcal A )

下，若：

cover complete；
local certificates valid；
gluing requirements valid；
merge identity valid；
information contracts satisfied；
boundary ownership complete；
unresolved defect set empty；
certificate replay succeeds；

則稱：

\boxed{ Cl^{glob}(\mathcal R). }

24. Global Closure Theorem

定理 24.1 — Certificate-Relative Global Closure

若：

Cl^{cov},

且：

\forall U_i\in\mathcal U, \quad Cl^{loc}(U_i),

且所有 required:

Cl^{glue}

成立，

且每個 branch：

B_j

均有：

Cl^{br}(B_j),

且 boundary / identity / information contracts 完整，

且：

\boxed{ \mathcal U_{\mathrm{unresolved}} = \varnothing, }

則：

\boxed{ Cl^{glob} }

在該 declared scope / identity / boundary regime 下成立。

25. 這個 theorem 沒有說什麼

它不表示：

\boxed{ \text{absolute universal closure of reality}. }

它只表示：

對已聲明的 scope、語言、identity regime、boundaries、operators 與 certificate rules，系統已完成 closure。

因此：

\boxed{ \text{Global} }

永遠必須附 scope。

26. Closure 不等於 Commit

一個 closure certificate 可以有效，

但 runtime policy 仍決定：

是否發布；
是否升版；
是否進 production；
是否需要 human review；
是否保留 shadow branch。

所以：

\boxed{ Cl^{glob} \not\Rightarrow Commit. }

Commit 是 governance / runtime action。

27. Commit 也不等於 Closure

runtime 可以因：

deadline；
resource exhaustion；
policy；
emergency；

commit 一個未完全 closed state。

因此：

\boxed{ Commit \not\Rightarrow Cl^{glob}. }

只能標記：

\boxed{ CommittedWithOpenDefects. }

28. Bare Closure 的 Branch-Ranking 問題

歷史 Closure 延伸研究曾暴露一個重要現象：

若所有新分支都能合法繼承 closure/self-consistency 條件，proof tree 可以持續分岔，而 bare closure 本身未必告訴研究者下一條 branch 應該先走哪裡。

本文將此問題形式化。

令：

\mathcal F_t = \{B_1,\ldots,B_n\}

為 open frontier。

Closure validity predicate：

V_{Cl}(B_i) \in \{0,1\}

只回答：

branch 是否仍合法？

它不自動給：

\boxed{ B_i \prec B_j. }

29. Selection Underdetermination

如果：

V_{Cl}(B_i)=1

對所有：

i,

但不存在由 bare closure axioms 決定的 strict priority：

\Pi_{\mathrm{Cl}} : \mathcal F_t \rightarrow B^\ast,

則稱：

\boxed{ \text{Closure Selection Underdetermination}. }

這不是 closure contradiction。

而是：

\boxed{ \text{validity} \neq \text{priority}. }

30. Branch Explosion

若平均每一 branch 產生：

b>1

個合法 descendants，

depth：

n

的 raw branch count 可近似：

O(b^n).

即使所有 branches 都 self-consistent，

research cost 仍可能爆炸。

因此：

\boxed{ \text{self-consistent branching} \neq \text{tractable research routing}. }

31. Selection Policy

本文定義：

\boxed{ \Pi_{\mathrm{sel}} : \mathcal F_t \rightarrow \mathcal P(\mathcal F_t) }

或 priority score：

\boxed{ s_{\mathrm{sel}} : \mathcal F_t \rightarrow \mathbb R^k. }

可使用：

expected information gain；
proof tension；
counterexample power；
coverage gain；
dependency centrality；
evidence cost；
boundary importance；
risk；
compute budget；
user intent。

32. Selection 不決定 Truth

即使：

\Pi_{\mathrm{sel}}

選錯 branch，

可能只是效率變差。

只有當它：

unsafely prunes；
falsely merges；
silently discards unresolved cases；

才會破壞 soundness。

因此：

\boxed{ \text{search priority} \neq \text{logical validity}. }

33. CRL 的歷史工作定義

CRL：

\boxed{ CRL: \{B_1,\ldots,B_n\} \rightarrow G }

做：

merge certified equivalent branches；
preserve unresolved divergences；
create next-stage semantic / causal links。

本文完整保留這三點。

34. CRL 不是 Average

若：

B_1 \not\equiv_{q,\mathcal J} B_2,

則 CRL 不得：

B_1,B_2 \rightarrow \bar B

只因語義看似接近。

因此：

\boxed{ CRL \neq \text{averaging}. }

35. CRL 不是 Forced Consensus

如果：

B_1 \not\equiv B_2,

CRL 必須保留：

\{B_1,B_2\}

或將它們標成 unresolved divergence。

所以：

\boxed{ \text{Convergence} \neq \text{Forced Consensus}. }

36. Canonical CRL Input

每個 branch：

B_i

至少包含：

\boxed{ B_i = ( id, parent, claim, state, path, assumptions, boundary, evidence, status, cost, provenance ). }

37. Canonical CRL Parameters

定義：

\boxed{ \Theta_{\mathrm{CRL}} = \left( \equiv_{q,\mathcal J}, \mathfrak C_I, \mathfrak B^\xi, \Pi_{\mathrm{sel}}, \Pi_{\mathrm{link}}, \Pi_{\mathrm{commit}} \right). }

38. Canonical CRL Output

\boxed{ G_{\mathrm{CRL}} = \left( \mathcal E_{\mathrm{clusters}}, \mathcal D_{\mathrm{unresolved}}, \mathcal L_{\mathrm{next}}, \mathcal F_{\mathrm{frontier}}, \mathcal P_{\mathrm{prov}} \right). }

其中：

$\mathcal E_{\mathrm{clusters}}$ ：certified equivalence clusters；
$\mathcal D_{\mathrm{unresolved}}$ ：unresolved divergence set；
$\mathcal L_{\mathrm{next}}$ ：new semantic/causal links；
$\mathcal F_{\mathrm{frontier}}$ ：ranked or routed frontier；
$\mathcal P_{\mathrm{prov}}$ ：provenance / replay trace。

39. CRL Merge Rule

只有：

\boxed{ B_i \equiv_{q,\mathcal J_{\mathrm{merge}}} B_j }

且：

\boxed{ \mathfrak C_I(M_{ij}) }

通過，

才允許 merge。

40. CRL Preserve Rule

如果：

B_i \not\equiv B_j

或 evidence status unknown，

則：

\boxed{ \operatorname{Preserve}(B_i,B_j). }

未知不等於不同，

但也不等於相同。

41. CRL Re-link Rule

CRL 可以建立：

\boxed{ L: B_i \rightarrow B_j }

或：

L: B_i \rightarrow Tool/Evidence/NextQuery/Action.

因此 CRL 不只是縮減 branch count。

它也改變下一階 research topology。

42. CRL 與 Selection 的關係

CRL 可以內含：

\Pi_{\mathrm{sel}},

但 selection policy 不必由 CRL 的 merge semantics 自動推出。

所以本文分：

\boxed{ CRL_{\mathrm{core}} }

與：

\boxed{ CRL_{\mathrm{routed}} = ( CRL_{\mathrm{core}}, \Pi_{\mathrm{sel}} ). }

43. Closure–Relinking Extension

本文提出：

定義 43.1 — CRE

\boxed{ \mathrm{CRE} = \left( \mathfrak{Cl}, CRL, \Pi_{\mathrm{sel}}, \mathfrak C_I, \operatorname{Cert}, \operatorname{Commit} \right). }

中文：

\boxed{ \text{閉合—收連擴張系統}. }

44. 為什麼叫 Extension？

因為目前沒有 theorem：

\boxed{ CRL \in \mathfrak{Cl} }

或：

\boxed{ CRL = f(Cl\text{-axioms}). }

所以：

\boxed{ \mathrm{CRE} }

比：

\boxed{ \text{Closure itself contains CRL} }

誠實。

45. Endogenous-Selection Conjecture

未來可以研究：

是否存在某些 closure system，其中 selection policy 可由 closure invariants 自動導出？

形式上：

\boxed{ \exists F \quad \Pi_{\mathrm{sel}} = F ( \mathfrak{Cl}, \mathcal J, \mathfrak B, \mathcal P ). }

這是：

\boxed{ \text{Endogenous Selection Conjecture}. }

目前：

\boxed{ OPEN. }

46. Extrinsic Selection

若 priority 來自：

user goal；
compute budget；
risk tolerance；
publication objective；
application value；

則：

\boxed{ \Pi_{\mathrm{sel}} }

明顯是 extrinsic governance。

這不降低 closure correctness。

只是：

\boxed{ \text{research direction} }

來自更高層 objective。

47. Equality Saturation 對照

e-graph / equality saturation 可以 compactly 保存大量：

\boxed{ \text{equivalent expressions}. }

這與 CRL 的：

\mathcal E_{\mathrm{clusters}}

具有高度方法論類比。

但 equality saturation 還需要 extraction / cost / domain analysis 選出具體 representation。

這提醒：

\boxed{ \text{equivalence storage} \neq \text{selection}. }

48. CRL 與 e-graph 的差異

CRL 不只保存已證等價。

它還必須保留：

\boxed{ \text{unresolved non-equivalent / not-yet-equivalent branches}. }

因此 CRL graph 同時有：

equivalence clusters；
unresolved divergences；
next-action links。

這比單純 equality graph 更接近 research frontier manager。

49. Rewriting Confluence 對照

term-rewriting 中：

\boxed{ \text{confluence} }

關心不同 rewrite paths 是否能重新 join。

unique normal form 又是另一個性質。

這與本文非常重要的區分相容：

\boxed{ \text{many legal branches} }

不自動意味：

\boxed{ \text{unique terminal state}. }

50. Confluence 不等於 Closure

即使 rewrite system confluent，

仍需問：

terminating 嗎？
normal form 存在嗎？
global scope 是什麼？
boundary cases 是否覆蓋？

因此：

\boxed{ \text{Confluence} \neq Cl^{glob}. }

51. Unique Normal Form 也不等於 Universal Truth

即使所有 rewrite paths 對某 syntax system 有 unique normal form，

也只代表該 rewrite semantics。

不表示：

\boxed{ \text{the normal form is an ontological absolute truth}. }

52. Closure Operator 對照

標準 closure operator：

cl

的 idempotence：

cl(cl(A))=cl(A)

與 fixed closed sets 有成熟數學關係。

本文吸收：

\boxed{ \text{closure needs explicit operator and domain}. }

但不將 DCO Closure 全部還原成 set-theoretic closure operator。

53. Local-to-Global 對照

sheaf / gluing 類方法明確區分：

local data；
overlap maps；
compatibility；
global sections。

因此本文的：

Cl^{loc}, Cl^{cov}, Cl^{glue}, Cl^{glob}

不是任意增加術語，

而是在一般 local-to-global problem 中必要的不同判定層。

54. Global Closure Ladder

本文給出：

\boxed{ Cl^{op} \rightarrow Cl^{loc} \rightarrow Cl^{cov} \rightarrow Cl^{glue} \rightarrow Cl^{br} \rightarrow Cl^{glob} }

不是邏輯上每一步都自動推出下一步，

而是 audit ladder：

global closure 需要逐層檢查不同 defect。

55. Defect Taxonomy

本文至少保留：

\boxed{ \mathcal D_{\mathrm{Cl}} = \{ D_{\mathrm{local}}, D_{\mathrm{coverage}}, D_{\mathrm{overlap}}, D_{\mathrm{cycle}}, D_{\mathrm{identity}}, D_{\mathrm{boundary}}, D_{\mathrm{info}}, D_{\mathrm{branch}}, D_{\mathrm{prov}}, D_{\mathrm{version}} \}. }

56. Local Defect

某：

U_i

上的 proof / model invalid。

57. Coverage Defect

\Omega \setminus \bigcup_iU_i \neq \varnothing.

58. Overlap Defect

兩個 local states：

s_i,s_j

在：

U_i\cap U_j

無法合法 transport / agree。

59. Cycle Defect

pairwise transitions 成立，

但 closed-loop composition：

K(\omega) \neq I.

60. Identity Defect

錯誤 merge：

FalseMerge.

61. Boundary Defect

equality / singular / permission / representation boundary 未被處理。

62. Information Defect

merge / compression 破壞：

\mathfrak C_I.

63. Branch Defect

存在：

Open

branch 未被分類。

64. Provenance Defect

certificate 無法重播或來源丟失。

65. Version Defect

claim 與 dependency / model / representation version 不一致。

66. Closure Certificate

建議 schema：

closure_certificate:
  scope:
  operator_family:
  identity_regime:
  boundary_regime:
  cover:
  local_certificates:
  overlap_maps:
  cycle_checks:
  branch_statuses:
  merge_certificates:
  information_contracts:
  unresolved_defects:
  provenance:
  versions:
  replay:

67. CRL Certificate

crl_run:
  input_branches:
  equivalence_regime:
  merge_certificates:
  preserved_divergences:
  new_links:
  selection_policy:
  ranked_frontier:
  information_contract:
  boundary_regime:
  provenance:
  output_graph:

68. Closure ≠ Research Termination

一個 theory 可以在 version：

v0.1

對某 scope closed，

但後續：

新 data；
新 observer；
新 scale；
新 query family；
新 boundary；

使：

Cl^{glob}_{v0.1}

不再適用於：

v0.2.

所以：

\boxed{ \text{closure is regime-relative}. }

69. Stable Closure under Extension

若新 evidence：

E'

加入後，

舊 certificate 仍可 replay 且所有 relevant invariants 保持，

則稱：

\boxed{ \text{extension-stable closure}. }

否則需要 reopen。

70. Reopen Operator

定義：

\boxed{ \operatorname{Reopen} ( Cl^{glob}, \Delta q, \Delta\mathcal J, \Delta\mathfrak B, E' ) \rightarrow \mathcal F_{\mathrm{new}}. }

這不是 closure failure。

而是 scope / regime 改變後的正常研究呼吸。

71. Closure 與 Theory Breathing

Theory Breathing：

Expand \rightarrow Link \rightarrow Converge \rightarrow Rest

現在可以加上 closure certificate：

\boxed{ \operatorname{Rest} }

不是：

Cl^{glob}

本身。

更精確：

\boxed{ \operatorname{Rest} = \text{temporary version stabilization after a declared closure/commit state}. }

72. Dynamic Closure

活系統可能永遠沒有 immutable final closure。

可以有：

\boxed{ Cl_t^{glob} }

隨 regime：

\mathcal R_t

更新。

因此：

\boxed{ \text{dynamic closure} = \text{sequence of certified scope-relative closures}. }

不是「永遠不再變」。

73. No-Go 1 — Fixed Point Is Global Closure

禁止：

T(x)=x \Rightarrow Cl^{glob}.

74. No-Go 2 — Local Truth Is Global Closure

禁止：

\forall i\ Cl^{loc}(U_i) \Rightarrow Cl^{glob}.

若 coverage / gluing 未證。

75. No-Go 3 — Almost Full Coverage Is Closure

禁止：

\mu(G)=0 \Rightarrow G=\varnothing.

measure-zero gap 仍可能非空。

76. No-Go 4 — Pairwise Compatibility Is Global Consistency

禁止只檢查 pairwise overlap 就宣稱 global gluing。

77. No-Go 5 — Branch Count Reduction Is Progress

如果 branch count 下降來自：

FalseMerge,

則：

\boxed{ \text{compression} \neq \text{progress}. }

78. No-Go 6 — Closure Contains Ranking

除非另證，

禁止：

Cl \Rightarrow \Pi_{\mathrm{sel}}.

79. No-Go 7 — CRL Is Bare Closure

禁止：

CRL = Cl.

80. No-Go 8 — CRL Is Simple $L\circ C$

禁止：

CRL = \mathfrak L \circ \mathfrak C

作無條件 identity。

CRL 還包含：

equivalence certificate；
divergence preservation；
provenance；
selection / routing。

81. No-Go 9 — Commit Is Proof

禁止：

Committed \Rightarrow Proved.

82. No-Go 10 — Closure Never Reopens

新：

evidence；
scope；
identity regime；
boundary；
representation；

都可能合法觸發：

Reopen.

83. 十四條核心命題

Core-1 — Closure Typing

\boxed{ \mathfrak{Cl} = \{Cl^\xi\} }

先於 untyped closure。

Core-2 — Convergence/Fixed-Point Separation

\boxed{ \mathfrak C \neq Cl^{fix}. }

Core-3 — Fixed-Point/Global-Closure Separation

\boxed{ Cl^{fix} \not\Rightarrow Cl^{glob}. }

Core-4 — Coverage Principle

global closure 必須聲明 scope 並證 cover complete。

Core-5 — Gluing Principle

local validity + coverage 不足，必要時還要 overlap / cycle coherence。

Core-6 — Identity-Before-Merge

\boxed{ B_i\equiv_{q,\mathcal J}B_j }

先於 certified merge。

Core-7 — Information-Before-Merge

merge 必須滿足：

\mathfrak C_I.

Core-8 — Boundary-Aware Closure

closure certificate 必須聲明 boundary regime。

Core-9 — Validity/Priority Separation

\boxed{ \text{branch validity} \neq \text{branch priority}. }

Core-10 — CRL Difference Preservation

\boxed{ \text{unresolved divergence} \Rightarrow \text{preserve}. }

Core-11 — CRL Is Higher-Order

CRL 處理 equivalence、divergence 與 routing，而非單一 state contraction。

Core-12 — CRE Extension Principle

\boxed{ \mathrm{CRE} = ( \mathfrak{Cl}, CRL, Selection, InformationContract, Certificate ) }

目前是 extension，而非 bare Closure theorem。

Core-13 — Commit/Closure Separation

\boxed{ Commit \neq Cl^{glob}. }

Core-14 — Reopen Principle

closure 可因 regime extension 被合法 reopen。

84. Canonical CRE Object

本文最終定義：

\boxed{ \mathrm{CRE}_{q} = \left\langle \mathfrak{Cl}, \equiv_{q,\mathcal J}, \mathfrak B_{\mathrm{closure}}, \mathfrak C_I, CRL, \Pi_{\mathrm{sel}}, \operatorname{Cert}, \operatorname{Commit}, \operatorname{Reopen} \right\rangle. }

85. 六篇主鏈

至此：

Paper 01

\text{Carrier / Latent / Manifest}.

Paper 02

\mathfrak E,\mathfrak L,\mathfrak C.

Paper 03

SSDC.

Paper 04

TICDR.

Paper 05

TIBRF.

Paper 06

\boxed{ Closure + CRL + Certified Globality. }

現在母框架已只剩最後一個問題：

前形式一元 $\Phi_{\mathrm{pre}}$ 、Closure、三元算子族與整個 typed stack 的最終關係到底是什麼？

這是 Paper 07 的任務。

結論

Closure 最重要的升級，不是把它宣稱得更大。

而是把它的邊界說清楚。

\boxed{ \text{閉合} \neq \text{收斂} }

\boxed{ \text{閉合} \neq \text{固定點} }

\boxed{ \text{局部閉合} \neq \text{全域閉合} }

\boxed{ \text{自洽分支} \neq \text{已選定正確研究路線} }

\boxed{ \text{收連} \neq \text{強迫共識} }

一個真正可用的全域 closure claim 必須回答：

\boxed{ \begin{aligned} &\text{scope 是什麼？}\\ &\text{哪些 operators 合法？}\\ &\text{什麼算同一 branch？}\\ &\text{哪些 boundaries 已處理？}\\ &\text{coverage 是否完整？}\\ &\text{local results 是否正確？}\\ &\text{overlap / cycle 能否 glue？}\\ &\text{merge 是否保存 relevant information？}\\ &\text{還有哪些 unresolved defects？}\\ &\text{certificate 能否 replay？} \end{aligned} }

只有這些問題全部回答後，才有：

\boxed{ Cl^{glob}. }

而 CRL 的真正位置也因此清楚：

\boxed{ \text{Closure 告訴我們什麼狀態算合法閉合；} }

\boxed{ \text{CRL 告訴我們如何在多分支中不抹除差異地重組；} }

\boxed{ \text{Selection 告訴我們下一步把有限資源放在哪裡；} }

\boxed{ \text{Certificate 告訴我們為什麼可以相信這次真的關閉了。} }

這就是本文提出 Closure–Relinking Extension 的理由。

參考文獻

Dacar, F. Closure operators on dcpos. arXiv:1709.06170, 2017.
Kilpack, M. L. H. The lattice of algebraic closure operators. arXiv:1411.6497, 2014.
Willsey, M., Nandi, C., Wang, Y. R., Flatt, O., Tatlock, Z., & Panchekha, P. egg: Fast and Extensible Equality Saturation. arXiv:2004.03082, 2020.
Nandi, C. et al. Rewrite Rule Inference Using Equality Saturation. arXiv:2108.10436, 2021.
Aoto, T., & Toyama, Y. Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems. arXiv:1807.00940, 2018.
Felgenhauer, B. Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently. arXiv:1710.10991, 2017.
Chenavier, C. Reduction Operators and Completion of Rewriting Systems. arXiv:1605.00174, 2016.
D'Acunto, G. et al. Sheaf-Based Federated Representation Learning. arXiv:2608.10016, 2026.
Ghica, D. R., Barrett, C., & Tiurin, A. Equivalence Hypergraphs: E-Graphs for Monoidal Theories. arXiv:2406.15882, 2024.

版本註記

v0.1

首次建立：

$Cl^{op}$ operation closure；
$Cl^{fix}$ fixed-point closure shorthand；
$Cl^{loc}$ local closure；
$Cl^{cov}$ coverage closure；
$Cl^{glue}$ gluing closure；
$Cl^{br}$ branch closure；
$Cl^{glob}$ certified global closure；
closure / convergence / fixed point / commit 分離；
branch identity regime；
FalseMerge / FalseSplit；
information-preserving merge；
boundary-aware closure；
global closure certificate；
Closure Selection Underdetermination；
explicit selection policy；
canonical CRL parameters / output；
CRL core vs routed CRL；
Closure–Relinking Extension（CRE）；
Endogenous Selection Conjecture；
local-to-global defect taxonomy；
closure / e-graph / confluence 外部對照；
dynamic closure / reopen operator；
closure certificate 與 CRL run schema。

閉合、收連與分支閉合：從固定點、局部閉合到可證書全域閉合的擴張系統

EveMissLab Ontology Core Series — Paper 06

閉合、收連與分支閉合：從固定點、局部閉合到可證書全域閉合的擴張系統

Closure, Convergent Re-linking, and Branch Closure: From Fixed Points and Local Closure to Certified Global Closure

摘要

1. 問題：什麼叫「閉合」？

2. Closure lineage 的保留與修正

3. Operation Closure

定義 3.1 — ClopCl^{op}Clop

4. Closure Operator

5. Fixed-Point Closure

定義 5.1 — ClfixCl^{fix}Clfix

6. Fixed Point 不等於 Operation Closure

7. Convergence 不等於 Fixed Point

8. Fixed Point 也不等於 Convergence

9. Local Closure

定義 9.1 — CllocCl^{loc}Clloc

10. Coverage Closure

定義 10.1 — ClcovCl^{cov}Clcov

11. Coverage 不等於 Local Correctness

12. Local Correctness 也不等於 Coverage

13. Gluing Closure

定義 13.1 — ClglueCl^{glue}Clglue

14. Pairwise Compatibility 不等於 Global Gluing

15. Branch Closure

定義 15.1 — Branch Status

16. Branch Closure

17. Merge 必須先有 Identity Regime

18. False Merge

19. False Split

20. Closure 與 Information Preservation

21. Boundary-Aware Closure

22. Global Closure

定義 22.1 — Global Closure Certificate Object

23. Certified Global Closure

定義 23.1

24. Global Closure Theorem

定理 24.1 — Certificate-Relative Global Closure

25. 這個 theorem 沒有說什麼

26. Closure 不等於 Commit

27. Commit 也不等於 Closure

28. Bare Closure 的 Branch-Ranking 問題

29. Selection Underdetermination

30. Branch Explosion

31. Selection Policy

32. Selection 不決定 Truth

33. CRL 的歷史工作定義

34. CRL 不是 Average

35. CRL 不是 Forced Consensus

36. Canonical CRL Input

37. Canonical CRL Parameters

38. Canonical CRL Output

39. CRL Merge Rule

40. CRL Preserve Rule

41. CRL Re-link Rule

42. CRL 與 Selection 的關係

43. Closure–Relinking Extension

定義 43.1 — CRE

44. 為什麼叫 Extension？

45. Endogenous-Selection Conjecture

46. Extrinsic Selection

47. Equality Saturation 對照

48. CRL 與 e-graph 的差異

49. Rewriting Confluence 對照

50. Confluence 不等於 Closure

51. Unique Normal Form 也不等於 Universal Truth

52. Closure Operator 對照

53. Local-to-Global 對照

54. Global Closure Ladder

55. Defect Taxonomy

56. Local Defect

57. Coverage Defect

58. Overlap Defect

59. Cycle Defect

60. Identity Defect

61. Boundary Defect

62. Information Defect

63. Branch Defect

64. Provenance Defect

65. Version Defect

定義 3.1 — $Cl^{op}$

定義 5.1 — $Cl^{fix}$

定義 9.1 — $Cl^{loc}$

定義 10.1 — $Cl^{cov}$

定義 13.1 — $Cl^{glue}$

80. No-Go 8 — CRL Is Simple $L\circ C$