Module effects 

Effect Row System — Inspired by Koka’s Effect Types

Every tool declares what resources it reads, writes, invokes, and whether it spawns external processes. This enables compile-time effect safety via Rust traits and runtime governance via Dharma.

Structs

CostEstimate

Estimated resource cost for a tool call.

EffectRow

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

Enums

Capability

A capability that a tool may invoke.

Resource

A resource that a tool may read from or write to.

Sandbox

Kernel-sandbox declaration for a tool — the Landlock A→B seam.