# 連通不是布林值：型別化連通、弱連通與多關係可達性

**英文題名：** Connectivity Is Not Boolean: Typed Connectivity, Weak Connectivity, and Multi-Relational Reachability  
**系列：** 《觀察態、邊界與相對連通本體論》06  
**作者：** 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

---

## 摘要

「連通」常被表示成一個 Boolean：

$$
C(x,y)\in\{0,1\}.
$$

這種表示在某些圖論與工程任務中足夠，但在跨物理、資訊、語義、權限、觀察與共享狀態域的問題中過度粗糙。兩個系統可能在熱傳上連通、在人員移動上不連通、在共同約束上連通、在直接因果上不連通、在語義表示上部分連通、在權限層上目前不可存取。將所有情況壓成單一 bit，會把不同 relation type、direction、scale、time、observer、resolution 與 boundary state 混在一起。

本文提出「型別化連通」框架：

$$
\boxed{
C_{\Theta,R}(x,y)
}
$$

其中 $\Theta$ 為觀察與判定條件， $R$ 為 relation type。本文進一步將單一判定提升為連通向量：

$$
\boxed{
\mathbf C_{\Theta}(x,y)
=
\left(
C_{\Theta,R_1},
C_{\Theta,R_2},
\ldots,
C_{\Theta,R_n}
\right).
}
$$

並允許每個分量不只取 $0/1$，而取：

$$
\boxed{
C_{\Theta,R}
\in
\{
1,
0,
N_i
\}
}
$$

其中 $N_i$ 是 Series 03 建立的 typed negative state，例如 unknown、inaccessible、undefined、unresolved、not-found-without-proof 等。因此：

$$
\boxed{
\text{找不到路徑}
\neq
\text{證明不存在路徑}.
}
$$

本文區分至少七種連通型態：

1. **direct connectivity**；
2. **path connectivity**；
3. **mediated connectivity**；
4. **shared-domain connectivity**；
5. **constraint connectivity**；
6. **observational connectivity**；
7. **representational / semantic connectivity**。

這些型態可以彼此獨立，也可以組合。

本文進一步提出「弱連通」概念：若 $x,y$ 沒有指定 relation type 下的直接 transport，但存在共同邊界、共同中介域、共同原因、共同約束或跨型別可組合路徑，則可以在明確限定下稱為弱連通，而不能直接說「連通」或「不連通」。

因此：

$$
\boxed{
C^{\mathrm{direct}}_{\Theta,R}(x,y)=0
\not\Rightarrow
C^{\mathrm{weak}}_{\Theta,\mathfrak R}(x,y)=0.
}
$$

本文亦建立 typed reachability：

$$
x
\overset{\pi}{\leadsto}
y
$$

其中路徑 $\pi$ 不只是節點序列，而是：

$$
\pi
=
\left[
(R_1,\mathcal B_1,T_1),
(R_2,\mathcal B_2,T_2),
\ldots,
(R_k,\mathcal B_k,T_k)
\right].
$$

因此一條合法路徑需要保留 relation type、boundary state、direction、transform、loss 與 admissibility。這使「可達」不再等於「存在任意圖路徑」，而是：

$$
\boxed{
\text{存在一條在指定判定條件下合法、可組合、型別相容的 witness path。}
}
$$

本文最後提出「局部不連通不具全域提升權」：

$$
\boxed{
C_{\Theta,R}(x,y)=0
\not\Rightarrow
\forall \Theta',R':
C_{\Theta',R'}(x,y)=0.
}
$$

這不是萬物皆連通論，而是一個證明作用域限制。任何絕對不連通聲明都需要比「在當前 relation、observer 與搜尋深度中找不到路」更強的完備性見證。

**關鍵詞：** typed connectivity、weak connectivity、reachability、multi-relational graph、observer-indexed connectivity、SSDC、boundary、path witness、negative state、disconnection

---

# 0. 問題：為什麼一個 bit 不夠？

最簡單的連通判定：

$$
C(x,y)
=
\begin{cases}
1,&\text{connected}\\
0,&\text{disconnected}
\end{cases}
$$

看似清楚。

但如果：

- $x,y$ 可以互相傳熱；
- 無法互相走過去；
- 共享同一權限邊界；
- 沒有直接 API；
- 可透過第三方 broker 通訊；
- 語義上部分可翻譯；
- 某 observer 看得到兩者；
- 另一 observer 只能看其中一個；

那麼：

$$
C(x,y)=?
$$

沒有單一正確答案。

所以問題不是「哪個 bit 是對的」，而是：

$$
\boxed{
\text{我們漏掉了連通的型別。}
}
$$

---

# 1. 型別化連通

本文沿用 Series 01：

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

其中：

$$
\Theta
=
\langle
o,s,r,t,\mathcal A,\mathcal P,\mathcal K
\rangle.
$$

包括：

- observer $o$ ；
- scale $s$ ；
- resolution $r$ ；
- time $t$ ；
- available operators $\mathcal A$ ；
- projection regime $\mathcal P$ ；
- knowledge / admissibility context $\mathcal K$。

而：

$$
R
$$

表示 relation type。

因此「是否連通」被改寫成：

> 在 $\Theta$ 下，對 relation type $R$， $x$ 與 $y$ 是否存在合法 connectivity witness？

---

# 2. 連通型別族

定義開放式 relation family：

$$
\boxed{
\mathfrak R
=
\{
R_{\mathrm{causal}},
R_{\mathrm{informational}},
R_{\mathrm{thermal}},
R_{\mathrm{mechanical}},
R_{\mathrm{transport}},
R_{\mathrm{semantic}},
R_{\mathrm{permission}},
R_{\mathrm{shared}},
R_{\mathrm{constraint}},
R_{\mathrm{observational}},
R_{\mathrm{representational}},
\ldots
\}.
}
$$

