@animalabs/agent-framework 0.26.1 → 0.27.0

package/dist/src/modules/workspace/read-page.d.ts

@@ -0,0 +1,41 @@
+import type { ToolResult } from '../../types/events.js';
+import { type FileText } from './text.js';
+/**
+ * One page of a read, held to the result limit as its text measures it: a
+ * model reads the page's text (result-text.ts), and what passes the caller's
+ * limit doesn't reach it whole. A model's result spills into a file, cut, and
+ * a script gets ResultTooLarge in its place. So a page stops before its text
+ * would pass the limit, and its note says where to continue. A script's
+ * answer carries the page's fields, its content among them, beside its text,
+ * and the limit counts the text alone. A script's limit counts each character
+ * at the six bytes it takes at most in the answer, and no character but a
+ * control character takes more than three, so the text and the fields
+ * together pass what the script takes only on a page of more than half that
+ * limit (about 3.7 million characters at the default 128 MiB of script
+ * memory) holding control characters.
+ */
+/** How many lines a read shows when it isn't given a limit. */
+export declare const DEFAULT_READ_LINE_LIMIT = 2000;
+/** What a read says about the text it shows, besides the lines themselves. */
+export declare function textNotes(file: FileText): string[];
+/**
+ * Lines from `offset` (1-based), at most `limit` of them, each numbered and a
+ * long one cut with the offsetChars and limitChars that read the rest. The
+ * page is the longest whose text fits within `maxChars`; where none fits
+ * with its first line as a page shows it, that line is cut shorter, at the
+ * most the page has room for. Where the page's last line is cut, its note
+ * names where that line's rest starts and how long it is, since reading on in
+ * order starts there: before the next line, or, on the page that ends the
+ * file, before the file is read whole. A page whose own fields and least
+ * content pass `maxChars` still moves on, and passes it. With no `maxChars`,
+ * for a call made in process, which takes the data itself, the page holds to
+ * `limit` alone and shows every line whole.
+ */
+export declare function linePage(path: string, file: FileText, offset: number, limit: number, maxChars: number | undefined, extraNotes?: string[]): ToolResult;
+/**
+ * Raw text from `offsetChars`, at most `limitChars` code units (one more to
+ * keep a surrogate pair whole), stopped sooner where its page's text would
+ * pass `maxChars`, if there is one.
+ */
+export declare function characterPage(path: string, file: FileText, offsetChars: number, limitChars: number, maxChars: number | undefined, extraNotes?: string[]): ToolResult;
+//# sourceMappingURL=read-page.d.ts.map

package/dist/src/modules/workspace/read-page.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-page.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/read-page.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,KAAK,QAAQ,EAAyC,MAAM,WAAW,CAAC;AAEjF;;;;;;;;;;;;;GAaG;AAEH,+DAA+D;AAC/D,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAE5C,8EAA8E;AAC9E,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAclD;AAuBD;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,UAAU,GAAE,MAAM,EAAO,GAAG,UAAU,CAiGzJ;AAOD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,EAAE,UAAU,GAAE,MAAM,EAAO,GAAG,UAAU,CAuCxK"}

package/dist/src/modules/workspace/read-page.js

