Struct ExecutionConfig 

#[non_exhaustive]
pub struct ExecutionConfig {
    pub default_timeout: Duration,
    pub max_commands_per_turn: usize,
    pub fail_closed_on_policy_store_error: bool,
    pub allow_cross_case_partial_success: bool,
    pub group_mutations_per_case: bool,
}

How commands are executed (Appendix A, spec §13.4, §16).

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.

default_timeout: Duration

Time budget for one command batch.

max_commands_per_turn: usize

Cap on the commands one turn may compile. Exceeding it refuses the turn rather than executing a prefix.

fail_closed_on_policy_store_error: bool

Must stay true: an unavailable policy source stops the turn (I19).

allow_cross_case_partial_success: bool

Whether one case may commit while another fails in the same turn.

group_mutations_per_case: bool

Whether mutations on one case default to committing together (AtomicityScope::PerCase).

Implementations

impl ExecutionConfig

pub const fn conservative() -> Self

30 seconds, 32 commands, fail closed, no cross-case partial success, per-case grouping.

pub const fn with_max_commands_per_turn(self, max: usize) -> Self

Returns a copy with another command budget.

pub const fn with_default_timeout(self, timeout: Duration) -> Self

Returns a copy with another batch timeout.

Trait Implementations

impl Clone for ExecutionConfig

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 ExecutionConfig

impl Debug for ExecutionConfig

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

Formats the value using the given formatter.

impl Default for ExecutionConfig

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ExecutionConfig

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecutionConfig

impl PartialEq for ExecutionConfig

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutionConfig

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 ExecutionConfig