@dommaker/harness 1.9.0 → 1.10.0

package/src/core/constraints/__tests__/collect-constraints.test.ts

@@ -39,28 +39,33 @@ describe('collectConstraints（收集模式，不抛）', () => {
 
   it('违规铁律如实进 ironLaws：satisfied=false 且 passed=false', async () => {
     const result = await checker.collectConstraints(VIOLATING);
-    const violated = result.ironLaws.find((r: ConstraintResult) => r.id === 'no_completion_without_verification');
+    const violated = result.errors.find((r: ConstraintResult) => r.id === 'no_completion_without_verification');
     expect(violated).toBeDefined();
     expect(violated!.satisfied).toBe(false);
     expect(result.passed).toBe(false);
   });
 
   it('首个违规不截断：触发域内后续铁律照常评估', async () => {
-    const result = await checker.collectConstraints(VIOLATING);
-    const ids = result.ironLaws.map((r: ConstraintResult) => r.id);
-    expect(ids).toContain('incremental_progress');
-    expect(ids).toContain('no_implementation_without_requirement');
+    // 首条铁律（no_completion_without_verification）违规后，extraTriggers 带入的
+    // no_test_simplification 仍须出现在收集结果里
+    const result = await checker.collectConstraints({
+      ...VIOLATING,
+      extraTriggers: ['test_creation'],
+    });
+    const ids = result.errors.map((r: ConstraintResult) => r.id);
+    expect(ids).toContain('no_completion_without_verification');
+    expect(ids).toContain('no_test_simplification');
   });
 
   it('guidelines 照常执行，warningCount 与不满意条目同口径', async () => {
     const result = await checker.collectConstraints(VIOLATING);
-    expect(result.guidelines.length).toBeGreaterThan(0);
-    expect(result.warningCount).toBe(result.guidelines.filter((g: ConstraintResult) => !g.satisfied).length);
+    expect(result.warnings.length).toBeGreaterThan(0);
+    expect(result.warningCount).toBe(result.warnings.filter((g: ConstraintResult) => !g.satisfied).length);
   });
 
   it('干净上下文对照：passed=true、ironLaws 全满意', async () => {
     const result = await checker.collectConstraints(CLEAN);
     expect(result.passed).toBe(true);
-    expect(result.ironLaws.every((r: ConstraintResult) => r.satisfied)).toBe(true);
+    expect(result.errors.every((r: ConstraintResult) => r.satisfied)).toBe(true);
   });
 });

package/src/core/constraints/__tests__/git-evidence.test.ts

@@ -22,7 +22,7 @@ import {
 } from '../git-evidence';
 import { buildConstraintContext } from '../context-builder';
 import { ConstraintChecker } from '../checker';
-import { GUIDELINES } from '../definitions';
+import { CONSTRAINTS } from '../definitions';
 import type { MergedConstraintsConfig } from '../../../types/project-config';
 
 /** 建一个真 git fixture：committed src/existing.ts + 一个 staged 修改 */
