@dommaker/harness 0.2.0 → 0.3.0

package/dist/monitoring/trace-analyzer.js

@@ -0,0 +1,432 @@
+"use strict";
+/**
+ * Trace 分析器
+ *
+ * 纯计算，零 Token 成本
+ *
+ * 功能：
+ * - 统计汇总（每小时自动执行）
+ * - 异常检测（每日检查）
+ * - 趋势分析（对比上一周期）
+ */
+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 __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TraceAnalyzer = void 0;
+exports.createAnalyzer = createAnalyzer;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const traces_1 = require("./traces");
+/**
+ * 默认配置
+ */
+const DEFAULT_CONFIG = {
+    summaryFile: '.harness/traces/summary.json',
+    periodMs: 3600 * 1000, // 1 小时
+    thresholds: {
+        bypassRate: 0.3, // 绕过率 > 30% 视为异常
+        failRate: 0.5, // 失败率 > 50% 视为异常
+        exceptionRate: 0.4, // 例外率 > 40% 视为滥用
+    },
+};
+/**
+ * Trace 分析器
+ *
+ * 使用方式：
+ * ```typescript
+ * const analyzer = new TraceAnalyzer(collector);
+ * const summaries = analyzer.summarize(traces);
+ * const anomalies = analyzer.detectAnomalies(summaries);
+ * ```
+ */
+class TraceAnalyzer {
+    config;
+    collector;
+    constructor(collector, config) {
+        this.collector = collector;
+        this.config = { ...DEFAULT_CONFIG, ...config };
+    }
+    /**
+     * 生成统计汇总
+   *
+     * 纯计算，零 Token 成本
+     */
+    summarize(traces) {
+        // 按约束 ID 分组
+        const grouped = this.groupByConstraint(traces);
+        const summaries = [];
+        for (const [constraintId, group] of grouped) {
+            // 提取层级（从第一条 trace）
+            const level = group[0].level;
+            // 计算时间范围
+            const timestamps = group.map(t => t.timestamp);
+            const timeRange = {
+                start: Math.min(...timestamps),
+                end: Math.max(...timestamps),
+            };
+            // 计算核心统计
+            const totalChecks = group.length;
+            const passCount = group.filter(t => t.result === 'pass').length;
+            const failCount = group.filter(t => t.result === 'fail').length;
+            const bypassCount = group.filter(t => t.result === 'bypassed').length;
+            const ignoreCount = group.filter(t => t.userAction === 'ignore').length;
+            // 计算比率
+            const passRate = totalChecks > 0 ? passCount / totalChecks : 0;
+            const failRate = totalChecks > 0 ? failCount / totalChecks : 0;
+            const bypassRate = totalChecks > 0 ? bypassCount / totalChecks : 0;
+            // 计算例外统计
+            const exceptionTraces = group.filter(t => t.exceptionApplied);
+            const exceptionCount = exceptionTraces.length;
+            const exceptionTypes = exceptionTraces.map(t => t.exceptionApplied);
+            const mostCommonException = this.findMostCommon(exceptionTypes);
+            // 计算趋势
+            const recentTrend = this.calculateTrend(group);
+            summaries.push({
+                constraintId,
+                level,
+                timeRange,
+                totalChecks,
+                passCount,
+                failCount,
+                bypassCount,
+                ignoreCount,
+                passRate,
+                failRate,
+                bypassRate,
+                recentTrend,
+                exceptionCount,
+                mostCommonException,
+            });
+        }
+        return summaries;
+    }
+    /**
+     * 分析最近 N 小时的 traces
+     */
+    analyzeRecent(hours) {
+        const traces = this.collector.readRecent(hours);
+        return this.summarize(traces);
+    }
+    /**
+     * 分析特定约束
+     */
+    analyzeConstraint(constraintId) {
+        const traces = this.collector.readByConstraint(constraintId);
+        return this.summarize(traces);
+    }
+    /**
+     * 检测异常
+     *
+     * 基于阈值检测异常模式
+     */
+    detectAnomalies(summaries) {
+        const anomalies = [];
+        const thresholds = this.config.thresholds;
+        for (const summary of summaries) {
+            // 检测高绕过率
+            if (summary.bypassRate > thresholds.bypassRate) {
+                anomalies.push({
+                    type: 'high_bypass_rate',
+                    constraintId: summary.constraintId,
+                    level: summary.level,
+                    message: `约束 ${summary.constraintId} 绕过率 ${Math.round(summary.bypassRate * 100)}%，超过阈值 ${thresholds.bypassRate * 100}%`,
+                    data: {
+                        currentRate: summary.bypassRate,
+                        threshold: thresholds.bypassRate,
+                        trend: summary.recentTrend,
+                    },
+                    detectedAt: Date.now(),
+                    suggestedAction: 'diagnose',
+                });
+            }
+            // 检测失败率上升
+            if (summary.failRate > thresholds.failRate && summary.recentTrend === 'rising') {
+                anomalies.push({
+                    type: 'rising_fail_rate',
+                    constraintId: summary.constraintId,
+                    level: summary.level,
+                    message: `约束 ${summary.constraintId} 失败率 ${Math.round(summary.failRate * 100)}% 且趋势上升`,
+                    data: {
+                        currentRate: summary.failRate,
+                        threshold: thresholds.failRate,
+                        trend: 'rising',
+                    },
+                    detectedAt: Date.now(),
+                    suggestedAction: 'diagnose',
+                });
+            }
+            // 检测绕过率上升
+            if (summary.bypassRate > 0.1 && summary.recentTrend === 'rising') {
+                anomalies.push({
+                    type: 'rising_bypass_rate',
+                    constraintId: summary.constraintId,
+                    level: summary.level,
+                    message: `约束 ${summary.constraintId} 绕过率 ${Math.round(summary.bypassRate * 100)}% 且趋势上升`,
+                    data: {
+                        currentRate: summary.bypassRate,
+                        threshold: 0.1,
+                        trend: 'rising',
+                    },
+                    detectedAt: Date.now(),
+                    suggestedAction: 'diagnose',
+                });
+            }
+            // 检测低通过率
+            if (summary.passRate < 0.3) {
+                anomalies.push({
+                    type: 'low_pass_rate',
+                    constraintId: summary.constraintId,
+                    level: summary.level,
+                    message: `约束 ${summary.constraintId} 通过率 ${Math.round(summary.passRate * 100)}%，低于 30%`,
+                    data: {
+                        currentRate: summary.passRate,
+                        threshold: 0.3,
+                        trend: summary.recentTrend,
+                    },
+                    detectedAt: Date.now(),
+                    suggestedAction: 'adjust_threshold',
+                });
+            }
+            // 检测例外滥用
+            const exceptionRate = summary.totalChecks > 0
+                ? summary.exceptionCount / summary.totalChecks
+                : 0;
+            if (exceptionRate > thresholds.exceptionRate) {
+                anomalies.push({
+                    type: 'exception_overuse',
+                    constraintId: summary.constraintId,
+                    level: summary.level,
+                    message: `约束 ${summary.constraintId} 例外使用率 ${Math.round(exceptionRate * 100)}%，可能过度依赖例外`,
+                    data: {
+                        currentRate: exceptionRate,
+                        threshold: thresholds.exceptionRate,
+                    },
+                    detectedAt: Date.now(),
+                    suggestedAction: 'add_exception',
+                });
+            }
+        }
+        return anomalies;
+    }
+    /**
+     * 对比上一周期
+   *
+     * 计算各指标的环比变化
+     */
+    compareWithPrevious(current, previous) {
+        const previousMap = new Map(previous.map(s => [s.constraintId, s]));
+        return current.map(summary => {
+            const prev = previousMap.get(summary.constraintId);
+            if (prev) {
+                summary.changeFromLastPeriod = {
+                    passRateDelta: summary.passRate - prev.passRate,
+                    failRateDelta: summary.failRate - prev.failRate,
+                    bypassRateDelta: summary.bypassRate - prev.bypassRate,
+                };
+            }
+            return summary;
+        });
+    }
+    /**
+     * 按约束 ID 分组
+     */
+    groupByConstraint(traces) {
+        const grouped = new Map();
+        for (const trace of traces) {
+            const existing = grouped.get(trace.constraintId) || [];
+            existing.push(trace);
+            grouped.set(trace.constraintId, existing);
+        }
+        return grouped;
+    }
+    /**
+     * 计算趋势
+   *
+     * 对比前半段和后半段的通过率
+     */
+    calculateTrend(traces) {
+        if (traces.length < 10) {
+            return 'stable';
+        }
+        // 按时间排序
+        const sorted = [...traces].sort((a, b) => a.timestamp - b.timestamp);
+        // 分成前后两半
+        const half = Math.floor(sorted.length / 2);
+        const firstHalf = sorted.slice(0, half);
+        const secondHalf = sorted.slice(half);
+        // 计算前半段和后半段的通过率
+        const firstPassRate = this.calcPassRate(firstHalf);
+        const secondPassRate = this.calcPassRate(secondHalf);
+        // 计算变化
+        const delta = secondPassRate - firstPassRate;
+        // 判断趋势（变化 > 5% 才算显著）
+        if (delta > 0.05) {
+            return 'rising';
+        }
+        else if (delta < -0.05) {
+            return 'falling';
+        }
+        else {
+            return 'stable';
+        }
+    }
+    /**
+     * 计算通过率
+     */
+    calcPassRate(traces) {
+        if (traces.length === 0)
+            return 0;
+        const passCount = traces.filter(t => t.result === 'pass').length;
+        return passCount / traces.length;
+    }
+    /**
+     * 找出最常见元素
+     */
+    findMostCommon(items) {
+        if (items.length === 0)
+            return undefined;
+        const counts = new Map();
+        for (const item of items) {
+            counts.set(item, (counts.get(item) || 0) + 1);
+        }
+        let maxCount = 0;
+        let mostCommon;
+        for (const [item, count] of counts) {
+            if (count > maxCount) {
+                maxCount = count;
+                mostCommon = item;
+            }
+        }
+        return mostCommon;
+    }
+    /**
+     * 保存汇总结果
+     */
+    saveSummary(summaries) {
+        const dir = path.dirname(this.config.summaryFile);
+        if (!fs.existsSync(dir)) {
+            fs.mkdirSync(dir, { recursive: true });
+        }
+        fs.writeFileSync(this.config.summaryFile, JSON.stringify(summaries, null, 2), 'utf-8');
+    }
+    /**
+     * 加载上次汇总结果
+     */
+    loadSummary() {
+        if (!fs.existsSync(this.config.summaryFile)) {
+            return null;
+        }
+        const content = fs.readFileSync(this.config.summaryFile, 'utf-8');
+        return JSON.parse(content);
+    }
+    /**
+     * 运行每小时汇总
+   *
+     * 自动执行，零 Token 成本
+     */
+    runHourlySummary() {
+        // 分析最近 1 小时
+        const current = this.analyzeRecent(1);
+        // 加载上次汇总，对比趋势
+        const previous = this.loadSummary();
+        if (previous) {
+            this.compareWithPrevious(current, previous);
+        }
+        // 保存当前汇总
+        this.saveSummary(current);
+        return current;
+    }
+    /**
+     * 运行每日异常检测
+   *
+     * 返回异常列表，用于触发 Agent 诊断
+     */
+    runDailyAnomalyCheck() {
+        // 分析最近 24 小时
+        const summaries = this.analyzeRecent(24);
+        // 检测异常
+        const anomalies = this.detectAnomalies(summaries);
+        return anomalies;
+    }
+    /**
+     * 生成报告（文本格式）
+     */
+    generateReport(summaries, anomalies) {
+        const lines = [];
+        lines.push('# Harness Trace Report');
+        lines.push(`Generated: ${new Date().toISOString()}`);
+        lines.push('');
+        // 汇总部分
+        lines.push('## Constraint Summaries');
+        lines.push('');
+        for (const summary of summaries) {
+            const levelEmoji = {
+                iron_law: '🔴',
+                guideline: '🟡',
+                tip: '🔵',
+            }[summary.level];
+            lines.push(`${levelEmoji} **${summary.constraintId}**`);
+            lines.push(`  - Checks: ${summary.totalChecks}`);
+            lines.push(`  - Pass: ${Math.round(summary.passRate * 100)}%`);
+            lines.push(`  - Fail: ${Math.round(summary.failRate * 100)}%`);
+            lines.push(`  - Bypass: ${Math.round(summary.bypassRate * 100)}%`);
+            lines.push(`  - Trend: ${summary.recentTrend}`);
+            lines.push('');
+        }
+        // 异常部分
+        if (anomalies.length > 0) {
+            lines.push('## Anomalies Detected');
+            lines.push('');
+            for (const anomaly of anomalies) {
+                lines.push(`⚠️ **${anomaly.type}**: ${anomaly.constraintId}`);
+                lines.push(`  - ${anomaly.message}`);
+                lines.push(`  - Suggested: ${anomaly.suggestedAction}`);
+                lines.push('');
+            }
+        }
+        else {
+            lines.push('## No Anomalies Detected ✅');
+        }
+        return lines.join('\n');
+    }
+}
+exports.TraceAnalyzer = TraceAnalyzer;
+/**
+ * 创建分析器（使用全局收集器）
+ */
+function createAnalyzer(config) {
+    const collector = new traces_1.TraceCollector();
+    return new TraceAnalyzer(collector, config);
+}
+//# sourceMappingURL=trace-analyzer.js.map

