@dommaker/harness 0.19.0 → 1.0.0

package/src/context/tool-output-budget.ts

@@ -1,178 +0,0 @@
-/**
- * 工具输出预算
- *
- * 控制工具输出对上下文的占用
- * 策略：full / preview / overflow / dedup
- */
-
-import * as crypto from 'crypto';
-import { TokenEstimator } from './token-budget';
-import type { ToolOutputBudgetConfig } from './types';
-import { DEFAULT_TOOL_OUTPUT_BUDGET } from './types';
-
-export type OutputStrategy = 'full' | 'preview' | 'overflow' | 'dedup';
-
-export interface OutputCheckResult {
-  allowed: boolean;
-  strategy: OutputStrategy;
-  reason?: string;
-}
-
-export interface OutputApplyResult {
-  content: string;
-  offloaded?: { path: string };
-  originalTokens: number;
-  keptTokens: number;
-}
-
-export class ToolOutputBudget {
-  private config: ToolOutputBudgetConfig;
-  private seenHashes: Map<string, boolean> = new Map();
-
-  constructor(config?: Partial<ToolOutputBudgetConfig>) {
-    this.config = { ...DEFAULT_TOOL_OUTPUT_BUDGET, ...config };
-  }
-
-  /**
-   * 检查工具输出应该使用什么策略
-   */
-  checkOutput(output: string, totalBudget?: number): OutputCheckResult {
-    const charCount = output.length;
-    const tokens = TokenEstimator.estimateText(output);
-
-    // 去重检查
-    if (this.config.dedup) {
-      const hash = this.computeHash(output);
-      if (this.seenHashes.has(hash)) {
-        return { allowed: true, strategy: 'dedup', reason: '重复内容，将被去重' };
-      }
-      // 记录 hash（无论最终策略是什么）
-      this.seenHashes.set(hash, true);
-    }
-
-    // 硬上限检查
-    if (charCount > this.config.maxChars) {
-      return {
-        allowed: true,
-        strategy: this.config.overflowToDisk ? 'overflow' : 'preview',
-        reason: `输出 ${charCount} 字符超过限制 ${this.config.maxChars}`,
-      };
-    }
-
-    // Token 比例检查
-    if (totalBudget) {
-      const maxTokens = totalBudget * this.config.maxTokenRatio;
-      if (tokens > maxTokens) {
-        return {
-          allowed: true,
-          strategy: 'preview',
-          reason: `输出 ${tokens} tokens 超过预算比例 ${(this.config.maxTokenRatio * 100).toFixed(0)}% (${Math.floor(maxTokens)} tokens)`,
-        };
-      }
-    }
-
-    return { allowed: true, strategy: 'full' };
-  }
-
-  /**
-   * 应用预算策略
-   */
-  applyBudget(output: string, strategy: OutputStrategy, _totalBudget?: number): OutputApplyResult {
-    const originalTokens = TokenEstimator.estimateText(output);
-
-    switch (strategy) {
-      case 'full': {
-        if (this.config.dedup) {
-          this.recordHash(output);
-        }
-        return { content: output, originalTokens, keptTokens: originalTokens };
-      }
-
-      case 'preview': {
-        const preview = this.generatePreview(output);
-        const keptTokens = TokenEstimator.estimateText(preview);
-        return { content: preview, originalTokens, keptTokens };
-      }
-
-      case 'overflow': {
-        const path = this.writeToOverflow(output);
-        const summary = `[输出已写入磁盘: ${path}]\n前 ${this.config.previewLines} 行预览:\n${output.split('\n').slice(0, this.config.previewLines).join('\n')}`;
-        const keptTokens = TokenEstimator.estimateText(summary);
-        return { content: summary, offloaded: { path }, originalTokens, keptTokens };
-      }
-
-      case 'dedup': {
-        const dedupContent = `[重复内容，已省略。原始大小: ${output.length} 字符]`;
-        return { content: dedupContent, originalTokens, keptTokens: TokenEstimator.estimateText(dedupContent) };
-      }
-
-      default:
-        return { content: output, originalTokens, keptTokens: originalTokens };
-    }
-  }
-
-  /**
-   * 生成预览内容
-   */
-  private generatePreview(output: string): string {
-    const lines = output.split('\n');
-    const previewLines = this.config.previewLines;
-
-    if (lines.length <= previewLines) {
-      return output;
-    }
-
-    const head = lines.slice(0, previewLines).join('\n');
-    const omitted = lines.length - previewLines;
-    return `${head}\n\n... [省略 ${omitted} 行] ...\n\n${lines.slice(-3).join('\n')}`;
-  }
-
-  /**
-   * 写入溢出文件
-   */
-  private writeToOverflow(output: string): string {
-    const hash = this.computeHash(output).slice(0, 8);
-    const path = `.harness/overflow/tool-output-${hash}.txt`;
-
-    try {
-      const fs = require('fs');
-      const dir = require('path').dirname(path);
-      fs.mkdirSync(dir, { recursive: true });
-      fs.writeFileSync(path, output, 'utf-8');
-    } catch {
-      // 写入失败时回退到 preview
-      return '';
-    }
-
-    return path;
-  }
-
-  /**
-   * 计算内容 hash
-   */
-  private computeHash(content: string): string {
-    return crypto.createHash('md5').update(content).digest('hex');
-  }
-
-  /**
-   * 记录已见 hash
-   */
-  private recordHash(content: string): void {
-    const hash = this.computeHash(content);
-    this.seenHashes.set(hash, true);
-  }
-
-  /**
-   * 清除去重缓存
-   */
-  clearDedupCache(): void {
-    this.seenHashes.clear();
-  }
-
-  /**
-   * 获取配置
-   */
-  getConfig(): ToolOutputBudgetConfig {
-    return { ...this.config };
-  }
-}

