@dommaker/harness 0.16.6 → 0.16.8

package/src/__tests__/checker-extra.test.ts

@@ -792,36 +792,6 @@ describe('ConstraintChecker - 补充覆盖', () => {
     });
   });
 
-  describe('deprecated 函数', () => {
-    it('checkIronLaw 应该等同于 checkConstraint', async () => {
-      const { checkIronLaw } = await import('../core/constraints/checker');
-
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        hasTest: true,
-        hasVerificationEvidence: true,
-      };
-
-      const result = await checkIronLaw('no_self_approval', context);
-      expect(result.id).toBe('no_self_approval');
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('checkAllIronLaws 应该返回所有检查结果', async () => {
-      const { checkAllIronLaws } = await import('../core/constraints/checker');
-
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        hasTest: true,
-      };
-
-      const results = await checkAllIronLaws(context);
-      expect(Array.isArray(results)).toBe(true);
-      expect(results.length).toBeGreaterThan(0);
-    });
-  });
-
   describe('checkConstraint 快捷函数', () => {
     it('未知约束应该返回不满足', async () => {
       const { checkConstraint } = await import('../core/constraints/checker');

package/src/__tests__/checker.test.ts

@@ -764,39 +764,6 @@ describe('ConstraintChecker', () => {
     });
   });
 
-  describe('Deprecated functions', () => {
-    it('getAllLaws should work', () => {
-      const { getAllLaws } = require('../core/constraints/definitions');
-      const laws = getAllLaws();
-      expect(Array.isArray(laws)).toBe(true);
-      expect(laws.length).toBeGreaterThan(0);
-    });
-
-    it('findLawsByTrigger should work', () => {
-      const { findLawsByTrigger } = require('../core/constraints/definitions');
-      const laws = findLawsByTrigger('code_implementation');
-      expect(Array.isArray(laws)).toBe(true);
-    });
-
-    it('getLaw should work', () => {
-      const { getLaw } = require('../core/constraints/definitions');
-      const law = getLaw('no_bypass_checkpoint');
-      expect(law).toBeDefined();
-    });
-
-    it('filterLawsBySeverity should work', () => {
-      const { filterLawsBySeverity } = require('../core/constraints/definitions');
-      const errors = filterLawsBySeverity('error');
-      expect(Array.isArray(errors)).toBe(true);
-      
-      const warnings = filterLawsBySeverity('warning');
-      expect(Array.isArray(warnings)).toBe(true);
-      
-      const infos = filterLawsBySeverity('info');
-      expect(Array.isArray(infos)).toBe(true);
-    });
-  });
-
   describe('Helper functions', () => {
     it('should check single constraint via checkConstraint', async () => {
       const context: ConstraintContext = {

package/src/__tests__/checkpoint.test.ts

@@ -3,7 +3,7 @@
  */
 
 import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
-import { CheckpointValidator, validateCheckpoint } from '../core/validators/checkpoint';
+import { CheckpointValidator } from '../core/validators/checkpoint';
 import { mkdirSync, rmSync, writeFileSync } from 'fs';
 import { join } from 'path';
 
@@ -42,7 +42,7 @@ describe('CheckpointValidator', () => {
 
   describe('file_exists', () => {
     it('文件存在应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-1',
           checks: [{ id: 'c-1', type: 'file_exists', config: { path: 'test.txt' } }],
@@ -55,7 +55,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('文件不存在应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-2',
           checks: [{ id: 'c-2', type: 'file_exists', config: { path: 'not-exist.txt' } }],
@@ -71,7 +71,7 @@ describe('CheckpointValidator', () => {
 
   describe('file_not_empty', () => {
     it('非空文件应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-3',
           checks: [{ id: 'c-3', type: 'file_not_empty', config: { path: 'test.txt' } }],
@@ -83,7 +83,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('空文件应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-4',
           checks: [{ id: 'c-4', type: 'file_not_empty', config: { path: 'empty.txt' } }],
@@ -98,7 +98,7 @@ describe('CheckpointValidator', () => {
 
   describe('file_contains', () => {
     it('文件包含内容应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-5',
           checks: [{ id: 'c-5', type: 'file_contains', config: { path: 'test.txt', content: 'hello' } }],
@@ -110,7 +110,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('文件不包含内容应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-6',
           checks: [{ id: 'c-6', type: 'file_contains', config: { path: 'test.txt', content: 'goodbye' } }],
@@ -124,7 +124,7 @@ describe('CheckpointValidator', () => {
 
   describe('file_not_contains', () => {
     it('文件不包含内容应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-20',
           checks: [{ id: 'c-20', type: 'file_not_contains', config: { path: 'test.txt', content: 'goodbye' } }],
@@ -136,7 +136,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('文件包含内容应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-21',
           checks: [{ id: 'c-21', type: 'file_not_contains', config: { path: 'test.txt', content: 'hello' } }],
@@ -151,7 +151,7 @@ describe('CheckpointValidator', () => {
 
   describe('json_path', () => {
     it('JSON 路径匹配应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-7',
           checks: [{ id: 'c-7', type: 'json_path', config: { jsonPath: 'name', expected: 'test' } }],
@@ -163,7 +163,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('JSON 路径不匹配应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-8',
           checks: [{ id: 'c-8', type: 'json_path', config: { jsonPath: 'value', expected: 100 } }],
@@ -177,7 +177,7 @@ describe('CheckpointValidator', () => {
 
   describe('output_contains', () => {
     it('输出包含内容应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-9',
           checks: [{ id: 'c-9', type: 'output_contains', config: { content: 'success' } }],
@@ -189,7 +189,7 @@ describe('CheckpointValidator', () => {
     });
     
     it('输出不包含内容应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-9b',
           checks: [{ id: 'c-9b', type: 'output_contains', config: { content: 'error' } }],
@@ -204,7 +204,7 @@ describe('CheckpointValidator', () => {
 
   describe('output_not_contains', () => {
     it('输出不包含内容应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-14',
           checks: [{ id: 'c-14', type: 'output_not_contains', config: { content: 'error' } }],
@@ -216,7 +216,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('输出包含内容应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-15',
           checks: [{ id: 'c-15', type: 'output_not_contains', config: { content: 'success' } }],
@@ -231,7 +231,7 @@ describe('CheckpointValidator', () => {
 
   describe('output_matches', () => {
     it('输出匹配正则应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-16',
           checks: [{ id: 'c-16', type: 'output_matches', config: { pattern: '\\d+ tests passed' } }],
@@ -243,7 +243,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('输出不匹配正则应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-17',
           checks: [{ id: 'c-17', type: 'output_matches', config: { pattern: 'Error:.*' } }],
@@ -258,7 +258,7 @@ describe('CheckpointValidator', () => {
 
   describe('command_output', () => {
     it('命令输出匹配应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-18',
           checks: [{ id: 'c-18', type: 'command_output', config: { command: 'echo hello', expected: 'hello' } }],
@@ -270,7 +270,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('命令输出不匹配应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-19',
           checks: [{ id: 'c-19', type: 'command_output', config: { command: 'echo hello', expected: 'world' } }],
@@ -284,7 +284,7 @@ describe('CheckpointValidator', () => {
 
   describe('command_success', () => {
     it('命令成功应该通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-10',
           checks: [{ id: 'c-10', type: 'command_success', config: { command: 'echo test' } }],
@@ -296,7 +296,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('命令失败应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-11',
           checks: [{ id: 'c-11', type: 'command_success', config: { command: 'exit 1' } }],
@@ -310,7 +310,7 @@ describe('CheckpointValidator', () => {
 
   describe('多检查组合', () => {
     it('所有检查通过才算整体通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-12',
           checks: [
@@ -328,7 +328,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('一个检查失败则整体失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-13',
           checks: [
@@ -346,7 +346,7 @@ describe('CheckpointValidator', () => {
 
   describe('空检查点', () => {
     it('无检查应该默认通过', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         { id: 'cp-empty', checks: [] },
         { workdir: tempDir, projectPath: tempDir }
       );
@@ -361,7 +361,7 @@ describe('CheckpointValidator', () => {
 
     it('HTTP 状态码匹配应该通过', async () => {
       globalThis.fetch = (async () => new Response(null, { status: 200 })) as any;
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-22',
           checks: [{ id: 'c-22', type: 'http_status', config: { url: 'https://example.com', expectedStatus: 200 } }],
@@ -373,7 +373,7 @@ describe('CheckpointValidator', () => {
 
     it('HTTP 状态码不匹配应该失败', async () => {
       globalThis.fetch = (async () => new Response(null, { status: 404 })) as any;
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-23',
           checks: [{ id: 'c-23', type: 'http_status', config: { url: 'https://example.com', expectedStatus: 200 } }],
@@ -390,7 +390,7 @@ describe('CheckpointValidator', () => {
 
     it('HTTP 响应体包含内容应该通过', async () => {
       globalThis.fetch = (async () => new Response('{"args": "test"}', { status: 200 })) as any;
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-24',
           checks: [{ id: 'c-24', type: 'http_body', config: { url: 'https://example.com', expected: 'args' } }],
@@ -402,7 +402,7 @@ describe('CheckpointValidator', () => {
 
     it('HTTP 响应体不包含内容应该失败', async () => {
       globalThis.fetch = (async () => new Response('{"data": "test"}', { status: 200 })) as any;
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-25',
           checks: [{ id: 'c-25', type: 'http_body', config: { url: 'https://example.com', expected: 'NONEXISTENT' } }],
@@ -423,7 +423,7 @@ describe('CheckpointValidator', () => {
         message: '自定义检查通过',
       }));
 
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-26',
           checks: [{ id: 'c-26', type: 'custom', config: { customFunction: 'myValidator' } }],
@@ -442,7 +442,7 @@ describe('CheckpointValidator', () => {
         message: '自定义检查失败',
       }));
 
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-26b',
           checks: [{ id: 'c-26b', type: 'custom', config: { customFunction: 'failValidator' } }],
@@ -454,7 +454,7 @@ describe('CheckpointValidator', () => {
     });
 
     it('未注册的自定义检查应该失败', async () => {
-      const result = await validateCheckpoint(
+      const result = await CheckpointValidator.getInstance().validate(
         {
           id: 'cp-27',
           checks: [{ id: 'c-27', type: 'custom', config: { customFunction: 'unknownValidator' } }],
@@ -473,7 +473,7 @@ describe('CheckpointValidator', () => {
   describe('边缘情况', () => {
     describe('未知检查类型', () => {
       it('未知类型应该返回错误', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-unknown',
             checks: [{ id: 'c-unknown', type: 'unknown_type' as any, config: {} }],
@@ -489,7 +489,7 @@ describe('CheckpointValidator', () => {
 
     describe('file_not_empty 文件不存在', () => {
       it('文件不存在应该失败', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-fne-missing',
             checks: [{ id: 'c-fne-missing', type: 'file_not_empty', config: { path: 'nonexistent.txt' } }],
@@ -504,7 +504,7 @@ describe('CheckpointValidator', () => {
 
     describe('file_contains 文件不存在', () => {
       it('文件不存在应该失败', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-fc-missing',
             checks: [{ id: 'c-fc-missing', type: 'file_contains', config: { path: 'nonexistent.txt', content: 'test' } }],
@@ -519,7 +519,7 @@ describe('CheckpointValidator', () => {
 
     describe('file_not_contains 文件不存在', () => {
       it('文件不存在应该失败', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-fnc-missing',
             checks: [{ id: 'c-fnc-missing', type: 'file_not_contains', config: { path: 'nonexistent.txt', content: 'test' } }],
@@ -534,7 +534,7 @@ describe('CheckpointValidator', () => {
 
     describe('command_output 命令失败', () => {
       it('命令执行失败应该返回错误', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-co-fail',
             checks: [{ id: 'c-co-fail', type: 'command_output', config: { command: 'exit 1', expected: 'anything' } }],
@@ -549,7 +549,7 @@ describe('CheckpointValidator', () => {
 
     describe('json_path 无效路径', () => {
       it('无效 JSON 路径应该失败', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-jp-invalid',
             checks: [{ id: 'c-jp-invalid', type: 'json_path', config: { jsonPath: 'invalid..path', expected: 'test' } }],
@@ -569,7 +569,7 @@ describe('CheckpointValidator', () => {
 
       it('fetch 网络错误应该返回失败', async () => {
         globalThis.fetch = (() => Promise.reject(new Error('Network error'))) as any;
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-hs-fail',
             checks: [{ id: 'c-hs-fail', type: 'http_status', config: { url: 'https://example.com', expectedStatus: 200 } }],
@@ -586,7 +586,7 @@ describe('CheckpointValidator', () => {
 
       it('fetch 网络错误应该返回失败', async () => {
         globalThis.fetch = (() => Promise.reject(new Error('Network error'))) as any;
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-hb-fail',
             checks: [{ id: 'c-hb-fail', type: 'http_body', config: { url: 'https://example.com', expected: 'test' } }],
@@ -600,7 +600,7 @@ describe('CheckpointValidator', () => {
 
     describe('output_contains JSON 输出', () => {
       it('JSON 对象输出应该被正确处理', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-oc-json',
             checks: [{ id: 'c-oc-json', type: 'output_contains', config: { content: 'success' } }],
@@ -615,7 +615,7 @@ describe('CheckpointValidator', () => {
     describe('output_matches 复杂正则', () => {
       it('多行匹配应该工作', async () => {
         // 注意：正则默认不匹配换行符，需要使用 s 标志或 [\s\S]
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-om-multi',
             checks: [{ id: 'c-om-multi', type: 'output_matches', config: { pattern: 'passed[\\s\\S]*failed' } }],
@@ -627,7 +627,7 @@ describe('CheckpointValidator', () => {
       });
 
       it('单行匹配应该工作', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-om-single',
             checks: [{ id: 'c-om-single', type: 'output_matches', config: { pattern: '\\d+ passed' } }],
@@ -641,7 +641,7 @@ describe('CheckpointValidator', () => {
 
     describe('边界场景', () => {
       it('未知检查类型应该失败', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-unknown',
             checks: [{ id: 'c-unknown', type: 'unknown_type' as any, config: {} }],
@@ -654,7 +654,7 @@ describe('CheckpointValidator', () => {
       });
 
       it('output 为 null 应该被正确处理', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-null-output',
             checks: [{ id: 'c-null-output', type: 'output_contains', config: { content: 'test' } }],
@@ -667,7 +667,7 @@ describe('CheckpointValidator', () => {
       });
 
       it('output 为 undefined 应该被正确处理', async () => {
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-undef-output',
             checks: [{ id: 'c-undef-output', type: 'output_contains', config: { content: 'test' } }],
@@ -681,7 +681,7 @@ describe('CheckpointValidator', () => {
 
       it('JSON 路径获取抛出错误应该失败', async () => {
         // 创建一个复杂的 JSON 路径测试场景
-        const result = await validateCheckpoint(
+        const result = await CheckpointValidator.getInstance().validate(
           {
             id: 'cp-json-err',
             checks: [{ id: 'c-json-err', type: 'json_path', config: { jsonPath: '$.deeply.nested.array[999].field', expected: 'test' } }],

package/src/__tests__/constraint-evolver.test.ts

@@ -4,24 +4,25 @@
 
 import { describe, it, expect } from '@jest/globals';
 import { ConstraintEvolver } from '../monitoring/constraint-evolver';
-import type { Diagnosis } from '../monitoring/constraint-doctor';
+import { getConstraint } from '../core/constraints/definitions';
+import type { Diagnosis } from '../types/monitoring-types';
 
 describe('ConstraintEvolver', () => {
   describe('constructor', () => {
     it('应该创建实例', () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
       expect(evolver).toBeDefined();
     });
 
     it('支持自定义 proposalsDir', () => {
-      const evolver = new ConstraintEvolver('/tmp/test-proposals');
+      const evolver = new ConstraintEvolver('/tmp/test-proposals', getConstraint);
       expect(evolver).toBeDefined();
     });
   });
 
   describe('propose', () => {
     it('应该根据诊断生成提案', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'anomaly-001',
@@ -55,7 +56,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('needsChange=false 应该返回 null', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'anomaly-no-change',
@@ -73,7 +74,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('recommendations 为空应该返回 null', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'anomaly-no-rec',
@@ -91,7 +92,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('应该处理 adjust_threshold 类型', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'anomaly-002',
@@ -112,7 +113,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('应该处理 modify_constraint 类型', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'anomaly-003',
@@ -135,7 +136,7 @@ describe('ConstraintEvolver', () => {
 
   describe('proposeBatch', () => {
     it('应该批量生成提案', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnoses: Diagnosis[] = [
         {
@@ -177,7 +178,7 @@ describe('ConstraintEvolver', () => {
 
   describe('review', () => {
     it('Iron Law 非添加例外应该被拒绝', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'review-001',
@@ -198,7 +199,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('高风险提案应该被拒绝', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'review-002',
@@ -219,7 +220,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('低风险 + 有测试应该通过', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'review-003',
@@ -239,7 +240,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('中风险需要人工审核', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'review-004',
@@ -262,7 +263,7 @@ describe('ConstraintEvolver', () => {
 
   describe('implement', () => {
     it('add_exception 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const diagnosis: Diagnosis = {
         anomalyId: 'impl-001',
@@ -283,7 +284,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('remove_exception 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const proposal = {
         id: 'test-remove',
@@ -304,7 +305,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('adjust_trigger 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const proposal = {
         id: 'test-adjust',
@@ -325,7 +326,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('change_level 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const proposal = {
         id: 'test-level',
@@ -346,7 +347,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('modify_message 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const proposal = {
         id: 'test-msg',
@@ -367,7 +368,7 @@ describe('ConstraintEvolver', () => {
     });
 
     it('new_constraint 应该生成正确指令', async () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
 
       const proposal = {
         id: 'test-new',
@@ -390,13 +391,13 @@ describe('ConstraintEvolver', () => {
 
   describe('listProposals', () => {
     it('应该返回所有提案', () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
       const proposals = evolver.listProposals();
       expect(Array.isArray(proposals)).toBe(true);
     });
 
     it('应该返回待审核提案', () => {
-      const evolver = new ConstraintEvolver();
+      const evolver = new ConstraintEvolver(undefined, getConstraint);
       const pending = evolver.listProposals('proposed');
       expect(Array.isArray(pending)).toBe(true);
     });