@dommaker/harness 1.9.0 → 1.10.0

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

@@ -1,247 +0,0 @@
-/**
- * 注入漂移校验测试（ADR-0001 决策 7，P6）
- *
- * - 三类漂移各自检出：版本 / 内容（条目级 missing/extra）/ 重复章节
- * - 无漂移静默；无标记段 = 未注入不算漂移；CLAUDE.md 不存在不算漂移
- * - 落点路由（studio #307）：AGENTS.md PRESERVE:governance 内注入段同样校验；
- *   两文件均有标记段时 CLAUDE.md 优先（旧模型仓豁免）
- * - config.yml 变更后未重跑 init → 内容漂移（extra）
- *
- * 使用真实临时目录（getEffectiveConstraints 读真实 fs）。
- */
-
-import * as fs from 'fs';
-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';
-import { createProjectFixture, writeProjectConfig } from '../../../test-setup/project-fixture';
-
-const TEST_VERSION = '9.9.9-test';
-
-const makeTmpProject = (): string => createProjectFixture({ name: '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;
-}
-
-/** 新模型仓注入段：AGENTS.md `PRESERVE:governance` 段内含标记段（版本 TEST_VERSION） */
-function writeSyncedAgentsMd(root: string, extra = ''): string {
-  const section =
-    '<!-- PRESERVE:governance -->\n## Governance Rules\n' +
-    renderConstraintsSection(getEffectiveConstraints(root), TEST_VERSION) +
-    '<!-- /PRESERVE:governance -->\n';
-  const content = `# AGENTS.md\n\n${section}${extra}`;
-  fs.writeFileSync(path.join(root, 'AGENTS.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 @dommaker/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
-    writeProjectConfig(root, 'constraints:\n  no_fuzzy_completion_claim:\n    enabled: false\n');
-
-    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: '(缺失)' });
-  });
-
-  it('新模型仓：AGENTS.md PRESERVE:governance 注入段一致 → 无漂移，injectionFile=AGENTS.md', () => {
-    const root = makeTmpProject();
-    writeSyncedAgentsMd(root);
-
-    const drift = detectInjectionDrift(root, TEST_VERSION);
-
-    expect(drift.notInjected).toBe(false);
-    expect(drift.injectionFile).toBe('AGENTS.md');
-    expect(drift.hasDrift).toBe(false);
-    expect(drift.duplicateHeading).toBe(false);
-  });
-
-  it('新模型仓：版本漂移与内容漂移照常检出', () => {
-    const root = makeTmpProject();
-    const synced = writeSyncedAgentsMd(root);
-    const originalLine = synced.split('\n').find(l => l.startsWith('- **'))!;
-    const editedLine = originalLine.replace(/: .+$/, ': 手工篡改的注入文本');
-    fs.writeFileSync(
-      path.join(root, 'AGENTS.md'),
-      synced
-        .replace(`<!-- version: ${TEST_VERSION} -->`, '<!-- version: 0.0.1-old -->')
-        .replace(originalLine, editedLine),
-      'utf-8'
-    );
-
-    const drift = detectInjectionDrift(root, TEST_VERSION);
-
-    expect(drift.injectionFile).toBe('AGENTS.md');
-    expect(drift.hasDrift).toBe(true);
-    expect(drift.versionDrift).toEqual({ expected: TEST_VERSION, actual: '0.0.1-old' });
-    expect(drift.contentDrift!.missing).toEqual([originalLine]);
-    expect(drift.contentDrift!.extra).toEqual([editedLine]);
-  });
-
-  it('新模型仓：PRESERVE 段之外还有 ## Governance Rules 标题 → duplicateHeading', () => {
-    const root = makeTmpProject();
-    writeSyncedAgentsMd(root, '\n## Governance Rules\n\n旧版遗留的同名章节\n');
-
-    const drift = detectInjectionDrift(root, TEST_VERSION);
-
-    expect(drift.injectionFile).toBe('AGENTS.md');
-    expect(drift.duplicateHeading).toBe(true);
-    expect(drift.hasDrift).toBe(true);
-  });
-
-  it('两文件均有标记段：旧模型仓豁免，CLAUDE.md 优先（AGENTS.md 漂移不影响判定）', () => {
-    const root = makeTmpProject();
-    writeSyncedClaudeMd(root);
-    const agents = writeSyncedAgentsMd(root);
-    // AGENTS.md 注入段手改出漂移，CLAUDE.md 保持一致
-    fs.writeFileSync(
-      path.join(root, 'AGENTS.md'),
-      agents.replace(`<!-- version: ${TEST_VERSION} -->`, '<!-- version: 0.0.1-old -->'),
-      'utf-8'
-    );
-
-    const drift = detectInjectionDrift(root, TEST_VERSION);
-
-    expect(drift.injectionFile).toBe('CLAUDE.md');
-    expect(drift.hasDrift).toBe(false);
-  });
-
-  it('两处均无标记段但 AGENTS.md 有重复 Governance Rules 标题 → notInjected + duplicateHeading', () => {
-    const root = makeTmpProject();
-    fs.writeFileSync(
-      path.join(root, 'AGENTS.md'),
-      '# AGENTS.md\n\n## Governance Rules\n\n甲\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);
-    expect(drift.duplicateHeading).toBe(true);
-  });
-});

