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

英文題名： 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）
前置文件：

《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》v0.1
《觀察不是存在的底，卻可能是可理解的底》v0.1
《「無」的分類學：零、空集、未定義、缺席、未激活、不可存取與非指稱》v0.1
《可觀察的無已不是絕對無：非指稱、指稱邊界與絕對區分悖論》v0.1
《邊界不是斷裂：牆、介質、共享狀態域與可承載狀態的邊》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{證明不存在路徑}. }

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

direct connectivity；
path connectivity；
mediated connectivity；
shared-domain connectivity；
constraint connectivity；
observational connectivity；
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.

要證明它，需要：

完整 $\Theta$ 域；
完整 $R$ 域；
每個 relation 的 negative witness；
排除未來新 operator；
排除未表示 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. 連通帳本

一個成熟系統可以保存：

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 的直接應用

可用：

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，才能真正討論差異為何不必然導向分離。

參考與前置文件

Neo.K，《EveMissLab Ontology Canon v0.1：一元、三元、閉合、共享狀態域與收連的正典化規格》，2026-08-15。
Neo.K，《觀察態與相對連通：從「萬物是否相連」到觀察者索引本體論》，2026-08-25。
Neo.K，《觀察不是存在的底，卻可能是可理解的底》，2026-08-25。
Neo.K，《「無」的分類學：零、空集、未定義、缺席、未激活、不可存取與非指稱》，2026-08-25。
Neo.K，《可觀察的無已不是絕對無：非指稱、指稱邊界與絕對區分悖論》，2026-08-25。
Neo.K，《邊界不是斷裂：牆、介質、共享狀態域與可承載狀態的邊》，2026-08-25。
Neo.K，《共享狀態域耦合：從圖邊、共同表示到存在間有效狀態交換》。
Neo.K，《型別化三元算子族：跨潛能、激發、顯現與圖表示的展開—連接—收斂動力學》。

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

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

摘要

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

1. 型別化連通

2. 連通型別族

3. 連通向量

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

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

6. 何時可以判定 000？

7. Positive Witness

8. 直接連通

9. 路徑連通

10. 中介連通

11. 共享狀態域連通

12. 約束連通

13. 觀察連通

14. 表示連通

15. 語義連通

16. 權限連通

17. 弱連通

18. 弱連通不是偷渡連通

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

20. 多關係路徑

21. Path Witness

22. 型別相容性

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

24. 跨型別可達性

25. 路徑損失

26. 可用連通

27. 連通強度

28. 連通不必單調

29. 時間索引連通

30. 暫態連通

31. 方向性

32. 對稱連通是特例

33. 多跳方向性

34. Boundary Stack 與可達性

35. 連通證明需要 provenance

36. 連通信心

37. 證據與信心分離

38. 觀察連通與世界連通

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

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

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

42. 自連通

43. 連通層級

44. 連通階數不代表更真

45. Weak Connectivity 的最小條件

46. Weak Connectivity 的 No-Go

47. Universal Connectivity 為什麼過強？

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

49. 有限觀察者 No-Go

50. 這不是不可知論

51. Cut Witness

52. Classical Connectivity 是特例

53. 多關係圖

54. Hyperedge

55. Shared Boundary 作為 Hyperedge

56. Relation Composition Algebra

57. Invalid Composition

58. Boundary-Aware Reachability

59. Observer-Aware Reachability

60. Resolution-Aware Reachability

61. 粗粒度假連通

62. 粗粒度假斷裂

63. 連通的觀察解析度

64. 連通帳本

65. 連通變更

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

67. Relation Discovery

68. Open-World Connectivity

69. Closed-World Connectivity

70. Open / Closed Assumption 必須記錄

71. 連通與因果不可等同

72. 連通與相似不可等同

73. 連通與共現不可等同

74. 連通與同界不可等同

75. 連通與同源不可等同

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

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