sillyspec 3.28.5 → 3.28.7

package/src/semantic-guard.js

@@ -0,0 +1,207 @@
+/**
+ * semantic-guard.js — quick 语义护栏聚合模块（change: 2026-09-11-cross-change-decision-guard，
+ * task-03，FR-03/FR-04，D-001@v1）：近因他者交付归因 + 断言重写检测 + advisory 渲染 + 总开关。
+ *
+ * 被 run/prompt.js（task-05，进场注入）与 run/quick-audit.js（task-06，--done 断言 WARNING）
+ * 两端消费。纯模块纪律：不 console（渲染返回字符串，输出留给消费端）、不写盘、
+ * 不 import run/ 下模块（避免与 task-05/06 循环依赖）。
+ *
+ * git 交互一律走 git-helper 的 safeGit（数组参数不经 shell，Windows 路径安全）；失败静默
+ * 降级空结果不抛（acceptance：git 不可用 → 全部降级空结果）。
+ */
+import { existsSync, readFileSync } from 'node:fs'
+import { join } from 'node:path'
+import { safeGit } from './git-helper.js'
+import { matchDecisionsByFiles } from './knowledge-match.js'
+
+/** 路径反斜杠归一 POSIX（Windows 调用方传 \ 分隔时不丢匹配；与 matchDecisionsByFiles 双侧归一口径一致） */
+function toPosix(p) {
+  return String(p || '').trim().replace(/\\/g, '/')
+}
+
+// ───────────────────────── 交付归因（FR-03） ─────────────────────────
+
+/** 提交信息里的完整变更名标记：init 生成的 change 目录名形态（2026-09-11-cross-change-decision-guard） */
+const CHANGE_NAME_RE = /\d{4}-\d{2}-\d{2}-[a-z0-9][a-z0-9-]*/g
+/** quicklog 条目 ID 标记：ql-YYYYMMDD-NNN-xxxx（quick 会话提交信息的归因键） */
+const QL_ID_RE = /ql-\d{8}-\d{3}-[a-z0-9]{4}/g
+
+/** 单条提交信息 → 两类标记列表（按出现位置排序；两类正则无交集，ql-ID 的日期段无连字符） */
+function extractChangeMarkers(subject) {
+  const found = []
+  for (const re of [CHANGE_NAME_RE, QL_ID_RE]) {
+    for (const m of subject.matchAll(re)) found.push({ token: m[0], at: m.index })
+  }
+  return found.sort((a, b) => a.at - b.at).map(f => f.token)
+}
+
+/**
+ * 近因他者交付归因：每文件查最近 days 天提交信息（--format=%s，仅 subject），解析变更名 /
+ * ql-ID 两类标记，取最新一条非 currentChange 标记 → { [file]: changeName }。
+ * git log 输出行为提交 subject，无 porcelain 首行前导空格语义（git-helper.js:88 的
+ * trim 坑不影响此处），safeGit 默认 trim 安全。
+ * @param {{ cwd?: string, files?: string[], currentChange?: string, days?: number }} opts
+ * @returns {{ [file]: string }} 键 = POSIX 归一路径；无标记 / 仅本变更标记 / git 失败 /
+ *   第 20 个之后的文件 → 不记
+ */
+export function collectRecentForeignDelivery({ cwd, files, currentChange, days = 7 } = {}) {
+  const result = {}
+  if (!cwd || !Array.isArray(files)) return result
+  const list = files.map(toPosix).filter(Boolean).slice(0, 20)
+  for (const file of list) {
+    const r = safeGit(cwd, ['log', `--since=${days}.days`, '--format=%s', '--', file])
+    if (r.error || !r.value) continue
+    // git log 新→旧：逐提交找第一条非 currentChange 标记，命中即止（取最新他者标记）
+    for (const subject of r.value.split('\n')) {
+      const foreign = extractChangeMarkers(subject).find(m => m !== currentChange)
+      if (foreign) {
+        result[file] = foreign
+        break
+      }
+    }
+  }
+  return result
+}
+
+// ───────────────────────── 断言重写检测（FR-04） ─────────────────────────
+
+/** 删除侧断言 token：expect( / assert / t.equal / toBe / toEqual / strictEqual / should. */
+const ASSERTION_TOKEN_RE = /expect\(|assert|t\.equal|toBe|toEqual|strictEqual|should\./
+
+/** 测试文件判定：test/ 前缀 或 *.test.* / *_test.* 命名（路径先 POSIX 归一） */
+function isTestFilePath(p) {
+  return p.startsWith('test/') || /\.test\./.test(p) || /_test\./.test(p)
+}
+
+/**
+ * 断言重写检测：测试文件跑 git diff HEAD -U0（HEAD 口径非 index——quick step3 先 git add
+ * 暂存的时序下裸 diff 恒空转，坑 Grill X-001），hunk 删除侧（- 行）含断言 token → 命中；
+ * 纯新增 hunk（无 - 行）不算；样例行封顶 5/文件。
+ * @param {{ cwd?: string, files?: string[] }} opts
+ * @returns {{ [file]: string[] }} 键 = POSIX 归一测试文件路径，值 = 删除侧含 token 的原行
+ *   （去 - 前缀）；非测试文件不查；无命中 / git 失败 → 不记
+ */
+export function detectAssertionRewrites({ cwd, files } = {}) {
+  const result = {}
+  if (!cwd || !Array.isArray(files)) return result
+  for (const raw of files) {
+    const file = toPosix(raw)
+    if (!file || !isTestFilePath(file)) continue
+    const r = safeGit(cwd, ['diff', 'HEAD', '-U0', '--', file])
+    if (r.error || !r.value) continue
+    const samples = []
+    let inHunk = false
+    let deletedLines = []
+    const flushHunk = () => {
+      if (!inHunk || deletedLines.length === 0) return // 纯新增 hunk（无 - 行）不算
+      for (const line of deletedLines) {
+        if (samples.length >= 5) break
+        if (ASSERTION_TOKEN_RE.test(line)) samples.push(line)
+      }
+    }
+    for (const line of r.value.split('\n')) {
+      if (line.startsWith('@@')) {
+        flushHunk()
+        inHunk = true
+        deletedLines = []
+        continue
+      }
+      if (!inHunk) continue // 文件头（diff --git / index / --- / +++）不进 hunk 统计
+      if (line.startsWith('-')) deletedLines.push(line.slice(1)) // + 行与 "\ No newline" 行跳过
+    }
+    flushHunk()
+    if (samples.length > 0) result[file] = samples
+  }
+  return result
+}
+
+// ───────────────────────── advisory 渲染（FR-03/FR-04 组合） ─────────────────────────
+
+/**
+ * advisory 文本段渲染：决策命中（matchDecisionsByFiles，knowledge 目录 = specBase/knowledge，
+ * task-02 契约）+ 交付归因（collectRecentForeignDelivery 默认 7 天窗）组合成注入文本，
+ * 供 task-05 进场注入 / task-06 --done WARNING 拼接；两类均零命中 → ''（不留空段）。
+ * @param {{ specBase?: string, cwd?: string, candidateFiles?: string[], currentChange?: string }} opts
+ * @returns {string}
+ */
+export function renderSemanticGuardBlock({ specBase, cwd, candidateFiles, currentChange } = {}) {
+  if (!Array.isArray(candidateFiles) || candidateFiles.length === 0) return ''
+  const files = [...new Set(candidateFiles.map(toPosix).filter(Boolean))]
+  if (files.length === 0) return ''
+  const decisions = specBase
+    ? matchDecisionsByFiles(join(specBase, 'knowledge'), files)
+    : {}
+  const delivery = cwd
+    ? collectRecentForeignDelivery({ cwd, files, currentChange })
+    : {}
+  const decisionFiles = files.filter(f => Array.isArray(decisions[f]) && decisions[f].length > 0)
+  const deliveryFiles = files.filter(f => delivery[f])
+  if (decisionFiles.length === 0 && deliveryFiles.length === 0) return ''
+  const lines = ['【语义护栏】改动文件触及既有决策 / 近期他者交付，动手前请对照：']
+  if (decisionFiles.length > 0) {
+    lines.push(`■ 决策库命中（${decisionFiles.length} 文件）`)
+    for (const f of decisionFiles) {
+      for (const hit of decisions[f]) {
+        const rejected = hit.status === 'rejected'
+        lines.push(`  - ${f} → ${hit.id} ${hit.title}［${rejected ? 'rejected，已否决，勿复潮' : hit.status || 'unknown'}］`)
+        lines.push(`      理由：${hit.reason || '（未记录）'}`)
+        if (hit.file) lines.push(`      详见：knowledge/${hit.file}`)
+      }
+    }
+  }
+  if (deliveryFiles.length > 0) {
+    lines.push('■ 近 7 天他者交付归因（最后交付的非本变更标记）')
+    for (const f of deliveryFiles) lines.push(`  - ${f} ← ${delivery[f]}`)
+  }
+  return lines.join('\n')
+}
+
+// ───────────────────────── 总开关（D-001@v1） ─────────────────────────
+
+/** YAML 布尔宽松解析：仅显式 false（含引号形态）为关，其余值一律 true（fail-open，先例 friction-tally R-05） */
+function parseEnabledValue(raw) {
+  const v = String(raw || '').trim().replace(/^['"]|['"]$/g, '')
+  return v.toLowerCase() !== 'false'
+}
+
+/**
+ * 读 specBase/local.yaml 的 semantic_guard.enabled 总开关（D-001@v1）：默认 true；
+ * 缺键 / 文件缺失 / 解析异常 → true（fail-open——配置读取异常不该把护栏误判为关）。
+ * 轻量行式解析不引 yaml 依赖（先例 friction-tally readFrictionHintEnabled 同款形态），
+ * 兼容嵌套（semantic_guard:\n  enabled: false）与 flat（semantic_guard.enabled: false）；
+ * 行尾先归一（Windows CRLF 残留致行式正则整体失配）。
+ * @param {string} specBase - spec 根（local.yaml 所在目录）
+ * @returns {boolean}
+ */
+export function readSemanticGuardEnabled(specBase) {
+  try {
+    const yamlPath = join(specBase, 'local.yaml')
+    if (!existsSync(yamlPath)) return true
+    const text = String(readFileSync(yamlPath, 'utf8')).replace(/\r\n?/g, '\n')
+    let inSection = false
+    let sectionIndent = -1
+    for (const line of text.split('\n')) {
+      // flat 形态优先：键名带点，不与嵌套段头冲突
+      const flat = line.match(/^\s*semantic_guard\.enabled\s*:\s*(.*?)\s*(?:#.*)?$/)
+      if (flat) return parseEnabledValue(flat[1])
+      const section = line.match(/^(\s*)semantic_guard\s*:\s*(?:#.*)?$/)
+      if (section) {
+        inSection = true
+        sectionIndent = section[1].length
+        continue
+      }
+      if (!inSection) continue
+      if (line.trim() === '' || line.trim().startsWith('#')) continue
+      // 缩进回落到段头层级（或更浅）= semantic_guard 段结束，之后的 enabled 不属于它
+      if (/^\s*/.exec(line)[0].length <= sectionIndent) {
+        inSection = false
+        continue
+      }
+      const kv = line.match(/^\s*enabled\s*:\s*(.*?)\s*(?:#.*)?$/)
+      if (kv) return parseEnabledValue(kv[1])
+    }
+    return true
+  } catch {
+    return true
+  }
+}

package/src/sillyhub-mcp/client.js

@@ -282,9 +282,14 @@ export class SillyHubMcpClient {
     }
 
     if (!res.ok) {
+      // 401 状态留痕（2026-09-11 用户实测反馈：token 失效被 probe 报成 daemon-unreachable，
+      // 误导排障方向——吊销/过期的 shmcp_ 是「重连再配对」能解的，不是 daemon 的问题）。
+      // getLastInitStatus() 供 probeSillyHub 类型化 reason；成功/其他失败置 null（不误判旧状态）。
+      this._lastInitHttpStatus = res.status;
       if (!quiet) console.warn(`[sillyhub-mcp] initialize → HTTP ${res.status}`);
       return false;
     }
+    this._lastInitHttpStatus = null;
 
     // 优先取 header mcp-session-id（FastMCP 实测返回）；缺失再查 body _meta.sessionId。
     // ⚠️ 无论 header 是否有 session，都必须读完 body（消费 SSE 流）——FastMCP 在
@@ -391,6 +396,15 @@ export class SillyHubMcpClient {
     return result !== null;
   }
 
+  /**
+   * 最近一次 initialize 握手的 HTTP 状态码（null = 无记录/成功/非 HTTP 失败）。
+   * 消费方：probeSillyHub 的 token 失效类型化（401 → reason='mcp-token-invalid'，
+   * 区别于 daemon-unreachable——2026-09-11 用户实测：吊销 token 被误报 daemon 不可达）。
+   */
+  getLastInitStatus() {
+    return this._lastInitHttpStatus ?? null;
+  }
+
   /**
    * 列出 daemon 暴露的 MCP tools（JSON-RPC `tools/list`，task-11 路径A 探测用）。
    *

package/src/stages/brainstorm.js

@@ -229,7 +229,7 @@ export const definition = {
 1. 简单项目：几句话整体描述
 2. 复杂项目：按模块/Phase 分段展示，每段 200-300 字
 3. 展示完整设计方案（不要逐段停顿，一次性展示）
-4. 确认变更名（格式：\`YYYY-MM-DD-<简短描述>\`，例如 \`2026-05-13-user-auth\`）
+4. 确认变更名（格式：\`YYYY-MM-DD-<简短描述>\`，例如 \`2026-05-13-user-auth\`——CLI 已强制：新建/改名不带日期前缀直接 exit 2）
 5. 按「HTML 原型分级」生成原型或写出跳过原因（二选一必填，见下）
 6. 暂停等待用户确认或修改意见
 
@@ -263,7 +263,7 @@ export const definition = {
 
 ### 注意
 - 不要一次输出大段文字，按模块/Phase 分段
-- 变更名必须以当天日期开头（YYYY-MM-DD-），后跟英文短横线分隔的简短描述`,
+- 变更名必须以当天日期开头（YYYY-MM-DD-），后跟英文短横线分隔的简短描述（CLI 强制：不合规 exit 2）`,
       outputHint: '用户确认的设计方案',
       optional: false
     },
@@ -342,7 +342,7 @@ design.md 第一行标题必须用中文：# 设计文档（Design）— <变更
 
 ### 操作
 1. 确认变更目录存在：\`mkdir -p {SPEC_ROOT}/changes/<change-name>\`（Windows 用 \`mkdir {SPEC_ROOT}/changes\\<变更名>\` 或 PowerShell \`New-Item -ItemType Directory -Force -Path {SPEC_ROOT}/changes/<change-name>\`）
-   - 变更名格式必须为 \`YYYY-MM-DD-<简短描述>\`（如 \`2026-05-13-user-auth\`）
+   - 变更名格式必须为 \`YYYY-MM-DD-<简短描述>\`（如 \`2026-05-13-user-auth\`；CLI 强制，不合规 exit 2）
 2. 将确认的设计写入 \`{SPEC_ROOT}/changes/<change-name>/design.md\`——优先跑 \`sillyspec design-init --change <change-name>\` 生成骨架再填散文（决策追踪表已按 decisions.md 当前版本预填，逐行补覆盖点后把「待确认」改「已覆盖」；文件清单表骨架就位）；存量手写路径仍合法（design-init 对已存在的 design.md 不覆盖）
 3. 对账整理 \`{SPEC_ROOT}/changes/<change-name>/decisions.md\`（「对话式探索」「提出方案」步已按增量规则随答落盘，本步做对账而非从零写入）：
    - decisions.md 是本次变更的决策台账，不是长期术语表