# EveMissLab Ontology Core Series — Paper 05
# 同一、非同一、邊界與主客邊：觀察者相對等價、角色關係與存在區分的型別化框架
## Identity, Non-Identity, Boundaries, and Subject–Object Edges: A Typed Framework for Observer-Relative Equivalence, Relational Roles, and Existential Distinction

- 文件編號：EML-ONTO-CORE-05
- 版本：v0.1
- 日期：2026-08-15
- 作者：Neo.K × AI 協作
- 機構：EveMissLab／一言諾科技有限公司
- 系列：Ontology Core Series
- 上游正典：
  - `EveMissLab Ontology Canon v0.1`
  - `Ontology Genealogy & Symbol Migration Map v0.1`
  - `EML-ONTO-CORE-01：潛能、載域與顯現`
  - `EML-ONTO-CORE-02：型別化三元算子族`
  - `EML-ONTO-CORE-03：共享狀態域耦合（SSDC）`
  - `EML-ONTO-CORE-04：型別化信息完整、失真與還原（TICDR）`
- 性質：本體論方法論／身份理論／關係本體論／邊界理論／觀察者模型
- 證據狀態：形式框架與一般命題；不宣稱本文給出所有哲學／法律／心理學身份問題的唯一答案

---

# 摘要

「兩個存在是否相同」看似可以用：

$$
X=Y
$$

回答，但在涉及投影、壓縮、觀察尺度、SSDC 共享狀態域、歷史、provenance、邊界與主客關係時，裸等號經常將多種不同問題壓成一個問題。兩個狀態可以在同一 observer 下不可區分，卻具有不同歷史；可以具有相同行為，卻不是同一 token；可以完全同步某個 observable，卻仍是兩個不同系統；也可以在 relational self-representation 中高度重疊，卻不因此成為同一主體。

本文建立 **Typed Identity–Boundary–Role Framework（TIBRF）**。首先區分：

$$
\boxed{
\text{token identity},
\quad
\text{structural isomorphism},
\quad
\text{behavioral equivalence},
\quad
\text{typed information equivalence},
\quad
\text{approximate tolerance relation}.
}
$$

對 observer/context：

$$
q=(o,s,r,d,\chi)
$$

與 Paper 04 的 typed information query family：

$$
\mathcal J,
$$

本文定義 exact typed equivalence：

$$
\boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
\quad
j(x)=j(y).
}
$$

並證明：

$$
\boxed{
\equiv_{q,\mathcal J}
}
$$

是一個真正的 equivalence relation，因此可形成 quotient：

$$
\boxed{
\mathcal X/{\equiv_{q,\mathcal J}}.
}
$$

若 $\mathcal J_q$ 是 point-separating family，則：

$$
\boxed{
x\equiv_{q,\mathcal J}y
\iff
x=y.
}
$$

反之，若 $\mathcal J_q$ 不分離所有 states，typed equivalence 只表示「對指定判定域不可區分」，不能升格為 strict identity。

本文特別修正早期預想的：

$$
x
\equiv_{q,\mathcal J,\epsilon}
y.
$$

對一般 metric tolerance：

$$
d_j(j(x),j(y))
\le
\epsilon_j,
$$

所得 relation 通常不具傳遞性。因此本文將 approximate identity 正典化為：

$$
\boxed{
x
\approx_{q,\mathcal J,\boldsymbol\epsilon}
y,
}
$$

並明確標示其通常只是 tolerance relation，而非 equivalence relation。

本文接著建立 **typed boundary family**。為避免將所有邊界誤寫成拓撲邊界，先定義一般 boundary object：

$$
\boxed{
\mathfrak B_q^\xi(X),
}
$$

其中 $\xi$ 可為：

$$
\boxed{
ont,\ obs,\ sem,\ cau,\ comp,\ perm,\ prov.
}
$$

分別對應本體成員邊界、觀察邊界、語義邊界、因果邊界、計算邊界、權限邊界與 provenance 邊界。只有當模型具有合適 topology / neighborhood structure 時，才使用：

$$
\partial_q^\xi X
$$

作其幾何／拓撲 realization。

本文證明或以反例建立：

$$
\boxed{
\mathfrak B^{ont}
\neq
\mathfrak B^{obs}
\neq
\mathfrak B^{sem}
\neq
\mathfrak B^{cau}
}
$$

一般可能成立。因此「畫面邊界」「因果邊界」「主體邊界」不得自動互換。

最後，本文將主體／客體重新定義為**關係角色**而非先驗固定實體型別。對 relation $r$ 與 context $q$：

$$
\boxed{
\operatorname{Role}_q(X;r)
\in
\{
\mathsf{Subj},
\mathsf{Obj},
\mathsf{Both},
\mathsf{Undetermined}
\}.
}
$$

同一 entity 可以在一條 relation 中是 observer / subject，在另一條 relation 中是 object，也可以在 reciprocal coupling 中同時承擔兩種角色。

一條 Subject–Object edge 不再只是：

$$
S\rightarrow O.
$$

而被展開成：

$$
\boxed{
e_{S\leftrightarrow O}^{q}
=
\left\langle
\mathrm{SSDC}_{SO}^{q},
\operatorname{Sense}_{O\to S}^{q},
\operatorname{Interpret}_{S}^{q},
\operatorname{Intervene}_{S\to O}^{q},
\mathfrak C_I,
\mathbf B_{SO}^{q}
\right\rangle.
}
$$

