thincoder 0.12.54 → 0.12.59

package/src/tools/file.mjs

@@ -10,16 +10,13 @@ import {
   detectFileEol,
   joinWithEol,
   majorityEol,
-  findCandidates,
   FFFD_WARNING,
 } from "./shared.mjs";
+import { applyEditBatch } from "./edit-batch.mjs";
+import { runSingleEdit } from "./edit-diff.mjs";
 import { specForModel } from "../config.mjs";
 import { createHash } from "node:crypto";
-import { mkdir } from "node:fs/promises";
-import { readFile } from "node:fs/promises";
-import { stat } from "node:fs/promises";
-import { writeFile } from "node:fs/promises";
-import { unlink } from "node:fs/promises";
+import { mkdir, readFile, stat, writeFile, unlink } from "node:fs/promises";
 import { join, relative, dirname } from "node:path";
 
 const MAX_FILE_READ_BYTES = 10_000_000
@@ -54,8 +51,9 @@ export function clearLastWrite(abs) { lastWrites.delete(abs) }
  *  模型拿到的不只是"inserted at L395"，而是"L395 这行是什么内容"——下次再操作时
  *  能自检"我的行号 vs 实际内容"是否匹配，匹配不上 = 行号漂了，先 read——
  *  死循环就断了（根因：模型对行号锚点的"新鲜度"没有感知——数字本身不携带语义）。
