Enum Rule 

pub enum Rule {
    Requires {
        tool: String,
    },
    Order {
        before: String,
        after: String,
    },
    Forbids {
        tool: String,
        args_match: Option<String>,
    },
    Args {
        tool: String,
        field: String,
        pattern: String,
    },
    MaxSteps {
        model_calls: Option<u32>,
        tool_calls: Option<u32>,
        tokens: Option<u32>,
    },
    NoRepeatedFailure {
        times: u32,
    },
    Ends,
}

One statement about what a correct path looks like.

Deserializes from TOML with a rule = "<name>" discriminator, so rule files can live next to the code and be reviewed like any other config.

Variants

Requires

The tool was called successfully at least once.

Fields

tool: String

Order

The first successful before precedes the first after. Passes if after is never called; fails if after runs with no earlier before.

Fields

before: String

after: String

Forbids

The tool is never called. With args_match, only calls whose JSON-serialized args match the regex are violations.

Fields

tool: String

args_match: Option<String>

Args

Every call to tool has a string at field (a /json/pointer, or a top-level key) matching pattern.

Fields

tool: String

field: String

pattern: String

MaxSteps

Upper bounds on model calls, tool calls, and total tokens.

Fields

model_calls: Option<u32>

tool_calls: Option<u32>

tokens: Option<u32>

NoRepeatedFailure

The same call (tool and args) failed times or more times: a loop.

Fields

times: u32

Ends

The run ended and its last model turn produced text.

Implementations

impl Rule

pub fn name(&self) -> &'static str

Short stable name used in reports.

pub fn validate(&self) -> Result<(), String>

Reject a rule whose regex does not compile. Loading a rule file calls this so a typo fails up front instead of at the end of a long check.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Rule

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Rule

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Rule