# 差異不等於斷裂：從差合化到共享比較域

**英文題名：** Difference Is Not Disconnection: From Differential–Integrative Dynamics to Shared Comparison Domains  
**系列：** 《觀察態、邊界與相對連通本體論》07  
**作者：** Neo.K  
**AI 協作：** GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**文件性質：** 差異本體論／關係本體論／比較域與判定框架  
**版本：** v0.1  
**日期：** 2026-08-25  
**狀態：** Working Paper  
**正典上游：** EveMissLab Ontology Canon v0.1（2026-08-15）  
**前置文件：**  
1. 《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》v0.1  
2. 《觀察不是存在的底，卻可能是可理解的底》v0.1  
3. 《「無」的分類學：零、空集、未定義、缺席、未激活、不可存取與非指稱》v0.1  
4. 《可觀察的無已不是絕對無：非指稱、指稱邊界與絕對區分悖論》v0.1  
5. 《邊界不是斷裂：牆、介質、共享狀態域與可承載狀態的邊》v0.1  
6. 《連通不是布林值：型別化連通、弱連通與多關係可達性》v0.1  
**理論關聯：** 差合化三位一體本體論、SSDC、視之基底、型別化三元算子族、EveMissLab Ontology Canon

---

## 摘要

「不同」經常被直覺地理解成「分開」；「有差異」則容易被推成「沒有連通」。但這個推論在邏輯、數學、物理、語義、認知與系統理論中都過度強烈。

本文提出最基本的分離命題：

$$
\boxed{
D_{\Theta}(x,y)>0
\not\Rightarrow
C_{\Theta,R}(x,y)=0
}
$$

其中 $D_{\Theta}(x,y)$ 表示在觀察／判定條件 $\Theta$ 下， $x,y$ 具有可辨識差異； $C_{\Theta,R}(x,y)$ 則表示在 relation type $R$ 下的型別化連通狀態。

差異與連通因此不是同一軸的相反值。兩個系統完全可以：

$$
D_{\Theta}(x,y)>0
$$

同時：

$$
C_{\Theta,R}(x,y)=1.
$$

甚至在許多動力系統中，差異本身正是流、張力、交換與耦合的驅動條件。例如：

$$
\Delta T\neq0
\Rightarrow
Q\neq0
$$

在一定物理條件下可以成立；沒有溫差，反而可能沒有熱流。這說明：

$$
\boxed{
\text{Difference may enable relation dynamics.}
}
$$

本文進一步處理一個更深的問題：如果我們說：

$$
x\neq y,
$$

這個判定本身需要什麼？

本文主張，任何有效的差異判定至少需要某種「共享比較域」：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}(x,y)
}
$$

或至少一套共同判定規則，使 $x,y$ 能被放入同一判定框架中。這不代表 $x,y$ 在物理上互相連通，也不代表它們共享所有狀態；它只表示：

$$
\boxed{
\text{可比較性本身需要某種共同判定結構。}
}
$$

因此：

$$
\boxed{
x\neq y
\Rightarrow
\exists \mathcal Z_{\mathrm{cmp}}
}
$$

在「有效、已形成的形式判定」意義下可作為工作命題，但必須附帶限制：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\not\Rightarrow
C_{\mathrm{causal}}=1.
}
$$

本文將這個共同比較域與 SSDC 的 shared-state domain 區分。前者只需要「可共同判定」，後者要求更強的狀態映射與共享結構。因此：

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

本文也把差合化重新放回 Canon：差異不是斷裂，而是 typed distinction；合也不是抹除差異，而是建立某種 shared domain、composition、coupling 或 convergence；化則表示狀態或關係在時間中的合法轉換。於是：

$$
\boxed{
\Delta
\neq
\text{Disconnection},
\qquad
\mathcal U
\neq
\text{Identity Collapse},
\qquad
\nabla
\neq
\text{Erasure}.
}
$$

本文最後提出「差異—連通雙軸模型」：

$$
\boxed{
\mathbf X_{\Theta,R}(x,y)
=
\left(
D_{\Theta}(x,y),
C_{\Theta,R}(x,y)
\right).
}
$$

這允許四種基本象限：

1. 高差異、高連通；
2. 高差異、低連通；
3. 低差異、高連通；
4. 低差異、低連通。

因此「差異越大越不連通」不再是預設公理，而只能是某些特定系統中的經驗性關係。

**關鍵詞：** 差異、差合化、共享比較域、comparison domain、SSDC、connectivity、typed distinction、relation、coupling、identity、observer-indexed ontology

---

# 0. 問題：不同為什麼常被想成分開？

自然語言很容易把以下詞語串在一起：

- 不同；
- 分開；
- 隔離；
- 不連通；
- 不相容；
- 不相干。

但它們其實屬於不同型別。

$$
x\neq y
$$

只表示某套判定系統把 $x,y$ 視為不同。

而：

$$
C_R(x,y)=0
$$

表示指定 relation type $R$ 下沒有合法連通 witness。

所以：

$$
\boxed{
x\neq y
\not\Rightarrow
C_R(x,y)=0.
}
$$

