Replay

Replay attempts to reconstruct a relevant system result from preserved inputs and state.

Replay is valuable when a system claim depends on more than a static artifact.

Replay requires an explicit boundary

A replay process should define:

• required inputs
• required state
• execution assumptions
• expected outputs
• comparison rules

Verification relationship

Replay can contribute evidence to verification.

Replay alone is not proof unless the verification contract defines what is being compared and which outcome constitutes success.