@dommaker/harness 1.9.0 → 1.11.0

package/dist/core/constraints/injection-renderer.js

@@ -1,44 +0,0 @@
-"use strict";
-/**
- * CLAUDE.md 约束注入段渲染（ADR-0001）
- *
- * 纯函数：输入生效约束集 + harness 版本，输出标记区间的期望文本。
- * 与写文件分离——init 注入与 P6 注入漂移校验（期望 vs 实际）共用此渲染。
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.CONSTRAINTS_END_MARKER = exports.CONSTRAINTS_START_MARKER = void 0;
-exports.renderConstraintsSection = renderConstraintsSection;
-/** 约束注入段开始标记 */
-exports.CONSTRAINTS_START_MARKER = '<!-- HARNESS_CONSTRAINTS_START -->';
-/** 约束注入段结束标记 */
-exports.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 -->` 供漂移校验）
- */
-function renderConstraintsSection(constraints, version) {
-    const lines = [exports.CONSTRAINTS_START_MARKER, `<!-- version: ${version} -->`];
-    const renderGroup = (level, heading, first) => {
-        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(exports.CONSTRAINTS_END_MARKER);
-    return lines.join('\n') + '\n';
-}
-//# sourceMappingURL=injection-renderer.js.map

package/dist/core/constraints/injection-renderer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"injection-renderer.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-renderer.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAmBH,4DAmBC;AAlCD,gBAAgB;AACH,QAAA,wBAAwB,GAAG,oCAAoC,CAAC;AAC7E,gBAAgB;AACH,QAAA,sBAAsB,GAAG,kCAAkC,CAAC;AAEzE;;;;;;;;;GASG;AACH,SAAgB,wBAAwB,CAAC,WAAyB,EAAE,OAAe;IACjF,MAAM,KAAK,GAAa,CAAC,gCAAwB,EAAE,iBAAiB,OAAO,MAAM,CAAC,CAAC;IAEnF,MAAM,WAAW,GAAG,CAAC,KAA0C,EAAE,OAAe,EAAE,KAAc,EAAE,EAAE;QAClG,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC;QAC9E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC/B,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC;IAEF,WAAW,CAAC,UAAU,EAAE,uBAAuB,EAAE,IAAI,CAAC,CAAC;IACvD,WAAW,CAAC,WAAW,EAAE,sBAAsB,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACrE,WAAW,CAAC,QAAQ,EAAE,oBAAoB,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAEhE,KAAK,CAAC,IAAI,CAAC,8BAAsB,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC"}

package/src/cli/commands/__tests__/check-drift.test.ts

@@ -1,158 +0,0 @@
-/**
- * check 命令注入漂移警告测试（ADR-0001 决策 7，P6）
- *
- * 警告不阻断：漂移项目跑 check 仍 0 退出；版本漂移单独显眼警告；
- * 无漂移零输出。使用真实临时目录（漂移检测读真实 fs），
- * 仅 mock checker（直接判过）与 git 调用。
- */
-
-import * as fs from 'fs';
-import { captureIO, type CapturingIO } from '../../command-contract';
-import * as path from 'path';
-import { check } from '../check';
-import { renderConstraintsSection } from '../../../core/constraints/injection-renderer';
-import { getEffectiveConstraints } from '../../../core/effective-constraints';
-import { createProjectFixture } from '../../../test-setup/project-fixture';
-
-// 命令 per-run 构造 checker（harness#88）：构造替身即控制 checkConstraints 返回值
-const mockChecker = { checkConstraints: jest.fn() };
-jest.mock('../../../core/constraints/checker', () => ({
-  ConstraintChecker: jest.fn(function () {
-    return mockChecker;
-  }),
-}));
-
-// 命令 per-run 锚根构造收集器（harness#139）：构造替身即拦截 trace 落盘
-jest.mock('../../../monitoring/traces', () => ({
-  TraceCollector: jest.fn(function () {
-    return { record: jest.fn() };
-  }),
-}));
-
-jest.mock('../../../utils/exec', () => ({
-  execAsync: jest.fn().mockResolvedValue({ stdout: '', stderr: '' }),
-}));
-
-jest.mock('child_process', () => ({
-  exec: jest.fn(),
-  execSync: jest.fn(() => Buffer.from('')),
-}));
-
-// eslint-disable-next-line @typescript-eslint/no-var-requires
-const REAL_VERSION = require('../../../../package.json').version as string;
-
-function writeClaudeMd(root: string, version: string): void {
-  const section =
-    '## Governance Rules\n' + renderConstraintsSection(getEffectiveConstraints(root), version);
-  fs.writeFileSync(path.join(root, 'CLAUDE.md'), `# Test Project\n\n${section}`, 'utf-8');
-}
-
-describe('check 命令注入漂移警告', () => {
-  let io: CapturingIO;
-
-  beforeEach(() => {
-
-    io = captureIO();
-    jest.clearAllMocks();
-    mockChecker.checkConstraints.mockResolvedValue({
-      passed: true,
-      ironLaws: [],
-      guidelines: [],
-      warningCount: 0,
-    });
-  });
-
-  const outputText = () => io.outText();
-
-  it('版本漂移：黄色警告块 + ⚠️⚠️ 版本行，但不阻断（exit 未调用，仍判通过）', async () => {
-    const root = createProjectFixture({ name: 'harness-check-drift-test' });
-    writeClaudeMd(root, '0.0.1-old');
-
-    const result = await check({ preset: 'standard', staged: false, projectPath: root }, io);
-
-    const output = outputText();
-    expect(output).toContain('约束注入漂移');
-    expect(output).toContain('⚠️⚠️');
-    expect(output).toContain('agent 上下文中的规则与已安装 harness 版本不一致');
-    expect(output).toContain('0.0.1-old');
-    expect(output).toContain('npx @dommaker/harness init');
-    // 不阻断：检查仍通过、未调用 process.exit
-    expect(output).toContain('约束检查通过');
-    expect(result.kind).toBe('ok');
-  });
-
-  it('内容漂移：手改一条 → 警告块含缺失/多余计数，exit 未调用', async () => {
-    const root = createProjectFixture({ name: 'harness-check-drift-test' });
-    writeClaudeMd(root, REAL_VERSION);
-    const claudeMdPath = path.join(root, 'CLAUDE.md');
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    const originalLine = content.split('\n').find(l => l.startsWith('- **'))!;
-    fs.writeFileSync(claudeMdPath, content.replace(originalLine, originalLine.replace(/: .+$/, ': 篡改')), 'utf-8');
-
-    const result = await check({ preset: 'standard', staged: false, projectPath: root }, io);
-
-    const output = outputText();
-    expect(output).toContain('内容漂移: 缺失 1 条 / 多余 1 条');
-    expect(output).toContain('约束检查通过');
-    expect(result.kind).toBe('ok');
-  });
-
-  it('无漂移：零警告输出（不增加噪音）', async () => {
-    const root = createProjectFixture({ name: 'harness-check-drift-test' });
-    writeClaudeMd(root, REAL_VERSION);
-
-    const result = await check({ preset: 'standard', staged: false, projectPath: root }, io);
-
-    const output = outputText();
-    expect(output).not.toContain('注入漂移');
-    expect(output).toContain('约束检查通过');
-    expect(result.kind).toBe('ok');
-  });
-
-  it('未注入（无 CLAUDE.md）：不警告', async () => {
-    const root = createProjectFixture({ name: 'harness-check-drift-test' });
-
-    const result = await check({ preset: 'standard', staged: false, projectPath: root }, io);
-
-    expect(outputText()).not.toContain('注入漂移');
-    expect(result.kind).toBe('ok');
-  });
-
-  // ── 生效集来源与漂移比对的同一性（ADR-0023 步骤 4.5）──────────────────
-  // 改前 CLI 给 -p 塞了缺省值 'standard'，「没传」与「传了」不可区分，
-  // 于是「--preset 仅在无自定义配置时覆盖」这条规则恒被触发：项目 config.yml 的
-  // preset 静默失效，而漂移侧按 config.yml 算 → 两边稳定对不上（该报的漂移不报）。
-
-  it('config.yml 的 preset 不再被 CLI 缺省顶掉：不带 -p 按 relaxed 执法且零漂移', async () => {
-    const root = createProjectFixture({
-      name: 'harness-check-drift-relaxed',
-      config: 'preset: relaxed\n',
-    });
-    writeClaudeMd(root, REAL_VERSION); // getEffectiveConstraints(root) 走 config.yml = relaxed
-
-    const result = await check({ staged: false, projectPath: root }, io);
-
-    // relaxed 裁掉的内置条目会出现在「已禁用约束」行——改前 CLI 塞了 standard，这行根本不出现
-    const output = outputText();
-    expect(output).toContain('已禁用约束:');
-    expect(output).not.toContain('内容漂移');
-    expect(output).toContain('约束检查通过');
-    expect(result.kind).toBe('ok');
-  });
-
-  it('显式 -p 时，漂移比对用的就是本 run 实际执法的那份', async () => {
-    const root = createProjectFixture({
-      name: 'harness-check-drift-override',
-      config: 'preset: relaxed\n',
-    });
-    writeClaudeMd(root, REAL_VERSION); // 段里是 relaxed 的少数条目
-
-    await check({ preset: 'standard', staged: false, projectPath: root }, io);
-
-    // standard 不裁条目（无「已禁用约束」行），且期望段 = 本 run 执法的 standard
-    // → 段里条目只少不多，报「缺失 N 条 / 多余 0 条」
-    const output = outputText();
-    expect(output).not.toContain('已禁用约束:');
-    expect(output).toMatch(/内容漂移: 缺失 [1-9]\d* 条 \/ 多余 0 条/);
-  });
-});