---

# 1. 差異的最低定義

令：

$$
\mathcal F
=
\{f_1,\ldots,f_n\}
$$

為一組可比較特徵。

定義：

$$
D_{\mathcal F}(x,y)
=
\Delta
\left(
f_1(x),f_1(y),
\ldots,
f_n(x),f_n(y)
\right).
$$

只要：

$$
D_{\mathcal F}(x,y)>0,
$$

就表示至少一個 feature axis 上可區分。

因此：

$$
\boxed{
\text{difference}
=
\text{distinguishability under a comparison regime}.
}
$$

---

# 2. 差異不是絕對裸值

若改變：

$$
\mathcal F
$$

或：

$$
\Theta,
$$

則：

$$
D_{\Theta,\mathcal F}(x,y)
$$

也可能改變。

例如兩個對象在顏色上相同，在質量上不同。

所以：

$$
\boxed{
D(x,y)
}
$$

最好也 typed / indexed。

---

# 3. 差異與 observer

對 observer $o_1$：

$$
D_{o_1}(x,y)=0.
$$

對 observer $o_2$：

$$
D_{o_2}(x,y)>0.
$$

可能同時成立。

例如 $o_1$ 解析度不足。

因此：

$$
\boxed{
\text{unobserved difference}
\neq
\text{no difference}.
}
$$

---

# 4. 被判定差異與世界差異

應區分：

$$
D_{\mathrm{world}}(x,y)
$$

與：

$$
D_{\Theta}^{\mathrm{judged}}(x,y).
$$

一般：

$$
\boxed{
D_{\Theta}^{\mathrm{judged}}
=
\Pi_{\Theta}
(
D_{\mathrm{world}}
)
}
$$

只是一個工作表示。

它不主張 observer 創造所有差異。

---

# 5. 差異—連通分離原則

本文提出：

## Principle DCP-1

$$
\boxed{
D_{\Theta}(x,y)>0
\not\Rightarrow
C_{\Theta,R}(x,y)=0.
}
$$

反之：

$$
\boxed{
C_{\Theta,R}(x,y)=0
\not\Rightarrow
D_{\Theta}(x,y)>0.
}
$$

可能只是 relation 不適用。

---

# 6. 高差異、高連通

最常見的反例就是熱傳。

若：

$$
T_A\neq T_B,
$$

存在溫差：

$$
\Delta T>0.
$$

在導熱條件下：

$$
Q
=
-kA
\frac{\Delta T}{L}.
$$

所以：

$$
\Delta T\neq0
$$

反而是：

$$
Q\neq0
$$

的驅動條件。

因此：

$$
\boxed{
\text{difference can drive flow}.
}
$$

---

# 7. 電位差與流

同理：

$$
\Delta V\neq0
$$

在電路條件下可以產生：

$$
I\neq0.
$$

所以：

$$
\boxed{
D>0
}
$$

可以與：

$$
C_{\mathrm{electrical}}=1
$$

同時成立。

---

# 8. 壓力差與流

$$
\Delta P\neq0
$$

可以產生流體 transport。

因此：

$$
\boxed{
\text{difference}
}
$$

不只是 relation 的障礙，也可能是 relation dynamics 的 source term。

---

# 9. 語義差異與溝通

兩個語言：

$$
L_1\neq L_2
$$

可以有 translator：

$$
F:L_1\to L_2.
$$

所以：

$$
D_{\mathrm{semantic}}(L_1,L_2)>0
$$

同時：

$$
C_{\mathrm{translation}}(L_1,L_2)=1.
$$

---

# 10. 差異不等於不相容

即使：

$$
x\neq y,
$$

也可能：

$$
\operatorname{Composable}(x,y)=1.
$$

例如不同型別模組可透過 interface 組合。

所以：

$$
\boxed{
\text{difference}
\neq
\text{incompatibility}.
}
$$

---

# 11. 不相容也不等於不連通

兩個資料格式不能直接合併：

$$
\operatorname{Composable}_{\mathrm{direct}}=0,
$$

但可經：

$$
F_{\mathrm{convert}}
$$

形成 mediated connectivity。

因此：

$$
\boxed{
\text{incompatibility}
\neq
\text{absolute disconnection}.
}
$$

---

# 12. 為什麼差異判定需要共同域？

要說：

$$
x\neq y,
$$

至少需要：

1. $x$ 的地址；
2. $y$ 的地址；
3. 某種 equality / distinction rule；
4. 某種可同時作用於兩者的判定接口。

因此存在：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}(x,y).
}
$$

本文稱：

$$
\boxed{
\text{Shared Comparison Domain}.
}
$$

---

# 13. 共享比較域的最小形式

定義：

$$
\phi_x:
X
\to
\mathcal Z_{\mathrm{cmp}},
$$

$$
\phi_y:
Y
\to
\mathcal Z_{\mathrm{cmp}}.
$$

則：

$$
\phi_x(x),
\phi_y(y)
$$

可以在同一 comparison rule：

$$
\delta_{\mathrm{cmp}}
$$

