aura-basetools 0.13.3 → 0.15.0

package/README.md

@@ -1,8 +1,8 @@
-# aura-basetools 0.13.3
+# aura-basetools 0.15.0
 
-Byte-exact file tools for coding agents: read by intent, edit by intent, and write whole files without corrupting bytes. One engine shared by a standalone CLI and an MCP server.
+Byte-exact file tools for coding agents: read by intent, edit by address, and write whole files without corrupting bytes. One engine shared by a standalone CLI and an MCP server.
 
-面向 coding agent 的逐字节文件工具：按意图读取、按意图编辑、整文件写入；CLI 与 MCP 共用同一套引擎。
+面向 coding agent 的逐字节文件工具：按意图读取、按地址编辑、整文件写入；CLI 与 MCP 共用同一套引擎。
 
 ---
 
@@ -21,7 +21,7 @@ The engine is intentionally not a general file manager: it reads and edits UTF-8
 ### Install
 
 ```bash
-npm i -g aura-basetools@0.13.3
+npm i -g aura-basetools@0.15.0
 aura --version
 ```
 
@@ -31,8 +31,6 @@ aura --version
 aura basetools read  --file src/app.ts --mode map
 aura basetools edit  --file src/app.ts --hunks '[{"target":"main","replace":"..."}]'
 aura basetools write --file generated.ts --content @body.ts
-aura basetools undo
-aura basetools transactions
 aura basetools mcp
 ```
 
@@ -77,10 +75,10 @@ The server exposes:
 | Tool | Purpose |
 |---|---|
 | `aura_basetools_read` | Intent-based views: `map`, `digest`, `full`, `around`, `lines`, `search`, `changed`, `auto` |
-| `aura_basetools_edit` | Anchored multi-hunk edits; `old` + `replace_all`; optional transaction |
+| `aura_basetools_edit` | Anchored multi-hunk edits; `old` + `replace_all` |
 | `aura_basetools_write` | Whole-file create/overwrite with read-before-write and read-back verification |
-| `aura_basetools_undo` | Undo the latest or a named write transaction |
-| `aura_basetools_transactions` | List write transactions for the current workspace |
+
+0.14.0 removed the public `undo` / `transactions` tools (0 uses in 642 sessions); failure rollback remains internal and automatic.
 
 The older tool names (`aura_read`, `aura_edit`, `aura_write`, ...) are no longer exposed by MCP or DSH.
 
@@ -92,6 +90,7 @@ Compared with the DSH built-in `dsh-tool-fs` tools, the differences are delibera
 - **Read by intent, not whole file.** `map` / `digest` / `lines` / `search` return the structural slice you ask for; the customer comparison measured about 1/24 of the context for the same file.
 - **Edits refuse stale bases.** A region-level gate rejects an edit when the addressed region changed after the read that authorized it, and points at the lines to re-read; `expect` makes the intended text explicit.
 - **Writes are verified, not assumed.** Every write goes through a temp file, flush, rename, and a byte-for-byte read-back; multi-target edits plan first and write nothing if any target fails.
+- **Changes can prove themselves.** `edit` / `write` accept an explicit `verify` command; a non-zero exit or timeout rolls the transaction back and returns the command output plus the rollback state. No auto-discovery of repo scripts.
 - **Addressing is structural.** `target` / `lines` / `old` / `expect` / handles replace "copy the literal text exactly"; failure receipts include ready-to-use retry addresses.
 - **The core is DSH-free.** `aura-basetools` has no runtime dependencies and no DSH imports; the DSH adapter is a separate optional package.
 
@@ -128,7 +127,7 @@ MIT.
 `aura-basetools` 是一个 Node.js（>=18）包，运行时零依赖，提供：
 
 - **CLI**：`aura basetools <verb>`
-- **MCP 服务**：stdio 上的五个工具
+- **MCP 服务**：stdio 上的三个工具
 - **不依赖 DSH**：DeepSeek Harness 适配器是独立的可选包 `aura-basetools-dsh`
 
 它不是通用文件管理器：只处理 UTF-8 文本，保留字节级格式；如果被寻址区域在“授权读取”之后被改动，编辑会被拒绝。
@@ -136,7 +135,7 @@ MIT.
 ### 安装
 
 ```bash
