Enum WFault 

pub enum WFault {
    None,
    RegDecodeBits(u32),
    RegZeroAbove(u16),
    HeapDecodeBits(u32),
    HeapZeroAbove(usize),
    VDecodeBits(u32),
    HeapStoreLatency(u32),
}

A hardware fault model injected into the golden interpreter. Running a program through the model under each fault and comparing the result against a value observed on silicon localizes a synthesis/place-and-route divergence to one state memory + one address bit in pure Rust: eval is the ground truth, so a fault whose result equals the observed value characterizes the hardware defect.

Variants

None

No fault — byte-identical to eval_wprog_config_counted_heap_preloaded.

RegDecodeBits(u32)

Register file file address decode is bits wide: logical index r reads/writes physical r & ((1<<bits)-1) (both ports share the decode, so two logical registers alias onto one cell).

RegZeroAbove(u16)

Register file high half is dead: a read of r >= thresh yields 0.

HeapDecodeBits(u32)

Heap load/store address decode is bits wide: heap[addr] accesses physical addr & ((1<<bits)-1). The allocator’s length counter is a register and stays exact; only the RAM addressing folds.

HeapZeroAbove(usize)

Heap high half is dead: a load from addr >= thresh yields 0.

VDecodeBits(u32)

Cell-value plane v address decode is bits wide: an earlier-cell reference ci reads physical ci & ((1<<bits)-1).

HeapStoreLatency(u32)

A heap[X] = v (kind-4) store becomes visible to heap reads only after steps further block-steps, modelling a registered read/write pipeline. Allocations (bump-pointer) commit immediately so addressing stays valid; only explicit stores lag.

Trait Implementations

impl Clone for WFault

fn clone(&self) -> WFault

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WFault

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

Formats the value using the given formatter.

impl PartialEq for WFault

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

impl Eq for WFault

impl StructuralPartialEq for WFault