Struct OracleSuite 

pub struct OracleSuite {

    pub task_leak: TaskLeakOracle,
    pub obligation_leak: ObligationLeakOracle,
    pub quiescence: QuiescenceOracle,
    pub loser_drain: LoserDrainOracle,
    pub finalizer: FinalizerOracle,
    pub region_tree: RegionTreeOracle,
    pub ambient_authority: AmbientAuthorityOracle,
    pub deadline_monotone: DeadlineMonotoneOracle,
    pub cancellation_protocol: CancellationProtocolOracle,
    pub actor_leak: ActorLeakOracle,
    pub supervision: SupervisionOracle,
    pub mailbox: MailboxOracle,
    pub rref_access: RRefAccessOracle,
    pub reply_linearity: ReplyLinearityOracle,
    pub registry_lease: RegistryLeaseOracle,
    pub down_order: DownOrderOracle,
    pub supervisor_quiescence: SupervisorQuiescenceOracle,
}

Aggregates all oracles for convenient use in lab runtime.

Fields

task_leak: TaskLeakOracle

Task leak oracle.

obligation_leak: ObligationLeakOracle

Obligation leak oracle.

quiescence: QuiescenceOracle

Quiescence oracle.

loser_drain: LoserDrainOracle

Loser drain oracle.

finalizer: FinalizerOracle

Finalizer oracle.

region_tree: RegionTreeOracle

Region tree oracle.

ambient_authority: AmbientAuthorityOracle

Ambient authority oracle.

deadline_monotone: DeadlineMonotoneOracle

Deadline monotonicity oracle.

cancellation_protocol: CancellationProtocolOracle

Cancellation protocol oracle.

actor_leak: ActorLeakOracle

Actor leak oracle.

supervision: SupervisionOracle

Supervision oracle.

mailbox: MailboxOracle

Mailbox oracle.

rref_access: RRefAccessOracle

RRef access oracle.

reply_linearity: ReplyLinearityOracle

Spork: reply linearity oracle.

registry_lease: RegistryLeaseOracle

Spork: registry lease linearity oracle.

down_order: DownOrderOracle

Spork: deterministic DOWN ordering oracle.

supervisor_quiescence: SupervisorQuiescenceOracle

Spork: supervisor quiescence oracle.

Implementations

impl OracleSuite

pub fn new() -> Self

Creates a new oracle suite with all oracles initialized.

pub fn hydrate_temporal_from_state(&mut self, state: &RuntimeState, now: Time)

Rebuilds core temporal-oracle state from a runtime snapshot.

This hydrates invariant checkers that require lifecycle observations but are often inspected post-run from the current runtime state.

pub fn check_all(&self, now: Time) -> Vec<OracleViolation>

Checks all oracles and returns any violations.

pub fn reset(&mut self)

Resets all oracles to their initial state.

pub fn report(&self, now: Time) -> OracleReport

Generates a unified oracle report with per-oracle status and statistics.

Trait Implementations

impl Debug for OracleSuite

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

Formats the value using the given formatter.

impl Default for OracleSuite

fn default() -> OracleSuite

Returns the “default value” for a type.