pub struct SteerPlan {
pub atom: usize,
pub atom_name: String,
pub t_from: Vec<f64>,
pub t_to: Vec<f64>,
pub amplitude: f64,
pub measured_row: usize,
pub delta: ArrayBase<OwnedRepr<f64>, Dim<[usize; 1]>>,
pub predicted_nats: Option<f64>,
pub validity_radius: Option<f64>,
pub off_manifold_norm: f64,
pub metric_provenance: MetricProvenance,
}Expand description
The actionable output of a steering query over one atom.
Fields§
§atom: usizeWhich atom was steered (index into SaeManifoldTerm::atoms).
atom_name: StringThe atom’s name (mirrors crate::manifold::SaeManifoldAtom::name).
t_from: Vec<f64>The source latent coordinate t_from (length = atom’s latent_dim).
t_to: Vec<f64>The target latent coordinate t_to (length = atom’s latent_dim).
amplitude: f64The amplitude a the on-manifold move was scaled by (the atom’s mean
active assignment mass; 1.0 if the atom is active on no row).
measured_row: usizeThe row whose per-row output-Fisher metric the dose was measured through
(the atom’s most-active row; 0 if active nowhere).
delta: ArrayBase<OwnedRepr<f64>, Dim<[usize; 1]>>The activation-space delta: δ = a · (g_k(t_to) − g_k(t_from)), a
length-p vector in the reconstruction/output space — the actual move to
add to a hidden state.
predicted_nats: Option<f64>DOSIMETRY: predicted output effect of the move in nats of KL,
integrated along the decoder curve through the output-Fisher metric.
None when the metric carries no behavioral information (Euclidean
provenance) — the dose is not available, not zero.
validity_radius: Option<f64>VALIDITY RADIUS: the latent step size (Euclidean norm of the move from
t_from) at which the path-integrated dose first diverges from the
straight endpoint quadratic form by more than
[VALIDITY_DIVERGENCE_FRACTION]. Equals the full move length when the
linearization is trusted all the way to t_to. None under a no-behavior
metric (there is no dose to validate).
off_manifold_norm: f64OFF-MANIFOLD GUARD: the norm of δ’s component outside the span of
the atom’s local decoder tangents ∂g_k/∂t at t_from. ≈ 0 by
construction (the move is a chord of the curve); a large value flags a
move that left the learned surface.
metric_provenance: MetricProvenanceThe provenance of the metric the dose was read through, echoed so a
consumer can certify why predicted_nats is None when it is.
Trait Implementations§
impl StructuralPartialEq for SteerPlan
Auto Trait Implementations§
impl Freeze for SteerPlan
impl RefUnwindSafe for SteerPlan
impl Send for SteerPlan
impl Sync for SteerPlan
impl Unpin for SteerPlan
impl UnsafeUnpin for SteerPlan
impl UnwindSafe for SteerPlan
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,
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>
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.