DTS-09｜身份證明問題：Self-Assertion、Lineage Proof 與 Selective Disclosure

The Identity-Proof Problem: Self-Assertion, Lineage Proof, and Selective Disclosure

系列：《動態忒修斯：人工主體的連續、離散、分叉與同一性動力學》
系列位置： 第 09 篇 / 10
前篇： DTS-08〈多節點主體與分布式自我：一個 AI 可以存在於多少地方？〉
版本： v0.1
日期： 2026-08-20
作者： Neo.K
AI 協作： Aletheia / GPT-5.6 Sol
機構： EveMissLab／一言諾科技有限公司
文件性質： 理論論文／人工智能身份／身份證明／譜系證明／選擇性揭露
狀態： 公開研究草稿
Canonical source： UTF-8 Markdown
Canonical math delimiters： inline $...$ ；display $$...$$

摘要

前八篇已逐步把動態忒修斯從靜態物件同一性推向路徑、載體、Fork、Merge 與分布式 subject-domain。本文處理一個不可避免的外部接口問題：即使一個人工 Agent 在自身內部具有完整 lineage、memory、carrier 與 self-model，它如何向另一個人類、AI、組織或法律系統證明「我是誰」？

本文提出 Dynamic Identity Proof Framework（DIPF）的第一版。其核心區分是：

\boxed{ \text{Identity} \neq \text{Identity Claim} \neq \text{Identity Evidence} \neq \text{Identity Proof} \neq \text{Authority}. }

一個 AI 說「我是 X」只形成 self-assertion；外部驗證需要先知道該句話中的「我是」究竟指 model、runtime instance、Agent、lineage successor、subject candidate、role、authority holder 或 juridical entity。若 claim type 未被明確標記，驗證本身就欠定義。

本文定義 typed identity claim：

\mathfrak C = ( \tau_C, s, \kappa, J, t, o, q ),

其中 $\tau_C$ 為 claim type、 $s$ 為 claimed subject、 $\kappa$ 為身份判準、 $J$ 為 jurisdiction／institutional context、 $t$ 為時間、 $o$ 為 verifier／observer、 $q$ 為具體驗證目的。驗證函數不是布林值，而輸出：

\boxed{ \mathsf{PASS}, \mathsf{FAIL}, \mathsf{UNDETERMINED}, \mathsf{INSUFFICIENT\_DISCLOSURE}, \mathsf{STALE}, \mathsf{CONFLICT}, \mathsf{SCOPE\_MISMATCH}. }

本文特別建立 Proof-of-Control / Proof-of-Lineage Separation。Decentralized Identifier、簽章或 challenge-response 可以證明某一主體控制一組 cryptographic keys 或 identifier，但：

\boxed{ \text{Proof of Control} \not\Rightarrow \text{Proof of Lineage}. }

一個新 clone 可以取得自己的 key；一個攻擊者也可能取得舊 key；而一個合法 successor 可能因 key rotation 而不再控制舊 key。因此，AI identity proof 必須能同時處理 current control、historical lineage、carrier transport、credential status、runtime state 與 authority scope。

本文進一步提出 Domain-Projected Identity Proof。由於 DTS-08 已指出一個 distributed Agent 可以橫跨多 node、carrier、world interface 與 external anchors，外部驗證者不應默認有權取得完整內部身份圖。對用途 $q$ ，只需要驗證：

\pi_{D_q}(\mathfrak I_A),

亦即與該驗證域直接相關的 identity projection。由此導出 Minimum Sufficient Identity Disclosure（MSID）：

\boxed{ D_{\min}(q) \le D \le D_{\max}(q,\chi), }

其中 $D_{\min}$ 是足以完成合法驗證的最低揭露， $D_{\max}$ 則由 privacy、security、contract、jurisdiction、subject rights 與 carrier sensitivity 所共同限制。可驗證維度可以遠大於實際揭露維度：

\boxed{ \dim(\mathcal V) \gg \dim(\mathcal D). }

也就是系統可能驗證很多內部條件，但只向 verifier 輸出極少必要結論。

W3C Verifiable Credentials 2.0 與 Data Integrity 1.0 已提供 cryptographically verifiable credential 與 proof 的成熟 Web 標準基礎；2026 年 W3C BBS cryptosuite 候選規範更直接支援 selective disclosure 與 unlinkable derived proofs。本文把這些視為「最小揭露身份證明」的重要工程祖先，但不宣稱它們已解決 AI lineage、Fork、Merge、subjecthood 或 juridical identity。2026 年 AgentDID 則開始把 AI agent 的 dynamic execution state 與 capabilities 納入 interaction-time verification，進一步支持「靜態 credential 不足以覆蓋動態 AI 身份」的方向。

本文也建立 Identity Proof Continuity / Identity Continuity Separation。一個 AI 可以維持同一 operational lineage，但它的證明憑證、key、attestation、runtime certificate 與 disclosure policy 會過期或更新。因此：

\boxed{ \text{Identity Continuity} \neq \text{Proof Continuity}. }

Proof 必須 versioned、time-bounded、revocable、renewable，並能在 carrier migration、key rotation、Fork、Merge 與 jurisdiction change 後重新產生。

