@dommaker/harness 1.8.1 → 1.10.0

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(),

package/src/core/constraints/checkers/__tests__/governance-presence.test.ts

@@ -16,7 +16,6 @@ import {
   hasGovernancePreserveBlock,
   hasClaudeGovernance,
 } from '../governance-presence';
-import { detectInjectionDrift } from '../../injection-drift';
 import { createProjectFixture, writeProjectConfig } from '../../../../test-setup/project-fixture';
 import { normalizeCheckOutcome, type CheckEnv } from '../types';
 import { createRunEnv } from '../../run-env';
@@ -99,7 +98,7 @@ describe('governance_presence checker', () => {
     const outcome = await outcomeOf(tempDir);
     expect(outcome.satisfied).toBe(false);
     expect(outcome.evidence.join('\n')).toContain('治理契约');
-    expect(outcome.evidence.join('\n')).toContain('harness init');
+    expect(outcome.evidence.join('\n')).toContain('PRESERVE:governance');
     // ADR-0016：证据只有一个出口。侧信道留着会让 CLI 结构化输出与 trace 两头口径不一致
     expect(errorSpy).not.toHaveBeenCalled();
   });
@@ -159,54 +158,3 @@ describe('hasGovernancePreserveBlock / hasClaudeGovernance 判定函数', () =>
     expect(hasGovernancePreserveBlock(p)).toBe(false);
   });
 });
-
-describe('governance_presence × detectInjectionDrift 同 fixture 一致性（#83）', () => {
-  let tempDir: string;
-
-  const writeConfig = () => writeProjectConfig(tempDir, 'preset: standard\n');
-
-  beforeEach(() => {
-    tempDir = createProjectFixture({
-      name: 'temp-test-gov-consistency',
-      parentDir: process.cwd(),
-    });
-  });
-
-  afterEach(() => {
-    fs.rmSync(tempDir, { recursive: true, force: true });
-  });
-
-  it('双空格标题：presence 认在场（pass），drift 严格计数 0 不报重复——两层不再互相矛盾', async () => {
-    writeConfig();
-    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '# CLAUDE.md\n\n##  Governance Rules\n\n条款\n');
-
-    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
-    const drift = detectInjectionDrift(tempDir);
-    expect(drift.notInjected).toBe(true);
-    expect(drift.duplicateHeading).toBe(false);
-    expect(drift.hasDrift).toBe(false);
-  });
-
-  it('精确拼写单标题：presence pass，drift 不报重复', async () => {
-    writeConfig();
-    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '# CLAUDE.md\n\n## Governance Rules\n\n条款\n');
-
-    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
-    const drift = detectInjectionDrift(tempDir);
-    expect(drift.notInjected).toBe(true);
-    expect(drift.duplicateHeading).toBe(false);
-  });
-
-  it('精确拼写双标题：presence 认在场，drift 报重复章节（计数是 drift 的独立职责）', async () => {
-    writeConfig();
-    fs.writeFileSync(
-      path.join(tempDir, 'CLAUDE.md'),
-      '# CLAUDE.md\n\n## Governance Rules\n\n甲\n\n## Governance Rules\n\n乙\n'
-    );
-
-    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
-    const drift = detectInjectionDrift(tempDir);
-    expect(drift.notInjected).toBe(true);
-    expect(drift.duplicateHeading).toBe(true);
-  });
-});

package/src/core/constraints/checkers/__tests__/iron-flags.test.ts

@@ -1,17 +1,16 @@
 /**
  * 铁律层 flag 检查旁测（架构评审候选4，ADR-0009 同模式）
  *
- * 三个 flag 铁律均为 contextEvidenceFlag 构造，真实 bug 面 = 读错上下文字段
+ * 唯一存活的 flag 铁律为 contextEvidenceFlag 构造，真实 bug 面 = 读错上下文字段
  * 与三态语义（undefined→skip / false→fail / true→pass）。直接喂不同字段组合
  * 钉死映射，不再经 engine facade（旧测在 skip-semantics/checker.test 间接打）。
+ *
+ * harness#174 删除 incremental_progress / no_implementation_without_requirement，
+ * 对应用例一并移除。
  */
 
 import { describe, it, expect } from '@jest/globals';
-import {
-  noCompletionWithoutVerification,
-  incrementalProgress,
-  noImplementationWithoutRequirement,
-} from '../iron-flags';
+import { noCompletionWithoutVerification } from '../iron-flags';
 import { buildCheckEnv } from '../types';
 import type { ConstraintContext } from '../../../../types/constraint';
 
