EveMissLab Ontology Core Series — Paper 02
型別化三元算子族：跨潛能、激發、顯現與圖表示的展開—連接—收斂動力學
Typed Triadic Operator Families: Expansion, Connection, and Convergence Across Latent, Active, Manifest, and Graph Layers
文件編號：EML-ONTO-CORE-02
版本：v0.1
日期：2026-08-15
作者：Neo.K × AI 協作
機構：EveMissLab／一言諾科技有限公司
系列：Ontology Core Series
上游正典：
EveMissLab Ontology Canon v0.1Ontology Genealogy & Symbol Migration Map v0.1EML-ONTO-CORE-01：潛能、載域與顯現
性質：本體論方法論／資訊本體論／算子理論／狀態空間與跨層動力學
證據狀態：理論框架與形式定義；不宣稱三元分類已被證明為所有自然過程的唯一最小完備基
摘要
EveMissLab 早期三元統一本體論以展開（Expansion）、連接（Connection）、收斂（Convergence）描述跨尺度動力過程，並在後續三元湧動論中進一步改寫為持續進行的 E E E C C C V V V
本文因此將舊三元從三個單一算子：
E , C , V E,\quad C,\quad V E , C , V 重構為三個型別化算子族 ：
E , L , C . \boxed{
\mathfrak E,
\qquad
\mathfrak L,
\qquad
\mathfrak C.
} E , L , C . 其中：
E = { E α } , \mathfrak E
=
\{\mathcal E_\alpha\}, E = { E α } , L = { L β } , \mathfrak L
=
\{\mathcal L_\beta\}, L = { L β } , C = { C γ } . \mathfrak C
=
\{\mathcal C_\gamma\}. C = { C γ } . 本文建立五個核心修正。
第一，任何具體算子都必須帶有 source layer、target layer、context、structural axis 與 invariants：
sig ( T ) = ( ℓ s r c , ℓ d s t , q , τ , J ) . \boxed{
\operatorname{sig}(T)
=
(
\ell_{\mathrm{src}},
\ell_{\mathrm{dst}},
q,
\tau,
\mathcal J
).
} sig ( T ) = ( ℓ src , ℓ dst , q , τ , J ) . 第二，展開與收斂不是算子的絕對名稱，而是相對某個 typed structural witness 的方向判定。本文定義：
σ τ ( T ; x ) ∈ { + , 0 , − , ? } , \boxed{
\sigma_\tau(T;x)
\in
\{+,\ 0,\ -,\ ?\},
} σ τ ( T ; x ) ∈ { + , 0 , − , ?} , 分別表示在軸 τ \tau τ
( + , − , 0 , … ) . (+,-,0,\ldots). ( + , − , 0 , … ) . 第三，Connection 不被定義成 Expansion 與 Convergence 的中間數值，而被定義成關係結構的建立、傳輸、接口形成或耦合成立 。因此連接具有與 + / − +/- + / −
第四，本文建立跨層算子相容條件。若低層算子 T a T_a T a T b T_b T b Π a → b \Pi_{a\to b} Π a → b
Π a → b ∘ T a = T b ∘ Π a → b . \boxed{
\Pi_{a\to b}
\circ
T_a
=
T_b
\circ
\Pi_{a\to b}.
} Π a → b ∘ T a = T b ∘ Π a → b . 若只近似成立，則必須報告 commutation defect，而不能僅靠語義名稱宣稱同構。
第五，本文重新解釋歷史上的「無限展開、無限連接、無限收斂」。在正典版本中，「無限」優先表示無預設有限終點的可持續迭代過程 ：
E ω , L ω , C ω , \mathfrak E^\omega,
\quad
\mathfrak L^\omega,
\quad
\mathfrak C^\omega, E ω , L ω , C ω , 而不自動宣稱某個完成的實無窮對象或極限存在。只有在另外給定 topology、metric、order 或 closure condition 時，才可談實際 limit。
由此，舊的：
E → C → V E\rightarrow C\rightarrow V E → C → V 不再被視為所有系統都必須遵守的固定時序，而被重新定位為typed triadic path 的一個重要特例 。一般三元動力被描述為在合法型別條件下組合的 operator word / path system。
本文為下一篇 SSDC 提供 Connection family 的正式上位型別，並為後續 Information、Identity、Closure 與 CRL 系列建立可驗證的跨層算子語法。
關鍵詞： 三元本體論、展開、連接、收斂、型別化算子、跨層投影、交換圖、SSDC、coarse-graining、open systems、compositionality、無限展開
1. 問題：三個動詞太大了
舊三元核心可以粗略寫成：
Expansion → Connection → Convergence . \boxed{
\text{Expansion}
\rightarrow
\text{Connection}
\rightarrow
\text{Convergence}.
} Expansion → Connection → Convergence . 這個語言具有高度壓縮力。
但壓縮力本身也會產生風險。
例如以下操作都曾被描述為「展開」：
一個 latent state 被激發；
一張圖新增節點；
一個理論增加候選分支；
一個 observer 提高解析度；
一個語義查詢展開更多概念；
一個模型增加維度；
一個系統增加可達狀態。
它們顯然不是同一個函數。
同樣，「收斂」可能表示：
候選集縮小；
optimization objective 下降；
graph pruning；
coarse-graining；
semantic compression；
理論版本穩定；
dynamical limit；
observer representation 降維。
如果不分型，容易產生：
same verb ⇒ same operator \boxed{
\text{same verb}
\Rightarrow
\text{same operator}
} same verb ⇒ same operator 的錯誤。
本文的第一任務因此是撤掉這個推論。
2. 上游狀態層
Paper 01 已建立：
Ω c a r → Λ X l a t → Act c X a c t → Π q M q → Γ q G q . \boxed{
\Omega_{\mathrm{car}}
\xrightarrow{\Lambda}
\mathcal X_{\mathrm{lat}}
\xrightarrow{\operatorname{Act}_c}
\mathcal X_{\mathrm{act}}
\xrightarrow{\Pi_q}
\mathcal M_q
\xrightarrow{\Gamma_q}
\mathcal G_q.
} Ω car Λ X lat Act c X act Π q M q Γ q G q . 本文將主要工作層記為：
L = { l a t , a c t , m a n ( q ) , g r a p h ( q ) } . \boxed{
\mathbb L
=
\{
\mathrm{lat},
\mathrm{act},
\mathrm{man}(q),
\mathrm{graph}(q)
\}.
} L = { lat , act , man ( q ) , graph ( q )} . 其中：
l a t \mathrm{lat} lat a c t \mathrm{act} act m a n ( q ) \mathrm{man}(q) man ( q ) g r a p h ( q ) \mathrm{graph}(q) graph ( q )
Ω c a r \Omega_{\mathrm{car}} Ω car
3. Typed Operator
定義 3.1 — Operator Signature
一個具體算子：
T T T 必須至少具有：
sig ( T ) = ( ℓ s r c , ℓ d s t , q , τ , J ) . \boxed{
\operatorname{sig}(T)
=
(
\ell_{\mathrm{src}},
\ell_{\mathrm{dst}},
q,
\tau,
\mathcal J
).
} sig ( T ) = ( ℓ src , ℓ dst , q , τ , J ) . 其中：
ℓ s r c \ell_{\mathrm{src}} ℓ src ℓ d s t \ell_{\mathrm{dst}} ℓ dst q q q τ \tau τ J \mathcal J J
因此：
T : X ℓ s r c → X ℓ d s t T:
\mathcal X_{\ell_{\mathrm{src}}}
\rightarrow
\mathcal X_{\ell_{\mathrm{dst}}} T : X ℓ src → X ℓ dst 只是最基本的 typing。
4. 為什麼不能只看集合大小？
若把 Expansion 定義成：
∣ X ′ ∣ > ∣ X ∣ , |X'|>|X|, ∣ X ′ ∣ > ∣ X ∣ , 會立即遇到問題。
例如一個表示從：
R 2 \mathbb R^2 R 2 轉成更高解析度但同基數的：
R 3 , \mathbb R^3, R 3 , 兩者 cardinality 都是 continuum。
再例如 graph connection 增加一條重要 causal edge：
∣ V ′ ∣ = ∣ V ∣ , |V'|=|V|, ∣ V ′ ∣ = ∣ V ∣ , 但 relational structure 已實質改變。
因此本文不建立單一 universal size functional。
而是引入 typed structural witness。
5. Structural Witness
定義 5.1 — Typed Structural Witness
對某個研究軸：
τ , \tau, τ , 定義：
F τ : X ℓ → P τ , \boxed{
F_\tau:
\mathcal X_\ell
\rightarrow
P_\tau,
} F τ : X ℓ → P τ , 其中：
( P τ , ⪯ τ ) (P_\tau,\preceq_\tau) ( P τ , ⪯ τ ) 是一個 preordered structure。
F τ F_\tau F τ
distinguishable states；
reachable states；
dimension；
semantic coverage；
branch count；
relational rank；
graph connectivity；
model capacity；
description complexity；
admissible degrees of freedom；
uncertainty；
unresolved alternatives。
本文不要求所有 F τ F_\tau F τ
6. Direction Signature
定義 6.1 — Single-Axis Direction
對：
T : x ↦ T ( x ) , T:x\mapsto T(x), T : x ↦ T ( x ) , 定義：
σ τ ( T ; x ) = { + F τ ( x ) ≺ τ F τ ( T x ) , 0 F τ ( x ) ∼ τ F τ ( T x ) , − F τ ( T x ) ≺ τ F τ ( x ) , ? otherwise / incomparable . \boxed{
\sigma_\tau(T;x)
=
\begin{cases}
+ & F_\tau(x)\prec_\tau F_\tau(Tx),\\
0 & F_\tau(x)\sim_\tau F_\tau(Tx),\\
- & F_\tau(Tx)\prec_\tau F_\tau(x),\\
? & \text{otherwise / incomparable}.
\end{cases}
} σ τ ( T ; x ) = ⎩ ⎨ ⎧ + 0 − ? F τ ( x ) ≺ τ F τ ( T x ) , F τ ( x ) ∼ τ F τ ( T x ) , F τ ( T x ) ≺ τ F τ ( x ) , otherwise / incomparable . 因此：
+ + + τ \tau τ − - − τ \tau τ 0 0 0 ? ? ?
這一式是新版三元分類最重要的技術修正之一。
7. Multi-Axis Direction Signature
若研究：
τ = ( τ 1 , … , τ m ) , \boldsymbol\tau
=
(
\tau_1,\ldots,\tau_m
), τ = ( τ 1 , … , τ m ) , 則：
σ ( T ; x ) = ( σ τ 1 , … , σ τ m ) . \boxed{
\boldsymbol\sigma(T;x)
=
(
\sigma_{\tau_1},
\ldots,
\sigma_{\tau_m}
).
} σ ( T ; x ) = ( σ τ 1 , … , σ τ m ) . 例如某理論壓縮操作可能：
σ ( T ) = ( − t e x t , + r e l a t i o n , 0 c a u s a l , − b r a n c h ) . \boldsymbol\sigma(T)
=
(
-_{\mathrm{text}},
+_{\mathrm{relation}},
0_{\mathrm{causal}},
-_{\mathrm{branch}}
). σ ( T ) = ( − text , + relation , 0 causal , − branch ) . 意思是：
文本量收斂；
顯式關係展開；
因果結構保持；
未解分支減少。
因此：
一個 operation 可以同時具有多個方向。 \boxed{
\text{一個 operation 可以同時具有多個方向。}
} 一個 operation 可以同時具有多個方向。 8. Expansion Family
定義 8.1 — Typed Expansion
若對目標軸 τ E \tau_E τ E
σ τ E ( T ; x ) = + , \boxed{
\sigma_{\tau_E}(T;x)=+,
} σ τ E ( T ; x ) = + , 且：
T T T 滿足指定 legality / invariant constraints：
J E , \mathcal J_E, J E , 則稱 T T T τ E \tau_E τ E
所有此類算子構成：
E τ E \boxed{
\mathfrak E_{\tau_E}
} E τ E 而總 Expansion family：
E = ⋃ τ E τ . \boxed{
\mathfrak E
=
\bigcup_{\tau}
\mathfrak E_\tau.
} E = τ ⋃ E τ . 9. Expansion 的四個基本 layer subtype
Paper 01 已暗示至少四種 Expansion。
9.1 Latent Expansion
若：
X l a t ( t ) ⊊ X l a t ( t + 1 ) , \mathcal X_{\mathrm{lat}}^{(t)}
\subsetneq
\mathcal X_{\mathrm{lat}}^{(t+1)}, X lat ( t ) ⊊ X lat ( t + 1 ) , 稱：
E l a t \boxed{
\mathcal E^{\mathrm{lat}}
} E lat 為 latent admissibility expansion。
它可能由：
rule change；
capability increase；
resource increase；
boundary relaxation；
new grammar；
new dimension；
造成。
9.2 Activation Expansion
若真正 active degrees of freedom 增加：
E a c t : x t a c t → x t + 1 a c t , \boxed{
\mathcal E^{\mathrm{act}}
:
x_t^{\mathrm{act}}
\rightarrow
x_{t+1}^{\mathrm{act}},
} E act : x t act → x t + 1 act , 且指定 active-state witness 為 + + +
9.3 Manifest / Resolution Expansion
若 underlying active state 不變，但：
q 1 → q 2 q_1
\rightarrow
q_2 q 1 → q 2 使：
F r e s o l u t i o n ( Π q 1 ( x ) ) ≺ F r e s o l u t i o n ( Π q 2 ( x ) ) , F_{\mathrm{resolution}}
(
\Pi_{q_1}(x)
)
\prec
F_{\mathrm{resolution}}
(
\Pi_{q_2}(x)
), F resolution ( Π q 1 ( x )) ≺ F resolution ( Π q 2 ( x )) , 則：
E r e p r \boxed{
\mathcal E^{\mathrm{repr}}
} E repr 為 representation expansion。
這是「看見更多」而不一定是「世界生成更多」。
9.4 Graph Expansion
若：
G q = ( V , E ) G_q=(V,E) G q = ( V , E ) 變成：
G q ′ = ( V ′ , E ′ ) , G_q'=(V',E'), G q ′ = ( V ′ , E ′ ) , 並使指定 graph witness 增加，例如：
∣ V ′ ∣ > ∣ V ∣ |V'|>|V| ∣ V ′ ∣ > ∣ V ∣ 或：
∣ E ′ ∣ > ∣ E ∣ |E'|>|E| ∣ E ′ ∣ > ∣ E ∣ 或 relational rank 上升，則為：
E g r a p h . \boxed{
\mathcal E^{\mathrm{graph}}.
} E graph . 10. Connection Family
Connection 不以：
+ + + 或：
− - − 定義。
它回答的是：
原先可獨立指稱的結構之間，是否建立了新的合法關係接口、傳輸、依賴、耦合或共同域？
11. General Connection Object
給兩個 typed objects：
A , B . A,
\qquad
B. A , B . 最一般地，Connection 可以由一個 interface / joint object：
J A B J_{AB} J A B 與映射：
i A : A → J A B , i_A:A\rightarrow J_{AB}, i A : A → J A B , i B : B → J A B i_B:B\rightarrow J_{AB} i B : B → J A B 表示：
A → J A B ← B . \boxed{
A
\rightarrow
J_{AB}
\leftarrow
B.
} A → J A B ← B . 但僅有這個形狀還不足以說明實際 coupling。
因此還需 relational witness：
R A B ≠ ∅ \boxed{
R_{AB}\neq\varnothing
} R A B = ∅ 或 transport / interaction law。
12. Connection 的最低定義
定義 12.1 — Typed Connection
一個算子：
L β \mathcal L_\beta L β 若從：
( A , B ) (A,B) ( A , B ) 生成 joint relational structure：
J A B , J_{AB}, J A B , 且至少存在一個非平凡 relation / transport witness：
R A B , R_{AB}, R A B , 使：
Rel ( A , B ; J A B ) ≠ ∅ , \boxed{
\operatorname{Rel}(A,B;J_{AB})\neq\varnothing,
} Rel ( A , B ; J A B ) = ∅ , 則稱為 typed connection。
所有此類操作構成：
L . \boxed{
\mathfrak L.
} L . 13. Connection 不等於 Expansion
新增一條 edge：
A → B A\rightarrow B A → B 可能使：
F e d g e : + F_{\mathrm{edge}}:+ F edge : + 但：
F n o d e : 0. F_{\mathrm{node}}:0. F node : 0. 因此：
L \mathcal L L 可以在某 structural axis 上伴隨 Expansion，但 Connection 的定義不是：
σ = + . \sigma=+. σ = + . 反過來，兩個子系統可能建立 transport interface，但整體自由度因同步約束下降。
此時可能：
L ∧ σ f r e e d o m = − . \boxed{
\mathcal L
\land
\sigma_{\mathrm{freedom}}=-.
} L ∧ σ freedom = − . 所以 Connection 與 Expansion/Convergence 是不同分類軸。
14. Connection Hierarchy
本文先建立五級工作分類。
L0 — Adjacency
A − B A-B A − B 只表示某種 relation label 存在。
L1 — Addressable Transport
存在：
T A → B . T_{A\to B}. T A → B . A 的某些內容可以被搬運／翻譯到 B。
L2 — Active Influence
B 的更新式實際依賴 A：
x B ′ = F B ( x B , T A → B ( x A ) ) . x_B'
=
F_B
(
x_B,
T_{A\to B}(x_A)
). x B ′ = F B ( x B , T A → B ( x A )) . L3 — Shared-State Domain
存在共同可成立的 state-sharing structure。
這將由下一篇 SSDC 正式定義。
L4 — Mutual / Recursive Coupling
存在：
A → B A\rightarrow B A → B 及：
B → A B\rightarrow A B → A 的非平凡 feedback，甚至使 joint state dynamics 必須整體描述。
此階梯不是價值排序，而是 relational strength / structure typing。
15. SSDC 的上位位置
因此：
S S D C ⊂ L \boxed{
\mathrm{SSDC}
\subset
\mathfrak L
} SSDC ⊂ L 仍保留。
但：
L ≠ S S D C . \mathfrak L
\neq
\mathrm{SSDC}. L = SSDC . 一條引用、依賴、地址映射可以是 Connection，但未必形成 shared-state domain。
下一篇將精確建立：
S S D C A B q = ( S h a r e , T r a n s p o r t , C o u p l e , M e a s u r e ) A B q . \mathrm{SSDC}_{AB}^q
=
(
Share,
Transport,
Couple,
Measure
)_{AB}^q. SSDC A B q = ( S ha r e , T r an s p or t , C o u pl e , M e a s u r e ) A B q . 16. Convergence Family
定義 16.1 — Typed Convergence
若對目標軸 τ C \tau_C τ C
σ τ C ( T ; x ) = − , \boxed{
\sigma_{\tau_C}(T;x)=-,
} σ τ C ( T ; x ) = − , 並保留指定 invariants：
J C , \mathcal J_C, J C , 則稱 T T T τ C \tau_C τ C
構成：
C τ C . \boxed{
\mathfrak C_{\tau_C}.
} C τ C . 總 Convergence family：
C = ⋃ τ C τ . \boxed{
\mathfrak C
=
\bigcup_\tau
\mathfrak C_\tau.
} C = τ ⋃ C τ . 17. 收斂不等於刪除
一個 convergence 可以：
merge equivalent states；
remove redundant representation；
reduce unresolved branches；
decrease optimization error；
quotient by an equivalence relation；
compress description；
stabilize dynamics；
project to a lower-resolution representation。
因此：
Convergence ≠ destructive deletion . \boxed{
\text{Convergence}
\neq
\text{destructive deletion}.
} Convergence = destructive deletion . 是否失真，要由後續：
Δ I \Delta_{\mathbf I} Δ I 判定。
18. 收斂也不等於 limit existence
若：
x 0 → C 0 x 1 → C 1 x 2 → ⋯ x_0
\xrightarrow{\mathcal C_0}
x_1
\xrightarrow{\mathcal C_1}
x_2
\rightarrow
\cdots x 0 C 0 x 1 C 1 x 2 → ⋯ 在某 witness 上持續下降：
F τ ( x n + 1 ) ⪯ F τ ( x n ) , F_\tau(x_{n+1})
\preceq
F_\tau(x_n), F τ ( x n + 1 ) ⪯ F τ ( x n ) , 只表示一個 descending process。
要宣稱：
lim n → ∞ x n = x ⋆ \lim_{n\to\infty}x_n=x^\star n → ∞ lim x n = x ⋆ 仍需：
topology；
metric；
completeness；
compactness；
monotonicity plus suitable order conditions；
fixed-point or convergence theorem；
等額外條件。
因此：
directional convergence ≠ proved analytic limit . \boxed{
\text{directional convergence}
\neq
\text{proved analytic limit}.
} directional convergence = proved analytic limit . 19. 同一具體算子的多重身份
假設一個操作：
T T T 把十份重複理論稿：
D 1 , … , D 10 D_1,\ldots,D_{10} D 1 , … , D 10 重構成一份 dependency graph。
可能：
σ t e x t ( T ) = − , \sigma_{\mathrm{text}}(T)=-, σ text ( T ) = − , σ e x p l i c i t − r e l a t i o n s ( T ) = + , \sigma_{\mathrm{explicit-relations}}(T)=+, σ explicit − relations ( T ) = + , σ u n r e s o l v e d − b r a n c h e s ( T ) = − . \sigma_{\mathrm{unresolved-branches}}(T)=-. σ unresolved − branches ( T ) = − . 同時：
T ∈ L T
\in
\mathfrak L T ∈ L 因為它新增大量 explicit links。
因此：
T ∈ E r e l a t i o n ∩ C t e x t ∩ L . \boxed{
T
\in
\mathfrak E_{\mathrm{relation}}
\cap
\mathfrak C_{\mathrm{text}}
\cap
\mathfrak L.
} T ∈ E relation ∩ C text ∩ L . 這不構成矛盾。
新版三元不是互斥三分類。
它更接近：
typed directional-relational signature system . \boxed{
\text{typed directional-relational signature system}.
} typed directional-relational signature system . 20. 三元不可被簡化為單一 scalar phase
因此本文不採：
p E + p L + p C = 1 p_E+p_L+p_C=1 p E + p L + p C = 1 作為一般正典公理。
某些特定 model 可以定義 normalized weights：
α E + β L + γ C = 1 , \alpha_E+\beta_L+\gamma_C=1, α E + β L + γ C = 1 , 但它只是 model-specific simplex representation。
在一般 Ontology Canon 中：
E , L , C \boxed{
\mathfrak E,\mathfrak L,\mathfrak C
} E , L , C 可以重疊、並行、嵌套。
21. Cross-Layer Operator Transport
如果同一研究者說：
這個 low-level expansion 在 graph layer 也表現成 expansion。
這需要額外條件。
設：
T a : X a → X a ′ T_a:
X_a\rightarrow X_a' T a : X a → X a ′ 與：
T b : X b → X b ′ . T_b:
X_b\rightarrow X_b'. T b : X b → X b ′ . 以及 projection / abstraction：
Π a → b . \Pi_{a\to b}. Π a → b . 真正的 exact preservation 要求：
定義 21.1 — Exact Operator Commutation
Π a → b ∘ T a = T b ∘ Π a → b . \boxed{
\Pi_{a\to b}
\circ
T_a
=
T_b
\circ
\Pi_{a\to b}.
} Π a → b ∘ T a = T b ∘ Π a → b . 這表示：
先在低層作用再投影，與先投影再在高層作用，得到相同結果。
22. Commutation Defect
現實模型常只能近似成立。
若 target space 有 distance / discrepancy：
d b , d_b, d b , 定義：
δ Π , T ( x ) = d b ( Π a → b ( T a x ) , T b ( Π a → b x ) ) . \boxed{
\delta_{\Pi,T}(x)
=
d_b
\left(
\Pi_{a\to b}(T_a x),
T_b(\Pi_{a\to b}x)
\right).
} δ Π , T ( x ) = d b ( Π a → b ( T a x ) , T b ( Π a → b x ) ) . 全域 defect 可寫：
Δ Π , T = sup x ∈ D δ Π , T ( x ) \boxed{
\Delta_{\Pi,T}
=
\sup_{x\in D}
\delta_{\Pi,T}(x)
} Δ Π , T = x ∈ D sup δ Π , T ( x ) 若 supremum 合法存在。
因此：
Δ Π , T = 0 \Delta_{\Pi,T}=0 Δ Π , T = 0 表示 exact commuting。
而：
Δ Π , T ≤ ϵ \Delta_{\Pi,T}\le\epsilon Δ Π , T ≤ ϵ 表示 approximate preservation。
23. 名字相同不代表跨層動力相同
即使：
T a T_a T a 與：
T b T_b T b 都被自然語言叫做 Expansion，如果：
Π T a ≠ T b Π , \Pi T_a
\neq
T_b\Pi, Π T a = T b Π , 則它們只是：
analogically similar \boxed{
\text{analogically similar}
} analogically similar 而不是已證明同一跨層算子。
這條規則直接防止：
物理 expansion；
認知 expansion；
語義 expansion；
社會 expansion；
僅因名稱相同就被宣稱嚴格同構。
24. Cross-Layer Direction Preservation
比 exact commutation 更弱的條件是：
σ τ ( T a ; x ) = σ τ ′ ( T b ; Π x ) . \boxed{
\sigma_\tau(T_a;x)
=
\sigma_{\tau'}(T_b;\Pi x).
} σ τ ( T a ; x ) = σ τ ′ ( T b ; Π x ) . 即：
低層與高層至少保持同方向。
這可稱：
direction-preserving abstraction . \boxed{
\text{direction-preserving abstraction}.
} direction-preserving abstraction . 但仍不代表 dynamics identical。
25. Triadic Composition Grammar
舊框架常寫：
E → C → V . E
\rightarrow
C
\rightarrow
V. E → C → V . 新版改成 operator alphabet：
Σ 3 = { E , L , C } . \boxed{
\Sigma_3
=
\{
\mathsf E,
\mathsf L,
\mathsf C
\}.
} Σ 3 = { E , L , C } . 形式 word：
w ∈ Σ 3 ∗ . w
\in
\Sigma_3^\ast. w ∈ Σ 3 ∗ . 但不是每個 word 都合法。
26. Typed Path Legality
對：
T 1 , … , T n , T_1,\ldots,T_n, T 1 , … , T n , 只有當：
cod ( T i ) = dom ( T i + 1 ) \operatorname{cod}(T_i)
=
\operatorname{dom}(T_{i+1}) cod ( T i ) = dom ( T i + 1 ) 或存在合法 adapter / projection 時，才可以組合。
因此：
T n ∘ ⋯ ∘ T 1 \boxed{
T_n\circ\cdots\circ T_1
} T n ∘ ⋯ ∘ T 1 是一條 typed path。
自然語言寫：
E → L → C E\rightarrow L\rightarrow C E → L → C 只是一個 label sequence。
真正數學內容在：
sig ( T 1 ) , … , sig ( T n ) . \boxed{
\operatorname{sig}(T_1),
\ldots,
\operatorname{sig}(T_n).
} sig ( T 1 ) , … , sig ( T n ) . 27. 經典三元循環的現行地位
舊：
C ∘ L ∘ E \boxed{
\mathcal C
\circ
\mathcal L
\circ
\mathcal E
} C ∘ L ∘ E 仍然保留為重要 pattern。
例如：
Generate alternatives → connect evidence → reduce unresolved freedom . \text{Generate alternatives}
\rightarrow
\text{connect evidence}
\rightarrow
\text{reduce unresolved freedom}. Generate alternatives → connect evidence → reduce unresolved freedom . 但：
E L C \boxed{
ELC
} E L C 不再被視為唯一合法 path。
可以存在：
E L E C , ELEC, E L E C , L C E , LCE, L C E , E E C , EEC, E E C , C L , CL, C L , 甚至多個 parallel branches。
28. Parallel Triadic Dynamics
對多個 components：
A 1 , … , A n , A_1,\ldots,A_n, A 1 , … , A n , 可以：
E A 1 , C A 2 , L A 3 A 4 \mathcal E_{A_1},
\quad
\mathcal C_{A_2},
\quad
\mathcal L_{A_3A_4} E A 1 , C A 2 , L A 3 A 4 同時發生。
因此全域 state update 可寫成：
X t + 1 = T t ( X t ) \boxed{
X_{t+1}
=
\mathcal T_t(X_t)
} X t + 1 = T t ( X t ) 其中：
T t \mathcal T_t T t 由多個 typed triadic operators 組合，而不是只有一個 global phase label。
29. 「無限」的重新正典化
歷史用語：
具有重要直覺，但形式上有歧義。
本文將它分成兩種。
30. Unbounded Iteration
定義 30.1 — Unbounded Expansion Process
若存在：
x 0 → E 0 x 1 → E 1 x 2 → ⋯ x_0
\xrightarrow{\mathcal E_0}
x_1
\xrightarrow{\mathcal E_1}
x_2
\rightarrow
\cdots x 0 E 0 x 1 E 1 x 2 → ⋯ 使對任何預設有限步數 N N N
x N x_N x N 是最終 expansion endpoint，則記：
E ω . \boxed{
\mathfrak E^\omega.
} E ω . 類似定義：
L ω , C ω . \boxed{
\mathfrak L^\omega,
\qquad
\mathfrak C^\omega.
} L ω , C ω . 其意義是：
open-ended iteration , \boxed{
\text{open-ended iteration},
} open-ended iteration , 不是：
a completed actual infinity has been constructed . \boxed{
\text{a completed actual infinity has been constructed}.
} a completed actual infinity has been constructed . 31. Limit-Bearing Infinity
只有在另有結構時，才可以進一步寫：
x n → x ⋆ . x_n\rightarrow x^\star. x n → x ⋆ . 例如：
( X , d ) (\mathcal X,d) ( X , d ) 為 metric space，並證明序列收斂。
因此：
C ω \boxed{
\mathfrak C^\omega
} C ω 不自動推出：
∃ lim n → ∞ x n . \boxed{
\exists
\lim_{n\to\infty}x_n.
} ∃ n → ∞ lim x n . 同理，無限展開不自動推出 infinite-dimensional completed object。
32. 無限連接的三種不同意思
「無限連接」至少應區分：
A. Unbounded edge addition
∣ E n ∣ → unbounded . |E_n|
\rightarrow
\text{unbounded}. ∣ E n ∣ → unbounded . B. Expanding interface closure
越來越多 subsystem pairs 得到合法 transport。
C. Increasing relational depth
不是 edge 數量增加，而是：
A − B A-B A − B 關係從 adjacency 進化到：
t r a n s p o r t → c o u p l i n g → s h a r e d − s t a t e d o m a i n → r e c u r s i v e c o u p l i n g . transport
\rightarrow
coupling
\rightarrow
shared-state domain
\rightarrow
recursive coupling. t r an s p or t → co u pl in g → s ha r e d − s t a t e d o main → r ec u r s i v eco u pl in g . 因此：
L ω \boxed{
\mathfrak L^\omega
} L ω 不能只用 edge count 定義。
33. Operator Fixed Points
某個 typed operator：
T T T 若：
T ( x ⋆ ) = x ⋆ , T(x^\star)=x^\star, T ( x ⋆ ) = x ⋆ , 則：
x ⋆ x^\star x ⋆ 是 T T T
但：
fixed point ≠ global closure . \boxed{
\text{fixed point}
\neq
\text{global closure}.
} fixed point = global closure . 因為還要問：
對哪個 operator？
對哪個 layer？
是否有其他 admissible operators？
perturbation 後是否離開？
branch 是否全部處理？
這一點留給 Paper 06。
34. Convergence 與 Closure 的邊界
目前只保留：
C ≠ C l . \boxed{
\mathfrak C
\neq
\mathfrak{Cl}.
} C = Cl . Convergence 是 directional operator family。
Closure 是 typed closure condition / process family。
可能：
convergence → closed state \text{convergence}
\rightarrow
\text{closed state} convergence → closed state 也可能：
closed structure \text{closed structure} closed structure 沒有任何收斂過程。
所以兩者不得同義。
35. Convergence 與 CRL 的邊界
同樣：
C R L ≠ C . \boxed{
CRL
\neq
\mathfrak C.
} C R L = C . CRL 特別處理：
branch merge；
certified equivalence；
unresolved divergence preservation；
next-stage re-linking。
因此 CRL 可以同時包含：
C + L \mathfrak C
+
\mathfrak L C + L 的 typed effects，但它本身是一個 higher-order branch-management operator。
詳細形式留給 Paper 06。
36. 差—合—化的現行地位
歷史：
⟨ Δ , U , ∇ ⟩ \langle
\Delta,
\mathcal U,
\nabla
\rangle ⟨ Δ , U , ∇ ⟩ 仍是一套重要 alternative basis。
但新版不寫：
⟨ Δ , U , ∇ ⟩ = ⟨ E , L , C ⟩ . \boxed{
\langle\Delta,\mathcal U,\nabla\rangle
=
\langle\mathfrak E,\mathfrak L,\mathfrak C\rangle.
} ⟨ Δ , U , ∇ ⟩ = ⟨ E , L , C ⟩ . 改為 typed mapping candidates。
例如：
Diff τ → E τ \operatorname{Diff}_\tau
\rightarrow
\mathfrak E_\tau Diff τ → E τ 可能在「差異生成」軸成立。
Couple τ → L \operatorname{Couple}_\tau
\rightarrow
\mathfrak L Couple τ → L 可能在 coupling domain 成立。
但：
Transform τ \operatorname{Transform}_\tau Transform τ 可能對某軸是 Expansion、另一軸是 Convergence、另一軸為 neutral。
所以：
Transformation ≠ Convergence . \boxed{
\text{Transformation}
\neq
\text{Convergence}.
} Transformation = Convergence . 37. No-Go 1：裸動詞同一性
禁止：
兩篇論文都寫「展開」 ⇒ 算子同一 . \boxed{
\text{兩篇論文都寫「展開」}
\Rightarrow
\text{算子同一}.
} 兩篇論文都寫「展開」 ⇒ 算子同一 . 必須比較：
sig ( T ) . \operatorname{sig}(T). sig ( T ) . 38. No-Go 2：單一 scalar 分類
禁止要求每個 operator 只能選：
E or L or C . E
\quad\text{or}\quad
L
\quad\text{or}\quad
C. E or L or C . 新版允許：
T ∈ E τ 1 ∩ C τ 2 ∩ L . T
\in
\mathfrak E_{\tau_1}
\cap
\mathfrak C_{\tau_2}
\cap
\mathfrak L. T ∈ E τ 1 ∩ C τ 2 ∩ L . 39. No-Go 3：連接必然增加自由度
Connection 可以增加約束。
例如 synchronization：
x A = x B x_A=x_B x A = x B 可能使 joint degrees of freedom 下降。
因此：
L ⇏ σ f r e e d o m = + . \boxed{
\mathcal L
\not\Rightarrow
\sigma_{\mathrm{freedom}}=+.
} L ⇒ σ freedom = + . 40. No-Go 4：收斂必然損失信息
若 convergence 只消除 redundant representation，而完整保存指定 sufficient structure，則：
Δ I \Delta_{\mathbf I} Δ I 可能在 relevant axes 上為零。
因此：
C ⇏ information destruction . \boxed{
\mathfrak C
\not\Rightarrow
\text{information destruction}.
} C ⇒ information destruction . 41. No-Go 5：跨層同方向等於同構
即使：
σ ( T a ) = σ ( T b ) = + , \sigma(T_a)=\sigma(T_b)=+, σ ( T a ) = σ ( T b ) = + , 也不能推出：
T a ≃ T b . T_a\simeq T_b. T a ≃ T b . 至少還需 cross-layer preservation / commutation conditions。
42. No-Go 6：所有過程都有 ELC 順序
某些系統可能：
L → E , L\rightarrow E, L → E , 例如先建立 coupling 才產生新的 collective mode。
某些系統可能：
C → E , C\rightarrow E, C → E , 例如先壓縮表示，才讓新的搜尋空間可計算。
因此：
E L C \boxed{
ELC
} E L C 是 canonical pattern，不是 universal temporal law。
43. No-Go 7：無限等於極限存在
E ω , L ω , C ω \mathfrak E^\omega,
\mathfrak L^\omega,
\mathfrak C^\omega E ω , L ω , C ω 只表示 open-ended iterative families。
不得自動推出：
lim , ω -completion , actual infinity . \lim,
\quad
\omega\text{-completion},
\quad
\text{actual infinity}. lim , ω -completion , actual infinity . 44. Example A：觀察解析度
同一 active state：
x . x. x . 低解析度：
M 1 = Π q 1 ( x ) . M_1=\Pi_{q_1}(x). M 1 = Π q 1 ( x ) . 高解析度：
M 2 = Π q 2 ( x ) . M_2=\Pi_{q_2}(x). M 2 = Π q 2 ( x ) . 若：
F d i s t i n c t i o n ( M 1 ) ≺ F d i s t i n c t i o n ( M 2 ) , F_{\mathrm{distinction}}(M_1)
\prec
F_{\mathrm{distinction}}(M_2), F distinction ( M 1 ) ≺ F distinction ( M 2 ) , 則：
E r e p r \boxed{
\mathcal E^{\mathrm{repr}}
} E repr 成立。
但：
x x x 沒有 ontic expansion。
45. Example B：Graph Merge
兩個 equivalent nodes：
v 1 , v 2 v_1,
v_2 v 1 , v 2 被 merge：
v ⋆ . v^\star. v ⋆ . node count：
− - − 但 provenance edge 可能新增：
+ . +. + . 因此：
σ = ( − n o d e , + p r o v e n a n c e ) . \boldsymbol\sigma
=
(-_{\mathrm{node}},+_{\mathrm{provenance}}). σ = ( − node , + provenance ) . 這是典型 multi-axis convergence。
46. Example C：同步
兩個 systems：
A , B A,
B A , B 建立：
x A = x B x_A=x_B x A = x B 的 synchronization constraint。
這是：
L \mathcal L L 因為 connection / coupling 成立。
但 joint freedom 可能：
− . -. − . 因此：
L + C f r e e d o m \boxed{
\mathcal L
+
\mathfrak C_{\mathrm{freedom}}
} L + C freedom 可以同時成立。
舊 C o Co C o
S S D C s y n c \boxed{
SSDC^{\mathrm{sync}}
} S S D C sync 的歷史工程 subtype。
47. Example D：理論呼吸
一篇理論加入新反例：
E b r a n c h . \mathcal E^{\mathrm{branch}}. E branch . 與舊理論建立依賴：
L t h e o r y . \mathcal L^{\mathrm{theory}}. L theory . 合併等價分支：
C b r a n c h . \mathcal C^{\mathrm{branch}}. C branch . 固化版本：
Rest . \operatorname{Rest}. Rest . 因此 Theory Breathing 可以重寫成：
Rest ∘ C b r a n c h ∘ L t h e o r y ∘ E b r a n c h . \boxed{
\operatorname{Rest}
\circ
\mathcal C^{\mathrm{branch}}
\circ
\mathcal L^{\mathrm{theory}}
\circ
\mathcal E^{\mathrm{branch}}.
} Rest ∘ C branch ∘ L theory ∘ E branch . 它是 triadic families 的 version-dynamics realization，不是第四元本體論。
48. External Comparison：Open Systems 與 Compositionality
本節只作方法論比較。
Applied category theory 中，structured / decorated cospan frameworks 以帶 interface 的 open systems 為研究對象，並用 compositional structure 描述子系統如何組合。
本文吸收的不是：
Connection family 就等於 cospan。
而是：
interconnection needs typed interfaces and composition laws . \boxed{
\text{interconnection needs typed interfaces and composition laws}.
} interconnection needs typed interfaces and composition laws . 這正好支持本文拒絕把 Connection 簡化成一條無型別 edge。
49. External Comparison：Wiring Diagrams
open dynamical systems 的 wiring-diagram 研究區分：
syntax of interconnection；
semantics of dynamical systems。
本文對應地區分：
graph / interface connection \boxed{
\text{graph / interface connection}
} graph / interface connection 與：
actual state coupling . \boxed{
\text{actual state coupling}.
} actual state coupling . 這一區分將在 SSDC 中進一步形式化。
50. External Comparison：Bisimulation / Abstraction
approximate bisimulation 研究處理：
抽象模型在什麼條件下保存原系統的 dynamical behavior？
本文不直接採用其控制系統定義，但借用同一個嚴格精神：
cross-layer similarity needs preservation conditions . \boxed{
\text{cross-layer similarity needs preservation conditions}.
} cross-layer similarity needs preservation conditions . 因此本文引入：
Π T a = T b Π \Pi T_a
=
T_b\Pi Π T a = T b Π 與 commutation defect，而不是用語義同名替代證明。
51. External Comparison：Lumpability
Markov aggregation / lumpability 研究顯示：
state aggregation 只有在額外條件下，才會在 aggregate level 保留合法 dynamics，甚至 de-aggregation 能否成立也依賴條件。
這提供另一個重要警告：
coarse-graining ⇏ dynamics automatically survives . \boxed{
\text{coarse-graining}
\not\Rightarrow
\text{dynamics automatically survives}.
} coarse-graining ⇒ dynamics automatically survives . 因此 projection 後的 Convergence 不能自動被當成原系統的等價模型。
52. 本文不主張什麼
本文明確不主張：
E , L , C \mathfrak E,\mathfrak L,\mathfrak C E , L , C 所有物理、生物、認知、社會過程都能無損分成三元；
所有 Expansion 可用同一 scalar 衡量；
Connection 一定可以用 graph edge 完整表示；
Convergence 一定有 analytic limit；
三元 operator families 彼此互斥；
ELC 是所有系統唯一時間順序；
無限展開等於完成的實無窮；
跨層同名表示 strict isomorphism；
category theory、bisimulation 或 lumpability 已經證明本文本體論；
Δ , U , ∇ \Delta,\mathcal U,\nabla Δ , U , ∇ SSDC 等於所有 Connection。
53. 八條核心命題
Core-1 — Typed Operator Principle
sig ( T ) = ( ℓ s r c , ℓ d s t , q , τ , J ) \boxed{
\operatorname{sig}(T)
=
(
\ell_{\mathrm{src}},
\ell_{\mathrm{dst}},
q,
\tau,
\mathcal J
)
} sig ( T ) = ( ℓ src , ℓ dst , q , τ , J ) 必須先於跨理論 operator identity。
Core-2 — Direction Relativity
σ τ ( T ) \boxed{
\sigma_\tau(T)
} σ τ ( T ) 依 structural axis 而定。
Core-3 — Multi-Axis Operator
T 可同時在不同軸屬於 Expansion 與 Convergence。 \boxed{
T
\text{ 可同時在不同軸屬於 Expansion 與 Convergence。}
} T 可同時在不同軸屬於 Expansion 與 Convergence 。 Core-4 — Connection Orthogonality
L \boxed{
\mathfrak L
} L 是 relational class，不由單一 + / − +/- + / −
Core-5 — Cross-Layer Commutation
若宣稱同一動力跨層保存，至少應檢查：
Π T a = T b Π . \boxed{
\Pi T_a
=
T_b\Pi.
} Π T a = T b Π. Core-6 — Typed Path Principle
operator composition requires domain/codomain compatibility . \boxed{
\text{operator composition requires domain/codomain compatibility}.
} operator composition requires domain/codomain compatibility . Core-7 — ELC Special-Path Principle
E L C \boxed{
ELC
} E L C 是重要 pattern，不是 universal temporal law。
Core-8 — Unbounded-vs-Limit Principle
E ω , L ω , C ω \boxed{
\mathfrak E^\omega,
\mathfrak L^\omega,
\mathfrak C^\omega
} E ω , L ω , C ω 優先表示 open-ended iteration，而不自動表示 completed limit。
54. Canonical Triadic State Interface
結合 Paper 01 與本文：
Ω c a r ↓ Λ X l a t ⟹ E , L , C X l a t ↓ Act X a c t ⟹ E , L , C X a c t ↓ Π q M q ⟹ E , L , C M q ↓ Γ q G q ⟹ E , L , C G q . \boxed{
\begin{array}{c}
\Omega_{\mathrm{car}}
\\
\downarrow\Lambda
\\
\mathcal X_{\mathrm{lat}}
\overset{\mathfrak E,\mathfrak L,\mathfrak C}{\Longrightarrow}
\mathcal X_{\mathrm{lat}}
\\
\downarrow\operatorname{Act}
\\
\mathcal X_{\mathrm{act}}
\overset{\mathfrak E,\mathfrak L,\mathfrak C}{\Longrightarrow}
\mathcal X_{\mathrm{act}}
\\
\downarrow\Pi_q
\\
\mathcal M_q
\overset{\mathfrak E,\mathfrak L,\mathfrak C}{\Longrightarrow}
\mathcal M_q
\\
\downarrow\Gamma_q
\\
\mathcal G_q
\overset{\mathfrak E,\mathfrak L,\mathfrak C}{\Longrightarrow}
\mathcal G_q.
\end{array}
} Ω car ↓ Λ X lat ⟹ E , L , C X lat ↓ Act X act ⟹ E , L , C X act ↓ Π q M q ⟹ E , L , C M q ↓ Γ q G q ⟹ E , L , C G q . 但不同層上的三元算子只有在另外滿足 transport / commutation condition 時，才可宣稱是彼此的合法跨層實現。
55. 對下一篇 SSDC 的直接輸出
Paper 03 不再需要問：
Connection 到底是什麼？
本文已把上位概念固定為：
L = typed relational operator family . \boxed{
\mathfrak L
=
\text{typed relational operator family}.
} L = typed relational operator family . 下一篇只需進一步回答：
什麼類型的 Connection 形成真正 Shared-State Domain？
也就是：
L ⊃ S S D C . \boxed{
\mathfrak L
\supset
\mathrm{SSDC}.
} L ⊃ SSDC . 並建立：
S h a r e , T r a n s p o r t , C o u p l e , M e a s u r e . Share,
Transport,
Couple,
Measure. S ha r e , T r an s p or t , C o u pl e , M e a s u r e . 56. 結論
三元理論真正需要的升級不是增加第四元。
而是承認：
Expansion , Connection , Convergence \boxed{
\text{Expansion},
\text{Connection},
\text{Convergence}
} Expansion , Connection , Convergence 本來就是高度粗粒化的方向語言。
當理論進入：
state space；
observer；
graph；
information；
AI runtime；
multi-agent coupling；
closure；
identity；
後，它們必須變成：
typed operator families . \boxed{
\text{typed operator families}.
} typed operator families . 因此新版三元不再問：
這個操作到底是 E、L 還是 C？
而問：
它作用在哪一層？ 輸入輸出型別是什麼？ 對哪個 structural axis 是展開或收斂？ 建立了什麼 relation？ 保留哪些 invariants？ 跨層投影後是否仍保持同一 dynamics？ \boxed{
\begin{aligned}
&\text{它作用在哪一層？}\\
&\text{輸入輸出型別是什麼？}\\
&\text{對哪個 structural axis 是展開或收斂？}\\
&\text{建立了什麼 relation？}\\
&\text{保留哪些 invariants？}\\
&\text{跨層投影後是否仍保持同一 dynamics？}
\end{aligned}
} 它作用在哪一層？ 輸入輸出型別是什麼？ 對哪個 structural axis 是展開或收斂？ 建立了什麼 relation ？ 保留哪些 invariants ？ 跨層投影後是否仍保持同一 dynamics ？ 這使三元從一套宏觀哲學動詞，第一次轉成可與 state-space theory、graph representation、open systems、coarse-graining 與後續 SSDC 接軌的正式算子語法。
歷史上的：
無限展開 + 無限連接 + 無限收斂 \boxed{
\text{無限展開}
+
\text{無限連接}
+
\text{無限收斂}
} 無限展開 + 無限連接 + 無限收斂 也因此獲得更安全的現行解釋：
E ω , L ω , C ω \boxed{
\mathfrak E^\omega,
\quad
\mathfrak L^\omega,
\quad
\mathfrak C^\omega
} E ω , L ω , C ω 表示可以持續跨層、跨尺度、跨版本迭代的 open-ended operator families；是否形成真正極限、閉合或固定點，則留給各自額外的數學條件判定。
參考文獻
Fong, B. Decorated Cospans . arXiv:1502.00872, 2015.
Vagner, D., Spivak, D. I., & Lerman, E. Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams . arXiv:1408.1598, 2014.
Schultz, P., Spivak, D. I., & Vasilakopoulou, C. Dynamical Systems and Sheaves . arXiv:1609.08086, 2016.
Baez, J. C., & Courser, K. Structured Cospans . arXiv:1911.04630, 2019.
Baez, J. C., Courser, K., & Vasilakopoulou, C. Structured versus Decorated Cospans . arXiv:2101.09363, 2021.
Sadek, B. A., Saharsh, Jagtap, P., & Saoud, A. Compositional Approximately Bisimilar Abstractions of Interconnected Systems . arXiv:2211.08655, 2022.
Ganguly, A., Petrov, T., & Koeppl, H. Markov chain aggregation and its applications to combinatorial reaction networks . arXiv:1303.4532, 2013.
Baez, J. C. Double Categories of Open Systems: the Cospan Approach . arXiv:2509.22584, 2025.
版本註記
v0.1
首次建立：
typed operator signature；
structural witness F τ F_\tau F τ
direction signature σ τ \sigma_\tau σ τ
multi-axis operator classification；
E , L , C \mathfrak E,\mathfrak L,\mathfrak C E , L , C latent / active / manifest / graph layer subtypes；
Connection hierarchy；
SSDC 的上位型別；
cross-layer commuting condition；
commutation defect；
typed triadic word / path system；
ELC 作為 special path 而非 universal temporal law；
E ω , L ω , C ω \mathfrak E^\omega,\mathfrak L^\omega,\mathfrak C^\omega E ω , L ω , C ω Convergence / Closure / CRL 邊界；
差—合—化 alternative basis 的 typed repositioning。