Struct Witness 

pub struct Witness {
    pub wasm_op_label: String,
    pub arm_op_count: usize,
    pub solver_result: SolverResultKind,
}

A witness recording the validator’s acceptance of a selection.

For the prototype this is intentionally minimal. A v0.5 expansion will embed the SMT-LIB2 script that Z3 was given, so a third party can independently replay the verification without trusting the validator’s encoding logic.

Fields

wasm_op_label: String

Human-readable label for the WASM op (e.g. "I32Add").

arm_op_count: usize

Number of ARM instructions in the validated sequence.

solver_result: SolverResultKind

The Z3 result that produced this witness (always Unsat for accepted selections — Unsat of wasm ≠ arm means wasm ≡ arm).

Trait Implementations

impl Clone for Witness

fn clone(&self) -> Witness

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Witness

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

Formats the value using the given formatter.

impl Eq for Witness

impl PartialEq for Witness

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