@dommaker/harness 1.5.0 → 1.7.0

package/src/cli/commands/__tests__/status.test.ts

@@ -1,11 +1,14 @@
 /**
  * status 命令测试
+ *
+ * ADR-0020 起不再 mock TraceAnalyzer/TraceCollector：统计与异常由 trace-analyzer
+ * 的模块级纯函数真算，用例喂合法 trace 行、断言真实输出。
  */
 
 import { status } from '../status';
 import { captureIO, type CapturingIO } from '../../command-contract';
 import * as fs from 'fs';
-import { TraceAnalyzer } from '../../../monitoring/trace-analyzer';
+import type { ExecutionTrace } from '../../../types/trace';
 
 // Mock fs
 jest.mock('fs', () => ({
@@ -15,22 +18,6 @@ jest.mock('fs', () => ({
   writeFileSync: jest.fn(),
 }));
 
-// Mock TraceCollector
-jest.mock('../../../monitoring/traces', () => ({
-  TraceCollector: jest.fn().mockImplementation(() => ({
-    record: jest.fn(),
-    read: jest.fn().mockReturnValue([]),
-  })),
-}));
-
-// Mock TraceAnalyzer
-jest.mock('../../../monitoring/trace-analyzer', () => ({
-  TraceAnalyzer: jest.fn().mockImplementation(() => ({
-    summarize: jest.fn().mockReturnValue([]),
-    detectAnomalies: jest.fn().mockReturnValue([]),
-  })),
-}));
-
 // Mock chalk
 jest.mock('chalk', () => ({
   blue: jest.fn((str: string) => str),
@@ -41,7 +28,18 @@ jest.mock('chalk', () => ({
 }));
 
 const mockFs = fs as jest.Mocked<typeof fs>;
-const MockTraceAnalyzer = TraceAnalyzer as jest.MockedClass<typeof TraceAnalyzer>;
+
+/** trace 文件内容：一 trace 一行，缺省字段补齐成合法 ExecutionTrace（timestamp 递增） */
+function traceFile(traces: Array<Partial<ExecutionTrace>>): string {
+  return traces
+    .map((t, i) => JSON.stringify({ level: 'iron_law', timestamp: i + 1, result: 'pass', ...t }))
+    .join('\n');
+}
+
+/** n 条同一约束的 pass/fail 记录 */
+function repeats(constraintId: string, n: number, result: ExecutionTrace['result']): Array<Partial<ExecutionTrace>> {
+  return Array.from({ length: n }, () => ({ constraintId, result }));
+}
 
 let io: CapturingIO;
 beforeEach(() => {
@@ -80,98 +78,56 @@ describe('status command', () => {
 
   describe('正常状态显示', () => {
     it('应该显示记录数', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'pass' },
-        { constraintId: 'test2', level: 'guideline', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'test1', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 1 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test1' },
+        { constraintId: 'test2', level: 'guideline' },
+      ]));
 
       await status({}, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('记录数: 2 条');
+      expect(io.outText()).toContain('📈 约束统计:');
     });
 
     it('应该显示 Iron Laws 统计', async () => {
-      const mockTraces = [
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law', passRate: 1, failRate: 0, totalChecks: 5 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'no_bypass_checkpoint' },
+      ]));
 
       await status({ detail: true }, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('🔴 Iron Laws:');
+      expect(io.outText()).toContain('✅ no_bypass_checkpoint');
+      expect(io.outText()).toContain('检查: 1 | 通过: 100% | 失败: 0%');
     });
   });
 
   describe('异常检测', () => {
     it('应该显示异常列表', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'fail' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockAnomalies = [
-        { constraintId: 'test1', type: 'high_failure_rate', current: 0.8, threshold: 0.5 },
-      ];
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test1', level: 'iron_law', passRate: 0.2, failRate: 0.8, totalChecks: 5 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue(mockAnomalies),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test1', result: 'fail' },
+      ]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('异常');
+      expect(io.outText()).toContain('发现 1 个异常');
+      expect(io.outText()).toContain('  test1');
+      expect(io.outText()).toContain('类型: low_pass_rate');
     });
   });
 
   describe('详细模式', () => {
     it('应该显示详细统计', async () => {
-      const mockTraces = [
-        { constraintId: 'test1', level: 'iron_law', result: 'pass' },
-      ];
-      mockFs.readFileSync.mockReturnValue(mockTraces.map(t => JSON.stringify(t)).join('\n'));
-
-      const mockSummarize = jest.fn().mockReturnValue([
-        { constraintId: 'test1', level: 'iron_law', passRate: 0.8, failRate: 0.2, totalChecks: 10 },
-      ]);
-      const mockAnalyze = {
-        summarize: mockSummarize,
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        ...repeats('test1', 4, 'pass'),
+        { constraintId: 'test1', result: 'fail' },
+      ]));
 
       await status({ detail: true }, io);
-      expect(io.outText()).not.toBe('');
+      expect(io.outText()).toContain('检查: 5 | 通过: 80% | 失败: 20%');
     });
   });
 
   describe('状态文件更新', () => {
     it('应该更新 .state.json', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test","level":"iron_law"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({}, io);
       expect(mockFs.writeFileSync).toHaveBeenCalled();
@@ -180,110 +136,72 @@ describe('status command', () => {
 
   describe('Guidelines 统计', () => {
     it('应该显示 Guidelines 统计', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test_guide', level: 'guideline', passRate: 0.9, failRate: 0.1, totalChecks: 10 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test_guide', level: 'guideline' },
+      ]));
 
       await status({}, io);
-      expect(io.outText()).toContain('Guidelines');
+      expect(io.outText()).toContain('🟡 Guidelines:');
+      expect(io.outText()).toContain('✅ test_guide');
     });
   });
 
   describe('异常模式', () => {
     it('应该显示未发现异常当无异常', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('未发现异常');
+      expect(io.outText()).toContain('✅ 未发现异常');
     });
 
     it('应该显示异常详情', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([
-          { constraintId: 'test', type: 'high_failure_rate', data: { currentRate: 0.8, threshold: 0.5 } },
-        ]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test', result: 'fail' },
+      ]));
 
       await status({ anomalies: true }, io);
-      expect(io.outText()).toContain('异常');
+      expect(io.outText()).toContain('当前值: 0');
+      expect(io.outText()).toContain('阈值: 0.3');
       expect(io.outText()).toContain('下一步建议');
     });
   });
 
   describe('建议', () => {
     it('应该显示良好建议当 trace >= 100', async () => {
-      const traces = Array(100).fill('{"constraintId":"test"}').join('\n');
-      mockFs.readFileSync.mockReturnValue(traces);
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile(repeats('test', 100, 'pass')));
 
       await status({}, io);
+      expect(io.outText()).toContain('记录数: 100 条');
       expect(io.outText()).toContain('状态良好');
     });
 
     it('应该显示积累数据建议当 trace < 100', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([{ constraintId: 'test' }]));
 
       await status({}, io);
       expect(io.outText()).toContain('继续积累数据');
     });
 
     it('应该显示诊断建议当有异常', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([]),
-        detectAnomalies: jest.fn().mockReturnValue([
-          { constraintId: 'test', type: 'high_failure_rate' },
-        ]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        { constraintId: 'test', result: 'fail' },
+      ]));
 