@@ -0,0 +1,213 @@
+import { answerText, fieldLine, sectionLead, sectionText, textAnswer } from './result-text.js';
+import { MAX_LINE_CHARS, numberedLine, safeCut } from './text.js';
+/**
+ * One page of a read, held to the result limit as its text measures it: a
+ * model reads the page's text (result-text.ts), and what passes the caller's
+ * limit doesn't reach it whole. A model's result spills into a file, cut, and
+ * a script gets ResultTooLarge in its place. So a page stops before its text
+ * would pass the limit, and its note says where to continue. A script's
+ * answer carries the page's fields, its content among them, beside its text,
+ * and the limit counts the text alone. A script's limit counts each character
+ * at the six bytes it takes at most in the answer, and no character but a
+ * control character takes more than three, so the text and the fields
+ * together pass what the script takes only on a page of more than half that
+ * limit (about 3.7 million characters at the default 128 MiB of script
+ * memory) holding control characters.
+ */
+/** How many lines a read shows when it isn't given a limit. */
+export const DEFAULT_READ_LINE_LIMIT = 2000;
+/** What a read says about the text it shows, besides the lines themselves. */
+export function textNotes(file) {
+    const notes = [];
+    if (file.crlfEnds > 0) {
+        // A line whose own text ends in a CR shows its line end's CR too (fileText).
+        const kept = file.crKept > 0
+            ? `, except on ${file.crKept} ${file.crKept === 1 ? 'line whose own text ends in a CR, which shows' : 'lines whose own text ends in a CR, which show'} both CRs`
+            : '';
+        notes.push(file.lfEnds > 0
+            ? `Line ends are mixed, ${file.crlfEnds} CRLF and ${file.lfEnds} LF, and a CRLF end is shown without its CR${kept}. An edit matches text as read shows it, and keeps each line's end.`
+            : `Line ends are CRLF, shown without the CR${kept}. An edit matches text as read shows it, and keeps the CRLF ends.`);
+    }
+    if (file.bom)
+        notes.push('The file starts with a UTF-8 BOM, which isn\'t shown. An edit keeps it.');
+    if (!file.utf8)
+        notes.push(NOT_UTF8);
+    return notes;
+}
+const NOT_UTF8 = 'The file isn\'t valid UTF-8: each invalid byte sequence shows as U+FFFD. Edit refuses this file, and write replaces it whole.';
+const joined = (notes) => {
+    const kept = notes.filter((n) => n !== null);
+    return kept.length > 0 ? kept.join(' ') : undefined;
+};
+/** A page's text: its fields, one to a line in their order, and then its content under its label. */
+function pageText(page) {
+    const header = Object.entries(page)
+        .filter((entry) => entry[0] !== 'content' && entry[1] !== undefined)
+        .map(([key, value]) => fieldLine(key, value));
+    return answerText(header, [sectionText('content', page.content)]);
+}
+/** A page as read answers it: its text for the model, and its fields for a script. */
+const pageAnswer = (page) => textAnswer(pageText(page), page);
+/**
+ * Lines from `offset` (1-based), at most `limit` of them, each numbered and a
+ * long one cut with the offsetChars and limitChars that read the rest. The
+ * page is the longest whose text fits within `maxChars`; where none fits
+ * with its first line as a page shows it, that line is cut shorter, at the
+ * most the page has room for. Where the page's last line is cut, its note
+ * names where that line's rest starts and how long it is, since reading on in
+ * order starts there: before the next line, or, on the page that ends the
+ * file, before the file is read whole. A page whose own fields and least
+ * content pass `maxChars` still moves on, and passes it. With no `maxChars`,
+ * for a call made in process, which takes the data itself, the page holds to
+ * `limit` alone and shows every line whole.
+ */
+export function linePage(path, file, offset, limit, maxChars, extraNotes = []) {
+    const { lines, starts } = file;
+    const total = lines.length;
+    const first = offset - 1;
+    const notes = [...textNotes(file), ...extraNotes];
+    if (first >= total) {
+        // Nothing to show: an empty file, or an offset past the last line. No
+        // range is claimed, and the line count says where the file ends.
+        const note = joined([
+            // Reading an empty file from its start is reading it whole.
+            first > 0 ? `Line ${first + 1} is past the end: the file has ${total} line${total === 1 ? '' : 's'}.` : null,
+            ...notes,
+        ]);
+        return pageAnswer({ path, totalLines: total, ...(note !== undefined ? { note } : {}), content: '' });
+    }
+    const last = Math.min(first + limit, total);
+    const shown = (i, maxLineChars = MAX_LINE_CHARS) => numberedLine(lines[i], i + 1, maxLineChars, (cut) => `read the rest with offsetChars=${starts[i] + cut} and limitChars=${lines[i].length - cut}`);
+    // Where the rest of line i starts in the stored text, shown at most
+    // maxLineChars long, as its marker says; null for a line shown whole.
+    const restOf = (i, maxLineChars) => lines[i].length > maxLineChars ? starts[i] + safeCut(lines[i], maxLineChars) : null;
+    // The rest's length is what's left of the line as a page shows it, so a
+    // character read of it ends where the line does.
+    const cutLine = (to, rest) => `Line ${to} is cut: read its rest with offsetChars=${rest} and limitChars=${starts[to - 1] + lines[to - 1].length - rest}`;
+    const limitNote = (to, rest) => `Truncated at ${limit} lines (file has ${total}).${rest === null ? '' : ` ${cutLine(to, rest)}.`} Use offset/limit to read more.`;
+    const budgetNote = (to, rest) => `Stopped at line ${to} to stay within the ${maxChars}-character result limit (file has ${total}). `
+        + (rest === null ? `Continue with offset=${to + 1}.` : `${cutLine(to, rest)}, then continue with offset=${to + 1}.`);
+    const page = (to, content, note) => ({
+        path, totalLines: total, fromLine: first + 1, toLine: to, ...(note !== undefined ? { note } : {}), content,
+    });
+    if (maxChars === undefined) {
+        const whole = lines.slice(first, last).map((line, k) => numberedLine(line, first + k + 1, Infinity)).join('\n');
+        return pageAnswer(page(last, whole, joined([last < total ? limitNote(last, null) : null, ...notes])));
+    }
+    // The note of the page that ends at line `to`, its last line shown at most
+    // lastMax long: the page that ends where it was asked to, at the file's end
+    // or the line limit, says so, and any other says it stopped for the limit.
+    const noteAt = (to, lastMax = MAX_LINE_CHARS) => {
+        const rest = restOf(to - 1, lastMax);
+        const endNote = to < total ? limitNote(to, rest) : rest === null ? null : `${cutLine(to, rest)}.`;
+        return joined([to === last ? endNote : budgetNote(to, rest), ...notes]);
+    };
+    // A page's text's length: its fields' and note's, measured with no content,
+    // and its content's, under the content's label. A page here has a line.
+    const lengthAt = (to, contentChars, note) => pageText(page(to, '', note)).length + sectionLead('content') + contentChars;
+    // The page is the longest that fits. Its length isn't monotone in its
+    // lines: the page that ends the file carries no stop note, the one at the
+    // line limit a shorter one than a stop, and one whose last line is cut a
+    // longer one. But every page carries `notes` and a longer page shows more,
+    // so once a page passes the limit with those alone, no longer one fits.
+    const shownLines = [];
+    let contentChars = 0;
+    let best = 0;
+    for (let i = first; i < last; i++) {
+        const line = shown(i);
+        shownLines.push(line);
+        // Each line after the first comes after a line feed.
+        contentChars += line.length + (i > first ? 1 : 0);
+        if (lengthAt(i + 1, contentChars, noteAt(i + 1)) <= maxChars)
+            best = shownLines.length;
+        else if (lengthAt(i + 1, contentChars, joined(notes)) > maxChars)
+            break;
+    }
+    if (best > 0) {
+        shownLines.length = best;
+        return pageAnswer(page(first + best, shownLines.join('\n'), noteAt(first + best)));
+    }
+    // No page fits with its first line as a page shows it: the loop tried that
+    // page first, since a read's limit is at least 1, and it is pageWith(top).
+    // So the line is cut shorter, at the most the page has room for, and ends
+    // the page: its note names where the line's rest starts and how long it is,
+    // since that comes next. Each cut is measured on the page itself, since its
+    // note names the cut. Every cut below `top` shows a marker. A longer cut
+    // adds a character of text at least, and the offsets only grow, but the
+    // rest's length is in the marker and in the note, so where it loses a digit
+    // the page loses two characters: it can be one character shorter than the
+    // page a cut before. The search takes the page as growing with the cut.
+    // Such a dip is one cut, and the next is many cuts away, so the longest cut
+    // that fits is the one the search finds or, past a dip, at most two cuts
+    // further, four code units at most, and those are tried too.
+    const pageWith = (chars) => page(first + 1, shown(first, chars), noteAt(first + 1, chars));
+    const fitsAt = (chars) => pageText(pageWith(chars)).length <= maxChars;
+    const top = Math.min(lines[first].length, MAX_LINE_CHARS);
+    let fits = 0;
+    let over = top;
+    while (over - fits > 1) {
+        const mid = Math.floor((fits + over) / 2);
+        if (fitsAt(mid))
+            fits = mid;
+        else
+            over = mid;
+    }
+    // The search ends with `fits + 1` measured as too long, or as `top`.
+    const found = fits;
+    for (let chars = found + 2; chars <= found + 4 && chars < top; chars++)
+        if (fitsAt(chars))
+            fits = chars;
+    return pageAnswer(pageWith(fits));
+}
+const splitsPair = (text, at) => at > 0 && at < text.length
+    && text.charCodeAt(at - 1) >= 0xd800 && text.charCodeAt(at - 1) <= 0xdbff
+    && text.charCodeAt(at) >= 0xdc00 && text.charCodeAt(at) <= 0xdfff;
+/**
+ * Raw text from `offsetChars`, at most `limitChars` code units (one more to
+ * keep a surrogate pair whole), stopped sooner where its page's text would
+ * pass `maxChars`, if there is one.
+ */
+export function characterPage(path, file, offsetChars, limitChars, maxChars, extraNotes = []) {
+    const text = file.raw;
+    const start = Math.min(offsetChars, text.length);
+    if (splitsPair(text, start)) {
+        return { success: false, isError: true, error: 'offsetChars splits a surrogate pair; use nextOffsetChars from the previous page.' };
+    }
+    let end = start + Math.min(limitChars, text.length - start);
+    if (splitsPair(text, end))
+        end++;
+    const notes = [...(file.utf8 ? [] : [NOT_UTF8]), ...extraNotes];
+    // A page that stops short of what it was asked for gives what's left of
+    // that as limitChars, so a reader that follows its notes ends where it
+    // asked to: at a cut line's end, for the rest a line page's note names.
+    const stoppedNote = (to, left) => `Stopped at character ${to} to stay within the ${maxChars}-character result limit; read the rest of what you asked for with offsetChars=${to} and limitChars=${left}.`;
+    const page = (to, note) => ({
+        path,
+        totalChars: text.length,
+        offsetChars: start,
+        nextOffsetChars: to < text.length ? to : null,
+        ...(note !== undefined ? { note } : {}),
+        content: text.slice(start, to),
+    });
+    const whole = page(end, joined(notes));
+    if (maxChars === undefined || pageText(whole).length <= maxChars)
+        return pageAnswer(whole);
+    // As many characters as fit beside the rest of the page, which takes the
+    // most with the largest offset it could stop at and the most left. A page
+    // moves by whole characters, a surrogate pair at once, so it never stops
+    // inside one.
+    const overhead = pageText({ ...page(end, joined([stoppedNote(end, end - start), ...notes])), nextOffsetChars: end, content: '' }).length + sectionLead('content');
+    const step = (at) => (splitsPair(text, at + 1) ? 2 : 1);
+    let to = Math.min(end, start + Math.max(0, maxChars - overhead));
+    if (splitsPair(text, to))
+        to--;
+    // A page always moves on, by one character at least, though a limit too
+    // small for the page's own fields and its first character then passes it:
+    // with room for one code unit, a surrogate pair is still taken whole. Where
+    // that reaches the page's own end, it holds all it was asked for, so it
+    // names no stop.
+    if (to === start)
+        to = Math.min(end, start + step(start));
+    return pageAnswer(page(to, joined([to < end ? stoppedNote(to, end - to) : null, ...notes])));
+}
+//# sourceMappingURL=read-page.js.map

