Module verification 

Verification execution system

This module provides async verification execution with parallel execution, configurable timeouts, retry logic with exponential backoff, and automatic evidence attachment to hypotheses.

Re-exports

pub use check::CheckId;

pub use check::CheckResult;

pub use check::CheckStatus;

pub use check::FailAction;

pub use check::PassAction;

pub use check::VerificationCheck;

pub use check::VerificationCommand;

pub use retry::RetryConfig;

pub use runner::VerificationRunner;

Modules

check

Verification check types

retry

Retry logic with exponential backoff and jitter

runner

Async verification runner with parallel execution