pub enum FitStationarityEvidence {
Certified {
residual: f64,
bound: f64,
},
NoComparison,
}Expand description
What an assembly-time convergence gate weighed (#2427/#2530).
A residual and the bound it was weighed against are one fact, not two. They
used to be two independent Option<f64> fields filled from DIFFERENT
sources with asymmetric fallbacks: the residual fell back to the exported
outer gradient norm when no certificate existed, the bound had no fallback.
A run with no certificate therefore rendered stationarity residual Some(0.0) against None – a residual weighed against nothing, printed as
though a comparison had happened, and recorded verbatim on #2471.
EstimationError::RemlDidNotConverge already forbids that shape one
variant up. This is the same repair here, and it REMOVES the fallback
rather than symmetrising it: if no certificate was assembled then no
first-order comparison was made, and substituting a norm of different
provenance is an absent measurement scored as a value.
Variants§
Certified
A residual measured at the rejected point, weighed against bound.
Both come from the SAME certificate, so they are one comparison.
NoComparison
No comparison was made: there was no certificate to take a residual and a bound from. The refusal’s status strings carry the basis.
Trait Implementations§
Source§impl Clone for FitStationarityEvidence
impl Clone for FitStationarityEvidence
Source§fn clone(&self) -> FitStationarityEvidence
fn clone(&self) -> FitStationarityEvidence
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for FitStationarityEvidence
Source§impl Debug for FitStationarityEvidence
impl Debug for FitStationarityEvidence
Source§impl<'de> Deserialize<'de> for FitStationarityEvidence
impl<'de> Deserialize<'de> for FitStationarityEvidence
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Source§impl Display for FitStationarityEvidence
impl Display for FitStationarityEvidence
Source§impl PartialEq for FitStationarityEvidence
impl PartialEq for FitStationarityEvidence
Source§impl Serialize for FitStationarityEvidence
impl Serialize for FitStationarityEvidence
impl StructuralPartialEq for FitStationarityEvidence
Auto Trait Implementations§
impl Freeze for FitStationarityEvidence
impl RefUnwindSafe for FitStationarityEvidence
impl Send for FitStationarityEvidence
impl Sync for FitStationarityEvidence
impl Unpin for FitStationarityEvidence
impl UnsafeUnpin for FitStationarityEvidence
impl UnwindSafe for FitStationarityEvidence
Blanket Implementations§
impl<T> Boilerplate for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.