package/dist/src/modules/workspace/read-page.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-page.js","sourceRoot":"","sources":["../../../../src/modules/workspace/read-page.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC/F,OAAO,EAAiB,cAAc,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEjF;;;;;;;;;;;;;GAaG;AAEH,+DAA+D;AAC/D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC;AAE5C,8EAA8E;AAC9E,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACtB,6EAA6E;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,eAAe,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,+CAA+C,CAAC,CAAC,CAAC,+CAA+C,WAAW;YAChK,CAAC,CAAC,EAAE,CAAC;QACP,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YACxB,CAAC,CAAC,wBAAwB,IAAI,CAAC,QAAQ,aAAa,IAAI,CAAC,MAAM,8CAA8C,IAAI,qEAAqE;YACtL,CAAC,CAAC,2CAA2C,IAAI,mEAAmE,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,IAAI,CAAC,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;IACpG,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,+HAA+H,CAAC;AAEjJ,MAAM,MAAM,GAAG,CAAC,KAA2B,EAAsB,EAAE;IACjE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC1D,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC,CAAC;AAKF,qGAAqG;AACrG,SAAS,QAAQ,CAAC,IAAU;IAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;SAChC,MAAM,CAAC,CAAC,KAAK,EAA6C,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;SAC9G,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IAChD,OAAO,UAAU,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,GAAG,CAAC,IAAU,EAAc,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAEhF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAc,EAAE,MAAc,EAAE,KAAa,EAAE,QAA4B,EAAE,UAAU,GAAa,EAAE;IAC3I,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC;IAClD,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACnB,sEAAsE;QACtE,iEAAiE;QACjE,MAAM,IAAI,GAAG,MAAM,CAAC;YAClB,4DAA4D;YAC5D,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,kCAAkC,KAAK,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI;YAC5G,GAAG,KAAK;SACT,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,YAAY,GAAG,cAAc,EAAE,EAAE,CACzD,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,EACxC,CAAC,GAAG,EAAE,EAAE,CAAC,kCAAkC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,mBAAmB,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC;IAC1G,oEAAoE;IACpE,sEAAsE;IACtE,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,YAAoB,EAAiB,EAAE,CAChE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,wEAAwE;IACxE,iDAAiD;IACjD,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE,CAC3C,QAAQ,EAAE,2CAA2C,IAAI,mBAAmB,MAAM,CAAC,EAAE,GAAG,CAAC,CAAE,GAAG,KAAK,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;IAC/H,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,IAAmB,EAAE,EAAE,CACpD,gBAAgB,KAAK,oBAAoB,KAAK,KAAK,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,iCAAiC,CAAC;IACpI,MAAM,UAAU,GAAG,CAAC,EAAU,EAAE,IAAmB,EAAE,EAAE,CACrD,mBAAmB,EAAE,uBAAuB,QAAQ,qCAAqC,KAAK,KAAK;UACjG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,wBAAwB,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,+BAA+B,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACvH,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,OAAe,EAAE,IAAwB,EAAQ,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO;KAC3G,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChH,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxG,CAAC;IACD,2EAA2E;IAC3E,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,OAAO,GAAG,cAAc,EAAE,EAAE;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC;QAClG,OAAO,MAAM,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC;IACF,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,YAAoB,EAAE,IAAwB,EAAE,EAAE,CAC9E,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC;IAC9E,sEAAsE;IACtE,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,qDAAqD;QACrD,YAAY,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ;YAAE,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC;aAClF,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,QAAQ;YAAE,MAAM;IAC1E,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACb,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC;QACzB,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,wEAAwE;IACxE,4EAA4E;IAC5E,0EAA0E;IAC1E,wEAAwE;IACxE,4EAA4E;IAC5E,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC;IAC/E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,OAAO,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,GAAG,CAAC;;YAAM,IAAI,GAAG,GAAG,CAAC;IAC/C,CAAC;IACD,qEAAqE;IACrE,MAAM,KAAK,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,KAAK,EAAE;QAAE,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;IACxG,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAU,EAAW,EAAE,CACvD,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM;OACvB,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM;OACtE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC;AAEpE;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAc,EAAE,WAAmB,EAAE,UAAkB,EAAE,QAA4B,EAAE,UAAU,GAAa,EAAE;IAC1J,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,kFAAkF,EAAE,CAAC;IACtI,CAAC;IACD,IAAI,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC;IAC5D,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;QAAE,GAAG,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC;IAChE,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE,CAC/C,wBAAwB,EAAE,uBAAuB,QAAQ,iFAAiF,EAAE,mBAAmB,IAAI,GAAG,CAAC;IACzK,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,IAAwB,EAAQ,EAAE,CAAC,CAAC;QAC5D,IAAI;QACJ,UAAU,EAAE,IAAI,CAAC,MAAM;QACvB,WAAW,EAAE,KAAK;QAClB,eAAe,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC7C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;KAC/B,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3F,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,cAAc;IACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAClK,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC;IACjE,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,EAAE,EAAE,CAAC;IAC/B,wEAAwE;IACxE,0EAA0E;IAC1E,4EAA4E;IAC5E,wEAAwE;IACxE,iBAAiB;IACjB,IAAI,EAAE,KAAK,KAAK;QAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1D,OAAO,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC"}

