sillyspec 3.27.6 → 3.27.7

package/.worktrees/542c4415/src/taskcard-placeholders.js

@@ -0,0 +1,21 @@
+/**
+ * taskcard-placeholders.js — TaskCard 骨架占位符标记清单（叶子模块，无 import）。
+ *
+ * 坑 taskcard-placeholder-slip（2026-08-24 用户实证：task-03/04/06/07 留成空骨架直到人工
+ * 审计才发现——validatePlanFeasibility 只查字段存在性/非空，占位值全过）。标记是
+ * buildTaskcardSkeleton 生成的封闭集合，精确匹配零误伤；独立成叶子模块供骨架生成
+ * （taskcard.js）与 plan-postcheck 校验两侧同源 import——放 taskcard.js 会与
+ * plan-postcheck → taskcard → stages/plan → stages/index 形成 ESM 循环（TDZ 实证）。
+ *
+ * verify 字段的 `cd frontend && pnpm exec tsc --noEmit` 刻意不收——它可能是真实命令
+ * （前端项目 tsc 检查），拦了反而误伤；其余标记不可能出现在已填充卡里。
+ */
+export const TASKCARD_PLACEHOLDERS = [
+  { field: 'requirement_ids', marker: 'FR-XX' },
+  { field: 'decision_ids', marker: 'D-XXX' },
+  { field: 'allowed_paths', marker: 'src/example/file.ts' },
+  { field: 'goal', marker: '一句话说明这个 task' },
+  { field: 'implementation', marker: '具体步骤 1' },
+  { field: 'acceptance', marker: '可验证的验收条件 1' },
+  { field: 'constraints', marker: '边界约束 1' },
+]

package/.worktrees/542c4415/src/taskcard.js

