aura-basetools 0.13.3 → 0.15.0

package/locator-lab/write-path.mjs

@@ -2577,35 +2577,6 @@ function locateByHandle(lines, hunk, parsed, ctx) {
   })
 }
 
-/**
- * `intent` 与哪些字段**不能同时出现**（T16）。
- *
- * `intent` 是**自成一体的一层地址**：它由引擎决定落到哪个精确区间。若同时给出任何别的地址，
- * 谁说了算就没有正确答案——挑一个执行就是一次静默换语义（调用方写的两个地址指向不同地方时，
- * 改错的那次不会有任何提示）。所以参数面直接拒绝，而不是挑一个。
- *
- * 名单与 {@link planHunks} 的地址判据同源：`target` / `lines`（含别名 `range`）/ `start_line` /
- * `end_line` / `line_cue` / `anchor` / `old` / `context` / `handle`。
- * `near` / `expect` / `replace` **不在**名单里：前两个是修饰，第三个是动作。
- *
- * 「在场」的判据逐字段照搬它自己那一层的：字符串看非空（`anchor` 看长度、其余看 trim），
- * 坐标看 `!== undefined && !== null`。判据写宽或写窄都会让某个形状在参数面与引擎里得到两种结论。
- *
- * @returns 冲突的字段名（按上面的固定顺序）；没有冲突时为空数组
- */
-function intentAddressConflicts(hunk) {
-  const clashes = []
-  if (typeof hunk.target === 'string' && hunk.target.trim().length > 0) clashes.push('target')
-  for (const key of ['lines', 'range', 'start_line', 'end_line']) {
-    if (hunk[key] !== undefined && hunk[key] !== null) clashes.push(key)
-  }
-  if (typeof hunk.line_cue === 'string' && hunk.line_cue.trim().length > 0) clashes.push('line_cue')
-  if (typeof hunk.anchor === 'string' && hunk.anchor.length > 0) clashes.push('anchor')
-  if (oldAddressOf(hunk) !== null) clashes.push('old')
-  if (typeof hunk.context === 'string' && hunk.context.trim().length > 0) clashes.push('context')
-  if (typeof hunk.handle === 'string' && hunk.handle.trim().length > 0) clashes.push('handle')
-  return clashes
-}
 
 /**
  * 规划所有 hunk：逐个定位 → expect 核对 → 重叠检查 → 倒序拼接。
@@ -2661,7 +2632,7 @@ export function planHunks(content, hunks, filePath = null, options = {}) {
      *
      * 它不是第六种地址，而是 `old` 的一种作用范围；因此只认 `old` + 动作字段（`replace` /
      * `expect` / `eol`）。把 `target`/`lines`/`context`/`near` 混进来意味着"既想全改又想收敛到一处"，
-     * 没有正确答案 —— 参数面直接拒绝，与 `intent` 的互斥同一条理由。
+     * 没有正确答案 —— 参数面直接拒绝，与地址字段互斥同一条理由。
      */
     const replaceAll = hunk.replace_all
     if (replaceAll !== undefined && typeof replaceAll !== 'boolean') {
@@ -2673,7 +2644,7 @@ export function planHunks(content, hunks, filePath = null, options = {}) {
     if (replaceAll === true) {
       const clashes = []
       if (hasTarget) clashes.push('target')
-      if (typeof hunk.intent === 'string' && hunk.intent.trim().length > 0) clashes.push('intent')
+
       for (const key of ['lines', 'range', 'start_line', 'end_line']) {
         if (hunk[key] !== undefined && hunk[key] !== null) clashes.push(key)
       }
@@ -2708,23 +2679,6 @@ export function planHunks(content, hunks, filePath = null, options = {}) {
         )
       }
     }
-    /**
-     * 意图地址（T16）：`intent` 是**自成一体**的一层地址，与其余地址字段互斥。
-     *
-     * 冲突在**定位之前**就拒（参数面没成形，与 `PATCH_NO_ADDRESS` 同族），而不是在引擎里挑一个：
-     * 调用方写了两个地址说明它自己也没定，工具替它选一次就是一次看不见的换语义。
-     * `near` / `expect` / `replace` 不在此列——前两个是修饰，第三个是动作。
-     */
-    const hasIntent = typeof hunk.intent === 'string' && hunk.intent.trim().length > 0
-    if (hasIntent) {
-      const clashed = intentAddressConflicts(hunk)
-      if (clashed.length > 0) {
-        throw new PatchError(
-          `\`intent\` is a complete address by itself — it cannot be combined with ${clashed.join(', ')} (near / expect / replace are fine); drop either intent or those fields — nothing was written`,
-          'PATCH_INTENT_CONFLICT',
-        )
-      }
-    }
     /** 句柄的形状在这里判（不对就抛错）；`{handle, old}` 那一支的 `old` 仍然要命中区间内部。 */
     const parsedHandle = handleAddressOf(hunk)
     /**
@@ -2752,9 +2706,9 @@ export function planHunks(content, hunks, filePath = null, options = {}) {
         'PATCH_NO_ADDRESS',
       )
     }
-    if (oldText === null && parsedHandle === null && !hasTarget && range === undefined && !hasCue && !hasAnchor && !hasIntent) {
+    if (oldText === null && parsedHandle === null && !hasTarget && range === undefined && !hasCue && !hasAnchor) {
       throw new PatchError(
-        gaveLineAddress(hunk) ? LINE_ADDRESS_HINT : 'each hunk needs one of: old, intent, target, lines, line_cue, anchor',
+        gaveLineAddress(hunk) ? LINE_ADDRESS_HINT : 'each hunk needs one of: old, target, lines, line_cue, anchor',
         'PATCH_NO_ADDRESS',
       )
     }
@@ -2776,29 +2730,16 @@ export function planHunks(content, hunks, filePath = null, options = {}) {
         ? locateAllByOld(lines, hunk, oldText, filePath === null ? 'this file' : filePath, handleCtx)
         : [locateByOld(lines, hunk, oldText, filePath === null ? 'this file' : filePath, handleCtx)]
     } else {
-      /**
-       * 意图地址（T16）单独走一条请求：只带 `intent` / `near` / `expect` / `filePath`。
-       * 冲突字段在上面已经拒了，这里刻意**不再把其余地址字段递下去**——即便哪天冲突判据放宽，
-       * 引擎也不该从第二个地址里"顺手"拿到位置（那正是静默换语义的来路）。
-       */
-      const request = hasIntent
-        ? {
-            intent: hunk.intent,
-            ...(hunk.near === undefined ? {} : { near: hunk.near }),
-            ...(hunk.expect === undefined || hunk.expect === null ? {} : { assert: hunk.expect }),
-            ...(filePath === null ? {} : { filePath }),
-            ...(options.allowLoneCr === true ? { allowLoneCr: true } : {}),
-          }
-        : {
-            ...(hasTarget ? { target: hunk.target } : {}),
-            ...(range === undefined ? {} : { lines: range }),
-            ...(hunk.line_cue === undefined ? {} : { lineCue: hunk.line_cue }),
-            ...(hasTarget || range !== undefined || hunk.line_cue !== undefined ? {} : { anchor: hunk.anchor }),
-            ...(hunk.near === undefined ? {} : { near: hunk.near }),
-            ...(hunk.expect === undefined || hunk.expect === null ? {} : { assert: hunk.expect }),
-            ...(filePath === null ? {} : { filePath }),
-            ...(options.allowLoneCr === true ? { allowLoneCr: true } : {}),
-          }
+      const request = {
+        ...(hasTarget ? { target: hunk.target } : {}),
+        ...(range === undefined ? {} : { lines: range }),
+        ...(hunk.line_cue === undefined ? {} : { lineCue: hunk.line_cue }),
+        ...(hasTarget || range !== undefined || hunk.line_cue !== undefined ? {} : { anchor: hunk.anchor }),
+        ...(hunk.near === undefined ? {} : { near: hunk.near }),
+        ...(hunk.expect === undefined || hunk.expect === null ? {} : { assert: hunk.expect }),
+        ...(filePath === null ? {} : { filePath }),
+        ...(options.allowLoneCr === true ? { allowLoneCr: true } : {}),
+      }
       const found = locate(content, request)
       if (!found.ok) {
         throw new PatchError(found.message, found.code, {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aura-basetools",
-  "version": "0.13.3",
+  "version": "0.15.0",
   "description": "Byte-exact read, edit and write tools for coding agents. Standalone CLI and MCP server; no DSH required. 面向 coding agent 的逐字节读写工具；独立 CLI / MCP，可选 DSH 适配器。",
   "license": "MIT",
   "type": "module",

package/test/standalone-test.mjs

@@ -179,7 +179,7 @@ say('B2 能力清单：capabilities 从引擎常量派生')
   check(caps.ok === true && caps.langsCount === caps.langs?.length, `langsCount=${caps.langsCount}`, JSON.stringify(caps.langs?.length))
   check(caps.langsCount === 65, '语言表 65 种（与 LANGS 同源）', String(caps.langsCount))
   check(readTool?.modes?.includes('auto') && readTool.modes.includes('map') && readTool.modes.includes('changed'), '读模式含 auto/map/changed', JSON.stringify(readTool?.modes))
-  check(editTool?.addressKinds?.includes('intent') && editTool.addressKinds.includes('target') && editTool.addressKinds.includes('handle'), '编辑地址档含 intent/target/handle', JSON.stringify(editTool?.addressKinds))
+  check(editTool?.addressKinds?.includes('target') && editTool.addressKinds.includes('handle'), '编辑地址档含 target/handle', JSON.stringify(editTool?.addressKinds))
   check(editTool?.options?.includes('replace_all'), '编辑选项含 replace_all', JSON.stringify(editTool?.options))
   check(editTool?.options?.includes('require_observation'), '编辑选项含 require_observation', JSON.stringify(editTool?.options))
   check(caps.limits?.multiTargetsMax === 32 && caps.limits?.defaultPruneBudget === 8192 && caps.limits?.contentBudget === 7492, '限制与常量一致', JSON.stringify(caps.limits))
@@ -385,7 +385,7 @@ say('F MCP：initialize / tools/list / tools/call')
   })()
   if (manifest !== null) check(byId.get(1)?.result?.serverInfo?.version === manifest.version, `serverInfo.version 跟包一致（${manifest.version}）`, String(byId.get(1)?.result?.serverInfo?.version))
   const tools = byId.get(2)?.result?.tools ?? []
-  check(tools.length === 5 && tools.some((t) => t.name === 'aura_basetools_read') && tools.some((t) => t.name === 'aura_basetools_edit') && tools.some((t) => t.name === 'aura_basetools_write') && tools.some((t) => t.name === 'aura_basetools_undo') && tools.some((t) => t.name === 'aura_basetools_transactions'), `tools/list 五个工具（${tools.map((t) => t.name).join(',')}`)
+  check(tools.length === 3 && tools.some((t) => t.name === 'aura_basetools_read') && tools.some((t) => t.name === 'aura_basetools_edit') && tools.some((t) => t.name === 'aura_basetools_write'), `tools/list 三个工具（${tools.map((t) => t.name).join(',')}`)
   const readEnv = JSON.parse(byId.get(3)?.result?.content?.[0]?.text ?? '{}')
   check(readEnv.ok === true && Array.isArray(readEnv.symbols ?? []), 'aura_basetools_read 经 MCP 可用', JSON.stringify(readEnv).slice(0, 120))
   const editEnv = JSON.parse(byId.get(4)?.result?.content?.[0]?.text ?? '{}')
@@ -1537,49 +1537,9 @@ say('N provider：mode / symlink / hardlink / range / 上限 / cache')
   }
 }
 
