Struct WriteToken 

pub struct WriteToken { /* private fields */ }

Capability required to append workflow events.

This token enforces Aion’s single-writer durability invariant at the type level: only the recorder append path may hold write authority for a workflow. SequenceConflict remains the runtime defense-in-depth signal for any internal misuse or future bypass that attempts to append with a stale head.

Implementations

impl WriteToken

pub fn recorder() -> Self

Constructs a write token for Aion’s recorder path.

Trait Implementations

impl Clone for WriteToken

fn clone(&self) -> WriteToken

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WriteToken

impl Debug for WriteToken

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

Formats the value using the given formatter.