@dommaker/harness 1.8.1 → 1.10.0

package/src/hooks/__tests__/bootstrap.test.ts

@@ -5,29 +5,38 @@
  * bootstrapHarnessSync uses synchronous fs reads and is more straightforward.
  *
  * Uses temp directories to provide harness config.
+ *
+ * ADR-0027（#170）：hooks 管线面删除后本层只剩组合根职责——加载项目配置、
+ * 装配 checker / SessionManager / TraceCollector。`hookDefinitions` / `hookConfigs`
+ * 两参数与 `hooks` / `pipeline` 两字段随之消失，形状由编译期 + 运行期双钉冻结
+ * （手法照 ADR-0022 对 AC-007 的改写）。
  */
 
 import * as fs from 'fs';
 import * as path from 'path';
 import * as yaml from 'js-yaml';
 import { bootstrapHarnessSync, bootstrapHarness } from '../bootstrap';
-import type { HookConfig, HookDefinition } from '../types';
-
-function makeHookConfig(name: string, overrides: Partial<HookConfig> = {}): HookConfig {
-  return { name, enabled: true, errorStrategy: 'warn', ...overrides };
-}
 
 function setupTempDir(dir: string): string {
   const harnessDir = path.join(dir, '.harness');
   fs.mkdirSync(harnessDir, { recursive: true });
   const config = {
     preset: 'standard',
-    custom_constraints_file: 'custom-constraints.yml',
   };
   fs.writeFileSync(path.join(harnessDir, 'config.yml'), yaml.dump(config), 'utf-8');
   return harnessDir;
 }
 