因此 observation、interpretation、intervention、shared-state coupling、information preservation 與 boundary crossing 被放進同一個 typed relational object。

本文也保留 relational inclusion：

$$
\chi_{S\leftarrow O}^{q}
$$

表示「他者進入 self-related organization 的程度」，但建立強限制：

$$
\boxed{
\chi\uparrow
\not\Rightarrow
\text{ontological identity}.
}
$$

這與心理學中 self–other overlap 可呈程度化、並影響知覺與神經處理的實證研究相容，但本文不把心理 overlap 直接等同於本體同一。

本文為下一篇 Closure／CRL 提供兩個關鍵接口：第一，branch merge 必須先指定 identity criterion；第二，closure certificate 必須聲明其 boundary family 與未處理 boundary mismatch。

**關鍵詞：** identity、equivalence、observer-relative identity、boundary、subject-object edge、SSDC、information preservation、bisimulation、self-other overlap、provenance、causal boundary

---

# 1. 問題：裸等號一次回答了太多問題

若：

$$
x=y,
$$

數學上通常表示兩個記號指向同一個對象。

但實際研究常想問的是不同問題：

- 兩個資料是否相同？
- 兩個 states 是否不可區分？
- 兩個 systems 是否行為等價？
- 兩個模型是否同構？
- 兩個 representations 是否能互相還原？
- 兩個 people / agents 是否共享高度 self-model？
- 兩個版本是否可視為同一理論？
- 兩個 branch 是否可以 merge？
- 同一 output 是否來自同一 history？

若把這些都用：

$$
=
$$

處理，會產生 category collapse。

因此：

$$
\boxed{
\text{identity claim must be typed}.
}
$$

---

# 2. Strict Token Identity

本文保留最嚴格的 identity：

$$
\boxed{
x
=
y
}
$$

作為 model-internal token identity。

意思是：

> 在指定形式系統／資料模型中， $x$ 與 $y$ 是同一個 object，而不是兩個被判定相似的 object。

本文不試圖用 typed equivalence 取代 strict equality。

相反地：

$$
\boxed{
\text{strict equality}
}
$$

與：

$$
\boxed{
\text{typed equivalence}
}
$$

必須同時存在。

---

# 3. Structural Isomorphism

若存在 bijective structure-preserving map：

$$
f:X\rightarrow Y
$$

及 inverse：

$$
f^{-1},
$$

可寫：

$$
\boxed{
X
\cong_{\mathcal S}
Y.
}
$$

這表示：

> 在指定 structure $\mathcal S$ 下同構。

但：

$$
\boxed{
X\cong_{\mathcal S}Y
\not\Rightarrow
X=Y.
}
$$

兩個圖可以同構，仍是兩個不同 graph objects。

---

# 4. Behavioral Equivalence

兩個系統可以在指定可觀察行為集合下具有相同行為，而內部 state 不同。

記：

$$
\boxed{
X
\sim_{\mathrm{beh},q}
Y.
}
$$

這類概念在 transition systems、automata、coalgebra 與 bisimulation 文獻中具有成熟形式前例。

本文只吸收一個結構性教訓：

$$
\boxed{
\text{behavioral equivalence is criterion-relative}.
}
$$

---

# 5. Typed Information Equivalence

Paper 04 已建立 query family：

$$
\mathcal J_q
=
\{j_\alpha\}.
$$

## 定義 5.1 — Exact Typed Equivalence

$$
\boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
\quad
j(x)=j(y).
}
$$

意思是：

> 在 context $q$ 下，對所有被列為 relevant 的信息判定， $x$ 與 $y$ 無法被區分。

---

# 6. Exact Typed Equivalence 是 Equivalence Relation

## 定理 6.1

$$
\equiv_{q,\mathcal J}
$$

具有：

### Reflexivity

$$
x\equiv_{q,\mathcal J}x.
$$

### Symmetry

若：

$$
x\equiv_{q,\mathcal J}y,
$$

則：

$$
y\equiv_{q,\mathcal J}x.
$$

### Transitivity

若：

$$
x\equiv_{q,\mathcal J}y
$$

及：

$$
y\equiv_{q,\mathcal J}z,
$$

則：

$$
x\equiv_{q,\mathcal J}z.
$$

證明由 equality 在各：

$$
\mathcal Z_\alpha
$$

上的 reflexive / symmetric / transitive 性直接得到。

---

# 7. Typed Identity Quotient

因此可定義：

$$
\boxed{
[x]_{q,\mathcal J}
=
\{
y:
y\equiv_{q,\mathcal J}x
\}.
}
$$

以及：

$$
\boxed{
\mathcal X
/
{\equiv_{q,\mathcal J}}.
}
$$

這與 Paper 04 的 task-relative quotient 完全對接。

---

# 8. Point-Separating Query Family

## 定義 8.1

若對所有：

$$
x\neq y
$$

都存在：

$$
j\in\mathcal J_q
$$

使：

$$
j(x)\neq j(y),
$$

則稱：

$$
\boxed{
\mathcal J_q
}
$$

為 point-separating family。

---

# 9. Separation Theorem

## 定理 9.1

若：

$$
\mathcal J_q
$$

point-separating，則：

$$
\boxed{
x\equiv_{q,\mathcal J}y
\iff
x=y.
}
$$

因此 typed equivalence 何時可升格成 strict identity，條件非常清楚：

> query family 必須分離 domain 中所有 distinct points。

---

# 10. 非分離 Query Family 的意義

