Struct ConstraintState 

pub struct ConstraintState {
    pub node_id: String,
    pub constraints: ConstraintORSet,
    pub metrics: ConstraintGCounter,
    pub position: EisensteinRegister,
    pub version: u64,
}

The complete constraint state of a fleet node, mergeable without coordination.

This is the key data structure: each node maintains one ConstraintState, and periodically merges with other nodes. The result is always consistent.

Fields

node_id: String

Node identifier

constraints: ConstraintORSet

Active constraints (OR-Set)

metrics: ConstraintGCounter

Aggregate metrics (G-Counter)

position: EisensteinRegister

Current position in constraint space

version: u64

State version (increments on each local mutation)

Implementations

impl ConstraintState

pub fn new(node_id: &str) -> Self

pub fn add_constraint(&mut self, id: &str)

Add a constraint

pub fn remove_constraint(&mut self, id: &str)

Remove a constraint

pub fn record_satisfied(&mut self, count: u64)

Record satisfied constraints

pub fn record_violations(&mut self, count: u64)

Record violations

pub fn update_position(&mut self, pos: (i32, i32))

Update lattice position

pub fn satisfaction_rate(&self) -> f64

Satisfaction rate (0.0 - 1.0)

pub fn active_constraint_count(&self) -> usize

Number of active constraints

pub fn to_json(&self) -> String

Serialize full state

Trait Implementations

impl Clone for ConstraintState

fn clone(&self) -> ConstraintState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConstraintState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ConstraintState

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

Formats the value using the given formatter.

impl Merge for ConstraintState

fn merge(&mut self, other: &Self)

Merge another state into this one (in-place).

fn merged(&self, other: &Self) -> Self

where Self: Sized,

Create a merged copy without modifying self.

fn subsumes(&self, other: &Self) -> bool

where Self: PartialEq,

Check if this state subsumes (is greater than or equal to) another. In lattice terms: self ≥ other.

impl PartialEq for ConstraintState

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.