Expand description
A run that stopped, in a form that can be continued.
Everything an interrupted run held that the rest of it needs: the inputs,
every binding in scope, working memory, the outputs produced so far, and the
counters. It is a JSON document a person can read, and that is a
requirement rather than a convenience — it is what rules out serialising a
continuation, which in turn is why only a top-level checkpoint is
resumable. See
RFC-0018 §4.
§What is deliberately absent
Persistent memory. It belongs to the agent, not to the interrupted run, and both halves read and write the agent’s store as normal.
A cassette. A resumed run is given one the same way the first half was. Copying the recording into the snapshot would make the two disagree the moment either was re-recorded.
Structs§
Enums§
- Snapshot
Error - Why a snapshot could not be used.
Constants§
- KIND
- What kind of snapshot this is.
- SNAPSHOT_
VERSION - Format version of this document.
Functions§
- all_
checkpoint_ labels - Every checkpoint label, resumable or not.
- artifact_
digest - The digest a snapshot identifies its artifact by.
- resumable_
labels - Every label a run could be stopped at, in flow order.