Struct Checkpoint 

pub struct Checkpoint {
    pub idempotent: bool,
    pub hashed: bool,
    pub verify: Option<Value>,
}

Per-phase checkpoint declaration. Three legal forms in YAML:

• checkpoint: idempotent — short form, equivalent to Checkpoint { idempotent: true, hashed: true, verify: None }.
• checkpoint: none (or false, or no) — explicitly not skip-eligible. Equivalent to no declaration; the phase always re-runs on resume.
• checkpoint: { idempotent: true, hashed: true, verify: ... } — full mapping form with sub-properties.

See SRD-44 §“Forms” and §“Sub-properties” for the full contract. The Default is “skip-eligible with hashing on, no verify” — what the short form idempotent produces.

Fields

idempotent: bool

Marks this phase as skip-eligible on resume. false here is equivalent to checkpoint: none and means the phase always re-runs.

hashed: bool

When true (the default for any set checkpoint declaration), the resume planner additionally verifies that the freshly-pre-mapped phase’s compiled program hash matches the saved one before honouring the saved status. false is the operator opt-out — “trust structural identity (yaml_path + coords) alone”.

verify: Option<Value>

Optional verify op-template body. When present, the resume planner runs this op against the live system before classifying the phase as Skip; verify failure reclassifies to re-run with wholesale purge. Currently typed as a generic YAML value — the runtime re-parses it through the op-template grammar so the existing pipeline (SRD-32 wrappers, SRD-03 status- determination invariants) governs the verify execution.

Trait Implementations

impl Clone for Checkpoint

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Checkpoint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Checkpoint

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Checkpoint

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Checkpoint

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Checkpoint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Checkpoint