Expand description
The append-only journal abstraction and its data model.
A Journal records the control flow of an execution as an ordered sequence of
JournalEntry values. Each entry is one EntryKind — a closed enum that makes illegal
states unrepresentable: control entries (effect intents, promise creation, timer arming) carry
no ciphertext payload field at all, so a “control entry with payload” cannot be constructed.
This module defines the types only. The concrete journal backends, the writer actor, and the replay cursor land in follow-up issues.
Structs§
- Journal
Entry - One ordered entry in a journal.
Enums§
- Entry
Kind - The kind of a single journal entry.
- Execution
Status - Terminal and in-flight status of a durable execution.
Traits§
- Journal
- An append-only, ordered journal of execution control flow.