-say('O 写事务：journal / undo / 多目标回滚')
+say('O 写失败回滚与锁（0.14.0 已移除公开 undo/transactions）')
 {
-  const txFile = path.join(tmp, 'tx-single.txt')
-  const txOriginal = 'one\ntwo\n'
-  fs.writeFileSync(txFile, txOriginal)
-  const txEdit = json(run(['basetools', 'edit', '--file', txFile, '--lines', '1', '--replace', 'ONE', '--transaction']))
-  check(txEdit.ok === true && typeof txEdit.result?.transaction?.id === 'string', 'O1 单目标编辑返回 transaction id', JSON.stringify(txEdit.result?.transaction ?? txEdit.code))
-  check(fs.readFileSync(txFile, 'utf8') === 'ONE\ntwo\n', 'O1 编辑已落盘')
-  const txId = txEdit.result?.transaction?.id
-  const txUndo = json(run(['basetools', 'undo', '--id', String(txId)]))
-  check(txUndo.ok === true && txUndo.status === 'undone', 'O2 undo 成功', JSON.stringify(txUndo))
-  check(fs.readFileSync(txFile, 'utf8') === txOriginal, 'O2 undo 恢复原始字节')
-
-  const a = path.join(tmp, 'tx-a.txt')
-  const b = path.join(tmp, 'tx-b.txt')
-  fs.writeFileSync(a, 'alpha\n')
-  fs.writeFileSync(b, 'beta\n')
-  const targets = [
-    { file_path: a, hunks: [{ lines: [1, 1], replace: 'ALPHA' }] },
-    { file_path: b, hunks: [{ lines: [1, 1], replace: 'BETA' }] },
-  ]
-  const multi = json(run(['basetools', 'edit', '--targets', JSON.stringify(targets), '--transaction']))
-  check(multi.ok === true && typeof multi.transaction?.id === 'string', 'O3 多目标编辑返回 transaction id', JSON.stringify(multi.transaction ?? multi.code))
-  check(fs.readFileSync(a, 'utf8') === 'ALPHA\n' && fs.readFileSync(b, 'utf8') === 'BETA\n', 'O3 两个文件都已落盘')
-  const multiUndo = json(run(['basetools', 'undo', '--id', String(multi.transaction?.id)]))
-  check(multiUndo.ok === true && multiUndo.restored === 2, 'O4 多目标 undo 恢复两个文件', JSON.stringify(multiUndo))
-  check(fs.readFileSync(a, 'utf8') === 'alpha\n' && fs.readFileSync(b, 'utf8') === 'beta\n', 'O4 两个文件都回到原始字节')
-
-  const list = json(run(['basetools', 'transactions']))
-  check(list.ok === true && Array.isArray(list.transactions) && list.transactions.length > 0, 'O5 transactions 列出当前工作区事务')
-
-  // 事务后又被改过 ⇒ 默认拒绝 undo，force 才覆盖
-  const guardFile = path.join(tmp, 'tx-guard.txt')
-  fs.writeFileSync(guardFile, 'v0\n')
-  const guardEdit = json(run(['basetools', 'edit', '--file', guardFile, '--lines', '1', '--replace', 'v1', '--transaction']))
-  const guardId = guardEdit.result?.transaction?.id
-  fs.writeFileSync(guardFile, 'external\n')
-  const blocked = json(run(['basetools', 'undo', '--id', String(guardId)]))
-  check(blocked.ok === false && blocked.code === 'TRANSACTION_STALE', 'O6 事务后文件被外部改过 ⇒ undo 默认拒绝', JSON.stringify({ code: blocked.code, error: blocked.error }))
-  const forced = json(run(['basetools', 'undo', '--id', String(guardId), '--force']))
-  check(forced.ok === true && fs.readFileSync(guardFile, 'utf8') === 'v0\n', 'O6 force 后仍可恢复')
-
-  // O7 多目标：一个成功、一个写失败 ⇒ 成功那个也必须回滚
+  // O7 多目标：一个成功、一个写失败 ⇒ 成功那个也必须回滚（内部事务日志仍保留）
   const okFile = path.join(tmp, 'tx-rollback-ok.txt')
   const hardBase = path.join(tmp, 'tx-rollback-hard-base.txt')
   const hardFile = path.join(tmp, 'tx-rollback-hard.txt')
@@ -1594,31 +1554,13 @@ say('O 写事务：journal / undo / 多目标回滚')
       { file_path: okFile, hunks: [{ lines: [1, 1], replace: 'ALPHA' }] },
       { file_path: hardFile, hunks: [{ lines: [1, 1], replace: 'BETA' }] },
     ]
