# EveMissLab Ontology Canon v0.1
## 一元、三元、閉合、共享狀態域與收連的正典化規格

- 文件類型：Ontology Canon / 理論正典規格
- 版本：v0.1
- 日期：2026-08-15
- 狀態：Working Canon
- 用途：後續本體論系列、資訊本體論、符號資訊論、觀察者理論、SSDC、Closure、CRL 與統合論文的共同上游規格

---

## 0. 文件定位

本文不是一篇宣稱「世界最終由何物構成」的終極本體論論文。

本文的目的更基本：

$$
\boxed{
\text{先把已有理論中的概念、層級、符號、操作與歷史版本解纏。}
}
$$

過去 EveMissLab 的一元本體論、三元統一本體論、三元湧動論、Dynamic Circle Ontology、Closure Theory、差合化、理論呼吸、同步算子 $Co$ 、Convergent Re-linking 等研究，並非完全互斥。

真正的問題是，它們常在不同時期回答不同層級的問題，卻使用了相近甚至重複的符號。

典型例子包括：

$$
C,\quad C_0,\quad Co,\quad Cl,\quad \mathcal C
$$

曾分別被用於檢查、初始態、同步、閉合、收斂等完全不同概念。

因此，本 Canon 採取：

$$
\boxed{
\text{Preserve history}
+
\text{Separate type}
+
\text{Canonicalize symbol}.
}
$$

歷史文件不被改寫；新文件則全部使用本 Canon 的 canonical layer。

---

# 1. 第一原則：先分型，再統一

本體論整合不得以「它們感覺很像」直接宣稱：

$$
X=Y.
$$

必須先回答：

1. $X$ 與 $Y$ 位於哪一層？
2. domain / codomain 是否相同？
3. 是 primitive、operator、state、relation、projection 還是 runtime mechanism？
4. 同一是嚴格同一、投影同一、功能等價，還是歷史類比？
5. 是否依賴 observer、scale、resolution 或 context？

因此：

$$
\boxed{
\text{Similarity}
\not\Rightarrow
\text{Identity}.
}
$$

以及：

$$
\boxed{
\text{Unification}
\neq
\text{Premature Collapse}.
}
$$

---

# 2. 正典層級

目前採用以下分層：

$$
\boxed{
\mathfrak O
=
\left[
L_{-1},
L_0,
L_1,
L_2,
L_3,
L_4,
L_5
\right].
}
$$

---

## 2.1 $L_{-1}$：前形式／未定型層

Canonical primitive：

$$
\boxed{\Phi}
$$

暫稱：**Surging Unary / 湧動一元**。

 $\Phi$ 不先被定義成粒子、集合、資訊、幾何物件或某個固定數學對象。

它表示：

> 形式化之前，被理論試圖捕捉、但不能由任何單一形式描述完全耗盡的生成性存在指向。

目前工作關係為：

$$
\boxed{
\Phi
\rightsquigarrow
\text{formal structures}.
}
$$

但：

$$
\Phi=Cl
$$

尚未列入 Canon，其關係保留為 Open Problem。

---

## 2.2 $L_0$：載域—潛能—顯現層

令：

$$
\boxed{\Omega}
$$

表示 Carrier Domain / 載域。

令：

$$
\boxed{\Lambda}
$$

表示 Latent Structure / 潛在結構域。

令：

$$
\boxed{M}
$$

表示 Manifest Structure / 顯現結構。

因此至少區分：

$$
\boxed{
\Omega
\neq
\Lambda
\neq
M.
}
$$

「空白」不得再自動等於：

$$
0,
\qquad
\varnothing,
\qquad
\text{non-being}.
$$

Canonical rule：

$$
\boxed{
I_{\mathrm{manifest}}\approx0
\not\Rightarrow
I_{\mathrm{latent}}=0.
}
$$

但反過來也不得預設所有空白背景都含有巨大隱藏資訊。

因此：

$$
\boxed{
\text{Blank}
}
$$

只是一種相對某 observation / representation 的低顯現狀態，不是終極本體判決。

---

## 2.3 $L_1$：觀察者與投影

任何「被看見的狀態」原則上都應允許帶有觀察條件：

$$
\boxed{
\Pi_{o,s,r,d}
}
$$

其中：

- $o$：observer；
- $s$：scale；
- $r$：resolution；
- $d$：representation / semantic depth。

因此：

