Crate decy_oracle 

Decy Oracle: CITL pattern mining and fix suggestions for C-to-Rust transpilation

This crate provides Tarantula fault localization to identify C language features most correlated with transpilation failures, and suggest fixes.

Architecture

┌─────────────────────┐     ┌──────────────────┐
│  C Source Files     │────►│  CorpusCITL      │
│  (transpilation)    │     │  Pattern Mining  │
└─────────────────────┘     └──────────────────┘
                                     │
                                     ▼
                             ┌──────────────────┐
                             │  DecisionCITL    │
                             │  (Tarantula)     │
                             └──────────────────┘
                                     │
                                     ▼
                             ┌──────────────────┐
                             │  DecyOracle      │
                             │  (Fix Suggestions)│
                             └──────────────────┘

Features

• citl: Enable entrenar CITL integration for pattern mining

Re-exports

pub use baseline::aggregate_measurements;

pub use baseline::BaselineMetrics;

pub use baseline::FileMeasurement;

pub use config::OracleConfig;

pub use context::CConstruct;

pub use context::CDecisionContext;

pub use decisions::CDecisionCategory;

pub use error::OracleError;

pub use golden_trace::GoldenTrace;

pub use golden_trace::TraceTier;

pub use import::SmartImportConfig;

pub use metrics::CIReport;

pub use metrics::CIThresholds;

pub use metrics::OracleMetrics;

pub use oracle::DecyOracle;

pub use oracle::RustcError;

pub use retirement::PatternRetirementPolicy;

pub use trace_verifier::TraceVerifier;

pub use trace_verifier::VerificationLevel;

pub use trace_verifier::VerifierConfig;

Modules

baseline

Baseline measurement for ownership inference quality (DECY-ML-005).

bootstrap

Bootstrap module for oracle cold start

config

Oracle configuration

context

C-specific decision context

dataset

Dataset export module for HuggingFace publishing

decisions

C→Rust specific decision categories

diversity

Corpus diversity validation for training data quality

error

Oracle error types

golden_trace

Golden Trace: Verified C→Rust pairs for model training

import

Smart import filter for cross-project pattern transfer

metrics

Oracle metrics for observability

oracle

Main oracle implementation

retirement

Pattern retirement policy for oracle hygiene

trace_verifier

Trace Verifier: Poka-Yoke gate for Golden Trace quality

verification

Semantic verification for pattern promotion