這不是說所有 domain 都必須使用同一組關係，而是提供 typed slot。

---

# 3. 連通向量

對 $x,y$ 定義：

$$
\boxed{
\mathbf C_{\Theta}(x,y)
=
\left(
C_{\Theta,R_1},
C_{\Theta,R_2},
\ldots,
C_{\Theta,R_n}
\right).
}
$$

例如：

$$
\mathbf C_{\Theta}(x,y)
=
(
0,
1,
1,
N_{\mathrm{unknown}},
0,
1
).
$$

這可以表示：

- 某一關係不連通；
- 某些關係連通；
- 某一關係未知。

因此：

$$
\boxed{
\text{connected}
}
$$

不再是一個單值屬性。

---

# 4. 連通判定不能只用三值

Series 01 暫時使用：

$$
J_{\Theta,R}\in\{1,0,\bot\}.
$$

Series 03 之後可細化為：

$$
\boxed{
J_{\Theta,R}
\in
\{
1,
0,N_i
\}.
}
$$

其中：

$$
N_i\in\mathfrak N.
$$

例如：

$$
N_i
=
\mathrm{inaccessible},
$$

$$
N_i
=
\mathrm{undefined},
$$

$$
N_i
=
\mathrm{unknown},
$$

$$
N_i
=
\mathrm{unrepresented}.
$$

---

# 5. 找不到路不等於證明無路

令：

$$
\operatorname{SearchPath}_{\Theta,R}(x,y)=\varnothing.
$$

只能表示：

> 在當前搜尋器、表示、深度、權限與 relation type 下沒有找到路徑。

不能自動推出：

$$
\boxed{
\neg\exists\pi:
\pi_R(x,y).
}
$$

因此：

$$
\boxed{
\mathrm{NoPathFound}
\neq
\mathrm{NoPathExists}.
}
$$

這是本系列最重要的 negative-state discipline 之一。

---

# 6. 何時可以判定 $0$？

本文要求：

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

必須有 negative witness：

$$
W^-_{\Theta,R}(x,y).
$$

例如：

- finite graph 已完整枚舉；
- cut set 已被證明；
- policy 明確禁止所有 admissible route；
- type system 證明所有 path composition illegal；
- physical invariant 排除 transmission；
- proof system 完成不可達證明。

因此：

$$
\boxed{
0
}
$$

不是「沒看到」，而是「在指定封閉域內已證成無合法 witness」。

---

# 7. Positive Witness

若：

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

需要：

$$
W^+_{\Theta,R}(x,y).
$$

最簡單是 direct edge：

$$
e_{xy}^R.
$$

也可以是 path：

$$
\pi_R(x,y).
$$

或 shared-domain witness：

$$
\mathcal D_{xy}^{\mathrm{share}}.
$$

不同連通型別使用不同 witness。

---

# 8. 直接連通

定義：

$$
\boxed{
C_{\Theta,R}^{\mathrm{direct}}(x,y)=1
}
$$

若存在單步合法 relation：

$$
e_{xy}^R.
$$

例如：

$$
T_{x\to y}^R>0.
$$

直接連通通常是最強、最容易理解的一種，但不是唯一連通。

---

# 9. 路徑連通

若存在：

$$
x=v_0,v_1,\ldots,v_k=y,
$$

且每一步：

$$
e_i
=
(v_{i-1},v_i,R)
$$

合法，則：

$$
\boxed{
C_{\Theta,R}^{\mathrm{path}}(x,y)=1.
}
$$

但本文後續會放寬：每一步 relation type 不一定相同。

---

# 10. 中介連通

若：

$$
x
\to
m
\to
y,
$$

但：

$$
x
\not\to
y,
$$

則：

$$
C_{\Theta,R}^{\mathrm{direct}}(x,y)=0
$$

可以同時：

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

例如：

- message broker；
- translator；
- router；
- membrane；
- shared API gateway。

---

# 11. 共享狀態域連通

若存在：

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

則可以定義：

$$
\boxed{
C_{\Theta,\mathrm{shared}}(x,y)=1.
}
$$

但 Series 05 已強調：

$$
\boxed{
C_{\mathrm{shared}}=1
\not\Rightarrow
C_{\mathrm{active\;coupling}}=1.
}
$$

所以 shared connectivity 是獨立型別。

---

# 12. 約束連通

若 $x,y$ 都受同一狀態域 $b$ 約束：

$$
x_{t+1}
=
F_x(x_t,b_t),
$$

$$
y_{t+1}
=
F_y(y_t,b_t),
$$

則可定義：

$$
\boxed{
C_{\Theta,\mathrm{constraint}}(x,y)=1.
}
$$

即使：

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

所以共同約束也是一種弱連通。

---

# 13. 觀察連通

若 observer $o$ 能將 $x,y$ 放入同一 observation field：

$$
\Pi_o(x,y)
$$

並建立可比較 relation，可定義：

$$
C_{o,\mathrm{observational}}(x,y)=1.
$$

這不是 object-level physical connectivity。

因此：

$$
\boxed{
C_{\mathrm{observational}}=1
\not\Rightarrow
C_{\mathrm{causal}}=1.
}
$$

---

# 14. 表示連通

若 $x,y$ 被映射入共同 representation：

$$
\phi_x(x),
\phi_y(y)
\in
\mathcal Z,
$$

則：

$$
\boxed{
C_{\mathrm{representational}}(x,y)=1
}
$$

