civic-proof: a research site.
English ← mashbean.net

主論證地圖

civic-proof：論證地圖

從國家發行憑證到公民證明自己——以數位身分重建民主信任

中心論題

民主社會所需要的「公民證明」不預設事前的完整身分識別； 可問責性是結果性條件，不是前提性條件。 將身分系統從「發證者中心」轉向「持有者中心＋多層信任」是必要的—— 但若缺乏對應的規範下界、平台層反壟斷限制、以及救濟機制， 這個轉換會把民主成本轉嫁到最脆弱的使用者身上。 

CivicProof ≜ ⟨ 𝒩, ℱ, ℬ ⟩
A ⇐ P[U]   where   U valid ⇔ V₁ ∧ V₂ ∧ V₃ ∧ V₄ ∧ V₅ ∧ V₆
∀ article_i ∈ {01..19} : ∃ component ∈ {𝒩, ℱ, ℬ} : refines(article_i, component)
28 篇文章 28 已發佈 28 有論證地圖 0 待補

M · 框架性文章

起點、收束、橋接

五篇位於 19 篇主體文章之外、用以框架整個系列的文章： 四月的起點簡報、台灣深度案例、系列收束、0' 學術重述、Danielle Allen 橋接文。

  1. #M0 框架

    從國家發行憑證到公民證明自己——數位身分如何轉化數位公民建設

    Origin · Allen Lab Fellow Meeting presentation (17 Apr 2026)

  2. #M1 框架

    我那小小多山、卻可能滿目瘡痍的家鄉：台灣作為 PRF 民主前線壓力測試案例（civic-proof 系列第 24 篇）

    Single-case deep-dive applying the framework end-to-end

  3. #M2 框架

    civic-proof 系列收束：PRF 規範下界、五條原創貢獻與系列承擔的誠實邊界（civic-proof 系列第 25 篇 = 系列收束篇）

    Series closure: 19-article integration

  4. #M3 框架

    從國家發行憑證到公民證明自己：以公共領域下界重述數位身分如何轉化數位公民建設（公民證明系列第 0' 版）

    Academic-register restatement of the 0417 origin, with PRF formal skeleton

  5. #M4 框架

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

    AllenBridge: translation layer between PRF and Digital Civic Infrastructure

P₁ 概念基礎

基礎篇——公民證明作為概念工程

公民證明 ≜ ⟨𝒩, ℱ, ℬ⟩。介於存在式身分與憑證式身分之間的第三類，由規範差異矩陣 𝒩、形式範圍 ℱ、哲學基礎 ℬ 三者合取定義。既有系統（如 KYC、SBT）無法同時滿足三項分量；以既有類別重新分類在事實上不成立。

  1. #01 A1 Ch 3.4

    可問責不以實名為前提：從密碼學到政治哲學的雙向論證

    A ⇐ P[U]   where   U valid ⇔ V₁ ∧ V₂ ∧ V₃ ∧ V₄ ∧ V₅ ∧ V₆
  2. #02 A3 Ch 2.2

    Civic Proof 是什麼，又不是什麼：與既有數位身分概念的區辨

    CivicProof  ≜  ⟨ 𝒩, ℱ, ℬ ⟩
  3. #19 A2 Ch 2.5

    公共領域的政治哲學基礎：civic-proof 系列規範下界的 Arendt / Habermas / Pettit / Mouffe 四家合取

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

P₂ 比較實證

比較實證——五國叢集的覆蓋缺口

在五個國家叢集（英澳／歐盟-瑞士／美國州級／北歐 BankID／全球南方）與護照根基領域中，既有系統在規範矩陣 𝒩 的至少一個維度上失效。實證紀錄不支持重新分類。

  1. #06 C3 Ch 6.6

    數位皮夾把民主成本下放給誰：Civic Burden 的分配正義分析

    CB-Justice  ⇔  D₁*  ∧  D₂*
  2. #07 D2 Ch 5.4

    為什麼用護照證明「不是國家公民」這件事，會在威權國家失效

    SRP:  ∀R ∈ ℛ_sov  [ I_R ∈ Adv(T_R) ]  ⇒  ¬(R ⊨ T_R)
  3. #09 D1 Ch 4.4

    北歐商業身分基礎設施的代價：當登入民主政府需要商業銀行的同意

    NCT (Nordic CII Tyranny):
  4. #10 B2 Ch 4.6

    我們試著用資料看身分制度與民主衰退的關係：跨國定量初探

    IAI ≜ ⟨AS, PS⟩  where  AS, PS ∈ {1, 2, 3, 4, 5}

P₃ 規範壓力測試

規範壓力測試——三條測試線