package/dist/monitoring/trace-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-analyzer.js","sourceRoot":"","sources":["../../src/monitoring/trace-analyzer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAscH,wCAGC;AAvcD,uCAAyB;AACzB,2CAA6B;AAQ7B,qCAA0C;AAE1C;;GAEG;AACH,MAAM,cAAc,GAAwB;IAC1C,WAAW,EAAE,8BAA8B;IAC3C,QAAQ,EAAE,IAAI,GAAG,IAAI,EAAE,OAAO;IAC9B,UAAU,EAAE;QACV,UAAU,EAAE,GAAG,EAAO,iBAAiB;QACvC,QAAQ,EAAE,GAAG,EAAS,iBAAiB;QACvC,aAAa,EAAE,GAAG,EAAI,iBAAiB;KACxC;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAa,aAAa;IAChB,MAAM,CAAsB;IAC5B,SAAS,CAAiB;IAElC,YAAY,SAAyB,EAAE,MAAqC;QAC1E,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IACjD,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,MAAwB;QAChC,YAAY;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAE/C,MAAM,SAAS,GAAmB,EAAE,CAAC;QAErC,KAAK,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YAC5C,mBAAmB;YACnB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAE7B,SAAS;YACT,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG;gBAChB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;gBAC9B,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;aAC7B,CAAC;YAEF,SAAS;YACT,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC;YACjC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAChE,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YAChE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;YACtE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;YAExE,OAAO;YACP,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAEnE,SAAS;YACT,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC9D,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC;YAC9C,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAiB,CAAC,CAAC;YACrE,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC,CAAC;YAEhE,OAAO;YACP,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAE/C,SAAS,CAAC,IAAI,CAAC;gBACb,YAAY;gBACZ,KAAK;gBACL,SAAS;gBACT,WAAW;gBACX,SAAS;gBACT,SAAS;gBACT,WAAW;gBACX,WAAW;gBACX,QAAQ;gBACR,QAAQ;gBACR,UAAU;gBACV,WAAW;gBACX,cAAc;gBACd,mBAAmB;aACpB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAa;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,YAAoB;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,eAAe,CAAC,SAAyB;QACvC,MAAM,SAAS,GAAmB,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAW,CAAC;QAE3C,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,SAAS;YACT,IAAI,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,UAAW,EAAE,CAAC;gBAChD,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB;oBACxB,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,UAAU,CAAC,UAAW,GAAG,GAAG,GAAG;oBACxH,IAAI,EAAE;wBACJ,WAAW,EAAE,OAAO,CAAC,UAAU;wBAC/B,SAAS,EAAE,UAAU,CAAC,UAAW;wBACjC,KAAK,EAAE,OAAO,CAAC,WAAW;qBAC3B;oBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;oBACtB,eAAe,EAAE,UAAU;iBAC5B,CAAC,CAAC;YACL,CAAC;YAED,UAAU;YACV,IAAI,OAAO,CAAC,QAAQ,GAAG,UAAU,CAAC,QAAS,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBAChF,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB;oBACxB,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,SAAS;oBACtF,IAAI,EAAE;wBACJ,WAAW,EAAE,OAAO,CAAC,QAAQ;wBAC7B,SAAS,EAAE,UAAU,CAAC,QAAS;wBAC/B,KAAK,EAAE,QAAQ;qBAChB;oBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;oBACtB,eAAe,EAAE,UAAU;iBAC5B,CAAC,CAAC;YACL,CAAC;YAED,UAAU;YACV,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBACjE,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,oBAAoB;oBAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,SAAS;oBACxF,IAAI,EAAE;wBACJ,WAAW,EAAE,OAAO,CAAC,UAAU;wBAC/B,SAAS,EAAE,GAAG;wBACd,KAAK,EAAE,QAAQ;qBAChB;oBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;oBACtB,eAAe,EAAE,UAAU;iBAC5B,CAAC,CAAC;YACL,CAAC;YAED,SAAS;YACT,IAAI,OAAO,CAAC,QAAQ,GAAG,GAAG,EAAE,CAAC;gBAC3B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,eAAe;oBACrB,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU;oBACvF,IAAI,EAAE;wBACJ,WAAW,EAAE,OAAO,CAAC,QAAQ;wBAC7B,SAAS,EAAE,GAAG;wBACd,KAAK,EAAE,OAAO,CAAC,WAAW;qBAC3B;oBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;oBACtB,eAAe,EAAE,kBAAkB;iBACpC,CAAC,CAAC;YACL,CAAC;YAED,SAAS;YACT,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,GAAG,CAAC;gBAC3C,CAAC,CAAC,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,WAAW;gBAC9C,CAAC,CAAC,CAAC,CAAC;YAEN,IAAI,aAAa,GAAG,UAAU,CAAC,aAAc,EAAE,CAAC;gBAC9C,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,mBAAmB;oBACzB,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,OAAO,EAAE,MAAM,OAAO,CAAC,YAAY,UAAU,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,GAAG,CAAC,YAAY;oBACxF,IAAI,EAAE;wBACJ,WAAW,EAAE,aAAa;wBAC1B,SAAS,EAAE,UAAU,CAAC,aAAc;qBACrC;oBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;oBACtB,eAAe,EAAE,eAAe;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,mBAAmB,CACjB,OAAuB,EACvB,QAAwB;QAExB,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CACvC,CAAC;QAEF,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;YAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAEnD,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,CAAC,oBAAoB,GAAG;oBAC7B,aAAa,EAAE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;oBAC/C,aAAa,EAAE,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;oBAC/C,eAAe,EAAE,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU;iBACtD,CAAC;YACJ,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAAwB;QAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;QAEpD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACK,cAAc,CAAC,MAAwB;QAC7C,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACvB,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,QAAQ;QACR,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAErE,SAAS;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEtC,gBAAgB;QAChB,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAErD,OAAO;QACP,MAAM,KAAK,GAAG,cAAc,GAAG,aAAa,CAAC;QAE7C,qBAAqB;QACrB,IAAI,KAAK,GAAG,IAAI,EAAE,CAAC;YACjB,OAAO,QAAQ,CAAC;QAClB,CAAC;aAAM,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,MAAwB;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;QACjE,OAAO,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,KAAe;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,UAA8B,CAAC;QAEnC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YACnC,IAAI,KAAK,GAAG,QAAQ,EAAE,CAAC;gBACrB,QAAQ,GAAG,KAAK,CAAC;gBACjB,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,SAAyB;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,WAAY,CAAC,CAAC;QACnD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;QAED,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,MAAM,CAAC,WAAY,EACxB,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAClC,OAAO,CACR,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,WAAW;QACT,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,WAAY,CAAC,EAAE,CAAC;YAC7C,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,WAAY,EAAE,OAAO,CAAC,CAAC;QACnE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAmB,CAAC;IAC/C,CAAC;IAED;;;;OAIG;IACH,gBAAgB;QACd,YAAY;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAEtC,cAAc;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,CAAC;QAED,SAAS;QACT,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAE1B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACH,oBAAoB;QAClB,aAAa;QACb,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAEzC,OAAO;QACP,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;QAElD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,SAAyB,EAAE,SAAyB;QACjE,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,OAAO;QACP,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG;gBACjB,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,IAAI;gBACf,GAAG,EAAE,IAAI;aACV,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAEjB,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,MAAM,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;YACxD,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,OAAO;QACP,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEf,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,OAAO,CAAC,IAAI,OAAO,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;gBACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AA7ZD,sCA6ZC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,MAAqC;IAClE,MAAM,SAAS,GAAG,IAAI,uBAAc,EAAE,CAAC;IACvC,OAAO,IAAI,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAC9C,CAAC"}

