Deterministic JavaScript execution.
Run JavaScript that replays byte-for-byte, forks a live heap, and proves exactly what it did. One runtime — replayable, forkable, provable.
replayable — same in, same out, forever
forkable — branch a warm heap N ways
provable — a signed receipt per run