Record. Replay. Branch.

Record

Capture a full run with every non-deterministic input pinned down.

Replay

Run it again instruction-by-instruction. Identical state, identical outcome.

Branch

Fork from any point. Try alternatives without losing the original timeline.