Struct RuntimeVerifier 

pub struct RuntimeVerifier { /* private fields */ }

Minimal deterministic runtime verifier used for LLAMA-006 true tests.

Implementations

impl RuntimeVerifier

pub fn new() -> Self

pub fn verify_kv_equivalence( &self, prompt: &[i32], ) -> Result<KvEquivalenceReport, RuntimeError>

True test: full_forward(prompt) logits == prefill(prompt[:-1]) + decode(last_token) logits.

pub fn verify_with_off_by_one_bug( &self, prompt: &[i32], ) -> Result<KvEquivalenceReport, RuntimeError>

Same flow as verify_kv_equivalence but injects an off-by-one position bug in decode. Used to prove the true test catches indexing errors.

Trait Implementations

impl Default for RuntimeVerifier

fn default() -> Self

Returns the “default value” for a type.