@dommaker/harness 1.8.1 → 1.10.0

package/src/cli/commands/__tests__/init-governance-io.test.ts

@@ -1,13 +1,14 @@
 /**
- * 治理链路的 io 注入不逃逸（harness#149）
+ * 治理链路的 io 注入不逃逸（harness#149，ADR-0029 收窄）
  *
- * setupGovernance 手握 io，却在两个调用点把它丢了（`setupClaudeMdOutputStyle(projectPath)`
- * / `setupGovernanceConstraints(projectPath)`），被调方一律 `io: CommandIO = processIO`
- * 兜成真实 stdout。真机输出正常，但注入面的测试看不见那 14 条提示——`⚠️ …标记残缺…`
- * 这类唯一提示写坏了没有测试会红。
+ * setupGovernance 手握 io，曾在调用点把它丢了（`setupClaudeMdOutputStyle(projectPath)`），
+ * 被调方一律 `io: CommandIO = processIO` 兜成真实 stdout。真机输出正常，但注入面的
+ * 测试看不见那些提示——`⚠️ …标记残缺…` 这类唯一提示写坏了没有测试会红。
  *
  * 本文件不 mock 任何 IO：在临时目录里真跑 init，断言治理段提示落在**注入面**。
- * 改造前这些断言逐条为红（文本逃到了 process.stdout）。
+ * ADR-0029：约束注入段 writer（setupAgentsMdConstraints / setupClaudeMdConstraints /
+ * setupGovernanceConstraints）已随文本注入层关停删除，相关用例移除；
+ * Output Style 段（通用 marker 机制）保留。
  */
 
 import * as fs from 'fs/promises';
@@ -63,49 +64,10 @@ describe('init 治理链路的提示落在注入面（harness#149）', () => {
     expect(io.outText()).toContain('✅ 已在 CLAUDE.md 顶部写入 Output Style 段');
   });
 
