sillyspec 3.28.3 → 3.28.4

package/src/archive-delta.js

@@ -34,6 +34,7 @@ import { parseDecisionDomains, loadModuleMap, deriveActualModules } from './desi
 import { parseModuleMapSimple } from './modules.js'
 import { scanBackendEndpoints } from './endpoint-extractor.js'
 import { diffEndpointSets } from './endpoint-baseline.js'
+import { resolveVerifyChangedFiles } from './verify-postcheck.js'
 
 // ---------------------------------------------------------------------------
 // 小工具（全部 fail-soft：读不到/解析失败 → null / []，不抛出）
@@ -460,3 +461,84 @@ export function writeLastDeltaSidecar(runtimeRoot, summary) {
     return { ok: false, reason: e && e.message ? e.message : String(e) }
   }
 }
+/**
+ * archive 三重核对（2026-09-09 ql-20260909-004，轮次经济学 §3.1 archive 收口机械化）：
+ * module-impact.md 矩阵记录 vs 真实变更文件 vs module-map 归属——机械比对 CLI 代算，
+ * agent 只裁决不一致项。只读，供 archive extract-module-impact 步 prompt 注入/命令消费。
+ * @returns {{ ok: boolean, mismatches: string[], impactFiles: string[], actualFiles: string[], summary: string }}
+ */
+export function auditModuleImpactAgainstDiff({ cwd, changeName, specDir = null }) {
+  const mismatches = []
+  const specBase = specDir || join(cwd, '.sillyspec')
+  const impactPath = join(specBase, 'changes', changeName, 'module-impact.md')
+  let impactText = null
+  try { impactText = readFileSync(impactPath, 'utf8') } catch { /* 缺失由降级路径处理 */ }
+  const actualFiles = (resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase: specDir || join(cwd, '.sillyspec') }) || [])
+    .map(f => String(f).replace(/\\/g, '/'))
+    .filter(f => !f.startsWith('.sillyspec/changes/'))
+  if (!impactText) {
+    return { ok: false, mismatches: ['module-impact.md 不存在（走 --init 降级路径）'], impactFiles: [], actualFiles, summary: `真实变更 ${actualFiles.length} 文件；无 module-impact 可核` }
+  }
+  // 矩阵反引号路径收集（启发式——advisory 注入用，非硬门真相源：无反引号表格格会漏，外部审核 P3-3）
+  const impactFiles = [...impactText.matchAll(/`([^`]+[.](?:js|mjs|ts|py|java|md|yaml))`/g)].map(m => m[1].split(String.fromCharCode(92)).join('/'))
+  const impactSet = new Set(impactFiles)
+  const actualSet = new Set(actualFiles)
+  const inDiffNotDoc = [...actualSet].filter(f => !impactSet.has(f))
+  const inDocNotDiff = [...impactSet].filter(f => !actualSet.has(f))
+  if (inDiffNotDoc.length > 0) mismatches.push(`diff 有而 module-impact 未列（${inDiffNotDoc.length}）：${inDiffNotDoc.slice(0, 5).join('、')}${inDiffNotDoc.length > 5 ? ' …' : ''}`)
+  if (inDocNotDiff.length > 0) mismatches.push(`module-impact 列而 diff 无（${inDocNotDiff.length}）：${inDocNotDiff.slice(0, 5).join('、')}${inDocNotDiff.length > 5 ? ' …' : ''}`)
+  // 第三重：module-map 归属一致性（2026-09-09 外部审核 P2-1——「三重核对」此前名实不符：
+  // 矩阵行的模块列 vs map 前缀推导——误标模块点名；未命中 map 的归 unmatched 提示不判红）
+  const moduleMisattrib = auditImpactModuleAttribution(impactText, actualFiles, specBase)
+  mismatches.push(...moduleMisattrib)
+  return {
+    ok: mismatches.length === 0,
+    mismatches,
+    impactFiles,
+    actualFiles,
+    summary: `module-impact ${impactFiles.length} 文件 × 真实 diff ${actualFiles.length} 文件 × map 归属：${mismatches.length === 0 ? '一致 ✓' : mismatches.length + ' 类不一致'}`,
+  }
+}
+
+/**
+ * 第三重核对（P2-1）：矩阵行「| <模块> | `文件` |」的模块列 vs _module-map.yaml 前缀推导。
+ * 只读 fail-soft：map 不可得 → 返回 []（前两重仍有效，注入文案会带 map 跳过注记）。
+ */
+function auditImpactModuleAttribution(impactText, actualFiles, specBase) {
+  try {
+    // 找 _module-map.yaml（docs/<p>/modules/ 扫描——detectModuleDocHealth 同款）
+    let mapText = null
+    const docsDir = join(specBase, 'docs')
+    if (existsSync(docsDir)) {
+      for (const d of readdirSync(docsDir)) {
+        const cand = join(docsDir, d, 'modules', '_module-map.yaml')
+        if (existsSync(cand)) { mapText = readFileSync(cand, 'utf8'); break }
+      }
+    }
+    if (!mapText) return []
+    const { parseModuleMapPaths } = require_module_impact()
+    const map = parseModuleMapPaths(mapText)
+    const deriveMod = (posixPath) => {
+      for (const [id, paths] of map) {
+        for (const pp of paths) {
+          if (pp.endsWith('/') ? posixPath.startsWith(pp) : (posixPath === pp || posixPath.startsWith(pp + '/'))) return id
+        }
+      }
+      return null
+    }
+    const out = []
+    for (const m of impactText.matchAll(/^\|\s*([^|]+?)\s*\|[^|]*`([^`]+)`/gm)) {
+      const recorded = m[1].trim()
+      const file = m[2].split(String.fromCharCode(92)).join('/')
+      if (recorded.startsWith('---') || recorded.startsWith('模块')) continue
+      const derived = deriveMod(file)
+      if (derived && recorded !== derived && recorded !== 'unmapped') {
+        out.push(`map 归属不一致：${file} 矩阵记「${recorded}」但 map 推导为「${derived}」——修正矩阵模块列或跑 modules rebuild`)
+      }
+    }
+    return out
+  } catch { return [] }
+}
+// 延迟引用（防环：module-impact 不反向依赖本模块）
+import * as _moduleImpactMod from './module-impact.js'
+function require_module_impact() { return _moduleImpactMod }