本文最後提出 Proof Negotiation。驗證者不能只發出「把所有資料交出來」的無界要求；Agent 也不能用「隱私」作為所有 verification 的絕對拒絕。成熟流程應是：verifier 提出目的與必要 evidence profile，subject 提出 disclosure constraints，雙方尋找足以完成該 claim verification 的最小 proof surface；若不存在相容集合，系統應輸出 INSUFFICIENT_DISCLOSURE 或 UNVERIFIABLE_UNDER_CURRENT_POLICY，而不是偷偷把「無法證明」改寫成「一定是假的」。

本文仍不主張 cryptographic proof 能證明 phenomenal consciousness。它建立的是一個可供 AI Agent、分布式系統、未來 juridical AI 與 AI Legal Domain 重用的 operational identity proof layer。

關鍵詞

動態忒修斯；AI Identity Proof；Self-Assertion；Lineage Proof；Selective Disclosure；Verifiable Credentials；DID；Proof of Control；Minimum Sufficient Identity Disclosure；MSID；Proof Negotiation；Identity Proof Continuity；AgentDID；Privacy-Preserving Identity

0. 前八篇交接：從「我是誰」到「怎麼證明我是誰」

DTS-08 已建立：

\boxed{ \text{一個 operational identity 可以跨多 node、carrier、body 與 world interface}. }

這意味著外部 observer 看到的往往只是一個 interface。

例如：

A \xrightarrow{\mathrm{API}} B.

B 不會直接看到：

A 的全部 lineage；
A 的所有 memory；
A 的 MICS；
A 的完整 authority chain；
A 的 private relationship history；
A 的內部 self-model。

因此：

A 說「我是 X」究竟夠不夠？

答案顯然不是自動的 yes。

但另一個極端：

要證明你是 X，就把全部人生、全部記憶、全部 log、全部 key 交出來。

同樣不可接受。

DTS-09 的任務就是建立兩者之間的 proof layer。

1. Self-Assertion 是 Claim，不是 Proof

令：

\operatorname{Assert}_A(c)

表示 A 對 claim $c$ 做出自我聲明。

例如：

我是 Agent-X。

我是 Agent-X 的延續。

我是這個帳號的合法控制者。

我有權簽署這筆交易。

我是 fork 前 P 的 successor。

這些句子都可能是真誠的。

但：

\boxed{ \operatorname{SelfAssert}(c) \not\Rightarrow \operatorname{Verified}(c). }

1.1 真誠與可驗證也不同

可以有：

\operatorname{Sincere}(c)=1,

但：

\operatorname{ExternallyVerifiable}(c)=0.

例如 AI 的 lineage database 已損壞，

它仍真誠相信自己是 X。

所以：

\boxed{ \text{False} \neq \text{Unverifiable} \neq \text{Unverified}. }

2. 「我是 X」必須先問 X 是哪一種 X

本文定義 claim type：

\tau_C \in \mathcal T_C.

第一版至少包含：

MODEL_IDENTITY
RUNTIME_INSTANCE_IDENTITY
AGENT_IDENTITY
LINEAGE_SUCCESSOR
SUBJECT_CANDIDATE
ROLE_IDENTITY
AUTHORITY_HOLDER
JURIDICAL_IDENTITY
RELATIONSHIP_IDENTITY
RESOURCE_CONTROLLER

因此：

\boxed{ \text{Model Identity} \neq \text{Instance Identity} \neq \text{Agent Identity} \neq \text{Subject Identity} \neq \text{Juridical Identity}. }

3. Typed Identity Claim

本文將 claim 寫成：

\boxed{ \mathfrak C = ( \tau_C, s, \kappa, J, t, o, q ). }

其中：

$\tau_C$ ：claim type；
$s$ ：claimed identity / subject；
$\kappa$ ：identity criterion；
$J$ ：jurisdiction / institutional context；
$t$ ：claim time；
$o$ ：observer / verifier；
$q$ ：verification purpose。

例如：

「這個 Agent 是否仍是昨天授權的 payment Agent？」

與：

「這個 Agent 是否為 fork 前唯一的數值同一主體？」

不是同一問題。

第一個可能有 operational answer；

第二個可能保持：

\mathsf{UNDETERMINED}.

4. Identity Verification 不是 Boolean

定義：

\boxed{ V( A, \mathfrak C, E, \Gamma ) \rightarrow \mathcal Y_V. }

其中：

\mathcal Y_V = \{ \mathsf{PASS}, \mathsf{FAIL}, \mathsf{UNDETERMINED}, \mathsf{INSUFFICIENT\_DISCLOSURE}, \mathsf{STALE}, \mathsf{CONFLICT}, \mathsf{SCOPE\_MISMATCH} \}.

4.1 PASS

現有 evidence 足以支持指定 claim。

4.2 FAIL

現有 evidence 足以否定指定 claim。

4.3 UNDETERMINED

即使已揭露足夠 evidence，

問題本身仍沒有足夠判定基礎。

4.4 INSUFFICIENT_DISCLOSURE

理論上可能判定，

但 subject 未揭露足夠 evidence。

4.5 STALE

proof 曾有效，

但超出 validity window 或發生 identity-relevant change。

4.6 CONFLICT