可能成立。

這只表示共同比較或表示可達，不代表世界中有 transport。

---

# 15. 語義連通

若存在語義橋：

$$
F_{\mathrm{sem}}
:
D_x
\to
D_y
$$

並保存足夠 invariant，則：

$$
C_{\mathrm{semantic}}(x,y)=1.
$$

但語義 bridge 可以有 loss：

$$
L_{\mathrm{sem}}>0.
$$

所以語義連通不等於完全同義。

---

# 16. 權限連通

若存在合法 access path：

$$
P_o(x\to y)=1,
$$

則：

$$
C_{\mathrm{permission}}(x,y)=1.
$$

如果：

$$
\mathrm{AccessDenied},
$$

則可能：

$$
C_{\mathrm{permission}}=0
$$

但：

$$
C_{\mathrm{physical}}=1.
$$

這再次說明連通型別不能壓縮。

---

# 17. 弱連通

本文定義：

$$
\boxed{
C^{\mathrm{weak}}_{\Theta,\mathfrak R}(x,y)=1
}
$$

若不存在指定 relation 的直接連通，但存在至少一種合法弱 witness，例如：

- shared boundary；
- mediated path；
- shared state domain；
- common constraint；
- observer-level comparison；
- representation bridge；
- cross-type compositional path。

---

# 18. 弱連通不是偷渡連通

必須標明：

$$
\boxed{
\text{weak with respect to what?}
}
$$

所以不能裸寫：

$$
x\sim y.
$$

至少要寫：

$$
x
\sim_{\Theta,\mathfrak R}^{\mathrm{weak}}
y.
$$

否則「弱連通」會退化成萬物皆相關的空洞命題。

---

# 19. 直接不連通與弱連通可以共存

可以同時：

$$
C^{\mathrm{direct}}_{\Theta,R}(x,y)=0
$$

與：

$$
C^{\mathrm{weak}}_{\Theta,\mathfrak R}(x,y)=1.
$$

例如：

$$
x
\to
b
\leftarrow
y
$$

只有共同 boundary。

因此：

$$
\boxed{
\text{no direct edge}
\neq
\text{no relation structure}.
}
$$

---

# 20. 多關係路徑

傳統 path：

$$
\pi
=
[v_0,v_1,\ldots,v_k]
$$

只保留節點。

本文改為：

$$
\boxed{
\pi
=
[
(v_0,R_1,\mathcal B_1,T_1,v_1),
\ldots,
(v_{k-1},R_k,\mathcal B_k,T_k,v_k)
].
}
$$

即每一步都保存：

- relation type；
- boundary；
- transfer；
- direction；
- transform。

---

# 21. Path Witness

一條合法路徑需要：

$$
W_\pi
=
\left\langle
\pi,
\Theta,
\operatorname{Admissible},
\operatorname{Loss},
\operatorname{Direction},
\operatorname{Provenance}
\right\rangle.
$$

因此：

$$
\boxed{
\text{path existence}
}
$$

不等於：

$$
\boxed{
\text{usable path}.
}
$$

---

# 22. 型別相容性

若：

$$
R_i
$$

與：

$$
R_{i+1}
$$

不同，需要 composition rule：

$$
\chi:
R_i
\times
R_{i+1}
\to
R_{i:i+1}.
$$

如果沒有合法：

$$
\chi,
$$

則：

$$
\boxed{
\text{edge sequence}
\neq
\text{valid composite path}.
}
$$

---

# 23. 例子：物理到資訊的跨型別路徑

例如：

$$
\text{temperature}
\to
\text{sensor voltage}
\to
\text{digital value}
\to
\text{API message}.
$$

各步 relation type 不同：

$$
R_{\mathrm{thermal}},
R_{\mathrm{electrical}},
R_{\mathrm{digital}},
R_{\mathrm{network}}.
$$

若轉換合法，整體仍形成 cross-type reachability。

---

# 24. 跨型別可達性

定義：

$$
\boxed{
x
\overset{\mathfrak R}{\leadsto}
y
}
$$

若存在：

$$
\pi
$$

且其 relation sequence：

$$
(R_1,\ldots,R_k)
$$

在 composition system 中可合法組合。

因此：

$$
\boxed{
\text{reachability}
}
$$

需要 type-checking。

---

# 25. 路徑損失

每一步可以有：

$$
\ell_i\geq0.
$$

總 loss：

$$
L(\pi)
=
\mathcal A_{\mathrm{loss}}
(
\ell_1,\ldots,\ell_k
).
$$

其中 $\mathcal A_{\mathrm{loss}}$ 不必只是加總。

因此兩條路徑都存在，但可用性可能完全不同。

---

# 26. 可用連通

定義：

$$
\boxed{
C_{\Theta,R}^{\mathrm{usable}}(x,y;\tau)=1
}
$$

若存在 path $\pi$ 使：

$$
L(\pi)\leq\tau
$$

且滿足 admissibility。

所以：

$$
\boxed{
\text{connected}
\neq
\text{practically usable}.
}
$$

---

# 27. 連通強度

可以定義：

$$
\kappa_R(x,y)
\in
[0,\infty)
$$

作為 coupling / connectivity strength。

因此：

$$
C_R=1
$$

只表示非零或達標 witness，

而：

$$
\kappa_R
$$

保留強度。

---

# 28. 連通不必單調

如果 boundary state 改變：

$$
\sigma_{\mathcal B}(t),
$$

則：

$$
\kappa_R(t)
$$

可能增加或減少。

因此：

$$
\boxed{
\text{connectivity is dynamic}.
}
$$

