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 VerifyError::Backend when 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 VerifyError::Backend when 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 VerifyError::Backend when 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.