Enum ApproxReason 

pub enum ApproxReason {
    ComboCapExceeded {
        combos: usize,
        cap: usize,
    },
    ContentionUnenumerated {
        contended: usize,
        combos: usize,
        cap: usize,
    },
    PoolHeuristic {
        lots: usize,
        bound: usize,
    },
}

Why a proposal is only APPROXIMATE (not a proven global minimum). Carried OUT of core (core has no logger) so the CLI can log the cap/why and the renderer can show the banner. Plain counts only → deterministic + serde/Eq-friendly (R0-C1/C3 fold).

Variants

ComboCapExceeded

The cartesian product of per-group candidate lists exceeded MAX_COMBOS; the baseline-seeded coordinate-descent fallback ran (a LOCAL optimum — disclosed, and never worse than baseline).

Fields

combos: usize

cap: usize

ContentionUnenumerated

≥1 contended same-wallet pool could not be JOINTLY enumerated within the bound; its disposals fell back to per-disposal-independent generation (a cross-period reassignment optimum may be missed — R0-C3). contended = number of disposals in the un-enumerated contention group(s).

Fields

contended: usize

combos: usize

cap: usize

PoolHeuristic

≥1 target disposal’s available pool exceeded LOT_ENUM_BOUND, so candidate_selections returned a deterministic but INCOMPLETE heuristic SUBSET of that pool’s vertices (not the full vertex enumeration) — the result over that pool is therefore NOT a proven global minimum (R2-C1). Common in practice (weekly-DCA / active-trading pools with > 12 lots). lots = the largest heuristic pool’s lot count; bound = LOT_ENUM_BOUND. Baseline-seeded, so delta ≤ 0 still holds — the disclosure corrects the false “proven optimum” claim, not the pick’s safety.

Fields

lots: usize

bound: usize

Trait Implementations

impl Clone for ApproxReason

fn clone(&self) -> ApproxReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ApproxReason

impl Debug for ApproxReason

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

Formats the value using the given formatter.

impl Eq for ApproxReason

impl PartialEq for ApproxReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ApproxReason