Struct DecisionCITL 

pub struct DecisionCITL { /* private fields */ }

Compiler-in-the-Loop (CITL) trainer

Correlates compiler decision traces with compilation outcomes to identify error-contributing decisions and suggest fixes.

Example

use entrenar::citl::{DecisionCITL, DecisionTrace, CompilationOutcome, SourceSpan};

let mut trainer = DecisionCITL::new()?;

// Ingest a failed session
let traces = vec![
    DecisionTrace::new("d1", "type_inference", "Inferred type i32")
        .with_span(SourceSpan::line("main.rs", 5)),
];
let outcome = CompilationOutcome::failure(
    vec!["E0308".to_string()],
    vec![SourceSpan::line("main.rs", 5)],
    vec!["mismatched types".to_string()],
);

trainer.ingest_session(traces, outcome, None)?;

// Correlate errors
let correlations = trainer.correlate_error("E0308", &SourceSpan::line("main.rs", 5))?;

Implementations

impl DecisionCITL

pub fn new() -> Result<Self, Error>

Create a new CITL trainer with default configuration

pub fn with_config(config: CITLConfig) -> Result<Self, Error>

Create a new CITL trainer with custom configuration

pub fn ingest_session( &mut self, traces: Vec<DecisionTrace>, outcome: CompilationOutcome, fix_diff: Option<String>, ) -> Result<(), Error>

Ingest a compilation session

Arguments

• traces - Decision traces from the compilation
• outcome - The compilation outcome
• fix_diff - Optional fix diff if the error was fixed

pub fn correlate_error( &self, error_code: &str, error_span: &SourceSpan, ) -> Result<ErrorCorrelation, Error>

Correlate an error with decisions that may have caused it

Arguments

• error_code - The error code to analyze
• error_span - The source span where the error occurred

Returns

Error correlation with suspicious decisions and fix suggestions

impl DecisionCITL

pub fn pattern_store(&self) -> &DecisionPatternStore

Get the pattern store

pub fn pattern_store_mut(&mut self) -> &mut DecisionPatternStore

Get mutable pattern store

pub fn success_count(&self) -> usize

Get the number of successful sessions

pub fn failure_count(&self) -> usize

Get the number of failed sessions

pub fn session_count(&self) -> usize

Get the total number of sessions

pub fn decision_stats(&self) -> &HashMap<String, DecisionStats>

Get decision statistics

pub fn config(&self) -> &CITLConfig

Get the configuration

pub fn top_suspicious_types(&self, k: usize) -> Vec<(&str, f32)>

Get top suspicious decision types (by Tarantula score)

pub fn decisions_by_file(&self) -> HashMap<String, Vec<&DecisionTrace>>

Group decisions by source file

pub fn build_dependency_graph(&self) -> HashMap<String, Vec<String>>

Build a dependency graph for all decisions

pub fn find_root_causes(&self, error_span: &SourceSpan) -> Vec<&DecisionTrace>

Find the root causes (decisions with no dependencies that are suspicious)

Trait Implementations

impl Debug for DecisionCITL

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

Formats the value using the given formatter.