pub fn declared_write_bytes(tool_name: &str, arguments: &Value) -> Option<u64>Expand description
How many bytes this call declares it will write, when that is knowable before it runs.
write_file and edit_file carry their content as an argument, so the
figure is exact and the call can be stopped before a byte lands. A shell
redirect cannot be: the bytes go from the shell to the file without passing
through Leviath, so None here means “unknown, measure afterwards” rather
than “writes nothing”.