Struct WebizenVM 

pub struct WebizenVM {
    pub registers: [Option<u64>; 16],
    pub bytecode_buffer: [Option<WebizenOpcode>; 64],
    pub scrubbing_lock: Option<Arc<AtomicBool>>,
    pub yielded_op: Option<WebizenOpcode>,
}

The Zero-Allocation Virtual Machine for N3Logic and Constraints.

Fields

registers: [Option<u64>; 16]

The local L1-cached execution stack for bound variables

bytecode_buffer: [Option<WebizenOpcode>; 64]

The maximum number of instructions allowed in a single rule block

scrubbing_lock: Option<Arc<AtomicBool>>

Shared reference to the orchestrator’s cryptographic memory flush lock

yielded_op: Option<WebizenOpcode>

State tracking for suspended opcodes that yielded due to a hardware lock

Implementations

impl WebizenVM

pub fn new() -> Self

pub fn with_scrubbing_lock(lock: Arc<AtomicBool>) -> Self

pub fn load_bytecode(&mut self, instructions: &[WebizenOpcode])

pub fn flatten_to_suspended( &self, agreement_id: u64, threshold: u8, current_quin: NQuin, ) -> SuspendedTransaction

Serializes the current VM execution frame into a strictly-sized zero-allocation buffer for offline suspension in the CRDT queue while awaiting M:N Guardianship signatures.

pub fn execute_constraint(&mut self, quin: &NQuin) -> bool

Evaluates a loaded constraint block against a target Quin.

pub fn execute_implication(&mut self, quin: &NQuin) -> Option<NQuin>

Evaluates an N3 Implication => constraint against a target Quin. Returns Some(NQuin) if the antecedent passes and yields a consequence.

pub fn prune_defeasible_claims(qualia_graph: &mut [NQuin]) -> usize

Prunes neural hallucinations: If a Defeasible claim is contradicted by a hard physical fact, it is removed.