@dommaker/harness 1.1.0 → 1.2.0

package/src/core/constraints/interceptor.ts

@@ -1,214 +0,0 @@
-/**
- * ConstraintInterceptor - 约束拦截器
- */
-
-import type {
-  ConstraintTrigger,
-  ConstraintContext,
-  ConstraintLevel,
-  ConstraintResult,
-} from '../../types/constraint';
-import { ConstraintViolationError } from '../../types/constraint';
-import { normalizeTriggers } from '../../utils/exec';
-import type {
-  EnforcementId,
-  EnforcementExecutor,
-  EnforcementContext,
-  InterceptionResult,
-} from '../../types/enforcement';
-import { constraintChecker } from './checker';
-
-export class ConstraintInterceptor {
-  private static instance: ConstraintInterceptor;
-  private executors: Map<EnforcementId, EnforcementExecutor> = new Map();
-  private executorSources: Map<EnforcementId, string> = new Map();
-  private enabled: boolean = true;
-  private skipEnforcements: Set<EnforcementId> = new Set();
-
-  private constructor() {}
-
-  static getInstance(): ConstraintInterceptor {
-    if (!ConstraintInterceptor.instance) {
-      ConstraintInterceptor.instance = new ConstraintInterceptor();
-    }
-    return ConstraintInterceptor.instance;
-  }
-
-  setEnabled(enabled: boolean): void {
-    this.enabled = enabled;
-  }
-
-  register(
-    enforcementId: EnforcementId,
-    executor: EnforcementExecutor,
-    source?: string
-  ): void {
-    this.executors.set(enforcementId, executor);
-    if (source) this.executorSources.set(enforcementId, source);
-  }
-
-  registerBatch(
-    registrations: Array<{
-      enforcementId: EnforcementId;
-      executor: EnforcementExecutor;
-    }>
-  ): void {
-    for (const { enforcementId, executor } of registrations) {
-      this.register(enforcementId, executor);
-    }
-  }
-
-  unregister(enforcementId: EnforcementId): boolean {
-    return this.executors.delete(enforcementId);
-  }
-
-  hasExecutor(enforcementId: EnforcementId): boolean {
-    return this.executors.has(enforcementId);
-  }
-
-  getExecutor(enforcementId: EnforcementId): EnforcementExecutor | undefined {
-    return this.executors.get(enforcementId);
-  }
-
-  getRegistrations(): { id: EnforcementId; executor: EnforcementExecutor; registeredAt: Date; source?: string }[] {
-    return Array.from(this.executors.entries()).map(([id, executor]) => ({
-      id,
-      executor,
-      registeredAt: new Date(),
-      source: this.executorSources.get(id),
-    }));
-  }
-
-  skip(enforcementIds: EnforcementId[]): void {
-    for (const id of enforcementIds) {
-      this.skipEnforcements.add(id);
-    }
-  }
-
-  clearSkips(): void {
-    this.skipEnforcements.clear();
-  }
-
-  async intercept(
-    trigger: ConstraintTrigger,
-    context: ConstraintContext
-  ): Promise<InterceptionResult> {
-    if (!this.enabled) {
-      return {
-        passed: true,
-        constraints: [],
-        violations: [],
-        message: '拦截器已禁用',
-        interceptedAt: new Date(),
-      };
-    }
-
-    const result: InterceptionResult = {
-      passed: true,
-      constraints: [],
-      violations: [],
-      interceptedAt: new Date(),
-    };
-
-    const constraints = constraintChecker.getConstraints();
-    // prompt 类约束不参与拦截执行（ADR-0001：仅参与注入）
-    const allConstraints = [
-      ...Object.values(constraints.ironLaws),
-      ...Object.values(constraints.guidelines),
-    ].filter(c => c.kind !== 'prompt');
-
-    const applicableConstraints = allConstraints.filter(
-      (c) => normalizeTriggers<ConstraintTrigger>(c.trigger).includes(trigger)
-    );
-
-    const order: Record<ConstraintLevel, number> = { iron_law: 0, guideline: 1, prompt: 2 };
-    const ordered = applicableConstraints.sort((a, b) => order[a.level] - order[b.level]);
-
-    for (const constraint of ordered) {
-      if (this.skipEnforcements.has(constraint.enforcement)) {
-        result.constraints.push({ constraint, skipped: true, skipReason: 'configured to skip' });
-        continue;
-      }
-
-      // Custom executor overrides built-in check
-      const executor = this.executors.get(constraint.enforcement);
-      let checkResult: ConstraintResult;
-
-      if (executor) {
-        const enforcementContext: EnforcementContext = { ...context, enforcementId: constraint.enforcement, constraint };
-        const start = Date.now();
-        try {
-          const enforcementResult = await executor.execute(enforcementContext);
-          enforcementResult.duration = Date.now() - start;
-          result.constraints.push({ constraint, enforcementResult });
-          checkResult = {
-            id: constraint.id, level: constraint.level,
-            satisfied: enforcementResult.passed,
-            message: enforcementResult.message,
-            checkedAt: new Date(),
-            constraint,
-          };
-        } catch (error) {
-          if (error instanceof ConstraintViolationError) throw error;
-          result.constraints.push({ constraint, enforcementResult: { passed: false, error: (error as Error).message, duration: Date.now() - start } });
-          checkResult = { id: constraint.id, level: constraint.level, satisfied: false, message: (error as Error).message, checkedAt: new Date(), constraint };
-        }
-      } else {
-        // Unified: constraint.check(context) delegates to checker
-        checkResult = await (constraint as any).check(context);
-        result.constraints.push({ constraint, enforcementResult: { passed: checkResult.satisfied, message: checkResult.message } });
-      }
-
-      if (!checkResult.satisfied) {
-        if (constraint.level === 'iron_law') {
-          result.passed = false;
-          result.violations.push(constraint);
-          throw new ConstraintViolationError(checkResult);
-        }
-        if (constraint.level === 'guideline') {
-          result.violations.push(constraint);
-        }
-      }
-    }
-
-    result.message = result.violations.length === 0 ? '✅ 拦截通过' : `❌ ${result.violations.length} 个约束违规`;
-    return result;
-  }
-
-  async claim(trigger: ConstraintTrigger, context: ConstraintContext): Promise<void> {
-    const result = await this.intercept(trigger, context);
-    if (!result.passed) {
-      throw new ConstraintViolationError({
-        id: result.violations[0]?.id || 'unknown',
-        level: 'iron_law',
-        satisfied: false,
-        message: result.message,
-        checkedAt: new Date(),
-      });
-    }
-  }
-
-  async canProceed(trigger: ConstraintTrigger, context: ConstraintContext): Promise<boolean> {
-    try {
-      return (await this.intercept(trigger, context)).passed;
-    } catch {
-      return false;
-    }
-  }
-}
-
-export const constraintInterceptor = ConstraintInterceptor.getInstance();
-
-export async function interceptOperation(
-  trigger: ConstraintTrigger,
-  context: ConstraintContext
-): Promise<InterceptionResult> {
-  return constraintInterceptor.intercept(trigger, context);
-}
-
-export async function claimOperation(
-  trigger: ConstraintTrigger,
-  context: ConstraintContext
-): Promise<void> {
-  return constraintInterceptor.claim(trigger, context);
-}