下被判定。

例如：

$$
D(x,y)
=
\delta_{\mathrm{cmp}}
(
\phi_x(x),
\phi_y(y)
).
$$

---

# 14. 沒有共同型別也可比較嗎？

可以，只要存在跨型別比較器：

$$
\chi:
X\times Y
\to
\mathcal Z_{\mathrm{cmp}}.
$$

因此「共同域」不必先要求 $X=Y$。

這是 heterogeneous comparison。

---

# 15. 比較域不是共享狀態域

SSDC 的 shared state domain 更強。

Comparison domain 只要求：

$$
\boxed{
\text{co-judgeability}.
}
$$

SSDC 則要求兩邊能映入某種 shared-state structure。

所以：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\neq
\mathcal D_{\mathrm{share}}.
}
$$

---

# 16. 共享比較域不等於 active coupling

即使：

$$
\mathcal Z_{\mathrm{cmp}}
$$

存在，也可能：

$$
T_{x\to y}=0.
$$

因此：

$$
\boxed{
\text{co-comparability}
\neq
\text{transport}.
}
$$

---

# 17. 比較本身形成 meta-relation

若 observer $o$ 同時判定：

$$
x,y,
$$

至少建立：

$$
R_{\mathrm{cmp}}(x,y;o).
$$

所以：

$$
\boxed{
\text{difference judgement itself is relational}.
}
$$

但：

$$
R_{\mathrm{cmp}}
$$

是 meta-level relation，不是 object-level physical relation。

---

# 18. Meta Relation No-Go

$$
\boxed{
R_{\mathrm{cmp}}(x,y)=1
\not\Rightarrow
C_{\mathrm{physical}}(x,y)=1.
}
$$

這避免「既然可以比較，所以物理上相連」的錯誤。

---

# 19. 差異的存在需要對照嗎？

本文區分兩層。

Object-level：

$$
x
$$

可以具有自己的狀態。

Judgement-level：

$$
D(x,y)>0
$$

需要 comparison relation。

所以：

$$
\boxed{
\text{state difference may exist}
}
$$

與：

$$
\boxed{
\text{difference judgement exists}
}
$$

不能混同。

---

# 20. 差合化的重新定位

歷史差合化三元組：

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

可重新理解為：

- $\Delta$：差異生成／展開／區分；
- $\mathcal U$：合法合、連接、共享或組合；
- $\nabla$：化、轉換、收斂或重構。

本文不把它們視為三個唯一原子算子，而視為 historical realization。

---

# 21. 差不等於斷

$$
\boxed{
\Delta
\neq
\mathrm{Disconnection}.
}
$$

 $\Delta$ 只表示 distinction increase 或 difference emergence。

---

# 22. 合不等於同一

$$
\boxed{
\mathcal U
\neq
\mathrm{IdentityCollapse}.
}
$$

合可以表示：

- composition；
- coupling；
- shared domain；
- interface；
- relation formation。

不必抹掉差異。

---

# 23. 化不等於消失

$$
\boxed{
\nabla
\neq
\mathrm{Erasure}.
}
$$

化可以是：

- transformation；
- convergence；
- reconfiguration；
- state transition。

結果仍可保留歷史與差異。

---

# 24. 差與合可同時存在

可以：

$$
D(x,y)>0
$$

同時：

$$
C_R(x,y)=1.
$$

所以：

$$
\boxed{
\Delta
+
\mathcal U
}
$$

不是矛盾組合。

---

# 25. 差異與邊界

差異可能使 boundary 可被定義：

$$
D(A,B)>0
\Rightarrow
\exists \mathcal B_{AB}
$$

在某些模型中。

但不能普遍推出。

因為 boundary 是 operation / relation-regulating structure，而不只是 difference marker。

所以：

$$
\boxed{
\text{difference}
\neq
\text{boundary}.
}
$$

---

# 26. 邊界可維持差異

Series 05 已指出 boundary 可以保存 identity。

若：

$$
\mathcal B
$$

限制 mixing，

則：

$$
D_t(A,B)>0
$$

可持續。

所以：

$$
\boxed{
\text{boundary can preserve difference without eliminating connectivity}.
}
$$

---

# 27. 半滲透邊界與差異保存

若：

$$
0<
\lambda_R
<
1,
$$

則：

- 某些狀態可交換；
- 某些差異被保留。

因此：

$$
\boxed{
\text{selective connectivity}
}
$$

可以支持：

$$
\boxed{
\text{persistent difference}.
}
$$

---

# 28. 完全連通也不必抹除差異

即使：

$$
C_R(x,y)=1,
$$

也不代表：

$$
D(x,y)\to0.
$$

連通只表示 relation witness 存在。

它不規定 convergence rate。

---

# 29. 收斂才與差異變化直接相關

若：

$$
\mathcal C_{\mathrm{conv}}
$$

作用於：

$$
D_t(x,y),
$$

可能有：

$$
D_{t+1}<D_t.
$$

但 connectivity：

$$
C_R=1
$$

本身不保證這一點。

因此：

