Struct Invariant 

pub struct Invariant {
    pub name: String,
    pub description: Option<String>,
    pub expression: Expression,
    pub severity: String,
    pub category: String,
    pub is_always_true: bool,
    pub layers: Vec<String>,
    pub phases: Vec<String>,
}

A compiled invariant expression with metadata.

Fields

name: String

Unique identifier for the invariant.

description: Option<String>

Human-readable description.

expression: Expression

The invariant expression in IR form.

severity: String

Severity level: “critical”, “high”, “medium”, “low”.

category: String

Category: “core”, “defi”, “bridge”, “governance”, “account-abstraction”, etc.

is_always_true: bool

Whether this invariant should always hold.

layers: Vec<String>

Layer scopes for cross-layer analysis (e.g., [“bundler”, “account”, “paymaster”]). If empty, applies to all layers.

phases: Vec<String>

Execution phases (e.g., [“validation”, “execution”, “settlement”]). For AA invariants that must hold at specific phases. Empty means all phases.

Trait Implementations

impl Clone for Invariant

fn clone(&self) -> Invariant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Invariant

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Invariant

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Invariant

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

where __S: Serializer,

Serialize this value into the given Serde serializer.