Struct MemoryNamespaceChangeToken 

pub struct MemoryNamespaceChangeToken { /* private fields */ }

Bounded, content-free evidence that one namespace did not change.

A token is meaningful only for repeated reads of the same exact namespace from the same repository history. Equal tokens prove that no novel, successful repository apply changed that namespace between the reads. Sequences may jump, but must never repeat after a change. Admission and use events do not change the token.

The token is not a namespace or backend identity, a snapshot, a lock, or a distributed lease. Consumers must retain their ordinary snapshot and revision-CAS proofs whenever the token is unavailable or changes.

Implementations

impl MemoryNamespaceChangeToken

pub fn new(sequence: u64) -> Self

Construct a token for a backend-owned monotonic sequence.

pub fn profile(&self) -> &str

pub fn sequence(&self) -> u64

pub fn verify(&self) -> Result<(), MemoryRepositoryError>

Verify that a deserialized or backend-provided token uses this contract.

Trait Implementations

impl Clone for MemoryNamespaceChangeToken

fn clone(&self) -> MemoryNamespaceChangeToken

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemoryNamespaceChangeToken

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MemoryNamespaceChangeToken

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for MemoryNamespaceChangeToken

impl PartialEq for MemoryNamespaceChangeToken

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for MemoryNamespaceChangeToken

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 MemoryNamespaceChangeToken