cc-devflow 4.2.0 → 4.3.0

package/lib/harness/planner.js

@@ -72,9 +72,13 @@ function parseTasksMarkdown(content) {
     const dependsOn = parseDependsOn(tail, previousTaskId, isParallel);
     const title = normalizeTitle(tail).replace(TRAILING_PATHS, '').trim() || `Task ${taskId}`;
 
+    // 提取任务类型 [TEST] 或 [IMPL]
+    const taskType = extractTaskType(title);
+
     tasks.push({
       id: taskId,
       title,
+      type: taskType,
       dependsOn,
       touches,
       run: [`echo "[TASK ${taskId}] ${title}"`],
@@ -87,9 +91,136 @@ function parseTasksMarkdown(content) {
     previousTaskId = taskId;
   }
 
+  // TDD 顺序验证 (Constitution Article VI)
+  validateTDDOrder(tasks);
+
   return tasks;
 }
 
+function extractTaskType(title) {
+  if (/\[TEST\]/i.test(title)) {
+    return 'TEST';
+  }
+  if (/\[IMPL\]/i.test(title)) {
+    return 'IMPL';
+  }
+  return 'OTHER';
+}
+
+/**
+ * TDD 顺序验证 (Constitution Article VI)
+ *
+ * 规则:
+ * 1. 每个 [IMPL] 任务必须有对应的 [TEST] 任务
+ * 2. [IMPL] 任务必须依赖对应的 [TEST] 任务 (通过 dependsOn)
+ * 3. [TEST] 任务不能依赖 [IMPL] 任务
+ *
+ * @param {Array} tasks - 任务列表
+ * @throws {Error} - TDD 顺序违规时抛出错误
+ */
+function validateTDDOrder(tasks) {
+  const violations = [];
+  const testTasks = tasks.filter(t => t.type === 'TEST');
+  const implTasks = tasks.filter(t => t.type === 'IMPL');
+
+  // 为每个 IMPL 任务查找对应的 TEST 任务
+  for (const implTask of implTasks) {
+    // 提取功能名称 (去除 [IMPL] 标记后的主要描述)
+    const implFeature = extractFeatureName(implTask.title);
+
+    // 查找匹配的 TEST 任务 (使用模糊匹配)
+    const matchingTest = testTasks.find(testTask => {
+      const testFeature = extractFeatureName(testTask.title);
+      // 模糊匹配：检查是否包含相同的核心关键词
+      return isSimilarFeature(testFeature, implFeature);
+    });
+
+    if (!matchingTest) {
+      violations.push(
+        `Task ${implTask.id} (${implTask.title}) missing corresponding TEST task. ` +
+        `Constitution Article VI requires: NO PRODUCTION CODE WITHOUT A FAILING TEST FIRST.`
+      );
+      continue;
+    }
+
+    // 检查依赖关系
+    if (!implTask.dependsOn.includes(matchingTest.id)) {
+      violations.push(
+        `Task ${implTask.id} (${implTask.title}) must depend on ${matchingTest.id} (${matchingTest.title}). ` +
+        `TDD violation: Implementation must come AFTER test.`
+      );
+    }
+  }
+
+  // 检查 TEST 任务不能依赖 IMPL 任务
+  for (const testTask of testTasks) {
+    const implDeps = testTask.dependsOn.filter(depId => {
+      const depTask = tasks.find(t => t.id === depId);
+      return depTask && depTask.type === 'IMPL';
+    });
+
+    if (implDeps.length > 0) {
+      violations.push(
+        `Task ${testTask.id} (${testTask.title}) depends on IMPL tasks: ${implDeps.join(', ')}. ` +
+        `TDD violation: Tests must be written BEFORE implementation.`
+      );
+    }
+  }
+
+  if (violations.length > 0) {
+    throw new Error(
+      `TDD Order Validation Failed (Constitution Article VI):\n\n` +
+      violations.map((v, i) => `${i + 1}. ${v}`).join('\n\n') +
+      `\n\nFix TASKS.md to follow TDD sequence: [TEST] tasks BEFORE [IMPL] tasks.`
+    );
+  }
+}
+
+/**
+ * 从任务标题中提取功能名称
+ * 例如: "[TEST] 用户登录功能" -> "用户登录功能"
+ *       "[IMPL] 用户登录功能" -> "用户登录功能"
+ */
+function extractFeatureName(title) {
+  return title
+    .replace(/\[TEST\]/gi, '')
+    .replace(/\[IMPL\]/gi, '')
+    .replace(/\[P\]/gi, '')
+    .replace(/\(dependsOn:[^)]*\)/gi, '')
+    .replace(/\([^)]*\)/g, '')
+    .trim();
+}
+
+/**
+ * 判断两个功能名称是否相似
+ * 使用核心关键词匹配策略
+ */
+function isSimilarFeature(feature1, feature2) {
+  // 提取核心关键词 (去除常见后缀如"测试"、"实现"、"功能"等)
+  const normalize = (str) => str
+    .replace(/测试$/g, '')
+    .replace(/实现$/g, '')
+    .replace(/功能$/g, '')
+    .replace(/开发$/g, '')
+    .replace(/编写$/g, '')
+    .trim();
+
+  const core1 = normalize(feature1);
+  const core2 = normalize(feature2);
+
+  // 精确匹配
+  if (core1 === core2) {
+    return true;
+  }
+
+  // 包含匹配 (较长的包含较短的)
+  if (core1.length > core2.length) {
+    return core1.includes(core2);
+  } else {
+    return core2.includes(core1);
+  }
+}
+
 function buildDefaultTasks(changeId) {
   return [
     {

package/lib/harness/query.js

@@ -0,0 +1,126 @@
+/**
+ * [INPUT]: 依赖 store 读取 harness-state/task-manifest/report-card，接收 repoRoot 和 changeId。
+ * [OUTPUT]: 对外提供 getProgress/getNextTask/getFullState 查询函数，聚合分散的状态信息。
+ * [POS]: harness 查询工具层，被 CLI 与 skills 调用以获取聚合状态视图。
+ * [PROTOCOL]: 变更时更新此头部，然后检查 CLAUDE.md
+ */
+
+const {
+  getHarnessStatePath,
+  getTaskManifestPath,
+  getReportCardPath,
+  readJson
+} = require('./store');
+
+/**
+ * 获取任务进度统计
+ * @param {string} repoRoot - 仓库根目录
+ * @param {string} changeId - 需求 ID
+ * @returns {Promise<Object>} 进度统计对象
+ */
+async function getProgress(repoRoot, changeId) {
+  const manifestPath = getTaskManifestPath(repoRoot, changeId);
+
+  try {
+    const manifest = await readJson(manifestPath);
+
+    return {
+      totalTasks: manifest.tasks.length,
+      completedTasks: manifest.tasks.filter(t => t.status === 'passed').length,
+      failedTasks: manifest.tasks.filter(t => t.status === 'failed').length,
+      pendingTasks: manifest.tasks.filter(t => t.status === 'pending').length,
+      runningTasks: manifest.tasks.filter(t => t.status === 'running').length,
+      skippedTasks: manifest.tasks.filter(t => t.status === 'skipped').length
+    };
+  } catch (error) {
+    return {
+      totalTasks: 0,
+      completedTasks: 0,
+      failedTasks: 0,
+      pendingTasks: 0,
+      runningTasks: 0,
+      skippedTasks: 0,
+      error: error.message
+    };
+  }
+}
+
+/**
+ * 获取下一个待执行的任务
+ * @param {string} repoRoot - 仓库根目录
+ * @param {string} changeId - 需求 ID
+ * @returns {Promise<Object|null>} 下一个任务对象或 null
+ */
+async function getNextTask(repoRoot, changeId) {
+  const manifestPath = getTaskManifestPath(repoRoot, changeId);
+
+  try {
+    const manifest = await readJson(manifestPath);
+
+    // 找到第一个 pending 状态的任务
+    const nextTask = manifest.tasks.find(t => t.status === 'pending');
+
+    return nextTask || null;
+  } catch (error) {
+    return null;
+  }
+}
+
+/**
+ * 获取完整的聚合状态视图
+ * @param {string} repoRoot - 仓库根目录
+ * @param {string} changeId - 需求 ID
+ * @returns {Promise<Object>} 完整状态对象
+ */
+async function getFullState(repoRoot, changeId) {
+  const statePath = getHarnessStatePath(repoRoot, changeId);
+  const reportPath = getReportCardPath(repoRoot, changeId);
+
+  try {
+    const state = await readJson(statePath);
+    const progress = await getProgress(repoRoot, changeId);
+    const nextTask = await getNextTask(repoRoot, changeId);
+
+    let report = null;
+    try {
+      report = await readJson(reportPath);
+    } catch {
+      // report-card.json 可能不存在（未执行 verify）
+      report = null;
+    }
+
+    return {
+      lifecycle: {
+        changeId: state.changeId,
+        goal: state.goal,
+        status: state.status,
+        initializedAt: state.initializedAt,
+        plannedAt: state.plannedAt,
+        verifiedAt: state.verifiedAt,
+        releasedAt: state.releasedAt,
+        updatedAt: state.updatedAt
+      },
+      progress,
+      nextTask,
+      quality: report ? {
+        overall: report.overall,
+        blockingFindings: report.blockingFindings,
+        timestamp: report.timestamp
+      } : null
+    };
+  } catch (error) {
+    return {
+      error: error.message,
+      lifecycle: null,
+      progress: null,
+      nextTask: null,
+      quality: null
+    };
+  }
+}
+
+module.exports = {
+  getProgress,
+  getNextTask,
+  getFullState
+};

package/lib/harness/schemas.js

@@ -14,9 +14,23 @@ const ChangeIdSchema = z.string().regex(CHANGE_ID_PATTERN, 'Invalid changeId for
 
 const TaskStatusSchema = z.enum(['pending', 'running', 'passed', 'failed', 'skipped']);
 
+const HarnessStatusSchema = z.enum(['initialized', 'planned', 'in_progress', 'verified', 'released']);
+
+const HarnessStateSchema = z.object({
+  changeId: ChangeIdSchema,
+  goal: z.string().min(1),
+  status: HarnessStatusSchema,
+  initializedAt: z.string().datetime(),
+  plannedAt: z.string().datetime().optional(),
+  verifiedAt: z.string().datetime().optional(),
+  releasedAt: z.string().datetime().optional(),
+  updatedAt: z.string().datetime()
+});
+
 const TaskSchema = z.object({
   id: z.string().regex(TASK_ID_PATTERN, 'Invalid task id'),
   title: z.string().min(1, 'Task title is required'),
+  type: z.enum(['TEST', 'IMPL', 'OTHER']).default('OTHER'),
   dependsOn: z.array(z.string().regex(TASK_ID_PATTERN)).default([]),
   touches: z.array(z.string().min(1)).default([]),
   run: z.array(z.string().min(1)).min(1, 'At least one run command is required'),
@@ -94,15 +108,22 @@ function parseReportCard(input) {
   return parseWithSchema(ReportCardSchema, input, 'ReportCard');
 }
 
+function parseHarnessState(input) {
+  return parseWithSchema(HarnessStateSchema, input, 'HarnessState');
+}
+
 module.exports = {
   ChangeIdSchema,
   TaskSchema,
   TaskStatusSchema,
+  HarnessStatusSchema,
+  HarnessStateSchema,
   ManifestSchema,
   CheckpointSchema,
   GateResultSchema,
   ReportCardSchema,
   parseManifest,
   parseCheckpoint,
-  parseReportCard
+  parseReportCard,
+  parseHarnessState
 };

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "cc-devflow",
-    "version": "4.2.0",
+    "version": "4.3.0",
     "description": "DevFlow CLI tool",
     "main": "bin/cc-devflow.js",
     "bin": {

package/.claude/commands/flow/checklist.md

@@ -1,18 +0,0 @@
----
-name: flow-checklist
-description: 'Deprecated. Checklist stage merged into /flow:verify gates.'
----
-
-# /flow:checklist (Deprecated)
-
-`/flow:checklist` 已废弃。
-
-## Migration
-
-- 使用：`/flow:verify "REQ-123"`
-- 严格模式：`/flow:verify "REQ-123" --strict`
-
-## Reason
-
-- Checklist 功能已并入 report-card 门禁模型。
-- 统一 gate 输出为 `devflow/requirements/<REQ_ID>/report-card.json`。

package/.claude/commands/flow/clarify.md

@@ -1,18 +0,0 @@
----
-name: flow-clarify
-description: 'Deprecated. Clarification step removed from default workflow. Use /flow:spec directly.'
----
-
-# /flow:clarify (Deprecated)
-
-`/flow:clarify` 已从默认主链移除。
-
-## Migration
-
-- 直接执行：`/flow:spec "REQ-123"`
-- 如需补充澄清，请将澄清结果写入：`devflow/requirements/<REQ_ID>/context-package.md`
-
-## Reason
-
-- 独立澄清阶段导致链路变长且可恢复点分散。
-- 主链改为 `init -> spec -> dev -> verify -> release`。

package/.claude/commands/flow/new.md

@@ -1,23 +0,0 @@
----
-name: flow-new
-description: 'Deprecated. Use /flow:init -> /flow:spec -> /flow:dev -> /flow:verify -> /flow:release.'
----
-
-# /flow:new (Deprecated)
-
-`/flow:new` 已停止作为默认入口。
-
-## Migration Path
-
-```bash
-/flow:init "REQ-123|Feature|URLs?"
-/flow:spec "REQ-123"
-/flow:dev "REQ-123"
-/flow:verify "REQ-123" --strict
-/flow:release "REQ-123"
-```
-
-## Why
-
-- 旧一键编排耦合了已下线阶段（clarify/checklist/quality）。
-- 新主链将复杂度收敛到 harness 引擎，支持 checkpoint 恢复与分层门禁。

package/.claude/commands/flow/quality.md

@@ -1,21 +0,0 @@
----
-name: flow-quality
-description: 'Deprecated. Use /flow:verify for quick/strict quality gates.'
----
-
-# /flow:quality (Deprecated)
-
-`/flow:quality` 已废弃。
-
-## Migration
-
-```bash
-/flow:verify "REQ-123"
-/flow:verify "REQ-123" --strict
-/flow:verify "REQ-123" --strict --skip-review
-```
-
-## Reason
-
-- 质量验证统一收口到 harness verify。
-- 门禁结果统一输出到 `report-card.json` 并作为 `/flow:release` 唯一准入条件。