-  it('治理契约追加到既有 AGENTS.md：`已追加治理契约` 进捕获 stdout', async () => {
-    const io = await runInit({ 'AGENTS.md': '# AGENTS.md\n\n既有导读\n' });
-    expect(io.outText()).toContain('✅ 已追加治理契约 PRESERVE:governance 段到 AGENTS.md');
-  });
-
-  it('标记残缺（唯一提示）：`标记残缺…请人工修复` 进捕获 stdout', async () => {
-    const io = await runInit({ 'AGENTS.md': '# AGENTS.md\n\n<!-- PRESERVE:governance -->\n残缺段\n' });
-    expect(io.outText()).toContain('⚠️  AGENTS.md 中 PRESERVE:governance 标记残缺（只有单边），跳过治理契约写入，请人工修复');
-  });
-
-  // #158 补钉：这类提示在 init.ts 实测有四处，#149 只钉住上面一条——其余三处各补一条
-  // 捕获面断言。四处分支不同文件/不同段位，fixture 各自单建，不共用残缺文件。
-
-  it('标记残缺四处之二：CLAUDE.md 的 HARNESS_OUTPUT_STYLE 单边 → Output Style 注入告警', async () => {
+  it('标记残缺（唯一提示）：HARNESS_OUTPUT_STYLE 单边 → Output Style 注入告警进捕获 stdout', async () => {
     const io = await runInit({ 'CLAUDE.md': '# CLAUDE.md\n\n<!-- HARNESS_OUTPUT_STYLE_START -->\n半残段\n' });
     expect(io.outText()).toContain('⚠️  CLAUDE.md 中 HARNESS_OUTPUT_STYLE 标记残缺（单边或乱序），跳过 Output Style 注入，请人工修复');
   });
-
-  it('标记残缺四处之三：AGENTS.md 的 PRESERVE 段内 HARNESS_CONSTRAINTS 单边 → 段内告警', async () => {
-    const broken = [
-      '# AGENTS.md',
-      '',
-      '<!-- PRESERVE:governance -->',
-      '手写契约',
-      '',
-      '<!-- HARNESS_CONSTRAINTS_START -->',
-      '半残注入',
-      '<!-- /PRESERVE:governance -->',
-      '',
-    ].join('\n');
-    const io = await runInit({ 'AGENTS.md': broken });
-    expect(io.outText()).toContain('⚠️  AGENTS.md PRESERVE:governance 段内 HARNESS_CONSTRAINTS 标记残缺（单边或乱序），跳过治理契约写入，请人工修复');
-  });
-
-  it('标记残缺四处之四：CLAUDE.md 的 HARNESS_CONSTRAINTS 单边 → 治理约束注入告警（旧模型仓落点）', async () => {
-    const io = await runInit({ 'CLAUDE.md': '# CLAUDE.md\n\n<!-- HARNESS_CONSTRAINTS_START -->\n半残段\n' });
-    expect(io.outText()).toContain('⚠️  CLAUDE.md 中 HARNESS_CONSTRAINTS 标记残缺（单边或乱序），跳过治理约束注入，请人工修复');
-  });
-
-  it('新仓创建 AGENTS.md 治理段：创建提示进捕获 stdout', async () => {
-    const io = await runInit({});
-    expect(io.outText()).toContain('✅ 已创建 AGENTS.md 并写入治理契约 PRESERVE:governance 段');
-  });
 });
 
 describe('writer 层 io 必传（源形状闸，防缺省兜底再回来）', () => {
@@ -115,17 +77,10 @@ describe('writer 层 io 必传（源形状闸，防缺省兜底再回来）', ()
     expect(sites[0]).toMatch(/^export async function init\(/);
   });
 
-  it('三个 writer 与落点路由的 io 均为必传形参', () => {
-    for (const writer of [
-      'setupClaudeMdOutputStyle',
-      'setupAgentsMdConstraints',
-      'setupClaudeMdConstraints',
-      'setupGovernanceConstraints',
-    ]) {
-      expect(INIT_SOURCE).toMatch(
-        new RegExp(`export async function ${writer}\\(projectPath: string, io: CommandIO\\)`),
-      );
-    }
+  it('Output Style writer 的 io 为必传形参', () => {
+    expect(INIT_SOURCE).toMatch(
+      /export async function setupClaudeMdOutputStyle\(projectPath: string, io: CommandIO\)/,
+    );
   });
 
   it('setupGovernance 的调用点逐个传 io（不留裸 projectPath 调用）', () => {
@@ -134,6 +89,5 @@ describe('writer 层 io 必传（源形状闸，防缺省兜底再回来）', ()
       INIT_SOURCE.indexOf('/**\n * 目录 CONTEXT.md 骨架的 plan'),
     );
     expect(governanceBody).toMatch(/await setupClaudeMdOutputStyle\(projectPath, io\)/);
-    expect(governanceBody).toMatch(/await setupGovernanceConstraints\(projectPath, io\)/);
   });
 });

package/src/cli/commands/__tests__/init-ondisk.test.ts

@@ -3,8 +3,10 @@
  *
  * init.test.ts 把 fs/promises 整体 mock 掉，只能看到「调过 writeFile」，看不到
  * 真写出了什么内容。本文件不 mock 任何 IO：在临时目录里真跑两遍 init——
- * 第一遍断言 9 个受管文件的落盘字节，第二遍（文件已在场且被用户改过）断言
- * 9 站点各自的第三态、用户内容一字节不动、以及「打印片段 == 真正落盘的内容」。
+ * 第一遍断言 8 个受管文件的落盘字节，第二遍（文件已在场且被用户改过）断言
+ * 8 站点各自的第三态、用户内容一字节不动、以及「打印片段 == 真正落盘的内容」。
+ * ADR-0029：custom-constraints.yml 示例站与 AGENTS.md 治理契约段 writer 已随
+ * 文本注入层关停移除，落盘集合同步收缩。
  */
 
 import * as fs from 'fs/promises';
@@ -120,9 +122,9 @@ describe('init 真落盘（无 IO mock）', () => {
 
     expect(await init({ ...INIT_OPTIONS, projectPath: root }, io)).toEqual({ kind: 'ok' });
 
-    // 冻结的整屏 = scaffold 9 站点 + 治理段 writer 的落盘提示。#149 前 io 在
-    // setupGovernance 两个调用点被丢，治理 writer 的提示逃到 process.stdout、不进捕获面
-    // （本文件因此曾缺这一行）；io 贯通后它回到捕获面，真机输出的字节不变。
+    // 冻结的整屏 = scaffold 8 站点 + 治理段 writer 的落盘提示。#149 前 io 在
+    // setupGovernance 调用点被丢，治理 writer 的提示逃到 process.stdout、不进捕获面；
+    // io 贯通后它回到捕获面，真机输出的字节不变。
     expect(normalize(io.outText(), root)).toBe(`🚀 初始化 harness 配置...
 配置目录: <P>/.harness
 预设: standard
@@ -130,14 +132,12 @@ describe('init 真落盘（无 IO mock）', () => {
 ✅ 已创建配置文件: <P>/.harness/config.yml (v*)
 ✅ 已创建示例检查点文件: <P>/.harness/checkpoints.yml
 ✅ 已创建 Resolutions 文件: <P>/.harness/resolutions.json
-✅ 已创建自定义约束示例: custom-constraints.yml
 ✅ 已创建 .git/hooks/pre-commit
 ✅ 已创建 .git/hooks/pre-push
 ✅ 已创建 .github/workflows/harness-check.yml
 
 📋 设置治理文件...
 ✅ 已创建 CHANGELOG.md
-✅ 已创建 AGENTS.md 并写入治理契约 PRESERVE:governance 段 (v*)
 ✅ 已创建 src/CONTEXT.md
 治理检查已由 harness-check.yml 覆盖，跳过创建 harness-governance.yml
 
@@ -145,9 +145,8 @@ describe('init 真落盘（无 IO mock）', () => {
 
 下一步:
   1. 编辑 .harness/config.yml 自定义配置
-  2. 编辑 .harness/custom-constraints.yml 添加项目约束
-  3. 正常开发：每次 git commit 查暂存的（增量快反馈），每次 git push 查整仓的（全量兜底）——重复是设计使然
-  4. 运行 harness status 查看状态
+  2. 正常开发：每次 git commit 查暂存的（增量快反馈），每次 git push 查整仓的（全量兜底）——重复是设计使然
+  3. 运行 harness status 查看状态
 
 💡 提示: 使用 harness init --print-snippets 查看配置代码片段
 `);
@@ -164,7 +163,6 @@ describe('init 真落盘（无 IO mock）', () => {
     expect(await read('.git/hooks/pre-push')).toBe(PRE_PUSH_HOOK_BYTES);
 
     expect(await read('.github/workflows/harness-check.yml')).toContain('name: Harness Check');
-    expect(await read('.harness/custom-constraints.yml')).toContain('custom_constraints:');
     expect(await read('.harness/checkpoints.yml')).toContain('id: build-success');
     expect(JSON.parse(await read('.harness/resolutions.json')).capability_sync).toBeDefined();
     expect(await read('CHANGELOG.md')).toContain('Keep a Changelog');
@@ -186,11 +184,10 @@ describe('init 真落盘（无 IO mock）', () => {
     await init({ ...INIT_OPTIONS, projectPath: root }, io);
     const lines = io.outLines();
 
-    // 顺序 = init 的落盘顺序；harness-governance.yml（第九站）因既有 workflow 覆盖而跳过
+    // 顺序 = init 的落盘顺序；harness-governance.yml（末站）因既有 workflow 覆盖而跳过
     expectOrderedSubsequence(lines, [
       'checkpoints.yml 已存在，跳过',
       'resolutions.json 已存在，跳过',
-      'custom-constraints.yml 已存在',
       '⚠️  .git/hooks/pre-commit 已存在',
       '💡 请手动添加以下内容到文件末尾：',
       '⚠️  .git/hooks/pre-push 已存在',
@@ -223,7 +220,6 @@ describe('init 真落盘（无 IO mock）', () => {
       '.git/hooks/pre-commit': '#!/bin/sh\n# 我自己的钩子\n',
       '.git/hooks/pre-push': '#!/bin/sh\n# 我自己的推送钩子\n',
       '.github/workflows/harness-check.yml': 'name: 我自己的流水线\n',
-      '.harness/custom-constraints.yml': 'custom_constraints: {}\n',
       '.harness/checkpoints.yml': 'checkpoints: []\n',
       '.harness/resolutions.json': '{}\n',
       'CHANGELOG.md': '# 我的更新日志\n',
@@ -274,9 +270,8 @@ describe('init 真落盘（无 IO mock）', () => {
     expect(io.outText()).not.toContain('harness-governance.yml');
     expect(await exists(path.join(root, '.github'))).toBe(false);
     expect(await exists(path.join(root, '.gitlab-ci.yml'))).toBe(false);
-    // 治理文档面照常：CHANGELOG / 约束段 / CONTEXT.md 不受 CI 豁免影响
+    // 治理文档面照常：CHANGELOG / CONTEXT.md 不受 CI 豁免影响
     expect(await exists(path.join(root, 'CHANGELOG.md'))).toBe(true);
-    expect(await exists(path.join(root, 'AGENTS.md'))).toBe(true);
   });
 
   it('无 .git 与无源码目录时仍按原措辞告知，不写任何文件', async () => {
@@ -556,9 +551,7 @@ describe('init --ci × -g 组合边界（harness#156，真落盘）', () => {
       '.git/hooks/pre-push',
       '.harness/checkpoints.yml',
       '.harness/config.yml',
-      '.harness/custom-constraints.yml',
       '.harness/resolutions.json',
-      'AGENTS.md',
       'CHANGELOG.md',
       'src/CONTEXT.md',
       'src/index.ts',
@@ -591,9 +584,8 @@ harness:
   version: *
 `);
 
-    // 治理文档面（CHANGELOG / 约束段 / CONTEXT.md）在 none 下照常生成，不受 CI 豁免影响
+    // 治理文档面（CHANGELOG / CONTEXT.md）在 none 下照常生成，不受 CI 豁免影响
     expect(await fs.readFile(path.join(root, 'CHANGELOG.md'), 'utf-8')).toContain('Keep a Changelog');
-    expect(await fs.readFile(path.join(root, 'AGENTS.md'), 'utf-8')).toContain('PRESERVE:governance');
     expect(await fs.readFile(path.join(root, 'src/CONTEXT.md'), 'utf-8')).toBe(CONTEXT_MD_BYTES);
   });
 

package/src/cli/commands/__tests__/init.test.ts

@@ -308,17 +308,6 @@ describe('init command', () => {
     });
   });
 
-  describe('custom-constraints', () => {
-    it('应该跳过创建当已存在', async () => {
-      mockFs.mkdir.mockResolvedValue(undefined);
-      mockFs.writeFile.mockResolvedValue(undefined);
-      existingFiles.add(`${PROJECT}/.harness/custom-constraints.yml`);
-
-      await init({ preset: 'standard', projectPath: PROJECT }, io);
-      expect(io.outText()).toContain('custom-constraints.yml 已存在');
-    });
-  });
-
   describe('governance', () => {
     it('应该在配置中包含 governance 段', async () => {
       mockFs.mkdir.mockResolvedValue(undefined);

package/src/cli/commands/__tests__/project-path-anchoring.test.ts

@@ -210,7 +210,7 @@ describe('-p 锚定：执行与 IO 必须落在 projectPath（cwd ≠ projectPat
         .slice(seeded)
         .map(l => JSON.parse(l) as { constraintId: string; projectPath?: string });
       expect(written.map(t => t.constraintId)).toEqual(
-        expect.arrayContaining(['incremental_progress', 'no_implementation_without_requirement'])
+        expect.arrayContaining(['no_completion_without_verification', 'no_hardcoded_credentials'])
       );
       expect(written.every(t => t.projectPath === projectSide)).toBe(true);
       // 病灶：修复前这一支落在调用方 cwd（A），B 侧 mtime 不动
@@ -231,7 +231,7 @@ describe('-p 锚定：执行与 IO 必须落在 projectPath（cwd ≠ projectPat
       expect(await status({ projectPath: projectSide }, io)).toEqual({ kind: 'ok' });
       // 记录数取自 B 的正本行数：写侧漏到 A 就必然对不上（假绿），读到 A 也读不到 check 的落点
       expect(io.outText()).toContain(`记录数: ${traceLinesOf(projectSide).length} 条`);
-      expect(io.outText()).toContain('no_implementation_without_requirement');
+      expect(io.outText()).toContain('no_completion_without_verification');
     });
 
     it('不带 --project-path 的项目内使用：落点仍是当下 cwd（存量使用者无感）', async () => {

package/src/cli/commands/__tests__/registry.test.ts

@@ -15,6 +15,7 @@ import * as path from 'path';
 import { spawnSync } from 'child_process';
 import { COMMAND_DEFINITIONS, type CommandDefinition, type CommandImplRef } from '../definitions';
 import { GATE_DEFINITIONS } from '../../../gates/definitions';
+import { FileKnowledgeStore } from '../../../knowledge/store';
 
 function collectRefs(defs: CommandDefinition[]): CommandImplRef[] {
   const refs: CommandImplRef[] = [];
@@ -189,8 +190,17 @@ const hasDist = fs.existsSync(distCommands);
  * 经 NODE_OPTIONS=--require 预加载探针 spawn bin（进程退出时打印加载的
  * 命令实现模块清单）。不用 node -e（commander 在 -e 下走 eval 分支，
  * argv 解析不同，会误判位置参数）。
+ *
+ * env 用于把命令指向临时夹具（见「别名子命令」用例），第二参随调用方并入。
+ * maxBuffer 显式抬高：spawnSync 缺省 1MB，子进程 stdout 超限是被 ENOBUFS **杀掉**
+ * 而非报错——status 变 null、stderr 一句解释都没有，看着像路由崩了。2026-09-20 本机
+ * 发版即以此形状暴露（真实库 221 条 / 1.35MB JSON）。抬高上限只是别再吞掉诊断信息，
+ * **数据面隔离仍由各用例的夹具负责**，不拿它当免罪符。
  */
-function runWithModuleProbe(argv: string[]): { status: number | null; implModules: string[]; stdout: string; stderr: string } {
+function runWithModuleProbe(
+  argv: string[],
+  extraEnv: Record<string, string> = {},
+): { status: number | null; implModules: string[]; stdout: string; stderr: string } {
   const probeDir = fs.mkdtempSync(path.join(os.tmpdir(), 'harness-lazy-probe-'));
   const probeFile = path.join(probeDir, 'probe.js');
   fs.writeFileSync(probeFile, [
@@ -204,7 +214,8 @@ function runWithModuleProbe(argv: string[]): { status: number | null; implModule
       cwd: repoRoot,
       encoding: 'utf-8',
       timeout: 30000,
-      env: { ...process.env, NODE_OPTIONS: `--require ${probeFile}` },
+      maxBuffer: 32 * 1024 * 1024,
+      env: { ...process.env, NODE_OPTIONS: `--require ${probeFile}`, ...extraEnv },
     });
     const match = r.stderr.match(/IMPL_MODULES=(.*)/);
     return {
@@ -270,7 +281,32 @@ smoke('bin/harness.js 端到端（dist 存在时）', () => {
   });
 
   it('别名子命令解析到同一实现（knowledge ls = list，候选7）', () => {
-    const r = runWithModuleProbe(['knowledge', 'ls', '--json']);
+    // 数据面隔离：本用例判的是**路由**（别名 ls 与主名 list 命中同一实现、只加载 knowledge
+    // 侧两个模块），知识库内容纯属旁证。不指夹具时它读的是操作机的真实库（本机实测 221 条 /
+    // 1.35MB JSON），而 CI 全新 checkout 上该库为空——两侧取数规模差三个数量级，大的一侧
+    // stdout 越过 spawnSync 缺省缓冲直接被杀掉（形状见 runWithModuleProbe 注释）。
+    // 夹具目录由 src/test-setup/mkdtemp-cleanup.ts 在 afterAll 统一回收。
+    const kbDir = fs.mkdtempSync(path.join(os.tmpdir(), 'harness-smoke-kb-'));
+    new FileKnowledgeStore({ baseDir: kbDir }).save({
+      id: 'SMOKE-001',
+      type: 'guideline',
+      title: 'Smoke Fixture Entry',
+      content: '别名路由用例的夹具条目，只为了让 --json 出口有真实记录可数',
+      maturity: 'verified',
+      layer: 'project',
+      created: new Date().toISOString(),
+      lastReferenced: new Date().toISOString(),
+      contributors: ['tester'],
+      projects: ['smoke'],
+      tags: [],
+      applicablePhases: [],
+      sourceReferences: [],
+      referencedBy: [],
+      executionResults: [],
+      consumptionMode: 'reference',
+      origin: 'system',
+    });
+    const r = runWithModuleProbe(['knowledge', 'ls', '--json'], { KNOWLEDGE_BASE_DIR: kbDir });
     expect(r.status).toBe(0);
     expect(JSON.parse(r.stdout)).toHaveProperty('total');
     expect(r.implModules).toEqual([

package/src/cli/commands/__tests__/report-extra.test.ts

@@ -46,8 +46,8 @@ describe('report command - 补充覆盖', () => {
 
       expect(output).toContain('# Harness 检查报告');
       expect(output).toContain('## 约束检查');
-      expect(output).toContain('Iron Laws');
-      expect(output).toContain('Guidelines');
+      expect(output).toContain('error 级');
+      expect(output).toContain('warning 级');
       expect(output).toContain('@dommaker/harness');
     });
   });
@@ -71,8 +71,8 @@ describe('report command - 补充覆盖', () => {
       expect(data).toHaveProperty('timestamp');
       expect(data).toHaveProperty('constraints');
       expect(data.constraints).toHaveProperty('total');
-      expect(data.constraints).toHaveProperty('ironLaws');
-      expect(data.constraints).toHaveProperty('guidelines');
+      expect(data.constraints).toHaveProperty('errors');
+      expect(data.constraints).toHaveProperty('warnings');
       expect(data.constraints).toHaveProperty('violations');
     });
   });

package/src/cli/commands/__tests__/report.test.ts

@@ -97,7 +97,7 @@ describe('report command', () => {
       const parsed = JSON.parse(jsonStr);
       expect(parsed.constraints).toBeDefined();
       expect(parsed.constraints.total).toBeGreaterThan(0);
-      expect(parsed.constraints.ironLaws).toBeGreaterThan(0);
+      expect(parsed.constraints.errors).toBeGreaterThan(0);
       expect(parsed.timestamp).toBeDefined();
       expect(parsed.projectPath).toBeDefined();
     });

package/src/cli/commands/__tests__/scaffold.test.ts

@@ -26,7 +26,6 @@ import {
   preCommitHookFile,
   prePushHookFile,
   harnessCheckCiFile,
-  customConstraintsFile,
   changelogFile,
   contextDocFile,
   governanceWorkflowFile,
@@ -72,12 +71,11 @@ class MemoryFs implements ScaffoldFileSystem {
 const PROJECT = '/srv/project';
 const USER_CONTENT = '用户自己的内容，不许覆盖\n';
 
-/** 全部 9 站点，顺序 = init 的落盘顺序 */
+/** 全部 8 站点，顺序 = init 的落盘顺序 */
 function allSites(): ManagedFile[] {
   return [
     checkpointsFile(PROJECT),
     resolutionsFile(PROJECT),
-    customConstraintsFile(PROJECT),
     preCommitHookFile(PROJECT),
     prePushHookFile(PROJECT),
     harnessCheckCiFile(PROJECT, 'github', ['ci.yml']),
@@ -113,7 +111,7 @@ beforeEach(() => {
 
 describe('writeManagedFile：三态判定', () => {
   it('不在场 → created：建父目录、落盘模板正文、绿字告知', async () => {
-    const file = customConstraintsFile(PROJECT);
+    const file = changelogFile(PROJECT, 'keep-a-changelog');
 
     expect(await writeManagedFile(file, io, fs)).toBe('created');
 
@@ -179,7 +177,7 @@ describe('writeManagedFile：三态判定', () => {
   });
 
   it('runPlan 按顺序逐站点落盘并逐站点回报状态', async () => {
-    const plan = [customConstraintsFile(PROJECT), changelogFile(PROJECT, 'keep-a-changelog')];
+    const plan = [checkpointsFile(PROJECT), changelogFile(PROJECT, 'keep-a-changelog')];
     fs.seed(plan[1].target, USER_CONTENT);
 
     expect(await runPlan(plan, io, fs)).toEqual(['created', 'exists']);
@@ -188,11 +186,10 @@ describe('writeManagedFile：三态判定', () => {
 });
 
 describe('init 的脚手架 plan 站点面', () => {
-  it('9 站点齐备且目标路径逐字冻结（init 7 + validate 2 同源收口）', () => {
+  it('8 站点齐备且目标路径逐字冻结（init 6 + validate 2 同源收口）', () => {
     expect(allSites().map(f => f.target)).toEqual([
       `${PROJECT}/.harness/checkpoints.yml`,
       `${PROJECT}/.harness/resolutions.json`,
-      `${PROJECT}/.harness/custom-constraints.yml`,
       `${PROJECT}/.git/hooks/pre-commit`,
       `${PROJECT}/.git/hooks/pre-push`,
       `${PROJECT}/.github/workflows/harness-check.yml`,
@@ -342,13 +339,6 @@ describe('对外文案逐字冻结（9 站点 × 落盘态 / 在场态）', () =
       ],
       'name: Harness Check',
     ],
-    [
-      'custom-constraints.yml',
-      () => customConstraintsFile(PROJECT),
-      '✅ 已创建自定义约束示例: custom-constraints.yml',
-      ['custom-constraints.yml 已存在'],
-      '',
-    ],
     [
       'checkpoints.yml',
       () => checkpointsFile(PROJECT),

package/src/cli/commands/__tests__/status-analysis-wiring.test.ts

@@ -18,8 +18,8 @@ import { status } from '../status';
 const STATUS_SOURCE = fs.readFileSync(path.join(__dirname, '..', 'status.ts'), 'utf-8');
 
 /** 1 pass + 1 fail：failRate 0.5、passRate 0.5 → 无异常；2 fail：passRate 0 → low_pass_rate */
-const PASS = { constraintId: 'alpha', level: 'iron_law' as const, result: 'pass' as const };
-const FAIL = { constraintId: 'beta', level: 'guideline' as const, result: 'fail' as const };
+const PASS = { constraintId: 'alpha', severity: 'error' as const, result: 'pass' as const };
+const FAIL = { constraintId: 'beta', severity: 'warning' as const, result: 'fail' as const };
 
 let io: CapturingIO;
 beforeEach(() => {
@@ -47,7 +47,7 @@ describe('status 分析接线（ADR-0020）', () => {
 
     await status({ projectPath: root, detail: true }, io);
 
-    expect(io.outText()).toContain('🔴 Iron Laws:');
+    expect(io.outText()).toContain('🔴 error 级约束:');
     expect(io.outText()).toContain('alpha');
     expect(io.outText()).toContain('检查: 2 | 通过: 100% | 失败: 0%');
     expect(io.outText()).not.toContain('个异常');

package/src/cli/commands/__tests__/status-extra.test.ts

@@ -34,7 +34,7 @@ const mockFs = fs as jest.Mocked<typeof fs>;
 /** trace 文件内容：一 trace 一行，缺省字段补齐成合法 ExecutionTrace（timestamp 递增） */
 function traceFile(traces: Array<Partial<ExecutionTrace>>): string {
   return traces
-    .map((t, i) => JSON.stringify({ level: 'iron_law', timestamp: i + 1, result: 'pass', ...t }))
+    .map((t, i) => JSON.stringify({ severity: 'error', timestamp: i + 1, result: 'pass', ...t }))
     .join('\n');
 }
 
@@ -77,7 +77,7 @@ describe('status command - 补充覆盖', () => {
     it('有异常时应该显示详细信息和下一步建议', async () => {
       // 两个约束各自全失败 → 各自判出一枚 low_pass_rate
       mockFs.readFileSync.mockReturnValue(traceFile([
-        ...repeats('no_bypass_checkpoint', 2, 'fail'),
+        ...repeats('docs_freshness', 2, 'fail'),
         ...repeats('no_completion_without_verification', 2, 'fail'),
       ]));
 
@@ -102,9 +102,9 @@ describe('status command - 补充覆盖', () => {
   });
 
   describe('约束级别统计', () => {
-    it('应该显示 Iron Laws 统计', async () => {
+    it('应该显示 error 级约束统计', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
-        { constraintId: 'no_bypass_checkpoint' },
+        { constraintId: 'docs_freshness' },
         { constraintId: 'no_completion_without_verification' },
       ]));
 
@@ -112,35 +112,35 @@ describe('status command - 补充覆盖', () => {
 
       const output = io.outText();
       expect(output).toContain('📈 约束统计:');
-      expect(output).toContain('🔴 Iron Laws:');
+      expect(output).toContain('🔴 error 级约束:');
       expect(output).toContain('✅ no_completion_without_verification');
     });
 
-    it('应该显示 Guidelines 统计', async () => {
+    it('应该显示 warning 级约束统计', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
-        { constraintId: 'capability_sync', level: 'guideline', result: 'pass' },
+        { constraintId: 'capability_sync', severity: 'warning', result: 'pass' },
       ]));
 
       await runStatus();
 
-      expect(io.outText()).toContain('🟡 Guidelines:');
+      expect(io.outText()).toContain('🟡 warning 级约束:');
     });
   });
 
   describe('详细模式扩展', () => {
     it('详细模式应该显示所有级别详情', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
-        { constraintId: 'no_bypass_checkpoint', level: 'iron_law' },
-        { constraintId: 'capability_sync', level: 'guideline' },
-        { constraintId: 'capability_sync', level: 'guideline' },
+        { constraintId: 'docs_freshness', severity: 'error' },
+        { constraintId: 'capability_sync', severity: 'warning' },
+        { constraintId: 'capability_sync', severity: 'warning' },
       ]));
 
       await runStatus({ detail: true });
 
       const output = io.outText();
       expect(output).toContain('📈 约束统计:');
-      expect(output).toContain('🔴 Iron Laws:');
-      expect(output).toContain('🟡 Guidelines:');
+      expect(output).toContain('🔴 error 级约束:');
+      expect(output).toContain('🟡 warning 级约束:');
       expect(output).toContain('检查: 2 | 通过: 100% | 失败: 0%');
     });
   });
@@ -148,7 +148,7 @@ describe('status command - 补充覆盖', () => {
   describe('JSON parse 异常处理', () => {
     it('无效 JSON 行应该被过滤', async () => {
       mockFs.readFileSync.mockReturnValue(
-        ['invalid json', JSON.stringify({ constraintId: 'valid', level: 'iron_law', timestamp: 1, result: 'pass' }), 'also invalid'].join('\n')
+        ['invalid json', JSON.stringify({ constraintId: 'valid', severity: 'error', timestamp: 1, result: 'pass' }), 'also invalid'].join('\n')
       );
 
       await runStatus();

package/src/cli/commands/__tests__/status.test.ts

@@ -34,7 +34,7 @@ const mockFs = fs as jest.Mocked<typeof fs>;
 /** trace 文件内容：一 trace 一行，缺省字段补齐成合法 ExecutionTrace（timestamp 递增） */
 function traceFile(traces: Array<Partial<ExecutionTrace>>): string {
   return traces
-    .map((t, i) => JSON.stringify({ level: 'iron_law', timestamp: i + 1, result: 'pass', ...t }))
+    .map((t, i) => JSON.stringify({ severity: 'error', timestamp: i + 1, result: 'pass', ...t }))
     .join('\n');
 }
 
@@ -99,7 +99,7 @@ describe('status command', () => {
     it('应该显示记录数', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
         { constraintId: 'test1' },
-        { constraintId: 'test2', level: 'guideline' },
+        { constraintId: 'test2', severity: 'warning' },
       ]));
 
       await runStatus();
@@ -107,14 +107,14 @@ describe('status command', () => {
       expect(io.outText()).toContain('📈 约束统计:');
     });
 
-    it('应该显示 Iron Laws 统计', async () => {
+    it('应该显示 error 级约束统计', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
-        { constraintId: 'no_bypass_checkpoint' },
+        { constraintId: 'no_completion_without_verification' },
       ]));
 
       await runStatus({ detail: true });
-      expect(io.outText()).toContain('🔴 Iron Laws:');
-      expect(io.outText()).toContain('✅ no_bypass_checkpoint');
+      expect(io.outText()).toContain('🔴 error 级约束:');
+      expect(io.outText()).toContain('✅ no_completion_without_verification');
       expect(io.outText()).toContain('检查: 1 | 通过: 100% | 失败: 0%');
     });
   });
@@ -162,14 +162,14 @@ describe('status command', () => {
     });
   });
 
-  describe('Guidelines 统计', () => {
-    it('应该显示 Guidelines 统计', async () => {
+  describe('warning 级约束统计', () => {
+    it('应该显示 warning 级约束统计', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
-        { constraintId: 'test_guide', level: 'guideline' },
+        { constraintId: 'test_guide', severity: 'warning' },
       ]));
 
       await runStatus();
-      expect(io.outText()).toContain('🟡 Guidelines:');
+      expect(io.outText()).toContain('🟡 warning 级约束:');
       expect(io.outText()).toContain('✅ test_guide');
     });
   });
@@ -221,11 +221,11 @@ describe('status command', () => {
   });
 
   describe('详细模式扩展', () => {
-    it('应该显示 Guidelines 详细统计', async () => {
+    it('应该显示 warning 级约束详细统计', async () => {
       mockFs.readFileSync.mockReturnValue(traceFile([
         ...repeats('test_guide', 3, 'pass'),
         ...repeats('test_guide', 2, 'fail'),
-      ].map(t => ({ ...t, level: 'guideline' as const }))));
+      ].map(t => ({ ...t, severity: 'warning' as const }))));
 
       await runStatus({ detail: true });
       expect(io.outText()).toContain('⚠️ test_guide');

package/src/cli/commands/__tests__/sync-docs-agents.test.ts

@@ -126,7 +126,7 @@ describe('sync-docs --agents', () => {
     expect(content).not.toContain('clean');
     // 约束与治理
     expect(content).toContain('preset: standard');
-    expect(content).toContain('Iron Laws 2 条、Guidelines 3 条');
+    expect(content).toContain('约束清单：`CLAUDE.md` Governance Rules 块');
     // 知识入口（只写目录存在性，不写易变的条目数——避免 --check 漂移竞态）
     expect(content).toContain('项目知识库，用 `harness knowledge` 查询');
     expect(content).not.toContain('知识库（');