pub enum StructureMove {
Birth {
candidate: usize,
},
Death {
atom: usize,
},
Fission {
atom: usize,
},
Fusion {
a: usize,
b: usize,
},
Glue {
a: usize,
b: usize,
outcome: ChartGlueOutcome,
},
}Expand description
One proposed structural move. Atom indices are STABLE IDENTIFIERS for the
duration of one search round: the caller’s apply_move must not
reindex surviving atoms (mark dead atoms inactive, append born atoms) —
the engine relies on this to detect conflicting proposals.
Variants§
Birth
Add a new atom. candidate indexes the caller’s proposal list (e.g.
scaffold clusters on first build; whitened residual-factor directions
thereafter — see #974’s rescope: proposals must come from the WHITENED
residual subspace, raw-Euclidean Λ skews loud-but-inert).
Death
Demote an atom whose existence was never certified (ARD precision diverged). Never applies to a certified atom.
Fission
Split an atom along detected substructure (within-atom audit / #975 vanished-interaction carve).
Fusion
Merge two atoms into one joint structure (dependent codes + joint interaction evidence — #975’s binding, in reverse).
Glue
Glue two CHARTS of one manifold into one atom (#1890). Distinct from
StructureMove::Fusion: the co-activation fusion lane fires on
DEPENDENT (co-firing) codes, but atoms over-tiling a single manifold have
DISJOINT supports (each owns its own arc/patch) and therefore
anti-correlated codes — invisible to fusion. The glue lane proposes such a
pair on a GEOMETRIC pre-screen (decoder-frame principal angles × latent-
support adjacency) and its acceptance is an EQUIVALENCE e-value on the
seam (the two decoded charts coincide within an isometry tolerance,
against the churn null) — a pre-computed e-value carried on the proposal’s
trigger, not the held-out fit-improvement gate the other moves use (a
clean glue leaves EV tied, so a likelihood-ratio gate could never accept
it). ChartGlueOutcome::Fuse folds an ordinary over-tile;
ChartGlueOutcome::RegisterAtlas preserves a seam whose local charts
cannot be replaced by one global chart (orientation reversal / pole).
Trait Implementations§
Source§impl Clone for StructureMove
impl Clone for StructureMove
Source§fn clone(&self) -> StructureMove
fn clone(&self) -> StructureMove
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for StructureMove
impl Debug for StructureMove
Source§impl<'de> Deserialize<'de> for StructureMove
impl<'de> Deserialize<'de> for StructureMove
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>,
impl Eq for StructureMove
Source§impl PartialEq for StructureMove
impl PartialEq for StructureMove
Source§impl Serialize for StructureMove
impl Serialize for StructureMove
impl StructuralPartialEq for StructureMove
Auto Trait Implementations§
impl Freeze for StructureMove
impl RefUnwindSafe for StructureMove
impl Send for StructureMove
impl Sync for StructureMove
impl Unpin for StructureMove
impl UnsafeUnpin for StructureMove
impl UnwindSafe for StructureMove
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,
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,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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.