sillyspec 3.25.8 → 3.25.11

package/src/stages/scan.js

@@ -38,6 +38,9 @@ export const definition = {
     },
     {
       name: '构建扫描项目列表',
+      conditionalWait: true,
+      waitReason: '等待用户确认扫描项目列表',
+      waitOptions: ['全部重新扫描', '只补缺失', '跳过'],
       prompt: `确定本次要扫描的项目列表。
 
 ### 操作
@@ -139,7 +142,7 @@ export const definition = {
    对每个项目分别执行（将 \`<project>\` 替换为实际项目名）
 4. 如果检查报告有失败项，按报告中的角色和文件重试失败的部分
 
-### 覆盖保护
+### 覆盖保护
 - **scan_depth: quick 的浅层文档允许覆盖升级**：读取旧 frontmatter 时，若旧文档含 scan_depth: quick（由 --quick 快速接入生成的浅层版本），即使其 source_commit 与当前 HEAD 一致、updated_at 未变，也允许覆盖重写——深度扫描的目的就是把它升级为完整文档。
 - 生成每份 scan 文档时，frontmatter 必须包含：
   \`\`\`yaml
@@ -330,6 +333,9 @@ _module-map.yaml 生成结果（已存在/已生成/模块列表）`,
     {
       name: '生成模块卡片文档',
       perProject: true,
+      conditionalWait: true,
+      waitReason: '检测到已有模块文档覆盖风险',
+      waitOptions: ['只生成缺失', '全部重新生成', '跳过'],
       prompt: `根据当前项目的 \`_module-map.yaml\` 生成模块卡片文档。
 
 ### ⚠️ 重要：模块卡片只负责人类语义说明
@@ -350,7 +356,7 @@ _module-map.yaml 生成结果（已存在/已生成/模块列表）`,
 ### 生成方法（子代理并行，只针对用户选中的模块）
 **你必须为每个模块启动独立子代理执行，不要自己写文档。**
 
-每个子代理的 prompt（**主 agent 启动前必须拼入**：
+每个子代理的 prompt（**主 agent 启动前必须拼入**）：
 - 模块名和路径（从 _module-map.yaml 读取）
 - 环境探测结果摘要（构建工具、语言框架）
 - scan 文档关键信息摘要（ARCHITECTURE.md 的技术栈、CONVENTIONS.md 的代码风格要点，如已生成）
@@ -526,7 +532,7 @@ INDEX.md 维护索引，格式（每行：关键词1|关键词2 → [条目名](
 3. 自检门控：ARCHITECTURE（技术栈+Schema摘要）、CONVENTIONS（隐形规则+代码风格）、STRUCTURE（目录结构）、INTEGRATIONS（外部依赖）、TESTING（测试现状）、CONCERNS（技术债务）、PROJECT（项目概览）
 4. 检查 flows/ 和 glossary.md 是否已生成（如有）
 5. 清理：\`rm -f {DOCS_ROOT}/scan/_env-detect.md\`
-6. 如果非平台模式：\`git add .sillyspec/\` — 暂存扫描结果（不要 commit，由用户通过统一提交工具处理）。如果平台模式：跳过 git add（specRoot 不在 sourceRoot 的 git repo 内）。
+6. 如果非平台模式：\`git add {DOCS_ROOT}/ {KNOWLEDGE_ROOT}/\` — 暂存本次扫描产物（scan 文档 / 模块文档 / flows / glossary / knowledge；勿用 .sillyspec/ 整目录——会裹挟 changes/ 下其他活跃变更；不要 commit，由用户通过统一提交工具处理）。如果平台模式：跳过 git add（specRoot 不在 sourceRoot 的 git repo 内）。
 
 ### ⛔ 路径合规检查（平台模式下必须执行）
 7. 确认所有文档都写入 \`{DOCS_ROOT}/\`（spec-root 下），**而非源码目录下的 .sillyspec/**

package/src/stages/status.js

@@ -28,7 +28,6 @@ export const definition = {
 1. \`ls .sillyspec/changes/ 2>/dev/null | grep -v archive\`
 2. 对每个进行中的变更：检查 proposal.md ✅/❌、design.md ✅/❌、requirements.md ✅/❌、tasks.md — X/Y 完成
 3. \`ls .sillyspec/changes/archive/ 2>/dev/null | wc -l\`
-4. \`cat .sillyspec/HANDOFF.json 2>/dev/null\`
 
 ### 输出
 变更状态列表`,

package/src/stages/verify.js

@@ -31,6 +31,9 @@ export const definition = {
 - 运行测试命令（不修改源码）
 - 运行 lint 命令（不自动修复）
 
+### 长测试/构建执行铁律
+- 长测试/构建/lint 命令必须**前台同步执行**，禁止 run_in_background:true / & / nohup / disown——后台任务易被会话生命周期回收导致中断无果
+
 如果发现文件缺失或异常，**只报告问题，不尝试修复**。
 `,
 
@@ -72,16 +75,18 @@ export const definition = {
 ### Execute Evidence 传递检查
 7. 检查 verify-required-evidence.json 是否存在（由 execute 阶段 Task Review Gate 写入）
    - 路径：变更目录下的 verify-required-evidence.json
-   - 如果存在 → 读取其中的 requiredEvidence 列表，逐条验证是否已满足
+   - 文件 schema：\`{ items: [{ task, verdict, evidence: string[] }] }\`——顶层是 \`items\`，每项的 \`evidence\` 是字符串数组（**不是** \`requiredEvidence\` 键；旧 prompt 写 requiredEvidence 是字段名错配，照读必落空）
+   - 如果存在 → 逐项读取 \`items\`，对每个 cannot_verify 任务逐条核对其 \`evidence\` 数组是否已满足
    - 每条 evidence 必须在 verify-result.md 中给出明确结论（satisfied / missing / partial）
    - 如果有任何 evidence 为 missing → verify 结论不能为 PASS
    - 如果文件不存在 → 表示 execute 阶段无 cannot_verify 任务，正常继续
+   - CLI 会 advisory 复核每个 cannot_verify 任务是否在 verify-result.md 体现（未体现仅 warn 不阻断归档；evidence 是否真满足由你诚实判定，CLI 不替你语义判定）
 
 ### 模块文档加载
-7. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
-8. 根据 design.md 的文件变更清单匹配 _module-map.yaml 中的模块
-9. 读取匹配到的 \`.sillyspec/docs/<project>/modules/<module>.md\`
-10. **检查模块索引可信度**：如果相关模块的 needs_review 为 true，提示"该模块索引可能不可信，需要回看模块卡片或源码"
+8. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
+9. 根据 design.md 的文件变更清单匹配 _module-map.yaml 中的模块
+10. 读取匹配到的 \`.sillyspec/docs/<project>/modules/<module>.md\`
+11. **检查模块索引可信度**：如果相关模块的 needs_review 为 true，提示"该模块索引可能不可信，需要回看模块卡片或源码"
 
 ### 输出
 文件加载确认清单（含 decisions.md 当前版本/未决项状态、模块文档 + 索引可信度）`,
@@ -130,7 +135,7 @@ export const definition = {
 4. API 设计是否符合
 5. **Reverse Sync 检查**：如果发现实现合理但 design.md 未覆盖，先更新 design.md 补充遗漏
 6. **模块文档一致性检查**：如果在"加载规范并锚定"步骤中加载了模块文档，检查实现是否符合模块文档描述的当前设计（特别关注接口签名、数据流、依赖关系）。不符合时标记 ⚠️（不阻断，模块文档可能未及时更新）
-7. **决策链路检查**：如果存在 decisions.md，输出 D-xxx@vN → FR-xxx → task-xx → evidence 的追踪矩阵；缺失项必须列为风险
+7. **决策链路检查**：如果存在 decisions.md，输出 D-xxx@vN → FR-xxx → task-xx → evidence 的追踪矩阵；缺失项必须列为风险（CLI 只校验每个 D-xxx@vN ID 字面出现在 verify-result.md，warning 不阻断；矩阵的 D→FR→task→evidence 映射完整性供人类追溯，CLI 不校验——是否真覆盖由你诚实判定）
 
 ### 输出
 探针报告 + 设计一致性检查结果 + 模块文档一致性检查结果 + 决策追踪矩阵（如有）`,
@@ -212,7 +217,7 @@ PASS / PASS WITH NOTES / FAIL
 - 测试覆盖：...
 - 决策追踪覆盖：...
 - API 契约对账：...
-- 代码删除对账：声明修改/新增却被整文件删除 = 高风险；清单未列出的删除 = 未声明（CLI 会用 git diff --name-status HEAD 独立复核）
+- 代码删除对账：声明修改/新增却被整文件删除 = 高风险；清单未列出的删除 = 未声明（CLI 会用 git diff --name-status HEAD advisory 复核，仅 warn 不阻断——是否 FAIL blocker 由你诚实判定）
 
 ## 决策追踪矩阵（如存在 decisions.md）
 | 决策 ID | FR | Task | Evidence | 状态 |

package/src/sync.js

@@ -221,7 +221,7 @@ export class SyncManager {
     try {
       const { ProgressManager } = await import('./progress.js');
       const pm = new ProgressManager({ specDir: safePlatformSpecDir(this.cwd) });
-      progressData = await pm.read(this.cwd, changeName);
+      progressData = pm.read(this.cwd, changeName);
     } catch (err) {
       console.warn(`[sync] 读取 progress 失败 (${changeName}): ${err.message}`);
       return { synced: 0, errors: [`读取 progress 失败: ${err.message}`] };
@@ -246,7 +246,7 @@ export class SyncManager {
     try {
       const { ProgressManager } = await import('./progress.js');
       const pm = new ProgressManager({ specDir: safePlatformSpecDir(this.cwd) });
-      await pm._updatePlatformLastSync(this.cwd, changeName);
+      pm._updatePlatformLastSync(this.cwd, changeName);
     } catch (err) {
       console.warn(`[sync] 更新 platform_last_sync 失败: ${err.message}`);
     }
@@ -347,7 +347,7 @@ export class SyncManager {
     try {
       const { ProgressManager } = await import('./progress.js');
       const pm = new ProgressManager({ specDir: safePlatformSpecDir(this.cwd) });
-      await pm._updateApprovalStatus(this.cwd, changeName, result.status, result.reason);
+      pm._updateApprovalStatus(this.cwd, changeName, result.status, result.reason);
     } catch (err) {
       console.warn(`[sync] 更新本地审批状态失败: ${err.message}`);
     }
@@ -477,7 +477,7 @@ async function _submitApproval(cwd, changeName, decision, reason = null) {
   try {
     const { ProgressManager } = await import('./progress.js');
     const pm = new ProgressManager({ specDir: safePlatformSpecDir(cwd) });
-    await pm._updateApprovalStatus(cwd, changeName, decision, reason);
+    pm._updateApprovalStatus(cwd, changeName, decision, reason);
   } catch (err) {
     console.warn(`[sync] 更新本地审批状态失败 (${changeName}): ${err.message}`);
   }

package/src/task-review.js

@@ -15,6 +15,7 @@ import { pathMatches } from './change-list.js'
 import { parseAllowedPaths } from './stages/plan-postcheck.js'
 import { resolveVerifyChangedFiles } from './verify-postcheck.js'
 import { WorktreeManager } from './worktree.js'
+import { resolveRuntimeRoot } from './run/shared.js'
 
 // ── review.json schema version ──
 export const REVIEW_SCHEMA_VERSION = 1
@@ -599,6 +600,34 @@ export function generateExecuteRunId() {
   return `exec-${now.getFullYear()}-${pad(now.getMonth() + 1)}-${pad(now.getDate())}-${pad(now.getHours())}${pad(now.getMinutes())}${pad(now.getSeconds())}`
 }
 
+/**
+ * 解析最新 execute run id：优先 current-execute-run-id-<changeName> marker；
+ * marker 缺失/为空则扫描 execute-runs/ 下子目录、取 mtime 最新的（尽力定位已有 run）。
+ *
+ * 与 getLatestStageReviewRunId 的目录扫描兜底同语义——避免 marker 丢失（cleanup/并行/手删）
+ * 而 agent 已用旧 runId 落了 execute-runs/<旧ID>/ 时，调用方直接 generate 新 ID 找不到旧 review、
+ * 误判缺 review.json（gates.js execute 完成门坑）。返回 null 表示既无 marker 也无既有 run 目录。
+ *
+ * @param {{ runtimeRoot: string, changeName: string }} opts
+ * @returns {string|null} runId（exec- 前缀），无则 null
+ */
+export function resolveLatestExecuteRunId({ runtimeRoot, changeName }) {
+  const marker = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+  try { if (existsSync(marker)) { const c = readFileSync(marker, 'utf8').trim(); if (c) return c } } catch {}
+  try {
+    const runsDir = join(runtimeRoot, 'execute-runs')
+    if (existsSync(runsDir)) {
+      const entries = readdirSync(runsDir)
+        .map(e => ({ e, p: join(runsDir, e) }))
+        .filter(x => { try { return statSync(x.p).isDirectory() } catch { return false } })
+        .map(x => ({ e: x.e, mtime: statSync(x.p).mtimeMs }))
+        .sort((a, b) => b.mtime - a.mtime)
+      if (entries.length > 0) return entries[0].e
+    }
+  } catch {}
+  return null
+}
+
 /**
  * worktree execute「主 agent 直接实现」模式收尾兜底：per-task review.json 缺失时，
  * 据 git diff base..head 按 task allowed_paths 归属，自动落盘 cannot_verify 草稿。
@@ -628,7 +657,7 @@ export function generateExecuteRunId() {
  */
 export async function generateTaskReviewDrafts({ changeName, cwd, platformOpts = {} }) {
   const specBase = platformOpts.specRoot || join(cwd, '.sillyspec')
-  const runtimeRoot = platformOpts.runtimeRoot || join(specBase, '.runtime')
+  const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
   const changeDir = join(specBase, 'changes', changeName)
   const tasksDir = join(changeDir, 'tasks')