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.1Ontology Genealogy & Symbol Migration Map v0.1EML-ONTO-CORE-01：潛能、載域與顯現EML-ONTO-CORE-02：型別化三元算子族EML-ONTO-CORE-03：共享狀態域耦合（SSDC）EML-ONTO-CORE-04：型別化信息完整、失真與還原（TICDR）
性質：本體論方法論／身份理論／關係本體論／邊界理論／觀察者模型
證據狀態：形式框架與一般命題；不宣稱本文給出所有哲學／法律／心理學身份問題的唯一答案
摘要
「兩個存在是否相同」看似可以用：
X = Y X=Y X = Y 回答，但在涉及投影、壓縮、觀察尺度、SSDC 共享狀態域、歷史、provenance、邊界與主客關係時，裸等號經常將多種不同問題壓成一個問題。兩個狀態可以在同一 observer 下不可區分，卻具有不同歷史；可以具有相同行為，卻不是同一 token；可以完全同步某個 observable，卻仍是兩個不同系統；也可以在 relational self-representation 中高度重疊，卻不因此成為同一主體。
本文建立 Typed Identity–Boundary–Role Framework（TIBRF） 。首先區分：
token identity , structural isomorphism , behavioral equivalence , typed information equivalence , approximate tolerance relation . \boxed{
\text{token identity},
\quad
\text{structural isomorphism},
\quad
\text{behavioral equivalence},
\quad
\text{typed information equivalence},
\quad
\text{approximate tolerance relation}.
} token identity , structural isomorphism , behavioral equivalence , typed information equivalence , approximate tolerance relation . 對 observer/context：
q = ( o , s , r , d , χ ) q=(o,s,r,d,\chi) q = ( o , s , r , d , χ ) 與 Paper 04 的 typed information query family：
J , \mathcal J, J , 本文定義 exact typed equivalence：
x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . \boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
\quad
j(x)=j(y).
} x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . 並證明：
≡ q , J \boxed{
\equiv_{q,\mathcal J}
} ≡ q , J 是一個真正的 equivalence relation，因此可形成 quotient：
X / ≡ q , J . \boxed{
\mathcal X/{\equiv_{q,\mathcal J}}.
} X / ≡ q , J . 若 J q \mathcal J_q J q
x ≡ q , J y ⟺ x = y . \boxed{
x\equiv_{q,\mathcal J}y
\iff
x=y.
} x ≡ q , J y ⟺ x = y . 反之，若 J q \mathcal J_q J q
本文特別修正早期預想的：
x ≡ q , J , ϵ y . x
\equiv_{q,\mathcal J,\epsilon}
y. x ≡ q , J , ϵ y . 對一般 metric tolerance：
d j ( j ( x ) , j ( y ) ) ≤ ϵ j , d_j(j(x),j(y))
\le
\epsilon_j, d j ( j ( x ) , j ( y )) ≤ ϵ j , 所得 relation 通常不具傳遞性。因此本文將 approximate identity 正典化為：
x ≈ q , J , ϵ y , \boxed{
x
\approx_{q,\mathcal J,\boldsymbol\epsilon}
y,
} x ≈ q , J , ϵ y , 並明確標示其通常只是 tolerance relation，而非 equivalence relation。
本文接著建立 typed boundary family 。為避免將所有邊界誤寫成拓撲邊界，先定義一般 boundary object：
B q ξ ( X ) , \boxed{
\mathfrak B_q^\xi(X),
} B q ξ ( X ) , 其中 ξ \xi ξ
o n t , o b s , s e m , c a u , c o m p , p e r m , p r o v . \boxed{
ont,\ obs,\ sem,\ cau,\ comp,\ perm,\ prov.
} o n t , o b s , se m , c a u , co m p , p er m , p r o v . 分別對應本體成員邊界、觀察邊界、語義邊界、因果邊界、計算邊界、權限邊界與 provenance 邊界。只有當模型具有合適 topology / neighborhood structure 時，才使用：
∂ q ξ X \partial_q^\xi X ∂ q ξ X 作其幾何／拓撲 realization。
本文證明或以反例建立：
B o n t ≠ B o b s ≠ B s e m ≠ B c a u \boxed{
\mathfrak B^{ont}
\neq
\mathfrak B^{obs}
\neq
\mathfrak B^{sem}
\neq
\mathfrak B^{cau}
} B o n t = B o b s = B se m = B c a u 一般可能成立。因此「畫面邊界」「因果邊界」「主體邊界」不得自動互換。
最後，本文將主體／客體重新定義為關係角色 而非先驗固定實體型別。對 relation r r r q q q
Role q ( X ; r ) ∈ { S u b j , O b j , B o t h , U n d e t e r m i n e d } . \boxed{
\operatorname{Role}_q(X;r)
\in
\{
\mathsf{Subj},
\mathsf{Obj},
\mathsf{Both},
\mathsf{Undetermined}
\}.
} Role q ( X ; r ) ∈ { Subj , Obj , Both , Undetermined } . 同一 entity 可以在一條 relation 中是 observer / subject，在另一條 relation 中是 object，也可以在 reciprocal coupling 中同時承擔兩種角色。
一條 Subject–Object edge 不再只是：
S → O . S\rightarrow O. S → O . 而被展開成：
e S ↔ O q = ⟨ S S D C S O q , Sense O → S q , Interpret S q , Intervene S → O q , C I , B S O q ⟩ . \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.
} e S ↔ O q = ⟨ SSDC S O q , Sense O → S q , Interpret S q , Intervene S → O q , C I , B S O q ⟩ . 因此 observation、interpretation、intervention、shared-state coupling、information preservation 與 boundary crossing 被放進同一個 typed relational object。
本文也保留 relational inclusion：
χ S ← O q \chi_{S\leftarrow O}^{q} χ S ← O q 表示「他者進入 self-related organization 的程度」，但建立強限制：
χ ↑ ⇏ ontological identity . \boxed{
\chi\uparrow
\not\Rightarrow
\text{ontological identity}.
} χ ↑ ⇒ 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 , x=y, x = y , 數學上通常表示兩個記號指向同一個對象。
但實際研究常想問的是不同問題：
兩個資料是否相同？
兩個 states 是否不可區分？
兩個 systems 是否行為等價？
兩個模型是否同構？
兩個 representations 是否能互相還原？
兩個 people / agents 是否共享高度 self-model？
兩個版本是否可視為同一理論？
兩個 branch 是否可以 merge？
同一 output 是否來自同一 history？
若把這些都用：
= = = 處理，會產生 category collapse。
因此：
identity claim must be typed . \boxed{
\text{identity claim must be typed}.
} identity claim must be typed . 2. Strict Token Identity
本文保留最嚴格的 identity：
x = y \boxed{
x
=
y
} x = y 作為 model-internal token identity。
意思是：
在指定形式系統／資料模型中， x x x y y y
本文不試圖用 typed equivalence 取代 strict equality。
相反地：
strict equality \boxed{
\text{strict equality}
} strict equality 與：
typed equivalence \boxed{
\text{typed equivalence}
} typed equivalence 必須同時存在。
3. Structural Isomorphism
若存在 bijective structure-preserving map：
f : X → Y f:X\rightarrow Y f : X → Y 及 inverse：
f − 1 , f^{-1}, f − 1 , 可寫：
X ≅ S Y . \boxed{
X
\cong_{\mathcal S}
Y.
} X ≅ S Y . 這表示：
在指定 structure S \mathcal S S
但：
X ≅ S Y ⇏ X = Y . \boxed{
X\cong_{\mathcal S}Y
\not\Rightarrow
X=Y.
} X ≅ S Y ⇒ X = Y . 兩個圖可以同構，仍是兩個不同 graph objects。
4. Behavioral Equivalence
兩個系統可以在指定可觀察行為集合下具有相同行為，而內部 state 不同。
記：
X ∼ b e h , q Y . \boxed{
X
\sim_{\mathrm{beh},q}
Y.
} X ∼ beh , q Y . 這類概念在 transition systems、automata、coalgebra 與 bisimulation 文獻中具有成熟形式前例。
本文只吸收一個結構性教訓：
behavioral equivalence is criterion-relative . \boxed{
\text{behavioral equivalence is criterion-relative}.
} behavioral equivalence is criterion-relative . 5. Typed Information Equivalence
Paper 04 已建立 query family：
J q = { j α } . \mathcal J_q
=
\{j_\alpha\}. J q = { j α } . 定義 5.1 — Exact Typed Equivalence
x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . \boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
\quad
j(x)=j(y).
} x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . 意思是：
在 context q q q x x x y y y
6. Exact Typed Equivalence 是 Equivalence Relation
定理 6.1
≡ q , J \equiv_{q,\mathcal J} ≡ q , J 具有：
Reflexivity
x ≡ q , J x . x\equiv_{q,\mathcal J}x. x ≡ q , J x . Symmetry
若：
x ≡ q , J y , x\equiv_{q,\mathcal J}y, x ≡ q , J y , 則：
y ≡ q , J x . y\equiv_{q,\mathcal J}x. y ≡ q , J x . Transitivity
若：
x ≡ q , J y x\equiv_{q,\mathcal J}y x ≡ q , J y 及：
y ≡ q , J z , y\equiv_{q,\mathcal J}z, y ≡ q , J z , 則：
x ≡ q , J z . x\equiv_{q,\mathcal J}z. x ≡ q , J z . 證明由 equality 在各：
Z α \mathcal Z_\alpha Z α 上的 reflexive / symmetric / transitive 性直接得到。
7. Typed Identity Quotient
因此可定義：
[ x ] q , J = { y : y ≡ q , J x } . \boxed{
[x]_{q,\mathcal J}
=
\{
y:
y\equiv_{q,\mathcal J}x
\}.
} [ x ] q , J = { y : y ≡ q , J x } . 以及：
X / ≡ q , J . \boxed{
\mathcal X
/
{\equiv_{q,\mathcal J}}.
} X / ≡ q , J . 這與 Paper 04 的 task-relative quotient 完全對接。
8. Point-Separating Query Family
定義 8.1
若對所有：
x ≠ y x\neq y x = y 都存在：
j ∈ J q j\in\mathcal J_q j ∈ J q 使：
j ( x ) ≠ j ( y ) , j(x)\neq j(y), j ( x ) = j ( y ) , 則稱：
J q \boxed{
\mathcal J_q
} J q 為 point-separating family。
9. Separation Theorem
定理 9.1
若：
J q \mathcal J_q J q point-separating，則：
x ≡ q , J y ⟺ x = y . \boxed{
x\equiv_{q,\mathcal J}y
\iff
x=y.
} x ≡ q , J y ⟺ x = y . 因此 typed equivalence 何時可升格成 strict identity，條件非常清楚：
query family 必須分離 domain 中所有 distinct points。
10. 非分離 Query Family 的意義
若：
J q \mathcal J_q J q 不是 point-separating，
可能：
x ≠ y x\neq y x = y 但：
x ≡ q , J y . x\equiv_{q,\mathcal J}y. x ≡ q , J y . 這不是錯誤。
它只表示：
the current identity criterion intentionally quotients out some distinctions . \boxed{
\text{the current identity criterion intentionally quotients out some distinctions}.
} the current identity criterion intentionally quotients out some distinctions . 11. Identity Resolution
若：
J 1 ⊆ J 2 , \mathcal J_1
\subseteq
\mathcal J_2, J 1 ⊆ J 2 , 則：
≡ q , J 2 ⊆ ≡ q , J 1 . \boxed{
\equiv_{q,\mathcal J_2}
\subseteq
\equiv_{q,\mathcal J_1}.
} ≡ q , J 2 ⊆ ≡ q , J 1 . 因為更多 queries 只能增加可區分性。
因此：
more identity criteria → finer identity partition . \boxed{
\text{more identity criteria}
\rightarrow
\text{finer identity partition}.
} more identity criteria → finer identity partition . 這可稱：
Identity Resolution Principle . \boxed{
\text{Identity Resolution Principle}.
} Identity Resolution Principle . 12. Observer / Scale Relativity
令：
q 1 ≠ q 2 . q_1\neq q_2. q 1 = q 2 . 可能：
x ≡ q 1 , J 1 y x
\equiv_{q_1,\mathcal J_1}
y x ≡ q 1 , J 1 y 但：
x ̸ ≡ q 2 , J 2 y . x
\not\equiv_{q_2,\mathcal J_2}
y. x ≡ q 2 , J 2 y . 例如：
macro observer 將兩個 microstates 視為同一 macrostate；
high-resolution observer 可以區分它們。
因此：
identity at one scale ⇏ identity at all scales . \boxed{
\text{identity at one scale}
\not\Rightarrow
\text{identity at all scales}.
} identity at one scale ⇒ identity at all scales . 13. Approximate Identity 不能直接叫 Equivalence
早期工作式：
x ≡ q , J , ϵ y x
\equiv_{q,\mathcal J,\epsilon}
y x ≡ q , J , ϵ y 有一個問題。
若：
d ( x , y ) ≤ ϵ , d(x,y)\le\epsilon, d ( x , y ) ≤ ϵ , 且：
d ( y , z ) ≤ ϵ , d(y,z)\le\epsilon, d ( y , z ) ≤ ϵ , 不一定：
d ( x , z ) ≤ ϵ . d(x,z)\le\epsilon. d ( x , z ) ≤ ϵ . 例如實數線：
x = 0 , y = 0.75 , z = 1.5 , ϵ = 1. x=0,
\quad
y=0.75,
\quad
z=1.5,
\quad
\epsilon=1. x = 0 , y = 0.75 , z = 1.5 , ϵ = 1. 則：
x ≈ ϵ y , x\approx_\epsilon y, x ≈ ϵ y , y ≈ ϵ z , y\approx_\epsilon z, y ≈ ϵ z , 但：
x ̸ ≈ ϵ z . x\not\approx_\epsilon z. x ≈ ϵ z . 14. Approximate Identity Relation
因此正典改為：
定義 14.1
x ≈ q , J , ϵ y \boxed{
x
\approx_{q,\mathcal J,\boldsymbol\epsilon}
y
} x ≈ q , J , ϵ y 若：
∀ j α ∈ J q , d α ( j α ( x ) , j α ( y ) ) ≤ ϵ α . \forall j_\alpha\in\mathcal J_q,
\quad
d_\alpha
(
j_\alpha(x),
j_\alpha(y)
)
\le
\epsilon_\alpha. ∀ j α ∈ J q , d α ( j α ( x ) , j α ( y )) ≤ ϵ α . 一般：
≈ \boxed{
\approx
} ≈ 只是 tolerance relation。
15. Tolerance Relation 的性質
在 symmetric metric 下：
reflexive：通常成立；
symmetric：成立；
transitive：一般不成立。
所以：
≈ q , J , ϵ is not generally an equivalence relation . \boxed{
\approx_{q,\mathcal J,\epsilon}
\text{ is not generally an equivalence relation}.
} ≈ q , J , ϵ is not generally an equivalence relation . 這是本篇重要 canonical correction。
16. 若真的需要 Approximate Quotient
有三種做法，但它們都增加新假設：
取 tolerance graph 的 connected components；
取 transitive closure；
先量化／分箱成真正 partition。
它們都不是原 relation 本身。
因此：
do not silently quotient by a non-transitive tolerance relation . \boxed{
\text{do not silently quotient by a non-transitive tolerance relation}.
} do not silently quotient by a non-transitive tolerance relation . 17. Identity Spectrum 不是單一分數
一個 pair：
( x , y ) (x,y) ( x , y ) 可以同時具有：
x ≠ y , x ≅ S y , x ∼ b e h y , x ≡ q , J y , x ≈ q , K , ϵ 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}
} x = y , x ≅ S y , x ∼ beh y , x ≡ q , J y , x ≈ q , K , ϵ y . 這不是矛盾。
而是多種 identity-like relations 同時存在。
18. Identity Profile
本文定義：
I d q ( x , y ) = ( I t o k e n , I i s o , I b e h , I J , A J , ϵ , I h i s t , I p r o v , I b o u n d ) . \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).
} Id q ( x , y ) = ( I token , I iso , I beh , I J , A J , ϵ , I hist , I prov , I bound ) . 其中各 component 可以是：
Boolean；
typed relation；
score；
certificate。
不強迫全部數值化。
19. SSDC 不等於 Identity
即使：
ρ A → B s h a r e = ρ B → A s h a r e = 1 \rho_{A\to B}^{\mathrm{share}}
=
\rho_{B\to A}^{\mathrm{share}}
=
1 ρ A → B share = ρ B → A share = 1 以及 transport fidelity 為 1，
也不能推出：
A = B . A=B. A = B . 因為：
carrier 可不同；
history 可不同；
provenance 可不同；
update law 可不同；
boundary 可不同；
token identity 可不同。
所以：
S S D C ↑ ⇏ ontological identity . \boxed{
SSDC\uparrow
\not\Rightarrow
\text{ontological identity}.
} S S D C ↑ ⇒ ontological identity . 20. Exact Bidirectional Transport 也不等於 Strict Identity
即使：
T B A ∘ T A B = i d A T_{BA}\circ T_{AB}
=
id_A T B A ∘ T A B = i d A 及：
T A B ∘ T B A = i d B T_{AB}\circ T_{BA}
=
id_B T A B ∘ T B A = i d B 在 relevant state domains 上成立，
最多得到：
S A q ≅ S B q \boxed{
\mathcal S_A^q
\cong
\mathcal S_B^q
} S A q ≅ S B q 或指定 domain equivalence。
仍不能推出整個 entities：
A = B . A=B. A = B . 21. Boundary 問題
如果 identity 是 typed，
boundary 也必須 typed。
同一個 entity 可以有：
物理／本體成員邊界；
observer 可見邊界；
semantic category boundary；
causal influence boundary；
computational state boundary；
permission boundary；
provenance boundary。
因此：
there is no automatic single universal boundary . \boxed{
\text{there is no automatic single universal boundary}.
} there is no automatic single universal boundary . 22. Generic Typed Boundary
為避免濫用 topological boundary：
∂ X , \partial X, ∂ X , 本文先使用：
B q ξ ( X ) \boxed{
\mathfrak B_q^\xi(X)
} B q ξ ( X ) 表示 generic typed boundary object。
只有在：
topology；
neighborhood system；
graph adjacency；
measurable interface；
已定義時，才進一步實現成：
∂ q ξ X . \boxed{
\partial_q^\xi X.
} ∂ q ξ X . 23. Predicate Boundary Construction
給 ambient domain：
A \mathcal A A 與 typed membership / classification predicate：
P q ξ : A → { 0 , 1 , ? } . P_q^\xi:
\mathcal A
\rightarrow
\{0,1,?\}. P q ξ : A → { 0 , 1 , ?} . 再給 neighborhood system：
N q ( x ) . N_q(x). N q ( x ) . 定義：
B q ξ = { x : ∃ y , z ∈ N q ( x ) , P q ξ ( y ) = 1 , P q ξ ( z ) = 0 } . \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\}.
} B q ξ = { x : ∃ y , z ∈ N q ( x ) , P q ξ ( y ) = 1 , P q ξ ( z ) = 0 } . 這個 generic construction 同時適用：
離散 graph；
空間 partition；
semantic neighborhood；
permission graph；
causal reachability approximation。
24. Ontological Membership Boundary
B o n t ( X ) \boxed{
\mathfrak B^{ont}(X)
} B o n t ( X ) 回答：
哪裡是「屬於此存在／系統」與「不屬於」的交界？
這需要先給 ontology membership criterion。
不得從畫面位置自動推出。
25. Observational Boundary
B q o b s ( X ) \boxed{
\mathfrak B_q^{obs}(X)
} B q o b s ( X ) 回答：
對 observer q q q
因此：
B o b s \mathfrak B^{obs} B o b s 可以因 sensor、解析度、權限改變。
26. Semantic Boundary
B q s e m ( X ) \boxed{
\mathfrak B_q^{sem}(X)
} B q se m ( X ) 表示概念或分類規則下的 category boundary。
例如同一 physical object：
在「家具」分類裡屬於一類；
在「可燃物」分類裡具有另一個 boundary。
27. Causal Boundary
B q c a u ( X ) \boxed{
\mathfrak B_q^{cau}(X)
} B q c a u ( X ) 回答：
intervention / influence 的可傳播域在哪裡發生結構改變？
它可以與 physical enclosure 不同。
例如 network service 的 causal influence 可穿越機房外牆。
28. Computational Boundary
B q c o m p ( X ) \boxed{
\mathfrak B_q^{comp}(X)
} B q co m p ( X ) 表示：
同一 process；
同一 runtime；
同一 address space；
同一 transaction；
同一 consistency domain；
的計算邊界。
它未必等於 hardware boundary。
29. Permission Boundary
B q p e r m ( X ) \boxed{
\mathfrak B_q^{perm}(X)
} B q p er m ( X ) 表示：
哪些 actions / states 可被某 principal 合法存取或修改？
同一 data 可以物理上可達，permission 上不可達。
30. Provenance Boundary
B q p r o v ( X ) \boxed{
\mathfrak B_q^{prov}(X)
} B q p r o v ( X ) 表示：
哪些內容仍能被追溯為同一 provenance lineage？
版本 merge、copy、translation 後，content boundary 與 provenance boundary 可以分離。
31. Boundary Non-Coincidence Principle
一般：
B o n t ≠ B o b s ≠ B s e m ≠ B c a u ≠ B c o m p . \boxed{
\mathfrak B^{ont}
\neq
\mathfrak B^{obs}
\neq
\mathfrak B^{sem}
\neq
\mathfrak B^{cau}
\neq
\mathfrak B^{comp}.
} B o n t = B o b s = B se m = B c a u = B co m p . 不是每個 case 都必然不同，
而是：
no general theorem makes them identical . \boxed{
\text{no general theorem makes them identical}.
} no general theorem makes them identical . 32. Boundary Mismatch Profile
若 boundaries 可比較，定義：
M B ( X ; q ) = ( d B ( B o n t , B o b s ) , d B ( B o n t , B s e m ) , d B ( B o n t , B c a u ) , … ) . \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).
} M B ( X ; q ) = ( d B ( B o n t , B o b s ) , d B ( B o n t , B se m ) , d B ( B o n t , B c a u ) , … ) . 但：
d B d_B d B 必須 domain-specific。
沒有共同 metric 時，只保留 relation / conflict certificate。
33. Boundary Queries 接入 TICDR
Paper 04 已有：
J B . \mathcal J_B. J B . 現在可具體化成：
j B ξ ( X ) = B ξ ( X ) . j_B^\xi(X)
=
\mathfrak B^\xi(X). j B ξ ( X ) = B ξ ( X ) . 因此 transformation：
T T T 若保存 internal content 但改變 boundary，
會：
P c o n t e n t ( T ) = 1 P_{\mathrm{content}}(T)=1 P content ( T ) = 1 但：
P j B ( T ) = 0. P_{j_B}(T)=0. P j B ( T ) = 0. 這正是「內容一樣但系統不是同一狀態」的重要來源。
34. Boundary-Sensitive Identity
令：
J ′ = J ∪ { j B ξ } . \mathcal J'
=
\mathcal J
\cup
\{j_B^\xi\}. J ′ = J ∪ { j B ξ } . 則：
≡ q , J ′ \boxed{
\equiv_{q,\mathcal J'}
} ≡ q , J ′ 會比：
≡ q , J \equiv_{q,\mathcal J} ≡ q , J 更細。
因此：
是否把 boundary 算進 identity criterion，是必須明說的模型選擇。
35. History-Sensitive Identity
同理加入：
j H . j_H. j H . 如果：
x , y x,y x , y current state 相同但 history 不同，
則：
x ≡ J S y x\equiv_{\mathcal J_S}y x ≡ J S y 可以成立，
但：
x ̸ ≡ J S ∪ J H y . x\not\equiv_{\mathcal J_S\cup\mathcal J_H}y. x ≡ J S ∪ J H y . 36. Provenance-Sensitive Identity
若：
j P ( x ) ≠ j P ( y ) , j_P(x)\neq j_P(y), j P ( x ) = j P ( y ) , 則加入 provenance 後：
x ̸ ≡ J ∪ J P y . x\not\equiv_{\mathcal J\cup\mathcal J_P}y. x ≡ J ∪ J P y . 這對：
theorem；
software artifact；
dataset；
agent memory；
legal document；
尤其重要。
37. Subject 與 Object 先改成 Role
「subject」與「object」常被寫成 entity 固有類別。
本文採更保守模型：
定義 37.1 — Relational Role
Role q ( X ; r ) ∈ { S u b j , O b j , B o t h , U n d e t e r m i n e d } . \boxed{
\operatorname{Role}_q(X;r)
\in
\{
\mathsf{Subj},
\mathsf{Obj},
\mathsf{Both},
\mathsf{Undetermined}
\}.
} Role q ( X ; r ) ∈ { Subj , Obj , Both , Undetermined } . role 相對：
r r r 而定。
38. Role Reversal
同一 pair：
( A , B ) (A,B) ( A , B ) 在 observation relation：
r 1 r_1 r 1 中可能：
A = S u b j , B = O b j . A=\mathsf{Subj},
\quad
B=\mathsf{Obj}. A = Subj , B = Obj . 在另一 relation：
r 2 r_2 r 2 中：
B = S u b j , A = O b j . B=\mathsf{Subj},
\quad
A=\mathsf{Obj}. B = Subj , A = Obj . 例如：
兩個 agents 互相觀察。
所以：
subject/object is not necessarily a permanent entity type . \boxed{
\text{subject/object is not necessarily a permanent entity type}.
} subject/object is not necessarily a permanent entity type . 39. Reciprocal Subjectivity
若：
A A A 與：
B B B 都：
observe；
interpret；
intervene；
update；
則：
Role ( A ; r ) = Role ( B ; r ) = B o t h . \boxed{
\operatorname{Role}(A;r)
=
\operatorname{Role}(B;r)
=
\mathsf{Both}.
} Role ( A ; r ) = Role ( B ; r ) = Both . 這是 multi-agent / human-AI interaction 中很重要的情況。
40. Subject–Object Edge
對 subject-role entity：
S S S 與 object-role entity：
O , O, O , 定義：
e S ↔ O q = ⟨ S S D C S O q , Sense O → S q , Interpret S q , Intervene S → O q , C I S O , B S O q ⟩ . \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.
} e S ↔ O q = ⟨ SSDC S O q , Sense O → S q , Interpret S q , Intervene S → O q , C I S O , B S O q ⟩ . 41. Sense
Sense O → S q : S O → Y S \boxed{
\operatorname{Sense}_{O\to S}^{q}
:
\mathcal S_O
\rightarrow
\mathcal Y_S
} Sense O → S q : S O → Y S 把 object state 映射成 subject 可取得的 observation channel。
它本身可能：
noisy；
partial；
delayed；
permission-limited；
coarse-grained。
42. Interpret
Interpret S q : Y S → R S \boxed{
\operatorname{Interpret}_{S}^{q}
:
\mathcal Y_S
\rightarrow
\mathcal R_S
} Interpret S q : Y S → R S 把 observation 轉成 subject internal representation。
因此：
sensed data ≠ interpreted state . \boxed{
\text{sensed data}
\neq
\text{interpreted state}.
} sensed data = interpreted state . 這裡可直接接 Paper 04 distortion。
43. Intervene
Intervene S → O q : A S ⇀ U O . \boxed{
\operatorname{Intervene}_{S\to O}^{q}
:
\mathcal A_S
\rightharpoonup
\mathcal U_O.
} Intervene S → O q : A S ⇀ U O . 表示 subject 是否能對 object 施加 intervention。
純 observation 可以沒有：
Intervene . \operatorname{Intervene}. Intervene . 44. Subject–Object Edge 與 SSDC
一條 observation edge 至少需要某種：
O → S O
\rightarrow
S O → S state transport。
若 subject 也可 intervention：
S → O , S
\rightarrow
O, S → O , 則 edge 可能形成 bidirectional SSDC。
因此：
observer relation \boxed{
\text{observer relation}
} observer relation 可以被視為 SSDC 的一類 typed realization，
但不是所有 SSDC 都是 subject–object relation。
45. Embedded Observer Principle
本文不採「observer 站在系統外部並擁有完整狀態」作默認。
相反地：
Sense + Interpret + Intervene \boxed{
\operatorname{Sense}
+
\operatorname{Interpret}
+
\operatorname{Intervene}
} Sense + Interpret + Intervene 都必須經過 relation edge。
因此 observer 自身也位於某個 carrier / state system 中。
這是：
observer-in-the-system \boxed{
\text{observer-in-the-system}
} observer-in-the-system 工作假設。
46. Observation 不等於 Passive Copy
由：
O → Sense Y S → Interpret R S , O
\xrightarrow{\operatorname{Sense}}
Y_S
\xrightarrow{\operatorname{Interpret}}
R_S, O Sense Y S Interpret R S , 即使 object 不被 physically disturbed，
也可能：
R S ≠ O R_S
\neq
O R S = O 的原始 state。
所以：
observation ≠ lossless state duplication . \boxed{
\text{observation}
\neq
\text{lossless state duplication}.
} observation = lossless state duplication . 47. Relational Inclusion
為描述：
他者在多大程度上進入 self-related organization，
定義：
χ S ← O q . \boxed{
\chi_{S\leftarrow O}^{q}.
} χ S ← O q . χ \chi χ
χ = ( χ m e m o r y , χ r e s o u r c e , χ p r e d i c t i o n , χ i d e n t i t y − m o d e l , χ v a l u e , χ a c t i o n ) . \boxed{
\boldsymbol\chi
=
(
\chi_{\mathrm{memory}},
\chi_{\mathrm{resource}},
\chi_{\mathrm{prediction}},
\chi_{\mathrm{identity-model}},
\chi_{\mathrm{value}},
\chi_{\mathrm{action}}
).
} χ = ( χ memory , χ resource , χ prediction , χ identity − model , χ value , χ action ) . 本文不要求存在 universal scalar χ \chi χ
48. Relational Inclusion 不等於 SSDC
兩者相關但不同。
SSDC 問：
有哪些 states 在共享／轉譯／耦合？
Relational inclusion 問：
他者的哪些結構已被納入 self-related organization？
所以：
χ ≠ S S D C . \boxed{
\chi
\neq
SSDC.
} χ = S S D C . 49. Relational Inclusion 不等於 Identity
即使：
χ S ← O ↑ , \chi_{S\leftarrow O}
\uparrow, χ S ← O ↑ , 也不推出：
S = O . S=O. S = O . 因此：
other-in-self ⇏ other-is-self . \boxed{
\text{other-in-self}
\not\Rightarrow
\text{other-is-self}.
} other-in-self ⇒ other-is-self . 50. Self–Other Overlap 的外部前例
心理學研究已長期使用程度化 self–other overlap / inclusion-of-other-in-self 概念研究親密關係。
這至少說明：
self-related overlap can be graded rather than binary . \boxed{
\text{self-related overlap can be graded rather than binary}.
} 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 的經驗前例。
不得推出：
neural / cognitive overlap = one consciousness \boxed{
\text{neural / cognitive overlap}
=
\text{one consciousness}
} neural / cognitive overlap = one consciousness 或 strict ontological identity。
51. Coupling 不等於 Constitution
SSDC 可以很高：
S S D C ( S , O ) ↑ . SSDC(S,O)\uparrow. S S D C ( S , O ) ↑ . χ \chi χ
χ S ← O ↑ . \chi_{S\leftarrow O}\uparrow. χ S ← O ↑ . 仍然：
S ≠ O \boxed{
S\neq O
} S = O 可能完全成立。
所以：
Coupling ⇏ Constitution . \boxed{
\text{Coupling}
\not\Rightarrow
\text{Constitution}.
} Coupling ⇒ Constitution . 52. Constitution Claim 需要額外 Criterion
若未來要宣稱：
B B B A A A
必須另建立：
J c o n s t i t u t i o n \boxed{
\mathcal J_{\mathrm{constitution}}
} J 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。
本文的對照是：
∼ b e h \boxed{
\sim_{\mathrm{beh}}
} ∼ beh 是一種重要 typed identity-like relation。
但：
∼ b e h ⇏ = \boxed{
\sim_{\mathrm{beh}}
\not\Rightarrow
=
} ∼ beh ⇒= 仍然成立。
54. Observational Equivalence 的 Context Dependence
process equivalence 文獻中，observational equivalence 會依：
allowed observations；
scheduler restrictions；
process semantics；
而改變。
這與本文：
≡ q , J \boxed{
\equiv_{q,\mathcal J}
} ≡ q , J 的核心方向一致：
equivalence criterion 必須聲明 observation context。
55. Open-System Boundary 的外部前例
open-system / structured-cospan 研究將：
system interior；
inputs；
outputs；
interfaces；
明確納入 composition。
本文吸收的是：
a relation crossing a boundary should carry interface structure . \boxed{
\text{a relation crossing a boundary should carry interface structure}.
} a relation crossing a boundary should carry interface structure . 並將其擴展到：
observation；
interpretation；
intervention；
SSDC；
information contract。
56. Identity Migration Rule
任何歷史文件若寫：
X = Y X=Y X = Y 但其實只證明：
same observation；
same behavior；
same semantic representation；
same projection；
新 Canon 不可靜默保留 strict equality。
必須 migration 成：
X ≡ q , J Y \boxed{
X
\equiv_{q,\mathcal J}
Y
} X ≡ q , J Y 或其他對應 relation。
57. Boundary Migration Rule
任何歷史文件若使用：
∂ X \partial X ∂ X 但沒有 topology / neighborhood definition，
新 Canon 不應自動稱其 topological boundary。
改為：
B ξ ( X ) \boxed{
\mathfrak B^\xi(X)
} B ξ ( X ) 直到 formal boundary structure 被指定。
58. No-Go 1 — Isomorphism Is Identity
禁止：
X ≅ Y ⇒ X = Y . X\cong Y
\Rightarrow
X=Y. X ≅ Y ⇒ X = Y . 59. No-Go 2 — Behavioral Equivalence Is Identity
禁止：
X ∼ b e h Y ⇒ X = Y . X\sim_{\mathrm{beh}}Y
\Rightarrow
X=Y. X ∼ beh Y ⇒ X = Y . 60. No-Go 3 — Typed Equivalence Is Strict Identity
若：
J \mathcal J J 不 point-separating，禁止：
X ≡ q , J Y ⇒ X = Y . X\equiv_{q,\mathcal J}Y
\Rightarrow
X=Y. X ≡ q , J Y ⇒ X = Y . 61. No-Go 4 — Approximate Identity Is Automatically an Equivalence Relation
禁止未驗證 transitivity 就對：
≈ q , J , ϵ \approx_{q,\mathcal J,\epsilon} ≈ q , J , ϵ 取 quotient。
62. No-Go 5 — One Boundary Fits All
禁止：
B o b s = B o n t = B c a u \mathfrak B^{obs}
=
\mathfrak B^{ont}
=
\mathfrak B^{cau} B o b s = B o n t = B c a u 作默認。
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
禁止：
Interpret ∘ Sense = i d O \operatorname{Interpret}
\circ
\operatorname{Sense}
=
id_O Interpret ∘ Sense = i d O 作無證據默認。
65. No-Go 8 — SSDC / Self-Overlap Implies One Entity
禁止：
S S D C ↑ ⇒ A = B . SSDC\uparrow
\Rightarrow
A=B. S S D C ↑⇒ A = B . 也禁止：
χ ↑ ⇒ A = B . \chi\uparrow
\Rightarrow
A=B. χ ↑⇒ 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 q_1,q_2,q_3 q 1 , q 2 , q 3 各自建立 local equivalence，
仍需檢查：
overlap consistency；
cycle consistency；
global section existence。
這將接到 Paper 06 的 Closure / CRL。
68. Identity Certificate
本文建議任何高風險 identity claim 輸出：
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
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
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？
因此必須指定：
≡ q , J . \equiv_{q,\mathcal J}. ≡ q , J . 如果 identity criterion 在 closure 過程中改變：
J t → J t + 1 , \mathcal J_t
\rightarrow
\mathcal J_{t+1}, J t → J t + 1 , 歷史 closure certificate 可能失效。
所以：
closure depends on identity regime . \boxed{
\text{closure depends on identity regime}.
} closure depends on identity regime . 72. 與 CRL 的接口
CRL 要 merge：
B 1 , B 2 . B_1,
B_2. B 1 , B 2 . 最低要求：
B 1 ≡ q , J m e r g e B 2 \boxed{
B_1
\equiv_{q,\mathcal J_{\mathrm{merge}}}
B_2
} B 1 ≡ q , J merge B 2 且：
J m e r g e \mathcal J_{\mathrm{merge}} J merge 必須包含：
required conclusions；
assumptions；
boundary conditions；
provenance if required；
unresolved divergence status。
否則：
similarity merge ≠ certified CRL merge . \boxed{
\text{similarity merge}
\neq
\text{certified CRL merge}.
} similarity merge = certified CRL merge . 73. Closure Boundary
Closure 也必須聲明 boundary：
B c l o s u r e . \boxed{
\mathfrak B^{closure}.
} B c l os u r e . 例如：
theorem scope；
domain of quantification；
singular boundary；
version boundary；
representation boundary。
如果 closure 只在 interior 成立，
不能寫成 global closure。
74. 十二條核心命題
Core-1 — Typed Identity Principle
identity-like claims must name their relation type . \boxed{
\text{identity-like claims must name their relation type}.
} identity-like claims must name their relation type . Core-2 — Exact Typed Equivalence
x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . \boxed{
x
\equiv_{q,\mathcal J}
y
\iff
\forall j\in\mathcal J_q,
j(x)=j(y).
} x ≡ q , J y ⟺ ∀ j ∈ J q , j ( x ) = j ( y ) . Core-3 — Point Separation
若：
J q \mathcal J_q J q point-separating，則：
≡ q , J = = \boxed{
\equiv_{q,\mathcal J}
=
=
} ≡ q , J == 在該 domain 上。
Core-4 — Identity Resolution
J 1 ⊆ J 2 ⇒ ≡ J 2 ⊆ ≡ J 1 . \boxed{
\mathcal J_1\subseteq\mathcal J_2
\Rightarrow
\equiv_{\mathcal J_2}
\subseteq
\equiv_{\mathcal J_1}.
} J 1 ⊆ J 2 ⇒ ≡ J 2 ⊆ ≡ J 1 . Core-5 — Approximation Non-Equivalence
≈ q , J , ϵ \boxed{
\approx_{q,\mathcal J,\epsilon}
} ≈ q , J , ϵ 一般不保證 transitive。
Core-6 — Boundary Typing
B ξ \boxed{
\mathfrak B^\xi
} B ξ 先於未分型：
∂ . \partial. ∂ . Core-7 — Boundary Non-Coincidence
不同 typed boundaries 一般不得默認相同。
Core-8 — Relational Role Principle
Role ( X ; r ) \boxed{
\operatorname{Role}(X;r)
} Role ( X ; r ) 相對 relation，而非預設永久 entity type。
Core-9 — Observer Edge Principle
observation 必須經：
S e n s e → I n t e r p r e t Sense
\rightarrow
Interpret S e n se → I n t er p r e t 而非 God-view。
Core-10 — SSDC/Identity Separation
S S D C ↑ ⇏ I d e n t i t y . \boxed{
SSDC\uparrow
\not\Rightarrow
Identity.
} S S D C ↑ ⇒ I d e n t i t y . Core-11 — Relational Inclusion/Identity Separation
χ ↑ ⇏ I d e n t i t y . \boxed{
\chi\uparrow
\not\Rightarrow
Identity.
} χ ↑ ⇒ I d e n t i t y . Core-12 — Closure Identity Dependence
branch closure / merge depends on declared identity criterion . \boxed{
\text{branch closure / merge depends on declared identity criterion}.
} branch closure / merge depends on declared identity criterion . 75. Canonical TIBRF Object
本文最終將 pairwise identity / boundary / role 狀態寫成：
T I B R F A B q = ⟨ I d q ( A , B ) , { B A ξ } , { B B ξ } , Role q ( A ; r ) , Role q ( B ; r ) , e A ↔ B q , χ A ← B q , χ B ← A q ⟩ . \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.
} TIBRF A B q = ⟨ Id q ( A , B ) , { B A ξ } , { B B ξ } , Role q ( A ; r ) , Role q ( B ; r ) , e A ↔ B q , χ A ← B q , χ B ← A q ⟩ . 76. 五篇主鏈
至此：
Paper 01
Carrier → Latent → Active → Manifest . \text{Carrier}
\rightarrow
\text{Latent}
\rightarrow
\text{Active}
\rightarrow
\text{Manifest}. Carrier → Latent → Active → Manifest . Paper 02
E , L , C . \mathfrak E,
\mathfrak L,
\mathfrak C. E , L , C . Paper 03
S S D C . SSDC. S S D C . Paper 04
T I C D R . TICDR. T I C D R . Paper 05
I d e n t i t y + B o u n d a r y + R e l a t i o n a l R o l e . \boxed{
Identity
+
Boundary
+
Relational Role.
} I d e n t i t y + B o u n d a r y + R e l a t i o na l R o l e . 這五篇已經形成一個完整的「存在—變換—關係—資訊—身份」鏈。
77. 下一篇
Paper 06 將進入：
Closure、CRL 與分支閉合 \boxed{
\textbf{Closure、CRL 與分支閉合}
} 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=y. x = y . 結構同一：
x ≅ S y . x\cong_{\mathcal S}y. x ≅ S y . 行為同一：
x ∼ b e h y . x\sim_{\mathrm{beh}}y. x ∼ beh y . 資訊判定同一：
x ≡ q , J y . x\equiv_{q,\mathcal J}y. x ≡ q , J y . 近似相似：
x ≈ q , J , ϵ y . x\approx_{q,\mathcal J,\epsilon}y. x ≈ q , J , ϵ y . 這些關係各自回答不同問題。
因此：
Identity ≠ one universal binary judgment . \boxed{
\text{Identity}
\neq
\text{one universal binary judgment}.
} Identity = one universal binary judgment . 同樣，邊界不再只有一條：
B o n t , B o b s , B s e m , B c a u , B c o m p , B p e r m , B p r o v . \boxed{
\mathfrak B^{ont},
\mathfrak B^{obs},
\mathfrak B^{sem},
\mathfrak B^{cau},
\mathfrak B^{comp},
\mathfrak B^{perm},
\mathfrak B^{prov}.
} B o n t , B o b s , B se m , B c a u , B co m p , B p er m , B p r o v . 而主體與客體也不再被默認成宇宙永久分類，而先作：
relational roles . \boxed{
\text{relational roles}.
} relational roles . 這使「我看見你」「我能改變你」「你進入我的 self-model」「我們高度同步」「我們共享大量狀態」可以被分開描述，而不必最後全部坍縮成：
A = B . A=B. A = B . 真正重要的不是強迫所有關係回答「是不是同一個東西」，而是：
在哪個 observer、哪個 scale、哪組 invariants、哪種 boundary、哪條 relation 下，它們可以被合法視為同一？ \boxed{
\text{在哪個 observer、哪個 scale、哪組 invariants、哪種 boundary、哪條 relation 下，它們可以被合法視為同一？}
} 在哪個 observer 、哪個 scale 、哪組 invariants 、哪種 boundary 、哪條 relation 下，它們可以被合法視為同一？ 以及：
哪些差異必須被保留，才能仍然承認它們是兩個不同存在？ \boxed{
\text{哪些差異必須被保留，才能仍然承認它們是兩個不同存在？}
} 哪些差異必須被保留，才能仍然承認它們是兩個不同存在？ 參考文獻
Sadek, B. A., Saharsh, Jagtap, P., & Saoud, A. Compositional Approximately Bisimilar Abstractions of Interconnected Systems . arXiv:2211.08655, 2022.
Silva, A., Bonchi, F., Bonsangue, M., & Rutten, J. Generalizing determinization from automata to coalgebras . arXiv:1302.1046, 2013.
Wißmann, T., Milius, S., & Schröder, L. Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence . arXiv:2203.11175, 2022.
Yasuda, K., Kubota, T., & Kakutani, Y. Observational Equivalence Using Schedulers for Quantum Processes . arXiv:1412.8546, 2014.
Courser, K. Open Systems: A Double Categorical Perspective . arXiv:2008.02394, 2020.
Baez, J. C. Double Categories of Open Systems: the Cospan Approach . arXiv:2509.22584, 2025.
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.
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.
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 B ξ \mathfrak B^\xi B ξ
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。