-npm i -g aura-basetools@0.13.3
+npm i -g aura-basetools@0.15.0
 aura --version
 ```
 
@@ -146,8 +145,6 @@ aura --version
 aura basetools read  --file src/app.ts --mode map
 aura basetools edit  --file src/app.ts --hunks '[{"target":"main","replace":"..."}]'
 aura basetools write --file generated.ts --content @body.ts
-aura basetools undo
-aura basetools transactions
 aura basetools mcp
 ```
 
@@ -192,10 +189,10 @@ npx -y --package aura-basetools aura basetools mcp
 | 工具 | 作用 |
 |---|---|
 | `aura_basetools_read` | `map` / `digest` / `full` / `around` / `lines` / `search` / `changed` / `auto` |
-| `aura_basetools_edit` | 多 hunk 锚点编辑；`old` + `replace_all`；可选事务 |
+| `aura_basetools_edit` | 多 hunk 锚点编辑；`old` + `replace_all` |
 | `aura_basetools_write` | 整文件新建/覆写；覆写默认要求先读，写后回读校验 |
-| `aura_basetools_undo` | 撤销最近一次或指定写事务 |
-| `aura_basetools_transactions` | 列出当前工作区写事务 |
+
+0.14.0 移除了公开 `undo` / `transactions`（642 个会话中 0 次使用）；失败回滚仍是内部自动行为。
 
 旧工具名（`aura_read`、`aura_edit`、`aura_write` 等）不再由 MCP/DSH 暴露。
 
@@ -207,6 +204,7 @@ npx -y --package aura-basetools aura basetools mcp
 - **按意图读，不读整份。** `map` / `digest` / `lines` / `search` 只返回你要的结构切片；客户版对照实测同一文件上下文约 1/24。
 - **依据过期就拒绝。** 区域级陈旧闸门在“授权读取之后该区域被改过”时拒绝，并指出重读哪几行；`expect` 让目标原文显式化。
 - **写完要验，不靠相信。** 每次写盘走临时文件、flush、rename，再做逐字节回读；多目标先全量规划，任一失败则一个字节都不写。
+- **变更可以自证。** `edit` / `write` 接受显式 `verify` 命令；非零退出或超时会把整个事务回滚，回执带命令输出与回滚状态。不自动发现仓库脚本。
 - **寻址是结构化的。** `target` / `lines` / `old` / `expect` / 句柄替代“把原文一字不差抄对”；失败回执带可直接用的重试地址。
 - **核心不依赖 DSH。** `aura-basetools` 零运行时依赖、无 DSH import；DSH 适配器是独立可选包。
 

package/bin/aura-mcp.mjs

@@ -5,12 +5,10 @@
  * 为什么是它：Codex / Claude Code / Cursor / Zed 这些 agent 都吃 MCP —— 一次写壳，到处能用，
  * 且**不要求对方装 DSH**（本文件只依赖 node:fs 与本包的引擎）。
  *
- * 暴露五个工具：
+ * 暴露三个工具：
  *   aura_basetools_read          七种取景（map/digest/full/around/lines/search/changed）+ 版本令牌
  *   aura_basetools_edit          四层寻址 + expect + dry_run；逐字节写回 + 陈旧区域闸门 + 落盘后回读校验
- *   aura_basetools_write         整份写入（对应内置 Write）：新建或整文件替换，同走事务与回读校验
- *   aura_basetools_undo          撤销最近一次/指定写事务（默认拒绝覆盖后续编辑）
- *   aura_basetools_transactions  列出当前工作区写事务
+ *   aura_basetools_write         整份写入（对应内置 Write）：新建或整文件替换，同走原子写与回读校验
  *
  * 接法（写进各家的 MCP 配置即可）：
  *   codex:        codex mcp add aura -- npx -y --package aura-basetools aura basetools mcp
@@ -21,9 +19,9 @@
  * `aura-basetools`；npx 在"多个 bin 且没有与包名同名的"时候会拒绝猜，直接报
  * `could not determine executable to run`（实测）。`--package` 明确指定包，`aura` 才是命令。
  */
