Enum FinalVerdict 

#[repr(u8)]
pub enum FinalVerdict {
    ReplayAdmissible = 0,
    CpuOnlyAdmissible = 1,
    GpuReplayAdmissible = 2,
    ContractBreach = 3,
    BankMismatch = 4,
    DetectorRegistryMismatch = 5,
    NumericMismatch = 6,
    KernelSequenceMismatch = 7,
    SemanticBypassRejected = 8,
}

Final verdict attached to every case-file. Names are spec-defined.

Variants

ReplayAdmissible = 0

CPU and GPU paths produced byte-identical artifacts: the strongest possible outcome.

CpuOnlyAdmissible = 1

CPU-only path executed; no GPU comparison was attempted (host without CUDA, or run-gpu not invoked).

GpuReplayAdmissible = 2

GPU path executed and matches what a CPU run would have produced; the CPU side wasn’t available for the comparison at this run.

ContractBreach = 3

Contract bytes themselves were rejected (numeric mode wrong, kernel sequence reordered, etc.).

BankMismatch = 4

bank_hash in the contract does not match the bank actually loaded.

DetectorRegistryMismatch = 5

detector_registry_hash in the contract does not match the detector registry.

NumericMismatch = 6

A per-stage hash diverged between the CPU and GPU artifacts.

KernelSequenceMismatch = 7

The kernel-sequence list in the contract does not match what the run actually executed.

SemanticBypassRejected = 8

An episode was found in the case file that did not carry a bank admission token — the Semantic Non-Bypass guard tripped.

Implementations

impl FinalVerdict

pub const fn name(self) -> &'static str

Stable lowercase-camel name used in the canonical case-file bytes. Renaming any of these breaks every prior case file.

pub const fn exit_code(self) -> u8

Exit code the CLI uses for this verdict. Mirrors the matrix in the README.

Trait Implementations

impl Clone for FinalVerdict

fn clone(&self) -> FinalVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FinalVerdict

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

Formats the value using the given formatter.

impl PartialEq for FinalVerdict

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

impl Eq for FinalVerdict

impl StructuralPartialEq for FinalVerdict