sillyspec 3.18.1 → 3.18.3

package/test/knowledge-match.test.mjs

@@ -0,0 +1,231 @@
+/**
+ * knowledge-match.test.mjs — knowledge 关键词匹配引擎测试
+ */
+
+import { join } from 'path'
+import { existsSync, mkdirSync, writeFileSync, rmSync } from 'fs'
+import { fileURLToPath, pathToFileURL } from 'url'
+import { tmpdir } from 'os'
+
+const __filename = fileURLToPath(import.meta.url)
+const __dirname = join(__filename, '..') // join(__dirname, '..') to get parent
+const root = join(__dirname, '..')
+
+const { parseKnowledgeIndex, matchKnowledge } = await import(
+  pathToFileURL(join(root, 'src', 'knowledge-match.js')).href
+)
+
+let passed = 0, failed = 0
+
+function assert(cond, msg) {
+  if (cond) { console.log(`  ✅ PASS: ${msg}`); passed++ }
+  else { console.log(`  ❌ FAIL: ${msg}`); failed++ }
+}
+
+function setup(name) {
+  const dir = join(tmpdir(), `kh-test-${name}`)
+  mkdirSync(dir, { recursive: true })
+  return dir
+}
+function clean(...dirs) {
+  for (const d of dirs) try { rmSync(d, { recursive: true, force: true }) } catch {}
+}
+
+// ── 1: 有匹配条目 → matched=true, entries.length > 0 ──
+console.log('\n=== Test 1: 有匹配条目 → matched=true ===')
+{
+  const dir = setup('t1')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Conventions',
+      '- ESM|module|import → [ESM Only](conventions.md#esm-only)',
+      '',
+      '## Patterns',
+      '- 阶段定义|stage|stages → [Stage Pattern](patterns.md#stage-step-pattern)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'setup ESM module imports')
+    assert(result.matched === true, 'matched is true')
+    assert(result.entries.length === 1, 'one entry matched')
+    assert(result.entries[0].file === 'conventions.md', 'file is conventions.md')
+    assert(result.entries[0].anchor === 'esm-only', 'anchor is esm-only')
+    assert(result.entries[0].keywords.includes('ESM'), 'keywords include ESM')
+  } finally { clean(dir) }
+}
+
+// ── 2: 无匹配条目 → matched=false, report 包含 "no matches" ──
+console.log('\n=== Test 2: 无匹配条目 → matched=false ===')
+{
+  const dir = setup('t2')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Patterns',
+      '- 阶段定义|stage → [Stage Pattern](patterns.md#stage-step-pattern)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'implement authentication flow')
+    assert(result.matched === false, 'matched is false')
+    assert(result.entries.length === 0, 'no entries matched')
+    assert(result.report.includes('no matches'), 'report says no matches')
+  } finally { clean(dir) }
+}
+
+// ── 3: INDEX.md 不存在 → matched=false, report 包含 "not found" ──
+console.log('\n=== Test 3: INDEX.md 不存在 → matched=false ===')
+{
+  const dir = setup('t3')
+  try {
+    const result = matchKnowledge(dir, 'any context')
+    assert(result.matched === false, 'matched is false')
+    assert(result.report.includes('not found'), 'report says not found')
+    assert(result.json.matched === false, 'json.matched is false')
+    assert(result.json.entry_count === 0, 'json.entry_count is 0')
+  } finally { clean(dir) }
+}
+
+// ── 4: INDEX.md 有空锚点引用 → 正常处理（不过度校验）──
+console.log('\n=== Test 4: INDEX.md 有空锚点引用 → 正常处理 ===')
+{
+  const dir = setup('t4')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Conventions',
+      '- naming|camelCase → [Naming](conventions.md)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'naming conventions')
+    assert(result.matched === true, 'matched is true with empty anchor')
+    assert(result.entries[0].anchor === '', 'anchor is empty string')
+    assert(result.entries[0].file === 'conventions.md', 'file is correct')
+  } finally { clean(dir) }
+}
+
+// ── 5: 大小写不敏感匹配 → "STAGE" 匹配 "stage" ──
+console.log('\n=== Test 5: 大小写不敏感匹配 ===')
+{
+  const dir = setup('t5')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Patterns',
+      '- stage|stages → [Stage Pattern](patterns.md#stage-step-pattern)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'implement STAGE definition')
+    assert(result.matched === true, 'STAGE matches stage')
+    assert(result.entries.length === 1, 'one entry matched')
+  } finally { clean(dir) }
+}
+
+// ── 6: report 格式包含 "Knowledge Context" header ──
+console.log('\n=== Test 6: report 格式包含 Knowledge Context header ===')
+{
+  const dir = setup('t6')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Patterns',
+      '- 阶段定义|stage → [Stage Pattern](patterns.md#stage-step-pattern)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'stage configuration')
+    assert(result.report.includes('Knowledge Context'), 'report has Knowledge Context header')
+    assert(result.report.includes('Status: matched'), 'report has Status: matched')
+    assert(result.report.includes('Entries: 1'), 'report has Entries: 1')
+    assert(result.report.includes('patterns.md#stage-step-pattern'), 'report has source')
+  } finally { clean(dir) }
+}
+
+// ── 7: json 结构正确 ──
+console.log('\n=== Test 7: json 结构正确 ===')
+{
+  const dir = setup('t7')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Conventions',
+      '- ESM|module → [ESM Only](conventions.md#esm-only)',
+      '',
+      '## Patterns',
+      '- stage|stages → [Stage Pattern](patterns.md#stage-step-pattern)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, 'stage module setup')
+    const j = result.json
+    assert(j.matched === true, 'json.matched is true')
+    assert(j.entry_count === 2, 'json.entry_count is 2')
+    assert(Array.isArray(j.entries), 'json.entries is array')
+    assert(j.entries.length === 2, 'json.entries length is 2')
+
+    const stageEntry = j.entries.find(e => e.anchor === 'stage-step-pattern')
+    assert(!!stageEntry, 'stage entry found in json')
+    assert(stageEntry.keywords.includes('stage'), 'stage keywords correct')
+    assert(stageEntry.category === 'Patterns', 'stage category correct')
+    assert(stageEntry.file === 'patterns.md', 'stage file correct')
+  } finally { clean(dir) }
+}
+
+// ── 8: 空目录（目录存在但无 INDEX.md）→ no matches ──
+console.log('\n=== Test 8: 空目录（无 INDEX.md）→ no matches ===')
+{
+  const dir = setup('t8')
+  try {
+    const result = matchKnowledge(dir, 'any task')
+    assert(result.matched === false, 'no INDEX.md → matched false')
+    assert(result.report.includes('not found'), 'report says not found')
+  } finally { clean(dir) }
+}
+
+// ── 9: parseKnowledgeIndex 返回正确分类 ──
+console.log('\n=== Test 9: parseKnowledgeIndex 分类正确 ===')
+{
+  const dir = setup('t9')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Known Issues',
+      '- GLM|proxy → [GLM Proxy](known-issues.md#glm-proxy)',
+      '',
+      '## Conventions',
+      '- 命名|naming → [命名规范](conventions.md#naming)',
+    ].join('\n'))
+
+    const entries = parseKnowledgeIndex(dir)
+    assert(entries.length === 2, 'parsed 2 entries')
+    assert(entries[0].category === 'Known Issues', 'first entry category correct')
+    assert(entries[1].category === 'Conventions', 'second entry category correct')
+    assert(entries[0].display === 'GLM Proxy', 'display text correct')
+  } finally { clean(dir) }
+}
+
+// ── 10: taskContext 为空 → no matches ──
+console.log('\n=== Test 10: taskContext 为空 → no matches ===')
+{
+  const dir = setup('t10')
+  try {
+    writeFileSync(join(dir, 'INDEX.md'), [
+      '# Knowledge Index',
+      '',
+      '## Patterns',
+      '- stage → [Stage](patterns.md#stage)',
+    ].join('\n'))
+
+    const result = matchKnowledge(dir, '')
+    assert(result.matched === false, 'empty context → matched false')
+  } finally { clean(dir) }
+}
+
+// ── 汇总 ──
+console.log(`\n${'='.repeat(40)}`)
+console.log(`knowledge-match tests: ${passed} passed, ${failed} failed, ${passed + failed} total`)
+if (failed > 0) process.exit(1)

