Struct WorkerLifecycle 

pub struct WorkerLifecycle {
    state: WorkerState,
    restart_notice_pending: bool,
    ever_ready: bool,
}

Tracks worker state plus the one-shot “restarted after crash” notice that must surface EXACTLY once (spec §4: the next call after a crash returns WORKER_RESTARTED once, so the agent knows unsaved edits were lost).

Fields

state: WorkerState

restart_notice_pending: bool

ever_ready: bool

True once the worker has completed at least one successful init (reached Ready). A crash during the very first boot loses nothing, so it must NOT arm the WORKER_RESTARTED notice.

Implementations

impl WorkerLifecycle

pub fn new() -> Self

pub fn state(&self) -> WorkerState

pub fn on_ready(&mut self) -> Result<(), InvalidTransition>

Successful init handshake: Starting -> Ready.

pub fn on_dispatch(&mut self) -> Result<(), InvalidTransition>

Dispatch a call onto the executor: Ready -> Busy.

pub fn on_complete(&mut self) -> Result<(), InvalidTransition>

Call finished: Busy -> Ready.

pub fn on_crash(&mut self)

Socket closed / process died: transition to Crashed from any state.

pub fn on_respawn(&mut self) -> Result<(), InvalidTransition>

Begin a respawn: Crashed -> Starting, arming the one-shot restart notice.

pub fn take_restart_notice(&mut self) -> bool

Consume the one-shot WORKER_RESTARTED notice; true at most once per crash.

Trait Implementations

impl Clone for WorkerLifecycle

fn clone(&self) -> WorkerLifecycle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WorkerLifecycle

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

Formats the value using the given formatter.

impl Default for WorkerLifecycle

fn default() -> Self

Returns the “default value” for a type.

impl Eq for WorkerLifecycle

impl PartialEq for WorkerLifecycle

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WorkerLifecycle