$$
\boxed{
\text{connectivity}
\neq
\text{convergence}.
}
$$

---

# 30. 連通甚至可以放大差異

如果 coupling 是正回饋：

$$
D_{t+1}
>
D_t,
$$

即使：

$$
C_R=1.
$$

所以：

$$
\boxed{
\text{coupling may amplify difference}.
}
$$

---

# 31. 差異—連通雙軸

定義：

$$
\boxed{
\mathbf X_{\Theta,R}(x,y)
=
\left(
D_{\Theta}(x,y),
C_{\Theta,R}(x,y)
\right).
}
$$

這是本文的核心狀態表示。

---

# 32. 四象限

若簡化：

$$
D\in\{\mathrm{low},\mathrm{high}\},
$$

$$
C\in\{\mathrm{low},\mathrm{high}\},
$$

得到四象限。

---

## 32.1 高差異、高連通

例：

- 多語翻譯；
- 異質模組 API；
- 熱差驅動傳熱；
- 生態共生。

---

## 32.2 高差異、低連通

例：

- 隔離系統；
- incompatible protocol；
- 封閉權限域。

---

## 32.3 低差異、高連通

例：

- tightly synchronized replicas；
- highly coupled homogeneous systems。

---

## 32.4 低差異、低連通

例：

- 兩個幾乎相同但互不通信的 isolated copies。

因此：

$$
\boxed{
D
}
$$

與：

$$
C
$$

是不同軸。

---

# 33. 差異不代表距離

$$
D(x,y)
$$

可能是 semantic difference。

而 graph distance：

$$
d_G(x,y)
$$

是 path structure。

所以：

$$
\boxed{
D(x,y)
\neq
d_G(x,y).
}
$$

兩者不能混成同一「遠近」。

---

# 34. 差異與拓撲距離

即使：

$$
d(x,y)\to0,
$$

也可能：

$$
x\neq y.
$$

同樣：

$$
D(x,y)\gg0
$$

不必意味 topology disconnected。

因此：

$$
\boxed{
\text{difference magnitude}
\neq
\text{topological connectedness}.
}
$$

---

# 35. 差異與 measure-zero 不相干

差異可以存在於 measure-zero set，也可以存在於大 measure region。

所以：

$$
\boxed{
\text{difference}
\neq
\text{measure argument}.
}
$$

本系列不以 measure-zero 解釋 ontological connection。

---

# 36. 差異與因果也不能直接等同

若：

$$
D(x,y)>0,
$$

不表示：

$$
x\to y.
$$

差異只是 condition，不是 causation witness。

---

# 37. 差異與資訊

在資訊論中，可區分狀態通常帶來 information capacity。

但：

$$
\boxed{
\text{difference}
\neq
\text{information transfer}.
}
$$

要 transfer 還需要 channel / coupling。

---

# 38. 差異與觀察

若 observer 無法區分：

$$
\Pi_o(x)=\Pi_o(y),
$$

則：

$$
D_o(x,y)=0.
$$

但世界層：

$$
D_{\mathrm{world}}(x,y)>0
$$

可能仍成立。

所以：

$$
\boxed{
\text{observational identity}
\neq
\text{ontological identity}.
}
$$

---

# 39. 完美不可區分

若對 observer class $\mathcal O$：

$$
\forall o\in\mathcal O:
\Pi_o(x)=\Pi_o(y),
$$

則只能說：

$$
\boxed{
x
\equiv_{\mathcal O}
y.
}
$$

這是 observer-relative equivalence。

不能直接推出：

$$
x=y.
$$

---

# 40. 等價類與差異壓縮

Observer 可以形成 equivalence class：

$$
[x]_{\sim_o}.
$$

此時不同 object 被 projection 壓成同一 observed state。

因此：

$$
\boxed{
\text{equivalence}
}
$$

常是 observer-induced compression。

---

# 41. 差異的解析度門檻

若：

$$
D(x,y)<\epsilon_o,
$$

observer $o$ 可能判定：

$$
x\equiv_o y.
$$

因此：

$$
\boxed{
\epsilon_o
}
$$

是 difference resolution threshold。

---

# 42. 連通的解析度與差異解析度可以不同

Observer 可能：

- 看不出 $x,y$ 差異；
- 卻能看出它們有 relation。

或反過來。

所以：

$$
\boxed{
\rho_D
\neq
\rho_C.
}
$$

---

# 43. 比較域的型別

可以有：

$$
\mathcal Z_{\mathrm{cmp}}^{\mathrm{metric}},
$$

$$
\mathcal Z_{\mathrm{cmp}}^{\mathrm{semantic}},
$$

$$
\mathcal Z_{\mathrm{cmp}}^{\mathrm{structural}},
$$

$$
\mathcal Z_{\mathrm{cmp}}^{\mathrm{functional}}.
$$

不同 comparison domain 產生不同 difference judgement。

---

# 44. 一對對象可以有多個差異向量

定義：

$$
\boxed{
\mathbf D_{\Theta}(x,y)
=
(
D_1,
D_2,
\ldots,
D_m
).
}
$$

所以 difference 本身也不是單一 scalar。