$$
G_{o,s,r,d}
=
\Pi_{o,s,r,d}(\mathcal X).
$$

這意味著：

$$
\boxed{
\text{World}
\neq
\text{one observed graph}.
}
$$

以及：

$$
\boxed{
\operatorname{Converged}(X;o_1,s_1)
\nRightarrow
\operatorname{Converged}(X;o_2,s_2).
}
$$

---

## 2.4 $L_2$：三元基本算子族

舊三元本體論中的：

$$
\text{Expansion},
\quad
\text{Connection},
\quad
\text{Convergence}
$$

現在正式由「三個單一算子」升級為三個 operator families：

$$
\boxed{
\mathfrak E
=
\{\mathcal E_\alpha\}_{\alpha\in A}
}
$$

$$
\boxed{
\mathfrak L
=
\{\mathcal L_\beta\}_{\beta\in B}
}
$$

$$
\boxed{
\mathfrak C
=
\{\mathcal C_\gamma\}_{\gamma\in C}.
}
$$

它們表示三個最高階變換方向族。

### Expansion family

$$
\mathfrak E
$$

增加可區分狀態、自由度、表示、候選、維度、分支或顯現內容。

### Connection family

$$
\mathfrak L
$$

使兩個或多個原先可區分結構之間形成合法 relation / transport / interaction。

### Convergence family

$$
\mathfrak C
$$

降低某種指定自由度、候選空間、描述複雜度、分支度或狀態差異。

歷史差合化三元組：

$$
\langle\Delta,\mathcal U,\nabla\rangle
$$

目前保留為：

$$
\boxed{
\langle\Delta,\mathcal U,\nabla\rangle
=
\text{historical realization / alternative basis}.
}
$$

不是當前唯一正典基底。

---

# 3. 三元不是三個不可細分動作

Canonical rule：

$$
\boxed{
\mathfrak E,\mathfrak L,\mathfrak C
=
\text{families, not atomic functions}.
}
$$

因此可以存在：

$$
\mathcal E_{\mathrm{semantic}},
\quad
\mathcal E_{\mathrm{structural}},
\quad
\mathcal E_{\mathrm{dimensional}},
$$

$$
\mathcal L_{\mathrm{causal}},
\quad
\mathcal L_{\mathrm{semantic}},
\quad
\mathcal L_{\mathrm{observer}},
$$

$$
\mathcal C_{\mathrm{graph}},
\quad
\mathcal C_{\mathrm{information}},
\quad
\mathcal C_{\mathrm{theory}},
\quad
\mathcal C_{\mathrm{observer-local}}.
$$

這不是增加第四元、第五元，而是：

$$
\boxed{
\text{coarse ontology}
\rightarrow
\text{typed refinement}.
}
$$

---

# 4. $L_3$：SSDC——共享狀態域耦合

從本版本起正式採用：

$$
\boxed{
\mathrm{SSDC}
=
\text{Shared-State Domain Coupling}.
}
$$

中文：

$$
\boxed{
\textbf{共享狀態域耦合}
}
$$

歷史：

$$
Co
$$

不再作為 canonical 母符號。

舊 $Co$ 的正式遷移為：

$$
\boxed{
Co_{\mathrm{legacy}}
\mapsto
\mathrm{SSDC}^{\mathrm{sync}}.
}
$$

舊 $Co$ 的「時間／版本同步」只被視為 SSDC 的一個特化，而不是 SSDC 的完整定義。

---

# 5. SSDC 基本定義

設兩個存在：

$$
A,\qquad B,
$$

具有狀態域：

$$
\mathcal S_A,
\qquad
\mathcal S_B.
$$

在條件 $q$ 下建立共同中介域：

$$
\mathcal Z_{AB}^{q}.
$$

定義：

$$
\phi_A^q:
\mathcal S_A
\rightarrow
\mathcal Z_{AB}^{q},
$$

$$
\phi_B^q:
\mathcal S_B
\rightarrow
\mathcal Z_{AB}^{q}.
$$

若可採共同表示，則共享域：

$$
\boxed{
\mathcal D_{AB}^{\mathrm{share},q}
=
\operatorname{Im}\phi_A^q
\cap
\operatorname{Im}\phi_B^q.
}
$$

更一般的 typed case 使用：

$$
\boxed{
\mathcal D_{AB}^{\mathrm{SSDC}}
=
\mathcal S_A
\times_{\mathcal Z_{AB}}
\mathcal S_B.
}
$$

