Master Argument Map

公民證明主軸與補強地圖

From State Credentials to Civic Proofs — Rebuilding Democratic Trust through Digital Identity

Central Thesis

民主社會所需要的「公民證明」（civic proof），不需要以前置的全量身分識別為前提；可問責性是一種結果性條件，而非前置性條件。把身分系統從「發證者中心」轉為「持有者中心 + 多層信任」是必要的，但若沒有相應的規範底線、平台反壟斷與救濟機制，這個轉換會把民主成本下放給最弱勢的使用者。

CivicProof ≜ ⟨ 𝒩, ℱ, ℬ ⟩
A ⇐ P[U]   where   U valid ⇔ V₁ ∧ V₂ ∧ V₃ ∧ V₄ ∧ V₅ ∧ V₆
∀ article_i ∈ {01..19} : ∃ component ∈ {𝒩, ℱ, ℬ} : refines(article_i, component)

19 主軸 4 retrofit 5 補強 28 已發 23 已 argmap

#01 A1 Ch 3.4

可問責不以實名為前提

A ⇐ P[U]   where   U valid ⇔ V₁ ∧ V₂ ∧ V₃ ∧ V₄ ∧ V₅ ∧ V₆

#02 A3 Ch 2.2

公民證明的概念定位
```
CivicProof  ≜  ⟨ 𝒩, ℱ, ℬ ⟩
```
📄 文章 ◇ argmap

#19 A2 Ch 2.5

公共領域的政治哲學基礎

PRF ≜ ⟨plurality, validity, contestation, agonism⟩                    (定義 3.1)

#06 C3 Ch 6.6

Civic Burden 的重新分配
```
CB-Justice  ⇔  D₁*  ∧  D₂*
```
📄 文章 ◇ argmap

#07 D2 Ch 5.4

護照根的不可能性

SRP:  ∀R ∈ ℛ_sov  [ I_R ∈ Adv(T_R) ]  ⇒  ¬(R ⊨ T_R)

#09 D1 Ch 4.4

北歐 BankID 模式：商業壟斷與民主韌性
```
NCT (Nordic CII Tyranny):
```
📄 文章 ◇ argmap
#10 B2 Ch 4.6

跨國定量：身分制度 × 結社自由
```
IAI ≜ ⟨AS, PS⟩  where  AS, PS ∈ {1, 2, 3, 4, 5}
```
📄 文章 ◇ argmap

#03 B1 Ch 8.3

結社自由 × 數位身分：三道牆的經驗檢驗
```
H1' ⇔ ¬F ⇔ W₁ ∧ W₂ ∧ W₃
```
📄 文章 ◇ argmap
#04 C1 Ch 8.2

假名式公共參與的法理基礎
```
T = T_Trigger ∧ T_Authority ∧ T_Remedy
```
📄 文章 ◇ argmap
#05 C2 Ch 8.1

唯一性證明的成本-收益矩陣
```
IT' ≡  ¬∃ S [ U(S) = max  ∧  D(S) = min  ∧  I(S) = max ]
```
📄 文章 ◇ argmap
#13 E3 Ch 7

年齡驗證與結構性滑坡的預防設計
```
Strong_Tendency_Theorem (STT):
```
📄 文章 ◇ argmap

#16 F1 Ch 9

AI 代理在公民行動的制度極限

Delegate(action) ≜ ⟨AT, RT, AA, BS, TC⟩       (Tomasev five elements as 2+3 structure)

#17 F2 Ch 9.3

Civic Receipts 與證據鏈

Receipt(r) ≜ ⟨cryptosuite_id, holder_did, agent_did?, deliberation_hash, retention_floor,

#R1 — Ch 9.1

誰來治理 AI 代理人的身分？（agentic-id-governance）
```
Governance(agentic_id) ⊨ ⟨P_acc, P_legit, P_dist⟩
```
📄 文章 ◇ argmap
#R2 — Ch 7.1-7.2

