Record simulation output, then inspect or replay for regression and incident review.
cd examples/showcase/replay
spanda sim mission.sd --record
# writes mission.trace in the current directory
spanda replay mission.trace
spanda replay mission.trace --deterministic
spanda replay mission.trace --playback --from T+00:01
Fault injection is declared via simulate_compatibility { fault LidarFailure; } for verify/sim walks.
Docs: replay.md