也就是：

$$
\mathcal D_{AB}^{\mathrm{SSDC}}
=
\{
(a,b)
:
\phi_A(a)=\phi_B(b)
\}.
$$

---

# 6. 邊不是線；邊是一個域

對普通圖：

$$
G=(V,E),
$$

一條 relation 通常只寫成：

$$
e_{AB}\in E.
$$

新版 Canon 不再把所有 relation 壓成 binary flag。

對存在 $A,B$：

$$
\boxed{
e_{AB}^{q}
=
\left\langle
\mathcal D_{AB}^{\mathrm{share}},
T_{A\to B},
T_{B\to A},
\kappa_{A\to B},
\kappa_{B\to A},
\delta_{AB}
\right\rangle.
}
$$

因此：

$$
\boxed{
\textbf{An edge may itself carry a state domain.}
}
$$

中文：

$$
\boxed{
\textbf{邊不是只有線；邊可以是一個共享狀態域。}
}
$$

---

# 7. SSDC 的四個基本子結構

暫定：

$$
\boxed{
\mathrm{SSDC}_{AB}^{q}
=
(
Share,
Transport,
Couple,
Measure
)_{AB}^{q}.
}
$$

### Share

回答：A 與 B 真正共享什麼？

### Transport

$$
T_{A\rightarrow B}
$$

回答：A 的某狀態如何合法進入 B 可理解／可操作的表示域？

### Couple

$$
\kappa_{A\rightarrow B}
$$

回答：A 的狀態是否真的進入 B 的狀態更新？

### Measure

回答：共享多少、耦合多強、失真多少？

---

# 8. 共享不等於耦合

Canonical distinction：

$$
\boxed{
\text{Shared Domain}
\neq
\text{Active Coupling}.
}
$$

兩個系統即使存在：

$$
\mathcal D^{\mathrm{share}}\neq\varnothing,
$$

仍不代表：

$$
\kappa>0.
$$

真正 coupling 至少要求：

$$
x_B'
=
F_B
(
x_B,
T_{A\rightarrow B}(x_A)
)
$$

中 $x_A$ 的變化確實可以改變 $x_B'$。

---

# 9. 共享也不等於同一

Canonical prohibition：

$$
\boxed{
\mathrm{SSDC}(A,B)\uparrow
\not\Rightarrow
A=B.
}
$$

即使：

$$
\rho_{A\rightarrow B}
=
\rho_{B\rightarrow A}
=
1,
$$

仍只能表示：

> 在指定 $q$ 、指定狀態型別與指定 measurement 下，兩個存在的有效共享域高度重合。

不得直接推出 ontological identity。

---

# 10. SSDC 的方向性

共享不得預設對稱：

$$
\boxed{
\rho_{A\rightarrow B}
\neq
\rho_{B\rightarrow A}
}
$$

可以成立。

定義例如：

$$
\rho_{A\rightarrow B}
=
\frac{
M(\mathcal D_{AB}^{\mathrm{share}})
}{
M(\operatorname{Im}\phi_A)
},
$$

$$
\rho_{B\rightarrow A}
=
\frac{
M(\mathcal D_{AB}^{\mathrm{share}})
}{
M(\operatorname{Im}\phi_B)
}.
$$

其中 $M$ 是 typed measure，而非固定單一 Lebesgue measure。

它可以是：

- measure；
- dimension；
- entropy；
- semantic coverage；
- reachable-state coverage；
- causal degrees of freedom；
- computational capacity。

---

# 11. SSDC 與 Connection 的關係

目前 Canon：

$$
\boxed{
\mathrm{SSDC}
\subset
\mathfrak L
}
$$

只表示：SSDC 是 Connection family 中一個高度重要、可精細量化的 relational subtype。

但：

$$
\boxed{
\mathfrak L
\neq
\mathrm{SSDC}.
}
$$

因為 Connection 還可能包括：

- 單向引用；
- 無狀態傳輸；
- 純拓撲 adjacency；
- causal dependency；
- symbolic mapping；
- observer relation；

而未必形成真正共享狀態域。

---

# 12. $L_4$：Closure family

歷史 $Cl$ 繼續保留，但新版 canonical 形式為：

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

至少允許：