package/dist/src/modules/workspace/result-text.d.ts

@@ -0,0 +1,67 @@
+import type { ToolResult } from '../../types/events.js';
+/**
+ * A value as a header line, a section's label or a listed line writes it: as
+ * it is, or, where it holds a line break or starts with a quote, as a JSON
+ * string. A path can hold a line break, and so can a note naming it or a line
+ * of a file grep matched; written as it is, it would start a line that reads
+ * as one of the answer's own. A value written as it is never starts with a
+ * quote, so one that does is always the quoted form, which gives back exactly
+ * what the value holds: without that, a value that is itself a JSON string,
+ * such as a line of a file reading `"a\nb"`, would read as the quoted form of
+ * another. JSON leaves NEL, U+2028 and U+2029 as they are, so they're escaped
+ * too.
+ */
+export declare function shownValue(value: string | number | boolean | null): string;
+/** A header line: a field's key and its value as shownValue writes it. */
+export declare const fieldLine: (key: string, value: string | number | boolean | null) => string;
+/** A section's text, its label and then its lines; an empty section is no text. */
+export declare const sectionText: (label: string, body: string) => string;
+/** The answer's text: its header lines and then its sections, each on lines of its own. */
+export declare const answerText: (header: string[], sections?: string[]) => string;
+/** How much a section with any lines adds to its answer's text before them: the line feed before its label, and the label's line. */
+export declare const sectionLead: (label: string) => number;
+/** A success whose text is what the model reads and whose fields reach a script as its structuredContent. */
+export declare const textAnswer: (text: string, structured: Record<string, unknown>) => ToolResult;
+/** A grep result: the matches of one version of a file. */
+export interface GrepResult {
+    file: string;
+    state?: string;
+    version: string;
+    lineEndings?: string;
+    matches: Array<{
+        line: number;
+        text: string;
+        context?: string[];
+    }>;
+}
+/** What grep found, as its structuredContent holds it. */
+export interface GrepAnswer {
+    pattern: string;
+    results: GrepResult[];
+    totalMatches: number;
+    note?: string;
+    skipped?: Array<{
+        file: string;
+        reason: string;
+        size?: number;
+        mimeType?: string;
+    }>;
+    incomplete?: Array<{
+        path: string;
+        reason: string;
+    }>;
+}
+/**
+ * grep's text: its pattern, match count and note, then a section for each
+ * version of a file it matched, labelled with the file, the version, the
+ * file's state where grep gives one and its line ends where it has them, then
+ * what it skipped and where its search was incomplete. As grep writes them, a
+ * match's line reads `N:text`, and where the call asked for context, each
+ * line around it reads `N-text`: matches whose context meets or overlaps are
+ * one run of lines, each line once, and `--` stands between runs with lines
+ * left out between them. Each match's context starts `contextBefore` lines
+ * before it, or at the file's first line. A line's text is written through
+ * shownValue, since more of the answer follows it.
+ */
+export declare function grepText(answer: GrepAnswer, contextBefore: number): string;
+//# sourceMappingURL=result-text.d.ts.map

