# ESC-EXP-15：Epistemic Effect Algebra

**系列：** Extensional Structural Convergence — Experimental Phase  
**文件編號：** ESC-EXP-15  
**版本：** v0.1  
**日期：** 2026-09-23  
**前置：** ESC-00 ～ ESC-06、ESC-EXP-00 ～ ESC-EXP-14  
**狀態：** Compositional Algebra + Synergy / Congruence Experiment / Canonical UTF-8 Source

**作者：** Neo.K  
**機構：** EveMissLab／一言諾科技有限公司  

---

## 摘要

ESC-EXP-14 已建立：

$$
r_1
\equiv_{\mathrm{epi}}
r_2
\iff
(\mathbf G_1,\mathbf L_1)
=
(\mathbf G_2,\mathbf L_2),
$$

並將六個 repair implementations quotient 成四個 epistemic-effect classes。

本輪追問一個更嚴格、也是可組合系統真正必須回答的問題：

> **如果兩個 repair 現在具有相同 epistemic effect，它們在未來再與其他 effects composition 時，是否仍然可以互換？**

也就是：

$$
r_1\equiv_{\mathrm{epi}}r_2
$$

是否推出：

$$
\boxed{
r_1\circ e
\equiv_{\mathrm{epi}}
r_2\circ e
}
$$

對所有 admissible future effects：

$$
e
$$

成立。

若成立， $\equiv_{\mathrm{epi}}$ 才不只是 current observational equivalence，而是 composition-compatible congruence。

本輪答案是：

$$
\boxed{
\text{不一定。}
}
$$

在 separable target regime 中，effect algebra 表現得非常乾淨：

- 三個 primitive effects；
- 八個 mechanism states；
- $B_3$ Boolean lattice；
- composition 交換、結合、冪等；
- effect gain componentwise additive；
- current-effect equivalence 是 congruence。

但只要 target 中加入真正的 coupled / synergistic structure，例如：

$$
J_{TD}
=
T\oplus D,
$$

以及：

$$
J_{TDG}
=
T\oplus D\oplus G,
$$

立刻出現：

$$
\boxed{
\text{current-effect equivalence}
\neq
\text{compositional congruence}.
}
$$

最小反例：

$$
\varnothing
\equiv_{\mathrm{epi}}
\{T\}
$$

在 coupled-only target family 中都產生零 gain。

然而與：

$$
\{D\}
$$

composition 後：

$$
\varnothing\vee D
=
D
$$

仍然零 gain，

但：

$$
T\vee D
=
TD
$$

對：

$$
T\oplus D
$$

突然產生：

$$
\boxed{
1\text{ bit}
}
$$

synergy。

所以：

$$
\boxed{
\varnothing\equiv_{\mathrm{epi}}T
}
$$

卻：

$$
\boxed{
\varnothing\vee D
\not\equiv_{\mathrm{epi}}
T\vee D.
}
$$

這直接證明 EXP-14 的「相同當下 effect」quotient，一般不能自動當成 effect algebra 的合法 quotient。

---

# 1. Controlled Primitive-Effect Domain

本輪建立：

$$
2^3=8
$$

個 controlled states。

固定：

- $n=3$ ；
- fully distinguishable partition；
- complete undirected relation support；
- fixed probe mode；
- no history。

只變動三個 hidden binary coordinates：

$$
T,
\quad
D,
\quad
G.
$$

其中：

### $T$

relation-type regime：

- uniform type；
- one-edge type perturbation。

### $D$

direction regime：

- transitive orientation；
- cyclic orientation。

### $G$

formation context：

$$
ctx0/ctx1.
$$

三個 coordinate 對 I projection 都不可見。

實驗確認：

$$
\boxed{
|\Pi_I(\mathcal D)|=1.
}
$$

也就是八個 states 對 baseline I 完全 observationally identical。

---

# 2. Primitive Effect Operators

定義三個 primitive observable additions：

$$
E_T,
\quad
E_D,
\quad
E_G.
$$

每個 effect 表示把對應 hidden coordinate 原生加入 I observation key。