package/src/core/constraints/agent-prompt-renderer.ts

@@ -1,67 +0,0 @@
-/**
- * Agent prompt 约束段渲染（H6/G6：trigger 参数化分组渲染 API）
- *
- * 收编 studio prompt-injection.ts 的渲染层：role→trigger 路由留在 studio，
- * 本模块只做 trigger 参数化 + 生效集过滤 + 层级分组渲染。
- *
- * 数据源 = getEffectiveConstraints（内置 → preset → config.yml 禁用 →
- * custom 追加 → scenes 过滤），与 init 注入、harness check 同一来源。
- *
- * 输出按层级分组：铁律 → 指导原则 → 行为提示；无 promptInjection 的约束
- * （如 docs_freshness）不渲染。
- */
-
-import type { ConstraintLevel, ConstraintTrigger } from '../../types/constraint';
-import { matchesTrigger } from './triggers';
-import { getEffectiveConstraints } from '../effective-constraints';
-
-/**
- * renderConstraintsByTrigger 选项
- */
-export interface RenderConstraintsByTriggerOptions {
-  /** 项目根路径（决定 config.yml 生效集），缺省 process.cwd() */
-  projectRoot?: string;
-}
-
-/** 层级分组定义（渲染顺序即声明顺序） */
-const LEVEL_GROUPS: ReadonlyArray<{ level: ConstraintLevel; heading: string }> = [
-  { level: 'iron_law', heading: '### 铁律（绝对禁止，无例外）' },
-  { level: 'guideline', heading: '### 指导原则（优先建议）' },
-  { level: 'prompt', heading: '### 行为提示' },
-];
-
-/**
- * 按触发条件渲染约束分组文本（注入 Agent system prompt 用）
- *
- * 过滤：生效集内 trigger 与入参存在交集的约束；无 promptInjection 的不渲染。
- * 分组：按层级 iron_law → guideline → prompt 顺序渲染为标题 + 条目列表；
- * 无适用约束时返回空字符串。
- *
- * @param triggers 触发条件（单个或多个；空数组返回空字符串）
- * @param options.projectRoot 项目根路径（决定 config.yml 生效集）
- */
-export function renderConstraintsByTrigger(
-  triggers: ConstraintTrigger | ConstraintTrigger[],
-  options?: RenderConstraintsByTriggerOptions,
-): string {
-  const requested = Array.isArray(triggers) ? triggers : [triggers];
-  if (requested.length === 0) return '';
-
-  const constraints = getEffectiveConstraints(options?.projectRoot);
-  const applicable = constraints.filter(
-    c => c.promptInjection && matchesTrigger(c, requested)
-  );
-  if (applicable.length === 0) return '';
-
-  const lines: string[] = ['\n## 行为约束（前置声明）\n'];
-  for (const group of LEVEL_GROUPS) {
-    const items = applicable.filter(c => c.level === group.level);
-    if (items.length === 0) continue;
-    lines.push(`${group.heading}\n`);
-    for (const c of items) {
-      lines.push(`- **${c.id}**: ${c.promptInjection}`);
-    }
-    lines.push('');
-  }
-  return lines.join('\n');
-}

package/src/core/constraints/checkers/__tests__/no-bypass-checkpoint.test.ts

