@dommaker/harness 1.9.0 → 1.10.0

package/src/core/project-config-loader.ts

@@ -6,15 +6,14 @@
  * ADR-0023 决策 2），一次运行内各至多读一次。
  */
 
-import type { Constraint, ConstraintTrigger } from '../types/constraint';
+import type { Constraint } from '../types/constraint';
 import type {
   ProjectConfig,
-  CustomConstraintDefinition,
   MergedConstraintsConfig,
   CapabilitiesConfig,
   GovernanceConfig,
 } from '../types/project-config';
-import { IRON_LAWS, GUIDELINES, PROMPTS } from './constraints/definitions';
+import { CONSTRAINTS } from './constraints/definitions';
 import { PRESETS_BY_NAME, STANDARD_PRESET } from '../presets';
 import { filterEnabledEntries } from './effective-set';
 import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-env';
@@ -24,7 +23,6 @@ import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-en
  */
 const DEFAULT_CONFIG: ProjectConfig = {
   preset: 'standard',
-  custom_constraints_file: 'custom-constraints.yml',
 };
 
 /**
@@ -103,25 +101,6 @@ export function getCapabilitiesMode(target: RunTarget): CapabilitiesMode {
   return 'file';
 }
 
-/**
- * 退役判定单点（studio#82 D6 一处真相）
- *
- * 两个落点合成一条规则：禁用（config.yml `constraints.<id>.enabled: false`，内置约束的
- * 退役落点）或 custom 条目自带 `retired` 元数据（custom 约束的退役落点，不拆 config.yml
- * 第二处）。`mergeConstraints` 的 custom 追加跳过与 `harness constraints retire` 的
- * already_retired 检查共用本函数——后者此前是这条规则的手写复印（harness#137 收口）。
- *
- * `disabled` 由调用方给：mergeConstraints 传的是含 preset 裁剪的完整禁用集，
- * retire 传的是 config.yml 单点（退役落点只有这一处，preset 语义不掺进退役判定）。
- * `retired` 按 truthiness 判，与 mergeConstraints 历史口径逐字一致。
- */
-export function isConstraintRetired(
-  customDef: { retired?: unknown } | undefined,
-  disabled: boolean
-): boolean {
-  return disabled || Boolean(customDef?.retired);
-}
-
 /**
  * 项目配置加载器
  */