package/dist/src/modules/workspace/result-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-text.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/result-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAcxD;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,CAI1E;AAED,0EAA0E;AAC1E,eAAO,MAAM,SAAS,QAAS,MAAM,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,KAAG,MAAwC,CAAC;AAE1H,mFAAmF;AACnF,eAAO,MAAM,WAAW,UAAW,MAAM,QAAQ,MAAM,KAAG,MAA0D,CAAC;AAErH,2FAA2F;AAC3F,eAAO,MAAM,UAAU,WAAY,MAAM,EAAE,aAAY,MAAM,EAAE,KAAQ,MACE,CAAC;AAE1E,qIAAqI;AACrI,eAAO,MAAM,WAAW,UAAW,MAAM,KAAG,MAAuC,CAAC;AAEpF,6GAA6G;AAC7G,eAAO,MAAM,UAAU,SAAU,MAAM,cAAc,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAG,UACd,CAAC;AAElE,2DAA2D;AAC3D,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACpE;AAED,0DAA0D;AAC1D,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpF,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACtD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,CAsC1E"}

package/dist/src/modules/workspace/result-text.js

@@ -0,0 +1,94 @@
+/**
+ * The text a model reads of read's, grep's, edit's and edit_many's answers:
+ * a header of the answer's own fields, one `key: value` to a line in the
+ * fields' order, then its sections, each a `--- label ---` line and the lines
+ * under it, an empty one left out. The answer's fields themselves reach a
+ * script as its structuredContent (ToolResult.structured), and a page or a
+ * receipt is held to the call's result limit as this text measures it.
+ */
+/** The characters Unicode says end a line (UAX #14's mandatory breaks): LF, VT, FF, CR, NEL, U+2028 and U+2029. */
+const LINE_BREAK = /[\n\v\f\r\u0085\u2028\u2029]/;
+/**
+ * A value as a header line, a section's label or a listed line writes it: as
+ * it is, or, where it holds a line break or starts with a quote, as a JSON
+ * string. A path can hold a line break, and so can a note naming it or a line
+ * of a file grep matched; written as it is, it would start a line that reads
+ * as one of the answer's own. A value written as it is never starts with a
+ * quote, so one that does is always the quoted form, which gives back exactly
+ * what the value holds: without that, a value that is itself a JSON string,
+ * such as a line of a file reading `"a\nb"`, would read as the quoted form of
+ * another. JSON leaves NEL, U+2028 and U+2029 as they are, so they're escaped
+ * too.
+ */
+export function shownValue(value) {
+    if (typeof value !== 'string')
+        return String(value);
+    if (!value.startsWith('"') && !LINE_BREAK.test(value))
+        return value;
+    return JSON.stringify(value).replace(/[\u0085\u2028\u2029]/g, (c) => `\\u${c.charCodeAt(0).toString(16).padStart(4, '0')}`);
+}
+/** A header line: a field's key and its value as shownValue writes it. */
+export const fieldLine = (key, value) => `${key}: ${shownValue(value)}`;
+/** A section's text, its label and then its lines; an empty section is no text. */
+export const sectionText = (label, body) => (body === '' ? '' : `--- ${label} ---\n${body}`);
+/** The answer's text: its header lines and then its sections, each on lines of its own. */
+export const answerText = (header, sections = []) => [...header, ...sections.filter((section) => section !== '')].join('\n');
+/** How much a section with any lines adds to its answer's text before them: the line feed before its label, and the label's line. */
+export const sectionLead = (label) => `\n--- ${label} ---\n`.length;
+/** A success whose text is what the model reads and whose fields reach a script as its structuredContent. */
+export const textAnswer = (text, structured) => ({ success: true, data: [{ type: 'text', text }], structured });
+/**
+ * grep's text: its pattern, match count and note, then a section for each
+ * version of a file it matched, labelled with the file, the version, the
+ * file's state where grep gives one and its line ends where it has them, then
+ * what it skipped and where its search was incomplete. As grep writes them, a
+ * match's line reads `N:text`, and where the call asked for context, each
+ * line around it reads `N-text`: matches whose context meets or overlaps are
+ * one run of lines, each line once, and `--` stands between runs with lines
+ * left out between them. Each match's context starts `contextBefore` lines
+ * before it, or at the file's first line. A line's text is written through
+ * shownValue, since more of the answer follows it.
+ */
+export function grepText(answer, contextBefore) {
+    const header = [fieldLine('pattern', answer.pattern), fieldLine('totalMatches', answer.totalMatches)];
+    if (answer.note !== undefined)
+        header.push(fieldLine('note', answer.note));
+    const sections = answer.results.map((result) => {
+        const label = `${shownValue(result.file)}: ${result.version}`
+            + (result.state !== undefined ? ` (${result.state})` : '')
+            + (result.lineEndings !== undefined ? `; lineEndings: ${result.lineEndings}` : '');
+        const lines = [];
+        const matched = new Set(result.matches.map((match) => match.line));
+        // The last line written: matches come in line order, so a window that
+        // meets or overlaps the run before it goes on from there.
+        let last = 0;
+        for (const match of result.matches) {
+            if (match.context === undefined) {
+                lines.push(`${String(match.line).padStart(6)}:${shownValue(match.text)}`);
+                continue;
+            }
+            const first = Math.max(1, match.line - contextBefore);
+            match.context.forEach((text, k) => {
+                const n = first + k;
+                if (n <= last)
+                    return;
+                if (last > 0 && n > last + 1)
+                    lines.push('--');
+                lines.push(`${String(n).padStart(6)}${matched.has(n) ? ':' : '-'}${shownValue(text)}`);
+                last = n;
+            });
+        }
+        return sectionText(label, lines.join('\n'));
+    });
+    if (answer.skipped !== undefined) {
+        sections.push(sectionText('skipped', answer.skipped.map((skip) => {
+            const facts = [...(skip.size !== undefined ? [`${skip.size} bytes`] : []), ...(skip.mimeType !== undefined ? [skip.mimeType] : [])];
+            return `${shownValue(skip.file)}: ${shownValue(skip.reason)}${facts.length ? ` (${facts.join(', ')})` : ''}`;
+        }).join('\n')));
+    }
+    if (answer.incomplete !== undefined) {
+        sections.push(sectionText('incomplete', answer.incomplete.map((gap) => `${shownValue(gap.path)}: ${shownValue(gap.reason)}`).join('\n')));
+    }
+    return answerText(header, sections);
+}
+//# sourceMappingURL=result-text.js.map

