Enum AssayContract 

pub enum AssayContract {
    DeltaClass,
    UnknownChangedFact,
    Denominator,
    AffectedCeiling,
    RevisionDelta,
    CarriedState,
    D1UnaffectedFloor,
    D2UnaffectedFloor,
    D4UnaffectedFloor,
    D6CarriedState,
    SemanticNoOpWork,
}

Closed stage-one contracts that can require projection repair.

Variants

DeltaClass

A controlled delta used the wrong semantic class.

UnknownChangedFact

A changed fact was absent from the sealed fact universe.

Denominator

The sealed graph disagreed with the declared denominator.

AffectedCeiling

The prediction exceeded its affected-conclusion ceiling.

RevisionDelta

The prediction exceeded its journal revision ceiling.

CarriedState

Carried-state emission disagreed with the oracle.

D1UnaffectedFloor

D1 did not leave every conclusion unaffected.

D2UnaffectedFloor

D2 left less than 95 percent of conclusions unaffected.

D4UnaffectedFloor

D4 left less than 70 percent of conclusions unaffected.

D6CarriedState

D6 emitted carried state.

SemanticNoOpWork

A semantic no-op predicted journal or execution work.

Trait Implementations

impl Clone for AssayContract

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AssayContract

impl Debug for AssayContract

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

Formats the value using the given formatter.

impl Eq for AssayContract

impl Ord for AssayContract

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for AssayContract

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for AssayContract

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for AssayContract