Enum LensSelectionRefusal 

pub enum LensSelectionRefusal {
    MeasureIndexOutOfRange {
        measure: usize,
    },
    LensIndexOutOfRange {
        lens_idx: usize,
    },
    QMagnitudeExceeded {
        q: SignedFixed,
    },
    Cyclic,
}

Why allocate_single_lens refused to produce a single-lens allocation.

A typed, non-panicking refusal, matching the crate’s established one-variant-per-check convention (mirrors CertificationRefusal’s shape).

Variants

MeasureIndexOutOfRange

measure was not a valid index into the K measures (0..K).

Fields

measure: usize

LensIndexOutOfRange

lens_idx was not a valid index into the Q lenses (0..Q).

Fields

lens_idx: usize

QMagnitudeExceeded

lenses[lens_idx].q’s magnitude exceeded crate::cascade::MAX_LENS_MAGNITUDE – the same, unconditionally enforced bound crate::escort::escort_distribution checks. Not to be confused with allocate_in’s separate, proof-conditional q in [-2, 2] admission policy (see crate::generated_profile::MAX_LENS_MAGNITUDE’s doc comment for why the two are different, independently-sourced domains).

Fields

q: SignedFixed

Cyclic

parent contains a cycle (or a chain deeper than N - 1 hops permits) – the same witness check_hierarchy_acyclic checks.

Trait Implementations

impl Clone for LensSelectionRefusal

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 LensSelectionRefusal

impl Debug for LensSelectionRefusal

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

Formats the value using the given formatter.

impl Display for LensSelectionRefusal

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

Formats the value using the given formatter.

impl Eq for LensSelectionRefusal

impl PartialEq for LensSelectionRefusal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LensSelectionRefusal