This upload contains supplementary engineering artifacts for No Act Without Proof, a proof-carrying embodied agent framework. The package specifies and tests an auditable refusal layer for embodied action authority: candidate generation may propose actions, but authority is granted only through a single pre-committed proof class, with do(obs) replay separating observation perturbation from action effects and randomized do(a) checks separating causal intervention from confounded observation. Public navigation and challenge routes:Main site: https://mianzhang.org/Public paper index: https://mianzhang.org/papers/Concept index: https://mianzhang.org/concepts/GitHub source and public issue routes: https://github.com/mmjbds/mianzhang.org and https://github.com/mmjbds/mianzhang.org/issues/new/chooseHugging Face technical mirror: https://mmjbds-mianzhang-org.static.hf.space/HF Space repository: https://huggingface.co/spaces/MMJBDS/mianzhang-org Use this Zenodo DOI landing page as citation authority. The linked public routes provide navigation, issue routing, evidence boundaries, and challenge reports.