@dommaker/harness 1.1.1 → 1.2.1

package/src/__tests__/checker.test.ts

@@ -170,382 +170,6 @@ describe('ConstraintChecker', () => {
     });
   });
 
-  describe('Exception handling', () => {
-    it('should apply exception for scalability_required', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        scalabilityRequired: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'simplest_solution_first',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'SIMPLEST FIRST',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['scalability_required'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for security_required', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        securityRequired: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'simplest_solution_first',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'SIMPLEST FIRST',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['security_required'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for performance_required', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        performanceRequired: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'simplest_solution_first',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'SIMPLEST FIRST',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['performance_required'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for reliability_required', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        reliabilityRequired: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'simplest_solution_first',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'SIMPLEST FIRST',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['reliability_required'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for config_value_error', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isConfigValueError: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_fix_without_root_cause',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO FIX',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['config_value_error'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for missing_config', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isMissingConfig: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_fix_without_root_cause',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO FIX',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['missing_config'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for config_file', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isConfigFile: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_code_without_test',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO CODE',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['config_file'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for type_definition', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isTypeDefinition: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_code_without_test',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO CODE',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['type_definition'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for simple_accessor', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isSimpleAccessor: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_code_without_test',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO CODE',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['simple_accessor'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for pure_display_component', async () => {
-      const context: ConstraintContext = {
-        operation: 'code_implementation',
-        isPureDisplayComponent: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_code_without_test',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO CODE',
-          message: 'test',
-          trigger: 'code_implementation',
-          enforcement: 'test',
-          exceptions: ['pure_display_component'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for internal_refactor', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isInternalRefactor: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'capability_sync',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'CAPABILITY SYNC',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['internal_refactor'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for bug_fix_only', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isBugFixOnly: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'capability_sync',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'CAPABILITY SYNC',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['bug_fix_only'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for performance_optimization', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isPerformanceOptimization: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'capability_sync',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'CAPABILITY SYNC',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['performance_optimization'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for redundant_code_cleanup', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isRedundantCodeCleanup: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_simplification_without_approval',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO SIMPLIFICATION',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['redundant_code_cleanup'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for same_effect_refactor', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isSameEffectRefactor: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_simplification_without_approval',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO SIMPLIFICATION',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['same_effect_refactor'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-
-    it('should apply exception for unused_code_removal', async () => {
-      const context: ConstraintContext = {
-        operation: 'commit',
-        projectPath: tempDir,
-        isUnusedCodeRemoval: true,
-      };
-
-      const result = await checker.check(
-        {
-          id: 'no_simplification_without_approval',
-          kind: 'check',
-          level: 'guideline',
-          rule: 'NO SIMPLIFICATION',
-          message: 'test',
-          trigger: 'commit',
-          enforcement: 'test',
-          exceptions: ['unused_code_removal'],
-        },
-        context
-      );
-
-      expect(result.satisfied).toBe(true);
-    });
-  });
-
   describe('Prompt constraints（ADR-0001：不执行 checker，check() 短路 satisfied）', () => {
     it('所有内置 prompt 约束 check() 均短路通过', async () => {
       const context: ConstraintContext = { operation: 'code_implementation' };

package/src/__tests__/governance-presence.test.ts

@@ -0,0 +1,129 @@
+/**
+ * governance_presence checker 测试（studio #302，ADR 2026-08-21 落点模型）
+ *
+ * 在场守护：PRESERVE 只保「存在」不保「在场」——治理契约段被删除/掏空后
+ * sync-docs 重新生成会静默丢失，本 checker 在 harness check 时校验在场性。
+ */
+
+import { describe, it, expect, beforeEach, afterEach, jest } from '@jest/globals';
+import * as fs from 'fs';
+import * as path from 'path';
+import {
+  governancePresence,
+  hasGovernancePreserveBlock,
+  hasClaudeGovernance,
+} from '../core/constraints/checkers/governance-presence';
+import type { CheckEnv } from '../core/constraints/checkers';
+
+function makeEnv(projectPath: string): CheckEnv {
+  return {
+    context: { operation: 'commit', projectPath },
+    projectPath,
+    stagedDiff: async () => '',
+    stagedDiffNames: async () => '',
+    srcScan: () => [],
+  };
+}
+
+const GOVERNANCE_BLOCK = [
+  '<!-- PRESERVE:governance -->',
+  '## Governance Rules',
+  '',
+  '<!-- HARNESS_CONSTRAINTS_START -->',
+  '- **law_a**: 描述 a',
+  '<!-- HARNESS_CONSTRAINTS_END -->',
+  '<!-- /PRESERVE:governance -->',
+].join('\n');
+
+describe('governance_presence checker', () => {
+  let tempDir: string;
+  let errorSpy: jest.SpiedFunction<typeof console.error>;
+
+  const writeConfig = () => {
+    fs.mkdirSync(path.join(tempDir, '.harness'), { recursive: true });
+    fs.writeFileSync(path.join(tempDir, '.harness', 'config.yml'), 'preset: standard\n');
+  };
+
+  beforeEach(() => {
+    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-gov-presence-'));
+    errorSpy = jest.spyOn(console, 'error').mockImplementation(() => {});
+  });
+
+  afterEach(() => {
+    jest.restoreAllMocks();
+    fs.rmSync(tempDir, { recursive: true, force: true });
+  });
+
+  it('未采用 harness 治理（无 .harness/config.yml）→ skip', async () => {
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe('skip');
+  });
+
+  it('新模型：AGENTS.md 有非空 PRESERVE:governance 段 → pass', async () => {
+    writeConfig();
+    fs.writeFileSync(path.join(tempDir, 'AGENTS.md'), `# AGENTS.md\n\n${GOVERNANCE_BLOCK}\n`);
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
+  });
+
+  it('旧模型豁免：CLAUDE.md 有 Governance Rules 块（无 AGENTS.md）→ pass', async () => {
+    writeConfig();
+    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '# CLAUDE.md\n\n## Governance Rules\n\n条款\n');
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
+  });
+
+  it('旧模型豁免：CLAUDE.md 有 HARNESS_CONSTRAINTS 标记 → pass', async () => {
+    writeConfig();
+    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '<!-- HARNESS_CONSTRAINTS_START -->\nx\n');
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(true);
+  });
+
+  it('两处都没有治理契约 → fail 并报警（防静默丢失）', async () => {
+    writeConfig();
+    fs.writeFileSync(path.join(tempDir, 'AGENTS.md'), '# AGENTS.md\n\n只有机器生成内容\n');
+    fs.writeFileSync(path.join(tempDir, 'CLAUDE.md'), '# CLAUDE.md\n\n@AGENTS.md\n');
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(false);
+    expect(errorSpy).toHaveBeenCalledWith(expect.stringContaining('治理契约缺失'));
+  });
+
+  it('PRESERVE:governance 段为空（被掏空）且 CLAUDE.md 无治理块 → fail', async () => {
+    writeConfig();
+    fs.writeFileSync(
+      path.join(tempDir, 'AGENTS.md'),
+      '# AGENTS.md\n\n<!-- PRESERVE:governance -->\n\n<!-- /PRESERVE:governance -->\n'
+    );
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(false);
+  });
+
+  it('PRESERVE:governance 标记未闭合视为不在场 → fail', async () => {
+    writeConfig();
+    fs.writeFileSync(
+      path.join(tempDir, 'AGENTS.md'),
+      '# AGENTS.md\n\n<!-- PRESERVE:governance -->\n## Governance Rules\n内容\n'
+    );
+    expect(await governancePresence.evaluate(makeEnv(tempDir))).toBe(false);
+  });
+});
+
+describe('hasGovernancePreserveBlock / hasClaudeGovernance 判定函数', () => {
+  let tempDir: string;
+
+  beforeEach(() => {
+    tempDir = fs.mkdtempSync(path.join(process.cwd(), 'temp-test-gov-helpers-'));
+  });
+
+  afterEach(() => {
+    fs.rmSync(tempDir, { recursive: true, force: true });
+  });
+
+  it('文件不存在 → false', () => {
+    expect(hasGovernancePreserveBlock(path.join(tempDir, 'AGENTS.md'))).toBe(false);
+    expect(hasClaudeGovernance(path.join(tempDir, 'CLAUDE.md'))).toBe(false);
+  });
+
+  it('块体仅空白/注释外无内容 → false；有内容 → true', () => {
+    const p = path.join(tempDir, 'AGENTS.md');
+    fs.writeFileSync(p, '<!-- PRESERVE:governance -->\n   \n<!-- /PRESERVE:governance -->\n');
+    expect(hasGovernancePreserveBlock(p)).toBe(false);
+    fs.writeFileSync(p, `<!-- PRESERVE:governance -->\n条款一\n<!-- /PRESERVE:governance -->\n`);
+    expect(hasGovernancePreserveBlock(p)).toBe(true);
+  });
+});

package/src/__tests__/iron-laws.test.ts

@@ -1,5 +1,5 @@
 /**
- * 约束系统测试（ADR-0001：kind 二元模型，25 条清单构成 + 注册表闭环）
+ * 约束系统测试（ADR-0001：kind 二元模型，26 条清单构成 + 注册表闭环）
  */
 
 import { describe, it, expect } from '@jest/globals';
@@ -16,17 +16,17 @@ import { getConstraintCheck, registeredCheckCount } from '../core/constraints/ch
 import type { ConstraintContext } from '../types/constraint';
 
 describe('Constraint System', () => {
-  describe('清单构成（ADR-0001：42 → 25）', () => {
-    it('getAllConstraints 返回 25 条：9 check + 16 prompt', () => {
+  describe('清单构成（ADR-0001：42 → 26）', () => {
+    it('getAllConstraints 返回 26 条：10 check + 16 prompt', () => {
       const all = getAllConstraints();
-      expect(all).toHaveLength(25);
-      expect(all.filter(c => c.kind === 'check')).toHaveLength(9);
+      expect(all).toHaveLength(26);
+      expect(all.filter(c => c.kind === 'check')).toHaveLength(10);
       expect(all.filter(c => c.kind === 'prompt')).toHaveLength(16);
     });
 
-    it('check 层 = 5 iron + 4 guideline', () => {
+    it('check 层 = 5 iron + 5 guideline', () => {
       expect(Object.keys(IRON_LAWS)).toHaveLength(5);
-      expect(Object.keys(GUIDELINES)).toHaveLength(4);
+      expect(Object.keys(GUIDELINES)).toHaveLength(5);
       Object.values(IRON_LAWS).forEach(c => {
         expect(c.kind).toBe('check');
         expect(c.level).toBe('iron_law');

package/src/__tests__/project-config-loader-extra.test.ts

@@ -2,7 +2,7 @@
  * ProjectConfigLoader 补充测试
  */
 
-import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
+import { describe, it, expect, beforeAll, afterAll, jest } from '@jest/globals';
 import { ProjectConfigLoader } from '../core/project-config-loader';
 import * as fs from 'fs';
 import * as path from 'path';
@@ -123,34 +123,6 @@ custom_constraints:
     });
   });
 
-  describe('约束扩展', () => {
-    it('应该扩展例外列表', () => {
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        `
-custom_constraints:
-  extended_rule:
-    rule: EXTENDED RULE
-    message: Extended
-    level: guideline
-    trigger: commit
-    exceptions:
-      - simple_typo
-    extend_exceptions:
-      - config_change
-`
-      );
-
-      const loader = new ProjectConfigLoader(tempDir);
-      loader.load();
-      const merged = loader.mergeConstraints();
-
-      expect(merged.guidelines['extended_rule']?.exceptions).toBeDefined();
-      expect(merged.guidelines['extended_rule']?.exceptions).toContain('simple_typo');
-      expect(merged.guidelines['extended_rule']?.exceptions).toContain('config_change');
-    });
-  });
-
   describe('isConstraintEnabled', () => {
     it('启用的约束应该返回 true', () => {
       const loader = new ProjectConfigLoader(tempDir);
@@ -263,6 +235,47 @@ custom_constraints:
     });
   });
 
+  describe('preset 裁剪（内联自原 applyPreset）', () => {
+    it('options.preset 覆盖 config.yml 的 preset', () => {
+      fs.writeFileSync(
+        path.join(harnessDir, 'config.yml'),
+        `preset: standard`
+      );
+
+      const loader = new ProjectConfigLoader(tempDir);
+      loader.load();
+      const merged = loader.mergeConstraints({ preset: 'relaxed' });
+
+      // relaxed 仅启用 3 条铁律 + 2 条指导原则，禁用提示
+      expect(Object.keys(merged.ironLaws)).toHaveLength(3);
+      expect(Object.keys(merged.guidelines)).toHaveLength(2);
+      expect(Object.keys(merged.prompts ?? {})).toHaveLength(0);
+      expect(merged.disabled.length).toBeGreaterThan(0);
+    });
+
+    it('未知预设名回落 standard + stderr 警告', () => {
+      fs.writeFileSync(
+        path.join(harnessDir, 'config.yml'),
+        `preset: no_such_preset`
+      );
+
+      const errorSpy = jest.spyOn(console, 'error').mockImplementation(() => {});
+      try {
+        const loader = new ProjectConfigLoader(tempDir);
+        loader.load();
+        const merged = loader.mergeConstraints();
+
+        // 回落 standard = 全部启用
+        expect(merged.disabled).toEqual([]);
+        expect(errorSpy).toHaveBeenCalledWith(
+          expect.stringContaining('未知预设 "no_such_preset"')
+        );
+      } finally {
+        errorSpy.mockRestore();
+      }
+    });
+  });
+
   describe('getCustomConstraints', () => {
     it('应该返回自定义约束', () => {
       fs.writeFileSync(