package/test/plan-execute-contract.test.mjs

@@ -0,0 +1,330 @@
+/**
+ * Plan → Execute Contract v1 测试
+ *
+ * 验证 plan.md 到 execute 的契约：
+ * 1. 各复杂度场景的 plan 校验通过
+ * 2. 非法 plan 被正确拒绝
+ * 3. execute 不复用旧 task
+ */
+import { validatePlanForExecute } from '../src/stages/execute.js'
+
+let failed = 0
+const failures = []
+
+function assert(condition, msg) {
+  if (!condition) {
+    failed++
+    failures.push(msg)
+    console.log(`  ❌ FAIL: ${msg}`)
+  } else {
+    console.log(`  ✅ PASS: ${msg}`)
+  }
+}
+
+console.log('=== Plan → Execute Contract v1 测试 ===\n')
+
+// ─────────────────────────────────────────
+// Case 1: none plan（最小变更）通过
+// ─────────────────────────────────────────
+console.log('--- Case 1: none plan contract 通过 ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 修复 typo
+`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'none plan 应校验通过')
+  assert(result.tasks.length === 1, `应有 1 个 task，实际 ${result.tasks.length}`)
+  assert(result.waves.length === 1, `应有 1 个 wave，实际 ${result.waves.length}`)
+}
+
+// ─────────────────────────────────────────
+// Case 2: light plan 通过
+// ─────────────────────────────────────────
+console.log('\n--- Case 2: light plan contract 通过 ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 添加 API 端点
+- [ ] task-02: 添加前端调用
+`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'light plan 应校验通过')
+  assert(result.tasks.length === 2, `应有 2 个 task，实际 ${result.tasks.length}`)
+}
+
+// ─────────────────────────────────────────
+// Case 3: full plan with waves 通过
+// ─────────────────────────────────────────
+console.log('\n--- Case 3: full plan wave contract 通过 ---')
+{
+  const plan = `# Plan
+
+## Wave 1: 基础设施
+- [ ] task-01: 数据库 schema
+  - 修改: db/migrate/001.sql
+- [ ] task-02: 模型定义
+
+## Wave 2: 业务逻辑
+- [ ] task-03: API 实现
+- [ ] task-04: 业务规则
+
+## Wave 3: 测试
+- [ ] task-05: 集成测试
+  - 参考: tests/integration/
+`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'full plan 应校验通过')
+  assert(result.tasks.length === 5, `应有 5 个 task，实际 ${result.tasks.length}`)
+  assert(result.waves.length === 3, `应有 3 个 wave，实际 ${result.waves.length}`)
+  assert(result.tasks[0].index === 1, 'task-01 index 应为 1')
+  assert(result.tasks[4].index === 5, 'task-05 index 应为 5')
+}
+
+// ─────────────────────────────────────────
+// Case 4: 无 checkbox task 失败
+// ─────────────────────────────────────────
+console.log('\n--- Case 4: 无 checkbox task 失败 ---')
+{
+  const plan = `# Plan
+
+这个 plan 只有描述，没有任何 task。
+
+## 注意事项
+- 设计文档已就绪
+`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, '无 checkbox task 应失败')
+  assert(result.errors.some(e => e.includes('checkbox task')), '错误应提到 checkbox task')
+}
+
+// ─────────────────────────────────────────
+// Case 5: task id 重复失败
+// ─────────────────────────────────────────
+console.log('\n--- Case 5: task id 重复失败 ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 第一个任务
+- [ ] task-01: 重复的任务
+`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, 'task id 重复应失败')
+  assert(result.errors.some(e => e.includes('重复')), '错误应提到重复')
+}
+
+// ─────────────────────────────────────────
+// Case 6: task id 不连续失败
+// ─────────────────────────────────────────
+console.log('\n--- Case 6: task id 不连续失败 ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 第一个
+- [ ] task-03: 跳过了第二个
+`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, 'task id 不连续应失败')
+  assert(result.errors.some(e => e.includes('不连续')), '错误应提到不连续')
+}
+
+// ─────────────────────────────────────────
+// Case 7: 空 plan 失败
+// ─────────────────────────────────────────
+console.log('\n--- Case 7: 空 plan 失败 ---')
+{
+  const result1 = validatePlanForExecute('')
+  assert(!result1.ok, '空字符串应失败')
+
+  const result2 = validatePlanForExecute(null)
+  assert(!result2.ok, 'null 应失败')
+
+  const result3 = validatePlanForExecute('   ')
+  assert(!result3.ok, '纯空格应失败')
+}
+
+// ─────────────────────────────────────────
+// Case 8: task name 非空
+// ─────────────────────────────────────────
+console.log('\n--- Case 8: task name 为空失败 ---')
+{
+  // 注意：parseWavesFromPlan 在 task name 为空字符串时可能不触发
+  // 这个 case 验证 validator 能检测到空 name
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 
+`
+  const result = validatePlanForExecute(plan)
+  // task name 为空时 trim 后为空
+  if (result.tasks.length > 0 && !result.tasks[0].name.trim()) {
+    assert(!result.ok, 'task name 为空应失败')
+  } else {
+    // 如果 parser 把空 name 过滤了，那至少 plan 能解析
+    console.log('  ℹ️  parser 过滤了空 name，跳过此 case')
+  }
+}
+
+// ─────────────────────────────────────────
+// Case 9: task 无 id 只有 warning
+// ─────────────────────────────────────────
+console.log('\n--- Case 9: task 无 id 只有 warning ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] 实现登录功能
+`
+  const result = validatePlanForExecute(plan)
+  // 无 id 的 task 只产生 warning，不阻止执行
+  assert(result.ok, '无 id task 不应阻止执行')
+  assert(result.warnings.length > 0, '应有 warning 关于缺少 task id')
+}
+
+// ─────────────────────────────────────────
+// Case 10: 连续 id 从 1 开始
+// ─────────────────────────────────────────
+console.log('\n--- Case 10: task-02 起始不报不连续（兼容） ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-02: 第二个
+- [ ] task-03: 第三个
+`
+  const result = validatePlanForExecute(plan)
+  // 从 task-02 开始，ids[0]=2 ≠ 1，不触发连续性检查
+  assert(result.ok, 'task-02 起始不应报不连续')
+}
+
+// ─────────────────────────────────────────
+// Case 11: 子行信息解析正确
+// ─────────────────────────────────────────
+console.log('\n--- Case 11: 子行信息（修改/参考）解析正确 ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: 实现功能
+  - 修改: src/auth.js
+  - 参考: docs/auth.md
+  - 步骤: 1. 创建模型 2. 写中间件
+`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, '有子行的 plan 应校验通过')
+  assert(result.tasks[0].file === 'src/auth.js', 'task file 应为 src/auth.js')
+  assert(result.tasks[0].reference === 'docs/auth.md', 'task reference 应为 docs/auth.md')
+}
+
+// ─────────────────────────────────────────
+// Case 12: 多 Wave 各自有 task
+// ─────────────────────────────────────────
+console.log('\n--- Case 12: 多 Wave 各自有 task ---')
+{
+  const plan = `# Plan
+
+## Wave 1
+- [ ] task-01: A
+
+## Wave 2
+- [ ] task-02: B
+
+## Wave 3
+- [ ] task-03: C
+`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, '多 Wave plan 应校验通过')
+  assert(result.waves.length === 3, '应有 3 个 wave')
+  assert(result.waves[0].tasks.length === 1, 'wave 1 应有 1 task')
+  assert(result.waves[2].tasks[0].index === 3, 'wave 3 task 应为 task-03')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: valid none plan 通过
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: valid none plan 通过 ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] task-01: 修复 bug\n`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'none plan 应通过 postcheck contract')
+  assert(result.errors.length === 0, '不应有 errors')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: valid light plan 通过
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: valid light plan 通过 ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] task-01: API\n- [ ] task-02: 前端\n`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'light plan 应通过 postcheck contract')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: valid full plan 通过
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: valid full plan 通过 ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] task-01: A\n## Wave 2\n- [ ] task-02: B\n## Wave 3\n- [ ] task-03: C\n`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, 'full plan 应通过 postcheck contract')
+  assert(result.waves.length === 3, '应有 3 个 wave')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: missing checkbox 失败
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: missing checkbox 失败 ---')
+{
+  const plan = `# Plan\n\n只有描述没有 task。\n`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, '无 checkbox 应不通过 postcheck')
+  assert(result.errors.length > 0, '应有 errors')
+  assert(result.errors.some(e => e.includes('checkbox task')), '应有 checkbox task 错误')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: warning 不阻断
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: warning 不阻断 completed ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] 实现功能（无 task id）\n`
+  const result = validatePlanForExecute(plan)
+  assert(result.ok, '有 warning 但应通过 postcheck（不阻断 completed）')
+  assert(result.warnings.length > 0, '应有 warning')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: id 重复失败
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: task id 重复失败 ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] task-01: A\n- [ ] task-01: B\n`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, 'id 重复应不通过 postcheck')
+}
+
+// ─────────────────────────────────────────
+// Plan Postcheck Contract: id 不连续失败
+// ─────────────────────────────────────────
+console.log('\n--- Plan Postcheck: task id 不连续失败 ---')
+{
+  const plan = `# Plan\n\n## Wave 1\n- [ ] task-01: A\n- [ ] task-03: C\n`
+  const result = validatePlanForExecute(plan)
+  assert(!result.ok, 'id 不连续应不通过 postcheck')
+}
+
+// ── 结果 ──
+console.log(`\n${'='.repeat(50)}`)
+console.log(`✅ 通过: ${12 - failed}  ❌ 失败: ${failed}`)
+if (failures.length > 0) {
+  console.log(`失败项:`)
+  failures.forEach(f => console.log(`  - ${f}`))
+}
+console.log(`${'='.repeat(50)}`)
+
+if (failed > 0) process.exit(1)

package/test/platform-failure-samples.test.mjs

@@ -167,6 +167,10 @@ console.log('\n=== Test 5: 正常成功场景 ===')
     // 在 specDir 写 local.yaml
     writeFileSync(join(specDir, 'local.yaml'), 'build: echo ok\ntest: echo ok\n')
 
+    // 创建 knowledge 目录和 INDEX.md（scan 已产出知识）
+    mkdirSync(join(specDir, 'knowledge'), { recursive: true })
+    writeFileSync(join(specDir, 'knowledge', 'INDEX.md'), '# Knowledge Index\n')
+
     const { runScanPostCheck } = await import('../src/scan-postcheck.js')
     const result = runScanPostCheck({ cwd, specDir })