-      await status({}, io);
+      await status({ anomalies: true }, io);
       expect(io.outText()).toContain('harness status --detail');
     });
   });
 
-  describe('详细模式', () => {
+  describe('详细模式扩展', () => {
     it('应该显示 Guidelines 详细统计', async () => {
-      mockFs.readFileSync.mockReturnValue('{"constraintId":"test"}');
-
-      const mockAnalyze = {
-        summarize: jest.fn().mockReturnValue([
-          { constraintId: 'test_guide', level: 'guideline', passRate: 0.6, failRate: 0.4, totalChecks: 10 },
-        ]),
-        detectAnomalies: jest.fn().mockReturnValue([]),
-      };
-      (MockTraceAnalyzer as any).mockImplementation(() => mockAnalyze);
+      mockFs.readFileSync.mockReturnValue(traceFile([
+        ...repeats('test_guide', 3, 'pass'),
+        ...repeats('test_guide', 2, 'fail'),
+      ].map(t => ({ ...t, level: 'guideline' as const }))));
 
       await status({ detail: true }, io);
-      expect(io.outText()).toContain('检查:');
+      expect(io.outText()).toContain('⚠️ test_guide');
+      expect(io.outText()).toContain('检查: 5 | 通过: 60% | 失败: 40%');
     });
   });
 });

