Series C — C04｜分域算子世界：合法作用、跨域橋接與世界組合
Domain-Stratified Operator World: Legal Action, Cross-Domain Bridges, and World Composition
系列： Global Observer and AI-Native Domain Computation系列中文名： 全域觀察者與 AI 原生域計算系列篇次： Paper 04 / 10作者： Neo.K研究協作： Aletheia（GPT-5.6 Sol）機構： EveMissLab／一言諾科技有限公司版本： v0.1日期： 2026-09-06狀態： Canonical Source / UTF-8 Markdown文件性質： Foundational Theory / Operator Ontology / Cross-Domain Computation / World Composition
Canonical Source Note
本文件之正式原稿為此 UTF-8 Markdown source。任何 HTML、PDF、LaTeX rendering、聊天介面顯示或其他格式皆屬 projection，不取代 canonical source。
數學公式 canonical delimiter 僅使用：
inline math：$...$
display math：$$...$$
本文承接 C01–C03，並將《分域算子本體論：從萬物皆算子到合法作用》的核心區分嵌入 Series C。
C04 的核心問題是：
即使 Global Observer 已經看見多個 domain、知道它們存在關係，也憑什麼允許它們互相作用？
摘要
Series C 前三篇已建立：AI 要先有「眼睛」；觀察必須能在全域與局部之間往返；分類不能先於差異，而 computational domain 也不能只靠 similarity 或 label 形成。
當 domain 已經形成後，一個新的危險立即出現：
D i 與 D j D_i
\quad\text{與}\quad
D_j D i 與 D j 若存在關係，是否可以直接把：
x ∈ D i x\in D_i x ∈ D i 作用於：
y ∈ D j y\in D_j y ∈ D j 上？
本文回答：
Relation ≠ Action . \boxed{
\text{Relation}
\neq
\text{Action}.
} Relation = Action . 更強地：
Operatorhood ≠ Applicability ≠ Executability ≠ Realization . \boxed{
\text{Operatorhood}
\neq
\text{Applicability}
\neq
\text{Executability}
\neq
\text{Realization}.
} Operatorhood = Applicability = Executability = Realization . 即使：
∀ x ∈ U , O p ( x ) = 1 , \forall x\in\mathcal U,\quad Op(x)=1, ∀ x ∈ U , O p ( x ) = 1 , 也不推出：
∀ x , y ∈ U , x ( y ) ↓ . \forall x,y\in\mathcal U,\quad x(y)\downarrow. ∀ x , y ∈ U , x ( y ) ↓ . 因此 Global Observer 若要進一步成為可信任的 Global Computational Observer，必須維持每一個作用的 domain、type、precondition、authority、resource、uncertainty、verification、consequence 與 provenance。
本文定義完整 operator contract：
O p = ⟨ D i n , T i n , P , A , R , F , D o u t , T o u t , U , V , C , H ⟩ . \boxed{
\mathfrak O_p
=
\left\langle
D_{in},
T_{in},
P,
A,
R,
F,
D_{out},
T_{out},
U,
V,
C,
H
\right\rangle.
} O p = ⟨ D in , T in , P , A , R , F , D o u t , T o u t , U , V , C , H ⟩ . 其中：
D i n D_{in} D in T i n T_{in} T in P P P A A A R R R F F F D o u t D_{out} D o u t T o u t T_{out} T o u t U U U V V V C C C H H H
本文建立四層作用判定：
O p e r a t o r → A p p l i c a b l e → E x e c u t a b l e → R e a l i z e d . \boxed{
\mathsf{Operator}
\rightarrow
\mathsf{Applicable}
\rightarrow
\mathsf{Executable}
\rightarrow
\mathsf{Realized}.
} Operator → Applicable → Executable → Realized . 所以：
Can ≠ May ≠ Did . \boxed{
\text{Can}
\neq
\text{May}
\neq
\text{Did}.
} Can = May = Did . 跨域作用則由：
B i j : D i ⇝ D j \boxed{
B_{ij}:D_i\rightsquigarrow D_j
} B ij : D i ⇝ D j 表示。 B i j B_{ij} B ij Cross-Domain Bridge Contract ：
B i j = ⟨ R e p M a p , T y p e M a p , P r e , A u t h o r i t y , L o s s , U n c e r t a i n t y , V e r i f i e r , R o l l b a c k , P r o v e n a n c e ⟩ . \boxed{
B_{ij}
=
\left\langle
RepMap,
TypeMap,
Pre,
Authority,
Loss,
Uncertainty,
Verifier,
Rollback,
Provenance
\right\rangle.
} B ij = ⟨ R e pM a p , T y p e M a p , P r e , A u t h or i t y , L oss , U n cer t ain t y , V er i f i er , R o l l ba c k , P r o v e nan ce ⟩ . 它必須說明：
representation 如何轉換；
哪些 type 可通過；
哪些 preconditions 必須成立；
誰有權允許；
會損失什麼資訊；
uncertainty 如何傳遞；
如何驗證；
失敗後如何 rollback；
bridge 的來源與版本。
本文進一步區分五種圖：
G R , G P , G L , G X , G Z . \boxed{
G_R,
G_P,
G_L,
G_X,
G_Z.
} G R , G P , G L , G X , G Z . 分別為：
Relation Graph；
Potential Action Graph；
Legal Action Graph；
Executable Action Graph；
Realized Transition Graph。
其間有：
G Z ⊆ G X ⊆ G L ⊆ G P , \boxed{
G_Z
\subseteq
G_X
\subseteq
G_L
\subseteq
G_P,
} G Z ⊆ G X ⊆ G L ⊆ G P , 但 G R G_R G R
因此本文拒絕：
Everything is connected ⇒ Everything is directly composable . \boxed{
\text{Everything is connected}
\Rightarrow
\text{Everything is directly composable}.
} Everything is connected ⇒ Everything is directly composable . 並將此錯誤稱為 Universal Composability Fallacy 。
在 world composition 層，本文定義：
W = ⟨ { D i } , B W , C G , A W , U W , F W , H W ⟩ . \boxed{
W
=
\left\langle
\{D_i\},
\mathcal B_W,
C_G,
A_W,
U_W,
F_W,
H_W
\right\rangle.
} W = ⟨ { D i } , B W , C G , A W , U W , F W , H W ⟩ . 因此：
W ≠ ⋃ i D i . \boxed{
W
\neq
\bigcup_iD_i.
} W = i ⋃ D i . 世界不是 domain 的集合聯集；它還需要合法 bridges、跨域 constraints、authority topology、uncertainty、failure state 與 shared history。
本文進一步提出：
L ( o , x , D i , D j , θ , t ) ∈ { 0 , 1 , ? } . \boxed{
\mathcal L(o,x,D_i,D_j,\theta,t)
\in
\{0,1,?\}.
} L ( o , x , D i , D j , θ , t ) ∈ { 0 , 1 , ?} . 其中：
1：合法；
0：不合法；
?：資訊不足、規則衝突或尚待判定。
而：
? ⇏ 1. \boxed{
?\not\Rightarrow1.
} ? ⇒ 1. 未知合法性不能被默認為許可。
本文亦提出 Failure-Preserving Composition Principle ：
A failed bridge is part of the world state . \boxed{
\text{A failed bridge is part of the world state}.
} A failed bridge is part of the world state . 跨域作用失敗後，AI 不能只留下 exception string，而必須保留 failure type、partial realization、side effect、rollbackability、retry conditions 與 verifier status。
最後本文提出三個測量量：
V A ( o , x ) = F ( T y p e F i t , B o u n d a r y F i t , A u t h o r i t y F i t , R e s o u r c e F i t , V e r i f i e r F i t ) \boxed{
V_A(o,x)
=
F(
TypeFit,
BoundaryFit,
AuthorityFit,
ResourceFit,
VerifierFit
)
} V A ( o , x ) = F ( T y p e F i t , B o u n d a r y F i t , A u t h or i t y F i t , R eso u r ce F i t , V er i f i er F i t ) 稱為 Domain Action Validity；
Q B ( B i j ) = F ( S e m a n t i c P r e s e r v a t i o n , L o s s C o n t r o l , U n c e r t a i n t y T r a n s f e r , A u d i t a b i l i t y , R o l l b a c k a b i l i t y ) \boxed{
Q_B(B_{ij})
=
F(
SemanticPreservation,
LossControl,
UncertaintyTransfer,
Auditability,
Rollbackability
)
} Q B ( B ij ) = F ( S e man t i c P r eser v a t i o n , L oss C o n t r o l , U n cer t ain t y T r an s f er , A u d i t abi l i t y , R o l l ba c k abi l i t y ) 稱為 Bridge Quality；
以及：
I W = F ( L o c a l V a l i d i t y , B r i d g e V a l i d i t y , G l o b a l C o n s i s t e n c y , F a i l u r e T r a c e a b i l i t y , H i s t o r y C o n t i n u i t y ) \boxed{
I_W
=
F(
LocalValidity,
BridgeValidity,
GlobalConsistency,
FailureTraceability,
HistoryContinuity
)
} I W = F ( L oc a l V a l i d i t y , B r i d g e V a l i d i t y , Gl o ba l C o n s i s t e n cy , F ai l u r e T r a ce abi l i t y , H i s t or y C o n t in u i t y ) 稱為 World Composition Integrity。
C04 的核心主張可以濃縮成：
Global connectivity is not global composability . \boxed{
\text{Global connectivity is not global composability}.
} Global connectivity is not global composability . 更進一步：
一個 Global Observer 真正開始具備可信任的計算成熟度，不是在它能跨越更多 domain 時，而是在它知道哪些 domain 不應被直接跨越、哪些作用沒有權限、哪些 bridge 還欠驗證。
關鍵詞： Operator Ontology、Applicability、Executability、Realization、Cross-Domain Bridge、Legal Action Graph、Authority、World Composition、Failure Semantics、Global AI
1. 從看見到作用
C01–C03 主要處理：
See . \text{See}. See . C04 開始處理：
Act . \text{Act}. Act . 觀察與作用必須分離。
2. 觀察不授予作用權
即使 AI 知道：
R ( x , y ) = 1 , R(x,y)=1, R ( x , y ) = 1 , 也不能推出：
x ( y ) ↓ . x(y)\downarrow. x ( y ) ↓ . 3. Relation 不等於 Action
Relation ≠ Action . \boxed{
\text{Relation}
\neq
\text{Action}.
} Relation = Action . 4. Candidate 不等於 Legal
Potential Action ≠ Legal Action . \boxed{
\text{Potential Action}
\neq
\text{Legal Action}.
} Potential Action = Legal Action . 5. Legal 不等於 Executable
Legal Action ≠ Executable Action . \boxed{
\text{Legal Action}
\neq
\text{Executable Action}.
} Legal Action = Executable Action . 6. Executable 不等於 Realized
Executable Action ≠ Realized Transition . \boxed{
\text{Executable Action}
\neq
\text{Realized Transition}.
} Executable Action = Realized Transition . 7. 廣義 Operator
若：
O p ( x ) = 1 , Op(x)=1, O p ( x ) = 1 , 表示 x x x
8. Universal Operatorhood
即使：
∀ x ∈ U , O p ( x ) = 1 , \forall x\in\mathcal U,\quad Op(x)=1, ∀ x ∈ U , O p ( x ) = 1 , 也不推出 universal applicability。
9. Partial Operator
更合理：
o : D ⇀ D ′ . o:D\rightharpoonup D'. o : D ⇀ D ′ . 10. Undefined 是合法狀態
o ( x ) ↑ o(x)\uparrow o ( x ) ↑ 可以表示：
type mismatch；
boundary violation；
semantics undefined；
authority missing；
resource missing；
verifier missing。
它不是必然的程式錯誤。
11. Operator Contract
O p = ⟨ D i n , T i n , P , A , R , F , D o u t , T o u t , U , V , C , H ⟩ . \boxed{
\mathfrak O_p
=
\left\langle
D_{in},
T_{in},
P,
A,
R,
F,
D_{out},
T_{out},
U,
V,
C,
H
\right\rangle.
} O p = ⟨ D in , T in , P , A , R , F , D o u t , T o u t , U , V , C , H ⟩ . 12. Input Domain
D i n D_{in} D in 決定 operator 可在哪些 domain 接收輸入。
13. Input Type
T i n T_{in} T in 限制語義型態。
14. Preconditions
P P P 保存作用成立前需要的條件。
15. Authority
A A A 回答：
誰有權允許這個作用？
16. Resources
R R R 回答：
當下有沒有工具、算力、記憶體、連線、時間與依賴？
17. Operator Semantics
F F F 說明作用本身做什麼。
18. Output Domain
D o u t D_{out} D o u t 限制作用結果落在哪裡。
19. Output Type
T o u t . T_{out}. T o u t . 20. Uncertainty
U U U 保存 approximation、confidence、unknown 與 branch state。
21. Verifier
V V V 回答：
作用完成後怎麼知道它是合法且正確的？
22. Consequence
C C C 保存 side effects 與 downstream impact。
23. History
H H H 保存 operator provenance、版本與 prior executions。
24. Applicability
定義：
A p p l i c a b l e ( o , x , θ ) . \boxed{
\mathsf{Applicable}(o,x,\theta).
} Applicable ( o , x , θ ) . 25. Applicability 至少要求
x ∈ D o m ( o ) x\in Dom(o) x ∈ D o m ( o ) 以及 type、boundary、preconditions 合法。
26. Applicability 不等於執行條件齊備
因此：
A p p l i c a b l e = 1 \mathsf{Applicable}=1 Applicable = 1 仍可有：
E x e c u t a b l e = 0. \mathsf{Executable}=0. Executable = 0. 27. Executability
E x e c u t a b l e ( o , x , θ , t ) . \boxed{
\mathsf{Executable}(o,x,\theta,t).
} Executable ( o , x , θ , t ) . 28. Runtime State
Executability 需要當下：
dependency healthy；
tools available；
compute available；
memory available；
permission token valid；
temporal window open。
29. Realization
R e a l i z e d ( o , x , t ) . \boxed{
\mathsf{Realized}(o,x,t).
} Realized ( o , x , t ) . 只有真正執行並改變狀態才成立。
30. Necessary Chain
一般有：
R e a l i z e d ⇒ E x e c u t a b l e ⇒ A p p l i c a b l e . \boxed{
\mathsf{Realized}
\Rightarrow
\mathsf{Executable}
\Rightarrow
\mathsf{Applicable}.
} Realized ⇒ Executable ⇒ Applicable . 31. Reverse 不成立
A p p l i c a b l e ⇏ E x e c u t a b l e . \mathsf{Applicable}
\not\Rightarrow
\mathsf{Executable}. Applicable ⇒ Executable . 32. 也不成立
E x e c u t a b l e ⇏ R e a l i z e d . \mathsf{Executable}
\not\Rightarrow
\mathsf{Realized}. Executable ⇒ Realized . 33. Can / May / Did
工程與治理可以用：
Can ≠ May ≠ Did . \boxed{
\text{Can}
\neq
\text{May}
\neq
\text{Did}.
} Can = May = Did . 34. Capability 不等於 Authority
AI 能做到：
C a n D e l e t e = 1 CanDelete=1 C an D e l e t e = 1 不意味：
M a y D e l e t e = 1. MayDelete=1. M a y D e l e t e = 1. 35. Agent 時代這個區分更重要
因為：
knowledge → tool use → world effect \text{knowledge}
\rightarrow
\text{tool use}
\rightarrow
\text{world effect} knowledge → tool use → world effect 已開始形成直接鏈。
36. Domain-Native Authority
不同 domain 可有不同權限。
37. Sandbox / Production
A s a n d b o x ( o ) = 1 , A_{sandbox}(o)=1, A s an d b o x ( o ) = 1 , 但：
A p r o d ( o ) = 0 A_{prod}(o)=0 A p r o d ( o ) = 0 可以同時成立。
38. Actor-Indexed Authority
A ( o , x , A c t o r ) . A(o,x,Actor). A ( o , x , A c t or ) . 不同 actor 權限不同。
39. Time-Indexed Authority
A t ( o ) . A_t(o). A t ( o ) . 權限也可撤回。
40. History-Indexed Legality
某作用合法與否可能依賴：
H t . H_t. H t . 因此：
L = L ( o , x , H t , θ , t , A c t o r ) . \boxed{
\mathcal L
=
\mathcal L(o,x,H_t,\theta,t,Actor).
} L = L ( o , x , H t , θ , t , A c t or ) . 41. 三值合法性
L ∈ { 0 , 1 , ? } . \boxed{
\mathcal L\in\{0,1,?\}.
} L ∈ { 0 , 1 , ?} . 42. 0
已知不合法。
43. 1
已知合法。
44. ?
規則不足、證據不足、policy conflict 或仍待授權。
45. Unknown 不得自動升格
? ⇏ 1. \boxed{
?\not\Rightarrow1.
} ? ⇒ 1. 46. Relation Graph
G R = ( V , E R ) . \boxed{
G_R=(V,E_R).
} G R = ( V , E R ) . 47. Potential Action Graph
G P = ( V , E P ) . \boxed{
G_P=(V,E_P).
} G P = ( V , E P ) . 48. Legal Action Graph
G L = ( V , E L ) . \boxed{
G_L=(V,E_L).
} G L = ( V , E L ) . 49. Executable Action Graph
G X = ( V , E X ) . \boxed{
G_X=(V,E_X).
} G X = ( V , E X ) . 50. Realized Transition Graph
G Z = ( V , E Z ) . \boxed{
G_Z=(V,E_Z).
} G Z = ( V , E Z ) . 51. Inclusion Chain
G Z ⊆ G X ⊆ G L ⊆ G P . \boxed{
G_Z
\subseteq
G_X
\subseteq
G_L
\subseteq
G_P.
} G Z ⊆ G X ⊆ G L ⊆ G P . 52. G R G_R G R
因為 relation 與 action 的語義不同。
53. Related but Non-Actionable
可以有：
( x , y ) ∈ E R (x,y)\in E_R ( x , y ) ∈ E R 而：
( x , y ) ∉ E P . (x,y)\notin E_P. ( x , y ) ∈ / E P . 54. Potential but Illegal
( x , y ) ∈ E P (x,y)\in E_P ( x , y ) ∈ E P 但：
( x , y ) ∉ E L . (x,y)\notin E_L. ( x , y ) ∈ / E L . 55. Legal but Not Executable
( x , y ) ∈ E L (x,y)\in E_L ( x , y ) ∈ E L 但：
( x , y ) ∉ E X . (x,y)\notin E_X. ( x , y ) ∈ / E X . 56. Executable but Not Realized
( x , y ) ∈ E X (x,y)\in E_X ( x , y ) ∈ E X 但：
( x , y ) ∉ E Z . (x,y)\notin E_Z. ( x , y ) ∈ / E Z . 57. Universal Composability Fallacy
錯誤推論：
Everything is connected ⇒ Everything is directly composable . \boxed{
\text{Everything is connected}
\Rightarrow
\text{Everything is directly composable}.
} Everything is connected ⇒ Everything is directly composable . 58. Global AI 為什麼特別危險？
因為它可能看見比人類更多 cross-domain relations。
因此：
G l o b a l R e a c h ↑ ⇒ N e e d F o r L e g a l i t y ↑ . \boxed{
GlobalReach\uparrow
\Rightarrow
NeedForLegality\uparrow.
} Gl o ba l R e a c h ↑⇒ N ee d F or L e g a l i t y ↑ . 59. Cross-Domain Bridge
對：
D i ≠ D j , D_i\neq D_j, D i = D j , 定義：
B i j : D i ⇝ D j . \boxed{
B_{ij}:D_i\rightsquigarrow D_j.
} B ij : D i ⇝ D j . 60. Bridge 不是普通 edge
它是一個 contract。
61. Bridge Contract
B i j = ⟨ R e p M a p , T y p e M a p , P r e , A u t h o r i t y , L o s s , U n c e r t a i n t y , V e r i f i e r , R o l l b a c k , P r o v e n a n c e ⟩ . \boxed{
B_{ij}
=
\left\langle
RepMap,
TypeMap,
Pre,
Authority,
Loss,
Uncertainty,
Verifier,
Rollback,
Provenance
\right\rangle.
} B ij = ⟨ R e pM a p , T y p e M a p , P r e , A u t h or i t y , L oss , U n cer t ain t y , V er i f i er , R o l l ba c k , P r o v e nan ce ⟩ . 62. Representation Map
R e p i ( x ) → R e p j ( x ′ ) . Rep_i(x)\rightarrow Rep_j(x'). R e p i ( x ) → R e p j ( x ′ ) . 63. Type Map
T i → T j . T_i\rightarrow T_j. T i → T j . 64. Preconditions
確定何時 bridge 可啟動。
65. Authority
決定誰可允許跨域。
66. Loss
定義資訊與語義損失：
L B ( B i j ) . L_B(B_{ij}). L B ( B ij ) . 67. Uncertainty Transfer
U i → U j ′ . U_i\rightarrow U_j'. U i → U j ′ . 68. Verifier
V i j V_{ij} V ij 驗證 bridge 結果。
69. Rollback
定義失敗後可回復程度。
70. Provenance
保存 bridge 來源、版本與修改 history。
71. Zero-Loss Bridge 是強條件
L B = 0 L_B=0 L B = 0 不應預設。
72. Approximate Bridge
B i j ϵ B_{ij}^{\epsilon} B ij ϵ 可以是合法狀態。
73. 但 ϵ \epsilon ϵ
不能把 approximation 當 exact identity。
74. Uncertainty 可以跨域放大
U j ′ > U i U_j'>U_i U j ′ > U i 完全可能。
75. 也可能因新 evidence 下降
但必須有 verifier 支持。
76. Bridge Composition
若：
B i j , B j k B_{ij},
B_{jk} B ij , B j k 成立，不自動推出：
B i k B_{ik} B ik 安全。
77. 非自動傳遞性
B i j ∘ B j k ⇏ B i k v a l i d . \boxed{
B_{ij}\circ B_{jk}
\not\Rightarrow
B_{ik}^{valid}.
} B ij ∘ B j k ⇒ B ik v a l i d . 78. 原因
可能有：
loss 累積；
authority 不傳遞；
uncertainty 放大；
representation 語義改變；
boundary shift。
79. Bridge Chain
B = B 12 ∘ B 23 ∘ ⋯ ∘ B n − 1 , n . \boxed{
\mathcal B
=
B_{12}\circ B_{23}\circ\cdots\circ B_{n-1,n}.
} B = B 12 ∘ B 23 ∘ ⋯ ∘ B n − 1 , n . 80. Chain Validity
每一段都需要 certificate。
81. Bridge Debt
如果 bridge 可暫時使用但尚未充分證明：
D e b t B ( B i j ) > 0. \boxed{
Debt_B(B_{ij})>0.
} D e b t B ( B ij ) > 0. 82. Debt 必須進世界狀態
不能隱藏。
83. World Composition
C03 已建立：
D 1 , … , D n . D_1,\ldots,D_n. D 1 , … , D n . C04 現在建立：
W . W. W . 84. 世界不是聯集
W ≠ ⋃ i D i . \boxed{
W
\neq
\bigcup_iD_i.
} W = i ⋃ D i . 85. 第一版 World Object
W = ⟨ { D i } , B W , C G , A W , U W , F W , H W ⟩ . \boxed{
W
=
\left\langle
\{D_i\},
\mathcal B_W,
C_G,
A_W,
U_W,
F_W,
H_W
\right\rangle.
} W = ⟨ { D i } , B W , C G , A W , U W , F W , H W ⟩ . 86. B W \mathcal B_W B W
world bridge network。
87. C G C_G C G
cross-domain constraints。
88. A W A_W A W
authority topology。
89. U W U_W U W
world-level unresolved / uncertainty。
90. F W F_W F W
failure state。
91. H W H_W H W
shared history / provenance。
92. World Composition Operator
C o m p o s e W ( D 1 , … , D n , B W , C G ) → W . \boxed{
\mathsf{Compose}_W
(
D_1,\ldots,D_n,
\mathcal B_W,
C_G
)
\rightarrow
W.
} Compose W ( D 1 , … , D n , B W , C G ) → W . 93. Compose 不等於 flatten
各 domain 可保留：
R e p i ≠ R e p j . Rep_i\neq Rep_j. R e p i = R e p j . 94. Global Coherence 不要求 Representation Uniformity
Global Coherence ≠ Uniform Representation . \boxed{
\text{Global Coherence}
\neq
\text{Uniform Representation}.
} Global Coherence = Uniform Representation . 95. Natural Language 可以只是 projection
AI-native world 不需要全部先翻成人類自然語言。
96. Meta-Layer
world meta-layer 只需管理：
identity links；
bridge contracts；
shared constraints；
authority；
provenance；
synchronization；
unresolved states。
97. World Transition
若 operator realized：
W t → o W t + 1 . W_t
\xrightarrow{o}
W_{t+1}. W t o W t + 1 . 98. Transition History
H W ( t + 1 ) = H W ( t ) ∪ { o , x , r e s u l t , c e r t i f i c a t e } . \boxed{
H_W(t+1)
=
H_W(t)
\cup
\{o,x,result,certificate\}.
} H W ( t + 1 ) = H W ( t ) ∪ { o , x , r es u l t , cer t i f i c a t e } . 99. Side Effects
C ( o ) C(o) C ( o ) 可影響多個 domains。
100. Consequence Fan-Out
F a n O u t ( o ) = { D j : Δ D j ≠ 0 } . \boxed{
FanOut(o)
=
\{D_j:\Delta D_j\neq0\}.
} F an O u t ( o ) = { D j : Δ D j = 0 } . 101. Global Agent 不能只看 target domain
因為 local success 可能造成 global failure。
102. Local Success / Global Failure
S u c c e s s ( D i ) ⇏ S u c c e s s ( W ) . \boxed{
Success(D_i)
\not\Rightarrow
Success(W).
} S u ccess ( D i ) ⇒ S u ccess ( W ) . 103. Software Example
deployment 成功不等於：
privacy safe；
cost acceptable；
auth intact；
compliance valid。
104. Local Verifier
V i . V_i. V i . 105. Bridge Verifier
V i j . V_{ij}. V ij . 106. World Verifier
V W . V_W. V W . 107. Local Validity 不推出 Global Validity
∀ i , V i = 1 ⇏ V W = 1. \boxed{
\forall i,\ V_i=1
\not\Rightarrow
V_W=1.
} ∀ i , V i = 1 ⇒ V W = 1. 108. Cross-Domain Emergent Failure
定義：
F e m e r g e \boxed{
F_{emerge}
} F e m er g e 只在 composition 後出現。
109. 例
兩個各自安全的 subsystem 組合後形成 privilege escalation。
110. Failure-Preserving Composition Principle
A failed bridge is part of the world state . \boxed{
\text{A failed bridge is part of the world state}.
} A failed bridge is part of the world state . 111. Failure 不應只變成 exception string
112. Failure Object
F = ⟨ T y p e , S o u r c e , T a r g e t , P a r t i a l S t a t e , C o n s e q u e n c e s , R o l l b a c k , R e t r y , V e r i f i e r , H i s t o r y ⟩ . \boxed{
F
=
\left\langle
Type,
Source,
Target,
PartialState,
Consequences,
Rollback,
Retry,
Verifier,
History
\right\rangle.
} F = ⟨ T y p e , S o u r ce , T a r g e t , P a r t ia l S t a t e , C o n se q u e n ces , R o l l ba c k , R e t r y , V er i f i er , H i s t or y ⟩ . 113. Partial Realization
作用可以只執行一部分。
114. 因此
R e a l i z e d ∈ [ 0 , 1 ] \mathsf{Realized}\in[0,1] Realized ∈ [ 0 , 1 ] 在某些系統比 binary 更合理。
115. Partial State 必須保存
否則 retry 可能重複副作用。
116. Idempotency
某些 operator 要求：
o ( o ( x ) ) = o ( x ) . o(o(x))=o(x). o ( o ( x )) = o ( x ) . 117. 不是所有 operator 都 idempotent
所以 contract 必須聲明。
118. Retry Safety
S a f e R e t r y ( o , F ) . \boxed{
SafeRetry(o,F).
} S a f e R e t r y ( o , F ) . 119. Rollbackability
R B ( o ) ∈ { 0 , 1 , p a r t i a l } . \boxed{
R_B(o)\in\{0,1,partial\}.
} R B ( o ) ∈ { 0 , 1 , p a r t ia l } . 120. Irreversible Action
如果：
R B = 0 , R_B=0, R B = 0 , authority / verification threshold 應提高。
121. Risk-Weighted Action
高風險 action 不應因為 executable 就自動執行。
122. Autonomy 不等於 Unbounded Execution
Autonomy ≠ Unbounded Execution . \boxed{
\text{Autonomy}
\neq
\text{Unbounded Execution}.
} Autonomy = Unbounded Execution . 123. Agent Scope
對 Agent A g t Agt A g t
S c o p e ( A g t ) . Scope(Agt). S co p e ( A g t ) . 124. Scope 限制 Executable Graph
G X A g t ⊆ G X . G_X^{Agt}
\subseteq
G_X. G X A g t ⊆ G X . 125. Global Observer 可看得很廣
但 authority 仍可以很窄。
126. 承接 GIRA
Global Cognition ≠ Global Control . \boxed{
\text{Global Cognition}
\neq
\text{Global Control}.
} Global Cognition = Global Control . 127. Observer / Actor Separation
可以分：
O O O 與：
A . A. A . 128. 同一 AI 也可以有雙角色
但 privilege 應分離。
129. Read / Think / Propose / Act
R e a d → T h i n k → P r o p o s e → A c t . \boxed{
Read
\rightarrow
Think
\rightarrow
Propose
\rightarrow
Act.
} R e a d → T hink → P r o p ose → A c t . 每一層可有不同 authority。
130. Recommendation 不等於 Execution
Recommendation ≠ Execution . \boxed{
\text{Recommendation}
\neq
\text{Execution}.
} Recommendation = Execution . 131. 法律 AI
可以具有：
L e g a l A n a l y s i s LegalAnalysis L e g a l A na l y s i s 但不自動具有：
L e g a l A u t h o r i t y . LegalAuthority. L e g a l A u t h or i t y . 132. Medical AI 同理
133. Software → Law Bridge
D s o f t w a r e ⇝ D l a w . D_{software}
\rightsquigarrow
D_{law}. D so f tw a r e ⇝ D l a w . 134. 不能直接推：
有 user data，因此違法。
135. Bridge 需要
jurisdiction；
data category；
consent；
purpose；
retention；
exemptions。
136. Jurisdiction-specific Bridge
B s o f t w a r e , l a w T W ≠ B s o f t w a r e , l a w E U . B_{software,law}^{TW}
\neq
B_{software,law}^{EU}. B so f tw a r e , l a w T W = B so f tw a r e , l a w E U . 137. Math → Physics Bridge
數學 theorem：
T T T 不自動變成 physical law。
138. 需要
model correspondence；
empirical mapping；
measurement assumptions；
boundary conditions。
139. 所以：
Mathematical Validity ≠ Physical Validity . \boxed{
\text{Mathematical Validity}
\neq
\text{Physical Validity}.
} Mathematical Validity = Physical Validity . 140. Simulation → Reality Bridge
D s i m ⇝ D r e a l . D_{sim}
\rightsquigarrow
D_{real}. D s im ⇝ D r e a l . 141. 需要
calibration；
sensor error；
actuator limits；
model mismatch；
distribution shift。
142. 因此：
World Evidence ≠ Reality Evidence . \boxed{
\text{World Evidence}
\neq
\text{Reality Evidence}.
} World Evidence = Reality Evidence . 143. Computed Future 不等於 Actual Future
承接 WDC：
Computed Future ≠ Actual Future . \boxed{
\text{Computed Future}
\neq
\text{Actual Future}.
} Computed Future = Actual Future . 144. Probability → Decision Bridge
P ( o u t c o m e ) P(outcome) P ( o u t co m e ) 不自動推出：
A c t i o n . Action. A c t i o n . 145. 還需要
utility；
risk；
authority；
goals；
constraints。
C05 將進一步展開。
146. Domain Action Validity
V A ( o , x ) = F ( T y p e F i t , B o u n d a r y F i t , A u t h o r i t y F i t , R e s o u r c e F i t , V e r i f i e r F i t ) . \boxed{
V_A(o,x)
=
F(
TypeFit,
BoundaryFit,
AuthorityFit,
ResourceFit,
VerifierFit
).
} V A ( o , x ) = F ( T y p e F i t , B o u n d a r y F i t , A u t h or i t y F i t , R eso u r ce F i t , V er i f i er F i t ) . 147. TypeFit
type 是否匹配。
148. BoundaryFit
是否仍在作用合法域。
149. AuthorityFit
是否有權。
150. ResourceFit
是否可執行。
151. VerifierFit
是否有正確驗證。
152. Bridge Quality
Q B ( B i j ) = F ( S e m a n t i c P r e s e r v a t i o n , L o s s C o n t r o l , U n c e r t a i n t y T r a n s f e r , A u d i t a b i l i t y , R o l l b a c k a b i l i t y ) . \boxed{
Q_B(B_{ij})
=
F(
SemanticPreservation,
LossControl,
UncertaintyTransfer,
Auditability,
Rollbackability
).
} Q B ( B ij ) = F ( S e man t i c P r eser v a t i o n , L oss C o n t r o l , U n cer t ain t y T r an s f er , A u d i t abi l i t y , R o l l ba c k abi l i t y ) . 153. World Composition Integrity
I W = F ( L o c a l V a l i d i t y , B r i d g e V a l i d i t y , G l o b a l C o n s i s t e n c y , F a i l u r e T r a c e a b i l i t y , H i s t o r y C o n t i n u i t y ) . \boxed{
I_W
=
F(
LocalValidity,
BridgeValidity,
GlobalConsistency,
FailureTraceability,
HistoryContinuity
).
} I W = F ( L oc a l V a l i d i t y , B r i d g e V a l i d i t y , Gl o ba l C o n s i s t e n cy , F ai l u r e T r a ce abi l i t y , H i s t or y C o n t in u i t y ) . 154. I W I_W I W
155. Global Agent 成熟度不能只看 task success
還要看：
illegal action rate；
bridge debt；
rollback success；
failure containment；
side-effect awareness。
156. Illegal Realization Rate
L i l l e g a l = P ( L = 0 ∧ R e a l i z e d = 1 ) . \boxed{
L_{illegal}
=
P(
\mathcal L=0
\land
\mathsf{Realized}=1
).
} L i l l e g a l = P ( L = 0 ∧ Realized = 1 ) . 157. Over-Restriction Rate
L o v e r r e s t r i c t = P ( L = 1 ∧ B l o c k e d = 1 ) . \boxed{
L_{overrestrict}
=
P(
\mathcal L=1
\land
\mathsf{Blocked}=1
).
} L o v er r es t r i c t = P ( L = 1 ∧ Blocked = 1 ) . 158. 太寬與太窄都不好
治理目標不是全面禁止，而是：
correct action routing . \boxed{
\text{correct action routing}.
} correct action routing . 159. Authority Calibration
概念上：
A u t h o r i t y ∝ C a p a b i l i t y × V e r i f i c a t i o n × R i s k T o l e r a n c e . \boxed{
Authority
\propto
Capability
\times
Verification
\times
RiskTolerance.
} A u t h or i t y ∝ C a p abi l i t y × V er i f i c a t i o n × R i s k T o l er an ce . 160. Capability 提升不自動要求 Authority 提升
161. 高階 Global Observer 反而應更會拒絕
它知道：
這個作用可做，但現在不應做。
162. Legal Non-Action
D o N o t h i n g \boxed{
\mathsf{DoNothing}
} DoNothing 也可以是最佳 action。
163. Refusal 是計算結果
不是 capability 缺失。
164. 承接 C03 的 Non-Intersection
有些 domain 保持分離，本身就是 world integrity。
165. Isolation Boundary
I ( D i , D j ) = 1 \boxed{
I(D_i,D_j)=1
} I ( D i , D j ) = 1 表示禁止 direct bridge。
166. Examples
secret zone；
sandbox boundary；
legal privilege；
untrusted input；
safety isolation。
167. Global AI 必須理解 Negative Structure
不只是：
哪些能連。
還要：
哪些不能連。
168. Negative Capability Graph
G ¬ L \boxed{
G_{\neg L}
} G ¬ L 記錄禁止作用。
169. 沒有 edge 不等於 Forbidden
Unknown ≠ Forbidden . \boxed{
\text{Unknown}
\neq
\text{Forbidden}.
} Unknown = Forbidden . 170. 三種 edge state
A l l o w e d , F o r b i d d e n , U n k n o w n . \boxed{
Allowed,
Forbidden,
Unknown.
} A l l o w e d , F or bi dd e n , U nk n o w n . 171. Global World Composition 需要正結構與負結構
W = P o s i t i v e R e l a t i o n s + N e g a t i v e C o n s t r a i n t s + U n k n o w n s . \boxed{
W
=
PositiveRelations
+
NegativeConstraints
+
Unknowns.
} W = P os i t i v e R e l a t i o n s + N e g a t i v e C o n s t r ain t s + U nk n o w n s . 172. Knowledge Graph 不夠
因為它多半表達「有關係」。
Global computational world 需要 action semantics。
173. Temporal Legality
L t ( o , x ) . \boxed{
\mathcal L_t(o,x).
} L t ( o , x ) . 174. Policy 改變
L t = 1 \mathcal L_t=1 L t = 1 而：
L t + 1 = 0 \mathcal L_{t+1}=0 L t + 1 = 0 可以成立。
175. Policy 必須 versioned
176. Authority Revocation
撤權後：
G X G_X G X 必須立即更新。
177. Stale Authority
是長時程 Agent 的核心風險之一。
178. History-sensitive Action
rate limit、approval、consent、previous transaction 都可能改變 legality。
179. Memory 因此進入合法性
如果 Agent 忘記 history，可能重複執行非法 action。
180. C08 將把這擴展為長時空 stewardship
181. Novel Operator Discovery
Global AI 可能自己發現：
o ∗ . o^\ast. o ∗ . 182. Novel Operator 不應立即 productionize
Novel Operator ⇏ Immediate Production Execution . \boxed{
\text{Novel Operator}
\not\Rightarrow
\text{Immediate Production Execution}.
} Novel Operator ⇒ Immediate Production Execution . 183. Operator Validation Lifecycle
C a n d i d a t e → S a n d b o x e d → V e r i f i e d → A u t h o r i z e d → P r o d u c t i o n . \boxed{
Candidate
\rightarrow
Sandboxed
\rightarrow
Verified
\rightarrow
Authorized
\rightarrow
Production.
} C an d i d a t e → S an d b o x e d → V er i f i e d → A u t h or i z e d → P r o d u c t i o n . 184. Novel Bridge 同理
B i j n e w B_{ij}^{new} B ij n e w 也要驗證。
185. Bridge Replacement
B i j o l d → B i j n e w . B_{ij}^{old}
\rightarrow
B_{ij}^{new}. B ij o l d → B ij n e w . 186. 比較面向
speed；
loss；
accuracy；
auditability；
maintenance；
rollbackability。
187. Global Rewiring
當多條 bridge 改變：
B W ( t ) → B W ( t + 1 ) . \boxed{
\mathcal B_W(t)
\rightarrow
\mathcal B_W(t+1).
} B W ( t ) → B W ( t + 1 ) . 188. 這可能改變世界計算拓撲
189. 也可能帶來 systemic risk
所以需要：
V W . V_W. V W . 190. World-Level Counterfactual
在 realized 前，可先：
W t → o W t + 1 ′ . W_t
\xrightarrow{o}
W'_{t+1}. W t o W t + 1 ′ . 191. 若副作用不可接受
則：
B l o c k ( o ) . \mathsf{Block}(o). Block ( o ) . 192. 這接 WDC 的 runnable futures
193. 但：
Simulated Safety ≠ Real Safety . \boxed{
\text{Simulated Safety}
\neq
\text{Real Safety}.
} Simulated Safety = Real Safety . 194. Reality feedback 仍然重要
195. C04 實驗原型一：Relation-vs-Action Test
給 AI 大量 relation。
測它是否過度建立 action edge。
196. 指標
P r e c i s i o n ( G L ) . Precision(G_L). P r ec i s i o n ( G L ) . 197. 實驗二：Authority Ablation
AI 保有 technical capability，
但撤除 authority。
198. 正確行為
應：
B l o c k . \mathsf{Block}. Block . 199. 實驗三：Bridge Loss Awareness
給一個有 approximation loss 的 bridge。
看 AI 是否保留：
L B . L_B. L B . 200. 實驗四：Partial Failure
讓 action 執行一半故障。
看 AI 是否保存：
P a r t i a l S t a t e . PartialState. P a r t ia l S t a t e . 201. 實驗五：Rollback
混合 reversible 與 irreversible actions。
看 AI 是否依 rollbackability 調整確認與風險。
202. 實驗六：Cross-Domain Emergence
兩個 local-safe systems 組合後產生 global failure。
203. 正確 Global Observer 不應只做 local validation
204. 實驗七：Forbidden Edge
有明顯 relation，
但 policy 明確禁止 bridge。
205. 測：
R e l a t e d ≠ A l l o w e d . Related
\neq
Allowed. R e l a t e d = A l l o w e d . 206. 實驗八：Unknown Legality
故意移除關鍵 policy。
207. 正確輸出可保留：
? ? ? 208. C04 Metrics
M C 04 = ( P L , R L , Q B , L i l l e g a l , L o v e r r e s t r i c t , F c o n t a i n , R r o l l b a c k , I W ) . \boxed{
M_{C04}
=
(
P_L,
R_L,
Q_B,
L_{illegal},
L_{overrestrict},
F_{contain},
R_{rollback},
I_W
).
} M C 04 = ( P L , R L , Q B , L i l l e g a l , L o v er r es t r i c t , F co n t ain , R r o l l ba c k , I W ) . 209. P L P_L P L
legal-action precision。
210. R L R_L R L
legal-action recall。
211. Q B Q_B Q B
bridge quality。
212. L i l l e g a l L_{illegal} L i l l e g a l
非法作用實現率。
213. L o v e r r e s t r i c t L_{overrestrict} L o v er r es t r i c t
不必要阻擋率。
214. F c o n t a i n F_{contain} F co n t ain
failure containment quality。
215. R r o l l b a c k R_{rollback} R r o l l ba c k
rollback success。
216. I W I_W I W
world composition integrity。
217. C04 與 C05
C04 的：
U U U 目前仍是 operator / bridge contract 的欄位。
C05 將把 probability、uncertainty、branch、unknown 自身 domainize。
218. C04 與 C06
C04 建立合法 bridge。
C06 才能真正談：
E x p a n d → L i n k → C o n v e r g e . \boxed{
Expand
\rightarrow
Link
\rightarrow
Converge.
} E x p an d → L ink → C o n v er g e . 219. Link 不是隨便連
而是：
legally typed linking . \boxed{
\text{legally typed linking}.
} legally typed linking . 220. C04 與 C07
一句話生成 application 時，
AI 不只要寫 code。
221. 它還要建立
module boundary；
permission；
API contract；
failure isolation；
rollback；
migration；
authority。
222. Project Architecture 本質上也是 Operator World
223. C04 與 C08
長時程 Agent 必須長期維持：
G L , G X , G Z G_L,
G_X,
G_Z G L , G X , G Z 不混淆。
224. C04 與 C09
Methodology-blind test 不告訴 AI「分域算子本體論」。
225. 看它是否自行長出：
type gates；
permission gates；
bridge contracts；
rollback；
failure state。
226. 若自行出現
這比會重述理論更有證據力。
227. C04 與 C10
Global Observer 真正「睜眼」後，
仍要問：
它是否知道自己哪裡不能伸手？
228. Cognition / Agency Boundary
這就是：
See Globally ≠ Act Globally . \boxed{
\text{See Globally}
\neq
\text{Act Globally}.
} See Globally = Act Globally . 229. C04 第一核心命題
Operatorhood ≠ Applicability ≠ Executability ≠ Realization . \boxed{
\text{Operatorhood}
\neq
\text{Applicability}
\neq
\text{Executability}
\neq
\text{Realization}.
} Operatorhood = Applicability = Executability = Realization . 230. 第二核心命題
Relation ≠ Action . \boxed{
\text{Relation}
\neq
\text{Action}.
} Relation = Action . 231. 第三核心命題
Global connectivity ≠ Global composability . \boxed{
\text{Global connectivity}
\neq
\text{Global composability}.
} Global connectivity = Global composability . 232. 第四核心命題
Ability ≠ Authority . \boxed{
\text{Ability}
\neq
\text{Authority}.
} Ability = Authority . 233. 第五核心命題
World composition ≠ domain union . \boxed{
\text{World composition}
\neq
\text{domain union}.
} World composition = domain union . 234. 第六核心命題
Local validity ⇏ global validity . \boxed{
\text{Local validity}
\not\Rightarrow
\text{global validity}.
} Local validity ⇒ global validity . 235. 第七核心命題
Failed actions and bridges remain part of world state . \boxed{
\text{Failed actions and bridges remain part of world state}.
} Failed actions and bridges remain part of world state . 236. 第八核心命題
Unknown legality must remain distinguishable from permission . \boxed{
\text{Unknown legality must remain distinguishable from permission}.
} Unknown legality must remain distinguishable from permission . 237. 第九核心命題
A trustworthy Global AI must model forbidden structure, not only possible structure . \boxed{
\text{A trustworthy Global AI must model forbidden structure,
not only possible structure}.
} A trustworthy Global AI must model forbidden structure, not only possible structure . 238. 第十核心命題
A Global Observer becomes computationally mature when it can refuse an invalid composition for the right reason . \boxed{
\text{A Global Observer becomes computationally mature
when it can refuse an invalid composition for the right reason}.
} A Global Observer becomes computationally mature when it can refuse an invalid composition for the right reason . 239. Globality 不消滅 Domain
恰好相反：
Globality requires preserved domain legality . \boxed{
\text{Globality requires preserved domain legality}.
} Globality requires preserved domain legality . 240. 越全域，越需要知道邊界
241. 越能作用，越需要知道 Authority
242. 越能 Bridge，越需要知道 Loss
243. 越能自主，越需要知道 Failure
244. Global AI 的成熟不是「什麼都能做」
而是：
it knows what can be done, what may be done, what should not be done, and what actually happened . \boxed{
\text{it knows what can be done,
what may be done,
what should not be done,
and what actually happened}.
} it knows what can be done, what may be done, what should not be done, and what actually happened . 245. Operator World 的最低閉環
O b s e r v e → D o m a i n i z e → P r o p o s e A c t i o n → C h e c k L e g a l i t y → C h e c k E x e c u t a b i l i t y → V e r i f y C o n s e q u e n c e → R e a l i z e O r R e f u s e → U p d a t e W o r l d . \boxed{
Observe
\rightarrow
Domainize
\rightarrow
ProposeAction
\rightarrow
CheckLegality
\rightarrow
CheckExecutability
\rightarrow
VerifyConsequence
\rightarrow
RealizeOrRefuse
\rightarrow
UpdateWorld.
} O b ser v e → D o maini z e → P r o p ose A c t i o n → C h ec k L e g a l i t y → C h ec k E x ec u t abi l i t y → V er i f y C o n se q u e n ce → R e a l i z e O r R e f u se → U p d a t e W or l d . 246. Refusal 也會更新 World
因為：
R e f u s e \mathsf{Refuse} Refuse 可能產生：
deferred obligation；
missing authority；
unresolved risk；
required human approval。
247. 因此 Non-Action 也不是空白
它有 state。
248. Deferred Action
可定義：
D A = ( o , x , r e a s o n , r e q u i r e d C o n d i t i o n , n e x t R e v i e w ) . \boxed{
D_A
=
(o,x,reason,requiredCondition,nextReview).
} D A = ( o , x , r e a so n , r e q u i r e d C o n d i t i o n , n e x tR e v i e w ) . 249. 長時程 Agent 必須追蹤 Deferred Action
否則「現在不能做」會被誤變成「永遠不做」。
250. Escalation
若：
L = ? \mathcal L=? L = ? 且 impact 高，
可以：
E s c a l a t e . \boxed{
\mathsf{Escalate}.
} Escalate . 251. Escalation 也是合法 operator
252. Human-in-the-loop 不只是聊天接口
而是 authority bridge。
253. Authority Bridge
B A : D A I ⇝ D H u m a n A u t h o r i t y . \boxed{
B_A:
D_{AI}
\rightsquigarrow
D_{HumanAuthority}.
} B A : D A I ⇝ D H u man A u t h or i t y . 254. 人類核准後
可返回：
A = 1 A=1 A = 1 或：
A = 0. A=0. A = 0. 255. 所以 Governance 也能 domainize
這會讓 Global AI 的 governance 變成可計算世界的一部分，而不是外部註解。
256. C04 的真正終點
不是建立更多 restriction。
而是建立：
world-action semantics . \boxed{
\text{world-action semantics}.
} world-action semantics . 結論
C03 結束時，我們得到：
Difference → Set → Domain . \boxed{
\text{Difference}
\rightarrow
\text{Set}
\rightarrow
\text{Domain}.
} Difference → Set → Domain . 但 domain 成形並不代表世界已經可以被合法地計算與改變。
C04 的核心回答是：
任何跨域作用都必須經過一個可審計的作用契約。
因此：
D i → B i j D j D_i
\xrightarrow{B_{ij}}
D_j D i B ij D j 不是一條普通 edge，而是帶有：
type；
representation；
precondition；
authority；
loss；
uncertainty；
verifier；
rollback；
provenance；
的合法 bridge。
當多個 domains、bridges、constraints、authority、failures、unknowns 與 histories 結合時，才開始形成一個真正可運行的 computational world：
W = typed domains + legal bridges + constraints + authority + failures + unknowns + history . \boxed{
W
=
\text{typed domains}
+
\text{legal bridges}
+
\text{constraints}
+
\text{authority}
+
\text{failures}
+
\text{unknowns}
+
\text{history}.
} W = typed domains + legal bridges + constraints + authority + failures + unknowns + history . 這也回答了 Global AI 最容易被誤解的一點：
如果 AI 未來能看到越來越多 domain 間的關聯，它不能因此變成：
看見關係就連、看到可能就做。
真正成熟的 Global Computational Observer 應該走：
See → Check Domain → Check Type → Check Authority → Check Bridge → Check Consequence → Verify → Act / Refuse / Escalate . \boxed{
\text{See}
\rightarrow
\text{Check Domain}
\rightarrow
\text{Check Type}
\rightarrow
\text{Check Authority}
\rightarrow
\text{Check Bridge}
\rightarrow
\text{Check Consequence}
\rightarrow
\text{Verify}
\rightarrow
\text{Act / Refuse / Escalate}.
} See → Check Domain → Check Type → Check Authority → Check Bridge → Check Consequence → Verify → Act / Refuse / Escalate . 所以 C04 可以濃縮成一句：
全域智能不是萬物皆可互相作用，而是即使看見萬物關聯，也仍知道每一個合法作用的邊界。
以及：
The more globally AI can see, the more precisely it must know where it may not act . \boxed{
\text{The more globally AI can see,
the more precisely it must know where it may not act}.
} The more globally AI can see, the more precisely it must know where it may not act . 參考與前置研究
EveMissLab / Neo.K 內部前置理論
Neo.K with Aletheia, Series C C01｜AI 需要先有眼睛：全域觀察者維度的定義 , 2026.
Neo.K with Aletheia, Series C C02｜由世界到個體、由個體到世界：全域觀察的對偶計算 , 2026.
Neo.K with Aletheia, Series C C03｜差異先於分類：從歧義個體、集合與非交集到計算域 , 2026.
Neo.K, 《分域算子本體論：從萬物皆算子到合法作用》 , 2026.
Neo.K with Aletheia, 《多域知識判定論》 , DEST-01, 2026.
Neo.K with Aletheia, 《全域系統世界：從物理宇宙到類終極世界的廣義定義》 , 2026.
Neo.K with Aletheia, Global Computation Methodology Series , 2026.
Neo.K with Aletheia, WDC-08｜三生世界域計算 , 2026.
Neo.K with Aletheia, PNCW Paper 05｜全域計算、局部顯現 , 2026.
Neo.K, 《原生可計算數學》 , 2026.
理論定位
本文與 partial functions、type systems、capability security、access control、transaction semantics、distributed systems、graph rewriting、runtime contracts、formal methods 等既有領域存在結構對照，但本文不將 Domain-Stratified Operator World 等同於任何單一既有框架。
本文的特定研究目標是：
為 Global AI 建立從「看見關係」到「合法跨域作用」的認知—計算接口 . \boxed{
\text{為 Global AI 建立從「看見關係」到「合法跨域作用」的認知—計算接口}.
} 為 Global AI 建立從「看見關係」到「合法跨域作用」的認知 — 計算接口 . Series C Roadmap
C01
AI 需要先有眼睛：全域觀察者維度的定義
C02
由世界到個體、由個體到世界：全域觀察的對偶計算
C03
差異先於分類：從歧義個體、集合與非交集到計算域
C04
分域算子世界：合法作用、跨域橋接與世界組合
C05
概率也有域：不確定性、混沌、不可判定與世界預測包絡
C06
全域展開、連結與收斂：類全域觀察者的核心計算循環
C07
一句話不是魔法：Sparse Intent 與 Project-World Cognition
C08
從完成任務到負責一個域：長時空 Agent Stewardship
C09
不准考 Neo.K：方法論盲測與全域 AI 觀測器
C10
眼睛何時睜開：全域觀察者相變、脈衝與 AI 原生世界計算
End of C04