Struct TraceValidator 

pub struct TraceValidator { /* private fields */ }

Trace validator that routes to appropriate oracles.

Implementations

impl TraceValidator

pub fn new() -> Self

Create a new trace validator.

pub fn with_confidence_threshold(self, threshold: f32) -> Self

Set the confidence threshold for golden classification.

pub fn validate( &self, result: &RlmAnalysisResult, source: &str, source_path: Option<&str>, repo_revision: Option<&str>, trace_steps: Option<Vec<TraceStep>>, ) -> OracleResult

Validate an RLM analysis result against source code. Validate an RLM analysis result against source code.

Arguments

• result - The RLM analysis result to validate
• source - The source code that was analyzed
• source_path - Optional path to the source file (for metadata)
• repo_revision - Git commit SHA for reproducibility
• trace_steps - Optional trace steps from execution

Returns

• OracleResult::Golden if the answer is verified correct
• OracleResult::Unverified if no oracle is available
• OracleResult::Failed if the oracle disagrees with the answer

pub fn batch_validate<'a>( &self, traces: impl IntoIterator<Item = (RlmAnalysisResult, &'a str, Option<&'a str>)>, ) -> BatchValidationStats

Batch validate multiple traces and return statistics.

pub fn batch_validate_with_options<'a>( &self, traces: impl IntoIterator<Item = (RlmAnalysisResult, &'a str, Option<&'a str>)>, repo_revision: Option<&str>, trace_steps: Option<Vec<TraceStep>>, ) -> BatchValidationStats

Batch validate with additional options.

Trait Implementations

impl Default for TraceValidator

fn default() -> Self

Returns the “default value” for a type.