composition 定義為 observable union：

$$
\boxed{
E_A\circ E_B
=
E_{A\cup B}.
}
$$

因此 mechanism-level effect space 是：

$$
\boxed{
\mathcal M
=
\mathcal P(\{T,D,G\}).
}
$$

共有：

$$
8
$$

個元素。

---

# 3. Mechanism Algebra

本輪完整驗證：

$$
\boxed{
A\vee B
=
A\cup B
}
$$

以及：

$$
\boxed{
A\wedge B
=
A\cap B.
}
$$

結果：

### Commutativity

$$
A\vee B
=
B\vee A.
$$

### Associativity

$$
(A\vee B)\vee C
=
A\vee(B\vee C).
$$

### Idempotence

$$
A\vee A
=
A.
$$

### Distributivity

$$
A\vee(B\wedge C)
=
(A\vee B)\wedge(A\vee C).
$$

### Complement

$$
A\vee A^c
=
\{T,D,G\},
$$

$$
A\wedge A^c
=
\varnothing.
$$

所以：

$$
\boxed{
\mathcal M
\cong
B_3.
}
$$

mechanism composition 本身是一個完整八元素 Boolean lattice。

---

# 4. Separable Target Regime

第一組 targets：

$$
\boxed{
\mathcal J_{\mathrm{sep}}
=
\{T,D,G\}.
}
$$

三個 primitive coordinates 都是獨立 binary target。

baseline I 看不到任何一個：

$$
H(T\mid I)
=
H(D\mid I)
=
H(G\mid I)
=
1.
$$

---

# 5. Separable Primitive Gains

$$
\mathbf G(E_T)
=
(1,0,0),
$$

$$
\mathbf G(E_D)
=
(0,1,0),
$$

$$
\mathbf G(E_G)
=
(0,0,1).
$$

完整 composition：

$$
\mathbf G(E_{TDG})
=
(1,1,1).
$$

且：

$$
\boxed{
\mathbf G(E_{TDG})
=
\mathbf G(E_T)
+
\mathbf G(E_D)
+
\mathbf G(E_G).
}
$$

Möbius interaction spectrum只有一階項：

$$
m_T(T)=1,
$$

$$
m_D(D)=1,
$$

$$
m_G(G)=1,
$$

其餘高階 interaction：

$$
0.
$$

所以這是一個完全 separable effect regime。

---

# 6. Separable Effect Quotient

對：

$$
\mathcal J_{\mathrm{sep}}
$$

每一個 mechanism subset 都具有不同 gain vector。

因此 current-effect quotient 有：

$$
\boxed{
8
}
$$

個 classes。

也就是：

$$
\boxed{
\mathcal M/\equiv_{\mathrm{epi}}
\cong
B_3.
}
$$

更重要的是，本輪逐一驗證：

$$
\boxed{
\equiv_{\mathrm{epi}}
\text{ 是 composition congruence}.
}
$$

即：

$$
A\equiv B
\Rightarrow
A\vee C
\equiv
B\vee C.
$$

在 separable regime 成立。

---

# 7. Coupled Targets

第二組 targets 刻意改成：

$$
\boxed{
\mathcal J_{\mathrm{coupled}}
=
\{
XOR_{TD},
XOR_{TDG}
\}.
}
$$

其中：

$$
XOR_{TD}
=
T\oplus D,
$$

$$
XOR_{TDG}
=
T\oplus D\oplus G.
$$

這兩個 target 不是 primitive coordinate，而是 hidden coordinates 的耦合函數。

---

# 8. Pair Synergy

只 reveal：

$$
T
$$

時：

$$
H(T\oplus D\mid I,T)
=
1.
$$

所以：

$$
G_{XOR_{TD}}(T)=0.
$$

同理：

$$
G_{XOR_{TD}}(D)=0.
$$

但 reveal：

$$
T,D
$$

後：

$$
H(T\oplus D\mid I,T,D)=0.
$$

所以：

$$
G_{XOR_{TD}}(TD)=1.
$$

因此二階 interaction：

