Enum ProofState 

pub enum ProofState {
    Queued,
    Blocked,
    Replaying,
    Passed,
    Failed,
    Stale,
}

The published lifecycle state of a deferred proof intent.

Exactly the six states the bead requires. Queued and Blocked are both “not running yet” but differ in why: a queued intent waits for a transient condition (capacity, health, pressure) the conveyor retries automatically; a blocked intent waits for a structural condition (a capability gap, an unhonored placement) that time alone will not clear.

Variants

Queued

Recorded and waiting on a transient recovery (capacity, fleet health, pressure). The conveyor re-evaluates it every scan.

Blocked

Waiting on a structural condition (no worker can run this command, or a requested placement cannot be honored). Held until the condition changes.

Replaying

Cleared for genuine remote execution this scan.

Passed

Replayed remotely and the product succeeded. Terminal.

Failed

Replayed remotely and the product failed (compile/test error). Terminal — re-running an unchanged proof cannot change the result; a fix yields a new intent.

Stale

The recorded source/revision/age no longer matches; the intent can never be replayed as-is. Terminal.

Implementations

impl ProofState

pub const ALL: &'static [ProofState]

Every state, in stable declaration order (for coverage + iteration).

pub fn as_str(self) -> &'static str

Stable lowercase token (matches the serde representation).

pub fn is_terminal(self) -> bool

A terminal state never transitions to another state.

pub fn can_transition_to(self, next: ProofState) -> bool

Whether a transition from self to next is legal. Self-transitions are always legal (idempotent re-evaluation). Terminal states only transition to themselves.

Trait Implementations

impl Clone for ProofState

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProofState

impl Debug for ProofState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProofState

impl PartialEq for ProofState

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ProofState

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 ProofState