@dommaker/harness 1.9.0 → 1.10.0

package/src/cli/commands/init.ts

@@ -10,21 +10,9 @@ import * as path from 'path';
 import * as yaml from 'js-yaml';
 import { detectSourceRoots } from '../../utils/detect-source-roots';
 import { getHarnessPackageVersion } from '../../utils/package-version';
-import { getEffectiveConstraints } from '../../core/effective-constraints';
 import { loadRawProjectConfig } from '../../core/project-config-loader';
 import type { CiConfig, CiPlatform, GovernanceConfig } from '../../types/project-config';
-import {
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-  renderConstraintsSection,
-} from '../../core/constraints/injection-renderer';
-import {
-  replaceStandaloneRange,
-  replaceEnclosedRange,
-  cutMarkerBlock,
-  resolveGovernanceLanding,
-  GOVERNANCE_HEADING,
-} from '../../core/constraints/injection-writer';
+import { replaceStandaloneRange } from '../../core/constraints/injection-writer';
 import { log, logError, processIO, type CommandIO, type CommandResult } from '../command-contract';
 import {
   runPlan,
@@ -32,7 +20,6 @@ import {
   preCommitHookFile,
   prePushHookFile,
   harnessCheckCiFile,
-  customConstraintsFile,
   changelogFile,
   contextDocFile,
   governanceWorkflowFile,
@@ -294,9 +281,9 @@ export async function init(options: InitOptions, io: CommandIO = processIO): Pro
   await fs.writeFile(configPath, configContent, 'utf-8');
   log(io, chalk.green(`✅ 已创建配置文件: ${configPath} (v${pkgVersion})`));
 
-  // 受管示例文件：检查点 / Resolutions（RKB 狗粮）/ 自定义约束
+  // 受管示例文件：检查点 / Resolutions（RKB 狗粮）
   await runPlan(
-    [checkpointsFile(projectPath), resolutionsFile(projectPath), customConstraintsFile(projectPath)],
+    [checkpointsFile(projectPath), resolutionsFile(projectPath)],
     io,
   );
 
@@ -322,9 +309,8 @@ export async function init(options: InitOptions, io: CommandIO = processIO): Pro
   log(io);
   log(io, chalk.gray('下一步:'));
   log(io, chalk.gray('  1. 编辑 .harness/config.yml 自定义配置'));
-  log(io, chalk.gray('  2. 编辑 .harness/custom-constraints.yml 添加项目约束'));
-  log(io, chalk.gray('  3. 正常开发：每次 git commit 查暂存的（增量快反馈），每次 git push 查整仓的（全量兜底）——重复是设计使然'));
-  log(io, chalk.gray('  4. 运行 harness status 查看状态'));
+  log(io, chalk.gray('  2. 正常开发：每次 git commit 查暂存的（增量快反馈），每次 git push 查整仓的（全量兜底）——重复是设计使然'));
+  log(io, chalk.gray('  3. 运行 harness status 查看状态'));
   log(io);
   log(io, chalk.blue('💡 提示: 使用 harness init --print-snippets 查看配置代码片段'));
   return { kind: 'ok' };
@@ -463,7 +449,7 @@ export async function setupClaudeMdOutputStyle(projectPath: string, io: CommandI
   try {
     content = await fs.readFile(claudeMdPath, 'utf-8');
   } catch {
-    // CLAUDE.md 不存在——setupClaudeMdConstraints 会创建它
+    // CLAUDE.md 不存在——无人持有该文件，跳过 Output Style 段
     return;
   }
 
@@ -512,159 +498,6 @@ export async function setupClaudeMdOutputStyle(projectPath: string, io: CommandI
   log(io, chalk.green('✅ 已在 CLAUDE.md 顶部写入 Output Style 段'));
 }
 
-/**
- * 治理契约 PRESERVE 段标记（studio #302，ADR 2026-08-21 落点模型：
- * 治理契约正本住 AGENTS.md 手写 PRESERVE 段，sync-docs 重新生成时原样保留）
- */
-const GOVERNANCE_PRESERVE_BEGIN = '<!-- PRESERVE:governance -->';
-const GOVERNANCE_PRESERVE_END = '<!-- /PRESERVE:governance -->';
-
-/**
- * 在 AGENTS.md 的 PRESERVE:governance 段写入/更新 Governance Rules 约束段（新落点模型）
- *
- * - AGENTS.md 不存在：创建最小骨架（标题 + 说明 + PRESERVE:governance 段），
- *   完整导读由 `harness sync-docs --agents` 生成，PRESERVE 段在重新生成时原样保留
- * - 已有 PRESERVE:governance 段：段内机器管理的只有 HARNESS_CONSTRAINTS 标记区间——
- *   有标记则只替换标记区间，段内其余手写内容（治理契约引言/流程/纪律等）原样保留；
- *   无标记（纯手写段）则在段尾追加注入段，不动手写内容
- * - 无该段：在文件末尾追加
- * - 段标记残缺（外层或段内 HARNESS_CONSTRAINTS 单边/乱序）：不写入，告警交由人工修复（防二次损坏）
- */
-export async function setupAgentsMdConstraints(projectPath: string, io: CommandIO): Promise<void> {
-  const agentsMdPath = path.join(projectPath, 'AGENTS.md');
-  const version = getHarnessPackageVersion();
-
-  const constraints = getEffectiveConstraints(projectPath);
-  const bodyOnly = renderConstraintsSection(constraints, version);
-  const block = `${GOVERNANCE_PRESERVE_BEGIN}\n${GOVERNANCE_HEADING}\n${bodyOnly}${GOVERNANCE_PRESERVE_END}\n`;
-
-  let existingContent: string | null = null;
-  try {
-    existingContent = await fs.readFile(agentsMdPath, 'utf-8');
-  } catch {
-    // AGENTS.md 不存在
-  }
-
-  if (existingContent === null) {
-    const skeleton = [
-      '# AGENTS.md',
-      '',
-      '> 机器生成部分由 `harness sync-docs --agents` 维护；`PRESERVE:governance` 段是治理契约正本（手写/治理变更流程管控），重新生成时原样保留。',
-      '',
-      block,
-    ].join('\n');
-    await fs.writeFile(agentsMdPath, skeleton, 'utf-8');
-    log(io, chalk.green(`✅ 已创建 AGENTS.md 并写入治理契约 PRESERVE:governance 段 (v${version})`));
-    return;
-  }
-
-  const preserve = cutMarkerBlock(existingContent, GOVERNANCE_PRESERVE_BEGIN, GOVERNANCE_PRESERVE_END);
-
-  if (preserve === 'half') {
-    log(io, chalk.yellow('⚠️  AGENTS.md 中 PRESERVE:governance 标记残缺（只有单边），跳过治理契约写入，请人工修复'));
-    return;
-  }
-
-  if (preserve !== 'absent') {
-    // 段内机器管理的只有 HARNESS_CONSTRAINTS 标记区间；其余手写内容原样保留
-    const inner = replaceEnclosedRange(preserve.inner, CONSTRAINTS_START_MARKER, CONSTRAINTS_END_MARKER, bodyOnly);
-    if (inner.kind === 'half') {
-      log(io, chalk.yellow('⚠️  AGENTS.md PRESERVE:governance 段内 HARNESS_CONSTRAINTS 标记残缺（单边或乱序），跳过治理契约写入，请人工修复'));
-      return;
-    }
-    const newInner =
-      inner.kind === 'updated'
-        ? inner.content
-        : // 纯手写段（无约束标记）：段尾追加注入段，手写内容不动
-          preserve.inner.trimEnd() + '\n\n' + GOVERNANCE_HEADING + '\n' + bodyOnly;
-
-    const write = replaceStandaloneRange(
-      existingContent,
-      GOVERNANCE_PRESERVE_BEGIN,
-      GOVERNANCE_PRESERVE_END,
-      GOVERNANCE_PRESERVE_BEGIN + newInner + GOVERNANCE_PRESERVE_END + '\n'
-    );
-    if (write.kind === 'updated' && write.content !== existingContent) {
-      await fs.writeFile(agentsMdPath, write.content, 'utf-8');
-      log(io, chalk.green(`✅ 已更新 AGENTS.md 治理契约 PRESERVE:governance 段 (v${version})`));
-    }
-    return;
-  }
-
-  // 无该段：文件末尾追加
-  const newContent = existingContent.trimEnd() + '\n\n' + block;
-  await fs.writeFile(agentsMdPath, newContent, 'utf-8');
-  log(io, chalk.green(`✅ 已追加治理契约 PRESERVE:governance 段到 AGENTS.md (v${version})`));
-}
-
-/**
- * 在 CLAUDE.md 中写入/更新 Governance Rules 约束段（旧落点模型，向后兼容保留）
- *
- * - 约束集来自 getEffectiveConstraints（ADR-0001）：preset 裁剪、config.yml
- *   禁用、custom 追加、scenes 过滤全部反映在注入文本里
- * - 期望段文本由纯函数 renderConstraintsSection 渲染（P6 漂移校验复用）
- * - 如果 CLAUDE.md 不存在，创建并写入完整约束段
- * - 如果存在 HARNESS_CONSTRAINTS_START/END 标记，替换标记间内容
- * - 如果不存在标记，在文件末尾追加约束段
- */
-export async function setupClaudeMdConstraints(projectPath: string, io: CommandIO): Promise<void> {
-  const claudeMdPath = path.join(projectPath, 'CLAUDE.md');
-
-  const version = getHarnessPackageVersion();
-
-  // 生效约束集 → 渲染期望段（纯函数，与写文件分离）
-  const constraints = getEffectiveConstraints(projectPath);
-  const bodyOnly = renderConstraintsSection(constraints, version);
-  const fullSection = GOVERNANCE_HEADING + '\n' + bodyOnly;
-
-  // 检查 CLAUDE.md 是否存在
-  let existingContent: string;
-  let fileExists = false;
-  try {
-    existingContent = await fs.readFile(claudeMdPath, 'utf-8');
-    fileExists = true;
-  } catch {
-    existingContent = '';
-  }
-
-  if (!fileExists) {
-    // 创建新文件
-    await fs.writeFile(claudeMdPath, fullSection, 'utf-8');
-    log(io, chalk.green(`✅ 已创建 CLAUDE.md 并写入治理约束 (v${version})`));
-    return;
-  }
-
-  const write = replaceStandaloneRange(existingContent, CONSTRAINTS_START_MARKER, CONSTRAINTS_END_MARKER, bodyOnly);
-
-  if (write.kind === 'updated') {
-    // 替换标记区间含标记本身（保持包括最新版本号），尾部换行规范化在 writer 内
-    await fs.writeFile(claudeMdPath, write.content, 'utf-8');
-    log(io, chalk.green(`✅ 已更新 CLAUDE.md 治理约束 (v${version})`));
-  } else if (write.kind === 'half') {
-    log(io, chalk.yellow('⚠️  CLAUDE.md 中 HARNESS_CONSTRAINTS 标记残缺（单边或乱序），跳过治理约束注入，请人工修复'));
-  } else {
-    // 在文件末尾追加完整段
-    const newContent = existingContent.trimEnd() + '\n\n' + fullSection;
-    await fs.writeFile(claudeMdPath, newContent, 'utf-8');
-    log(io, chalk.green(`✅ 已追加治理约束到 CLAUDE.md (v${version})`));
-  }
-}
-
-/**
- * 治理约束段写入落点路由（studio #302，ADR 2026-08-21 落点模型）
- *
- * 判定收口在 core/constraints/injection-writer resolveGovernanceLanding：
- * - 旧模型仓（CLAUDE.md 已有 HARNESS_CONSTRAINTS 标记或 `## Governance Rules` 块）：
- *   继续写 CLAUDE.md——init 幂等重跑不破坏既有仓，不制造双份约束正本
- * - 其余（新仓初始化）：写 AGENTS.md PRESERVE:governance 段（入库公共面正本）
- */
-export async function setupGovernanceConstraints(projectPath: string, io: CommandIO): Promise<void> {
-  const { target } = resolveGovernanceLanding(projectPath);
-  return target === 'claude-md'
-    ? setupClaudeMdConstraints(projectPath, io)
-    : setupAgentsMdConstraints(projectPath, io);
-}
-
 /**
  * 设置治理相关文件
  */
@@ -686,14 +519,10 @@ async function setupGovernance(
   // 2. 在 CLAUDE.md 中写入 Output Style 段（仅在不存在时创建）
   await setupClaudeMdOutputStyle(projectPath, io);
 
-  // 3. 写入/更新 Governance Rules 约束段（新仓 → AGENTS.md PRESERVE:governance；
-  //    旧模型仓 → CLAUDE.md，落点路由见 setupGovernanceConstraints）
-  await setupGovernanceConstraints(projectPath, io);
-
-  // 4. 生成 CONTEXT.md 文件（预设形状即 GovernanceConfig，无需再 cast）
+  // 3. 生成 CONTEXT.md 文件（预设形状即 GovernanceConfig，无需再 cast）
   await runPlan(await contextDocPlan(projectPath, governance, io), io);
 
-  // 5. 生成治理 CI 面（仅 github 形；gitlab 已并入 .gitlab-ci.yml 正文，none 不建，harness#156）
+  // 4. 生成治理 CI 面（仅 github 形；gitlab 已并入 .gitlab-ci.yml 正文，none 不建，harness#156）
   await setupGovernanceWorkflow(projectPath, level, io, platform);
 }
 

package/src/cli/commands/report.ts

@@ -7,7 +7,7 @@
 import chalk from 'chalk';
 import * as fs from 'fs/promises';
 import { ConstraintChecker } from '../../core/constraints/checker';
-import { IRON_LAWS, GUIDELINES, PROMPTS } from '../../core/constraints/definitions';
+import { CONSTRAINTS } from '../../core/constraints/definitions';
 import { TraceCollector } from '../../monitoring/traces';
 import type { ConstraintContext } from '../../types/constraint';
 import { log, processIO, type CommandIO, type CommandResult } from '../command-contract';
@@ -26,15 +26,14 @@ interface ReportData {
   projectPath: string;
   constraints: {
     total: number;
-    ironLaws: number;
-    guidelines: number;
-    prompts: number;
+    errors: number;
+    warnings: number;
     passed: number;
     failed: number;
-    warnings: number;
+    warningViolations: number;
     violations: Array<{
       id: string;
-      level: string;
+      severity: string;
       message: string;
     }>;
   };
@@ -51,23 +50,22 @@ export async function report(options: ReportOptions, io: CommandIO = processIO):
   // #139：收集器锚根构造——不传 projectPath 时 trace 会落进调用方 cwd，B 侧读不到
   const checker = new ConstraintChecker(new TraceCollector({ projectPath }));
 
-  const allConstraints = { ...IRON_LAWS, ...GUIDELINES, ...PROMPTS };
-  const totalConstraints = Object.keys(allConstraints).length;
+  const totalConstraints = Object.keys(CONSTRAINTS).length;
 
   const context: ConstraintContext = {
     operation: 'file_modification',
     projectPath,
   };
 
-  // 收集模式（架构评审候选1）：不抛、全量收集，铁律违规如实进报告
+  // 收集模式（架构评审候选1）：不抛、全量收集，error 级违规如实进报告
   const result = await checker.collectConstraints(context);
 
-  const failedIronLaws = result.ironLaws.filter(r => !r.satisfied);
-  const failedGuidelines = result.guidelines.filter(r => !r.satisfied);
+  const failedErrors = result.errors.filter(r => !r.satisfied);
+  const failedWarnings = result.warnings.filter(r => !r.satisfied);
 
-  const violations = [...failedIronLaws, ...failedGuidelines].map(r => ({
+  const violations = [...failedErrors, ...failedWarnings].map(r => ({
     id: r.id,
-    level: r.level,
+    severity: r.severity,
     message: r.message || '',
   }));
 
@@ -76,12 +74,11 @@ export async function report(options: ReportOptions, io: CommandIO = processIO):
     projectPath,
     constraints: {
       total: totalConstraints,
-      ironLaws: Object.keys(IRON_LAWS).length,
-      guidelines: Object.keys(GUIDELINES).length,
-      prompts: Object.keys(PROMPTS).length,
+      errors: Object.values(CONSTRAINTS).filter(c => c.severity === 'error').length,
+      warnings: Object.values(CONSTRAINTS).filter(c => c.severity === 'warning').length,
       passed: result.passed ? totalConstraints : totalConstraints - violations.length,
-      failed: failedIronLaws.length,
-      warnings: failedGuidelines.length,
+      failed: failedErrors.length,
+      warningViolations: failedWarnings.length,
       violations,
     },
   };
@@ -122,19 +119,18 @@ function generateMarkdownReport(data: ReportData): string {
     `| 指标 | 数值 |`,
     `|------|------|`,
     `| 总约束 | ${data.constraints.total} |`,
-    `| Iron Laws | ${data.constraints.ironLaws} |`,
-    `| Guidelines | ${data.constraints.guidelines} |`,
-    `| Prompts | ${data.constraints.prompts} |`,
+    `| error 级 | ${data.constraints.errors} |`,
+    `| warning 级 | ${data.constraints.warnings} |`,
     `| 通过 | ${data.constraints.passed} |`,
     `| 失败 (error) | ${data.constraints.failed} |`,
-    `| 警告 (warning) | ${data.constraints.warnings} |`,
+    `| 警告 (warning) | ${data.constraints.warningViolations} |`,
     ``,
   ];
 
   if (data.constraints.violations.length > 0) {
     lines.push(`### 违规项`, ``);
     data.constraints.violations.forEach(v => {
-      lines.push(`- **${v.id}** (${v.level}): ${v.message}`);
+      lines.push(`- **${v.id}** (${v.severity}): ${v.message}`);
     });
     lines.push(``);
   }

package/src/cli/commands/scaffold-templates.ts

@@ -249,42 +249,6 @@ ${docsCheckStep}
 `;
 }
 
-/** custom-constraints.yml 示例正文 */
-export const CUSTOM_CONSTRAINTS_TEMPLATE = `# 自定义约束配置
-#
-# 此文件定义项目特定的约束，扩展或覆盖 harness 内置约束
-
-# ========================================
-# 自定义约束示例
-# ========================================
-
-custom_constraints:
-  # 示例 1：禁止 console.log
-  # my_project_no_console_log:
-  #   id: my_project_no_console_log
-  #   level: guideline
-  #   rule: "NO CONSOLE.LOG IN PRODUCTION CODE"
-  #   message: "生产代码禁止使用 console.log，请使用 logger 模块"
-  #   trigger: ["code_implementation"]
-  #   description: "使用项目统一的 logger 模块代替 console.log"
-
-  # 示例 2：禁止特定的导入
-  # my_project_no_moment_js:
-  #   id: my_project_no_moment_js
-  #   level: guideline
-  #   rule: "NO MOMENT.JS IMPORTS"
-  #   message: "禁止使用 moment.js，请使用 date-fns 或 dayjs"
-  #   trigger: ["code_implementation"]
-
-  # 示例 3：要求特定的文件命名
-  # my_project_component_naming:
-  #   id: my_project_component_naming
-  #   level: tip
-  #   rule: "REACT COMPONENTS SHOULD BE PASCAL CASE"
-  #   message: "React 组件文件名应使用 PascalCase"
-  #   trigger: ["file_creation"]
-`;
-
 /** CHANGELOG.md 正文（`format` 来自治理配置的 changelog.format） */
 export function renderChangelog(format: string): string {
   return format === 'keep-a-changelog'
@@ -386,7 +350,7 @@ export function renderCheckpoints(): string {
 
 /** 默认 Resolutions（RKB — 约束 → 已知解法映射） */
 const DEFAULT_RESOLUTIONS = {
-  no_fuzzy_completion_claim: {
+  no_completion_without_verification: {
     title: 'commit message 缺少验证证据',
     fix: '在 commit message body 中附上验证输出:\n`npx @dommaker/harness check --staged` | `npx @dommaker/harness validate` | `npm test -- --coverage`\n确认全部通过后重新 commit。',
   },

package/src/cli/commands/scaffold.ts

@@ -20,7 +20,6 @@ import * as nodeFs from 'fs/promises';
 import type { CiPlatform } from '../../types/project-config';
 import { log, type CommandIO } from '../command-contract';
 import {
-  CUSTOM_CONSTRAINTS_TEMPLATE,
   DEFAULT_CHECKPOINT_FILE,
   HARNESS_CHECK_WORKFLOW,
   PRE_COMMIT_SNIPPET,
@@ -235,16 +234,6 @@ export function harnessCheckCiFile(
   };
 }
 
-/** .harness/custom-constraints.yml 示例 */
-export function customConstraintsFile(projectPath: string): ManagedFile {
-  return {
-    target: path.join(projectPath, '.harness', 'custom-constraints.yml'),
-    content: CUSTOM_CONSTRAINTS_TEMPLATE,
-    created: '✅ 已创建自定义约束示例: custom-constraints.yml',
-    onPresent: { outcome: 'skip', notice: 'custom-constraints.yml 已存在' },
-  };
-}
-
 /** .harness/checkpoints.yml 示例（原住 validate.ts，路径约定与 validate 共用） */
 export function checkpointsFile(projectPath: string): ManagedFile {
   const target = path.join(projectPath, DEFAULT_CHECKPOINT_FILE);

package/src/cli/commands/status.ts

@@ -109,11 +109,11 @@ export async function status(options: StatusOptions, io: CommandIO = processIO):
   log(io, chalk.blue('📈 约束统计:'));
   log(io);
 
-  // Iron Laws
-  const ironLawSummaries = summaries.filter((s: TraceSummary) => s.level === 'iron_law');
-  if (ironLawSummaries.length > 0) {
-    log(io, chalk.red('🔴 Iron Laws:'));
-    ironLawSummaries.forEach((s: TraceSummary) => {
+  // severity='error'
+  const errorSummaries = summaries.filter((s: TraceSummary) => s.severity === 'error');
+  if (errorSummaries.length > 0) {
+    log(io, chalk.red('🔴 error 级约束:'));
+    errorSummaries.forEach((s: TraceSummary) => {
       const status = s.passRate >= 1 ? '✅' : '❌';
       log(io, `  ${status} ${s.constraintId}`);
       if (options.detail) {
@@ -123,11 +123,11 @@ export async function status(options: StatusOptions, io: CommandIO = processIO):
     log(io);
   }
 
-  // Guidelines
-  const guidelineSummaries = summaries.filter((s: TraceSummary) => s.level === 'guideline');
-  if (guidelineSummaries.length > 0) {
-    log(io, chalk.yellow('🟡 Guidelines:'));
-    guidelineSummaries.forEach((s: TraceSummary) => {
+  // severity='warning'
+  const warningSummaries = summaries.filter((s: TraceSummary) => s.severity === 'warning');
+  if (warningSummaries.length > 0) {
+    log(io, chalk.yellow('🟡 warning 级约束:'));
+    warningSummaries.forEach((s: TraceSummary) => {
       const status = s.passRate >= 0.8 ? '✅' : s.passRate >= 0.5 ? '⚠️' : '❌';
       log(io, `  ${status} ${s.constraintId}`);
       if (options.detail) {

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

@@ -49,8 +49,6 @@ export interface GovernanceInfo {
   hasConfig: boolean;
   preset?: string;
   hasClaudeGovernance: boolean;
-  ironLaws?: number;
-  guidelines?: number;
 }
 
 /**
@@ -114,11 +112,7 @@ export async function buildAgentsMd(projectPath: string, srcDirs: string[]): Pro
     lines.push(`- 治理配置：\`.harness/config.yml\`${governance.preset ? `（preset: ${governance.preset}）` : ''}`);
   }
   if (governance.hasClaudeGovernance) {
-    const counts = [
-      governance.ironLaws !== undefined ? `Iron Laws ${governance.ironLaws} 条` : null,
-      governance.guidelines !== undefined ? `Guidelines ${governance.guidelines} 条` : null,
-    ].filter(Boolean).join('、');
-    lines.push(`- 约束清单：\`CLAUDE.md\` Governance Rules 块${counts ? `（${counts}）` : ''}`);
+    lines.push('- 约束清单：`CLAUDE.md` Governance Rules 块');
   }
   if (!governance.hasConfig && !governance.hasClaudeGovernance) {
     lines.push('- 未检测到 harness 治理配置，可运行 `harness init` 初始化');
@@ -208,7 +202,7 @@ async function listWorkspaceMembers(dir: string): Promise<string[]> {
   }
 }
 
-/** 收集治理信息：.harness/config.yml 与 CLAUDE.md 治理块（含铁律/指南计数） */
+/** 收集治理信息：.harness/config.yml 与 CLAUDE.md 治理块 */
 async function getGovernanceInfo(projectPath: string): Promise<GovernanceInfo> {
   const info: GovernanceInfo = { hasConfig: false, hasClaudeGovernance: false };
 
@@ -224,12 +218,8 @@ async function getGovernanceInfo(projectPath: string): Promise<GovernanceInfo> {
 
   try {
     const claude = await fs.readFile(path.join(projectPath, 'CLAUDE.md'), 'utf-8');
-    // 契约在场判定收口 injection-writer.hasGovernanceContract（#83，与 presence/landing 同谓词）
-    if (hasGovernanceContract(claude)) {
-      info.hasClaudeGovernance = true;
-      info.ironLaws = countConstraintBullets(claude, 'Iron Laws');
-      info.guidelines = countConstraintBullets(claude, 'Guidelines');
-    }
+    // 契约在场判定收口 injection-writer.hasGovernanceContract（#83，与 presence 同谓词）
+    info.hasClaudeGovernance = hasGovernanceContract(claude);
   } catch {
     // CLAUDE.md 不存在
   }
@@ -237,17 +227,6 @@ async function getGovernanceInfo(projectPath: string): Promise<GovernanceInfo> {
   return info;
 }
 
-/** 统计 CLAUDE.md 指定约束分节下的条目数（`- **key**:` 行），分节不存在时返回 undefined */
-function countConstraintBullets(content: string, section: string): number | undefined {
-  const heading = new RegExp(`^###\\s+${section}[^\\n]*$`, 'm').exec(content);
-  if (!heading) return undefined;
-  const rest = content.slice(heading.index + heading[0].length);
-  const end = rest.search(/^###\s|^\s*<!--\s*HARNESS_CONSTRAINTS_END/m);
-  const block = end === -1 ? rest : rest.slice(0, end);
-  const items = block.match(/^-\s+\*\*[A-Za-z0-9_]+\*\*/gm);
-  return items ? items.length : 0;
-}
-
 /** 判断 .harness/knowledge 目录是否存在（只判存在性，不统计条数——条数易变，见 buildAgentsMd 注释） */
 async function hasKnowledgeDir(projectPath: string): Promise<boolean> {
   try {

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('不触碰文档中不存在的计数行', () => {