Struct ActiveVerifier 

pub struct ActiveVerifier { /* private fields */ }

Pure verifier for evidence collected by an explicit active probe.

This type does not send traffic. The caller executes a planned probe, records its observations through the evidence engine, and supplies the before/after snapshots. A matching active rule must cite at least one new evidence ID.

Implementations

impl ActiveVerifier

pub fn new() -> Self

Creates an empty active verifier.

pub fn register( &mut self, rule: VerificationRule, ) -> Result<VerifierWrite, VerificationError>

Registers one active rule idempotently.

pub fn len(&self) -> usize

Returns the number of active rules.

pub fn is_empty(&self) -> bool

Returns whether no active rules are registered.

pub fn verify_snapshots( &self, case: &VerificationCase, baseline: &KnowledgeSnapshot, after_probe: &KnowledgeSnapshot, ) -> Result<VerificationReport, VerificationError>

Verifies a case using a baseline and post-probe snapshot.

Trait Implementations

impl Clone for ActiveVerifier

fn clone(&self) -> ActiveVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActiveVerifier

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

Formats the value using the given formatter.

impl Default for ActiveVerifier

fn default() -> Self

Returns the “default value” for a type.