cc-devflow 4.3.0 → 4.4.1

package/lib/harness/planner.js

@@ -1,272 +0,0 @@
-/**
- * [INPUT]: 依赖 store 读取 TASKS.md 与输出路径，依赖 schemas 校验 manifest。
- * [OUTPUT]: 对外提供 TASKS.md → task-manifest.json 的解析与生成能力。
- * [POS]: harness 计划编排层，被 operations/plan 直接调用。
- * [PROTOCOL]: 变更时更新此头部，然后检查 CLAUDE.md
- */
-
-const {
-  nowIso,
-  readText,
-  readJson,
-  writeJson,
-  exists,
-  getTaskManifestPath,
-  getTasksMarkdownPath
-} = require('./store');
-const { parseManifest } = require('./schemas');
-
-const TASK_LINE = /^- \[( |x|X)\]\s+(T\d{3})\s*(.*)$/;
-const TRAILING_PATHS = /\(([^)]+)\)\s*$/;
-const DEPENDS_TAG = /dependsOn:([A-Za-z0-9_,-]+)/i;
-
-function normalizeTitle(rawTitle) {
-  return rawTitle
-    .replace(/\[P\]/g, '')
-    .replace(DEPENDS_TAG, '')
-    .trim();
-}
-
-function parseTouches(rawTail) {
-  const match = rawTail.match(TRAILING_PATHS);
-  if (!match) {
-    return [];
-  }
-
-  return match[1]
-    .split(',')
-    .map((item) => item.trim())
-    .filter(Boolean);
-}
-
-function parseDependsOn(rawTail, fallbackDependsOn, isParallel) {
-  const explicit = rawTail.match(DEPENDS_TAG);
-  if (explicit) {
-    return explicit[1]
-      .split(',')
-      .map((item) => item.trim())
-      .filter(Boolean);
-  }
-
-  if (isParallel || !fallbackDependsOn) {
-    return [];
-  }
-
-  return [fallbackDependsOn];
-}
-
-function parseTasksMarkdown(content) {
-  const lines = content.split(/\r?\n/);
-  const tasks = [];
-  let previousTaskId = null;
-
-  for (const line of lines) {
-    const match = line.match(TASK_LINE);
-    if (!match) {
-      continue;
-    }
-
-    const [, doneMark, taskId, tail] = match;
-    const isParallel = /\[P\]/.test(tail);
-    const touches = parseTouches(tail);
-    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}"`],
-      checks: [],
-      status: doneMark.toLowerCase() === 'x' ? 'passed' : 'pending',
-      attempts: 0,
-      maxRetries: 1
-    });
-
-    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 [
-    {
-      id: 'T001',
-      title: `Bootstrap ${changeId}`,
-      dependsOn: [],
-      touches: [],
-      run: [`echo "[TASK T001] Bootstrap ${changeId}"`],
-      checks: [],
-      status: 'pending',
-      attempts: 0,
-      maxRetries: 1
-    }
-  ];
-}
-
-async function createTaskManifest({ repoRoot, changeId, goal, overwrite = false }) {
-  const manifestPath = getTaskManifestPath(repoRoot, changeId);
-
-  if (!overwrite && (await exists(manifestPath))) {
-    const existing = await readJson(manifestPath);
-    return parseManifest(existing);
-  }
-
-  const tasksPath = getTasksMarkdownPath(repoRoot, changeId);
-  const hasTasksFile = await exists(tasksPath);
-  const rawTasks = hasTasksFile ? parseTasksMarkdown(await readText(tasksPath)) : [];
-  const tasks = rawTasks.length > 0 ? rawTasks : buildDefaultTasks(changeId);
-
-  const manifest = parseManifest({
-    changeId,
-    goal: goal || `Deliver ${changeId} safely with auditable checkpoints.`,
-    createdAt: nowIso(),
-    updatedAt: nowIso(),
-    tasks,
-    metadata: {
-      source: hasTasksFile ? 'TASKS.md' : 'default',
-      generatedBy: 'harness:plan'
-    }
-  });
-
-  await writeJson(manifestPath, manifest);
-  return manifest;
-}
-
-module.exports = {
-  parseTasksMarkdown,
-  createTaskManifest
-};

