trail-code 0.0.0-stage → 0.28.0-semantic.3

package/dist/search/grep-cli.js

@@ -0,0 +1,115 @@
+/**
+ * CLI wiring + human formatter for `graft grep`.
+ *
+ * Kept out of cli.ts (argument wiring only) and out of grep.ts (pure core,
+ * unit-testable against hand-built fixture graphs without touching a real
+ * repo root) — same split as traverse.ts/traverse-cli.ts. `formatGrepResult`
+ * is exported so `graft_find_all` in `src/mcp/tools.ts` renders the identical
+ * report, rather than re-implementing it.
+ */
+import { resolve } from "node:path";
+import { contextDirFor } from "../context/node-file.js";
+import { withSavings } from "../context/savings.js";
+import { loadGraphCached } from "../graph/load.js";
+import { grepGraph } from "./grep.js";
+import { cmd } from "../brand.js";
+import { ignoredCode, ignoredLabel } from "./ignored-code.js";
+function groupHeader(g) {
+    if (g.symbol)
+        return `${g.symbol.name} · ${g.symbol.kind} · ${g.symbol.path}:${g.symbol.span} · ${g.inDegree} in-edges`;
+    return `${g.path} (module level) · ${g.inDegree} in-edges`;
+}
+function formatGroup(g) {
+    const lines = [groupHeader(g)];
+    for (const h of g.hits)
+        lines.push(`  L${h.line}: ${h.text}`);
+    return lines.join("\n");
+}
+/** `"<pattern>" — N hits in M symbols across K files (searched T indexed files)` */
+export function formatGrepHeader(result) {
+    const filesHit = new Set(result.groups.map((g) => g.path)).size;
+    return `"${result.pattern}" — ${result.totalHits} hits in ${result.groups.length} symbols across ${filesHit} files (searched ${result.filesSearched} indexed files)`;
+}
+/** Loud truncation note — dropped counts are never silent. */
+function truncationNote(result) {
+    const { files, hits } = result.truncated;
+    if (files === 0 && hits === 0)
+        return null;
+    const parts = [];
+    if (hits > 0)
+        parts.push(`${hits} more hit${hits === 1 ? "" : "s"} beyond the cap`);
+    if (files > 0)
+        parts.push(`${files} indexed file${files === 1 ? "" : "s"} unreadable`);
+    return `(truncated: ${parts.join(", ")} — narrow with --in or refine the pattern)`;
+}
+/** Full human report: header, blank line, then one block per group (header +
+ * indented hit lines), each block separated by a blank line. */
+export function formatGrepResult(result) {
+    // The truncation note rides directly under the header, not at the bottom:
+    // "never silent" has to survive a `head -N` too (same reason the savings
+    // line is a header — see withSavings).
+    const note = truncationNote(result);
+    const head = note ? `${formatGrepHeader(result)}\n${note}` : formatGrepHeader(result);
+    const blocks = [head, "", ...result.groups.map((g) => formatGroup(g) + "\n")];
+    const out = blocks.join("\n").replace(/\n+$/, "\n");
+    return withSavings(out, result.saved);
+}
+/** Loud, actionable zero-hit note (never a bare empty result) — printed to
+ * stderr; the caller still exits 0, since "no hits in the indexed graph" is
+ * not an error, just a reason to fall back to a real grep.
+ *
+ * Truncation is never silent, even on the zero-hit path: if some indexed
+ * files couldn't be read (`truncated.files > 0`), that's called out too —
+ * otherwise a zero-hit result on a stale graph or wrong root reads as "no
+ * matches" when really some files were never searched at all.
+ *
+ * `ignored`: git-ignored code under the root (see `ignoredCode`). When there
+ * is some, the note names it instead of saying all the code was searched. */
+export function zeroHitNote(result, ignored = []) {
+    const retry = `no hits for "${result.pattern}" in ${result.filesSearched} indexed files. The pattern may be too specific — retry ${cmd("graft grep")} with a bare symbol name or short substring (drop the receiver, full signature, and regex anchors).`;
+    const base = ignored.length
+        ? `${retry} Git-ignored code isn't indexed and wasn't searched: ${ignoredLabel(ignored)}. Run grep -rn there, and on docs and configs`
+        : `${retry} All indexed code was searched; use raw grep -rn only for genuinely unindexed files (docs, configs, brand-new files)`;
+    const { files } = result.truncated;
+    if (files === 0)
+        return base;
+    return `${base} — note: ${files} indexed file${files === 1 ? "" : "s"} could not be read (stale graph? run ${cmd("graft build")})`;
+}
+/**
+ * Resolve the graph at `dir` (respecting `--dir`), run `grepGraph`, and print
+ * either the human report or `--json`. Exits the process (code 1) when
+ * there's no graph at all or the pattern fails to compile as a regex — both
+ * are caller-facing mistakes, not recoverable states. Zero hits is NOT an
+ * error: it prints a loud note to stderr and exits 0.
+ */
+export function runGrepCommand(pattern, dir, opts) {
+    const root = resolve(dir);
+    const contextDir = contextDirFor(root, opts.globalDir);
+    const graph = loadGraphCached(contextDir);
+    if (!graph) {
+        console.error(`✗ no graph — run ${cmd("graft build")} first`);
+        process.exit(1);
+    }
+    let result;
+    try {
+        result = grepGraph(graph, root, pattern, { ignoreCase: opts.ignoreCase, fixed: opts.fixed, in: opts.in });
+    }
+    catch (err) {
+        // `new RegExp` throws SyntaxError; anything else (an unindexed `--in` prefix)
+        // is a different mistake and must not be reported as a bad pattern.
+        const message = err instanceof Error ? err.message : String(err);
+        console.error(err instanceof SyntaxError ? `✗ invalid pattern "${pattern}": ${message}` : `✗ ${message}`);
+        process.exit(1);
+        return;
+    }
+    if (opts.json) {
+        console.log(JSON.stringify(result, null, 2));
+        return;
+    }
+    if (result.totalHits === 0) {
+        console.error(zeroHitNote(result, ignoredCode(root)));
+        return;
+    }
+    process.stdout.write(formatGrepResult(result));
+}
+//# sourceMappingURL=grep-cli.js.map