$$
\boxed{
m_{XOR_{TD}}(TD)=1.
}
$$

也就是：

$$
\boxed{
1\text{ bit pair synergy}.
}
$$

---

# 9. Triple Synergy

對：

$$
XOR_{TDG}
$$

revealing 任意一個 primitive：

$$
G=0.
$$

revealing 任意兩個：

$$
G=0.
$$

只有三個全部 reveal：

$$
T,D,G
$$

才：

$$
G=1.
$$

因此：

$$
\boxed{
m_{XOR_{TDG}}(TDG)=1.
}
$$

即：

$$
\boxed{
1\text{ bit pure third-order synergy}.
}
$$

---

# 10. Möbius Interaction Spectrum

本輪 interaction spectrum 非零項恰好為：

$$
\boxed{
m_T(T)=1
}
$$

$$
\boxed{
m_D(D)=1
}
$$

$$
\boxed{
m_G(G)=1
}
$$

$$
\boxed{
m_{XOR_{TD}}(TD)=1
}
$$

$$
\boxed{
m_{XOR_{TDG}}(TDG)=1.
}
$$

這使：

- primitive information；
- pair synergy；
- triple synergy；

被乾淨地分離到不同 interaction order。

---

# 11. Coupled-Only Current Effect Quotient

在：

$$
\mathcal J_{\mathrm{coupled}}
$$

下，八個 mechanisms 現在被 current gain vector 壓成只有：

$$
\boxed{
3
}
$$

個 classes。

### Class $C_0$

gain：

$$
(0,0).
$$

members：

$$
\boxed{
\{
\varnothing,
T,
D,
G,
TG,
DG
\}.
}
$$

### Class $C_1$

gain：

$$
(1,0).
$$

唯一 member：

$$
TD.
$$

### Class $C_2$

gain：

$$
(1,1).
$$

唯一 member：

$$
TDG.
$$

所以 current-effect quotient 看起來像：

$$
\boxed{
C_0<C_1<C_2.
}
$$

一條三階 chain。

---

# 12. 但這個 Quotient 不能做 Algebra

關鍵反例：

$$
\varnothing
\equiv_{\mathrm{epi}}
T
$$

因為兩者 current coupled gain 都：

$$
(0,0).
$$

現在 composition：

$$
C=D.
$$

則：

$$
\varnothing\vee D=D,
$$

仍在：

$$
C_0.
$$

但：

$$
T\vee D=TD,
$$

進入：

$$
C_1.
$$

所以：

$$
\boxed{
\varnothing\equiv T
}
$$

卻：

$$
\boxed{
\varnothing\vee D
\not\equiv
T\vee D.
}
$$

因此：

$$
\boxed{
\equiv_{\mathrm{epi}}
\text{ 不是 congruence}.
}
$$

---

# 13. Counterexample 數量

本輪 exhaustively 對：

- 所有 current-equivalent mechanism pairs；
- 所有 future effect contexts；

測試 composition substitutability。

coupled-only regime 找到：

$$
\boxed{
43
}
$$

個 congruence counterexamples。

所以這不是單一特殊例。

---

# 14. Join-Homomorphism 失敗

在 separable target family：

$$
\boxed{
\operatorname{Eff}(A\vee B)
=
\operatorname{Eff}(A)
\vee
\operatorname{Eff}(B)
}
$$

沒有 positive join defect。

但 coupled-only family 出現：

$$
\boxed{
20
}
$$

個 positive join defects。

例如：

$$
\operatorname{Eff}(T)=0,
$$

$$
\operatorname{Eff}(D)=0,
$$

但：

$$
\operatorname{Eff}(T\vee D)
=
1.
$$

所以 effect map 不再是 join homomorphism。

---

# 15. Hybrid Target Family

第三組 targets：

$$
\boxed{
\mathcal J_{\mathrm{hybrid}}
=
\{
T,D,G,
XOR_{TD},
XOR_{TDG}
\}.
}
$$

primitive targets 足以區分全部八個 mechanism states。

所以 current effect classes 又回到：