package/dist/src/modules/workspace/result-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-text.js","sourceRoot":"","sources":["../../../../src/modules/workspace/result-text.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AAEH,mHAAmH;AACnH,MAAM,UAAU,GAAG,8BAA8B,CAAC;AAElD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CAAC,KAAuC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AAC9H,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,KAAuC,EAAU,EAAE,CAAC,GAAG,GAAG,KAAK,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;AAE1H,mFAAmF;AACnF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,CAAC,CAAC;AAErH,2FAA2F;AAC3F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAgB,EAAE,QAAQ,GAAa,EAAE,EAAU,EAAE,CAC9E,CAAC,GAAG,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE1E,qIAAqI;AACrI,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC,MAAM,CAAC;AAEpF,6GAA6G;AAC7G,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,UAAmC,EAAc,EAAE,CAC1F,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;AAqBlE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,aAAqB;IAChE,MAAM,MAAM,GAAG,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IACtG,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE;cACzD,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;cACxD,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnE,sEAAsE;QACtE,0DAA0D;QAC1D,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC1E,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC,CAAC;YACtD,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;gBAChC,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBACpB,IAAI,CAAC,IAAI,IAAI;oBAAE,OAAO;gBACtB,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvF,IAAI,GAAG,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC/D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpI,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC/G,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5I,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACtC,CAAC"}