---

# 45. 差異向量與連通向量

現在可以形成：

$$
\boxed{
\mathbf S_{\Theta}(x,y)
=
\left(
\mathbf D_{\Theta}(x,y),
\mathbf C_{\Theta}(x,y)
\right).
}
$$

這是比單一：

$$
x\neq y
$$

或：

$$
C=0
$$

更完整的 relational state。

---

# 46. 差異與共享域

如果：

$$
\mathcal D_{\mathrm{share}}\neq\varnothing,
$$

共享域本身可能只覆蓋部分 feature。

因此：

$$
D_{\mathrm{global}}(x,y)>0
$$

同時：

$$
D_{\mathrm{share}}(x,y)=0
$$

可能成立。

---

# 47. 局部相同、全域不同

例如：

$$
\phi_x(x)=\phi_y(y)
$$

在 shared domain 中相同。

但：

$$
x\neq y
$$

在更大 domain 中仍不同。

因此：

$$
\boxed{
\text{shared-state equality}
\neq
\text{global identity}.
}
$$

---

# 48. 局部不同、全域可同構

反過來，不同 representation 可以存在 isomorphism：

$$
x
\cong
y.
$$

因此：

$$
D_{\mathrm{representation}}>0
$$

同時：

$$
D_{\mathrm{structure}}=0
$$

也可能成立。

---

# 49. 差異的層級

因此可以區分：

$$
D_{\mathrm{token}},
D_{\mathrm{representation}},
D_{\mathrm{semantic}},
D_{\mathrm{structural}},
D_{\mathrm{functional}},
D_{\mathrm{ontological}}.
$$

這些不能提前合併。

---

# 50. Difference Type No-Go

$$
\boxed{
D_{\mathrm{representation}}>0
\not\Rightarrow
D_{\mathrm{semantic}}>0.
}
$$

$$
\boxed{
D_{\mathrm{semantic}}>0
\not\Rightarrow
D_{\mathrm{functional}}>0.
}
$$

這和 connectivity typedness 完全平行。

---

# 51. 差合化與新 Canon 的映射

歷史三元：

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

可對應至當前 operator families：

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

但只是：

$$
\boxed{
\text{historical realization / alternative basis}.
}
$$

不是唯一 identity。

---

# 52. 差異增加可被視為 Expansion

若：

$$
|\operatorname{DistinguishableStates}_{t+1}|
>
|\operatorname{DistinguishableStates}_t|,
$$

可理解成：

$$
\mathcal E_{\mathrm{difference}}.
$$

所以差異化可視為 Expansion family 的一個實例。

---

# 53. 合可被視為 Connection

若建立：

$$
R(x,y),
$$

可以是：

$$
\mathcal L_{\mathrm{relation}}.
$$

因此 historical $\mathcal U$ 與 Connection family 有關，但不等同全部 Connection。

---

# 54. 化可對應 Convergence 或 Transformation

若：

$$
x_t
\to
x_{t+1},
$$

可能是：

- convergence；
- transformation；
- reconfiguration。

所以 historical $\nabla$ 不應只等同數學梯度或單一收斂。

---

# 55. 差合化的核心價值保留

雖然符號正典已更新，但差合化的核心直覺仍可保留：

$$
\boxed{
\text{difference}
+
\text{relation}
+
\text{transformation}
}
$$

是許多動態結構的基本描述。

---

# 56. 共享比較域與 SSDC 的橋

若：

$$
\mathcal Z_{\mathrm{cmp}}
$$

進一步具有雙方狀態映射：

$$
\phi_x,
\phi_y
$$

並能形成：

$$
\mathcal D_{\mathrm{share}},
$$

則 comparison domain 可以升級成 shared-state domain。

因此：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\rightsquigarrow
\mathcal D_{\mathrm{share}}
}
$$

是一種可能的結構強化。

---

# 57. 但 comparison 不必升級

有些比較只需要外部 observer。

例如：

$$
o
$$

同時測量兩顆互不作用的天體。

此時：

$$
\mathcal Z_{\mathrm{cmp}}
$$

存在，

但：

$$
\mathcal D_{\mathrm{share}}
$$

不必存在。

---

# 58. Observer-Mediated Comparison

可寫：

$$
x
\to
o
\leftarrow
y.
$$

這建立：

$$
R_{\mathrm{cmp}}.
$$

但不是：

$$
x
\leftrightarrow
y.
$$

因此：

$$
\boxed{
\text{comparison mediation}
\neq
\text{object coupling}.
}
$$

---

# 59. 差異判定的 provenance

正式 difference judgement 應保存：

$$
\boxed{
\operatorname{Prov}(D_{\Theta}(x,y)).
}
$$

至少包括：

- observer；
- feature set；
- scale；
- resolution；
- comparator；
- time；
- evidence。

---

# 60. 差異沒有 provenance 的問題

若只寫：

$$
x\neq y,
$$

可能不知道差在哪裡。

所以形式系統最好能提供：

$$
W_D(x,y).
$$

即 difference witness。

---

# 61. Difference Witness

