@trim21/personal-pi-extensions 0.1.575 → 0.1.576

package/README.md

@@ -138,7 +138,9 @@ bwrap 已集成进 bash 工具实现（opencode 风格 `bash` 位于 `src/openco
 
 所有匹配策略按顺序尝试，第一个匹配成功即返回。同时自动处理 BOM、CRLF/LF 行尾转换和文件写入队列。`filePath` 接受绝对路径或相对工作目录的路径。
 
-edit 要求目标文件已被 `read` 读过且内容未变（内容指纹比对，与 Claude Code 风格 Edit 同一套语义）：没读过报 `File has not been read yet. Read it first before editing it.`，读后文件被外部改动报 `File has been modified since read...`，两种情况都要重新 `read`。`read`/`edit`/`write`/`lsp-rename` 都会刷新记账并随工具结果持久化，session 恢复 / fork / rewind 后依然有效；`write` 本身不要求先读，但写后会刷新记账，紧随其后的 `edit` 不必重新读。
+edit 要求目标文件已被 `read` 读过且内容未变（内容指纹比对，与 Claude Code 风格 Edit 同一套语义）：没读过报 `File has not been read yet. Read it first before writing to it.`，读后文件被外部改动报 `File has been modified since read...`，两种情况都要重新 `read`。
+
+`write` 不要求先读——没读过的文件可以直接写；但如果该文件已被读过、之后又被外部改动（或删除），`write` 会与 `edit` 一样要求重新 `read`，不让读取记录过期的内容被盲覆盖。`read`/`edit`/`write`/`lsp-rename` 都会刷新记账并随工具结果持久化，session 恢复 / fork / rewind 后依然有效；写完也会刷新，紧随其后的 `edit` 不必重新读。
 
 ### 使用
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@trim21/personal-pi-extensions",
-  "version": "0.1.575",
+  "version": "0.1.576",
   "type": "module",
   "description": "Custom pi coding-agent extensions: bwrap sandbox, workspace guard, opencode edit, and more",
   "keywords": [

package/src/lib/file-reads.ts

@@ -45,6 +45,25 @@ export async function fileDigest(filePath: string): Promise<string> {
   return hash.digest("hex");
 }
 
+/** ENOENT / ENOTDIR：路径不存在。 */
+function isMissingPath(error: unknown): boolean {
+  return (
+    error instanceof Error &&
+    "code" in error &&
+    (error.code === "ENOENT" || error.code === "ENOTDIR")
+  );
+}
+
+/** 磁盘上当前内容的指纹；文件已不存在时返回 undefined（视为「与读取时不同」）。 */
+export async function digestIfExists(filePath: string): Promise<string | undefined> {
+  try {
+    return await fileDigest(filePath);
+  } catch (error) {
+    if (isMissingPath(error)) return undefined;
+    throw error;
+  }
+}
+
 /**
  * 记账 key：解析 symlink 后的真实路径。文件尚不存在（Write 新建 / Edit 空
  * old_string 创建）时 realpath 抛 ENOENT，回退到调用方给出的路径。
@@ -53,13 +72,7 @@ export async function readStateKey(filePath: string): Promise<string> {
   try {
     return await realpath(filePath);
   } catch (error) {
-    if (
-      error instanceof Error &&
-      "code" in error &&
-      (error.code === "ENOENT" || error.code === "ENOTDIR")
-    ) {
-      return filePath;
-    }
+    if (isMissingPath(error)) return filePath;
     throw error;
   }
 }
@@ -89,6 +102,27 @@ export function requireCurrentRead(
   }
 }
 
+/**
+ * 过期校验：该文件已有读取记录时，要求磁盘上的当前指纹与记录一致，否则拒绝
+ * 写入；从未读过（没有记录）时直接放行。
+ *
+ * opencode 的 write 用这个：没读过的文件允许直接写，读过之后再被外部改动就必须
+ * 重新 read。`currentDigest` 为 undefined（文件已不存在）同样算过期。
+ */
+export function requireUnchangedRead(
+  state: ReadsState,
+  key: string,
+  currentDigest: string | undefined,
+): void {
+  const readSnapshot = state.reads.get(key);
+  if (!readSnapshot) return;
+  if (currentDigest === undefined || readSnapshot.digest !== currentDigest) {
+    throw new Error(
+      "File has been modified since read, either by the user or by a linter. Read it again before attempting to write it.",
+    );
+  }
+}
+
 /**
  * 从工具结果 details 恢复已读记账（跨进程 resume / reload / fork）。数据来自
  * session 文件，可能缺失或损坏：逐条 TypeBox 校验，非法条目丢弃。只接受

package/src/opencode/files.ts

@@ -11,8 +11,9 @@
  *   不接 PDF、不接 <system-reminder>；图片 magic 检测保留。
  * - edit：匹配引擎 + 把 old/new 转到文件换行后再替换；写后等待文档诊断。
  *   edit 要求文件已被 read 读过且内容未变（read 记账见下）。
- * - write：BOM 保留（source.bom || next.bom）；写后同 edit 的诊断输出。write 本身
- *   不要求先 read，但会刷新记账，保证紧接着的 edit 不必重新 read。
+ * - write：BOM 保留（source.bom || next.bom）；写后同 edit 的诊断输出。write 不
+ *   要求先 read（未读过的文件可直接写），但若已有读取记录而磁盘内容已变，则要求
+ *   重新 read；写完刷新记账，保证紧接着的 edit 不必重新 read。
  *
  * read 记账：read / edit / write / lsp-rename 各自把受影响文件的内容指纹写进
  * details.reads（随 session 持久化），session_start / session_tree 时从当前分支
@@ -37,11 +38,13 @@ import { Type } from "typebox";
 
 import {
   createReadsState,
+  digestIfExists,
   fileDigest,
   type FileSnapshot,
   type ReadsState,
   readStateKey,
   requireCurrentRead,
+  requireUnchangedRead,
   restoreReads,
   snapshotOf,
 } from "../lib/file-reads.js";
@@ -790,6 +793,13 @@ function registerWriteTool(
         async () => {
           signal?.throwIfAborted();
 
+          const key = await readStateKey(absolutePath);
+          // write 不要求先读过；但若已有读取记录，磁盘内容必须仍是读取时的样子，
+          // 否则先重新 read（外部改动过的文件不让盲写覆盖）
+          if (state.reads.has(key)) {
+            requireUnchangedRead(state, key, await digestIfExists(absolutePath));
+          }
+
           // opencode: desiredBom = source.bom || next.bom —— 保留原文件 BOM，
           // 否则用新内容自带的 BOM
           let existing: Buffer | undefined;
@@ -810,8 +820,7 @@ function registerWriteTool(
           await mkdir(dir, { recursive: true });
           signal?.throwIfAborted();
           await writeFile(absolutePath, desiredBom + nextText, "utf8");
-          // write 不要求先 read，但写后记账：紧接着的 edit 不该再要求重新 read
-          const key = await readStateKey(absolutePath);
+          // 写后记账（key 在写入前已算过）：紧接着的 edit 不该再要求重新 read
           const snapshot = snapshotOf(desiredBom + nextText);
           state.reads.set(key, snapshot);
           const diagnostics = await getService().lspDiagnosticsForFile(absolutePath, ctx.cwd, {