@dommaker/harness 0.16.6 → 0.16.8

package/src/constraints/index.ts

@@ -1,3 +0,0 @@
-export * from './types';
-export * from './registry';
-export * from './lifecycle-runner';

package/src/core/constraints/__tests__/prompt-injection.test.ts

@@ -1,89 +0,0 @@
-/**
- * Tests for prompt-injection.ts
- *
- * formatConstraintsForPrompt is pure logic — no file I/O, no external state.
- */
-
-import { formatConstraintsForPrompt } from '../prompt-injection';
-
-describe('formatConstraintsForPrompt', () => {
-  it('returns constraints with injectPrompt for deploy role', () => {
-    const result = formatConstraintsForPrompt('deploy');
-    // deploy maps to ['diagnosis'], analysis_verification_gate has diagnosis trigger
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('analysis_verification_gate');
-  });
-
-  it('returns constraints with injectPrompt for monitor role', () => {
-    const result = formatConstraintsForPrompt('monitor');
-    // monitor maps to ['monitoring', 'diagnosis']
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('analysis_verification_gate');
-  });
-
-  it('returns constraints with injectPrompt for triage role', () => {
-    const result = formatConstraintsForPrompt('triage');
-    // triage maps to ['triage', 'diagnosis'], analysis_verification_gate has diagnosis trigger
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('analysis_verification_gate');
-  });
-
-  it('returns formatted constraints for analyst role', () => {
-    const result = formatConstraintsForPrompt('analyst');
-    // analyst has triggers: design_request, api_change, code_implementation
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('铁律');
-    expect(result).toContain('指导原则');
-    expect(result).not.toContain('提示');
-  });
-
-  it('returns formatted constraints for executor role', () => {
-    const result = formatConstraintsForPrompt('executor');
-    // executor has the most triggers
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('铁律');
-    expect(result).toContain('指导原则');
-    expect(result).toContain('提示');
-  });
-
-  it('returns formatted constraints for reviewer role', () => {
-    const result = formatConstraintsForPrompt('reviewer');
-    // reviewer triggers: code_implementation
-    expect(result).toContain('## 行为约束（前置声明）');
-    expect(result).toContain('指导原则'); // has injectPrompt guidelines with code_implementation trigger
-  });
-
-  it('includes constraint IDs in the output', () => {
-    const result = formatConstraintsForPrompt('executor');
-    // Should contain some known constraint IDs
-    expect(result).toContain('**no_self_approval**');
-    expect(result).toContain('**incremental_progress**');
-  });
-
-  it('only includes constraints with promptInjection field', () => {
-    const result = formatConstraintsForPrompt('executor');
-    // docs_freshness has no promptInjection field so should not appear
-    expect(result).not.toContain('**docs_freshness**');
-  });
-
-  it('sorts constraints by level: iron_law, guideline, tip', () => {
-    const result = formatConstraintsForPrompt('executor');
-    const ironLawIdx = result.indexOf('### 铁律（绝对禁止，无例外）');
-    const guidelineIdx = result.indexOf('### 指导原则（优先建议）');
-    const tipIdx = result.indexOf('### 提示');
-
-    // Iron law section should appear before guideline section
-    expect(ironLawIdx).toBeLessThan(guidelineIdx);
-
-    // Tip section should appear last (if present)
-    // Note: tips with executor triggers may or may not exist
-    if (tipIdx >= 0) {
-      expect(guidelineIdx).toBeLessThan(tipIdx);
-    }
-  });
-
-  it('handles unknown role gracefully', () => {
-    const result = formatConstraintsForPrompt('unknown' as any);
-    expect(result).toBe('');
-  });
-});

package/src/core/constraints/doc-freshness/auto-fix.ts

