@thincoder/core 0.9.4 → 0.9.5

package/tools/edit-diff.mjs

@@ -45,6 +45,18 @@ export const EMPTY_NEW_STRING = "empty new_string — for deletion, keep the con
 export const EMPTY_NEW_STRING_LINE = "empty new_string with line-based targeting is an explicit error — OMIT new_string to delete the line/range (deleting by number is explicit intent; an empty replacement is a mistake, not a delete)"
 export const EDIT_ARGS_MUTEX = "edits array is mutually exclusive with top-level old_string/new_string/line/startLine/endLine — a top-level path is allowed (default for entries without their own path); provide each change's targeting (old_string or line range) and new_string inside its edits entry"
 
+// ─── #325 入参守卫文案（单源——EDIT.md §5 / §8 D-7：核 edit-batch 与 ACP 桥 bridge.mjs 同调用）───
+/** 容器级成形错误（真值非数组 / 空数组——同一错误面）。 */
+export const EDITS_CONTAINER_ERROR = "edits must be a non-empty array of {path, old_string | line/startLine+endLine, new_string}"
+/** 条目级成形错误（i = 数组下标；非对象条目 = null / 字符串 / 数字 / 数组）。 */
+export const editsEntryError = (i) => `edits[${i}] must be an object of {path, old_string | line/startLine+endLine, new_string}`
+/** 条目缺 path 且无顶层默认路径。 */
+export const EDIT_ENTRY_NO_PATH = "each edit must have a path — give each entry its own path or pass a top-level path"
+/** 批量原子失败前缀（条目判定失败时拼在消息前的 abortPrefix）。 */
+export const EDIT_ABORT_PREFIX = "edit aborted (atomic — no files written): "
+/** 批量条目校验前缀（validateEditEntry 的 opts.label）。 */
+export const editEntryLabel = (path) => `edit for ${path}: `
+
 /** D1（2026-09-08）：条目带按行号改参数（line / startLine / endLine 任一）。 */
 export function hasLineParams(entry) {
   return entry.line !== undefined || entry.startLine !== undefined || entry.endLine !== undefined
@@ -132,13 +144,28 @@ export function assertEditArgsExclusive(args) {
   }
 }
 
