sillyspec 3.28.3 → 3.28.5

package/src/taskcard.js

@@ -74,6 +74,7 @@ export function buildTaskcardSkeleton({ taskId, title, titleZh, author, now, dep
     title: yamlScalar(title),
     title_zh: yamlScalar(titleZh),
     author: yamlScalar(author),
+    generated_by: 'sillyspec-taskcard', // P2-e provenance 戳（CLI 骨架出品标记）
     created_at: now,
     priority: 'P0',
     depends_on: (Array.isArray(dependsOn) && dependsOn.length > 0)
@@ -93,6 +94,7 @@ id: ${fm.id}
 title: ${fm.title}
 title_zh: ${fm.title_zh}
 author: ${fm.author}
+generated_by: ${fm.generated_by}
 created_at: ${fm.created_at}
 priority: ${fm.priority}
 depends_on: ${fm.depends_on}
@@ -232,6 +234,18 @@ export function cmdTaskcard(changeName, opts = {}) {
   // 本地墙钟（坑 taskcard-created-at-utc：toISOString 落 UTC，本地 09:39 写 01:39，子代理手工改两次）
   const now = nowWallClock()
 
+  // ── depends_on 的 plan.md Wave 反填（坑 taskcard-depends-wave-backfill，2026-09-10 驾驭
+  // 小结第五批③，三批子代理均发现骨架 depends_on 为空）：注册表行内注解
+  // `(depends_on: task-01,02)` 是第一来源，但 agent 写 tasks.md 常漏注解 → 骨架全空 →
+  // plan-adopt-waves 拓扑退化全进 Wave 1。plan.md Wave 段（`## Wave N` + `- task-NN` 纯 ID
+  // 引用行）是 plan 阶段的分组真相——Wave N 任务 depends_on = Wave N-1 全部任务（波间串行
+  // 波内并行的既定语义，传递闭包等价）。仅注解缺失时兜底，注解在场优先（更细粒度）。
+  const waveDepsByTask = parsePlanWaveDeps(existsSync(planPath) ? planPath : null)
+  function depsFor(id, reg) {
+    if (reg && Array.isArray(reg.dependsOn) && reg.dependsOn.length > 0) return reg.dependsOn
+    return waveDepsByTask.get(id) || []
+  }
+
   const tasksDir = join(changeDir, 'tasks')
   mkdirSync(tasksDir, { recursive: true })
 
@@ -248,12 +262,41 @@ export function cmdTaskcard(changeName, opts = {}) {
     }
     writeFileSync(filePath, buildTaskcardSkeleton({
       taskId: id, title: finalTitle, titleZh: finalTitleZh, author, now,
-      // depends_on 从 tasks.md 行内注解反填（坑 taskcard-design-field-conflicts）：注册表
-      // 注解与 plan/design 的依赖声明同源，骨架直接带上省主代理逐卡转录
-      dependsOn: reg ? reg.dependsOn : [],
+      // depends_on 双来源：① tasks.md 行内注解反填（坑 taskcard-design-field-conflicts）
+      // ②注解缺失时按 plan.md Wave 分组兜底（坑 taskcard-depends-wave-backfill，见上）
+      dependsOn: depsFor(id, reg),
       sets,
     }), 'utf8')
     created.push(filePath)
   }
   return { created, skipped, tasksDir }
 }
+
+/**
+ * plan.md Wave 段解析 → 每任务的跨波依赖（Wave N 任务 → Wave N-1 全部任务 ID）。
+ * Wave 段形态（plan 铁律）：`## Wave N` 标题 + `- task-NN` 纯 ID 引用行。Wave 1 / 无 Wave /
+ * 解析异常 → 空 Map（调用方回退注解来源，fail-soft）。
+ * @param {string|null} planPath plan.md 绝对路径（null → 空 Map）
+ * @returns {Map<string, string[]>} taskId → 前一波任务 ID 列表
+ */
+export function parsePlanWaveDeps(planPath) {
+  const out = new Map()
+  if (!planPath) return out
+  let content
+  try { content = readFileSync(planPath, 'utf8').replace(/\r\n/g, '\n') } catch { return out }
+  const waves = [] // 每元素：task id 数组（按 Wave 标题出现顺序）
+  let cur = null
+  for (const line of content.split('\n')) {
+    const w = line.match(/^##\s+Wave\s+(\d+)\s*$/i)
+    if (w) { cur = []; waves.push(cur); continue }
+    if (cur === null) continue
+    const t = line.match(/^[-*]\s+(task-\d{1,3})\s*$/i)
+    if (t) cur.push(`task-${t[1].replace(/^task-/i, '').padStart(2, '0')}`)
+  }
+  for (let w = 1; w < waves.length; w++) {
+    const prev = waves[w - 1]
+    if (!prev || prev.length === 0) continue
+    for (const id of waves[w]) out.set(id, [...prev])
+  }
+  return out
+}

package/src/validate-artifacts.js

@@ -0,0 +1,163 @@
+/**
+ * validate-artifacts.js（P2-d，noai-ir-roadmap §5）：产物 schema 校验总命令的实现体。
+ *
+ * 背景：verify-facts 是唯一有真 validator 的 artifact（validateFactsV2），review.json/
+ * verify-required-evidence/endpoints/module-map 各自散落或无独立校验入口。本模块把既有
+ * 校验器聚合为一把伞（`sillyspec validate --change <c>`）：逐产物 pass/fail/skip 三态 +
+ * exit 1 on fail——「新解析器写之前先过 schema」有了统一落点。
+ *
+ * 复用面（不重复造校验器）：verify-facts validateFactsV2 / task review validateReviewSchema /
+ * stage review validateStageReviewSchema / module-map parseModuleMapSimple。轻形状检查仅覆盖
+ * 无既有 validator 的 required-evidence 与 endpoints（容忍缺省，出场才算）。
+ */
+import { existsSync, readFileSync, readdirSync } from 'node:fs'
+import { join } from 'node:path'
+
+function checkJson(path, fn) {
+  if (!existsSync(path)) return { status: 'skip', reason: '不存在（未生成，不算失败）' }
+  let data
+  try {
+    data = JSON.parse(readFileSync(path, 'utf8'))
+  } catch (e) {
+    return { path, status: 'fail', issues: [`JSON 解析失败: ${e.message}`] }
+  }
+  try {
+    const issues = fn(data) || []
+    return { path, status: issues.length > 0 ? 'fail' : 'pass', issues }
+  } catch (e) {
+    return { path, status: 'fail', issues: [e.message] }
+  }
+}
+
+/**
+ * 校验一个变更的全部结构化产物。
+ * @returns {{ checks: Array<{ artifact: string, path?: string, status: 'pass'|'fail'|'skip', issues?: string[], reason?: string }>, ok: boolean }}
+ */
+export async function validateChangeArtifacts({ cwd, specBase, changeName, runtimeRoot }) {
+  const checks = []
+  const changeDir = join(specBase, 'changes', changeName)
+  const rt = runtimeRoot || join(specBase, '.runtime')
+
+  // ① verify-facts.json（既有真 validator）
+  {
+    const { validateFactsV2 } = await import('./verify-facts-schema.js')
+    const r = checkJson(join(changeDir, 'verify-facts.json'), (d) => {
+      const v = validateFactsV2(d)
+      return v && !v.ok ? (v.errors || ['validateFactsV2 不通过']) : []
+    })
+    checks.push({ artifact: 'verify-facts.json', ...r })
+  }
+
+  // ② verify-required-evidence.json（轻形状：execute Task Review Gate 的 cannot_verify 账）
+  {
+    const r = checkJson(join(changeDir, 'verify-required-evidence.json'), (d) => {
+      const issues = []
+      if (!d || typeof d !== 'object' || !Array.isArray(d.items)) issues.push('顶层缺 items 数组')
+      else {
+        for (const it of d.items) {
+          if (!it || typeof it.task !== 'string') issues.push(`items[].task 非字符串: ${JSON.stringify(it).slice(0, 60)}`)
+          if (!Array.isArray(it.evidence)) issues.push(`${it && it.task}: evidence 非数组`)
+        }
+      }
+      return issues
+    })
+    checks.push({ artifact: 'verify-required-evidence.json', ...r })
+  }
+
+  // ③ task review.json（最新 execute run 的逐 task 产物——既有 validateReviewSchema）
+  {
+    const markerPath = join(rt, `current-execute-run-id-${changeName}`)
+    const runId = existsSync(markerPath) ? readFileSync(markerPath, 'utf8').trim() : null
+    if (!runId) {
+      checks.push({ artifact: 'task reviews', status: 'skip', reason: '无 execute run marker（未经 execute 或已清理）' })
+    } else {
+      const tasksDir = join(rt, 'execute-runs', runId, 'tasks')
+      const files = existsSync(tasksDir) ? readdirSync(tasksDir).filter((d) => existsSync(join(tasksDir, d, 'review.json'))).map((d) => join(tasksDir, d, 'review.json')) : []
+      if (files.length === 0) {
+        checks.push({ artifact: 'task reviews', status: 'skip', reason: `run ${runId} 无 review.json` })
+      } else {
+        const { validateReviewSchema } = await import('./task-review.js')
+        const issues = []
+        for (const f of files) {
+          try {
+            const v = validateReviewSchema(JSON.parse(readFileSync(f, 'utf8')))
+            if (v && !v.ok) issues.push(`${f}: ${(v.errors || ['schema 不通过']).join('；').slice(0, 120)}`)
+          } catch (e) {
+            issues.push(`${f}: ${e.message}`)
+          }
+        }
+        checks.push({ artifact: `task reviews（${files.length} 个，run ${runId}）`, status: issues.length > 0 ? 'fail' : 'pass', issues })
+      }
+    }
+  }
+
+  // ④ stage reviews（brainstorm/plan/execute 的阶段评审产物——既有 validateStageReviewSchema）
+  {
+    const dir = join(rt, 'stage-reviews')
+    const files = existsSync(dir) ? readdirSync(dir).filter((d) => existsSync(join(dir, d, 'review.json'))).map((d) => join(dir, d, 'review.json')) : []
+    if (files.length === 0) {
+      checks.push({ artifact: 'stage reviews', status: 'skip', reason: '无 stage-reviews 产物' })
+    } else {
+      const { validateStageReviewSchema } = await import('./stage-review.js')
+      const issues = []
+      for (const f of files) {
+        try {
+          const v = validateStageReviewSchema(JSON.parse(readFileSync(f, 'utf8')))
+          if (v && !v.ok) issues.push(`${f}: ${(v.errors || ['schema 不通过']).join('；').slice(0, 120)}`)
+        } catch (e) {
+          issues.push(`${f}: ${e.message}`)
+        }
+      }
+      checks.push({ artifact: `stage reviews（${files.length} 份）`, status: issues.length > 0 ? 'fail' : 'pass', issues })
+    }
+  }
+
+  // ⑤ endpoints 契约产物（contract-artifacts/<change>/<task>/endpoints.json——轻形状）
+  {
+    const dir = join(rt, 'contract-artifacts', changeName)
+    const files = existsSync(dir) ? readdirSync(dir, { withFileTypes: true }).filter((d) => d.isDirectory()).flatMap((d) => existsSync(join(dir, d.name, 'endpoints.json')) ? [join(dir, d.name, 'endpoints.json')] : []) : []
+    if (files.length === 0) {
+      checks.push({ artifact: 'endpoints', status: 'skip', reason: '无 contract-artifacts 产物' })
+    } else {
+      const issues = []
+      for (const f of files) {
+        const r = checkJson(f, (d) => (!d || typeof d !== 'object' || (!Array.isArray(d.endpoints) && !Array.isArray(d)) ? ['缺 endpoints 数组'] : []))
+        if (r.status === 'fail') issues.push(`${f}: ${(r.issues || []).join('；')}`)
+      }
+      checks.push({ artifact: `endpoints（${files.length} 份）`, status: issues.length > 0 ? 'fail' : 'pass', issues })
+    }
+  }
+
+  // ⑥ module-map（全局一份/多份——schema_version 2 + canonical 解析可读）
+  {
+    const { parseModuleMapSimple } = await import('./modules.js')
+    const docsRoot = join(specBase, 'docs')
+    const maps = existsSync(docsRoot) ? readdirSync(docsRoot, { withFileTypes: true }).filter((d) => d.isDirectory() && existsSync(join(docsRoot, d.name, 'modules', '_module-map.yaml'))).map((d) => join(docsRoot, d.name, 'modules', '_module-map.yaml')) : []
+    if (maps.length === 0) {
+      checks.push({ artifact: 'module-map', status: 'skip', reason: '无 _module-map.yaml（未 scan）' })
+    } else {
+      const issues = []
+      for (const m of maps) {
+        const text = readFileSync(m, 'utf8')
+        const sv = text.match(/^schema_version:\s*(\d+)/m)
+        if (!sv) issues.push(`${m}: 缺 schema_version 声明`)
+        else if (sv[1] !== '2') issues.push(`${m}: schema_version=${sv[1]}（期望 2）`)
+        if (!parseModuleMapSimple(text) || Object.keys(parseModuleMapSimple(text)).length === 0) issues.push(`${m}: canonical 解析 0 模块`)
+      }
+      checks.push({ artifact: `module-map（${maps.length} 份）`, status: issues.length > 0 ? 'fail' : 'pass', issues })
+    }
+  }
+
+  return { checks, ok: checks.every((c) => c.status !== 'fail') }
+}
+
+export function renderValidateReport(result) {
+  const lines = ['🧪 产物 schema 校验（validate 总命令）']
+  for (const c of result.checks) {
+    const mark = c.status === 'pass' ? '✅' : c.status === 'skip' ? '⏭️ ' : '❌'
+    lines.push(`   ${mark} ${c.artifact}${c.status === 'skip' ? ' — ' + (c.reason || '跳过') : ''}`)
+    for (const i of (c.issues || []).slice(0, 5)) lines.push(`      - ${i}`)
+  }
+  lines.push(result.ok ? '\n✅ 全部在场产物校验通过（skip = 未生成不算失败）' : `\n❌ ${result.checks.filter((c) => c.status === 'fail').length} 类产物校验失败`)
+  return lines.join('\n')
+}

package/src/verify-facts-schema.js

@@ -0,0 +1,141 @@
+/**
+ * verify-facts-schema.js — verify-facts.json v2 schema 单点（2026-09-08-ir-verify-facts task-01 / D-005@v2）。
+ *
+ * facts v2 的字段/枚举/豁免形态/路径分类/槽段解析集中于此，builder（verify-probes.buildVerifyFacts）、
+ * 对账引擎（verify-postcheck.runVerifyRequiredEvidenceCheck）、集成证据（change-risk-profile 经
+ * stage-contract）、骨架渲染（generateVerifyResultSkeleton）四方 import 同源，禁复制。
+ *
+ * 双层写入模型（D-001@v2）：机器数据（probes/tests/factsConsistency）CLI 直写；判断层
+ * （结论枚举/证据状态/回执声明）经 verify-result.md 受控槽段录入、--done 时 CLI 解析固化
+ * （slot-backfill），单向渲染约束对象是机器数据。
+ */
+export const FACTS_SCHEMA_VERSION = 2
+
+/** 证据状态枚举单源（「## 证据账」槽行 + facts.requiredEvidence[].status 共用） */
+export const EVIDENCE_STATUS = ['satisfied', 'missing', 'partial']
+
+/** 豁免后缀形态：missing + （豁免：<理由>）——机器可解析，无括注的 missing 不算豁免（模块私有：parseEvidenceSlots 内部消费，外部读解析结果的 exempt 字段） */
+const EXEMPTION_RE = /（豁免：[^）]+）/
+
+/** 证据账槽段标题（与 generateVerifyResultSkeleton 渲染逐字一致——避开既有「## Runtime Evidence」人工判断章） */
+export const EVIDENCE_SLOT_HEADING = '## 证据账（cannot_verify 任务）'
+
+/** 集成验证回执槽段标题 */
+export const RECEIPT_SLOT_HEADING = '## 集成验证回执'
+
+/**
+ * verifiedFiles 路径分类：决定核验口径（design Phase 2）。
+ * artifact 类（.runtime/ 日志 / 文档——resolveVerifyChangedFiles 天然不覆盖）核 存在×mtime，
+ * diff 交集豁免；其余（code）核 存在×mtime×diff 交集。
+ * @param {string} path 仓根相对路径（posix）
+ * @returns {'code'|'artifact'}
+ */
+export function classifyVerifiedFile(path) {
+  const p = String(path || '').replace(/\\/g, '/')
+  if (p.startsWith('.runtime/') || p.startsWith('.sillyspec/.runtime/')) return 'artifact'
+  if (/\.(log|txt|out)$/i.test(p)) return 'artifact'
+  if (p.startsWith('.sillyspec/docs/') || p.startsWith('docs/')) return 'artifact'
+  if (p.endsWith('.md') || p.endsWith('.mdx')) return 'artifact'
+  return 'code'
+}
+
+/** 证据账 task 行：`- task-NN: <status> | verifiedFiles: a, b（豁免：…）`——占位 <待填：*> 不命中（fail-closed） */
+const EVIDENCE_LINE_RE = /^- (task-\d+):\s*(satisfied|missing|partial)\b([^\n]*)$/
+
+/** 回执行：`- claim: … | command: … | exit: 0 | log: path`——四字段行首锚定，占位不命中 */
+const RECEIPT_LINE_RE = /^- claim:\s*([^|]+)\|\s*command:\s*([^|]+)\|\s*exit:\s*(\d+)\s*\|\s*log:\s*([^\s|]+)/
+
+/**
+ * 解析 verify-result.md 的两个受控槽段（D-001@v2 slot-backfill 录入界面）。
+ * 占位形态（<待填：三选一> / <待填：0 或非 0>）不含枚举词，行首锚定 + 枚举词双保险 fail-closed。
+ * @param {string} mdText verify-result.md 全文（LF 归一由调用方 readFileSync 层负责或此处容错）
+ * @returns {{ requiredEvidence: Array<{task,status,exempt:boolean,exemptionReason:string|null,verifiedFiles:string[]}>, runtimeEvidence: Array<{claim,command,exitCode,logPath}>, hasEvidenceSlot: boolean, hasReceiptSlot: boolean }}
+ */
+export function parseEvidenceSlots(mdText) {
+  const text = String(mdText || '').replace(/\r\n/g, '\n')
+  const lines = text.split('\n')
+
+  // 槽段定位：标题行到下一个同级/更高级标题或文末
+  const sectionOf = (heading) => {
+    const start = lines.findIndex(l => l.startsWith(heading))
+    if (start === -1) return null
+    const body = []
+    for (let i = start + 1; i < lines.length; i++) {
+      if (/^#{1,2}\s/.test(lines[i])) break
+      body.push(lines[i])
+    }
+    return body
+  }
+
+  const evidenceBody = sectionOf(EVIDENCE_SLOT_HEADING)
+  const receiptBody = sectionOf(RECEIPT_SLOT_HEADING)
+
+  const requiredEvidence = []
+  if (evidenceBody) {
+    for (const line of evidenceBody) {
+      const m = line.match(EVIDENCE_LINE_RE)
+      if (!m) continue
+      const [, task, status, rest] = m
+      const exemptM = rest.match(EXEMPTION_RE)
+      const vfMatch = rest.match(/verifiedFiles:\s*([^\n（]*)/)
+      const verifiedFiles = (vfMatch ? vfMatch[1] : '')
+        .split(',')
+        .map(s => s.trim().replace(/^`|`$/g, ''))
+        .filter(s => s.length > 0 && !s.startsWith('<'))
+      requiredEvidence.push({
+        task,
+        status,
+        exempt: status === 'missing' && !!exemptM,
+        exemptionReason: exemptM ? exemptM[0] : null,
+        verifiedFiles,
+      })
+    }
+  }
+
+  const runtimeEvidence = []
+  if (receiptBody) {
+    for (const line of receiptBody) {
+      const m = line.match(RECEIPT_LINE_RE)
+      if (!m) continue
+      runtimeEvidence.push({
+        claim: m[1].trim(),
+        command: m[2].trim(),
+        exitCode: Number(m[3]),
+        logPath: m[4].trim().replace(/^`|`$/g, ''),
+      })
+    }
+  }
+
+  return {
+    requiredEvidence,
+    runtimeEvidence,
+    hasEvidenceSlot: evidenceBody !== null,
+    hasReceiptSlot: receiptBody !== null,
+  }
+}
+
+/**
+ * facts v2 结构校验（写入前/消费侧防线）。
+ * @param {object} facts
+ * @returns {{ ok: boolean, errors: string[] }}
+ */
+export function validateFactsV2(facts) {
+  const errors = []
+  if (!facts || typeof facts !== 'object') return { ok: false, errors: ['facts 非对象'] }
+  if (facts.schemaVersion !== FACTS_SCHEMA_VERSION) {
+    errors.push(`schemaVersion 应为 ${FACTS_SCHEMA_VERSION}，实际 ${facts.schemaVersion}`)
+  }
+  if (!Array.isArray(facts.probes ? Object.keys(facts.probes) : null)) {
+    errors.push('probes 段缺失或非对象')
+  }
+  if (facts.conclusion != null && !['PASS', 'PASS WITH NOTES', 'FAIL'].includes(facts.conclusion)) {
+    errors.push(`conclusion 非法枚举值：${facts.conclusion}`)
+  }
+  for (const item of facts.requiredEvidence || []) {
+    if (!EVIDENCE_STATUS.includes(item.status)) errors.push(`requiredEvidence[${item.task}] status 非法：${item.status}`)
+    if (item.status === 'satisfied' && (!Array.isArray(item.verifiedFiles) || item.verifiedFiles.length === 0)) {
+      errors.push(`requiredEvidence[${item.task}] satisfied 但 verifiedFiles 为空`)
+    }
+  }
+  return { ok: errors.length === 0, errors }
+}