Struct FencedAttachCommitRestore 

pub struct FencedAttachCommitRestore {
    pub predecessor: DetachedCredentialRecoveryRestore,
    pub predecessor_debt: WideResourceVector,
    pub participant_id: ParticipantId,
    pub marker_delivery_seq: DeliverySeq,
    pub prior_binding_epoch: BindingEpoch,
    pub new_binding_epoch: BindingEpoch,
    pub resulting_floor: DeliverySeq,
    pub successor: DebtCompletionRestore,
}

Complete predecessor and event fields for a committed fenced attach.

Raw fields remain serializable, but their executable restoration entry point is crate-private. Public callers cannot combine them with an occurrence token obtained from another transition.

use liminal_protocol::lifecycle::FencedAttachCommitRestore;

fn bypass() {
    let _ = FencedAttachCommitRestore::restore;
}

Fields

predecessor: DetachedCredentialRecoveryRestore

Exact DCR predecessor.

predecessor_debt: WideResourceVector

Raw nonzero debt carried by the DCR predecessor.

participant_id: ParticipantId

Event participant; must equal the DCR owner.

marker_delivery_seq: DeliverySeq

Event marker; must equal the DCR recovery marker.

prior_binding_epoch: BindingEpoch

Event prior epoch; must equal the DCR prior epoch.

new_binding_epoch: BindingEpoch

Newly committed immediately-next binding epoch.

resulting_floor: DeliverySeq

Floor measured by the fenced-attach transaction.

successor: DebtCompletionRestore

Restricted post-attach closure state.

Trait Implementations

impl Clone for FencedAttachCommitRestore

fn clone(&self) -> FencedAttachCommitRestore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FencedAttachCommitRestore

impl Debug for FencedAttachCommitRestore

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

Formats the value using the given formatter.

impl Eq for FencedAttachCommitRestore

impl PartialEq for FencedAttachCommitRestore

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FencedAttachCommitRestore