@dommaker/harness 0.16.6 → 0.16.8

package/src/failure/types.ts

@@ -1,165 +1,9 @@
 /**
- * 失败处理类型定义
+ * 失败处理类型定义（兼容再导出）
  *
- * 提供通用的错误分类和失败记录类型
- * 不包含业务逻辑，只定义数据结构
+ * 工单 14：类型定义本体已归位 types 层（src/types/failure.ts），
+ * 以消除 types/index.ts 对 ../failure 的反向 import。
+ * 此文件保留原模块路径，供既有引用方（classifier/recorder/index 与外部消费者）继续工作。
  */
 
-/**
- * 错误类型枚举
- */
-export enum ErrorType {
-  TEST_FAILED = 'TEST_FAILED',
-  GATE_FAILED = 'GATE_FAILED',
-  DEPENDENCY_BLOCKED = 'DEPENDENCY_BLOCKED',
-  CONTEXT_OVERFLOW = 'CONTEXT_OVERFLOW',
-  TIMEOUT = 'TIMEOUT',
-  NETWORK_ERROR = 'NETWORK_ERROR',
-  AGENT_ERROR = 'AGENT_ERROR',
-  TOOL_ERROR = 'TOOL_ERROR',
-  VALIDATION_ERROR = 'VALIDATION_ERROR',
-  UNKNOWN = 'UNKNOWN',
-}
-
-/**
- * 失败等级
- *
- * L1: 自动处理（重试、降级）
- * L2: 需要干预（人工审核）
- * L3: 严重问题（开会讨论）
- * L4: 致命错误（回滚）
- */
-export enum FailureLevel {
-  L1 = 'L1',
-  L2 = 'L2',
-  L3 = 'L3',
-  L4 = 'L4',
-}
-
-/**
- * 错误分类规则
- */
-export interface ErrorClassificationRule {
-  /** 匹配的错误类型 */
-  type: ErrorType;
-  /** 正则匹配模式 */
-  patterns?: RegExp[];
-  /** 关键词匹配（不区分大小写） */
-  keywords?: string[];
-  /** 失败等级 */
-  level?: FailureLevel;
-  /** 规则描述 */
-  description?: string;
-}
-
-/**
- * 失败记录
- */
-export interface FailureRecord {
-  /** 错误类型 */
-  type: ErrorType;
-  /** 失败等级 */
-  level: FailureLevel;
-  /** 错误消息 */
-  message: string;
-  /** 时间戳 */
-  timestamp: number;
-  /** 元数据 */
-  metadata?: Record<string, unknown>;
-}
-
-/**
- * 分类结果
- */
-export interface ClassificationResult {
-  /** 错误类型 */
-  type: ErrorType;
-  /** 失败等级 */
-  level: FailureLevel;
-  /** 匹配的规则（如果有） */
-  matchedRule?: ErrorClassificationRule;
-  /** 原始错误 */
-  originalError: Error;
-}
-
-/**
- * 默认错误分类规则
- *
- * 注意：规则按顺序匹配，更具体的规则应该放在前面
- */
-export const DEFAULT_CLASSIFICATION_RULES: ErrorClassificationRule[] = [
-  // 更具体的规则优先
-  {
-    type: ErrorType.GATE_FAILED,
-    keywords: ['gate', 'checkpoint', 'constraint'],
-    level: FailureLevel.L2,
-    description: '门禁检查失败',
-  },
-  {
-    type: ErrorType.DEPENDENCY_BLOCKED,
-    keywords: ['dependency', 'blocked', 'dependency_fail'],
-    level: FailureLevel.L3,
-    description: '依赖阻塞',
-  },
-  {
-    type: ErrorType.CONTEXT_OVERFLOW,
-    keywords: ['context overflow', 'token limit', 'context exceed'],
-    level: FailureLevel.L2,
-    description: '上下文溢出',
-  },
-  {
-    type: ErrorType.TIMEOUT,
-    keywords: ['timeout', 'timed out', 'deadline'],
-    patterns: [/timeout/i, /timed?\s*out/i],
-    level: FailureLevel.L1,
-    description: '超时',
-  },
-  {
-    type: ErrorType.NETWORK_ERROR,
-    keywords: ['network', 'connection', 'econnrefused', 'enotfound', 'socket'],
-    level: FailureLevel.L1,
-    description: '网络错误',
-  },
-  {
-    type: ErrorType.AGENT_ERROR,
-    keywords: ['agent error', 'model error', 'rate limit', 'quota exceeded'],
-    level: FailureLevel.L2,
-    description: 'Agent 错误',
-  },
-  {
-    type: ErrorType.TOOL_ERROR,
-    keywords: ['tool error', 'skill error', 'executor error'],
-    level: FailureLevel.L1,
-    description: '工具错误',
-  },
-  {
-    type: ErrorType.VALIDATION_ERROR,
-    keywords: ['validation error', 'invalid', 'schema error'],
-    level: FailureLevel.L2,
-    description: '验证错误',
-  },
-  // 通用规则放在后面
-  {
-    type: ErrorType.TEST_FAILED,
-    keywords: ['test', 'assertion', 'expect'],
-    patterns: [/test.*fail/i, /assertion/i, /expect.*fail/i],
-    level: FailureLevel.L1,
-    description: '测试失败',
-  },
-];
-
-/**
- * 错误类型到失败等级的默认映射
- */
-export const DEFAULT_LEVEL_MAPPING: Record<ErrorType, FailureLevel> = {
-  [ErrorType.TEST_FAILED]: FailureLevel.L1,
-  [ErrorType.GATE_FAILED]: FailureLevel.L2,
-  [ErrorType.DEPENDENCY_BLOCKED]: FailureLevel.L3,
-  [ErrorType.CONTEXT_OVERFLOW]: FailureLevel.L2,
-  [ErrorType.TIMEOUT]: FailureLevel.L1,
-  [ErrorType.NETWORK_ERROR]: FailureLevel.L1,
-  [ErrorType.AGENT_ERROR]: FailureLevel.L2,
-  [ErrorType.TOOL_ERROR]: FailureLevel.L1,
-  [ErrorType.VALIDATION_ERROR]: FailureLevel.L2,
-  [ErrorType.UNKNOWN]: FailureLevel.L2,
-};
+export * from '../types/failure';

