Struct TestOutcome 

pub struct TestOutcome {
    pub name: String,
    pub verdict: Verdict,
    pub failures: Vec<String>,
    pub skip_reason: Option<String>,
    pub ops: u64,
    pub vacuous: bool,
    pub mounted: bool,
    pub property: Option<PropertyInfo>,
    pub proved_by_exhaustion: bool,
    pub tier: Option<TierEvidence>,
}

One executed (or skipped) test.

Fields

name: String

The prose name — the test’s identity.

verdict: Verdict

failures: Vec<String>

Every failure recorded during the run (empty for pass/skip).

skip_reason: Option<String>

The mandatory skip reason, when skipped.

ops: u64

Ops executed (deterministic; identical across machines and -j N).

vacuous: bool

True when the test ran clean but asserted NOTHING (no Expect/For all) — the vacuous-green the non-vacuity gate fails; surfaced here so the inventory can flag it explicitly (G13-full), not just fail it.

mounted: bool

Whether this test MOUNTED a page — the honest signal that it drives a document rather than checking a value, and what makes it a Component claim in the inventory. Read from the test’s own body, so it says what the test DOES rather than what the run was configured to do: a project with both kinds must tell them apart within one document.

property: Option<PropertyInfo>

The For all property this test exercised, if any — None for a plain Expect-only example. Drives the inventory’s property classification and its bound disclosure.

proved_by_exhaustion: bool

Whether the run was under --prove (finite-domain exhaustion escalation). Carried so the inventory can distinguish an exhausted proof-by-cases from a sampled hold without re-reading the config.

tier: Option<TierEvidence>

Cross-tier evidence under --tiers all; None when the guard did not run this test (flag off, or the test already failed/skipped).

Trait Implementations

impl Clone for TestOutcome

fn clone(&self) -> TestOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TestOutcome

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

Formats the value using the given formatter.

impl Serialize for TestOutcome

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

where __S: Serializer,

Serialize this value into the given Serde serializer.