Struct WriteToken 

pub struct WriteToken {
    pub origin_hash: u64,
    pub seq: u64,
}

Address of a write — origin (which chain) + seq (which event on that chain). Round-trips through every binding as a typed value.

Treat tokens as opaque, in-process data. They are not signed. The fields are pub so FFI / binding layers can marshal them; application code should not synthesise tokens. See module-level docs for the trust model — origin-bound adapters reject mismatched tokens at wait_for_token.

Fields

origin_hash: u64

64-bit hash of the entity whose chain this write landed on (EntityKeypair::origin_hash).

seq: u64

Per-chain monotonic sequence assigned by RedexFile::append.

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 Debug for WriteToken

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

Formats the value using the given formatter.

impl Display for WriteToken

<origin_hex>:<seq> — chosen for grep-ability against the causal:<hex>:<seq> reserved-prefix tag shape. Stable wire form for log/CLI surfaces; bindings serialise the struct directly instead.

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

Formats the value using the given formatter.

impl FromStr for WriteToken

type Err = WriteTokenParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for WriteToken

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 WriteToken

fn eq(&self, other: &WriteToken) -> 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 Copy for WriteToken

impl Eq for WriteToken

impl StructuralPartialEq for WriteToken