Enum SplineScoreProofError 

pub enum SplineScoreProofError {
    InnovationContainsZero {
        node: usize,
        kind: SplineInnovationKind,
        enclosure: ClosedInterval,
    },
    NonPositiveInnovation {
        node: usize,
        kind: SplineInnovationKind,
        enclosure: ClosedInterval,
    },
    NonPositiveProfileResidual {
        enclosure: ClosedInterval,
    },
    InvalidArithmetic {
        context: &'static str,
    },
    AccumulatorDiverged {

        node: usize,
        n_proper: usize,
        accumulator: &'static str,
        value: f64,
        lo: f64,
        hi: f64,
        q_value: f64,
        contribution_lo: f64,
        contribution_hi: f64,
        f_star_d3_lo: f64,
        f_star_d3_hi: f64,
        updated_d3_lo: f64,
        updated_d3_hi: f64,
    
},
    InvalidInput(String),
    MissingEndpointCertificate {
        log_lambda: f64,
    },
    GlobalValueOrderingUnresolved {
        maximum_excess: f64,
        comparison_resolution: f64,
    },
    OptimumKktUncertified {
        location: ScoreOptimumLocation,
        bracket: ClosedInterval,
        derivative: ClosedInterval,
        curvature: ClosedInterval,
    },
    Search(String),
    Computation(String),
}

Failure to construct a numerical proof for one spline-score evaluation.

Variants

InnovationContainsZero

Directed roundoff made an innovation interval include zero, so division by that innovation cannot be certified.

Fields

node: usize

kind: SplineInnovationKind

enclosure: ClosedInterval

NonPositiveInnovation

An innovation interval was entirely nonpositive. This indicates a violated covariance invariant rather than loss of numerical resolution.

Fields

node: usize

kind: SplineInnovationKind

enclosure: ClosedInterval

NonPositiveProfileResidual

Fields

enclosure: ClosedInterval

InvalidArithmetic

Fields

context: &'static str

AccumulatorDiverged

A certified filter accumulator left the finite range, reported with the node it happened at and the enclosure that did it.

The InvalidArithmetic{"diffuse filter accumulator"} refusal above named a PHASE and nothing else: not which of the eight accumulators diverged, not at which of the ~180 nodes, and not how wide it was when it went. Diagnosing #2614 from it required adding a print, and the two repairs attempted before that print existed were both aimed at the wrong term — each exact, each landing a byte-identical failure. A verdict has to carry the quantity it was decided against (#2465), and this is that quantity: the first accumulator to leave the finite range, where, and the q = e^{−ρ} it was evaluated at.

Fields

node: usize

n_proper: usize

accumulator: &'static str

value: f64

lo: f64

hi: f64

q_value: f64

contribution_lo: f64

This node’s own contribution to that accumulator. A finite running sum plus an infinite total means the CONTRIBUTION diverged, so this is the term to look at, not the sum.

contribution_hi: f64

f_star_d3_lo: f64

The third covariance-derivative entry F''' every third-order chain rule on this path divides by F. Reported alongside so a wide contribution can be told from a wide INPUT: if F''' is already unbounded the covariance jet is at fault, and if it is tight while the contribution is not, the cancellation in the chain rule is.

f_star_d3_hi: f64

updated_d3_lo: f64

The same entry AFTER this node’s measurement update. F''' above is the PREDICTED value, so the pair localises the growth to one of the filter’s two steps: an updated entry much narrower than the predicted one means the update contracts and the PREDICTION is growing it, and the reverse means the update is.

updated_d3_hi: f64

InvalidInput(String)

MissingEndpointCertificate

Fields

log_lambda: f64

GlobalValueOrderingUnresolved

Fields

maximum_excess: f64

comparison_resolution: f64

OptimumKktUncertified

Fields

location: ScoreOptimumLocation

bracket: ClosedInterval

derivative: ClosedInterval

curvature: ClosedInterval

Search(String)

Computation(String)

Trait Implementations

impl Clone for SplineScoreProofError

fn clone(&self) -> SplineScoreProofError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SplineScoreProofError

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

Formats the value using the given formatter.

impl Display for SplineScoreProofError

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

Formats the value using the given formatter.

impl Error for SplineScoreProofError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<String> for SplineScoreProofError

fn from(reason: String) -> Self

Converts to this type from the input type.

impl PartialEq for SplineScoreProofError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SplineScoreProofError