@dommaker/harness 0.16.9 → 0.17.1

package/src/constraints/__tests__/lifecycle-runner.test.ts

@@ -1,246 +0,0 @@
-/**
- * ConstraintLifecycleRunner 测试
- */
-
-import { describe, it, expect, beforeEach } from '@jest/globals';
-import { ConstraintLifecycleRunner, type ExecutionResult } from '../lifecycle-runner';
-import { ConstraintRegistry } from '../registry';
-import type { ConstraintProposal } from '../../types/monitoring-types';
-
-function makeProposal(overrides: Partial<ConstraintProposal> = {}): ConstraintProposal {
-  return {
-    id: 'test-proposal-1',
-    proposedAt: Date.now(),
-    diagnosisId: 'diag-1',
-    constraintId: 'no_fix_without_root_cause',
-    type: 'change_level',
-    content: { proposed: 'tip', description: '降级为 tip' },
-    reasoning: 'low intercept rate',
-    expectedOutcome: 'fewer interruptions',
-    risk: { level: 'low', description: 'safe' },
-    implementation: { files: [], linesChanged: 0, testsRequired: false },
-    status: 'accepted',
-    ...overrides,
-  };
-}
-
-describe('ConstraintLifecycleRunner', () => {
-  let runner: ConstraintLifecycleRunner;
-  let registry: ConstraintRegistry;
-
-  beforeEach(() => {
-    registry = new ConstraintRegistry();
-    runner = new ConstraintLifecycleRunner(registry);
-  });
-
-  describe('execute - change_level', () => {
-    it('应该成功降级质量层约束', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'change_level',
-        content: { proposed: 'tip', description: '降级' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(true);
-      expect(result.action).toBe('degrade');
-      expect(result.details).toContain('Degraded');
-
-      // 验证 registry 状态已改变
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.deprecationStatus).toBe('deprecated');
-    });
-
-    it('应该拒绝安全层约束的 level 变更', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_bypass_checkpoint',
-        type: 'change_level',
-        content: { proposed: 'guideline', description: '降级' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(false);
-      expect(result.details).toContain('safety-layer');
-    });
-
-    it('应该返回失败当约束不存在', () => {
-      const proposal = makeProposal({
-        constraintId: 'nonexistent_constraint',
-        type: 'change_level',
-        content: { proposed: 'tip', description: '降级' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(false);
-      expect(result.details).toContain('not found');
-    });
-  });
-
-  describe('execute - add_exception', () => {
-    it('应该成功添加例外', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'add_exception',
-        content: { proposed: 'new_exception', description: '新增例外' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(true);
-      expect(result.action).toBe('add_exception');
-      expect(result.details).toContain('new_exception');
-
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.exceptions).toContain('new_exception');
-    });
-
-    it('应该拒绝重复的例外', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'add_exception',
-        content: { proposed: 'simple_typo', description: '重复例外' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(false);
-      expect(result.details).toContain('already exists');
-    });
-  });
-
-  describe('execute - adjust_trigger', () => {
-    it('应该成功修改触发条件', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'adjust_trigger',
-        content: { proposed: ['code_implementation', 'code_implementation'], description: '扩展触发' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(true);
-      expect(result.action).toBe('adjust_trigger');
-
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.trigger).toEqual(['code_implementation', 'code_implementation']);
-    });
-  });
-
-  describe('execute - modify_message', () => {
-    it('应该成功修改消息', () => {
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'modify_message',
-        content: { proposed: '新的消息', description: '更新消息' },
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(true);
-      expect(result.action).toBe('modify_message');
-
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.message).toBe('新的消息');
-    });
-  });
-
-  describe('execute - unsupported type', () => {
-    it('应该拒绝不支持的提案类型', () => {
-      const proposal = makeProposal({
-        type: 'new_constraint' as any,
-      });
-
-      const result = runner.execute(proposal);
-
-      expect(result.success).toBe(false);
-      expect(result.details).toContain('Unsupported');
-    });
-  });
-
-  describe('executeBatch', () => {
-    it('应该批量执行多个提案', () => {
-      const proposals = [
-        makeProposal({
-          id: 'p1',
-          constraintId: 'no_fix_without_root_cause',
-          type: 'modify_message',
-          content: { proposed: '消息1', description: '更新' },
-        }),
-        makeProposal({
-          id: 'p2',
-          constraintId: 'no_code_without_test',
-          type: 'modify_message',
-          content: { proposed: '消息2', description: '更新' },
-        }),
-      ];
-
-      const results = runner.executeBatch(proposals);
-
-      expect(results).toHaveLength(2);
-      expect(results[0].success).toBe(true);
-      expect(results[1].success).toBe(true);
-    });
-  });
-
-  describe('rollbackConstraint', () => {
-    it('应该成功回滚已降级的约束', () => {
-      // 先降级
-      const proposal = makeProposal({
-        constraintId: 'no_fix_without_root_cause',
-        type: 'change_level',
-        content: { proposed: 'tip', description: '降级' },
-      });
-      runner.execute(proposal);
-
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.deprecationStatus).toBe('deprecated');
-
-      // 回滚
-      const success = runner.rollbackConstraint('no_fix_without_root_cause', 'guideline');
-      expect(success).toBe(true);
-
-      const after = registry.get('no_fix_without_root_cause');
-      expect(after?.deprecationStatus).toBe('active');
-      expect(after?.level).toBe('guideline');
-    });
-  });
-
-  describe('scheduleDeprecation', () => {
-    it('应该成功设置弃用计划', () => {
-      const success = runner.scheduleDeprecation('no_fix_without_root_cause', {
-        targetLevel: 'tip',
-        reason: 'low usage',
-        rollbackable: true,
-      });
-
-      expect(success).toBe(true);
-
-      const constraint = registry.get('no_fix_without_root_cause');
-      expect(constraint?.deprecationStatus).toBe('scheduled');
-    });
-
-    it('应该拒绝安全层约束的弃用计划', () => {
-      const success = runner.scheduleDeprecation('no_bypass_checkpoint', {
-        targetLevel: 'guideline',
-        reason: 'test',
-        rollbackable: false,
-      });
-
-      expect(success).toBe(false);
-    });
-  });
-
-  describe('getRegistry', () => {
-    it('应该返回内部 registry 实例', () => {
-      expect(runner.getRegistry()).toBe(registry);
-    });
-
-    it('应该在无参数时创建默认 registry', () => {
-      const defaultRunner = new ConstraintLifecycleRunner();
-      expect(defaultRunner.getRegistry()).toBeDefined();
-    });
-  });
-});

