Enum TierEvidence 

pub enum TierEvidence {
    Agreed,
    Refused {
        reason: String,
    },
    Diverged {
        detail: String,
        statement: Option<usize>,
        line: Option<u32>,
    },
}

Cross-tier evidence for one test under --tiers all (footgun F18): what the bytecode VM did with the test’s computation, machine-readable in the JSON report. Absent (None on TestOutcome::tier) when the guard did not run — evidence is never invented.

Variants

Agreed

The VM re-ran the computation and agreed on every axis — outcome class, FULL output byte-for-byte, and error text.

Refused

The VM cannot run this computation; reason says why. Reported as an explicit tier: refused (…) failure — never a pass, never a silent skip.

Fields

reason: String

Diverged

The VM ran and DISAGREED — always a compiler bug; detail carries the divergence bundle.

Fields

detail: String

statement: Option<usize>

The first top-level statement the tiers disagreed at, for a MOUNTED test compared through page_host (0 is the program itself, k its k-th test statement). None for the plain interpreter/bytecode-VM computation comparison, which has no page statements to number.

line: Option<u32>

The .lg source line that statement is written on. Always None today — no Stmt carries a span yet, and a line is never guessed; the field exists so a consumer can start reading it the day one does.

Trait Implementations

impl Clone for TierEvidence

fn clone(&self) -> TierEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TierEvidence

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

Formats the value using the given formatter.

impl PartialEq for TierEvidence

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TierEvidence

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TierEvidence

impl StructuralPartialEq for TierEvidence