Enum BootDrainRefusal 

pub enum BootDrainRefusal {
    RecoveryArmed,
    Shape,
}

Why F8B boot recovery could not empty a restored conversation’s immutable-candidate lane (docs/design/F8B-INTENT-DEADLOCK.md §6.2 R-BOOT-VERDICT).

The discrimination is BY TYPE, for the same reason ParticipantSemanticError::BindingTerminalAdmissionRefused carries BindingTerminalAdmitError: a consumer deciding what a refused boot means must not read it out of a formatted message.

Variants

RecoveryArmed

The lane head is a pending binding terminal under an armed fenced-attach recovery block. The terminal drain refuses outright while a recovery block is armed, and the only consumer of a recovery block is a live fenced attach — which boot cannot perform. Such a store is not repairable by the boot drain, and this verdict is the honest answer rather than a repair.

Shape

Any other drain refusal: the head was reachable, the drain was attempted, and the protocol refused the transition.

Trait Implementations

impl Clone for BootDrainRefusal

fn clone(&self) -> BootDrainRefusal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BootDrainRefusal

impl Debug for BootDrainRefusal

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

Formats the value using the given formatter.

impl Eq for BootDrainRefusal

impl PartialEq for BootDrainRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BootDrainRefusal