sillyspec 3.17.15 → 3.18.1

package/test/run-tests.mjs

@@ -1,6 +1,7 @@
 import { readdirSync } from 'node:fs'
 import { dirname, join } from 'node:path'
-import { fileURLToPath, pathToFileURL } from 'node:url'
+import { fileURLToPath } from 'node:url'
+import { execFileSync } from 'node:child_process'
 
 const testDir = dirname(fileURLToPath(import.meta.url))
 const files = readdirSync(testDir)
@@ -12,9 +13,36 @@ if (files.length === 0) {
   process.exit(0)
 }
 
+let passed = 0
+let failed = 0
+const failures = []
+
 for (const file of files) {
+  const fullPath = join(testDir, file)
   console.log(`\nRunning ${file}`)
-  await import(pathToFileURL(join(testDir, file)).href)
+  try {
+    const output = execFileSync(process.execPath, [fullPath], {
+      cwd: testDir,
+      stdio: ['pipe', 'pipe', 'pipe'],
+      encoding: 'utf8',
+      timeout: 120_000
+    })
+    if (output) process.stdout.write(output)
+    passed++
+  } catch (err) {
+    if (err.stdout) process.stdout.write(err.stdout)
+    if (err.stderr) process.stderr.write(err.stderr)
+    failed++
+    failures.push(file)
+    console.log(`  ❌ ${file} exited with code ${err.status || 1}`)
+  }
+}
+
+console.log(`\n${'='.repeat(50)}`)
+console.log(`✅ 通过: ${passed}  ❌ 失败: ${failed}`)
+if (failures.length > 0) {
+  console.log(`失败文件: ${failures.join(', ')}`)
 }
+console.log(`${'='.repeat(50)}`)
 
-console.log(`\nAll ${files.length} test file(s) passed`)
+process.exit(failed > 0 ? 1 : 0)

package/test/scan-paths.test.mjs

