Enum OracleVerdict 

pub enum OracleVerdict {
    Match {
        output_len: usize,
    },
    HostOnlyOk {
        cpu_output_len: usize,
        cpu_output_first_bytes: [u8; 16],
    },
    Divergence(OracleDivergence),
    Skipped(&'static str),
}

Result of a single oracle comparison.

Variants

Match

Both paths produced byte-equal output.

Fields

output_len: usize

Number of output bytes that were compared.

HostOnlyOk

Only the CPU reference path executed (no CUDA host on this runner). The CPU output length is reported so test bodies can at least validate the harness wiring on no-CUDA hosts. v0.4 (T38) introduced this variant so the proptest harness can run end-to-end on the default CI without a CUDA device.

Fields

cpu_output_len: usize

Number of output bytes the CPU reference produced.

cpu_output_first_bytes: [u8; 16]

Up to the first 16 bytes of the CPU output, surfaced for debug formatting on proptest failure. Not used for equality decisions — the test harness compares the full vector via reference_eval separately.

Divergence(OracleDivergence)

Outputs diverged. The CI gate must fail.

Skipped(&'static str)

Comparison was skipped (typically: one of the two paths is not available on the current host). Not a failure; the test runner should record it as a skip.

Trait Implementations

impl Clone for OracleVerdict

fn clone(&self) -> OracleVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleVerdict

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

Formats the value using the given formatter.

impl Eq for OracleVerdict

impl PartialEq for OracleVerdict

fn eq(&self, other: &OracleVerdict) -> 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 StructuralPartialEq for OracleVerdict