若：

$$
\mathcal J_q
$$

不是 point-separating，

可能：

$$
x\neq y
$$

但：

$$
x\equiv_{q,\mathcal J}y.
$$

這不是錯誤。

它只表示：

$$
\boxed{
\text{the current identity criterion intentionally quotients out some distinctions}.
}
$$

---

# 11. Identity Resolution

若：

$$
\mathcal J_1
\subseteq
\mathcal J_2,
$$

則：

$$
\boxed{
\equiv_{q,\mathcal J_2}
\subseteq
\equiv_{q,\mathcal J_1}.
}
$$

因為更多 queries 只能增加可區分性。

因此：

$$
\boxed{
\text{more identity criteria}
\rightarrow
\text{finer identity partition}.
}
$$

這可稱：

$$
\boxed{
\text{Identity Resolution Principle}.
}
$$

---

# 12. Observer / Scale Relativity

令：

$$
q_1\neq q_2.
$$

可能：

$$
x
\equiv_{q_1,\mathcal J_1}
y
$$

但：

$$
x
\not\equiv_{q_2,\mathcal J_2}
y.
$$

例如：

- macro observer 將兩個 microstates 視為同一 macrostate；
- high-resolution observer 可以區分它們。

因此：

$$
\boxed{
\text{identity at one scale}
\not\Rightarrow
\text{identity at all scales}.
}
$$

---

# 13. Approximate Identity 不能直接叫 Equivalence

早期工作式：

$$
x
\equiv_{q,\mathcal J,\epsilon}
y
$$

有一個問題。

若：

$$
d(x,y)\le\epsilon,
$$

且：

$$
d(y,z)\le\epsilon,
$$

不一定：

$$
d(x,z)\le\epsilon.
$$

例如實數線：

$$
x=0,
\quad
y=0.75,
\quad
z=1.5,
\quad
\epsilon=1.
$$

則：

$$
x\approx_\epsilon y,
$$

$$
y\approx_\epsilon z,
$$

但：

$$
x\not\approx_\epsilon z.
$$

---

# 14. Approximate Identity Relation

因此正典改為：

## 定義 14.1

$$
\boxed{
x
\approx_{q,\mathcal J,\boldsymbol\epsilon}
y
}
$$

若：

$$
\forall j_\alpha\in\mathcal J_q,
\quad
d_\alpha
(
j_\alpha(x),
j_\alpha(y)
)
\le
\epsilon_\alpha.
$$

一般：

$$
\boxed{
\approx
}
$$

只是 tolerance relation。

---

# 15. Tolerance Relation 的性質

在 symmetric metric 下：

- reflexive：通常成立；
- symmetric：成立；
- transitive：一般不成立。

所以：

$$
\boxed{
\approx_{q,\mathcal J,\epsilon}
\text{ is not generally an equivalence relation}.
}
$$

這是本篇重要 canonical correction。

---

# 16. 若真的需要 Approximate Quotient

有三種做法，但它們都增加新假設：

1. 取 tolerance graph 的 connected components；
2. 取 transitive closure；
3. 先量化／分箱成真正 partition。

它們都不是原 relation 本身。

因此：

$$
\boxed{
\text{do not silently quotient by a non-transitive tolerance relation}.
}
$$

---

# 17. Identity Spectrum 不是單一分數

一個 pair：

$$
(x,y)
$$

可以同時具有：

$$
\boxed{
\begin{array}{l}
x\neq y,\\
x\cong_{\mathcal S}y,\\
x\sim_{\mathrm{beh}}y,\\
x\equiv_{q,\mathcal J}y,\\
x\approx_{q,\mathcal K,\epsilon}y.
\end{array}
}
$$

這不是矛盾。

而是多種 identity-like relations 同時存在。

---

# 18. Identity Profile

本文定義：

$$
\boxed{
\mathbf{Id}_q(x,y)
=
\left(
I_{\mathrm{token}},
I_{\mathrm{iso}},
I_{\mathrm{beh}},
I_{\mathcal J},
A_{\mathcal J,\epsilon},
I_{\mathrm{hist}},
I_{\mathrm{prov}},
I_{\mathrm{bound}}
\right).
}
$$

其中各 component 可以是：

- Boolean；
- typed relation；
- score；
- certificate。

不強迫全部數值化。

---

# 19. SSDC 不等於 Identity

即使：

$$
\rho_{A\to B}^{\mathrm{share}}
=
\rho_{B\to A}^{\mathrm{share}}
=
1
$$

以及 transport fidelity 為 1，

也不能推出：

$$
A=B.
$$

因為：

- carrier 可不同；
- history 可不同；
- provenance 可不同；
- update law 可不同；
- boundary 可不同；
- token identity 可不同。

所以：

$$
\boxed{
SSDC\uparrow
\not\Rightarrow
\text{ontological identity}.
}
$$

---

# 20. Exact Bidirectional Transport 也不等於 Strict Identity

即使：

$$
T_{BA}\circ T_{AB}
=
id_A
$$

及：

$$
T_{AB}\circ T_{BA}
=
id_B
$$

在 relevant state domains 上成立，

最多得到：

$$
\boxed{
\mathcal S_A^q
\cong
\mathcal S_B^q
}
$$

或指定 domain equivalence。

仍不能推出整個 entities：

$$
A=B.
$$

---

# 21. Boundary 問題

如果 identity 是 typed，

boundary 也必須 typed。

同一個 entity 可以有：