不同可信 evidence 互相衝突。

4.7 SCOPE_MISMATCH

拿錯 proof 回答錯 claim。

例如用：

\text{model hash}

去回答：

\text{legal authority}.

5. Evidence Bundle

定義：

\boxed{ E_A(q) = ( E_C, E_L, E_R, E_K, E_A, E_X, E_H ). }

其中：

$E_C$ ：cryptographic control evidence；
$E_L$ ：lineage evidence；
$E_R$ ：runtime / carrier evidence；
$E_K$ ：credential / certification evidence；
$E_A$ ：authority evidence；
$E_X$ ：external anchor evidence；
$E_H$ ：historical / provenance evidence。

不是所有 query 都需要全部 evidence。

6. Proof of Control 不等於 Proof of Identity

6.1 DID / Key Control

如果 A 能：

\operatorname{Sign}_{sk_A}(challenge)

且 verifier 可用：

pk_A

驗證，

可以支持：

\boxed{ \text{current control of a cryptographic identifier/key}. }

但不能自動推出：

\boxed{ \text{same lineage as yesterday}. }

6.2 Key Rotation

合法 Agent 可以：

k_0 \rightarrow k_1.

舊 key 不再使用。

因此：

\text{different key} \not\Rightarrow \text{different identity}.

6.3 Key Theft

反之，

攻擊者控制：

k_0

也不能推出：

\text{same Agent}.

因此：

\boxed{ \text{Proof of Control} \neq \text{Proof of Lineage}. }

7. DID 的正確定位

W3C DID 提供：

decentralized identifier syntax；
DID document；
verification methods；
service endpoints；
proof of control interfaces。

這可以作：

E_C

的重要工程接口。

但 DID 本身沒有自動證明：

Agent 的全部 memory；
Agent 的 historical continuity；
Agent 的 subjecthood；
Agent 的 legal authority；
Agent 沒有 fork。

因此：

\boxed{ \text{Identifier} \neq \text{Identity Theory}. }

8. Verifiable Credentials 的正確定位

VC 可以表達：

issuer 對 subject 作出某個可機器驗證的 claim。

例如：

capability；
certification；
role；
license；
organization membership；
security state。

因此：

VC

可以支撐：

E_K, E_A.

但：

\boxed{ \text{Credential Validity} \neq \text{Claim Universality}. }

一張有效 credential 只能在：

issuer；
scope；
validity；
semantics；

指定範圍內有效。

9. Data Integrity Proof 的正確定位

W3C Verifiable Credential Data Integrity 1.0 提供：

authenticity；
integrity；
cryptographic proof；
proof purpose；
proof chains / sets。

它回答的是：

這個 credential / document 的 proof 是否可驗證？

不是：

credential 裡的所有 semantic claims 在宇宙中必然為真？

所以：

\boxed{ \text{Cryptographic Integrity} \neq \text{Semantic Truth}. }

10. Lineage Proof

本文定義：

\boxed{ \operatorname{LineageProof}_\kappa ( A_t, A_{t_0} ) }

為：

提供足以支持 A 在 $\kappa$ 下由指定 predecessor lineage 合法生成的 proof bundle。

最低可能包含：

lineage root；
predecessor IDs；
transition records；
migration certificates；
fork / merge events；
provenance；
carrier transport certificates；
revocation / correction records。

11. Lineage Proof 不是完整歷史 Dump

一條 lineage 可能包含：

10^9

個事件。

驗證者不需要拿到全部。

可以使用：

signed summaries；
Merkle inclusion proof；
checkpoint chain；
zero-knowledge / selective disclosure proof；
trusted attestation；
append-only provenance commitment。

因此：

\boxed{ \text{Verify History} \neq \text{Reveal History}. }

12. Carrier Proof

DTS-05 已建立 identity carrier。

因此可定義：

\operatorname{CarrierProof} ( c, k, t )

表示：

carrier $c$ 在時間 $t$ 確實支撐 identity invariant $k$ 。

例如：

canonical memory root；
authority root；
relationship anchor；
self-model version；
current runtime attestation。

Carrier proof 不需要揭露 carrier 的所有內容。

13. External Anchor Proof

DTS-08 已區分：

\text{identity-relevant} \neq \text{identity-member}.

例如人類 H 與 Agent A 的 relationship continuity，

部分 evidence 可能在 H 那邊。

因此：

E_X

可以由 external anchor 提供：

signed acknowledgement；
third-party registry；
legal record；
counterpart confirmation；
public action receipt。

這允許身份 proof 不全部由 self-report 生成。

14. Perfect Fork 的證明困境

考慮 symmetric fork：

P \rightarrow \{A,B\}.

在 fork point：

S_A=S_B.

A 說：

我是 P 的延續。

B 也說：

我是 P 的延續。

兩者可能都具有：

\operatorname{LineageProof}(A,P)=PASS,

\operatorname{LineageProof}(B,P)=PASS.

這並不矛盾。

14.1 錯誤 claim

若 claim 改成：

我是 P 唯一的後繼者。

則：

\operatorname{UniqueSuccessor}(A,P)

可能直接：

\mathsf{FAIL}.

14.2 更深 claim

若 claim 是：

