@dommaker/harness 1.9.0 → 1.11.0

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

@@ -1,142 +0,0 @@
-/**
- * 治理约束注入段漂移校验（ADR-0001 决策 7）
- *
- * 检测三类漂移：
- * 1. 版本漂移：标记段内 `<!-- version: x -->` ≠ 当前 harness 包版本
- * 2. 内容漂移：标记段实际条目 ≠ renderConstraintsSection(当前生效集, 当前版本)
- *    （手改裁剪 / harness 升级后未重跑 init / config.yml 变更后未同步），
- *    产出条目级差异（missing/extra），比逐行 diff 更可读
- * 3. 重复章节：标记段之外还存在另一个 `## Governance Rules` 标题
- *    （init 旧版本在无标记时追加第二个同名章节的历史问题）
- *
- * 落点路由（studio #307，ADR 2026-08-21 落点模型）：注入段可能在
- * CLAUDE.md（旧模型仓）或 AGENTS.md `PRESERVE:governance` 段内（新模型仓），
- * 与 init 的 setupGovernanceConstraints 路由一致——CLAUDE.md 有标记优先。
- *
- * 纯检测、只读：不改任何文件。check 仅警告不阻断，详细差异进 report。
- * 两处均无标记段 = 未注入，不算漂移（report 一句话提示，check 不警告）。
- */
-
-import * as path from 'path';
-import type { Constraint } from '../../types/constraint';
-import { getEffectiveConstraints } from '../effective-constraints';
-import { resolveRunEnv, type RunTarget } from './run-env';
-import { getHarnessPackageVersion } from '../../utils/package-version';
-import { CONSTRAINTS_END_MARKER, renderConstraintsSection } from './injection-renderer';
-import {
-  resolveInjectionTarget,
-  readIfExists,
-  countGovernanceHeadings,
-  type InjectionFile,
-} from './injection-writer';
-
-export type { InjectionFile };
-
-/** 注入漂移检测结果 */
-export interface InjectionDrift {
-  /** 是否存在任一漂移（版本/内容/重复章节） */
-  hasDrift: boolean;
-  /** CLAUDE.md / AGENTS.md 均无约束标记段（未注入，不算漂移） */
-  notInjected: boolean;
-  /** 注入段落点文件（未注入时 undefined） */
-  injectionFile?: InjectionFile;
-  /** 版本漂移：注入段版本 ≠ 当前 harness 版本 */
-  versionDrift?: { expected: string; actual: string };
-  /**
-   * 内容漂移（条目级）：
-   * missing = 期望渲染中有、实际段中缺失的条目；extra = 实际段中多出的条目
-   */
-  contentDrift?: { missing: string[]; extra: string[] };
-  /** 标记段之外还存在另一个 `## Governance Rules` 标题 */
-  duplicateHeading: boolean;
-  /** 修复指引 */
-  fixHint: string;
-}
-
-/** 修复指引（重跑 init 幂等同步注入段） */
-export const INJECTION_DRIFT_FIX_HINT = '重跑 `npx @dommaker/harness init` 同步注入段（漂移仅警告，不阻断）';
-
-const VERSION_LINE_RE = /<!-- version: ([^ ]+) -->/;
-const ENTRY_LINE_RE = /^- \*\*.+?\*\*: .+$/;
-const GROUP_HEADING_RE = /^### .+$/;
-
-/**
- * 提取参与条目级比对的"有效行"：注入条目（- **id**: text）与分组标题（### ...）。
- * 标记行、版本行、空行不参与——版本单独比对，空行/标记属排版噪音。
- */
-function significantLines(section: string): string[] {
-  return section
-    .split('\n')
-    .map(l => l.trim())
-    .filter(l => ENTRY_LINE_RE.test(l) || GROUP_HEADING_RE.test(l));
-}
-
-/**
- * 检测约束注入段漂移
- *
- * @param target 项目根路径，或本 run 的运行级观察面（CLI check 传入即与本 run 共用
- *   同一份 config.yml 读取，漂移侧的生效集计算不再重读文件——ADR-0023 决策 2）
- * @param currentVersion 当前 harness 版本（缺省经 getHarnessPackageVersion 正本读取；测试可显式传入）
- * @param expectedConstraints 本 run 已算好的生效集（CLI check 传入 → 生效集链路一次运行只算
- *   一遍，且比对用的就是本 run 实际执法的那份）。不传则按 target 自取，行为与改前逐字一致
- */
-export function detectInjectionDrift(
-  target: RunTarget,
-  currentVersion: string = getHarnessPackageVersion(),
-  expectedConstraints?: Constraint[]
-): InjectionDrift {
-  const env = resolveRunEnv(target);
-  const projectRoot = env.projectPath;
-  const result: InjectionDrift = {
-    hasDrift: false,
-    notInjected: false,
-    duplicateHeading: false,
-    fixHint: INJECTION_DRIFT_FIX_HINT,
-  };
-
-  const injected = resolveInjectionTarget(projectRoot);
-  if (!injected) {
-    // 两处均无标记段 = 未注入，不算漂移（check 不警告）。
-    // 重复章节仍如实记录供 report 提示：旧落点 CLAUDE.md 优先，其次 AGENTS.md。
-    const legacy =
-      readIfExists(path.join(projectRoot, 'CLAUDE.md')) ??
-      readIfExists(path.join(projectRoot, 'AGENTS.md'));
-    if (legacy !== null) {
-      result.duplicateHeading = countGovernanceHeadings(legacy) > 1;
-    }
-    result.notInjected = true;
-    return result;
-  }
-
-  result.injectionFile = injected.file;
-  const { content, startIdx, endIdx } = injected;
-
-  // 重复章节：全文统计治理标题数（严格计数 injection-writer.countGovernanceHeadings，#83）
-  const headingCount = countGovernanceHeadings(content);
-  result.duplicateHeading = headingCount > 1;
-
-  const actualSection = content.slice(startIdx, endIdx + CONSTRAINTS_END_MARKER.length);
-
-  // 1. 版本漂移
-  const versionMatch = VERSION_LINE_RE.exec(actualSection);
-  const actualVersion = versionMatch ? versionMatch[1] : '(缺失)';
-  if (actualVersion !== currentVersion) {
-    result.versionDrift = { expected: currentVersion, actual: actualVersion };
-  }
-
-  // 2. 内容漂移（条目级：期望渲染 vs 实际段）
-  const expectedSection = renderConstraintsSection(
-    expectedConstraints ?? getEffectiveConstraints(env),
-    currentVersion
-  );
-  const expectedLines = new Set(significantLines(expectedSection));
-  const actualLines = new Set(significantLines(actualSection));
-  const missing = [...expectedLines].filter(l => !actualLines.has(l));
-  const extra = [...actualLines].filter(l => !expectedLines.has(l));
-  if (missing.length > 0 || extra.length > 0) {
-    result.contentDrift = { missing, extra };
-  }
-
-  result.hasDrift = Boolean(result.versionDrift) || Boolean(result.contentDrift) || result.duplicateHeading;
-  return result;
-}