package/src/core/constraints/__tests__/default-executors.test.ts

@@ -1,57 +0,0 @@
-/**
- * default-executors 注册测试
- */
-
-import { constraintInterceptor } from '../interceptor';
-
-describe('registerDefaultExecutors', () => {
-  beforeEach(() => {
-    jest.clearAllMocks();
-    // Reset the singleton state for clean test
-    (constraintInterceptor as any).executors.clear();
-    (constraintInterceptor as any).executorSources.clear();
-  });
-
-  it('应该注册 architecture-check executor', async () => {
-    const { registerDefaultExecutors } = await import('../default-executors');
-    registerDefaultExecutors();
-
-    expect(constraintInterceptor.hasExecutor('architecture-check')).toBe(true);
-  });
-
-  it('应该注册 cross-project-check executor', async () => {
-    const { registerDefaultExecutors } = await import('../default-executors');
-    registerDefaultExecutors();
-
-    expect(constraintInterceptor.hasExecutor('cross-project-check')).toBe(true);
-  });
-
-  it('架构检查 executor 应有描述', async () => {
-    const { registerDefaultExecutors } = await import('../default-executors');
-    registerDefaultExecutors();
-
-    const executor = constraintInterceptor.getExecutor('architecture-check');
-    expect(executor?.description).toBeDefined();
-    expect(executor?.description).toContain('架构');
-  });
-
-  it('跨工程检查 executor 应有描述', async () => {
-    const { registerDefaultExecutors } = await import('../default-executors');
-    registerDefaultExecutors();
-
-    const executor = constraintInterceptor.getExecutor('cross-project-check');
-    expect(executor?.description).toBeDefined();
-    expect(executor?.description).toContain('跨工程');
-  });
-
-  it('重复注册应该覆盖', async () => {
-    const { registerDefaultExecutors } = await import('../default-executors');
-    registerDefaultExecutors();
-    registerDefaultExecutors(); // Second call
-
-    const registrations = constraintInterceptor.getRegistrations();
-    const archRegs = registrations.filter(r => r.id === 'architecture-check');
-    // Should only have one registration (last one wins)
-    expect(archRegs.length).toBe(1);
-  });
-});

package/src/core/constraints/default-executors.ts