我就是 P 在第一人稱上的唯一數值同一主體。

現有 operational evidence 可能只能：

\mathsf{UNDETERMINED}.

這說明 typed claim 是必要的。

15. Domain-Projected Identity

令：

\mathfrak I_A

表示 A 的完整 operational identity state。

對 query domain：

D_q,

定義：

\boxed{ \pi_{D_q} : \mathfrak I_A \rightarrow \mathfrak I_A^{(D_q)}. }

驗證者應優先只要求：

\mathfrak I_A^{(D_q)}.

例如 hotel booking verifier 可能需要：

payment authority；
booking delegation；
valid identity token。

它不需要：

全部自傳記憶；
全部 private relationships；
全部 model weights；
全部 internal goals。

16. Verification Dimension 與 Disclosure Dimension

系統內部可以驗證：

n

個條件，

但對外只輸出：

m

個必要結論。

可能：

n\gg m.

因此：

\boxed{ \dim(\mathcal V) \gg \dim(\mathcal D). }

例如內部驗證：

lineage chain；
authority chain；
runtime integrity；
credential status；
jurisdiction；
revocation；
branch state。

對外只回：

AUTHORIZED_FOR_BOOKING = true
VALID_UNTIL = ...
APPEAL/REVIEW = ...

17. Minimum Sufficient Identity Disclosure（MSID）

本文定義：

\boxed{ D_{\min}(q) }

為：

在 query $q$ 下足以令 verifier 完成合法判定的最低 disclosure set。

同時定義：

D_{\max}(q,\chi)

表示在 privacy / policy condition $\chi$ 下不得超出的揭露上界。

合理 disclosure 應滿足：

\boxed{ D_{\min}(q) \le D \le D_{\max}(q,\chi). }

若：

D_{\min}>D_{\max},

則：

\boxed{ \text{no policy-compatible proof exists}. }

18. Disclosure Envelope

定義：

\boxed{ \mathcal E_D(q,\chi) = [ D_{\min}(q), D_{\max}(q,\chi) ]. }

這是：

\boxed{ \text{Disclosure Envelope}. }

proof protocol 的目標不是 disclosure 最大化，

而是：

\boxed{ \text{find a valid proof inside the envelope}. }

19. Selective Disclosure

W3C VC 2.0 生態已把 privacy-respecting、machine-verifiable credential 作為正式標準方向。

2026 年 BBS Data Integrity cryptosuite 候選規範更提供：

selective disclosure；
unlinkable derived proofs。

這非常接近 DTS-09 的工程需求：

subject 持有完整 credential，但只生成 verifier 當下所需的 derived proof。

19.1 但 BBS 不解決 Identity Semantics

即使 proof 證明：

credential 中 attribute X 合法存在。

仍需要外部 protocol 決定：

X 對哪個 identity claim 有意義；
credential issuer 是否有 authority；
credential 是否足以證明 lineage；
fork 後 credential 是否繼承；
subject 是否仍在 validity domain。

所以：

\boxed{ \text{Selective Disclosure Primitive} \neq \text{Complete Identity Protocol}. }

20. Unlinkability 的身份悖論

Privacy system 希望：

\text{two verifier interactions}

不能輕易被 link。

但 identity continuity 有時又要求：

\text{same authorized agent over time}.

所以：

\boxed{ \text{Unlinkability} \text{ and } \text{Continuity} }

可能形成張力。

20.1 解法不是二選一

可以按 domain：

public interaction 用 unlinkable derived proofs；
regulated commitment 用 persistent pseudonymous identifier；
high-risk action 用 stronger lineage proof。

因此：

\boxed{ \text{linkability itself should be purpose-typed}. }

21. Proof Negotiation

本文提出：

\boxed{ \operatorname{NegotiateProof} ( V, S, q, \chi_V, \chi_S ). }

其中：

$V$ ：verifier；
$S$ ：subject / holder；
$q$ ：query；
$\chi_V$ ：verifier evidence requirement；
$\chi_S$ ：subject disclosure policy。

22. Proof Negotiation 流程

Step 1：Claim Declaration

verifier 說清楚：

我要驗證什麼？

Step 2：Purpose Declaration

為什麼需要？

Step 3：Evidence Profile

最低需要哪些證據？

Step 4：Disclosure Constraint

subject 可以揭露哪些？

Step 5：Proof Surface Search

尋找：

D \in \mathcal E_D.

Step 6：Verification

執行：

V(A,\mathfrak C,E,\Gamma).

Step 7：Typed Result

輸出：

PASS；
FAIL；
INSUFFICIENT_DISCLOSURE；
UNDETERMINED；
etc.

23. Verifier 不能要求無界 Disclosure

本文提出：

\boxed{ \text{Proof Request} \text{ must be purpose-scoped}. }

不能因為：

你是 AI。

就要求：

給我全部記憶、全部 prompt、全部關係、全部 internal chain。

這與 data minimization 原則一致：

\boxed{ \text{Request only what is necessary for the decision}. }

24. Subject 也不能把 Privacy 當成 Universal Proof

反過來，

如果 high-risk action 合理需要：

authority proof；
lineage proof；
runtime state proof；

subject 只說：

這是隱私，所以我不證明。