@@ -1,69 +0,0 @@
-/**
- * FreshnessAutoFix — 文档新鲜度自动修复
- *
- * 根据 FreshnessRunner 检查结果修复文档中的过期计数。
- * 只负责安全的 regex 替换，不处理结构性修复（如 doc_dir_check）。
- */
-
-import { readFileSync, writeFileSync, existsSync } from 'fs';
-import { join } from 'path';
-import type { DocRegexCountCheck } from '../../../types/project-config';
-import type { FreshnessCheckResult } from './runner';
-
-/**
- * 文档新鲜度自动修复器
- */
-export class FreshnessAutoFix {
-  /**
-   * 根据检查结果修复文档
-   * @returns 是否成功修复
-   */
-  fix(
-    check: DocRegexCountCheck,
-    result: FreshnessCheckResult,
-    projectPath: string
-  ): boolean {
-    switch (check.type) {
-      case 'doc_regex_count':
-        return this.fixDocRegexCount(check, result, projectPath);
-      default:
-        // doc_dir_check / context_docs 的自动修复不在 MVP 范围内
-        return false;
-    }
-  }
-
-  /**
-   * 修复 doc_regex_count：更新文档中的计数
-   */
-  private fixDocRegexCount(
-    check: DocRegexCountCheck,
-    result: FreshnessCheckResult,
-    projectPath: string
-  ): boolean {
-    try {
-      const docPath = join(projectPath, check.doc);
-      if (!existsSync(docPath)) return false;
-
-      const detail = result.detail;
-      if (!detail || detail.actualCount === undefined) return false;
-
-      const actualCount = detail.actualCount as number;
-
-      const content = readFileSync(docPath, 'utf-8');
-      const countRegex = new RegExp(check.pattern);
-
-      if (!countRegex.test(content)) return false;
-
-      // regex 替换：保留原捕获组结构，只替换 (\d+) 部分
-      // 策略：匹配完整正则，然后用实际值替换第一个捕获组
-      const updated = content.replace(countRegex, (match, ...groups) => {
-        return match.replace(groups[0], String(actualCount));
-      });
-
-      writeFileSync(docPath, updated, 'utf-8');
-      return true;
-    } catch {
-      return false;
-    }
-  }
-}

package/src/core/constraints/prompt-injection.ts

@@ -1,73 +0,0 @@
-/**
- * @deprecated 本模块已迁至 @dommaker/studio-shared。
- *   从 harness v0.13 起，请改为 import { formatConstraintsForPrompt, AgentRole, ROLE_TRIGGERS } from '@dommaker/studio-shared';
- *   本 re-export 将在下一个大版本移除。
- *
- * Constraint Prompt Injection — 将 harness 约束的前置声明注入 Agent prompt
- */
-
-import { getAllConstraints } from './definitions';
-import type { ConstraintTrigger } from '../../types/constraint';
-
-export type AgentRole = 'analyst' | 'executor' | 'integration' | 'reviewer' | 'deploy' | 'monitor' | 'triage';
-
-const ROLE_TRIGGERS: Record<AgentRole, ConstraintTrigger[]> = {
-  analyst: ['design_request', 'api_change', 'code_implementation'],
-  executor: ['code_implementation', 'task_completion_claim', 'test_creation', 'api_change', 'file_modification', 'module_modification', 'module_creation'],
-  integration: ['code_implementation'],
-  reviewer: ['code_implementation'],
-  deploy: ['diagnosis'],
-  monitor: ['monitoring', 'diagnosis'],
-  triage: ['triage', 'diagnosis'],
-};
-
-export { ROLE_TRIGGERS };
-
-/**
- * @deprecated 请使用 @dommaker/studio-shared 中的同名函数
- */
-export function formatConstraintsForPrompt(role: AgentRole): string {
-  const allConstraints = getAllConstraints();
-  const triggers = ROLE_TRIGGERS[role] || [];
-  if (triggers.length === 0) return '';
-
-  const applicable = Object.values(allConstraints).filter(c => {
-    const ct = c.trigger;
-    if (Array.isArray(ct)) return ct.some(t => triggers.includes(t));
-    return triggers.includes(ct);
-  });
-
-  if (applicable.length === 0) return '';
-
-  const ironLaws = applicable.filter(c => c.level === 'iron_law');
-  const guidelines = applicable.filter(c => c.level === 'guideline');
-  const tips = applicable.filter(c => c.level === 'tip');
-
-  const lines: string[] = ['\n## 行为约束（前置声明）\n'];
-
-  if (ironLaws.length > 0) {
-    lines.push('### 铁律（绝对禁止，无例外）\n');
-    for (const c of ironLaws) {
-      if (c.promptInjection) lines.push(`- **${c.id}**: ${c.promptInjection}`);
-    }
-    lines.push('');
-  }
-
-  if (guidelines.length > 0) {
-    lines.push('### 指导原则（优先建议）\n');
-    for (const c of guidelines) {
-      if (c.promptInjection) lines.push(`- **${c.id}**: ${c.promptInjection}`);
-    }
-    lines.push('');
-  }
-
-  if (tips.length > 0) {
-    lines.push('### 提示\n');
-    for (const c of tips) {
-      if (c.promptInjection) lines.push(`- **${c.id}**: ${c.promptInjection}`);
-    }
-    lines.push('');
-  }
-
-  return lines.join('\n');
-}

