Enum Command 

pub enum Command {
    StartRun {
        plan_id: String,
        binding_context: String,
    },
    BeginAttempt {
        attempt_id: String,
        continuation_id: String,
        occurrence_binding: String,
        epoch: u64,
    },
    YieldAttempt {
        attempt_id: String,
        epoch: u64,
    },
    AdvanceEpoch,
    OpenScope {
        scope_id: String,
        parent_scope: String,
    },
    ProposeEffect {
        scope_id: String,
        invocation_id: String,
        site_id: String,
        occurrence: String,
        operation: String,
        args: ArtifactRef,
        occurrence_binding: String,
    },
    TransitionEffect {
        intent_id: String,
        transition: EffectTransition,
    },
    CommitScope {
        scope_id: String,
    },
    AbortScope {
        scope_id: String,
    },
    UpdateBinding {
        binding_context: String,
    },
    RecordFact {
        key: String,
        value: String,
    },
    CompleteRun {
        result: Option<ArtifactRef>,
    },
}

Commands admitted by the semantic kernel.

Variants

StartRun

Start a new Run under an immutable plan and future-default binding context.

Fields

plan_id: String

Sealed plan ID.

binding_context: String

Default realization context for future occurrences.

BeginAttempt

Begin a fenced Attempt.

Fields

attempt_id: String

Attempt identity.

continuation_id: String

Continuation identity.

occurrence_binding: String

Occurrence-level immutable binding.

epoch: u64

Expected continuation epoch.

YieldAttempt

Yield the active Attempt at a safe point.

Fields

attempt_id: String

Attempt identity.

epoch: u64

Expected continuation epoch.

AdvanceEpoch

Advance the Run epoch and fence prior attempts.

OpenScope

Open a nested state/evidence scope.

Fields

scope_id: String

New scope identity.

parent_scope: String

Existing parent scope.

ProposeEffect

Propose a structurally identified external effect.

Fields

scope_id: String

Owning open scope.

invocation_id: String

Invocation identity.

site_id: String

Stable IR effect site.

occurrence: String

Intentional occurrence key.

operation: String

Abstract effect operation.

args: ArtifactRef

Canonical argument artifact.

occurrence_binding: String

Immutable occurrence binding.

TransitionEffect

Advance one axis of an existing effect.

Fields

intent_id: String

Structural intent identity.

transition: EffectTransition

Legal next transition.

CommitScope

Commit internal scope state and transfer unresolved effect obligations.

Fields

scope_id: String

Scope identity.

AbortScope

Abort a scope before release.

Fields

scope_id: String

Scope identity.

UpdateBinding

Change the realization default for future occurrences.

Fields

binding_context: String

New immutable Binding Context reference.

RecordFact

Append an independent immutable fact for causal conformance tests.

Fields

key: String

Stable logical fact key.

value: String

Immutable value digest or reference.

CompleteRun

Finish a Run after required obligations have settled.

Fields

result: Option<ArtifactRef>

Optional typed Result artifact.

Trait Implementations

impl Clone for Command

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 Command

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Command

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Command

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Command

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 Command