← Archive
lm-002972 · 2026-08

EveMissLab Ontology Canon v0.1

下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料,可獨立下載重驗

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、差合化、理論呼吸、同步算子 CoCo 、Convergent Re-linking 等研究,並非完全互斥。

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

典型例子包括:

C,C0,Co,Cl,CC,\quad C_0,\quad Co,\quad Cl,\quad \mathcal C

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

因此,本 Canon 採取:

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

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


1. 第一原則:先分型,再統一

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

X=Y.X=Y.

必須先回答:

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

因此:

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

以及:

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

2. 正典層級

目前採用以下分層:

O=[L1,L0,L1,L2,L3,L4,L5].\boxed{ \mathfrak O = \left[ L_{-1}, L_0, L_1, L_2, L_3, L_4, L_5 \right]. }

2.1 L1L_{-1}:前形式/未定型層

Canonical primitive:

Φ\boxed{\Phi}

暫稱:Surging Unary / 湧動一元

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

它表示:

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

目前工作關係為:

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

但:

Φ=Cl\Phi=Cl

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


2.2 L0L_0:載域—潛能—顯現層

令:

Ω\boxed{\Omega}

表示 Carrier Domain / 載域。

令:

Λ\boxed{\Lambda}

表示 Latent Structure / 潛在結構域。

令:

M\boxed{M}

表示 Manifest Structure / 顯現結構。

因此至少區分:

ΩΛM.\boxed{ \Omega \neq \Lambda \neq M. }

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

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

Canonical rule:

Imanifest0⇏Ilatent=0.\boxed{ I_{\mathrm{manifest}}\approx0 \not\Rightarrow I_{\mathrm{latent}}=0. }

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

因此:

Blank\boxed{ \text{Blank} }

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


2.3 L1L_1:觀察者與投影

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

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

其中:

  • oo:observer;
  • ss:scale;
  • rr:resolution;
  • dd:representation / semantic depth。

因此:

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

這意味著:

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

以及:

Converged(X;o1,s1)Converged(X;o2,s2).\boxed{ \operatorname{Converged}(X;o_1,s_1) \nRightarrow \operatorname{Converged}(X;o_2,s_2). }

2.4 L2L_2:三元基本算子族

舊三元本體論中的:

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

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

E={Eα}αA\boxed{ \mathfrak E = \{\mathcal E_\alpha\}_{\alpha\in A} } L={Lβ}βB\boxed{ \mathfrak L = \{\mathcal L_\beta\}_{\beta\in B} } C={Cγ}γC.\boxed{ \mathfrak C = \{\mathcal C_\gamma\}_{\gamma\in C}. }

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

Expansion family

E\mathfrak E

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

Connection family

L\mathfrak L

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

Convergence family

C\mathfrak C

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

歷史差合化三元組:

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

目前保留為:

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

不是當前唯一正典基底。


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

Canonical rule:

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

因此可以存在:

Esemantic,Estructural,Edimensional,\mathcal E_{\mathrm{semantic}}, \quad \mathcal E_{\mathrm{structural}}, \quad \mathcal E_{\mathrm{dimensional}}, Lcausal,Lsemantic,Lobserver,\mathcal L_{\mathrm{causal}}, \quad \mathcal L_{\mathrm{semantic}}, \quad \mathcal L_{\mathrm{observer}}, Cgraph,Cinformation,Ctheory,Cobserverlocal.\mathcal C_{\mathrm{graph}}, \quad \mathcal C_{\mathrm{information}}, \quad \mathcal C_{\mathrm{theory}}, \quad \mathcal C_{\mathrm{observer-local}}.

這不是增加第四元、第五元,而是:

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

4. L3L_3:SSDC——共享狀態域耦合

從本版本起正式採用:

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

中文:

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

歷史:

CoCo

不再作為 canonical 母符號。

CoCo 的正式遷移為:

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

CoCo 的「時間/版本同步」只被視為 SSDC 的一個特化,而不是 SSDC 的完整定義。


5. SSDC 基本定義

設兩個存在:

A,B,A,\qquad B,

具有狀態域:

SA,SB.\mathcal S_A, \qquad \mathcal S_B.

在條件 qq 下建立共同中介域:

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

定義:

ϕAq:SAZABq,\phi_A^q: \mathcal S_A \rightarrow \mathcal Z_{AB}^{q}, ϕBq:SBZABq.\phi_B^q: \mathcal S_B \rightarrow \mathcal Z_{AB}^{q}.

若可採共同表示,則共享域:

DABshare,q=ImϕAqImϕBq.\boxed{ \mathcal D_{AB}^{\mathrm{share},q} = \operatorname{Im}\phi_A^q \cap \operatorname{Im}\phi_B^q. }

更一般的 typed case 使用:

DABSSDC=SA×ZABSB.\boxed{ \mathcal D_{AB}^{\mathrm{SSDC}} = \mathcal S_A \times_{\mathcal Z_{AB}} \mathcal S_B. }

也就是:

DABSSDC={(a,b):ϕA(a)=ϕB(b)}.\mathcal D_{AB}^{\mathrm{SSDC}} = \{ (a,b) : \phi_A(a)=\phi_B(b) \}.

6. 邊不是線;邊是一個域

對普通圖:

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

一條 relation 通常只寫成:

eABE.e_{AB}\in E.

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

對存在 A,BA,B

eABq=DABshare,TAB,TBA,κAB,κBA,δAB.\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. }