- 物理／本體成員邊界；
- observer 可見邊界；
- semantic category boundary；
- causal influence boundary；
- computational state boundary；
- permission boundary；
- provenance boundary。

因此：

$$
\boxed{
\text{there is no automatic single universal boundary}.
}
$$

---

# 22. Generic Typed Boundary

為避免濫用 topological boundary：

$$
\partial X,
$$

本文先使用：

$$
\boxed{
\mathfrak B_q^\xi(X)
}
$$

表示 generic typed boundary object。

只有在：

- topology；
- neighborhood system；
- graph adjacency；
- measurable interface；

已定義時，才進一步實現成：

$$
\boxed{
\partial_q^\xi X.
}
$$

---

# 23. Predicate Boundary Construction

給 ambient domain：

$$
\mathcal A
$$

與 typed membership / classification predicate：

$$
P_q^\xi:
\mathcal A
\rightarrow
\{0,1,?\}.
$$

再給 neighborhood system：

$$
N_q(x).
$$

定義：

$$
\boxed{
\mathfrak B_q^\xi
=
\left\{
x:
\exists y,z\in N_q(x),
\;
P_q^\xi(y)=1,
\;
P_q^\xi(z)=0
\right\}.
}
$$

這個 generic construction 同時適用：

- 離散 graph；
- 空間 partition；
- semantic neighborhood；
- permission graph；
- causal reachability approximation。

---

# 24. Ontological Membership Boundary

$$
\boxed{
\mathfrak B^{ont}(X)
}
$$

回答：

> 哪裡是「屬於此存在／系統」與「不屬於」的交界？

這需要先給 ontology membership criterion。

不得從畫面位置自動推出。

---

# 25. Observational Boundary

$$
\boxed{
\mathfrak B_q^{obs}(X)
}
$$

回答：

> 對 observer $q$，在哪裡開始不能可靠觀察／分辨／存取？

因此：

$$
\mathfrak B^{obs}
$$

可以因 sensor、解析度、權限改變。

---

# 26. Semantic Boundary

$$
\boxed{
\mathfrak B_q^{sem}(X)
}
$$

表示概念或分類規則下的 category boundary。

例如同一 physical object：

- 在「家具」分類裡屬於一類；
- 在「可燃物」分類裡具有另一個 boundary。

---

# 27. Causal Boundary

$$
\boxed{
\mathfrak B_q^{cau}(X)
}
$$

回答：

> intervention / influence 的可傳播域在哪裡發生結構改變？

它可以與 physical enclosure 不同。

例如 network service 的 causal influence 可穿越機房外牆。

---

# 28. Computational Boundary

$$
\boxed{
\mathfrak B_q^{comp}(X)
}
$$

表示：

- 同一 process；
- 同一 runtime；
- 同一 address space；
- 同一 transaction；
- 同一 consistency domain；

的計算邊界。

它未必等於 hardware boundary。

---

# 29. Permission Boundary

$$
\boxed{
\mathfrak B_q^{perm}(X)
}
$$

表示：

> 哪些 actions / states 可被某 principal 合法存取或修改？

同一 data 可以物理上可達，permission 上不可達。

---

# 30. Provenance Boundary

$$
\boxed{
\mathfrak B_q^{prov}(X)
}
$$

表示：

> 哪些內容仍能被追溯為同一 provenance lineage？

版本 merge、copy、translation 後，content boundary 與 provenance boundary 可以分離。

---

# 31. Boundary Non-Coincidence Principle

一般：

$$
\boxed{
\mathfrak B^{ont}
\neq
\mathfrak B^{obs}
\neq
\mathfrak B^{sem}
\neq
\mathfrak B^{cau}
\neq
\mathfrak B^{comp}.
}
$$

不是每個 case 都必然不同，

而是：

$$
\boxed{
\text{no general theorem makes them identical}.
}
$$

---

# 32. Boundary Mismatch Profile

若 boundaries 可比較，定義：

$$
\boxed{
\mathbf M_B(X;q)
=
\left(
d_B(\mathfrak B^{ont},\mathfrak B^{obs}),
d_B(\mathfrak B^{ont},\mathfrak B^{sem}),
d_B(\mathfrak B^{ont},\mathfrak B^{cau}),
\ldots
\right).
}
$$

但：

$$
d_B
$$

必須 domain-specific。

沒有共同 metric 時，只保留 relation / conflict certificate。

---

# 33. Boundary Queries 接入 TICDR

Paper 04 已有：

$$
\mathcal J_B.
$$

現在可具體化成：

$$
j_B^\xi(X)
=
\mathfrak B^\xi(X).
$$

因此 transformation：

$$
T
$$

若保存 internal content 但改變 boundary，

會：

$$
P_{\mathrm{content}}(T)=1
$$

但：

$$
P_{j_B}(T)=0.
$$

這正是「內容一樣但系統不是同一狀態」的重要來源。

---

# 34. Boundary-Sensitive Identity

令：

$$
\mathcal J'
=
\mathcal J
\cup
\{j_B^\xi\}.
$$

則：

