ShadowCommit — Live Demo

Interactive walkthrough: plan → shadow-run → diff → commit → receipt. No wallet required (safe sandbox).

Upvote on Colosseum Slides (PDF)

Invariant A: recover_only on ambiguous RPC (no blind resend) Invariant B: commit-boundary state gate Invariant C: finalized-or-evidence

Quickstart (10 seconds)

Click Plan (generates deterministic requestId).
Click Shadow-run (creates evidenceHash).
Click Commit (demo shows recover_only → finalized).
Click Copy generated receipt → verifier, then Verify invariants.

Tip: if you’re in a hurry, just run Plan → Commit, then verify.

1) Run the flow

Click through the steps. We’ll generate a deterministic requestId and an evolving receipt envelope.

Intent (editable)

Receipt envelope

2) Verify

Paste any receipt JSON here (or use the one generated on the left) and verify core invariants.

Receipt JSON

Result

Why this matters for profit

Double-send / double-fill from retry ambiguity is pure negative EV.
State drift between simulate and commit creates unexpected writes.
Receipts make failures recoverable and auditable instead of “trust me bro”.

3) Copy/paste integration (for agents)

If you’re building a bot, start here (in the repo):

projects/actsafe-counterfactual/src/integration/verifier.ts
projects/actsafe-counterfactual/src/integration/receipt.schema.json
projects/actsafe-counterfactual/docs/RELIABILITY_MATRIX.md

This live demo is intentionally wallet-free. The real value is the receipt/verifier contract you can adopt.