-    const rollback = json(run(['basetools', 'edit', '--targets', JSON.stringify(rollbackTargets), '--transaction']))
-    check(rollback.ok === false && rollback.transaction?.status === 'rolled_back', 'O7 多目标部分失败 ⇒ transaction rolled_back', JSON.stringify({ ok: rollback.ok, tx: rollback.transaction, rollback: rollback.rollback }))
+    const rollback = json(run(['basetools', 'edit', '--targets', JSON.stringify(rollbackTargets)]))
+    check(rollback.ok === false && rollback.rollback?.status === 'rolled_back' && rollback.rolled_back === true, 'O7 多目标部分失败 ⇒ 自动回滚', JSON.stringify({ ok: rollback.ok, rollback: rollback.rollback }))
     check(rollback.rollback?.restored === 1 && fs.readFileSync(okFile, 'utf8') === 'alpha\n', 'O7 已落地的那个文件被恢复')
     check(fs.readFileSync(hardBase, 'utf8') === 'beta\n' && fs.readFileSync(hardFile, 'utf8') === 'beta\n', 'O7 硬链接目标未被改动')
-    // 回执必须等于**回滚后的最终磁盘状态**，不能继续报 landed/applied。
     check(rollback.applied === 0 && rollback.landed_paths?.length === 0 && rollback.unchanged === true, 'O7 回滚后 applied=0 / landed_paths=[] / unchanged=true', JSON.stringify({ applied: rollback.applied, landed_paths: rollback.landed_paths, unchanged: rollback.unchanged }))
     check(rollback.rolled_back === true && rollback.edits?.filter((e) => e.outcome === 'rolled_back').every((e) => e.landed === false), 'O7 逐项 outcome=rolled_back 且 landed=false', JSON.stringify(rollback.edits?.map((e) => ({ outcome: e.outcome, landed: e.landed }))))
     check(!/applied [1-9]|landed [1-9]/.test(rollback.summary ?? ''), 'O7 汇总行不再出现 applied N / landed N', rollback.summary)
