Struct ShapeContract 

pub struct ShapeContract {
    pub shapes: BTreeMap<String, ShapeExpr>,
    pub constraints: Vec<String>,
    pub from_contract: Option<String>,
    pub from_equation: Option<String>,
}

Typed shape contract for compositional verification across contract boundaries.

Used in Equation.assumes and Equation.guarantees to create mechanically verifiable edges in the dependency graph. The COMPOSITION-001 lint gate unifies guarantees.shapes with downstream assumes.shapes to prove end-to-end pipeline shape consistency.

Fields

shapes: BTreeMap<String, ShapeExpr>

Named shape bindings, e.g. {"output": {"dims": ["batch", "seq", "config.hidden_size"]}}.

constraints: Vec<String>

Constraints that must hold, e.g. ["config.hidden_size % config.num_heads == 0"].

from_contract: Option<String>

Which upstream contract provides these shapes (assumes only).

from_equation: Option<String>

Which upstream equation provides these shapes (assumes only).

Trait Implementations

impl Clone for ShapeContract

fn clone(&self) -> ShapeContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeContract

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

Formats the value using the given formatter.

impl Default for ShapeContract

fn default() -> ShapeContract

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ShapeContract

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ShapeContract

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

where __S: Serializer,

Serialize this value into the given Serde serializer.