Struct RetainedVerifiedMergeHistorySummary 

pub struct RetainedVerifiedMergeHistorySummary {
    pub reclaim: RetainedReclaimState,
    pub version: u32,
    pub store_root_hash: ObjectHash,
    pub causal_cut: BTreeMap<StoreCommitCoord, StoreBatchCommitRef>,
    pub last_non_acknowledgement_commits: BTreeMap<AuthorStreamId, StoreBatchCommitRef>,
    pub post_state: StoreDeviceStateRef,
    pub membership_floor: MembershipCausalFloor,
    pub registrations: BTreeMap<StoreDeviceId, ReferencedStoreDeviceRegistration>,
    pub acknowledgements: BTreeMap<StoreDeviceId, RetainedAcknowledgementChain>,
    pub membership_proofs: BTreeMap<StoreBatchCommitRef, RetainedMergeMembershipProof>,
    pub pending_owner_promotions: BTreeMap<OwnerPromotionId, RetainedOwnerPromotionRequest>,
    pub pending_device_joins: BTreeMap<StoreBatchCommitRef, DeviceJoinBootstrapClosure>,
}

Fields

reclaim: RetainedReclaimState

version: u32

store_root_hash: ObjectHash

causal_cut: BTreeMap<StoreCommitCoord, StoreBatchCommitRef>

last_non_acknowledgement_commits: BTreeMap<AuthorStreamId, StoreBatchCommitRef>

Latest meaningful publication in each author stream at this snapshot’s frontier. Canonical composition derives these exact references from verified commits; they classify acknowledgement-only advances without retaining those commits or authenticating arbitrary historical cuts.

post_state: StoreDeviceStateRef

membership_floor: MembershipCausalFloor

registrations: BTreeMap<StoreDeviceId, ReferencedStoreDeviceRegistration>

acknowledgements: BTreeMap<StoreDeviceId, RetainedAcknowledgementChain>

membership_proofs: BTreeMap<StoreBatchCommitRef, RetainedMergeMembershipProof>

pending_owner_promotions: BTreeMap<OwnerPromotionId, RetainedOwnerPromotionRequest>

pending_device_joins: BTreeMap<StoreBatchCommitRef, DeviceJoinBootstrapClosure>

Implementations

impl RetainedVerifiedMergeHistorySummary

pub fn pending_device_join_accepted_commit( &self, reference: &StoreBatchCommitRef, ) -> Result<Option<AcceptedStoreCommitPublication>, StoreProtocolError>

pub fn pending_device_join_artifacts( &self, ) -> Result<BTreeSet<ExactObjectRef>, StoreProtocolError>

Physical deletion stays unfinished while an accepted Join still consumes the original snapshot and the exact interval offered with it.

pub fn pending_device_join_snapshot_slots(&self) -> BTreeSet<ObjectSlot>

impl RetainedVerifiedMergeHistorySummary

pub fn validate_shape(&self) -> Result<(), StoreProtocolError>

pub fn validate_snapshot_baseline(&self) -> Result<(), StoreProtocolError>

Trait Implementations

impl Clone for RetainedVerifiedMergeHistorySummary

fn clone(&self) -> RetainedVerifiedMergeHistorySummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RetainedVerifiedMergeHistorySummary

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RetainedVerifiedMergeHistorySummary

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RetainedVerifiedMergeHistorySummary

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for RetainedVerifiedMergeHistorySummary

impl StructuralPartialEq for RetainedVerifiedMergeHistorySummary