@@ -62,7 +62,7 @@ if (content.includes('{PROJECTS_ROOT}/')) {
 
 if (failed) {
   console.error('\n💥 有测试失败！scan.js 路径占位符可能被回退为硬编码。')
-  process.exit(1)
+  throw new Error("test failed")
 } else {
   console.log('\n✅ 全部通过 — scan.js 路径占位符防回归测试 OK')
 }

package/test/scan-postcheck.test.mjs

@@ -5,6 +5,7 @@
 import { join, resolve, dirname, basename } 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 = dirname(__filename)
@@ -20,12 +21,12 @@ function assert(cond, msg) {
 }
 
 function setup(name) {
-  const cwd = join('/tmp', `pc-${name}`)
+  const cwd = join(tmpdir(), `pc-${name}`)
   mkdirSync(cwd, { recursive: true })
   return cwd
 }
 function specSetup(name) {
-  const d = join('/tmp', `pc-${name}-spec`)
+  const d = join(tmpdir(), `pc-${name}-spec`)
   mkdirSync(d, { recursive: true })
   return d
 }
@@ -176,4 +177,4 @@ console.log('\n=== Test 12: failed 优先 ===')
 console.log(`\n${'='.repeat(50)}`)
 console.log(`✅ 通过: ${passed}  ❌ 失败: ${failed}`)
 console.log(`${'='.repeat(50)}`)
-process.exit(failed > 0 ? 1 : 0)
+if (failed > 0) throw new Error(`${failed} test(s) failed`)

package/test/spec-dir.test.mjs

@@ -15,6 +15,7 @@ import { join, resolve, basename, dirname } from 'path'
 import { existsSync, mkdirSync, writeFileSync, rmSync } from 'fs'
 import { fileURLToPath, pathToFileURL } from 'url'
 import { execSync } from 'child_process'
+import { tmpdir } from 'os'
 
 const __filename = fileURLToPath(import.meta.url)
 const __dirname = dirname(__filename)
@@ -39,7 +40,7 @@ function assert(condition, msg) {
 }
 
 function tmpDir(name) {
-  const dir = join('/tmp', `spec-dir-test-${name}-${Date.now()}`)
+  const dir = join(tmpdir(), `spec-dir-test-${name}-${Date.now()}`)
   mkdirSync(dir, { recursive: true })
   return dir
 }
@@ -197,4 +198,4 @@ console.log(`\n${'='.repeat(50)}`)
 console.log(`✅ 通过: ${passed}  ❌ 失败: ${failed}`)
 console.log(`${'='.repeat(50)}`)
 
-process.exit(failed > 0 ? 1 : 0)
+if (failed > 0) throw new Error(`${failed} test(s) failed`)

package/test/stage-contract.test.mjs

@@ -79,7 +79,7 @@ if (verifyResult.ok === false && verifyResult.errors.length > 0) {
 }
 
 // scan validator：文档目录不存在应报错
-const scanResult = runValidators('scan', '/tmp/nonexistent-project', 'test', { projectName: 'test' })
+const scanResult = runValidators('scan', join(tmpdir(), 'nonexistent-project'), 'test', { projectName: 'test' })
 if (scanResult.ok === false && scanResult.errors.length > 0) {
   console.log('✅ scan validator 检测到缺失 scan 文档')
 } else {
@@ -87,12 +87,12 @@ if (scanResult.ok === false && scanResult.errors.length > 0) {
   failed++
 }
 
-// 无 validator 的阶段应该 pass
+// brainstorm 有 validator，但变更目录不存在时应该报错（因为产物不存在）
 const brainstormResult = runValidators('brainstorm', '.', 'test')
-if (brainstormResult.ok === true) {
-  console.log('✅ brainstorm 无 validator 直接通过')
+if (brainstormResult.ok === false && brainstormResult.errors.length > 0) {
+  console.log('✅ brainstorm validator 检测到缺失产物文件')
 } else {
-  console.log('❌ brainstorm 无 validator 但失败了')
+  console.log('❌ brainstorm validator 未检测到缺失产物')
   failed++
 }
 
@@ -138,7 +138,7 @@ if (localResult.ok === false && localResult.errors.length > 0) {
 // 测试3：校验路径指向 specRoot 而非 sourceRoot
 const errors1 = localResult.errors.join(' ')
 const errors2 = specResult.errors.join(' ')
-if (errors1.includes(sourceRoot.replace('/tmp/', '')) || errors1.includes(join(sourceRoot, '.sillyspec').slice(-30))) {
+if (errors1.includes(sourceRoot) || errors1.includes(join(sourceRoot, '.sillyspec'))) {
   console.log('✅ 未传 specRoot 时校验路径指向 source_root')
 } else {
   console.log('✅ 未传 specRoot 时校验失败（文档确实不在 source_root 下）')
@@ -153,6 +153,119 @@ if (!errors2.includes(specRoot)) {
 rmSync(specRoot, { recursive: true })
 rmSync(sourceRoot, { recursive: true })
 
+// === decisions.md traceability validator 测试 ===
+console.log('\n=== decisions traceability validator 测试 ===')
+
+const traceRoot = mkdtempSync(join(tmpdir(), 'sillyspec-trace-'))
+const traceDir = join(traceRoot, '.sillyspec', 'changes', 'trace')
+mkdirSync(traceDir, { recursive: true })
+writeFileSync(join(traceDir, 'proposal.md'), '# Proposal\n\n## 不在范围内\n- none\n')
+writeFileSync(join(traceDir, 'design.md'), '# Design\n\n## 文件变更清单\n\n## 风险登记\n\n## 自审\n\nD-001@v1\n')
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n## D-001@v1: Choose canonical account term\n- priority: P1\n- status: accepted\n')
+writeFileSync(join(traceDir, 'requirements.md'), '# Requirements\n\n### FR-01: Account naming\nGiven x\nWhen y\nThen z\n')
+writeFileSync(join(traceDir, 'tasks.md'), '- [ ] task-01: implement naming (D-001@v1)\n')
+
+const brainstormTrace = runValidators('brainstorm', traceRoot, 'trace')
+if (brainstormTrace.ok === true && brainstormTrace.warnings.some(w => w.includes('requirements.md 未引用') && w.includes('D-001@V1'))) {
+  console.log('✅ brainstorm validator 检测到 requirements.md 缺少 D-001@v1 引用')
+} else {
+  console.log('❌ brainstorm validator 未检测到 requirements.md 缺少 D-001@v1 引用', brainstormTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'requirements.md'), '# Requirements\n\n### FR-01: Account naming\n覆盖决策：D-001@v1\nGiven x\nWhen y\nThen z\n')
+writeFileSync(join(traceDir, 'plan.md'), '# Plan\n\n- [ ] task-01: implement naming\n')
+
+const planTrace = runValidators('plan', traceRoot, 'trace')
+if (planTrace.ok === true
+  && planTrace.warnings.some(w => w.includes('plan.md 未引用') && w.includes('FR-01'))
+  && planTrace.warnings.some(w => w.includes('plan.md 未引用') && w.includes('D-001@V1'))) {
+  console.log('✅ plan validator 检测到 plan.md 缺少 FR-01/D-001@v1 引用')
+} else {
+  console.log('❌ plan validator 未检测到 plan.md 缺少追踪 ID', planTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'plan.md'), '# Plan\n\n- [ ] task-01: implement naming（覆盖：FR-01, D-001@v1）\n')
+writeFileSync(join(traceDir, 'verify-result.md'), '# Verify\n\nPASS\n')
+
+const verifyTrace = runValidators('verify', traceRoot, 'trace')
+if (verifyTrace.ok === true && verifyTrace.warnings.some(w => w.includes('verify-result.md 未引用') && w.includes('D-001@V1'))) {
+  console.log('✅ verify validator 检测到 verify-result.md 缺少 D-001@v1 引用')
+} else {
+  console.log('❌ verify validator 未检测到 verify-result.md 缺少 D-001@v1 引用', verifyTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'verify-result.md'), '# Verify\n\n## 决策追踪矩阵\n| D-001@v1 | FR-01 | task-01 | evidence | PASS |\n')
+const verifyTraceOk = runValidators('verify', traceRoot, 'trace')
+if (verifyTraceOk.ok === true && !verifyTraceOk.warnings.some(w => w.includes('D-001@V1'))) {
+  console.log('✅ verify validator 在 D-001@v1 已覆盖时不再报警')
+} else {
+  console.log('❌ verify validator 覆盖后仍报警', verifyTraceOk)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n## D-002@v1: Unresolved schema conflict\n- priority: P0\n- status: unresolved\n')
+const blockerTrace = runValidators('plan', traceRoot, 'trace')
+if (blockerTrace.ok === false && blockerTrace.errors.some(e => e.includes('P0/P1 未决阻塞') && e.includes('D-002@V1'))) {
+  console.log('✅ plan validator 阻止 P0 unresolved decision 进入 plan')
+} else {
+  console.log('❌ plan validator 未阻止 P0 unresolved decision', blockerTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n- id: D-003@v1\n  priority: P1\n  status: blocking\n  type: boundary\n')
+const yamlBlockerTrace = runValidators('plan', traceRoot, 'trace')
+if (yamlBlockerTrace.ok === false && yamlBlockerTrace.errors.some(e => e.includes('P0/P1 未决阻塞') && e.includes('D-003@V1'))) {
+  console.log('✅ plan validator 支持 list/YAML 风格 decision record')
+} else {
+  console.log('❌ plan validator 未识别 list/YAML 风格 decision record', yamlBlockerTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n- id: D-004@v1\n  status: blocking\n  type: boundary\n')
+const missingPriorityTrace = runValidators('plan', traceRoot, 'trace')
+if (missingPriorityTrace.ok === false
+  && missingPriorityTrace.errors.some(e => e.includes('P0/P1 未决阻塞') && e.includes('D-004@V1') && e.includes('priority=missing->P1'))) {
+  console.log('✅ plan validator 将缺 priority 的 blocking decision 按 P1 阻断')
+} else {
+  console.log('❌ plan validator 未阻断缺 priority 的 blocking decision', missingPriorityTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n- id: D-005@v1\n  status: accepted\n  type: term\n')
+writeFileSync(join(traceDir, 'plan.md'), '# Plan\n\n- [ ] task-01: implement naming（覆盖：FR-01）\n')
+const yamlAcceptedTrace = runValidators('plan', traceRoot, 'trace')
+if (yamlAcceptedTrace.ok === true && yamlAcceptedTrace.warnings.some(w => w.includes('plan.md 未引用') && w.includes('D-005@V1'))) {
+  console.log('✅ plan validator 将 YAML accepted decision 纳入追踪')
+} else {
+  console.log('❌ plan validator 未追踪 YAML accepted decision', yamlAcceptedTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n')
+writeFileSync(join(traceDir, 'requirements.md'), '# Requirements\n\n普通说明提到 https://example.test/spec/FR-404 和注释里的 FR-405，但它们不是结构化需求 ID。\n')
+writeFileSync(join(traceDir, 'plan.md'), '# Plan\n\nNo structured requirement IDs here.\n')
+const looseIdTrace = runValidators('plan', traceRoot, 'trace')
+if (!looseIdTrace.warnings.some(w => w.includes('FR-404') || w.includes('FR-405'))) {
+  console.log('✅ plan validator 忽略普通正文/URL 中的 FR ID')
+} else {
+  console.log('❌ plan validator 误提取普通正文/URL 中的 FR ID', looseIdTrace)
+  failed++
+}
+
+writeFileSync(join(traceDir, 'decisions.md'), '# Decisions\n\n普通说明提到 https://example.test/spec/D-404@v1 和注释里的 D-405@v1，但它们不是结构化决策 ID。\n')
+const looseBrainstormTrace = runValidators('brainstorm', traceRoot, 'trace')
+if (!looseBrainstormTrace.warnings.some(w => w.includes('D-404@V1') || w.includes('D-405@V1'))) {
+  console.log('✅ brainstorm validator 忽略普通正文/URL 中的 D ID')
+} else {
+  console.log('❌ brainstorm validator 误提取普通正文/URL 中的 D ID', looseBrainstormTrace)
+  failed++
+}
+
+rmSync(traceRoot, { recursive: true })
+
 // === StageContract 结构测试 ===
 console.log('\n=== Contract 结构测试 ===')
 
@@ -182,4 +295,4 @@ if (unknown === null) {
 
 // === 结果 ===
 console.log(`\n${failed === 0 ? '✅ 全部通过' : `❌ ${failed} 项失败`}`)
-process.exit(failed > 0 ? 1 : 0)
+if (failed > 0) throw new Error(`${failed} test(s) failed`)

package/test/stage-definitions.test.mjs

@@ -5,7 +5,6 @@ import { buildExecuteSteps } from '../src/stages/execute.js'
 
 const stageSteps = {
   brainstorm: stageRegistry.brainstorm.steps,
-  propose: stageRegistry.propose.steps,
   scan: stageRegistry.scan.steps,
   quick: stageRegistry.quick.steps,
   archive: stageRegistry.archive.steps,
@@ -25,11 +24,8 @@ function assertContains(stage, expectedNames) {
   }
 }
 
-assert.equal(stageSteps.brainstorm.length, 11, 'brainstorm should expose design self-review and final confirmation separately')
-assertContains('brainstorm', ['写设计文档并自审', '用户确认并生成规范文件'])
-
-assert.equal(stageSteps.propose.length, 7, 'propose should expose generation and self-check separately')
-assertContains('propose', ['生成规范文件', '自检门控', '展示并更新进度'])
+assert.equal(stageSteps.brainstorm.length, 13, 'brainstorm should include optional demand clarification and default Design Grill gates')
+assertContains('brainstorm', ['需求澄清 Grill', '写设计文档并自审', 'Design Grill 交叉审查', '用户确认并生成规范文件'])
 
 assert.equal(stageSteps.scan.length, 10, 'scan base definition should stay at 10 steps before per-project expansion')
 assertContains('scan', ['构建扫描项目列表', '生成本地配置', '生成模块映射'])