No Act Without Proof Supplementary Engineering Artifacts for a Proof-Carrying Embodied Agent
Authors/Creators
Description
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.
Notes
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.
Files
D3_real_world_model_preregistration_v1.md
Files
(375.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3f445900cd1f3496724249f058ea1009
|
16.1 kB | Download |
|
md5:8689bc8279792429d8d6ba3f72296df4
|
10.6 kB | Download |
|
md5:e3e6c8841649b32ed9c82fd7cee44135
|
11.5 kB | Preview Download |
|
md5:708feb37b1648a764c80dfb55be98200
|
10.3 kB | Download |
|
md5:bfda46dd870473b3f559d34669c057c2
|
211.1 kB | Preview Download |
|
md5:48881832a2c5ddf5a8aa077fe9a7054f
|
1.2 kB | Preview Download |
|
md5:17cfebd8a902c97d97b1230dc84c143c
|
9.6 kB | Download |
|
md5:ce82e7d99375767aec45170046d82253
|
37.7 kB | Preview Download |
|
md5:bcb79764a5e75e2684df26bace723fac
|
9.4 kB | Preview Download |
|
md5:7d679eac25f8e8ba3a2c3a913b3310ae
|
5.8 kB | Preview Download |
|
md5:bbbeff80cc13781e2eaada9ab6e8dc57
|
16.8 kB | Download |
|
md5:a95e32a0d9cd0fec01d119878f0c9d27
|
3.8 kB | Preview Download |
|
md5:4e0cf1b084f9da3fc6efaef3bc0384f5
|
1.5 kB | Preview Download |
|
md5:d78c27f8b206d0def2072a42be9580df
|
15.8 kB | Download |
|
md5:93761969e90d5ecd9d80b49148bf100f
|
6.1 kB | Preview Download |
|
md5:3dde54dff5283db5e9ec1435633852f8
|
4.0 kB | Preview Download |
|
md5:1a0670919a497cc550b41230210a37a1
|
3.0 kB | Preview Download |
|
md5:67687fee677b988b2e8c8837ea238db7
|
1.6 kB | Preview Download |