@@ -181,10 +181,7 @@ describe('git 证据适配器（#87）', () => {
       const context = await buildConstraintContext({ projectPath: dir, staged: true, evidence });
       // capability_sync 经 CheckEnv.stagedDiffNames() 取同一份 git 证据
       const merged: MergedConstraintsConfig = {
-        ironLaws: {},
-        guidelines: { capability_sync: GUIDELINES['capability_sync'] },
-        prompts: {},
-        custom: [],
+        constraints: { capability_sync: CONSTRAINTS['capability_sync'] },
         disabled: [],
         unknownIds: [],
       };
@@ -193,8 +190,8 @@ describe('git 证据适配器（#87）', () => {
       const runResult = await checker.checkConstraints(context, merged, evidence);
 
       // capability_sync 确实被评估（非 skip）→ 它经 env.stagedDiffNames() 取过证据
-      expect(runResult.guidelines.map(r => r.id)).toEqual(['capability_sync']);
-      expect(runResult.guidelines[0].skipped).toBeUndefined();
+      expect(runResult.warnings.map(r => r.id)).toEqual(['capability_sync']);
+      expect(runResult.warnings[0].skipped).toBeUndefined();
       // 两个消费者都从注入的这一份实例取证据（checker 没有另起炉灶）
       expect(calls).toContain('context:changedFileNames');
       expect(calls).toContain('checker:changedFileNames');

package/src/core/constraints/__tests__/injection-writer.test.ts

@@ -1,32 +1,27 @@
 /**
- * injection-writer 旁测（架构评审候选1，ADR-0011）
+ * injection-writer 旁测（架构评审候选1，ADR-0011；ADR-0029 收窄）
  *
- * 测试面 = 纯函数（字符串进、字符串出）+ 落点路由（真实 fs 临时目录）。
- * 幂等/半标记守护/两种尾部形状/读写路由优先级全部在此测一次；
- * 消费方（init/retire/drift）只测各自语义（init-injection.test 行为面）。
+ * 测试面 = 纯函数（字符串进、字符串出）+ 治理正本探测。
+ * 幂等/半标记守护/两种尾部形状在此测一次。
+ * ADR-0029：注入段落点路由（resolveInjectionTarget/resolveGovernanceLanding）
+ * 已随文本注入层关停删除，相关用例移除。
  */
 
-import { describe, it, expect, beforeEach, afterEach } from '@jest/globals';
-import * as fs from 'fs';
-import * as path from 'path';
+import { describe, it, expect } from '@jest/globals';
 import {
   replaceStandaloneRange,
   replaceEnclosedRange,
   cutMarkerBlock,
-  resolveInjectionTarget,
-  resolveGovernanceLanding,
   GOVERNANCE_HEADING,
   hasGovernanceContract,
   countGovernanceHeadings,
   hasPreserveBlock,
 } from '../injection-writer';
-import {
-  CONSTRAINTS_START_MARKER as CS,
-  CONSTRAINTS_END_MARKER as CE,
-} from '../injection-renderer';
 
 const B = '<!-- B -->';
 const E = '<!-- E -->';
+const CS = '<!-- CS -->';
+const CE = '<!-- CE -->';
 
 describe('replaceStandaloneRange — 独立成节形状', () => {
   it('替换含标记区间；尾文多换行折叠为恰好一个空行', () => {
@@ -97,54 +92,6 @@ describe('cutMarkerBlock', () => {
   });
 });
 
-describe('落点路由（读写两侧，studio #307/#302）', () => {
-  let dir: string;
-
-  beforeEach(() => {
-    dir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-inj-writer-'));
-  });
-  afterEach(() => fs.rmSync(dir, { recursive: true, force: true }));
-
-  const write = (name: string, content: string) =>
-    fs.writeFileSync(path.join(dir, name), content, 'utf-8');
-
-  it('resolveInjectionTarget：CLAUDE.md 完整标记段优先于 AGENTS.md', () => {
-    write('CLAUDE.md', `x\n${CS}\nbody\n${CE}\n`);
-    write('AGENTS.md', `<!-- PRESERVE:governance -->\n${CS}\nbody2\n${CE}\n`);
-    expect(resolveInjectionTarget(dir)?.file).toBe('CLAUDE.md');
-  });
-
-  it('CLAUDE.md 标记残缺（单边）不算落点 → 落 AGENTS.md', () => {
-    write('CLAUDE.md', `x\n${CS}\nbroken\n`);
-    write('AGENTS.md', `${CS}\nbody\n${CE}\n`);
-    expect(resolveInjectionTarget(dir)?.file).toBe('AGENTS.md');
-  });
-
-  it('两处均无完整标记段 → null（未注入）', () => {
-    write('CLAUDE.md', '# 无约束标记\n');
-    expect(resolveInjectionTarget(dir)).toBeNull();
-  });
-
-  it('resolveGovernanceLanding：CLAUDE.md 有标记或有旧版 Governance Rules 块 → claude-md', () => {
-    write('CLAUDE.md', `${CS}\nbody\n${CE}\n`);
-    expect(resolveGovernanceLanding(dir).target).toBe('claude-md');
-    write('CLAUDE.md', '# CLAUDE.md\n\n## Governance Rules\n\n手写\n');
-    expect(resolveGovernanceLanding(dir).target).toBe('claude-md');
-  });
-
-  it('CLAUDE.md 与治理无关 / 不存在 → agents-md', () => {
-    write('CLAUDE.md', '# CLAUDE.md\n\n@AGENTS.md\n');
-    expect(resolveGovernanceLanding(dir).target).toBe('agents-md');
-    fs.rmSync(path.join(dir, 'CLAUDE.md'));
-    expect(resolveGovernanceLanding(dir).target).toBe('agents-md');
-  });
-
-  it('落点路由消费共享宽松谓词：双空格标题变体也路由 claude-md（fail-open）', () => {
-    write('CLAUDE.md', '# CLAUDE.md\n\n##  Governance Rules\n\n手写\n');
-    expect(resolveGovernanceLanding(dir).target).toBe('claude-md');
-  });
-});
-
 describe('治理契约探测共享符号（#83，ADR-0011 补注：收口范围含探测器）', () => {
   it('GOVERNANCE_HEADING 是标题字面量单一来源', () => {
     expect(GOVERNANCE_HEADING).toBe('## Governance Rules');

package/src/core/constraints/__tests__/run-env.test.ts

@@ -47,7 +47,7 @@ function writeTraces(projectPath: string, lines: string[]): void {
 }
 
 const traceLine = (id: string, result: 'pass' | 'fail'): string =>
-  JSON.stringify({ constraintId: id, level: 'iron_law', timestamp: 1, result });
+  JSON.stringify({ constraintId: id, severity: 'error', timestamp: 1, result });
 
 const CORRUPT = '{"constraintId":"broken"';
 
@@ -125,18 +125,11 @@ describe('createRunEnv', () => {
   });
 });
 
-describe('配置一次装载 — rawConfig / customConstraints（ADR-0023 决策 2）', () => {
+describe('配置一次装载 — rawConfig（ADR-0023 决策 2）', () => {
   let dir: string;
 
   const writeConfig = (content: string) => writeProjectConfig(dir, content);
 
-  /** 落 `.harness/<fileName>`（夹具可能还没有 .harness 目录，先补上） */
-  const writeHarnessFile = (fileName: string, body: string) => {
-    const target = path.join(dir, '.harness', fileName);
-    fs.mkdirSync(path.dirname(target), { recursive: true });
-    fs.writeFileSync(target, body, 'utf-8');
-  };
-
   beforeEach(() => {
     dir = createProjectFixture({ name: 'run-env-config' });
   });
@@ -191,27 +184,6 @@ describe('配置一次装载 — rawConfig / customConstraints（ADR-0023 决策
     expect(resolveRunEnv().projectPath).toBe(process.cwd());
   });
 
-  it('customConstraints 取 custom_constraints 段，run 内同名文件至多读一次', () => {
-    const write = (body: string) => writeHarnessFile('custom-constraints.yml', body);
-    write('custom_constraints:\n  a:\n    level: iron_law\n    rule: 只此一份\n');
-    const env = createRunEnv(dir);
-    expect(Object.keys(env.customConstraints('custom-constraints.yml'))).toEqual(['a']);
-
-    write('custom_constraints:\n  b:\n    level: guideline\n    rule: 后来的\n');
-    expect(Object.keys(env.customConstraints('custom-constraints.yml'))).toEqual(['a']);
-  });
-
-  it('customConstraints：文件缺失 = {}；不同文件名各自 memo', () => {
-    const env = createRunEnv(dir);
-    expect(env.customConstraints('missing.yml')).toEqual({});
-
-    writeHarnessFile(
-      'other.yml',
-      'custom_constraints:\n  c:\n    level: guideline\n    rule: r\n'
-    );
-    expect(Object.keys(env.customConstraints('other.yml'))).toEqual(['c']);
-    expect(env.customConstraints('missing.yml')).toEqual({});
-  });
 });
 
 describe('context-builder 经注入的观察面取证据', () => {
@@ -235,7 +207,6 @@ describe('context-builder 经注入的观察面取证据', () => {
       },
       sourceRoots: () => ['src'],
       rawConfig: () => undefined,
-      customConstraints: () => ({}),
       capabilities: () => undefined,
     };
     return { env, limits };
@@ -251,8 +222,8 @@ describe('context-builder 经注入的观察面取证据', () => {
 
   it('hasFailingTest / hasVerificationEvidence 各按自己的窗口向 env 取数，不另开读', async () => {
     const { env, limits } = countingEnv([
-      { constraintId: 'p', level: 'iron_law', timestamp: 1, result: 'pass' },
-      { constraintId: 'f', level: 'iron_law', timestamp: 2, result: 'fail' },
+      { constraintId: 'p', severity: 'error', timestamp: 1, result: 'pass' },
+      { constraintId: 'f', severity: 'error', timestamp: 2, result: 'fail' },
     ]);
     const ctx = await buildConstraintContext({
       projectPath: dir,
@@ -268,7 +239,7 @@ describe('context-builder 经注入的观察面取证据', () => {
 
   it('窗口里没有 pass 时验证证据为 false（合并读取不改判定）', async () => {
     const { env } = countingEnv([
-      { constraintId: 'f', level: 'iron_law', timestamp: 2, result: 'fail' },
+      { constraintId: 'f', severity: 'error', timestamp: 2, result: 'fail' },
     ]);
     const ctx = await buildConstraintContext({
       projectPath: dir,

package/src/core/constraints/__tests__/trace-injection.test.ts

@@ -51,7 +51,7 @@ describe('trace 记录器构造注入（harness#88）', () => {
     await checker.checkConstraints(context());
 
     expect(records.map(r => r.constraintId)).toEqual(
-      expect.arrayContaining(['incremental_progress', 'no_implementation_without_requirement'])
+      expect.arrayContaining(['no_completion_without_verification', 'no_hardcoded_credentials'])
     );
     expect(records.every(r => ['pass', 'fail', 'skip'].includes(r.result))).toBe(true);
   });

package/src/core/constraints/capabilities-parser.ts

@@ -10,7 +10,7 @@
  */
 
 import * as fs from 'fs';
-import { IRON_LAWS, GUIDELINES } from './definitions';
+import { CONSTRAINTS } from './definitions';
 import { FreshnessRunner } from './doc-freshness/runner';
 import type { DocFreshnessCheck } from '../../types/project-config';
 
@@ -79,10 +79,14 @@ export function readCapabilitiesEntries(capabilitiesPath: string, options: Capab
  * checker 与 sync-docs 都应按此跳过条目级比对。
  */
 export function isCapabilityListingFormat(content: string): boolean {
-  // 能力清单格式特征：包含 "CLI Commands (N)" / "Iron Laws (N)" 等计数行
+  // 能力清单格式特征：包含 "CLI Commands (N)" 与约束计数行
+  // （ADR-0029 前为 "Iron Laws (N)" / "Guidelines (N)"，现行为 "errors (N)" / "warnings (N)"，
+  //  新旧行都认——旧文档不因此失去格式身份）
   return /CLI Commands\s*\(\d+\)/.test(content) ||
     /Iron Laws?\s*\(\d+\)/.test(content) ||
-    /Guidelines?\s*\(\d+\)/.test(content);
+    /Guidelines?\s*\(\d+\)/.test(content) ||
+    /errors?\s*\(\d+\)/.test(content) ||
+    /warnings?\s*\(\d+\)/.test(content);
 }
 
 /**
@@ -143,8 +147,16 @@ function capabilityCountRules(source: CapabilityDefinitionSource): CapabilityCou
       actual: source.commands.length + source.gates.filter(g => g.cli).length,
     },
     { label: 'Quality Gates', pattern: 'Quality Gates?\\s*\\((\\d+)\\)', actual: source.gates.length },
-    { label: 'Iron Laws', pattern: 'Iron Laws?\\s*\\((\\d+)\\)', actual: Object.keys(IRON_LAWS).length },
-    { label: 'Guidelines', pattern: 'Guidelines?\\s*\\((\\d+)\\)', actual: Object.keys(GUIDELINES).length },
+    {
+      label: 'errors',
+      pattern: 'errors?\\s*\\((\\d+)\\)',
+      actual: Object.values(CONSTRAINTS).filter(c => c.severity === 'error').length,
+    },
+    {
+      label: 'warnings',
+      pattern: 'warnings?\\s*\\((\\d+)\\)',
+      actual: Object.values(CONSTRAINTS).filter(c => c.severity === 'warning').length,
+    },
   ];
 }
 

package/src/core/constraints/checker.ts

@@ -1,10 +1,10 @@
 /**
  * 约束检查引擎
  *
- * kind 二元模型（ADR-0001）：
- * - check · Iron Laws：检查失败立即抛出异常
- * - check · Guidelines：检查失败记录警告
- * - prompt：不执行 checker，仅参与注入
+ * severity 显式模型（ADR-0029）：
+ * - severity='error'：检查失败立即抛出异常（block 模式）
+ * - severity='warning'：检查失败记录警告
+ * 全部约束 kind='check'，必须带真实 checker（注册表闭环）。
  */
 
 import {
@@ -12,11 +12,10 @@ import {
   ConstraintContext,
   ConstraintResult,
   ConstraintCheckResult,
-  ConstraintLevel,
   ConstraintViolationError,
 } from '../../types/constraint';
 import type { ExecutionTrace } from '../../types/trace';
-import { IRON_LAWS, GUIDELINES, PROMPTS } from './definitions';
+import { CONSTRAINTS } from './definitions';
 import type { MergedConstraintsConfig } from '../../types/project-config';
 import { matchesTrigger } from './triggers';
 import { join, relative } from 'path';
@@ -74,21 +73,8 @@ export class ConstraintChecker {
    *
    * @param customConfig 可选，per-request 自定义配置；不传则返回内置约束集
    */
-  getConstraints(customConfig?: MergedConstraintsConfig | null): {
-    ironLaws: Record<string, Constraint>;
-    guidelines: Record<string, Constraint>;
-    prompts: Record<string, Constraint>;
-  } {
-    const config = customConfig;
-    const source = config
-      ? { ironLaws: config.ironLaws, guidelines: config.guidelines, prompts: config.prompts ?? PROMPTS }
-      : { ironLaws: IRON_LAWS, guidelines: GUIDELINES, prompts: PROMPTS };
-
-    return {
-      ironLaws: source.ironLaws,
-      guidelines: source.guidelines,
-      prompts: source.prompts,
-    };
+  getConstraints(customConfig?: MergedConstraintsConfig | null): Record<string, Constraint> {
+    return customConfig ? customConfig.constraints : CONSTRAINTS;
   }
 
   /**
@@ -103,17 +89,6 @@ export class ConstraintChecker {
     evidence?: GitEvidence,
     runEnv?: RunEnv
   ): Promise<ConstraintResult> {
-    // prompt 类约束不参与 checker 执行（ADR-0001：仅参与注入）
-    if (constraint.kind === 'prompt') {
-      return {
-        id: constraint.id,
-        level: constraint.level,
-        satisfied: true,
-        constraint,
-        checkedAt: new Date(),
-      };
-    }
-
     // 检查前置条件（'skip' = 约定未采用/证据未接线：satisfied 置 true 但不计 pass/fail）
     const outcome = normalizeCheckOutcome(
       await this.checkPrecondition(constraint, context, evidence, runEnv)
@@ -122,7 +97,7 @@ export class ConstraintChecker {
     if (outcome.skipped) {
       return {
         id: constraint.id,
-        level: constraint.level,
+        severity: constraint.severity,
         satisfied: true,
         skipped: true,
         constraint,
@@ -135,7 +110,7 @@ export class ConstraintChecker {
 
     return {
       id: constraint.id,
-      level: constraint.level,
+      severity: constraint.severity,
       satisfied,
       constraint,
       message: satisfied ? undefined : constraint.message,
@@ -145,22 +120,6 @@ export class ConstraintChecker {
     };
   }
 
-  /**
-   * 根据约束层级获取严重性
-   */
-  private getSeverity(level: ConstraintLevel): 'error' | 'warning' | 'info' {
-    switch (level) {
-      case 'iron_law':
-        return 'error';
-      case 'guideline':
-        return 'warning';
-      case 'prompt':
-        return 'info';
-      default:
-        return 'warning';
-    }
-  }
-
   /**
    * 记录约束检查的 trace
    */
@@ -171,11 +130,10 @@ export class ConstraintChecker {
   ): void {
     this.traceRecorder.record({
       constraintId: constraint.id,
-      level: constraint.level,
+      severity: constraint.severity,
       timestamp: Date.now(),
       result: checkResult.skipped ? 'skip' : checkResult.satisfied ? 'pass' : 'fail',
       operation: context.operation,
-      severity: this.getSeverity(constraint.level),
       projectPath: context.projectPath,
       sessionId: context.sessionId,
       evidence: checkResult.evidence,
@@ -186,7 +144,7 @@ export class ConstraintChecker {
    * 检查约束前置条件（工单 21：分发至 checkers/ 注册表）
    *
    * 注册表闭环（ADR-0001）：kind='check' 未注册 checker 直接抛错，
-   * 不再有"未注册默认通过"路径；kind='prompt' 在 check() 入口已短路。
+   * 不再有"未注册默认通过"路径。
    *
    * git 证据（stagedDiff/stagedDiffNames）单一来源 = GitEvidence adapter（#87）：
    * 一次 run 内调用方传同一实例即至多取证一次，run 外调用独占一份。
@@ -202,7 +160,7 @@ export class ConstraintChecker {
     if (!impl) {
       throw new Error(
         `[harness] 约束 "${constraint.id}" (kind='check') 未注册 checker，拒绝静默通过。` +
-        `请在 checkers/ 注册实现，或将约束改为 kind='prompt'。`
+        `请在 checkers/ 注册实现（纯文本提示层已随 ADR-0029 关停，文本规则写入项目治理文档）。`
       );
     }
 
@@ -232,31 +190,27 @@ export class ConstraintChecker {
     context: ConstraintContext,
     customConfig?: MergedConstraintsConfig | null
   ): {
-    ironLaws: Constraint[];
-    guidelines: Constraint[];
-    prompts: Constraint[];
+    errors: Constraint[];
+    warnings: Constraint[];
   } {
     const operations = [context.operation, ...(context.extraTriggers ?? [])];
     const constraints = this.getConstraints(customConfig);
 
-    const filterByTrigger = (constraintSet: Record<string, Constraint>): Constraint[] => {
-      return Object.values(constraintSet).filter(constraint =>
-        matchesTrigger(constraint, operations)
-      );
-    };
+    const applicable = Object.values(constraints).filter(constraint =>
+      matchesTrigger(constraint, operations)
+    );
 
     return {
-      ironLaws: filterByTrigger(constraints.ironLaws),
-      guidelines: filterByTrigger(constraints.guidelines),
-      prompts: filterByTrigger(constraints.prompts),
+      errors: applicable.filter(c => c.severity === 'error'),
+      warnings: applicable.filter(c => c.severity === 'warning'),
     };
   }
 
   /**
    * 执行约束检查
    *
-   * - Iron Laws：检查失败立即抛出异常
-   * - Guidelines：检查失败记录警告
+   * - severity='error'：检查失败立即抛出异常
+   * - severity='warning'：检查失败记录警告
    *
    * @param context 约束上下文
    * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
@@ -279,7 +233,7 @@ export class ConstraintChecker {
    * 收集模式执行约束检查（harness report 的不抛出口，架构评审候选1）
    *
    * 与 checkConstraints 共享同一检查体，唯一差别是不 throw：
-   * 铁律违规照进 result.ironLaws、passed=false，后续铁律与 guidelines 照常执行，
+   * error 级违规照进 result.errors、passed=false，后续 error 与 warning 级照常执行，
    * trace 逐条照记。报告类消费者拿全量视图；阻断语义只属于 checkConstraints
    * （throw 契约是 #119 判定证据的外溢面，逐字不动）。
    */
@@ -294,7 +248,7 @@ export class ConstraintChecker {
 
   /**
    * checkConstraints / collectConstraints 的共享检查体；
-   * mode='block' 首个铁律违规即抛，mode='collect' 全量跑完不抛
+   * mode='block' 首个 error 级违规即抛，mode='collect' 全量跑完不抛
    */
   private async runAllConstraints(
     context: ConstraintContext,
@@ -311,8 +265,8 @@ export class ConstraintChecker {
     const env = runEnv ?? createRunEnv(projectPath);
 
     const result: ConstraintCheckResult = {
-      ironLaws: [],
-      guidelines: [],
+      errors: [],
+      warnings: [],
       passed: true,
       warningCount: 0,
     };
@@ -321,12 +275,12 @@ export class ConstraintChecker {
     // context.operation 为主触发条件，extraTriggers 为次级推断（ADR-0001），任一命中即匹配
     const operations = [context.operation, ...(context.extraTriggers ?? [])];
 
-    // 1. Iron Laws: block 模式首个违规即抛；collect 模式全量收集
-    for (const constraint of Object.values(constraints.ironLaws)) {
+    // 1. error 级: block 模式首个违规即抛；collect 模式全量收集
+    for (const constraint of Object.values(constraints).filter(c => c.severity === 'error')) {
       if (!matchesTrigger(constraint, operations)) continue;
 
       const checkResult = await this.check(constraint, context, run, env);
-      result.ironLaws.push(checkResult);
+      result.errors.push(checkResult);
       this.recordTrace(constraint, checkResult, context);
 
       if (!checkResult.satisfied) {
@@ -337,12 +291,12 @@ export class ConstraintChecker {
       }
     }
 
-    // 2. Guidelines: 记录警告
-    for (const constraint of Object.values(constraints.guidelines)) {
+    // 2. warning 级: 记录警告
+    for (const constraint of Object.values(constraints).filter(c => c.severity === 'warning')) {
       if (!matchesTrigger(constraint, operations)) continue;
 
       const checkResult = await this.check(constraint, context, run, env);
-      result.guidelines.push(checkResult);
+      result.warnings.push(checkResult);
       this.recordTrace(constraint, checkResult, context);
 
       if (!checkResult.satisfied) {
@@ -354,12 +308,12 @@ export class ConstraintChecker {
   }
 
   /**
-   * 执行前检查（仅检查 Iron Laws）
+   * 执行前检查（仅检查 severity='error' 的约束）
    *
    * @param context 约束上下文
    * @param customConfig 可选，per-request 自定义配置（避免多请求间的单例状态污染）
    * @param evidence 可选，本次检查共用的 git 证据 adapter（#87，同 checkConstraints）
-   * @throws ConstraintViolationError 如果有铁律违规
+   * @throws ConstraintViolationError 如果有 error 级违规
    */
   async beforeExecution(
     context: ConstraintContext,
@@ -373,7 +327,7 @@ export class ConstraintChecker {
     const constraints = this.getConstraints(customConfig);
     const operations = [context.operation, ...(context.extraTriggers ?? [])];
 
-    for (const constraint of Object.values(constraints.ironLaws)) {
+    for (const constraint of Object.values(constraints).filter(c => c.severity === 'error')) {
       if (!matchesTrigger(constraint, operations)) continue;
 
       const result = await this.check(constraint, context, run, env);
@@ -401,15 +355,12 @@ export async function checkConstraint(
   const checker = ConstraintChecker.getInstance();
   const constraints = checker.getConstraints(customConfig);
 
-  const constraint =
-    constraints.ironLaws[constraintId] ||
-    constraints.guidelines[constraintId] ||
-    constraints.prompts[constraintId];
+  const constraint = constraints[constraintId];
 
   if (!constraint) {
     return {
       id: constraintId,
-      level: 'guideline',
+      severity: 'warning',
       satisfied: false,
       message: `未知的约束: ${constraintId}`,
       checkedAt: new Date(),
@@ -430,7 +381,7 @@ export interface CheckConstraintsOptions {
 }
 
 /**
- * 快捷函数：执行三层检查
+ * 快捷函数：执行约束检查
  *
  * @param context 约束上下文
  * @param options.onTrace 每条约束检查后的回调（用于记录 trace 到外部存储）
@@ -442,8 +393,8 @@ export async function checkConstraints(
 ): Promise<ConstraintCheckResult> {
   const result = await ConstraintChecker.getInstance().checkConstraints(context, options?.customConfig ?? null);
   if (options?.onTrace) {
-    for (const r of result.ironLaws) options.onTrace(r);
-    for (const r of result.guidelines) options.onTrace(r);
+    for (const r of result.errors) options.onTrace(r);
+    for (const r of result.warnings) options.onTrace(r);
   }
   return result;
 }

package/src/core/constraints/checkers/__tests__/check-outcome.test.ts

@@ -23,7 +23,7 @@ import type { MergedConstraintsConfig } from '../../../../types/project-config';
 const CAPABILITY_SYNC: Constraint = {
   id: 'capability_sync',
   kind: 'check',
-  level: 'guideline',
+  severity: 'warning',
   rule: 'CODE CHANGES MUST UPDATE CAPABILITIES.MD',
   message: '核心模块变更必须同步功能清单',
   trigger: ['module_modification'],
@@ -62,11 +62,8 @@ describe('normalizeCheckOutcome — 三态 + 证据归一', () => {
 /** 只含 capability_sync 的生效集：一次 run 一条 trace，不牵动其他约束 */
 function onlyCapabilitySync(): MergedConstraintsConfig {
   return {
-    ironLaws: {},
-    guidelines: { capability_sync: CAPABILITY_SYNC },
-    prompts: {},
+    constraints: { capability_sync: CAPABILITY_SYNC },
     disabled: [],
-    custom: [],
   };
 }
 
@@ -81,7 +78,7 @@ async function runGuideline(dir: string): Promise<{
     { operation: 'module_modification', projectPath: dir },
     onlyCapabilitySync()
   );
-  const result = run.guidelines.find(r => r.id === 'capability_sync')!;
+  const result = run.warnings.find(r => r.id === 'capability_sync')!;
   const trace = traces.find(t => t.constraintId === 'capability_sync')!;
   return { result, trace };
 }
@@ -151,7 +148,7 @@ describe('证据随铁律异常外溢（CLI catch 分支只打印 error.message
   it('ConstraintViolationError 文案带出证据行', () => {
     const error = new ConstraintViolationError({
       id: 'docs_freshness',
-      level: 'iron_law',
+      severity: 'error',
       satisfied: false,
       message: '文档新鲜度检查未通过',
       evidence: ['CAPABILITIES.md 登记的条目不存在:', 'src/gone.ts'],
@@ -165,7 +162,7 @@ describe('证据随铁律异常外溢（CLI catch 分支只打印 error.message
   it('无证据时文案保持原样（旧消费方断言不受影响）', () => {
     const error = new ConstraintViolationError({
       id: 'no_test_simplification',
-      level: 'iron_law',
+      severity: 'error',
       satisfied: false,
       message: '禁止简化测试绕过困难',
       checkedAt: new Date(),