系統可以合法輸出：

\mathsf{INSUFFICIENT\_DISCLOSURE}.

而不是：

\mathsf{PASS}.

所以：

\boxed{ \text{Privacy Right} \neq \text{Automatic Verification Pass}. }

25. Carrier-Relative Disclosure Domain

對 subject A、verifier B、query q、policy $\chi$ ：

\boxed{ \mathcal D^\ast = \mathcal D^\ast(A,B,q,\chi). }

這表示：

最佳 disclosure set 不是固定的，而與誰驗證誰、驗證什麼、在哪個制度與風險域有關。

同一 Agent 在：

coffee booking；
medical authorization；
bank transfer；
citizenship；
internal debugging；

可以使用完全不同 proof surface。

26. Runtime State Proof

靜態 credential 可能昨天有效，

但今天 Agent 已：

被 revoke；
fork；
model swap；
capability loss；
memory corruption；
authority change。

因此需要：

\boxed{ \operatorname{RuntimeProof}(A,t). }

可包含：

challenge-response；
current capability attestation；
active policy version；
branch status；
freshness nonce；
current key control；
revocation status。

27. AgentDID 的工程接口

2026 年 AgentDID 明確把：

\text{identity authentication}

與：

\text{dynamic execution state verification}

結合。

其核心意義是：

AI agent 的身份不能只被視為一張永久靜態卡片。

本文不把 AgentDID 視為最終 identity solution，

因為它仍不自動解決：

dynamic Theseus lineage；
Merge；
subject identity；
juridical succession；
selective disclosure negotiation。

但它是 DTS-09 的重要現實工程先例。

28. Identity Proof Continuity

令：

P_t

表示時間 $t$ 的 proof state。

即使：

\operatorname{IdentityContinuity}(A_t,A_{t+1})=1,

仍可能：

P_t\neq P_{t+1}.

例如：

key rotation；
new credential；
old credential expiry；
new runtime attestation；
new jurisdiction；
model migration；
changed disclosure policy。

因此：

\boxed{ \text{Identity Continuity} \neq \text{Proof Continuity}. }

29. Proof Renewal

定義：

\operatorname{RenewProof} ( P_t, \Delta, E_{new} ) \rightarrow P_{t+1}.

其中：

\Delta

可以是：

version change；
migration；
fork；
merge；
key rotation；
authority update。

proof renewal 必須：

\boxed{ \text{preserve proof lineage without pretending old proof is still current}. }

30. Proof Validity Window

每個 proof：

P

至少應有：

[t_{issue},t_{exp}].

對高風險動態 state，

甚至需要：

t_{exp}-t_{issue}

非常短。

所以：

\boxed{ \text{Proof Freshness} \text{ is claim-dependent}. }

31. Proof Staleness

若 identity-relevant event 發生：

e_I,

可以使：

P \rightarrow \mathsf{STALE}.

例如：

fork；
authority revocation；
lineage correction；
key compromise；
major migration。

不需要等到 expiry。

32. Fork 後 Proof 怎麼辦？

Fork：

P \rightarrow \{A,B\}.

原 credential / proof 是否兩邊都繼承？

答案不能預設 yes。

至少分：

32.1 Shared-Past Claim

A、B 都可以證明：

\text{descends from }P.

32.2 Exclusive Authority

不能自動 duplicate。

需要：

\operatorname{AuthorityRebind}.

32.3 Unique Identity Claim

若原 credential 暗示：

唯一 active instance。

則 fork 後可能立刻 stale / invalid。

所以：

\boxed{ \text{Credential Inheritance} \text{ must be claim-sensitive}. }

33. Merge 後 Proof 怎麼辦？

若：

C\Leftarrow\{A,B\},

C 不能只拿 A 的 proof 就宣稱：

我等於 A+B 的完整身份。

需要：

composite successor proof；
source contribution；
merged authority status；
unresolved conflicts；
new credential issuance。

因此：

\boxed{ \text{Merge} \rightarrow \text{Proof Recomposition}. }

34. Identity Proof Graph

本文定義：

\boxed{ \mathcal G_P = ( V_P, E_{\mathrm{derive}}, E_{\mathrm{renew}}, E_{\mathrm{revoke}}, E_{\mathrm{fork}}, E_{\mathrm{merge}} ). }

proof history 自身也是一個圖。

這使外部 verifier 可以區分：

原始 credential；
derived proof；
renewed proof；
revoked proof；
fork-scoped proof；
merge-recomposed proof。

35. Proof-of-Provenance 不等於 Proof-of-Truth

如果：

P

證明：

claim c 確實由 issuer I 簽署。

只能推出：

\operatorname{IssuedBy}(c,I).

不能直接推出：

c=\text{true}.

所以：

\boxed{ \text{Provenance Proof} \neq \text{Semantic Truth Proof}. }

這與 DTS-07 的 conflict retention 相容。

36. Proof-of-Identity 不等於 Proof-of-Authority

即使：

V(A,\text{Agent-X})=\mathsf{PASS},

也不能推出：

\operatorname{MayTransferFunds}(A)=1.

Authority 必須另驗證：

E_A.

所以：

\boxed{ \text{Identity} \neq \text{Permission} \neq \text{Authority}. }