@@ -0,0 +1,250 @@
+/**
+ * sillyspec taskcard — 生成 Windows 安全的 TaskCard 骨架
+ *
+ * 背景：plan postcheck 任务卡被拒的根因集中在「LLM 子代理手写 frontmatter 不可靠」——
+ * CRLF 行尾、漏闭合 ---、缺 constraints 等硬校验字段（校验侧已对 CRLF 容错，但闭合/字段
+ * 缺失仍拦）。本命令从源头消灭这类格式错误：骨架由 CLI 用 writeFileSync 直写（字符串
+ * 只含 \n，天然 LF），frontmatter 闭合与硬校验 9 字段由代码保证，子代理只需 Edit 填充
+ * 占位符，不再手写整卡。
+ *
+ * 任务编号/标题从 plan.md checkbox 行自动带出（与 plan.js parseTaskNames 同源，
+ * 保编号不跳号、名称与 plan.md 一致）。
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'fs'
+import { join } from 'path'
+import { git } from './git-helper.js'
+import { nowWallClock } from './datetime.js'
+import { assertSafeChangeName, resolveSpecDir } from './run/shared.js'
+import { parseTaskNames, readTaskRegistryContent } from './stages/plan.js'
+import { parseTaskRegistry } from './stages/execute.js'
+
+/**
+ * 任务号归一：接受 task-01 / task-1 / 01 / 1，统一为 task-NN（两位补零，与任务卡文件名一致）。
+ * @param {string} raw
+ * @returns {string} 形如 task-01
+ */
+export function normalizeTaskId(raw) {
+  const s = String(raw || '').trim()
+  const m = s.match(/^(?:task-)?(\d+)$/i)
+  if (!m) {
+    throw new Error(`任务号格式非法: "${s}"（应为 task-NN 或 NN，可逗号分隔多个）`)
+  }
+  return `task-${String(m[1]).padStart(2, '0')}`
+}
+
+// 占位符标记清单移至叶子模块 taskcard-placeholders.js（本文件与 plan-postcheck 两侧同源；
+// 留在此处会与 plan-postcheck → taskcard → stages/plan → stages/index 形成 ESM 循环 TDZ），
+// 此处 re-export 保持既有 import 兼容（test/taskcard.test.mjs 等直接从本模块取）。
+export { TASKCARD_PLACEHOLDERS } from './taskcard-placeholders.js'
+
+/**
+ * YAML 标量安全序列化（坑 taskcard-title-backtick-yaml，2026-08-20 实证）：plan checkbox 行名
+ * 是自由文本，带反引号（如 "`-p` 参数支持"）时裸插值进 frontmatter——`` ` `` 与 @ 是 YAML 保留
+ * 指示符，js-yaml 直接抛错，契约字段（allowed_paths/constraints 等）随整个 frontmatter 静默丢失，
+ * 靠 plan postcheck 才兜住。统一单引号包裹 + 内部 ' 双写（YAML 标准转义），无边界字符要判。
+ * @param {string} v
+ * @returns {string}
+ */
+function yamlScalar(v) {
+  const s = String(v ?? '')
+  return `'${s.replace(/'/g, "''")}'`
+}
+
+/**
+ * 生成 TaskCard 骨架字符串（纯函数）。
+ *
+ * 硬校验 9 字段（plan-postcheck feasibility）+ 规范字段全部就位，占位符由子代理 Edit 填充；
+ * 可选字段（provides/expects_from/related_tests）默认不生成——缩小 YAML 出错面，何时加的
+ * 判据写在文件尾注释（规则详情见 templates/prompts/taskcard-rules.md）。
+ * 字符串只含 \n：writeFileSync 直写不经任何行尾转换，Windows 下天然 LF 安全。
+ * title/title_zh/author 经 yamlScalar 转义（自由文本防 YAML 指示符炸解析）。
+ *
+ * @param {{ taskId: string, title: string, titleZh: string, author: string, now: string,
+ *           dependsOn?: string[], sets?: Record<string,string> }} p
+ *   dependsOn：tasks.md 行内注解反填（坑 taskcard-design-field-conflicts，2026-08-21 实证）——
+ *     "(depends_on: task-01,02)" 注解由 CLI 解析进 frontmatter，省主代理逐卡裁决
+ *   sets：--set key=value 覆盖（yamlScalar 转义；仅覆盖已存在的标量键，防注入任意结构）
+ * @returns {string}
+ */
+export function buildTaskcardSkeleton({ taskId, title, titleZh, author, now, dependsOn = [], sets = {} }) {
+  const fm = {
+    id: taskId,
+    title: yamlScalar(title),
+    title_zh: yamlScalar(titleZh),
+    author: yamlScalar(author),
+    created_at: now,
+    priority: 'P0',
+    depends_on: (Array.isArray(dependsOn) && dependsOn.length > 0)
+      ? `[${dependsOn.map(d => `'${d}'`).join(', ')}]`
+      : '[]',
+    blocks: '[]',
+    requirement_ids: '[FR-XX]',
+    decision_ids: '[D-XXX@vN]',
+  }
+  // --set 覆盖（白名单键 + yamlScalar 转义值；depends_on 数组形态单独拼不进标量 map，跳过）
+  const SETTABLE_KEYS = new Set(['id', 'title', 'title_zh', 'author', 'priority', 'created_at', 'requirement_ids', 'decision_ids', 'blocks', 'goal'])
+  for (const [k, v] of Object.entries(sets || {})) {
+    if (SETTABLE_KEYS.has(k)) fm[k] = yamlScalar(v)
+  }
+  return `---
+id: ${fm.id}
+title: ${fm.title}
+title_zh: ${fm.title_zh}
+author: ${fm.author}
+created_at: ${fm.created_at}
+priority: ${fm.priority}
+depends_on: ${fm.depends_on}
+blocks: ${fm.blocks}
+requirement_ids: ${fm.requirement_ids}
+decision_ids: ${fm.decision_ids}
+allowed_paths:
+  - src/example/file.ts
+goal: >
+  一句话说明这个 task 要做什么、为什么。
+implementation:
+  - 具体步骤 1
+  - 具体步骤 2
+acceptance:
+  - 可验证的验收条件 1
+  - 可验证的验收条件 2
+verify:
+  - cd frontend && pnpm exec tsc --noEmit
+constraints:
+  - 边界约束 1（如：不加测试）
+  - 边界约束 2（如：不修改传入参数）
+---
+
+<!-- 骨架由 sillyspec taskcard 生成（LF 行尾 + frontmatter 已闭合 + 硬校验 9 字段齐全）。
+     用 Edit tool 填充上方占位符（allowed_paths/goal/implementation/acceptance/verify/constraints 等），
+     勿用 Write 整文件重写——会引入 CRLF 行尾/漏闭合 ---/漏字段回归。
+     ⚠️ plan --done 硬校验会拦截未替换的占位符（FR-XX / D-XXX / src/example/file.ts /
+     一句话说明这个 task / 具体步骤 1 / 可验证的验收条件 1 / 边界约束 1）——占位符视同缺字段。
+     可选字段按需插进上方 frontmatter（规则见 taskcard-rules）：
+     provides:      仅当本 task 给其他 task 提供接口/DTO/响应时填
+     expects_from:  仅当本 task 消费其他 task 的契约时填
+     related_tests: 仅当本 task 改动导致既有测试断言失效时填（测试路径须同时进 allowed_paths） -->
+`
+}
+
+/**
+ * TaskCard 骨架幂等预生成（坑 taskcard-parallel-cli-lock，2026-08-25 实证：plan 生成
+ * TaskCard 步骤让并行 batch 子代理各自跑 sillyspec taskcard CLI，多进程并发撞进度库
+ * SQLite 锁——用户改为主代理预生成骨架+子代理只 Edit 才稳。本函数把该实践内建：
+ * plan gate 前主流程单进程调用，注册表（tasks.md）里有声明而 tasks/ 缺卡的任务一律
+ * 补骨架，已存在跳过不覆盖；骨架占位符硬拦（plan-postcheck）不变——预生成只消灭
+ * CLI 并发与格式错误，不替子代理产语义内容）。
+ *
+ * @param {string} changeName
+ * @param {{ cwd: string, specDir?: string|null }} opts
+ * @returns {{ created: string[], skipped: string[] }}
+ */
+export function ensureTaskcardSkeletons(changeName, opts = {}) {
+  const { cwd, specDir = null } = opts
+  assertSafeChangeName(changeName, '变更名')
+  const changeDir = join(resolveSpecDir(cwd, { specDir }), 'changes', changeName)
+  if (!existsSync(changeDir)) return { created: [], skipped: [] }
+  // 注册表口径与 cmdTaskcard 同源：tasks.md 优先，回退 plan.md（旧归档变更兼容读侧）
+  const tasksMdPath = join(changeDir, 'tasks.md')
+  const planPath = join(changeDir, 'plan.md')
+  const registryPath = existsSync(tasksMdPath) ? tasksMdPath : (existsSync(planPath) ? planPath : null)
+  if (!registryPath) return { created: [], skipped: [] }
+  const registry = parseTaskRegistry(readFileSync(registryPath, 'utf8').replace(/\r\n/g, '\n'))
+  if (registry.length === 0) return { created: [], skipped: [] }
+  const tasksDir = join(changeDir, 'tasks')
+  const missing = registry.map(t => t.id).filter(id => !existsSync(join(tasksDir, `${id}.md`)))
+  if (missing.length === 0) {
+    return { created: [], skipped: registry.map(t => join(tasksDir, `${t.id}.md`)) }
+  }
+  return cmdTaskcard(changeName, { cwd, specDir, taskIds: missing })
+}
+
+
+/**
+ * taskcard 命令主逻辑：定位变更目录 → 解析任务清单（--task 显式列表 / 'all' 从 plan.md 取）→
+ * 逐个写骨架。
+ *
+ * @param {string} changeName 变更名（.sillyspec/changes/ 下目录名）
+ * @param {{ cwd: string, specDir?: string|null, taskIds: string[]|'all', title?: string|null,
+ *           titleZh?: string|null, force?: boolean }} opts
+ *   taskIds：normalizeTaskId 归一后的数组；或字面 'all' 表示从 plan.md 取全部 checkbox 任务
+ * @returns {{ created: string[], skipped: string[], tasksDir: string }}
+ */
+export function cmdTaskcard(changeName, opts = {}) {
+  const { cwd, specDir = null, taskIds, title = null, titleZh = null, force = false, sets = {} } = opts
+  assertSafeChangeName(changeName, '变更名')
+
+  const changeDir = join(resolveSpecDir(cwd, { specDir }), 'changes', changeName)
+  if (!existsSync(changeDir)) {
+    throw new Error(`变更目录不存在: ${changeDir}（先完成 plan 前置步骤，或检查 --change 名）`)
+  }
+
+  // 任务注册表 tasks.md（2026-08-20-task-truth-unify 唯一真相；CRLF 归一后解析，
+  // --all 时强依赖）。tasks.md 缺失回退 plan.md（旧归档变更兼容读侧）。
+  // parseTaskRegistry（坑 taskcard-design-field-conflicts，2026-08-21）：除编号/标题外还带出
+  // 行内注解（[model:xxx] / (depends_on: task-01,02)）——depends_on 直接反填进骨架 frontmatter。
+  let registry = []
+  const tasksMdPath = join(changeDir, 'tasks.md')
+  const planPath = join(changeDir, 'plan.md')
+  const registryPath = existsSync(tasksMdPath) ? tasksMdPath : planPath
+  if (existsSync(registryPath)) {
+    const registryContent = readFileSync(registryPath, 'utf8').replace(/\r\n/g, '\n')
+    registry = parseTaskRegistry(registryContent)
+  }
+
+  let ids
+  if (taskIds === 'all') {
+    if (registry.length === 0) {
+      throw new Error(
+        `--all 需要 tasks.md 中存在 checkbox 任务行（格式 "- [ ] task-XX: 任务名"）` +
+        (existsSync(registryPath) ? '，当前任务清单未解析到任何任务行' : '，且变更目录下未找到 tasks.md/plan.md')
+      )
+    }
+    ids = registry.map(t => t.id)
+  } else if (Array.isArray(taskIds) && taskIds.length > 0) {
+    ids = taskIds
+  } else {
+    throw new Error('缺少任务清单：需 --task task-01[,task-02...] 或 --all')
+  }
+
+  // 标题优先级：--title/--title-zh 参数 > plan.md checkbox 行名称 > 占位符。
+  // 参数仅单任务时可用（多任务各卡标题不同，统一参数必错）。
+  if ((title || titleZh) && ids.length > 1) {
+    throw new Error('--title/--title-zh 仅在 --task 指定单个任务时可用（多任务标题自动取自 plan.md checkbox 行）')
+  }
+
+  const author = (() => {
+    try {
+      // QUAL-01 收口：原 execSync 字符串拼接（经 shell，违反自家注入规约）→ git-helper 数组形式
+      return git(cwd, ['config', 'user.name']) || 'unknown'
+    } catch {
+      return 'unknown'
+    }
+  })()
+  // 本地墙钟（坑 taskcard-created-at-utc：toISOString 落 UTC，本地 09:39 写 01:39，子代理手工改两次）
+  const now = nowWallClock()
+
+  const tasksDir = join(changeDir, 'tasks')
+  mkdirSync(tasksDir, { recursive: true })
+
+  const created = []
+  const skipped = []
+  for (const id of ids) {
+    const reg = registry.find(t => t.id === id)
+    const finalTitle = title || (reg ? reg.name : null) || `${id} fill-english-title`
+    const finalTitleZh = titleZh || (reg ? reg.name : null) || finalTitle
+    const filePath = join(tasksDir, `${id}.md`)
+    if (existsSync(filePath) && !force) {
+      skipped.push(filePath)
+      continue
+    }
+    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 : [],
+      sets,
+    }), 'utf8')
+    created.push(filePath)
+  }
+  return { created, skipped, tasksDir }
+}