package/dist/src/modules/workspace/text.d.ts

@@ -1,10 +1,35 @@
 /**
- * Lines numbered the way `cat -n` numbers them, with a long one cut, and a
- * string's length as JSON, which a budget for a stored result counts. edit's
- * answers use them.
+ * A stored file's text as read shows it and grep searches it, and lines
+ * numbered the way `cat -n` numbers them, with a long one cut. Read, grep and
+ * edit's answers use them.
  */
 /** Whether the bytes open with a UTF-8 byte order mark. */
 export declare function hasBom(bytes: Uint8Array): boolean;
+export interface FileText {
+    /** The bytes decoded as UTF-8, as character paging reads them: a BOM and every CR kept. */
+    raw: string;
+    /**
+     * Its lines, as read shows them and grep searches them: without the BOM, a
+     * CR before a line feed dropped, and a final line end ending the last line
+     * rather than starting an empty one. So "a\r\nb\r\n" is two lines, and an
+     * empty text has none. A line whose own text ends in a CR keeps its line
+     * end's CR too, as stored: an edit reads a CR before a line feed in its old
+     * text as part of the line end, so text copied from "a\r" and the next line
+     * would lose the CR that is the line's own.
+     */
+    lines: string[];
+    /** Where each line starts in `raw`. */
+    starts: number[];
+    bom: boolean;
+    /** How many line ends were CRLF, and how many a bare LF. */
+    crlfEnds: number;
+    lfEnds: number;
+    /** How many lines with a CRLF end keep its CR, since their own text ends in a CR. */
+    crKept: number;
+    /** Whether the bytes are valid UTF-8; where they aren't, `raw` holds U+FFFD. */
+    utf8: boolean;
+}
+export declare function fileText(bytes: Buffer): FileText;
 /** How long a line read shows before it cuts the line. */
 export declare const MAX_LINE_CHARS = 2000;
 /**
@@ -16,17 +41,9 @@ export declare function safeCut(value: string, at: number): number;
 /**
  * One line numbered the way `cat -n` numbers it: a six-wide number, a tab and
  * the line. A line longer than `maxChars` is cut, saying how many characters
- * it holds past the cut, and `readOn` adds how to read them.
+ * it holds past the cut, or, where `readOn` is given, how to read them.
  */
 export declare function numberedLine(line: string, n: number, maxChars?: number, readOn?: (cut: number) => string): string;
 /** Lines numbered from `start`, each as numberedLine shows it. */
 export declare function numbered(lines: string[], start: number, maxChars?: number): string;
-/**
- * How many characters a string takes inside JSON's quotes, as JSON.stringify
- * writes it: a quote, a backslash or a control character is escaped, and so
- * is a lone surrogate.
- */
-export declare function jsonLength(value: string): number;
-/** The JSON length of the code unit at `i`, as jsonLength counts it. */
-export declare function jsonCharLength(value: string, i: number): number;
 //# sourceMappingURL=text.d.ts.map

