Struct ExplorationLimits 

#[non_exhaustive]
pub struct ExplorationLimits {
    pub max_states: usize,
    pub max_depth: usize,
    pub max_commands_per_state: usize,
}

Bounds on a breadth-first exploration (spec §8.5).

Exploration is bounded on purpose: a workflow with free-text fields has an infinite state space, so the model offers a finite menu of candidate commands and these limits cap the search on top of it. Hitting a limit is not a failure; it marks the report truncated so a test can tell “no violations found” from “no violations found so far”.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

max_states: usize

Maximum number of distinct states to visit.

max_depth: usize

Maximum number of commands on the path from an initial state.

max_commands_per_state: usize

Maximum number of candidate commands tried in one state.

Implementations

impl ExplorationLimits

pub const fn new( max_states: usize, max_depth: usize, max_commands_per_state: usize, ) -> Self

Builds explicit limits.

pub const fn smoke() -> Self

Limits for a fast check in a unit test: 128 states, depth 6, 8 commands.

pub const fn standard() -> Self

The default: 1024 states, depth 16, 16 commands per state.

pub const fn generous() -> Self

Limits for an exhaustive run in CI: 8192 states, depth 32, 32 commands.

pub const fn with_max_states(self, max_states: usize) -> Self

Returns a copy with another state budget.

pub const fn with_max_depth(self, max_depth: usize) -> Self

Returns a copy with another depth budget.

pub const fn with_max_commands_per_state( self, max_commands_per_state: usize, ) -> Self

Returns a copy with another per-state command budget.

Trait Implementations

impl Clone for ExplorationLimits

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExplorationLimits

impl Debug for ExplorationLimits

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

Formats the value using the given formatter.

impl Default for ExplorationLimits

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ExplorationLimits

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExplorationLimits

impl PartialEq for ExplorationLimits

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExplorationLimits

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 ExplorationLimits