Enum EventPayload 

pub enum EventPayload {
    RunStarted {
        plan_id: String,
        binding_context: String,
    },
    AttemptStarted {
        attempt_id: String,
        continuation_id: String,
        occurrence_binding: String,
        epoch: u64,
    },
    AttemptYielded {
        attempt_id: String,
        epoch: u64,
    },
    EpochAdvanced {
        epoch: u64,
    },
    ScopeOpened {
        scope_id: String,
        parent_scope: String,
    },
    EffectProposed {
        intent_id: String,
        scope_id: String,
        operation: String,
        mutating: bool,
        args: ArtifactRef,
        occurrence_binding: String,
    },
    EffectTransitioned {
        intent_id: String,
        transition: EffectTransition,
    },
    ScopeCommitted {
        scope_id: String,
        obligations: Vec<ObligationProjection>,
    },
    ScopeAborted {
        scope_id: String,
    },
    BindingUpdated {
        previous: String,
        current: String,
    },
    FactRecorded {
        key: String,
        value: String,
    },
    RunCompleted {
        result: Option<ArtifactRef>,
    },
}

Canonical transition payloads.

Variants

RunStarted

A Run became canonical.

Fields

plan_id: String

Plan identity.

binding_context: String

Future-default realization context.

AttemptStarted

An Attempt received a fenced lease.

Fields

attempt_id: String

Attempt identity.

continuation_id: String

Continuation identity.

occurrence_binding: String

Pinned occurrence binding.

epoch: u64

Pinned epoch.

AttemptYielded

An Attempt yielded at a safe point.

Fields

attempt_id: String

Attempt identity.

epoch: u64

Pinned epoch.

EpochAdvanced

The Run epoch advanced.

Fields

epoch: u64

New epoch.

ScopeOpened

A nested scope opened.

Fields

scope_id: String

Scope identity.

parent_scope: String

Parent scope identity.

EffectProposed

An effect was admitted with an immutable occurrence binding.

Fields

intent_id: String

Structural intent identity.

scope_id: String

Owning scope.

operation: String

Abstract operation ID.

mutating: bool

Whether it mutates the world.

args: ArtifactRef

Canonical argument artifact.

occurrence_binding: String

Pinned occurrence binding.

EffectTransitioned

One effect state axis advanced.

Fields

intent_id: String

Structural intent identity.

transition: EffectTransition

Transition.

ScopeCommitted

Internal scope state committed and obligations transferred.

Fields

scope_id: String

Scope identity.

obligations: Vec<ObligationProjection>

Deterministically derived obligations.

ScopeAborted

A scope aborted before effect release.

Fields

scope_id: String

Scope identity.

BindingUpdated

Future occurrences use a new default binding context.

Fields

previous: String

Previous context.

current: String

New context.

FactRecorded

An append-only fact was recorded.

Fields

key: String

Logical fact key.

value: String

Immutable value.

RunCompleted

A Run entered a terminal completed state.

Fields

result: Option<ArtifactRef>

Optional Result artifact.

Trait Implementations

impl Clone for EventPayload

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 EventPayload

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EventPayload

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EventPayload

impl PartialEq for EventPayload

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EventPayload

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 EventPayload