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.

The main PDF states the F2 / P-AE contribution, matrix placement, proof-gate method, runtime summary, and release boundary. The uploaded zip contains runnable CPU reference modules, runtime result notes, a claim ledger fingerprint, a D3 pre-registration, checksums, and upload-oriented boundary documentation. It is a public reproducibility shell only. It does not include real-robot actuation, simulator internals sufficient to reproduce capability, model weights or adapters, private prompts, full raw traces, credentials, account state, production orchestration, or deployment infrastructure. It does not claim embodied understanding, validated sim-to-real transfer, deployable competence, or faster real-world adaptation; D3 adaptation speed-up remains NOT_DEMONSTRATED. 边界 Use the included README, MANIFEST, UPLOAD_CHECKLIST, claim ledger, and SHA256SUMS. Do not upload private prompts, full raw traces, weights/adapters, credentials, account/broker state, engine internals, mutation scripts, or any real-world actuation surface.