package/dist/search/grep-cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grep-cli.js","sourceRoot":"","sources":["../../src/search/grep-cli.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAmC,MAAM,WAAW,CAAC;AACvE,OAAO,EAAE,GAAG,EAAE,MAAM,aAAa,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAW9D,SAAS,WAAW,CAAC,CAAY;IAC/B,IAAI,CAAC,CAAC,MAAM;QAAE,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,WAAW,CAAC;IACxH,OAAO,GAAG,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,QAAQ,WAAW,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAC,CAAY;IAC/B,MAAM,KAAK,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,gBAAgB,CAAC,MAAkB;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,OAAO,IAAI,MAAM,CAAC,OAAO,OAAO,MAAM,CAAC,SAAS,YAAY,MAAM,CAAC,MAAM,CAAC,MAAM,mBAAmB,QAAQ,oBAAoB,MAAM,CAAC,aAAa,iBAAiB,CAAC;AACvK,CAAC;AAED,8DAA8D;AAC9D,SAAS,cAAc,CAAC,MAAkB;IACxC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;IACzC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,YAAY,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC;IACpF,IAAI,KAAK,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;IACvF,OAAO,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C,CAAC;AACrF,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,gBAAgB,CAAC,MAAkB;IACjD,0EAA0E;IAC1E,yEAAyE;IACzE,uCAAuC;IACvC,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;6EAU6E;AAC7E,MAAM,UAAU,WAAW,CAAC,MAAkB,EAAE,UAAoB,EAAE;IACpE,MAAM,KAAK,GAAG,gBAAgB,MAAM,CAAC,OAAO,QAAQ,MAAM,CAAC,aAAa,2DAA2D,GAAG,CAAC,YAAY,CAAC,qGAAqG,CAAC;IAC1P,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM;QACzB,CAAC,CAAC,GAAG,KAAK,wDAAwD,YAAY,CAAC,OAAO,CAAC,+CAA+C;QACtI,CAAC,CAAC,GAAG,KAAK,sHAAsH,CAAC;IACnI,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,GAAG,IAAI,YAAY,KAAK,gBAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,wCAAwC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC;AACrI,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe,EAAE,GAAW,EAAE,IAAoB;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,oBAAoB,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAAkB,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5G,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,8EAA8E;QAC9E,oEAAoE;QACpE,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO,CAAC,KAAK,CAAC,GAAG,YAAY,WAAW,CAAC,CAAC,CAAC,sBAAsB,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;QAC1G,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/search/grep.d.ts