$$
Cl^{\mathrm{alg}},
\quad
Cl^{\mathrm{top}},
\quad
Cl^{\mathrm{causal}},
\quad
Cl^{\mathrm{semantic}},
\quad
Cl^{\mathrm{observer}},
\quad
Cl^{\mathrm{ont}}.
$$

這樣可以阻止：

$$
\text{algebraic closure}
\Rightarrow
\text{ontological closure}
$$

一類跨範疇跳躍。

Canonical 保留：

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

但不再預設所有 closure 都是一個無型別 $Cl$。

---

# 13. Circle 的現行地位

圓：

$$
\bigcirc
$$

不再是最高 primitive。

Canonical：

$$
\boxed{
\text{Circle}
=
\text{possible geometric realization / projection of closure}.
}
$$

而不是：

$$
\boxed{
\text{Circle}
=
\text{unique ontological primitive}.
}
$$

---

# 14. $L_5$：CRL——收連

Canonical：

$$
\boxed{
\mathrm{CRL}
=
\text{Convergent Re-linking}.
}
$$

中文：

$$
\boxed{
\text{收連}.
}
$$

CRL 不等於：

$$
\mathfrak C
$$

也不等於：

$$
\mathfrak L
$$

更不得預設：

$$
CRL
=
\mathfrak L\circ\mathfrak C.
$$

目前工作定義：

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

並要求：

1. 合併已證等價的分支；
2. 保存 unresolved divergence；
3. 建立下一階所需的新連接。

因此：

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

---

# 15. Closure 與 CRL 的現行關係

目前只建立：

$$
\boxed{
(Cl,CRL)
}
$$

作為候選擴張系統。

不得直接宣稱：

$$
CRL
\text{ 可由 bare }Cl
\text{ 推導}.
$$

目前狀態：**OPEN / theorem candidate**。

---

# 16. Commit 與 Rest 不屬於基本本體三元

保留：

$$
\mathcal K
=
\text{Commit}
$$

以及：

$$
\mathcal H
=
\text{Rest / temporary stabilization}.
$$

但目前歸入：

$$
\boxed{
\text{Runtime / governance / version dynamics}.
}
$$

而不是第四、第五本體 primitive。

---

# 17. Information 不採單一未分型 scalar

Canonical placeholder：

$$
\boxed{
\mathbf I(X)
=
(
I_S,
I_R,
I_C,
I_H,
I_B,
I_O,
I_P,
I_L,\ldots
).
}
$$

分別可代表：

- state；
- relation；
- causal；
- history；
- boundary；
- observer；
- provenance；
- latent；

等不同資訊型。

因此：

$$
I_S(X)=I_S(Y)
$$

不得直接推出：

$$
X=Y.
$$

---

# 18. Distortion 也必須 typed

對：

$$
T:X\rightarrow Y
$$

Canonical placeholder：

$$
\boxed{
\Delta_{\mathbf I}(T,X)
=
(
\Delta_S,
\Delta_R,
\Delta_C,
\Delta_H,
\Delta_B,
\Delta_O,
\Delta_P,\ldots
).
}
$$

因此「狀態資訊無損」不代表「歷史、來源、關係與邊界全部無損」。

---

# 19. Identity 不採裸等號作唯一模型

後續 canonical identity relation 採：

$$
\boxed{
X
\equiv_{o,s,\mathcal J,\epsilon}
Y.
}
$$

表示：

> 對 observer $o$ 、scale $s$ 、指定 invariants $\mathcal J$ 與 tolerance $\epsilon$ 而言， $X,Y$ 被判定為同一。

因此：

$$
X\equiv_{\mathcal J_1}Y
$$

與：

$$
X\not\equiv_{\mathcal J_2}Y
$$

可以同時成立，而不構成矛盾。

---

# 20. 正典歷史映射

目前暫定：

$$
\boxed{
\begin{array}{rcl}
\text{三元統一本體論}
&\rightarrow&
\mathfrak E,\mathfrak L,\mathfrak C
\\
\text{三元湧動論}
&\rightarrow&
\text{process interpretation}
\\
\text{DCO}
&\rightarrow&
\text{historical geometric closure lineage}
\\
\text{Closure Theory}
&\rightarrow&
\mathfrak{Cl}
\\
\text{Circle}
&\rightarrow&
\text{closure projection}
\\
\text{湧動一元}
&\rightarrow&
\Phi
\\
\text{Theory Breathing}
&\rightarrow&
\text{version dynamics}
\\
Co_{\mathrm{legacy}}
&\rightarrow&
SSDC^{\mathrm{sync}}
\\
\text{收連}
&\rightarrow&
CRL
\\
\text{差合化}
&\rightarrow&
\text{alternative typed operator realization}
\end{array}
}
$$

