@dommaker/harness 1.1.1 → 1.2.0

package/src/types/constraint.ts

@@ -4,7 +4,7 @@
  * kind 二元模型（ADR-0001）：
  * - check：必须带真实 checker，参与运行时检查与 trace 统计
  *   - iron_law：绝对禁止，无例外，违背即阻止执行
- *   - guideline：优先建议，有例外，违背发警告但不阻止
+ *   - guideline：优先建议，违背发警告但不阻止
  * - prompt：纯文本提示，仅参与 prompt 注入，不占检查位、不产生 trace
  */
 
@@ -74,9 +74,6 @@ export interface Constraint {
   /** 是否启用 */
   enabled?: boolean;
 
-  /** 例外条件（仅 Guidelines 有效） */
-  exceptions?: string[];
-
   /**
    * 适用场景标签（prompt 类专用，如 'agent-skill'、'llm-app'）。
    * 未标注表示通用场景。消费端（init 注入 / studio 路由）可按标签过滤。
@@ -210,54 +207,7 @@ export interface ConstraintContext {
 
   /** 是否完成两阶段审查（对应约束已移出内置，字段保留兼容） */
   hasTwoStageReview?: boolean;
-  
-  // ========================================
-  // 例外条件（用于 Guidelines）
-  // ========================================
-  
-  // simplest_solution_first 例外
-  scalabilityRequired?: boolean;
-  securityRequired?: boolean;
-  performanceRequired?: boolean;
-  reliabilityRequired?: boolean;
-  
-  // no_fix_without_root_cause 例外
-  isSimpleTypo?: boolean;
-  isConfigValueError?: boolean;
-  isMissingConfig?: boolean;
-  
-  // no_code_without_test 例外
-  isConfigFile?: boolean;
-  isTypeDefinition?: boolean;
-  isSimpleAccessor?: boolean;
-  isPureDisplayComponent?: boolean;
-  
-  // any 类型相关例外（对应约束已退役，字段保留兼容）
-  isJsonParseResult?: boolean;
-  isThirdPartyNoTypes?: boolean;
-  isLegacyMigration?: boolean;
-  
-  // capability_sync 例外
-  isInternalRefactor?: boolean;
-  isBugFixOnly?: boolean;
-  isPerformanceOptimization?: boolean;
-  
-  // no_simplification_without_approval 例外
-  isRedundantCodeCleanup?: boolean;
-  isSameEffectRefactor?: boolean;
-  isUnusedCodeRemoval?: boolean;
 
-  // 设计决策例外
-  isExplicitInstruction?: boolean;
-  isEmergencyFix?: boolean;
-  isExistingDesign?: boolean;
-
-  // 外部依赖相关
-  isExternalDependency?: boolean;
-  
-  /** 例外理由说明 */
-  exceptionReason?: string;
-  
   /** 执行上下文 */
   executionContext?: any;
 }

package/src/types/index.ts

@@ -12,15 +12,6 @@ export * from './cso';
 // Trace 类型（Execution Trace 系统）
 export * from './trace';
 