+/** 已删字段的编译期钉：回灌（重新声明该字段）即 TS2578 红。纯读，不产生任何落盘副作用。 */
+function assertPipelineSurfaceUnreachable(result: ReturnType<typeof bootstrapHarnessSync>): void {
+  // @ts-expect-error hooks 字段随 ADR-0027 管线面删除
+  const gone = result.hooks;
+  expect(gone).toBeUndefined();
+  // @ts-expect-error pipeline 字段随 ADR-0027 管线面删除
+  const gone2 = result.pipeline;
+  expect(gone2).toBeUndefined();
+}
+
 describe('bootstrapHarness', () => {
   let tempDir: string;
 
@@ -44,10 +53,11 @@ describe('bootstrapHarness', () => {
     const result = await bootstrapHarness(tempDir);
     expect(result).toHaveProperty('checker');
     expect(result).toHaveProperty('sessions');
-    expect(result).toHaveProperty('hooks');
-    expect(result).toHaveProperty('pipeline');
     expect(result).toHaveProperty('projectPath', tempDir);
     expect(result).toHaveProperty('mergedConstraints');
+    expect(Object.keys(result).sort()).toEqual(
+      ['checker', 'mergedConstraints', 'projectPath', 'sessions'],
+    );
   });
 
   it('initializes with the provided project path', async () => {
@@ -55,33 +65,8 @@ describe('bootstrapHarness', () => {
     expect(result.projectPath).toBe(tempDir);
   });
 
-  it('registers hook definitions when provided (with configs)', async () => {
-    const hookDef: HookDefinition = {
-      name: 'async-hook',
-      phase: 'before',
-      execute: async () => ({ passed: true }),
-    };
-    const result = await bootstrapHarness(tempDir, [hookDef], [makeHookConfig('async-hook')]);
-    expect(result.hooks.listNames()).toContain('async-hook');
-    expect(result.hooks.get('async-hook')?.errorStrategy).toBe('warn');
-  });
-
-  it('throws when definitions are provided without configs (#159)', async () => {
-    const hookDef: HookDefinition = {
-      name: 'async-hook',
-      phase: 'before',
-      execute: async () => ({ passed: true }),
-    };
-    await expect(bootstrapHarness(tempDir, [hookDef])).rejects.toThrow(/HookConfig/);
-  });
-
-  it('does not register hooks when no definitions provided', async () => {
-    const result = await bootstrapHarness(tempDir, []);
-    expect(result.hooks.listNames()).toEqual([]);
-  });
-
   it('uses process.cwd() when no project path is given', async () => {
-    const result = await bootstrapHarness(undefined, []);
+    const result = await bootstrapHarness();
     expect(result).toHaveProperty('projectPath');
     expect(result.projectPath).toBeDefined();
   });
@@ -99,7 +84,7 @@ describe('bootstrapHarness', () => {
       const result = await bootstrapHarness(noConfigDir);
       expect(result).toHaveProperty('checker');
       expect(result).toHaveProperty('projectPath', noConfigDir);
-      expect(result.mergedConstraints).toHaveProperty('ironLaws');
+      expect(result.mergedConstraints).toHaveProperty('constraints');
     } finally {
       fs.rmSync(noConfigDir, { recursive: true, force: true });
     }
@@ -122,10 +107,9 @@ describe('bootstrapHarnessSync', () => {
     const result = bootstrapHarnessSync(tempDir);
     expect(result).toHaveProperty('checker');
     expect(result).toHaveProperty('sessions');
-    expect(result).toHaveProperty('hooks');
-    expect(result).toHaveProperty('pipeline');
     expect(result).toHaveProperty('projectPath', tempDir);
     expect(result).toHaveProperty('mergedConstraints');
+    assertPipelineSurfaceUnreachable(result);
   });
 
   it('initializes with the provided project path', () => {
@@ -136,38 +120,13 @@ describe('bootstrapHarnessSync', () => {
   it('initializes ConstraintChecker with merged constraints', () => {
     const result = bootstrapHarnessSync(tempDir);
     // Check that mergedConstraints has the expected structure
-    expect(result.mergedConstraints).toHaveProperty('ironLaws');
-    expect(result.mergedConstraints).toHaveProperty('guidelines');
-  });
-
-  it('registers hook definitions when provided (with configs)', () => {
-    const hookDef: HookDefinition = {
-      name: 'test-hook',
-      phase: 'before',
-      execute: async () => ({ passed: true }),
-    };
-    const result = bootstrapHarnessSync(tempDir, [hookDef], [makeHookConfig('test-hook')]);
-    expect(result.hooks.listNames()).toContain('test-hook');
-  });
-
-  it('throws when definitions are provided without configs (#159)', () => {
-    const hookDef: HookDefinition = {
-      name: 'test-hook',
-      phase: 'before',
-      execute: async () => ({ passed: true }),
-    };
-    expect(() => bootstrapHarnessSync(tempDir, [hookDef])).toThrow(/HookConfig/);
-  });
-
-  it('does not register hooks when no definitions provided', () => {
-    const result = bootstrapHarnessSync(tempDir, []);
-    expect(result.hooks.listNames()).toEqual([]);
-  });
+    expect(result.mergedConstraints).toHaveProperty('constraints');
+      });
 
   it('uses process.cwd() when no project path is given', () => {
     // We cannot easily test process.cwd() fallback without mocking cwd,
     // but we can verify the function accepts undefined
-    const result = bootstrapHarnessSync(undefined, []);
+    const result = bootstrapHarnessSync(undefined);
     // Should not throw with process.cwd() — harness directory may not exist
     expect(result).toHaveProperty('projectPath');
     expect(result.projectPath).toBeDefined();
@@ -182,16 +141,6 @@ describe('bootstrapHarnessSync', () => {
     expect(fs.existsSync(sessionDir)).toBe(true);
   });
 
-  it('creates a working HookPipeline', () => {
-    const hookDef: HookDefinition = {
-      name: 'pipeline-hook',
-      phase: 'after',
-      execute: async () => ({ passed: true, data: 'ok' }),
-    };
-    const result = bootstrapHarnessSync(tempDir, [hookDef], [makeHookConfig('pipeline-hook')]);
-    expect(result.pipeline).toBeDefined();
-  });
-
   it('loads from .harness/config.yml when present', () => {
     // Write a custom config with specific settings
     const harnessDir = path.join(tempDir, '.harness');

package/src/hooks/bootstrap.ts

@@ -8,21 +8,22 @@
  * Consumer 用法：
  * ```typescript
  * const harness = await bootstrapHarness('/path/to/project');
- * // harness.checker, harness.config, harness.hooks, harness.sessions
+ * // harness.checker, harness.sessions, harness.mergedConstraints
  * ```
  *
  * checker 的 trace 记录器在此接线（harness#88：core 不上行依赖 monitoring），
  * 且锚在本函数收到的 projectPath 上（#139：落点跟根走，不落调用方 cwd）。
+ *
+ * ADR-0027（#170）：hooks 管线面（registry/pipeline/config/types）双仓零生产消费者，
+ * 整体删除；本层的 `hookDefinitions` / `hookConfigs` 两参数与 `hooks` / `pipeline`
+ * 两字段随之消失——生产唯一调用方本就无参调用、不访问被删字段。
  */
 
 import { ConstraintChecker } from '../core/constraints/checker';
 import { SessionManager } from '../context/session-manager';
 import { ProjectConfigLoader } from '../core/project-config-loader';
 import { TraceCollector } from '../monitoring/traces';
-import { HookRegistry } from './registry';
-import { HookPipeline } from './pipeline';
 import type { MergedConstraintsConfig } from '../types/project-config';
-import type { HookConfig, HookDefinition } from './types';
 
 /**
  * 异步加载项目配置（S9：异步 I/O）
@@ -50,46 +51,19 @@ export interface HarnessBootstrap {
   checker: ConstraintChecker;
   /** 会话管理器 */
   sessions: SessionManager;
-  /** Hook 注册表 */
-  hooks: HookRegistry;
-  /** Hook 管线 */
-  pipeline: HookPipeline;
   /** 项目路径 */
   projectPath: string;
   /** 合并后的约束配置 */
   mergedConstraints: MergedConstraintsConfig;
 }
 
-/**
- * 注册初始 hook（定义必须配对配置声明表——#159 起 HookConfig 是
- * enabled / errorStrategy 的唯一声明点，缺表即抛错）
- */
-function registerInitialHooks(
-  hooks: HookRegistry,
-  hookDefinitions: HookDefinition[] | undefined,
-  hookConfigs: HookConfig[] | undefined
-): void {
-  if (!hookDefinitions || hookDefinitions.length === 0) return;
-  if (!hookConfigs) {
-    throw new Error(
-      '[harness] bootstrap 失败：注册 hook 定义必须同时提供 HookConfig 声明表' +
-      '（enabled / errorStrategy 的唯一声明点）。'
-    );
-  }
-  hooks.registerAll(hookDefinitions, hookConfigs);
-}
-
 /**
  * 初始化 harness 运行环境（异步，不阻塞事件循环）
  *
  * @param projectPath 项目根路径
- * @param hookDefinitions 可选，初始化时注册的 hook
- * @param hookConfigs 可选，与 hookDefinitions 配对的配置声明表（注册定义时必填）
  */
 export async function bootstrapHarness(
-  projectPath?: string,
-  hookDefinitions?: HookDefinition[],
-  hookConfigs?: HookConfig[]
+  projectPath?: string
 ): Promise<HarnessBootstrap> {
   const resolvedPath = projectPath || process.cwd();
 
@@ -101,17 +75,10 @@ export async function bootstrapHarness(
   const checker = new ConstraintChecker(new TraceCollector({ projectPath: resolvedPath }));
 
   const sessions = new SessionManager(resolvedPath);
-  const hooks = new HookRegistry();
-  const pipeline = new HookPipeline(hooks);
-
-  // 3. 注册初始 hook
-  registerInitialHooks(hooks, hookDefinitions, hookConfigs);
 
   return {
     checker,
     sessions,
-    hooks,
-    pipeline,
     projectPath: resolvedPath,
     mergedConstraints,
   };
@@ -121,11 +88,11 @@ export async function bootstrapHarness(
  * 同步 bootstrap（兼容不支持 top-level await 的环境）
  *
  * 配置加载仍为同步（readFileSync），其他组件初始化同上。
+ *
+ * @param projectPath 项目根路径
  */
 export function bootstrapHarnessSync(
-  projectPath?: string,
-  hookDefinitions?: HookDefinition[],
-  hookConfigs?: HookConfig[]
+  projectPath?: string
 ): HarnessBootstrap {
   const resolvedPath = projectPath || process.cwd();
 
@@ -136,16 +103,10 @@ export function bootstrapHarnessSync(
   const checker = new ConstraintChecker(new TraceCollector({ projectPath: resolvedPath }));
 
   const sessions = new SessionManager(resolvedPath);
-  const hooks = new HookRegistry();
-  const pipeline = new HookPipeline(hooks);
-
-  registerInitialHooks(hooks, hookDefinitions, hookConfigs);
 
   return {
     checker,
     sessions,
-    hooks,
-    pipeline,
     projectPath: resolvedPath,
     mergedConstraints,
   };

package/src/hooks/index.ts

@@ -1,25 +1,10 @@
 /**
  * Hooks 模块
  *
- * 通用 hook 管线：注册 → 排序 → 错误隔离 → 采样执行。
- * 无业务逻辑，consumer 自行定义 hook 名称和语义。
+ * ADR-0027（#170）起本层只剩 `bootstrap.ts` 一个面：通用 hook 管线
+ * （registry / pipeline / config / types 四文件）双仓零生产消费者，整体删除。
+ * 目录名沿用历史，职责是 harness 运行环境的组合根。
  */
 
-export type {
-  HookPhase,
-  HookErrorStrategy,
-  HookConfig,
-  HookDefinition,
-  EffectiveHook,
-  HookResult,
-  HookExecutionRecord,
-  PipelineResult,
-} from './types';
-export { HookRegistry, assertHookRegistryClosed } from './registry';
-export { HookPipeline } from './pipeline';
-export { toErrorStrategy } from './config';
-export {
-  bootstrapHarness,
-  bootstrapHarnessSync,
-  type HarnessBootstrap,
-} from './bootstrap';
+export { bootstrapHarness, bootstrapHarnessSync } from './bootstrap';
+export type { HarnessBootstrap } from './bootstrap';

package/src/index.ts

@@ -3,9 +3,9 @@
  *
  * 通用工程约束框架
  *
- * 约束体系（ADR-0001 kind 二元）：
- * - check：可执行检查（Iron Laws 阻断 / Guidelines 告警）
- * - prompt：纯文本注入，不参与检查
+ * 约束体系（ADR-0029 severity 显式模型）：
+ * - 全部约束 kind='check'：可执行检查（error 阻断 / warning 告警）
+ * - 纯文本提示层已整体关停（ADR-0029）
  *
  * 门禁系统：
  * - PassesGate：测试门控
@@ -16,13 +16,13 @@
  * - CheckpointValidator：检查点验证
  *
  * 公共导出（ADR-0003）：显式清单，禁 export *。
- * 收录标准：属 harness 定位（约束数据 / 执行引擎 / 注入工具 / 知识基建）、
+ * 收录标准：属 harness 定位（约束数据 / 执行引擎 / 知识基建）、
  * 实现真实可用、无同名冲突。内部 seam
  * （ConstraintChecker / constraintChecker / ProjectConfigLoader）不进公共清单。
  */
 
 // ========================================
-// 约束类型（三层体系 + kind 二元）
+// 约束类型（severity 显式模型）
 // ========================================
 export {
   ConstraintViolationError,
@@ -31,7 +31,7 @@ export type {
   Constraint,
   ConstraintId,
   ConstraintKind,
-  ConstraintLevel,
+  ConstraintSeverity,
   ConstraintTrigger,
   ConstraintContext,
   ConstraintResult,
@@ -43,9 +43,7 @@ export type {
 // 约束数据（内置定义 + 生效集）
 // ========================================
 export {
-  IRON_LAWS,
-  GUIDELINES,
-  PROMPTS,
+  CONSTRAINTS,
   getAllConstraints,
   getConstraint,
   findConstraintsByTrigger,
@@ -67,17 +65,10 @@ export {
 export type { CheckConstraintsOptions } from './core/constraints/checker';
 
 // ========================================
-// 约束缓存与注入渲染
+// 约束缓存
 // ========================================
 export { CheckCache } from './core/constraints/check-cache';
 export type { CheckCacheConfig, CheckSamplingConfig } from './core/constraints/check-cache';
-export { renderConstraintsByTrigger } from './core/constraints/agent-prompt-renderer';
-export type { RenderConstraintsByTriggerOptions } from './core/constraints/agent-prompt-renderer';
-export {
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-  renderConstraintsSection,
-} from './core/constraints/injection-renderer';
 
 // ========================================
 // 检查点与验证器
@@ -342,25 +333,13 @@ export { getCriticalArtifacts, verifyReleaseArtifacts } from './release';
 export type { ArtifactIntegrityResult } from './release';
 
 // ========================================
-// Hooks 管线
+// Harness 运行环境引导（bootstrap 单面；hooks 管线面已随 ADR-0027 删除）
 // ========================================
 export {
-  HookRegistry,
-  assertHookRegistryClosed,
-  HookPipeline,
-  toErrorStrategy,
   bootstrapHarness,
   bootstrapHarnessSync,
 } from './hooks';
 export type {
-  HookDefinition,
-  HookConfig,
-  EffectiveHook,
-  HookErrorStrategy,
-  HookExecutionRecord,
-  HookPhase,
-  HookResult,
-  PipelineResult,
   HarnessBootstrap,
 } from './hooks';
 
@@ -385,7 +364,6 @@ export type {
 export type {
   ProjectConfig,
   MergedConstraintsConfig,
-  CustomConstraintDefinition,
   GovernanceConfig,
   CapabilitiesConfig,
   ChangelogConfig,

package/src/monitoring/__tests__/trace-file-anchoring.test.ts

@@ -14,7 +14,7 @@ import { createProjectFixture } from '../../test-setup/project-fixture';
 
 const trace = (constraintId: string): ExecutionTrace => ({
   constraintId,
-  level: 'guideline',
+  severity: 'warning',
   timestamp: 1700000000000,
   result: 'pass',
 });

package/src/monitoring/__tests__/traces.test.ts

@@ -42,7 +42,7 @@ describe('TraceCollector', () => {
       const disabledCollector = new TraceCollector({ enabled: false });
       disabledCollector.record({
         constraintId: 'test',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       });
@@ -54,7 +54,7 @@ describe('TraceCollector', () => {
     it('should append trace to file', () => {
       collector.record({
         constraintId: 'test',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       });
@@ -64,7 +64,7 @@ describe('TraceCollector', () => {
 
   describe('recordPass()', () => {
     it('should record pass trace', () => {
-      collector.recordPass('test_constraint', 'iron_law');
+      collector.recordPass('test_constraint', 'error');
       const call = mockFs.appendFileSync.mock.calls[0];
       const content = JSON.parse(call[1] as string);
       expect(content.result).toBe('pass');
@@ -73,7 +73,7 @@ describe('TraceCollector', () => {
 
   describe('recordFail()', () => {
     it('should record fail trace', () => {
-      collector.recordFail('test_constraint', 'iron_law');
+      collector.recordFail('test_constraint', 'error');
       const call = mockFs.appendFileSync.mock.calls[0];
       const content = JSON.parse(call[1] as string);
       expect(content.result).toBe('fail');
@@ -91,8 +91,8 @@ describe('TraceCollector', () => {
 
     it('should parse all traces from file', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
-        '{"constraintId":"b","level":"guideline","timestamp":200,"result":"fail"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"b","severity":"warning","timestamp":200,"result":"fail"}\n'
       );
       const traces = collector.read();
       expect(traces.length).toBe(2);
@@ -100,19 +100,19 @@ describe('TraceCollector', () => {
 
     it('should apply constraintId filter', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
-        '{"constraintId":"b","level":"guideline","timestamp":200,"result":"fail"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"b","severity":"warning","timestamp":200,"result":"fail"}\n'
       );
       const traces = collector.read({ constraintId: 'a' });
       expect(traces.length).toBe(1);
     });
 
-    it('should apply level filter', () => {
+    it('should apply severity filter', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
-        '{"constraintId":"b","level":"guideline","timestamp":200,"result":"fail"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"b","severity":"warning","timestamp":200,"result":"fail"}\n'
       );
-      const traces = collector.read({ level: 'guideline' });
+      const traces = collector.read({ severity: 'warning' });
       expect(traces.length).toBe(1);
     });
   });
@@ -121,7 +121,7 @@ describe('TraceCollector', () => {
     it('should read recent traces', () => {
       const now = Date.now();
       mockFs.readFileSync.mockReturnValueOnce(
-        `{"constraintId":"new","level":"iron_law","timestamp":${now - 1000},"result":"pass"}\n`
+        `{"constraintId":"new","severity":"error","timestamp":${now - 1000},"result":"pass"}\n`
       );
       const traces = collector.readRecent(1);
       expect(traces.length).toBe(1);
@@ -131,7 +131,7 @@ describe('TraceCollector', () => {
   describe('readByConstraint()', () => {
     it('should read by constraint', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n'
       );
       const traces = collector.readByConstraint('a');
       expect(traces.length).toBe(1);
@@ -143,7 +143,7 @@ describe('TraceCollector', () => {
       mockFs.statSync.mockReturnValueOnce({ size: 11 * 1024 * 1024 } as any);
       collector.record({
         constraintId: 'test',
-        level: 'iron_law',
+        severity: 'error',
         timestamp: Date.now(),
         result: 'pass',
       });
@@ -155,7 +155,7 @@ describe('TraceCollector', () => {
     it('should return stats', () => {
       mockFs.existsSync.mockReturnValueOnce(true);
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n'
       );
       mockFs.statSync.mockReturnValueOnce({ size: 1024 } as any);
       const stats = collector.getStats();
@@ -166,9 +166,9 @@ describe('TraceCollector', () => {
   describe('坏行容错（harness#82 裁决 4：原「抛」改 skip，签名与返回类型不变）', () => {
     it('read() 单行损坏只丢该行，合法 trace 照常返回', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
         '{"constraintId":"b","broken"\n' +
-        '{"constraintId":"c","level":"guideline","timestamp":200,"result":"fail"}\n'
+        '{"constraintId":"c","severity":"warning","timestamp":200,"result":"fail"}\n'
       );
       const traces = collector.read();
       expect(traces.map(t => t.constraintId)).toEqual(['a', 'c']);
@@ -176,9 +176,9 @@ describe('TraceCollector', () => {
 
     it('read() 坏行不阻断过滤', () => {
       mockFs.readFileSync.mockReturnValueOnce(
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
         'not-json\n' +
-        '{"constraintId":"a","level":"iron_law","timestamp":200,"result":"fail"}\n'
+        '{"constraintId":"a","severity":"error","timestamp":200,"result":"fail"}\n'
       );
       const traces = collector.read({ constraintId: 'a' });
       expect(traces).toHaveLength(2);
@@ -187,8 +187,8 @@ describe('TraceCollector', () => {
     it('getStats() 首末行坏时不抛：totalLines 保持原始行数，时间戳取合法记录', () => {
       mockFs.readFileSync.mockReturnValueOnce(
         'not-json\n' +
-        '{"constraintId":"a","level":"iron_law","timestamp":100,"result":"pass"}\n' +
-        '{"constraintId":"b","level":"guideline","timestamp":200,"result":"fail"}\n' +
+        '{"constraintId":"a","severity":"error","timestamp":100,"result":"pass"}\n' +
+        '{"constraintId":"b","severity":"warning","timestamp":200,"result":"fail"}\n' +
         'also-bad\n'
       );
       mockFs.statSync.mockReturnValueOnce({ size: 2048 } as any);

package/src/monitoring/trace-analyzer.ts

@@ -94,8 +94,8 @@ export function summarizeTraces(traces: ExecutionTrace[]): TraceSummary[] {
   const summaries: TraceSummary[] = [];
 
   for (const [constraintId, group] of grouped) {
-    // 提取层级（从第一条 trace）
-    const level = group[0].level;
+    // 提取严重性（从第一条 trace）
+    const severity = group[0].severity;
 
     // 计算时间范围
     const timeRange = timeRangeOf(group.map(t => t.timestamp));
@@ -120,7 +120,7 @@ export function summarizeTraces(traces: ExecutionTrace[]): TraceSummary[] {
 
     summaries.push({
       constraintId,
-      level,
+      severity,
       timeRange,
       totalChecks,
       passCount,
@@ -155,7 +155,7 @@ export function detectTraceAnomalies(
       anomalies.push({
         type: 'rising_fail_rate',
         constraintId: summary.constraintId,
-        level: summary.level,
+        severity: summary.severity,
         message: `约束 ${summary.constraintId} 失败率 ${Math.round(summary.failRate * 100)}% 且趋势上升`,
         data: {
           currentRate: summary.failRate,
@@ -172,7 +172,7 @@ export function detectTraceAnomalies(
       anomalies.push({
         type: 'low_pass_rate',
         constraintId: summary.constraintId,
-        level: summary.level,
+        severity: summary.severity,
         message: `约束 ${summary.constraintId} 通过率 ${Math.round(summary.passRate * 100)}%，低于 30%`,
         data: {
           currentRate: summary.passRate,
@@ -358,14 +358,13 @@ export class TraceAnalyzer {
     lines.push('');
 
     for (const summary of summaries) {
-      const levelEmoji = {
-        iron_law: '🔴',
-        guideline: '🟡',
-        prompt: '🟣',
-        tip: '🔵',
-      }[summary.level];
-
-      lines.push(`${levelEmoji} **${summary.constraintId}**`);
+      const severityEmoji = {
+        error: '🔴',
+        warning: '🟡',
+        info: '🔵',
+      }[summary.severity];
+
+      lines.push(`${severityEmoji} **${summary.constraintId}**`);
       lines.push(`  - Checks: ${summary.totalChecks}`);
       lines.push(`  - Pass: ${Math.round(summary.passRate * 100)}%`);
       lines.push(`  - Fail: ${Math.round(summary.failRate * 100)}%`);