@@ -28,23 +27,4 @@ describe('iron flags — 三态与字段映射', () => {
     // 相邻字段不串台：hasTest 不能顶替
     expect(await evaluate(noCompletionWithoutVerification, { hasTest: true })).toBe('skip');
   });
-
-  it('incremental_progress → 读 hasSingleTask', async () => {
-    expect(await evaluate(incrementalProgress, {})).toBe('skip');
-    expect(await evaluate(incrementalProgress, { hasSingleTask: false })).toBe(false);
-    expect(await evaluate(incrementalProgress, { hasSingleTask: true })).toBe(true);
-  });
-
-  it('no_implementation_without_requirement → 读 hasRequirement', async () => {
-    expect(await evaluate(noImplementationWithoutRequirement, {})).toBe('skip');
-    expect(await evaluate(noImplementationWithoutRequirement, { hasRequirement: false })).toBe(false);
-    expect(await evaluate(noImplementationWithoutRequirement, { hasRequirement: true })).toBe(true);
-  });
-
-  it('三 flag 各自独立判定（组合上下文互不影响）', async () => {
-    const ctx: Partial<ConstraintContext> = { hasVerificationEvidence: true, hasSingleTask: false };
-    expect(await evaluate(noCompletionWithoutVerification, ctx)).toBe(true);
-    expect(await evaluate(incrementalProgress, ctx)).toBe(false);
-    expect(await evaluate(noImplementationWithoutRequirement, ctx)).toBe('skip');
-  });
 });

package/src/core/constraints/checkers/docs-freshness.ts