package/src/cli/commands/definitions.ts

@@ -128,7 +128,6 @@ export const COMMAND_DEFINITIONS: CommandDefinition[] = [
       { flags: '-t, --test-command <command>', description: '测试命令' },
       { flags: '-p, --project-path <path>', description: '项目路径' },
       { flags: '--allow-partial', description: '允许部分测试通过', defaultValue: false },
-      { flags: '--max-retries <n>', description: '最大重试次数', defaultValue: '2' },
       { flags: '--coverage', description: '检查测试覆盖率' },
       { flags: '--coverage-threshold <n>', description: '覆盖率阈值', defaultValue: '80' },
     ],
@@ -157,7 +156,7 @@ export const COMMAND_DEFINITIONS: CommandDefinition[] = [
     description: '生成检查报告',
     options: [
       { flags: '-o, --output <path>', description: '输出文件路径' },
-      { flags: '-f, --format <format>', description: '输出格式 (json/markdown/html)', defaultValue: 'markdown' },
+      { flags: '-f, --format <format>', description: '输出格式 (json/markdown)', defaultValue: 'markdown' },
       { flags: '-p, --project-path <path>', description: '项目路径' },
     ],
     action: { module: 'report', export: 'report' },
@@ -298,22 +297,6 @@ export const COMMAND_DEFINITIONS: CommandDefinition[] = [
     action: { module: 'posteval-plan', export: 'postevalPlan' },
     mapActionArgs: (positionals) => [{ planPath: positionals[0] }],
   },
-  {
-    command: 'update-user-model',
-    alias: 'uum',
-    description: '从新对话中提取信号，更新用户思维模型（增量演化）',
-    options: [
-      { flags: '--json', description: 'JSON 格式输出', defaultValue: false },
-      { flags: '--dry-run', description: '只显示变化，不更新状态', defaultValue: false },
-      { flags: '--days <n>', description: '只处理最近 N 天的会话（自然日，含今天）' },
-    ],
-    action: { module: 'update-user-model', export: 'updateUserModel' },
-    mapActionArgs: (_pos, options) => [{
-      days: options.days !== undefined ? parseInt(String(options.days), 10) : undefined,
-      json: options.json,
-      dryRun: options.dryRun,
-    }],
-  },
   {
     command: 'release',
     description: 'npm 发布流水线：tsc → dist 验证 → npm version → git push → npm publish → gh release。不依赖 Studio API。',
@@ -324,20 +307,6 @@ export const COMMAND_DEFINITIONS: CommandDefinition[] = [
     action: { module: 'release', export: 'release' },
     mapActionArgs: (_pos, options) => [{ bumpType: options.bump, dryRun: options.dryRun }],
   },
-  {
-    command: 'analyze-sessions',
-    alias: 'analyze',
-    description: '分析 Claude Code 对话，挖掘纠正模式和高频概念，生成规则候选',
-    options: [
-      { flags: '-d, --days <n>', description: '分析最近 N 天的会话', defaultValue: '7' },
-      { flags: '--json', description: 'JSON 格式输出', defaultValue: false },
-    ],
-    action: { module: 'analyze-sessions', export: 'analyzeSessions' },
-    mapActionArgs: (_pos, options) => [{
-      days: parseInt(String(options.days), 10),
-      json: options.json,
-    }],
-  },
   {
     command: 'constraints',
     description: '输出约束集合元数据（版本、hash、计数、文本大小）',

package/src/cli/commands/passes-gate.ts

@@ -19,8 +19,6 @@ export interface PassesGateOptions {
   projectPath?: string;
   /** 是否允许部分通过 */
   allowPartial?: boolean;
-  /** 最大重试次数 */
-  maxRetries?: number;
 }
 
 /**
@@ -54,7 +52,6 @@ export async function runPassesGate(
     testCommand,
     requireEvidence: false,
     allowPartialPass: options.allowPartial || false,
-    maxRetries: options.maxRetries || 2,
   };
 
   // 执行测试

package/src/cli/commands/performance.ts

@@ -5,7 +5,8 @@
  */
 
 import chalk from 'chalk';
-import { PerformanceGate } from '../../gates/performance';
+import { PerformanceGate, type ExtendedPerformanceGateConfig } from '../../gates/performance';
+import type { GateContext, PerformanceThresholds } from '../../gates/types';
 import { log, processIO, type CommandIO, type CommandResult } from '../command-contract';
 
 export interface PerformanceOptions {
@@ -19,10 +20,6 @@ export interface PerformanceOptions {
   bundle?: boolean;
   /** 打包大小阈值（KB） */
   bundleThreshold?: number;
-  /** 是否检查基准测试 */
-  benchmark?: boolean;
-  /** 基准测试超时（秒） */
-  benchmarkTimeout?: number;
 }
 
 /**
@@ -36,34 +33,28 @@ export async function performance(
 
   const projectPath = options.projectPath || process.cwd();
 
-  // 构建配置
-  const config: any = {};
+  // 构建配置（架构评审候选2：键名对齐 PerformanceThresholds 真字段——
+  // 原 thresholds.coverage / bundleSize 字节换算是错位键，旗帜恒不生效）
+  const config: Partial<ExtendedPerformanceGateConfig> = {};
+  const thresholds: PerformanceThresholds = {};
 
   if (options.coverage && options.coverageThreshold) {
-    config.thresholds = {
-      coverage: options.coverageThreshold,
-    };
+    thresholds.minCoverage = options.coverageThreshold;
   }
 
   if (options.bundleThreshold) {
-    config.thresholds = config.thresholds || {};
-    config.thresholds.bundleSize = options.bundleThreshold * 1024; // KB to bytes
+    thresholds.maxBundleSize = options.bundleThreshold; // KB 直传，gate 按 KB 比较
   }
 
-  if (options.benchmarkTimeout) {
-    config.benchmarkTimeout = options.benchmarkTimeout * 1000; // seconds to ms
+  if (Object.keys(thresholds).length > 0) {
+    config.thresholds = thresholds;
   }
 
   // 创建性能门控实例
   const gate = new PerformanceGate(config);
 
   try {
-    const result = await gate.check({
-      projectPath,
-      checkCoverage: options.coverage,
-      checkBundle: options.bundle,
-      checkBenchmark: options.benchmark,
-    } as any);
+    const result = await gate.check({ projectPath } as GateContext);
 
     if (result.passed) {
       log(io);
@@ -83,13 +74,8 @@ export async function performance(
 
         if (metrics.bundleSize !== undefined) {
           const thresholdKB = options.bundleThreshold || 500;
-          const actualKB = metrics.bundleSize / 1024;
-          const status = actualKB <= thresholdKB ? '✅' : '❌';
-          log(io, chalk.gray(`  打包大小: ${actualKB.toFixed(2)} KB ${status}`));
-        }
-
-        if (metrics.benchmarkTime !== undefined) {
-          log(io, chalk.gray(`  基准测试: ${metrics.benchmarkTime}ms`));
+          const status = metrics.bundleSize <= thresholdKB ? '✅' : '❌';
+          log(io, chalk.gray(`  打包大小: ${metrics.bundleSize} KB ${status}`));
         }
       }
     } else {

package/src/cli/commands/report.ts

@@ -8,7 +8,6 @@ import chalk from 'chalk';
 import * as fs from 'fs/promises';
 import { ConstraintChecker } from '../../core/constraints/checker';
 import { IRON_LAWS, GUIDELINES, PROMPTS } from '../../core/constraints/definitions';
-import { executeWithCollect } from '../../failure/constraint-handler';
 import { getTraceCollector } from '../../monitoring/traces';
 import type { ConstraintContext } from '../../types/constraint';
 import { log, processIO, type CommandIO, type CommandResult } from '../command-contract';
@@ -17,7 +16,7 @@ export interface ReportOptions {
   /** 输出文件路径 */
   output?: string;
   /** 输出格式 */
-  format: 'json' | 'markdown' | 'html';
+  format: 'json' | 'markdown';
   /** 项目路径 */
   projectPath?: string;
 }
@@ -59,12 +58,8 @@ export async function report(options: ReportOptions, io: CommandIO = processIO):
     projectPath,
   };
 
-  // S4: 使用 COLLECT 策略 — Iron Law 违规不抛异常，收集到结果中
-  const { checkResult } = await executeWithCollect(() =>
-    checker.checkConstraints(context)
-  );
-  // COLLECT 策略始终返回 checkResult
-  const result = checkResult!;
+  // 收集模式（架构评审候选1）：不抛、全量收集，铁律违规如实进报告
+  const result = await checker.collectConstraints(context);
 
   const failedIronLaws = result.ironLaws.filter(r => !r.satisfied);
   const failedGuidelines = result.guidelines.filter(r => !r.satisfied);
@@ -99,9 +94,6 @@ export async function report(options: ReportOptions, io: CommandIO = processIO):
     case 'markdown':
       content = generateMarkdownReport(reportData);
       break;
-    case 'html':
-      content = generateHtmlReport(reportData);
-      break;
     default:
       content = JSON.stringify(reportData, null, 2);
   }
@@ -150,53 +142,3 @@ function generateMarkdownReport(data: ReportData): string {
   return lines.join('\n');
 }
 
-function generateHtmlReport(data: ReportData): string {
-  const violationsHtml = data.constraints.violations.length > 0
-    ? `<h3>违规项</h3><ul>${data.constraints.violations.map(v =>
-        `<li><strong>${v.id}</strong> (${v.level}): ${v.message}</li>`
-      ).join('')}</ul>`
-    : '';
-
-  return `<!DOCTYPE html>
-<html lang="zh-CN">
-<head>
-  <meta charset="UTF-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0">
-  <title>Harness 检查报告</title>
-  <style>
-    body { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif; max-width: 800px; margin: 0 auto; padding: 20px; }
-    h1 { color: #333; border-bottom: 2px solid #4CAF50; padding-bottom: 10px; }
-    h2 { color: #555; margin-top: 30px; }
-    table { width: 100%; border-collapse: collapse; margin: 15px 0; }
-    th, td { border: 1px solid #ddd; padding: 8px; text-align: left; }
-    th { background-color: #4CAF50; color: white; }
-    tr:nth-child(even) { background-color: #f2f2f2; }
-    .passed { color: #4CAF50; }
-    .failed { color: #f44336; }
-    .meta { color: #666; font-size: 0.9em; margin-bottom: 20px; }
-  </style>
-</head>
-<body>
-  <h1>Harness 检查报告</h1>
-  <p class="meta">生成时间: ${data.timestamp}<br>项目路径: ${data.projectPath}</p>
-
-  <h2>约束检查</h2>
-  <table>
-    <tr><th>指标</th><th>数值</th></tr>
-    <tr><td>总约束</td><td>${data.constraints.total}</td></tr>
-    <tr><td>Iron Laws</td><td>${data.constraints.ironLaws}</td></tr>
-    <tr><td>Guidelines</td><td>${data.constraints.guidelines}</td></tr>
-    <tr><td>Prompts</td><td>${data.constraints.prompts}</td></tr>
-    <tr><td>通过</td><td class="passed">${data.constraints.passed}</td></tr>
-    <tr><td>失败</td><td class="failed">${data.constraints.failed}</td></tr>
-    <tr><td>警告</td><td>${data.constraints.warnings}</td></tr>
-  </table>
-
-  ${violationsHtml}
-
-  <footer style="margin-top: 40px; color: #999; text-align: center;">
-    报告由 @dommaker/harness 生成
-  </footer>
-</body>
-</html>`;
-}

package/src/cli/commands/status.ts

@@ -7,8 +7,7 @@
 import chalk from 'chalk';
 import * as fs from 'fs';
 import * as path from 'path';
-import { TraceCollector } from '../../monitoring/traces';
-import { TraceAnalyzer } from '../../monitoring/trace-analyzer';
+import { summarizeTraces, detectTraceAnomalies } from '../../monitoring/trace-analyzer';
 import { readJsonl } from '../../utils/jsonl';
 import { DEFAULT_TRACE_FILE } from '../../types/trace';
 import type { ExecutionTrace } from '../../types/trace';
@@ -57,18 +56,14 @@ export async function status(options: StatusOptions, io: CommandIO = processIO):
   // filter(Boolean) 沿用原语义：parse 成功但值为 falsy 的行（如 "null"）不进分析
   // 计数去向：harness#100——skippedLines 另起一行走 stderr 告知（口径不改，只补告知）。
   // 不经 TraceCollector.readReport()：本命令按 -p 的 projectPath 直读读链正本，且要的是
-  // records + skippedLines 的原始行数口径；下面另建的 collector/analyzer 只用于 summarize/detectAnomalies
+  // records + skippedLines 的原始行数口径；下游只做纯判定（ADR-0020 直调模块级函数）
   const { records, skippedLines } = readJsonl<ExecutionTrace>(tracesPath, 'skip');
   const traces = records.filter(Boolean);
   const traceCount = records.length + skippedLines;
 
-  // 创建收集器和分析器
-  const collector = new TraceCollector({ traceFile: tracesPath });
-  const analyzer = new TraceAnalyzer(collector);
-
-  // 生成统计
-  const summaries = analyzer.summarize(traces);
-  const anomalies = analyzer.detectAnomalies(summaries);
+  // 生成统计（数据进数据出，无需 collector/分析器实例）
+  const summaries = summarizeTraces(traces);
+  const anomalies = detectTraceAnomalies(summaries);
 
   // 基本统计
   log(io, chalk.gray(`记录数: ${traceCount} 条`));

package/src/context/CONTEXT.md

@@ -1,11 +1,10 @@
 # context/
 
 ## 职责
-上下文管理：Token 预算(多级分配)、会话压缩、会话管理、知识注入。
+上下文管理：Token 预算(多级分配)、会话管理、知识注入。
 
 ## 核心导出
 - `TokenBudget` — 多级 token 预算(system/user/tool/reserve)
-- `Compaction` — 会话压缩(摘要/截断/滑动窗口)
 - `SessionManager` — 会话管理
 - `KnowledgeInjector` — 知识注入引擎
 
@@ -16,7 +15,7 @@
 
 ## 约定
 - Token 预算策略由配置文件控制
-- 会话压缩策略可组合
+- 压缩只剩词汇不留引擎：`types.ts` 保留 `CompactionLevel`（被 `ContextUsageSnapshot.compactionLevel` 引用）与 `CompactionConfig`，但 `SessionCompaction` 引擎、`CompactionResult`、`DEFAULT_COMPACTION_CONFIG` 与 `AdaptiveTokenBudget` 已随 ADR-0022（零生产消费者）删除，本目录不再提供压缩策略组合点
 
 ## 注意事项
 - 零 Token 成本：纯计算，不调用 LLM