Struct SessionKey 

pub struct SessionKey {
    pub workflow_id: WorkflowId,
    pub run_id: RunId,
    pub activity_id: ActivityId,
    pub attempt: u32,
}

The (workflow, run, activity, attempt) key one running agent session is addressed by — the exact identity the design keys the whole intervention path on, and the mirror of the server-side AttemptKey.

The run is part of the key for the same reason it is part of the transcript stream key: a continue-as-new chain reuses one workflow id while ordinals and attempts restart per generation, so a run-blind key would let a command aimed at generation two reach generation one’s live session. Delivering a steer to the wrong generation is a control-plane fault, not a cosmetic one.

Fields

workflow_id: WorkflowId

The workflow the target activity belongs to.

run_id: RunId

The concrete run of that workflow the target attempt belongs to.

activity_id: ActivityId

The target activity within the workflow.

attempt: u32

The target attempt. A command to any other attempt is a stale-target no-op.

Implementations

impl SessionKey

pub const fn new( workflow_id: WorkflowId, run_id: RunId, activity_id: ActivityId, attempt: u32, ) -> Self

Build a session key from its four components.

pub fn of_command(command: &InterventionCommand) -> Self

The session key naming the target of a routed command.

Trait Implementations

impl Clone for SessionKey

fn clone(&self) -> SessionKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionKey

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

Formats the value using the given formatter.

impl Eq for SessionKey

impl Hash for SessionKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SessionKey

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SessionKey