package/src/core/spec/index.ts

@@ -1,7 +0,0 @@
-/**
- * Spec 验证模块
- * 
- * 框架提供验证机制，项目定义自己的 Spec Schema
- */
-
-export * from './validator';

package/src/governance/CONTEXT.md

@@ -1,22 +0,0 @@
-# governance/
-
-## 职责
-AI 治理：检测文档/配置/约束与代码的差异，输出差异报告。只检测不修复，由 LLM 自行修复。
-
-## 核心导出
-- `GovernanceExecutor` — 治理执行器: 运行所有检查、生成差异报告
-- `types.ts` — DiffType / GovernanceDiff / GovernanceResult 类型
-
-## 依赖关系
-- 依赖 `src/core/constraints/` 约束检查
-- 依赖 `src/monitoring/` 追踪/诊断数据
-- 被 CLI 治理相关命令消费
-
-## 约定
-- "harness 检测差异，LLM 自行修复" — 不提供自动修复
-- 差异类型(DiffType)可扩展
-- 治理检查在 check / sync-docs 命令中触发
-
-## 注意事项
-- AI 治理简化(2026-05-03)：移除冗余 hook/apply
-- GovernanceExecutor 是单例

package/src/governance/__tests__/executor.test.ts

@@ -1,249 +0,0 @@
-/**
- * GovernanceExecutor 测试
- */
-
-import * as fs from 'fs';
-import * as path from 'path';
-import { GovernanceExecutor } from '../executor';
-
-describe('GovernanceExecutor', () => {
-  const tempDir = path.join(process.cwd(), 'temp-test-governance');
-
-  beforeAll(() => {
-    fs.mkdirSync(tempDir, { recursive: true });
-  });
-
-  afterAll(() => {
-    try {
-      fs.rmSync(tempDir, { recursive: true, force: true });
-    } catch {
-      // ignore
-    }
-  });
-
-  describe('detectDiffs', () => {
-    it('无 CAPABILITIES.md 应该返回空差异', async () => {
-      const testDir = path.join(tempDir, 'no-cap');
-      fs.mkdirSync(testDir, { recursive: true });
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-      expect(diffs).toEqual([]);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CAPABILITIES.md 无表格应该返回空差异', async () => {
-      const testDir = path.join(tempDir, 'no-table');
-      fs.mkdirSync(testDir, { recursive: true });
-      fs.writeFileSync(path.join(testDir, 'CAPABILITIES.md'), '# Capabilities\n\nNo table here.');
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-      expect(diffs).toEqual([]);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('新增文件未在 CAPABILITIES.md 中列出应该检测到 doc_mismatch', async () => {
-      const testDir = path.join(tempDir, 'missing-in-cap');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      fs.writeFileSync(path.join(srcDir, 'new-module.ts'), 'export const x = 1;');
-      fs.writeFileSync(path.join(srcDir, 'old.ts'), 'export const y = 2;');
-
-      fs.writeFileSync(
-        path.join(testDir, 'CAPABILITIES.md'),
-        '# Capabilities\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n| old | src/old.ts | old |'
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs.length).toBe(1);
-      expect(diffs[0].type).toBe('doc_mismatch');
-      expect(diffs[0].details.files).toContain('src/new-module.ts');
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CAPABILITIES.md 中列出已删除文件应该检测到 doc_mismatch', async () => {
-      const testDir = path.join(tempDir, 'removed-from-disk');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      fs.writeFileSync(
-        path.join(testDir, 'CAPABILITIES.md'),
-        '# Capabilities\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n| old | src/old.ts | old |'
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs.length).toBe(1);
-      expect(diffs[0].type).toBe('doc_mismatch');
-      expect(diffs[0].details.files).toContain('src/old.ts');
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CAPABILITIES.md 与源码同步应该无差异', async () => {
-      const testDir = path.join(tempDir, 'in-sync');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      fs.writeFileSync(path.join(srcDir, 'module.ts'), 'export const x = 1;');
-      fs.writeFileSync(
-        path.join(testDir, 'CAPABILITIES.md'),
-        '# Capabilities\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n| module | src/module.ts | module |'
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs).toEqual([]);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CONTEXT.md 缺失应该检测到 context_missing', async () => {
-      const testDir = path.join(tempDir, 'ctx-missing');
-      const harnessDir = path.join(testDir, '.harness');
-      fs.mkdirSync(harnessDir, { recursive: true });
-
-      const yaml = require('js-yaml');
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        yaml.dump({
-          governance: {
-            context_files: {
-              enabled: true,
-              required_dirs: ['src'],
-            },
-          },
-        })
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs.length).toBe(1);
-      expect(diffs[0].type).toBe('context_missing');
-      expect(diffs[0].details.moduleName).toBe('src');
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CONTEXT.md 是模板应该检测到 context_outdated', async () => {
-      const testDir = path.join(tempDir, 'ctx-template');
-      const harnessDir = path.join(testDir, '.harness');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(harnessDir, { recursive: true });
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      const yaml = require('js-yaml');
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        yaml.dump({
-          governance: {
-            context_files: {
-              enabled: true,
-              required_dirs: ['src'],
-            },
-          },
-        })
-      );
-
-      fs.writeFileSync(
-        path.join(srcDir, 'CONTEXT.md'),
-        '# src\n\n<!-- 此文件描述 src 目录的职责和上下文 -->\n\n## 职责\n\n<!-- 本目录的核心职责是什么 -->'
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs.length).toBe(1);
-      expect(diffs[0].type).toBe('context_outdated');
-      expect(diffs[0].details.moduleName).toBe('src');
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('CONTEXT.md 已填写应该无差异', async () => {
-      const testDir = path.join(tempDir, 'ctx-filled');
-      const harnessDir = path.join(testDir, '.harness');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(harnessDir, { recursive: true });
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      const yaml = require('js-yaml');
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        yaml.dump({
-          governance: {
-            context_files: {
-              enabled: true,
-              required_dirs: ['src'],
-            },
-          },
-        })
-      );
-
-      fs.writeFileSync(
-        path.join(srcDir, 'CONTEXT.md'),
-        '# src\n\n源代码目录，包含所有核心模块。'
-      );
-
-      const executor = new GovernanceExecutor();
-      const diffs = await executor.detectDiffs(testDir);
-
-      expect(diffs).toEqual([]);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-  });
-
-  describe('check', () => {
-    it('有差异时 should return hasDiffs=true', async () => {
-      const testDir = path.join(tempDir, 'check-diffs');
-      const srcDir = path.join(testDir, 'src');
-      fs.mkdirSync(srcDir, { recursive: true });
-
-      fs.writeFileSync(path.join(srcDir, 'new.ts'), 'export const x = 1;');
-      fs.writeFileSync(
-        path.join(testDir, 'CAPABILITIES.md'),
-        '# Capabilities\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n| old | src/old.ts | old |'
-      );
-
-      const executor = new GovernanceExecutor();
-      const result = await executor.check(testDir);
-
-      expect(result.hasDiffs).toBe(true);
-      expect(result.diffs.length).toBeGreaterThan(0);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-
-    it('无差异时 should return hasDiffs=false', async () => {
-      const testDir = path.join(tempDir, 'check-no-diffs');
-      fs.mkdirSync(testDir, { recursive: true });
-      fs.writeFileSync(path.join(testDir, 'CAPABILITIES.md'), '# Capabilities\n\nNo table.');
-
-      const executor = new GovernanceExecutor();
-      const result = await executor.check(testDir);
-
-      expect(result.hasDiffs).toBe(false);
-      expect(result.diffs).toEqual([]);
-
-      fs.rmSync(testDir, { recursive: true, force: true });
-    });
-  });
-
-  describe('global singleton', () => {
-    it('应该导出全局单例', () => {
-      const { governanceExecutor } = require('../executor');
-      expect(governanceExecutor).toBeInstanceOf(GovernanceExecutor);
-    });
-  });
-});