# Runtime Substrate Proof Packet

This packet provides a bounded proof set for the ClawCapsule runtime substrate using replay against the existing daemon HTTP surface only.

Scope:

- use `POST /v1/event`, `POST /v1/compile`, `POST /v1/checkpoint`, and `POST /v1/restore`
- use the internal `tools/capsule_replay/replay.py` harness
- keep all work internal, bounded, and reviewable
- avoid model-in-loop claims, adapter claims, and packaging changes

Packet contents:

- `PROOF_PLAN.md`: proof classes, case design, and review method
- `SUMMARY.md`: concise commercial and technical summary
- `cases/`: replay traces and per-case expectations
- `results/`: executed manifests and short interpretation notes

Evidence boundary:

- This packet demonstrates runtime substrate behavior through replayable HTTP interactions
- This packet does not demonstrate model quality, agent quality, prompt quality, or broad endurance ceilings
- This packet does not introduce a new integration seam

Execution posture:

- cases are intended to run against an isolated local `runtime-daemon`
- executed manifests should prefer one fresh storage root per case
- each case uses a dedicated task id
- clutter cases intentionally add realistic but lower-priority valid events so only a small relevant subset should survive bounded compile