面對三條規範測試線——年齡驗證（結構性滑坡）、假名與唯一性（結社自由與抗 Sybil）、AI 委任（公民行動的制度極限）——三分量形式 ⟨𝒩, ℱ, ℬ⟩ 必須滿足合取必要條件，並保持在機率降階邊界之內。

  1. #03 B1 Ch 8.3

    為什麼有了 Tor 與 Signal，數位結社仍然失敗：身分隱私假說的實證檢驗

    H1' ⇔ ¬F ⇔ W₁ ∧ W₂ ∧ W₃
  2. #04 C1 Ch 8.2

    為什麼民主社會早就接受過假名式參與：從吹哨者保護到 sealed indictment 的法理重建

    T = T_Trigger ∧ T_Authority ∧ T_Remedy
  3. #05 C2 Ch 8.1

    一人一帳號的代價：從 Worldcoin 到 zkPassport 的唯一性證明矩陣

    IT' ≡  ¬∃ S [ U(S) = max  ∧  D(S) = min  ∧  I(S) = max ]
  4. #13 E3 Ch 7

    身分基礎設施為什麼一定會擴張——以及如何預防

    Strong_Tendency_Theorem (STT):
  5. #16 F1 Ch 9

    AI 代理在公民行動的制度極限：委任五件結構與公民證明三件式的合取必要條件

    Delegate(action) ≜ ⟨AT, RT, AA, BS, TC⟩       (Tomasev five elements as 2+3 structure)
  6. #17 F2 Ch 9.3

    Civic Receipts 與證據鏈：條件可委任區的可審計工程原語

    Receipt(r) ≜ ⟨cryptosuite_id, holder_did, agent_did?, deliberation_hash, retention_floor,
  7. #R1 — Ch 9.1

    誰來治理 AI 代理人的身分？

    Governance(agentic_id) ⊨ ⟨P_acc, P_legit, P_dist⟩
  8. #R2 — Ch 7.1–7.2

    以兒童安全為名的年齡驗證法規，將如何改寫數位身分與數位人權的版圖

    AV_regime(j) ∈ {protection_tool, surveillance_infra}

P₄ 制度與基礎設施設計

制度與基礎設施設計——三層基礎設施

從發證壟斷到呈現壟斷（皮夾／作業系統／瀏覽器作為守門者）→ 信任根與公共區塊鏈（DNS 與身分根的對偶 + 不回撥的工程經濟學）→ 採購政治經濟學（跨法域救濟缺口）。基礎設施層的設計決定形式範圍 ℱ 是否可被操作化。

  1. #08 D3 Ch 11.4

    為什麼 DNS 走出了非國家治理之路，數位身分卻走不出來：信任根的歷史社會學

    HM:  ∀ Pᵢ ∈ P_DNS,  Pᵢ ∉ P_ID
  2. #11 E1 Ch 10

    為什麼皮夾應該被當成電信業：Apple Wallet 不是中性產品

    Essential_Facility_Wallet:
  3. #12 E2 Ch 11.3

    為什麼憑證的撤銷一定要回家報到：no-phone-home 的工程經濟學

    Issuer_Disincentive_Theorem (IDT):
  4. #14 E4 Ch 12.3

    當你的數位皮夾在另一個國家被拒絕：跨法域救濟的法律空白

    R(c) ⇐ J(c) ∧ E(c) ∧ M(c)   where   J(c) ⇔ G₁ ∧ G₂ ∧ G₃ ∧ G₄
  5. #18 F3 Ch 10.3

    選擇性揭露的 UX 認知極限：可審計工程原語的人因瓶頸

    V_receipt'(r) ⇔ V_receipt(r) ∧ V_ux(r)                                    (extend F2)
  6. #R3 — Ch 12.1

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

    Market(IT_procurement) ∈ {concentrated, open}
  7. #R4 — Ch 11.2

    公共鏈被身分基建請出去了嗎？一條 SSI 的去鏈化路徑

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

P₅ 結論與政策議程

結論與政策——聯邦式信任清單聯盟

結論：可問責性不需要以實名為前提（A ⇐ P[U]）。政策議程：隱私優先底線＋聯邦式信任清單聯盟＋採購沙盒＋供應商多元化＋公民證明納入性權利（無皮夾的替代路徑）＋印太示範計畫。

  1. #15 E5 Ch 14.4

    不會用皮夾的人怎麼辦：公民證明取得權作為基本權利

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

概念連結

跨文章概念連結

公民證明可被理解為 ⟨𝒩, ℱ, ℬ⟩ 在不同子問題上的展開；23 篇文章共享同一形式骨幹。下表以形式邏輯標出文章之間的同構、遞迴、對偶、組合關係。