sillyspec 3.27.5 → 3.27.7

package/src/sync.js

@@ -28,7 +28,6 @@ function safePlatformSpecDir(cwd) {
 }
 
 const LOCAL_YAML = '.sillyspec/local.yaml';
-const CHANGES_DIR = '.sillyspec/changes';
 const REQUEST_TIMEOUT_MS = 10_000;
 
 // 未连接平台是本地独立用户的合法默认状态。sync / checkApproval 由 run 流程在后台 best-effort
@@ -429,13 +428,17 @@ export class SyncManager {
     }
 
     // 检查变更目录是否存在（归档后目录已移走但 DB 仍有最终状态需推平台，serializeForSync 从
-    // DB 读不依赖文件系统目录）。归档终态探测（坑 post-archive-sync-noise，2026-08-21 实证：
-    // 归档尾声连打「目录不存在/变更不存在」warn，观感像出错）：确认已归档（changes/archive/
-    // 有实体 或 DB status='archived'）时降为一行 info 措辞——正常时序不是告警。
-    const changeDir = join(this.cwd, CHANGES_DIR, changeName);
+    // DB 读不依赖文件系统目录）。树根与 syncDocuments/spec 树同源（safePlatformSpecDir，
+    // BUG-01 同族）：此前硬编码 cwd/.sillyspec/changes，平台模式（specRoot 指向外部）目录
+    // 恒不存在 → 每次同步打「变更目录不存在」warn 噪音。归档终态探测（坑 post-archive-
+    // sync-noise，2026-08-21 实证：归档尾声连打「目录不存在/变更不存在」warn，观感像出错）：
+    // 确认已归档（changes/archive/ 有实体 或 DB status='archived'）时降为一行 info 措辞——
+    // 正常时序不是告警。
+    const specBase = safePlatformSpecDir(this.cwd) || join(this.cwd, '.sillyspec');
+    const changeDir = join(specBase, 'changes', changeName);
     let archivedQuietly = false;
     if (!existsSync(changeDir)) {
-      archivedQuietly = existsSync(join(this.cwd, CHANGES_DIR, 'archive', changeName))
+      archivedQuietly = existsSync(join(specBase, 'changes', 'archive', changeName))
         || this._isChangeArchivedInDb(changeName);
       if (archivedQuietly) {
         console.log(`[sync] 变更已归档（目录在 archive/），继续从 DB 推送最终状态: ${changeName}`);
@@ -768,23 +771,36 @@ export class SyncManager {
 
   /**
    * 查看同步状态。
-   * 读取 local.yaml 中的 platform 配置，返回连接信息。
+   * 基于本实例解析出的平台配置（env 优先，见 _getPlatform）返回连接信息；
+   * env 通道无 last_connected 可读，返回 null。
    */
   status() {
-    const config = readLocalYaml(this.cwd);
-    const platform = config.platform;
+    const platform = this._getPlatform();
     if (!platform) {
       return { connected: false };
     }
     return {
       connected: true,
       url: platform.url,
-      lastSync: platform.last_connected || null,
+      lastSync: readLocalYaml(this.cwd).platform?.last_connected || null,
     };
   }
 
-  /** 获取当前平台配置，未连接返回 null */
+  /**
+   * 获取当前平台配置，未连接返回 null。
+   * 优先级：env SILLYHUB_PLATFORM_URL + SILLYHUB_PLATFORM_TOKEN（两键齐全才生效——
+   * daemon 注入通道，平台模式 specRoot/local.yaml 常无 platform 段，与链路 D
+   * readPlatformPushConfig 同款先例）> local.yaml platform 段。
+   * env 由 daemon 注入、CLI 不管其生命周期（disconnect 仍只清 local.yaml——daemon
+   * 停止注入即失效）；triggerSync 平台模式放行（2026-08-26）后这是回传走通的关键通道。
+   */
   _getPlatform() {
+    if (process.env.SILLYHUB_PLATFORM_URL && process.env.SILLYHUB_PLATFORM_TOKEN) {
+      return {
+        url: process.env.SILLYHUB_PLATFORM_URL,
+        token: process.env.SILLYHUB_PLATFORM_TOKEN,
+      };
+    }
     const config = readLocalYaml(this.cwd);
     return config.platform || null;
   }

package/src/task-review.js

@@ -370,7 +370,9 @@ function isTaskLowRisk(changeDir, taskId) {
   if (!existsSync(taskFile)) return false
   try {
     const content = readFileSync(taskFile, 'utf8')
-    const fm = content.match(/^---\n([\s\S]*?)\n---/)
+    // \r? 容错（Windows 卡片 CRLF）：与下方 isTaskVerification 同款——硬锚 ^---\n 在 CRLF
+    // 文件上失配 → low_risk 豁免静默失效，缺 review.json 会被误判 error
+    const fm = content.match(/^---\r?\n([\s\S]*?)\r?\n---/)
     if (!fm) return false
     return /^low_risk:\s*true\s*$/im.test(fm[1])
   } catch {
@@ -1033,7 +1035,7 @@ export async function generateTaskReviewDrafts({ changeName, cwd, platformOpts =
   }
 
   // base..head diff 文件集（worktree-aware；null=git 不可用，[]=无 commit diff）
-  let diffFiles = resolveVerifyChangedFiles(cwd, changeName)
+  let diffFiles = resolveVerifyChangedFiles(cwd, changeName, null, { specBase })
   // ⚠️ 并入 worktree 未提交改动（坑 draft-attribution-uncommitted-worktree，2026-08-21 实证）：
   // 子代理默认不 commit（execute 复盘 a 同源事实），真实改动全在 worktree working-tree——只看
   // base..HEAD commit diff 时归属恒空，9/9 草稿全成「无归属」靠主代理手写升级。与
@@ -1275,7 +1277,7 @@ export async function adoptTaskReviewMechanics({ changeName, cwd, platformOpts =
 
   // base/head + diff：与 generateTaskReviewDrafts 同源口径（meta 锡点 + worktree rev-parse +
   // resolveVerifyChangedFiles），保证 adopt 产物与 gate 校验输入一致。
-  const diffFiles = resolveVerifyChangedFiles(cwd, changeName)
+  const diffFiles = resolveVerifyChangedFiles(cwd, changeName, null, { specBase })
   let base = null
   let head = null
   let reviewGitDir = cwd

package/src/taskcard.js

@@ -120,12 +120,47 @@ constraints:
      ⚠️ plan --done 硬校验会拦截未替换的占位符（FR-XX / D-XXX / src/example/file.ts /
      一句话说明这个 task / 具体步骤 1 / 可验证的验收条件 1 / 边界约束 1）——占位符视同缺字段。
      可选字段按需插进上方 frontmatter（规则见 taskcard-rules）：
+     repo:          仅跨仓 task 填（local.yaml repos: 注册的仓 key；缺省=main。allowed_paths 相对该仓根写，
+                    禁止带仓库名前缀/绝对路径——review 对账按仓根相对路径匹配，带前缀永不命中）
      provides:      仅当本 task 给其他 task 提供接口/DTO/响应时填
      expects_from:  仅当本 task 消费其他 task 的契约时填
      related_tests: 仅当本 task 改动导致既有测试断言失效时填（测试路径须同时进 allowed_paths） -->
 `
 }
 
+/**
+ * TaskCard 骨架幂等预生成（坑 taskcard-parallel-cli-lock，2026-08-25 实证：plan 生成
+ * TaskCard 步骤让并行 batch 子代理各自跑 sillyspec taskcard CLI，多进程并发撞进度库
+ * SQLite 锁——用户改为主代理预生成骨架+子代理只 Edit 才稳。本函数把该实践内建：
+ * plan gate 前主流程单进程调用，注册表（tasks.md）里有声明而 tasks/ 缺卡的任务一律
+ * 补骨架，已存在跳过不覆盖；骨架占位符硬拦（plan-postcheck）不变——预生成只消灭
+ * CLI 并发与格式错误，不替子代理产语义内容）。
+ *
+ * @param {string} changeName
+ * @param {{ cwd: string, specDir?: string|null }} opts
+ * @returns {{ created: string[], skipped: string[] }}
+ */
+export function ensureTaskcardSkeletons(changeName, opts = {}) {
+  const { cwd, specDir = null } = opts
+  assertSafeChangeName(changeName, '变更名')
+  const changeDir = join(resolveSpecDir(cwd, { specDir }), 'changes', changeName)
+  if (!existsSync(changeDir)) return { created: [], skipped: [] }
+  // 注册表口径与 cmdTaskcard 同源：tasks.md 优先，回退 plan.md（旧归档变更兼容读侧）
+  const tasksMdPath = join(changeDir, 'tasks.md')
+  const planPath = join(changeDir, 'plan.md')
+  const registryPath = existsSync(tasksMdPath) ? tasksMdPath : (existsSync(planPath) ? planPath : null)
+  if (!registryPath) return { created: [], skipped: [] }
+  const registry = parseTaskRegistry(readFileSync(registryPath, 'utf8').replace(/\r\n/g, '\n'))
+  if (registry.length === 0) return { created: [], skipped: [] }
+  const tasksDir = join(changeDir, 'tasks')
+  const missing = registry.map(t => t.id).filter(id => !existsSync(join(tasksDir, `${id}.md`)))
+  if (missing.length === 0) {
+    return { created: [], skipped: registry.map(t => join(tasksDir, `${t.id}.md`)) }
+  }
+  return cmdTaskcard(changeName, { cwd, specDir, taskIds: missing })
+}
+
+
 /**
  * taskcard 命令主逻辑：定位变更目录 → 解析任务清单（--task 显式列表 / 'all' 从 plan.md 取）→
  * 逐个写骨架。

package/src/verify-postcheck.js

@@ -22,7 +22,7 @@
  *                 task-12 经 run/prompt.js 注入 prompt 供用户否决）。
  */
 
-import { execSync } from 'child_process'
+import { execSync, spawnSync } from 'child_process'
 import { gitQuiet } from './git-helper.js'
 import { existsSync, mkdirSync, readFileSync, writeFileSync, readdirSync } from 'fs'
 import { join } from 'path'
@@ -457,15 +457,17 @@ export function extractModules(yamlText) {
   const modules = {}
   for (let i = startIdx + 1; i < lines.length; i++) {
     const line = lines[i]
-    // 子条目：以 2 空格缩进 + key + ':' 开头
-    const entry = line.match(/^  ([A-Za-z0-9_.\-]+):\s*(.*)$/)
+    // 条目缩进放宽为「任意非零空白」（坑 modules-indent-hardcoded，plan-postcheck parseLocalYamlModules
+    // 同款修复）：此前硬编码恰 2 空格——4 空格缩进条目被静默跳过、Tab 缩进直接截断整个块 →
+    // modules 丢失 → modulesPresent=false 回退全量实测（600s 超时必炸）或 0 命中误跳过。
+    const entry = line.match(/^([ \t]+)([A-Za-z0-9_.\-]+):\s*(.*)$/)
     if (!entry) {
       // 遇到新的顶层 key（行首非空格且非注释）→ modules 块结束
       if (line.length > 0 && !line.startsWith(' ') && !line.startsWith('#') && line.trim() !== '') break
       continue
     }
-    const name = entry[1]
-    const rest = entry[2].trim()
+    const name = entry[2]
+    const rest = (entry[3] || '').trim()
     if (rest === '' || rest.startsWith('#')) continue // 子块展开式（本实现只支持 inline flow）
     // 解析 inline flow mapping: { path: "...", test: "..." }
     const pathVal = parseFlowValue(rest, 'path')
@@ -810,12 +812,15 @@ import { splitOwnVsForeignDiffFiles } from './foreign-declared.js'
  * @param {string} cwd - 项目根目录（主仓）
  * @param {string|null} changeName
  * @param {object|null} [ctx] - MultiRepoContext 实例（可选，缺省/null 走单仓原逻辑）
+ * @param {object} [opts]
+ * @param {boolean} [opts.includeWorkingTree=false]
+ * @param {string|null} [opts.specBase] spec 根（平台模式=specRoot，透传 resolveMainChangedFiles）
  * @returns {string[]|null} 变更文件列表；git 不可用返回 null（调用方按 hitCount=-1 处理）
  */
 export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}) {
   const { includeWorkingTree = false } = opts
   // 主仓 diff（原逻辑不动，单仓零回归）
-  let mainFiles = resolveMainChangedFiles(cwd, changeName)
+  let mainFiles = resolveMainChangedFiles(cwd, changeName, opts.specBase)
 
   // 并入 worktree 未提交改动（坑 module-subset-zero-hit-uncommitted，2026-08-21 实证：
   // 子代理默认不 commit，真实改动全在 worktree working-tree——只看 base..HEAD commit diff
@@ -857,6 +862,7 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
   // 那是 task-04 的 scope，本函数不消费锡点——跨仓合并 diff 在 verify-postcheck 内仅供
   // 「per-repo diff 合并」语义契约 + 未来 consumer，module 子集只用主仓 diff）。
   const merged = mainFiles ? mainFiles.slice() : []
+  const seen = new Set(merged) // Set 去重：merged.includes 线性扫在大 diff × 多仓合并时是 O(n²)
   let anyAvailable = mainFiles !== null
   for (const entry of crossEntries) {
     // 跨仓仓 gitDir = 跨仓仓根（MultiRepoContext._buildCrossRepoEntry 已 fail-closed 保证可达）
@@ -864,7 +870,10 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
     if (files !== null) {
       anyAvailable = true
       for (const f of files) {
-        if (!merged.includes(f)) merged.push(f)
+        if (!seen.has(f)) {
+          seen.add(f)
+          merged.push(f)
+        }
       }
     }
   }
@@ -877,11 +886,14 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
  *
  * @param {string} cwd - 主仓根
  * @param {string|null} changeName
+ * @param {string|null} [specBase] spec 根（平台模式=specRoot；缺省 join(cwd,'.sillyspec')，
+ *   meta.json 查找与他者声明过滤同用此根——A4 同族修复）
  * @returns {string[]|null}
  */
-function resolveMainChangedFiles(cwd, changeName) {
+function resolveMainChangedFiles(cwd, changeName, specBase = null) {
+  const sb = specBase || join(cwd, '.sillyspec')
   if (changeName) {
-    const metaPath = join(cwd, '.sillyspec', '.runtime', 'worktrees', changeName, 'meta.json')
+    const metaPath = join(sb, '.runtime', 'worktrees', changeName, 'meta.json')
     if (existsSync(metaPath)) {
       let meta = null
       try { meta = JSON.parse(readFileSync(metaPath, 'utf8')) } catch {}
@@ -902,7 +914,7 @@ function resolveMainChangedFiles(cwd, changeName) {
   // verify-reconcile-foreign-wip）：他者显式声明（quick --files / 他者 design 清单）的
   // 文件剔除归他者——不混入本变更 module 命中。无主文件保留（fail-closed）。
   if (fallback !== null && changeName && fallback.length > 0) {
-    const { own, foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, fallback)
+    const { own, foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, fallback, { specBase: sb })
     if (foreign.length > 0) {
       console.warn(`⚠️ verify 对账已排除 ${foreign.length} 个并行会话声明的文件（不参与本变更判定）：${foreign.slice(0, 5).map(x => `${x.file}←${x.owners[0]}`).join(', ')}${foreign.length > 5 ? ' 等' : ''}`)
       return own
@@ -977,7 +989,7 @@ export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = nul
       modulesPresent = true
       // includeWorkingTree（坑 module-subset-zero-hit-uncommitted）：子代理不 commit 的改动
       // 也参与 module 命中判定，0 命中跳过不再误伤 worktree 未提交的真实变更
-      const changedFiles = resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true })
+      const changedFiles = resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase })
       lastChangedFiles = Array.isArray(changedFiles) ? changedFiles : []
       if (changedFiles === null) {
         hitCount = -1 // git 不可用 / 非仓库
@@ -1259,7 +1271,6 @@ function extractPortsFromCommand(cmd) {
  */
 function isPortOccupiedSync(port) {
   try {
-    const { spawnSync } = require('node:child_process')
     const r = spawnSync(process.execPath, ['-e',
       `const n=require('node:net');const s=n.connect(${port},'127.0.0.1',()=>{console.log('Y');s.end()});s.on('error',()=>console.log('N'));setTimeout(()=>{console.log('N');process.exit(0)},1500)`],
       { encoding: 'utf8', timeout: 4000 })
@@ -1576,7 +1587,7 @@ export function runVerifyDeletionCheck({ cwd, specBase, changeName = null }) {
   // WIP 时，他者显式声明（quick --files / 他者 design 清单）的删除不参与本变更删除对账
   // （否则「他者删的文件 × 本变更 design 三态」产出未声明删除误报）。无主删除保留（fail-closed）。
   if (changeName && deliverable.length > 0) {
-    const { own, foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, deliverable.map(d => d.path))
+    const { own, foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, deliverable.map(d => d.path), { specBase })
     if (foreign.length > 0) {
       console.warn(`⚠️ 删除对账已排除 ${foreign.length} 个并行会话声明的删除（${foreign.slice(0, 5).map(x => `${x.file}←${x.owners[0]}`).join(', ')}${foreign.length > 5 ? ' 等' : ''}）`)
       const keep = new Set(own)

package/src/verify-probes.js

@@ -19,7 +19,7 @@ import { join, dirname, basename } from 'path'
 import { gitQuiet } from './git-helper.js'
 import { parseFileChangeListDetailed } from './change-list.js'
 import { parseAllowedPaths } from './stages/plan-postcheck.js'
-import { verifyApiParity } from './contract-matrix.js'
+import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
 import { splitOwnVsForeignDiffFiles } from './foreign-declared.js'
 import { resolveSpecDir, resolveRuntimeRoot, detectWorktreeSpecDrift } from './run/shared.js'
 
@@ -101,17 +101,29 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
   const designOps = new Map(detailed.map(e => [e.path, e.operation]))
 
   // ── 探针 1：未实现标记扫描（design 清单具体文件；glob 项列出让 agent 展开）──
-  const probe1 = { matches: [], globEntries: [], skippedFiles: [] }
+  // worktree 路径回退（坑 probe1-worktree-path-blind，2026-08-24 用户实证：verify 从主仓跑、
+  // apply 前 design 清单新文件只在 worktree → 6 个新文件被报「不存在」跳过不扫）。主仓路径
+  // 缺失且存在真实 worktree（gitDir≠cwd，与探针 5 的 _readWorktreeMeta 同源解析）→ 读 worktree
+  // 版本并计数；两处皆缺才进 skippedFiles。in-place meta（gitDir==cwd）零行为变化。
+  const wtInfo = _readWorktreeMeta(specBase, cwd, changeName)
+  const wtRoot = (wtInfo && wtInfo.gitDir && wtInfo.gitDir !== cwd) ? wtInfo.gitDir : null
+  const probe1 = { matches: [], globEntries: [], skippedFiles: [], worktreeHits: 0 }
   for (const e of detailed) {
     if (e.path.startsWith('.sillyspec/')) continue
     if (/[*?[\]]/.test(e.path)) {
       probe1.globEntries.push(e.path)
       continue
     }
-    const abs = join(cwd, e.path)
+    let abs = join(cwd, e.path)
     if (!existsSync(abs)) {
-      probe1.skippedFiles.push(e.path)
-      continue
+      const wtAbs = wtRoot ? join(wtRoot, e.path) : null
+      if (wtAbs && existsSync(wtAbs)) {
+        abs = wtAbs
+        probe1.worktreeHits++
+      } else {
+        probe1.skippedFiles.push(e.path)
+        continue
+      }
     }
     try {
       const lines = readFileSync(abs, 'utf8').split('\n')
@@ -134,7 +146,15 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
     const moduleDirs = [...new Set(allowed.map(p => dirname(p.split('\\').join('/'))).filter(d => d && d !== '.'))]
     const testFiles = []
     for (const d of moduleDirs) {
-      for (const f of findTestFiles(join(cwd, d), cwd)) {
+      // 同探针 1 的 worktree 回退（坑 probe1-worktree-path-blind）：新模块目录 apply 前只在
+      // worktree——主仓目录缺失时到 worktree 找 co-located 测试（路径相对 worktree 根呈现）
+      let searchRoot = join(cwd, d)
+      let relBase = cwd
+      if (!existsSync(searchRoot) && wtRoot && existsSync(join(wtRoot, d))) {
+        searchRoot = join(wtRoot, d)
+        relBase = wtRoot
+      }
+      for (const f of findTestFiles(searchRoot, relBase)) {
         if (!testFiles.includes(f)) testFiles.push(f)
       }
     }
@@ -153,14 +173,17 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
   const probe5 = verifyApiParity(specBase, cwd, runtimeRoot, changeName)
 
   // ── 探针 6：代码删除对账（git diff --name-status HEAD 的 D/R × design 声明三态）──
-  const probe6 = { deletions: [], note: '以 git 事实为准（真实 > 声明）；是否 FAIL blocker 由 agent 诚实判定' }
+  const probe6 = { deletions: [], unavailable: false, note: '以 git 事实为准（真实 > 声明）；是否 FAIL blocker 由 agent 诚实判定' }
   // 他者声明归属过滤（坑 verify-reconcile-foreign-wip）：并行会话在途删除/改动不进本变更对账
-  const nsOut = gitQuiet(cwd, ['diff', '--name-status', 'HEAD']) || ''
-  let nsRows = nsOut.split('\n').filter(Boolean)
+  // gitQuiet 失败（非仓库/git 缺失/报错）返回 null ≠ 空结果：null 必须显式标记不可用，
+  // 否则半截对账被渲染成「✅ 无删除」的错误全清信号（对照 verify-postcheck runVerifyDeletionCheck 的 skipped 口径）
+  const nsOut = gitQuiet(cwd, ['diff', '--name-status', 'HEAD'])
+  if (nsOut === null) probe6.unavailable = true
+  let nsRows = (nsOut || '').split('\n').filter(Boolean)
   {
     const rawTargets = nsRows.map(row => ((row.split('\t')[1]) || ''))
       .filter(Boolean).map(t => t.split('\\').join('/'))
-    const { foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, rawTargets)
+    const { foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, rawTargets, { specBase, runtimeRoot })
     if (foreign.length > 0) {
       const foreignSet = new Set(foreign.map(x => x.file))
       nsRows = nsRows.filter(row => !foreignSet.has((row.split('\t')[1] || '').split('\\').join('/')))
@@ -171,8 +194,8 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
     const [status, ...paths] = row.split('\t')
     const st = (status || '').trim().toUpperCase()
     if (!/^[DRC]/.test(st)) continue
-    // R/C 的旧路径等价删除（paths[0]）；D 的唯一路径
-    const target = (st.startsWith('D') ? paths[0] : paths[0]) || ''
+    // R/C 的旧路径等价删除（paths[0]）；D 的唯一路径——两者都取 paths[0]
+    const target = paths[0] || ''
     const posix = target.split('\\').join('/')
     if (!posix || posix.startsWith('.sillyspec/') || posix === 'meta.json' || basename(posix) === 'meta.json') continue
     const op = designOps.get(posix)
@@ -200,6 +223,7 @@ export function renderVerifyProbesReport(result) {
     for (const m of probe1.matches) L.push(`- ⚠️ \`${m.file}:${m.line}\` ${m.content}`)
   }
   if (probe1.globEntries.length > 0) L.push(`- ℹ️ glob 项未展开（agent 手动展开扫描）：${probe1.globEntries.join('、')}`)
+  if (probe1.worktreeHits > 0) L.push(`- ℹ️ ${probe1.worktreeHits} 个清单文件主仓不存在、已从 worktree 读取（apply 前新文件形态）`)
   if (probe1.skippedFiles.length > 0) L.push(`- ℹ️ 清单文件不存在（跳过）：${probe1.skippedFiles.join('、')}`)
   L.push('')
 
@@ -249,7 +273,9 @@ export function renderVerifyProbesReport(result) {
   L.push('')
 
   L.push('#### 探针 6：代码删除对账')
-  if (probe6.deletions.length === 0) {
+  if (probe6.unavailable) {
+    L.push('- ⚠️ git 不可用或非仓库，删除对账无法执行（不能视为「无删除」，agent 需人工核对）')
+  } else if (probe6.deletions.length === 0) {
     L.push('- ✅ git diff 无整文件删除（D/R/C）记录')
   } else {
     for (const d of probe6.deletions) {