Struct Assignee 

pub struct Assignee {
    pub op: String,
    pub desc: String,
    pub gen: u64,
}

Who currently holds one slot of a Run — the model’s Assignee ({ op, desc, gen }), persisted as one value of the RunRecord::current map.

A “slot” is a Blueprint-declared Operator seat: the operator_ref an agent names (Blueprint.operators[].name). A Blueprint may declare several, so a Run has as many slots as its Blueprint declares, each with its own holder over time.

Invariants this type carries (model §4.3):

• A1 |Run.current| ≤ 1 per slot — expressed as the map keyed by slot on RunRecord::current: one key cannot hold two values, so a seat cannot have two holders. The slot is the map key, never a field of this struct.
• A3 Self::gen is immutable for the lifetime of an instance. Re-assignment never mutates an existing Assignee; the store mints a fresh instance with the next generation (Q3). Nothing in this crate takes &mut Assignee.
• A9 Self::desc is mandatory. The store rejects an empty (or whitespace-only) desc with RunStoreError::AssigneeDescRequired; the HTTP layer maps that to 400. The store itself never decides a status code.
• A10 this is the one place a slot’s current holder is recorded and the one place it is read from — the destination is not baked into any sibling field.

The Assignee does not cross the SAP boundary (model §4.7 T1): the primitives below the boundary carry an operator, never an assignee or a generation.

Fields

op: String

Who holds the slot — the model’s OperatorId, which is the key space of the engine’s operator registry. Session ids (S-<hex>) and role aliases (main-ai) share that one key space (the WS login path registers both), so this stays a plain String rather than narrowing to a session id.

desc: String

Why this holder was assigned — the human-readable record of the assignment. Required (A9); an empty value is rejected at the store boundary rather than stored as "".

gen: u64

The generation stamped on this holder at acquire time (A4: G after the increment). Immutable for the lifetime of the instance (A3) — a later acquire produces a NEW Assignee with a higher gen instead of rewriting this one.

G is a single counter per Run, not per slot: an assignment to any slot advances the one counter, so two holders of different slots can be ordered against each other by gen alone.

Trait Implementations

impl Clone for Assignee

fn clone(&self) -> Assignee

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Assignee

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Assignee

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Assignee

impl JsonSchema for Assignee

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for Assignee

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Assignee

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 Assignee