@dommaker/harness 1.8.1 → 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 {