Struct SourceReplayContract 

pub struct SourceReplayContract {
    pub stability: SourceReplayStability,
    pub generation: u64,
    pub value_form: SourceValueForm,
}

Runtime source capability used by offset-stamped batch plans.

generation must change whenever rendering the same ordinal may produce a different value. Activation identity remains executor-owned because a phase rewind can intentionally replay one unchanged source generation as a new logical evaluation.

Fields

stability: SourceReplayStability

Whether rendering an ordinal again gives the same value.

generation: u64

The generation of the source’s values; changes when an ordinal may render differently.

value_form: SourceValueForm

What a value is: an ordinal, or opaque.

Implementations

impl SourceReplayContract

pub const fn consumptive() -> Self

The contract of a source that is consumed as it advances: no replay.

pub const fn stable_ordinal(generation: u64) -> Self

The contract of a source stable by ordinal in generation.

pub const fn is_stable_by_ordinal(self) -> bool

Whether any owned ordinal renders again without advancing the source.

pub const fn is_perfect_ordinal(self) -> bool

True when the source ordinal is simultaneously a replay key, scalar value, packet number, and low-order lane clock.

Trait Implementations

impl Clone for SourceReplayContract

fn clone(&self) -> SourceReplayContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SourceReplayContract

impl Debug for SourceReplayContract

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

Formats the value using the given formatter.

impl Default for SourceReplayContract

fn default() -> SourceReplayContract

Returns the “default value” for a type.

impl Eq for SourceReplayContract

impl PartialEq for SourceReplayContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceReplayContract