Struct ReplayResume 

pub struct ReplayResume<S: KernelState> {
    pub events: Box<dyn EventStore>,
    pub reducer: Box<dyn Reducer<S>>,
}

Replay-based resume: enforces Replay + Inject Decision semantics.

Fields

events: Box<dyn EventStore>

Event store (source of truth).

reducer: Box<dyn Reducer<S>>

Reducer to apply events.

Implementations

impl<S: KernelState + PartialEq> ReplayResume<S>

pub fn resume( &self, run_id: &RunId, decision: ResumeDecision, initial_state: S, ) -> Result<ResumeResult<S>, KernelError>

Resumes execution by replaying from the event log and injecting the decision.

This ensures no reliance on active memory - the state is reconstructed purely from the event log plus the injected decision.

pub fn verify_idempotent( &self, run_id: &RunId, decision: ResumeDecision, initial_state: S, ) -> Result<bool, KernelError>

Verifies that resuming N times yields identical results (idempotent).