sillyspec 3.22.8 → 3.23.0

package/src/stages/quick.js

@@ -8,26 +8,32 @@ export const definition = {
       name: '理解任务',
       prompt: `解析任务参数，加载项目上下文。
 
+### 📌 本 quick 会话 sessionId: \`<quick-session-id>\`
+- CLI 是短进程，run 与 done 是独立进程，sessionId 靠 \`--change\` 跨进程传递
+- **完成每个 step 用**：\`sillyspec run quick --done --change <quick-session-id> --output "..."\`
+  - 多会话并发时**必须带 \`--change <quick-session-id>\`**，否则可能命中他者会话的状态
+  - 不带 \`--change\` 时 fallback 读 \`current-quick-run-id\`（单会话兼容；多会话不可靠）
+
 ### 操作
 1. 检查关联变更（\`<linked-changes>\`，逗号分隔的变更名列表；显示「（无）」= 不关联变更），确定记录方式
 2. 理解任务：模糊则问一个问题确认
-3. 加载项目信息：\`cat .sillyspec/projects/*.yaml 2>/dev/null\`（了解项目结构和技术栈）
-4. 加载上下文：\`cat .sillyspec/docs/<project>/scan/CONVENTIONS.md 2>/dev/null\`
-5. 加载本地配置：\`cat .sillyspec/local.yaml 2>/dev/null\`（构建命令、测试命令、环境变量等）
-6. 若有关联变更，加载每个变更的设计文档：\`cat .sillyspec/changes/<c>/design.md 2>/dev/null\`（理解设计意图）
-7. 如有需要，查询知识库：\`cat .sillyspec/knowledge/INDEX.md 2>/dev/null\`
+3. 加载项目信息：\`cat {SPEC_ROOT}/projects/*.yaml 2>/dev/null\`（了解项目结构和技术栈）
+4. 加载上下文：\`cat {SPEC_ROOT}/docs/<project>/scan/CONVENTIONS.md 2>/dev/null\`
+5. 加载本地配置：\`cat {SPEC_ROOT}/local.yaml 2>/dev/null\`（构建命令、测试命令、环境变量等）
+6. 若有关联变更，加载每个变更的设计文档：\`cat {SPEC_ROOT}/changes/<c>/design.md 2>/dev/null\`（理解设计意图）
+7. 如有需要，查询知识库：\`cat {SPEC_ROOT}/knowledge/INDEX.md 2>/dev/null\`
 
 ### 模块文档加载
-8. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
+8. 读取 \`{SPEC_ROOT}/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
 9. 根据任务描述初步判断可能涉及的模块
-10. 读取匹配到的 \`.sillyspec/docs/<project>/modules/<module>.md\`
+10. 读取匹配到的 \`{SPEC_ROOT}/docs/<project>/modules/<module>.md\`
 
 ### 创建任务记录（⛔ 此步骤不能跳过，没有 quicklog 记录 = 未完成）
 理解完任务后，**必须**立即创建记录文件，再输出任何其他内容：
 
 **A. 始终创建 QUICKLOG（无论是否关联变更）**
 1. 使用预注入的 git 用户名：\`<git-user>\`
-2. 创建/追加 \`.sillyspec/quicklog/QUICKLOG-\`<git-user>\`.md\`，写入：
+2. 创建/追加 \`{SPEC_ROOT}/quicklog/QUICKLOG-\`<git-user>\`.md\`，写入：
    \`\`\`
    ## ql-<YYYYMMDD>-<NNN>-<XXXX> | <now-datetime> | <一句话任务描述>
    状态：进行中
@@ -42,13 +48,13 @@ export const definition = {
 
 **B. 若关联变更（\`<linked-changes>\` 不为「（无）」）**
 3. 解析 \`<linked-changes>\`（逗号分隔的变更名列表，可能有多个 = 一次 quick 同时归属多个变更）
-4. 对**每个**变更 \`<c>\`：在 \`.sillyspec/changes/<c>/tasks.md\` 追加一条未勾选 task：
+4. 对**每个**变更 \`<c>\`：在 \`{SPEC_ROOT}/changes/<c>/tasks.md\` 追加一条未勾选 task：
    \`- [ ] <ql-ID> <一句话任务描述>\`（复用步骤 A 生成的同一个 ql-ID）
-   - 若 \`changes/<c>/\` 目录或 tasks.md 不存在，先 \`mkdir -p .sillyspec/changes/<c>\` 再创建 tasks.md
+   - 若 \`changes/<c>/\` 目录或 tasks.md 不存在，先 \`mkdir -p {SPEC_ROOT}/changes/<c>\` 再创建 tasks.md
    - 同一个 ql-ID 出现在 QUICKLOG 和所有关联变更的 tasks.md 中，便于交叉引用
    - \`<linked-changes>\` 为「（无）」时跳过本步，仅保留 QUICKLOG
 
-这样 Gate 检测到 \`.sillyspec/\` 下有变更，就不会拦截后续的代码修改。
+这样 Gate 检测到 \`{SPEC_ROOT}/\` 下有变更，就不会拦截后续的代码修改。
 
 ### 输出
 quicklog 已创建（必须放在输出的第一行确认）+ 任务理解 + 上下文摘要
@@ -81,6 +87,11 @@ quicklog 已创建（必须放在输出的第一行确认）+ 任务理解 + 上
       name: '暂存和更新记录',
       prompt: `Git 暂存并更新任务记录。
 
+### 📌 收尾确认 — sessionId: \`<quick-session-id>\`
+- 本步骤是最后一步，完成后 quick 会话即结束
+- **完成本 step 用**：\`sillyspec run quick --done --change <quick-session-id> --output "暂存和记录确认"\`
+  - 多会话并发**必须带 \`--change <quick-session-id>\`**，不带会 fallback 读 \`current-quick-run-id\` 可能命中他者会话
+
 ### 操作
 1. 查看 \`git status --porcelain\`，确认只包含本次 quick 相关文件
 2. 使用 \`git add -- <file...>\` 暂存本次 quick 实际修改的文件（不要 commit，由用户通过统一提交工具处理）
@@ -90,14 +101,14 @@ quicklog 已创建（必须放在输出的第一行确认）+ 任务理解 + 上
    - QUICKLOG：找到对应 ql-ID 的条目，将「状态：进行中」改为「状态：已完成」，补充实际改动文件和结果摘要（**始终做**，无论是否关联变更）
    - 关联变更：对 Step 1 在每个 \`changes/<c>/tasks.md\` 写入的 ql-ID task，将其 checkbox 由 \`- [ ]\` 勾选为 \`- [x]\`；若 Step 1 未写入（用户事后才决定关联），则按 Step 1 的格式补写并直接勾选
 4. QUICKLOG 轮转：超过 500 行则重命名为 \`QUICKLOG-<USER>-YYYY-MM-DD.md\`（日期取最后一条记录的日期）。新文件从空开始，ql-ID 需扫描同目录所有 QUICKLOG 文件中当天最大序号 +1
-5. 如果发现项目特有的坑，追加到 \`.sillyspec/knowledge/uncategorized.md\`
+5. 如果发现项目特有的坑，追加到 \`{SPEC_ROOT}/knowledge/uncategorized.md\`
 6. 任务比预期复杂 → 建议用完整流程
 
 ### 模块文档同步
-7. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
+7. 读取 \`{SPEC_ROOT}/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
 8. 对比本次修改的文件（\`git diff --name-only HEAD\`）与模块映射
 9. 如果命中模块 → 直接同步模块文档：
-   - 读取对应的 \`.sillyspec/docs/<project>/modules/<module>.md\`（如不存在则新建）
+   - 读取对应的 \`{SPEC_ROOT}/docs/<project>/modules/<module>.md\`（如不存在则新建）
    - 根据本次改动内容更新模块文档（正文描述当前状态，底部变更索引追加本次 ql-ID）
    - 变更索引格式：\`- ql-YYYYMMDD-NNN-XXXX | <一句话描述>\`
    - 写入模块文档

package/src/stages/scan.js

@@ -182,19 +182,15 @@ export const definition = {
 
 ### 操作
 1. 检查 {SPEC_ROOT}/local.yaml 是否已存在，已存在则跳过（提示"local.yaml 已存在，跳过生成"）
-2. 根据项目类型生成默认配置：
-   - **Node.js**（有 package.json）：build: "npm run build", test: "npm test", lint: "npm run lint", type: nodejs
-   - **Maven**（有 pom.xml）：build: "mvn compile", test: "mvn test", lint: "mvn checkstyle:check", type: maven
-   - **Gradle**（有 build.gradle）：build: "./gradlew build", test: "./gradlew test", type: gradle
-   - **通用项目**：只写注释模板, type: generic
-3. 确保目录存在：mkdir -p {SPEC_ROOT}
-4. 原子写入（先写 tmp 文件再 rename）
-
-### 文件格式
+2. 调用 \`sillyspec local detect\` 命令生成 local.yaml（该命令封装了纯 fs 项目类型嗅探：package.json→nodejs / pom.xml→maven / build.gradle→gradle / Makefile→make / 否则 generic，对应默认 commands）。**不要自行嗅探 package.json/pom.xml/build.gradle 等文件**——探测逻辑唯一归属 local-detect.js，本步骤只负责调用命令并报告结果。
+3. 该命令内部已处理：确保目录存在（mkdir -p）、已存在则跳过、原子写入（先写 tmp 再 rename）。
+4. 报告生成的 project.type 与 local.yaml 路径。
+
+### 输出格式参考（由 \`sillyspec local detect\` 自动产出）
 \`\`\`yaml
 # SillySpec 本地配置（自动生成，可手动修改）
 project:
-  type: nodejs  # nodejs/maven/gradle/generic
+  type: nodejs  # nodejs/maven/gradle/make/generic
 
 commands:
   build: "npm run build"
@@ -203,15 +199,10 @@ commands:
 
 # 测试策略：full=全量测试, module=只测变更模块, skip=跳过测试
 test_strategy: module
-
-# 模块测试路径映射（可选）
-# module_paths:
-#   user-service: "user/"
-#   order-service: "order/"
 \`\`\`
 
 ### 输出
-local.yaml 生成结果（已存在/已生成）`,
+local.yaml 生成结果（已存在/已生成 + project.type）`,
       outputHint: 'local.yaml 生成状态',
       optional: false
     },

package/src/stages/verify.js

@@ -223,6 +223,7 @@ grep -rl "<关键词>" <源码目录>/ --include="*.java" --include="*.js" --inc
 ### 注意
 - 不要全量编译/测试整个项目，只测变更涉及的模块
 - 如果变更模块不确定，优先使用 local.yaml 中的命令
+- **CLI 对账机制**：verify 阶段最终 --done 时，CLI 会亲自执行 local.yaml 的 commands.test 并与你的报告对账；实测失败会直接阻断 verify 完成，谎报测试结果没有意义
 
 ### 输出
 测试结果 + 技术债务标记`,
@@ -314,7 +315,8 @@ verify-result.md 路径 + 验证报告摘要 + 下一步命令
 ### 注意
 - PASS → 运行 \`sillyspec run archive\` 归档
 - FAIL → 修复后运行 \`sillyspec run verify\` 重新验证
-- verify-result.md 是变更包的正式验收记录，归档后保留`,
+- verify-result.md 是变更包的正式验收记录，归档后保留
+- **CLI 对账机制**：本步骤 --done 时 CLI 会亲自执行 local.yaml 的 commands.test；结论写 PASS 但实测失败 → verify 完成被阻断`,
       outputHint: '验证报告',
       optional: false
     }

package/src/sync.js

@@ -75,7 +75,9 @@ function parseSimpleYaml(content) {
   for (const line of content.split('\n')) {
     const trimmed = line.trim();
     if (!trimmed || trimmed.startsWith('#')) continue;
-    if (!trimmed.startsWith(' ')) {
+    // 用原始 line（非 trimmed）判断缩进：trimmed 已去前导空格，startsWith(' ') 恒 false
+    // 会导致缩进子段（如 platform 下 url/token）被误判为 root 行、section 恒为空 {}
+    if (!line.startsWith(' ')) {
       const m = trimmed.match(/^(\S+)\s*:\s*(.*)$/);
       if (m) {
         const key = m[1];
@@ -413,14 +415,80 @@ export async function checkApproval(changeName, cwd) {
   return new SyncManager(cwd).checkApproval(changeName);
 }
 
+// TBD-hub-api: approve/reject 端点路径与请求体以 SillyHub 仓库实际 API 为准；
+// 对齐时只改本函数（_submitApproval），无需动 approve/reject 入口。
+/**
+ * 向平台提交审批决定（approve/reject 共用）。
+ *
+ * 显式用户/daemon 动作：网络/平台失败必须可见（decisions.md D-006@v1）——
+ * 与 best-effort 的 sync 不同，此处失败打 error 并置 process.exitCode = 1。
+ *
+ * @param {string} cwd - 工作目录
+ * @param {string} changeName - 变更名称
+ * @param {'approved'|'rejected'} decision - 审批决定
+ * @param {string|null} reason - rejected 时的原因（approved 时忽略）
+ * @returns {Promise<boolean>} 是否成功
+ */
+async function _submitApproval(cwd, changeName, decision, reason = null) {
+  const sm = new SyncManager(cwd);
+  const platform = sm._getPlatform();
+  if (!platform) {
+    console.error('❌ 未连接平台，请先 sillyspec platform connect');
+    process.exitCode = 1;
+    return false;
+  }
+
+  if (!changeName) {
+    console.error('❌ 审批需要指定变更名称 (changeName)');
+    process.exitCode = 1;
+    return false;
+  }
+
+  // TBD-hub-api: 端点路径/body 以 SillyHub 实际 API 为准，对齐时只改此处
+  const approvalUrl = `${platform.url}/api/changes/${encodeURIComponent(changeName)}/approval`;
+  const body = decision === 'rejected'
+    ? { decision: 'rejected', reason }
+    : { decision: 'approved' };
+
+  const result = await fetchJson(approvalUrl, {
+    method: 'POST',
+    headers: {
+      'Content-Type': 'application/json',
+      Authorization: `Bearer ${platform.token}`,
+    },
+    body: JSON.stringify(body),
+  });
+
+  // fetchJson 在非 2xx / 网络错 / 超时 / 非 JSON 时返回 null
+  if (result === null) {
+    console.error(`❌ 审批请求失败 (${changeName} → ${decision})，详情见上方 [sync] 警告`);
+    process.exitCode = 1;
+    return false;
+  }
+
+  // HTTP 成功后更新本地 approvals 表（HTTP 已成功是主要目标，落库失败只 warn 不阻断）
+  try {
+    const { ProgressManager } = await import('./progress.js');
+    const pm = new ProgressManager({ specDir: safePlatformSpecDir(cwd) });
+    await pm._updateApprovalStatus(cwd, changeName, decision, reason);
+  } catch (err) {
+    console.warn(`[sync] 更新本地审批状态失败 (${changeName}): ${err.message}`);
+  }
+
+  if (decision === 'approved') {
+    console.log(`✅ 已批准变更 ${changeName}`);
+  } else {
+    console.log(`✅ 已拒绝变更 ${changeName}${reason ? `（原因: ${reason}）` : ''}`);
+  }
+  return true;
+}
+
 export async function approve(changeName, cwd) {
-  // TODO: SillyHub 平台侧实现后启用
-  console.warn(`[sync] approve 尚未实现 (${changeName})`);
+  return _submitApproval(cwd, changeName, 'approved');
 }
 
 export async function reject(changeName, reason, cwd) {
-  // TODO: SillyHub 平台侧实现后启用
-  console.warn(`[sync] reject 尚未实现 (${changeName})`);
+  return _submitApproval(cwd, changeName, 'rejected', reason);
 }
 
 export async function status(cwd) {

package/src/task-review.js

@@ -10,6 +10,7 @@
 
 import { existsSync, readFileSync, mkdirSync, writeFileSync, readdirSync } from 'fs'
 import { join, resolve } from 'path'
+import { execFileSync } from 'child_process'
 
 // ── review.json schema version ──
 export const REVIEW_SCHEMA_VERSION = 1
@@ -147,7 +148,7 @@ function isTaskLowRisk(changeDir, taskId) {
 }
 
 export function validateTaskReviews(opts) {
-  const { planContent, runtimeRoot, executeRunId, allowCannotVerify = true, changeDir = null } = opts
+  const { planContent, runtimeRoot, executeRunId, allowCannotVerify = true, changeDir = null, gitDir = null } = opts
 
   const taskIds = parseTaskIdsFromPlan(planContent)
 
@@ -201,6 +202,24 @@ export function validateTaskReviews(opts) {
       continue
     }
 
+    // ── git 真实性交叉校验：base/head 必须是真实 commit，diff 不能为空 ──
+    if (gitDir) {
+      const evidence = verifyReviewGitEvidence(review, gitDir)
+      for (const w of evidence.warnings) warnings.push(`${taskId}: ${w}`)
+      if (!evidence.ok) {
+        for (const err of evidence.errors) errors.push(`${taskId}: ${err}`)
+        continue
+      }
+      if (evidence.emptyDiff) {
+        if (isTaskLowRisk(changeDir, taskId)) {
+          warnings.push(`${taskId}: base..head 无代码变更（task 声明 low_risk: true，不阻断）`)
+        } else {
+          errors.push(`${taskId}: base..head（${review.base.slice(0, 8)}..${review.head.slice(0, 8)}）无任何代码变更 — 评审了一个零改动的任务，review 疑似伪造`)
+          continue
+        }
+      }
+    }
+
     // 检查 cannot_verify
     if (review.specVerdict === 'cannot_verify' || review.qualityVerdict === 'cannot_verify') {
       if (!allowCannotVerify) {
@@ -252,6 +271,90 @@ export function validateTaskReviews(opts) {
   }
 }
 
+// ── Git 真实性交叉校验 ──
+
+function runGit(gitDir, args) {
+  return execFileSync('git', args, {
+    cwd: gitDir,
+    encoding: 'utf8',
+    timeout: 15000,
+    stdio: ['ignore', 'pipe', 'pipe'],
+  }).trim()
+}
+
+/**
+ * 校验 review.json 的 base/head 是否指向真实 git 提交，且 diff 非空。
+ *
+ * 历史漏洞：base/head 只做非空字符串检查，agent 可以填任意假 hash 批量伪造
+ * review.json 通过 Task Review Gate。此函数用 git 做客观交叉校验：
+ *   1. base/head 必须是仓库中可解析的真实 commit
+ *   2. base..head 的 diff 不能为空（评审一个零改动的"任务"无意义）
+ *   3. review.changedFiles（如提供）必须与实际 diff 文件有交集
+ *
+ * git 环境不可用（非 git 仓库 / git 缺失）时返回 unavailable，由调用方降级为
+ * warning——不因环境问题误杀，但记录在输出中。
+ *
+ * @param {object} review - 已通过 schema 校验的 review 对象
+ * @param {string} gitDir - 执行 git 命令的目录（worktree 优先，回退主仓库）
+ * @returns {{ ok: boolean, emptyDiff: boolean, errors: string[], warnings: string[], unavailable: boolean }}
+ */
+export function verifyReviewGitEvidence(review, gitDir) {
+  const errors = []
+  const warnings = []
+
+  // git 环境探测：失败即 unavailable，交由调用方降级
+  try {
+    runGit(gitDir, ['rev-parse', '--git-dir'])
+  } catch (e) {
+    return {
+      ok: true,
+      emptyDiff: false,
+      errors: [],
+      warnings: [`git 环境不可用（${gitDir}），跳过 review 真实性交叉校验: ${e.message?.split('\n')[0] || e.message}`],
+      unavailable: true,
+    }
+  }
+
+  for (const field of ['base', 'head']) {
+    const hash = review[field]
+    try {
+      runGit(gitDir, ['rev-parse', '--verify', '--quiet', `${hash}^{commit}`])
+    } catch {
+      errors.push(`${field} "${hash}" 不是仓库中的真实 commit — review.json 疑似伪造`)
+    }
+  }
+  if (errors.length > 0) {
+    return { ok: false, emptyDiff: false, errors, warnings, unavailable: false }
+  }
+
+  let diffFiles = []
+  try {
+    const out = runGit(gitDir, ['diff', '--name-only', `${review.base}..${review.head}`])
+    diffFiles = out ? out.split('\n').filter(Boolean) : []
+  } catch (e) {
+    warnings.push(`git diff ${review.base}..${review.head} 执行失败，跳过 diff 校验: ${e.message?.split('\n')[0] || e.message}`)
+    return { ok: true, emptyDiff: false, errors, warnings, unavailable: false }
+  }
+
+  const emptyDiff = diffFiles.length === 0
+
+  // changedFiles 交叉比对：完全不相交 = review 描述的改动与实际 diff 无关
+  if (!emptyDiff && Array.isArray(review.changedFiles) && review.changedFiles.length > 0) {
+    const normalize = (p) => String(p).replace(/^\.\//, '')
+    const diffSet = new Set(diffFiles.map(normalize))
+    const hasOverlap = review.changedFiles.some(f => {
+      const nf = normalize(f)
+      // 兼容 review 写相对/部分路径：前后缀匹配即可
+      return diffSet.has(nf) || diffFiles.some(d => d.endsWith(nf) || nf.endsWith(d))
+    })
+    if (!hasOverlap) {
+      errors.push(`changedFiles 与实际 git diff（${review.base.slice(0, 8)}..${review.head.slice(0, 8)}，${diffFiles.length} 个文件）完全不相交 — review 内容与代码变更无关`)
+    }
+  }
+
+  return { ok: errors.length === 0, emptyDiff, errors, warnings, unavailable: false }
+}
+
 /**
  * 将 cannot_verify 的 requiredEvidence 写入 change 目录
  * 供 verify 阶段消费