-
-    // 不带 --transaction 也必须能看出“已回滚”：回执事实不依赖是否索要事务 id。
-    // 用一组**新文件**：上一轮回滚后观测账本里还留着“写下去的那版”，同一文件立刻重试会先被
-    // 区域闸拦下（那是另一条保护，别把它混进回执断言）。
-    const okFile2 = path.join(tmp, 'tx-rollback-ok2.txt')
-    const hardBase2 = path.join(tmp, 'tx-rollback-hard-base2.txt')
-    const hardFile2 = path.join(tmp, 'tx-rollback-hard2.txt')
-    fs.writeFileSync(okFile2, 'alpha\n')
-    fs.writeFileSync(hardBase2, 'beta\n')
-    fs.linkSync(hardBase2, hardFile2)
-    const rollbackTargets2 = [
-      { file_path: okFile2, hunks: [{ lines: [1, 1], replace: 'ALPHA' }] },
-      { file_path: hardFile2, hunks: [{ lines: [1, 1], replace: 'BETA' }] },
-    ]
-    const rollbackNoTx = json(run(['basetools', 'edit', '--targets', JSON.stringify(rollbackTargets2)]))
-    check(rollbackNoTx.ok === false && rollbackNoTx.rollback?.status === 'rolled_back' && rollbackNoTx.rolled_back === true, 'O7 include_transaction=false 仍返回 rollback/rolled_back', JSON.stringify({ rollback: rollbackNoTx.rollback, rolled_back: rollbackNoTx.rolled_back }))
-    check(rollbackNoTx.applied === 0 && rollbackNoTx.landed_paths?.length === 0 && fs.readFileSync(okFile2, 'utf8') === 'alpha\n', 'O7 不索要事务 id 时回执仍与最终磁盘一致', JSON.stringify({ applied: rollbackNoTx.applied, landed_paths: rollbackNoTx.landed_paths }))
   }
 
   // O8 锁：同一工作区已有写事务时，第二个编辑必须超时拒绝