@@ -1,92 +0,0 @@
-/**
- * 内置 enforcement executors
- *
- * 将约束定义中的 enforcement ID 连接到实际的检查逻辑。
- */
-
-import type { EnforcementExecutor, EnforcementResult, EnforcementContext } from '../../types/enforcement';
-import { constraintInterceptor } from './interceptor';
-
-/**
- * architecture-check: 调用 ArchitectureConstraintEngine
- */
-const architectureCheckExecutor: EnforcementExecutor = {
-  description: '架构规则引擎检查',
-  async execute(context: EnforcementContext): Promise<EnforcementResult> {
-    const { ArchitectureConstraintEngine } = await import('../../architecture/constraint-engine');
-    const { loadArchitectureRules } = await import('../../architecture/constraint-engine');
-
-    const configPath = context.projectPath
-      ? `${context.projectPath}/.architect/rules.yml`
-      : '.architect/rules.yml';
-
-    try {
-      const rules = await loadArchitectureRules(configPath);
-      if (rules.length === 0) {
-        return { passed: true, message: '无架构规则配置，跳过检查' };
-      }
-
-      const engine = new ArchitectureConstraintEngine(rules);
-      const result = await engine.check({
-        files: context.params?.changedFiles || [],
-        diff: '',
-      });
-
-      return {
-        passed: result.passed,
-        message: result.passed
-          ? '架构检查通过'
-          : `${result.violations.length} 个架构违规`,
-        evidence: result.violations.map(v => `${v.ruleId}: ${v.message}`).join('\n'),
-      };
-    } catch (error) {
-      return {
-        passed: false,
-        message: `架构规则加载失败: ${error instanceof Error ? error.message : String(error)}`,
-      };
-    }
-  },
-};
-
-/**
- * cross-project-check: 调用 checkCrossProjectContracts
- */
-const crossProjectCheckExecutor: EnforcementExecutor = {
-  description: '跨工程接口契约检查',
-  async execute(context: EnforcementContext): Promise<EnforcementResult> {
-    const { checkCrossProjectContracts } = await import('../../architecture/cross-project-checker');
-    const params = context.params || {};
-
-    try {
-      const violations = await checkCrossProjectContracts({
-        baseBranch: params.baseBranch || 'main',
-        changedProjects: params.changedProjects || [],
-        changedFiles: params.changedFiles || [],
-      }, {
-        dependencies: params.dependencies || {},
-        contractLocations: params.contractLocations || {},
-      });
-
-      return {
-        passed: violations.length === 0,
-        message: violations.length === 0
-          ? '跨工程检查通过'
-          : `${violations.length} 个跨工程违规`,
-        evidence: violations.map(v => `${v.type}: ${v.message}`).join('\n'),
-      };
-    } catch (error) {
-      return {
-        passed: false,
-        message: `跨工程检查失败: ${error instanceof Error ? error.message : String(error)}`,
-      };
-    }
-  },
-};
-
-/**
- * 注册所有内置 executors
- */
-export function registerDefaultExecutors(): void {
-  constraintInterceptor.register('architecture-check', architectureCheckExecutor, 'builtin');
-  constraintInterceptor.register('cross-project-check', crossProjectCheckExecutor, 'builtin');
-}

package/src/llm/CONTEXT.md

@@ -1,21 +0,0 @@
-# llm/
-
-## 职责
-LLM 适配层：统一的 LLM 调用接口(Adapter 模式)，支持多模型切换。
-
-## 核心导出
-- `types.ts` — LLM 相关类型定义
-- `adapter.ts` — LLM Adapter: 统一调用接口
-
-## 依赖关系
-- 依赖 `src/types/` 公共类型
-- 被上层需要 LLM 调用的模块消费
-
-## 约定
-- Adapter 模式：统一接口屏蔽底层模型差异
-- 不直接依赖特定 LLM SDK
-- 类型定义与实现分离
-
-## 注意事项
-- 轻量模块，提供 LLM 调用抽象
-- 具体模型配置由环境变量/配置文件提供

package/src/llm/__tests__/adapter.test.ts

