pub struct AtomTrajectory {
pub atom_name: String,
pub conditional_step_contrasts: Vec<RieszDebiasReport>,
pub transports: Vec<LayerTransportReport>,
pub change_evidence: StructureLedger,
}Expand description
The training-dynamics trajectory of one atom across the checkpoint axis.
The PRIMARY, coverage-valid deliverable is Self::change_evidence: the
anytime-valid e-process answering “did atom k change during training?”.
Self::conditional_step_contrasts is a secondary, descriptive readout (see
its docs for the conditional caveat).
Fields§
§atom_name: String§conditional_step_contrasts: Vec<RieszDebiasReport>Debiased g^{(c+1)}(t_mode) − g^{(c)}(t_mode) for each consecutive
checkpoint step, with its plug-in SE.
CONDITIONAL ON THE FITTED COORDINATES (not a coverage-valid CI). The
debiased SE here conditions away the generated-regressor uncertainty in
the estimated latent coordinates t̂ and activations â — the exact
correction the marginal-slope family exists to make (issue #1115). It is
reported only as a conditional contrast point estimate with a plug-in SE,
NOT as an interval with frequentist coverage for the population
displacement. The headline change verdict is carried by the e-process
Self::change_evidence, which IS anytime-valid; this field is a
descriptive companion. Read the SE accordingly.
transports: Vec<LayerTransportReport>Consecutive-checkpoint chart correspondences (checkpoint axis reused as the transport “layer” axis).
change_evidence: StructureLedgerPRIMARY deliverable: anytime-valid evidence that the atom changed at each consecutive checkpoint step, one calibrated e-value per step into a per-step claim. Valid at any data-dependent stopping time.
Auto Trait Implementations§
impl Freeze for AtomTrajectory
impl RefUnwindSafe for AtomTrajectory
impl Send for AtomTrajectory
impl Sync for AtomTrajectory
impl Unpin for AtomTrajectory
impl UnsafeUnpin for AtomTrajectory
impl UnwindSafe for AtomTrajectory
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> 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.