# base_checkpoint_restore

Result:

- The replay succeeds `7/7`.
- The mutated compile differs from the checkpoint-state compile.
- The restored compile matches the checkpoint-state compile exactly.
- The restored bundle contains `re-enable HMAC verification` and excludes `leave temporary bypass enabled`.

Interpretation:

This case shows interruption survival through `checkpoint` and `restore`. After a post-checkpoint mutation changes the active fact, restore returns the compiled bundle to the checkpointed structured state instead of leaving the mutation in place.