Struct InvariantConfig 

pub struct InvariantConfig {
    pub name: String,
    pub description: String,
    pub command: Option<String>,
    pub expect_exit: Option<i32>,
    pub capture_as: Option<String>,
    pub assert_expr: Option<String>,
    pub immutable: bool,
    pub check_at: Vec<InvariantCheckPoint>,
    pub on_violation: OnViolation,
    pub protected_files: Vec<String>,
}

Configuration for a single invariant constraint (WP04).

Fields

name: String

Stable identifier for the invariant.

description: String

Human-readable description shown in diagnostics.

command: Option<String>

Optional shell command executed to evaluate the invariant.

expect_exit: Option<i32>

Expected exit code for command, when command-based evaluation is used.

capture_as: Option<String>

Optional pipeline variable name used to capture command output.

assert_expr: Option<String>

CEL-style assertion evaluated against the captured result.

immutable: bool

Marks the invariant as immutable once the task starts.

check_at: Vec<InvariantCheckPoint>

Task checkpoints where the invariant should run.

on_violation: OnViolation

Policy to apply when the invariant fails.

protected_files: Vec<String>

Files that must remain unchanged while the invariant is active.

Trait Implementations

impl Clone for InvariantConfig

fn clone(&self) -> InvariantConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantConfig

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InvariantConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for InvariantConfig

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

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 StructuralPartialEq for InvariantConfig