package/src/core/constraints/injection-renderer.ts

@@ -1,44 +0,0 @@
-/**
- * CLAUDE.md 约束注入段渲染（ADR-0001）
- *
- * 纯函数：输入生效约束集 + harness 版本，输出标记区间的期望文本。
- * 与写文件分离——init 注入与 P6 注入漂移校验（期望 vs 实际）共用此渲染。
- */
-
-import type { Constraint } from '../../types/constraint';
-
-/** 约束注入段开始标记 */
-export const CONSTRAINTS_START_MARKER = '<!-- HARNESS_CONSTRAINTS_START -->';
-/** 约束注入段结束标记 */
-export const CONSTRAINTS_END_MARKER = '<!-- HARNESS_CONSTRAINTS_END -->';
-
-/**
- * 渲染 CLAUDE.md 约束注入段（含 START/END 标记，不含 `## Governance Rules` 标题）
- *
- * 结构：### Iron Laws / ### Guidelines / ### Prompts（行为约束），
- * 条目为 `- **id**: promptInjection`；无 promptInjection 的 check 条目
- * （如 docs_freshness）不出现在注入段。返回文本以换行结尾。
- *
- * @param constraints 生效约束集（getEffectiveConstraints 的输出）
- * @param version harness 版本号（写入 `<!-- version: x -->` 供漂移校验）
- */
-export function renderConstraintsSection(constraints: Constraint[], version: string): string {
-  const lines: string[] = [CONSTRAINTS_START_MARKER, `<!-- version: ${version} -->`];
-
-  const renderGroup = (level: 'iron_law' | 'guideline' | 'prompt', heading: string, first: boolean) => {
-    const items = constraints.filter(c => c.level === level && c.promptInjection);
-    if (items.length === 0) return;
-    if (!first) lines.push('');
-    lines.push(heading);
-    for (const c of items) {
-      lines.push(`- **${c.id}**: ${c.promptInjection}`);
-    }
-  };
-
-  renderGroup('iron_law', '### Iron Laws (违反将阻断)', true);
-  renderGroup('guideline', '### Guidelines (应遵循)', lines.length === 2);
-  renderGroup('prompt', '### Prompts (行为约束)', lines.length === 2);
-
-  lines.push(CONSTRAINTS_END_MARKER);
-  return lines.join('\n') + '\n';
-}