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 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.