@@ -90,7 +90,7 @@ export const docsFreshness: ConstraintCheck = {
     if (deadEntries.length > 0) {
       // 证据通道点名条目（harness#119）：此前是 console.error 侧信道（2026-08-08 studio
       // CI 4 连红时的临时办法），CLI 结构化输出与 trace 两头都拿不到，
-      // 铁律拦截时用户只看到一句通用提示，basename 碰撞下无从定位
+      // error 级拦截时用户只看到一句通用提示，basename 碰撞下无从定位
       return {
         pass: false,
         evidence: formatEvidence('CAPABILITIES.md 登记的条目不存在', deadEntries),

package/src/core/constraints/checkers/governance-presence.ts

@@ -2,7 +2,8 @@
  * governance_presence：治理契约在场守护（studio #302，ADR 2026-08-21 落点模型）
  *
  * 治理契约正本 = AGENTS.md 手写 `PRESERVE:governance` 段（旧模型仓 = CLAUDE.md
- * Governance Rules / HARNESS_CONSTRAINTS 注入段）。PRESERVE 只保「存在」不保「在场」：
+ * Governance Rules 块 / 历史 HARNESS_CONSTRAINTS 注入段，ADR-0029 后注入段不再
+ * 生成，残留段仅作历史兼容判据）。PRESERVE 只保「存在」不保「在场」：
  * 段被删除/掏空后 sync-docs 重新生成会静默丢失，此处补「在场」校验。
  *
  * ADR-0001 存在性探测：项目未采用 harness 治理（无 .harness/config.yml）→ skip。
@@ -48,12 +49,12 @@ export const governancePresence: ConstraintCheck = {
     if (hasClaudeGovernance(join(projectPath, 'CLAUDE.md'))) return true;
 
     // 证据随判定一并返回（ADR-0016 补迁）：此前这里是 console.error 侧信道——
-    // 只进本地 stderr，进不了 CLI 结论块与 trace，铁律拦截时用户看不到该恢复哪个正本
+    // 只进本地 stderr，进不了 CLI 结论块与 trace，error 级拦截时用户看不到该恢复哪个正本
     return {
       pass: false,
       evidence: [
         '治理契约缺失：AGENTS.md 无非空 PRESERVE:governance 段，CLAUDE.md 也无 Governance Rules 块（正本静默丢失）',
-        '修复: 恢复其一（重跑 `harness init` 会同步注入段）',
+        '修复: 恢复其一——AGENTS.md 补回手写 PRESERVE:governance 段，或 CLAUDE.md 补回 Governance Rules 块',
       ],
     };
   },

package/src/core/constraints/checkers/index.ts

@@ -13,10 +13,7 @@ import { getAllConstraints } from '../definitions';
 
 import {
   noCompletionWithoutVerification,
-  incrementalProgress,
-  noImplementationWithoutRequirement,
 } from './iron-flags';
-import { noBypassCheckpoint } from './no-bypass-checkpoint';
 import { noTestSimplification } from './no-test-simplification';
 import { capabilitySync } from './capability-sync';
 import { contextDocSync } from './context-doc-sync';
@@ -25,15 +22,12 @@ import { noHardcodedCredentials } from './no-hardcoded-credentials';
 import { governancePresence } from './governance-presence';
 
 const CHECKS: ConstraintCheck[] = [
-  // Iron Laws
+  // severity='error'
   noCompletionWithoutVerification,
-  incrementalProgress,
-  noImplementationWithoutRequirement,
   noTestSimplification,
   docsFreshness,
-  // Guidelines
+  // severity='warning'
   noHardcodedCredentials,
-  noBypassCheckpoint,
   capabilitySync,
   contextDocSync,
   governancePresence,
@@ -51,7 +45,7 @@ for (const c of checkConstraints) {
   if (!registry.has(c.id)) {
     throw new Error(
       `[harness] 约束注册表闭环校验失败：kind='check' 的约束 "${c.id}" 未注册 checker。` +
-      `请在 checkers/ 中实现并注册，或将该约束降级为 kind='prompt'。`
+      `请在 checkers/ 中实现并注册（纯文本提示层已随 ADR-0029 关停）。`
     );
   }
 }
@@ -67,7 +61,7 @@ for (const id of registry.keys()) {
 
 /**
  * 按约束 ID 查找检查实现；未注册返回 undefined
- * （编排层对 kind='check' 未注册的情况抛错，kind='prompt' 不查表）
+ * （编排层对 kind='check' 未注册的情况抛错）
  */
 export function getConstraintCheck(id: string): ConstraintCheck | undefined {
   return registry.get(id);

package/src/core/constraints/checkers/iron-flags.ts

@@ -1,7 +1,8 @@
 /**
- * 铁律层轻量检查（工单 21）：纯上下文证据标志判定，无 I/O
+ * error 级轻量检查（工单 21）：纯上下文证据标志判定，无 I/O
  *
- * ADR-0001 后仅存活的三个 flag：hasVerificationEvidence / hasSingleTask / hasRequirement
+ * harness#174 后仅存活的 flag：hasVerificationEvidence
+ *（incremental_progress / no_implementation_without_requirement 已随定义一并删除）
  *
  * 三态语义（ADR-0001 防爆措施）：
  * - undefined = flag 未接线 → skip（不评估，CLI pre-commit 等路径不误报违规）
@@ -14,13 +15,3 @@ export const noCompletionWithoutVerification = contextEvidenceFlag(
   'no_completion_without_verification',
   ctx => ctx.hasVerificationEvidence
 );
-
-export const incrementalProgress = contextEvidenceFlag(
-  'incremental_progress',
-  ctx => ctx.hasSingleTask
-);
-
-export const noImplementationWithoutRequirement = contextEvidenceFlag(
-  'no_implementation_without_requirement',
-  ctx => ctx.hasRequirement
-);

package/src/core/constraints/checkers/no-test-simplification.ts

@@ -4,7 +4,7 @@
 
 import type { ConstraintCheck } from './types';
 
-// m 标志必需：真实 diff 首行恒为 `diff --git`，缺 m 则 ^ 永不命中删除行（铁律静默失效）
+// m 标志必需：真实 diff 首行恒为 `diff --git`，缺 m 则 ^ 永不命中删除行（checker 静默失效）
 const DELETED_TEST_PATTERNS = [
   /^-\s*(test|it|describe)\s*\(/m, // 删除 test/it/describe
   /^-\s*expect\s*\(/m,              // 删除 expect

package/src/core/constraints/checkers/types.ts

@@ -113,7 +113,7 @@ export const MAX_EVIDENCE_ITEMS = 10;
 /**
  * 组装证据行：一行说明 + 逐条依据（超限截断）
  *
- * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / 铁律异常文案）决定，trace 原样存。
+ * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / error 级异常文案）决定，trace 原样存。
  * 修复入口不写在这里：那是各约束自己的事，写进各自的 summary 行（docs_freshness 的
  * 幽灵条目与 sync-docs 无关，共用一个指针会误导）。
  */