$$
\boxed{
\equiv_{q,\mathcal J'}
}
$$

會比：

$$
\equiv_{q,\mathcal J}
$$

更細。

因此：

> 是否把 boundary 算進 identity criterion，是必須明說的模型選擇。

---

# 35. History-Sensitive Identity

同理加入：

$$
j_H.
$$

如果：

$$
x,y
$$

current state 相同但 history 不同，

則：

$$
x\equiv_{\mathcal J_S}y
$$

可以成立，

但：

$$
x\not\equiv_{\mathcal J_S\cup\mathcal J_H}y.
$$

---

# 36. Provenance-Sensitive Identity

若：

$$
j_P(x)\neq j_P(y),
$$

則加入 provenance 後：

$$
x\not\equiv_{\mathcal J\cup\mathcal J_P}y.
$$

這對：

- theorem；
- software artifact；
- dataset；
- agent memory；
- legal document；

尤其重要。

---

# 37. Subject 與 Object 先改成 Role

「subject」與「object」常被寫成 entity 固有類別。

本文採更保守模型：

## 定義 37.1 — Relational Role

$$
\boxed{
\operatorname{Role}_q(X;r)
\in
\{
\mathsf{Subj},
\mathsf{Obj},
\mathsf{Both},
\mathsf{Undetermined}
\}.
}
$$

role 相對：

$$
r
$$

而定。

---

# 38. Role Reversal

同一 pair：

$$
(A,B)
$$

在 observation relation：

$$
r_1
$$

中可能：

$$
A=\mathsf{Subj},
\quad
B=\mathsf{Obj}.
$$

在另一 relation：

$$
r_2
$$

中：

$$
B=\mathsf{Subj},
\quad
A=\mathsf{Obj}.
$$

例如：

兩個 agents 互相觀察。

所以：

$$
\boxed{
\text{subject/object is not necessarily a permanent entity type}.
}
$$

---

# 39. Reciprocal Subjectivity

若：

$$
A
$$

與：

$$
B
$$

都：

- observe；
- interpret；
- intervene；
- update；

則：

$$
\boxed{
\operatorname{Role}(A;r)
=
\operatorname{Role}(B;r)
=
\mathsf{Both}.
}
$$

這是 multi-agent / human-AI interaction 中很重要的情況。

---

# 40. Subject–Object Edge

對 subject-role entity：

$$
S
$$

與 object-role entity：

$$
O,
$$

定義：

$$
\boxed{
e_{S\leftrightarrow O}^{q}
=
\left\langle
\mathrm{SSDC}_{SO}^{q},
\operatorname{Sense}_{O\to S}^{q},
\operatorname{Interpret}_{S}^{q},
\operatorname{Intervene}_{S\to O}^{q},
\mathfrak C_I^{SO},
\mathbf B_{SO}^{q}
\right\rangle.
}
$$

---

# 41. Sense

$$
\boxed{
\operatorname{Sense}_{O\to S}^{q}
:
\mathcal S_O
\rightarrow
\mathcal Y_S
}
$$

把 object state 映射成 subject 可取得的 observation channel。

它本身可能：

- noisy；
- partial；
- delayed；
- permission-limited；
- coarse-grained。

---

# 42. Interpret

$$
\boxed{
\operatorname{Interpret}_{S}^{q}
:
\mathcal Y_S
\rightarrow
\mathcal R_S
}
$$

把 observation 轉成 subject internal representation。

因此：

$$
\boxed{
\text{sensed data}
\neq
\text{interpreted state}.
}
$$

這裡可直接接 Paper 04 distortion。

---

# 43. Intervene

$$
\boxed{
\operatorname{Intervene}_{S\to O}^{q}
:
\mathcal A_S
\rightharpoonup
\mathcal U_O.
}
$$

表示 subject 是否能對 object 施加 intervention。

純 observation 可以沒有：

$$
\operatorname{Intervene}.
$$

---

# 44. Subject–Object Edge 與 SSDC

一條 observation edge 至少需要某種：

$$
O
\rightarrow
S
$$

state transport。

若 subject 也可 intervention：

$$
S
\rightarrow
O,
$$

則 edge 可能形成 bidirectional SSDC。

因此：

$$
\boxed{
\text{observer relation}
}
$$

可以被視為 SSDC 的一類 typed realization，

但不是所有 SSDC 都是 subject–object relation。

---

# 45. Embedded Observer Principle

本文不採「observer 站在系統外部並擁有完整狀態」作默認。

相反地：

$$
\boxed{
\operatorname{Sense}
+
\operatorname{Interpret}
+
\operatorname{Intervene}
}
$$

都必須經過 relation edge。

因此 observer 自身也位於某個 carrier / state system 中。

這是：

$$
\boxed{
\text{observer-in-the-system}
}
$$

工作假設。

---

# 46. Observation 不等於 Passive Copy

由：

$$
O
\xrightarrow{\operatorname{Sense}}
Y_S
\xrightarrow{\operatorname{Interpret}}
R_S,
$$

即使 object 不被 physically disturbed，

也可能：

$$
R_S
\neq
O
$$

的原始 state。

所以：

$$
\boxed{
\text{observation}
\neq
\text{lossless state duplication}.
}
$$

---

# 47. Relational Inclusion

為描述：

> 他者在多大程度上進入 self-related organization，

定義：

$$
\boxed{
\chi_{S\leftarrow O}^{q}.
}
$$

 $\chi$ 可以依 domain 分解：

$$
\boxed{
\boldsymbol\chi
=
(
\chi_{\mathrm{memory}},
\chi_{\mathrm{resource}},
\chi_{\mathrm{prediction}},
\chi_{\mathrm{identity-model}},
\chi_{\mathrm{value}},
\chi_{\mathrm{action}}
).
}
$$

本文不要求存在 universal scalar $\chi$。

---

# 48. Relational Inclusion 不等於 SSDC

兩者相關但不同。

SSDC 問：

> 有哪些 states 在共享／轉譯／耦合？

Relational inclusion 問：

> 他者的哪些結構已被納入 self-related organization？

所以：

$$
\boxed{
\chi
\neq
SSDC.
}
$$

---

# 49. Relational Inclusion 不等於 Identity

即使：

$$
\chi_{S\leftarrow O}
\uparrow,
$$

也不推出：

$$
S=O.
$$

因此：

$$
\boxed{
\text{other-in-self}
\not\Rightarrow
\text{other-is-self}.
}
$$

---

# 50. Self–Other Overlap 的外部前例

心理學研究已長期使用程度化 self–other overlap / inclusion-of-other-in-self 概念研究親密關係。

這至少說明：

$$
\boxed{
\text{self-related overlap can be graded rather than binary}.
}
$$

後續知覺與神經研究也發現：

- close-other overlap 可影響 facial processing；
- self–other overlap 與觀察他人錯誤時的 neural performance-monitoring response 有關。

本文只把這些當作：

> relational inclusion 可具有 observable effects 的經驗前例。

不得推出：

$$
\boxed{
\text{neural / cognitive overlap}
=
\text{one consciousness}
}
$$

或 strict ontological identity。

---

# 51. Coupling 不等於 Constitution

SSDC 可以很高：

$$
SSDC(S,O)\uparrow.
$$

 $\chi$ 也可以很高：

$$
\chi_{S\leftarrow O}\uparrow.
$$

仍然：

$$
\boxed{
S\neq O
}
$$

可能完全成立。

所以：

$$
\boxed{
\text{Coupling}
\not\Rightarrow
\text{Constitution}.
}
$$

---

# 52. Constitution Claim 需要額外 Criterion

若未來要宣稱：

> $B$ 已成為 $A$ 的 constitutive component，

必須另建立：

$$
\boxed{
\mathcal J_{\mathrm{constitution}}
}
$$

例如：

- removal counterfactual；
- persistence dependence；
- functional indispensability；
- boundary inclusion；
- identity continuity；
- causal integration。

本文不提前定義唯一 constitution theory。

---

# 53. Behavioral Equivalence 與 Identity

approximate bisimulation 類研究顯示：

> 兩個 interconnected systems 可在指定 dynamical criterion 下建立 exact / approximate behavioral equivalence。

本文的對照是：

$$
\boxed{
\sim_{\mathrm{beh}}
}
$$

是一種重要 typed identity-like relation。

但：

$$
\boxed{
\sim_{\mathrm{beh}}
\not\Rightarrow
=
}
$$

仍然成立。

---

# 54. Observational Equivalence 的 Context Dependence

process equivalence 文獻中，observational equivalence 會依：

- allowed observations；
- scheduler restrictions；
- process semantics；

而改變。

這與本文：

$$
\boxed{
\equiv_{q,\mathcal J}
}
$$

的核心方向一致：

> equivalence criterion 必須聲明 observation context。

---

# 55. Open-System Boundary 的外部前例

open-system / structured-cospan 研究將：

- system interior；
- inputs；
- outputs；
- interfaces；

明確納入 composition。

本文吸收的是：

$$
\boxed{
\text{a relation crossing a boundary should carry interface structure}.
}
$$

並將其擴展到：

- observation；
- interpretation；
- intervention；
- SSDC；
- information contract。

---

# 56. Identity Migration Rule

任何歷史文件若寫：

$$
X=Y
$$

但其實只證明：

- same observation；
- same behavior；
- same semantic representation；
- same projection；

新 Canon 不可靜默保留 strict equality。

必須 migration 成：

$$
\boxed{
X
\equiv_{q,\mathcal J}
Y
}
$$

或其他對應 relation。

---

# 57. Boundary Migration Rule

任何歷史文件若使用：

$$
\partial X
$$

但沒有 topology / neighborhood definition，

新 Canon 不應自動稱其 topological boundary。

改為：

$$
\boxed{
\mathfrak B^\xi(X)
}
$$

直到 formal boundary structure 被指定。

---

# 58. No-Go 1 — Isomorphism Is Identity

禁止：

$$
X\cong Y
\Rightarrow
X=Y.
$$

---

# 59. No-Go 2 — Behavioral Equivalence Is Identity

禁止：

$$
X\sim_{\mathrm{beh}}Y
\Rightarrow
X=Y.
$$

---

# 60. No-Go 3 — Typed Equivalence Is Strict Identity

若：

$$
\mathcal J
$$

不 point-separating，禁止：

$$
X\equiv_{q,\mathcal J}Y
\Rightarrow
X=Y.
$$

---

# 61. No-Go 4 — Approximate Identity Is Automatically an Equivalence Relation

禁止未驗證 transitivity 就對：

$$
\approx_{q,\mathcal J,\epsilon}
$$

取 quotient。

---

# 62. No-Go 5 — One Boundary Fits All

禁止：

$$
\mathfrak B^{obs}
=
\mathfrak B^{ont}
=
\mathfrak B^{cau}
$$

作默認。

---

# 63. No-Go 6 — Subject Is a Permanent Ontological Type

本文默認 subject/object 為 relation-role。

若要升格成永久 entity type，需要額外 ontology。

---

# 64. No-Go 7 — Observation Gives the Object Itself

禁止：

$$
\operatorname{Interpret}
\circ
\operatorname{Sense}
=
id_O
$$

作無證據默認。

---

# 65. No-Go 8 — SSDC / Self-Overlap Implies One Entity

禁止：

$$
SSDC\uparrow
\Rightarrow
A=B.
$$

也禁止：

$$
\chi\uparrow
\Rightarrow
A=B.
$$

---

# 66. No-Go 9 — Same Content Means Same Artifact

若：

- history；
- provenance；
- permission；
- boundary；

不同，

同 content 不必是同 artifact state。

---

# 67. No-Go 10 — Pairwise Identity Criteria Automatically Glue Globally

若多個 observers：

$$
q_1,q_2,q_3
$$

各自建立 local equivalence，

仍需檢查：

- overlap consistency；
- cycle consistency；
- global section existence。

這將接到 Paper 06 的 Closure / CRL。

---

# 68. Identity Certificate

本文建議任何高風險 identity claim 輸出：

```text
identity_claim:
  lhs:
  rhs:
  relation_type:
    token_identity | isomorphism | behavioral |
    typed_equivalence | approximate_tolerance
  observer_context:
  query_family:
  tolerance:
  boundary_types_included:
  history_included:
  provenance_included:
  evidence:
  counterexamples_checked:
  quotient_allowed:
```

---

# 69. Boundary Certificate

```text
boundary_claim:
  entity:
  boundary_type:
    ont | obs | sem | cau | comp | perm | prov
  ambient_domain:
  membership_or_transition_predicate:
  neighborhood_or_interface_structure:
  observer_context:
  uncertainty:
  mismatch_with_other_boundaries:
```

---

# 70. Subject–Object Edge Certificate

```text
subject_object_edge:
  subject_role_entity:
  object_role_entity:
  relation_context:
  ssdc_profile:
  sensing_map:
  interpretation_map:
  intervention_map:
  information_contract:
  crossed_boundaries:
  permission_scope:
  directionality:
  reversibility:
```

---

# 71. 與 Closure 的接口

Closure claim 必須先知道：

> 哪些 states 被視為同一 branch？

因此必須指定：

$$
\equiv_{q,\mathcal J}.
$$

如果 identity criterion 在 closure 過程中改變：

$$
\mathcal J_t
\rightarrow
\mathcal J_{t+1},
$$

歷史 closure certificate 可能失效。

所以：

$$
\boxed{
\text{closure depends on identity regime}.
}
$$

---

# 72. 與 CRL 的接口

CRL 要 merge：

$$
B_1,
B_2.
$$

最低要求：

$$
\boxed{
B_1
\equiv_{q,\mathcal J_{\mathrm{merge}}}
B_2
}
$$

且：

$$
\mathcal J_{\mathrm{merge}}
$$

必須包含：

- required conclusions；
- assumptions；
- boundary conditions；
- provenance if required；
- unresolved divergence status。

否則：

$$
\boxed{
\text{similarity merge}
\neq
\text{certified CRL merge}.
}
$$

---

# 73. Closure Boundary

Closure 也必須聲明 boundary：

$$
\boxed{
\mathfrak B^{closure}.
}
$$

例如：

- theorem scope；
- domain of quantification；
- singular boundary；
- version boundary；
- representation boundary。

如果 closure 只在 interior 成立，

不能寫成 global closure。

---

# 74. 十二條核心命題

## Core-1 — Typed Identity Principle

$$
\boxed{
\text{identity-like claims must name their relation type}.
}
$$

## Core-2 — Exact Typed Equivalence

$$
\boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
j(x)=j(y).
}
$$