package/dist/monitoring/traces.d.ts

@@ -0,0 +1,111 @@
+/**
+ * Execution Trace 收集器
+ *
+ * 轻量设计，零 Token 成本
+ *
+ * 功能：
+ * - 记录约束检查结果（追加写入）
+ * - 批量读取 traces（按时间范围过滤）
+ * - 文件滚动（防止文件过大）
+ */
+import type { ExecutionTrace, TraceFilter, TraceCollectorConfig } from '../types/trace';
+/**
+ * Trace 收集器
+ *
+ * 使用方式：
+ * ```typescript
+ * const collector = new TraceCollector();
+ * collector.record({
+ *   constraintId: 'no_fix_without_root_cause',
+ *   level: 'iron_law',
+ *   timestamp: Date.now(),
+ *   result: 'fail',
+ * });
+ * ```
+ */
+export declare class TraceCollector {
+    private config;
+    private traceFile;
+    constructor(config?: Partial<TraceCollectorConfig>);
+    /**
+     * 确保 trace 目录存在
+     */
+    private ensureDirectory;
+    /**
+     * 记录一条 trace
+     *
+     * 轻量操作：
+     * - 追加写入（不读取现有内容）
+     * - 单行 JSON（便于批量处理）
+     * - 零 Token 成本
+     */
+    record(trace: ExecutionTrace): void;
+    /**
+     * 快捷方法：记录通过
+     */
+    recordPass(constraintId: string, level: 'iron_law' | 'guideline' | 'tip', options?: Partial<ExecutionTrace>): void;
+    /**
+     * 快捷方法：记录失败
+     */
+    recordFail(constraintId: string, level: 'iron_law' | 'guideline' | 'tip', options?: Partial<ExecutionTrace>): void;
+    /**
+     * 快捷方法：记录绕过
+     */
+    recordBypass(constraintId: string, level: 'iron_law' | 'guideline' | 'tip', bypassReason?: string, options?: Partial<ExecutionTrace>): void;
+    /**
+     * 批量读取 traces
+     *
+     * 支持过滤条件：
+   * - 时间范围
+   * - 约束 ID
+     * - 结果类型
+     */
+    read(filter?: TraceFilter): ExecutionTrace[];
+    /**
+     * 读取最近 N 小时的 traces
+     */
+    readRecent(hours: number): ExecutionTrace[];
+    /**
+     * 读取特定约束的 traces
+     */
+    readByConstraint(constraintId: string): ExecutionTrace[];
+    /**
+     * 应用过滤条件
+     */
+    private applyFilter;
+    /**
+     * 检查文件大小，必要时滚动
+     */
+    private checkFileSize;
+    /**
+     * 滚动文件
+     *
+     * 将当前文件重命名为带时间戳的备份
+     */
+    private rotateFile;
+    /**
+     * 清理旧备份文件
+     *
+     * 删除超过 maxAge 天的备份文件
+     */
+    cleanupOldFiles(maxAgeDays?: number): number;
+    /**
+     * 获取 trace 文件统计信息
+     */
+    getStats(): {
+        fileExists: boolean;
+        fileSize: number;
+        totalLines: number;
+        oldestTrace?: number;
+        newestTrace?: number;
+    };
+}
+/**
+ * 获取全局收集器
+ */
+export declare function getTraceCollector(): TraceCollector;
+/**
+ * 配置全局收集器
+ */
+export declare function configureTraceCollector(config: Partial<TraceCollectorConfig>): void;
+//# sourceMappingURL=traces.d.ts.map

