sillyspec 3.27.12 → 3.28.0

package/src/progress/stage-machine.js

@@ -3,7 +3,7 @@
 // 调 pm.read/_write/_ensureDB/_getSpecDir/readGlobal/_runtimePath/listChanges/_appendAuditLog/
 // _renderBatchProgress（persistence-core + 其他组 delegate）。组内方法互调保持 this.X（同 class）。
 // completeStage 五层（resolve/validate/force/tx/history/print）整体搬迁，不拆流水线（保行为、最低风险）。
-import { mkdirSync, existsSync } from 'fs';
+import { mkdirSync, existsSync, readdirSync, readFileSync } from 'fs';
 import { join, resolve, basename } from 'path';
 import { writeAtomicSync } from '../fs-atomic.js';
 import { runValidators } from '../stage-contract.js';
@@ -205,6 +205,8 @@ export class StageMachine {
     console.log('');
 
     const changesRoot = join(this.pm._getSpecDir(cwd), 'changes');
+    // P2-2-①：未决同步冲突标红（overview 同源 _listPendingConflicts；该变更命中 → 🔴 行）
+    const pendingConflicts = this._listPendingConflicts(this.pm._getSpecDir(cwd));
     for (const cn of changes) {
       const data = this.pm.read(cwd, cn);
       const dirMissing = !existsSync(join(changesRoot, cn));
@@ -217,6 +219,13 @@ export class StageMachine {
       const lastActive = data.lastActive ? this._timeAgo(data.lastActive) : '未知';
 
       console.log(`  📂 ${cn}${dirMissing ? ' ⚠️ 目录缺失（残留记录，sillyspec doctor --cleanup-ghosts --confirm 可归档清理）' : ''}`);
+      // 变更级未决冲突标红（冲突可见性，2026-09-02 P2-2-①）：不再靠 agent 自己撞上才发现
+      const cnConflicts = pendingConflicts.filter(c => c.change === cn);
+      if (cnConflicts.length > 0) {
+        for (const cf of cnConflicts) {
+          console.log(`     🔴 未决同步冲突（${cf.type === 'progress' ? '进度' : 'spec 树'}${cf.created_at ? `，${cf.created_at}` : ''}）——请 sillyspec platform resolve 处理后再推进`);
+        }
+      }
       console.log(`     当前阶段: ${stageLabel}  最近活跃: ${lastActive}`);
       // 滞留/疑似完成信号（2026-08-30 用户反馈②）：多变更汇总逐行透出，无需逐个 --change 看详情
       const stall = this._stallSignal(cwd, data, cn);
@@ -229,10 +238,106 @@ export class StageMachine {
       console.log('');
     }
 
+    // P2-2-① 补丁（2026-09-02 晚）：全局未决冲突汇总段——逐变更行只显示「对上活跃变更」的冲突，
+    // 挂在 ghost/非活跃变更上的冲突会漏（huber 面板联调实证 11 条只显示 0）。此处按
+    // pending_conflicts 全量兜底显示，与 --json envelope 顶层字段同口径。
+    if (pendingConflicts.length > 0) {
+      console.log(`  🔴 未决同步冲突（${pendingConflicts.length} 条，含未匹配活跃变更的）:`);
+      for (const cf of pendingConflicts) {
+        console.log(`     - ${cf.change}${cf.type ? `（${cf.type === 'progress' ? '进度' : 'spec 树'}${cf.created_at ? `，${cf.created_at}` : ''}）` : ''}`);
+      }
+      console.log(`     → sillyspec platform resolve 逐条裁决（以本地/以平台为准），处理完冲突消失`);
+    }
+
     console.log(`  💡 查看详情：sillyspec progress show --change <name>`);
     console.log('');
   }
 
+  /**
+   * 只读全局总览数据（show 多变更汇总视图的机器版，2026-09-02 跨 agent 单一状态源）。
+   * 列出全部活跃变更：各自当前阶段 / 各阶段步骤计数 / ghost（目录缺失残留）/ stall 信号。
+   * 纯数据零 console——machine-interface.runStatusOverview 包装 envelope（`sillyspec progress show --json`）。
+   *
+   * 与 dump（§6.2 单变更视角）语义互补：dump 取最近活跃一个供 daemon 轮询「当前工作流状态」；
+   * overview 列出全部活跃，供 SillyHub 面板 / 跨 agent 看「谁在动哪些变更」（多活跃是变更隔离常态）。
+   * 字段 snake_case + last_active ISO 规范化（_dumpIso），与 dump 契约风格对齐（backend pydantic 消费）。
+   *
+   * @param {string} cwd - 项目根目录（show 同参语义，非 specDir）
+   * @returns {{project: string|null, active_changes: number, changes: Array<object>}}
+   */
+  overview(cwd) {
+    const changes = this.pm.listChanges(cwd);
+    const specDir = this.pm._getSpecDir(cwd);
+    const changesRoot = join(specDir, 'changes');
+    const list = [];
+    for (const cn of changes) {
+      const data = this.pm.read(cwd, cn);
+      const dirMissing = !existsSync(join(changesRoot, cn));
+      const entry = {
+        name: cn,
+        readable: !!data,
+        ghost: dirMissing,
+        current_stage: data?.currentStage || null,
+        stage_label: data ? (STAGE_LABELS[data.currentStage] || data.currentStage || null) : null,
+        last_active: this.pm._dumpIso(data?.lastActive) || null,
+      };
+      if (data) {
+        // 各阶段状态 + 步骤计数（面板进度条数据源）；总计另出顶层 steps 汇总
+        let stepsTotal = 0, stepsCompleted = 0;
+        const stages = {};
+        for (const st of VALID_STAGES) {
+          const sd = data.stages?.[st];
+          if (!sd) continue;
+          const steps = Array.isArray(sd.steps) ? sd.steps : [];
+          const completed = steps.filter(s => s.status === 'completed').length;
+          stages[st] = { status: sd.status || 'pending', steps_total: steps.length, steps_completed: completed };
+          stepsTotal += steps.length;
+          stepsCompleted += completed;
+        }
+        entry.stages = stages;
+        entry.steps = { total: stepsTotal, completed: stepsCompleted };
+        // 滞留/疑似完成信号（与 show 汇总同源 _stallSignal，纯数据不带渲染建议文案）
+        const stall = this._stallSignal(cwd, data, cn);
+        if (stall) {
+          entry.stall = { kind: stall.kind, days: this._daysSince(data.lastActive), text: stall.text };
+        }
+      }
+      list.push(entry);
+    }
+    const global = this.pm.readGlobal(cwd);
+    return {
+      project: global?.project || basename(cwd) || null,
+      active_changes: changes.length,
+      changes: list,
+      // P2-2-① 未决同步冲突透出（2026-09-02 跨 agent 工单）：fs-only 扫描 .runtime/ 下
+      // sync-conflict-*（进度冲突）与 spec-sync-conflict-*（spec 树冲突），前缀/字段与
+      // sync.js listConflictFiles 同源（此处不 new SyncManager——progress 层不引网络依赖，
+      // 损坏文件跳过不崩同 constraints）。有冲突时 show 汇总标红、--json envelope 升 warnings。
+      pending_conflicts: this._listPendingConflicts(specDir),
+    };
+  }
+
+  /** 未决同步冲突列表（overview 数据源；与 sync.js listConflictFiles 同前缀同字段，fs-only） */
+  _listPendingConflicts(specDir) {
+    const runtimeDir = join(specDir, '.runtime');
+    let files = [];
+    try { files = readdirSync(runtimeDir); } catch { return []; }
+    const conflicts = [];
+    for (const f of files) {
+      const isProgress = f.startsWith('sync-conflict-');
+      if (!(isProgress || f.startsWith('spec-sync-conflict-')) || !f.endsWith('.json')) continue;
+      let change = f.replace(/^spec-sync-conflict-|^sync-conflict-/, '').replace(/\.json$/, '');
+      let createdAt = null;
+      try {
+        const cf = JSON.parse(readFileSync(join(runtimeDir, f), 'utf8'));
+        change = cf.change || change;
+        createdAt = cf.created_at || null;
+      } catch { /* 损坏文件按文件名兜底，不崩 */ }
+      conflicts.push({ change, created_at: createdAt, type: isProgress ? 'progress' : 'spec-tree' });
+    }
+    return conflicts;
+  }
+
   _showChange(cwd, changeName) {
     const data = this.pm.read(cwd, changeName);
     if (!data) {

package/src/progress.js

@@ -966,6 +966,9 @@ export class ProgressManager {
 
   show(cwd, changeName = null) { return this._stageMachine.show(cwd, changeName); }
 
+  // 只读全局总览（show 多变更汇总的机器版，2026-09-02 单一状态源）：纯数据，machine-interface 包装
+  overview(cwd) { return this._stageMachine.overview(cwd); }
+
   _showChange(cwd, changeName) { return this._stageMachine._showChange(cwd, changeName); }
 
   _getNextSuggestion(data) { return this._stageMachine._getNextSuggestion(data); }

package/src/run/command.js

@@ -1310,7 +1310,7 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
       }
     }
     const doneAnswer = getFlagValue('--answer')
-    return await completeStep(pm, progress, stageName, cwd, outputText, inputText, { confirm: isConfirm, changeName: effectiveChange, nonInteractive: isNonInteractive && !isInteractive, platformOpts, doneAnswer, isForceBaseline, isAllowNew, isAllowDelete })
+    return await completeStep(pm, progress, stageName, cwd, outputText, inputText, { confirm: isConfirm, changeName: effectiveChange, nonInteractive: isNonInteractive && !isInteractive, platformOpts, doneAnswer, isForceBaseline, isAllowNew, isAllowDelete, quickFiles })
   }
 
   // 默认：输出当前步骤

package/src/run/complete-handlers.js

@@ -26,11 +26,11 @@ import { basename, join, resolve, relative, isAbsolute } from 'node:path'
 import { existsSync, readdirSync, readFileSync, writeFileSync, mkdirSync, unlinkSync, rmSync } from 'node:fs'
 import { renameSyncRetry, writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
-import { resolveChangeDir, resolveQuickSessionsDir, safeGit, auditQuickCompletion, triggerSync, isQuickMetadata, resolveRuntimeRoot, collectOtherQuickSessionDeclarations } from './shared.js'
+import { resolveChangeDir, resolveQuickSessionsDir, safeGit, auditQuickCompletion, triggerSync, isQuickMetadata, resolveRuntimeRoot, collectOtherQuickSessionDeclarations, mergeQuickBoundaryFiles } from './shared.js'
 import { detectConcurrentChanges, formatConcurrentWarning, resolveConcurrentAnchor } from './concurrent-detect.js'
 import { stageRegistry } from '../stages/index.js'
 import { SCAN_STATUS, POINTER_STATUS } from '../constants.js'
-import { printQuickAuditReview } from './quick-audit.js'
+import { printQuickAuditReview, runQuickTestLintGate, printQuickTestLintGate } from './quick-audit.js'
 import { validateQuickResult, allocateQuicklogEntry, findQuicklogEntry, completeQuicklogEntry, extractTitleFromResult } from '../quicklog.js'
 import { getRule } from '../stage-contract-spec.js'
 import { archiveDestDirName } from '../stage-contract.js'
@@ -832,7 +832,7 @@ export async function handleWorkflowPostCheck({ stageName, steps, currentIdx, cw
  * isForceBaseline/isAllowNew/platformOpts。辅助函数直接 import（safeGit/auditQuickCompletion ← shared，
  * printQuickAuditReview ← quick-audit，4 个 quicklog fns ← quicklog，unlinkSync/rmSync ← fs 静态）。
  */
-export async function handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm }) {
+export async function handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm, quickFiles = [] }) {
   // quick 收尾：强校验 QUICKLOG 条目 + 翻状态 + 勾 tasks.md（CLI 接管）
   if (stageName === 'quick') {
     // §4.6 从 session guard.json 读 guard（不依赖 progress.quickGuard）。
@@ -860,6 +860,18 @@ export async function handleQuickStageCompletion({ stageName, steps, currentIdx,
     // review.changedFiles；brownfield 无 guard 时保持 null → 文件行不回填（降级，不报错）。
     let review = null
 
+    // --done --files 一步并入边界（坑 quick-audit-warning-no-guidance 2026-09-03，与
+    // ql-20260713-002-7628 同族——flag 在 --done 被解析却不生效）：此前追加声明只能先
+    // 「恢复会话带 --files」再 --done 两步走。并入语义与 stage.js 恢复路径同款（追加不
+    // 替换、去重保序 + allowedFilesHash 记录），持久化回 guard.json——本轮审计与他者会话
+    // 声明豁免同源消费。guard 缺失（brownfield）不补建，跳过并入。
+    if (guard && Array.isArray(quickFiles) && quickFiles.filter(Boolean).length > 0) {
+      const { added } = mergeQuickBoundaryFiles(guard, quickFiles, cwd)
+      if (added.length > 0) {
+        try { writeAtomicSync(sessionGuardFile, JSON.stringify(guard, null, 2)) } catch { /* 持久化失败降级：本轮审计仍用内存合并值 */ }
+        console.log(`🛡️ quick 边界已追加: ${added.length} 个文件（累计 ${guard.allowedFiles.length} 个）: ${added.join(', ')}`)
+      }
+    }
     // 审计：仅在有 guard 时跑（brownfield 无 guard 跳过，兼容 D-003 brownfield 行为）。
     // task-02：mergedGuard 提升到 if 外声明，供下方并发预检钩子复用与 auditQuickCompletion
     // 同源的 guard 字段（baselineFiles/linkedChanges）。brownfield 无 guard 时保持 null，
@@ -892,6 +904,22 @@ export async function handleQuickStageCompletion({ stageName, steps, currentIdx,
         if (outputText) steps[currentIdx].output = null
         process.exit(1)
       }
+      // P0-2（2026-09-02 跨 agent 工单）：触及 src/test 的 quick --done 内置 test+lint
+      // 实测门禁——把 CLAUDE.md 规则 8 从 agent 自律下沉为 CLI 卡点（fail → step 回
+      // pending + exit 1，重跑不丢进度；纯 doc/配置与未配置命令自动跳过不阻断）。
+      const gate = await runQuickTestLintGate({
+        cwd,
+        specBase,
+        changedFiles: review.changedFiles,
+        changeName,
+      })
+      printQuickTestLintGate(gate)
+      if (gate.action === 'fail') {
+        steps[currentIdx].status = 'pending'
+        steps[currentIdx].completedAt = null
+        if (outputText) steps[currentIdx].output = null
+        process.exit(1)
+      }
       progress.lastQuickReview = review
     }
 

package/src/run/complete.js

@@ -79,7 +79,7 @@ export function resolveWaitingStepWithAnswer(steps, doneAnswer, nowStr) {
 }
 
 export async function completeStep(pm, progress, stageName, cwd, outputText, inputText = null, options = {}) {
-  const { printNext = true, confirm = false, changeName, platformOpts = {}, nonInteractive = false, isForceBaseline = false, isAllowNew = false, isAllowDelete = false } = options
+  const { printNext = true, confirm = false, changeName, platformOpts = {}, nonInteractive = false, isForceBaseline = false, isAllowNew = false, isAllowDelete = false, quickFiles = [] } = options
   // specRoot(平台) > specDriftAnchor(worktree 漂移锚定主仓) > cwd/.sillyspec(本地)——
   // 与 prompt.js resolvePromptSpecBase 同序：--done 收尾的 user-inputs.md/超长 artifact 落盘
   // 必须与 prompt 渲染同一根，否则写进 worktree 副本目录、随 cleanup 整目录删除。
@@ -401,7 +401,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       return { stageCompleted: false, currentIdx, nextPendingIdx: -1 }
     }
     // quick 收尾（W6 Step6b 抽至 complete-handlers.js handleQuickStageCompletion）
-    await handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm })
+    await handleQuickStageCompletion({ stageName, steps, currentIdx, cwd, progress, changeName, specBase, outputText, confirm, isForceBaseline, isAllowNew, isAllowDelete, platformOpts, pm, quickFiles })
 
     // ── reopen --done 回填（坑 brainstorm-reopen-step-state-desync）──
     // nextPendingIdx === -1 且无 waiting，说明要进阶段完成分支。此时若存在 stale 步骤
@@ -1081,7 +1081,15 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
   const currentStep = stageData.steps[currentIdx]
   const isRepeatableWait = currentStepDef.repeatableWait === true || currentStep.repeatableWait === true
   const requiresWait = currentStepDef.requiresWait === true || currentStep.requiresWait === true
-  const shouldReturnToCurrentStep = isRepeatableWait || requiresWait
+  // conditionalWait 并入「回当前步」（坑 continue-conditionalwait-premature-complete，2026-09-01
+  // 实证）：waitStep 的提示对 requiresWait/conditionalWait 两类同文——「--continue --answer 后本步
+  // 回到待执行，完成动作后需再 --done 收尾」，但此处谓词漏了 conditionalWait。审查计划
+  // （conditionalWait、无 repeatableWait）被 --answer 直接收尾 completed，agent 手里已备好的
+  // --done（本步真实产出摘要）随即落到下一步上：multi-agent-platform 2026-09-01-session-group-chat
+  // plan 阶段 --continue 后 2 秒 --done 把「生成 TaskCard」假完成（08-31 两变更同形态 ×2），
+  // 靠 --reopen --from-step 4 重做浪费一轮。对齐提示语义：conditionalWait 同样回 pending。
+  const isConditionalWait = currentStepDef.conditionalWait === true || currentStep.conditionalWait === true
+  const shouldReturnToCurrentStep = isRepeatableWait || requiresWait || isConditionalWait
 
   const now = new Date().toLocaleString('zh-CN', { hour12: false })
   const prevOutput = currentStep.output || ''
@@ -1136,7 +1144,7 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
     console.warn('⚠️ user-inputs.md 追加失败（不阻断）:', e.message)
   }
 
-  // shouldReturnToCurrentStep: 回到当前步骤继续执行（repeatable=多轮探索，requiresWait=确认后执行动作）
+  // shouldReturnToCurrentStep: 回到当前步骤继续执行（repeatable=多轮探索，requiresWait/conditionalWait=确认后执行动作）
   if (shouldReturnToCurrentStep) {
     console.log(`\n🔁 Step ${currentIdx + 1}/${stageData.steps.length} 已收到用户输入，回到当前步骤继续执行。`)
     if (isRepeatableWait) {

package/src/run/quick-audit.js

@@ -48,6 +48,23 @@ export function printQuickAuditReview(review) {
     for (const r of review.reasons) {
       console.warn(`   - ${r}`)
     }
+    // WARNING 也给解法（坑 quick-audit-warning-no-guidance，2026-09-03 用户实证：--files 声明后
+    // 追加测试文件 →「超出 allowedFiles」只列问题不给出路，非阻断但体验差——「别只警告」）。
+    // 指引按 reason 类型给；其他 advisory（文档欠账/引用失效等）已有各自的处置行。
+    const outOfDecl = review.reasons.filter((r) => r.startsWith('超出 allowedFiles'))
+    const undeclaredNew = review.reasons.filter((r) => r.startsWith('新增文件'))
+    if (outOfDecl.length > 0) {
+      const sample = outOfDecl.map((r) => r.split(': ')[1]).filter(Boolean)[0] || '<追加文件>'
+      console.warn(`   ➜ 出路：文件属本会话 → 带 --files（全量逗号分隔）重跑 --done 即并入边界，一条命令消掉本警告：`)
+      console.warn(`     sillyspec run quick --done --files <已声明文件>,${sample} --change <会话ID>`)
+      console.warn(`     （--files 只声明归属口径；确认收尾不想再改也可直接忽略本警告——非阻断。）`)
+    }
+    if (undeclaredNew.length > 0) {
+      const sampleNew = undeclaredNew.map((r) => r.split(': ')[1]).filter(Boolean)[0] || '<新增文件>'
+      console.warn(`   ➜ 出路：新增文件确认收进本会话 → --done 时 --files 声明归属 + --allow-new 放行新增：`)
+      console.warn(`     sillyspec run quick --done --allow-new --files <原声明文件>,${sampleNew} --change <会话ID>`)
+      console.warn(`     （两套开关：--files 管归属口径，--allow-new 管新增放行；不想要该文件可删除后再 --done。）`)
+    }
   } else {
     // 区分「本轮新增」（changedFiles，已扣前序 baseline）vs「累计暂存」（stagedTotal，全部未提交）。
     // 仅当存在前序 baseline 残留（累计 > 本轮新增）时才追加括注，避免普通场景冗余。
@@ -184,3 +201,84 @@ export async function resolveQuickLinkedChanges({ pm, cwd, specDir, quickFiles,
   const selected = await checkbox({ message: '关联变更（空格切换，回车确认）', choices })
   return selected
 }
+
+// ============ quick --done test+lint 硬门禁（2026-09-02 跨 agent 工单 P0-2）============
+
+/**
+ * quick --done 内置 test+lint 实测门禁：把 CLAUDE.md 规则 8「触及 src/test 的改动先
+ * npm test + npm run lint」从 agent 自律下沉为 CLI 卡点。
+ *
+ * 语义（对齐规则 8 + verify-postcheck 既有降级哲学）：
+ *   - changedFiles 未触及 src/ 或 test/（纯 doc/配置改动）→ skip（不跑不阻断）
+ *   - 触及 → 亲自执行 local.yaml 的 commands.test / commands.lint（复用 verify 阶段
+ *     对账引擎 runVerifyTestCheck/runVerifyLintCheck，含 test_strategy/known_failures/
+ *     超时语义）；未配置命令 → 内部 skipped，不阻断（兼容无测试项目）
+ *   - 任一实测 failed → fail（调用方阻断 --done，step 回 pending）
+ *   - 逃生门：SILLYSPEC_QUICK_TEST_GATE=skip 显式跳过（CI/特殊场景，审计留痕）
+ *
+ * verify-postcheck 顶层 import 链较重（contract-matrix 等），且本函数仅 quick --done
+ * 收尾路径调用——用动态 import，不进 run 命令通用启动路径（与上方 @inquirer/prompts 同款纪律）。
+ *
+ * @param {object} opts
+ * @param {string} opts.cwd - 仓库根（命令执行 cwd）
+ * @param {string} opts.specBase - .sillyspec 目录（local.yaml 读取源，信任边界见 runVerifyTestCheck SEC-02 注释）
+ * @param {string[]} [opts.changedFiles] - 审计口径的本轮变更文件（仓库根相对 POSIX 路径；空/null → skip）
+ * @param {string} [opts.changeName] - quick 会话名（evidence-auto 策略解析用）
+ * @returns {Promise<{action:'pass'|'fail'|'skip', failed:string[], reason:string, test:object|null, lint:object|null}>}
+ */
+export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], changeName = null }) {
+  if (process.env.SILLYSPEC_QUICK_TEST_GATE === 'skip') {
+    return { action: 'skip', failed: [], reason: 'SILLYSPEC_QUICK_TEST_GATE=skip 显式跳过（审计留痕）', test: null, lint: null }
+  }
+  const files = Array.isArray(changedFiles) ? changedFiles : []
+  const codeFiles = files.filter(f => typeof f === 'string' && (f.startsWith('src/') || f.startsWith('test/')))
+  if (files.length === 0) {
+    return { action: 'skip', failed: [], reason: '无变更文件清单（brownfield 无 guard 或空审计），跳过', test: null, lint: null }
+  }
+  if (codeFiles.length === 0) {
+    return { action: 'skip', failed: [], reason: `纯 doc/配置改动（${files.length} 个文件均未触及 src/test，规则 8 语义跳过 test+lint）`, test: null, lint: null }
+  }
+
+  const { runVerifyTestCheck, runVerifyLintCheck } = await import('../verify-postcheck.js')
+  const test = runVerifyTestCheck({ cwd, specBase, changeName })
+  const lint = runVerifyLintCheck({ cwd, specBase })
+  const failed = []
+  if (test.status === 'failed') failed.push('test')
+  if (lint.status === 'failed') failed.push('lint')
+  return {
+    action: failed.length > 0 ? 'fail' : 'pass',
+    failed,
+    reason: failed.length > 0
+      ? `实测失败：${failed.join(' + ')}（命令与输出尾部见上；修复后重跑 --done 不丢进度）`
+      : `触及 src/test 共 ${codeFiles.length} 个文件，test+lint 实测通过（或未配置命令自动跳过）`,
+    test,
+    lint,
+  }
+}
+
+/**
+ * 打印 quick test+lint 门禁结论（fail 时附输出尾部，供 agent 直接定位修复）。
+ */
+export function printQuickTestLintGate(gate) {
+  if (!gate) return
+  if (gate.action === 'skip') {
+    console.log(`\n🧪 quick test+lint 门禁 — SKIP：${gate.reason}`)
+    return
+  }
+  for (const [label, r] of [['test', gate.test], ['lint', gate.lint]]) {
+    if (!r) continue
+    const icon = r.status === 'failed' ? '❌' : r.status === 'passed' ? '✅' : '⏭️'
+    const dur = typeof r.durationMs === 'number' ? ` (${(r.durationMs / 1000).toFixed(1)}s)` : ''
+    console.log(`${icon} ${label}: ${r.status}${r.command ? ` ← ${r.command}${dur}` : ''}${r.status === 'skipped' && r.reason ? ` — ${r.reason}` : ''}`)
+  }
+  if (gate.action === 'fail') {
+    console.error(`\n🚫 quick test+lint 门禁 — BLOCKED：${gate.reason}`)
+    for (const key of gate.failed) {
+      const r = gate[key]
+      if (r && r.outputTail) console.error(`   ── ${key} 输出尾部 ──\n${r.outputTail}`)
+    }
+    console.error(`   quick 已停止：修复后重跑 --done（进度不丢）；确认要跳过实测请设 SILLYSPEC_QUICK_TEST_GATE=skip（审计留痕）。`)
+  } else {
+    console.log(`\n✅ quick test+lint 门禁 — PASS（${gate.reason}）`)
+  }
+}

package/src/run/shared.js

@@ -378,6 +378,60 @@ export function collectOtherQuickSessionDeclarations(platformOpts, localSpecBase
   return out
 }
 
+/**
+ * quick 边界 --files 追加并入（stage.js 恢复路径与 --done 收尾共用，坑
+ * quick-audit-warning-no-guidance 2026-09-03）：追加不替换、去重保序；同时点录
+ * allowedFilesHash 供同文件并发检测（文件不存在跳过——预声明将新建文件与启动时同语义）。
+ * 就地修改 guard，返回 added 清单（空数组 = 无新增，调用方免打印免持久化）。
+ */
+export function mergeQuickBoundaryFiles(guard, quickFiles, cwd) {
+  const known = new Set(guard.allowedFiles || [])
+  const added = (Array.isArray(quickFiles) ? quickFiles : []).filter((f) => f && !known.has(f))
+  if (added.length === 0) return { guard, added: [] }
+  guard.allowedFiles = [...(guard.allowedFiles || []), ...added]
+  guard.allowedFilesHash = { ...(guard.allowedFilesHash || {}) }
+  for (const f of added) {
+    try { guard.allowedFilesHash[f] = createHash('sha256').update(readFileSync(join(cwd, f))).digest('hex') }
+    catch { /* 预声明将新建的文件，与启动时 allowedFilesHash 同语义：不存在跳过 */ }
+  }
+  return { guard, added }
+}
+
+/**
+ * 空壳 quick 会话探测（坑 quick-duplicate-empty-shell，2026-09-03 用户实证：一次输出被吞
+ * → agent 误判失败重跑 → 重复空壳会话，此前只能手工 reset + 删骨架）。判定：会话目录
+ * guard 存在、7 天内启动（超龄按僵尸跳过，与 collectOtherQuickSessionDeclarations 同口径）、
+ * 进度库中该会话有步骤记录但零步骤完成（全 pending——刚起步即中断的形态）。
+ * fail-open：进度读不到/无步骤记录的会话不列（宁可漏报不误报，并行真会话不误伤）。
+ */
+export function detectEmptyShellQuickSessions(platformOpts, localSpecBase, currentSessionId, pm, cwd, nowMs = Date.now()) {
+  const out = []
+  try {
+    const sessionsDir = resolveQuickSessionsDir(platformOpts, localSpecBase)
+    let sessionDirs = []
+    try {
+      sessionDirs = readdirSync(sessionsDir, { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name)
+    } catch { return out }
+    for (const sessionName of sessionDirs) {
+      if (sessionName === currentSessionId) continue
+      let guard = null
+      try { guard = JSON.parse(readFileSync(join(sessionsDir, sessionName, 'guard.json'), 'utf8')) } catch { continue }
+      if (!guard || !guard.startedAt) continue
+      const startedAtMs = Date.parse(guard.startedAt)
+      if (!Number.isFinite(startedAtMs) || nowMs - startedAtMs > FOREIGN_SESSION_STALE_MS) continue
+      try {
+        const p = pm.read(cwd, sessionName)
+        if (!p || !p.stages) continue
+        const allSteps = Object.values(p.stages).flatMap((s) => (Array.isArray(s.steps) ? s.steps : []))
+        if (allSteps.length === 0) continue // 无步骤记录：无法判定空壳，不列
+        if (allSteps.some((s) => s.completedAt)) continue // 有完成步骤 = 真实在用
+        out.push({ sessionId: guard.sessionId || sessionName, startedAt: guard.startedAt })
+      } catch { continue }
+    }
+  } catch { /* fail-open：探测失败不打扰 quick 启动 */ }
+  return out
+}
+
 /**
  * 平台指针三写（单一数据源，runCommand scan 与 cmdInit 平台模式共用）。
  *

package/src/run/stage.js

@@ -19,7 +19,7 @@
 import { join, dirname } from 'node:path'
 import { existsSync, readdirSync, readFileSync, mkdirSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
-import { resolveSpecDir, resolveChangeDir, resolveRuntimeRoot, resolveQuickSessionsDir, triggerSync, safeGit, parsePorcelainPath, formatWaitOptions, checkApproval, getStageSteps, warnApprovalUnknown, predictProtectedQuickFiles } from './shared.js'
+import { resolveSpecDir, resolveChangeDir, resolveRuntimeRoot, resolveQuickSessionsDir, triggerSync, safeGit, parsePorcelainPath, formatWaitOptions, checkApproval, getStageSteps, warnApprovalUnknown, predictProtectedQuickFiles, mergeQuickBoundaryFiles, detectEmptyShellQuickSessions } from './shared.js'
 import { computeScanProfile, applyScanProfileSteps, executeScanPreflight, executeScanPostcheck } from './scan-profile.js'
 import { outputStep, collectStageWaitHistory } from './prompt.js'
 import { allocateQuicklogEntry, deriveTitleFromLinkedChange, sanitizeDesc } from '../quicklog.js'
@@ -350,12 +350,12 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
       progress.quickGuard = existingGuard
       // 中途追加边界：会话中途发现要改启动声明外的文件，此前 resume 会把 --files 静默丢弃、
       // 边界冻结在启动时刻，只能靠事后归属/审计行兜底。恢复时带 --files 即并入 allowedFiles
-      // （追加不替换、去重保序），同时点录 allowedFilesHash 供同文件并发检测（文件不存在跳过，
-      // 与启动同语义）。--done 审计直读 guard.json（complete-handlers §4.6），追加即被归属消费。
+      // （追加不替换、去重保序，mergeQuickBoundaryFiles 与 --done 收尾路径同源），同时点录
+      // allowedFilesHash 供同文件并发检测（文件不存在跳过，与启动同语义）。--done 审计直读
+      // guard.json（complete-handlers §4.6），追加即被归属消费。
       const resumeFiles = Array.isArray(quickOpts?.quickFiles) ? quickOpts.quickFiles.filter(Boolean) : []
       if (resumeFiles.length > 0) {
-        const known = new Set(progress.quickGuard.allowedFiles || [])
-        const added = resumeFiles.filter(f => !known.has(f))
+        const { added } = mergeQuickBoundaryFiles(progress.quickGuard, resumeFiles, cwd)
         if (added.length > 0) {
           // 受保护文件预告（坑 quick-protected-late-hint）：追加声明若含审计将拦的文件，
           // 追加时即点破（省一轮跑到 --done 才发现）。--files 只声明归属，不解锁拦截。
@@ -364,12 +364,6 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
             forceBaseline: quickOpts?.isForceBaseline || false,
           })
           if (protectedPreview.length > 0) warnProtectedQuickFiles(protectedPreview)
-          progress.quickGuard.allowedFiles = [...(progress.quickGuard.allowedFiles || []), ...added]
-          progress.quickGuard.allowedFilesHash = { ...(progress.quickGuard.allowedFilesHash || {}) }
-          for (const f of added) {
-            try { progress.quickGuard.allowedFilesHash[f] = createHash('sha256').update(readFileSync(join(cwd, f))).digest('hex') }
-            catch { /* 预声明将新建的文件，与启动时 allowedFilesHash 同语义：不存在跳过 */ }
-          }
           writeAtomicSync(guardFile, JSON.stringify(progress.quickGuard, null, 2))
           console.log(`🛡️ quick 边界已追加: ${added.length} 个文件（累计 ${progress.quickGuard.allowedFiles.length} 个）: ${added.join(', ')}`)
         }
@@ -451,6 +445,19 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
         if (allowDelete) parts.push('允许删除文件')
         console.log(`🛡️ quick 变更边界已记录: ${parts.join(', ')}`)
         console.log(`📝 QUICKLOG 条目已创建: ${qlId}`)
+        // 空壳会话探测（坑 quick-duplicate-empty-shell，2026-09-03 用户实证：一次输出被吞 →
+        // agent 误判失败重跑 → 重复空壳会话，此前只能手工 reset + 删骨架）。新会话起步时点名
+        // 他者「已启动但零步骤完成」的会话 + 给官方清理口 --cancel（QUICKLOG 翻已取消 + 挂载行
+        // 移除）。advisory 不阻断：真在用的并行会话不受影响（有完成步骤即不列）。
+        try {
+          const shells = detectEmptyShellQuickSessions(platformOpts, specBase, changeName, pm, cwd)
+          if (shells.length > 0) {
+            console.warn('')
+            console.warn(`🧹 检测到 ${shells.length} 个疑似空壳 quick 会话（已启动但零步骤完成——常见于输出中断后误重启的残留）：`)
+            for (const s of shells) console.warn(`   - ${s.sessionId}（启动于 ${s.startedAt}）`)
+            console.warn(`   清理：sillyspec run quick --cancel --change <会话ID>；若确在用请忽略本提示。`)
+          }
+        } catch { /* fail-open：探测失败不打扰 quick 启动 */ }
         // 缺 --input 且关联变更无可提取标题 → 条目落「(quick 任务)」占位标题，平台「快速修复」列表
         // 默认隐藏进行中占位（task-06 口径），长会话全程不可见、语义标题要到最终 --done 才回填。
         // 此刻会话刚起步零沉没成本，提示放弃重启带 --input 是最便宜的自愈点。