@@ -129,7 +108,6 @@ export class ProjectConfigLoader {
   private env: RunEnv;
   private projectPath: string;
   private config: ProjectConfig;
-  private customConstraints: Record<string, CustomConstraintDefinition>;
 
   /**
    * @param target 项目根路径，或本 run 已构造的运行级观察面（ADR-0023 决策 2）
@@ -139,51 +117,23 @@ export class ProjectConfigLoader {
     this.env = resolveRunEnv(target);
     this.projectPath = this.env.projectPath;
     this.config = { ...DEFAULT_CONFIG };
-    this.customConstraints = {};
   }
 
   /**
-   * 加载项目配置
+   * 加载项目配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
    */
   load(): ProjectConfig {
-    // 1. 加载主配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
     const raw = this.env.rawConfig();
     if (raw) {
       this.config = { ...DEFAULT_CONFIG, ...(raw as Partial<ProjectConfig>) };
     }
-
-    // 2. 加载自定义约束
-    this.loadCustomConstraints();
-
     return this.config;
   }
 
   /**
-   * 加载自定义约束
-   *
-   * 文件读取经观察面（ADR-0023 决策 2）：同一次运行内多个加载器共用同一份内容，
-   * 「哪个文件名算数」与合并顺序仍由本函数决定（方式 1 文件 → 方式 2 主配置内联，后者覆盖）。
-   */
-  private loadCustomConstraints(): void {
-    // 方式 1：从单独文件加载
-    if (this.config.custom_constraints_file) {
-      const defs = this.env.customConstraints(this.config.custom_constraints_file);
-      this.customConstraints = { ...this.customConstraints, ...defs };
-    }
-
-    // 方式 2：从主配置文件中加载
-    if (this.config.custom_constraints) {
-      this.customConstraints = { ...this.customConstraints, ...this.config.custom_constraints };
-    }
-  }
-
-  /**
-   * 合并内置约束和自定义约束（ADR-0001 生效集完整链路）
+   * 合并内置约束（生效集完整链路，ADR-0029）
    *
-   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
-   * 删除（对内置与 custom 同效）→ custom-constraints 追加
-   * （禁用/已退役的 custom 不追加）→ scenes 过滤
-   * （带 appliesTo 的 prompt 仅当 scenes 交集非空时保留）。
+   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false` 删除。
    *
    * config.yml 中未知约束 id（如已移除约束的禁用残留）静默忽略，
    * 记录在结果 unknownIds 中供诊断。
@@ -199,6 +149,9 @@ export class ProjectConfigLoader {
       console.error(`[harness] 未知预设 "${presetName}"，已回落 standard`);
       preset = STANDARD_PRESET;
     }
+    // preset 按 severity 分键；展开为「id → 是否启用」的单桶视图
+    const bySeverity = (severity: 'error' | 'warning'): Record<string, Constraint> =>
+      Object.fromEntries(Object.entries(CONSTRAINTS).filter(([, c]) => c.severity === severity));
     const pick = (
       source: Record<string, Constraint>,
       ids: string[] | null
@@ -215,104 +168,36 @@ export class ProjectConfigLoader {
       ids: string[] | null
     ): string[] => (ids === null ? [] : Object.keys(source).filter(id => !ids.includes(id)));
 
+    const errorConstraints = bySeverity('error');
+    const warningConstraints = bySeverity('warning');
+
     const unknownIds: string[] = [];
     const result: MergedConstraintsConfig = {
-      ironLaws: pick(IRON_LAWS, preset.ironLaws),
-      guidelines: pick(GUIDELINES, preset.guidelines),
-      prompts: pick(PROMPTS, preset.prompts),
+      constraints: {
+        ...pick(errorConstraints, preset.errors),
+        ...pick(warningConstraints, preset.warnings),
+      },
       disabled: [
-        ...presetDisabled(IRON_LAWS, preset.ironLaws),
-        ...presetDisabled(GUIDELINES, preset.guidelines),
-        ...presetDisabled(PROMPTS, preset.prompts),
+        ...presetDisabled(errorConstraints, preset.errors),
+        ...presetDisabled(warningConstraints, preset.warnings),
       ],
-      custom: [],
       unknownIds,
     };
 
     // 1. 处理启用/禁用配置（未知 id 静默忽略，记录供诊断）
     if (this.config.constraints) {
-      const knownIds = new Set([
-        ...Object.keys(IRON_LAWS),
-        ...Object.keys(GUIDELINES),
-        ...Object.keys(PROMPTS),
-        ...Object.keys(this.customConstraints),
-      ]);
+      const knownIds = new Set(Object.keys(CONSTRAINTS));
       const filtered = filterEnabledEntries(knownIds, this.config.constraints);
       unknownIds.push(...filtered.unknownIds);
       for (const constraintId of filtered.disabledIds) {
         result.disabled.push(constraintId);
-        // 从对应层级中移除
-        delete result.ironLaws[constraintId];
-        delete result.guidelines[constraintId];
-        delete result.prompts![constraintId];
-      }
-    }
-
-    // 2. 添加自定义约束（config.yml 禁用的 id 不追加：step 1 已将其
-    // 收集进 disabled，custom 在 step 1 时尚未入桶，须在此兜底跳过；
-    // 条目带 retired 元数据的同样不追加——studio#82 D6 退役落点在条目自身）
-    for (const [id, customDef] of Object.entries(this.customConstraints)) {
-      if (isConstraintRetired(customDef, result.disabled.includes(id))) {
-        continue;
-      }
-      const constraint = this.toConstraint(customDef, id);
-
-      result.custom.push(id);
-
-      const level = customDef.level || 'guideline';
-      switch (level) {
-        case 'iron_law':
-          result.ironLaws[id] = constraint;
-          break;
-        case 'guideline':
-          result.guidelines[id] = constraint;
-          break;
-        case 'prompt':
-          result.prompts![id] = constraint;
-          break;
-      }
-    }
-
-    // 3. scenes 过滤（ADR-0001）：带 appliesTo 标签的 prompt 仅当项目 scenes
-    // 与其交集非空时保留；无 appliesTo 的条目不受影响。缺省 scenes=[] 即
-    // 场景专属 prompt 默认不进入生效集。
-    const scenes = this.config.scenes ?? [];
-    for (const [id, constraint] of Object.entries(result.prompts!)) {
-      if (
-        constraint.appliesTo &&
-        constraint.appliesTo.length > 0 &&
-        !constraint.appliesTo.some(scene => scenes.includes(scene))
-      ) {
-        delete result.prompts![id];
+        delete result.constraints[constraintId];
       }
     }
 
     return result;
   }
 
-  /**
-   * 将自定义约束定义转换为 Constraint
-   *
-   * kind 推导（ADR-0001）：自定义约束没有注册表中的 checker，统一归为
-   * kind='prompt'（不执行 checker，check() 短路通过），level 仅决定其所在
-   * 桶与严重性行为，保持与历史"未注册默认通过"相同的执行语义。
-   */
-  private toConstraint(def: CustomConstraintDefinition, defaultId: string): Constraint {
-    const level = def.level || 'guideline';
-    return {
-      id: def.id || defaultId,
-      kind: 'prompt',
-      level,
-      rule: def.rule || '',
-      message: def.message || '',
-      trigger: (def.trigger || 'manual') as ConstraintTrigger | ConstraintTrigger[],
-      description: def.description,
-      promptInjection: def.promptInjection,
-      enabled: def.enabled !== false,
-      enforcement: 'custom',
-    };
-  }
-
   /**
    * 获取当前配置
    */
@@ -320,20 +205,10 @@ export class ProjectConfigLoader {
     return this.config;
   }
 
-  /**
-   * 获取自定义约束
-   */
-  getCustomConstraints(): Record<string, CustomConstraintDefinition> {
-    return this.customConstraints;
-  }
-
   /**
    * 检查是否有自定义配置
    */
   hasCustomConfig(): boolean {
-    return (
-      Object.keys(this.customConstraints).length > 0 ||
-      (this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0)
-    );
+    return this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0;
   }
 }

