Enum CallerPiState 

pub enum CallerPiState {
    Reserved,
    Started,
    LaunchFailed,
    Exited,
    ControlUncertain,
}

A caller attests a Pi lifecycle transition. This is not a worker exit or proof of quiescence: only an external writer-fence protocol can authorize settlement. The event log retains every distinct transition.

Variants

Reserved

Durable launch attempt, before Pi creates any native file. Never liveness proof.

Started

Caller confirmed Start returned successfully; not continuing liveness proof.

LaunchFailed

Pi launch failed before a writer existed.

Exited

Caller reaped or otherwise proved the exact Pi stopped.

ControlUncertain

Caller cannot prove whether it still controls the writer.

Implementations

impl CallerPiState

pub fn needs_attention(&self) -> bool

A told nonterminal condition requiring intervention.

Trait Implementations

impl Clone for CallerPiState

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 CallerPiState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CallerPiState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CallerPiState

impl PartialEq for CallerPiState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CallerPiState

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 CallerPiState