package/lib/harness/query.js

@@ -1,126 +0,0 @@
-/**
- * [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

@@ -1,129 +0,0 @@
-/**
- * [INPUT]: 依赖 zod 进行运行时 schema 校验，依赖调用方提供 manifest/report/checkpoint 原始对象。
- * [OUTPUT]: 对外提供 Manifest/Task/ReportCard/Checkpoint schema 与 parse 校验函数。
- * [POS]: harness 内核的类型边界层，被 planner/dispatcher/verifier/release 复用。
- * [PROTOCOL]: 变更时更新此头部，然后检查 CLAUDE.md
- */
-
-const { z } = require('zod');
-
-const CHANGE_ID_PATTERN = /^(REQ|BUG)-\d+$/;
-const TASK_ID_PATTERN = /^[A-Z][A-Z0-9_-]{1,31}$/;
-
-const ChangeIdSchema = z.string().regex(CHANGE_ID_PATTERN, 'Invalid changeId format');
-
-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'),
-  checks: z.array(z.string().min(1)).default([]),
-  status: TaskStatusSchema.default('pending'),
-  attempts: z.number().int().min(0).default(0),
-  maxRetries: z.number().int().min(0).default(1),
-  lastError: z.string().optional()
-});
-
-const ManifestSchema = z.object({
-  changeId: ChangeIdSchema,
-  goal: z.string().min(1).default('Deliver planned requirement changes safely.'),
-  createdAt: z.string().datetime(),
-  updatedAt: z.string().datetime(),
-  tasks: z.array(TaskSchema),
-  metadata: z.object({
-    source: z.enum(['TASKS.md', 'default']).default('default'),
-    generatedBy: z.string().min(1).default('harness:plan')
-  }).default({ source: 'default', generatedBy: 'harness:plan' })
-});
-
-const CheckpointSchema = z.object({
-  changeId: ChangeIdSchema,
-  taskId: z.string().regex(TASK_ID_PATTERN),
-  sessionId: z.string().min(1),
-  status: TaskStatusSchema,
-  summary: z.string().min(1),
-  timestamp: z.string().datetime(),
-  attempt: z.number().int().min(0).default(0)
-});
-
-const GateResultSchema = z.object({
-  name: z.string().min(1),
-  status: z.enum(['pass', 'fail', 'skipped']),
-  command: z.string().min(1),
-  durationMs: z.number().int().min(0),
-  details: z.string().default('')
-});
-
-const ReportCardSchema = z.object({
-  changeId: ChangeIdSchema,
-  overall: z.enum(['pass', 'fail']),
-  quickGates: z.array(GateResultSchema),
-  strictGates: z.array(GateResultSchema),
-  review: z.object({
-    status: z.enum(['pass', 'fail', 'skipped']),
-    details: z.string().default('')
-  }),
-  blockingFindings: z.array(z.string()),
-  timestamp: z.string().datetime()
-});
-
-function parseWithSchema(schema, input, label) {
-  const parsed = schema.safeParse(input);
-  if (parsed.success) {
-    return parsed.data;
-  }
-
-  const issues = parsed.error.issues
-    .map((issue) => `${issue.path.join('.') || '<root>'}: ${issue.message}`)
-    .join('; ');
-  throw new Error(`${label} validation failed: ${issues}`);
-}
-
-function parseManifest(input) {
-  return parseWithSchema(ManifestSchema, input, 'Manifest');
-}
-
-function parseCheckpoint(input) {
-  return parseWithSchema(CheckpointSchema, input, 'Checkpoint');
-}
-
-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,
-  parseHarnessState
-};