Enum OracleResult 

pub enum OracleResult {
    Golden(ValidatedTrace),
    Consensus {
        trace: ValidatedTrace,
        agreement_ratio: f32,
    },
    Unverified {
        reason: String,
        trace: ValidatedTrace,
    },
    Failed {
        reason: String,
        diff: Option<String>,
        trace: ValidatedTrace,
    },
}

Outcome of oracle validation for a single REPL session.

Each variant carries the full ValidatedTrace so downstream consumers always have the raw data regardless of the verdict.

Examples

match result {
    OracleResult::Golden(t) => export_golden(&t),
    OracleResult::Failed { reason, .. } => warn!("{reason}"),
    _ => {}
}

Variants

Golden(ValidatedTrace)

Deterministically verified — safe for training data.

Consensus

Verified via multi-run agreement with a confidence ratio.

Fields

trace: ValidatedTrace

The validated trace snapshot.

agreement_ratio: f32

Fraction of runs that agreed (0.0–1.0).

Unverified

No oracle could verify; kept for manual review.

Fields

reason: String

Why verification was skipped.

trace: ValidatedTrace

The unverified trace snapshot.

Failed

Oracle actively disagrees with the answer.

Fields

reason: String

What the oracle found wrong.

diff: Option<String>

Optional unified diff of expected vs. actual.

trace: ValidatedTrace

The failing trace snapshot.

Implementations

impl OracleResult

pub fn to_record(&self) -> OracleTraceRecord

Flatten the verdict enum into a serialisable record.

Copies the inner super::super::trace_types::ValidatedTrace and maps the variant to a verdict string suitable for JSON export and S3 key partitioning.

Examples

let record = result.to_record();
serde_json::to_string(&record).unwrap();

Trait Implementations

impl Clone for OracleResult

fn clone(&self) -> OracleResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleResult

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

Formats the value using the given formatter.