@@ -1,172 +0,0 @@
-/**
- * LLM Adapter 测试
- */
-
-import { createLLMAdapter, DefaultLLMAdapter } from '../adapter';
-import type { LLMAdapter, Message } from '../types';
-
-describe('LLM Adapter', () => {
-  describe('createLLMAdapter', () => {
-    it('应该创建默认适配器', () => {
-      const adapter = createLLMAdapter({ provider: 'openai' });
-      expect(adapter).toBeInstanceOf(DefaultLLMAdapter);
-    });
-
-    it('应该使用自定义适配器', () => {
-      const custom: LLMAdapter = {
-        complete: async () => 'custom',
-        chat: async () => 'custom',
-        streamChat: async function* () { yield 'custom'; },
-        summarize: async () => 'custom summary',
-        extract: async () => ({}),
-      };
-
-      const adapter = createLLMAdapter({
-        provider: 'custom',
-        customAdapter: custom,
-      });
-
-      expect(adapter).toBe(custom);
-    });
-  });
-
-  describe('DefaultLLMAdapter', () => {
-    let adapter: DefaultLLMAdapter;
-
-    beforeEach(() => {
-      adapter = new DefaultLLMAdapter({ provider: 'openai', model: 'gpt-4' });
-    });
-
-    describe('complete', () => {
-      it('应该抛出未实现错误', async () => {
-        await expect(adapter.complete('test')).rejects.toThrow('LLM complete 未实现');
-      });
-    });
-
-    describe('chat', () => {
-      it('应该抛出未实现错误', async () => {
-        await expect(adapter.chat([{ role: 'user', content: 'test' }])).rejects.toThrow('LLM chat 未实现');
-      });
-    });
-
-    describe('streamChat', () => {
-      it('应该抛出未实现错误', async () => {
-        const gen = adapter.streamChat([{ role: 'user', content: 'test' }]);
-        await expect(async () => {
-          for await (const _ of gen) { void _; }
-        }).rejects.toThrow('LLM streamChat 未实现');
-      });
-    });
-
-    describe('summarize', () => {
-      it('应该提取用户目标', async () => {
-        const messages: Message[] = [
-          { role: 'user', content: '帮我修复登录 bug' },
-          { role: 'assistant', content: '好的，我来查看代码' },
-          { role: 'user', content: '问题出在 token 验证' },
-        ];
-
-        const summary = await adapter.summarize(messages, {
-          maxTokens: 200,
-          preserve: ['user_goals'],
-        });
-
-        expect(summary).toContain('用户目标');
-        expect(summary).toContain('登录 bug');
-      });
-
-      it('应该提取工具调用', async () => {
-        const messages: Message[] = [
-          { role: 'user', content: 'test' },
-          { role: 'tool', content: 'result 1' },
-          { role: 'tool', content: 'result 2' },
-        ];
-
-        const summary = await adapter.summarize(messages, {
-          maxTokens: 200,
-          preserve: ['tool_calls'],
-        });
-
-        expect(summary).toContain('工具调用');
-        expect(summary).toContain('2');
-      });
-
-      it('应该提取错误信息', async () => {
-        const messages: Message[] = [
-          { role: 'user', content: 'test' },
-          { role: 'assistant', content: 'Error: connection failed' },
-        ];
-
-        const summary = await adapter.summarize(messages, {
-          maxTokens: 200,
-          preserve: ['errors'],
-        });
-
-        expect(summary).toContain('错误');
-      });
-
-      it('应该提取决策', async () => {
-        const messages: Message[] = [
-          { role: 'user', content: '选择方案 A 还是方案 B？' },
-          { role: 'assistant', content: '决策：使用方案 A，因为性能更好' },
-        ];
-
-        const summary = await adapter.summarize(messages, {
-          maxTokens: 200,
-          preserve: ['decisions'],
-        });
-
-        expect(summary).toContain('决策');
-      });
-
-      it('应该限制长度', async () => {
-        const messages: Message[] = [
-          { role: 'user', content: 'x'.repeat(10000) },
-        ];
-
-        const summary = await adapter.summarize(messages, {
-          maxTokens: 100,
-          preserve: ['user_goals'],
-        });
-
-        expect(summary.length).toBeLessThanOrEqual(400); // 100 tokens * 4 chars
-      });
-    });
-
-    describe('extract', () => {
-      it('应该提取结构化数据', async () => {
-        const content = 'name: John\nage: 30\ncity: Beijing';
-        const result = await adapter.extract(content, {
-          name: 'string',
-          age: 'string',
-          city: 'string',
-        }) as Record<string, string>;
-
-        expect(result.name).toBe('John');
-        expect(result.age).toBe('30');
-        expect(result.city).toBe('Beijing');
-      });
-
-      it('应该处理缺失字段', async () => {
-        const content = 'name: John';
-        const result = await adapter.extract(content, {
-          name: 'string',
-          missing: 'string',
-        }) as Record<string, string>;
-
-        expect(result.name).toBe('John');
-        expect(result.missing).toBeUndefined();
-      });
-    });
-
-    describe('getters', () => {
-      it('应该返回 provider', () => {
-        expect(adapter.getProvider()).toBe('openai');
-      });
-
-      it('应该返回 model', () => {
-        expect(adapter.getModel()).toBe('gpt-4');
-      });
-    });
-  });
-});

package/src/llm/adapter.ts