package/src/constraints/__tests__/registry.test.ts

@@ -1,196 +0,0 @@
-/**
- * ConstraintRegistry 测试
- */
-
-import { ConstraintRegistry } from '../registry';
-import { IRON_LAWS, GUIDELINES, TIPS } from '../../core/constraints/definitions';
-
-const SAFETY_COUNT = Object.keys(IRON_LAWS).length;       // 7
-const QUALITY_COUNT = Object.keys(GUIDELINES).length + Object.keys(TIPS).length; // 13
-
-describe('ConstraintRegistry', () => {
-  let registry: ConstraintRegistry;
-
-  beforeEach(() => {
-    registry = new ConstraintRegistry();
-  });
-
-  describe('get', () => {
-    it('应该获取安全层约束', () => {
-      const constraint = registry.get('no_bypass_checkpoint');
-      expect(constraint).toBeDefined();
-      expect(constraint?.layer).toBe('safety');
-      expect(constraint?.permanent).toBe(false); // 所有层级均可退化
-    });
-
-    it('应该获取质量层约束', () => {
-      const constraint = registry.get('no_any_type');
-      expect(constraint).toBeDefined();
-      expect(constraint?.layer).toBe('quality');
-    });
-
-    it('应该返回 undefined 对于不存在的约束', () => {
-      expect(registry.get('nonexistent')).toBeUndefined();
-    });
-  });
-
-  describe('getAll', () => {
-    it('应该返回所有约束', () => {
-      const all = registry.getAll();
-      expect(all.length).toBe(SAFETY_COUNT + QUALITY_COUNT);
-    });
-  });
-
-  describe('getByLayer', () => {
-    it('应该按层过滤', () => {
-      const safety = registry.getByLayer('safety');
-      const quality = registry.getByLayer('quality');
-
-      expect(safety.every(c => c.layer === 'safety')).toBe(true);
-      expect(quality.every(c => c.layer === 'quality')).toBe(true);
-      expect(safety.length).toBe(SAFETY_COUNT);
-    });
-  });
-
-  describe('getByStatus', () => {
-    it('应该按退化状态过滤', () => {
-      const active = registry.getByStatus('active');
-      expect(active.length).toBe(registry.getAll().length);
-
-      const deprecated = registry.getByStatus('deprecated');
-      expect(deprecated.length).toBe(0);
-    });
-  });
-
-  describe('getByTrigger', () => {
-    it('应该按触发条件查找', () => {
-      const constraints = registry.getByTrigger('code_implementation');
-      expect(constraints.length).toBeGreaterThan(0);
-      expect(constraints.every(c => {
-        const triggers = Array.isArray(c.trigger) ? c.trigger : [c.trigger];
-        return triggers.includes('code_implementation');
-      })).toBe(true);
-    });
-  });
-
-  describe('degrade', () => {
-    it('应该降低约束级别', () => {
-      const result = registry.degrade('no_any_type');
-      expect(result).toBe(true);
-
-      const constraint = registry.get('no_any_type');
-      expect(constraint?.level).toBe('tip');
-      expect(constraint?.deprecationStatus).toBe('deprecated');
-    });
-
-    it('安全层约束也可以退化（Iron Law <5% 高阈值）', () => {
-      const result = registry.degrade('no_bypass_checkpoint');
-      expect(result).toBe(true);
-    });
-
-    it('不应该退化非 active 约束', () => {
-      registry.degrade('no_any_type');
-      const result = registry.degrade('no_any_type');
-      expect(result).toBe(false);
-    });
-  });
-
-  describe('rollback', () => {
-    it('应该回滚退化', () => {
-      registry.degrade('no_any_type');
-      const result = registry.rollback('no_any_type', 'guideline');
-      expect(result).toBe(true);
-
-      const constraint = registry.get('no_any_type');
-      expect(constraint?.level).toBe('guideline');
-      expect(constraint?.deprecationStatus).toBe('active');
-    });
-
-    it('不应该回滚不存在的约束', () => {
-      const result = registry.rollback('nonexistent', 'guideline');
-      expect(result).toBe(false);
-    });
-  });
-
-  describe('scheduleDeprecation', () => {
-    it('应该为质量层约束安排退化', () => {
-      const result = registry.scheduleDeprecation('no_skill_without_test', {
-        targetLevel: 'tip',
-        reason: '测试能力提升',
-        rollbackable: true,
-      });
-      expect(result).toBe(true);
-
-      const constraint = registry.get('no_skill_without_test');
-      expect(constraint?.deprecationStatus).toBe('scheduled');
-    });
-
-    it('不应该为安全层约束安排退化', () => {
-      const result = registry.scheduleDeprecation('no_bypass_checkpoint', {
-        targetLevel: 'tip',
-        reason: 'test',
-        rollbackable: true,
-      });
-      expect(result).toBe(false);
-    });
-  });
-
-  describe('getLayerStats', () => {
-    it('应该返回层统计', () => {
-      const stats = registry.getLayerStats();
-      expect(stats.length).toBe(2);
-
-      const safetyStats = stats.find(s => s.layer === 'safety')!;
-      expect(safetyStats.totalConstraints).toBe(SAFETY_COUNT);
-      expect(safetyStats.active).toBe(safetyStats.totalConstraints);
-
-      const qualityStats = stats.find(s => s.layer === 'quality')!;
-      expect(qualityStats.totalConstraints).toBe(QUALITY_COUNT);
-    });
-  });
-
-  describe('toLegacyConstraints', () => {
-    it('应该转换为旧格式', () => {
-      const legacy = registry.toLegacyConstraints();
-      expect(legacy.length).toBe(registry.getAll().length);
-      expect(legacy[0]).toHaveProperty('id');
-      expect(legacy[0]).toHaveProperty('rule');
-      expect(legacy[0]).toHaveProperty('level');
-      expect(legacy[0]).not.toHaveProperty('layer');
-      expect(legacy[0]).not.toHaveProperty('deprecationStatus');
-    });
-  });
-
-  describe('register / remove', () => {
-    it('应该注册自定义约束', () => {
-      registry.register({
-        id: 'custom',
-        rule: 'CUSTOM',
-        message: '自定义约束',
-        level: 'guideline',
-        trigger: 'code_implementation',
-        enforcement: 'custom-check',
-        layer: 'quality',
-        deprecationStatus: 'active',
-      });
-
-      expect(registry.get('custom')).toBeDefined();
-    });
-
-    it('应该移除约束', () => {
-      registry.register({
-        id: 'temp',
-        rule: 'TEMP',
-        message: '临时',
-        level: 'tip',
-        trigger: 'commit',
-        enforcement: 'temp',
-        layer: 'quality',
-        deprecationStatus: 'active',
-      });
-
-      expect(registry.remove('temp')).toBe(true);
-      expect(registry.get('temp')).toBeUndefined();
-    });
-  });
-});