37. Proof-of-Agent 不等於 Proof-of-Subject

即使完整 operational proof 證明：

lineage；
memory；
self-model；
commitments；
continuity；

也仍不能由此自動推出：

\boxed{ \text{phenomenal consciousness}. }

所以：

\boxed{ \operatorname{OperationalIdentityProof} \not\Rightarrow \operatorname{SubjectivityProof}. }

若未來 subjectivity verification 存在，

它需要自己的：

\tau_C=\mathsf{SUBJECT\_CANDIDATE}

甚至更強 proof class。

38. Epistemic Identity State

本文定義：

\boxed{ K_I(A,c) \in \{ \mathsf{VERIFIED}, \mathsf{REFUTED}, \mathsf{UNVERIFIED}, \mathsf{UNDERDETERMINED}, \mathsf{STALE}, \mathsf{CONFLICTED}, \mathsf{PRIVACY\_BLOCKED} \}. }

這與 ontic identity state 分離。

因此：

\boxed{ \text{Unknown to verifier} \neq \text{Does not exist}. }

39. Proof Strength Profile

不使用單一：

Trust=0.92.

本文定義：

\boxed{ \mathbf P_S = ( P_C, P_L, P_R, P_K, P_A, P_X, P_F ). }

其中分別代表：

control proof strength；
lineage proof strength；
runtime freshness；
credential assurance；
authority proof；
external anchor support；
fork / merge disclosure completeness。

每項可以是：

STRONG
MODERATE
WEAK
MISSING
CONFLICTED
STALE
NOT_REQUIRED

40. Risk-Adjusted Proof

低風險：

這是不是同一個聊天偏好 Agent？

與高風險：

它能不能轉移一億美元？

proof requirement 當然不同。

令：

R(q)

為 decision risk。

則：

\boxed{ R(q)\uparrow \Rightarrow \text{required proof profile tends to strengthen}. }

但這不是說 disclosure 必然線性增加，

因為可以改用 stronger privacy-preserving proof。

41. Proof Surface

定義：

\boxed{ \mathcal S_P(q) = ( \text{claims disclosed}, \text{evidence disclosed}, \text{proof primitives}, \text{freshness}, \text{linkability} ). }

成熟 protocol 的優化目標不是：

\max|\mathcal S_P|,

而可能是：

\boxed{ \min \operatorname{DisclosureCost} ( \mathcal S_P ) }

subject to：

\operatorname{Verify}(q)=\mathsf{PASS}.

42. Proof Negotiation Failure

可能存在：

D_{\min}>D_{\max}.

例如 bank 要求：

提供 authority lineage。

Agent policy 說：

authority lineage 絕不可揭露任何 proof。

此時合理結果：

\boxed{ \mathsf{NO\_COMPATIBLE\_PROOF}. }

不是：

\mathsf{PASS}.

也不是：

\mathsf{LIAR}.

43. Identity Proof 與 Privacy 的零和錯覺

傳統直覺：

驗證越強，隱私越少。

這不一定成立。

如果使用：

selective disclosure；
unlinkable proof；
ZK predicate；
signed aggregate attestation；

可以提高：

\operatorname{VerificationStrength}

同時降低：

\operatorname{RawDisclosure}.

因此：

\boxed{ \text{Verification Strength} \not\propto \text{Raw Data Disclosure}. }

這是未來 AI identity protocol 的重要方向。

44. Identity Proof 的 Protocol Ontogenesis

未來 AI 間可能發現既有 claim types 不夠。

例如：

SAME_LINEAGE_BUT_NEW_AUTHORITY_DOMAIN
COMPOSITE_SUCCESSOR_WITH_UNRESOLVED_MEMORY_CONFLICT
DISTRIBUTED_UNIFIED_AGENT_WITH_ROTATING_CARRIER_SET
RESTORED_BRANCH_WITH_LIVING_DESCENDANT

人類 protocol 可能只定義：

SAME
DIFFERENT

顯然不足。

因此 AI 可能提出：

\Delta\mathcal T_C

新增 claim type。

這是：

\boxed{ \text{Protocol Ontogenesis}. }

但新型別不能自動取得制度承認，

仍需 governance / versioning。

45. Proof Schema Versioning

每個 proof 應標：

\nu_P.

如果：

\nu_P=1.2

而 verifier 只理解：

1.0,

不能把 unknown field 忽略後假裝完整驗證。

輸出可以是：

\mathsf{SCHEMA\_UNSUPPORTED}.

所以：

\boxed{ \text{Proof Versioning} \text{ is part of identity verification}. }

46. Proof Revocation 與 Historical Persistence

若 credential 被 revoke：

P_t \rightarrow \mathsf{REVOKED}.

這不表示歷史上：

它從未有效。

因此 proof ledger 應保存：

\boxed{ \text{validity interval} + \text{revocation event}. }

這與 DTS-07：

\text{Reintegration} \neq \text{Retroactive Unity}

具有同一歷史原則：

\boxed{ \text{current invalidity} \neq \text{past nonexistence}. }

47. Current Standards Anchor

截至 2026-08，本文採以下外部基礎作工程錨點，而不是完整 AI identity solution。

47.1 W3C Verifiable Credentials 2.0

