@dommaker/harness 0.16.9 → 0.17.1

package/src/cli/commands/init.ts

@@ -11,7 +11,12 @@ import * as path from 'path';
 import * as yaml from 'js-yaml';
 import { createExampleCheckpoint, createExampleResolutions } from './validate';
 import { detectSourceRoots } from '../../utils/detect-source-roots';
-import { IRON_LAWS, GUIDELINES, TIPS } from '../../core/constraints/definitions';
+import { getEffectiveConstraints } from '../../core/effective-constraints';
+import {
+  CONSTRAINTS_START_MARKER,
+  CONSTRAINTS_END_MARKER,
+  renderConstraintsSection,
+} from '../../core/constraints/injection-renderer';
 
 export interface InitOptions {
   /** 项目路径 */
@@ -507,18 +512,15 @@ custom_constraints:
 }
 
 /**
- * 在 CLAUDE.md 中写入/更新 Governance Rules 约束段
- *
- * - 如果 CLAUDE.md 不存在，创建并写入完整约束段
- * - 如果存在 HARNESS_CONSTRAINTS_START/END 标记，替换标记间内容
- * - 如果不存在标记，在文件末尾追加约束段
- *
-/**
- * 在 CLAUDE.md 顶部写入 Output Style 段（仅首次创建，后续不覆盖）
+ * Output Style 段标记（ADR-0001：init 只写标记区间内，标记外只读）
  */