package/src/cli/commands/__tests__/init-injection.test.ts

@@ -1,466 +0,0 @@
-/**
- * init 注入重写测试（ADR-0001 P3）
- *
- * - renderConstraintsSection 纯函数
- * - setupClaudeMdConstraints：消费生效集、幂等、尊重 config.yml 禁用与 scenes
- * - setupClaudeMdOutputStyle：标记化三种情形（无段插入 / 旧 harness 段迁移 / 用户自有段跳过）
- */
-
-import { describe, it, expect, beforeEach, afterEach, jest } from '@jest/globals';
-import { captureIO, type CapturingIO } from '../../command-contract';
-import * as fs from 'fs';
-import * as path from 'path';
-import {
-  renderConstraintsSection,
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-} from '../../../core/constraints/injection-renderer';
-import {
-  setupClaudeMdConstraints,
-  setupClaudeMdOutputStyle,
-  setupAgentsMdConstraints,
-  setupGovernanceConstraints,
-} from '../init';
-import { getEffectiveConstraints } from '../../../core/effective-constraints';
-import { getAllConstraints } from '../../../core/constraints/definitions';
-import type { Constraint } from '../../../types/constraint';
-
-const OUTPUT_STYLE_START = '<!-- HARNESS_OUTPUT_STYLE_START -->';
-const OUTPUT_STYLE_END = '<!-- HARNESS_OUTPUT_STYLE_END -->';
-
-const makeConstraint = (overrides: Partial<Constraint>): Constraint => ({
-  id: 'x',
-  kind: 'prompt',
-  level: 'prompt',
-  rule: 'R',
-  message: 'M',
-  trigger: 'manual',
-  enforcement: 'none',
-  ...overrides,
-});
-
-let io: CapturingIO;
-beforeEach(() => {
-  io = captureIO();
-});
-
-describe('renderConstraintsSection（纯函数）', () => {
-  it('按 level 分组渲染，含标记与版本行', () => {
-    const constraints = [
-      makeConstraint({ id: 'iron_a', kind: 'check', level: 'iron_law', promptInjection: 'iron 注入' }),
-      makeConstraint({ id: 'guide_a', kind: 'check', level: 'guideline', promptInjection: 'guide 注入' }),
-      makeConstraint({ id: 'prompt_a', level: 'prompt', promptInjection: 'prompt 注入' }),
-    ];
-
-    const section = renderConstraintsSection(constraints, '9.9.9');
-
-    expect(section.startsWith(`${CONSTRAINTS_START_MARKER}\n<!-- version: 9.9.9 -->\n`)).toBe(true);
-    expect(section.endsWith(`${CONSTRAINTS_END_MARKER}\n`)).toBe(true);
-    expect(section).toContain('### Iron Laws');
-    expect(section).toContain('### Guidelines');
-    expect(section).toContain('### Prompts');
-    expect(section).toContain('- **iron_a**: iron 注入');
-    expect(section).toContain('- **guide_a**: guide 注入');
-    expect(section).toContain('- **prompt_a**: prompt 注入');
-    // 分组顺序：Iron Laws → Guidelines → Prompts
-    expect(section.indexOf('### Iron Laws')).toBeLessThan(section.indexOf('### Guidelines'));
-    expect(section.indexOf('### Guidelines')).toBeLessThan(section.indexOf('### Prompts'));
-  });
-
-  it('无 promptInjection 的 check 条目（如 docs_freshness）不出现在注入段', () => {
-    const constraints = [
-      makeConstraint({ id: 'docs_freshness', kind: 'check', level: 'iron_law' }),
-      makeConstraint({ id: 'iron_a', kind: 'check', level: 'iron_law', promptInjection: 'iron 注入' }),
-    ];
-
-    const section = renderConstraintsSection(constraints, '1.0.0');
-
-    expect(section).not.toContain('docs_freshness');
-    expect(section).toContain('- **iron_a**: iron 注入');
-  });
-
-  it('内置全集渲染：docs_freshness 不出现，场景 prompt 由调用方过滤后传入', () => {
-    const section = renderConstraintsSection(getAllConstraints(), '1.0.0');
-    expect(section).not.toContain('docs_freshness');
-    expect(section).toContain('- **no_fuzzy_completion_claim**');
-  });
-});
-
-describe('setupClaudeMdConstraints（消费生效集）', () => {
-  let tempDir: string;
-  let claudeMdPath: string;
-
-  const writeConfig = (yaml: string) => {
-    fs.mkdirSync(path.join(tempDir, '.harness'), { recursive: true });
-    fs.writeFileSync(path.join(tempDir, '.harness', 'config.yml'), yaml);
-  };
-
-  beforeEach(() => {
-    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-init-'));
-    claudeMdPath = path.join(tempDir, 'CLAUDE.md');
-    jest.spyOn(console, 'log').mockImplementation(() => {});
-  });
-
-  afterEach(() => {
-    jest.restoreAllMocks();
-    fs.rmSync(tempDir, { recursive: true, force: true });
-  });
-
-  it('CLAUDE.md 不存在时创建并写入约束段', async () => {
-    await setupClaudeMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content).toContain('## Governance Rules');
-    expect(content).toContain(CONSTRAINTS_START_MARKER);
-    expect(content).toContain(CONSTRAINTS_END_MARKER);
-    expect(content).toContain('### Iron Laws');
-    expect(content).toContain('### Prompts (行为约束)');
-  });
-
-  it('连跑两次输出一致（幂等）', async () => {
-    await setupClaudeMdConstraints(tempDir, io);
-    const first = fs.readFileSync(claudeMdPath, 'utf-8');
-    await setupClaudeMdConstraints(tempDir, io);
-    const second = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(second).toBe(first);
-  });
-
-  it('标记区间外内容保持不动', async () => {
-    fs.writeFileSync(claudeMdPath, '# My Project\n\n用户自定义内容\n');
-    await setupClaudeMdConstraints(tempDir, io);
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content).toContain('# My Project');
-    expect(content).toContain('用户自定义内容');
-  });
-
-  it('标记残缺（只有单边）：拒写不追加并告警（writer 半标记守护，候选1）', async () => {
-    const broken = `# My Project\n\n${CONSTRAINTS_START_MARKER}\n半残段\n`;
-    fs.writeFileSync(claudeMdPath, broken);
-    await setupClaudeMdConstraints(tempDir, io);
-    expect(fs.readFileSync(claudeMdPath, 'utf-8')).toBe(broken);
-    expect(io.outText()).toContain('残缺');
-  });
-
-  it('尊重 config.yml 禁用：注入段不含被禁条目', async () => {
-    writeConfig('constraints:\n  no_fuzzy_completion_claim:\n    enabled: false\n');
-    await setupClaudeMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content).not.toContain('no_fuzzy_completion_claim');
-    expect(content).toContain('- **no_fix_without_root_cause**');
-  });
-
-  it('scenes 缺省不注入场景专属 prompt；配置 scenes 后注入', async () => {
-    writeConfig('preset: standard\n');
-    await setupClaudeMdConstraints(tempDir, io);
-    let content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content).not.toContain('no_skill_without_test');
-
-    writeConfig('preset: standard\nscenes:\n  - agent-skill\n');
-    await setupClaudeMdConstraints(tempDir, io);
-    content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content).toContain('- **no_skill_without_test**');
-    expect(content).not.toContain('no_model_for_deterministic');
-  });
-
-  it('注入段文本与 renderConstraintsSection(getEffectiveConstraints()) 一致', async () => {
-    writeConfig('constraints:\n  no_bypass_checkpoint:\n    enabled: false\n');
-    await setupClaudeMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    const start = content.indexOf(CONSTRAINTS_START_MARKER);
-    const end = content.indexOf(CONSTRAINTS_END_MARKER) + CONSTRAINTS_END_MARKER.length + 1;
-    const actual = content.slice(start, end);
-    const version = /<!-- version: ([^ ]+) -->/.exec(content)![1];
-    // P6 漂移校验同款比对：期望段（生效集渲染） vs 实际段
-    expect(actual).toBe(renderConstraintsSection(getEffectiveConstraints(tempDir), version));
-  });
-});
-
-describe('setupClaudeMdOutputStyle（标记化）', () => {
-  let tempDir: string;
-  let claudeMdPath: string;
-
-  beforeEach(() => {
-    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-output-style-'));
-    claudeMdPath = path.join(tempDir, 'CLAUDE.md');
-    jest.spyOn(console, 'log').mockImplementation(() => {});
-  });
-
-  afterEach(() => {
-    jest.restoreAllMocks();
-    fs.rmSync(tempDir, { recursive: true, force: true });
-  });
-
-  it('CLAUDE.md 不存在时不创建（由 constraints 注入负责创建）', async () => {
-    await setupClaudeMdOutputStyle(tempDir, io);
-    expect(fs.existsSync(claudeMdPath)).toBe(false);
-  });
-
-  it('无 Output Style 段：插入带标记段到文件顶部，二次运行幂等', async () => {
-    fs.writeFileSync(claudeMdPath, '# My Project\n\n正文\n');
-    await setupClaudeMdOutputStyle(tempDir, io);
-
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-    expect(content.startsWith(OUTPUT_STYLE_START)).toBe(true);
-    expect(content).toContain('## Output Style');
-    expect(content).toContain(OUTPUT_STYLE_END);
-    expect(content).toContain('# My Project');
-
-    await setupClaudeMdOutputStyle(tempDir, io);
-    expect(fs.readFileSync(claudeMdPath, 'utf-8')).toBe(content);
-  });
-
-  it('旧版 harness 无标记段（特征串匹配）：迁移为标记版', async () => {
-    const legacy = [
-      '## Output Style',
-      '',
-      'Terse like caveman. Technical substance exact. Only fluff die.',
-      'Drop: articles, filler (just/really/basically), pleasantries (sure/certainly/happy to), hedging.',
-      '',
-      '# My Project',
-      '',
-    ].join('\n');
-    fs.writeFileSync(claudeMdPath, legacy);
-
-    await setupClaudeMdOutputStyle(tempDir, io);
-    const content = fs.readFileSync(claudeMdPath, 'utf-8');
-
-    expect(content).toContain(OUTPUT_STYLE_START);
-    expect(content).toContain(OUTPUT_STYLE_END);
-    expect(content).toContain('Terse like caveman');
-    expect(content).toContain('# My Project');
-    // 迁移后只剩一个 Output Style 标题
-    expect(content.match(/^## Output Style$/gm)).toHaveLength(1);
-    // 幂等
-    await setupClaudeMdOutputStyle(tempDir, io);
-    expect(fs.readFileSync(claudeMdPath, 'utf-8')).toBe(content);
-  });
-
-  it('用户自写 Output Style 段（特征串不匹配）：不动、不追加、console 提示', async () => {
-    const userContent = '# My Project\n\n## Output Style\n\n用户自己的输出风格要求。\n';
-    fs.writeFileSync(claudeMdPath, userContent);
-
-    await setupClaudeMdOutputStyle(tempDir, io);
-
-    expect(fs.readFileSync(claudeMdPath, 'utf-8')).toBe(userContent);
-    expect(io.outText()).toContain('跳过');
-  });
-});
-
-const GOVERNANCE_PRESERVE_BEGIN = '<!-- PRESERVE:governance -->';
-const GOVERNANCE_PRESERVE_END = '<!-- /PRESERVE:governance -->';
-
-describe('setupAgentsMdConstraints（新落点模型：治理契约 → AGENTS.md PRESERVE:governance 段）', () => {
-  let tempDir: string;
-  let agentsMdPath: string;
-
-  beforeEach(() => {
-    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-init-agents-'));
-    agentsMdPath = path.join(tempDir, 'AGENTS.md');
-    jest.spyOn(console, 'log').mockImplementation(() => {});
-  });
-
-  afterEach(() => {
-    jest.restoreAllMocks();
-    fs.rmSync(tempDir, { recursive: true, force: true });
-  });
-
-  it('AGENTS.md 不存在时创建骨架并写入 PRESERVE:governance 段', async () => {
-    await setupAgentsMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(agentsMdPath, 'utf-8');
-    expect(content).toContain('# AGENTS.md');
-    expect(content).toContain(GOVERNANCE_PRESERVE_BEGIN);
-    expect(content).toContain(GOVERNANCE_PRESERVE_END);
-    expect(content).toContain('## Governance Rules');
-    expect(content).toContain(CONSTRAINTS_START_MARKER);
-    expect(content).toContain(CONSTRAINTS_END_MARKER);
-    expect(content).toContain('### Iron Laws');
-    // PRESERVE 标记在约束段之外（sync-docs 重新生成时整段保留）
-    expect(content.indexOf(GOVERNANCE_PRESERVE_BEGIN)).toBeLessThan(content.indexOf(CONSTRAINTS_START_MARKER));
-    expect(content.indexOf(CONSTRAINTS_END_MARKER)).toBeLessThan(content.indexOf(GOVERNANCE_PRESERVE_END));
-  });
-
-  it('连跑两次输出一致（幂等）', async () => {
-    await setupAgentsMdConstraints(tempDir, io);
-    const first = fs.readFileSync(agentsMdPath, 'utf-8');
-    await setupAgentsMdConstraints(tempDir, io);
-    expect(fs.readFileSync(agentsMdPath, 'utf-8')).toBe(first);
-  });
-
-  it('已有 PRESERVE:governance 段（含标记+段内手写内容）：只换标记区间，手写内容原样保留', async () => {
-    // 回归：曾把 PRESERVE 段内 HARNESS 标记之外的手写内容（治理契约引言/流程等）清空
-    fs.writeFileSync(agentsMdPath, [
-      '# AGENTS.md',
-      '',
-      '机器生成导读（保持不变）',
-      '',
-      GOVERNANCE_PRESERVE_BEGIN,
-      '## Governance Rules',
-      CONSTRAINTS_START_MARKER,
-      '<!-- version: 0.0.0 -->',
-      '过期的旧约束内容',
-      CONSTRAINTS_END_MARKER,
-      '',
-      '治理契约引言（手写，保留）',
-      '',
-      '### 治理变更流程（手写，保留）',
-      GOVERNANCE_PRESERVE_END,
-      '',
-      '<!-- PRESERVE:other -->',
-      '另一个手写段（保持不动）',
-      '<!-- /PRESERVE:other -->',
-      '',
-    ].join('\n'));
-
-    await setupAgentsMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(agentsMdPath, 'utf-8');
-    expect(content).toContain('机器生成导读（保持不变）');
-    expect(content).toContain('另一个手写段（保持不动）');
-    expect(content).not.toContain('过期的旧约束内容');
-    expect(content).toContain(CONSTRAINTS_START_MARKER);
-    // 段内标记之外的手写内容原样保留
-    expect(content).toContain('治理契约引言（手写，保留）');
-    expect(content).toContain('### 治理变更流程（手写，保留）');
-    expect(content.indexOf(CONSTRAINTS_END_MARKER)).toBeLessThan(content.indexOf('治理契约引言（手写，保留）'));
-    expect(content.indexOf('### 治理变更流程（手写，保留）')).toBeLessThan(content.indexOf(GOVERNANCE_PRESERVE_END));
-    // 幂等
-    await setupAgentsMdConstraints(tempDir, io);
-    expect(fs.readFileSync(agentsMdPath, 'utf-8')).toBe(content);
-  });
-
-  it('已有 PRESERVE:governance 段但无 HARNESS 标记（纯手写段）：段尾追加注入段，手写内容不动', async () => {
-    fs.writeFileSync(agentsMdPath, [
-      '# AGENTS.md',
-      '',
-      GOVERNANCE_PRESERVE_BEGIN,
-      '治理契约引言（手写，保留）',
-      '',
-      '### 发布纪律（手写，保留）',
-      GOVERNANCE_PRESERVE_END,
-      '',
-    ].join('\n'));
-
-    await setupAgentsMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(agentsMdPath, 'utf-8');
-    expect(content).toContain('治理契约引言（手写，保留）');
-    expect(content).toContain('### 发布纪律（手写，保留）');
-    expect(content).toContain(CONSTRAINTS_START_MARKER);
-    // 注入段追加在手写内容之后、PRESERVE 段内
-    expect(content.indexOf('### 发布纪律（手写，保留）')).toBeLessThan(content.indexOf(CONSTRAINTS_START_MARKER));
-    expect(content.indexOf(CONSTRAINTS_END_MARKER)).toBeLessThan(content.indexOf(GOVERNANCE_PRESERVE_END));
-    // 幂等
-    await setupAgentsMdConstraints(tempDir, io);
-    expect(fs.readFileSync(agentsMdPath, 'utf-8')).toBe(content);
-  });
-
-  it('AGENTS.md 存在但无 PRESERVE:governance 段：末尾追加，既有内容不动', async () => {
-    fs.writeFileSync(agentsMdPath, '# AGENTS.md\n\n既有导读内容\n');
-
-    await setupAgentsMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(agentsMdPath, 'utf-8');
-    expect(content).toContain('既有导读内容');
-    expect(content).toContain(GOVERNANCE_PRESERVE_BEGIN);
-    expect(content.indexOf('既有导读内容')).toBeLessThan(content.indexOf(GOVERNANCE_PRESERVE_BEGIN));
-  });
-
-  it('PRESERVE:governance 标记残缺（只有单边）：不写入并告警', async () => {
-    const original = `# AGENTS.md\n\n${GOVERNANCE_PRESERVE_BEGIN}\n残缺的段\n`;
-    fs.writeFileSync(agentsMdPath, original);
-
-    await setupAgentsMdConstraints(tempDir, io);
-
-    expect(fs.readFileSync(agentsMdPath, 'utf-8')).toBe(original);
-    expect(io.outText()).toContain('残缺');
-  });
-
-  it('PRESERVE 段内 HARNESS 标记残缺（单边）：拒写并告警（候选1 守护，旧行为会再追加一份注入段）', async () => {
-    const broken = [
-      '# AGENTS.md',
-      '',
-      GOVERNANCE_PRESERVE_BEGIN,
-      '手写契约',
-      '',
-      CONSTRAINTS_START_MARKER,
-      '半残注入',
-      GOVERNANCE_PRESERVE_END,
-      '',
-    ].join('\n');
-    fs.writeFileSync(agentsMdPath, broken);
-    await setupAgentsMdConstraints(tempDir, io);
-    expect(fs.readFileSync(agentsMdPath, 'utf-8')).toBe(broken);
-    expect(io.outText()).toContain('残缺');
-  });
-
-  it('段内注入文本与 renderConstraintsSection(getEffectiveConstraints()) 一致', async () => {
-    await setupAgentsMdConstraints(tempDir, io);
-
-    const content = fs.readFileSync(agentsMdPath, 'utf-8');
-    const start = content.indexOf(CONSTRAINTS_START_MARKER);
-    const end = content.indexOf(CONSTRAINTS_END_MARKER) + CONSTRAINTS_END_MARKER.length + 1;
-    const actual = content.slice(start, end);
-    const version = /<!-- version: ([^ ]+) -->/.exec(content)![1];
-    expect(actual).toBe(renderConstraintsSection(getEffectiveConstraints(tempDir), version));
-  });
-});
-
-describe('setupGovernanceConstraints（落点路由）', () => {
-  let tempDir: string;
-
-  beforeEach(() => {
-    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-init-routing-'));
-    jest.spyOn(console, 'log').mockImplementation(() => {});
-  });
-
-  afterEach(() => {
-    jest.restoreAllMocks();
-    fs.rmSync(tempDir, { recursive: true, force: true });
-  });
-
-  it('新仓（无 CLAUDE.md）：治理契约写向 AGENTS.md，不创建 CLAUDE.md', async () => {
-    await setupGovernanceConstraints(tempDir, io);
-
-    expect(fs.existsSync(path.join(tempDir, 'AGENTS.md'))).toBe(true);
-    expect(fs.existsSync(path.join(tempDir, 'CLAUDE.md'))).toBe(false);
-    const content = fs.readFileSync(path.join(tempDir, 'AGENTS.md'), 'utf-8');
-    expect(content).toContain(GOVERNANCE_PRESERVE_BEGIN);
-    expect(content).toContain(CONSTRAINTS_START_MARKER);
-  });
-
-  it('旧模型仓（CLAUDE.md 已有 HARNESS_CONSTRAINTS 标记）：继续写 CLAUDE.md，不动 AGENTS.md', async () => {
-    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), [
-      '# CLAUDE.md',
-      '',
-      '## Governance Rules',
-      CONSTRAINTS_START_MARKER,
-      '<!-- version: 0.0.0 -->',
-      '旧约束',
-      CONSTRAINTS_END_MARKER,
-      '',
-    ].join('\n'));
-    fs.writeFileSync(path.join(tempDir, 'AGENTS.md'), '# AGENTS.md\n\n既有导读\n');
-
-    await setupGovernanceConstraints(tempDir, io);
-
-    const claude = fs.readFileSync(path.join(tempDir, 'CLAUDE.md'), 'utf-8');
-    expect(claude).not.toContain('旧约束');
-    expect(claude).toContain('### Iron Laws');
-    // AGENTS.md 不被写入治理段
-    expect(fs.readFileSync(path.join(tempDir, 'AGENTS.md'), 'utf-8')).toBe('# AGENTS.md\n\n既有导读\n');
-  });
-
-  it('旧模型仓（CLAUDE.md 有无标记 Governance Rules 块）：路由到 CLAUDE.md', async () => {
-    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '# CLAUDE.md\n\n## Governance Rules\n\n手写条款\n');
-
-    await setupGovernanceConstraints(tempDir, io);
-
-    const claude = fs.readFileSync(path.join(tempDir, 'CLAUDE.md'), 'utf-8');
-    expect(claude).toContain('手写条款');
-    expect(claude).toContain(CONSTRAINTS_START_MARKER);
-    expect(fs.existsSync(path.join(tempDir, 'AGENTS.md'))).toBe(false);
-  });
-});