sillyspec 3.27.5 → 3.27.7

package/.worktrees/542c4415/src/knowledge-match.js

@@ -0,0 +1,231 @@
+/**
+ * knowledge-match.js — knowledge 关键词匹配引擎
+ * 从 INDEX.md 解析知识条目，按任务上下文匹配并生成 hit report；
+ * 扫描范围含 decisions 决策库（knowledge/decisions/<域>.md，经 INDEX.md ## Decisions 段
+ * 路由行发现——路由行由 decision-distill 幂等写入，本引擎只消费不写）——命中路由行的
+ * 决策文件解析为 decisionHits（rejected 优先），供 brainstorm Step2 防复潮注入（task-04，FR-05）。
+ * decisions 库不存在时（INDEX 无 Decisions 段/文件不存在）一切行为与无 decisions 库时一致。
+ */
+
+import { existsSync, readFileSync } from 'fs'
+import { join } from 'path'
+
+/**
+ * 从 INDEX.md 解析所有知识条目
+ * @param {string} indexDir - knowledge 目录路径
+ * @returns {{ category: string, keywords: string[], file: string, anchor: string, display: string, line: string }[]}
+ */
+export function parseKnowledgeIndex(indexDir) {
+  const indexPath = join(indexDir, 'INDEX.md')
+  if (!existsSync(indexPath)) return []
+
+  const content = readFileSync(indexPath, 'utf8')
+  const entries = []
+  let currentCategory = ''
+
+  for (const line of content.split('\n')) {
+    // 匹配 ## Category 行
+    const catMatch = line.match(/^##\s+(.+)/)
+    if (catMatch) {
+      currentCategory = catMatch[1].trim()
+      continue
+    }
+
+    // 匹配条目行：- 关键词1|关键词2 → [显示名](文件名#锚点)
+    const entryMatch = line.match(/^-\s+(.+?)\s*→\s*\[(.+?)\]\(([^#)]+)(?:#([^)]+))?\)/)
+    if (entryMatch) {
+      const keywords = entryMatch[1].split('|').map(k => k.trim()).filter(Boolean)
+      const display = entryMatch[2].trim()
+      const file = entryMatch[3].trim()
+      const anchor = entryMatch[4] ? entryMatch[4].trim() : ''
+      entries.push({ category: currentCategory, keywords, file, anchor, display, line })
+    }
+  }
+
+  return entries
+}
+
+// ---------------------------------------------------------------------------
+// decisions 决策库扫描（task-04，FR-05）：经 INDEX.md ## Decisions 段路由行发现
+// knowledge/decisions/<域>.md 并解析 D-xxx@vN 条目。条目格式与 decision-distill 的
+// renderBlockLines 逐字对齐（字段行是机械解析契约）：`## D-xxx@vN <短标题>` +
+// `状态：implemented|rejected` / `锚点：` / `最近确认：` / `理由：`（rejected 追加
+// `否决理由：` / `复潮条件：`）。
+// ---------------------------------------------------------------------------
+
+/** INDEX 条目是否为 decisions 库路由行（目标文件在 decisions/ 下） */
+function isDecisionRoute(entry) {
+  return /^decisions\//.test(String(entry.file || '').replace(/\\/g, '/'))
+}
+
+const DECISION_HEADER_RE = /^##\s+(D-\d+@v\d+)\s*(.*)$/
+const DECISION_FIELD_RE = /^(状态|理由|否决理由|复潮条件)\s*[：:]\s*(.*)$/
+
+/**
+ * 解析单个 decisions/<域>.md 的 D-xxx@vN 条目。
+ * reason 语义：rejected 条目取「否决理由」（expects_from task-02 的 reject_reason），
+ * 其余条目回退「理由」一句话；revisitWhen 仅 rejected 条目非空（复潮条件）。
+ * @param {string} filePath 决策文件绝对路径
+ * @param {string} file INDEX 相对路径（decisions/<域>.md），原样进 decisionHits.file
+ * @returns {{ file: string, id: string, title: string, status: string, reason: string, revisitWhen: string }[]}
+ */
+function parseDecisionFile(filePath, file) {
+  let content
+  try { content = readFileSync(filePath, 'utf8') } catch { return [] }
+  const hits = []
+  let cur = null
+  const flush = () => {
+    if (cur) hits.push(cur)
+    cur = null
+  }
+  for (const line of content.replace(/\r\n/g, '\n').split('\n')) {
+    const h = line.match(DECISION_HEADER_RE)
+    if (h) {
+      flush()
+      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '' }
+      continue
+    }
+    if (!cur) continue
+    const f = line.match(DECISION_FIELD_RE)
+    if (!f) continue
+    const value = f[2].trim()
+    if (f[1] === '状态') cur.status = value.toLowerCase()
+    else if (f[1] === '否决理由') cur.reason = value
+    else if (f[1] === '复潮条件') cur.revisitWhen = value
+    else if (!cur.reason) cur.reason = value // 理由：仅作 implemented（或否决理由缺失）时的回填
+  }
+  flush()
+  return hits
+}
+
+/**
+ * 解析 knowledge/decisions/ 决策库——扫描范围扩到 decisions/*.md，但只经 INDEX.md
+ * Decisions 段路由行发现目标文件（路由行由 decision-distill 幂等维护）。
+ * @param {string} indexDir knowledge 目录路径
+ * @param {Array} [indexEntries] parseKnowledgeIndex 输出（缺省时自行解析 INDEX；传入时
+ *   只解析这些条目中指向 decisions/ 的路由行，matchKnowledge 用它做「路由行已命中」过滤）
+ * @returns {{ file: string, id: string, title: string, status: string, reason: string, revisitWhen: string }[]}
+ *   路由行不存在/目标文件不存在/解析失败 → []（与无 decisions 库时行为完全一致）
+ */
+export function parseDecisionEntries(indexDir, indexEntries = null) {
+  const routes = (indexEntries || parseKnowledgeIndex(indexDir)).filter(isDecisionRoute)
+  const hits = []
+  for (const route of routes) {
+    const filePath = join(indexDir, route.file)
+    if (!existsSync(filePath)) continue // 路由行失效（域文件已删）→ 跳过不阻断
+    hits.push(...parseDecisionFile(filePath, route.file))
+  }
+  // 多条路由行指向同一域文件时按 file+id 去重
+  const seen = new Set()
+  return hits.filter(h => {
+    const key = `${h.file}#${h.id}`
+    if (seen.has(key)) return false
+    seen.add(key)
+    return true
+  })
+}
+
+function escapeRegex(s) {
+  return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')
+}
+
+/**
+ * 单个关键词是否命中上下文。
+ * - 过短关键词（<2 字符）视为噪音，不参与匹配
+ * - 非 ASCII（中文等）用子串匹配
+ * - ASCII 关键词用词边界匹配，避免子串误命中（如 "DB" 不命中 "dashboard"）
+ */
+function keywordMatchesContext(keyword, contextLower) {
+  const kw = keyword.toLowerCase().trim()
+  if (kw.length < 2) return false
+  if (/[^\x00-\x7f]/.test(kw)) return contextLower.includes(kw)
+  return new RegExp(`(^|[^a-z0-9])${escapeRegex(kw)}([^a-z0-9]|$)`).test(contextLower)
+}
+
+/**
+ * 用任务上下文匹配知识条目
+ * @param {string} indexDir - knowledge 目录路径
+ * @param {string} taskContext - 任务上下文（task 名称 + 描述，用于关键词匹配）
+ * @returns {{ matched: boolean, entries: Array, report: string, json: object,
+ *   decisionHits: Array<{ file: string, id: string, title: string, status: string, reason: string, revisitWhen: string }> }}
+ *   matched/entries/report/json 既有四字段结构与语义不变；decisionHits（task-04 新增）= 任务上下文
+ *   命中的 Decisions 路由行所指向 decisions/<域>.md 内的全部 D-xxx@vN 条目，rejected 优先排序；
+ *   无 decisions 库 / 路由行未命中 → decisionHits: []（其余字段行为与现状一致）。
+ */
+export function matchKnowledge(indexDir, taskContext) {
+  const indexPath = join(indexDir, 'INDEX.md')
+
+  // INDEX.md 不存在
+  if (!existsSync(indexPath)) {
+    return {
+      matched: false,
+      entries: [],
+      report: 'Status: no matches (INDEX.md not found)',
+      json: { matched: false, entry_count: 0, entries: [] },
+      decisionHits: []
+    }
+  }
+
+  const allEntries = parseKnowledgeIndex(indexDir)
+  if (allEntries.length === 0 || !taskContext) {
+    return {
+      matched: false,
+      entries: [],
+      report: 'Status: no matches',
+      json: { matched: false, entry_count: 0, entries: [] },
+      decisionHits: []
+    }
+  }
+
+  const contextLower = taskContext.toLowerCase()
+  const matched = allEntries.filter(entry => {
+    return entry.keywords.some(kw => keywordMatchesContext(kw, contextLower))
+  })
+
+  if (matched.length === 0) {
+    return {
+      matched: false,
+      entries: [],
+      report: 'Status: no matches',
+      json: { matched: false, entry_count: 0, entries: [] },
+      decisionHits: []
+    }
+  }
+
+  const sources = matched.map(e => {
+    const base = e.anchor ? `${e.file}#${e.anchor}` : e.file
+    return ` - ${base}`
+  }).join('\n')
+
+  const report = [
+    'Knowledge Context',
+    '─────────────────',
+    `Status: matched`,
+    `Entries: ${matched.length}`,
+    'Sources:',
+    sources
+  ].join('\n')
+
+  const json = {
+    matched: true,
+    entry_count: matched.length,
+    entries: matched.map(e => ({
+      file: e.file,
+      anchor: e.anchor,
+      keywords: e.keywords,
+      category: e.category
+    }))
+  }
+
+  // decisionHits（task-04）：任务上下文命中的 Decisions 路由行 → 解析其指向的
+  // decisions/<域>.md 内全部条目；rejected 优先排序（防复潮信息最先可见，组内保持文件序）。
+  // 不引入新顶层 hits 字段，不改 matched/entries/report/json 四个既有键。
+  const decisionRoutes = matched.filter(isDecisionRoute)
+  const allDecisionHits = decisionRoutes.length > 0 ? parseDecisionEntries(indexDir, decisionRoutes) : []
+  const decisionHits = [
+    ...allDecisionHits.filter(h => h.status === 'rejected'),
+    ...allDecisionHits.filter(h => h.status !== 'rejected')
+  ]
+
+  return { matched: true, entries: matched, report, json, decisionHits }
+}

package/.worktrees/542c4415/src/local-detect.js

@@ -0,0 +1,128 @@
+/**
+ * Local Detect — 纯 fs 项目类型嗅探
+ *
+ * 把"生成本地配置"里的项目类型判定从 scan（半小时 + 大量 token）抽出来，
+ * 变成纯 fs 同步读几秒可完成的独立探测。create/gate 只需 project.type +
+ * commands，不该被迫跑完整 scan。
+ *
+ * 纯函数：不 spawn 任何子进程、不调用任何 AI/LLM、不消耗 token。
+ * 不写 local.yaml 到磁盘——只返回数据结构，落盘由调用方（CLI 路由 / scan.js）负责。
+ * 不引 yaml 依赖。
+ */
+
+import { existsSync, readFileSync } from 'fs'
+import { join } from 'path'
+
+/**
+ * 从 Makefile 文本提取 test 目标的命令（轻量正则，与 verify-postcheck 同风格）。
+ * 支持两种常见写法：
+ *   - 同行命令：`test: pytest`            → 'pytest'
+ *   - tab 续行：`test:\n\tpytest\n`        → 'pytest'（命令在下一 tab 开头行）
+ * 边界：
+ *   - 纯空目标（`test:` 无同行命令、无 tab 续行）→ 回退 'make test'
+ *   - 命令行内 `#` 注释截断；取第一个非空命令行
+ * @param {string} makefileText
+ * @returns {string}
+ */
+function parseMakefileTestCommand(makefileText) {
+  if (!makefileText) return 'make test'
+  // 定位 `test:` 行；捕获 `:` 后同行内容（同行命令或空）
+  const head = makefileText.match(/^test:\s*([^\n#]*?)\s*(?:#.*)?$/m)
+  if (!head) return 'make test'
+  const inline = (head[1] || '').trim()
+  if (inline) return inline
+  // 同行为空 → 找该行之后第一个 tab 续行命令（`\tcmd` 或 `    cmd`）
+  const after = makefileText.slice(head.index + head[0].length)
+  const cont = after.match(/^[ \t]+([^\n#]+?)\s*(?:#.*)?$/m)
+  if (cont && cont[1]) return cont[1].trim()
+  return 'make test'
+}
+
+/**
+ * 嗅探 workdir 的项目类型与默认 commands（纯 fs，零 AI / 零 token）。
+ *
+ * 嗅探规则（按顺序，命中即返回）：
+ *   - package.json → nodejs（核验 scripts.{build,test,lint} 存在才写对应键；缺失不写）
+ *   - pom.xml → maven（mvn compile / mvn test / mvn checkstyle:check）
+ *   - build.gradle → gradle（gradlew 存在用 ./gradlew 否则 gradle；build / test / check）
+ *   - Makefile → make（test 命令从 test: 目标解析；build/lint 无则不写）
+ *   - 都没有 → generic（commands 为空对象）
+ *
+ * @param {string} workdir - 项目根目录
+ * @returns {{
+ *   project: { type: 'nodejs'|'maven'|'gradle'|'make'|'generic' },
+ *   commands: { build?: string, test?: string, lint?: string }
+ * }}
+ */
+export function detectLocalYaml(workdir) {
+  // 1. nodejs
+  if (existsSync(join(workdir, 'package.json'))) {
+    const pkgPath = join(workdir, 'package.json')
+    const raw = readFileSync(pkgPath, 'utf8')
+    let pkg
+    try {
+      pkg = JSON.parse(raw)
+    } catch (e) {
+      throw new Error('package.json 解析失败：' + pkgPath)
+    }
+    const scripts = (pkg && pkg.scripts) || {}
+    const commands = {}
+    if (scripts.build) commands.build = 'npm run build'
+    if (scripts.test) commands.test = 'npm test'
+    if (scripts.lint) commands.lint = 'npm run lint'
+    return {
+      project: { type: 'nodejs' },
+      commands,
+    }
+  }
+
+  // 2. maven
+  if (existsSync(join(workdir, 'pom.xml'))) {
+    return {
+      project: { type: 'maven' },
+      commands: {
+        build: 'mvn compile',
+        test: 'mvn test',
+        lint: 'mvn checkstyle:check',
+      },
+    }
+  }
+
+  // 3. gradle
+  if (existsSync(join(workdir, 'build.gradle'))) {
+    // Windows 上 cmd.exe 执行不了 ./gradlew（shell 脚本）——优先 gradlew.bat；
+    // 仅有 POSIX gradlew 且在 win32 时退回全局 gradle（体检 BUG-08）
+    const isWin = process.platform === 'win32'
+    let gradlePrefix = 'gradle'
+    if (isWin) {
+      gradlePrefix = existsSync(join(workdir, 'gradlew.bat')) ? 'gradlew.bat' : 'gradle'
+    } else {
+      gradlePrefix = existsSync(join(workdir, 'gradlew')) ? './gradlew' : 'gradle'
+    }
+    return {
+      project: { type: 'gradle' },
+      commands: {
+        build: `${gradlePrefix} build`,
+        test: `${gradlePrefix} test`,
+        lint: `${gradlePrefix} check`,
+      },
+    }
+  }
+
+  // 4. make（test 命令从 Makefile 解析；build/lint 无则省略）
+  const makefilePath = join(workdir, 'Makefile')
+  if (existsSync(makefilePath)) {
+    const makefileText = readFileSync(makefilePath, 'utf8')
+    const test = parseMakefileTestCommand(makefileText)
+    return {
+      project: { type: 'make' },
+      commands: { test },
+    }
+  }
+
+  // 5. generic
+  return {
+    project: { type: 'generic' },
+    commands: {},
+  }
+}

package/.worktrees/542c4415/src/local-register.js

@@ -0,0 +1,104 @@
+/**
+ * local-register.js — `sillyspec local register-repo <key> <path>` 的 repos: 段外科手术式写入。
+ *
+ * 背景（2026-08-21 agent-手工产出审计项④）：跨仓 change 的 repo key 必须在 local.yaml
+ * `repos:` 段注册（MultiRepoContext 约束② fail-closed），此前靠 agent 手编 YAML——正是
+ * agent 满目录找/在根目录乱建 local.yaml 的上游。本模块只动 `repos:` 段：已有该 key 就地
+ * 改值，没有就插入段内；其余内容（注释/凭据段/手调配置）逐行原样保留，绝不整文件重序列化。
+ *
+ * 写入口径与 parseRepoRegistry（plan-postcheck.js，读侧）成对：
+ *   repos:
+ *     sillyspec: C:/Users/you/IdeaProjects/sillyspec
+ *     # main 不用注册（隐式 = cwd）
+ *
+ * 文件不存在时新建只含 repos: 段的 minimal local.yaml（真实 local.yaml 其余段由
+ * `sillyspec local detect` / `platform connect` 各自补齐）。落盘走 writeAtomicSync
+ * （tmp+rename，防多会话并发写半截，与 local detect 写入口径一致）。
+ */
+import { existsSync, readFileSync, mkdirSync } from 'fs'
+import { dirname } from 'path'
+import { writeAtomicSync } from './fs-atomic.js'
+
+function escapeRe(s) {
+  return s.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')
+}
+
+/**
+ * 把 `<key>: <path>` 注册进 local.yaml 的 repos: 段（幂等，已有该 key 则改值）。
+ *
+ * @param {string} yamlPath - local.yaml 绝对路径（不存在则新建）
+ * @param {string} key - repo key（限 [A-Za-z0-9_.\-]+，'main' 隐式禁止注册）
+ * @param {string} repoPath - 跨仓仓根绝对路径（写入时统一正斜杠，与示例格式一致）
+ * @returns {{ fileCreated: boolean, sectionCreated: boolean, replaced: boolean }}
+ * @throws {Error} key 非法 / key='main' / repoPath 空 / 读写失败
+ */
+export function registerRepoInLocalYaml(yamlPath, key, repoPath) {
+  if (!yamlPath) throw new Error('registerRepoInLocalYaml: yamlPath 不能为空')
+  if (!key || !/^[A-Za-z0-9_.\-]+$/.test(key)) {
+    throw new Error(`repo key 非法: "${key}"（限字母数字 . _ -，与 parseRepoRegistry 读侧口径一致）`)
+  }
+  if (key === 'main') {
+    throw new Error("repo key 'main' 不用注册（隐式 = 主仓 cwd），跨仓仓才需要 register-repo")
+  }
+  if (!repoPath) throw new Error('registerRepoInLocalYaml: repoPath 不能为空')
+
+  const existed = existsSync(yamlPath)
+  // CRLF 归一后按 LF 写回（同 task 卡锚点写入的 CRLF 坑；local.yaml 各 CLI 写入口径均 LF）
+  const raw0 = existed ? readFileSync(yamlPath, 'utf8') : ''
+  const hadCr = raw0.includes('\r') // 磁盘原文带 CRLF → 幂等路径也要落盘治愈（见下方幂等分支）
+  const raw = existed ? raw0.replace(/\r\n?/g, '\n') : ''
+  const posixPath = String(repoPath).replace(/\\/g, '/')
+  const entryLine = `  ${key}: ${posixPath}`
+
+  const write = (text) => {
+    mkdirSync(dirname(yamlPath), { recursive: true })
+    writeAtomicSync(yamlPath, text)
+  }
+
+  const lines = raw.split('\n')
+  // repos: 段起点（顶层 key 行，与 parseRepoRegistry 同口径）
+  let reposIdx = -1
+  for (let i = 0; i < lines.length; i++) {
+    if (/^repos:\s*(?:#.*)?$/.test(lines[i])) { reposIdx = i; break }
+  }
+
+  if (reposIdx === -1) {
+    // 无 repos: 段 → 文件尾追加（保留既有内容与注释；空文件/新文件直接起段）
+    const sep = raw.trim() === '' ? '' : (raw.endsWith('\n') ? '' : '\n') + '\n'
+    write(raw + sep + `repos:\n${entryLine}\n`)
+    return { fileCreated: !existed, sectionCreated: true, replaced: false }
+  }
+
+  // 段范围：reposIdx+1 起到下一个顶层 key（行首非空白非注释）为止（与 parseRepoRegistry 同口径）
+  let end = lines.length
+  for (let i = reposIdx + 1; i < lines.length; i++) {
+    const l = lines[i]
+    if (l.length > 0 && !/^[\s#]/.test(l) && l.trim() !== '') { end = i; break }
+  }
+
+  // 已有该 key → 就地改值（幂等）
+  const keyRe = new RegExp(`^\\s+${escapeRe(key)}:\\s`)
+  for (let i = reposIdx + 1; i < end; i++) {
+    if (keyRe.test(lines[i])) {
+      if (lines[i] === entryLine) {
+        // 坑 register-repo-crlf-idempotent-loop：磁盘原文带 CRLF 时（agent Write 工具/Windows
+        // 编辑器写入），内存归一后比对相等直接跳过 → 磁盘永不治愈 + CLI 报 ✅ 假成功 → 解析侧
+        // （修复前）空 Map → MultiRepoContext 报「未注册」→ 死循环。幂等路径也落盘一次治愈。
+        if (hadCr) write(lines.join('\n'))
+        return { fileCreated: false, sectionCreated: false, replaced: false } // 值未变，幂等跳过
+      }
+      lines[i] = entryLine
+      write(lines.join('\n'))
+      return { fileCreated: false, sectionCreated: false, replaced: true }
+    }
+  }
+
+  // 无该 key → 插到段内最后一个非空行（条目或段内注释）之后
+  let insertAt = reposIdx + 1
+  for (let i = reposIdx + 1; i < end; i++) {
+    if (lines[i].trim() !== '') insertAt = i + 1
+  }
+  lines.splice(insertAt, 0, entryLine)
+  write(lines.join('\n'))
+  return { fileCreated: false, sectionCreated: false, replaced: false }
+}