package/src/gates/contract.ts

@@ -7,7 +7,6 @@
  * - 版本兼容性
  */
 
-import { execAsync } from '../utils/exec';
 import * as fs from 'fs/promises';
 import * as path from 'path';
 import type { GateResult, GateContext, ContractGateConfig } from './types';

package/src/gates/index.ts

@@ -34,14 +34,12 @@ import { SecurityGate } from './security';
 import { PerformanceGate } from './performance';
 import { ContractGate } from './contract';
 import { SpecAcceptanceGate } from './acceptance';
-import { CommandGate, createCommandGate } from './command';
 import type {
   ReviewGateConfig,
   SecurityGateConfig,
   PerformanceGateConfig,
   ContractGateConfig,
   SpecAcceptanceGateConfig,
-  CommandGateConfig,
 } from './types';
 
 export function createReviewGate(config?: Partial<ReviewGateConfig>): ReviewGate {

package/src/gates/performance.ts

@@ -198,7 +198,7 @@ export class PerformanceGate {
   }> {
     try {
       // 使用超时执行覆盖率测试
-      const { stdout, stderr } = await execAsync(
+      await execAsync(
         'npm test -- --coverage --coverageReporters=json-summary 2>/dev/null || true',
         {
           cwd: projectPath,

package/src/gates/security.ts

@@ -8,8 +8,6 @@
  */
 
 import { execAsync } from '../utils/exec';
-import * as fs from 'fs/promises';
-import * as path from 'path';
 import type { GateResult, GateContext, SecurityGateConfig } from './types';
 
 /**
@@ -89,7 +87,7 @@ export class SecurityGate {
   /**
    * 检测扫描命令
    */
-  private detectScanCommand(projectPath: string): string {
+  private detectScanCommand(_projectPath: string): string {
     // 默认使用 npm audit
     return 'npm audit --json';
   }

package/src/hooks/bootstrap.ts

@@ -13,6 +13,7 @@
  */
 
 import { ConstraintChecker } from '../core/constraints/checker';
+import { getTraceCollector } from '../monitoring/traces';
 import { SessionManager } from '../context/session-manager';
 import { ProjectConfigLoader } from '../core/project-config-loader';
 import { HookRegistry } from './registry';
@@ -27,23 +28,10 @@ async function loadConfigAsync(projectPath: string): Promise<{
   config: ReturnType<ProjectConfigLoader['getConfig']>;
   mergedConstraints: MergedConstraintsConfig;
 }> {
-  // 使用动态 import 避免同步 readFileSync 阻塞事件循环
-  const { promises: fs } = await import('fs');
-  const path = await import('path');
-  const yaml = await import('js-yaml');
-
+  // config.yml 解析经 loadRawProjectConfig 进程级 memoize（工单 16），
+  // 此处不再重复读取文件
   const loader = new ProjectConfigLoader(projectPath);
-
-  // 异步读取主配置
-  const configPath = path.join(projectPath, '.harness', 'config.yml');
-  try {
-    await fs.access(configPath);
-    const content = await fs.readFile(configPath, 'utf-8');
-    const loaded = yaml.load(content) as Record<string, unknown>;
-    loader.load(); // 同步回退作为 fallback
-  } catch {
-    loader.load(); // 文件不存在，使用默认配置
-  }
+  loader.load();
 
   return {
     config: loader.getConfig(),
@@ -87,6 +75,7 @@ export async function bootstrapHarness(
   // 2. 初始化核心组件
   const checker = ConstraintChecker.getInstance();
   checker.setCustomConfig(mergedConstraints);
+  checker.setTraceRecorder(getTraceCollector());
 
   const sessions = new SessionManager(resolvedPath);
   const hooks = new HookRegistry();
@@ -124,6 +113,7 @@ export function bootstrapHarnessSync(
 
   const checker = ConstraintChecker.getInstance();
   checker.setCustomConfig(mergedConstraints);
+  checker.setTraceRecorder(getTraceCollector());
 
   const sessions = new SessionManager(resolvedPath);
   const hooks = new HookRegistry();

package/src/index.ts

@@ -93,7 +93,6 @@ export * from './llm';
 // ========================================
 // 治理模块导出
 // ========================================
-export * from './governance';
 
 // ========================================
 // 工具注册表导出
@@ -125,10 +124,14 @@ export * from './evolution';
 // ========================================
 
 import { constraintChecker } from './core/constraints/checker';
+import { getTraceCollector } from './monitoring/traces';
 import type { ConstraintContext, ConstraintCheckResult, ConstraintTrigger } from './types/constraint';
 import { constraintInterceptor } from './core/constraints/interceptor';
 import type { EnforcementExecutor, EnforcementId, InterceptionResult } from './types/enforcement';
 
+// 工单 15：checker 的 trace 记录改为注入式，根入口在此接入真实收集器（保持既有行为）
+constraintChecker.setTraceRecorder(getTraceCollector());
+
 /** 约束拦截器单例，用于注册 enforcement executor 和拦截操作 */
 export const interceptor = constraintInterceptor;
 

package/src/knowledge/__tests__/lifecycle.test.ts

@@ -385,7 +385,10 @@ describe('KnowledgeLifecycle', () => {
       const oldDate = new Date();
       oldDate.setMonth(oldDate.getMonth() - 13);
       store.save(makeEntry({ id: 'DEC-001', maturity: 'proven', lastReferenced: oldDate.toISOString() }));
-      store.save(makeEntry({ id: 'DEC-002', maturity: 'draft', lastReferenced: '2026-05-01' }));
+      const recentDate = new Date();
+      recentDate.setMonth(recentDate.getMonth() - 1);
+      // DEC-002 不应 decay：lastReferenced 必须相对当前时间（硬编码日期会随时间越过阈值，2026-08 已爆雷）
+      store.save(makeEntry({ id: 'DEC-002', maturity: 'draft', lastReferenced: recentDate.toISOString() }));
 
       const changes = lifecycle.runDecayCycle();
       expect(changes).toHaveLength(1);

package/src/knowledge/audit.ts

@@ -13,7 +13,7 @@ import * as fs from 'fs';
 import * as path from 'path';
 import { FileKnowledgeStore } from './store';
 import type { KnowledgeStore } from './store';
-import type { KnowledgeEntry, MaturityLevel } from './types';
+import type { KnowledgeEntry } from './types';
 
 // ── Types ─────────────────────────────────────────────────
 

package/src/knowledge/doctor.ts

@@ -7,7 +7,6 @@
 
 import type { KnowledgeStore } from './store';
 import { KnowledgeLinter } from './lint';
-import type { LintIssue } from './types';
 
 export interface HealthDetail {
   category: string;

package/src/knowledge/import.ts

@@ -13,7 +13,7 @@
 
 import * as fs from 'fs';
 import * as path from 'path';
-import type { KnowledgeEntry, KnowledgeType, MaturityLevel, StorageLayer } from './types';
+import type { KnowledgeEntry, KnowledgeType, StorageLayer } from './types';
 import type { KnowledgeStore } from './store';
 
 // ── 导入源 ───────────────────────────────────────────────
@@ -203,7 +203,7 @@ export class ColdStartImporter {
       const cwd = this.config.projectRoot;
 
       // 分析大型重构提交
-      const bigCommits = execSync(
+      execSync(
         'git log --oneline --diff-filter=M --numstat --since="6 months ago" | head -100',
         { cwd, encoding: 'utf-8', timeout: 10000 },
       );

package/src/knowledge/index-generator.ts

@@ -35,7 +35,6 @@ export class KnowledgeIndexGenerator {
    * 生成索引并写入 _index.md
    */
   regenerate(): string {
-    const lines = this.generateIndexLines();
     const output = this.generate();
     fs.mkdirSync(this.baseDir, { recursive: true });
     fs.writeFileSync(path.join(this.baseDir, INDEX_FILENAME), output, 'utf-8');

package/src/knowledge/ingest.ts

@@ -8,7 +8,6 @@
 import type {
   KnowledgeEntry,
   KnowledgeType,
-  MaturityLevel,
   IngestOptions,
   SourceRef,
 } from './types';
@@ -184,7 +183,7 @@ export class KnowledgeIngest {
     return `${prefix}-${seq}`;
   }
 
-  private inferType(options: IngestOptions): KnowledgeType {
+  private inferType(_options: IngestOptions): KnowledgeType {
     // Default to 'guideline' if type can't be inferred
     return 'guideline';
   }

package/src/knowledge/lint.ts

@@ -77,7 +77,7 @@ export class KnowledgeLinter {
   /**
    * 检查索引一致性
    */
-  checkIndexConsistency(entries: KnowledgeEntry[]): LintIssue[] {
+  checkIndexConsistency(_entries: KnowledgeEntry[]): LintIssue[] {
     const issues: LintIssue[] = [];
     const index = this.store.readIndex();
 
@@ -187,7 +187,7 @@ export class KnowledgeLinter {
       seen.set(key, existing);
     }
 
-    for (const [key, group] of seen) {
+    for (const [, group] of seen) {
       if (group.length > 1) {
         for (const entry of group) {
           issues.push({

package/src/knowledge/primitives/__tests__/code-structure-degrade.test.ts

@@ -0,0 +1,24 @@
+/**
+ * typescript 缺失时的降级路径测试
+ *
+ * typescript 仅是 devDependency,消费者运行时可能没有安装;
+ * extractCodeStructure 必须降级为空结果而不是崩溃。
+ */
+
+import { describe, it, expect, jest } from '@jest/globals';
+
+describe('extractCodeStructure typescript 降级', () => {
+  it('typescript 不可用时返回空结构', () => {
+    jest.isolateModules(() => {
+      jest.doMock('typescript', () => {
+        throw new Error('typescript not installed');
+      });
+      // eslint-disable-next-line @typescript-eslint/no-require-imports
+      const { extractCodeStructure } = require('../code-structure');
+      const result = extractCodeStructure(__dirname);
+      expect(result.files).toEqual([]);
+      expect(result.functions).toEqual([]);
+      expect(result.imports).toEqual([]);
+    });
+  });
+});

package/src/knowledge/primitives/code-structure.ts

@@ -13,7 +13,30 @@
 
 import * as fs from 'fs';
 import * as path from 'path';
-import * as ts from 'typescript';
+import type * as ts from 'typescript';
+
+let tsLibCache: typeof import('typescript') | null | undefined;
+
+/**
+ * 懒加载 typescript(仅 devDependency):消费者未安装时功能降级为空结果
+ */
+type TsLib = typeof import('typescript');
+
+function loadTypeScript(): TsLib | null {
+  if (tsLibCache !== undefined) return tsLibCache;
+  try {
+    // eslint-disable-next-line @typescript-eslint/no-require-imports
+    tsLibCache = require('typescript') as typeof import('typescript');
+  } catch {
+    tsLibCache = null;
+  }
+  return tsLibCache;
+}
+
+/** 调用前必须经 loadTypeScript() 确认可用 */
+function tsLib(): TsLib {
+  return tsLibCache as TsLib;
+}
 
 export interface DeclarationInfo {
   name: string;
@@ -51,6 +74,8 @@ export function extractCodeStructure(dir: string): CodeStructure {
     imports: [],
   };
 
+  if (!loadTypeScript()) return result;
+
   let entries: fs.Dirent[];
   try {
     entries = fs.readdirSync(dir, { withFileTypes: true });
@@ -68,7 +93,7 @@ export function extractCodeStructure(dir: string): CodeStructure {
   for (const fileName of tsFiles) {
     const filePath = path.join(dir, fileName);
     const sourceText = fs.readFileSync(filePath, 'utf-8');
-    const sourceFile = ts.createSourceFile(fileName, sourceText, ts.ScriptTarget.Latest, true);
+    const sourceFile = tsLib().createSourceFile(fileName, sourceText, tsLib().ScriptTarget.Latest, true);
 
     extractFromFile(sourceFile, result);
   }
@@ -77,20 +102,20 @@ export function extractCodeStructure(dir: string): CodeStructure {
 }
 
 function extractFromFile(sourceFile: ts.SourceFile, result: CodeStructure): void {
-  ts.forEachChild(sourceFile, node => {
-    if (ts.isFunctionDeclaration(node)) {
+  tsLib().forEachChild(sourceFile, node => {
+    if (tsLib().isFunctionDeclaration(node)) {
       const info = extractDeclaration(node, sourceFile);
       if (info) result.functions.push(info);
-    } else if (ts.isClassDeclaration(node)) {
+    } else if (tsLib().isClassDeclaration(node)) {
       const info = extractDeclaration(node, sourceFile);
       if (info) result.classes.push(info);
-    } else if (ts.isInterfaceDeclaration(node)) {
+    } else if (tsLib().isInterfaceDeclaration(node)) {
       const info = extractDeclaration(node, sourceFile);
       if (info) result.interfaces.push(info);
-    } else if (ts.isTypeAliasDeclaration(node)) {
+    } else if (tsLib().isTypeAliasDeclaration(node)) {
       const info = extractDeclaration(node, sourceFile);
       if (info) result.types.push(info);
-    } else if (ts.isImportDeclaration(node)) {
+    } else if (tsLib().isImportDeclaration(node)) {
       const importInfo = extractImport(node, sourceFile);
       if (importInfo) result.imports.push(importInfo);
     }
@@ -112,7 +137,7 @@ function extractDeclaration(
 
 function extractImport(node: ts.ImportDeclaration, sourceFile: ts.SourceFile): ImportInfo | undefined {
   const moduleSpecifier = node.moduleSpecifier;
-  if (!ts.isStringLiteral(moduleSpecifier)) return undefined;
+  if (!tsLib().isStringLiteral(moduleSpecifier)) return undefined;
 
   const source = moduleSpecifier.text;
   const names: string[] = [];
@@ -122,7 +147,7 @@ function extractImport(node: ts.ImportDeclaration, sourceFile: ts.SourceFile): I
       names.push(node.importClause.name.getText(sourceFile));
     }
     if (node.importClause.namedBindings) {
-      if (ts.isNamedImports(node.importClause.namedBindings)) {
+      if (tsLib().isNamedImports(node.importClause.namedBindings)) {
         for (const element of node.importClause.namedBindings.elements) {
           names.push(element.name.getText(sourceFile));
         }
@@ -134,12 +159,11 @@ function extractImport(node: ts.ImportDeclaration, sourceFile: ts.SourceFile): I
 }
 
 function extractJSDoc(node: ts.Node, sourceFile: ts.SourceFile): string | undefined {
-  const jsDocTags = ts.getJSDocTags(node);
   const fullText = sourceFile.getFullText();
   const nodeStart = node.getFullStart();
 
   // Look backwards for JSDoc comment
-  const leadingCommentRanges = ts.getLeadingCommentRanges(fullText, nodeStart);
+  const leadingCommentRanges = tsLib().getLeadingCommentRanges(fullText, nodeStart);
   if (!leadingCommentRanges) return undefined;
 
   for (const range of leadingCommentRanges) {

package/src/knowledge/query.ts

@@ -7,14 +7,11 @@
 
 import type {
   KnowledgeEntry,
-  KnowledgeType,
   MaturityLevel,
   ConsumptionMode,
-  StorageLayer,
   QueryBudget,
   QueryResult,
   QueryFilter,
-  IndexEntry,
 } from './types';
 import type { KnowledgeStore } from './store';
 import { KnowledgeLifecycle } from './lifecycle';

package/src/knowledge/store.ts

@@ -9,7 +9,7 @@
 import * as fs from 'fs';
 import * as path from 'path';
 import * as yaml from 'js-yaml';
-import type { KnowledgeEntry, IndexEntry, QueryFilter, StorageLayer } from './types';
+import type { KnowledgeEntry, IndexEntry, QueryFilter } from './types';
 
 const DEFAULT_DIR = '.harness/knowledge';
 const INDEX_FILE = 'index.json';

package/src/llm/adapter.ts

@@ -39,21 +39,21 @@ export class DefaultLLMAdapter implements LLMAdapter {
     this.config = config;
   }
 
-  async complete(prompt: string, options?: LLMOptions): Promise<string> {
+  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> {
+  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> {
+  async *streamChat(_messages: Message[], _options?: LLMOptions): AsyncIterable<string> {
     throw new Error(
       `LLM streamChat 未实现。请通过 createLLMAdapter({ customAdapter }) 注入具体实现。`,
     );