Enum ServerPush 

pub enum ServerPush {
    ObserverProgressed {
        conversation_id: ConversationId,
        refused_epoch: ObserverEpoch,
        observer_progress: DeliverySeq,
    },
    ParticipantDelivery(ParticipantDelivery),
    MarkerSettled {
        conversation_id: ConversationId,
        refused_epoch: SettlementEpoch,
    },
}

Exhaustive pushed participant control/value.

Variants

ObserverProgressed

Observer progress wake (0x0200).

Fields

conversation_id: ConversationId

Conversation whose observer advanced.

refused_epoch: ObserverEpoch

Refusal epoch the progress may wake.

observer_progress: DeliverySeq

Current observer progress.

ParticipantDelivery(ParticipantDelivery)

Participant record delivery (0x0201).

MarkerSettled

Marker-settlement clearing wake (0x0202).

Paired with the MarkerSettlementBackpressure refusal and delivered CONNECTION-SCOPED: exactly to the connections that received that refusal in this process lifetime, mirroring ObserverProgressed’s connection-level delivery. A refused attach client holds no binding and therefore receives no ParticipantDelivery, so without this wake the only honest client behavior would be polling.

It is NEVER sent to a connection refused at the enrollment wrapper: that wrapper carries no membership predicate, so its refusal (EnrollmentSettlementBackpressure) carries neither epoch nor wake (participant contract §0.16 condition 2, enrollment wrapper).

Fields

conversation_id: ConversationId

Conversation whose marker settlement cleared.

refused_epoch: SettlementEpoch

Refusal epoch this clearing wakes; matched by the stage-11 retry against the refusal’s own refused_epoch.

Implementations

impl ServerPush

pub const fn discriminant(&self) -> PushDiscriminant

Returns the stable push discriminant.

Trait Implementations

impl Clone for ServerPush

fn clone(&self) -> ServerPush

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ServerPush

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

Formats the value using the given formatter.

impl Eq for ServerPush

impl PartialEq for ServerPush

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ServerPush