定義：

$$
\boxed{
W_D
=
\langle
f,
f(x),
f(y),
\delta,
\Theta
\rangle.
}
$$

若：

$$
\delta(f(x),f(y))>0,
$$

則 witness 支持差異判定。

---

# 62. Negative Difference Witness

若要證明：

$$
D_{\Theta}(x,y)=0,
$$

也需要：

$$
W^-_D.
$$

例如完整 feature domain 中：

$$
\forall f\in\mathcal F:
f(x)=f(y).
$$

若 feature set 不完整，只能說 observational equivalence。

---

# 63. 完全相同也是強命題

$$
D(x,y)=0
$$

若被理解為所有可能 feature 上無差異，需要極強完備性。

因此：

$$
\boxed{
\text{no observed difference}
\neq
\text{absolute identity}.
}
$$

這與 Series 06 的 NoPathFound / NoPathExists 完全對稱。

---

# 64. 差異與「無」的關係

Series 03 說：

$$
\mathrm{absent}
\neq
\mathrm{undefined}.
$$

這其實也是差異分類。

所以負狀態 taxonomy 本身就是一種：

$$
\mathcal E_{\mathrm{difference}}.
$$

它把原本被壓成「無」的狀態重新展開成可區分類型。

---

# 65. Negative-State Decompression 是差異生成

NSD：

$$
\bot
\to
N_i
$$

實際上就是增加 distinguishable states。

因此：

$$
\boxed{
\mathrm{NSD}
\subset
\mathcal E_{\mathrm{difference}}.
}
$$

---

# 66. 差異生成提升可理解性

若：

$$
\rho_D
\uparrow,
$$

系統能區分更多 state。

但過高也會造成：

- noise；
- taxonomy explosion；
- overfitting。

因此也有：

$$
\boxed{
\rho_D^\ast(\mathrm{task}).
}
$$

---

# 67. 差異解析度與連通解析度共同優化

任務可能需要：

$$
(\rho_D^\ast,\rho_C^\ast).
$$

不是所有 task 都需要最高精度。

因此：

$$
\boxed{
\text{optimal understanding}
}
$$

往往是差異解析與連通解析的共同配置問題。

---

# 68. AI Runtime 的應用

可定義：

```text
DifferenceState {
  source
  target
  difference_type
  observer
  feature_space
  scale
  resolution
  witness
  confidence
  provenance
}
```

與 Series 06 的 ConnectivityState 配合。

---

# 69. Difference–Connectivity Pair

AI 可以保存：

```text
RelationAssessment {
  difference_state
  connectivity_state
}
```

這樣不會再把：

$$
\text{different}
$$

自動翻成：

$$
\text{disconnected}.
$$

---

# 70. 多代理 AI 的例子

Agent $A,B$：

$$
D_{\mathrm{policy}}(A,B)>0
$$

但：

$$
C_{\mathrm{message}}(A,B)=1.
$$

可以有不同策略卻仍協作。

因此：

$$
\boxed{
\text{agent individuality}
\neq
\text{agent isolation}.
}
$$

---

# 71. 身份與差異

若兩個系統 identity 不同：

$$
ID_A\neq ID_B,
$$

仍可：

$$
C_R(A,B)=1.
$$

所以：

$$
\boxed{
\text{identity distinction}
\neq
\text{relational disconnection}.
}
$$

---

# 72. 差異反而可能是身份條件

若：

$$
D(A,B)=0
$$

在所有 identity feature 上都完全無差異，

則 $A,B$ 是否還應被視為不同 identity 需要額外條件。

因此差異可能是 individuation 的一部分。

---

# 73. 但 individuation 不必等於隔離

即使：

$$
A\neq B,
$$

也不要求：

$$
C_R(A,B)=0.
$$

所以：

$$
\boxed{
\text{individuality}
+
\text{relation}
}
$$

完全可以共存。

---

# 74. 關係不會自動吞沒個體

若：

$$
C_R(A,B)=1,
$$

不推出：

$$
A=B.
$$

因此：

$$
\boxed{
\text{connection}
\neq
\text{identity collapse}.
}
$$

這與差合化中「合不等於同一」一致。

---

# 75. 強耦合也不等於同一

即使：

$$
\kappa(A,B)\gg0,
$$

仍可：

$$
A\neq B.
$$

例如同步系統仍有不同地址。

---

# 76. 完全同步也不一定同一

若：

$$
x_t=y_t
$$

對所有觀察時間成立，

仍可能：

$$
ID_x\neq ID_y.
$$

所以：

$$
\boxed{
\text{state equality}
\neq
\text{identity equality}.
}
$$

---

# 77. 差異、身份、連通三軸

因此更完整可寫：

$$
\boxed{
\mathbf R_{\Theta}(x,y)
=
\left(
D_{\Theta}(x,y),
I_{\Theta}(x,y),
C_{\Theta,R}(x,y)
\right).
}
$$

其中 $I$ 表示 identity relation。

---

# 78. 三軸不可壓縮

$$
D
$$

回答「有多不同」。

$$
I
$$

