@dommaker/harness 1.8.1 → 1.10.0

package/src/cli/commands/sync-docs/capabilities-syncer.ts

@@ -54,12 +54,22 @@ export async function updateCapabilitiesFile(
 
   // 如果有表格行，更新表格
   if (existingFiles.length > 0) {
-    // 移除已删除文件的行
-    for (const removed of result.removed) {
-      const escapedFile = removed.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
-      // 第二列存完整路径，basename 只在末尾出现，用 [^|]* 匹配路径前缀
-      const rowRegex = new RegExp(`^\\|[^|]*\\|[^|]*\\b${escapedFile}\\s*\\|.*$`, 'gm');
-      content = content.replace(rowRegex, '');
+    // 移除已删除文件的行（整行连行尾一起删——只清行内容会留一个空行，
+    // CommonMark 据此把一张表切成若干小表，harness#171）。
+    // 这里**不**豁免围栏代码块，与下方排版收拢刻意不同口径：登记条目由
+    // capabilities-parser 全文扫描得出（ADR-0009），围栏内的行同样算登记项；
+    // 只让删除认围栏而条目不认，块内示例行会一直被解析成幽灵条目，`--check`
+    // 从此每轮都报同一个已删文件且永远修不掉。豁免要生效得连登记面一起改。
+    if (result.removed.length > 0) {
+      const deadRowRegexes = result.removed.map((removed) => {
+        const escapedFile = removed.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+        // 第二列存完整路径，basename 只在末尾出现，用 [^|]* 匹配路径前缀
+        return new RegExp(`^\\|[^|]*\\|[^|]*\\b${escapedFile}\\s*\\|.*\\r?$`);
+      });
+      content = content
+        .split('\n')
+        .filter((line) => !deadRowRegexes.some((rowRegex) => rowRegex.test(line)))
+        .join('\n');
     }
 
     // 添加新文件的行（在最后一个表格行之后）；module 模式跳过
@@ -80,14 +90,17 @@ export async function updateCapabilitiesFile(
         content = content.replace(lastTableRow, lastTableRow + '\n' + newRows);
       }
     }
-
-    // 清理多余空行
-    content = content.replace(/\n{3,}/g, '\n\n');
   } else {
     // 没有表格，追加模块表格（module 模式按目录聚合）
     content += '\n\n' + (mode === 'module' ? generateDirTable(currentModules) : generateModuleTable(currentModules));
   }
 
+  // 表格排版收拢放在增删之后：有新行的表不会被误判为空表（#171）
+  content = normalizeCapabilitiesTableLayout(content).content;
+  // 多余空行的清理收在收拢之后一处：收拢本身会新产出连续空行
+  // （收掉一张夹在两段散文之间的空表就留下 `\n\n\n`，#171）
+  content = content.replace(/\n{3,}/g, '\n\n');
+
   // 更新最后更新时间
   const now = new Date().toISOString().split('T')[0];
   content = content.replace(
@@ -98,6 +111,123 @@ export async function updateCapabilitiesFile(
   await fs.writeFile(capabilitiesPath, content, 'utf-8');
 }
 
+/** 表格行：以 `|` 起始（表头、分隔行、数据行都算） */
+const TABLE_ROW_REGEX = /^\s*\|/;
+
+/** 表格分隔行（|------|------|） */
+const TABLE_SEPARATOR_REGEX = /^\s*\|[\s:|-]+\|\s*$/;
+
+/** 围栏代码块的起止行（``` / ~~~，允许缩进与信息串） */
+const FENCE_LINE_REGEX = /^\s*(?:```|~~~)/;
+
+export interface TableLayoutNormalization {
+  /** 收拢后的内容 */
+  content: string;
+  /** 被删掉的「表格内空行」行数 */
+  blankLines: number;
+  /** 被收掉的「空表」（表头+分隔行且无数据行）张数 */
+  emptyTables: number;
+}
+
+/** 参与排版判定的行：正文 + 是否落在围栏代码块内 */
+interface LayoutLine {
+  text: string;
+  fenced: boolean;
+}
+
+/**
+ * 按行切开并标出围栏代码块（``` / ~~~）内的行
+ *
+ * 只服务排版收拢：CAPABILITIES.md 是手写文档，块内长得像表格的示例行不是排版脏行，
+ * 收它就是删用户正文（harness#171）。登记条目面不在此列——见 `updateCapabilitiesFile`
+ * 里「幽灵行删除不豁免围栏」的取舍注释。
+ */
+function parseLayoutLines(content: string): LayoutLine[] {
+  const parsed: LayoutLine[] = [];
+  let inFence = false;
+  for (const text of content.split('\n')) {
+    if (FENCE_LINE_REGEX.test(text)) {
+      parsed.push({ text, fenced: true });
+      inFence = !inFence;
+      continue;
+    }
+    parsed.push({ text, fenced: inFence });
+  }
+  return parsed;
+}
+
+const isTableRow = (line: LayoutLine | undefined): line is LayoutLine =>
+  line !== undefined && !line.fenced && TABLE_ROW_REGEX.test(line.text);
+
+const isTableSeparator = (line: LayoutLine | undefined): boolean =>
+  line !== undefined && !line.fenced && TABLE_SEPARATOR_REGEX.test(line.text);
+
+/** 走一遍两条收拢规则（不迭代） */
+function collapseTableLayoutOnce(content: string): TableLayoutNormalization {
+  const parsed = parseLayoutLines(content);
+
+  // ① 收拢表格内空行：一段连续空行，两侧最近非空行都是表格行 → 整段丢弃
+  const kept: LayoutLine[] = [];
+  let blankLines = 0;
+  for (let i = 0; i < parsed.length; ) {
+    if (parsed[i].text.trim() !== '') {
+      kept.push(parsed[i]);
+      i++;
+      continue;
+    }
+    let end = i;
+    while (end < parsed.length && parsed[end].text.trim() === '') end++;
+    if (isTableRow(kept[kept.length - 1]) && isTableRow(parsed[end])) {
+      blankLines += end - i;
+    } else {
+      kept.push(...parsed.slice(i, end));
+    }
+    i = end;
+  }
+
+  // ② 收掉空表：表头 + 分隔行后面没有数据行
+  const out: string[] = [];
+  let emptyTables = 0;
+  for (let i = 0; i < kept.length; i++) {
+    if (isTableRow(kept[i]) && isTableSeparator(kept[i + 1]) && !isTableRow(kept[i + 2])) {
+      emptyTables++;
+      i++;
+      continue;
+    }
+    out.push(kept[i].text);
+  }
+
+  return { content: out.join('\n'), blankLines, emptyTables };
+}
+
+/**
+ * 收拢 CAPABILITIES.md 的表格排版（harness#171）
+ *
+ * 两条规则：① 删掉夹在两个表格行之间的空行（CommonMark 会在此切断表格）；
+ * ② 收掉没有数据行的表头+分隔行。表格外的空行（段落分隔）不动；围栏代码块内的行整体豁免。
+ *
+ * 规则互相制造对方的触发点（①把两张空表之间的那个空行吃掉后，②一轮只收得掉后一张），
+ * 所以跑到不动点：**一次 `sync-docs` 必须把 `--check` 报出来的东西全清掉**，
+ * 否则下游 CI 修完还是红的。计数 = 各轮合计（每轮只删当轮存在的行，不会重计）。
+ *
+ * 幂等，且 `--check` 与写模式共用此正本——判定面就是「返回内容与入参是否不同」，
+ * 因此不存在「check 报了 fix 修不掉」的不收敛（ADR-0009 口径）。
+ */
+export function normalizeCapabilitiesTableLayout(content: string): TableLayoutNormalization {
+  let current = content;
+  let blankLines = 0;
+  let emptyTables = 0;
+  for (;;) {
+    const pass = collapseTableLayoutOnce(current);
+    if (pass.blankLines === 0 && pass.emptyTables === 0) {
+      return { content: current, blankLines, emptyTables };
+    }
+    blankLines += pass.blankLines;
+    emptyTables += pass.emptyTables;
+    current = pass.content;
+  }
+}
+
 /**
  * 生成 CAPABILITIES.md 内容
  */

package/src/cli/commands/sync-docs/index.ts

@@ -34,6 +34,7 @@ import {
   parseCapabilitiesFiles,
   updateCapabilitiesFile,
   compactCapabilitiesContent,
+  normalizeCapabilitiesTableLayout,
 } from './capabilities-syncer';
 import {
   createContextMd,
@@ -264,7 +265,15 @@ export async function syncDocs(
   }
   const hasAgentsIssues = options.agents === true && agentsMdStale;
 
-  const hasTableIssues = result.added.length > 0 || result.removed.length > 0;
+  // 表格排版脏行（#171）：撤登记时残留的空行会把 CAPABILITIES.md 的表格切断。
+  // 判定与修复共用 normalizeCapabilitiesTableLayout 正本——同一份规则，check 报的 fix 必清得掉。
+  const tableLayout = capsIsCapabilityListing
+    ? { blankLines: 0, emptyTables: 0 }
+    : normalizeCapabilitiesTableLayout(capsContent);
+  const hasTableLayoutIssues = tableLayout.blankLines > 0 || tableLayout.emptyTables > 0;
+
+  const hasTableEntryIssues = result.added.length > 0 || result.removed.length > 0;
+  const hasTableIssues = hasTableEntryIssues || hasTableLayoutIssues;
   const hasCapIssues = capCountMismatches.length > 0;
   // mtime 只作提示，不参与判定（harness#142）：判定面是内容漂移与缺失
   const hasContextIssues = result.contextMissing.length > 0 || result.contextContentDrift.length > 0;
@@ -287,6 +296,7 @@ export async function syncDocs(
         contextMissing: result.contextMissing.length,
         contextStale: result.contextStale.length,
         contextContentDrift: result.contextContentDrift.length,
+        tableLayoutDirty: hasTableLayoutIssues,
       },
       contextMissing: result.contextMissing.map(d => ({
         dir: d,
@@ -314,7 +324,7 @@ export async function syncDocs(
       });
     }
 
-    if (!capsIsCapabilityListing && hasTableIssues) {
+    if (!capsIsCapabilityListing && hasTableEntryIssues) {
       if (capsMode === 'module') {
         // module 模式：added 为聚合后的未覆盖目录，需人工登记目录条目
         jsonOutput.added = result.added.map(d => ({ dir: d }));
@@ -341,6 +351,19 @@ export async function syncDocs(
       }
     }
 
+    if (hasTableLayoutIssues) {
+      jsonOutput.tableLayout = {
+        blankLines: tableLayout.blankLines,
+        emptyTables: tableLayout.emptyTables,
+      };
+      (jsonOutput.resolution as Array<Record<string, unknown>>).push({
+        action: 'sync-capabilities-table-layout',
+        command: 'harness sync-docs',
+        details:
+          'CAPABILITIES.md 的表格被空行切断、或残留无数据行的空表头，运行 harness sync-docs 收拢',
+      });
+    }
+
     if (hasContextIssues) {
       (jsonOutput.resolution as Array<Record<string, unknown>>).push(
         ...(result.contextMissing.length > 0
@@ -400,6 +423,16 @@ export async function syncDocs(
     result.removed.forEach(f => log(io, chalk.gray(`  - ${f}`)));
   }
 
+  if (hasTableLayoutIssues) {
+    log(io, chalk.yellow(`\n🧹 CAPABILITIES.md 表格排版待收拢:`));
+    if (tableLayout.blankLines > 0) {
+      log(io, chalk.gray(`  - 表格内空行 ${tableLayout.blankLines} 处（CommonMark 会在此把表格切断）`));
+    }
+    if (tableLayout.emptyTables > 0) {
+      log(io, chalk.gray(`  - 无数据行的空表 ${tableLayout.emptyTables} 张（连表头/分隔行一起收掉）`));
+    }
+  }
+
   if (result.contextMissing.length > 0) {
     log(io, chalk.yellow(`\n📋 缺少 CONTEXT.md:`));
     result.contextMissing.forEach(d => log(io, chalk.gray(`  - ${d}/CONTEXT.md`)));
@@ -450,10 +483,14 @@ export async function syncDocs(
   if (isCheck) {
     log(io, chalk.red('\n❌ 文档不是最新的，请运行 harness sync-docs 更新'));
     // reason 必须可定位（harness#142）：CI 判红时要直接拿到文件与符号，不靠翻 stdout
+    const tableLayoutReason = hasTableLayoutIssues
+      ? `；CAPABILITIES.md 表格排版待收拢（表格内空行 ${tableLayout.blankLines} 处、`
+        + `空表 ${tableLayout.emptyTables} 张）`
+      : '';
     return drift(
       contextDriftReason
-        ? `文档不是最新的（CONTEXT.md 与实现漂移：${contextDriftReason}）`
-        : '文档不是最新的，请运行 harness sync-docs 更新'
+        ? `文档不是最新的（CONTEXT.md 与实现漂移：${contextDriftReason}）${tableLayoutReason}`
+        : `文档不是最新的，请运行 harness sync-docs 更新${tableLayoutReason}`
     );
   }
 

package/src/core/CONTEXT.md

@@ -1,20 +1,20 @@
 # core/
 
 ## 职责
-约束引擎核心：check/prompt 二元约束系统（ADR-0001）、生效集合并（effective-constraints）、检查点验证器(CSO/passes-gate)、Spec 验证器、项目配置加载。
+约束引擎核心：severity 显式约束系统（ADR-0029，三层命名与 kind 二元已由 ADR-0001 迁至本模型）、生效集合并（effective-constraints）、检查点验证器(CSO/passes-gate)、Spec 验证器、项目配置加载。
 
 ## 核心导出
-- `constraints/` — 约束定义(IRON_LAWS/GUIDELINES/PROMPTS) + 检查引擎(ConstraintChecker，拦截统一由 checkBeforeExecution 承担，ADR-0004) + 缓存(CheckCache：TTL 缓存 + 计数采样，H6/G5 起公开导出) + 注入渲染(injection-renderer) + 落点写入器(injection-writer：「声明→对照→幂等替换」中 marker-range 替换的唯一 writer——replaceStandaloneRange/replaceEnclosedRange/cutMarkerBlock + 半标记守护；落点路由读写两侧同住此模块 resolveInjectionTarget(CLAUDE.md 有标记段优先、否则 AGENTS.md PRESERVE:governance，studio #307)/resolveGovernanceLanding(init 写侧，含旧版无标记 Governance Rules 块豁免)，ADR-0011) + Agent prompt 渲染(agent-prompt-renderer：trigger 参数化分组渲染，role 路由留 studio，H6/G6；其 trigger 归一与匹配谓词单点在 `constraints/triggers.ts`——harness#105 定语义，harness#137 自 `utils/exec.ts` 归位，约束域谓词不住 utils 层)/漂移校验(injection-drift：纯检测只读，路由消费 injection-writer；期望段可吃调用方传入的本 run 生效集，缺省自取)/使用统计(usage-report：constraints report·retire 的只读数据层，读 trace 两个入口——`readProjectTracesReport()` 带 `skippedLines`、`readProjectTraces()` 兼容包装丢计数；报告模型 `ConstraintsUsageReport` 的降级位 = `traceFileExists` + `skippedLines`，harness#100)/清单对照(capabilities-reconcile：CAPABILITIES.md 与代码实况的覆盖/幽灵判定唯一实现，capability_sync·docs_freshness·sync-docs 共消费，ADR-0009；一次 check run 内该判定只算一次并由 `RunEnv.capabilities()` 供给两 checker，ADR-0023 决策 4——增量那一维由 capability_sync 用导出的唯一覆盖规则 `isCoveredByEntries` 自算，代码实况清单的唯一取法是 `collectPopulationFiles`)；CheckEnv 生产侧唯一构造点 `buildCheckEnv(context, providers|'none', runEnv?)`（checkers/types.ts：CheckEnv `extends RunEnv`，runEnv 注入即与 context-builder 共用同一份上行数据读取、不传则自造一枚；providers = 证据接线，git 两项绑 GitEvidence 实例，'none' = 显式不接 → evidence flag checker 按契约 skip）；判定接缝 `CheckOutcome = boolean | 'skip' | CheckDetail{pass, evidence}`（harness#119/ADR-0016）——编排层与 `gates/checker-gate` 一律经唯一归一点 `normalizeCheckOutcome()` 取三态 + 证据，不各自 `=== false`（对新形状会误判）；证据行由 checker 自行措辞（自描述、不带缩进），组装与截断策略单点在 `formatEvidence()`/`MAX_EVIDENCE_ITEMS`（同住 checkers/types.ts）；证据四出口 = `ConstraintResult.evidence` → CLI 结论块/提示块、`ExecutionTrace.evidence`、铁律 `ConstraintViolationError.message`（铁律违规直接 throw，异常文案是其证据唯一外溢面）；检查引擎双出口——`checkConstraints`（block：首个铁律违规即抛，throw 契约不动）与 `collectConstraints`（collect：共享检查体、不抛、全量收集，report 的不抛出口，架构评审候选1）
+- `constraints/` — 约束定义(CONSTRAINTS 单桶，severity 在条目上，ADR-0029) + 检查引擎(ConstraintChecker，拦截统一由 checkBeforeExecution 承担，ADR-0004) + 缓存(CheckCache：TTL 缓存 + 计数采样，H6/G5 起公开导出) + 标记区间写入器(injection-writer：「声明→对照→幂等替换」中 marker-range 替换的唯一 writer——replaceStandaloneRange/replaceEnclosedRange/cutMarkerBlock + 半标记守护；治理正本探测 GOVERNANCE_HEADING/hasGovernanceContract/countGovernanceHeadings/hasPreserveBlock 同住此模块，ADR-0011/#83。ADR-0029：注入渲染(injection-renderer)、漂移校验(injection-drift)、Agent prompt 渲染(agent-prompt-renderer) 与注入段落点路由已随文本注入层关停整体删除)/trigger 谓词(triggers.ts——harness#105 定语义，约束域谓词不住 utils 层)/使用统计(usage-report：constraints report·retire 的只读数据层，读 trace 两个入口——`readProjectTracesReport()` 带 `skippedLines`、`readProjectTraces()` 兼容包装丢计数；报告模型 `ConstraintsUsageReport` 的降级位 = `traceFileExists` + `skippedLines`，harness#100)/清单对照(capabilities-reconcile：CAPABILITIES.md 与代码实况的覆盖/幽灵判定唯一实现，capability_sync·docs_freshness·sync-docs 共消费，ADR-0009；一次 check run 内该判定只算一次并由 `RunEnv.capabilities()` 供给两 checker，ADR-0023 决策 4——增量那一维由 capability_sync 用导出的唯一覆盖规则 `isCoveredByEntries` 自算，代码实况清单的唯一取法是 `collectPopulationFiles`)；CheckEnv 生产侧唯一构造点 `buildCheckEnv(context, providers|'none', runEnv?)`（checkers/types.ts：CheckEnv `extends RunEnv`，runEnv 注入即与 context-builder 共用同一份上行数据读取、不传则自造一枚；providers = 证据接线，git 两项绑 GitEvidence 实例，'none' = 显式不接 → evidence flag checker 按契约 skip）；判定接缝 `CheckOutcome = boolean | 'skip' | CheckDetail{pass, evidence}`（harness#119/ADR-0016）——编排层与 `gates/checker-gate` 一律经唯一归一点 `normalizeCheckOutcome()` 取三态 + 证据，不各自 `=== false`（对新形状会误判）；证据行由 checker 自行措辞（自描述、不带缩进），组装与截断策略单点在 `formatEvidence()`/`MAX_EVIDENCE_ITEMS`（同住 checkers/types.ts）；证据四出口 = `ConstraintResult.evidence` → CLI 结论块/提示块、`ExecutionTrace.evidence`、error 级 `ConstraintViolationError.message`（error 级违规直接 throw，异常文案是其证据唯一外溢面）；检查引擎双出口——`checkConstraints`（block：首个 error 级违规即抛，throw 契约不动）与 `collectConstraints`（collect：共享检查体、不抛、全量收集，report 的不抛出口，架构评审候选1）
 - `constraints/context-reconcile.ts` — CONTEXT.md「核心导出」节与目录导出面的**幽灵/未登记**判定唯一实现（harness#142 / ADR-0025，与 `capabilities-reconcile` 同一套覆盖/幽灵语义，不另造第二套对照逻辑）：`reconcileContext({ contextMdContent, exportSurface, barrelExports? })` → `{ declaredSymbols, ghosts, unlistedBarrelExports, hasCoreExportsSection }`；配套两个口径正本也是纯函数——`parseDeclaredExportSymbols`（只认 bullet 行首反引号标识符，`/` 连接视为多声明，形参与 `（type）`注解剥掉，非标识符的模块名 bullet 整条跳过）与 `parseExportStatements`（声明形 / `export { a, b as c }` / 逐项与块级 `type` / `export default` / `export *` 的待解析 spec）。零 fs IO：文件遍历与 `export *` 目标解析在调用方（`cli/commands/sync-docs/context-syncer.ts` 的 `collectContextExportSurface`）；覆盖方向只判 barrel 的**值**符号（类型面豁免），mtime 判定就此降级为本地提示。本层 checker 暂无消费方
 - `git-evidence.ts` — check 链路的 git 取证唯一接缝（#87，范围按 ADR-0021 收窄；`spec/validator` 的 staged 列表同型复用）：`createGitEvidence(projectPath, run?)` 返回 `GitEvidence{stagedDiff, changedFileNames(staged), headDirs}`，seam 上两个真 adapter（缺省 `realGitCommandRunner` 走真 git / 注入 runner 供计数与替身）。命令级 memo 落在此实例（含失败结果），实例生命周期 = 一次 check run，故 context-builder 与 ConstraintChecker 传同一实例即共用证据；判定语义与迁移前一致（diff 取证失败 → 空串，`git ls-tree` 失败 → null = 所有目录视为新）；`parseHeadDirs`/`splitFileNames` 是配套纯函数
 - `constraints/context-builder.ts` — 只装配不取证：`buildConstraintContext(options.evidence?, options.runEnv?)` 与 `detectTrigger(…, options.runEnv?)` 经 GitEvidence 取 git 事实（不传 = 自建真 adapter），本模块无 child_process import；上行数据（源码根、trace 记录）经 `RunEnv` 取（ADR-0023），其余证据标志（ROOT_CAUSE/reuse/需求文档标记）仍为本地探测；`detectFailingTest`/`detectVerificationEvidence` 是模块私有的布尔投影（除本模块外零消费者，收私依 ADR-0022 同判据）
-- `constraints/run-env.ts` — 一次 check 的运行级观察面（ADR-0023）：`createRunEnv(projectPath)` 返回 `RunEnv{projectPath, traceTail(limit), sourceRoots(), rawConfig(), customConstraints(fileName), capabilities(populationFiles)}`，懒建 + run 内 memo，同一份文件一次运行至多读一次。与 git-evidence 同一形状：一次 run 一份、沿调用链显式传递（CLI check 入口 → 生效集 / buildConstraintContext / checkConstraints / 漂移检测），不做模块级全局。为何是两个类型而不是一个：`CheckEnv` 含 `context`，而 `context` 正是本对象读文件算出来的产物——同一对象不能既是构造者的输入又是其产物；故这里只放「不需要 context 就能造」的那半，`CheckEnv` 以 `extends RunEnv` 从它派生（`buildCheckEnv(context, evidence, runEnv?)` 第三参注入，不传 = 自造一枚一次性观察面）。配置两口的口径：`rawConfig()` 缺失 → undefined、空文件 → `{}`、YAML 解析失败**照抛**（兜与否属消费方判定）；`customConstraints(file)` 取 `custom_constraints` 段、缺失 → `{}`，「哪个文件名算数」仍由 ProjectConfigLoader 决定，读面不掺判定。`capabilities(population)` 一次读文档 + 一次 `reconcileCapabilities`（带存在性 oracle；不收 git 增量，`verdict.uncoveredChanges` 在此恒空），**memo 只记第一次传入的清单**——两消费方一律经 `collectPopulationFiles` 取数以由构造保证同形；源根 memo 与它共用。`traceTail(limit)` 底层是 `jsonl.readJsonlWindow`（一次分块读尾部行文本、按不同 limit 反复截窗），**先截行文本再 parse** 才与「各读一遍」逐字同口径（坏行占槽位不占 records 名额）；请求超出窗口上限直接抛，不静默少给。`RunTarget = RunEnv | 项目根路径` 与 `resolveRunEnv()` 是这套入参形状的归一点：传路径 = 一次性读取语义（每次调用读当下内容）
-- `effective-constraints.ts` — `getEffectiveConstraints(target, {preset?})`：全仓唯一生效集来源（内置 → preset → config.yml 禁用（内置与 custom 同效）→ custom 追加（禁用/已退役的不追加）→ scenes 过滤）；`constraintsFromMerged(merged)`：从已算好的合并配置取清单（推导单点，`getEffectiveConstraints` 也走它）；`getMergedConstraintsConfig(target, {preset?})`：同链路的完整 MergedConstraintsConfig 形状（含 disabled/custom/unknownIds），内置工单 23 优先级规则（**只有显式传 preset 才覆盖 config.yml**，CLI 不给缺省值，ADR-0023 步骤 4.5），check 命令经此入口并把算好的一份清单转交漂移检测 → 一次运行只算一遍；三个入口的 `target` = `RunTarget`（传 RunEnv 即与 checker、漂移检测共用同一份配置读取，ADR-0023 决策 2）；`lintEffectiveConfig` 配置诊断
+- `constraints/run-env.ts` — 一次 check 的运行级观察面（ADR-0023）：`createRunEnv(projectPath)` 返回 `RunEnv{projectPath, traceTail(limit), sourceRoots(), rawConfig(), capabilities(populationFiles)}`（ADR-0029：customConstraints 观察口随 custom 约束面退役移除），懒建 + run 内 memo，同一份文件一次运行至多读一次。与 git-evidence 同一形状：一次 run 一份、沿调用链显式传递（CLI check 入口 → 生效集 / buildConstraintContext / checkConstraints），不做模块级全局。为何是两个类型而不是一个：`CheckEnv` 含 `context`，而 `context` 正是本对象读文件算出来的产物——同一对象不能既是构造者的输入又是其产物；故这里只放「不需要 context 就能造」的那半，`CheckEnv` 以 `extends RunEnv` 从它派生（`buildCheckEnv(context, evidence, runEnv?)` 第三参注入，不传 = 自造一枚一次性观察面）。配置口口径：`rawConfig()` 缺失 → undefined、空文件 → `{}`、YAML 解析失败**照抛**（兜与否属消费方判定）。`capabilities(population)` 一次读文档 + 一次 `reconcileCapabilities`（带存在性 oracle；不收 git 增量，`verdict.uncoveredChanges` 在此恒空），**memo 只记第一次传入的清单**——两消费方一律经 `collectPopulationFiles` 取数以由构造保证同形；源根 memo 与它共用。`traceTail(limit)` 底层是 `jsonl.readJsonlWindow`（一次分块读尾部行文本、按不同 limit 反复截窗），**先截行文本再 parse** 才与「各读一遍」逐字同口径（坏行占槽位不占 records 名额）；请求超出窗口上限直接抛，不静默少给。`RunTarget = RunEnv | 项目根路径` 与 `resolveRunEnv()` 是这套入参形状的归一点：传路径 = 一次性读取语义（每次调用读当下内容）
+- `effective-constraints.ts` — `getEffectiveConstraints(target, {preset?})`：全仓唯一生效集来源（内置 → preset → config.yml 禁用；ADR-0029：custom 追加与 scenes 过滤随文本注入层关停退役）；`constraintsFromMerged(merged)`：从已算好的合并配置取清单（推导单点，`getEffectiveConstraints` 也走它）；`getMergedConstraintsConfig(target, {preset?})`：同链路的完整 MergedConstraintsConfig 形状（含 constraints/disabled/unknownIds 单桶），内置工单 23 优先级规则（**只有显式传 preset 才覆盖 config.yml**，CLI 不给缺省值，ADR-0023 步骤 4.5），check 命令经此入口 → 一次运行只算一遍；三个入口的 `target` = `RunTarget`（传 RunEnv 即与 checker 共用同一份配置读取，ADR-0023 决策 2）；`lintEffectiveConfig` 配置诊断（unknownIds）
 - `effective-set.ts` — `filterEnabledEntries(knownIds, entries)`：config 条目筛选器唯一实现，语义单一——未知 id 静默忽略并收集进 `unknownIds` 供诊断（历史配置可能残留已移除条目的禁用键，故不抛错）。唯一生产调用方是约束侧 `mergeConstraints`；曾按语义分 `'collect'`/`'throw'` 两模式，throw 侧唯一调用方 `getEffectiveGates` 随 ADR-0002「后续变更」收缩后，该模式按 ADR-0022 判据删除（harness#141）
 - `validators/` — checkpoints、passes-gate、CSO 验证器；`test-output.ts` —「测试产物解读」唯一实现：`extractFailures` 提取函数 + `judgeTestRun` 判定入口（退出码为主 + 行首锚定的文本失败信号交叉否决；文本救不回非零退出，`allowPartialPass` 只作用于文本否决那一维），passes-gate 与 `gates/acceptance` 的结论一律从它取、各自体内不写判定 `if`（解析收口 ADR-0012，判定依据 ADR-0014）；**不读覆盖率**——harness 核心判定对覆盖率不取数不执法，判覆盖率的两处（CLI `passes-gate --coverage`、`gates/performance`）各自读 json-summary，`extractCoverage` 与 `TaskTestResult.coverage` 已随 ADR-0015 删除；`PassesGate.runTests(workDir)` 的执行与证据落盘根是**必传形参**，本层不再取 cwd（harness#95，约定正本见 `src/cli/commands/CONTEXT.md`）；`detectTestCommand` 是测试命令探测唯一正本（模块级导出：test:ci → test 排 echo 占位 → test:e2e → test:coverage → Python 标记 pyproject.toml/pytest.ini → go.mod，探不到返回 undefined，兜底归调用方——CLI 映射 skip、PassesGate 内部 fail-closed，不再兜底 'npm test'；CLI 本地版已删，架构评审 A2）；PassesGate 扩展注册表（registerExtension/unregisterExtension/getExtensionNames/runAllTests/checkAllPasses + PassesGateExtension/ExtensionTestResult 两类型与包根导出）已整段删除——零 adapter 假想 seam 且扩展结果本就不参与 allowed 判定，需要扩展测试类型时按 ADR-0014 判例在 `judgeTestRun` 层加，不恢复旧 seam（harness#104，架构评审 B1）；PassesGate 公开面 = `check()` + `runTests()` 两个真实消费点，`setPasses`/`getTestResult`/`checkTestFileChanges` 三方法与死数据 `PROTECTED_TEST_PATTERNS`、私有 `testResults` 缓存已随 ADR-0022（双仓零消费者）删除，历史 AC-007「保留 setPasses 向后兼容」同案推翻；`runTest` 的 `_task` 形参与其类型 `DynamicTask` 是同批漏收的第三处死面（二次复审 B1）——setPasses 删除后只剩这个从不读取的私有形参在供养它，而包根 `DynamicTask` 取自 `./types/passes-gate`，故它是**公开的**死类型；随 A1/A2 同判据删除，`runTest` 签名收为 `(workDir, command?)`，类型面钉子同 `PassesGateResult` 手法（`src/__tests__/public-exports.test.ts`）；包内模块，不进 `src/index.ts` 导出面；`check-handlers/` 各族处理器统一签名 `(check, context)`，context 即既有注入车辆（`customHandlers` 同形）——`http_*` 族的重试退避等待经 `CheckpointContext.sleep` 注入（工单 #136），缺省 = 真定时器且退避公式与重试次数逐字不变，测试据此断言尝试次数与退避序列而不必真等；新增等待类副作用按同形收进 context，不再内联进处理器
 - `spec/validator` — SpecValidator
-- `project-config-loader` — 项目配置解读 + 约束合并（mergeConstraints 内含 preset 裁剪：presets/ 纯数据 + 未知名回落 standard，禁用到未知 id 经 effective-set 共享筛选器收集（未知 id 不抛错、进 `unknownIds` 供诊断））；**退役判定单点 `isConstraintRetired(customDef, disabled)`**（harness#137）= 「禁用 或 custom 条目带 `retired` 元数据」（studio#82 D6 两个落点合成一条规则），`mergeConstraints` 的 custom 追加跳过与 `cli/commands/constraints-retire` 的 already_retired 共用它——后者此前是这条规则的手写复印；`disabled` 由调用方给（merge 侧含 preset 裁剪，retire 侧只看 config.yml），`retired` 按 truthiness 判；同批删掉 `isConstraintEnabled()`/`getConstraintSource()` 两个平行复印（双仓零消费者，生效集判定唯一来源是 mergeConstraints → getEffectiveConstraints）；**本模块不碰文件系统**：config.yml 与自定义约束文件的读取在 `constraints/run-env.ts`（ADR-0023 决策 2 撤销了工单 16 的进程级 `rawConfigCache` + mtime 指纹，改为一次运行一份快照）；访问器族（`loadRawProjectConfig`/`getGovernanceConfig`/`resolveContextFiles`/`getCapabilitiesMode`）与 `ProjectConfigLoader` 构造器的入参形状 = `RunTarget`（传项目根路径 = 一次性读取，传 RunEnv = 与本 run 其余消费方共用同一份）；`getGovernanceConfig` 是全仓唯一允许手写钻取 `config.governance` 的点（工单 84），消费方一律经它或经 `resolveContextFiles`（三态：unconfigured / enabled-empty / enabled，dirs 元素类型在此收口）取数据，不得再自己 cast `Record<string, unknown>`；checker 对前两态一律 skip，自动探测回落只属于 init/扫描类工具流调用方
-- `index.ts` barrel 公开面（子路径 `@dommaker/harness/core`，ADR-0003 显式清单、禁 `export *`）——定义取数 `getAllConstraints()` / `getConstraint(id)` / `findConstraintsByTrigger(trigger)`（正本 `constraints/definitions.ts`）；判定出口 `checkConstraints()` / `checkConstraint()` / `checkBeforeExecution()` 与未接线默认实例 `constraintChecker`（= `ConstraintChecker.getInstance()`，不写 trace，正本 `constraints/checker.ts`）；治理注入段标记常量 `CONSTRAINTS_START_MARKER` / `CONSTRAINTS_END_MARKER` 与 `renderConstraintsSection(constraints, version)`（正本 `constraints/injection-renderer.ts`）、按 trigger 分组渲染 `renderConstraintsByTrigger()`（正本 `constraints/agent-prompt-renderer.ts`）；验证器 `CheckpointValidator` / `CSOValidator`（两者私有构造 + `static getInstance()` 单例出口）与 `PassesGate` + 工厂 `createPassesGate(config?)`（`Partial<PassesGateConfig>`，正本 `validators/`）
+- `project-config-loader` — 项目配置解读 + 约束合并（mergeConstraints 内含 preset 裁剪：presets/ 纯数据（键按 severity 命名 errors/warnings，ADR-0029）+ 未知名回落 standard，禁用到未知 id 经 effective-set 共享筛选器收集（未知 id 不抛错、进 `unknownIds` 供诊断））；ADR-0029：custom 约束装载（loadCustomConstraints/getCustomConstraints/toConstraint）与退役判定单点 `isConstraintRetired` 已随 custom 面退役移除，retire 的 already_retired 判定只剩 config.yml `enabled:false` 一处；**本模块不碰文件系统**：config.yml 的读取在 `constraints/run-env.ts`（ADR-0023 决策 2 撤销了工单 16 的进程级 `rawConfigCache` + mtime 指纹，改为一次运行一份快照）；访问器族（`loadRawProjectConfig`/`getGovernanceConfig`/`resolveContextFiles`/`getCapabilitiesMode`）与 `ProjectConfigLoader` 构造器的入参形状 = `RunTarget`（传项目根路径 = 一次性读取，传 RunEnv = 与本 run 其余消费方共用同一份）；`getGovernanceConfig` 是全仓唯一允许手写钻取 `config.governance` 的点（工单 84），消费方一律经它或经 `resolveContextFiles`（三态：unconfigured / enabled-empty / enabled，dirs 元素类型在此收口）取数据，不得再自己 cast `Record<string, unknown>`；checker 对前两态一律 skip，自动探测回落只属于 init/扫描类工具流调用方
+- `index.ts` barrel 公开面（子路径 `@dommaker/harness/core`，ADR-0003 显式清单、禁 `export *`）——定义取数 `getAllConstraints()` / `getConstraint(id)` / `findConstraintsByTrigger(trigger)`（正本 `constraints/definitions.ts`）；判定出口 `checkConstraints()` / `checkConstraint()` / `checkBeforeExecution()` 与未接线默认实例 `constraintChecker`（= `ConstraintChecker.getInstance()`，不写 trace，正本 `constraints/checker.ts`）；约束数据 `CONSTRAINTS` 单桶（正本 `constraints/definitions.ts`；ADR-0029：注入渲染三件套导出已随文本注入层关停移除）；验证器 `CheckpointValidator` / `CSOValidator`（两者私有构造 + `static getInstance()` 单例出口）与 `PassesGate` + 工厂 `createPassesGate(config?)`（`Partial<PassesGateConfig>`，正本 `validators/`）
 
 ## 依赖关系
 - 被所有模块依赖（基础层，无上层依赖）
@@ -23,9 +23,9 @@
 - 对 `cli/`、`gates/`、`monitoring/` **零值导入**（type-only 允许）：方向由 eslint.config.mjs 的 `@typescript-eslint/no-restricted-imports`（error 级）锁死，守卫测试见 `src/__tests__/layering.test.ts`（harness#88；harness#137 起该守卫已参数化成「每个顶层单元声明允许的下行集合」，core 的这条边只是其中一个条目）
 
 ## 约定
-- 约束定义在 `constraints/definitions/{iron-laws,guidelines,prompts}.ts`，不在运行时代码中定义
-- check 层必须带真实 checker（注册表闭环，引用未注册 checker 构建报错）
-- Iron Law 违规必须 throw ConstraintViolationError
+- 约束定义在 `constraints/definitions/{iron-laws,guidelines}.ts`（按 severity 分组），不在运行时代码中定义
+- 全部约束 kind='check'，必须带真实 checker（注册表闭环，引用未注册 checker 构建报错）
+- severity='error' 违规必须 throw ConstraintViolationError
 - 上行数据一律注入，不在 core 内 require 上层（harness#88）：trace 记录器经 `ConstraintChecker` 构造参数注入（缺省 no-op，`getInstance()`/`constraintChecker` 即未接线的默认实例，只评估不写 trace），真实收集器由组合根接线（CLI check/report、`bootstrapHarness`）；CAPABILITIES.md 能力清单计数经 `capabilities-parser` 的 `CapabilityDefinitionSource` 由 cli 侧注入定义表
 - git **取证**（读判定证据）在 check 链路内只能经 `constraints/git-evidence.ts` 的 adapter 取（#87，适用范围按 ADR-0021 收窄为「check 链路唯一」，不再声称全仓唯一）：`context-builder` / `checker` / `CheckEnv` / `validators` 这条判定链内不得出现 `execSync`/`execAsync`/`execFileAsync` 跑 git；`spec/validator` 的 staged 文件列表与 `changedFileNames(staged:true)` 同型，已收口（就地 `createGitEvidence(cwd)`，测试注入 runner）；一次 run 一份实例、沿调用链显式传递（CLI check → buildConstraintContext → checkConstraints），memo 既不做成模块级全局也不做成单例字段。**链外站点记名豁免**（语义异质：不要 memo、不要 once 语义、失败处理各异，硬并入会造出宽 interface）——`cli/commands/release.ts`（发布流程编排，非判定证据）、`gates/review.ts` 与 `cli/commands/review.ts`（PR 审查流，gh/日志语义）、`knowledge/import.ts`（导入启发式，失败记 ImportError 降级）。豁免清单外新增 git 站点先回答「在不在判定链内」；`validators/passes-gate.ts` 的 `git diff --name-only` 站点已随 ADR-0022 删 `checkTestFileChanges` 消失，判定链内当下无站外 git 调用点
 

package/src/core/constraints/__tests__/capability-counts.test.ts

@@ -11,7 +11,7 @@
 import * as fs from 'fs';
 import * as os from 'os';
 import * as path from 'path';
-import { IRON_LAWS, GUIDELINES } from '../definitions';
+import { CONSTRAINTS } from '../definitions';
 import {
   checkCapabilityCounts,
   updateCapabilityCounts,
@@ -56,10 +56,10 @@ describe('能力清单计数（注入定义源，harness#88）', () => {
       expect(out).toContain('Quality Gates (4)');
     });
 
-    it('Iron Laws / Guidelines 计数仍来自 core 自身定义表（同层，不注入）', () => {
-      const out = updateCapabilityCounts('Iron Laws (999)\nGuidelines (999)\n', SOURCE);
-      expect(out).toContain(`Iron Laws (${Object.keys(IRON_LAWS).length})`);
-      expect(out).toContain(`Guidelines (${Object.keys(GUIDELINES).length})`);
+    it('errors / warnings 计数仍来自 core 自身定义表（同层，不注入）', () => {
+      const out = updateCapabilityCounts('errors (999)\nwarnings (999)\n', SOURCE);
+      expect(out).toContain(`errors (${Object.values(CONSTRAINTS).filter(c => c.severity === 'error').length})`);
+      expect(out).toContain(`warnings (${Object.values(CONSTRAINTS).filter(c => c.severity === 'warning').length})`);
     });
 
     it('不触碰文档中不存在的计数行', () => {

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);
   });