Struct Verifier 

pub struct Verifier { /* private fields */ }

Verifier over a single open run.

Constructed either by passing an already-open backend (Verifier::new) or by opening a sealed redb file directly (Verifier::open_redb or Verifier::open_redb_file). The verifier never mutates the backend; it walks the entry table and the secondary indices, then emits a typed VerifyReport.

Implementations

impl Verifier

pub fn new(backend: Box<dyn EventStore>) -> Self

Wraps an already-open backend for read-only verification.

pub fn open_redb( base_dir: impl AsRef<Path>, instance_id: &str, run_id: &str, ) -> Result<Self, VerifyError>

Opens a sealed redb run file at <base_dir>/<instance_id>/<run_id>.redb and wraps it for verification.

Mirrors crate::backend::RedbBackend::open_sealed: only sealed files are accepted, since opening a still-Running file would race with a live writer and break the off-trader-process posture.

Errors

Returns an error if the underlying backend rejects the open (file missing, run still Running, header corruption).

pub fn open_redb_file(path: impl AsRef<Path>) -> Result<Self, VerifyError>

Opens a sealed redb run file directly by path and wraps it for verification.

The backend uses a read-only database handle for this path. The verifier reports findings, but it never seals or quarantines the file; a supervisor or operator process decides that policy from the returned VerifyReport.

Errors

Returns an error if the underlying backend rejects the open (file missing, run still Running, header corruption).

pub fn backend(&self) -> &dyn EventStore

Returns a reference to the wrapped backend.

pub fn verify(&self) -> Result<VerifyReport, VerifyError>

Performs a full integrity scan of the open run and returns the typed report.

verify reads the manifest, walks every seq in [1, high_watermark], cross-checks the stored client- and venue-order-id indices, and validates manifest invariants. Hash mismatches, gaps, index drift, and manifest mismatches surface as VerifyFindings on the returned report; only failures that prevent the verifier from producing a report at all surface as VerifyError.

Errors

Returns an error if the backend refuses a read-side operation (no run open, disk pressure, manifest decode failure).

Trait Implementations

impl Debug for Verifier

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

Formats the value using the given formatter.