回答「是不是同一個 identity」。

$$
C
$$

回答「有沒有指定關係 witness」。

三者是不同問題。

---

# 79. 共享比較域的 No-Go

## D-NG1

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\neq
\mathcal D_{\mathrm{share}}
}
$$

除非提供 stronger mapping。

## D-NG2

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\not\Rightarrow
C_{\mathrm{causal}}=1.
}
$$

## D-NG3

$$
\boxed{
D>0
\not\Rightarrow
C=0.
}
$$

## D-NG4

$$
\boxed{
C=1
\not\Rightarrow
D=0.
}
$$

## D-NG5

$$
\boxed{
D=0
\not\Rightarrow
x=y.
}
$$

除非判定域被證明完備。

---

# 80. 差異本體論的最小公理

## D-A1 — Typed Difference

$$
\boxed{
D
\Rightarrow
D_{\Theta,F}.
}
$$

## D-A2 — Witness Requirement

$$
\boxed{
D_{\Theta,F}>0
\Rightarrow
\exists W_D.
}
$$

## D-A3 — Difference/Connectivity Separation

$$
\boxed{
D_{\Theta,F}>0
\not\Rightarrow
C_{\Theta,R}=0.
}
$$

## D-A4 — Comparison-Domain Requirement

對有效差異判定：

$$
\boxed{
J(x\neq y)
\Rightarrow
\exists \mathcal Z_{\mathrm{cmp}}.
}
$$

## D-A5 — Comparison/Physical Separation

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\not\Rightarrow
C_{\mathrm{physical}}=1.
}
$$

---

# 81. 可證偽與工程測試

至少可做：

## 81.1 High-Difference High-Connectivity Test

構造高度異質但高耦合系統。

## 81.2 Low-Difference Low-Connectivity Test

構造兩個近似 identical 但隔離的 replicas。

## 81.3 Comparison-without-Coupling Test

讓 observer 同時比較兩個彼此不互動系統。

## 81.4 Shared-Domain-vs-Comparison Test

比較只可共同判定與真正 shared-state domain 的差異。

## 81.5 Difference-Driven-Flow Test

改變：

$$
\Delta
$$

觀察：

$$
\kappa
$$

或 flow 是否改變。

---

# 82. 對科學模型的意義

很多科學理論本來就有：

$$
\text{gradient}
\to
\text{flow}.
$$

所以：

$$
\boxed{
\text{difference}
}
$$

常是 dynamics 的驅動量。

因此把 difference 直覺等同 disconnection，會反而錯過物理學中最典型的 coupling mechanism。

---

# 83. 對語義與認知的意義

若所有概念完全沒有差異：

$$
D=0,
$$

分類與辨識會失效。

因此可理解性本身依賴一定差異。

所以：

$$
\boxed{
\text{intelligibility requires distinguishability}.
}
$$

---

# 84. 但可理解性也需要共同域

只有差異還不夠。

若沒有：

$$
\mathcal Z_{\mathrm{cmp}},
$$

差異無法形成可回讀 judgement。

因此：

$$
\boxed{
\text{intelligibility}
\approx
\text{distinguishability}
+
\text{comparison domain}
+
\text{addressability}.
}
$$

---

# 85. 與 Series 02 的接口

Series 02 的：

$$
\mathcal I_{\min}
=
\mathcal R_{\mathrm{addr}}
\circ
\mathcal O_{\min}
$$

現在可補上：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
}
$$

作為 difference judgement 的必要結構之一。

---

# 86. 與 Series 06 的接口

Series 06 建立：

$$
\mathbf C_{\Theta}(x,y).
$$

Series 07 建立：

$$
\mathbf D_{\Theta}(x,y).
$$

因此世界關係模型可提升成：

$$
\boxed{
\mathbf S_{\Theta}(x,y)
=
(
\mathbf D_{\Theta}(x,y),
\mathbf C_{\Theta}(x,y)
).
}
$$

---

# 87. 與 Series 05 的接口

Series 05 的 boundary 可以同時：

- 保存差異；
- 調節連通。

因此：

$$
\boxed{
\mathcal B
:
(D,C)
\mapsto
(D',C').
}
$$

它不是只控制 $C$。

---

# 88. 邊界作為 Difference–Connectivity Regulator

可定義：

$$
\boxed{
\mathcal G_{\mathcal B}
:
(D_t,C_t)
\to
(D_{t+1},C_{t+1}).
}
$$

這是一個重要的後續研究方向。

---

# 89. 差異與連通的動力學

一般可寫：

$$
D_{t+1}
=
F_D(D_t,C_t,\mathcal B_t),
$$

$$
C_{t+1}
=
F_C(C_t,D_t,\mathcal B_t).
$$

所以：

$$
\boxed{
D
}
$$

與：

$$
C
$$

雖然型別分離，卻可以動態耦合。

---

# 90. 分離不等於獨立

本文說：

$$
D\neq C
$$

不代表：

$$
D\perp C.
$$

兩者可以統計、因果或動力相關。

因此：

$$
\boxed{
\text{type distinction}
\neq
\text{causal independence}.
}
$$

