@dommaker/harness 1.8.1 → 1.10.0

package/src/__tests__/public-type-surface.test.ts

@@ -145,7 +145,7 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ConstraintContext',
     'ConstraintId',
     'ConstraintKind',
-    'ConstraintLevel',
+    'ConstraintSeverity',
     'ConstraintResult',
     'ConstraintTrigger',
     'ConsumptionEvent',
@@ -159,7 +159,6 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ContractGateConfig',
     'ContractPresenceContext',
     'ContractPresenceResult',
-    'CustomConstraintDefinition',
     'DecayConfig',
     'DecisionRecord',
     'DeclarationInfo',
@@ -170,7 +169,6 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'DocRegexCountCheck',
     'DocsSyncConfig',
     'EffectiveConfigLint',
-    'EffectiveHook',
     'ErrorClassificationRule',
     'ErrorClassifierConfig',
     'EventHandler',
@@ -189,12 +187,6 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'GovernanceConfig',
     'GrepCountActual',
     'HarnessBootstrap',
-    'HookConfig',
-    'HookDefinition',
-    'HookErrorStrategy',
-    'HookExecutionRecord',
-    'HookPhase',
-    'HookResult',
     'ImportInfo',
     'IndexEntry',
     'IngestOptions',
@@ -217,13 +209,11 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'PerformanceGateConfig',
     'PerformanceThresholds',
     'PhaseFormatResult',
-    'PipelineResult',
     'ProjectConfig',
     'QueryBudget',
     'QueryFilter',
     'QueryResult',
     'ReferenceRecord',
-    'RenderConstraintsByTriggerOptions',
     'ReviewGateConfig',
     'SchemaLoader',
     'SecurityGateConfig',
@@ -273,14 +263,13 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ConstraintContext',
     'ConstraintId',
     'ConstraintKind',
-    'ConstraintLevel',
+    'ConstraintSeverity',
     'ConstraintResult',
     'ConstraintTrigger',
     'ContextFilesResolution',
     'EffectiveConfigLint',
     'IronLawContext',
     'PassesGateConfig',
-    'RenderConstraintsByTriggerOptions',
     'RunEnv',
     'RunTarget',
     'SpecSchemaDefinition',

package/src/__tests__/public-value-surface.test.ts