---

# 21. 一元—三元現行工作模型

目前最保守的整合不是：

$$
1=3.
$$

而是：

$$
\boxed{
1_{\mathrm{preformal}}
\rightarrow
3_{\mathrm{operational}}
\rightarrow
1_{\mathrm{asymptotic}}.
}
$$

即：

$$
\boxed{
\Phi
\rightsquigarrow
(
\mathfrak E,
\mathfrak L,
\mathfrak C
)
\rightsquigarrow
\Phi'.
}
$$

這是 structural working hypothesis，還不是 theorem。

---

# 22. $\Phi$ 與 $Cl$ 的最大未決問題

目前至少有兩個候選：

### Hypothesis A

$$
Cl=\Phi.
$$

### Hypothesis B

$$
\boxed{
Cl
=
\Pi_{\mathrm{formal}}(\Phi).
}
$$

目前 Canon 不裁決。

---

# 23. Canon 十條限制規則

## C-01 — Typed Before Unified

$$
\boxed{
\text{先分型，後統一}.
}
$$

## C-02 — Historical Symbols Are Immutable

舊論文不回寫改符號，只建立 migration layer。

## C-03 — Observer Dependence Must Be Explicit When Material

觀察者、尺度會改變結論時必須標記。

## C-04 — Connection Is Not Binary by Default

$$
e_{AB}
$$

可以攜帶完整 relational state domain。

## C-05 — Shared Domain Is Not Identity

$$
SSDC\uparrow
\not\Rightarrow
A=B.
$$

## C-06 — Synchronization Is a Subtype

$$
Sync
\subset
SSDC.
$$

## C-07 — Convergence Is Not Forced Consensus

未解差異必須允許保存。

## C-08 — Closure Must Be Typed

禁止無理由從某類 closure 跳成 universal closure。

## C-09 — Representation Is Not Ontology

$$
\Pi(X)
\neq
X
$$

一般情況下。

## C-10 — Open Relations Stay Open

沒有證明的 same、derived、equivalent 全部保留為 hypothesis，而不是靠統合文句偷偷升格。

---

# 24. 第一版母結構

至此可寫出目前的 canonical skeleton：

$$
\boxed{
\mathfrak O_{\mathrm{v0.1}}
=
\left\langle
\Phi;
\Omega,\Lambda,M;
\Pi;
\mathfrak E,\mathfrak L,\mathfrak C;
SSDC;
\mathfrak{Cl};
CRL;
\mathbf I,\Delta_{\mathbf I},\equiv,\partial;
\mathcal K,\mathcal H
\right\rangle.
}
$$

分號代表：

$$
\boxed{
\text{不同 ontology / operator / relation / runtime level},
}
$$

不是把它們宣稱成同階 primitives。

---

# 25. v0.1 的真正核心

如果必須把整份 Canon 壓成一句話：

$$
\boxed{
\begin{aligned}
&\text{存在不是只有節點；}\\
&\text{關係不是只有線；}\\
&\text{空白不是自動等於虛無；}\\
&\text{共享不是等於同一；}\\
&\text{收斂不是等於消除差異；}\\
&\text{閉合不是只有一種；}\\
&\text{三元不是三個固定函數，而是三個可持續精細化的變換方向族。}
\end{aligned}
}
$$

其中 SSDC 補上一個過去長期缺失的中間層：

$$
\boxed{
\text{兩個存在不只是「有沒有連接」，而是：
它們到底共享哪一個狀態域，以及彼此實際能作用到哪裡。}
}
$$

---

# 26. 下一步

下一份正典文件：

$$
\boxed{
\textbf{Ontology Genealogy \& Symbol Migration Map v0.1}
}
$$

專門處理歷史符號：

$$
C,\ C_0,\ Co,\ Cl,\ \mathcal C,\ E,\ L,\ V,\ \Delta,\ \mathcal U,\ \nabla,\ \Pi,\ \mathcal R.
$$

對每一個標記：

- canonical name；
- historical aliases；
- 保留／改名／棄用；
- specializes；
- refines；
- projects-to；
- supersedes-symbol；
- open-equivalence；
- source lineage。

完成後再進入七篇核心系列。