@dommaker/harness 1.1.0 → 1.2.0

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__/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(

package/src/__tests__/public-exports.test.ts

@@ -0,0 +1,138 @@
+/**
+ * 公共导出防回归（ADR-0003）
+ *
+ * 包根导出收敛为显式清单后，任何增删公共符号都必须显式评审：
+ * 改动 src/index.ts 导出清单时同步更新本文件的 EXPECTED_RUNTIME_EXPORTS，
+ * diff 即 PR 评审材料。
+ *
+ * 注意：Object.keys 只能看到运行时（值）导出；纯类型导出由
+ * src/index.ts 显式清单在编译期把关，不在本测试断言范围内。
+ */
+
+const EXPECTED_RUNTIME_EXPORTS = [
+  'AdaptiveTokenBudget',
+  'AgentLifecycle',
+  'CONSTRAINTS_END_MARKER',
+  'CONSTRAINTS_START_MARKER',
+  'CSOValidator',
+  'CheckCache',
+  'CheckpointValidator',
+  'CleanStateManager',
+  'ColdStartImporter',
+  'CommandGate',
+  'ConstraintViolationError',
+  'ConstraintViolationHandler',
+  'ContextTracker',
+  'ContractGate',
+  'DEFAULT_CLASSIFICATION_RULES',
+  'DEFAULT_CODE_CHECKPOINTS',
+  'DEFAULT_COMMAND_BLACKLIST',
+  'DEFAULT_COMPACTION_CONFIG',
+  'DEFAULT_DECAY_CONFIG',
+  'DEFAULT_LEVEL_MAPPING',
+  'DEFAULT_NONCODE_GLOBS',
+  'DEFAULT_TEST_GLOBS',
+  'DEFAULT_TRACE_FILE',
+  'ErrorClassifier',
+  'ErrorType',
+  'FailureLevel',
+  'FailureRecorder',
+  'FileKnowledgeStore',
+  'GATE_DEFINITIONS',
+  'GUIDELINES',
+  'HookPipeline',
+  'HookRegistry',
+  'IRON_LAWS',
+  'KnowledgeAudit',
+  'KnowledgeHealthScorer',
+  'KnowledgeIngest',
+  'KnowledgeInjector',
+  'KnowledgeLifecycle',
+  'KnowledgeLifecycleHooks',
+  'KnowledgeLinter',
+  'KnowledgeQuery',
+  'MINIMAL_CHECKPOINTS',
+  'PHASE_SUBJECT_RE',
+  'PROMPTS',
+  'PassesGate',
+  'PerformanceGate',
+  'ReferenceTracker',
+  'ReviewGate',
+  'SecurityGate',
+  'SessionCompaction',
+  'SessionManager',
+  'SessionStartup',
+  'SpecAcceptanceGate',
+  'SpecValidator',
+  'TESTED_BY_RE',
+  'TESTS_NONE_RE',
+  'TokenBudget',
+  'TokenEstimator',
+  'TraceAnalyzer',
+  'TraceCollector',
+  'assertGateRegistryClosed',
+  'assertHookRegistryClosed',
+  'bootstrapHarness',
+  'bootstrapHarnessSync',
+  'checkBeforeExecution',
+  'checkConstraint',
+  'checkConstraints',
+  'classifyCommitFiles',
+  'classifyError',
+  'configureTraceCollector',
+  'createAnalyzer',
+  'createCheckerGate',
+  'createCleanStateManager',
+  'createCommandGate',
+  'createContractGate',
+  'createErrorClassifier',
+  'createFailureRecorder',
+  'createPassesGate',
+  'createPerformanceGate',
+  'createReviewGate',
+  'createSecurityGate',
+  'createSessionStartup',
+  'createSpecAcceptanceGate',
+  'decisionFromResult',
+  'executeWithBlock',
+  'executeWithCollect',
+  'executeWithSafeBoolean',
+  'extractCodeStructure',
+  'findConstraintsByTrigger',
+  'getAllConstraints',
+  'getCommandGate',
+  'getCommandRiskLevel',
+  'getConstraint',
+  'getEffectiveConstraints',
+  'getEffectiveGates',
+  'getFailureLevel',
+  'getGate',
+  'getRegistryPath',
+  'getToolsDir',
+  'getTraceCollector',
+  'isCommandAllowed',
+  'lintEffectiveConfig',
+  'listRegisteredGates',
+  'matchAnyGlob',
+  'matchGlob',
+  'migrateKnowledgeEntries',
+  'registeredGateCount',
+  'renderConstraintsByTrigger',
+  'renderConstraintsSection',
+  'resolveGlobs',
+  'runGates',
+  'sanitizeExternalContent',
+  'toErrorStrategy',
+  'validateAllSpecs',
+  'validateSpec',
+  'verifyContractPresence',
+  'verifyPhaseFormat',
+  'verifyTddChain',
+];
+
+describe('公共导出清单（ADR-0003）', () => {
+  it('包根运行时导出键集合与显式清单一致', async () => {
+    const mod = await import('../index');
+    expect(Object.keys(mod).sort()).toEqual([...EXPECTED_RUNTIME_EXPORTS].sort());
+  });
+});