pub struct BlockIdentity {
pub block_name: String,
pub original_dim: usize,
pub effective_dim: usize,
pub design_range_rank: usize,
pub singular_spectrum: String,
}Expand description
Per-block accounting record. original_dim is the spec’s column
count at audit entry (post joint_null_rotation absorption — the
audit is contractually run on the rotated specs). effective_dim
is what remains after the audit drops aliased columns. Equal values
mean the block carried no redundant directions w.r.t. earlier
blocks.
Fields§
§block_name: String§original_dim: usize§effective_dim: usize§design_range_rank: usizeNumerical rank of the block’s column space at the n training
rows, computed by penalty-aware column-pivoted RRQR on [J; S]
(so penalty-covered design-null directions count as identified).
Equal to original_dim for any well-posed block; smaller values
flag a within-block rank deficiency that escaped within-smooth
nullspace absorption.
singular_spectrum: StringComma-joined descending singular values (√eig of the ranked Gram) of the
matrix whose rank produced design_range_rank, populated ONLY when the
block is within-block rank-deficient (design_range_rank < original_dim);
empty otherwise. Surfaced in the intra-block-deficiency refusal so a
range_rank ≪ dim verdict names the real geometry (a one-dominant-value
spectrum = numerical rank collapse, e.g. an extreme per-row channel
weight; a genuinely low-rank design has several near-zero values).
Trait Implementations§
Source§impl Clone for BlockIdentity
impl Clone for BlockIdentity
Source§fn clone(&self) -> BlockIdentity
fn clone(&self) -> BlockIdentity
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreAuto Trait Implementations§
impl Freeze for BlockIdentity
impl RefUnwindSafe for BlockIdentity
impl Send for BlockIdentity
impl Sync for BlockIdentity
impl Unpin for BlockIdentity
impl UnsafeUnpin for BlockIdentity
impl UnwindSafe for BlockIdentity
Blanket Implementations§
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.