Enum ToolEffect 

pub enum ToolEffect {
    ReadOnly,
    IdempotentWrite,
    NonIdempotent,
}

Conservative tool effect classes (Task 24, spec §8.2). Declared by the implementation, recorded in the catalog at registration, and consumed by the stream scheduler: only ReadOnly (or proven non-conflicting keyed writes) run concurrently; everything else serializes. Unknown/ dynamic tools default to NonIdempotent — the safest class.

Variants

ReadOnly

No observable side effects; safe to run concurrently.

IdempotentWrite

Repeatable write with a stable target; conflicts are detected via the concurrency key (same key => model-order serial execution).

NonIdempotent

Arbitrary side effects; serialized by default.

Trait Implementations

impl Clone for ToolEffect

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 ToolEffect

impl Debug for ToolEffect

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

Formats the value using the given formatter.

impl Eq for ToolEffect

impl PartialEq for ToolEffect

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ToolEffect