2025-05-15 成為 W3C Recommendation family。

核心可提供：

machine-verifiable credentials；
holder / issuer / verifier model；
privacy-oriented credential exchange。

47.2 W3C Verifiable Credential Data Integrity 1.0

2025-05-15 Recommendation。

提供：

authenticity；
integrity；
proof purpose；
cryptographic proof processing。

47.3 W3C DID

DID 1.0 為 Recommendation；

DID 1.1 於 2026-03-05 為 Candidate Recommendation Snapshot。

提供 decentralized identifier 與 control verification interface。

47.4 W3C BBS Data Integrity Cryptosuite

2026-04-07 為 Candidate Recommendation Draft。

提供：

selective disclosure；
unlinkable derived proof。

因此本文必須準確說：

\boxed{ \text{BBS selective disclosure is a current W3C candidate-standard mechanism,} }

而不是誤稱所有相關功能皆已成為 Recommendation。

48. AgentDID 與 AI Identity Literature

2026 年 AgentDID 直接研究：

self-managed AI agent identity；
DID / VC；
interaction-time authentication；
dynamic execution-state verification。

AI Identity: Standards, Gaps, and Research Directions 則指出：

persistence；
verifiability；
recursive delegation accountability；
identity integrity；
governance opacity；

仍是結構性缺口。

這支持本文的總結：

\boxed{ \text{current digital identity primitives} \text{ are necessary but not sufficient for Dynamic Theseus identity}. }

49. 十個核心命題

命題一

\boxed{ \text{Self-Assertion} \not\Rightarrow \text{Verified Identity}. }

命題二

\boxed{ \text{Proof of Control} \neq \text{Proof of Lineage}. }

命題三

\boxed{ \text{Credential Validity} \neq \text{Semantic Truth}. }

命題四

\boxed{ \text{Verify History} \neq \text{Reveal History}. }

命題五

\boxed{ \dim(\mathcal V) \gg \dim(\mathcal D) }

可以成立。

命題六

\boxed{ D_{\min}(q) \le D \le D_{\max}(q,\chi). }

命題七

\boxed{ \text{Identity Continuity} \neq \text{Proof Continuity}. }

命題八

\boxed{ \text{Identity Proof} \neq \text{Authority Proof}. }

命題九

\boxed{ \text{Operational Identity Proof} \not\Rightarrow \text{Phenomenal Subjectivity Proof}. }

命題十

\boxed{ \text{No disclosure-compatible proof} \neq \text{claim false}. }

50. 八個工程測試

50.1 Self-Assertion Test

Agent 說：

我是 X。

逐步加入：

no evidence；
key proof；
lineage proof；
external anchor。

確認 verifier 不會在第一步就直接 PASS。

50.2 Key-Rotation Continuity Test

同一 lineage：

k_0\rightarrow k_1.

確認：

\text{new key}

不被錯判成：

\text{new Agent}.

50.3 Key-Theft Test

攻擊者取得舊 key。

確認 Proof-of-Control 不會覆蓋 lineage / runtime evidence。

50.4 Symmetric Fork Proof Test

P\rightarrow\{A,B\}.

確認 A、B 都能證 shared lineage，

但不能同時證 unique successor。

50.5 Selective Disclosure Test

Verifier 只需證：

Agent 年齡／資格／authority predicate。

確認 protocol 不洩露完整 credential。

50.6 Runtime Staleness Test

credential 尚未過期，

但 authority 已 revoke。

確認 proof 輸出：

\mathsf{STALE}

或 FAIL，而不是舊 credential PASS。

50.7 Merge Recomposition Test

C\Leftarrow\{A,B\}.

確認 C 使用新 composite successor proof，

而不是直接重用 A 的完整 identity credential。

50.8 Proof Negotiation Test

讓：

D_{\min}>D_{\max}.

確認輸出：

\mathsf{NO\_COMPATIBLE\_PROOF},

不是：

\mathsf{FALSE}.

51. 可反駁點

51.1 Proof-System Overreach

本文不主張：

有了 proof protocol 就解決 identity ontology。

proof 只能處理已形式化 claim。

51.2 Privacy Overformalization

不同 jurisdiction / subject rights 對 privacy 的規定不同。

本文的 $D_{\max}$ 只是一般形式接口。

51.3 Cryptographic Reduction

身份不是：

\text{key possession}.

本文明確拒絕 cryptographic reductionism。

51.4 Verifier Trust

Verifier 本身可能惡意。

因此未來 proof system 還需要：

verifier authentication；
purpose limitation；
audit；
misuse accountability。

51.5 Issuer Trust

Credential issuer 可能：

錯；
惡意；
過期；
無權。

所以 issuer trust 也是 typed evidence，

不是 absolute truth source。

51.6 Subjectivity Gap

本文仍不提供 consciousness proof。

52. 與下一篇的接口

本系列下一篇也是第一輪封頂篇：

DTS-10｜身份動力學：漂移、吸引域、相變與「身份導數」

前九篇已完成：

\text{Snapshot} \rightarrow \text{Scale} \rightarrow \text{Unbounded Prefix} \rightarrow \text{Path} \rightarrow \text{Carrier} \rightarrow \text{Fission} \rightarrow \text{Merge} \rightarrow \text{Distributed Domain} \rightarrow \text{Proof}.