---

# 29. 時間索引連通

應寫：

$$
\boxed{
C_{\Theta(t),R}(x_t,y_t).
}
$$

所以：

$$
C_{t_0}=0
$$

與：

$$
C_{t_1}=1
$$

並不矛盾。

---

# 30. 暫態連通

存在：

$$
[t_0,t_1]
$$

使：

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

只在該時間窗成立。

可以定義：

$$
\boxed{
C_R^{[t_0,t_1]}(x,y)=1.
}
$$

這對 network、synapse、permission、attention 都很常見。

---

# 31. 方向性

一般：

$$
C_R(x,y)
\neq
C_R(y,x).
$$

例如：

$$
T_{x\to y}>0
$$

但：

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

所以：

$$
\boxed{
\text{connectivity may be directed}.
}
$$

---

# 32. 對稱連通是特例

只有當：

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

對指定 $R$ 成立，才可視為 symmetric connectivity。

因此無向圖只是特殊情況。

---

# 33. 多跳方向性

即使每一步都單向：

$$
v_i\to v_{i+1},
$$

整體：

$$
x\leadsto y
$$

也不推出：

$$
y\leadsto x.
$$

所以 path reachability 也可能非對稱。

---

# 34. Boundary Stack 與可達性

Series 05 定義：

$$
\mathbb B_{xy}
=
[
\mathcal B_1,\ldots,\mathcal B_n
].
$$

則：

$$
T_{x\to y}
=
T_n\circ\cdots\circ T_1.
$$

若一層失敗，需要知道是：

$$
N_i
$$

中的哪一型。

例如：

$$
\mathrm{inaccessible}
$$

和：

$$
\mathrm{undefined}
$$

會導致不同修復策略。

---

# 35. 連通證明需要 provenance

Connectivity witness 應保存：

$$
\boxed{
\operatorname{Prov}(W).
}
$$

否則之後無法知道：

- 哪個 observer；
- 哪個工具；
- 哪個 boundary state；
- 哪個時間；
- 哪個 relation type；
- 哪個 model version。

因此：

$$
\boxed{
\text{connectivity judgement without provenance}
}
$$

是低品質判定。

---

# 36. 連通信心

對經驗性系統可以加：

$$
p_{\Theta,R}(x,y)
\in
[0,1].
$$

但：

$$
p
$$

不是 truth value。

所以：

$$
\boxed{
\text{confidence}
\neq
\text{connectivity state}.
}
$$

---

# 37. 證據與信心分離

可以有：

$$
C_{\Theta,R}=1
$$

但：

$$
p=0.6.
$$

也可以：

$$
C_{\Theta,R}=N_{\mathrm{unknown}}
$$

但模型主觀估計：

$$
p=0.9.
$$

這兩者不能混。

---

# 38. 觀察連通與世界連通

若 observer $o$ 能同時觀察：

$$
x,y,
$$

得到：

$$
C_{\mathrm{observational}}=1.
$$

但這只保證它們進入共同 observation domain。

不能推出：

$$
C_{\mathrm{physical}}=1.
$$

所以：

$$
\boxed{
\text{co-observed}
\neq
\text{causally connected}.
}
$$

---

# 39. 同一邊界造成的弱連通

若：

$$
x
\leftrightarrow
\mathcal B
\leftrightarrow
y
$$

但：

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

仍可能：

$$
C_{\mathrm{constraint}}=1.
$$

因此 boundary-based weak connectivity 是合法但必須型別化的概念。

---

# 40. 差異與連通可以同時存在

若：

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

不推出：

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

甚至某些 relation 需要差異才產生 flow。

例如：

$$
\Delta T\neq0
$$

可能導致：

$$
Q>0.
$$

所以：

$$
\boxed{
\text{difference may enable connectivity dynamics}.
}
$$

---

# 41. 完全同一也不等於連通

若：

$$
x=y,
$$

則討論：

$$
C(x,y)
$$

可能變成 self-relation。

但 identity 不應自動與 connectivity 混用。

因此：

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

---

# 42. 自連通

可以定義：

$$
C_R(x,x).
$$

某些 relation reflexive，某些不是。

所以不應預設：

$$
\forall R:
C_R(x,x)=1.
$$

---

# 43. 連通層級

本文提出暫行層級：

$$
\boxed{
C^{(0)}
=
\text{direct}
}
$$

$$
\boxed{
C^{(1)}
=
\text{single-type path}
}
$$

$$
\boxed{
C^{(2)}
=
\text{mediated / shared-domain}
}
$$

$$
\boxed{
C^{(3)}
=
\text{cross-type compositional}
}
$$

$$
\boxed{
C^{(4)}
=
\text{meta-observational / representational}
}
$$

這不是價值排序，而是 witness complexity。

---

# 44. 連通階數不代表更真

$$
C^{(4)}
$$

不比：

$$
C^{(0)}
$$

更「真」。

它只表示 relation witness 位於更高階或更複合層。

因此：

$$
\boxed{
\text{higher-order connectivity}
\neq
\text{stronger ontological reality}.
}
$$

---

# 45. Weak Connectivity 的最小條件

本文暫定：

$$
\boxed{
C^{\mathrm{weak}}_{\Theta,\mathfrak R}(x,y)=1
}
$$

若存在一個非直接 witness：

$$
W_{\mathrm{weak}}
$$

且：

$$
W_{\mathrm{weak}}
\in
\{
W_{\mathrm{mediated}},
W_{\mathrm{shared}},
W_{\mathrm{constraint}},
W_{\mathrm{representational}},
W_{\mathrm{cross-type}}
\}.
$$

