pub enum OuterResultOrigin {
Solver,
SeedAcceptedWithoutIteration,
ArcBestIterateSubstitution,
ArcInfeasibleStallCheckpoint,
ArcCurvatureStationaryStop,
BfgsCostStallExit,
PerAtomFellnerSchall,
EmptyParameterSpace,
StationaryPointAudit,
}Expand description
Which lane actually produced an OuterResult.
OuterResult::solver_termination is None whenever no opt solver
produced the result, and its own doc names three ways that happens — a
cache short-circuit, a synthesized checkpoint, the per-atom Fellner–Schall
lane — without recording WHICH. A refusal then reads
termination=<no opt solver produced this result> and the reader is left to
infer the lane from iteration counts, which is the #2465 shape: the decision
is made, and the basis for it is dropped by the emitter that holds it. On
the #1575 binomial fixture that absence is the whole question — a result at
|Pg| = 5.991e-1 after 13 of 300 permitted outer iterations, PSD Hessian,
nothing railed, is a search that stopped with descent still available, and
“which lane stopped it” is the first thing anyone needs.
OuterResult::new defaults to Self::Solver; the gam-side lanes that
synthesize a result overwrite it at their construction site.
Variants§
Solver
An opt solver ran and its solution was translated into this result.
SeedAcceptedWithoutIteration
A seed was accepted as its own optimum with zero outer iterations.
ArcBestIterateSubstitution
ARC exhausted its budget on a last iterate WORSE than the best feasible iterate it had seen, so the best iterate was substituted (#1371/#1476).
ArcInfeasibleStallCheckpoint
ARC hit a run of infeasible probes with no synchronized Hessian, so a checkpoint was rebuilt from the stored best iterate.
ArcCurvatureStationaryStop
ARC was stopped at a point its own terminal certificate accepts: the Newton decrement ½gᵀH⁻¹g of the rail-projected gradient sat at or below the criterion’s resolution under a PSD reduced Hessian (#2817).
BfgsCostStallExit
The BFGS cost-stall guard halted the search and published its best iterate, which was rebuilt into this result.
PerAtomFellnerSchall
The per-atom Fellner–Schall frontier lane.
EmptyParameterSpace
The parameter space is empty; there was nothing to optimize.
StationaryPointAudit
A caller-supplied point audited without running any optimizer.
Trait Implementations§
Source§impl Clone for OuterResultOrigin
impl Clone for OuterResultOrigin
Source§fn clone(&self) -> OuterResultOrigin
fn clone(&self) -> OuterResultOrigin
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 OuterResultOrigin
Source§impl Debug for OuterResultOrigin
impl Debug for OuterResultOrigin
impl Eq for OuterResultOrigin
Source§impl PartialEq for OuterResultOrigin
impl PartialEq for OuterResultOrigin
impl StructuralPartialEq for OuterResultOrigin
Auto Trait Implementations§
impl Freeze for OuterResultOrigin
impl RefUnwindSafe for OuterResultOrigin
impl Send for OuterResultOrigin
impl Sync for OuterResultOrigin
impl Unpin for OuterResultOrigin
impl UnsafeUnpin for OuterResultOrigin
impl UnwindSafe for OuterResultOrigin
Blanket Implementations§
impl<T> Allocation for T
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,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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.