$$
\boxed{
8.
}
$$

而 current-effect equivalence也重新成為 congruence。

但是 gain map仍然不是 join-homomorphic，因為 coupled targets 保留 synergy。

也就是：

$$
\boxed{
\text{injective effect representation}
\not\Rightarrow
\text{additive / homomorphic gain representation}.
}
$$

---

# 16. Hybrid Joint Gain 為什麼最大只有 $3$ bits？

hybrid target vector共有五個欄位：

$$
(T,D,G,XOR_{TD},XOR_{TDG}).
$$

但：

$$
XOR_{TD}
$$

與：

$$
XOR_{TDG}
$$

都是前三個 primitives 的 deterministic functions。

所以完整 target vector只有：

$$
\boxed{
3\text{ bits}
}
$$

joint entropy。

因此 full reveal：

$$
G_{\mathrm{joint}}=3,
$$

而不是：

$$
5.
$$

這再次顯示：

$$
\boxed{
\text{target count}
\neq
\text{independent epistemic dimension count}.
}
$$

---

# 17. EXP-14 Quotient 的真正限制

EXP-14 說：

$$
r_1\equiv_{\mathrm{epi}}r_2
$$

如果目前：

$$
(\mathbf G,\mathbf L)
$$

相同。

EXP-15 現在補上：

$$
\boxed{
\text{這只保證 current extensional equivalence。}
}
$$

它不保證：

$$
\boxed{
\text{future compositional substitutability}.
}
$$

若未來 effect context 可能與 latent mechanism 發生 synergy，current effect quotient 可能把重要的 interaction potential 壓掉。

---

# 18. Current Effect Equivalence

因此正式記：

$$
\boxed{
r_1
\equiv_{\mathrm{now}}
r_2
}
$$

若：

$$
\operatorname{Eff}(r_1)
=
\operatorname{Eff}(r_2)
$$

在目前 target family / current observation point 成立。

這是 EXP-14 使用的主要 equivalence。

---

# 19. Contextual Effect Equivalence

若想安全 composition，應改成：

$$
\boxed{
r_1
\equiv_{\mathrm{ctx}}
r_2
}
$$

當且僅當：

$$
\boxed{
\forall c\in\mathcal C_{\mathrm{adm}},
\quad
\operatorname{Eff}(r_1\circ c)
=
\operatorname{Eff}(r_2\circ c).
}
$$

也就是：

> 不只現在看起來一樣；任何合法未來 continuation 都不能把它們區分開。

---

# 20. Contextual Congruence

依定義：

$$
\equiv_{\mathrm{ctx}}
$$

對 admissible composition 是 congruence。

在本 coupled-only finite experiment：

current effect quotient：

$$
8
\rightarrow3.
$$

但 contextual equivalence 重新得到：

$$
\boxed{
8
}
$$

個 singleton classes。

也就是：

$$
\boxed{
\text{所有 primitive subsets 的 latent compositional potential 都不同。}
}
$$

所以這個 regime 中：

$$
\boxed{
\text{沒有任何非平凡 mechanism compression 能同時保證任意未來 composition。}
}
$$

---

# 21. 最小反例的深層意義

$$
\varnothing
\equiv_{\mathrm{now}}
T
$$

是因為 T 單獨對 XOR target 沒有資訊價值。

但 T 並不是「沒有東西」。

它攜帶：

$$
\boxed{
\text{latent interaction potential}.
}
$$

當 D 出現時，這個 latent potential 被激活。

因此：

$$
\boxed{
\text{current zero gain}
\neq
\text{future zero capability}.
}
$$

這是本輪非常核心的結論。

---

# 22. Latent Epistemic Potential

因此可以定義一個新的概念：

$$
\boxed{
\operatorname{Pot}(r)
}
$$

描述 repair / effect 在未來 admissible contexts 中可產生的 gain profile。

例如：

$$
T
$$

對 coupled-only targets：

$$
G_{\mathrm{now}}(T)=0,
$$

但：

$$
G_{\mathrm{now}}(T\vee D)=1.
$$

所以：

