pi-hashline-edit-pro 6.1.2 → 6.3.0

package/src/config.ts

@@ -3,8 +3,8 @@ import { dirname } from "node:path";
 import { configPath } from "./paths";
 import { errCode, isRec } from "./utils";
 import { writeAtomic } from "./fs-write";
-export type AutoReadAllMode = "off" | "on" | "git";
-const AUTO_READ_ALL_MODES: AutoReadAllMode[] = ["off", "on", "git"];
+export type AutoReadAllMode = "off" | "outline" | "full";
+const AUTO_READ_ALL_MODES: AutoReadAllMode[] = ["off", "outline", "full"];
 
 export type ReadOnDisabledModels = "remove" | "vanilla";
 const READ_ON_DISABLED_MODELS: ReadOnDisabledModels[] = ["remove", "vanilla"];
@@ -19,6 +19,7 @@ export interface Config {
   copyMoveEnabled?: boolean;
   replaceMatchEnabled?: boolean;
   autoReadAll?: AutoReadAllMode;
+  autoReadAllRequireGit?: boolean;
   autoReadAllIgnore?: string[];
   requirePath?: boolean;
   strictInput?: boolean;
@@ -33,6 +34,7 @@ const DEFAULT_CONFIG: Config = {
   copyMoveEnabled: true,
   replaceMatchEnabled: true,
   autoReadAll: "off",
+  autoReadAllRequireGit: true,
   autoReadAllIgnore: [],
   requirePath: false,
   strictInput: false,
@@ -42,12 +44,21 @@ const DEFAULT_CONFIG: Config = {
 };
 
 function parseAutoReadAllMode(value: unknown): AutoReadAllMode {
-  if (value === "off" || value === "on" || value === "git") return value;
-  if (value === true) return "on";
+  if (value === "off" || value === "outline" || value === "full") return value;
+  if (value === "outline(git)") return "outline";
+  if (value === "git") return "full";
+  if (value === "on" || value === true) return "full";
   if (value === false) return "off";
   return DEFAULT_CONFIG.autoReadAll ?? "off";
 }
 
+function parseAutoReadAllRequireGit(value: unknown, legacyMode: unknown): boolean {
+  if (typeof value === "boolean") return value;
+  if (legacyMode === "git" || legacyMode === "outline(git)") return true;
+  if (legacyMode === "full" || legacyMode === "outline" || legacyMode === "on" || legacyMode === true) return false;
+  return DEFAULT_CONFIG.autoReadAllRequireGit ?? true;
+}
+
 function parseReadOnDisabledModels(value: unknown, legacy: unknown): ReadOnDisabledModels {
   if (value === "remove" || value === "vanilla") return value;
   if (typeof legacy === "boolean") return legacy ? "remove" : "vanilla";
@@ -100,6 +111,7 @@ function parseConfig(content: string): Config {
   const copyMoveEnabled = parsed.copyMoveEnabled;
   const replaceMatchEnabled = parsed.replaceMatchEnabled;
   const autoReadAll = parsed.autoReadAll;
+  const autoReadAllRequireGit = parsed.autoReadAllRequireGit;
   const requirePath = parsed.requirePath;
   const strictInput = parsed.strictInput;
   const diffContextLines = parsed.diffContextLines;
@@ -113,6 +125,7 @@ function parseConfig(content: string): Config {
     copyMoveEnabled: typeof copyMoveEnabled === "boolean" ? copyMoveEnabled : DEFAULT_CONFIG.copyMoveEnabled,
     replaceMatchEnabled: typeof replaceMatchEnabled === "boolean" ? replaceMatchEnabled : DEFAULT_CONFIG.replaceMatchEnabled,
     autoReadAll: parseAutoReadAllMode(autoReadAll),
+    autoReadAllRequireGit: parseAutoReadAllRequireGit(autoReadAllRequireGit, autoReadAll),
     requirePath: typeof requirePath === "boolean" ? requirePath : DEFAULT_CONFIG.requirePath,
     strictInput: typeof strictInput === "boolean" ? strictInput : DEFAULT_CONFIG.strictInput,
     diffContextLines: normalizeDiffContextLines(diffContextLines),
@@ -226,30 +239,35 @@ export async function writeConfig(config: Config): Promise<void> {
 }
 
 
-type ToggleKey = "autoRead" | "anchorGrepEnabled" | "copyMoveEnabled" | "replaceMatchEnabled" | "requirePath" | "strictInput";
+type ToggleKey = "autoRead" | "autoReadAllRequireGit" | "anchorGrepEnabled" | "copyMoveEnabled" | "replaceMatchEnabled" | "requirePath" | "strictInput";
 
 async function toggleFlag(key: ToggleKey): Promise<boolean> {
   const config = await updateConfig((c) => { c[key] = !(c[key] === true); });
   return config[key] === true;
 }
 export const toggleAutoRead = (): Promise<boolean> => toggleFlag("autoRead");
+export const toggleAutoReadAllRequireGit = (): Promise<boolean> => toggleFlag("autoReadAllRequireGit");
 export const toggleAnchorGrep = (): Promise<boolean> => toggleFlag("anchorGrepEnabled");
 export const toggleCopyMove = (): Promise<boolean> => toggleFlag("copyMoveEnabled");
 export const toggleReplaceMatch = (): Promise<boolean> => toggleFlag("replaceMatchEnabled");
-export async function cycleReadOnDisabledModels(): Promise<ReadOnDisabledModels> {
+function steppedIndex(length: number, index: number, delta: number): number {
+  return ((index + delta) % length + length) % length;
+}
+
+export async function cycleReadOnDisabledModels(delta = 1): Promise<ReadOnDisabledModels> {
   let next: ReadOnDisabledModels = "vanilla";
   await updateConfig((c) => {
     const current = c.readOnDisabledModels ?? "vanilla";
-    next = READ_ON_DISABLED_MODELS[(READ_ON_DISABLED_MODELS.indexOf(current) + 1) % READ_ON_DISABLED_MODELS.length] ?? "remove";
+    next = READ_ON_DISABLED_MODELS[steppedIndex(READ_ON_DISABLED_MODELS.length, READ_ON_DISABLED_MODELS.indexOf(current), delta)] ?? "remove";
     c.readOnDisabledModels = next;
   });
   return next;
 }
-export async function cycleAutoReadAllMode(): Promise<AutoReadAllMode> {
+export async function cycleAutoReadAllMode(delta = 1): Promise<AutoReadAllMode> {
   let next: AutoReadAllMode = "off";
   await updateConfig((c) => {
     const current = c.autoReadAll ?? "off";
-    next = AUTO_READ_ALL_MODES[(AUTO_READ_ALL_MODES.indexOf(current) + 1) % AUTO_READ_ALL_MODES.length] ?? "off";
+    next = AUTO_READ_ALL_MODES[steppedIndex(AUTO_READ_ALL_MODES.length, AUTO_READ_ALL_MODES.indexOf(current), delta)] ?? "off";
     c.autoReadAll = next;
   });
   return next;

package/src/copy-move.ts

@@ -9,6 +9,8 @@ import {
   lineHashes,
   MAX_HASH_LINES,
   parseHashRef,
+  planEdit,
+  preserveDeletionSeparators,
   resEdit,
   resolveAnchorLine,
   stripAnchorRow,
@@ -17,7 +19,7 @@ import {
   type HTEdit,
 } from "./hashline";
 import { formatAnchorReclaimNotice, servedForPath, takeReclaimedPaths, withAnchorSession } from "./anchor-registry";
-import { batchMemberFor, batchServedFor, ensureBatchBase, executeBatchMember, noteBatchFailure, pendingBatchMemberFor, type BatchBase, type PlannedMember } from "./batch";
+import { batchMemberFor, batchServedFor, ensureBatchBase, executeBatchMember, noteBatchFailure, pendingBatchMemberFor, registerBatchPlanner, type BatchBase, type BatchMemberPlanner, type PlannedMember } from "./batch";
 import { loadP, loadGuide } from "./prompts";
 import { assertTransferReq, normReq, type TransferReq } from "./payload-contract";
 import { abortIf, assertByteLimit, isRec, splitLines } from "./utils";
@@ -332,13 +334,13 @@ async function commitMovePair(input: {
   const destinationSpan = input.destination.pipe.spans?.[0];
   const sourceSpan = input.source.pipe.spans?.[0];
   const destinationSeparators = destinationSpan
-    ? separatorsForSpans(input.destination.pipe.originalSeparators, input.destination.pipe.originalHashes.length, [destinationSpan], input.destination.pipe.result, input.destination.pipe.originalEnding)
+    ? separatorsForSpans(input.destination.pipe.originalSeparators, input.destination.pipe.originalHashes.length, [destinationSpan], input.destination.pipe.result, input.destination.pipe.originalEnding, splitLines(input.destination.pipe.originalNormalized))
     : undefined;
   if (destinationSeparators !== undefined && destinationSpan !== undefined) {
     applyEndingOverrides(destinationSeparators, destinationSpan.start, input.destination.endingOverrides);
   }
   const sourceSeparators = sourceSpan
-    ? separatorsForSpans(input.source.pipe.originalSeparators, input.source.pipe.originalHashes.length, [sourceSpan], input.source.pipe.result, input.source.pipe.originalEnding)
+    ? separatorsForSpans(input.source.pipe.originalSeparators, input.source.pipe.originalHashes.length, [sourceSpan], input.source.pipe.result, input.source.pipe.originalEnding, splitLines(input.source.pipe.originalNormalized))
     : undefined;
   const destinationBytes = input.destination.pipe.bom + (destinationSeparators !== undefined
     ? joinSeparators(input.destination.pipe.result, destinationSeparators)
@@ -600,50 +602,38 @@ function preloadFromBase(base: BatchBase): NormFile {
   };
 }
 
-async function executeBatchTransfer(
-  kind: TransferKind,
-  member: PlannedMember,
-  refs: TransferRefs,
-  warnings: string[],
-  targetPath: string,
-  mutationTargetPath: string,
-  cwd: string,
-  signal?: AbortSignal,
-): Promise<TResult> {
-  const base = await ensureBatchBase({ member, targetPath, mutationTargetPath, cwd, signal });
-  const displayPath = toDisplayPath(cwd, base.absolutePath, targetPath);
-  let plan: TransferPlan;
-  try {
-    plan = buildTransferEdit({ kind, refs, preload: preloadFromBase(base), displayPath, served: batchServedFor(member) });
-  } catch (error) {
-    await noteAnchorError(base.absolutePath, error);
-    noteBatchFailure(member, error);
-    throw error;
-  }
-  const resWarnings: string[] = [];
-  let hedit: HEdit;
-  try {
-    hedit = resEdit(plan.editParams, resWarnings);
-  } catch (error) {
-    noteBatchFailure(member, error);
-    throw error;
-  }
-  return executeBatchMember({
-    kind,
-    member,
-    targetPath,
-    mutationTargetPath,
-    cwd,
-    signal,
-    hedit,
-    extraWarnings: [...warnings, ...resWarnings],
-    foldedLines: plan.foldedAnchorLines,
-    ...(plan.anchorCarry !== undefined ? { carryIndex: plan.anchorCarry } : {}),
-    ...(plan.servedOverride !== undefined ? { servedOverride: plan.servedOverride } : {}),
-    ...(plan.endingOverrides !== undefined ? { contentSeparators: plan.endingOverrides } : {}),
-  });
+function planTransferBatchMember(kind: TransferKind): BatchMemberPlanner {
+  return (input) => {
+    if (input.member.sourceTarget !== undefined && input.member.sourceTarget !== input.member.target) return undefined;
+    const req = normReq(input.member.args);
+    assertTransferReq(req);
+    const { refs, warnings } = parseTransferAnchors(req);
+    const preload = preloadFromBase(input.base);
+    const transferPlan = buildTransferEdit({ kind, refs, preload, displayPath: input.displayPath, served: input.served });
+    const resWarnings: string[] = [];
+    const hedit = resEdit(transferPlan.editParams, resWarnings);
+    const effectiveHedit = preserveDeletionSeparators(hedit, input.base.baseLines, input.base.hashes);
+    const planned = planEdit(input.base.content, effectiveHedit, input.base.hashes, {
+      filePath: input.displayPath,
+      servedHashes: transferPlan.servedOverride ?? input.served,
+      signal: input.signal,
+      baseFileLines: input.base.baseLines,
+    });
+    return {
+      hedit,
+      warnings: [...warnings, ...resWarnings],
+      planned,
+      foldedLines: transferPlan.foldedAnchorLines,
+      ...(transferPlan.anchorCarry !== undefined ? { carryIndex: transferPlan.anchorCarry } : {}),
+      ...(transferPlan.servedOverride !== undefined ? { servedOverride: transferPlan.servedOverride } : {}),
+      ...(transferPlan.endingOverrides !== undefined ? { contentSeparators: transferPlan.endingOverrides } : {}),
+    };
+  };
 }
 
+registerBatchPlanner("copy", planTransferBatchMember("copy"));
+registerBatchPlanner("move", planTransferBatchMember("move"));
+
 async function executeBatchCrossCopy(
   member: PlannedMember,
   refs: TransferRefs,
@@ -687,17 +677,18 @@ async function executeBatchCrossCopy(
     throw error;
   }
   return executeBatchMember({
-    kind: "copy",
     member,
     targetPath: destinationPath,
     mutationTargetPath,
     cwd,
     signal,
-    hedit,
-    extraWarnings: [...warnings, ...resWarnings],
-    foldedLines: prepared.destinationFolded,
-    ...(prepared.destinationFolded === 1 ? { carryIndex: 0 } : {}),
-    contentSeparators: prepared.endingOverrides,
+    plan: {
+      hedit,
+      warnings: [...warnings, ...resWarnings],
+      foldedLines: prepared.destinationFolded,
+      ...(prepared.destinationFolded === 1 ? { carryIndex: 0 } : {}),
+      contentSeparators: prepared.endingOverrides,
+    },
   });
 }
 
@@ -751,21 +742,22 @@ async function executeBatchCrossMove(
     ...(sourcePipe.hadUtf8DecodeErrors ? ["Non-UTF-8 bytes were shown as U+FFFD; this edit rewrote the file as UTF-8."] : []),
   ];
   return executeBatchMember({
-    kind: "move",
     member,
     targetPath: destinationPath,
     mutationTargetPath,
     cwd,
     signal,
-    hedit,
-    extraWarnings: [...warnings, ...resWarnings, ...sourceWarnings],
-    foldedLines: prepared.destinationFolded,
-    ...(prepared.destinationFolded === 1 ? { carryIndex: 0 } : {}),
-    contentSeparators: prepared.endingOverrides,
-    sourceMove: {
-      displayPath: prepared.sourceDisplay,
-      mutationTargetPath: prepared.sourcePreload.absolutePath,
-      pipe: sourcePipe,
+    plan: {
+      hedit,
+      warnings: [...warnings, ...resWarnings, ...sourceWarnings],
+      foldedLines: prepared.destinationFolded,
+      ...(prepared.destinationFolded === 1 ? { carryIndex: 0 } : {}),
+      contentSeparators: prepared.endingOverrides,
+      sourceMove: {
+        displayPath: prepared.sourceDisplay,
+        mutationTargetPath: prepared.sourcePreload.absolutePath,
+        pipe: sourcePipe,
+      },
     },
   });
 }
@@ -900,11 +892,11 @@ type TransferToolDef = ToolDefinition<any, ReplaceDetails, RRState> & { renderSh
 export function buildTransferToolDef(kind: TransferKind, flags: EditToolFlags = DEFAULT_EDIT_FLAGS): TransferToolDef {
   const prompted = withTransferPrompts(
     {
-      description: loadP(`../prompts/${kind}.md`),
-      snippet: loadP(`../prompts/${kind}-snippet.md`),
+      description: loadP(`../tool-prompts/${kind}.md`),
+      snippet: loadP(`../tool-prompts/${kind}-snippet.md`),
       guidelines: [
-        ...loadGuide(`../prompts/${kind}-guidelines.md`),
-        ...loadGuide("../prompts/transfer-guidelines.md"),
+        ...loadGuide(`../tool-prompts/${kind}-guidelines.md`),
+        ...loadGuide("../tool-prompts/transfer-guidelines.md"),
       ],
     },
     flags,
@@ -932,20 +924,20 @@ export function buildTransferToolDef(kind: TransferKind, flags: EditToolFlags =
         const canonical = normReq(params);
         assertTransferReq(canonical);
         const req = canonical;
+        const member = batchMemberFor(_toolCallId);
         let refs: TransferRefs;
         let warnings: string[];
         try {
           ({ refs, warnings } = parseTransferAnchors(req));
-          await throwIfStrictInput(warnings);
+          const sameFileMember = member !== undefined && (member.sourceTarget === undefined || member.sourceTarget === member.target);
+          if (!sameFileMember) await throwIfStrictInput(warnings);
         } catch (error) {
-          const member = batchMemberFor(_toolCallId);
           if (member) noteBatchFailure(member, error);
           throw error;
         }
         let sourcePath: string;
         let destinationPath: string;
         try {
-          const member = batchMemberFor(_toolCallId);
           if (member) {
             await assertTransferPathOption(req, ctx.cwd, member);
             sourcePath = member.sourceTarget ?? member.target;
@@ -954,15 +946,13 @@ export function buildTransferToolDef(kind: TransferKind, flags: EditToolFlags =
             ({ sourcePath, destinationPath } = await resolveTransferTargets(req, ctx.cwd));
           }
         } catch (error) {
-          const member = batchMemberFor(_toolCallId);
           if (member) noteBatchFailure(member, error);
           throw error;
         }
         if (sourcePath === destinationPath) {
           return queuedEdit(sourcePath, ctx.cwd, signal, async (absolutePath, mutationTargetPath) => {
-            const member = batchMemberFor(_toolCallId);
             if (member) {
-              return executeBatchTransfer(kind, member, refs, warnings, sourcePath, mutationTargetPath, ctx.cwd, signal);
+              return executeBatchMember({ member, targetPath: sourcePath, mutationTargetPath, cwd: ctx.cwd, signal });
             }
             const preload = await readNormFile(sourcePath, ctx.cwd, {
               signal,
@@ -999,7 +989,6 @@ export function buildTransferToolDef(kind: TransferKind, flags: EditToolFlags =
             });
           });
         }
-        const member = batchMemberFor(_toolCallId);
         if (member) {
           return queuedEdit(destinationPath, ctx.cwd, signal, async (_absolutePath, mutationTargetPath) => {
             return kind === "copy"

package/src/edit-common.ts

@@ -66,7 +66,7 @@ function batchGuideline(flags: EditToolFlags): string {
   const tools = operationNames(SHARED_EDIT_OPS, flags);
   const outcome = flags.autoRead ? "diff" : "result";
   const script = flags.codemode ? ` ${SCRIPT_BATCH_GUIDELINE}` : "";
-  return `${tools}: same-file calls in one message are grouped into one batch; earlier calls reply \`In batch N (queued)\` and the last call shows the combined ${outcome}, with one undo for the whole batch.${script}`;
+  return `${tools}: same-file calls in one message are grouped into one batch; earlier calls reply \`In batch N (queued)\` and the last applied call shows the combined ${outcome}, with one undo for the whole batch. A call whose own request is invalid (anchors, shape, or \`old_string\`) fails on its own and is left out of the batch; the rest still commits.${script}`;
 }
 
 function diffGuideline(flags: EditToolFlags): string {
@@ -233,6 +233,7 @@ export interface PathRequirementInput {
   anchor?: string;
   providedPath?: unknown;
   cwd: string;
+  anchorTarget?: string;
 }
 
 export async function resolveEditTargetWithRequirement(input: PathRequirementInput): Promise<string> {
@@ -243,9 +244,10 @@ export async function resolveEditTargetWithRequirement(input: PathRequirementInp
   if (requirePath && (typeof input.providedPath !== "string" || input.providedPath.length === 0)) {
     throw new Error('[E_BAD_SHAPE] Edit request requires a non-empty "path" string when require-path mode is on. Provide `path` matching the file the anchors were served for.');
   }
-  const anchorTarget = typeof input.anchor === "string"
-    ? resolveEditTarget(input.anchor)
-    : resolveEditTarget(input.removeFrom as string, input.removeTo);
+  const anchorTarget = input.anchorTarget
+    ?? (typeof input.anchor === "string"
+      ? resolveEditTarget(input.anchor)
+      : resolveEditTarget(input.removeFrom as string, input.removeTo));
   if (requirePath) {
     const { resolved } = await resolveInCwd(input.providedPath as string, input.cwd);
     if (resolved !== anchorTarget) {

package/src/grep.ts

@@ -66,104 +66,22 @@ function compileGrepGlob(glob: string): RegExp {
   }
 }
 
-function buildRegex(pattern: string, literal: boolean, ignoreCase: boolean): RegExp {
-  if (!literal) assertSafeRegex(pattern);
-  const source = literal ? pattern.replace(/[.*+?^${}()|[\]\\]/g, "\\$&") : pattern;
+function regexSource(pattern: string, literal: boolean): string {
+  return literal ? pattern.replace(/[.*+?^${}()|[\]\\]/g, "\\$&") : pattern;
+}
+
+function assertPattern(pattern: string, literal: boolean, ignoreCase: boolean): void {
   try {
-    return new RegExp(source, ignoreCase ? "ui" : "u");
+    new RegExp(regexSource(pattern, literal), ignoreCase ? "ui" : "u");
   } catch {
     throw new Error(`[E_BAD_SHAPE] Invalid pattern: ${pattern}`);
   }
 }
 
-interface RegexGroupRisk {
-  hasQuantifier: boolean;
-  hasAlternation: boolean;
-}
-
-function unsafeRegex(pattern: string): never {
-  throw new Error(
-    `[E_UNSAFE_REGEX] Refusing potentially exponential regex: ${pattern}. Use literal: true or simplify the expression.`,
-  );
-}
-
-function assertSafeRegex(pattern: string): void {
-  if (pattern.length > 4096) unsafeRegex(pattern);
-  const groups: RegexGroupRisk[] = [];
-  let inClass = false;
-  let escaped = false;
-  let variableQuantifiers = 0;
-  let lastAtom: { groupRisky: boolean; quantified: boolean } | undefined;
-  for (let i = 0; i < pattern.length; i++) {
-    const ch = pattern[i]!;
-    if (escaped) {
-      if (!inClass && (/[1-9]/.test(ch) || (ch === "k" && pattern[i + 1] === "<"))) {
-        unsafeRegex(pattern);
-      }
-      escaped = false;
-      lastAtom = { groupRisky: false, quantified: false };
-      continue;
-    }
-    if (ch === "\\") {
-      escaped = true;
-      continue;
-    }
-    if (inClass) {
-      if (ch === "]") {
-        inClass = false;
-        lastAtom = { groupRisky: false, quantified: false };
-      }
-      continue;
-    }
-    if (ch === "[") {
-      inClass = true;
-      continue;
-    }
-    if (ch === "(") {
-      groups.push({ hasQuantifier: false, hasAlternation: false });
-      lastAtom = undefined;
-      continue;
-    }
-    if (ch === ")") {
-      const group = groups.pop();
-      if (group) {
-        lastAtom = {
-          groupRisky: group.hasQuantifier || group.hasAlternation,
-          quantified: false,
-        };
-      }
-      continue;
-    }
-    if (ch === "|") {
-      const group = groups.at(-1);
-      if (group) group.hasAlternation = true;
-      lastAtom = undefined;
-      continue;
-    }
-    let quantifierLength = 0;
-    if (ch === "*" || ch === "+" || ch === "?") {
-      quantifierLength = 1;
-    } else if (ch === "{") {
-      quantifierLength = /^\{\d+(?:,\d*)?\}/.exec(pattern.slice(i))?.[0].length ?? 0;
-    }
-    if (ch === "{" && quantifierLength > 0) {
-      const quant = pattern.slice(i, i + quantifierLength);
-      const m = /^\{(\d+)/.exec(quant);
-      if (m && Number(m[1]) > 1000) unsafeRegex(pattern);
-    }
-    if (quantifierLength > 0 && lastAtom) {
-      if (ch === "?" && lastAtom.quantified) continue;
-      const variable = ch !== "{" || pattern.slice(i, i + quantifierLength).includes(",");
-      if (variable && ++variableQuantifiers > 1) unsafeRegex(pattern);
-      if (lastAtom.groupRisky) unsafeRegex(pattern);
-      const group = groups.at(-1);
-      if (group) group.hasQuantifier = true;
-      lastAtom.quantified = true;
-      i += quantifierLength - 1;
-      continue;
-    }
-    lastAtom = { groupRisky: false, quantified: false };
-  }
+interface RgMatchLine {
+  line: number;
+  start: number;
+  end: number;
 }
 
 interface FileHit {
@@ -199,11 +117,23 @@ function snapCharBoundaries(line: string, start: number, end: number): [number,
   return [s, e];
 }
 
-function grepMatchFragment(line: string, regex: RegExp): string {
-  const m = regex.exec(line);
-  const matchStart = m?.index ?? 0;
-  const matchLen = m?.[0].length ?? 0;
+function byteOffsetToCharIndex(line: string, byteOffset: number): number {
+  if (byteOffset <= 0) return 0;
+  let bytes = 0;
+  let index = 0;
+  for (const char of line) {
+    if (bytes >= byteOffset) return index;
+    const codePoint = char.codePointAt(0)!;
+    bytes += codePoint < 0x80 ? 1 : codePoint < 0x800 ? 2 : codePoint < 0x10000 ? 3 : 4;
+    index += char.length;
+  }
+  return index;
+}
+
+function grepMatchFragment(line: string, startByte: number, endByte: number): string {
   const budget = GREP_ROW_CONTENT_BYTES - 6;
+  const matchStart = byteOffsetToCharIndex(line, startByte);
+  const matchLen = Math.max(0, byteOffsetToCharIndex(line, endByte) - matchStart);
   const half = Math.floor((budget - Math.min(matchLen, budget)) / 2);
   const [start, end] = snapCharBoundaries(line, Math.max(0, matchStart - half), Math.min(line.length, matchStart + matchLen + half));
   const content = truncateToBytes(line.slice(start, end), budget);
@@ -220,20 +150,21 @@ function grepHeadFragment(line: string): string {
 function makeHitFromIndices(
   norm: { normalized: string; fileHashes: string[]; absolutePath: string; hadUtf8DecodeErrors: boolean },
   displayPath: string,
-  matchIndices: number[],
+  matches: RgMatchLine[],
   context: number,
-  regex: RegExp | undefined,
   totalMatchCount: number,
   keptMatchCount: number,
 ): FileHit {
   const lines = visLines(norm.normalized);
   const shown = new Set<number>();
-  const kept = matchIndices.slice(0, keptMatchCount);
-  for (const i of kept) {
-    for (let j = Math.max(0, i - context); j <= Math.min(lines.length - 1, i + context); j++) shown.add(j);
+  const kept = matches.slice(0, keptMatchCount);
+  for (const match of kept) {
+    const lineIndex = match.line - 1;
+    for (let j = Math.max(0, lineIndex - context); j <= Math.min(lines.length - 1, lineIndex + context); j++) shown.add(j);
   }
   const sorted = [...shown].sort((a, b) => a - b);
-  const matchSet = new Set(matchIndices);
+  const matchByLine = new Map<number, RgMatchLine>();
+  for (const match of matches) matchByLine.set(match.line - 1, match);
   const rows: string[] = [];
   const hashes: string[] = [];
   const lineNumbers: number[] = [];
@@ -244,7 +175,8 @@ function makeHitFromIndices(
     const line = lines[idx]!;
     const row = fmtRow(hash, line);
     if (Buffer.byteLength(row, "utf-8") > MAX_GREP_LINE_BYTES) {
-      const content = matchSet.has(idx) && regex ? grepMatchFragment(line, regex) : grepHeadFragment(line);
+      const match = matchByLine.get(idx);
+      const content = match !== undefined ? grepMatchFragment(line, match.start, match.end) : grepHeadFragment(line);
       rows.push(fmtRow(hash, content));
       hashes.push(hash);
       lineNumbers.push(idx + 1);
@@ -270,7 +202,7 @@ function makeHitFromIndices(
     totalMatchCount,
     fragmented,
     texts,
-    matchLines: kept.map((index) => index + 1),
+    matchLines: kept.map((match) => match.line),
     hadUtf8DecodeErrors: norm.hadUtf8DecodeErrors,
   };
 }
@@ -330,7 +262,7 @@ async function collectRgMatches(
   req: GrepReq,
   signal: AbortSignal | undefined,
   repoRooted: boolean,
-): Promise<Map<string, number[]>> {
+): Promise<Map<string, RgMatchLine[]>> {
   const args = ["--json", "--line-number", "--color=never", "--hidden", "--glob", "!.git"];
   if (!repoRooted) args.push("--no-require-git");
   const wanted = req.limit ?? 100;
@@ -342,8 +274,8 @@ async function collectRgMatches(
   if (req.ignoreCase) args.push("--ignore-case");
   if (req.literal) args.push("--fixed-strings");
   args.push("--", pattern, searchPath);
-  const result = new Map<string, number[]>();
-  return await new Promise<Map<string, number[]>>((resolve, reject) => {
+  const result = new Map<string, RgMatchLine[]>();
+  return await new Promise<Map<string, RgMatchLine[]>>((resolve, reject) => {
     const child = spawn(rgPath, args, { stdio: ["ignore", "pipe", "pipe"] });
     const rl = createInterface({ input: child.stdout });
     let stderr = "";
@@ -367,7 +299,7 @@ async function collectRgMatches(
     };
     rl.on("line", (line) => {
       if (!line.trim()) return;
-      let event: { type?: string; data?: { path?: { text?: string }; line_number?: number } };
+      let event: { type?: string; data?: { path?: { text?: string }; line_number?: number; submatches?: Array<{ start?: number; end?: number }> } };
       try {
         event = JSON.parse(line);
       } catch {
@@ -383,8 +315,11 @@ async function collectRgMatches(
           } catch {
             abs = filePath;
           }
+          const submatch = event.data?.submatches?.[0];
+          const start = typeof submatch?.start === "number" ? submatch.start : 0;
+          const end = typeof submatch?.end === "number" ? submatch.end : start;
           const list = result.get(abs) ?? [];
-          list.push(lineNumber);
+          list.push({ line: lineNumber, start, end });
           result.set(abs, list);
         }
       }
@@ -481,8 +416,7 @@ export function fmtGrepCall(args: { pattern?: unknown; path?: unknown; glob?: un
 function highlightRegex(args: unknown): RegExp | undefined {
   if (!isRec(args) || typeof args.pattern !== "string" || args.pattern.length === 0) return undefined;
   try {
-    const validated = buildRegex(args.pattern, args.literal === true, args.ignoreCase === true);
-    return new RegExp(validated.source, validated.flags.includes("i") ? "giu" : "gu");
+    return new RegExp(regexSource(args.pattern, args.literal === true), args.ignoreCase === true ? "giu" : "gu");
   } catch {
     return undefined;
   }
@@ -535,9 +469,9 @@ export function renderGrepResult(result: { content?: Array<{ type: string; text?
 }
 export function regGrep(pi: ExtensionAPI, flags: EditToolFlags = DEFAULT_EDIT_FLAGS): void {
   const prompted = withGrepPrompts({
-    description: loadP("../prompts/grep.md"),
-    snippet: loadP("../prompts/grep-snippet.md"),
-    guidelines: loadGuide("../prompts/grep-guidelines.md"),
+    description: loadP("../tool-prompts/grep.md"),
+    snippet: loadP("../tool-prompts/grep-snippet.md"),
+    guidelines: loadGuide("../tool-prompts/grep-guidelines.md"),
   }, flags);
   pi.registerTool({
     name: "anchor_grep",
@@ -584,7 +518,7 @@ export function regGrep(pi: ExtensionAPI, flags: EditToolFlags = DEFAULT_EDIT_FL
           const globPath = toDisplayPath(globRoot, absPath);
           return globRegex.test(globPath) || globRegex.test(displayPath);
         };
-        const validatedRegex = buildRegex(req.pattern, req.literal === true, req.ignoreCase === true);
+        assertPattern(req.pattern, req.literal === true, req.ignoreCase === true);
         const rgPath = await resolveRgPath();
         const hits: FileHit[] = [];
         let matches = 0;
@@ -615,15 +549,13 @@ export function regGrep(pi: ExtensionAPI, flags: EditToolFlags = DEFAULT_EDIT_FL
         for (let f = 0; f < sortedFiles.length; f++) {
           abortIf(signal);
           const absPath = sortedFiles[f]!;
-          const allNums = rgMatches.get(absPath) ?? [];
-          const totalForFile = allNums.length;
-          const sortedNums = [...allNums].sort((a, b) => a - b);
-          const indices = sortedNums.map((n) => n - 1).filter((n) => n >= 0);
+          const fileMatches = [...(rgMatches.get(absPath) ?? [])].sort((a, b) => a.line - b.line);
+          const totalForFile = fileMatches.length;
           if (countOnly) {
             if (!matchesGlob(absPath)) continue;
             const norm = await readGrepFileShadow(absPath);
             if (!norm) continue;
-            const hit = makeHitFromIndices(norm, toDisplayPath(ctx.cwd, absPath), indices, context, validatedRegex, totalForFile, indices.length);
+            const hit = makeHitFromIndices(norm, toDisplayPath(ctx.cwd, absPath), fileMatches, context, totalForFile, fileMatches.length);
             const display = displayRowsForHit(hit);
             totalRows += display.length;
             for (const r of display) totalBytes += Buffer.byteLength(r, "utf-8") + 1;
@@ -645,7 +577,7 @@ export function regGrep(pi: ExtensionAPI, flags: EditToolFlags = DEFAULT_EDIT_FL
           if (!matchesGlob(absPath)) continue;
           const norm = await readGrepFile(absPath);
           if (!norm) continue;
-          const hit = makeHitFromIndices(norm, toDisplayPath(ctx.cwd, absPath), indices, context, validatedRegex, totalForFile, Math.min(totalForFile, remaining));
+          const hit = makeHitFromIndices(norm, toDisplayPath(ctx.cwd, absPath), fileMatches, context, totalForFile, Math.min(totalForFile, remaining));
           const display = displayRowsForHit(hit);
           const keptRows: string[] = [];
           const keptHashes: string[] = [];