Expand description
Outstanding run records, with the local file store composed for CLI callers.
Structs§
- File
RunStore - The shared state directory: run JSON at its root and history JSON Lines below it. Non-Unicode filename stems remain read-only diagnostics; a string key cannot identify them exactly, and a replacement character could name a different, writable file.
- Ledger
- A record plus where it is written.
- Record
- One invocation’s record.
- Stored
Ledger - One stored ledger document, including unreadable records that must stay visible.
Traits§
- RunStore
- Durable storage used by the run ledger and history policies.
Functions§
- new
- Starts a run using the historic state directory layout.
- open_
all_ for_ vm - Reopens every run for a VM, newest first.
- read_
all - Reads outstanding runs from the shared local state directory.
- remove
- Removes a run after verifying that its key cannot escape the ledger namespace.