$$
\operatorname{Pot}(T)>0.
$$

---

# 23. Potential Signature

自然定義：

$$
\boxed{
\Sigma_{\mathrm{ctx}}(r)
=
\left(
\operatorname{Eff}(r\circ c)
\right)_{c\in\mathcal C_{\mathrm{adm}}}.
}
$$

則：

$$
\boxed{
r_1\equiv_{\mathrm{ctx}}r_2
\iff
\Sigma_{\mathrm{ctx}}(r_1)
=
\Sigma_{\mathrm{ctx}}(r_2).
}
$$

本輪 contextual classes 就是直接依此 signature 計算。

---

# 24. 這與 ESC 母題的關係

這其實把 ESC 的核心命題推得更深：

以前是：

> 不要因為現在 projection 相同，就說兩個 underlying structures 相同。

現在變成：

> **不要因為現在 epistemic effect 相同，就說兩個 repair mechanisms 可以被 quotient；它們可能具有不同 future interaction structure。**

也就是：

$$
\boxed{
\text{extensional equality at time }t
\not\Rightarrow
\text{contextual equivalence over future composition}.
}
$$

---

# 25. Representation-Preserving Quotient 2.0

EXP-14 的安全 quotient 原則：

$$
\boxed{
\text{quotient effect,
preserve mechanism provenance}.
}
$$

EXP-15 現在需要再強化成：

$$
\boxed{
\text{quotient only under contextual congruence
if composition is required}.
}
$$

若只是一次性查詢：

$$
\equiv_{\mathrm{now}}
$$

可能足夠。

若是 protocol / agent runtime / future planning：

$$
\boxed{
\equiv_{\mathrm{ctx}}
}
$$

才是安全 quotient。

---

# 26. One-Shot vs Compositional Semantics

因此 ESC effect layer 至少有兩種 semantic modes。

## One-Shot Semantics

只在意目前結果：

$$
\equiv_{\mathrm{now}}.
$$

允許較強 compression。

## Compositional Semantics

在意未來所有合法 continuation：

$$
\equiv_{\mathrm{ctx}}.
$$

compression 更保守。

所以：

$$
\boxed{
\text{compression budget depends on future compositional obligations}.
}
$$

---

# 27. Synergy 是 Quotient Failure 的來源之一

若 gain function完全 separable：

$$
G(S)
=
\sum_{i\in S}G(\{i\}),
$$

current effect通常足以反映 primitive content。

但如果存在：

$$
\boxed{
m(S)\neq0,
\quad
|S|\ge2,
}
$$

的高階 interaction，

則單一 primitive可能：

$$
G(\{i\})=0
$$

卻仍具有 future synergy。

所以 higher-order Möbius interactions 是：

$$
\boxed{
\text{current-effect quotient 可能不 compositional 的警告訊號}.
}
$$

---

# 28. Effect Algebra 的兩層

本輪因此區分：

## Mechanism Algebra

$$
\boxed{
\mathcal M
}
$$

本例：

$$
B_3.
$$

它描述 interventions 怎麼真正 composition。

## Epistemic Image

$$
\boxed{
\operatorname{Eff}(\mathcal M)
}
$$

描述對指定 target family 看見的 gain。

兩者只有在：

$$
\operatorname{Eff}
$$

保留足夠結構時，才能把 algebra 安全地下推到 quotient。

---

# 29. Homomorphism Criterion

若希望 effect image 本身具有合法 join operation，至少需要：

$$
\boxed{
\operatorname{Eff}(a\vee b)
=
\operatorname{Eff}(a)
\vee
\operatorname{Eff}(b)
}
$$

在選定 effect order 中成立。

本輪：

- separable：成立；
- coupled-only：失敗；
- hybrid：current classes可區分，但 gain homomorphism仍失敗。

所以：

$$
\boxed{
\text{distinguishability}
\neq
\text{algebra preservation}.
}
$$

---

# 30. EXP-15 的 Algebra Boundary

因此本輪的真正答案不是：

> ESC effect algebra 是 Boolean lattice。

