Enum IntegrityTerminalOutcome 

pub enum IntegrityTerminalOutcome {
    DeepCompleteClean,
    DeepCompleteWithFindings,
    Invalidated,
    Uninspectable(IntegrityAuthorityDiagnostic),
    UninspectableStorage(StorageTraversalCorruption),
    ResourceLimited(IntegrityResourceDiagnostic),
    Expired,
    Aborted,
}

Stable terminal meaning of a completed Deep job.

Variants

DeepCompleteClean

Every phase exhausted cleanly under one unchanged proof.

DeepCompleteWithFindings

Every phase exhausted with one or more definite findings.

Invalidated

One proof component changed before completion.

Uninspectable(IntegrityAuthorityDiagnostic)

Accepted authority could not be inspected.

UninspectableStorage(StorageTraversalCorruption)

A load-bearing physical traversal could not prove progress.

ResourceLimited(IntegrityResourceDiagnostic)

One frozen bounded resource was insufficient.

Expired

The inactivity lease expired.

Aborted

The authorized owner aborted the job.

Trait Implementations

impl CandidType for IntegrityTerminalOutcome

fn _ty() -> Type

fn _ty_doc() -> TypeDoc

fn id() -> TypeId

fn idl_serialize<__S>(&self, __serializer: __S) -> Result<(), __S::Error>

where __S: Serializer,

fn ty() -> Type

impl Clone for IntegrityTerminalOutcome

fn clone(&self) -> IntegrityTerminalOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntegrityTerminalOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntegrityTerminalOutcome

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for IntegrityTerminalOutcome

impl PartialEq for IntegrityTerminalOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IntegrityTerminalOutcome