Enum Message 

pub enum Message {
    Start,
    Dirty,
    Resolved,
    Data(HandleId),
    Invalidate,
    Pause(LockId),
    Resume(LockId),
    Complete,
    Error(HandleId),
    Teardown,
}

A protocol message.

Payload-bearing variants carry HandleId (not user values) per the handle-protocol cleaving plane. Pause/Resume carry LockId (mandatory per R1.2.6; bare [PAUSE] / [RESUME] is a protocol violation).

Variants

Start

Subscribe-time handshake. Per-subscription; not forwarded through intermediate nodes (R1.2.3). Tier 0.

Dirty

Phase 1: value about to change. Tier 1 — immediate.

Resolved

Phase 2: dirty pass complete, value unchanged (or equals-substituted). Tier 3 — deferred inside batch.

Data(HandleId)

Value delivery. The handle never carries the sentinel — [DATA, undefined] / [DATA, None] is a protocol violation per R1.2.4. Tier 3.

Invalidate

Cache clear; does not auto-emit. Tier 4 — deferred.

Pause(LockId)

Suspend activity. lockId mandatory (R1.2.6). Tier 2 — synchronous.

Resume(LockId)

Resume after pause. Unknown lockId is an idempotent no-op. Tier 2.

Complete

Clean termination. Tier 5 — deferred.

Error(HandleId)

Error termination. Payload handle MUST resolve to a non-sentinel value per R1.2.5. Tier 5 — deferred.

Teardown

Permanent cleanup; auto-precedes Message::Complete when delivered to a non-terminal node (R2.6.4 / Lock 6.F). Tier 6 — deferred (drains last).

Implementations

impl Message

pub const fn tier(self) -> u8

Per-message tier (0–6) per R1.3.7.b. Drives ordering in the dispatcher and gating thresholds (e.g. auto-checkpoint on tier >= 3).

pub const fn payload_handle(self) -> Option<HandleId>

True for messages that carry a value handle (Data, Error). Useful for the auto-DIRTY-prefix logic (R1.3.1.a) and for the binding-layer refcount path: payload handles get a refcount bump at emit time, decremented when the message is consumed.

pub const fn is_terminal(self) -> bool

True for the “value already moved” terminal variants. Complete and Error are the lifecycle terminators per R1.3.4.a. Teardown is destruction, not termination of message flow per se.

Trait Implementations

impl Clone for Message

fn clone(&self) -> Message

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Message

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

Formats the value using the given formatter.

impl Hash for Message

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 Message

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

impl Eq for Message

impl StructuralPartialEq for Message