Struct InvariantFile 

pub struct InvariantFile {
    pub version: u64,
    pub metadata: Option<PackMetadata>,
    pub invariants: Vec<Invariant>,
    pub for_each_tool: Vec<ForEachToolBlock>,
    pub sequences: Vec<Sequence>,
}

Fields

version: u64

metadata: Option<PackMetadata>

Pack-style metadata (name, description, parameters, extends). Optional: a v1/v2 invariants file omits the block entirely. (Phase G — version 3 introduces this; older versions ignore it.)

invariants: Vec<Invariant>

for_each_tool: Vec<ForEachToolBlock>

Phase I — schema-aware invariant templates. Each block is expanded against the live client.list_tools() result at run time, producing one concrete Invariant per matching tool. Default empty.

sequences: Vec<Sequence>

Phase L — multi-step sequences. Each Sequence runs a chain of tool calls against a single shared client, with later steps able to reference earlier steps’ inputs and responses via {{steps.<bind>.<jsonpath>}} substitutions. Default empty.

Trait Implementations

impl Clone for InvariantFile

fn clone(&self) -> InvariantFile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvariantFile

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InvariantFile

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for InvariantFile

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

where __S: Serializer,

Serialize this value into the given Serde serializer.