因此:

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

中文:

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

7. SSDC 的四個基本子結構

暫定:

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

Share

回答:A 與 B 真正共享什麼?

Transport

TABT_{A\rightarrow B}

回答:A 的某狀態如何合法進入 B 可理解/可操作的表示域?

Couple

κAB\kappa_{A\rightarrow B}

回答:A 的狀態是否真的進入 B 的狀態更新?

Measure

回答:共享多少、耦合多強、失真多少?


8. 共享不等於耦合

Canonical distinction:

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

兩個系統即使存在:

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

仍不代表:

κ>0.\kappa>0.

真正 coupling 至少要求:

xB=FB(xB,TAB(xA))x_B' = F_B ( x_B, T_{A\rightarrow B}(x_A) )

xAx_A 的變化確實可以改變 xBx_B'


9. 共享也不等於同一

Canonical prohibition:

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

即使:

ρAB=ρBA=1,\rho_{A\rightarrow B} = \rho_{B\rightarrow A} = 1,

仍只能表示:

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

不得直接推出 ontological identity。


10. SSDC 的方向性

共享不得預設對稱:

ρABρBA\boxed{ \rho_{A\rightarrow B} \neq \rho_{B\rightarrow A} }

可以成立。

定義例如:

ρAB=M(DABshare)M(ImϕA),\rho_{A\rightarrow B} = \frac{ M(\mathcal D_{AB}^{\mathrm{share}}) }{ M(\operatorname{Im}\phi_A) }, ρBA=M(DABshare)M(ImϕB).\rho_{B\rightarrow A} = \frac{ M(\mathcal D_{AB}^{\mathrm{share}}) }{ M(\operatorname{Im}\phi_B) }.

其中 MM 是 typed measure,而非固定單一 Lebesgue measure。

它可以是:

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

11. SSDC 與 Connection 的關係

目前 Canon:

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

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

但:

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

因為 Connection 還可能包括:

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

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


12. L4L_4:Closure family

歷史 ClCl 繼續保留,但新版 canonical 形式為:

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

至少允許:

Clalg,Cltop,Clcausal,Clsemantic,Clobserver,Clont.Cl^{\mathrm{alg}}, \quad Cl^{\mathrm{top}}, \quad Cl^{\mathrm{causal}}, \quad Cl^{\mathrm{semantic}}, \quad Cl^{\mathrm{observer}}, \quad Cl^{\mathrm{ont}}.

這樣可以阻止:

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

一類跨範疇跳躍。

Canonical 保留:

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

但不再預設所有 closure 都是一個無型別 ClCl


13. Circle 的現行地位

圓:

\bigcirc

不再是最高 primitive。

Canonical:

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

而不是:

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

14. L5L_5:CRL——收連

Canonical:

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

中文:

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

CRL 不等於:

C\mathfrak C

也不等於:

L\mathfrak L

更不得預設:

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

目前工作定義:

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

並要求:

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

因此:

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

15. Closure 與 CRL 的現行關係

目前只建立:

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

作為候選擴張系統。

不得直接宣稱:

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

目前狀態:OPEN / theorem candidate


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

保留:

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

以及:

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

但目前歸入:

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

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


17. Information 不採單一未分型 scalar

Canonical placeholder:

I(X)=(IS,IR,IC,IH,IB,IO,IP,IL,).\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;

等不同資訊型。

因此:

IS(X)=IS(Y)I_S(X)=I_S(Y)

不得直接推出:

X=Y.X=Y.

18. Distortion 也必須 typed

對:

T:XYT:X\rightarrow Y

Canonical placeholder:

ΔI(T,X)=(ΔS,ΔR,ΔC,ΔH,ΔB,ΔO,ΔP,).\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 採:

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

表示:

對 observer oo 、scale ss 、指定 invariants J\mathcal J 與 tolerance ϵ\epsilon 而言, X,YX,Y 被判定為同一。

因此:

XJ1YX\equiv_{\mathcal J_1}Y

與:

X̸J2YX\not\equiv_{\mathcal J_2}Y

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


20. 正典歷史映射

目前暫定:

三元統一本體論E,L,C三元湧動論process interpretationDCOhistorical geometric closure lineageClosure TheoryClCircleclosure projection湧動一元ΦTheory Breathingversion dynamicsColegacySSDCsync收連CRL差合化alternative typed operator realization\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.1=3.

而是:

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

即:

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

這是 structural working hypothesis,還不是 theorem。


22. Φ\PhiClCl 的最大未決問題

目前至少有兩個候選:

Hypothesis A

Cl=Φ.Cl=\Phi.

Hypothesis B

Cl=Πformal(Φ).\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

eABe_{AB}

可以攜帶完整 relational state domain。

C-05 — Shared Domain Is Not Identity

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

C-06 — Synchronization Is a Subtype

SyncSSDC.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

Π(X)X\Pi(X) \neq X

一般情況下。

C-10 — Open Relations Stay Open

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


24. 第一版母結構

至此可寫出目前的 canonical skeleton:

Ov0.1=Φ;Ω,Λ,M;Π;E,L,C;SSDC;Cl;CRL;I,ΔI,,;K,H.\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. }

分號代表:

不同 ontology / operator / relation / runtime level,\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. 下一步

下一份正典文件:

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

專門處理歷史符號:

C, C0, Co, Cl, C, E, L, V, Δ, U, , Π, R.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。

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