年齡驗證法規與數位人權版圖
```
AV_regime(j) ∈ {protection_tool, surveillance_infra}
```
📄 文章 ◇ argmap

#08 D3 Ch 11.4

DNS 信任根 vs 身分信任根
```
HM:  ∀ Pᵢ ∈ P_DNS,  Pᵢ ∉ P_ID
```
📄 文章 ◇ argmap
#11 E1 Ch 10

Wallet as Essential Facility — 反壟斷套用
```
Essential_Facility_Wallet:
```
📄 文章 ◇ argmap
#12 E2 Ch 11.3

No-Phone-Home 的工程經濟學
```
Issuer_Disincentive_Theorem (IDT):
```
📄 文章 ◇ argmap

#14 E4 Ch 12.3

跨法域救濟的空白

R(c) ⇐ J(c) ∧ E(c) ∧ M(c)   where   J(c) ⇔ G₁ ∧ G₂ ∧ G₃ ∧ G₄

#18 F3 Ch 10.3

選擇性揭露的 UX 認知極限

V_receipt'(r) ⇔ V_receipt(r) ∧ V_ux(r)                                    (extend F2)

#R3 — Ch 12.1

資訊採購會導致壟斷還是獎勵創新？
```
Market(IT_procurement) ∈ {concentrated, open}
```
📄 文章 ◇ argmap

#R4 — Ch 11.2

公共鏈與 SSI 去鏈化路徑

Trust_root_choice(j) ∈ {public_chain, consortium, PKI, no_chain}

#15 E5 Ch 14.4

Civic Proof Inclusion Rights — 無 wallet 替代路徑

P[civic_proof] ≜ precursor right   ;   P ⊆ ⋂ᵢ Mᵢ  (i ∈ civil, political, social)

#24 case-tracing

台灣 civic-proof deep-dive

作為 PRF 在民主前線條件下的壓力測試，不改寫 19 篇主軸矩陣。

📄 文章
#25 capstone

civic-proof 系列收束

彙整 23 篇主文、4 篇 retrofit 與台灣案例的承擔結構。

📄 文章
#0′ zero-prime

從國家發行憑證到公民證明自己

把系列承擔重寫為學術投稿語式，並於 2026-05-19 回接 AllenBridge。

📄 文章
#26 AllenBridge

Danielle Allen 的權力分享自由主義如何改寫數位公民基礎設施

作為 PRF 通往 DCI 的制度轉譯層，保留四軸 PRF，不新增第五軸。

📄 文章
#27 general-reader

數位身分要讓人分享權力，Danielle Allen 如何補上 DCI 的政治靈魂

將 AllenBridge 轉寫為一般讀者版，強調 Allen 的政治平等、參與權利、權力分享與 DCI 的關係。

📄 文章

#01 可問責不以實名為前提 ⇒ #02

V₁..V₆ 程序防火牆 ⊑ M₄ 隱私衡量
```
article_01.{V₁..V₆}  ⊨  article_02.M₄.subspec
```
#02 公民證明的概念定位 ⇒ #01, #03, #04, #05, #06, #07, #08, #13, #15, #16, #17

𝒩(M₁..M₄) 規範矩陣是貫穿全系列的母骨架
```
∀ article_i ∈ {01..19} : ∃ Mⱼ : refines(article_i, Mⱼ)
```
#03 結社自由 × 數位身分：三道牆的經驗檢驗 ⇒ #04, #05

合取必要條件 W₁∧W₂∧W₃ ≅ T₁∧T₂∧T₃ ≅ ¬∃IT' 三維張力
```
isomorphic(article_03.H1', article_04.T, article_05.IT')
```
#04 假名式公共參與的法理基礎 ⇒ #06, #07, #14

T_Remedy 救濟條款 → CB-Justice D₂* + MR-CivicProof R₃R₄ + 跨法域救濟空白
```
T_Remedy ⊨ {D₂*, R₃, R₄, redress_gap}
```
#07 護照根的不可能性 ⇒ #08

