pub struct ActiveMassFloor {
pub floor: f64,
}Expand description
Active-mass-floor watcher (#976). The wiring agent calls
ActiveMassFloor::check with the per-row mean active assignment mass each
inner iteration. When the mass collapses toward the uniform saddle (below
the floor), check returns a MassFloorBreach the caller records in the
ReseedLedger and acts on by re-seeding from the scaffold. A breach is
never fatal — there is no error return.
Fields§
§floor: f64Mean active mass below which the assignment is judged to have collapsed toward the near-uniform saddle and a scaffold re-seed is triggered.
Implementations§
Source§impl ActiveMassFloor
impl ActiveMassFloor
Sourcepub const DEFAULT_FLOOR: f64 = 0.1
pub const DEFAULT_FLOOR: f64 = 0.1
Default floor: the failure boundary, not the healthy operating
point. The SAE routing-collapse quality oracle plants a healthy
codes’-units active mass of 0.2 and asserts recovery of at least
half of it; the floor therefore sits at 0.5 × 0.2 = 0.1 — breach
exactly when the fit enters the region the quality assertion already
calls collapsed. Placing the floor at the healthy operating mass
(the previous 0.2) made a healthy converging IBP-MAP fit oscillate
across the floor, and every spurious breach re-seeds from the scaffold
(obj.reset()) and re-enters a heavier regime — re-seed thrash that
discards converged routing mass each bounce and pins the fit near the
cold seed: itself a collapse mechanism. Genuine saddle collapse
(0.03 observed mass) is still far below this floor.
pub fn default_floor() -> Self
Sourcepub fn check(&self, mean_active_mass: f64) -> Option<MassFloorBreach>
pub fn check(&self, mean_active_mass: f64) -> Option<MassFloorBreach>
Check the observed mean active mass against the floor. Returns
Some(MassFloorBreach) when collapsed (caller re-seeds from scaffold +
logs to the ledger), None when healthy. Never an error.
Trait Implementations§
Source§impl Clone for ActiveMassFloor
impl Clone for ActiveMassFloor
Source§fn clone(&self) -> ActiveMassFloor
fn clone(&self) -> ActiveMassFloor
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 ActiveMassFloor
Auto Trait Implementations§
impl Freeze for ActiveMassFloor
impl RefUnwindSafe for ActiveMassFloor
impl Send for ActiveMassFloor
impl Sync for ActiveMassFloor
impl Unpin for ActiveMassFloor
impl UnsafeUnpin for ActiveMassFloor
impl UnwindSafe for ActiveMassFloor
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
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>
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,
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.