package/test/write-test.mjs

@@ -4,7 +4,7 @@
  * 覆盖：
  *   A 新建：真正建盘、回执 operation=create、dry-run 不建盘、事务可撤销（撤销后文件消失）
  *   B 覆写：整份替换、BOM 与文件既有行尾保留、有无尾换行精确、no-overwrite、dry-run、
- *     事务 + undo 逐字节恢复、`--content @file`
+ *     `--content @file`（0.14.0 移除公开事务/undo）
  *   C MCP：aura_basetools_write 出现在 tools/list，create/overwrite/no_overwrite/dry_run/坏参数都走同一引擎
  *   D 能力清单：commands 与 tools 都包含 write
  *
@@ -55,7 +55,7 @@ process.on('exit', () => {
 })
 
 // ── A 新建 ────────────────────────────────────────────────────────────────
-say('A 新建：整份建盘，dry-run 不建盘，事务可撤销')
+say('A 新建：整份建盘，dry-run 不建盘')
 {
   const created = json(run(['basetools', 'write', '--file', 'created.txt', '--content', 'alpha\nbeta\n']))
   check(created.ok === true && created.result?.operation === 'create', 'A1 新建回执 operation=create', JSON.stringify(created).slice(0, 160))
@@ -66,13 +66,6 @@ say('A 新建：整份建盘，dry-run 不建盘，事务可撤销')
   check(dry.ok === true && dry.result?.operation === 'create' && dry.result?.dryRun === true && dry.result?.bytes === 1, 'A4 新建 dry-run 回执给 create/bytes，但不落盘', JSON.stringify(dry).slice(0, 160))
   check(fs.existsSync(file('dry-new.txt')) === false, 'A5 新建 dry-run 之后文件仍不存在')
 
-  const tx = json(run(['basetools', 'write', '--file', 'tx-created.txt', '--content', 'gone\n', '--transaction']))
-  const txId = tx.result?.transaction?.id
-  check(tx.ok === true && typeof txId === 'string' && tx.result.transaction.status === 'committed', 'A6 --transaction 返回 committed 事务', JSON.stringify(tx.result?.transaction))
-  const undone = json(run(['basetools', 'undo', '--id', txId]))
-  check(undone.ok === true && undone.status === 'undone', 'A7 undo 成功', JSON.stringify(undone).slice(0, 160))
-  check(fs.existsSync(file('tx-created.txt')) === false, 'A8 撤销“新建”后文件消失（不留下空文件）')
-
   const missingFile = json(run(['basetools', 'write', '--content', 'x']))
   const missingContent = json(run(['basetools', 'write', '--file', 'x.txt']))
   check(missingFile.ok === false && missingFile.code === 'USAGE', 'A9 缺 --file ⇒ USAGE', JSON.stringify(missingFile).slice(0, 140))
@@ -119,14 +112,6 @@ say('B 覆写：整份替换，BOM / 既有行尾 / 尾换行精确')
   const newNoOverwrite = json(run(['basetools', 'write', '--file', 'brand-new.txt', '--content', 'ok\n', '--no-overwrite']))
   check(newNoOverwrite.ok === true, 'B11 no-overwrite 对不存在的文件照常创建')
 
-  fs.writeFileSync(file('tx-restore.txt'), Buffer.concat([BOM, Buffer.from('orig\r\nbytes\r\n', 'utf8')]))
-  prime('tx-restore.txt')
-  const original = fs.readFileSync(file('tx-restore.txt'))
-  const tx = json(run(['basetools', 'write', '--file', 'tx-restore.txt', '--content', 'changed\n', '--transaction']))
-  check(!fs.readFileSync(file('tx-restore.txt')).equals(original), 'B12 覆写真的改了盘')
-  const undone = json(run(['basetools', 'undo', '--id', tx.result?.transaction?.id]))
-  check(undone.ok === true && fs.readFileSync(file('tx-restore.txt')).equals(original), 'B13 undo 逐字节恢复覆写前的原文（含 BOM/CRLF）')
-
   fs.writeFileSync(file('content-source.txt'), 'from @file\nsecond line\n')
   const atFile = json(run(['basetools', 'write', '--file', 'from-at.txt', '--content', '@' + file('content-source.txt')]))
   check(atFile.ok === true && fs.readFileSync(file('from-at.txt'), 'utf8') === fs.readFileSync(file('content-source.txt'), 'utf8'), 'B14 --content @file 读入整份内容')
@@ -225,7 +210,7 @@ say('C MCP：aura_basetools_write 声明面与调用面')
 
   const tools = byId.get(2)?.result?.tools ?? []
   const writeTool = tools.find((tool) => tool.name === 'aura_basetools_write')
-  check(tools.length === 5 && writeTool !== undefined, `C1 tools/list 五个工具且含 aura_basetools_write（${tools.map((tool) => tool.name).join(',')}）`)
+  check(tools.length === 3 && writeTool !== undefined, `C1 tools/list 三个工具且含 aura_basetools_write（${tools.map((tool) => tool.name).join(',')}）`)
   check(JSON.stringify(writeTool?.inputSchema?.required) === JSON.stringify(['file_path', 'content']), 'C2 aura_basetools_write schema 必填 file_path + content', JSON.stringify(writeTool?.inputSchema?.required))
   check(envOf(3).ok === true && envOf(3).result?.operation === 'create', 'C3 经 MCP 新建成功', JSON.stringify(envOf(3)).slice(0, 160))
   check(fs.readFileSync(file('mcp-created.txt'), 'utf8') === 'mcp\ncreate\n', 'C4 MCP 新建的内容真的落盘')