---

# 91. 差異—連通動態相圖

可以研究：

$$
(D,C)
$$

的 phase space。

例如：

- 高差異、高連通；
- 差異逐漸收斂；
- 連通逐漸衰減；
- 差異被 boundary 維持。

這可形成後續 runtime / simulation。

---

# 92. 差合化的新理解

因此差合化可以被重讀為：

$$
\boxed{
\text{差異的生成與辨識}
+
\text{關係的建立與維持}
+
\text{狀態與關係的轉換}
}
$$

而不是：

$$
\boxed{
\text{先分裂}
\to
\text{再合併}
\to
\text{最後消失}.
}
$$

---

# 93. 新版差合化與連通本體論

可暫記：

$$
\boxed{
\mathfrak D
+
\mathfrak L
+
\mathfrak T
}
$$

分別表示：

- distinction family；
- connection family；
- transformation family。

這比單一三符號更容易和 Ontology Canon 對接。

---

# 94. 絕對差異是否可證？

若聲稱：

$$
D_{\mathrm{abs}}(x,y)>0
$$

對所有 observer / representation / feature space 都成立，同樣需要跨域完備性。

因此：

$$
\boxed{
\text{absolute difference}
}
$$

和 absolute disconnection 一樣，是極強命題。

---

# 95. 局部差異足夠實用

大多數科學與工程問題只需要：

$$
D_{\Theta,F}(x,y)>0.
$$

這已足以支持分類、控制與推理。

所以本文不要求所有 difference judgement 都升格成 ontology theorem。

---

# 96. 最終總式

本文可寫：

$$
\boxed{
\mathcal Df
:
(X\times X)
\times
\Theta
\times
\mathfrak F
\to
\mathcal V_D
}
$$

其中：

$$
\mathfrak F
$$

是 feature / comparison family，

$$
\mathcal V_D
$$

是 difference value domain。

而 connectivity：

$$
\mathcal C
:
(X\times X)
\times
\Theta
\times
\mathfrak R
\to
\mathcal J.
$$

兩者並列，不互相取代。

---

# 97. 結論

本文最核心的命題是：

$$
\boxed{
D_{\Theta}(x,y)>0
\not\Rightarrow
C_{\Theta,R}(x,y)=0.
}
$$

有差異不等於斷裂。

甚至許多關係動力正是由差異驅動：

$$
\boxed{
\text{difference may generate flow, tension, exchange, and transformation}.
}
$$

而要形成有效的：

$$
x\neq y
$$

判定，至少需要某種：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}(x,y)
}
$$

共享比較域。

但：

$$
\boxed{
\mathcal Z_{\mathrm{cmp}}
\neq
\mathcal D_{\mathrm{share}}
\neq
\mathrm{ActiveCoupling}.
}
$$

所以「能比較」不等於「共享狀態」，更不等於「物理互通」。

本文因此把差異、身份、連通重新分為不同軸。

最基本雙軸：

$$
\boxed{
\mathbf X_{\Theta,R}(x,y)
=
(
D_{\Theta}(x,y),
C_{\Theta,R}(x,y)
).
}
$$

更完整可以是：

$$
\boxed{
\mathbf R_{\Theta}(x,y)
=
(
D_{\Theta},
I_{\Theta},
C_{\Theta,R}
).
}
$$

這使我們可以同時描述：

- 個體彼此不同；
- 個體保持自身身份；
- 個體仍然高度連通。

因此：

$$
\boxed{
\text{difference}
\neq
\text{isolation},
}
$$

$$
\boxed{
\text{connection}
\neq
\text{identity collapse}.
}
$$

這正是本篇對差合化與相對連通本體論的統一結論。

下一步，Series 08 將把這套結構推向「不可觀察不等於不存在：相對不可觀察性與遞歸元觀察」，正式處理：

$$
\mathcal O_0(x)=\bot
$$

與：

$$
\mathcal O_1
\left(
\mathcal O_0(x)=\bot
\right)
$$

之間的層級差異。

---

# 參考與前置文件

1. Neo.K，《EveMissLab Ontology Canon v0.1：一元、三元、閉合、共享狀態域與收連的正典化規格》，2026-08-15。
2. Neo.K，《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》，2026-08-25。
3. Neo.K，《觀察不是存在的底，卻可能是可理解的底》，2026-08-25。
4. Neo.K，《「無」的分類學：零、空集、未定義、缺席、未激活、不可存取與非指稱》，2026-08-25。
5. Neo.K，《可觀察的無已不是絕對無：非指稱、指稱邊界與絕對區分悖論》，2026-08-25。
6. Neo.K，《邊界不是斷裂：牆、介質、共享狀態域與可承載狀態的邊》，2026-08-25。
7. Neo.K，《連通不是布林值：型別化連通、弱連通與多關係可達性》，2026-08-25。
8. Neo.K，《差合化三位一體本體論：Cl 的完整動力學》，歷史理論文件。
9. Neo.K，《共享狀態域耦合：從圖邊、共同表示到存在間有效狀態交換》。