---

# 46. Weak Connectivity 的 No-Go

不能由：

$$
C^{\mathrm{weak}}=1
$$

直接推出：

$$
C^{\mathrm{causal}}=1.
$$

不能由：

$$
C^{\mathrm{representational}}=1
$$

直接推出：

$$
C^{\mathrm{physical}}=1.
$$

不能由：

$$
C^{\mathrm{shared}}=1
$$

直接推出：

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

---

# 47. Universal Connectivity 為什麼過強？

若聲稱：

$$
\forall x,y:
C(x,y)=1,
$$

必須先指定：

$$
R.
$$

如果改成：

$$
\forall x,y:
\exists R:
C_R(x,y)=1,
$$

仍然很強，因為需要對所有存在對象列舉至少一個合法 relation witness。

如果把 meta-representation 也算進來，則理論自身可以人工創造很多 co-addressability，導致命題失去本體資訊。

因此：

$$
\boxed{
\text{universal connectivity}
}
$$

需要非常嚴格的 relation discipline。

---

# 48. 絕對不連通也同樣過強

定義：

$$
\mathrm{AD}(x,y)
\iff
\forall \Theta,R:
C_{\Theta,R}(x,y)=0.
$$

要證明它，需要：

1. 完整 $\Theta$ 域；
2. 完整 $R$ 域；
3. 每個 relation 的 negative witness；
4. 排除未來新 operator；
5. 排除未表示 relation type。

對有限觀察者通常極難。

---

# 49. 有限觀察者 No-Go

若 observer $o$ 只擁有：

$$
\Theta_o^{\mathrm{fin}},
$$

$$
\mathfrak R_o^{\mathrm{fin}},
$$

即使：

$$
\forall\Theta\in\Theta_o^{\mathrm{fin}},
\forall R\in\mathfrak R_o^{\mathrm{fin}},
\quad
C_{\Theta,R}=0,
$$

也只能推出：

$$
\boxed{
\mathrm{Disconnected}_{o,\mathrm{current}}.
}
$$

不能無條件推出：

$$
\mathrm{AbsoluteDisconnection}.
$$

---

# 50. 這不是不可知論

本文不是說：

> 我們永遠不能知道任何不連通。

對 finite closed system，完全可以證明：

$$
C_R=0.
$$

本文只限制：

$$
\boxed{
\text{local proof scope}
\not\Rightarrow
\text{universal ontological scope}.
}
$$

---

# 51. Cut Witness

在 finite graph 中，可以用 cut：

$$
(S,V\setminus S)
$$

證明：

$$
x
$$

與：

$$
y
$$

沒有指定 relation path。

這時：

$$
W^-_{\mathrm{cut}}
$$

是合法 negative witness。

因此本文並沒有取消 classical graph disconnection。

---

# 52. Classical Connectivity 是特例

若：

- relation type 固定；
- graph finite；
- edge semantics uniform；
- observer fixed；
- boundary state fixed；

則本文退化為傳統：

$$
C(x,y)\in\{0,1\}.
$$

所以：

$$
\boxed{
\text{Boolean connectivity}
}
$$

是 typed connectivity 的特例，而不是錯誤理論。

---

# 53. 多關係圖

定義：

$$
\boxed{
G
=
(V,E,\tau,\sigma)
}
$$

其中：

- $V$：nodes；
- $E$：edges；
- $\tau:E\to\mathfrak R$：relation type；
- $\sigma:E\to\mathcal S_E$：edge state。

因此 edge 不再只是 pair：

$$
(x,y).
$$

而是 stateful typed object。

---

# 54. Hyperedge

有些 relation 涉及多個節點：

$$
e
=
(x_1,x_2,\ldots,x_k).
$$

因此：

$$
\boxed{
\text{connectivity need not be binary}.
}
$$

共享 boundary 或 common constraint 常更自然表示為 hyperedge。

---

# 55. Shared Boundary 作為 Hyperedge

若：

$$
\mathcal B
$$

同時作用於：

$$
A,B,C,
$$

則：

$$
e_{\mathcal B}
=
\{A,B,C,\mathcal B\}
$$

比三條 pairwise edge 更忠實。

因此：

$$
\boxed{
\text{shared-domain connectivity may be hyper-relational}.
}
$$

---

# 56. Relation Composition Algebra

未來可建立：

$$
\boxed{
R_i
\circ
R_j
\Rightarrow
R_k
}
$$

的型別化組合代數。

例如：

$$
R_{\mathrm{thermal}}
\circ
R_{\mathrm{sensor}}
\circ
R_{\mathrm{digital}}
\Rightarrow
R_{\mathrm{measurement}}.
$$

這會把 multi-relational reachability 推向可執行 runtime。

---

# 57. Invalid Composition

不是所有：

$$
R_i\circ R_j
$$

都有意義。

因此需要：

$$
\boxed{
\operatorname{Composable}(R_i,R_j)\in\{0,1\}.
}
$$

若為 $0$，節點路徑存在也不能形成 typed reachability。

---

# 58. Boundary-Aware Reachability

路徑每一步需讀取：

$$
\sigma_{\mathcal B_i}(t).
$$

所以：

$$
\boxed{
\operatorname{Reachable}(x,y)
}
$$

是 boundary-state-dependent。

同一 topology 下，boundary state 改變即可改變 reachability。

---

# 59. Observer-Aware Reachability

Observer $o$ 的 operator set：

$$
\mathcal A_o
$$

決定可辨認哪些 relation。

因此：

$$
\operatorname{Reachable}_{o_1}(x,y)
$$

與：

