Struct ValidationPipeline 

pub struct ValidationPipeline { /* private fields */ }

Expected-cost validation pipeline with Bayesian ordering.

Implementations

impl ValidationPipeline

pub fn new() -> Self

Create a new pipeline with default config.

pub fn with_config(config: PipelineConfig) -> Self

Create a new pipeline with custom config.

pub fn register( &mut self, name: impl Into<String>, initial_cost: Duration, ) -> usize

Register a validator with a name and initial cost estimate. Returns the assigned id.

pub fn compute_ordering(&self) -> (Vec<usize>, Vec<LedgerEntry>)

Compute the optimal ordering (decreasing p/c score). Returns validator ids in execution order, plus the evidence ledger.

pub fn expected_cost(&self, ordering: &[usize]) -> f64

Compute the expected cost of a given ordering.

E[cost(π)] = Σ_k  c_{π_k} × Π_{j<k} (1 − p_{π_j})

pub fn update(&mut self, outcome: &ValidationOutcome)

Update a validator’s statistics after observing an outcome.

pub fn update_batch(&mut self, result: &PipelineResult)

Update all validators from a pipeline result.

pub fn run<F>(&self, validate: F) -> PipelineResult

where F: FnMut(usize) -> (bool, Duration),

Simulate running the pipeline with provided validator functions.

Each function in validators corresponds to a registered validator (by index). Returns a PipelineResult with the optimal ordering applied.

pub fn stats(&self, id: usize) -> Option<&ValidatorStats>

Get statistics for a validator by id.

pub fn all_stats(&self) -> &[ValidatorStats]

Get all validator stats.

pub fn total_runs(&self) -> u64

Total pipeline runs.

pub fn validator_count(&self) -> usize

Number of registered validators.

pub fn summary(&self) -> PipelineSummary

Summary of current state (for diagnostics).

Trait Implementations

impl Clone for ValidationPipeline

fn clone(&self) -> ValidationPipeline

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationPipeline

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

Formats the value using the given formatter.

impl Default for ValidationPipeline

fn default() -> Self

Returns the “default value” for a type.