liminal-protocol 0.2.0

Shared participant-lifecycle protocol types for liminal
Documentation
mod capacity;
mod observer;
mod order;
mod record;
mod sequence;

#[cfg(test)]
mod capacity_tests;
#[cfg(test)]
mod observer_tests;
#[cfg(test)]
mod order_tests;
#[cfg(test)]
mod record_tests;
#[cfg(test)]
mod sequence_tests;

pub use capacity::{
    BindingSlotDecision, BindingSlotOccupancy, CapacityCounter, CapacityCounterInvariantError,
    ConnectionConversationCapacityCommit, ConnectionConversationTracking,
    CredentialAttachCapacityCommit, CredentialAttachCapacityCounters,
    CredentialAttachCapacityDecision, EnrollmentCapacityCommit, EnrollmentCapacityCounters,
    EnrollmentCapacityDecision, FreshParticipantCapacityCounter,
    FreshParticipantCapacityCounterInvariantError, ResultingEnrollmentCapacityCounters,
    SemanticConnectionCapacityDecision, select_credential_attach_binding_slot,
    select_credential_attach_capacity, select_enrollment_binding_slot, select_enrollment_capacity,
    select_semantic_connection_capacity,
};
pub use observer::{
    ObserverCheckedOperation, ObserverFloorDecision, ObserverFloorPermit, check_observer_floor,
};
pub use order::{
    OrderAdmissionError, OrderAllocation, OrderClaims, OrderClaimsInvariantError, OrderHigh,
    OrderLedger, OrderLedgerInvariantError,
};
pub(super) use order::{ResultingOrderClaims, allocate_order};
pub use record::{RecordSizeDecision, RecordSizePermit, check_record_size};
pub use sequence::{
    RecoverySequenceReserve, SequenceAdmission, SequenceAdmissionError, SequenceClaims,
    SequenceLedger, SequenceLedgerInvariantError,
};
pub(super) use sequence::{ResultingSequenceState, admit_sequence};