Struct EffectRow 

pub struct EffectRow {
    pub reads: Vec<Resource>,
    pub writes: Vec<Resource>,
    pub invokes: Vec<Capability>,
    pub spawns: bool,
    pub destructive: bool,
    pub sandbox: Sandbox,
    pub cost: CostEstimate,
}

The effect row of a tool — what it does to the world.

Inspired by Koka’s effect row system, this is checked at compile time via Rust trait bounds and at runtime by the Dharma governance layer.

Fields

reads: Vec<Resource>

Resources this tool reads from

writes: Vec<Resource>

Resources this tool writes to

invokes: Vec<Capability>

Capabilities this tool invokes

spawns: bool

Whether this tool spawns external processes

destructive: bool

Whether this tool is destructive (deletes/overwrites data). Destructive tools require explicit confirmation via confirm: true in args.

sandbox: Sandbox

Kernel-sandbox eligibility (Landlock A→B seam, declarative in v0).

cost: CostEstimate

Estimated resource cost

Implementations

impl EffectRow

pub fn pure() -> Self

Create an empty effect row (pure function)

pub fn read_only(resources: Vec<Resource>) -> Self

Create a read-only effect row

pub fn is_available_in(&self, brain_wave: BrainWave) -> bool

Check if this effect row is compatible with a brain-wave state.

In Alpha/Theta/Delta modes, expensive or write-heavy tools are filtered out to conserve resources.

pub fn acquires_coordination_lease(&self) -> bool

True when this row mutates the coordination lease ledger (claim or same-owner renewal). Strict mode refuses acquisition/renewal so system stress cannot trap new work (AHIMSA Target A, 9.1.8).

pub fn is_coordination_cleanup(&self) -> bool

True when this row is exactly the coordination owner-cleanup effect: one CoordinationRelease write, no spawns, not destructive. The strict gate admits this shape (and only this shape) so an already-held lease can always be released under stress.

pub fn is_no_discovery_checkpoint(&self) -> bool

True when this row is exactly the no-discovery checkpoint shape: one Sessions-galaxy write, no spawns, not destructive. The strict gate admits this shape so a checkpoint can be stored under stress without repository discovery, filesystem reads, or subprocesses.

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

Check if this effect row conflicts with another (for parallel execution)

Trait Implementations

impl Clone for EffectRow

fn clone(&self) -> EffectRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectRow

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

Formats the value using the given formatter.

impl Default for EffectRow

fn default() -> EffectRow

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for EffectRow

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for EffectRow

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

Formats the value using the given formatter.

impl Serialize for EffectRow

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

where __S: Serializer,

Serialize this value into the given Serde serializer.