civic-proof: a research site.
中文 ← mashbean.net

Master Argument Map

civic-proof: Argument Map

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

Central Thesis

The "civic proof" required by democratic societies does not presuppose prior comprehensive identification; accountability is a consequential condition, not an antecedent condition. Shifting identity systems from "issuer-centred" to "holder-centred with multi-layer trust" is necessary — yet without a corresponding normative floor, platform-level antitrust constraints, and redress mechanisms, this transition offloads democratic costs onto the most vulnerable users. 

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

P₁ Conceptual Foundations

Foundations — Civic Proof as Concept Engineering

Civic proof ≜ ⟨𝒩, ℱ, ℬ⟩. A third category between existential ID and credential ID, defined conjunctively by the normative difference matrix 𝒩, the formal scope ℱ, and the philosophical basis ℬ. Existing systems such as KYC and SBT fail to satisfy all three components jointly; reclassification under existing categories is therefore factually untenable.

  1. #01 A1 Ch 3.4

    Accountability without Real-Name Identification

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

    Civic Proof: Concept and Conceptual Positioning

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

    The Political-Philosophical Foundations of the Public Realm

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

P₂ Comparative Empirics

Comparative Empirics — Coverage Gaps across Five Country Clusters

Across five country clusters (UK/Australia / EU-Switzerland / US state-level / Nordic BankID / Global South) and the passport-rooted domain, existing systems fail on at least one dimension of the normative matrix 𝒩. The empirical record does not support reclassification.

  1. #06 C3 Ch 6.6

    Redistributing the Civic Burden

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

    The Passport-Rooted Paradox

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

    The Nordic BankID Model: Commercial Monopoly and Democratic Resilience

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

    Cross-National Quantitative Study: Identity Systems × Freedom of Association

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

P₃ Normative Stress Tests

Normative Stress Tests — Three Test Lines

Against three normative test lines — age verification (structural slippage), pseudonymity and uniqueness (freedom of association and Sybil resistance), and AI delegation (institutional limits of civic action) — the three-component form ⟨𝒩, ℱ, ℬ⟩ must satisfy conjunctive necessary conditions and remain within probabilistic degradation boundaries.

  1. #03 B1 Ch 8.3

    Freedom of Association × Digital Identity: An Empirical Test of the Three-Wall Hypothesis

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

    The Legal Foundations of Pseudonymous Public Participation

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

    The Cost-Benefit Matrix of Uniqueness Proof

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

    Age Verification and the Prevention of Structural Slippage

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

    The Institutional Limits of AI Agents in Civic Action

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

    Civic Receipts and the Chain of Provenance

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

    Who Governs the Identity of AI Agents? (Agentic ID Governance)

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

    Age Verification Regulation and the Digital Rights Landscape

    AV_regime(j) ∈ {protection_tool, surveillance_infra}

P₄ Institutional & Infrastructural Design

Institutional & Infrastructural Design — Three Infrastructure Layers

From issuance monopoly to presentation monopoly (wallet/OS/browser as gatekeeper) → trust roots and public blockchains (DNS vs identity root + no-phone-home economics) → procurement political economy (cross-jurisdictional redress gap). Infrastructure-layer design determines whether the formal scope ℱ can be operationalised.

  1. #08 D3 Ch 11.4

    DNS Trust Roots vs Identity Trust Roots

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

    Wallet as Essential Facility: Applying Antitrust Doctrine

    Essential_Facility_Wallet:
  3. #12 E2 Ch 11.3

    The Engineering Economics of No-Phone-Home

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

    The Cross-Jurisdictional Redress Gap

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

    The Cognitive Limits of Selective Disclosure UX

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

    Public IT Procurement: Monopoly or Innovation?

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

    DID/VC on Public Blockchain: Decentralisation Pathways for Self-Sovereign Identity

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

P₅ Conclusion & Policy Agenda

Conclusion & Policy — Federated Trust-List Alliance

Conclusion: accountability without real-name identification (A ⇐ P[U]). Policy agenda: privacy-first baseline + Federated Trust-List Alliance + procurement sandbox + supplier diversity + civic proof inclusion rights (wallet-free alternative pathways) + Indo-Pacific demonstration grants.

  1. #15 E5 Ch 14.4

    Civic Proof Inclusion Rights: Alternative Pathways without a Wallet

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

Concept Connections

Cross-Article Concept Connections

Civic proof may be understood as the expansion of ⟨𝒩, ℱ, ℬ⟩ across distinct sub-problems; the 23 articles share a common formal backbone. The table below marks the isomorphic, recursive, dual, and compositional relationships between articles in formal logic.