$$
\operatorname{Reachable}_{o_2}(x,y)
$$

可以不同。

這不是 world truth 任意相對，而是 witness availability 不同。

---

# 60. Resolution-Aware Reachability

低解析度 observer 可能把：

$$
v_1,v_2,\ldots,v_k
$$

壓成單一 macro-node。

高解析度則看到內部斷裂。

因此：

$$
\boxed{
\text{macro connectivity}
\neq
\text{micro connectivity}.
}
$$

需要 scale index。

---

# 61. 粗粒度假連通

若 coarse projection：

$$
\Pi_c
$$

把兩個區域合併，可能得到：

$$
C_{\Pi_c}=1.
$$

高解析度：

$$
\Pi_f
$$

卻發現：

$$
C_{\Pi_f}=0.
$$

所以：

$$
\boxed{
\text{observed connectivity can be projection-induced}.
}
$$

---

# 62. 粗粒度假斷裂

反過來，低解析度可能看不到 narrow channel：

$$
C_{\Pi_c}=0,
$$

高解析度卻：

$$
C_{\Pi_f}=1.
$$

所以：

$$
\boxed{
\text{observed disconnection can also be projection-induced}.
}
$$

---

# 63. 連通的觀察解析度

可寫：

$$
\boxed{
C_{o,s,r,t,R}(x,y).
}
$$

這是 Series 01 中 $\Theta$ 的展開版。

它強調「連通」在實際判定時必須攜帶 observation coordinates。

---

# 64. 連通帳本

一個成熟系統可以保存：

```text
ConnectivityRecord {
  source
  target
  relation_type
  observer
  scale
  resolution
  time
  state
  witness
  confidence
  provenance
}
```

這使連通判定可被 Series 02 的 RAT 重新定址、比較與修正。

---

# 65. 連通變更

若：

$$
C_t=0
$$

而：

$$
C_{t+1}=1,
$$

應記錄 transition：

$$
\Delta C
=
C_{t+1}-C_t.
$$

更重要的是記錄原因：

$$
\boxed{
\operatorname{Cause}(\Delta C)
}
$$

可能是：

- world change；
- boundary change；
- observer upgrade；
- representation change；
- permission change；
- new relation type。

---

# 66. 世界改變與觀察改變要分離

若：

$$
C_{\Theta_t,R}=0
$$

而：

$$
C_{\Theta_{t+1},R}=1,
$$

可能：

$$
W_t=W_{t+1}
$$

但：

$$
\Theta_t\neq\Theta_{t+1}.
$$

因此：

$$
\boxed{
\text{connectivity judgement change}
\neq
\text{world connectivity change}.
}
$$

---

# 67. Relation Discovery

若新理論發現：

$$
R_{\mathrm{new}},
$$

則：

$$
\mathfrak R_{t+1}
=
\mathfrak R_t
\cup
\{R_{\mathrm{new}}\}.
$$

原先的「全部關係都不連通」便可能失效，除非其 proof scope 明確只指舊 relation family。

---

# 68. Open-World Connectivity

在 open-world setting：

$$
\boxed{
\text{not proven connected}
\neq
\text{proven disconnected}.
}
$$

因此 default 應偏向：

$$
N_{\mathrm{unknown}}
$$

而不是：

$$
0.
$$

---

# 69. Closed-World Connectivity

在 closed-world setting，若：

- node set 完整；
- edge rules 完整；
- relation family 固定；

則可合法採：

$$
\text{not found}
\Rightarrow
0
$$

但必須明確聲明 closed-world assumption。

---

# 70. Open / Closed Assumption 必須記錄

因此：

$$
\boxed{
\Theta
}
$$

應加入：

$$
\omega
\in
\{
\mathrm{open},
\mathrm{closed}
\}.
$$

這避免同一個 $0$ 在不同世界假設下被誤用。

---

# 71. 連通與因果不可等同

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

只是 typed connectivity 的一種。

而：

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

不推出 causal connectivity。

所以：

$$
\boxed{
\text{relation}
\neq
\text{causation}.
}
$$

---

# 72. 連通與相似不可等同

若：

$$
\operatorname{Sim}(x,y)\gg0,
$$

不一定存在：

$$
C_R(x,y).
$$

相似只是另一種 relation candidate。

若要當 connectivity type，必須明確：

$$
R_{\mathrm{similarity}}.
$$

---

# 73. 連通與共現不可等同

若：

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

也不推出：

$$
C_{\mathrm{causal}}=1.
$$

但可定義：

$$
C_{\mathrm{cooccurrence}}=1.
$$

再次說明 typed relation discipline 的必要。

---

# 74. 連通與同界不可等同

若：

$$
\partial x
=
\partial y,
$$

這只能支持：

$$
C_{\mathrm{shared-boundary}}=1
$$

或相關 witness。

不能推出：

$$
C_{\mathrm{transport}}=1.
$$

---

# 75. 連通與同源不可等同

若 $x,y$ 由共同來源 $z$ 產生：

$$
z\to x,
$$

$$
z\to y,
$$

則有 common-origin relation。

但：

$$
x\to y
$$

不必成立。

所以：

$$
\boxed{
\text{common origin}
\neq
\text{direct connectivity}.
}
$$

---

# 76. 連通與共同觀察不可等同

若：

$$
o
$$

同時觀察：

$$
x,y,
$$

只建立 observer-mediated relation。

因此：

$$
\boxed{
\text{co-observability}
\neq
\text{mutual interaction}.
}
$$

---

# 77. 多層連通圖

一個完整模型可有：

