Struct TraceValidator 

pub struct TraceValidator { /* private fields */ }

Main trace validator for RLM REPL outputs.

Implementations

impl TraceValidator

pub fn new() -> TraceValidator

Create a new trace validator with default configuration.

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

Set the confidence threshold for golden classification.

pub fn with_consensus_threshold(self, threshold: f32) -> TraceValidator

Set consensus threshold for semantic query verification.

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.

pub fn validate_with_consensus( &self, results: &[RlmAnalysisResult], _source: &str, source_path: Option<&str>, repo_revision: Option<&str>, trace_steps: Option<Vec<TraceStep>>, ) -> OracleResult

Validate multiple semantic runs using strict consensus.

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 Clone for TraceValidator

fn clone(&self) -> TraceValidator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraceValidator

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

Formats the value using the given formatter.

impl Default for TraceValidator

fn default() -> TraceValidator

Returns the “default value” for a type.