package/src/dashboard/CONTEXT.md

@@ -1,21 +0,0 @@
-# dashboard/
-
-## 职责
-仪表盘：统计数据聚合、数据源管理。
-
-## 核心导出
-- `types.ts` — Dashboard 类型定义
-- `stats.ts` — 统计数据计算
-- `data.ts` — 数据源管理
-
-## 依赖关系
-- 依赖 `src/monitoring/` 追踪/性能数据
-- 依赖 `src/knowledge/` 知识统计
-- 被 CLI status 命令消费
-
-## 约定
-- 仪表盘数据从 .harness/ 运行时状态读取
-- 统计数据纯计算，不调用外部服务
-
-## 注意事项
-- 相对较新的模块，功能在持续完善中

package/src/dashboard/__tests__/data.test.ts

@@ -1,111 +0,0 @@
-/**
- * DashboardDataProvider 测试
- */
-
-import { DashboardDataProvider } from '../data';
-import type { KnowledgeEntry } from '../../knowledge/types';
-import type { ConstraintStats } from '../types';
-
-function makeEntry(overrides: Partial<KnowledgeEntry> = {}): KnowledgeEntry {
-  return {
-    id: `test-${Math.random().toString(36).slice(2, 6)}`,
-    type: 'decision',
-    title: 'Test',
-    content: '',
-    maturity: 'verified',
-    layer: 'project',
-    created: new Date().toISOString(),
-    lastReferenced: new Date().toISOString(),
-    contributors: [],
-    projects: [],
-    tags: [],
-    applicablePhases: [],
-    sourceReferences: [],
-    referencedBy: [],
-    executionResults: [],
-    consumptionMode: 'reference',
-    origin: 'agent',
-    ...overrides,
-  };
-}
-
-describe('DashboardDataProvider', () => {
-  let provider: DashboardDataProvider;
-
-  beforeEach(() => {
-    provider = new DashboardDataProvider();
-  });
-
-  describe('generate', () => {
-    it('应该生成完整 Dashboard 数据', () => {
-      const entries = [makeEntry(), makeEntry({ type: 'guideline', maturity: 'proven' })];
-      const data = provider.generate(entries);
-
-      expect(data.timestamp).toBeDefined();
-      expect(data.knowledgeOverview.total).toBe(2);
-      expect(data.constraintHeatmap).toBeDefined();
-      expect(data.knowledgeFlow).toBeDefined();
-      expect(data.feedbackLoop).toBeDefined();
-    });
-
-    it('应该接受约束统计', () => {
-      const stats: ConstraintStats[] = [{
-        constraintId: 'no_bypass_checkpoint',
-        triggerCount: 100,
-        passCount: 78,
-        interceptCount: 22,
-        interceptRate: 22,
-        lastTriggered: new Date().toISOString(),
-      }];
-
-      const data = provider.generate([], stats);
-      const heatmap = data.constraintHeatmap;
-      const entry = heatmap.constraints.find(c => c.id === 'no_bypass_checkpoint');
-      expect(entry?.trigger).toBe(100);
-      expect(entry?.intercept).toBe(22);
-    });
-  });
-
-  describe('getKnowledgeOverview', () => {
-    it('应该返回知识概览', () => {
-      const overview = provider.getKnowledgeOverview([makeEntry()]);
-      expect(overview.total).toBe(1);
-    });
-  });
-
-  describe('getConstraintHeatmap', () => {
-    it('应该包含所有约束', () => {
-      const heatmap = provider.getConstraintHeatmap([]);
-      expect(heatmap.constraints.length).toBeGreaterThan(0);
-      expect(heatmap.period).toBe('近 30 天');
-    });
-
-    it('应该标记从未触发的约束', () => {
-      const heatmap = provider.getConstraintHeatmap([]);
-      expect(heatmap.neverTriggered.length).toBeGreaterThan(0);
-    });
-
-    it('应该检测拦截率下降的约束', () => {
-      const stats: ConstraintStats[] = [{
-        constraintId: 'no_bypass_checkpoint',
-        triggerCount: 100,
-        passCount: 90,
-        interceptCount: 10,
-        interceptRate: 10,
-      }];
-
-      const heatmap = provider.getConstraintHeatmap(stats);
-      expect(heatmap.decliningInterceptRate.some(c => c.id === 'no_bypass_checkpoint')).toBe(true);
-    });
-  });
-
-  describe('getFeedbackLoop', () => {
-    it('应该返回反馈环状态', () => {
-      const loop = provider.getFeedbackLoop();
-      expect(loop.local).toBeDefined();
-      expect(loop.push).toBeDefined();
-      expect(loop.external).toBeDefined();
-      expect(loop.feedbackToKnowledge).toBeDefined();
-    });
-  });
-});

