Enum InvariantClass 

pub enum InvariantClass {
    Structural,
    Semantic,
    Acceptance,
}

The class of an invariant determines when it’s checked and how violations are handled.

Variants

Structural

Checked on every merge. Violation causes immediate failure. Examples: schema validity, type correctness, forbidden combinations.

Semantic

Checked at the end of each cycle. Violation blocks convergence. Examples: “no strategy violates brand safety”.

Acceptance

Checked when convergence is claimed. Violation rejects results. Examples: “at least two viable strategies exist”.

Trait Implementations

impl Clone for InvariantClass

fn clone(&self) -> InvariantClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantClass

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InvariantClass

fn deserialize<__D>( __deserializer: __D, ) -> Result<InvariantClass, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for InvariantClass

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InvariantClass

fn eq(&self, other: &InvariantClass) -> 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 InvariantClass

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for InvariantClass

impl Eq for InvariantClass

impl StructuralPartialEq for InvariantClass