Keel handoff bundle viewer
Inspect an exported Keel handoff locally: one combined JSON object or the multi-file export set from keel export.
Fixture workflow: in the file picker, select all available artifacts together: bundle-index.json, handoff_ledger.json, sat_event_log.json, sync_batch.json, and events.jsonl. Shapes are detected from content, not filenames.
Local file only: files stay in this browser.
Choose a machine definition
State path
Select a state or transition to understand what it means and what evidence is required.
Evidence glossary
Event vocabulary
Authority rule: EvidenceSubmitted alone never advances state. Validated evidence satisfies gates; only StateAdvanced records a successful transition.
Sample BESS timeline
Synthetic examples showing a successful and rejected path.