@@ -0,0 +1,60 @@
+import type { GraphV1 } from "../graph/types.js";
+import { type Savings } from "../context/savings.js";
+export interface GrepHit {
+    line: number;
+    /** Trimmed line text, capped at 160 chars. */
+    text: string;
+}
+export interface GrepSymbolRef {
+    id: string;
+    /** Qualified scope-joined name (e.g. `FastAPI.include_router`), not just
+     * the bare symbol name — the id's segment after the file-path `#`. */
+    name: string;
+    kind: string;
+    path: string;
+    span: string;
+}
+export interface GrepGroup {
+    /** null → file-level: the hit lies outside every indexed symbol's span
+     * (module-level code — imports, top-level statements, module constants). */
+    symbol: GrepSymbolRef | null;
+    path: string;
+    /** Incoming WALK_RELATIONS edges targeting the symbol — always 0 for
+     * file-level groups (there's no single symbol id to count edges against). */
+    inDegree: number;
+    hits: GrepHit[];
+}
+export interface GrepResult {
+    pattern: string;
+    /** Indexed file nodes considered (after the `in` filter), whether or not
+     * each was actually readable — matches the CLI's "searched N indexed
+     * files" wording. */
+    filesSearched: number;
+    /** Hits actually collected (<= maxHits). */
+    totalHits: number;
+    /** Sorted: inDegree desc, then path asc. */
+    groups: GrepGroup[];
+    /** Dropped counts — never silent. `files`: indexed file nodes that
+     * couldn't be read from disk. `hits`: matches found beyond `maxHits`,
+     * counted but not collected. */
+    truncated: {
+        files: number;
+        hits: number;
+    };
+    /** Tokens-saved baseline: the files that had hits, read whole. Undefined
+     * when there were no hits or the graph predates file sizing. */
+    saved?: Savings;
+}
+export interface GrepOptions {
+    ignoreCase?: boolean;
+    /** Treat `pattern` as a literal string (regex-escaped), not a regex. */
+    fixed?: boolean;
+    /** Narrow to file nodes at or under this repo-relative path prefix — the same
+     * segment-aware rule `ask --in` and `callers --in` use. Either separator. */
+    in?: string;
+    /** Stop collecting hits after this many; the rest are tallied into
+     * `truncated.hits`. Default 300. */
+    maxHits?: number;
+}
+export declare function grepGraph(graph: GraphV1, repoRoot: string, pattern: string, opts?: GrepOptions): GrepResult;
+//# sourceMappingURL=grep.d.ts.map

package/dist/search/grep.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grep.d.ts","sourceRoot":"","sources":["../../src/search/grep.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,OAAO,EAAU,MAAM,mBAAmB,CAAC;AAIzD,OAAO,EAAc,KAAK,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAIjE,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX;0EACsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,SAAS;IACxB;gFAC4E;IAC5E,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb;iFAC6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB;;yBAEqB;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB;;oCAEgC;IAChC,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C;oEACgE;IAChE,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,wEAAwE;IACxE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;iFAC6E;IAC7E,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ;wCACoC;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAgED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE,WAAgB,GAAG,UAAU,CA4E/G"}

package/dist/search/grep.js

