Skip to main content

Module checkpoint

Module checkpoint 

Source
Expand description

Temporal Checkpointing - Core types and manager

Structs§

CheckpointId
Unique identifier for a checkpoint
CheckpointSummary
Summary of a checkpoint (for listing)
DebugNote
A user note/observation during debugging
DebugStateSnapshot
Complete snapshot of debugging state
SessionId
Unique identifier for a debugging session
SessionMetrics
Session performance metrics
TemporalCheckpoint
A snapshot of complete debugging state at a point in time
TemporalCheckpointManager
The main checkpoint manager
VerificationResult
Verification result snapshot

Enums§

AutoTrigger
Types of automatic triggers
CheckpointTrigger
What triggered this checkpoint
CompactionPolicy
Policy for checkpoint compaction

Functions§

compute_checksum
Compute SHA-256 checksum of checkpoint data