Function ReadFile

internal/tools/read.go:14–30

ReadFile returns path's contents, truncated to the shared tool-output budget (Truncate). The model gets exact bytes, not a shell-mangled approximation. Per the bash/write/edit convention, filesystem errors come back in the output string, never as a Go error: the model reacts to them like a non-zero

(path string)

// re-fire on the window and drop its middle, silently reinstating the
// unrecoverable dead end that offset/limit exists to remove.
const readChunkBytes = 20000

// maxFileBytes gates read_file and edit_file: both slurp the whole file with
// os.ReadFile, so a multi-GB log would OOM-kill the TUI - the same hazard
// bash's headTailBuffer capture cap exists to stop, unguarded in the file
// tools. 5MB covers every real source file; anything bigger is a log or an
// artifact, which grep/sed handle without loading it.
const maxFileBytes = 5 << 20

// ReadFile returns a window of path's contents: whole lines from offset
// (1-indexed, 0 meaning the start) up to limit lines, bounded by
// readChunkBytes. When the window stops short, the result names the exact
// offset to continue from, so a big file is read by repeated calls instead of
// guessed at from a truncated middle.
//
// Per the bash/write/edit convention, filesystem errors come back in the
// output string, never as a Go error: the model reacts to them like a non-zero
// exit.
func ReadFile(path string, offset, limit int) string {
	if path == "" {