Struct InvariantStateRecord 

pub struct InvariantStateRecord {
    pub loop_id: WorkflowId,
    pub invariant: String,
    pub payload: Payload,
    pub record_type: String,
    pub window_seq: Option<u64>,
    pub recorded_at: DateTime<Utc>,
}

The current-state record of one invariant (R7): a store document of the invariant’s declared type, type-erased as payload bytes + type name.

Fields

loop_id: WorkflowId

Loop the invariant belongs to.

invariant: String

Invariant name.

payload: Payload

The record value, typed at the surface by record_type and carried type-erased here (the load-bearing type-erasure invariant).

record_type: String

Declared AWL type name of the value — provenance, never a schema.

window_seq: Option<u64>

Cadence window the value was produced in; None on signal-only loops.

recorded_at: DateTime<Utc>

When the value was recorded.

Trait Implementations

impl Clone for InvariantStateRecord

fn clone(&self) -> InvariantStateRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantStateRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InvariantStateRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for InvariantStateRecord

impl PartialEq for InvariantStateRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for InvariantStateRecord

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 InvariantStateRecord