package/src/core/validators/passes-gate.ts

@@ -97,7 +97,7 @@ export class PassesGate {
    * - 业务层自己运行测试，传入结果
    *
    * @param testResult 测试结果（由业务层运行测试后传入）
-   * @returns 验证结果（是否允许标记完成 + Iron Law 违规）
+   * @returns 验证结果（是否允许标记完成 + 阻断级违规）
    *
    * @example
    * ```typescript
@@ -107,7 +107,7 @@ export class PassesGate {
    *
    * if (!passesResult.allowed) {
    *   return res.status(400).json({
-   *     error: 'Iron Law 违规',
+   *     error: '约束违规',
    *     violations: passesResult.violations,
    *   });
    * }
@@ -116,23 +116,23 @@ export class PassesGate {
   check(testResult: TestResult): PassesGateCheckResult {
     const violations: PassesGateViolation[] = [];
 
-    // 1. 测试未通过 → Iron Law #2: NO SELF APPROVAL WITHOUT TEST EVIDENCE
+    // 1. 测试未通过 → NO SELF APPROVAL WITHOUT TEST EVIDENCE
     if (!testResult.passed) {
       violations.push({
         id: 'no_self_approval',
         rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
         message: '测试未通过',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 
-    // 2. 缺少证据 → Iron Law #3: NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
+    // 2. 缺少证据 → NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
     if (this.config.requireEvidence && !testResult.evidence) {
       violations.push({
         id: 'no_completion_without_verification',
         rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION',
         message: '缺少测试证据',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 

package/src/failure/CONTEXT.md

@@ -22,6 +22,6 @@
 - 分类器基于规则匹配，不调用 LLM
 - S4 约束违规处理策略模块（ConstraintViolationHandler / executeWithBlock /
   executeWithCollect / executeWithSafeBoolean）已删除（架构评审候选1）：
-  COLLECT 对真实 checker 结构上不可交付（checker 首个铁律违规即 throw，
+  COLLECT 对真实 checker 结构上不可交付（checker 首个 error 级违规即 throw，
   handler 的 catch 只能吞证据造假绿）。语义归宿——阻断 = `checkConstraints` 本体，
   收集 = `checker.collectConstraints`（report 直调）；BLOCK/SAFE_BOOLEAN 零生产消费者随迁

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

@@ -22,7 +22,6 @@ function setupTempDir(dir: string): string {
   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;
@@ -85,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 });
     }
@@ -121,9 +120,8 @@ 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');
-  });
+    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,

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';
 
 // ========================================
 // 检查点与验证器
@@ -373,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)}%`);