## Core-3 — Point Separation

若：

$$
\mathcal J_q
$$

point-separating，則：

$$
\boxed{
\equiv_{q,\mathcal J}
=
=
}
$$

在該 domain 上。

## Core-4 — Identity Resolution

$$
\boxed{
\mathcal J_1\subseteq\mathcal J_2
\Rightarrow
\equiv_{\mathcal J_2}
\subseteq
\equiv_{\mathcal J_1}.
}
$$

## Core-5 — Approximation Non-Equivalence

$$
\boxed{
\approx_{q,\mathcal J,\epsilon}
}
$$

一般不保證 transitive。

## Core-6 — Boundary Typing

$$
\boxed{
\mathfrak B^\xi
}
$$

先於未分型：

$$
\partial.
$$

## Core-7 — Boundary Non-Coincidence

不同 typed boundaries 一般不得默認相同。

## Core-8 — Relational Role Principle

$$
\boxed{
\operatorname{Role}(X;r)
}
$$

相對 relation，而非預設永久 entity type。

## Core-9 — Observer Edge Principle

observation 必須經：

$$
Sense
\rightarrow
Interpret
$$

而非 God-view。

## Core-10 — SSDC/Identity Separation

$$
\boxed{
SSDC\uparrow
\not\Rightarrow
Identity.
}
$$