package/dist/src/modules/workspace/text.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/text.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAEjD;AAED,0DAA0D;AAC1D,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAIzD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,SAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,MAAM,CAKzH;AAED,kEAAkE;AAClE,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAiB,GAAG,MAAM,CAE1F;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIhD;AAED,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAa/D"}
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../../src/modules/workspace/text.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AAEH,2DAA2D;AAC3D,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAEjD;AAED,MAAM,WAAW,QAAQ;IACvB,2FAA2F;IAC3F,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;OAQG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,uCAAuC;IACvC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,GAAG,EAAE,OAAO,CAAC;IACb,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,IAAI,EAAE,OAAO,CAAC;CACf;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,CAwBhD;AAED,0DAA0D;AAC1D,eAAO,MAAM,cAAc,OAAO,CAAC;AAEnC;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAIzD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,SAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,MAAM,CAKzH;AAED,kEAAkE;AAClE,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,SAAiB,GAAG,MAAM,CAE1F"}

package/dist/src/modules/workspace/text.js

@@ -1,12 +1,42 @@
+import { isUtf8 } from 'node:buffer';
 /**
- * Lines numbered the way `cat -n` numbers them, with a long one cut, and a
- * string's length as JSON, which a budget for a stored result counts. edit's
- * answers use them.
+ * A stored file's text as read shows it and grep searches it, and lines
+ * numbered the way `cat -n` numbers them, with a long one cut. Read, grep and
+ * edit's answers use them.
  */
 /** Whether the bytes open with a UTF-8 byte order mark. */
 export function hasBom(bytes) {
     return bytes.length >= 3 && bytes[0] === 0xef && bytes[1] === 0xbb && bytes[2] === 0xbf;
 }
+export function fileText(bytes) {
+    const raw = bytes.toString('utf-8');
+    const bom = hasBom(bytes);
+    const lines = [];
+    const starts = [];
+    let crlfEnds = 0;
+    let lfEnds = 0;
+    let crKept = 0;
+    // A BOM decodes to the single code unit U+FEFF.
+    for (let at = bom ? 1 : 0; at < raw.length;) {
+        const lf = raw.indexOf('\n', at);
+        starts.push(at);
+        if (lf === -1) {
+            lines.push(raw.slice(at));
+            break;
+        }
+        const crlf = lf > at && raw.charCodeAt(lf - 1) === 13;
+        if (crlf)
+            crlfEnds++;
+        else
+            lfEnds++;
+        const keepsCr = crlf && lf - 1 > at && raw.charCodeAt(lf - 2) === 13;
+        if (keepsCr)
+            crKept++;
+        lines.push(raw.slice(at, crlf && !keepsCr ? lf - 1 : lf));
+        at = lf + 1;
+    }
+    return { raw, lines, starts, bom, crlfEnds, lfEnds, crKept, utf8: isUtf8(bytes) };
+}
 /** How long a line read shows before it cuts the line. */
 export const MAX_LINE_CHARS = 2000;
 /**
@@ -23,45 +53,17 @@ export function safeCut(value, at) {
 /**
  * One line numbered the way `cat -n` numbers it: a six-wide number, a tab and
  * the line. A line longer than `maxChars` is cut, saying how many characters
- * it holds past the cut, and `readOn` adds how to read them.
+ * it holds past the cut, or, where `readOn` is given, how to read them.
  */
 export function numberedLine(line, n, maxChars = MAX_LINE_CHARS, readOn) {
     const number = String(n).padStart(6);
     if (line.length <= maxChars)
         return `${number}\t${line}`;
     const cut = safeCut(line, maxChars);
-    return `${number}\t${line.slice(0, cut)} [… ${line.length - cut} more chars${readOn ? `; ${readOn(cut)}` : ''}]`;
+    return `${number}\t${line.slice(0, cut)} [… ${readOn ? readOn(cut) : `${line.length - cut} more chars`}]`;
 }
 /** Lines numbered from `start`, each as numberedLine shows it. */
 export function numbered(lines, start, maxChars = MAX_LINE_CHARS) {
     return lines.map((line, i) => numberedLine(line, start + i, maxChars)).join('\n');
 }
-/**
- * How many characters a string takes inside JSON's quotes, as JSON.stringify
- * writes it: a quote, a backslash or a control character is escaped, and so
- * is a lone surrogate.
- */
-export function jsonLength(value) {
-    let length = 0;
-    for (let i = 0; i < value.length; i++)
-        length += jsonCharLength(value, i);
-    return length;
-}
-/** The JSON length of the code unit at `i`, as jsonLength counts it. */
-export function jsonCharLength(value, i) {
-    const c = value.charCodeAt(i);
-    if (c === 0x22 || c === 0x5c)
-        return 2;
-    if (c < 0x20)
-        return c === 0x08 || c === 0x09 || c === 0x0a || c === 0x0c || c === 0x0d ? 2 : 6;
-    if (c >= 0xd800 && c <= 0xdbff) {
-        const next = value.charCodeAt(i + 1);
-        return next >= 0xdc00 && next <= 0xdfff ? 1 : 6;
-    }
-    if (c >= 0xdc00 && c <= 0xdfff) {
-        const before = i > 0 ? value.charCodeAt(i - 1) : 0;
-        return before >= 0xd800 && before <= 0xdbff ? 1 : 6;
-    }
-    return 1;
-}
 //# sourceMappingURL=text.js.map