Type Alias Checkpoint 

pub type Checkpoint = Box<dyn Fn(&AgentState) -> Result<(), String> + Send + Sync>;

Persist context and pending intent before effects begin, and completed observations before the next effect. Failure stops execution. A pending tool batch is a durable observation, not a valid model input or context fork.

Aliased Type

pub struct Checkpoint(/* private fields */);