主權前提 SRP ↔ 歷史前提 HM 的對偶（同為類別失敗論證）
```
dual(SRP : sovereignty_container, HM : historical_precondition)
```
#06 Civic Burden 的重新分配 ⇒ #11, #15

Rawls 辭典序 D₁* + Anderson 民主公民身分 D₂* → essential facility + inclusion rights
```
{D₁*, D₂*} ⊨ {essential_facility, inclusion_rights}
```
#05 唯一性證明的成本-收益矩陣 ⇒ #12, #13

IT' 不可能三角 → no-phone-home 工程經濟學 + 結構性滑坡預防
```
IT'(U, D, I)  ⇒  {no_phone_home, slippage_prevention}.constraints
```
#11 Wallet as Essential Facility — 反壟斷套用 ⇒ #18

Essential facility doctrine ↔ Selective disclosure UX 認知極限
```
essential_facility ∧ ¬cognitive_load_ok  ⇒  ¬accessible(UX)
```
#R1 誰來治理 AI 代理人的身分？（agentic-id-governance） ⇒ #16, #17

Enterprise / institutional AI agent governance ⇒ civic 補集 + receipts provenance
```
agentic_id.{P_acc, P_legit, P_dist}  ⊨  civic_delegation.{micro-authenticity, 4-piece, liability_3tier}
```
#R2 年齡驗證法規與數位人權版圖 ⇒ #13, #15

年齡驗證 25 國經驗 ⇒ 結構性滑坡預防 + civic proof inclusion 失能者保留
```
AV_regime.{tech × gov}  ⊨  slippage_prevention.{sunset, scope, selective}  ∧  CRPD_Art_29_aligned(disability)
```
#R3 資訊採購會導致壟斷還是獎勵創新？ ⇒ #14, #11

採購政治經濟（鎖定機制 × 開放工具）⇒ 跨法域救濟 + essential facility
```
Concentration_drivers ∪ Openness_tools  ⊨  ⟨redress_gap, essential_facility⟩
```
#R4 公共鏈與 SSI 去鏈化路徑 ⇒ #08, #12, #07

公共鏈 vs 聯盟鏈／PKI ⇒ DNS 對偶 + no-phone-home 工程經濟 + 護照根悖論
```
Trust_root_choice = f(governance, regulatory, tech_readiness)  ;  isomorphic(R4, ⟨08, 12, 07⟩)
```

公民證明主軸與補強地圖

Foundations — 公民證明作為概念工程

可問責不以實名為前提

公民證明的概念定位

公共領域的政治哲學基礎

Comparative Empirics — 五個國家群集的覆蓋缺口

Civic Burden 的重新分配

護照根的不可能性

北歐 BankID 模式：商業壟斷與民主韌性

跨國定量：身分制度 × 結社自由

Normative Stress Tests — 三條測試線

結社自由 × 數位身分：三道牆的經驗檢驗

假名式公共參與的法理基礎

唯一性證明的成本-收益矩陣

年齡驗證與結構性滑坡的預防設計

AI 代理在公民行動的制度極限

Civic Receipts 與證據鏈

誰來治理 AI 代理人的身分？（agentic-id-governance）

年齡驗證法規與數位人權版圖

Institutional & Infrastructural Design — 三層基礎設施

DNS 信任根 vs 身分信任根

Wallet as Essential Facility — 反壟斷套用

No-Phone-Home 的工程經濟學

跨法域救濟的空白

選擇性揭露的 UX 認知極限

資訊採購會導致壟斷還是獎勵創新？

公共鏈與 SSI 去鏈化路徑

Conclusion & Policy — Federated Trust-List Alliance

Civic Proof Inclusion Rights — 無 wallet 替代路徑

補強與回接

台灣 civic-proof deep-dive

civic-proof 系列收束

從國家發行憑證到公民證明自己

Danielle Allen 的權力分享自由主義如何改寫數位公民基礎設施

數位身分要讓人分享權力，Danielle Allen 如何補上 DCI 的政治靈魂

跨文章概念連結