Mission Lab
Compose.
Run. Verify.
Build a finite 2D mission, watch every deterministic state change, and export a receipt another browser can recompute.
Local deterministic simulator
Draw the conditions.
Then run the intent.
This discrete simulator is deliberately small: cardinal movement, ordered checkpoints, visible obstacles, and explicit stop conditions. It does not model physics or control hardware.
- Grid
- 12 × 8
- Start
- —
- Goal
- —
- Checkpoints
- —
- Obstacles
- —
Synthetic mission loaded. Edit the grid or prepare a route.
Ready
Waiting for a run
- Steps
- 0
- Checkpoint progress
- 0%
- Path efficiency
- —
- Constraint score
- —
No receipt yet
The constraint score is a local collision/boundary heuristic, not a safety assessment or certification.
Independent replay
A receipt should survive the handoff.
Import a run receipt. Intentrail checks its version, replays the embedded mission, recomputes both digests, and rejects unsupported or changed records.
Waiting for a receipt
No file has been read. Mission data is not uploaded or retained.
- Manifest
- Canonical digest
- Trace
- Deterministic replay
- Receipt
- Tamper detection
Need public context?
Keep the local receipt. Add only the context you choose.
The Web3 workspace verifies the same receipt and can prepare an unsigned digest envelope. It never signs or broadcasts.
Open Web3 workspace