package/src/constraints/lifecycle-runner.ts

@@ -1,184 +0,0 @@
-/**
- * 约束生命周期执行器
- *
- * 将 ConstraintEvolver 生成的提案转化为 ConstraintRegistry 实际操作。
- * 连接 monitoring 层（proposal）和 constraints 层（registry）。
- */
-
-import { ConstraintRegistry } from './registry';
-import type { ConstraintProposal } from '../types/monitoring-types';
-import type { ConstraintLevel } from '../types/constraint';
-import type { DeprecationSchedule } from './types';
-
-/**
- * 提案执行结果
- */
-export interface ExecutionResult {
-  proposalId: string;
-  constraintId: string;
-  action: string;
-  success: boolean;
-  details: string;
-}
-
-/**
- * 约束生命周期执行器
- *
- * 将 evolver 的提案（proposal）转化为 registry 的实际操作（degrade/rollback/scheduleDeprecation）
- */
-export class ConstraintLifecycleRunner {
-  private registry: ConstraintRegistry;
-
-  constructor(registry?: ConstraintRegistry) {
-    this.registry = registry || new ConstraintRegistry();
-  }
-
-  getRegistry(): ConstraintRegistry {
-    return this.registry;
-  }
-
-  /**
-   * 执行单个已接受的提案
-   */
-  execute(proposal: ConstraintProposal): ExecutionResult {
-    switch (proposal.type) {
-      case 'change_level':
-        return this.executeLevelChange(proposal);
-      case 'add_exception':
-        return this.executeAddException(proposal);
-      case 'adjust_trigger':
-        return this.executeAdjustTrigger(proposal);
-      case 'modify_message':
-        return this.executeModifyMessage(proposal);
-      default:
-        return {
-          proposalId: proposal.id,
-          constraintId: proposal.constraintId,
-          action: proposal.type,
-          success: false,
-          details: `Unsupported proposal type: ${proposal.type}`,
-        };
-    }
-  }
-
-  /**
-   * 批量执行提案
-   */
-  executeBatch(proposals: ConstraintProposal[]): ExecutionResult[] {
-    return proposals.map(p => this.execute(p));
-  }
-
-  /**
-   * 回滚已降级的约束
-   */
-  rollbackConstraint(constraintId: string, originalLevel: ConstraintLevel): boolean {
-    return this.registry.rollback(constraintId, originalLevel);
-  }
-
-  /**
-   * 设置约束的弃用计划
-   */
-  scheduleDeprecation(constraintId: string, schedule: DeprecationSchedule): boolean {
-    return this.registry.scheduleDeprecation(constraintId, schedule);
-  }
-
-  private executeLevelChange(proposal: ConstraintProposal): ExecutionResult {
-    const constraint = this.registry.get(proposal.constraintId);
-    if (!constraint) {
-      return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
-    }
-
-    if (constraint.layer === 'safety') {
-      return this.failResult(proposal, 'Cannot change level of safety-layer constraint');
-    }
-
-    const targetLevel = proposal.content.proposed as ConstraintLevel;
-    const currentLevel = constraint.level;
-
-    const levelOrder: Record<string, number> = { iron_law: 0, guideline: 1, tip: 2 };
-    if ((levelOrder[targetLevel] ?? 99) > (levelOrder[currentLevel] ?? 0)) {
-      const success = this.registry.degrade(proposal.constraintId);
-      return {
-        proposalId: proposal.id,
-        constraintId: proposal.constraintId,
-        action: 'degrade',
-        success,
-        details: success
-          ? `Degraded from ${currentLevel} to ${targetLevel}`
-          : 'Degradation failed',
-      };
-    }
-
-    return this.failResult(proposal, 'Level change direction not supported via registry');
-  }
-
-  private executeAddException(proposal: ConstraintProposal): ExecutionResult {
-    const constraint = this.registry.get(proposal.constraintId);
-    if (!constraint) {
-      return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
-    }
-
-    const exception = proposal.content.proposed;
-    const currentExceptions = constraint.exceptions || [];
-
-    if (currentExceptions.includes(exception)) {
-      return this.failResult(proposal, `Exception ${exception} already exists`);
-    }
-
-    if (!constraint.exceptions) constraint.exceptions = [];
-    constraint.exceptions.push(exception);
-
-    return {
-      proposalId: proposal.id,
-      constraintId: proposal.constraintId,
-      action: 'add_exception',
-      success: true,
-      details: `Added exception: ${exception}`,
-    };
-  }
-
-  private executeAdjustTrigger(proposal: ConstraintProposal): ExecutionResult {
-    const constraint = this.registry.get(proposal.constraintId);
-    if (!constraint) {
-      return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
-    }
-
-    const oldTrigger = constraint.trigger;
-    constraint.trigger = proposal.content.proposed;
-
-    return {
-      proposalId: proposal.id,
-      constraintId: proposal.constraintId,
-      action: 'adjust_trigger',
-      success: true,
-      details: `Changed trigger from ${JSON.stringify(oldTrigger)} to ${JSON.stringify(proposal.content.proposed)}`,
-    };
-  }
-
-  private executeModifyMessage(proposal: ConstraintProposal): ExecutionResult {
-    const constraint = this.registry.get(proposal.constraintId);
-    if (!constraint) {
-      return this.failResult(proposal, `Constraint ${proposal.constraintId} not found`);
-    }
-
-    constraint.message = proposal.content.proposed;
-
-    return {
-      proposalId: proposal.id,
-      constraintId: proposal.constraintId,
-      action: 'modify_message',
-      success: true,
-      details: 'Updated message',
-    };
-  }
-
-  private failResult(proposal: ConstraintProposal, details: string): ExecutionResult {
-    return {
-      proposalId: proposal.id,
-      constraintId: proposal.constraintId,
-      action: proposal.type,
-      success: false,
-      details,
-    };
-  }
-}