pub struct CollapseEvent {
pub iteration: usize,
pub atom: usize,
pub max_active_mass: f64,
pub floor: f64,
pub action: CollapseAction,
}Expand description
An assignment-collapse event from the joint fit (#976 Layer-1 guard): an
atom’s support fell below the active-mass floor and was either re-seeded
(bounded budget) or recorded as terminally collapsed — an observable event,
never a silent death and never a fit error. Terminal collapses are the
natural death-proposal feed for the next search round.
Fields§
§iteration: usizeOuter iteration of the joint fit at which the breach was observed.
atom: usizeThe collapsed atom.
max_active_mass: f64The atom’s maximum active mass over rows at the breach (the collapse statistic: a legitimately sparse atom has small MEAN mass but high mass on its rows; only an atom with no material support anywhere has a small MAX).
floor: f64The floor breached.
action: CollapseActionWhat the guard did.
Trait Implementations§
Source§impl Certificate for CollapseEvent
impl Certificate for CollapseEvent
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 CollapseEvent
impl Clone for CollapseEvent
Source§fn clone(&self) -> CollapseEvent
fn clone(&self) -> CollapseEvent
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 moreimpl Copy for CollapseEvent
Source§impl Debug for CollapseEvent
impl Debug for CollapseEvent
Source§impl<'de> Deserialize<'de> for CollapseEvent
impl<'de> Deserialize<'de> for CollapseEvent
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>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for CollapseEvent
impl PartialEq for CollapseEvent
Source§fn eq(&self, other: &CollapseEvent) -> bool
fn eq(&self, other: &CollapseEvent) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for CollapseEvent
impl Serialize for CollapseEvent
impl StructuralPartialEq for CollapseEvent
Auto Trait Implementations§
impl Freeze for CollapseEvent
impl RefUnwindSafe for CollapseEvent
impl Send for CollapseEvent
impl Sync for CollapseEvent
impl Unpin for CollapseEvent
impl UnsafeUnpin for CollapseEvent
impl UnwindSafe for CollapseEvent
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
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,
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>
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,
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>
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.