Enum HistoricalCausalFactRestore 

pub enum HistoricalCausalFactRestore {
    BindingTerminal {
        conversation_id: ConversationId,
        participant_index: ParticipantId,
        binding_epoch: BindingEpoch,
        admission_order: AdmissionOrder,
    },
    MembershipExit {
        conversation_id: ConversationId,
        participant_index: ParticipantId,
        admission_order: AdmissionOrder,
    },
}

Raw durable facts for one compacted causal lifecycle record.

This is storage input, not executable provenance. Only complete super::ParticipantConversationRestore validation can pair these facts with owned membership or tombstone history and turn them into crate-private marker provenance. In particular, neither a raw binding-terminal position nor a raw Left major can be converted into sealed authority directly.

use liminal_protocol::lifecycle::HistoricalCausalAuthority;

Variants

BindingTerminal

A compacted binding terminal retained by participant history.

Fields

conversation_id: ConversationId

Owning conversation.

participant_index: ParticipantId

Permanent participant index.

binding_epoch: BindingEpoch

Exact ended binding epoch.

admission_order: AdmissionOrder

Immutable binding-terminal tuple.

MembershipExit

A compacted Left record retained by the permanent tombstone.

Fields

conversation_id: ConversationId

Owning conversation.

participant_index: ParticipantId

Permanent retired participant index.

admission_order: AdmissionOrder

Immutable membership-exit tuple.

Trait Implementations

impl Clone for HistoricalCausalFactRestore

fn clone(&self) -> HistoricalCausalFactRestore

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for HistoricalCausalFactRestore

impl Debug for HistoricalCausalFactRestore

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

Formats the value using the given formatter.

impl Eq for HistoricalCausalFactRestore

impl PartialEq for HistoricalCausalFactRestore

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HistoricalCausalFactRestore