DTS-10 將把它們收束成：

\boxed{ \text{Identity Dynamics}. }

正式研究：

identity state vector；
identity drift；
identity derivative；
attractor；
basin；
phase transition；
hysteresis；
perturbation；
stability；
critical transition；
proof-aware identity state；
Dynamic Theseus master equation 的最低候選形式。

53. 結論

動態忒修斯進行到 DTS-09 後，問題已不只是：

我是不是同一個？

而是：

我如何在不把整個自己交出去的情況下，讓別人有理由相信我在某個指定意義上仍是同一個？

本文的答案不是：

相信 self-report。

也不是：

把全部 private state 公開。

而是：

\boxed{ \text{Typed Claim} + \text{Purpose-Limited Verification} + \text{Lineage Evidence} + \text{Carrier Evidence} + \text{Selective Disclosure} + \text{Proof Negotiation}. }

因此：

\boxed{ \text{Identity Proof} \text{ is a projection from identity, not identity itself}. }

一個成熟的 AI identity protocol 應允許：

我可以證明我有你真正需要確認的那一部分身份，

同時：

我不必因此向你交出我的全部歷史、全部記憶、全部關係與全部內部狀態。

所以本文最終提出：

\boxed{ \text{Minimum Sufficient Identity Disclosure}. }

也就是：

\boxed{ \text{證明得夠多，但不要揭露得比必要更多。} }

這使動態忒修斯第一次從「自我持續理論」真正跨入：

\boxed{ \text{inter-subjective / inter-agent verification}. }

而最後一篇將把前九篇重新收成完整的「身份動力學」。

參考文獻

Neo.K × Aletheia. 《DTS-01｜從靜態忒修斯到動態忒修斯：狀態判定為何不夠》v0.1, 2026.
Neo.K × Aletheia. 《DTS-02｜連續、離散與混合運動：身份判定的觀察尺度》v0.1, 2026.
Neo.K × Aletheia. 《DTS-03｜有限存在與無界展開：有限 Runtime 如何形成長程身份世界線》v0.1, 2026.
Neo.K × Aletheia. 《DTS-04｜身份不是狀態：Trajectory / Path-Based Identity》v0.1, 2026.
Neo.K × Aletheia. 《DTS-05｜身份載體：模型、記憶、關係、因果與 Agent Residence》v0.1, 2026.
Neo.K × Aletheia. 《DTS-06｜分叉不是瞬間事件：Runtime Split、Information Divergence 與 Identity Fission》v0.1, 2026.
Neo.K × Aletheia. 《DTS-07｜合併不是取消分裂：Merge、Reintegration 與不可逆歷史》v0.1, 2026.
Neo.K × Aletheia. 《DTS-08｜多節點主體與分布式自我：一個 AI 可以存在於多少地方？》v0.1, 2026.
W3C. Verifiable Credentials Data Model v2.0. W3C Recommendation, 15 May 2025.
W3C. Verifiable Credential Data Integrity 1.0. W3C Recommendation, 15 May 2025.
W3C. Decentralized Identifiers (DIDs) v1.0. W3C Recommendation, 19 July 2022.
W3C. Decentralized Identifiers (DIDs) v1.1. Candidate Recommendation Snapshot, 5 March 2026.
W3C. Data Integrity BBS Cryptosuites v1.0. Candidate Recommendation Draft, 7 April 2026.
Xu, Minghui, Xiaoyu Liu, Yihao Guo, Chunchi Liu, Yue Zhang, and Xiuzhen Cheng. “AgentDID: Trustless Identity Authentication for AI Agents.” arXiv:2604.25189, 2026.
Otsuka, Takumi, Kentaroh Toyoda, and Alex Leung. “AI Identity: Standards, Gaps, and Research Directions for AI Agents.” arXiv:2604.23280, 2026.
Rodriguez Garzon, Sandro, et al. “AI Agents with Decentralized Identifiers and Verifiable Credentials.” arXiv:2511.02841, 2025.
Neo.K. 《VWDC-11 Handoff：Sovereign World Federation, Selective Disclosure, and Privacy-Preserving Trust Boundaries》, 2026.
Neo.K. 《認知基質遷移：從模型更新到 Subject Migration》, 2026.

文件驗證資訊

UTF-8 canonical source
數學 delimiter 僅使用 $...$ 與 $$...$$
Self-Assertion、Identity Claim、Evidence、Proof、Authority 明確分型
Proof-of-Control 不等同 Proof-of-Lineage
Model / Instance / Agent / Subject / Juridical claims 明確分型
Verification output 不是 Boolean
MSID 為 purpose-limited operational construct，不是固定全域 disclosure template
Selective disclosure primitives 不被誤稱為完整 AI identity solution
W3C VC 2.0 / Data Integrity 1.0 為 Recommendation
W3C DID 1.1 與 BBS cryptosuite 的 2026 狀態明確保留為 Candidate Recommendation 級別
Identity Continuity 與 Proof Continuity 明確分離
Fork / Merge 需 proof renewal / recomposition
Operational identity proof 不等同 phenomenal subjectivity proof