Struct WriteBudget 

pub struct WriteBudget { /* private fields */ }

Everything one agent needs to execute a tool call: the executors, its policy layers, and its interaction backend. All fields are cheap Arcs so a clone is moved into each exec_for closure. The stage-scoped fields One run’s write ceilings and what it has spent of them (issue #252).

The count is what a tool call reported writing, which for a shell redirect is the target’s size measured after the call. That is an approximation in one direction worth naming: a command that overwrites the same file twice is counted twice, so a run that rewrites one file in a loop reaches its budget sooner than the disk does. Erring that way is the point - the alternative is tracking per-path deltas, which a command writing to a path Leviath cannot name defeats anyway.

Implementations

impl WriteBudget

pub fn new(limits: WriteLimits) -> Self

A budget over the real filesystem.

pub fn with_probe( limits: WriteLimits, available: fn(&Path) -> Option<u64>, ) -> Self

A budget whose free-space probe is supplied.

pub fn check(&self, workdir: &Path, bytes: u64) -> WriteVerdict

Whether a write of bytes into workdir may proceed.

Does not record anything: a refused write must not spend the budget it was refused by, or one oversized call would exhaust the run.

pub fn record(&self, bytes: u64)

Record bytes a call actually wrote.

pub fn written(&self) -> u64

What this run has written so far.