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} }

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

ESC-EXP-15：Epistemic Effect Algebra

ESC-EXP-15：Epistemic Effect Algebra

摘要

1. Controlled Primitive-Effect Domain

TTT

DDD

GGG

2. Primitive Effect Operators

3. Mechanism Algebra

Commutativity

Associativity

Idempotence

Distributivity

Complement

4. Separable Target Regime

5. Separable Primitive Gains

6. Separable Effect Quotient

7. Coupled Targets

8. Pair Synergy

9. Triple Synergy

10. Möbius Interaction Spectrum

11. Coupled-Only Current Effect Quotient

Class C0C_0C0​

Class C1C_1C1​

Class C2C_2C2​

12. 但這個 Quotient 不能做 Algebra

13. Counterexample 數量

14. Join-Homomorphism 失敗

15. Hybrid Target Family

16. Hybrid Joint Gain 為什麼最大只有 333 bits？

17. EXP-14 Quotient 的真正限制

18. Current Effect Equivalence

19. Contextual Effect Equivalence

20. Contextual Congruence

21. 最小反例的深層意義

22. Latent Epistemic Potential

23. Potential Signature

24. 這與 ESC 母題的關係

25. Representation-Preserving Quotient 2.0

26. One-Shot vs Compositional Semantics

One-Shot Semantics

Compositional Semantics

27. Synergy 是 Quotient Failure 的來源之一

28. Effect Algebra 的兩層

Mechanism Algebra

Epistemic Image

29. Homomorphism Criterion

30. EXP-15 的 Algebra Boundary

31. 這對 Agent / Protocol 非常重要

32. Contextual Compression Criterion

33. 本輪錨點

34. 對 EXP-14 的正式修正

35. 下一輪：ESC-EXP-16

$T$

$D$

$G$

Class $C_0$

Class $C_1$

Class $C_2$

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