pub struct EncodeResult {
pub coords: Array2<f64>,
pub certified: Vec<bool>,
pub encode_uncertified_count: usize,
}Expand description
Result of a certified encode over a batch of rows, carrying the honesty flag: how many rows could NOT be certified and were flagged for the exact multi-start fallback (issue #1010 — no approximation enters silently).
Fields§
§coords: Array2<f64>Per-row encoded latent coordinates (n_rows × latent_dim).
certified: Vec<bool>Per-row certificate: true ⇒ the row’s start satisfied h ≤ ½ and the
1–2 Newton steps are exact-into-the-certified-ball; false ⇒ flagged.
encode_uncertified_count: usizeCount of rows that could not be certified. These ride the payload so the
caller routes them to the exact multi-start encode — honesty, never
silent. Equals certified.iter().filter(|c| !**c).count().
Trait Implementations§
Source§impl Certificate for EncodeResult
impl Certificate for EncodeResult
Source§fn verdict(&self) -> Verdict
fn verdict(&self) -> Verdict
The conservative verdict. MUST be derived from the certificate’s own
(unchanged) decision rule, and MUST return
Verdict::Unavailable /
Verdict::Insufficient rather than a silent pass when the evidence is
missing or below margin.Source§fn ledger_entry(&self) -> LedgerEntry
fn ledger_entry(&self) -> LedgerEntry
Fold claim + evidence + verdict into one ledger record.
Source§impl Clone for EncodeResult
impl Clone for EncodeResult
Source§fn clone(&self) -> EncodeResult
fn clone(&self) -> EncodeResult
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for EncodeResult
impl RefUnwindSafe for EncodeResult
impl Send for EncodeResult
impl Sync for EncodeResult
impl Unpin for EncodeResult
impl UnsafeUnpin for EncodeResult
impl UnwindSafe for EncodeResult
Blanket Implementations§
impl<T> Allocation 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
Mutably borrows from an owned value. Read more
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,
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>
Converts
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>
Converts
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,
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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
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
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.