Enum PcurveFitExit 

pub enum PcurveFitExit {
    Converged,
    SampleCeiling,
    RoundBudget,
    Stalled,
    SpanFloor,
}

Why a pcurve refinement stopped. Only PcurveFitExit::Converged means the floor was met; every other variant is a BUDGET exit, and the report’s residual was measured on the returned curve rather than assumed.

Variants

Converged

A probe round found every station within the floor. An affine carrier maps exactly and reports this with a zero residual.

SampleCeiling

The sample ceiling bound before the floor was met: [MAX_PCURVE_SAMPLES] when the raise was declined (the residual is already explained by PcurveFitReport::off_surface), [PCURVE_RAISED_SAMPLES] when it was taken and bound too.

RoundBudget

Every refinement round was spent and the last one still inserted samples, so the curve it built was never re-checked by the loop.

Stalled

A round found stations over the floor but could improve none of them: the edge point could not be inverted inside the drop band, or (in the raised pass) the pcurve already tracks the surface’s nearest point to within the floor. Either way the edge curve itself sits off the surface there and no pcurve can close that gap; the residual reports how far.

SpanFloor

The last probe round found every span it PROBED within the floor, but skipped spans narrower than the loop’s own resolution floor — 1e-3 of the parameter range in [refine_pcurve], [SPAN_FLOOR] (1e-6) in fit_pcurve_on_surface_stations — and a sweep over those found the floor unmet. Until 2026-09-12 this exit was reported as Converged with the probed spans’ maximum: on 25_cube_pierce_solid a 1539-sample fit with 1537 narrow spans read 7e-8 that way while every span read 1.9e-4.

Trait Implementations

impl Clone for PcurveFitExit

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 PcurveFitExit

impl Debug for PcurveFitExit

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

Formats the value using the given formatter.

impl Eq for PcurveFitExit

impl Hash for PcurveFitExit

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PcurveFitExit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PcurveFitExit