Enum RebindRefusal 

pub enum RebindRefusal {
    ResidencyUnknown,
    ResidencyDiffers {
        baked: DeviceLocation,
        incoming: DeviceLocation,
    },
    MissingSlot {
        layer: usize,
        which: usize,
    },
    UnbakedSlot {
        layer: usize,
        which: usize,
    },
    StorageDiffers {
        layer: usize,
        which: usize,
    },
    LockPoisoned,
}

Why a held plan could not be re-bound onto a replacement KV allocation.

A refusal is a normal outcome, not an error: the caller falls back to the GAP-014 rebuild, which is correct by construction. The variants exist so the guard’s reasons are nameable in a test — the point of GAP-028 is that this guard is load-bearing for correctness, so “it refused” is not enough to know it refused for the right reason.

Variants

ResidencyUnknown

The replacement cannot say where its storage lives, so residency cannot be proven equal to the plan’s. See KvCache::device_location.

ResidencyDiffers

The plan’s placement stamps and residency copies were baked for a different device.

Fields

baked: DeviceLocation

incoming: DeviceLocation

MissingSlot

The replacement has no storage for a slot the plan writes.

Fields

layer: usize

which: usize

UnbakedSlot

A baked KV Const has no base_cache entry — an internal inconsistency in the held plan, not a property of the replacement.

Fields

layer: usize

which: usize

StorageDiffers

The replacement storage is not byte-interchangeable with the baked storage: different dtype, encoding, backend variant, or extent.

Fields

layer: usize

which: usize

LockPoisoned

A storage lock was poisoned while comparing. Refuse rather than guess.

Trait Implementations

impl Clone for RebindRefusal

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RebindRefusal

impl Debug for RebindRefusal

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

Formats the value using the given formatter.

impl Eq for RebindRefusal

impl PartialEq for RebindRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RebindRefusal