Enum NoResultReason 

pub enum NoResultReason {
    NotRun,
    FirstRunRejected {
        exit_code: Option<i32>,
        signal: Option<i32>,
        stdout_bytes: u64,
        stderr_bytes: u64,
    },
    ComparisonRefused {
        detail: String,
    },
    ContainerFailed(ContainerFailure),
    RunFailed {
        run: VerificationRun,
        failure: RunFailure,
        detail: String,
    },
}

Why verification did not reach a verdict.

This distinction is functional evidence. FirstRunRejected means the guest ran and its disposition was rejected by --verify-allow; NotRun is the pre-run stamp left when the invocation died before recording a more specific result. Collapsing both into no_result made a completed guest refusal and a container or launcher failure indistinguishable to the result reader. RunFailed means Hermit started a verification run and a typed failure of that run stopped it: before it existed, such a run left the NotRun stamp, so a guest that ran (often to a clean exit) was recorded as never run.

Variants

NotRun

The invocation did not replace the pre-run stamp with a more specific outcome.

FirstRunRejected

Run 1 completed and its exit status was rejected by --verify-allow.

Fields

exit_code: Option<i32>

signal: Option<i32>

stdout_bytes: u64

stderr_bytes: u64

ComparisonRefused

The log comparator refused to claim either agreement or divergence.

Fields

detail: String

ContainerFailed(ContainerFailure)

A sandbox exited before returning its guest Output. This is an attempted execution failure, with no guest disposition or comparison.

RunFailed

Hermit started verification run run, and a typed failure of that run stopped it before any comparison. detail is the failure’s message.

Fields

run: VerificationRun

failure: RunFailure

detail: String

Trait Implementations

impl Clone for NoResultReason

fn clone(&self) -> NoResultReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NoResultReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NoResultReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for NoResultReason

impl PartialEq for NoResultReason

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for NoResultReason

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 NoResultReason