@@ -47,16 +47,12 @@ const ENTRY_SUBPATHS: string[] = Object.keys(EXPORTS_MAP);
 /** 每个已发布子路径入口的值面全量清单。增删任一项即公共面 breaking，见文件头。 */
 const PUBLISHED_ENTRY_VALUES: Record<string, string[]> = {
   './core': [
-    'CONSTRAINTS_END_MARKER',
-    'CONSTRAINTS_START_MARKER',
+    'CONSTRAINTS',
     'CSOValidator',
     'CheckCache',
     'CheckpointValidator',
     'ConstraintChecker',
     'ConstraintViolationError',
-    'GUIDELINES',
-    'IRON_LAWS',
-    'PROMPTS',
     'PassesGate',
     'ProjectConfigLoader',
     'SpecValidator',
@@ -73,8 +69,6 @@ const PUBLISHED_ENTRY_VALUES: Record<string, string[]> = {
     'getGovernanceConfig',
     'lintEffectiveConfig',
     'loadRawProjectConfig',
-    'renderConstraintsByTrigger',
-    'renderConstraintsSection',
     'resolveContextFiles',
   ],
   './presets': [

package/src/__tests__/skip-semantics.test.ts

@@ -3,8 +3,8 @@
  *
  * 覆盖：
  * - 三条存在性探测（capability_sync / context_doc_sync / docs_freshness）有/无约定两路
- * - flag 型铁律 undefined → skip（显式 false 仍 fail，true 仍 pass）
- * - Iron Law skip 不阻断 checkConstraints
+ * - flag 型 error 级约束 undefined → skip（显式 false 仍 fail，true 仍 pass）
+ * - error 级 skip 不阻断 checkConstraints
  * - detectTrigger 代码文件 → 附加 code_implementation 推断
  * - trace 记录 result: 'skip'；TraceAnalyzer 的 pass/fail 率分母不计 skip
  */
@@ -12,7 +12,7 @@
 import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
 import { ConstraintChecker } from '../core/constraints/checker';
 import { detectTrigger, buildConstraintContext } from '../core/constraints/context-builder';
-import { IRON_LAWS } from '../core/constraints/definitions';
+import { CONSTRAINTS } from '../core/constraints/definitions';
 import { TraceAnalyzer } from '../monitoring/trace-analyzer';
 import type { Constraint, ConstraintContext } from '../types/constraint';
 import type { ExecutionTrace } from '../types/trace';
@@ -26,10 +26,10 @@ const checker = new ConstraintChecker({ record: () => undefined });
 
 function makeConstraint(
   id: string,
-  level: 'iron_law' | 'guideline',
+  severity: 'error' | 'warning',
   trigger: string = 'commit'
 ): Constraint {
-  return { id, kind: 'check', level, rule: 'TEST', message: 'test', trigger, enforcement: 'test' };
+  return { id, kind: 'check', severity, rule: 'TEST', message: 'test', trigger, enforcement: 'test' };
 }
 
 describe('skip 三态语义（ADR-0001）', () => {
@@ -58,7 +58,7 @@ describe('skip 三态语义（ADR-0001）', () => {
       const dir = path.join(tempDir, 'cap-skip');
       fs.mkdirSync(dir, { recursive: true });
 
-      const result = await checker.check(makeConstraint('capability_sync', 'guideline'), {
+      const result = await checker.check(makeConstraint('capability_sync', 'warning'), {
         operation: 'commit',
         projectPath: dir,
       } as ConstraintContext);
@@ -75,7 +75,7 @@ describe('skip 三态语义（ADR-0001）', () => {
       // 散文文档（无表格）历史放行；此处只验证"进入评估"而非 skip
       fs.writeFileSync(path.join(dir, 'CAPABILITIES.md'), '# Capabilities\n\n- Feature: test');
 
-      const result = await checker.check(makeConstraint('capability_sync', 'guideline'), {
+      const result = await checker.check(makeConstraint('capability_sync', 'warning'), {
         operation: 'commit',
         projectPath: dir,
       } as ConstraintContext);
@@ -92,7 +92,7 @@ describe('skip 三态语义（ADR-0001）', () => {
       const dir = path.join(tempDir, 'ctx-skip');
       fs.mkdirSync(dir, { recursive: true });
 
-      const result = await checker.check(makeConstraint('context_doc_sync', 'guideline'), {
+      const result = await checker.check(makeConstraint('context_doc_sync', 'warning'), {
         operation: 'module_modification',
         projectPath: dir,
       } as ConstraintContext);
@@ -114,7 +114,7 @@ describe('skip 三态语义（ADR-0001）', () => {
         yaml.dump({ governance: { context_files: { enabled: true, required_dirs: ['src'] } } })
       );
 
-      const result = await checker.check(makeConstraint('context_doc_sync', 'guideline'), {
+      const result = await checker.check(makeConstraint('context_doc_sync', 'warning'), {
         operation: 'module_modification',
         projectPath: dir,
       } as ConstraintContext);
@@ -131,7 +131,7 @@ describe('skip 三态语义（ADR-0001）', () => {
       const dir = path.join(tempDir, 'fresh-skip');
       fs.mkdirSync(dir, { recursive: true });
 
-      const result = await checker.check(makeConstraint('docs_freshness', 'iron_law', 'file_modification'), {
+      const result = await checker.check(makeConstraint('docs_freshness', 'error', 'file_modification'), {
         operation: 'file_modification',
         projectPath: dir,
       } as ConstraintContext);
@@ -150,7 +150,7 @@ describe('skip 三态语义（ADR-0001）', () => {
         '# Capabilities\n\n| 模块 | 文件 | 说明 |\n|------|------|------|\n| ghost | src/ghost.ts | 不存在 |'
       );
 
-      const result = await checker.check(makeConstraint('docs_freshness', 'iron_law', 'file_modification'), {
+      const result = await checker.check(makeConstraint('docs_freshness', 'error', 'file_modification'), {
         operation: 'file_modification',
         projectPath: dir,
       } as ConstraintContext);
@@ -162,9 +162,9 @@ describe('skip 三态语义（ADR-0001）', () => {
     });
   });
 
-  describe('flag 型铁律：undefined → skip', () => {
+  describe('flag 型 error 级约束：undefined → skip', () => {
     it('hasVerificationEvidence undefined → skip；false → fail；true → pass', async () => {
-      const law = IRON_LAWS['no_completion_without_verification'];
+      const law = CONSTRAINTS['no_completion_without_verification'];
 
       const skipped = await checker.check(law, { operation: 'code_implementation' });
       expect(skipped.skipped).toBe(true);
@@ -185,33 +185,17 @@ describe('skip 三态语义（ADR-0001）', () => {
       expect(passed.satisfied).toBe(true);
     });
 
-    it('hasSingleTask / hasRequirement undefined → skip', async () => {
-      const single = await checker.check(IRON_LAWS['incremental_progress'], {
-        operation: 'code_implementation',
-      });
-      expect(single.skipped).toBe(true);
-
-      const req = await checker.check(IRON_LAWS['no_implementation_without_requirement'], {
-        operation: 'code_implementation',
-      });
-      expect(req.skipped).toBe(true);
-    });
-
     it('Iron Law skip 不阻断 checkConstraints', async () => {
-      // 三个 flag 全部未接线（CLI pre-commit 路径的典型形态）
+      // flag 未接线（CLI pre-commit 路径的典型形态）
       const result = await checker.checkConstraints({
         operation: 'code_implementation',
         projectPath: path.join(tempDir, 'empty'),
       });
 
       expect(result.passed).toBe(true);
-      const skippedIds = result.ironLaws.filter(r => r.skipped).map(r => r.id);
+      const skippedIds = result.errors.filter(r => r.skipped).map(r => r.id);
       expect(skippedIds).toEqual(
-        expect.arrayContaining([
-          'no_completion_without_verification',
-          'incremental_progress',
-          'no_implementation_without_requirement',
-        ])
+        expect.arrayContaining(['no_completion_without_verification'])
       );
     });
 
@@ -296,17 +280,17 @@ describe('skip 三态语义（ADR-0001）', () => {
 
       const skipTraces = records.filter(t => t.result === 'skip');
       expect(skipTraces.map(t => t.constraintId)).toEqual(
-        expect.arrayContaining(['incremental_progress', 'no_implementation_without_requirement'])
+        expect.arrayContaining(['no_completion_without_verification'])
       );
     });
 
     it('TraceAnalyzer：skip 单独计数，不计入 pass/fail 率分母', () => {
       const analyzer = new TraceAnalyzer(null as any);
       const traces: ExecutionTrace[] = [
-        { constraintId: 'c1', level: 'iron_law', timestamp: 1, result: 'pass' },
-        { constraintId: 'c1', level: 'iron_law', timestamp: 2, result: 'skip' },
-        { constraintId: 'c1', level: 'iron_law', timestamp: 3, result: 'skip' },
-        { constraintId: 'c1', level: 'iron_law', timestamp: 4, result: 'fail' },
+        { constraintId: 'c1', severity: 'error', timestamp: 1, result: 'pass' },
+        { constraintId: 'c1', severity: 'error', timestamp: 2, result: 'skip' },
+        { constraintId: 'c1', severity: 'error', timestamp: 3, result: 'skip' },
+        { constraintId: 'c1', severity: 'error', timestamp: 4, result: 'fail' },
       ];
 
       const [summary] = analyzer.summarize(traces);

package/src/__tests__/trace-analyzer-extra.test.ts

@@ -41,8 +41,8 @@ describe('TraceAnalyzer - 补充覆盖', () => {
   describe('趋势计算', () => {
     it('少于 10 条记录应该返回 stable', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'test', level: 'iron_law', timestamp: 2000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 2000, result: 'pass' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -53,10 +53,10 @@ describe('TraceAnalyzer - 补充覆盖', () => {
       // 创建 15 条记录，前半段通过率低，后半段高 → rising
       const traces: ExecutionTrace[] = [];
       for (let i = 0; i < 8; i++) {
-        traces.push({ constraintId: 'test', level: 'iron_law', timestamp: 1000 + i * 100, result: 'fail' });
+        traces.push({ constraintId: 'test', severity: 'error', timestamp: 1000 + i * 100, result: 'fail' });
       }
       for (let i = 8; i < 15; i++) {
-        traces.push({ constraintId: 'test', level: 'iron_law', timestamp: 1000 + i * 100, result: 'pass' });
+        traces.push({ constraintId: 'test', severity: 'error', timestamp: 1000 + i * 100, result: 'pass' });
       }
 
       const summaries = analyzer.summarize(traces);
@@ -67,10 +67,10 @@ describe('TraceAnalyzer - 补充覆盖', () => {
   describe('compareWithPrevious', () => {
     it('应该计算环比变化', () => {
       const current: any[] = [
-        { constraintId: 'test', passRate: 0.8, failRate: 0.2, level: 'iron_law' },
+        { constraintId: 'test', passRate: 0.8, failRate: 0.2, severity: 'error' },
       ];
       const previous: any[] = [
-        { constraintId: 'test', passRate: 0.6, failRate: 0.4, level: 'iron_law' },
+        { constraintId: 'test', passRate: 0.6, failRate: 0.4, severity: 'error' },
       ];
 
       const result = analyzer.compareWithPrevious(current, previous);
@@ -81,7 +81,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
 
     it('无历史数据应该不设置变化', () => {
       const current: any[] = [
-        { constraintId: 'new_test', passRate: 0.8, failRate: 0.2, level: 'iron_law' },
+        { constraintId: 'new_test', passRate: 0.8, failRate: 0.2, severity: 'error' },
       ];
       const previous: any[] = [];
 
@@ -94,7 +94,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
   describe('saveSummary/loadSummary', () => {
     it('应该保存和加载汇总', () => {
       const summaries: any[] = [
-        { constraintId: 'test', passRate: 0.8, failRate: 0.2, level: 'iron_law', totalChecks: 10 },
+        { constraintId: 'test', passRate: 0.8, failRate: 0.2, severity: 'error', totalChecks: 10 },
       ];
 
       analyzer.saveSummary(summaries);
@@ -120,7 +120,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
     it('应该运行小时汇总', () => {
       // 写入一些 traces
       const traces: ExecutionTrace[] = [
-        { constraintId: 'hourly_test', level: 'iron_law', timestamp: Date.now(), result: 'pass' },
+        { constraintId: 'hourly_test', severity: 'error', timestamp: Date.now(), result: 'pass' },
       ];
       collector.record(traces[0]);
 
@@ -137,7 +137,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
       for (let i = 0; i < 20; i++) {
         traces.push({
           constraintId: 'daily_test',
-          level: 'iron_law',
+          severity: 'error',
           timestamp: Date.now() - i * 1000,
           result: i < 15 ? 'fail' : 'pass', // 75% 失败率
         });
@@ -155,7 +155,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
       const summaries: any[] = [
         {
           constraintId: 'report_test',
-          level: 'iron_law',
+          severity: 'error',
           passRate: 0.8,
           failRate: 0.2,
           totalChecks: 100,
@@ -180,7 +180,7 @@ describe('TraceAnalyzer - 补充覆盖', () => {
   describe('analyzeConstraint', () => {
     it('应该分析特定约束', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'specific_test', level: 'iron_law', timestamp: Date.now(), result: 'pass' },
+        { constraintId: 'specific_test', severity: 'error', timestamp: Date.now(), result: 'pass' },
       ];
       traces.forEach(t => collector.record(t));
 
@@ -201,10 +201,10 @@ describe('TraceAnalyzer - 补充覆盖', () => {
 
       const traces: ExecutionTrace[] = [];
       for (let i = 0; i < 6; i++) {
-        traces.push({ constraintId: 'rising_fail', level: 'iron_law', timestamp: 1000 + i * 100, result: 'fail' });
+        traces.push({ constraintId: 'rising_fail', severity: 'error', timestamp: 1000 + i * 100, result: 'fail' });
       }
       for (let i = 6; i < 14; i++) {
-        traces.push({ constraintId: 'rising_fail', level: 'iron_law', timestamp: 1000 + i * 100, result: 'pass' });
+        traces.push({ constraintId: 'rising_fail', severity: 'error', timestamp: 1000 + i * 100, result: 'pass' });
       }
 
       const summaries = customAnalyzer.summarize(traces);

package/src/__tests__/trace-analyzer.test.ts

@@ -39,9 +39,9 @@ describe('TraceAnalyzer', () => {
   describe('summarize', () => {
     it('应该生成统计汇总', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test1', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'test1', level: 'iron_law', timestamp: 2000, result: 'fail' },
-        { constraintId: 'test2', level: 'guideline', timestamp: 3000, result: 'pass' },
+        { constraintId: 'test1', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'test1', severity: 'error', timestamp: 2000, result: 'fail' },
+        { constraintId: 'test2', severity: 'warning', timestamp: 3000, result: 'pass' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -51,9 +51,9 @@ describe('TraceAnalyzer', () => {
 
     it('应该计算通过率', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'test', level: 'iron_law', timestamp: 2000, result: 'pass' },
-        { constraintId: 'test', level: 'iron_law', timestamp: 3000, result: 'fail' },
+        { constraintId: 'test', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 2000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 3000, result: 'fail' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -64,8 +64,8 @@ describe('TraceAnalyzer', () => {
 
     it('应该计算失败率', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test', level: 'iron_law', timestamp: 1000, result: 'fail' },
-        { constraintId: 'test', level: 'iron_law', timestamp: 2000, result: 'fail' },
+        { constraintId: 'test', severity: 'error', timestamp: 1000, result: 'fail' },
+        { constraintId: 'test', severity: 'error', timestamp: 2000, result: 'fail' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -83,10 +83,10 @@ describe('TraceAnalyzer', () => {
   describe('detectAnomalies', () => {
     it('应该检测失败率异常', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test', level: 'guideline', timestamp: 1000, result: 'fail' },
-        { constraintId: 'test', level: 'guideline', timestamp: 2000, result: 'fail' },
-        { constraintId: 'test', level: 'guideline', timestamp: 3000, result: 'fail' },
-        { constraintId: 'test', level: 'guideline', timestamp: 4000, result: 'pass' },
+        { constraintId: 'test', severity: 'warning', timestamp: 1000, result: 'fail' },
+        { constraintId: 'test', severity: 'warning', timestamp: 2000, result: 'fail' },
+        { constraintId: 'test', severity: 'warning', timestamp: 3000, result: 'fail' },
+        { constraintId: 'test', severity: 'warning', timestamp: 4000, result: 'pass' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -97,8 +97,8 @@ describe('TraceAnalyzer', () => {
 
     it('正常数据应该无异常', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'test', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'test', level: 'iron_law', timestamp: 2000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'test', severity: 'error', timestamp: 2000, result: 'pass' },
       ];
 
       const summaries = analyzer.summarize(traces);
@@ -111,9 +111,9 @@ describe('TraceAnalyzer', () => {
   describe('groupByConstraint', () => {
     it('应该按约束 ID 分组', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'a', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'b', level: 'iron_law', timestamp: 2000, result: 'pass' },
-        { constraintId: 'a', level: 'iron_law', timestamp: 3000, result: 'pass' },
+        { constraintId: 'a', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'b', severity: 'error', timestamp: 2000, result: 'pass' },
+        { constraintId: 'a', severity: 'error', timestamp: 3000, result: 'pass' },
       ];
 
       // 通过 summarize 间接验证分组
@@ -140,9 +140,9 @@ describe('TraceAnalyzer', () => {
   describe('模块级纯函数', () => {
     it('summarizeTraces 不构造 collector 即可汇总，skip 不进 pass/fail 分母', () => {
       const traces: ExecutionTrace[] = [
-        { constraintId: 'pure', level: 'iron_law', timestamp: 1000, result: 'pass' },
-        { constraintId: 'pure', level: 'iron_law', timestamp: 2000, result: 'fail' },
-        { constraintId: 'pure', level: 'iron_law', timestamp: 3000, result: 'skip' },
+        { constraintId: 'pure', severity: 'error', timestamp: 1000, result: 'pass' },
+        { constraintId: 'pure', severity: 'error', timestamp: 2000, result: 'fail' },
+        { constraintId: 'pure', severity: 'error', timestamp: 3000, result: 'skip' },
       ];
 
       const summaries = summarizeTraces(traces);
@@ -160,7 +160,7 @@ describe('TraceAnalyzer', () => {
       // failRate 6/14 ≈ 0.43 且趋势上升：默认阈值 0.5 不触发，0.3 触发
       const summary: TraceSummary = {
         constraintId: 'param_threshold',
-        level: 'iron_law',
+        severity: 'error',
         timeRange: { start: 1000, end: 2400 },
         totalChecks: 14,
         passCount: 8,

package/src/__tests__/trace-collector.test.ts

@@ -36,8 +36,8 @@ describe('TraceCollector', () => {
   describe('record', () => {
     it('应该记录 trace', () => {
       const trace: ExecutionTrace = {
-        constraintId: 'no_bypass_checkpoint',
-        level: 'iron_law',
+        constraintId: 'no_test_simplification',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       };
@@ -45,7 +45,7 @@ describe('TraceCollector', () => {
       collector.record(trace);
 
       const content = fs.readFileSync(traceFile, 'utf-8');
-      expect(content).toContain('no_bypass_checkpoint');
+      expect(content).toContain('no_test_simplification');
       expect(content).toContain('pass');
     });
 
@@ -57,7 +57,7 @@ describe('TraceCollector', () => {
 
       disabledCollector.record({
         constraintId: 'test',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       });
@@ -69,13 +69,13 @@ describe('TraceCollector', () => {
     it('应该追加多条记录', () => {
       collector.record({
         constraintId: 'test1',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       });
       collector.record({
         constraintId: 'test2',
-        level: 'guideline',
+        severity: 'warning',
         timestamp: Date.now(),
         result: 'fail',
       });
@@ -88,7 +88,7 @@ describe('TraceCollector', () => {
 
   describe('recordPass', () => {
     it('应该记录通过 trace', () => {
-      collector.recordPass('no_bypass_checkpoint', 'iron_law');
+      collector.recordPass('no_test_simplification', 'error');
 
       const traces = collector.read();
       expect(traces.length).toBe(1);
@@ -98,7 +98,7 @@ describe('TraceCollector', () => {
 
   describe('recordFail', () => {
     it('应该记录失败 trace', () => {
-      collector.recordFail('no_bypass_checkpoint', 'iron_law');
+      collector.recordFail('no_test_simplification', 'error');
 
       const traces = collector.read();
       expect(traces.length).toBe(1);
@@ -110,13 +110,13 @@ describe('TraceCollector', () => {
     it('应该返回所有 traces', () => {
       collector.record({
         constraintId: 'test1',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 1000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'test2',
-        level: 'guideline',
+        severity: 'warning',
         timestamp: 2000,
         result: 'fail',
       });
@@ -128,19 +128,19 @@ describe('TraceCollector', () => {
     it('应该按时间范围过滤', () => {
       collector.record({
         constraintId: 'test1',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 1000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'test2',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 2000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'test3',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 3000,
         result: 'pass',
       });
@@ -155,18 +155,18 @@ describe('TraceCollector', () => {
     it('应该按约束层级过滤', () => {
       collector.record({
         constraintId: 'test1',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 1000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'test2',
-        level: 'guideline',
+        severity: 'warning',
         timestamp: 2000,
         result: 'pass',
       });
 
-      const traces = collector.read({ level: 'iron_law' });
+      const traces = collector.read({ severity: 'error' });
       expect(traces.length).toBe(1);
     });
   });
@@ -176,13 +176,13 @@ describe('TraceCollector', () => {
       const now = Date.now();
       collector.record({
         constraintId: 'old',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: now - 25 * 60 * 60 * 1000,  // 25 小时前
         result: 'pass',
       });
       collector.record({
         constraintId: 'recent',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: now - 1 * 60 * 60 * 1000,  // 1 小时前
         result: 'pass',
       });
@@ -197,13 +197,13 @@ describe('TraceCollector', () => {
     it('应该按约束 ID 过滤', () => {
       collector.record({
         constraintId: 'no_bypass',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 1000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'other_constraint',
-        level: 'guideline',
+        severity: 'warning',
         timestamp: 2000,
         result: 'pass',
       });
@@ -218,13 +218,13 @@ describe('TraceCollector', () => {
     it('应该返回统计信息', () => {
       collector.record({
         constraintId: 'test1',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 1000,
         result: 'pass',
       });
       collector.record({
         constraintId: 'test2',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: 2000,
         result: 'fail',
       });