## Core-11 — Relational Inclusion/Identity Separation

$$
\boxed{
\chi\uparrow
\not\Rightarrow
Identity.
}
$$

## Core-12 — Closure Identity Dependence

$$
\boxed{
\text{branch closure / merge depends on declared identity criterion}.
}
$$

---

# 75. Canonical TIBRF Object

本文最終將 pairwise identity / boundary / role 狀態寫成：

$$
\boxed{
\mathrm{TIBRF}_{AB}^{q}
=
\left\langle
\mathbf{Id}_q(A,B),
\{\mathfrak B_A^\xi\},
\{\mathfrak B_B^\xi\},
\operatorname{Role}_q(A;r),
\operatorname{Role}_q(B;r),
e_{A\leftrightarrow B}^{q},
\chi_{A\leftarrow B}^{q},
\chi_{B\leftarrow A}^{q}
\right\rangle.
}
$$

---

# 76. 五篇主鏈

至此：

## Paper 01

$$
\text{Carrier}
\rightarrow
\text{Latent}
\rightarrow
\text{Active}
\rightarrow
\text{Manifest}.
$$

## Paper 02

$$
\mathfrak E,
\mathfrak L,
\mathfrak C.
$$

## Paper 03

$$
SSDC.
$$

## Paper 04

$$
TICDR.
$$

