Enum ObserverCheckedOperation 

pub enum ObserverCheckedOperation {
    Enrollment(EnrollmentEnvelope),
    CredentialAttach(AttachEnvelope),
    InitialDetach {
        request: DetachEnvelope,
        committed_binding_epoch: BindingEpoch,
    },
    Leave {
        request: LeaveEnvelope,
        prior_terminal_cell_exists: bool,
    },
    RecordAdmission(RecordAdmissionEnvelope),
}

Operations whose candidate floor is checked against hard observer retention.

The variants carry every operation-specific field required by the frozen ObserverBackpressure register. Normal and marker acknowledgements are deliberately absent because they can never return this outcome.

Variants

Enrollment(EnrollmentEnvelope)

Participant enrollment.

CredentialAttach(AttachEnvelope)

Credential attach or supersession.

InitialDetach

Initial detach of the exact committed binding epoch.

Fields

request: DetachEnvelope

Exact detach request envelope.

committed_binding_epoch: BindingEpoch

Binding epoch the detach would terminalize.

Leave

Terminal Leave.

Fields

request: LeaveEnvelope

Exact Leave request envelope.

prior_terminal_cell_exists: bool

Whether an earlier binding-terminal cell already exists.

RecordAdmission(RecordAdmissionEnvelope)

Ordinary record admission.

Trait Implementations

impl Clone for ObserverCheckedOperation

fn clone(&self) -> ObserverCheckedOperation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObserverCheckedOperation

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

Formats the value using the given formatter.

impl Eq for ObserverCheckedOperation

impl PartialEq for ObserverCheckedOperation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ObserverCheckedOperation