Enum Disposition 

#[non_exhaustive]
pub enum Disposition {
    CommittedCheap,
    CommittedInferred,
    QueuedForAdjudication,
    Contested,
    PendingConflict,
    PendingReview,
    PendingLowConfidence,
    Quarantined,
    Superseded,
    Invalidated,
    Reinstated,
    Rejected,
}

The 12-state disposition model.

Returned synchronously on every write. For heavy-path (belief-overturning) operations, the engine returns QueuedForAdjudication immediately; the final state arrives asynchronously via the oracle callback.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

CommittedCheap

New non-conflicting first-hand external fact; committed Active at low currency.

CommittedInferred

ModelDerived; committed down-weighted, ineligible to overturn until anchored.

QueuedForAdjudication

Belief-overturning op accepted into async adjudication (non-blocking return).

Contested

External contradiction; oracle absent; incumbent downgraded; no resolution yet.

PendingConflict

Not enough to overturn; both claims surfaced; awaiting evidence/oracle.

PendingReview

A depended-on parent was superseded; dependent flagged for review (not auto-invalidated).

PendingLowConfidence

Ambiguous/weak source; held pending corroboration/oracle confirmation.

Quarantined

Burst/loop signature or incoherent tx/valid; parked, auditable, not destroyed.

Superseded

Belief-overturning accepted; prior claim bounded and retained in history.

Invalidated

Validity assertion marks claim as no-longer-true; retained in history.

Reinstated

Valid-time reopened by external/first-hand assertion (non-terminal).

Rejected

Structural failure: missing/invalid provenance, malformed fact, write-authority violation.

Trait Implementations

impl Clone for Disposition

fn clone(&self) -> Disposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Disposition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Disposition

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Disposition

impl PartialEq for Disposition

fn eq(&self, other: &Disposition) -> 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 Serialize for Disposition

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Disposition