package/src/dashboard/__tests__/stats.test.ts

@@ -1,159 +0,0 @@
-/**
- * Dashboard stats 测试
- */
-
-import { computeKnowledgeOverview, computeKnowledgeFlow, computeInterceptRate } from '../stats';
-import type { KnowledgeEntry } from '../../knowledge/types';
-
-function makeEntry(overrides: Partial<KnowledgeEntry> = {}): KnowledgeEntry {
-  return {
-    id: `test-${Math.random().toString(36).slice(2, 6)}`,
-    type: 'decision',
-    title: 'Test',
-    content: '',
-    maturity: 'verified',
-    layer: 'project',
-    created: new Date().toISOString(),
-    lastReferenced: new Date().toISOString(),
-    contributors: [],
-    projects: [],
-    tags: [],
-    applicablePhases: [],
-    sourceReferences: [],
-    referencedBy: [],
-    executionResults: [],
-    consumptionMode: 'reference',
-    origin: 'agent',
-    ...overrides,
-  };
-}
-
-describe('computeKnowledgeOverview', () => {
-  it('应该返回空概览当无条目', () => {
-    const overview = computeKnowledgeOverview([]);
-    expect(overview.total).toBe(0);
-    expect(overview.maturityDistribution.provenPercent).toBe(0);
-  });
-
-  it('应该按类型统计', () => {
-    const entries = [
-      makeEntry({ type: 'decision', maturity: 'proven' }),
-      makeEntry({ type: 'decision', maturity: 'verified' }),
-      makeEntry({ type: 'guideline', maturity: 'draft' }),
-    ];
-
-    const overview = computeKnowledgeOverview(entries);
-    expect(overview.total).toBe(3);
-    expect(overview.byType.length).toBe(2);
-
-    const decisions = overview.byType.find(b => b.type === 'decision')!;
-    expect(decisions.total).toBe(2);
-    expect(decisions.proven).toBe(1);
-    expect(decisions.verified).toBe(1);
-  });
-
-  it('应该计算成熟度分布百分比', () => {
-    const entries = [
-      makeEntry({ maturity: 'proven' }),
-      makeEntry({ maturity: 'proven' }),
-      makeEntry({ maturity: 'verified' }),
-      makeEntry({ maturity: 'draft' }),
-    ];
-
-    const overview = computeKnowledgeOverview(entries);
-    expect(overview.maturityDistribution.provenPercent).toBe(50);
-    expect(overview.maturityDistribution.verifiedPercent).toBe(25);
-    expect(overview.maturityDistribution.draftPercent).toBe(25);
-  });
-
-  it('应该计算衰减预警', () => {
-    const oldDate = '2020-01-01T00:00:00.000Z';
-    const entries = [
-      makeEntry({ maturity: 'proven', lastReferenced: oldDate }),
-      makeEntry({ maturity: 'verified', lastReferenced: oldDate }),
-      makeEntry({ maturity: 'verified', lastReferenced: new Date().toISOString() }),
-    ];
-
-    const overview = computeKnowledgeOverview(entries);
-    expect(overview.decayWarning.provenUnused6m).toBe(1);
-    expect(overview.decayWarning.verifiedUnused3m).toBe(1);
-  });
-
-  it('应该用 created 日期当 lastReferenced 为空', () => {
-    const oldDate = '2020-01-01T00:00:00.000Z';
-    const entries = [
-      makeEntry({ maturity: 'proven', lastReferenced: '', created: oldDate }),
-    ];
-
-    const overview = computeKnowledgeOverview(entries);
-    expect(overview.decayWarning.provenUnused6m).toBe(1);
-  });
-});
-
-describe('computeKnowledgeFlow', () => {
-  it('应该计算基本流转统计', () => {
-    const entries = [
-      makeEntry({ id: 'a', maturity: 'verified', lastReferenced: new Date().toISOString() }),
-      makeEntry({ id: 'b', maturity: 'proven' }),
-      makeEntry({ id: 'c', maturity: 'draft', lastReferenced: '' }),
-    ];
-
-    const refCounts = new Map<string, number>();
-    refCounts.set('a', 10);
-    refCounts.set('b', 5);
-
-    const flow = computeKnowledgeFlow(entries, refCounts);
-    expect(flow.period).toBe('近 30 天');
-    expect(flow.pipeline.referenced).toBe(2);
-    expect(flow.topReferenced.length).toBe(2);
-    expect(flow.topReferenced[0].id).toBe('a');
-    expect(flow.topReferenced[0].referenceCount).toBe(10);
-  });
-
-  it('应该限制 topN', () => {
-    const entries = [
-      makeEntry({ id: 'a' }),
-      makeEntry({ id: 'b' }),
-      makeEntry({ id: 'c' }),
-    ];
-    const refCounts = new Map<string, number>([
-      ['a', 3], ['b', 2], ['c', 1],
-    ]);
-
-    const flow = computeKnowledgeFlow(entries, refCounts, 2);
-    expect(flow.topReferenced.length).toBe(2);
-  });
-
-  it('应该用 created 日期当 lastReferenced 为空', () => {
-    const entries = [
-      makeEntry({ id: 'a', maturity: 'verified', lastReferenced: '' }),
-    ];
-    const flow = computeKnowledgeFlow(entries, new Map());
-    // lastReferenced 为空字符串，不计入 referenced
-    expect(flow.pipeline.referenced).toBe(0);
-  });
-
-  it('应该处理引用了不存在条目的 referenceCount', () => {
-    const entries = [makeEntry({ id: 'a' })];
-    const refCounts = new Map<string, number>([
-      ['a', 5],
-      ['nonexistent', 3],
-    ]);
-
-    const flow = computeKnowledgeFlow(entries, refCounts, 5);
-    const missing = flow.topReferenced.find(t => t.id === 'nonexistent');
-    expect(missing).toBeDefined();
-    expect(missing?.title).toBe('nonexistent'); // fallback to id
-  });
-});
-
-describe('computeInterceptRate', () => {
-  it('应该计算拦截率', () => {
-    expect(computeInterceptRate(100, 22)).toBe(22);
-    expect(computeInterceptRate(10, 0)).toBe(0);
-  });
-
-  it('应该处理零触发', () => {
-    expect(computeInterceptRate(0, 0)).toBe(0);
-  });
-});

