pub enum MoveVerdict {
Accepted {
log_e: f64,
},
Contested {
log_e: f64,
},
Demoted {
log_e: f64,
},
Vetoed {
log_e: f64,
},
Deduplicated,
Stale,
Deferred,
}Expand description
The per-proposal outcome. Every proposal handed to search gets exactly
one record — the no-silent-caps rule.
Variants§
Accepted
Gate certified at α; the move was applied and the claim’s evidence banked in the ledger.
Contested
Gate did not certify; structure unchanged, claim stays contested in the ledger with this evidence (the probe loop’s input).
Demoted
Death applied to a never-certified atom (its contested evidence at the time of demotion is recorded).
Vetoed
Death proposal on a CERTIFIED atom — refused; Ville crossings are permanent.
Deduplicated
Same structural hash as a canonically-earlier proposal this round.
Stale
References an atom already modified this round; triggers are stale — re-propose next round against the new structure.
Deferred
Move budget exhausted before this proposal was reached.
Trait Implementations§
Source§impl Clone for MoveVerdict
impl Clone for MoveVerdict
Source§fn clone(&self) -> MoveVerdict
fn clone(&self) -> MoveVerdict
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for MoveVerdict
impl Debug for MoveVerdict
Source§impl<'de> Deserialize<'de> for MoveVerdict
impl<'de> Deserialize<'de> for MoveVerdict
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>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for MoveVerdict
impl PartialEq for MoveVerdict
Source§fn eq(&self, other: &MoveVerdict) -> bool
fn eq(&self, other: &MoveVerdict) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for MoveVerdict
impl Serialize for MoveVerdict
impl StructuralPartialEq for MoveVerdict
Auto Trait Implementations§
impl Freeze for MoveVerdict
impl RefUnwindSafe for MoveVerdict
impl Send for MoveVerdict
impl Sync for MoveVerdict
impl Unpin for MoveVerdict
impl UnsafeUnpin for MoveVerdict
impl UnwindSafe for MoveVerdict
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
Mutably borrows from an owned value. Read more
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,
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>
Converts
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>
Converts
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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
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
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.