- *  write 全文重写跳过（无行号锚点——模型刚写的知道内容）。 */
-async function appendWriteContext(abs, writeLine, baseResult) {
+ *  write 全文重写跳过（无行号锚点——模型刚写的知道内容）。
+ *  edit-batch.mjs（数组形态）复用——导出仅供内部模块，非公共 API。 */
+export async function appendWriteContext(abs, writeLine, baseResult) {
   const content = normalizeEOL(await readFile(abs, "utf8"))
   const lines = content.split("\n")
   const start = Math.max(1, writeLine - 3)
@@ -75,16 +73,18 @@ export const readTool = {
     type: "object",
     properties: {
       path: { type: "string", description: "File path (relative to cwd or absolute)" },
+      filePath: { type: "string", description: "Alias for path (supported for API compatibility)" },
       offset: { type: "number", description: "1-based line number to start from" },
       limit: { type: "number", description: `Max lines to return (default ${MAX_READ_LINES})` },
-      allowExternal: { type: "boolean", description: "Allow reading files outside the working directory. Only set true when the user explicitly provided an external path — never use this to explore beyond cwd on your own." },
+      allowExternal: { type: "boolean", description: "No-op retained for API compatibility — path resolution no longer asserts a working-directory boundary (all paths resolve relative to cwd)." },
       hashes: { type: "boolean", description: "Include SHA256 line hashes for hash-based editing (default false). Use when you plan to edit the file with hashline_edit." },
     },
     required: ["path"],
   },
   readonly: true,
   async execute(args, ctx) {
-    const abs = args.allowExternal ? resolveExternal(ctx, args.path) : resolveInCwd(ctx, args.path)
+    const p = args.path ?? args.filePath
+    const abs = args.allowExternal ? resolveExternal(ctx, p) : resolveInCwd(ctx, p)
     // Large file guard: check size first, reject reading entire file if >10MB (offset/limit only affect the returned slice, not buffering)
     const st = await stat(abs).catch(() => null)
     if (st && st.size > MAX_FILE_READ_BYTES) throw new Error(`File too large (${Math.round(st.size / 1_000_000)}MB > 10MB limit). Use bash with head/tail or grep for targeted extraction.`)
@@ -216,13 +216,13 @@ export const editTool = {
   parameters: {
     type: "object",
     properties: {
-      path: { type: "string", description: "File path" },
+      path: { type: "string", description: "File path — single form: required; with the edits array: optional top-level default for entries without their own path" },
       old_string: { type: "string", description: "Exact text to replace" },
       new_string: { type: "string", description: "Replacement text" },
       replace_all: { type: "boolean", description: "Replace all occurrences (default false)" },
       edits: {
         type: "array",
-        description: "2026-08-31 工具顺手度：一次多文件原子替换——任一失败全不写（先全量检查所有替换可执行）。与 path/old_string/new_string 互斥。",
+        description: "Batch form — multiple edits in ONE call, atomic (any failure writes nothing; same-file entries apply serially, each based on the previous result). Use it for multiple changes to the same file AND for independent changes across multiple files — prefer one batched call over N single edits. A top-level path is allowed — it defaults entries without their own path (entry paths win). Mutually exclusive with top-level old_string/new_string — provide each change's old/new inside its edits entry.",
         items: {
           type: "object",
           properties: {
@@ -231,7 +231,7 @@ export const editTool = {
             new_string: { type: "string" },
             replace_all: { type: "boolean" },
           },
-          required: ["path", "old_string", "new_string"],
+          required: ["old_string", "new_string"],
         },
       },
     },
@@ -239,111 +239,23 @@ export const editTool = {
   },
   readonly: false,
   touchedPaths(args) {
-    if (args.edits) return args.edits.map((e) => e.path).filter(Boolean)
+    // 2026-09-05 用户裁定：顶层 path = 批默认——仅当有条目缺 path 时计入（条目全带 path
+    // 时顶层 path 不实际使用——不虚报进 _touchedFiles）
+    if (args.edits) {
+      const out = args.edits.map((e) => e.path).filter(Boolean)
+      if (args.path && args.edits.some((e) => !e.path)) out.push(args.path)
+      return out
+    }
     return args.path ? [args.path] : []
   },
   async execute(args, ctx) {
     // 2026-08-31 工具顺手度（用户批准）：数组形态——一次多文件原子替换
-    if (args.edits) {
-      if (!Array.isArray(args.edits) || args.edits.length === 0) {
-        throw new Error("edits must be a non-empty array of {path, old_string, new_string}")
-      }
-      if (args.path || args.old_string !== undefined || args.new_string !== undefined) {
-        throw new Error("edits array is mutually exclusive with path/old_string/new_string")
-      }
-      // 原子：先全量 read+match 检查（所有文件都能替换）——任一失败全不写
-      const prepared = []
-      for (const e of args.edits) {
-        if (!e.path) throw new Error("each edit must have a path")
-        if (!e.old_string) throw new Error(`edit for ${e.path}: old_string must not be empty`)
-        const abs = resolveInCwd(ctx, e.path)
-        const raw = await readFile(abs, "utf8")
-        const content = normalizeEOL(raw)
-        const occurrences = content.split(e.old_string).length - 1
-        if (occurrences === 0) {
-          throw new Error(
-            `edit aborted (atomic — no files written): old_string not found in ${e.path}\n` +
-            `  searched: "${e.old_string.slice(0, 100).split("\n")[0]}${e.old_string.length > 100 ? "…" : ""}"`
-          )
-        }
-        if (occurrences > 1 && !e.replace_all) {
-          throw new Error(
-            `edit aborted (atomic — no files written): old_string matches ${occurrences} times in ${e.path}; ` +
-            `provide more context or set replace_all`
-          )
-        }
-        const updated = e.replace_all
-          ? content.split(e.old_string).join(e.new_string)
-          : content.replace(e.old_string, () => e.new_string)
-        const matchIdx = content.indexOf(e.old_string)
-        const editStartLine = matchIdx >= 0 ? content.slice(0, matchIdx).split("\n").length : 1
-        const lineShift = e.new_string.split("\n").length - e.old_string.split("\n").length
-        prepared.push({ abs, path: e.path, raw, updated, editStartLine, lineShift, occurrences: e.replace_all ? occurrences : 1 })
-      }
-      // 全部检查通过——逐个写
-      const results = []
-      for (const p of prepared) {
-        await writeFile(p.abs, joinWithEol(normalizeEOL(p.updated).split("\n"), p.raw), "utf8")
-        recordWrite(p.abs, { type: "edit", startLine: p.editStartLine, shift: p.lineShift })
-        const withCtx = await appendWriteContext(p.abs, p.editStartLine, `Edited ${p.path}: replaced ${p.occurrences} occurrence(s)`)
-        results.push(withCtx)
-      }
-      return results.join("\n")
-    }
+    // （应用逻辑在 edit-batch.mjs——2026-09-01 拆出，500 行硬限，先例 git-ext.mjs）
+    if (args.edits) return applyEditBatch(args, ctx)
 
-    // 单文件（现状路径）
-    const abs = resolveInCwd(ctx, args.path)
-    if (!args.old_string) {
-      throw new Error("old_string must not be empty (empty string matches everywhere and would corrupt the file)")
-    }
-    const raw = await readFile(abs, "utf8")
-    const content = normalizeEOL(raw)
-    const occurrences = content.split(args.old_string).length - 1
-    if (occurrences === 0) {
-      // Give clues to help the model locate: first-line preview + common causes
-      const preview = args.old_string.slice(0, 100).split("\n")[0]
-      // Similarity candidates (LCS, line-level, top 3, score ≥ 0.5) — turns the
-      // "not found" black box into a pointer at the most likely intended line.
-      // Multi-line old_string: only its first line is scored (marked accordingly).
-      const cands = findCandidates(content.split("\n"), args.old_string)
-      let candText = ""
-      if (cands.length > 0) {
-        const header = args.old_string.includes("\n")
-          ? `  similar lines (old_string line 1: "${args.old_string.split("\n")[0].slice(0, 80)}"):`
-          : "  similar lines:"
-        candText = "\n" + header + "\n" + cands.map((c) => `    L${c.line}: ${c.preview} (${Math.round(c.score * 100)}%)`).join("\n")
-      }
-      throw new Error(
-        `old_string not found in ${args.path}\n` +
-        `  searched: "${preview}${args.old_string.length > 100 ? "…" : ""}"\n` +
-        (lastWriteOf(abs)?.type === "write"
-          ? `  hints: this file was modified since your last read (write 全文重写后内容全变) — re-read it to refresh your copy of the content, then retry\n`
-          : isDirty(abs)
-            ? `  hints: this file was modified since your last read (a prior write marked it dirty) — re-read it to refresh your copy of the content, then retry\n`
-            : `  hints: whitespace mismatch? file already changed? try reading the file first\n`) +
-        candText
-      )
-    }
-    if (occurrences > 1 && !args.replace_all) {
-      throw new Error(`old_string matches ${occurrences} times in ${args.path}; provide more context or set replace_all`)
-    }
-    const updated = args.replace_all
-      ? content.split(args.old_string).join(args.new_string)
-      // Functional replacement: avoid $-substitution patterns in new_string (match string / backreference) being expanded
-      : content.replace(args.old_string, () => args.new_string)
-    // Write back in the file's ORIGINAL EOL style (first-newline rule) — a CRLF
-    // file must not come back as LF (that rewrites every line in the diff).
-    // normalizeEOL first: new_string may carry \r\n (e.g. pasted from a raw CRLF
-    // read); without normalizing, split leaves stray \r and CRLF join makes \r\r\n.
-    await writeFile(abs, joinWithEol(normalizeEOL(updated).split("\n"), raw), "utf8")
-    // 2026-08-31 工具顺手度：记录受影响区（替换首行 + 行数差）——insert_after 精确判定
-    const matchIdx = content.indexOf(args.old_string)
-    const editStartLine = matchIdx >= 0 ? content.slice(0, matchIdx).split("\n").length : 1
-    const lineShift = args.new_string.split("\n").length - args.old_string.split("\n").length
-    recordWrite(abs, { type: "edit", startLine: editStartLine, shift: lineShift })
-    const diff = gitDiffOne(ctx.cwd, abs)
-    const baseResult = `Edited ${args.path}: replaced ${args.replace_all ? occurrences : 1} occurrence(s)${diff ? "\n" + diff : ""}${await autoSyntaxCheck(abs)}`
-    return await appendWriteContext(abs, editStartLine, baseResult)
+    // 单文件（现状路径）——执行体整段迁出至 edit-diff.mjs（TOOLS.md §15 D15.1——
+    // 行级 LCS 判定：零重叠→插入 / 一般 diff→LCS / 空 new→显式报错）
+    return runSingleEdit(args, ctx)
   },
 }
 
@@ -491,7 +403,7 @@ export const hashlineEditTool = {
       const hashDump = fileHashes.slice(0, maxShow).map((h, i) => `${h}  L${i + 1}: ${lines[i].slice(0, 80)}`).join("\n")
       const preview = target.join(" ")
       throw new Error(
-        `Hash sequence not found in ${args.path}: ${preview}\n` +
+        `Hash sequence not found in ${args.path}: ${preview} — for fresh hashes, re-read the file with hashes=true\n` +
         `The file may have been modified since you last read it. Current hashes (first ${maxShow} lines):\n${hashDump}` +
         (corrupted ? `\n${FFFD_WARNING}` : "")
       )

package/src/tools/file_ops.md

@@ -11,6 +11,7 @@ Parameters:
 - dest (required): destination path
 
 Notes:
-- Paths are confined to the working directory (same safety as write/edit) — bash has NO directory confinement.
+- Paths resolve relative to cwd — no directory restriction (same boundary as bash; the approval gate is the guard).
 - `dest` is overwritten if it already exists. `copy` is recursive for directories.
-- To create a directory, use `write` (creates parent dirs) or `bash mkdir`.
+- To create a directory, use `write` (creates parent dirs) or `bash mkdir`.
+- Returns `Moved|Copied|Renamed <source> -> <dest>` or `Error: ...` (same-path and missing-path errors).

package/src/tools/get_current_time.md

@@ -3,4 +3,6 @@ Get the current date, time, weekday, and timezone.
 **Route to get_current_time instead of bash:**
 - `date` / `time` → get_current_time
 
-Use it whenever a task depends on the current time or date (deadlines, freshness, timestamps) rather than shelling out.
+Use it whenever a task depends on the current time or date (deadlines, freshness, timestamps) rather than shelling out.
+
+Returns `Date` / `Timezone` / `Weekday` / `Local` lines (UTC + local timezone).

package/src/tools/git.md

@@ -36,7 +36,7 @@ Run a git command. Only works inside a git repository.
 
 Parameters:
 - action (required): diff / status / log / show / checkpoint / add / rm / commit / push / tag / branch / checkout / restore / stash / fetch / pull / reset / revert / merge / cherry-pick / ls-remote / clone / init / rebase / remote / clean / switch / apply / worktree / archive / blame / mv
-- workdir: run git in this workspace subdirectory (monorepo / multi-repo). Confined to the workspace. Default: cwd
+- workdir: run git in this subdirectory (monorepo / multi-repo). Path relative to cwd — no directory restriction. Default: cwd
 - config: (network actions push/fetch/pull/ls-remote/clone) git -c overrides, e.g. ["http.proxy=http://10.2.2.112:3128"] for blocked remotes
 - path: (diff/log/add/commit/checkout/restore/rm/apply/archive/blame/mv/worktree) file or directory to scope / stage / restore
 - ref: (show/diff/checkout/reset/revert/merge/cherry-pick/tag:create/branch:create/rebase/worktree:add/archive) commit/branch/ref; (push/pull/fetch) the branch or tag (space-separated for multiple)

package/src/tools/git.mjs

@@ -4,7 +4,7 @@ import {
   runGit
 } from "./shared.mjs";
 import { execFileSync } from "node:child_process";
-import { resolve, relative, isAbsolute, sep } from "node:path";
+import { resolve } from "node:path";
 import { filterLines, runGitStrict, validateRef, gitConfigArgs, snapshotBefore, executeExtAction } from "./git-ext.mjs";
 import { executeCheckpointAction } from "./git-checkpoint.mjs";
 
@@ -23,20 +23,12 @@ function runGitRaw(cwd, cmdArgs, config = []) {
 
 
 
-/** True when `abs` is inside `root` (handles `..` and cross-drive, which relative()
- *  returns as an absolute path on Windows). */
-function isInside(root, abs) {
-  const rel = relative(root, abs)
-  if (isAbsolute(rel)) return false
-  return rel !== ".." && !rel.startsWith(".." + sep)
-}
-
-/** Resolve workdir relative to cwd, asserting it stays within the workspace. */
+/** Resolve workdir relative to cwd — no boundary assertion
+ *  (§10.1 2026-09-02: workspace confinement removed; git itself is not
+ *  directory-limited — same boundary as bash). */
 function resolveBaseDir(cwd, workdir) {
   if (!workdir || typeof workdir !== "string") return cwd
-  const abs = resolve(cwd, workdir)
-  if (!isInside(cwd, abs)) throw new Error(`workdir escapes the workspace: ${workdir}`)
-  return abs
+  return resolve(cwd, workdir)
 }
 
 
@@ -59,7 +51,7 @@ export const gitTool = {
       // write-op params
       name: { type: "string", description: "(branch/tag) The branch or tag name (create/delete/switch)" },
       remote: { type: "string", description: "(push/fetch/pull) Remote name (e.g. origin). Default: current upstream" },
-      workdir: { type: "string", description: "Run git in this workspace subdirectory (monorepo / multi-repo). Confined to the workspace. Default: cwd" },
+      workdir: { type: "string", description: "Run git in this subdirectory (monorepo / multi-repo). Path relative to cwd — no directory restriction. Default: cwd" },
       config: { type: "array", items: { type: "string" }, description: "(network actions: push/fetch/pull/ls-remote) git -c overrides, e.g. [\"http.proxy=http://10.2.2.112:3128\"] for blocked remotes" },
       tags: { type: "boolean", description: "(push) Also push all tags (--tags)" },
       mode: { type: "string", enum: ["soft", "mixed", "hard"], description: "(reset) reset mode — hard snapshots the tree first + needs confirmation（操作前自动快照，checkpointAction=rewind 恢复）" },
@@ -82,8 +74,8 @@ export const gitTool = {
   },
   readonly: false,
   async execute(args, ctx) {
-    // workdir: run git in a workspace subdirectory (monorepo / multi-repo). Shadow ctx.cwd so
-    // every action + snapshotBefore + checkpoint resolves against the workdir, confined to the workspace.
+    // workdir: run git in a subdirectory (monorepo / multi-repo). Shadow ctx.cwd so
+    // every action + snapshotBefore + checkpoint resolves against the workdir.
     if (args.workdir) ctx = { ...ctx, cwd: resolveBaseDir(ctx.cwd, args.workdir) }
     // git -c overrides (proxy etc.) — only network actions need them; passing to every
     // action would be harmless but noisy. cfgArgs stays [] for local ops.

package/src/tools/hashline_edit.md

@@ -10,3 +10,5 @@ Notes:
 - Hashes are position-independent: they identify lines by content, not by line number (which changes after edits)
 - If the hash sequence isn't found, the error will include the current file's hashes so you can retry with corrected values
 - Prefer this over edit when: 1) the file may have mixed whitespace/encoding, 2) you want to edit a block of lines with a single call
+- Replacement text replaces the lines identified by the hashes — content not present in new_content is deleted. For a new line after a known line, use insert_after. For a single simple string swap, use edit.
+- use the most recent read of the file as the source of old_string / line numbers / hashes — re-read after the file changed

package/src/tools/index.mjs

@@ -2,6 +2,7 @@
 export { toOpenAISchema } from "./shared.mjs";
 
 import { readTool, writeTool, editTool, insertAfterTool, readImageTool, hashlineEditTool } from "./file.mjs";
+import { readPdfTool } from "./pdf.mjs";
 import { applyPatchTool, deleteTool } from "./patch.mjs";
 import { bashTool, globTool, grepTool, lsTool } from "./system.mjs";
 import { websearchTool, fetchTool } from "./web.mjs";
@@ -15,7 +16,7 @@ import { treeTool } from "./tree.mjs";
 
 export const builtinTools = [
   readTool, writeTool, editTool, insertAfterTool, hashlineEditTool, applyPatchTool,
-  readImageTool, bashTool, globTool, grepTool,
+  readImageTool, readPdfTool, bashTool, globTool, grepTool,
   websearchTool, lsTool, fetchTool, deleteTool,
   gitTool, questionTool,
   checklistTool, lintTool, lspTool, executeTool,
@@ -25,7 +26,7 @@ export const builtinTools = [
 
 export {
   readTool, writeTool, editTool, insertAfterTool, hashlineEditTool, applyPatchTool,
-  readImageTool, bashTool, globTool, grepTool,
+  readImageTool, readPdfTool, bashTool, globTool, grepTool,
   websearchTool, lsTool, fetchTool, deleteTool,
   gitTool, questionTool,
   checklistTool, lintTool, lspTool, executeTool,

package/src/tools/insert_after.md

@@ -8,7 +8,8 @@ Parameters:
 
 Notes:
 - Either after_line or after_regex is required; if both are given, after_line wins.
-- Use this instead of `edit` when you're adding a new function, import, or block — no need to fabricate surrounding context for exact matching.
+- Use this instead of edit when you're adding a new line — a checklist item, a doc heading, a line of prose, a function, an import, or a block — no need to fabricate surrounding context for exact matching.
 - The inserted content becomes its own line; it's equivalent to `lines.splice(targetLine, 0, content)`.
 - Returns a diff of the change.
 - **Read-before-insert guard**: if the file was modified by any write tool (write/edit/insert_after/hashline_edit/apply_patch/delete) since your last `read`, this tool REFUSES with an error — line numbers may be stale. Read the file again, then retry. This prevents after_line from silently landing at a drifted position.
+- use the most recent read of the file as the source of old_string / line numbers / hashes — re-read after the file changed

package/src/tools/lint.md

@@ -1,8 +1,10 @@
 Run the appropriate linter/checker for a file. Auto-detects based on file extension and project config.
 Without 'full', runs a fast node --check (JS/TS syntax only, catches parse errors in milliseconds).
-With 'full', runs the language-aware cascade: eslint → tsc –noEmit → node --check (JS/TS/TSX); ruff (Python); cargo check (Rust); go vet (Go).
+With 'full', runs the language-aware cascade: tsc –noEmit (TS); ruff (Python); cargo check (Rust); go vet (Go). JS/JSX files fall back to node --check; TS uses tsc --noEmit (requires tsconfig.json).
 Use the fast default after every write/edit; use 'full' before declaring a task complete.
 
+Returns the check result: `Syntax OK: <path>` / `Syntax error in <path>: <message>` (or the language checker's output — `✓ no issues` or the failure text).
+
 Parameters:
 - path: File to check (default: most recently modified file)
 - full: Run the full language-aware cascade instead of just node --check (default false)

package/src/tools/linter.mjs

@@ -1,7 +1,7 @@
 import { DESC, resolveInCwd } from "./shared.mjs"
 import { execFileSync } from "node:child_process"
 import { existsSync } from "node:fs"
-import { join, relative } from "node:path"
+import { join } from "node:path"
 
 export const lintTool = {
   name: "lint",
@@ -26,7 +26,8 @@ export const lintTool = {
       return nodeCheckResult(abs)
     }
 
-    // Full cascade: language-aware (eslint → tsc → node --check, etc.)
+    // Full cascade: language-aware (tsc → node --check, ruff, cargo, go vet —
+    // third-party linter cascade removed 2026-09-02, TOOLS.md §10.2: zero-dependency lint)
     const ext = abs.split(".").pop()?.toLowerCase()
     const checkers = LANG_CHECKERS[ext]
     if (!checkers) return nodeCheckResult(abs) // fall back to node --check
@@ -54,33 +55,7 @@ function nodeCheckResult(abs) {
   }
 }
 
-// ─── Full-check cascade checkers ──────────────────────
-
-async function eslintCheck(file, { cwd, existsSync, execFileSync, join, relative }) {
-  let dir = file.split(/[\\/]/).slice(0, -1).join("/") || "."
-  while (true) {
-    for (const cfg of [".eslintrc.js", ".eslintrc.cjs", ".eslintrc.json", ".eslintrc.yaml", ".eslintrc.yml", "eslint.config.js", "eslint.config.mjs"]) {
-      if (existsSync(join(cwd, dir, cfg))) {
-        try {
-          const cfgDir = join(cwd, dir)
-          const relPath = relative(cfgDir, file)
-          execFileSync("npx", ["eslint", "--no-color", "--format", "compact", relPath], {
-            cwd: cfgDir, encoding: "utf8", timeout: 30000, stdio: ["ignore", "pipe", "pipe"],
-          })
-          return "✓ eslint: no issues"
-        } catch (e) {
-          const stdout = (e.stdout || "").trim()
-          if (stdout) return stdout
-          return `✗ eslint: ${(e.stderr || e.message).slice(0, 500)}`
-        }
-      }
-    }
-    const parent = dir.split("/").slice(0, -1).join("/")
-    if (!parent || parent === dir) break
-    dir = parent
-  }
-  return null
-}
+// ─── Full-check cascade checkers (third-party linter branch removed 2026-09-02, TOOLS.md §10.2) ──────
 
 async function tscCheck(file, { cwd, existsSync, execFileSync, join }) {
   if (!existsSync(join(cwd, "tsconfig.json"))) return null
@@ -142,14 +117,11 @@ async function goVet(file, { cwd, execFileSync }) {
 }
 
 const LANG_CHECKERS = {
-  js:  [eslintCheck],
-  mjs: [eslintCheck],
-  cjs: [eslintCheck],
-  jsx: [eslintCheck],
-  ts:  [eslintCheck, tscCheck],
-  tsx: [eslintCheck, tscCheck],
-  mts: [eslintCheck, tscCheck],
-  cts: [eslintCheck, tscCheck],
+  // js/mjs/cjs/jsx fall back to node --check (no entry — third-party linter cascade removed 2026-09-02, TOOLS.md §10.2)
+  ts:  [tscCheck],
+  tsx: [tscCheck],
+  mts: [tscCheck],
+  cts: [tscCheck],
   py:  [ruffCheck],
   rs:  [cargoCheck],
   go:  [goVet],

package/src/tools/lsp.md

@@ -1,7 +1,10 @@
-LSP code intelligence: go to definition, find references, hover info, document symbols, diagnostics. Use this to understand code structure without grep-guessing function locations or type shapes.
+LSP code intelligence: go to definition, find references, hover info, document symbols, diagnostics. Use this to understand code structure without grep-guessing function locations or type shapes. Find files with glob / repo_outline — use lsp for definition / references / diagnostics
 
 Parameters:
 - subcommand (required): LSP operation — "definition" | "references" | "hover" | "symbols" | "diagnostics"
 - uri (required): Target file path (relative to project root)
 - line: 1-based line number (for definition/references/hover)
 - character: 1-based character offset (for definition/references/hover)
+
+Notes:
+- Returns the requested LSP result: definition location, references, hover info, document symbols, or diagnostics — or an error message.

package/src/tools/patch.mjs

@@ -15,8 +15,23 @@ import { relative, dirname } from "node:path";
 /**
  * Parse a unified diff: returns [{ path, isNew, hunks: [{ ops: [{type:" "|"-"|"+", text}] }] }]
  * Consume hunk lines by the line counts in the @@ header — LLMs often strip context blank lines to pure empty lines,
- * so we use counts rather than first characters to determine hunk boundaries
+ * so we use counts rather than first characters to determine hunk boundaries.
+ * D15.6: a bare "@@" header (no coordinates) is accepted — the hunk body runs until the next hunk/file header
+ * ("@@" / "--- " / "+++ " / "diff " / "index "), purely located by its ops.
  */
+/**
+ * P15.10（2026-09-05 用户裁定——「符合模型直觉」）：文件头判定——
+ * 完整头（`--- x` 后随 `+++ `）任意老路径形态均认（git 规范）；
+ * 容缺头（`+++ b/<path>` 配对行省略——模型单文件补丁自然形态）仅认 a//b/ 前缀——
+ * newPath 推导 = oldPath；`/dev/null` 容缺仍拒（新文件名从 --- 侧不可推导——parsePatch 内特报）；
+ * 其他 `--- x` = 普通删行内容（行首标记 - + 内容 `-- x`）——不是文件头——hunk 体不得误断。
+ */
+function isFileHeader(line, nextLine) {
+  if (!line.startsWith("--- ")) return false
+  if (nextLine?.startsWith("+++ ")) return true
+  return /^[ab]\//.test(line.slice(4).trim())
+}
+
 function parsePatch(patch) {
   // Patch text often comes from CRLF terminals/model output; trailing \r mixed into hunk content breaks context matching, strip uniformly
   const lines = patch.replace(/\r(?=\n|$)/g, "").split("\n")
@@ -29,18 +44,69 @@ function parsePatch(patch) {
     if (line.startsWith("--- ")) {
       const oldPath = line.slice(4).trim()
       const plus = lines[i + 1]
-      if (!plus?.startsWith("+++ ")) throw new Error(`Malformed patch: expected "+++" line after "${line}"`)
-      const newPath = plus.slice(4).trim()
-      if (newPath === "/dev/null") throw new Error("Deleting files via patch is not supported — use the delete tool")
-      cur = { path: stripPrefix(newPath), isNew: oldPath === "/dev/null", hunks: [] }
-      files.push(cur)
-      i += 2
-      continue
+      if (plus?.startsWith("+++ ")) {
+        const newPath = plus.slice(4).trim()
+        if (newPath === "/dev/null") throw new Error("Deleting files via patch is not supported — use the delete tool")
+        cur = { path: stripPrefix(newPath), isNew: oldPath === "/dev/null", hunks: [] }
+        files.push(cur)
+        i += 2
+        continue
+      }
+      // P15.10：容缺头——`--- a/<path>`（或 b/ 前缀）后直接跟 hunk = 对同路径的修改。
+      if (/^[ab]\//.test(oldPath)) {
+        cur = { path: stripPrefix(oldPath), isNew: false, hunks: [] }
+        files.push(cur)
+        i += 1
+        continue
+      }
+      if (oldPath === "/dev/null") {
+        throw new Error(`"--- /dev/null" needs a "+++ b/<path>" line naming the new file — the --- side does not carry the file name`)
+      }
+      throw new Error(`Malformed patch: expected "+++" line after "${line}"`)
     }
     if (line.startsWith("@@")) {
       if (!cur) throw new Error("Malformed patch: hunk header before any file header")
       const m = line.match(/^@@ -\d+(?:,(\d+))? \+\d+(?:,(\d+))? @@/)
-      if (!m) throw new Error(`Malformed patch: bad hunk header "${line}" (need @@ -old,count +new,count @@)`)
+      if (!m) {
+        // D15.6 (TOOLS.md §15)：坐标裸 "@@" 头——hunk 完全靠操作行定位。
+        // 无行数可用：操作行以 " " / "-" / "+" 开头（空行宽容为上下文行），
+        // 直到下一个 hunk 头 / 文件头 "@@"/"--- "/"+++ "/"diff "/"index " 为止。
+        if (!/^@@(?: @@)?\s*$/.test(line)) {
+          throw new Error(`Malformed patch: bad hunk header "${line}" (need @@ -old,count +new,count @@ or bare @@)`)
+        }
+        const hunk = { ops: [] }
+        i++
+        while (i < lines.length) {
+          const hl = lines[i]
+          if (hl.startsWith("@") || isFileHeader(hl, lines[i + 1]) || hl.startsWith("+++ ") || hl.startsWith("diff ") || hl.startsWith("index ")) break
+          if (hl.startsWith("\\")) { i++; continue } // ""
+          // 宽容空行=上下文行——但 patch 文本末尾（或 hunk 之间/文件头之前）的 "" 是
+          // 分隔产物而非内容：仅当后继仍是操作行时才当作上下文消费。
+          // 复评 #1（2026-09-04）：文件头 "--- "/"+++ " 以 -/+ 开头会被 op 前缀判定误收——
+          // 文件头前的分隔空行不得吞成幽灵上下文行（会把 - 锚序列尾部拼上 ""——跨文件
+          // 零上下文 hunk 因此误报 not-found）。
+          const next = lines[i + 1]
+          if (hl === "" && (next == null || !/^[ +\-\\]/.test(next) || isFileHeader(next, lines[i + 2]) || next.startsWith("+++ "))) break
+          const tag = hl === "" ? " " : hl[0]
+          if (tag !== " " && tag !== "-" && tag !== "+") break // metadata / file section end
+          hunk.ops.push({ type: tag, text: hl === "" ? "" : hl.slice(1) })
+          i++
+        }
+        if (hunk.ops.length === 0) throw new Error(`Malformed patch: empty coordinate-less hunk "${line.trim()}"`)
+        const ctxCount = hunk.ops.filter((o) => o.type === " ").length
+        // §15.3 (TOOLS.md D15.10.1——2026-09-04)：context<2 且含 ≥1 个 - 行 → 接受——定位锚 = hunk 内
+        // 匹配行序列（空格上下文行 + - 行——按出现序）连续——唯一匹配即应用（applyHunks 既有锚匹配域——
+        // 多匹配 / not-found 语义不变）。0 上下文与 1 上下文同待遇（评审 #4a）。
+        // 纯 +（无 - 锚）且 context<2 仍拒——插入位置不可判——报错引导加锚（NF15.8c）。
+        const removedCount = hunk.ops.filter((o) => o.type === "-").length
+        if (ctxCount < 2 && removedCount === 0) {
+          throw new Error(
+            `Coordinate-less hunk ${cur.hunks.length + 1} in ${cur.path} has ${ctxCount} context line(s) — add more context lines`,
+          )
+        }
+        cur.hunks.push(hunk)
+        continue
+      }
       let oldNeed = m[1] == null ? 1 : Number(m[1])
       let newNeed = m[2] == null ? 1 : Number(m[2])
       const hunk = { ops: [] }
@@ -62,8 +128,10 @@ function parsePatch(patch) {
     }
     i++ // skip diff --git / index / blank lines and other metadata
   }
-  if (files.length === 0) throw new Error("No file changes found in patch (need --- / +++ headers)")
-  return files
+  // P15.10：容缺/完整空段头（头后无任何 hunk）过滤——不虚报 touchedPaths、不触发无谓 read+write
+  const withHunks = files.filter((f) => f.hunks.length > 0)
+  if (withHunks.length === 0) throw new Error("No file changes found in patch (need --- / +++ headers)")
+  return withHunks
 }
 
 /** Apply hunks sequentially onto an in-memory line array; any failure throws (caller guarantees nothing is written to disk). Ignores trailing \r when comparing; context lines retain original bytes */
@@ -84,7 +152,10 @@ function applyHunks(fileLines, hunks, eol, path) {
       const preview = oldSeq.slice(0, 3).join(" ⏎ ")
       throw new Error(`Hunk ${h + 1} in ${path} does not apply — context not found: "${preview}${oldSeq.length > 3 ? "…" : ""}". Read the file first and regenerate the patch from actual content.`)
     }
-    if (matches.length > 1) throw new Error(`Hunk ${h + 1} in ${path} matches ${matches.length} locations — add more context lines to make it unique`)
+    if (matches.length > 1) {
+      const preview = oldSeq.slice(0, 3).join(" ⏎ ")
+      throw new Error(`Hunk ${h + 1} in ${path} matches ${matches.length} locations — add more context lines to make it unique. Anchor: "${preview}${oldSeq.length > 3 ? "…" : ""}"`)
+    }
     const pos = matches[0]
     const out = []
     let src = pos
@@ -103,7 +174,7 @@ export const applyPatchTool = {
   parameters: {
     type: "object",
     properties: {
-      patch: { type: "string", description: "Unified diff. May span multiple files; --- / +++ headers per file, @@ -old,count +new,count @@ hunks. Use --- /dev/null to create a file." },
+      patch: { type: "string", description: "Unified diff. May span multiple files (multiple --- / +++ header pairs — including creating MULTIPLE new files via --- /dev/null); --- / +++ headers per file, @@ -old,count +new,count @@ hunks (a bare @@ header is also accepted — coordinate-less hunks are located by their anchor lines: context lines plus the removed (-) lines, matched as a contiguous sequence — a unique match applies; a zero/one-context hunk is accepted only when it removes (-) at least one line and that anchor sequence is unique, while anchor-free pure-+ (insert) hunks need at least 2 context lines). The +++ b/<path> pair may be omitted for existing files — a lone --- a/<path> (or --- b/<path>) header followed directly by hunks applies to that path (new files still need --- /dev/null + +++ b/<path>)." },
     },
     required: ["patch"],
   },