package/src/dashboard/data.ts

@@ -1,103 +0,0 @@
-/**
- * Dashboard 数据聚合
- *
- * 从各模块收集数据，生成 HarnessDashboardData
- * 纯文件读取，零 token 开销
- */
-
-import type {
-  HarnessDashboardData,
-  KnowledgeOverview,
-  ConstraintHeatmap,
-  KnowledgeFlow,
-  FeedbackLoopStatus,
-  ConstraintStats,
-  ConstraintLayer,
-} from './types';
-import type { KnowledgeEntry } from '../knowledge/types';
-import { computeKnowledgeOverview, computeKnowledgeFlow, computeInterceptRate } from './stats';
-import { getAllConstraints } from '../core/constraints/definitions';
-
-export class DashboardDataProvider {
-  /**
-   * 生成完整 Dashboard 数据
-   */
-  generate(
-    entries: KnowledgeEntry[],
-    constraintStats: ConstraintStats[] = [],
-    referenceCounts: Map<string, number> = new Map(),
-  ): HarnessDashboardData {
-    return {
-      timestamp: new Date().toISOString(),
-      knowledgeOverview: this.getKnowledgeOverview(entries),
-      constraintHeatmap: this.getConstraintHeatmap(constraintStats),
-      knowledgeFlow: this.getKnowledgeFlow(entries, referenceCounts),
-      feedbackLoop: this.getFeedbackLoop(),
-    };
-  }
-
-  /**
-   * 知识库全景
-   */
-  getKnowledgeOverview(entries: KnowledgeEntry[]): KnowledgeOverview {
-    return computeKnowledgeOverview(entries);
-  }
-
-  /**
-   * 约束执行热力图
-   */
-  getConstraintHeatmap(stats: ConstraintStats[]): ConstraintHeatmap {
-    // P1：直接读 definitions；prompt 类不产生 trace 统计，热力图只含 check 层
-    const allConstraints = getAllConstraints().filter(c => c.kind === 'check');
-
-    const constraints = allConstraints.map(c => {
-      const stat = stats.find(s => s.constraintId === c.id);
-      const layer: ConstraintLayer = c.level === 'iron_law' ? 'safety' : 'quality';
-      return {
-        id: c.id,
-        layer,
-        trigger: stat?.triggerCount ?? 0,
-        pass: stat?.passCount ?? 0,
-        intercept: stat?.interceptCount ?? 0,
-        interceptRate: stat ? computeInterceptRate(stat.triggerCount, stat.interceptCount) : 0,
-        deprecationStatus: 'active' as const,
-        permanent: false,
-      };
-    });
-
-    const neverTriggered = constraints.filter(c => c.trigger === 0).map(c => c.id);
-
-    const decliningInterceptRate = constraints
-      .filter(c => c.interceptRate > 0 && c.interceptRate < 15)
-      .map(c => ({ id: c.id, from: c.interceptRate, to: c.interceptRate }));
-
-    return {
-      period: '近 30 天',
-      constraints,
-      neverTriggered,
-      decliningInterceptRate,
-    };
-  }
-
-  /**
-   * 知识流转路径
-   */
-  getKnowledgeFlow(
-    entries: KnowledgeEntry[],
-    referenceCounts: Map<string, number>,
-  ): KnowledgeFlow {
-    return computeKnowledgeFlow(entries, referenceCounts);
-  }
-
-  /**
-   * 反馈环状态（基础实现，需要外部数据源补充）
-   */
-  getFeedbackLoop(): FeedbackLoopStatus {
-    return {
-      local: { active: 0 },
-      push: { active: 0 },
-      external: { active: 0 },
-      feedbackToKnowledge: { total: 0, pending: 0 },
-    };
-  }
-}

package/src/dashboard/index.ts

@@ -1,3 +0,0 @@
-export * from './types';
-export * from './stats';
-export * from './data';