Enum ResumeAction 

pub enum ResumeAction {
    Skip,
    CursorResume {
        cursor_state: Value,
    },
    ReRun,
    IdentityMismatch {
        reason: String,
    },
}

What the executor should do with one pre-mapped phase. The planner emits one of these per phase keyed by identity-key (see super::writer for the key shape).

Variants

Skip

Phase already completed successfully on a prior invocation, identity matches, and the operator declared it idempotent. Executor emits the post-run summary line for this phase as [skipped] and moves on; the writer keeps the saved entry intact.

CursorResume

Phase was in-flight (Running) and recorded a cursor snapshot the source factory understands. Executor reconstructs the source via the factory, calls restore_cursor(snapshot) on it, and runs the remaining cycles per SRD-44 §“Tier 2”.

Fields

cursor_state: Value

ReRun

Default — the phase runs from scratch this invocation. Triggered by: no saved entry, declared checkpoint: none, saved status Pending/Failed, or Running without cursor state.

IdentityMismatch

Saved entry exists, structural match holds, but the program hash differs (or some other identity mismatch). Executor re-runs the phase and the writer overwrites the stale entry. Carries a human-readable reason for the resume diagnostic banner.

Fields

reason: String

Trait Implementations

impl Clone for ResumeAction

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 ResumeAction

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

Formats the value using the given formatter.