@@ -0,0 +1,143 @@
+/**
+ * `graft grep` core: regex search over the graph's indexed files, with hits
+ * grouped by their innermost enclosing symbol and ranked by incoming-edge
+ * count (coupling) — a grep that answers "which of these hits matters",
+ * because plain `grep -rn` gives no way to tell a hit inside a
+ * heavily-depended-on function from one inside dead code.
+ *
+ * Pure I/O + regex, no CLI/MCP concerns: `grep-cli.ts` formats this into
+ * human text and wires the CLI command; `mcp/tools.ts` renders the same
+ * shape for the `graft_find_all` tool.
+ */
+import { join } from "node:path";
+import { WALK_RELATIONS } from "../graph/relations.js";
+import { assertPrefixIndexed, pathUnderPrefix } from "../graph/scopes.js";
+import { normalizePathPrefix } from "../util/paths.js";
+import { savingsFor } from "../context/savings.js";
+import { readSourceFile } from "../util/source.js";
+import { userRegExp } from "./user-regexp.js";
+const DEFAULT_MAX_HITS = 300;
+const MAX_HIT_TEXT = 160;
+const SPAN_RE = /^L(\d+)-L(\d+)$/;
+function escapeRegExp(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+function spanBounds(span) {
+    const m = SPAN_RE.exec(span);
+    if (!m)
+        return null;
+    return { start: Number(m[1]), end: Number(m[2]) };
+}
+/** The file's symbol nodes, sorted ascending by span start — the order
+ * `enclosingSymbol` scans in to find the innermost containing span. */
+function symbolsOf(graph, path) {
+    const out = [];
+    for (const n of graph.nodes) {
+        if (n.kind === "file" || n.path !== path)
+            continue;
+        const b = spanBounds(n.span);
+        if (b)
+            out.push({ node: n, start: b.start, end: b.end });
+    }
+    out.sort((a, b) => a.start - b.start);
+    return out;
+}
+/** Innermost symbol containing `line`: among spans that contain it, the one
+ * with the greatest start line. Symbols are pre-sorted ascending by start,
+ * so the last containing match seen wins, and the scan can stop as soon as
+ * a span starts after `line` — nothing later in the sort can contain it. */
+function enclosingSymbol(symbols, line) {
+    let found = null;
+    for (const s of symbols) {
+        if (s.start > line)
+            break;
+        if (line <= s.end)
+            found = s.node;
+    }
+    return found;
+}
+/** Incoming WALK_RELATIONS edge count per target id — one pass over
+ * `graph.edges`, computed once per call and shared across every hit. */
+function computeInDegree(graph) {
+    const deg = new Map();
+    for (const e of graph.edges) {
+        if (!WALK_RELATIONS.has(e.relation))
+            continue;
+        deg.set(e.target, (deg.get(e.target) ?? 0) + 1);
+    }
+    return deg;
+}
+function toSymbolRef(n) {
+    const hash = n.id.indexOf("#");
+    return { id: n.id, name: hash >= 0 ? n.id.slice(hash + 1) : n.name, kind: n.kind, path: n.path, span: n.span };
+}
+export function grepGraph(graph, repoRoot, pattern, opts = {}) {
+    const maxHits = opts.maxHits ?? DEFAULT_MAX_HITS;
+    const flags = opts.ignoreCase ? "i" : "";
+    // A pattern is a regex by design; userRegExp rebuilds it from escaped literals and refuses a nested repeat.
+    const regex = opts.fixed ? new RegExp(escapeRegExp(pattern), flags) : userRegExp(pattern, flags);
+    const inDegree = computeInDegree(graph);
+    // Same segment-aware prefix rule as `ask --in` / `callers --in`, and the same
+    // loud failure when it matches nothing — `--in` used to mean a bare substring
+    // here and a path prefix there, so `--in src` also swept up `lib/mysrc/`.
+    const inPrefix = opts.in ? normalizePathPrefix(opts.in) : undefined;
+    if (inPrefix)
+        assertPrefixIndexed(graph, inPrefix);
+    const fileNodes = graph.nodes.filter((n) => n.kind === "file" && (inPrefix === undefined || pathUnderPrefix(n.path, inPrefix)));
+    const groups = new Map();
+    let collected = 0;
+    let truncatedHits = 0;
+    let truncatedFiles = 0;
+    for (const file of fileNodes) {
+        let text;
+        try {
+            const decoded = readSourceFile(join(repoRoot, file.path));
+            if (decoded === null) {
+                truncatedFiles++; // unsupported encoding (e.g. UTF-16BE) — same posture as unreadable
+                continue;
+            }
+            text = decoded;
+        }
+        catch {
+            truncatedFiles++;
+            continue;
+        }
+        const symbols = symbolsOf(graph, file.path);
+        const lines = text.split("\n");
+        for (let i = 0; i < lines.length; i++) {
+            const raw = lines[i];
+            if (!regex.test(raw))
+                continue;
+            if (collected >= maxHits) {
+                truncatedHits++;
+                continue;
+            }
+            collected++;
+            const lineNo = i + 1;
+            const sym = enclosingSymbol(symbols, lineNo);
+            const key = sym ? sym.id : `file:${file.path}`;
+            let group = groups.get(key);
+            if (!group) {
+                group = {
+                    symbol: sym ? toSymbolRef(sym) : null,
+                    path: file.path,
+                    inDegree: sym ? (inDegree.get(sym.id) ?? 0) : 0,
+                    hits: [],
+                };
+                groups.set(key, group);
+            }
+            const trimmed = raw.trim();
+            group.hits.push({ line: lineNo, text: trimmed.length > MAX_HIT_TEXT ? trimmed.slice(0, MAX_HIT_TEXT) : trimmed });
+        }
+    }
+    const sortedGroups = [...groups.values()].sort((a, b) => b.inDegree - a.inDegree || a.path.localeCompare(b.path));
+    return {
+        pattern,
+        filesSearched: fileNodes.length,
+        totalHits: collected,
+        groups: sortedGroups,
+        truncated: { files: truncatedFiles, hits: truncatedHits },
+        saved: savingsFor(graph, sortedGroups.map((g) => g.path)),
+    };
+}
+//# sourceMappingURL=grep.js.map

package/dist/search/grep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grep.js","sourceRoot":"","sources":["../../src/search/grep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAgB,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA4D9C,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,MAAM,OAAO,GAAG,iBAAiB,CAAC;AAElC,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpD,CAAC;AAQD;uEACuE;AACvE,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY;IAC7C,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QACnD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;4EAG4E;AAC5E,SAAS,eAAe,CAAC,OAAqB,EAAE,IAAY;IAC1D,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI;YAAE,MAAM;QAC1B,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG;YAAE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;wEACwE;AACxE,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC9C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACjH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,QAAgB,EAAE,OAAe,EAAE,OAAoB,EAAE;IACjG,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACzC,4GAA4G;IAC5G,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEjG,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACxC,8EAA8E;IAC9E,8EAA8E;IAC9E,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,QAAQ;QAAE,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAC1F,CAAC;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,cAAc,EAAE,CAAC,CAAC,oEAAoE;gBACtF,SAAS;YACX,CAAC;YACD,IAAI,GAAG,OAAO,CAAC;QACjB,CAAC;QAAC,MAAM,CAAC;YACP,cAAc,EAAE,CAAC;YACjB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,SAAS;YAE/B,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;gBACzB,aAAa,EAAE,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,SAAS,EAAE,CAAC;YAEZ,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/C,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG;oBACN,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;oBACrC,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/C,IAAI,EAAE,EAAE;iBACT,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElH,OAAO;QACL,OAAO;QACP,aAAa,EAAE,SAAS,CAAC,MAAM;QAC/B,SAAS,EAAE,SAAS;QACpB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE;QACzD,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC1D,CAAC;AACJ,CAAC"}

package/dist/search/ignored-code.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Git-ignored folders and files under `root` holding code the map would
+ * otherwise index, repo-relative, folders ending in `/`. Dependency, build and
+ * dot folders are left out. Empty outside git, or when git can't say.
+ */
+export declare function ignoredCode(root: string, limit?: number): string[];
+/** `a/, b/ and 3 more`. */
+export declare function ignoredLabel(paths: string[], shown?: number): string;
+//# sourceMappingURL=ignored-code.d.ts.map

package/dist/search/ignored-code.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ignored-code.d.ts","sourceRoot":"","sources":["../../src/search/ignored-code.ts"],"names":[],"mappings":"AAsCA;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,EAAE,CAgB9D;AAED,2BAA2B;AAC3B,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,SAAI,GAAG,MAAM,CAG/D"}

package/dist/search/ignored-code.js

@@ -0,0 +1,73 @@
+/**
+ * Code the map leaves out because git ignores it, named when a search comes up
+ * empty. A migration repo kept the old app's code in git-ignored dumps (they
+ * held credentials); `trail grep` found nothing, said all indexed code was
+ * searched, and the agent's own grep then found the file. After that the agent
+ * stopped trusting trail for the session.
+ */
+import { WINHIDE } from "../util/child-process.js";
+import { spawnSync } from "node:child_process";
+import { readdirSync } from "node:fs";
+import { extname, join } from "node:path";
+import { supportedExtensions } from "../graph/source-files.js";
+import { shouldSkipDir } from "../ingest/fs.js";
+/** Most entries one ignored folder's walk looks at before giving up on it. */
+const WALK_CAP = 2000;
+function holdsCode(dir, exts) {
+    const stack = [dir];
+    let seen = 0;
+    while (stack.length && seen < WALK_CAP) {
+        const at = stack.pop();
+        let entries;
+        try {
+            entries = readdirSync(at, { withFileTypes: true });
+        }
+        catch {
+            continue;
+        }
+        for (const e of entries) {
+            if (++seen > WALK_CAP)
+                break;
+            if (e.isDirectory()) {
+                if (!shouldSkipDir(e.name))
+                    stack.push(join(at, e.name));
+            }
+            else if (exts.has(extname(e.name).toLowerCase()))
+                return true;
+        }
+    }
+    return false;
+}
+/**
+ * Git-ignored folders and files under `root` holding code the map would
+ * otherwise index, repo-relative, folders ending in `/`. Dependency, build and
+ * dot folders are left out. Empty outside git, or when git can't say.
+ */
+export function ignoredCode(root, limit = 20) {
+    const r = spawnSync("git", ["ls-files", "--others", "--ignored", "--exclude-standard", "--directory", "--no-empty-directory"], { ...WINHIDE, cwd: root,
+        encoding: "utf8",
+        timeout: 3000,
+    });
+    if (r.status !== 0 || typeof r.stdout !== "string")
+        return [];
+    const exts = new Set(supportedExtensions());
+    const out = [];
+    for (const entry of r.stdout.split("\n")) {
+        if (!entry)
+            continue;
+        if (entry.replace(/\/$/, "").split("/").some((p) => shouldSkipDir(p)))
+            continue;
+        const code = entry.endsWith("/") ? holdsCode(join(root, entry), exts) : exts.has(extname(entry).toLowerCase());
+        if (code)
+            out.push(entry);
+        if (out.length >= limit)
+            break;
+    }
+    return out;
+}
+/** `a/, b/ and 3 more`. */
+export function ignoredLabel(paths, shown = 3) {
+    const head = paths.slice(0, shown).join(", ");
+    return paths.length > shown ? `${head} and ${paths.length - shown} more` : head;
+}
+//# sourceMappingURL=ignored-code.js.map

package/dist/search/ignored-code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ignored-code.js","sourceRoot":"","sources":["../../src/search/ignored-code.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC;AAEtB,SAAS,SAAS,CAAC,GAAW,EAAE,IAAiB;IAC/C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IACpB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,KAAK,CAAC,MAAM,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACxB,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,EAAE,IAAI,GAAG,QAAQ;gBAAE,MAAM;YAC7B,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACpB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,KAAK,GAAG,EAAE;IAClD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,oBAAoB,EAAE,aAAa,EAAE,sBAAsB,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,IAAI;QACpJ,QAAQ,EAAE,MAAM;QAChB,OAAO,EAAE,IAAI;KACd,CAAC,CAAC;IACH,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAChF,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/G,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,GAAG,CAAC,MAAM,IAAI,KAAK;YAAE,MAAM;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,KAAK,GAAG,CAAC;IACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,QAAQ,KAAK,CAAC,MAAM,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAClF,CAAC"}

package/dist/search/user-regexp.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The regular expression `graft grep` and `graft_find_all` search with, built
+ * from the pattern the person (or their agent) typed. A grep takes a regex by
+ * design, so the pattern's syntax is kept; what this adds is that the RegExp
+ * is never made from the raw text:
+ *
+ * - every literal character goes through the metacharacter escape, and only
+ *   regex syntax from a fixed set is written as itself, so the source handed
+ *   to `RegExp` is the typed pattern, character for character, rebuilt from
+ *   known parts;
+ * - a repeat of a group that already repeats (`(a+)+`, `(\w*\s)*`) is refused
+ *   with a SyntaxError, as an invalid pattern is: on a long line it backtracks
+ *   exponentially and holds the search (the MCP server with it) for minutes.
+ *   `--fixed` still searches for such text literally.
+ *
+ * Every other pattern compiles to exactly what `new RegExp(pattern)` gives,
+ * and an invalid one still throws `RegExp`'s own SyntaxError.
+ */
+/** Thrown for a repeat of a repeating group: a SyntaxError, so callers report it as they report an invalid pattern. */
+export declare const NESTED_REPEAT = "a repeated group that repeats inside, like (a+)+, can take minutes on one long line; repeat only the inside, or use --fixed";
+/**
+ * `pattern` as a RegExp with `flags`, rebuilt from escaped literals and fixed syntax. Throws SyntaxError for an
+ * invalid pattern, and for a repeat of a group that repeats inside (see NESTED_REPEAT).
+ */
+export declare function userRegExp(pattern: string, flags?: string): RegExp;
+//# sourceMappingURL=user-regexp.d.ts.map

package/dist/search/user-regexp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-regexp.d.ts","sourceRoot":"","sources":["../../src/search/user-regexp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AA8BH,uHAAuH;AACvH,eAAO,MAAM,aAAa,gIACqG,CAAC;AAEhI;;;GAGG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,CAiF9D"}

package/dist/search/user-regexp.js

@@ -0,0 +1,150 @@
+/**
+ * The regular expression `graft grep` and `graft_find_all` search with, built
+ * from the pattern the person (or their agent) typed. A grep takes a regex by
+ * design, so the pattern's syntax is kept; what this adds is that the RegExp
+ * is never made from the raw text:
+ *
+ * - every literal character goes through the metacharacter escape, and only
+ *   regex syntax from a fixed set is written as itself, so the source handed
+ *   to `RegExp` is the typed pattern, character for character, rebuilt from
+ *   known parts;
+ * - a repeat of a group that already repeats (`(a+)+`, `(\w*\s)*`) is refused
+ *   with a SyntaxError, as an invalid pattern is: on a long line it backtracks
+ *   exponentially and holds the search (the MCP server with it) for minutes.
+ *   `--fixed` still searches for such text literally.
+ *
+ * Every other pattern compiles to exactly what `new RegExp(pattern)` gives,
+ * and an invalid one still throws `RegExp`'s own SyntaxError.
+ */
+/** One literal character, escaped when it is a regex metacharacter (`.` → `\.`). */
+const literal = (c) => c.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+/** A metacharacter as regex syntax: each written from a constant, never from the pattern. */
+function syntax(c) {
+    switch (c) {
+        case ".": return ".";
+        case "*": return "*";
+        case "+": return "+";
+        case "?": return "?";
+        case "^": return "^";
+        case "$": return "$";
+        case "{": return "{";
+        case "}": return "}";
+        case "(": return "(";
+        case ")": return ")";
+        case "|": return "|";
+        case "[": return "[";
+        case "]": return "]";
+        case "\\": return "\\";
+        default: throw new SyntaxError(`not regex syntax: ${c}`);
+    }
+}
+const META = new Set([".", "*", "+", "?", "^", "$", "{", "}", "(", ")", "|", "[", "]", "\\"]);
+/** `{n}`, `{n,}`, `{n,m}` at the start of the text: its bounds. */
+const BRACES = /^\{(\d+)(,(\d*))?\}/;
+/** Thrown for a repeat of a repeating group: a SyntaxError, so callers report it as they report an invalid pattern. */
+export const NESTED_REPEAT = "a repeated group that repeats inside, like (a+)+, can take minutes on one long line; repeat only the inside, or use --fixed";
+/**
+ * `pattern` as a RegExp with `flags`, rebuilt from escaped literals and fixed syntax. Throws SyntaxError for an
+ * invalid pattern, and for a repeat of a group that repeats inside (see NESTED_REPEAT).
+ */
+export function userRegExp(pattern, flags = "") {
+    let out = "";
+    let inClass = false;
+    // Per open group: whether anything in it repeats (a quantifier with a top over 1).
+    const groups = [false];
+    // What a quantifier here applies to: a group (and whether it repeats inside), another atom, or nothing.
+    let last = null;
+    const repeatNow = () => { groups[groups.length - 1] = true; };
+    for (let i = 0; i < pattern.length;) {
+        const c = pattern[i];
+        if (c === "\\") {
+            const n = pattern[i + 1];
+            // A trailing `\` is written as it is: RegExp refuses it in its own words.
+            if (n === undefined)
+                out += syntax("\\");
+            else
+                out += META.has(n) ? literal(n) : syntax("\\") + literal(n);
+            i += n === undefined ? 1 : 2;
+            last = { group: false, repeats: false };
+            continue;
+        }
+        if (inClass) {
+            if (c === "]") {
+                inClass = false;
+                last = { group: false, repeats: false };
+            }
+            out += META.has(c) ? syntax(c) : literal(c);
+            i++;
+            continue;
+        }
+        if (!META.has(c)) {
+            out += literal(c);
+            last = { group: false, repeats: false };
+            i++;
+            continue;
+        }
+        const braces = c === "{" ? BRACES.exec(pattern.slice(i)) : null;
+        if (c === "*" || c === "+" || c === "?" || braces) {
+            const repeats = braces ? (braces[2] !== undefined ? braces[3] === "" || Number(braces[3]) > 1 : Number(braces[1]) > 1) : c !== "?";
+            if (repeats && last?.group && last.repeats)
+                throw new SyntaxError(`Invalid regular expression: /${pattern}/: ${NESTED_REPEAT}`);
+            if (repeats)
+                repeatNow();
+            if (braces) {
+                out += syntax("{");
+                for (const d of braces[0].slice(1, -1))
+                    out += literal(d);
+                out += syntax("}");
+                i += braces[0].length;
+            }
+            else {
+                out += syntax(c);
+                i++;
+            }
+            // A lazy repeat (`+?`): the `?` is part of it.
+            if (pattern[i] === "?") {
+                out += syntax("?");
+                i++;
+            }
+            last = null;
+            continue;
+        }
+        if (c === "[") {
+            inClass = true;
+            out += syntax("[");
+            i++;
+            if (pattern[i] === "^") {
+                out += syntax("^");
+                i++;
+            }
+            continue;
+        }
+        if (c === "(") {
+            groups.push(false);
+            out += syntax("(");
+            i++;
+            // `(?:`, `(?=`, `(?<name>`: the `?` opens the group's kind, it repeats nothing.
+            if (pattern[i] === "?") {
+                out += syntax("?");
+                i++;
+            }
+            last = null;
+            continue;
+        }
+        if (c === ")") {
+            const repeats = groups.length > 1 ? groups.pop() : false;
+            if (repeats)
+                repeatNow();
+            out += syntax(")");
+            last = { group: true, repeats };
+            i++;
+            continue;
+        }
+        // `.` is an atom; `^`, `$` and `|` leave nothing to repeat; a lone `{`, `}` or `]` is a literal in this mode.
+        out += syntax(c);
+        last = c === "." || c === "{" || c === "}" || c === "]" ? { group: false, repeats: false } : null;
+        i++;
+    }
+    return new RegExp(out, flags);
+}
+//# sourceMappingURL=user-regexp.js.map

package/dist/search/user-regexp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-regexp.js","sourceRoot":"","sources":["../../src/search/user-regexp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,oFAAoF;AACpF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAEhF,6FAA6F;AAC7F,SAAS,MAAM,CAAC,CAAS;IACvB,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,OAAO,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAC9F,mEAAmE;AACnE,MAAM,MAAM,GAAG,qBAAqB,CAAC;AAErC,uHAAuH;AACvH,MAAM,CAAC,MAAM,aAAa,GACxB,6HAA6H,CAAC;AAEhI;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,KAAK,GAAG,EAAE;IACpD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,mFAAmF;IACnF,MAAM,MAAM,GAAc,CAAC,KAAK,CAAC,CAAC;IAClC,wGAAwG;IACxG,IAAI,IAAI,GAAgD,IAAI,CAAC;IAC7D,MAAM,SAAS,GAAG,GAAG,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAE9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,GAAI,CAAC;QACrC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,0EAA0E;YAC1E,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;;gBACpC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACxC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,OAAO,GAAG,KAAK,CAAC;gBAAC,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAAC,CAAC;YAC5E,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5C,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACxC,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;YACnI,IAAI,OAAO,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,OAAO;gBAAE,MAAM,IAAI,WAAW,CAAC,gCAAgC,OAAO,MAAM,aAAa,EAAE,CAAC,CAAC;YAChI,IAAI,OAAO;gBAAE,SAAS,EAAE,CAAC;YACzB,IAAI,MAAM,EAAE,CAAC;gBACX,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;gBACnB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC1D,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;gBACnB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBACjB,CAAC,EAAE,CAAC;YACN,CAAC;YACD,+CAA+C;YAC/C,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;gBAAC,CAAC,EAAE,CAAC;YAAC,CAAC;YACpD,IAAI,GAAG,IAAI,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,OAAO,GAAG,IAAI,CAAC;YACf,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC,EAAE,CAAC;YACJ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;gBAAC,CAAC,EAAE,CAAC;YAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC,EAAE,CAAC;YACJ,gFAAgF;YAChF,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;gBAAC,CAAC,EAAE,CAAC;YAAC,CAAC;YACpD,IAAI,GAAG,IAAI,CAAC;YACZ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAC1D,IAAI,OAAO;gBAAE,SAAS,EAAE,CAAC;YACzB,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAChC,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,8GAA8G;QAC9G,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAClG,CAAC,EAAE,CAAC;IACN,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC"}