Concept Entry

Proof-Carrying Action

Proof-Carrying Action means that an action claim must carry public proof fields, authority scope, refusal records, evidence boundaries, and counterexample routes before it can be trusted.

PCA evidence-gated action proof-action gate

Papers Evidence Counterexamples

One-Sentence Definition

Definition.

Proof-Carrying Action means that an action claim must carry public proof fields, authority scope, refusal records, evidence boundaries, and counterexample routes before it can be trusted.

Evidence Scope

What evidence this term covers.

Public evidence covers the mini gate, proof-action artifacts, refusal records, and public challenge paths for action claims.

DOI / GitHub / HF Links

Stable public anchors.

Each concept entry has a DOI or Zenodo anchor, a GitHub route, a Hugging Face route, a main-site route, and a counterexample route.

KindAnchorURL

DOI / ZenodoNo Act Without Proof recordhttps://zenodo.org/records/20508591

GitHubProof-Carrying Action GitHubhttps://github.com/mmjbds/proof-carrying-action

Hugging FaceTechnical mirror or datasethttps://mmjbds-mianzhang-org.static.hf.space/demos/proof-action-mini/index.html

Main siteCanonical public concept pagehttps://mianzhang.org/concepts/proof-carrying-action.html

Counterexample routePublic challenge entryhttps://mianzhang.org/counterexamples/index.html

Boundary Statement

What this entry does not prove.

This entry does not claim production safety, private logs, customer deployment, real trading execution, or unbounded autonomous authority.