-const OUTPUT_STYLE_SECTION = [
-  '## Output Style',
-  '',
+const OUTPUT_STYLE_START = '<!-- HARNESS_OUTPUT_STYLE_START -->';
+const OUTPUT_STYLE_END = '<!-- HARNESS_OUTPUT_STYLE_END -->';
+
+/** 旧版 harness 无标记 Output Style 段的特征串（用于区分 harness 写入 vs 用户自写） */
+const LEGACY_OUTPUT_STYLE_FINGERPRINT = 'Terse like caveman';
+
+const OUTPUT_STYLE_BODY = [
   'Terse like caveman. Technical substance exact. Only fluff die.',
   'Drop: articles, filler (just/really/basically), pleasantries (sure/certainly/happy to), hedging.',
   'Fragments OK. Short synonyms. Code blocks unchanged. Error messages quoted exact.',
@@ -527,25 +529,87 @@ const OUTPUT_STYLE_SECTION = [
   'Read existing files before writing. Don\'t re-read unless changed.',
   'Skip files over 100KB unless required.',
   'Don\'t guess APIs, versions, flags, commit SHAs, or package names. Verify before asserting.',
-  '',
 ].join('\n');
 
-async function setupClaudeMdOutputStyle(projectPath: string): Promise<void> {
+/** 渲染带标记的 Output Style 段（含 `## Output Style` 标题，以换行结尾） */
+function renderOutputStyleSection(): string {
+  return `${OUTPUT_STYLE_START}\n## Output Style\n\n${OUTPUT_STYLE_BODY}\n${OUTPUT_STYLE_END}\n`;
+}
+
+/**
+ * 在 CLAUDE.md 顶部写入 Output Style 段（标记化、幂等）
+ *
+ * - 已有 HARNESS_OUTPUT_STYLE 标记：替换标记间内容
+ * - 无标记但存在旧版 harness 写入的无标记段（特征串匹配）：原位置换为标记版
+ * - 无标记且 `## Output Style` 段为用户自写（特征串不匹配）：跳过并提示，不重复追加
+ * - 完全没有该段：在文件顶部插入标记版
+ */
+export async function setupClaudeMdOutputStyle(projectPath: string): Promise<void> {
   const claudeMdPath = path.join(projectPath, 'CLAUDE.md');
+  let content: string;
   try {
-    const content = await fs.readFile(claudeMdPath, 'utf-8');
-    if (content.includes('## Output Style')) return; // 已存在，不覆盖
-    const newContent = OUTPUT_STYLE_SECTION + '\n' + content;
-    await fs.writeFile(claudeMdPath, newContent, 'utf-8');
+    content = await fs.readFile(claudeMdPath, 'utf-8');
   } catch {
     // CLAUDE.md 不存在——setupClaudeMdConstraints 会创建它
+    return;
+  }
+
+  const section = renderOutputStyleSection();
+  const startIdx = content.indexOf(OUTPUT_STYLE_START);
+  const endIdx = content.indexOf(OUTPUT_STYLE_END);
+
+  if (startIdx !== -1 && endIdx !== -1 && endIdx > startIdx) {
+    // 替换标记间内容（标记本身也替换，保持最新文本）。
+    // 尾部换行规范化：标记后恰好保留一个换行分隔，保证重复运行幂等。
+    const after = content.slice(endIdx + OUTPUT_STYLE_END.length).replace(/^\n+/, '');
+    const newContent = content.slice(0, startIdx) + section + (after ? '\n' + after : '');
+    if (newContent !== content) {
+      await fs.writeFile(claudeMdPath, newContent, 'utf-8');
+      console.log(chalk.green('✅ 已更新 CLAUDE.md Output Style 段'));
+    }
+    return;
+  }
+
+  // 检测旧版无标记 `## Output Style` 段
+  const legacyMatch = /^## Output Style[ \t]*$/m.exec(content);
+  if (legacyMatch) {
+    const sectionStart = legacyMatch.index;
+    const afterHeading = sectionStart + legacyMatch[0].length;
+    const nextHeadingOffset = content.slice(afterHeading).search(/^#{1,6} /m);
+    const sectionEnd = nextHeadingOffset === -1 ? content.length : afterHeading + nextHeadingOffset;
+    const legacySection = content.slice(sectionStart, sectionEnd);
+
+    if (!legacySection.includes(LEGACY_OUTPUT_STYLE_FINGERPRINT)) {
+      // 用户自写的同名 section：不动，也不追加（避免重复）
+      console.log(chalk.yellow('⚠️  CLAUDE.md 已存在自定义 "## Output Style" 段，跳过 harness Output Style 注入'));
+      return;
+    }
+
+    // 旧版 harness 写入：原位置换为标记版
+    const before = content.slice(0, sectionStart);
+    const after = content.slice(sectionEnd);
+    const newContent = before + section + (after.length > 0 ? '\n' + after : '');
+    await fs.writeFile(claudeMdPath, newContent, 'utf-8');
+    console.log(chalk.green('✅ 已将 CLAUDE.md Output Style 段迁移为标记化管理'));
+    return;
   }
+
+  // 完全没有该段：插入文件顶部
+  await fs.writeFile(claudeMdPath, section + '\n' + content, 'utf-8');
+  console.log(chalk.green('✅ 已在 CLAUDE.md 顶部写入 Output Style 段'));
 }
 
 /**
- * 只写入包含 promptInjection 文本的约束
+ * 在 CLAUDE.md 中写入/更新 Governance Rules 约束段
+ *
+ * - 约束集来自 getEffectiveConstraints（ADR-0001）：preset 裁剪、config.yml
+ *   禁用、custom 追加、scenes 过滤全部反映在注入文本里
+ * - 期望段文本由纯函数 renderConstraintsSection 渲染（P6 漂移校验复用）
+ * - 如果 CLAUDE.md 不存在，创建并写入完整约束段
+ * - 如果存在 HARNESS_CONSTRAINTS_START/END 标记，替换标记间内容
+ * - 如果不存在标记，在文件末尾追加约束段
  */
-async function setupClaudeMdConstraints(projectPath: string): Promise<void> {
+export async function setupClaudeMdConstraints(projectPath: string): Promise<void> {
   const claudeMdPath = path.join(projectPath, 'CLAUDE.md');
 
   // 读取 harness 版本
@@ -558,44 +622,10 @@ async function setupClaudeMdConstraints(projectPath: string): Promise<void> {
     // fallback to 'unknown'
   }
 
-  // 构建约束段正文（不含 ## Governance Rules 标题，因为替换时标题已在外部）
-  const bodyLines: string[] = [];
-  bodyLines.push('<!-- HARNESS_CONSTRAINTS_START -->');
-  bodyLines.push(`<!-- version: ${version} -->`);
-
-  // Iron Laws
-  const ironLawItems = Object.entries(IRON_LAWS).filter(([, c]) => c.promptInjection);
-  if (ironLawItems.length > 0) {
-    bodyLines.push('### Iron Laws (违反将阻断)');
-    for (const [id, c] of ironLawItems) {
-      bodyLines.push(`- **${id}**: ${c.promptInjection}`);
-    }
-  }
-
-  // Guidelines
-  const guidelineItems = Object.entries(GUIDELINES).filter(([, c]) => c.promptInjection);
-  if (guidelineItems.length > 0) {
-    bodyLines.push('');
-    bodyLines.push('### Guidelines (应遵循)');
-    for (const [id, c] of guidelineItems) {
-      bodyLines.push(`- **${id}**: ${c.promptInjection}`);
-    }
-  }
-
-  // Tips
-  const tipItems = Object.entries(TIPS).filter(([, c]) => c.promptInjection);
-  if (tipItems.length > 0) {
-    bodyLines.push('');
-    bodyLines.push('### Tips');
-    for (const [id, c] of tipItems) {
-      bodyLines.push(`- **${id}**: ${c.promptInjection}`);
-    }
-  }
-
-  bodyLines.push('<!-- HARNESS_CONSTRAINTS_END -->');
-
-  const fullSection = '## Governance Rules\n' + bodyLines.join('\n') + '\n';
-  const bodyOnly = bodyLines.join('\n') + '\n';
+  // 生效约束集 → 渲染期望段（纯函数，与写文件分离）
+  const constraints = getEffectiveConstraints(projectPath);
+  const bodyOnly = renderConstraintsSection(constraints, version);
+  const fullSection = '## Governance Rules\n' + bodyOnly;
 
   // 检查 CLAUDE.md 是否存在
   let existingContent: string;
@@ -607,9 +637,6 @@ async function setupClaudeMdConstraints(projectPath: string): Promise<void> {
     existingContent = '';
   }
 
-  const startMarker = '<!-- HARNESS_CONSTRAINTS_START -->';
-  const endMarker = '<!-- HARNESS_CONSTRAINTS_END -->';
-
   if (!fileExists) {
     // 创建新文件
     await fs.writeFile(claudeMdPath, fullSection, 'utf-8');
@@ -617,14 +644,15 @@ async function setupClaudeMdConstraints(projectPath: string): Promise<void> {
     return;
   }
 
-  const startIdx = existingContent.indexOf(startMarker);
-  const endIdx = existingContent.indexOf(endMarker);
+  const startIdx = existingContent.indexOf(CONSTRAINTS_START_MARKER);
+  const endIdx = existingContent.indexOf(CONSTRAINTS_END_MARKER);
 
   if (startIdx !== -1 && endIdx !== -1) {
-    // 替换标记间内容（标记本身也替换，保持包括最新版本号）
+    // 替换标记间内容（标记本身也替换，保持包括最新版本号）。
+    // 尾部换行规范化：标记后恰好保留一个换行分隔，保证重复运行幂等。
     const before = existingContent.slice(0, startIdx);
-    const after = existingContent.slice(endIdx + endMarker.length);
-    const newContent = before + bodyOnly + after;
+    const after = existingContent.slice(endIdx + CONSTRAINTS_END_MARKER.length).replace(/^\n+/, '');
+    const newContent = before + bodyOnly + (after ? '\n' + after : '');
     await fs.writeFile(claudeMdPath, newContent, 'utf-8');
     console.log(chalk.green(`✅ 已更新 CLAUDE.md 治理约束 (v${version})`));
   } else {

package/src/cli/commands/report.ts

@@ -8,7 +8,7 @@ import chalk from 'chalk';
 import * as fs from 'fs/promises';
 import { ConstraintChecker } from '../../core/constraints/checker';
 import { getTraceCollector } from '../../monitoring/traces';
-import { IRON_LAWS, GUIDELINES, TIPS } from '../../core/constraints/definitions';
+import { IRON_LAWS, GUIDELINES, PROMPTS } from '../../core/constraints/definitions';
 import { executeWithCollect } from '../../failure/constraint-handler';
 import type { ConstraintContext } from '../../types/constraint';
 
@@ -28,7 +28,7 @@ interface ReportData {
     total: number;
     ironLaws: number;
     guidelines: number;
-    tips: number;
+    prompts: number;
     passed: number;
     failed: number;
     warnings: number;
@@ -50,7 +50,7 @@ export async function report(options: ReportOptions): Promise<void> {
   const checker = ConstraintChecker.getInstance();
   checker.setTraceRecorder(getTraceCollector());
 
-  const allConstraints = { ...IRON_LAWS, ...GUIDELINES, ...TIPS };
+  const allConstraints = { ...IRON_LAWS, ...GUIDELINES, ...PROMPTS };
   const totalConstraints = Object.keys(allConstraints).length;
 
   const context: ConstraintContext = {
@@ -81,7 +81,7 @@ export async function report(options: ReportOptions): Promise<void> {
       total: totalConstraints,
       ironLaws: Object.keys(IRON_LAWS).length,
       guidelines: Object.keys(GUIDELINES).length,
-      tips: Object.keys(TIPS).length,
+      prompts: Object.keys(PROMPTS).length,
       passed: result.passed ? totalConstraints : totalConstraints - violations.length,
       failed: failedIronLaws.length,
       warnings: failedGuidelines.length,
@@ -129,7 +129,7 @@ function generateMarkdownReport(data: ReportData): string {
     `| 总约束 | ${data.constraints.total} |`,
     `| Iron Laws | ${data.constraints.ironLaws} |`,
     `| Guidelines | ${data.constraints.guidelines} |`,
-    `| Tips | ${data.constraints.tips} |`,
+    `| Prompts | ${data.constraints.prompts} |`,
     `| 通过 | ${data.constraints.passed} |`,
     `| 失败 (error) | ${data.constraints.failed} |`,
     `| 警告 (warning) | ${data.constraints.warnings} |`,
@@ -184,7 +184,7 @@ function generateHtmlReport(data: ReportData): string {
     <tr><td>总约束</td><td>${data.constraints.total}</td></tr>
     <tr><td>Iron Laws</td><td>${data.constraints.ironLaws}</td></tr>
     <tr><td>Guidelines</td><td>${data.constraints.guidelines}</td></tr>
-    <tr><td>Tips</td><td>${data.constraints.tips}</td></tr>
+    <tr><td>Prompts</td><td>${data.constraints.prompts}</td></tr>
     <tr><td>通过</td><td class="passed">${data.constraints.passed}</td></tr>
     <tr><td>失败</td><td class="failed">${data.constraints.failed}</td></tr>
     <tr><td>警告</td><td>${data.constraints.warnings}</td></tr>

package/src/cli/commands/status.ts

@@ -9,6 +9,7 @@ import * as fs from 'fs';
 import * as path from 'path';
 import { TraceCollector } from '../../monitoring/traces';
 import { TraceAnalyzer } from '../../monitoring/trace-analyzer';
+import { DEFAULT_TRACE_FILE } from '../../types/trace';
 import type { TraceSummary, TraceAnomaly } from '../../types/trace';
 
 export interface StatusOptions {
@@ -28,7 +29,7 @@ export interface StatusOptions {
 export async function status(options: StatusOptions): Promise<void> {
   const projectPath = options.projectPath || process.cwd();
   const harnessDir = path.join(projectPath, '.harness');
-  const tracesPath = path.join(harnessDir, 'traces', 'execution.log');
+  const tracesPath = path.join(projectPath, DEFAULT_TRACE_FILE);
   const statePath = path.join(harnessDir, '.state.json');
 
   console.log(chalk.blue('📊 Harness 状态'));
@@ -91,8 +92,7 @@ export async function status(options: StatusOptions): Promise<void> {
 
       // 下一步建议
       console.log(chalk.blue('💡 下一步建议:'));
-      console.log(chalk.gray('  1. 运行 harness flow 一键诊断 + 提案'));
-      console.log(chalk.gray('  2. 运行 harness status --detail 查看详情'));
+      console.log(chalk.gray('  运行 harness status --detail 查看详情'));
     }
     return;
   }
@@ -159,7 +159,6 @@ export async function status(options: StatusOptions): Promise<void> {
   // 下一步建议
   console.log(chalk.blue('💡 下一步建议:'));
   if (anomalies.length > 0) {
-    console.log(chalk.gray('  harness flow            # 一键执行诊断+提案'));
     console.log(chalk.gray('  harness status --detail # 查看详细状态'));
   } else if (traceCount >= 100) {
     console.log(chalk.gray('  • 状态良好，继续保持！'));

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

@@ -9,7 +9,7 @@
 import * as fs from 'fs/promises';
 import * as path from 'path';
 import { IRON_LAWS, GUIDELINES, TIPS } from '../../../core/constraints/definitions';
-import { readCapabilitiesEntries } from '../../../core/constraints/capabilities-parser';
+import { isCapabilityListingFormat, readCapabilitiesEntries } from '../../../core/constraints/capabilities-parser';
 import { FreshnessRunner } from '../../../core/constraints/doc-freshness/runner';
 import type { CapabilitiesMode } from '../../../core/project-config-loader';
 import type { DocFreshnessCheck } from '../../../types/project-config';
@@ -35,13 +35,11 @@ export async function parseCapabilitiesFiles(capabilitiesPath: string): Promise<
 
 /**
  * 检测 CAPABILITIES.md 是否使用能力清单格式（计数行），而非文件表格格式
+ *
+ * @deprecated 实现已收敛到 core/constraints/capabilities-parser（与工单 19-B 同方向），
+ * 此处保留 re-export 兼容现有调用方
  */
-export function isCapabilityListingFormat(content: string): boolean {
-  // 能力清单格式特征：包含 "CLI Commands (N)" / "Iron Laws (N)" 等计数行
-  return /CLI Commands\s*\(\d+\)/.test(content) ||
-    /Iron Laws?\s*\(\d+\)/.test(content) ||
-    /Guidelines?\s*\(\d+\)/.test(content);
-}
+export { isCapabilityListingFormat };
 
 /**
  * 构建 CAPABILITIES.md 能力清单格式的检查配置

package/src/cli/commands/validate.ts

@@ -163,7 +163,7 @@ export async function createExampleCheckpoint(projectPath: string): Promise<void
  * 默认 Resolutions（RKB — 约束 → 已知解法映射）
  */
 const DEFAULT_RESOLUTIONS = {
-  no_claim_without_evidence: {
+  no_fuzzy_completion_claim: {
     title: 'commit message 缺少验证证据',
     fix: '在 commit message body 中附上验证输出:\n`npx harness check --staged` | `npx harness validate` | `npm test -- --coverage`\n确认全部通过后重新 commit。',
   },
@@ -175,10 +175,6 @@ const DEFAULT_RESOLUTIONS = {
     title: '关键目录缺少 CONTEXT.md',
     fix: '在 required_dirs 目录下创建 CONTEXT.md。运行 `npx harness sync-docs` 可自动生成模板。',
   },
-  no_coverage_decrease: {
-    title: '测试覆盖率下降',
-    fix: '运行 `npm test -- --coverage` 查看当前覆盖率。新增文件必须有对应的测试文件。',
-  },
 };
 
 /**

package/src/core/CONTEXT.md

@@ -1,10 +1,11 @@
 # core/
 
 ## 职责
-约束引擎核心：三层约束系统(Iron Laws / Guidelines / Tips)、检查点验证器(CSO/passes-gate)、会话管理、Spec 验证器、项目配置加载。
+约束引擎核心：check/prompt 二元约束系统（ADR-0001）、生效集合并（effective-constraints）、检查点验证器(CSO/passes-gate)、会话管理、Spec 验证器、项目配置加载。
 
 ## 核心导出
-- `constraints/` — 约束定义(IRON_LAWS/GUIDELINES/TIPS) + 检查引擎(ConstraintChecker) + 拦截器(ConstraintInterceptor) + 缓存(CheckCache)
+- `constraints/` — 约束定义(IRON_LAWS/GUIDELINES/PROMPTS；TIPS 已退役为空表) + 检查引擎(ConstraintChecker) + 拦截器(ConstraintInterceptor) + 缓存(CheckCache) + 注入渲染(injection-renderer)/漂移校验(injection-drift)/使用统计(usage-report)
+- `effective-constraints.ts` — `getEffectiveConstraints(projectRoot)`：全仓唯一生效集来源（内置 → preset → config.yml 禁用 → custom 追加 → scenes 过滤）；`lintEffectiveConfig` 配置诊断
 - `validators/` — checkpoints、passes-gate、CSO 验证器
 - `session/` — 会话管理
 - `spec/validator` — SpecValidator
@@ -17,10 +18,12 @@
 - 依赖 `src/monitoring/traces` TraceCollector
 
 ## 约定
-- 约束定义在 `constraints/definitions.ts`，不在运行时代码中定义
+- 约束定义在 `constraints/definitions/{iron-laws,guidelines,prompts}.ts`，不在运行时代码中定义
+- check 层必须带真实 checker（注册表闭环，引用未注册 checker 构建报错）
 - Iron Law 违规必须 throw ConstraintViolationError
 - 检查器使用单例模式(ConstraintChecker.getInstance())
 
 ## 注意事项
 - 零 Token 成本：所有分析纯文件操作，无 LLM 调用
-- 约束配置支持 .harness/config.yml 自定义合并
+- 约束配置支持 .harness/config.yml 自定义合并（preset 真实生效）
+- 存在性探测约束（capability_sync/docs_freshness/context_doc_sync）在约定文件缺失时 skip，不计 pass/fail

package/src/core/constraints/__tests__/injection-drift.test.ts

@@ -0,0 +1,164 @@
+/**
+ * 注入漂移校验测试（ADR-0001 决策 7，P6）
+ *
+ * - 三类漂移各自检出：版本 / 内容（条目级 missing/extra）/ 重复章节
+ * - 无漂移静默；无标记段 = 未注入不算漂移；CLAUDE.md 不存在不算漂移
+ * - config.yml 变更后未重跑 init → 内容漂移（extra）
+ *
+ * 使用真实临时目录（getEffectiveConstraints 读真实 fs）。
+ */
+
+import * as fs from 'fs';
+import * as os from 'os';
+import * as path from 'path';
+import { detectInjectionDrift, INJECTION_DRIFT_FIX_HINT } from '../injection-drift';
+import {
+  renderConstraintsSection,
+  CONSTRAINTS_START_MARKER,
+} from '../injection-renderer';
+import { getEffectiveConstraints } from '../../effective-constraints';
+
+const TEST_VERSION = '9.9.9-test';
+
+function makeTmpProject(): string {
+  return fs.mkdtempSync(path.join(os.tmpdir(), 'harness-drift-test-'));
+}
+
+/** 写入与当前生效集完全一致的注入段（版本 TEST_VERSION） */
+function writeSyncedClaudeMd(root: string, extra = ''): string {
+  const section =
+    '## Governance Rules\n' + renderConstraintsSection(getEffectiveConstraints(root), TEST_VERSION);
+  const content = `# Test Project\n\n${section}${extra}`;
+  fs.writeFileSync(path.join(root, 'CLAUDE.md'), content, 'utf-8');
+  return content;
+}
+
+describe('detectInjectionDrift', () => {
+  it('无漂移：注入段与期望渲染一致 → hasDrift=false', () => {
+    const root = makeTmpProject();
+    writeSyncedClaudeMd(root);
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.notInjected).toBe(false);
+    expect(drift.hasDrift).toBe(false);
+    expect(drift.versionDrift).toBeUndefined();
+    expect(drift.contentDrift).toBeUndefined();
+    expect(drift.duplicateHeading).toBe(false);
+    expect(drift.fixHint).toContain('npx harness init');
+    expect(drift.fixHint).toBe(INJECTION_DRIFT_FIX_HINT);
+  });
+
+  it('版本漂移：标记段版本号改旧 → versionDrift', () => {
+    const root = makeTmpProject();
+    const synced = writeSyncedClaudeMd(root);
+    fs.writeFileSync(
+      path.join(root, 'CLAUDE.md'),
+      synced.replace(`<!-- version: ${TEST_VERSION} -->`, '<!-- version: 0.0.1-old -->'),
+      'utf-8'
+    );
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.hasDrift).toBe(true);
+    expect(drift.versionDrift).toEqual({ expected: TEST_VERSION, actual: '0.0.1-old' });
+    expect(drift.contentDrift).toBeUndefined();
+  });
+
+  it('内容漂移：手改标记段内一条 → 原条目 missing、改后条目 extra', () => {
+    const root = makeTmpProject();
+    const synced = writeSyncedClaudeMd(root);
+    const originalLine = synced.split('\n').find(l => l.startsWith('- **'))!;
+    const editedLine = originalLine.replace(/: .+$/, ': 手工篡改的注入文本');
+    fs.writeFileSync(
+      path.join(root, 'CLAUDE.md'),
+      synced.replace(originalLine, editedLine),
+      'utf-8'
+    );
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.hasDrift).toBe(true);
+    expect(drift.versionDrift).toBeUndefined();
+    expect(drift.contentDrift).toBeDefined();
+    expect(drift.contentDrift!.missing).toEqual([originalLine]);
+    expect(drift.contentDrift!.extra).toEqual([editedLine]);
+  });
+
+  it('内容漂移：config.yml 变更后未重跑 init → 被禁条目成为 extra', () => {
+    const root = makeTmpProject();
+    writeSyncedClaudeMd(root);
+    // 注入后禁用一条 prompt，但不重跑 init
+    fs.mkdirSync(path.join(root, '.harness'), { recursive: true });
+    fs.writeFileSync(
+      path.join(root, '.harness', 'config.yml'),
+      'constraints:\n  no_fuzzy_completion_claim:\n    enabled: false\n',
+      'utf-8'
+    );
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.hasDrift).toBe(true);
+    expect(drift.contentDrift).toBeDefined();
+    expect(drift.contentDrift!.missing).toEqual([]);
+    expect(drift.contentDrift!.extra).toHaveLength(1);
+    expect(drift.contentDrift!.extra[0]).toContain('no_fuzzy_completion_claim');
+  });
+
+  it('重复章节：标记段之外还有一个 ## Governance Rules 标题 → duplicateHeading', () => {
+    const root = makeTmpProject();
+    writeSyncedClaudeMd(root, '\n## Governance Rules\n\n旧版遗留的同名章节\n');
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.duplicateHeading).toBe(true);
+    expect(drift.hasDrift).toBe(true);
+  });
+
+  it('无标记段 = 未注入，不算漂移', () => {
+    const root = makeTmpProject();
+    fs.writeFileSync(path.join(root, 'CLAUDE.md'), '# Test Project\n\n## Governance Rules\n\n用户自写内容\n', 'utf-8');
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.notInjected).toBe(true);
+    expect(drift.hasDrift).toBe(false);
+  });
+
+  it('CLAUDE.md 不存在 = 未注入，不算漂移', () => {
+    const root = makeTmpProject();
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.notInjected).toBe(true);
+    expect(drift.hasDrift).toBe(false);
+  });
+
+  it('默认版本参数读 package.json：与真实版本一致的注入段无版本漂移', () => {
+    // eslint-disable-next-line @typescript-eslint/no-var-requires
+    const realVersion = require('../../../../package.json').version as string;
+    const root = makeTmpProject();
+    const section =
+      '## Governance Rules\n' + renderConstraintsSection(getEffectiveConstraints(root), realVersion);
+    fs.writeFileSync(path.join(root, 'CLAUDE.md'), section, 'utf-8');
+
+    const drift = detectInjectionDrift(root);
+
+    expect(drift.versionDrift).toBeUndefined();
+    expect(drift.hasDrift).toBe(false);
+  });
+
+  it('标记段含 ' + CONSTRAINTS_START_MARKER + ' 但版本行缺失 → versionDrift actual=(缺失)', () => {
+    const root = makeTmpProject();
+    const synced = writeSyncedClaudeMd(root);
+    fs.writeFileSync(
+      path.join(root, 'CLAUDE.md'),
+      synced.replace(`<!-- version: ${TEST_VERSION} -->\n`, ''),
+      'utf-8'
+    );
+
+    const drift = detectInjectionDrift(root, TEST_VERSION);
+
+    expect(drift.versionDrift).toEqual({ expected: TEST_VERSION, actual: '(缺失)' });
+  });
+});

package/src/core/constraints/__tests__/interceptor.test.ts

@@ -24,6 +24,7 @@ describe('ConstraintInterceptor', () => {
 
   const mockIronLaw = {
     id: 'test_iron_law',
+    kind: 'check' as const,
     rule: 'Test Iron Law',
     message: 'Test iron law message',
     level: 'iron_law' as const,
@@ -34,6 +35,7 @@ describe('ConstraintInterceptor', () => {
 
   const mockGuideline = {
     id: 'test_guideline',
+    kind: 'check' as const,
     rule: 'Test Guideline',
     message: 'Test guideline message',
     level: 'guideline' as const,
@@ -63,6 +65,7 @@ describe('ConstraintInterceptor', () => {
       ironLaws: { test_iron_law: mockIronLaw },
       guidelines: { test_guideline: mockGuideline },
       tips: {},
+      prompts: {},
     });
   });
 
@@ -200,6 +203,7 @@ describe('ConstraintInterceptor', () => {
         ironLaws: {},
         guidelines: {},
         tips: {},
+        prompts: {},
       });
 
       const result = await interceptor.intercept('code_implementation', mockContext);

package/src/core/constraints/capabilities-parser.ts

@@ -69,6 +69,19 @@ export function readCapabilitiesEntries(capabilitiesPath: string, options: Capab
   }
 }
 
+/**
+ * 检测 CAPABILITIES.md 是否使用能力清单格式（计数行），而非文件表格格式
+ *
+ * 清单格式没有文件表可核对，计数由 sync-docs 自动维护，
+ * checker 与 sync-docs 都应按此跳过条目级比对。
+ */
+export function isCapabilityListingFormat(content: string): boolean {
+  // 能力清单格式特征：包含 "CLI Commands (N)" / "Iron Laws (N)" 等计数行
+  return /CLI Commands\s*\(\d+\)/.test(content) ||
+    /Iron Laws?\s*\(\d+\)/.test(content) ||
+    /Guidelines?\s*\(\d+\)/.test(content);
+}
+
 /**
  * 未覆盖文件的聚合目录（module 模式）
  *