而是：

$$
\boxed{
\text{mechanism algebra 可以是 Boolean，
epistemic effect algebra 是否 Boolean 取決於 target interaction structure。}
}
$$

當 target separable：

$$
\boxed{
\text{mechanism lattice}
\cong
\text{effect lattice}.
}
$$

當 target synergistic：

$$
\boxed{
\text{current effect quotient may collapse and cease to be compositional}.
}
$$

---

# 31. 這對 Agent / Protocol 非常重要

假設兩個 agent modules 現在都：

$$
G_{\mathrm{now}}=0.
$$

若 runtime 直接 deduplicate / discard其中一個，

可能刪掉未來與第三個 module interaction後才會出現的 capability。

因此：

$$
\boxed{
\text{zero immediate utility}
\neq
\text{zero compositional value}.
}
$$

這對：

- agent skill pruning；
- memory compression；
- tool deduplication；
- model routing；
- multi-agent protocol optimization；

都有直接含義。

---

# 32. Contextual Compression Criterion

如果要安全刪除／合併兩個 modules：

不應只檢查：

$$
\operatorname{Eff}(r_1)
=
\operatorname{Eff}(r_2).
$$

而應在指定 future-context family 上檢查：

$$
\boxed{
\forall c,
\quad
\operatorname{Eff}(r_1\circ c)
=
\operatorname{Eff}(r_2\circ c).
}
$$

這就是：

$$
\boxed{
\text{Contextual Compression Criterion}.
}
$$

---

# 33. 本輪錨點

$$
\boxed{
\textbf{ESC-EXP-15.A}
\quad
\text{三 primitive observable effects 的 mechanism composition 在本 domain 形成 }B_3.
}
$$

$$
\boxed{
\textbf{ESC-EXP-15.B}
\quad
\text{separable target regime 中 effect gain 可加，current effect equivalence 為 congruence。}
}
$$

$$
\boxed{
\textbf{ESC-EXP-15.C}
\quad
m_{XOR_{TD}}(TD)=1,
\quad
m_{XOR_{TDG}}(TDG)=1,
}
$$

證明 pair / triple pure synergy。

$$
\boxed{
\textbf{ESC-EXP-15.D}
\quad
\text{coupled-only current-effect quotient 從 8 mechanisms 壓成 3 classes，但不是 composition congruence。}
}
$$

$$
\boxed{
\textbf{ESC-EXP-15.E}
\quad
\text{contextual equivalence 將 coupled regime重新細分為 8 個 composition-safe classes。}
}
$$

---

# 34. 對 EXP-14 的正式修正

EXP-14 的：

$$
r_1\equiv_{\mathrm{epi}}r_2
$$

應重新命名為：

$$
\boxed{
r_1\equiv_{\mathrm{now}}r_2.
}
$$

若只需要 one-shot epistemic effect，它仍完全合法。

但若要做 effect composition，應提升到：

$$
\boxed{
r_1\equiv_{\mathrm{ctx}}r_2.
}
$$

所以這不是推翻 EXP-14。

而是替 quotient 補上：

$$
\boxed{
\text{semantic obligation}.
}
$$

---

# 35. 下一輪：ESC-EXP-16

下一輪最自然的方向已經非常明確：

$$
\boxed{
\text{Contextual Effect Minimization}.
}
$$

也就是給定：

- mechanism state machine；
- admissible future contexts；
- target family；

自動求：

$$
\boxed{
\equiv_{\mathrm{ctx}}
}
$$

的最小 quotient。

這會非常像：

- automata minimization；
- bisimulation minimization；
- contextual equivalence closure；

但 ESC 的 state label 不是 acceptance，而是：

$$
\boxed{
\text{epistemic effect / recoverability profile}.
}
$$

真正問題變成：

> **在保留所有未來可組合知識效果的前提下，representation 最多可以壓縮到多小？**

這很可能會直接回接 ESC 最早的：

$$
\boxed{
\text{Complete Extensional Recoverability}
}
$$

以及你最初「極致細分／上下界／完整可恢復性」的母問題。