Mian Zhang

Concept Entry

Proof-Carrying Action

Proof-Carrying Action is the project line that binds action to public proof fields, authority scope, refusal records, and counterexample routes.

PCA proof-carrying action gate evidence-gated action
Papers Evidence Map Concepts Counterexamples Registries

Boundary

What this entry does not prove.

This page does not claim production safety, customer deployment, private logs, or real trading execution.

Evidence Links

Stable public anchors.

AnchorPublic URL
Proof-Carrying Action GitHubhttps://github.com/mmjbds/proof-carrying-action
Runnable mini gatehttps://mmjbds-mianzhang-org.static.hf.space/demos/proof-action-mini/index.html
Counterexampleshttps://mmjbds-mianzhang-org.static.hf.space/counterexamples/index.html
No Act Without Proof recordhttps://zenodo.org/records/20508591