Enum OracleMode 

pub enum OracleMode {
    NotRun,
    ReferenceZic,
    ReferenceZdump,
    StructuralDecode,
    Unavailable(String),
}

Which oracle backed a report’s verdicts (T15.2 — CONTRACT.TYPING). The single owner type for the oracle-mode vocabulary: as of T15.2a, OracleResult::mode is this enum too (no claim-bearing path emits the vocabulary as a free string). Reports render mode_str (canonical snake_case); the zic-rs-compile-manifest-v8 oracle.mode field renders manifest_str, a boundary-only compatibility shim that preserves the one legacy value ("not-run") the manifest has ever emitted — removal plan: canonicalize to mode_str at the next manifest major bump (a drift test pins that the shim diverges for that one value only). The rule it enforces: oracle absence is visible — a report renders Unavailable(reason) (→ skipped_with_reason), never silence, so a verdict can never silently weaken when reference tools are missing.

Variants

NotRun

No oracle was consulted by design (e.g. support-report is compile-coverage, not behaviour).

ReferenceZic

Reference zic’s emitted bytes were the oracle (e.g. structural-report).

ReferenceZdump

Reference zdump’s decoded behaviour was the oracle (the compare zdump mode).

StructuralDecode

A decoded-TZif structural comparison (the compare structural mode).

Unavailable(String)

The required oracle tool was unavailable; the verdict was skipped, with this reason.

Implementations

impl OracleMode

pub fn mode_str(&self) -> &'static str

The stable snake_case discriminant.

pub fn skipped_with_reason(&self) -> Option<&str>

The reason an oracle was skipped, when (and only when) it was Unavailable.

pub fn manifest_str(&self) -> &'static str

The zic-rs-compile-manifest-v8 boundary rendering (T15.2a compatibility shim). The manifest path only ever holds NotRun and has historically emitted "not-run" (hyphenated); that one value is preserved here for back-compat. Every other variant has no legacy manifest form (they never appeared there), so this is identical to mode_str for them — i.e. the shim diverges for exactly one value, which a drift test pins. Removal plan: canonicalize to mode_str at the next manifest major bump.

pub fn to_json_field(&self) -> String

Render as the report’s oracle_mode object: { "mode": …, "skipped_with_reason": …|null }. Absence is always visible — skipped_with_reason is non-null exactly when the oracle was missing.

Trait Implementations

impl Clone for OracleMode

fn clone(&self) -> OracleMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleMode

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

Formats the value using the given formatter.

impl Eq for OracleMode

impl PartialEq for OracleMode

fn eq(&self, other: &OracleMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OracleMode