Enum RestoreSafetyEvidence 

pub enum RestoreSafetyEvidence {
    NoIrreversibleEffects(ArtifactChecksumRecord),
    ApplicationFenced(Box<RestoreFenceEvidence>),
    Unresolved(ArtifactChecksumRecord),
}

Actual application safety lane; no generic default or serialized Proven admission.

Variants

NoIrreversibleEffects(ArtifactChecksumRecord)

Qualified absence of irreversible external effects, including restored intent/timers.

ApplicationFenced(Box<RestoreFenceEvidence>)

Qualified whole-selection custody outside rewindable state and external-work replay safety.

Unresolved(ArtifactChecksumRecord)

Known unsafe or unresolved external obligations; pure policy rejects this evidence.

Trait Implementations

impl Clone for RestoreSafetyEvidence

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 RestoreSafetyEvidence

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

Formats the value using the given formatter.