-import { readFileSync } from 'node:fs'
+import { readFileSync, realpathSync } from 'node:fs'
 import process from 'node:process'
-import { pathToFileURL } from 'node:url'
+import { fileURLToPath, pathToFileURL } from 'node:url'
 import {
   openProvider,
   readEnvelope,
@@ -32,8 +30,6 @@ import {
   // 多目标（fs-contract-v2）的引擎绑定：与单目标同一处（`lib/ops.mjs`），bin 里不另找引擎。
   readManyWith,
   editManyEnvelope,
-  undoEnvelope,
-  transactionsEnvelope,
   assertReadTargets,
   assertEditTargets,
   assertTargetShape,
@@ -81,11 +77,6 @@ const HUNK_SCHEMA = {
   type: 'object',
   properties: {
     target: { type: 'string', description: '符号名，如 `toTodoList` 或 `function:apply`；跳过全部文本匹配' },
-    intent: {
-      type: 'string',
-      description:
-        '模糊意图地址：符号名片段、短语或近似原文（如 `parseConfig`、`config loader`、`// retry the upload`），由引擎确定性地落成一个精确区间；歧义时报候选并拒绝（不猜）。单独使用（不与 target/lines/line_cue/anchor/old/context/handle 同用）；可用 near 与 expect',
-    },
     lines: {
       oneOf: [
         { type: 'array' },
@@ -137,7 +128,7 @@ const HUNK_SCHEMA = {
     replace_all: {
       type: 'boolean',
       description:
-        '与 old 同用：替换全部非重叠出现（从左到右），不再要求唯一。不能与 target/intent/lines/line_cue/anchor/context/handle/near 同用；读取后出现次数变了会整体拒绝。',
+        '与 old 同用：替换全部非重叠出现（从左到右），不再要求唯一。不能与 target/lines/line_cue/anchor/context/handle/near 同用；读取后出现次数变了会整体拒绝。',
     },
     eol: {
       type: 'string',
@@ -198,18 +189,21 @@ const TOOLS = [
   {
     name: 'aura_basetools_edit',
     description:
-      'Edit or create a UTF-8 text file with hunks in one call. Address each hunk by intent (fuzzy name/phrase), target (symbol), lines, line_cue, anchor, or old (verbatim content + optional context). With `old`, set `replace_all: true` to replace every non-overlapping occurrence. Writes back byte-for-byte (BOM and per-line endings preserved), refuses a hunk whose addressed region changed since your last read, and reads the file back to verify. All hunks must locate or nothing is written.',
+      'Edit or create a UTF-8 text file with hunks in one call. Address each hunk by target (symbol), lines, line_cue, anchor, or old (verbatim content + optional context). With `old`, set `replace_all: true` to replace every non-overlapping occurrence. Writes back byte-for-byte (BOM and per-line endings preserved), refuses a hunk whose addressed region changed since your last read, and reads the file back to verify. All hunks must locate or nothing is written.',
     inputSchema: {
       type: 'object',
       properties: {
         file_path: { type: 'string' },
         hunks: { type: 'array', items: HUNK_SCHEMA },
         dry_run: { type: 'boolean', description: '只定位不落盘' },
-        include_transaction: { type: 'boolean', description: '在回执里返回 transaction id（默认不返回，保持输出稳定）' },
         require_observation: {
           type: 'boolean',
           description: '严格新鲜度：要求这一版文件在本会话里被读过（或由本工具写过）；否则 PATCH_UNOBSERVED。create 不受影响；dry_run 同样执行这条判决。',
         },
+        verify: {
+          type: 'string',
+          description: '写后验证命令（显式给出才执行；在 workspace 根下、受超时/输出上限约束）。非零退出 ⇒ 自动回滚并返回 PATCH_VERIFY_FAILED。不自动发现/执行仓库脚本。',
+        },
         create: { type: 'string', description: '文件不存在时用它创建（整份内容）' },
         targets: TARGETS_SCHEMA,
       },
@@ -230,7 +224,7 @@ const TOOLS = [
   {
     name: 'aura_basetools_write',
     description:
-      'Write a whole UTF-8 text file at once (create or overwrite), matching a plain Write tool. Preserves an existing file\'s BOM and line endings, goes through the same transaction/undo path as aura_basetools_edit, and reads the file back to verify bytes. Prefer aura_basetools_edit for partial changes.',
+      'Write a whole UTF-8 text file at once (create or overwrite), matching a plain Write tool. Preserves an existing file\'s BOM and line endings, goes through the same atomic write path as aura_basetools_edit, and reads the file back to verify bytes. Prefer aura_basetools_edit for partial changes.',
     inputSchema: {
       type: 'object',
       properties: {
@@ -247,28 +241,14 @@ const TOOLS = [
           enum: ['auto', 'preserve', 'lf', 'crlf'],
           description: '覆写时的换行风格：auto（默认）适配文件已有风格；preserve 按 content 原样写；lf/crlf 强制。新建文件始终按 content 原样写（非 auto 会被拒绝）。',
         },
-        include_transaction: { type: 'boolean', description: '在回执里返回 transaction id（默认不返回）' },
+        verify: {
+          type: 'string',
+          description: '写后验证命令（显式给出才执行；非零退出 ⇒ 自动回滚并返回 PATCH_VERIFY_FAILED）。',
+        },
       },
       required: ['file_path', 'content'],
     },
   },
-  {
-    name: 'aura_basetools_undo',
-    description:
-      'Undo the latest committed write transaction, or the transaction with the given id. Refuses if a file changed after the transaction; pass force=true to override. Restores the exact bytes captured before the write.',
-    inputSchema: {
-      type: 'object',
-      properties: {
-        id: { type: 'string', description: '事务 id；省略则撤销最近一条 committed 事务' },
-        force: { type: 'boolean', description: '即使文件在事务后又被改过也强制恢复' },
-      },
-    },
-  },
-  {
-    name: 'aura_basetools_transactions',
-    description: 'List write transactions for the current workspace (id, status, file count, time).',
-    inputSchema: { type: 'object', properties: {} },
-  },
 ]
 
 /**
@@ -351,8 +331,8 @@ async function editTargetsCall(provider, args) {
   return await editManyEnvelope(provider, {
     targets,
     dryRun: args.dry_run === true,
-    includeTransaction: args.include_transaction === true,
     ...(args.require_observation === true ? { requireObservation: true } : {}),
+    ...(typeof args.verify === 'string' ? { verify: args.verify } : {}),
   })
 }
 
@@ -436,8 +416,8 @@ async function callTool(provider, name, args = {}) {
       hunks: Array.isArray(args.hunks) ? args.hunks : [],
       dryRun: args.dry_run === true,
       create: creating ? args.create : undefined,
-      includeTransaction: args.include_transaction === true,
       ...(args.require_observation === true ? { requireObservation: true } : {}),
+      ...(typeof args.verify === 'string' ? { verify: args.verify } : {}),
     })
   }
   if (name === 'aura_basetools_write') {
@@ -446,13 +426,11 @@ async function callTool(provider, name, args = {}) {
       content: args.content,
       dryRun: args.dry_run === true,
       noOverwrite: args.no_overwrite === true,
-      includeTransaction: args.include_transaction === true,
       allowUnobserved: args.allow_unobserved === true,
       ...(typeof args.eol === 'string' ? { eol: args.eol } : {}),
+      ...(typeof args.verify === 'string' ? { verify: args.verify } : {}),
     })
   }
-  if (name === 'aura_basetools_undo') return await undoEnvelope(provider, { id: args.id, force: args.force === true })
-  if (name === 'aura_basetools_transactions') return transactionsEnvelope(provider)
   return { ok: false, error: `unknown tool ${JSON.stringify(name)}`, code: 'UNKNOWN_TOOL' }
 }
 
@@ -561,6 +539,25 @@ export async function serve() {
 
 // 直接运行本文件（`aura-mcp`，package.json 里声明的第二个 bin）也要起服务，与 `aura basetools mcp` 等价。
 // 用 pathToFileURL 比手拼 file:// 靠得住（Windows 盘符就是那种手拼会踩的地方）。
-if (process.argv[1] !== undefined && import.meta.url === pathToFileURL(process.argv[1]).href) {
+/**
+ * 直接执行本文件才起 stdio 服务。
+ *
+ * 不能只比 `import.meta.url === pathToFileURL(argv[1])`：macOS 的临时目录
+ * `/var/folders/...` 是 `/private/var/folders/...` 的符号链接，Node 给模块的 URL 与
+ * argv 的写法可能一侧已 realpath、另一侧没有 ⇒ 服务静默退出，客户端看到 0 个工具
+ * （post-publish / split-package 在 macOS 上正是这条）。两边都过 realpath 再比。
+ */
+function isDirectRun() {
+  const invoked = process.argv[1]
+  if (invoked === undefined) return false
+  if (import.meta.url === pathToFileURL(invoked).href) return true
+  try {
+    return realpathSync.native(fileURLToPath(import.meta.url)) === realpathSync.native(invoked)
+  } catch {
+    return false
+  }
+}
+
+if (isDirectRun()) {
   await serve()
 }

package/bin/aura.mjs

@@ -3,11 +3,9 @@
  * aura CLI（薄壳）：参数解析 → `lib/ops.mjs` → 一行 JSON。
  *
  *   aura basetools read  --file F [--mode …] [--around X] [--lines a,b] [--search S] [--since V] [--max-chars N]
- *   aura basetools edit  --file F (--hunks '<json>' | --hunks-file P) [--dry-run] [--create <文本|@文件>]
+ *   aura basetools edit  --file F (--hunks '<json>' | --hunks-file P) [--dry-run] [--verify "命令"] [--create <文本|@文件>]
  *   aura basetools read  --targets '[...]|@spec.json'                    一次读多个目标（与 --file 互斥）
  *   aura basetools edit  --targets '[...]|@spec.json'                    一次改多个文件（与 --file 互斥；任一规划失败 ⇒ 零写入）
- *   aura basetools undo [--id <事务 id>] [--force]                      撤销最近一次/指定写事务
- *   aura basetools transactions                                         列出当前工作区写事务
  *   aura basetools mcp
  *   aura --help | --version
  *
@@ -27,8 +25,6 @@ import {
   // 多目标（fs-contract-v2）的引擎绑定：与单目标同一处（`lib/ops.mjs`），bin 里不另找引擎。
   readManyWith,
   editManyEnvelope,
-  undoEnvelope,
-  transactionsEnvelope,
   capabilitiesEnvelope,
   writeEnvelope,
   assertReadTargets,
@@ -74,7 +70,7 @@ let command = argv[0]
  * 有了这份名单，“下一个是已知布尔旗标”才当没带值，**其它以 `--` 开头的东西都当值**。
  * 代价是名单要维护；收益是那个静默丢值的路径从根上消失，而不是靠叫用户改写法。
  */
-const BOOLEAN_FLAGS = new Set(['pretty', 'dry-run', 'plan', 'transaction', 'force', 'no-overwrite', 'replace-all', 'require-observation', 'allow-unobserved', 'json'])
+const BOOLEAN_FLAGS = new Set(['pretty', 'dry-run', 'plan', 'no-overwrite', 'replace-all', 'require-observation', 'allow-unobserved', 'json'])
 const isBooleanFlag = (token) => typeof token === 'string' && BOOLEAN_FLAGS.has(token.replace(/^--/, ''))
 
 /**
@@ -90,15 +86,13 @@ const COMMAND_FLAGS = {
     bool: ['pretty'],
   },
   edit: {
-    value: ['cwd', 'file', 'targets', 'hunks', 'hunks-file', 'create', 'target', 'intent', 'lines', 'start-line', 'end-line', 'line-cue', 'anchor', 'old', 'context', 'handle', 'line', 'position', 'replace', 'expect', 'near', 'eol'],
-    bool: ['pretty', 'dry-run', 'plan', 'transaction', 'replace-all', 'require-observation'],
+    value: ['cwd', 'file', 'targets', 'hunks', 'hunks-file', 'create', 'target', 'lines', 'start-line', 'end-line', 'line-cue', 'anchor', 'old', 'context', 'handle', 'line', 'position', 'replace', 'expect', 'near', 'eol', 'verify'],
+    bool: ['pretty', 'dry-run', 'plan', 'replace-all', 'require-observation'],
   },
   write: {
-    value: ['cwd', 'file', 'content', 'eol'],
-    bool: ['pretty', 'dry-run', 'plan', 'transaction', 'no-overwrite', 'allow-unobserved'],
+    value: ['cwd', 'file', 'content', 'eol', 'verify'],
+    bool: ['pretty', 'dry-run', 'plan', 'no-overwrite', 'allow-unobserved'],
   },
-  undo: { value: ['cwd', 'id'], bool: ['pretty', 'force'] },
-  transactions: { value: ['cwd'], bool: ['pretty'] },
   doctor: { value: ['cwd'], bool: ['pretty', 'json'] },
   capabilities: { value: ['cwd'], bool: ['pretty'] },
   mcp: { value: ['cwd'], bool: ['pretty'] },
@@ -172,25 +166,25 @@ const USAGE = [
   // `--file` 指向**目录**时直接给一张仓库地图（模块/目录/依赖方向），不需要额外旗标。
   '             （--file 传目录 ⇒ 仓库地图：模块清单 + 目录骨架 + 被依赖最多的模块 + 入口点）',
   '  aura basetools read  --targets <json|@文件>                               # 一次读多个目标（≤32 项；与 --file 互斥）',
-  '  aura basetools edit  --targets <json|@文件> [--dry-run|--plan]          # 一次改多个文件（先全量规划，任一失败则零写入）',
+  '  aura basetools edit  --targets <json|@文件> [--dry-run|--plan] [--verify "命令"]  # 一次改多个文件（先全量规划，任一失败则零写入）',
   "  aura basetools edit  --file <路径> --create <内容|@文件>                     # 建文件（不必再给 --hunks）",
-  "  aura basetools edit  --file <路径> (--hunks '<json>' | --hunks-file <路径>) [--dry-run|--plan] [--eol auto|preserve|lf|crlf] [--require-observation]",
+  "  aura basetools edit  --file <路径> (--hunks '<json>' | --hunks-file <路径>) [--dry-run|--plan] [--verify \"命令\"] [--eol auto|preserve|lf|crlf] [--require-observation]",
   '   aura basetools edit  --file <路径> --lines <a,b> --replace <文本> [--expect <文本>] [--near <n>]',
   '   aura basetools edit  --file <路径> --old <原文> --replace <文本> --replace-all        # 改全部非重叠出现',
-  "              （只改一处时不必包成 JSON：--target / --intent / --lines / --start-line+--end-line / --line-cue / --anchor 任选其一）",
+          "              （只改一处时不必包成 JSON：--target / --lines / --start-line+--end-line / --line-cue / --anchor 任选其一）",
   // 句柄（fs-contract-v2 §5）：读侧发的柄 + 三种定位写法。下面三行是三种**用法**，不是三种键。
   '   aura basetools edit  --file <路径> --handle <h…> --replace <文本>                          # 整段替换：区间由柄定，不靠转述',
   '   aura basetools edit  --file <路径> --handle <h…> --line <段内行号> --replace <文本>            # 只换区间内第 k 行（1-based，从区间首行数起）',
   '   aura basetools edit  --file <路径> --handle <h…> --position before|after --replace <文本>  # 在区间边界插入，区间本身不动',
   "              （--line / --position 是从属键：只有与 --handle 同时给才成立，单独给不构成一次编辑）",
   '  aura basetools mcp                    启动 MCP stdio 服务',
-  '  aura basetools write --file <路径> --content <文本|@文件> [--no-overwrite] [--dry-run|--plan] [--transaction] [--allow-unobserved] [--eol auto|preserve|lf|crlf]',
+  '  aura basetools write --file <路径> --content <文本|@文件> [--no-overwrite] [--dry-run|--plan] [--verify "命令"] [--allow-unobserved] [--eol auto|preserve|lf|crlf]',
   '             （覆写默认要求先读过这一版；--allow-unobserved 才允许盲写）',
   '  aura basetools doctor [--json]        自检：Node/版本/MCP 握手/缓存与锁目录可写',
   '  aura basetools capabilities [--pretty] 能力清单：读模式/地址档/语言/限制（JSON）',
   '  aura --help | --version',
   '',
-  'hunks 形状：[{"target":"符号名"|"intent":"模糊意图（符号片段/短语/近似原文）"|"lines":[a,b]|"line_cue":"唯一词"|"anchor":"记得的原文",',
+      'hunks 形状：[{"target":"符号名"|"lines":[a,b]|"line_cue":"唯一词"|"anchor":"记得的原文",',
   '              "replace":"替换文本","expect":"该处应是什么","near":行号}]',
   '',
   '例：',
@@ -311,7 +305,7 @@ if (command === '--version' || command === '-v') emit({ ok: true, version: VERSI
  * 旧顶层动词只给**迁移提示**，不再作为别名执行——保留别名等于保留未来的撞名。
  * 只提示、不执行：`aura basetools read` 不会偷偷改文件。
  */
-const MOVED_COMMANDS = new Set(['read', 'outline', 'edit', 'write', 'undo', 'transactions', 'mcp', 'doctor', 'capabilities'])
+const MOVED_COMMANDS = new Set(['read', 'outline', 'edit', 'write', 'mcp', 'doctor', 'capabilities'])
 if (!namespaced && MOVED_COMMANDS.has(command)) {
   emit(
     {
@@ -356,26 +350,13 @@ if (command === 'write') {
     content,
     dryRun: has('dry-run') || has('plan'),
     noOverwrite: has('no-overwrite'),
-    includeTransaction: has('transaction'),
     allowUnobserved: has('allow-unobserved'),
     ...(typeof eol === 'string' ? { eol } : {}),
+    ...(typeof flag('verify') === 'string' ? { verify: flag('verify') } : {}),
   })
   emit(env, env.ok ? 0 : 2)
 }
 
-if (command === 'undo') {
-  const env = await undoEnvelope(provider, {
-    id: typeof flag('id') === 'string' ? flag('id') : undefined,
-    force: has('force'),
-  })
-  emit(env, env.ok ? 0 : 2)
-}
-
-if (command === 'transactions') {
-  const env = transactionsEnvelope(provider)
-  emit(env, 0)
-}
-
 if (command === 'doctor') {
   /**
    * `aura basetools doctor`：把“装完能不能用”的机械检查放在 CLI 自己身上。
@@ -492,8 +473,8 @@ if (command === 'edit') {
     const env = await editManyEnvelope(provider, {
       targets: spec.targets,
       dryRun: has('dry-run') || has('plan') || spec.dryRun,
-      includeTransaction: has('transaction'),
       ...(has('require-observation') ? { requireObservation: true } : {}),
+      ...(typeof flag('verify') === 'string' ? { verify: flag('verify') } : {}),
     })
     emit(env, env.ok ? 0 : 2)
   }
@@ -509,8 +490,6 @@ if (command === 'edit') {
    */
   const flat = flatHunk({
     target: flag('target'),
-    // 意图地址（T16）：`--intent 'config loader'` 一句话定位一处改动，不要求符号全名或原文。
-    intent: flag('intent'),
     lines: flag('lines'),
     start_line: flag('start-line'),
     end_line: flag('end-line'),
@@ -593,7 +572,7 @@ if (command === 'edit') {
       {
         ok: false,
         error:
-          'edit 需要 --hunks/--hunks-file，或平铺一组地址旗标（--target / --intent / --lines / --start-line+--end-line / --line-cue / --anchor / --handle（配 --line 或 --position），外加 --replace），或 --create <整份内容>',
+      'edit 需要 --hunks/--hunks-file，或平铺一组地址旗标（--target / --lines / --start-line+--end-line / --line-cue / --anchor / --handle（配 --line 或 --position），外加 --replace），或 --create <整份内容>',
         code: 'USAGE',
       },
       1,
@@ -607,8 +586,8 @@ if (command === 'edit') {
     hunks: hunks ?? [],
     dryRun: has('dry-run') || has('plan'),
     create,
-    includeTransaction: has('transaction'),
     ...(has('require-observation') ? { requireObservation: true } : {}),
+    ...(typeof flag('verify') === 'string' ? { verify: flag('verify') } : {}),
   })
   emit(env, env.ok ? 0 : 2)
 }