-// Performance 类型（Performance Trace 系统）
-export * from './performance';
-
-// 诊断类型（定义已归位 types/monitoring-types.ts，monitoring 改从 types 导入）
-// 显式再导出（不用 export *）：根入口同时星导出 ./monitoring，星-星歧义会静默丢符号
-export type {
-  Diagnosis,
-} from './monitoring-types';
-
 // Session 类型（排除与 passes-gate 冲突的类型）
 export {
   StartupCheckpoints,
@@ -40,9 +31,6 @@ export { DynamicTask as ExtendedDynamicTask, TaskTestResult as ExtendedTaskTestR
 // 项目配置类型
 export * from './project-config';
 
-// Enforcement 类型
-export * from './enforcement';
-
 // Spec 验证类型
 export * from './spec';
 

package/src/types/project-config.ts

@@ -13,24 +13,18 @@ export interface CustomConstraintDefinition {
   /** 约束 ID */
   id: string;
 
-  /** 约束层级（扩展例外时可省略，自动使用内置约束层级） */
+  /** 约束层级（可选，缺省 guideline） */
   level?: ConstraintLevel;
 
-  /** 约束规则（扩展例外时可省略） */
+  /** 约束规则（可选） */
   rule?: string;
 
-  /** 约束消息（扩展例外时可省略） */
+  /** 约束消息（可选） */
   message?: string;
 
-  /** 触发条件（扩展例外时可省略） */
+  /** 触发条件（可选） */
   trigger?: string | string[];
 
-  /** 例外条件（可选，完全覆盖内置例外） */
-  exceptions?: string[];
-
-  /** 扩展例外（可选，追加到内置例外） */
-  extend_exceptions?: string[];
-
   /** 描述（可选） */
   description?: string;
 

package/src/types/trace.ts

@@ -35,7 +35,7 @@ export interface ExecutionTrace {
   timestamp: number;
 
   /** 检查结果（skip = 约定未采用/证据未接线，未评估；不计 pass/fail 分母） */
-  result: 'pass' | 'fail' | 'bypassed' | 'skip';
+  result: 'pass' | 'fail' | 'skip';
 
   // ========================================
   // 轻量上下文（可选）
@@ -47,9 +47,6 @@ export interface ExecutionTrace {
   /** 严重性（从约束定义继承） */
   severity?: 'error' | 'warning' | 'info';
 
-  /** 例外类型（如果适用了例外） */
-  exceptionApplied?: string;
-
   /** 项目路径（用于区分多项目） */
   projectPath?: string;
 
@@ -98,10 +95,7 @@ export interface TraceSummary {
   /** 失败次数 */
   failCount: number;
 
-  /** 绕过次数 */
-  bypassCount: number;
-
-  /** 跳过次数（ADR-0001：约定未采用/证据未接线；不计入 pass/fail/bypass 率分母） */
+  /** 跳过次数（ADR-0001：约定未采用/证据未接线；不计入 pass/fail 率分母） */
   skipCount?: number;
 
   /** 用户忽略次数 */
@@ -117,9 +111,6 @@ export interface TraceSummary {
   /** 失败率 (0-1) */
   failRate: number;
 
-  /** 绕过率 (0-1) */
-  bypassRate: number;
-
   // ========================================
   // 趋势分析
   // ========================================
@@ -131,18 +122,7 @@ export interface TraceSummary {
   changeFromLastPeriod?: {
     passRateDelta: number;
     failRateDelta: number;
-    bypassRateDelta: number;
   };
-
-  // ========================================
-  // 例外统计
-  // ========================================
-
-  /** 例外应用次数 */
-  exceptionCount: number;
-
-  /** 最常见例外 */
-  mostCommonException?: string;
 }
 
 /**
@@ -151,11 +131,8 @@ export interface TraceSummary {
 export interface TraceAnomaly {
   /** 异常类型 */
   type:
-    | 'high_bypass_rate'      // 绕过率过高
     | 'rising_fail_rate'      // 失败率上升
-    | 'rising_bypass_rate'    // 绕过率上升
-    | 'low_pass_rate'         // 通过率过低
-    | 'exception_overuse';    // 例外滥用
+    | 'low_pass_rate';        // 通过率过低
 
   /** 约束 ID */
   constraintId: string;
@@ -177,7 +154,7 @@ export interface TraceAnomaly {
   detectedAt: number;
 
   /** 建议的下一步 */
-  suggestedAction?: 'diagnose' | 'adjust_threshold' | 'add_exception' | 'notify_user';
+  suggestedAction?: 'diagnose' | 'adjust_threshold' | 'notify_user';
 }
 
 /**
@@ -191,7 +168,7 @@ export interface TraceFilter {
   level?: 'iron_law' | 'guideline' | 'prompt';
 
   /** 结果类型（可选） */
-  result?: 'pass' | 'fail' | 'bypassed' | 'skip';
+  result?: 'pass' | 'fail' | 'skip';
 
   /** 时间范围（可选） */
   timeRange?: {
@@ -232,8 +209,6 @@ export interface TraceAnalyzerConfig {
 
   /** 异常阈值 */
   thresholds?: {
-    bypassRate?: number;     // 绕过率阈值，默认 0.3
     failRate?: number;       // 失败率阈值，默认 0.5
-    exceptionRate?: number;  // 例外率阈值，默认 0.4
   };
 }

package/dist/core/constraints/interceptor.d.ts

@@ -1,39 +0,0 @@
-/**
- * ConstraintInterceptor - 约束拦截器
- */
-import type { ConstraintTrigger, ConstraintContext } from '../../types/constraint';
-import type { EnforcementId, EnforcementExecutor, InterceptionResult } from '../../types/enforcement';
-import type { MergedConstraintsConfig } from '../../types/project-config';
-export declare class ConstraintInterceptor {
-    private static instance;
-    private executors;
-    private executorSources;
-    private enabled;
-    private skipEnforcements;
-    private constructor();
-    static getInstance(): ConstraintInterceptor;
-    setEnabled(enabled: boolean): void;
-    register(enforcementId: EnforcementId, executor: EnforcementExecutor, source?: string): void;
-    registerBatch(registrations: Array<{
-        enforcementId: EnforcementId;
-        executor: EnforcementExecutor;
-    }>): void;
-    unregister(enforcementId: EnforcementId): boolean;
-    hasExecutor(enforcementId: EnforcementId): boolean;
-    getExecutor(enforcementId: EnforcementId): EnforcementExecutor | undefined;
-    getRegistrations(): {
-        id: EnforcementId;
-        executor: EnforcementExecutor;
-        registeredAt: Date;
-        source?: string;
-    }[];
-    skip(enforcementIds: EnforcementId[]): void;
-    clearSkips(): void;
-    intercept(trigger: ConstraintTrigger, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<InterceptionResult>;
-    claim(trigger: ConstraintTrigger, context: ConstraintContext): Promise<void>;
-    canProceed(trigger: ConstraintTrigger, context: ConstraintContext): Promise<boolean>;
-}
-export declare const constraintInterceptor: ConstraintInterceptor;
-export declare function interceptOperation(trigger: ConstraintTrigger, context: ConstraintContext, customConfig?: MergedConstraintsConfig | null): Promise<InterceptionResult>;
-export declare function claimOperation(trigger: ConstraintTrigger, context: ConstraintContext): Promise<void>;
-//# sourceMappingURL=interceptor.d.ts.map

package/dist/core/constraints/interceptor.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"interceptor.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,iBAAiB,EAGlB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,KAAK,EACV,aAAa,EACb,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAG1E,qBAAa,qBAAqB;IAChC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAwB;IAC/C,OAAO,CAAC,SAAS,CAAsD;IACvE,OAAO,CAAC,eAAe,CAAyC;IAChE,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,gBAAgB,CAAiC;IAEzD,OAAO;IAEP,MAAM,CAAC,WAAW,IAAI,qBAAqB;IAO3C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAIlC,QAAQ,CACN,aAAa,EAAE,aAAa,EAC5B,QAAQ,EAAE,mBAAmB,EAC7B,MAAM,CAAC,EAAE,MAAM,GACd,IAAI;IAKP,aAAa,CACX,aAAa,EAAE,KAAK,CAAC;QACnB,aAAa,EAAE,aAAa,CAAC;QAC7B,QAAQ,EAAE,mBAAmB,CAAC;KAC/B,CAAC,GACD,IAAI;IAMP,UAAU,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;IAIjD,WAAW,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO;IAIlD,WAAW,CAAC,aAAa,EAAE,aAAa,GAAG,mBAAmB,GAAG,SAAS;IAI1E,gBAAgB,IAAI;QAAE,EAAE,EAAE,aAAa,CAAC;QAAC,QAAQ,EAAE,mBAAmB,CAAC;QAAC,YAAY,EAAE,IAAI,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE;IAS/G,IAAI,CAAC,cAAc,EAAE,aAAa,EAAE,GAAG,IAAI;IAM3C,UAAU,IAAI,IAAI;IAIZ,SAAS,CACb,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,kBAAkB,CAAC;IAmFxB,KAAK,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;IAa5E,UAAU,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC;CAO3F;AAED,eAAO,MAAM,qBAAqB,uBAAsC,CAAC;AAEzE,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,EAC1B,YAAY,CAAC,EAAE,uBAAuB,GAAG,IAAI,GAC5C,OAAO,CAAC,kBAAkB,CAAC,CAE7B;AAED,wBAAsB,cAAc,CAClC,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,IAAI,CAAC,CAEf"}

package/dist/core/constraints/interceptor.js

@@ -1,166 +0,0 @@
-"use strict";
-/**
- * ConstraintInterceptor - 约束拦截器
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.constraintInterceptor = exports.ConstraintInterceptor = void 0;
-exports.interceptOperation = interceptOperation;
-exports.claimOperation = claimOperation;
-const constraint_1 = require("../../types/constraint");
-const exec_1 = require("../../utils/exec");
-const checker_1 = require("./checker");
-class ConstraintInterceptor {
-    static instance;
-    executors = new Map();
-    executorSources = new Map();
-    enabled = true;
-    skipEnforcements = new Set();
-    constructor() { }
-    static getInstance() {
-        if (!ConstraintInterceptor.instance) {
-            ConstraintInterceptor.instance = new ConstraintInterceptor();
-        }
-        return ConstraintInterceptor.instance;
-    }
-    setEnabled(enabled) {
-        this.enabled = enabled;
-    }
-    register(enforcementId, executor, source) {
-        this.executors.set(enforcementId, executor);
-        if (source)
-            this.executorSources.set(enforcementId, source);
-    }
-    registerBatch(registrations) {
-        for (const { enforcementId, executor } of registrations) {
-            this.register(enforcementId, executor);
-        }
-    }
-    unregister(enforcementId) {
-        return this.executors.delete(enforcementId);
-    }
-    hasExecutor(enforcementId) {
-        return this.executors.has(enforcementId);
-    }
-    getExecutor(enforcementId) {
-        return this.executors.get(enforcementId);
-    }
-    getRegistrations() {
-        return Array.from(this.executors.entries()).map(([id, executor]) => ({
-            id,
-            executor,
-            registeredAt: new Date(),
-            source: this.executorSources.get(id),
-        }));
-    }
-    skip(enforcementIds) {
-        for (const id of enforcementIds) {
-            this.skipEnforcements.add(id);
-        }
-    }
-    clearSkips() {
-        this.skipEnforcements.clear();
-    }
-    async intercept(trigger, context, customConfig) {
-        if (!this.enabled) {
-            return {
-                passed: true,
-                constraints: [],
-                violations: [],
-                message: '拦截器已禁用',
-                interceptedAt: new Date(),
-            };
-        }
-        const result = {
-            passed: true,
-            constraints: [],
-            violations: [],
-            interceptedAt: new Date(),
-        };
-        const constraints = checker_1.constraintChecker.getConstraints(customConfig);
-        // prompt 类约束不参与拦截执行（ADR-0001：仅参与注入）
-        const allConstraints = [
-            ...Object.values(constraints.ironLaws),
-            ...Object.values(constraints.guidelines),
-        ].filter(c => c.kind !== 'prompt');
-        const applicableConstraints = allConstraints.filter((c) => (0, exec_1.normalizeTriggers)(c.trigger).includes(trigger));
-        const order = { 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;
-            if (executor) {
-                const 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 constraint_1.ConstraintViolationError)
-                        throw error;
-                    result.constraints.push({ constraint, enforcementResult: { passed: false, error: error.message, duration: Date.now() - start } });
-                    checkResult = { id: constraint.id, level: constraint.level, satisfied: false, message: error.message, checkedAt: new Date(), constraint };
-                }
-            }
-            else {
-                // Unified: constraint.check(context) delegates to checker
-                checkResult = await constraint.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 constraint_1.ConstraintViolationError(checkResult);
-                }
-                if (constraint.level === 'guideline') {
-                    result.violations.push(constraint);
-                }
-            }
-        }
-        result.message = result.violations.length === 0 ? '✅ 拦截通过' : `❌ ${result.violations.length} 个约束违规`;
-        return result;
-    }
-    async claim(trigger, context) {
-        const result = await this.intercept(trigger, context);
-        if (!result.passed) {
-            throw new constraint_1.ConstraintViolationError({
-                id: result.violations[0]?.id || 'unknown',
-                level: 'iron_law',
-                satisfied: false,
-                message: result.message,
-                checkedAt: new Date(),
-            });
-        }
-    }
-    async canProceed(trigger, context) {
-        try {
-            return (await this.intercept(trigger, context)).passed;
-        }
-        catch {
-            return false;
-        }
-    }
-}
-exports.ConstraintInterceptor = ConstraintInterceptor;
-exports.constraintInterceptor = ConstraintInterceptor.getInstance();
-async function interceptOperation(trigger, context, customConfig) {
-    return exports.constraintInterceptor.intercept(trigger, context, customConfig);
-}
-async function claimOperation(trigger, context) {
-    return exports.constraintInterceptor.claim(trigger, context);
-}
-//# sourceMappingURL=interceptor.js.map

package/dist/core/constraints/interceptor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"interceptor.js","sourceRoot":"","sources":["../../../src/core/constraints/interceptor.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAyMH,gDAMC;AAED,wCAKC;AA9MD,uDAAkE;AAClE,2CAAqD;AAQrD,uCAA8C;AAE9C,MAAa,qBAAqB;IACxB,MAAM,CAAC,QAAQ,CAAwB;IACvC,SAAS,GAA4C,IAAI,GAAG,EAAE,CAAC;IAC/D,eAAe,GAA+B,IAAI,GAAG,EAAE,CAAC;IACxD,OAAO,GAAY,IAAI,CAAC;IACxB,gBAAgB,GAAuB,IAAI,GAAG,EAAE,CAAC;IAEzD,gBAAuB,CAAC;IAExB,MAAM,CAAC,WAAW;QAChB,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,CAAC;YACpC,qBAAqB,CAAC,QAAQ,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAC/D,CAAC;QACD,OAAO,qBAAqB,CAAC,QAAQ,CAAC;IACxC,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,QAAQ,CACN,aAA4B,EAC5B,QAA6B,EAC7B,MAAe;QAEf,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC5C,IAAI,MAAM;YAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,aAAa,CACX,aAGE;QAEF,KAAK,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,aAAa,EAAE,CAAC;YACxD,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,UAAU,CAAC,aAA4B;QACrC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC;IAED,WAAW,CAAC,aAA4B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAED,WAAW,CAAC,aAA4B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAED,gBAAgB;QACd,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YACnE,EAAE;YACF,QAAQ;YACR,YAAY,EAAE,IAAI,IAAI,EAAE;YACxB,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;SACrC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,IAAI,CAAC,cAA+B;QAClC,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAChC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,UAAU;QACR,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,SAAS,CACb,OAA0B,EAC1B,OAA0B,EAC1B,YAA6C;QAE7C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,WAAW,EAAE,EAAE;gBACf,UAAU,EAAE,EAAE;gBACd,OAAO,EAAE,QAAQ;gBACjB,aAAa,EAAE,IAAI,IAAI,EAAE;aAC1B,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,IAAI,IAAI,EAAE;SAC1B,CAAC;QAEF,MAAM,WAAW,GAAG,2BAAiB,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACnE,oCAAoC;QACpC,MAAM,cAAc,GAAG;YACrB,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC;YACtC,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;SACzC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAEnC,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAiB,EAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CACzE,CAAC;QAEF,MAAM,KAAK,GAAoC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACxF,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAEtF,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACtD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;gBACzF,SAAS;YACX,CAAC;YAED,2CAA2C;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAC5D,IAAI,WAA6B,CAAC;YAElC,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,kBAAkB,GAAuB,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,UAAU,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;gBACjH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACH,MAAM,iBAAiB,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;oBACrE,iBAAiB,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;oBAChD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,CAAC;oBAC3D,WAAW,GAAG;wBACZ,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK;wBAC1C,SAAS,EAAE,iBAAiB,CAAC,MAAM;wBACnC,OAAO,EAAE,iBAAiB,CAAC,OAAO;wBAClC,SAAS,EAAE,IAAI,IAAI,EAAE;wBACrB,UAAU;qBACX,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,qCAAwB;wBAAE,MAAM,KAAK,CAAC;oBAC3D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAG,KAAe,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7I,WAAW,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAG,KAAe,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC;gBACvJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,0DAA0D;gBAC1D,WAAW,GAAG,MAAO,UAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACvD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC9H,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC3B,IAAI,UAAU,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;oBACpC,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;oBACtB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACnC,MAAM,IAAI,qCAAwB,CAAC,WAAW,CAAC,CAAC;gBAClD,CAAC;gBACD,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;oBACrC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,QAAQ,CAAC;QACnG,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAA0B,EAAE,OAA0B;QAChE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnB,MAAM,IAAI,qCAAwB,CAAC;gBACjC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,SAAS;gBACzC,KAAK,EAAE,UAAU;gBACjB,SAAS,EAAE,KAAK;gBAChB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,SAAS,EAAE,IAAI,IAAI,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,OAA0B,EAAE,OAA0B;QACrE,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF;AAlLD,sDAkLC;AAEY,QAAA,qBAAqB,GAAG,qBAAqB,CAAC,WAAW,EAAE,CAAC;AAElE,KAAK,UAAU,kBAAkB,CACtC,OAA0B,EAC1B,OAA0B,EAC1B,YAA6C;IAE7C,OAAO,6BAAqB,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;AACzE,CAAC;AAEM,KAAK,UAAU,cAAc,CAClC,OAA0B,EAC1B,OAA0B;IAE1B,OAAO,6BAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC"}

package/dist/dashboard/data.d.ts

@@ -1,31 +0,0 @@
-/**
- * Dashboard 数据聚合
- *
- * 从各模块收集数据，生成 HarnessDashboardData
- * 纯文件读取，零 token 开销
- */
-import type { HarnessDashboardData, KnowledgeOverview, ConstraintHeatmap, KnowledgeFlow, FeedbackLoopStatus, ConstraintStats } from './types';
-import type { KnowledgeEntry } from '../knowledge/types';
-export declare class DashboardDataProvider {
-    /**
-     * 生成完整 Dashboard 数据
-     */
-    generate(entries: KnowledgeEntry[], constraintStats?: ConstraintStats[], referenceCounts?: Map<string, number>): HarnessDashboardData;
-    /**
-     * 知识库全景
-     */
-    getKnowledgeOverview(entries: KnowledgeEntry[]): KnowledgeOverview;
-    /**
-     * 约束执行热力图
-     */
-    getConstraintHeatmap(stats: ConstraintStats[]): ConstraintHeatmap;
-    /**
-     * 知识流转路径
-     */
-    getKnowledgeFlow(entries: KnowledgeEntry[], referenceCounts: Map<string, number>): KnowledgeFlow;
-    /**
-     * 反馈环状态（基础实现，需要外部数据源补充）
-     */
-    getFeedbackLoop(): FeedbackLoopStatus;
-}
-//# sourceMappingURL=data.d.ts.map

package/dist/dashboard/data.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../src/dashboard/data.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,kBAAkB,EAClB,eAAe,EAEhB,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAIzD,qBAAa,qBAAqB;IAChC;;OAEG;IACH,QAAQ,CACN,OAAO,EAAE,cAAc,EAAE,EACzB,eAAe,GAAE,eAAe,EAAO,EACvC,eAAe,GAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAa,GAC/C,oBAAoB;IAUvB;;OAEG;IACH,oBAAoB,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,iBAAiB;IAIlE;;OAEG;IACH,oBAAoB,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,iBAAiB;IAiCjE;;OAEG;IACH,gBAAgB,CACd,OAAO,EAAE,cAAc,EAAE,EACzB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GACnC,aAAa;IAIhB;;OAEG;IACH,eAAe,IAAI,kBAAkB;CAQtC"}

package/dist/dashboard/data.js

@@ -1,81 +0,0 @@
-"use strict";
-/**
- * Dashboard 数据聚合
- *
- * 从各模块收集数据，生成 HarnessDashboardData
- * 纯文件读取，零 token 开销
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.DashboardDataProvider = void 0;
-const stats_1 = require("./stats");
-const definitions_1 = require("../core/constraints/definitions");
-class DashboardDataProvider {
-    /**
-     * 生成完整 Dashboard 数据
-     */
-    generate(entries, constraintStats = [], referenceCounts = new Map()) {
-        return {
-            timestamp: new Date().toISOString(),
-            knowledgeOverview: this.getKnowledgeOverview(entries),
-            constraintHeatmap: this.getConstraintHeatmap(constraintStats),
-            knowledgeFlow: this.getKnowledgeFlow(entries, referenceCounts),
-            feedbackLoop: this.getFeedbackLoop(),
-        };
-    }
-    /**
-     * 知识库全景
-     */
-    getKnowledgeOverview(entries) {
-        return (0, stats_1.computeKnowledgeOverview)(entries);
-    }
-    /**
-     * 约束执行热力图
-     */
-    getConstraintHeatmap(stats) {
-        // P1：直接读 definitions；prompt 类不产生 trace 统计，热力图只含 check 层
-        const allConstraints = (0, definitions_1.getAllConstraints)().filter(c => c.kind === 'check');
-        const constraints = allConstraints.map(c => {
-            const stat = stats.find(s => s.constraintId === c.id);
-            const layer = 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 ? (0, stats_1.computeInterceptRate)(stat.triggerCount, stat.interceptCount) : 0,
-                deprecationStatus: 'active',
-                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, referenceCounts) {
-        return (0, stats_1.computeKnowledgeFlow)(entries, referenceCounts);
-    }
-    /**
-     * 反馈环状态（基础实现，需要外部数据源补充）
-     */
-    getFeedbackLoop() {
-        return {
-            local: { active: 0 },
-            push: { active: 0 },
-            external: { active: 0 },
-            feedbackToKnowledge: { total: 0, pending: 0 },
-        };
-    }
-}
-exports.DashboardDataProvider = DashboardDataProvider;
-//# sourceMappingURL=data.js.map

package/dist/dashboard/data.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"data.js","sourceRoot":"","sources":["../../src/dashboard/data.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAYH,mCAA+F;AAC/F,iEAAoE;AAEpE,MAAa,qBAAqB;IAChC;;OAEG;IACH,QAAQ,CACN,OAAyB,EACzB,kBAAqC,EAAE,EACvC,kBAAuC,IAAI,GAAG,EAAE;QAEhD,OAAO;YACL,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,iBAAiB,EAAE,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC;YACrD,iBAAiB,EAAE,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC;YAC7D,aAAa,EAAE,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,eAAe,CAAC;YAC9D,YAAY,EAAE,IAAI,CAAC,eAAe,EAAE;SACrC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,OAAyB;QAC5C,OAAO,IAAA,gCAAwB,EAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,KAAwB;QAC3C,wDAAwD;QACxD,MAAM,cAAc,GAAG,IAAA,+BAAiB,GAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAE3E,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YACtD,MAAM,KAAK,GAAoB,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7E,OAAO;gBACL,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,KAAK;gBACL,OAAO,EAAE,IAAI,EAAE,YAAY,IAAI,CAAC;gBAChC,IAAI,EAAE,IAAI,EAAE,SAAS,IAAI,CAAC;gBAC1B,SAAS,EAAE,IAAI,EAAE,cAAc,IAAI,CAAC;gBACpC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,IAAA,4BAAoB,EAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtF,iBAAiB,EAAE,QAAiB;gBACpC,SAAS,EAAE,KAAK;aACjB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAE/E,MAAM,sBAAsB,GAAG,WAAW;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,GAAG,EAAE,CAAC;aACxD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAExE,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,WAAW;YACX,cAAc;YACd,sBAAsB;SACvB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,gBAAgB,CACd,OAAyB,EACzB,eAAoC;QAEpC,OAAO,IAAA,4BAAoB,EAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO;YACL,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;YACpB,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;YACnB,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE;YACvB,mBAAmB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;SAC9C,CAAC;IACJ,CAAC;CACF;AAlFD,sDAkFC"}

package/dist/dashboard/index.d.ts

@@ -1,4 +0,0 @@
-export * from './types';
-export * from './stats';
-export * from './data';
-//# sourceMappingURL=index.d.ts.map

package/dist/dashboard/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dashboard/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC;AACxB,cAAc,QAAQ,CAAC"}

package/dist/dashboard/index.js

@@ -1,20 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./types"), exports);
-__exportStar(require("./stats"), exports);
-__exportStar(require("./data"), exports);
-//# sourceMappingURL=index.js.map

package/dist/dashboard/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/dashboard/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,0CAAwB;AACxB,yCAAuB"}

package/dist/dashboard/stats.d.ts

@@ -1,20 +0,0 @@
-/**
- * Dashboard 统计计算
- *
- * 纯函数，从原始数据计算统计指标
- */
-import type { KnowledgeEntry } from '../knowledge/types';
-import type { KnowledgeOverview, KnowledgeFlow } from './types';
-/**
- * 计算知识库概览
- */
-export declare function computeKnowledgeOverview(entries: KnowledgeEntry[]): KnowledgeOverview;
-/**
- * 计算知识流转统计
- */
-export declare function computeKnowledgeFlow(entries: KnowledgeEntry[], referenceCounts: Map<string, number>, topN?: number): KnowledgeFlow;
-/**
- * 计算约束拦截率
- */
-export declare function computeInterceptRate(triggerCount: number, interceptCount: number): number;
-//# sourceMappingURL=stats.d.ts.map

package/dist/dashboard/stats.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/dashboard/stats.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAsB,MAAM,oBAAoB,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAEhE;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,iBAAiB,CAoBrF;AA+CD;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,cAAc,EAAE,EACzB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,IAAI,GAAE,MAAU,GACf,aAAa,CAgCf;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAGzF"}