package/dist/monitoring/traces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traces.d.ts","sourceRoot":"","sources":["../../src/monitoring/traces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EACV,cAAc,EACd,WAAW,EACX,oBAAoB,EACrB,MAAM,gBAAgB,CAAC;AAWxB;;;;;;;;;;;;;GAaG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,MAAM,CAAuB;IACrC,OAAO,CAAC,SAAS,CAAS;gBAEd,MAAM,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC;IAMlD;;OAEG;IACH,OAAO,CAAC,eAAe;IAOvB;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,IAAI;IAWnC;;OAEG;IACH,UAAU,CACR,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,KAAK,EACvC,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAUP;;OAEG;IACH,UAAU,CACR,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,KAAK,EACvC,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAUP;;OAEG;IACH,YAAY,CACV,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,GAAG,WAAW,GAAG,KAAK,EACvC,YAAY,CAAC,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,IAAI;IAYP;;;;;;;OAOG;IACH,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,cAAc,EAAE;IAkB5C;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,EAAE;IAK3C;;OAEG;IACH,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,cAAc,EAAE;IAIxD;;OAEG;IACH,OAAO,CAAC,WAAW;IAyCnB;;OAEG;IACH,OAAO,CAAC,aAAa;IAWrB;;;;OAIG;IACH,OAAO,CAAC,UAAU;IAWlB;;;;OAIG;IACH,eAAe,CAAC,UAAU,GAAE,MAAW,GAAG,MAAM;IAyBhD;;OAEG;IACH,QAAQ,IAAI;QACV,UAAU,EAAE,OAAO,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB;CA2BF;AAOD;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,cAAc,CAKlD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,oBAAoB,CAAC,GAAG,IAAI,CAEnF"}