Struct MatchExpr 

pub struct MatchExpr {
    pub model_family: Constraint,
    pub harness: Constraint,
    pub modalities: Option<ModalitySet>,
    pub posture: Option<Vec<Posture>>,
}

Which resolver contexts a variant serves. A conjunction over four dimensions; specificity = number of constrained dimensions.

Fields

model_family: Constraint

Model family constraint (claude, gpt, gemini, …).

harness: Constraint

Harness constraint (claude-code, codex, …).

modalities: Option<ModalitySet>

Required modalities (superset match), if any.

posture: Option<Vec<Posture>>

Posture constraint.

Implementations

impl MatchExpr

pub fn any() -> Self

The catch-all: matches every context. Every manifest must carry one variant with this expression so selection is total (doc 06 §2).

pub fn is_catch_all(&self) -> bool

True when no dimension is constrained.

pub fn specificity(&self) -> u8

Specificity: how many dimensions are constrained (0–4). Selection ranks by this; the algorithm itself is CP-2’s sealed matcher.

Trait Implementations

impl Clone for MatchExpr

fn clone(&self) -> MatchExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchExpr

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

Formats the value using the given formatter.

impl Default for MatchExpr

fn default() -> MatchExpr

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MatchExpr

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for MatchExpr

impl PartialEq for MatchExpr

fn eq(&self, other: &MatchExpr) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for MatchExpr

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MatchExpr