Enum DifferentialExpect 

pub enum DifferentialExpect {
    Changed,
    Unchanged,
    DeltaWithin {
        min: Option<f64>,
        max: Option<f64>,
    },
}

The differential claims the runtime can decide. Matching is exhaustive everywhere — a new variant must be handled at every site or the build fails, which is the point.

Variants

Changed

The output must differ from the captured baseline (“this trace now appears and did not before”, “the heartbeat flipped”).

Unchanged

The output must be identical to the captured baseline — the control-group claim (“the other tenant’s rows did not move”).

DeltaWithin

Both outputs must carry a number, and after - before must fall within the stated bounds (either side optional, at least one required — OutcomeContract::validate rejects the unbounded form). “Orphaned rows fell by at least 100” is { "max": -100.0 }.

Fields

min: Option<f64>

max: Option<f64>

Trait Implementations

impl Clone for DifferentialExpect

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DifferentialExpect

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DifferentialExpect

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DifferentialExpect

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DifferentialExpect

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 DifferentialExpect