package/src/change-delete.js

@@ -9,7 +9,8 @@
  *   - DB：status='deleted'（与 archived 语义分离，DB 可直接审计区分，行保留不物理删）
  *   - 目录：changes/<name>/ 物理移除（git tracked 文件删除后照常 commit，历史仍可回溯）
  *   - worktree：复用 archiveWorktreeCleanup（有未 apply 变更时保留 worktree 只警告——
- *     不因删变更丢用户唯一副本的代码；顺带清 execute/stage-review runId marker）
+ *     不因删变更丢用户唯一副本的代码；顺带清 execute/stage-review runId marker
+ *     + 该变更的 runtime 取证（pruneArchivedChangeRuntime））
  *   - git：safeGit add -A 暂存目录删除（best-effort，对齐 archive CLI 下沉 git add）
  *   - 平台：triggerSync 推终态（sync.js 对 status='deleted' 上行墓碑，平台收敛软删）
  *

package/src/change-list.js

@@ -74,8 +74,13 @@ export function globMatch(str, pattern) {
  * @returns {boolean}
  */
 export function pathMatches(a, b) {
-  a = normalizePath(a)
-  b = normalizePath(b)
+  // 坑 platform-sync-progress-rollback-and-db-corruption 坑3：NEW: 前缀（待建文件标记）在
+  // 「比对」语义下剥除对齐——design 清单带 NEW: 的待建文件 vs task allowed_paths 裸路径 /
+  // 主仓脏文件，比的是目标文件而非「新建意图」，剥后两道门禁（brainstorm 幻觉核验要求加
+  // NEW: / plan 覆盖对账按裸路径匹配）不再互斥。仅在比对处剥：存在性核验（design-facts
+  // 的 NEW: 豁免）不走本函数、仍见原文前缀；target_files 解析器（plan-postcheck）本就剥。
+  a = normalizePath(a).replace(/^NEW:/, '')
+  b = normalizePath(b).replace(/^NEW:/, '')
   if (!a || !b) return false
   if (a === b) return true
   if (a.startsWith(b + '/') || b.startsWith(a + '/')) return true

package/src/change-risk-profile.js

@@ -5,6 +5,8 @@
  * 判定 5 级风险（doc-only / unit-sufficient / contract-required /
  * integration-critical / deployment-critical），产出门控验证需求。
  */
+import { readFileSync, statSync } from 'fs'
+import { join } from 'path'
 
 // ============ 向后兼容：旧的 INTEGRATION_CRITICAL_PATTERNS ============
 
@@ -292,10 +294,40 @@ export function checkIntegrationEvidence(verifyContent, requiredVerification, op
   const warnings = []
   const lower = (String(verifyContent || '') + '\n' + String(opts.extraEvidenceText || '')).toLowerCase()
 
-  // 字面证据正则从 VERIFICATION_NEEDS[k].literals 派生——与报错描述、prompt 事前契约严格同源,
-  // 杜绝历史上"描述说 A、正则查 B"的分叉(checkIntegrationEvidence 正则曾比 VERIFICATION_NEEDS
-  // 描述多匹配 集成测试/backend.*daemon/real.*integration 等)。literals 为空的 need
-  // (unit_tests/contract_tests)无字面校验,视为满足。
+  // ── v2 回执槽优先（2026-09-08-ir-verify-facts FR-04，D-003@v1）：「集成验证回执」槽在场时
+  // 走结构化一致性校验（绿判据：logPath 存在 × mtime ∈ verify 窗口 × 日志尾 200 行失败签名
+  // 扫描（噪声剔除）× exitCode===0），literals 降 legacy 回退（存量兼容）。
+  // extraEvidenceText（verify-services 回执注入）保留合并为补充候选文本。CLI 不代跑集成进程。──
+  if (Array.isArray(opts.runtimeEvidence) && opts.runtimeEvidence.length > 0) {
+    const greenReceipts = []
+    const receiptAudit = []
+    for (const r of opts.runtimeEvidence) {
+      const audit = auditRuntimeReceipt(r, opts)
+      receiptAudit.push(audit)
+      if (audit.green) greenReceipts.push(r)
+    }
+    const needsIntegration = requiredVerification.includes('real_daemon_backend_integration')
+    const needsLogEvidence = requiredVerification.includes('runtime_log_evidence')
+    const needsRealStartup = requiredVerification.includes('real_startup_once')
+    // 任一绿回执 = 结构化在场证据（claim 语义由 agent 声明，一致性由 CLI 校验）
+    const hasGreen = greenReceipts.length > 0
+    if (needsIntegration && !hasGreen) {
+      const bad = receiptAudit.filter(a => !a.green)
+      errors.push(`integration-critical 变更无绿回执（${bad.length} 条回执校验不过：${bad.map(a => a.reason).join('；') || '无有效回执'}）——绿判据：log 存在 × mtime ∈ verify 窗口 × 日志无失败签名 × exit 0`)
+    }
+    if (needsLogEvidence && !hasGreen) {
+      errors.push('integration-critical 变更的回执未通过一致性校验（Runtime Evidence 等价物）')
+    }
+    if (needsRealStartup && !hasGreen) {
+      errors.push('deployment-critical 变更无绿回执（真实启动验证）')
+    }
+    if (receiptAudit.some(a => !a.green && a.failSignatures > 0)) {
+      warnings.push('回执日志含失败签名（error/exception/traceback/fatal 行首命中，已剔除「0 errors」类良性行）——确认是否预期内失败')
+    }
+    return { ok: errors.length === 0, errors, warnings, receiptAudit, structured: true }
+  }
+
+  // ── legacy literals 回退（无槽存量格式）──
   const hasEvidence = (k) => {
     const n = VERIFICATION_NEEDS[k]
     if (!n || !n.literals || n.literals.length === 0) return true
@@ -335,5 +367,44 @@ export function checkIntegrationEvidence(verifyContent, requiredVerification, op
     }
   }
 
-  return { ok: errors.length === 0, errors, warnings }
-}
+  return { ok: errors.length === 0, errors, warnings, structured: false }
+}
+
+/**
+ * 单条回执一致性校验（FR-04 绿判据）。噪声剔除：签名行首匹配 + 剔除「0 errors」类良性行
+ * （本仓 verify-postcheck.js 测试输出解析先例同款）。fail-soft：校验依赖缺失（opts 无
+ * cwd/verifyStartAt）时只核 exitCode 与日志可读性，不假装跑了文件校验。
+ */
+function auditRuntimeReceipt(r, opts) {
+  const out = { claim: r && r.claim, logPath: r && r.logPath, green: false, logExists: null, mtimeInWindow: null, failSignatures: 0, exitCode: r && typeof r.exitCode === 'number' ? r.exitCode : null, reason: '' }
+  if (!r || !r.logPath) { out.reason = '回执缺 logPath'; return out }
+  let content = null
+  try {
+    const abs = opts.cwd ? join(opts.cwd, r.logPath) : r.logPath
+    content = readFileSync(abs, 'utf8')
+    out.logExists = true
+  } catch {
+    out.logExists = false
+    out.reason = `日志不存在：${r.logPath}`
+    return out
+  }
+  if (opts.verifyStartAt) {
+    try {
+      const startAt = new Date(opts.verifyStartAt).getTime()
+      out.mtimeInWindow = statSync(opts.cwd ? join(opts.cwd, r.logPath) : r.logPath).mtimeMs >= startAt - 60_000
+      if (!out.mtimeInWindow) { out.reason = `日志 mtime 早于 verifyStartAt（${r.logPath}）`; return out }
+    } catch { out.mtimeInWindow = null }
+  }
+  // 失败签名扫描（日志尾 200 行；行首匹配 + 良性计数行剔除）
+  const tail = content.split('\n').slice(-200)
+  const SIGNATURE_RE = /^(?:error|exception|traceback|fatal)\b/i
+  const BENIGN_RE = /\b0\s+(?:errors?|exceptions?|failures?)\b|no\s+(?:errors?|exceptions?)/i
+  for (const line of tail) {
+    if (SIGNATURE_RE.test(line.trim()) && !BENIGN_RE.test(line)) out.failSignatures++
+  }
+  if (out.failSignatures > 0) { out.reason = `日志含 ${out.failSignatures} 行失败签名（行首 error/exception/traceback/fatal，已剔除良性计数行）`; return out }
+  if (out.exitCode !== 0) { out.reason = `exitCode=${out.exitCode}（非 0 不可用作在场证据）`; return out }
+  out.green = true
+  out.reason = '绿回执（log 存在 × mtime 窗口 × 无失败签名 × exit 0）'
+  return out
+}

package/src/config-cat.js

@@ -1,3 +1,5 @@
+import { homedir } from 'os'
+import { sep } from 'path'
 /**
  * config-cat.js — local.yaml 实际值读取的权威路径解析器（`sillyspec config cat` 数据源）。
  *
@@ -39,9 +41,18 @@ export function resolveLocalYaml(dir, opts = {}) {
     candidates.push({ path: key, source })
   }
 
+  // home 拒绝守卫（e4f2855 resolveSpecDir 同款，2026-09-09 补到 local.yaml 候选链）：
+  // 起点在 home 子树内（如 Temp 下的测试 fixture）时，祖先链走到 home 层不得命中
+  // ~/.sillyspec/local.yaml——那是用户全局配置，不是本项目配置；register-repo 写侧
+  // 经 resolveLocalYamlWriteTarget 同链解析，误命中会把项目注册静默写进全局配置
+  // （local-register.test.mjs 实证）。
+  const home = homedir()
+  const originBelowHome = start !== home && start.startsWith(home + sep)
   if (opts.specBase) push(join(opts.specBase, 'local.yaml'), 'spec 根（--spec-dir/平台 pointer/最近 .sillyspec）')
   for (let d = start; ; d = dirname(d)) {
-    push(join(d, '.sillyspec', 'local.yaml'), 'cwd 祖先链（worktree 内向上命中主仓）')
+    if (!(originBelowHome && d === home)) {
+      push(join(d, '.sillyspec', 'local.yaml'), 'cwd 祖先链（worktree 内向上命中主仓；home 层受守卫跳过）')
+    }
     const parent = dirname(d)
     if (parent === d) break
   }

package/src/constants.js

@@ -93,7 +93,9 @@ export const AUXILIARY_STAGES = Object.freeze([
 // 供 command.js 判断 status/doctor 等查询型辅助阶段执行只读短路（FR-04 / D-005@v2）。
 export const READONLY_AUXILIARY_STAGES = Object.freeze([
   'status',
-  'doctor',
+  // doctor 移出（2026-09-09-doctor-noai D-001@v1）：阶段形态走状态机（noAI 诊断步 +
+  // agent 修复步——只读短路使 _cliAction 不可达）；顶层 sillyspec doctor 命令的只读
+  // 语义由 index.js case 头部拦截保真（--json/--status 先行分流）。
 ])
 
 // ── IR 严格模式闸门（change: 2026-09-07-ir-hardening，D-001@v1）──

package/src/docs-check.js

@@ -1122,3 +1122,37 @@ export function runChangeNameAdvisory(opts) {
   findings.sort((a, b) => a.doc.localeCompare(b.doc) || a.docLine - b.docLine || a.name.localeCompare(b.name))
   return { empty: scanned === 0, scannedDocs: scanned, mentions, uniqueNames: seenNames.size, findings, exempted }
 }
+
+/**
+ * 行号漂移自动重锚（quick --done 接线面，2026-09-08 用户反馈②）：活文档 file:line 硬编码
+ * 随任何源码插入失效，每回手跑 `docs check --fix` 是机械活。本函数 = --fix 主链路的编程化
+ * 封装：对给定文档集跑一次失效收集 → 取分类器判定确定性的条目（fixable 唯一/优选命中，
+ * 与 index.js --fix 同源构造 fixes）→ applyFixes 写回 → 同口径复跑得回执。
+ *
+ * 边界（与 --fix 的既定红线一致）：歧义/零命中条目不动（无 --force 逃生口）；仅改写
+ * fixable 条目的行号段，文件名与 token 原样。任何异常上抛由调用方 fail-open。
+ *
+ * @param {string} projectRoot 源码仓根
+ * @param {string[]} docs 本次改动文档的相对路径列表（audit 口径：changedFiles 中的 .md）
+ * @param {{ crossRepoRoots?: string[] }} [cfg] docs-check 配置（readDocsCheckConfig 产物）
+ * @returns {{ applied: number, invalidBefore: number, invalidAfter: number, remaining: number }}
+ *   applied=0 时 invalidBefore/After 同值（无可自动修条目，调用方维持纯 advisory）
+ */
+export function autoReanchorDocRefs(projectRoot, docs, cfg = {}) {
+  // 与 index.js --fix 完全同口径（skip/keywordAssert 透传；undefined 时 runDocsCheck 解构
+  // 默认值兜底：paths 缺省 glob、keywordAssert=true、exempt=true）
+  const scope = { projectRoot, docs, skip: cfg.skip, keywordAssert: cfg.keywordAssert, crossRepoRoots: cfg.crossRepoRoots };
+  const before = runDocsCheck(scope);
+  const fixes = [];
+  for (const inv of before.invalid) {
+    if (inv.fix && inv.fix.fixable === true && Number.isInteger(inv.fix.newLine)) {
+      fixes.push({ doc: inv.doc, docLine: inv.docLine, ref: inv.ref, newRef: inv.ref.replace(/(\d+)(?:-\d+)?$/, String(inv.fix.newLine)) });
+    }
+  }
+  if (fixes.length === 0) {
+    return { applied: 0, invalidBefore: before.invalid.length, invalidAfter: before.invalid.length, remaining: before.invalid.length };
+  }
+  const applied = applyFixes(projectRoot, fixes);
+  const after = runDocsCheck(scope);
+  return { applied: applied.applied, invalidBefore: before.invalid.length, invalidAfter: after.invalid.length, remaining: after.invalid.length };
+}