$$
G_{\mathrm{physical}},
G_{\mathrm{informational}},
G_{\mathrm{semantic}},
G_{\mathrm{permission}},
G_{\mathrm{observer}}.
$$

它們共享部分 node，但 edge 不同。

因此世界模型不是單一 graph，而是：

$$
\boxed{
\mathbb G
=
\{
G_R
\}_{R\in\mathfrak R}.
}
$$

---

# 78. Multiplex Connectivity

若同一 node pair 在多層 graph 上有不同 edge，可視為 multiplex network。

因此：

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

其實就是 pairwise multiplex connectivity state。

---

# 79. 跨層路徑

若：

$$
x
\xrightarrow{R_1}
a
\xrightarrow{R_2}
b
\xrightarrow{R_3}
y,
$$

則需要跨層 composition rule。

這正是本文與未來 relation algebra 的接口。

---

# 80. Series 06 的最小公理

## C-A1 — Typedness

$$
\boxed{
C
\Rightarrow
C_{\Theta,R}.
}
$$

任何正式連通聲明必須可補足 observer / relation scope。

## C-A2 — Negative Witness Discipline

$$
\boxed{
C_{\Theta,R}=0
\Rightarrow
\exists W^-_{\Theta,R}.
}
$$

## C-A3 — Positive Witness Discipline

$$
\boxed{
C_{\Theta,R}=1
\Rightarrow
\exists W^+_{\Theta,R}.
}
$$

## C-A4 — Direct/Weak Separation

$$
\boxed{
C^{\mathrm{direct}}=0
\not\Rightarrow
C^{\mathrm{weak}}=0.
}
$$

## C-A5 — Cross-Type Composition Requires Rule

$$
\boxed{
R_i\circ R_j
\text{ valid}
\Rightarrow
\exists\chi_{ij}.
}
$$

## C-A6 — Locality of Disconnection

$$
\boxed{
C_{\Theta,R}=0
\not\Rightarrow
\forall\Theta',R':
C_{\Theta',R'}=0.
}
$$

---

# 81. 核心 No-Go

## C-NG1 — No Boolean Collapse

不得在跨型別問題中將：

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

無證明地壓成單一 bit。

## C-NG2 — No Search-to-Proof Collapse

$$
\boxed{
\mathrm{NoPathFound}
\not\Rightarrow
\mathrm{NoPathExists}.
}
$$

## C-NG3 — No Weak-to-Causal Collapse

$$
\boxed{
C^{\mathrm{weak}}=1
\not\Rightarrow
C_{\mathrm{causal}}=1.
}
$$

## C-NG4 — No Shared-to-Transport Collapse

$$
\boxed{
C_{\mathrm{shared}}=1
\not\Rightarrow
T_{x\to y}>0.
}
$$

## C-NG5 — No Meta-to-Object Collapse

$$
\boxed{
C_{\mathrm{representational}}=1
\not\Rightarrow
C_{\mathrm{physical}}=1.
}
$$

---

# 82. 可證偽與工程測試

本文提出至少七類測試。

## 82.1 Multi-Layer Pair Test

對同一 $(x,y)$ 測：

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

若所有 layer 總完全一致，typed connectivity 的必要性會被削弱。

## 82.2 Direct-vs-Mediated Test

阻斷 direct edge，但保留 mediator，檢查系統是否能區分。

## 82.3 Search-vs-Proof Test

限制搜尋深度，讓 path 存在但 search 找不到，測試是否錯誤輸出 $0$。

## 82.4 Boundary-State Test

只改 boundary state，不改 topology，觀察 reachability 是否改變。

## 82.5 Relation-Composition Test

提供節點路徑但讓 relation type 不可組合，測試系統是否仍誤判 reachable。

## 82.6 Open-vs-Closed World Test

同一 graph 在 open / closed assumption 下比較 negative judgement。

## 82.7 Observer-Upgrade Test

只提升 observer capability，測試 connectivity judgement 是否改變而 world state 不變。

---

# 83. 對 AI Runtime 的直接應用

可用：

```text
ConnectivityState {
  source
  target
  relation_type
  connectivity_kind
  observer
  scale
  resolution
  time
  world_assumption
  state
  positive_witness
  negative_witness
  confidence
  provenance
}
```

其中：

$$
\operatorname{connectivity\_kind}
\in
\{
direct,
path,
mediated,
shared,
constraint,
observational,
representational,
cross\_type
\}.
$$

---

# 84. 對 AI 搜尋系統的應用

搜尋器應區分：

$$
\mathrm{NoPathFound},
$$

$$
\mathrm{SearchExhausted},
$$

$$
\mathrm{AccessDenied},
$$

$$
\mathrm{RelationUndefined},
$$

$$
\mathrm{ProvenDisconnected}.
$$

否則 AI 很容易把檢索失敗誤成世界不存在。

---

# 85. 對科學推理的應用

「目前未觀測到作用」應表示為：

$$
N_{\mathrm{no\;evidence}}
$$

而不是直接：

$$
C_{\mathrm{causal}}=0.
$$

只有在實驗設計、靈敏度與封閉域足夠時，才可提升為 stronger negative judgement。

---

# 86. 對安全與權限系統的應用

如果：

$$
C_{\mathrm{permission}}=0,
$$

不表示：

$$
C_{\mathrm{network}}=0.
$$

因此安全系統可以在 network reachability 與 authorized reachability 之間保持分型。

---

# 87. 對多代理 AI 的應用

Agent $A,B$ 可以：

$$
C_{\mathrm{shared-memory}}=1
$$

但：

$$
C_{\mathrm{direct-write}}=0.
$$

或：

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

但：

$$
C_{\mathrm{private-state-read}}=0.
$$