@@ -1,149 +0,0 @@
-/**
- * 默认 LLM 适配器
- *
- * 提供基础实现，使用者可以替换为自己的实现
- */
-
-import type {
-  LLMAdapter,
-  LLMAdapterConfig,
-  LLMOptions,
-  Message,
-  SummarizeConfig,
-  LLMProvider,
-} from './types';
-
-/**
- * 创建 LLM 适配器
- */
-export function createLLMAdapter(config: LLMAdapterConfig): LLMAdapter {
-  if (config.customAdapter) {
-    return config.customAdapter;
-  }
-
-  return new DefaultLLMAdapter(config);
-}
-
-/**
- * 默认 LLM 适配器
- *
- * 使用零 token 成本的结构化方法：
- * - summarize: 基于模板提取关键信息
- * - extract: 基于正则提取结构化数据
- * - complete/chat: 需要注入具体实现
- */
-export class DefaultLLMAdapter implements LLMAdapter {
-  private config: LLMAdapterConfig;
-
-  constructor(config: LLMAdapterConfig) {
-    this.config = config;
-  }
-
-  async complete(_prompt: string, options?: LLMOptions): Promise<string> {
-    throw new Error(
-      `LLM complete 未实现。请通过 createLLMAdapter({ customAdapter }) 注入具体实现。` +
-      `\n提供商: ${this.config.provider}, 模型: ${options?.model ?? this.config.model ?? '未指定'}`,
-    );
-  }
-
-  async chat(messages: Message[], _options?: LLMOptions): Promise<string> {
-    throw new Error(
-      `LLM chat 未实现。请通过 createLLMAdapter({ customAdapter }) 注入具体实现。` +
-      `\n提供商: ${this.config.provider}, 消息数: ${messages.length}`,
-    );
-  }
-
-  async *streamChat(_messages: Message[], _options?: LLMOptions): AsyncIterable<string> {
-    throw new Error(
-      `LLM streamChat 未实现。请通过 createLLMAdapter({ customAdapter }) 注入具体实现。`,
-    );
-  }
-
-  /**
-   * 结构化总结（零 token 成本，基于模板）
-   */
-  async summarize(messages: Message[], config: SummarizeConfig): Promise<string> {
-    const parts: string[] = [];
-
-    // 提取用户目标
-    if (config.preserve.includes('user_goals')) {
-      const userMessages = messages.filter(m => m.role === 'user');
-      if (userMessages.length > 0) {
-        parts.push('## 用户目标');
-        for (const msg of userMessages.slice(-3)) {
-          parts.push(`- ${msg.content.slice(0, 200)}`);
-        }
-      }
-    }
-
-    // 提取工具调用
-    if (config.preserve.includes('tool_calls')) {
-      const toolMessages = messages.filter(m => m.role === 'tool');
-      if (toolMessages.length > 0) {
-        parts.push('\n## 工具调用');
-        parts.push(`共 ${toolMessages.length} 次工具调用`);
-      }
-    }
-
-    // 提取错误
-    if (config.preserve.includes('errors')) {
-      const errorMessages = messages.filter(m =>
-        m.content.toLowerCase().includes('error') ||
-        m.content.toLowerCase().includes('failed'),
-      );
-      if (errorMessages.length > 0) {
-        parts.push('\n## 错误');
-        for (const msg of errorMessages.slice(-3)) {
-          parts.push(`- ${msg.content.slice(0, 200)}`);
-        }
-      }
-    }
-
-    // 提取决策
-    if (config.preserve.includes('decisions')) {
-      const decisionMessages = messages.filter(m =>
-        m.content.includes('决策') ||
-        m.content.includes('decision') ||
-        m.content.includes('选择') ||
-        m.content.includes('方案'),
-      );
-      if (decisionMessages.length > 0) {
-        parts.push('\n## 决策');
-        for (const msg of decisionMessages.slice(-3)) {
-          parts.push(`- ${msg.content.slice(0, 200)}`);
-        }
-      }
-    }
-
-    const summary = parts.join('\n');
-    return summary.slice(0, config.maxTokens * 4); // 粗略字符/token 比
-  }
-
-  /**
-   * 结构化提取（基于正则，零 token 成本）
-   */
-  async extract(content: string, schema: Record<string, unknown>): Promise<unknown> {
-    const result: Record<string, unknown> = {};
-
-    for (const [key, type] of Object.entries(schema)) {
-      if (typeof type === 'string') {
-        // 简单类型提取
-        const pattern = new RegExp(`${key}[:\\s]+(.+)`, 'i');
-        const match = content.match(pattern);
-        if (match) {
-          result[key] = match[1].trim();
-        }
-      }
-    }
-
-    return result;
-  }
-
-  getProvider(): LLMProvider {
-    return this.config.provider;
-  }
-
-  getModel(): string | undefined {
-    return this.config.model;
-  }
-}

package/src/llm/index.ts

@@ -1,2 +0,0 @@
-export * from './types';
-export * from './adapter';