Struct ReducerDelta 

pub struct ReducerDelta {

    pub run_id: String,
    pub sequence: u64,
    pub applied: bool,
    pub status_before: StrategyRunStatus,
    pub status_after: StrategyRunStatus,
    pub entered: Vec<VisitFact>,
    pub bindings: Vec<InputBinding>,
    pub results: Vec<ResultRef>,
    pub joins_satisfied: Vec<JoinSatisfaction>,
    pub join_arrivals: Vec<JoinArrivalReceipt>,
    pub shared_writes: Vec<SharedWriteReceipt>,
    pub settled_commands: Vec<String>,
    pub emitted_commands: Vec<String>,
}

What one reducer step changed.

The delta is what a store persists incrementally, so it is built from the facts the machine actually produced rather than recomputed from the two snapshots: a consumer that applied only the delta must hold exactly the snapshot the step returned, and the differential test checks that claim against an independent diff instead of trusting it.

Fields

run_id: String

sequence: u64

applied: bool

status_before: StrategyRunStatus

status_after: StrategyRunStatus

entered: Vec<VisitFact>

bindings: Vec<InputBinding>

results: Vec<ResultRef>

Results this step made final, in completion order.

joins_satisfied: Vec<JoinSatisfaction>

join_arrivals: Vec<JoinArrivalReceipt>

Join arrivals this step recorded or refused. An arrival is causal state even before the join fires, so a consumer that applies only the delta must receive it here rather than re-deriving it.

shared_writes: Vec<SharedWriteReceipt>

settled_commands: Vec<String>

emitted_commands: Vec<String>

Trait Implementations

impl Clone for ReducerDelta

fn clone(&self) -> ReducerDelta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReducerDelta

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

Formats the value using the given formatter.

impl Default for ReducerDelta

fn default() -> ReducerDelta

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ReducerDelta

fn deserialize<__D>( __deserializer: __D, ) -> Result<ReducerDelta, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ReducerDelta

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ReducerDelta

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ReducerDelta