pub struct LiveFrontierOwner { /* private fields */ }Expand description
Complete executable frontier, closure-accounting, and keyed-retention owner.
The owner is intentionally move-only. It is the only live mutation input and never exposes a constructor from independent frontier/accounting components. Frontier, closure, retained charges, and participant history therefore cannot be cloned or recombined from different owners:
use liminal_protocol::lifecycle::LiveFrontierOwner;
fn clone_frontier(owner: &LiveFrontierOwner) -> LiveFrontierOwner {
owner.clone()
}use liminal_protocol::lifecycle::LiveFrontierOwner;
fn splice(left: &mut LiveFrontierOwner, right: LiveFrontierOwner) {
left.frontiers = right.frontiers;
left.closure_accounting = right.closure_accounting;
left.retained_charges = right.retained_charges;
}Implementations§
Source§impl LiveFrontierOwner
impl LiveFrontierOwner
Sourcepub fn from_initial_enrollment<F>(
initial: InitialEnrollmentFrontierCommit<F>,
retained_record_limit: u64,
) -> (InitialEnrollmentOperationCommit<F>, Self)
pub fn from_initial_enrollment<F>( initial: InitialEnrollmentFrontierCommit<F>, retained_record_limit: u64, ) -> (InitialEnrollmentOperationCommit<F>, Self)
Acquires live ownership from the protocol’s atomic initial-enrollment result.
Sourcepub const fn frontiers(&self) -> &ClaimFrontiers
pub const fn frontiers(&self) -> &ClaimFrontiers
Borrows the coupled claim frontiers.
Sourcepub const fn closure_accounting(&self) -> ClosureAccounting
pub const fn closure_accounting(&self) -> ClosureAccounting
Returns complete current closure accounting.
Sourcepub fn retained_charges(&self) -> &[RetainedRecordCharge]
pub fn retained_charges(&self) -> &[RetainedRecordCharge]
Borrows canonical keyed charges for the retained suffix.
Sourcepub const fn retained_record_limit(&self) -> u64
pub const fn retained_record_limit(&self) -> u64
Returns the signed retained causal-row cap.
Sourcepub fn into_parts(
self,
) -> (ClaimFrontiers, ClosureAccounting, Vec<RetainedRecordCharge>, u64)
pub fn into_parts( self, ) -> (ClaimFrontiers, ClosureAccounting, Vec<RetainedRecordCharge>, u64)
Consumes the complete owner for RecordAdmission, Leave, or persistence.
Sourcepub fn from_unchanged_record_admission<EF, V, LF>(
unchanged: UnchangedRecordAdmission<'_, EF, V, LF>,
retained_record_limit: u64,
) -> (Self, RecordAdmission, ResourceVector)
pub fn from_unchanged_record_admission<EF, V, LF>( unchanged: UnchangedRecordAdmission<'_, EF, V, LF>, retained_record_limit: u64, ) -> (Self, RecordAdmission, ResourceVector)
Restores the exact owner returned by a non-committing admission and recovers the same request for a same-lock retry.
Sourcepub fn from_record_admission_persistence(
persistence: RecordAdmissionPersistenceParts,
retained_record_limit: u64,
) -> Self
pub fn from_record_admission_persistence( persistence: RecordAdmissionPersistenceParts, retained_record_limit: u64, ) -> Self
Acquires the exact owner from the complete sealed successful
RecordAdmission persistence authority.
Sourcepub fn from_marker_drain(
commit: MarkerDrainCommit,
retained_record_limit: u64,
) -> (Self, StoredEdge, MarkerDeliveryProjection)
pub fn from_marker_drain( commit: MarkerDrainCommit, retained_record_limit: u64, ) -> (Self, StoredEdge, MarkerDeliveryProjection)
Acquires the exact post-drain owner and durable marker successor.