+/** 入参容器守卫（#325——EDIT.md §5）：edits 真值非数组 / 空数组 ⇒ 成形错误（同句单源——
+ *  核 edit-batch 与 ACP 桥 bridge.mjs 同调用）。批量判定序：容器 → 互斥 → 条目预扫 → 条目循环。 */
+export function assertEditsContainer(edits) {
+  if (!Array.isArray(edits) || edits.length === 0) throw new Error(EDITS_CONTAINER_ERROR)
+}
+
+/** 入参条目守卫（#325——EDIT.md §5）：条目非对象（null / 字符串 / 数字 / 数组）⇒ 含下标成形
+ *  错误——预扫于条目循环之前（不读盘、不触盘、零部分应用）。 */
+export function assertEditEntries(edits) {
+  for (let i = 0; i < edits.length; i++) {
+    const e = edits[i]
+    if (e === null || typeof e !== "object" || Array.isArray(e)) throw new Error(editsEntryError(i))
+  }
+}
+
 /**
  * 前置校验——内容形态：空 old / 非字符串 new；按行号改形态（D1，2026-09-08；阶段 2
  * 删行——EDIT.md §5）：与 old_string 互斥 / line 与 startLine|endLine 互斥 /
  * startLine+endLine 须成对 / 正整数 / endLine ≥ startLine / replace_all 不适用 /
  * new_string：省略（undefined）= 删行 / 显式空串 = 显式错（防误删）/ 其他类型报错。
  * error 文本按调用形态（单形态 rich / 批量 label）。
- * opts: { label = ""（批量前缀 "edit for <path>: "）, rich = true（单形态完整文本） }
+ * opts: { label = ""（批量前缀 = editEntryLabel(path)）, rich = true（单形态完整文本） }
  */
 export function validateEditEntry(entry, opts = {}) {
   const label = opts.label ?? ""
@@ -213,7 +240,7 @@ function isSingleLineReplace(entry) {
  * LCS 替换 / replace_all 字面）→
  * 元数据（受影响区首行/行数差/次数——recordWrite 与结果回显用）。
  * 返回 { updated, editStartLine, lineShift, occurrences, note?, deleted? }；失败抛错（含路径/引导）。
- * opts: { path, abortPrefix（批量 "edit aborted (atomic — no files written): "） }
+ * opts: { path, abortPrefix（批量 = EDIT_ABORT_PREFIX） }
  */
 /**
  * P15.11（2026-09-05 用户裁定——edit 连续失败分析）：old_string 逐字 not-found 时——

package/tools/file.mjs

@@ -257,11 +257,15 @@ export const editTool = {
   touchedPaths(args) {
     // 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)
+    // #325：本钩子**零抛**（execute 之前被多处消费，首个未守卫点即会逸出裸错）——形态
+    // 拒绝统一归 execute（edit-batch/桥 同单源成形错误）；真值非数组 ⇒ 返 []、零触达
+    // （不虚报顶层 path）；非对象条目按「缺 path」尽力提取（e?.path）。
+    if (Array.isArray(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
     }
+    if (args.edits) return [] // 真值非数组：调用必被 execute 拒绝（成形错误）——零触达
     return args.path ? [args.path] : []
   },
   async execute(args, ctx) {

package/tools/glob-dialect.mjs

@@ -1,5 +1,5 @@
 /**
- * glob-dialect.mjs — glob 方言（TOOLS.md §17 — 2026-09-06）单一权威模块（CLI）。
+ * glob-dialect.mjs — glob 方言（TOOLS.md §6.7 — 2026-09-06）单一权威模块（CLI）。
  *
  * `{a,b}` brace expansion is handled BEFORE the sentinel/escape flow (braces must
  * not be literal-escaped — a bare "star-star slash star .{js,txt}" pattern
@@ -12,7 +12,7 @@
  * intersects includes and excludes.
  *
  * Extracted from shared.mjs (2026-09-06 advisor #5 — shared.mjs exceeded the
- * 500-line cap after §17); shared.mjs re-exports these symbols so all existing
+ * 500-line cap after the TOOLS.md §6.7 move); shared.mjs re-exports these symbols so all existing
  * importers (system.mjs / ls filter / tests) keep their import paths.
  */
 
@@ -77,7 +77,7 @@ export function globToRegex(pattern) {
 /** Whitespace-split a glob expression into parts WITHOUT splitting inside {a,b}
  *  brace groups and WITHOUT splitting literal spaces inside a single pattern
  *  (2026-09-06 audit F1 / advisor #4): a whitespace run is a pattern separator
- *  ONLY when the next non-space token starts an exclusion ("!" — the §17
+ *  ONLY when the next non-space token starts an exclusion ("!" — the TOOLS.md §6.7
  *  "include !exclude" form). So a BARE pattern like "docs/my file/*.md" and an
  *  exclude like "!docs/my file/**" each stay ONE part; the standard
  *  "js-pattern 空格 !test-pattern" form still splits into its two parts. */

package/tools/search.mjs

@@ -32,7 +32,7 @@ export const globTool = {
   readonly: true,
   async execute(args, ctx) {
     const base = resolveInCwd(ctx, args.path ?? ".")
-    // §17 调用侧拆分（评审 #5 职责分层）：空格分隔 include !exclude 多模式在这里拆；
+    // TOOLS.md §6.7 调用侧拆分（评审 #5 职责分层）：空格分隔 include !exclude 多模式在这里拆；
     // globToRegex 只收单个模式（数组由 compileGlobMatchers 收）。
     let match
     try {
@@ -115,7 +115,7 @@ export const grepTool = {
     } catch {
       return `grep error: path not found: ${base}`
     }
-    // §17 调用侧拆分：glob 参数支持空格分隔 include !exclude 多模式（include/exclude 求交）。
+    // TOOLS.md §6.7 调用侧拆分：glob 参数支持空格分隔 include !exclude 多模式（include/exclude 求交）。
     let fileTest = null
     if (args.glob) {
       try {

package/tools/shared.mjs

@@ -373,7 +373,7 @@ export function detectDanger(command) {
 }
 
 
-/** Glob dialect (TOOLS.md §17) lives in glob-dialect.mjs — single authority for
+/** Glob dialect (TOOLS.md §6.7) lives in glob-dialect.mjs — single authority for
  *  brace expansion / exclusion / explicit syntax errors (extracted 2026-09-06 —
  *  advisor #5: shared.mjs exceeded 500 lines). Re-exported so existing importers
  *  (system.mjs tools, ls filter, tests) keep their import paths unchanged. */