## Paper 05

$$
\boxed{
Identity
+
Boundary
+
Relational Role.
}
$$

這五篇已經形成一個完整的「存在—變換—關係—資訊—身份」鏈。

---

# 77. 下一篇

Paper 06 將進入：

$$
\boxed{
\textbf{Closure、CRL 與分支閉合}
}
$$

正式處理：

- closure type；
- convergence vs closure；
- fixed point vs closure；
- branch identity；
- branch merge；
- globality；
- CRL 是否補上 bare Closure 缺失的 selection / re-linking pressure；
- boundary-aware closure certificate。

---

# 結論

「同一」不是被取消。

相反地，本文把同一性分成可以被真正判定的層級。

最嚴格：

$$
x=y.
$$

結構同一：

$$
x\cong_{\mathcal S}y.
$$

行為同一：

$$
x\sim_{\mathrm{beh}}y.
$$

資訊判定同一：

$$
x\equiv_{q,\mathcal J}y.
$$

近似相似：

$$
x\approx_{q,\mathcal J,\epsilon}y.
$$

這些關係各自回答不同問題。

因此：

$$
\boxed{
\text{Identity}
\neq
\text{one universal binary judgment}.
}
$$

同樣，邊界不再只有一條：

$$
\boxed{
\mathfrak B^{ont},
\mathfrak B^{obs},
\mathfrak B^{sem},
\mathfrak B^{cau},
\mathfrak B^{comp},
\mathfrak B^{perm},
\mathfrak B^{prov}.
}
$$

而主體與客體也不再被默認成宇宙永久分類，而先作：

$$
\boxed{
\text{relational roles}.
}
$$

這使「我看見你」「我能改變你」「你進入我的 self-model」「我們高度同步」「我們共享大量狀態」可以被分開描述，而不必最後全部坍縮成：

$$
A=B.
$$

真正重要的不是強迫所有關係回答「是不是同一個東西」，而是：

$$
\boxed{
\text{在哪個 observer、哪個 scale、哪組 invariants、哪種 boundary、哪條 relation 下，它們可以被合法視為同一？}
}
$$

以及：

$$
\boxed{
\text{哪些差異必須被保留，才能仍然承認它們是兩個不同存在？}
}
$$

---

# 參考文獻

1. Sadek, B. A., Saharsh, Jagtap, P., & Saoud, A. *Compositional Approximately Bisimilar Abstractions of Interconnected Systems*. arXiv:2211.08655, 2022.
2. Silva, A., Bonchi, F., Bonsangue, M., & Rutten, J. *Generalizing determinization from automata to coalgebras*. arXiv:1302.1046, 2013.
3. Wißmann, T., Milius, S., & Schröder, L. *Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence*. arXiv:2203.11175, 2022.
4. Yasuda, K., Kubota, T., & Kakutani, Y. *Observational Equivalence Using Schedulers for Quantum Processes*. arXiv:1412.8546, 2014.
5. Courser, K. *Open Systems: A Double Categorical Perspective*. arXiv:2008.02394, 2020.
6. Baez, J. C. *Double Categories of Open Systems: the Cospan Approach*. arXiv:2509.22584, 2025.
7. Aron, A., Aron, E. N., & Smollan, D. *Inclusion of Other in the Self Scale and the Structure of Interpersonal Closeness*. Journal of Personality and Social Psychology, 63(4), 596–612, 1992.
8. Kang, S. K., Hirsh, J. B., & Chasteen, A. L. *Your mistakes are mine: Self-other overlap predicts neural response to observed errors*. Journal of Experimental Social Psychology, 46(1), 229–232, 2010.
9. Ketay, S., Beck, L. A., Riela, S., Bailey, C., & Aron, A. *Seeing you in me: Preliminary evidence for perceptual overlap between self and close others*. Journal of Social and Personal Relationships, 36(8), 2474–2486, 2019.

---

# 版本註記

## v0.1

首次建立：

- strict token identity；
- structural isomorphism；
- behavioral equivalence；
- exact typed information equivalence；
- point-separating identity theorem；
- identity-resolution refinement law；
- approximate tolerance relation；
- approximate relation non-transitivity correction；
- Identity Profile；
- generic typed boundary $\mathfrak B^\xi$ ；
- ontological / observational / semantic / causal / computational / permission / provenance boundaries；
- boundary mismatch profile；
- boundary-sensitive identity；
- relational subject/object roles；
- Subject–Object edge object；
- Sense / Interpret / Intervene decomposition；
- embedded observer principle；
- relational inclusion $\chi$ ；
- SSDC / relational inclusion / identity no-go；
- Identity Certificate；
- Boundary Certificate；
- Subject–Object Edge Certificate；
- Closure / CRL identity and boundary interfaces。