這比單純說「兩個 agent connected」精確得多。

---

# 88. 對世界模型的應用

World model 應儲存：

$$
\mathbb G
=
\{
G_R
\}_{R\in\mathfrak R}
$$

而非單一 universal graph。

這允許 AI 問：

> 我現在要的是哪一種 reachability？

而不是對所有問題共用同一個 edge set。

---

# 89. 「萬物皆連通」的弱化版本

本文不接受裸命題：

$$
\forall x,y:
C(x,y)=1.
$$

較可研究的是：

$$
\boxed{
\forall x,y:
\exists \Theta,R,W
\text{ such that }
W
\text{ witnesses a typed relation}
}
$$

但這仍只是研究猜想，且需要避免把 trivial meta-co-addressability 當作世界層連通。

---

# 90. 「萬物皆不絕對斷裂」也仍需節制

更弱的猜想是：

$$
\boxed{
\text{有限 observer 通常不足以證明 absolute disconnection。}
}
$$

這是 epistemic no-go，不是 universal connectivity theorem。

這個版本最接近 Series 01 的核心。

---

# 91. 與 Series 05 的接口

Series 05 建立：

$$
\mathfrak B
$$

與：

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

Series 06 現在建立：

$$
\mathfrak R
$$

與：

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

因此可以形成：

$$
\boxed{
\mathbf B_{\Theta}
\longrightarrow
\mathbf C_{\Theta}
}
$$

但這個映射不是一對一。

同一 boundary state 可以對不同 relation type 產生不同 connectivity result。

---

# 92. 與 Series 03 的接口

負狀態：

$$
\mathfrak N
$$

現在正式進入 connectivity judgement。

因此：

$$
\boxed{
\mathrm{ConnectivityState}
}
$$

不是只存：

$$
0/1.
$$

而是：

$$
1,
0,
N_i.
$$

這使未知、不可存取與真正證明斷裂分開。

---

# 93. 與 Series 02 的接口

RAT 使系統可以重新引用：

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

及其 witness。

因此同一連通判定可以在新 observer state 下重新評估：

$$
C_{\Theta_t,R}
\to
C_{\Theta_{t+1},R}.
$$

---

# 94. 與 Series 04 的接口

Reference Boundary：

$$
\mathcal R_B
$$

可以產生：

$$
C_{\mathrm{representational}}
$$

或：

$$
C_{\mathrm{semantic}}.
$$

但這些不應越級推成 physical connectivity。

所以 Series 04 的 symbol / denotation / existence separation 在這裡成為 relation-layer separation。

---

# 95. 最終總式

本文可將 typed connectivity 寫為：

$$
\boxed{
\mathcal C
:
(X\times X)
\times
\Theta
\times
\mathfrak R
\to
\mathcal J
}
$$

其中：

$$
\mathcal J
=
\{
1,
0
\}
\cup
\mathfrak N.
$$

這是本文的最小 signature。

---

# 96. 路徑版總式

對 reachability：

$$
\boxed{
\mathcal Rch_{\Theta}
(x,y)
=
\{
\pi
\mid
\operatorname{TypedValid}_{\Theta}(\pi)=1
\}.
}
$$

若：

$$
\mathcal Rch_{\Theta}(x,y)\neq\varnothing,
$$

則存在至少一條合法 typed path。

但「可用」還要再加入 loss 與 task threshold。

---

# 97. 結論

本文的核心不是把傳統圖論推翻，而是指出：

$$
\boxed{
\text{Boolean connectivity is a special case.}
}
$$

當 relation type、observer、boundary、direction、time、resolution 與 negative state 都固定時：

$$
C(x,y)\in\{0,1\}
$$

非常有用。

但在跨域世界中，更完整的形式是：

$$
\boxed{
C_{\Theta,R}(x,y)
}
$$

與：

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

連通也至少應區分：

$$
\boxed{
\text{direct}
\neq
\text{path}
\neq
\text{mediated}
\neq
\text{shared}
\neq
\text{constraint}
\neq
\text{observational}
\neq
\text{representational}.
}
$$

因此：

$$
\boxed{
C^{\mathrm{direct}}=0
\not\Rightarrow
C^{\mathrm{weak}}=0.
}
$$

同時：

$$
\boxed{
C^{\mathrm{weak}}=1
\not\Rightarrow
C_{\mathrm{causal}}=1.
}
$$

最重要的 negative discipline 是：

$$
\boxed{
\mathrm{NoPathFound}
\neq
\mathrm{NoPathExists}.
}
$$

而最重要的作用域限制是：

$$
\boxed{
C_{\Theta,R}(x,y)=0
\not\Rightarrow
\forall\Theta',R':
C_{\Theta',R'}(x,y)=0.
}
$$

這不代表萬物皆連通。

它只意味：

> 任何「不連通」都應說清楚：是哪一種關係、哪一個方向、哪一個時間、哪一個尺度、哪一個 observer、哪一組 boundary state，以及是否真的有 negative witness。

因此本文最終將「連通」從一個 bit 提升為：

$$
\boxed{
\text{observer-indexed,
typed,
stateful,
witness-bearing reachability structure}.
}
$$

這為下一篇「差異不等於斷裂：從差合化到共享比較域」建立了必要基礎：只有先知道連通不是單一 Boolean，才能真正討論差異為何不必然導向分離。

---

# 參考與前置文件

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，《共享狀態域耦合：從圖邊、共同表示到存在間有效狀態交換》。
8. Neo.K，《型別化三元算子族：跨潛能、激發、顯現與圖表示的展開—連接—收斂動力學》。