@@ -1,76 +0,0 @@
-/**
- * no_bypass_checkpoint 检查器旁测（架构评审候选4，ADR-0009 同模式）
- *
- * 测试面 = ConstraintCheck.evaluate(env)：判定只读 env.context.changedFiles
- * 的文件内容，无需 git staging（旧 facade 测用真实 git add 属多余 fixture）。
- * 自 checker-extra.test.ts 迁入并补齐 BYPASS_PATTERNS 全表用例。
- * 违规样例字符串一律拼接构造，避免本文件被该检查器自身命中。
- * 项目根由 src/test-setup/project-fixture 声明式构造（回收仍走 mkdtemp-cleanup）。
- */
-
-import { describe, it, expect } from '@jest/globals';
-import * as os from 'os';
-import * as path from 'path';
-import { noBypassCheckpoint } from '../no-bypass-checkpoint';
-import { buildCheckEnv } from '../types';
-import { createProjectFixture } from '../../../../test-setup/project-fixture';
-import type { ConstraintContext } from '../../../../types/constraint';
-
-/** 与 BYPASS_PATTERNS 对齐的违规样例（拼接构造，源文本不含完整模式串） */
-const VIOLATIONS: Array<[string, string]> = [
-  ['jest/vitest skip 调用', 'test.' + 'skip("skipped", () => {});'],
-  ['bypass 标志赋值', 'config.byp' + 'ass = true;'],
-  ['skip 选项', '{ run: { skip' + ': true } }'],
-  ['显式 bypass 注释', '# bypa' + 'ss checkpoint for perf'],
-  ['行注释 skip', 'code(); // ' + 'skip this for now'],
-];
-
-function writeTemp(name: string, content: string): string {
-  const root = createProjectFixture({
-    name: `no-bypass-${name}`,
-    files: { 'subject.ts': content },
-  });
-  return path.join(root, 'subject.ts');
-}
-
-function evaluate(changedFiles: string[]) {
-  const context: ConstraintContext = {
-    operation: 'code_implementation',
-    projectPath: process.cwd(),
-    changedFiles,
-  };
-  return noBypassCheckpoint.evaluate(buildCheckEnv(context, 'none'));
-}
-
-describe('no_bypass_checkpoint', () => {
-  it('无变更文件 → pass（默认放行）', async () => {
-    expect(await evaluate([])).toBe(true);
-  });
-
-  for (const [label, content] of VIOLATIONS) {
-    it(`命中 bypass 模式（${label}）→ fail`, async () => {
-      expect(await evaluate([writeTemp('hit', content)])).toBe(false);
-    });
-  }
-
-  it('干净测试文件 → pass（旧 facade 对照用例）', async () => {
-    expect(
-      await evaluate([writeTemp('clean', 'test("clean", () => { expect(1).toBe(1); });')])
-    ).toBe(true);
-  });
-
-  it('变更文件已删除（不在 fs）→ 跳过该文件继续', async () => {
-    expect(await evaluate([path.join(os.tmpdir(), 'no-bypass-gone', 'ghost.ts')])).toBe(true);
-  });
-
-  it('文件不可读（目录当文件）→ 忽略不炸', async () => {
-    const dir = createProjectFixture({ name: 'no-bypass-dir' });
-    expect(await evaluate([dir])).toBe(true);
-  });
-
-  it('多文件任一命中即 fail', async () => {
-    const clean = writeTemp('multi-clean', 'export const x = 1;');
-    const dirty = writeTemp('multi-dirty', VIOLATIONS[0][1]);
-    expect(await evaluate([clean, dirty])).toBe(false);
-  });
-});

package/src/core/constraints/checkers/no-bypass-checkpoint.ts

@@ -1,40 +0,0 @@
-/**
- * no_bypass_checkpoint：检查变更文件内容是否有 skip/bypass 关键词（工单 21）
- */
-
-import { existsSync, readFileSync } from 'fs';
-import type { ConstraintCheck } from './types';
-
-const BYPASS_PATTERNS = [
-  /\.skip\(/,            // Jest/Vitest skip
-  /\.bypass\s*=/,        // bypass flag
-  /skip:\s*true/,        // skip option
-  /bypass\s*checkpoint/, // explicit bypass
-  /\/\/\s*skip/,         // comment skip
-];
-
-export const noBypassCheckpoint: ConstraintCheck = {
-  id: 'no_bypass_checkpoint',
-  async evaluate(env) {
-    const changedFiles = env.context.changedFiles || [];
-    if (changedFiles.length === 0) {
-      return true; // 无变更文件，默认通过
-    }
-
-    for (const file of changedFiles) {
-      if (!existsSync(file)) continue;
-      try {
-        const content = readFileSync(file, 'utf-8');
-        for (const pattern of BYPASS_PATTERNS) {
-          if (pattern.test(content)) {
-            return false; // 发现 bypass 关键词
-          }
-        }
-      } catch {
-        // 文件读取失败，忽略
-      }
-    }
-
-    return true;
-  },
-};