Struct MoveProposal 

pub struct MoveProposal {
    pub mv: StructureMove,
    pub trigger: f64,
    pub structure_hash: u64,
    pub claim: ClaimKind,
}

One proposal: the move, its trigger statistic (the canonical-order key, kind-specific — see StructureMove docs), the caller-computed structural hash of the POST-move specification (dedup key), and the structural claim the move asserts (registered in the StructureLedger so the dictionary certificate covers it).

Fields

mv: StructureMove

trigger: f64

Canonical-order key. Deaths: ARD amplitude precision (descending). Fissions: within-atom audit significance (ascending). Fusions: code dependence (descending). Births: explained proposal mass (descending). Must be finite.

structure_hash: u64

Structural hash of the specification the move produces (#869 TermCollectionSpec machinery). Two proposals with the same hash are the same structure; only the canonically-first is gated.

claim: ClaimKind

The claim this move asserts. Births: AtomExists. Fusions: BindingEdge. Fissions: a Custom/GeometryKind substructure claim. Deaths: the AtomExists claim CONSULTED for the veto/demote decision.

Trait Implementations

impl Clone for MoveProposal

fn clone(&self) -> MoveProposal

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MoveProposal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MoveProposal

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MoveProposal

fn eq(&self, other: &MoveProposal) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for MoveProposal

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MoveProposal