RewindDB — Temporal Debugger

search Esc

Go to: Dashboard · Timeline · Replay · Failure · Validation · Metrics

wifi_off Backend offline — run ./start.sh then retry · change URL

State is a Pure Function of Events

LIVE

Deterministic replay, failure recovery, and state validation — powered by immutable event logs. No state is stored.

Total Accounts layers

—

active streams

Total Events bolt

—

immutable log entries

Total Balance account_balance_wallet

—

across all accounts

System State verified

—

checking…

Entity State

account_balance No accounts yet

Create demo accounts to explore event sourcing

Recent Events

timeline No events yet

Event Timeline

Immutable, ordered log of every state transition

Stream

timeline No stream selected

Choose a stream above to view its full event history

Replay Engine

Reconstruct correct state from the event log — with or without snapshots

Replay Mode

Ready

Replay Metrics

Mode	—
Duration	—
Events	—
Streams	—
Valid	—

Reconstructed State

Run replay to see account cards…

Failure Simulation Lab

Inject chaos — prove the system recovers deterministically every time

Target Account —

Recovery Diagnostics

health_and_safety No tests run yet

Inject a failure above to see recovery diagnostics

State Validation

Invariant checks — prove replayed state is mathematically correct

Validation Summary

fact_check Not yet validated

Run validation to verify all system invariants

Invariant Checks

ruleNo findings yet

Account Invariants

account_balanceNo accounts

Performance Metrics

Compare full vs snapshot-assisted replay throughput

Full Replaytimer

—

ms — all streams

Snapshot Replayflash_on

—

ms — delta only

Throughput Analysis

Full Replay—

Snapshot Replay—

RewindDB Benchmark

—

Click "Run Benchmarks" to compare modes…

Live

auto_stories

RewindDB Guide

What is RewindDB?

auto_awesomeThe Core Concept

RewindDB implements event sourcing: no mutable state is ever stored. Every state is computed by replaying an immutable event log using fold(events, S₀). This guarantees deterministic recovery from any failure.

Events[]

→

fold(E,S₀)

→

State(t)

→

Validated ✓

Pages

dashboardDashboard

Live overview of all accounts, balances, event counts, and system health. Recent Events shows the latest events with color-coded dots.

historyTimeline

Full ordered event history for any stream. Click any event card to expand it and see the raw JSON payload. Filter pills let you focus on specific event types.

play_circleReplay Engine

Reconstruct state in two modes: Full Replay (every event from zero) or Snapshot-Assisted (delta only). Both produce identical validated state.

biotechFailure Lab

Inject real failures: crash, duplicate events, out-of-order, missing events, memory corruption, concurrent writes. Every test recovers deterministically.

fact_checkValidation

Mathematical invariant checks: balance conservation, no negatives, event sequence integrity, cross-account transfer consistency.

query_statsMetrics

Animated SVG benchmark comparing full vs snapshot replay. Shows the performance advantage of snapshot-assisted mode with hover tooltips.

Keyboard Shortcuts

Command Palette⌘+K

Navigate to pageGthenD/T/R/F/V/M

RefreshR

Seed DataS

Open this Help?

Close any modalEsc

Getting Started

looks_oneSeed Demo Data

Click “Seed Demo Data” on the dashboard or press S to create 3 accounts with transaction histories.

looks_twoExplore Events

Go to Timeline, select an account, click “Load Events”. Click any event to see its full JSON payload.

looks_3Replay & Validate

Run a Replay to see state cards reconstructed from events. Then run Validation to confirm all invariants pass.

looks_4Inject Failures

Go to Failure Lab, select an account, and inject any chaos scenario. Every test will recover — proving deterministic guarantees.

1

Welcome! Start by seeding demo data.