Struct Operation 

pub struct Operation {
    pub kind: OperationKind,
    pub parents: Vec<OpId>,
    pub intent_id: Option<IntentId>,
}

The operation as a whole — its kind and the causal predecessors it assumes. The OpId is computed from this plus a sorted view of parents.

Operations without parents are valid and represent “applies to the empty repository” or “applies to the synthetic genesis state.” lex store migrate v1→v2 will produce parentless ops for stages it can’t trace back to a clear predecessor.

Fields

kind: OperationKind

parents: Vec<OpId>

Operations whose produces this op assumes. Sorted before hashing for canonical form. Empty for ops against the empty repo.

intent_id: Option<IntentId>

The intent that caused this op, if known. Optional because operations produced outside an agent harness (e.g. a human running lex publish directly) don’t have one.

Including the intent in the canonical hash means the same logical change made under different intents produces different OpIds — causally distinct events should hash distinctly. Ops with intent_id: None keep their existing hashes (the field is omitted from the canonical JSON via skip_serializing_if), so this is backwards-compatible for stores written before #131.

Implementations

impl Operation

pub fn new(kind: OperationKind, parents: impl IntoIterator<Item = OpId>) -> Self

Construct an operation against zero or more parents. Caller supplies parents in any order; canonicalization sorts them before hashing.

pub fn with_intent(self, intent_id: impl Into<IntentId>) -> Self

Tag this operation with the intent that produced it. The builder shape keeps existing call sites untouched; agent harnesses that record intent call this once before applying the op.

pub fn op_id(&self) -> OpId

Compute this operation’s content-addressed identity.

Stable across runs and machines: same (kind, payload, sorted parents, intent_id) produces the same OpId. The invariant #129’s automatic-dedup behavior relies on.

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Operation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Operation

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Operation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Operation

impl StructuralPartialEq for Operation