Enum UndecidedCause 

pub enum UndecidedCause {
    Degeneracy,
    Contact,
    Budget,
    Defect,
}

Why an undecided refusal is undecided — what the evidence lacked. The boolean’s Simulation-of-Simplicity retry acts on exactly one of these.

Variants

Degeneracy

A coincident or near-tangent carrier pair made the exact arrangement structurally inconsistent. A rigid perturbation of one operand lifts the coincidence, so this is the ONE cause a retry addresses.

Contact

Contact / graze evidence with no boundary faces. Undecided, but a nudge would MANUFACTURE the answer (a sliver, or nothing) rather than reveal it, so it is never retried.

Budget

An iterative lane ran out of budget.

Defect

An internal consistency check tripped — a defect, kept visible rather than retried.

Trait Implementations

impl Clone for UndecidedCause

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 UndecidedCause

impl Debug for UndecidedCause

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

Formats the value using the given formatter.

impl Eq for UndecidedCause

impl PartialEq for UndecidedCause

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UndecidedCause