@dommaker/harness 0.2.0 → 0.3.0

package/dist/monitoring/constraint-doctor.js

@@ -0,0 +1,305 @@
+"use strict";
+/**
+ * Agent 诊断接口
+ *
+ * 当检测到异常时，提供 Agent 分析 traces 的能力
+ *
+ * 成本控制：
+ * - 仅在有异常时触发
+ * - 精简 prompt，不喂全部 traces
+ * - ~2000 Token/次
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ConstraintDoctor = void 0;
+exports.createDoctor = createDoctor;
+/**
+ * Constraint Doctor - 约束诊断器
+ *
+ * 使用方式：
+ * ```typescript
+ * const doctor = new ConstraintDoctor(analyzer);
+ * const diagnosis = await doctor.diagnose(anomaly);
+ *
+ * if (diagnosis.needsChange) {
+ *   const proposal = await evolver.propose(diagnosis);
+ * }
+ * ```
+ */
+class ConstraintDoctor {
+    config;
+    traces;
+    summary;
+    constructor(config) {
+        this.config = {
+            enabled: false,
+            maxTracesInPrompt: 20,
+            autoGenerateProposal: false,
+            ...config,
+        };
+        this.traces = [];
+        this.summary = null;
+    }
+    /**
+     * 设置诊断数据
+     */
+    setData(traces, summary) {
+        this.traces = traces;
+        this.summary = summary || null;
+    }
+    /**
+     * 诊断异常
+   *
+     * 如果 Agent 未启用，返回基于规则的诊断
+     */
+    async diagnose(anomaly) {
+        // 过滤相关 traces
+        const relevantTraces = this.filterRelevantTraces(anomaly);
+        // 基于规则的初步诊断（不消耗 Token）
+        const ruleBasedDiagnosis = this.ruleBasedDiagnose(anomaly, relevantTraces);
+        // 如果 Agent 启用，可以进一步分析（预留）
+        if (this.config.enabled && this.config.agentType) {
+            // TODO: 调用 Agent 进行深度分析
+            // const agentDiagnosis = await this.agentDiagnose(anomaly, relevantTraces);
+            // return agentDiagnosis;
+        }
+        return ruleBasedDiagnosis;
+    }
+    /**
+     * 基于规则的诊断（零 Token）
+   *
+     * 根据异常类型应用预设的诊断规则
+     */
+    ruleBasedDiagnose(anomaly, traces) {
+        const diagnosis = {
+            anomalyId: `${anomaly.constraintId}-${anomaly.type}-${Date.now()}`,
+            constraintId: anomaly.constraintId,
+            diagnosedAt: Date.now(),
+            rootCause: {
+                primary: '',
+                secondary: [],
+                evidence: traces.slice(0, this.config.maxTracesInPrompt),
+            },
+            impact: {
+                severity: 'medium',
+                scope: 'single_project',
+                userImpact: '',
+            },
+            recommendations: [],
+            needsChange: false,
+            urgency: 'low',
+        };
+        // 根据异常类型诊断
+        switch (anomaly.type) {
+            case 'high_bypass_rate':
+                diagnosis.rootCause.primary = '约束过于严格，用户频繁绕过';
+                diagnosis.rootCause.secondary = [
+                    '约束触发条件过于宽泛',
+                    '缺乏必要的例外条件',
+                    '约束定义与实际场景不匹配',
+                ];
+                diagnosis.impact.userImpact = '用户被迫绕过约束，降低信任度';
+                diagnosis.recommendations = [
+                    {
+                        type: 'add_exception',
+                        content: `为约束 ${anomaly.constraintId} 添加常见例外条件`,
+                        expectedOutcome: '绕过率降低至 20% 以下',
+                        implementationCost: 'low',
+                    },
+                    {
+                        type: 'adjust_threshold',
+                        content: '调整触发条件，减少误触发',
+                        expectedOutcome: '减少不必要的约束检查',
+                        implementationCost: 'medium',
+                    },
+                ];
+                diagnosis.needsChange = true;
+                diagnosis.urgency = anomaly.data.currentRate > 0.5 ? 'high' : 'medium';
+                break;
+            case 'rising_fail_rate':
+                diagnosis.rootCause.primary = '约束失败率呈上升趋势';
+                diagnosis.rootCause.secondary = [
+                    '代码质量下降',
+                    '约束检查逻辑存在 bug',
+                    '环境变化导致约束不再适用',
+                ];
+                diagnosis.impact.userImpact = '开发效率下降，约束频繁阻止正常操作';
+                diagnosis.recommendations = [
+                    {
+                        type: 'modify_constraint',
+                        content: '审查约束逻辑，确认是否符合预期',
+                        expectedOutcome: '恢复正常的失败率水平',
+                        implementationCost: 'medium',
+                    },
+                    {
+                        type: 'user_training',
+                        content: '指导用户正确理解约束要求',
+                        expectedOutcome: '减少因误解导致的失败',
+                        implementationCost: 'low',
+                    },
+                ];
+                diagnosis.needsChange = true;
+                diagnosis.urgency = 'medium';
+                break;
+            case 'rising_bypass_rate':
+                diagnosis.rootCause.primary = '绕过率呈上升趋势';
+                diagnosis.rootCause.secondary = [
+                    '用户对约束的接受度下降',
+                    '约束规则逐渐不适应新的开发模式',
+                    '用户发现了绕过约束的"捷径"',
+                ];
+                diagnosis.impact.userImpact = '约束逐渐失去约束力';
+                diagnosis.recommendations = [
+                    {
+                        type: 'modify_constraint',
+                        content: '重新评估约束的必要性',
+                        expectedOutcome: '恢复约束的权威性',
+                        implementationCost: 'high',
+                    },
+                ];
+                diagnosis.needsChange = true;
+                diagnosis.urgency = 'high';
+                break;
+            case 'low_pass_rate':
+                diagnosis.rootCause.primary = '约束通过率过低';
+                diagnosis.rootCause.secondary = [
+                    '约束要求过于严格',
+                    '实际代码质量不达标',
+                    '约束定义存在歧义',
+                ];
+                diagnosis.impact.userImpact = '几乎所有操作都被阻止，开发受阻';
+                diagnosis.recommendations = [
+                    {
+                        type: 'adjust_threshold',
+                        content: '放宽约束要求，设置合理阈值',
+                        expectedOutcome: '通过率提升至 50% 以上',
+                        implementationCost: 'low',
+                    },
+                ];
+                diagnosis.needsChange = true;
+                diagnosis.urgency = 'high';
+                break;
+            case 'exception_overuse':
+                diagnosis.rootCause.primary = '例外条件被过度使用';
+                diagnosis.rootCause.secondary = [
+                    '例外条件过于宽泛',
+                    '例外条件定义不够精确',
+                    '用户习惯性申请例外',
+                ];
+                diagnosis.impact.userImpact = '例外成为常态，约束失去意义';
+                diagnosis.recommendations = [
+                    {
+                        type: 'modify_constraint',
+                        content: '缩小例外条件范围，提高例外门槛',
+                        expectedOutcome: '例外使用率降低至 20% 以下',
+                        implementationCost: 'medium',
+                    },
+                ];
+                diagnosis.needsChange = true;
+                diagnosis.urgency = 'medium';
+                break;
+        }
+        // 根据约束层级调整严重性
+        if (anomaly.level === 'iron_law') {
+            diagnosis.impact.severity = 'high';
+            diagnosis.urgency = 'medium'; // Iron law 总是至少 medium
+        }
+        return diagnosis;
+    }
+    /**
+     * 过滤相关 traces
+   *
+     * 只保留与异常相关的 traces，减少 prompt 内容
+     */
+    filterRelevantTraces(anomaly) {
+        return this.traces.filter(t => {
+            // 必须是同一个约束
+            if (t.constraintId !== anomaly.constraintId)
+                return false;
+            // 失败或绕过的更有诊断价值
+            if (t.result === 'fail' || t.result === 'bypassed')
+                return true;
+            // 保留少量通过的作为对比
+            return true;
+        });
+    }
+    /**
+     * 批量诊断多个异常
+     */
+    async diagnoseBatch(anomalies) {
+        return Promise.all(anomalies.map(a => this.diagnose(a)));
+    }
+    /**
+     * 生成诊断报告（文本格式）
+     */
+    generateReport(diagnosis) {
+        const lines = [];
+        lines.push(`# Diagnosis Report`);
+        lines.push(`Constraint: ${diagnosis.constraintId}`);
+        lines.push(`Anomaly: ${diagnosis.anomalyId}`);
+        lines.push(`Diagnosed: ${new Date(diagnosis.diagnosedAt).toISOString()}`);
+        lines.push('');
+        // 根因
+        lines.push(`## Root Cause`);
+        lines.push('');
+        lines.push(`**Primary**: ${diagnosis.rootCause.primary}`);
+        if (diagnosis.rootCause.secondary?.length) {
+            lines.push('');
+            lines.push('**Secondary**:');
+            for (const s of diagnosis.rootCause.secondary) {
+                lines.push(`- ${s}`);
+            }
+        }
+        lines.push('');
+        // 影响
+        lines.push(`## Impact`);
+        lines.push('');
+        lines.push(`- Severity: ${diagnosis.impact.severity}`);
+        lines.push(`- Scope: ${diagnosis.impact.scope}`);
+        lines.push(`- User Impact: ${diagnosis.impact.userImpact}`);
+        lines.push('');
+        // 建议
+        lines.push(`## Recommendations`);
+        lines.push('');
+        for (const r of diagnosis.recommendations) {
+            lines.push(`### ${r.type}`);
+            lines.push(`- Content: ${r.content}`);
+            lines.push(`- Expected: ${r.expectedOutcome}`);
+            lines.push(`- Cost: ${r.implementationCost}`);
+            lines.push('');
+        }
+        // 决策
+        lines.push(`## Decision`);
+        lines.push('');
+        lines.push(`- Needs Change: ${diagnosis.needsChange ? '✅ Yes' : '❌ No'}`);
+        lines.push(`- Urgency: ${diagnosis.urgency}`);
+        return lines.join('\n');
+    }
+    /**
+     * 保存诊断结果
+     */
+    saveDiagnosis(diagnosis, outputPath) {
+        const fs = require('fs');
+        const path = require('path');
+        const dir = path.dirname(outputPath);
+        if (!fs.existsSync(dir)) {
+            fs.mkdirSync(dir, { recursive: true });
+        }
+        fs.writeFileSync(outputPath, JSON.stringify(diagnosis, null, 2), 'utf-8');
+    }
+    /**
+     * 加载诊断结果
+     */
+    loadDiagnosis(inputPath) {
+        const fs = require('fs');
+        const content = fs.readFileSync(inputPath, 'utf-8');
+        return JSON.parse(content);
+    }
+}
+exports.ConstraintDoctor = ConstraintDoctor;
+/**
+ * 创建诊断器
+ */
+function createDoctor(config) {
+    return new ConstraintDoctor(config);
+}
+//# sourceMappingURL=constraint-doctor.js.map

package/dist/monitoring/constraint-doctor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-doctor.js","sourceRoot":"","sources":["../../src/monitoring/constraint-doctor.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAkZH,oCAEC;AAhUD;;;;;;;;;;;;GAYG;AACH,MAAa,gBAAgB;IACnB,MAAM,CAAyB;IAC/B,MAAM,CAAmB;IACzB,OAAO,CAAsB;IAErC,YAAY,MAA+B;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,OAAO,EAAE,KAAK;YACd,iBAAiB,EAAE,EAAE;YACrB,oBAAoB,EAAE,KAAK;YAC3B,GAAG,MAAM;SACV,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,MAAwB,EAAE,OAAsB;QACtD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,QAAQ,CAAC,OAAqB;QAClC,cAAc;QACd,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE1D,uBAAuB;QACvB,MAAM,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAE3E,0BAA0B;QAC1B,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YACjD,wBAAwB;YACxB,4EAA4E;YAC5E,yBAAyB;QAC3B,CAAC;QAED,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACK,iBAAiB,CACvB,OAAqB,EACrB,MAAwB;QAExB,MAAM,SAAS,GAAc;YAC3B,SAAS,EAAE,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;YAClE,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;YACvB,SAAS,EAAE;gBACT,OAAO,EAAE,EAAE;gBACX,SAAS,EAAE,EAAE;gBACb,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,iBAAkB,CAAC;aAC1D;YACD,MAAM,EAAE;gBACN,QAAQ,EAAE,QAAQ;gBAClB,KAAK,EAAE,gBAAgB;gBACvB,UAAU,EAAE,EAAE;aACf;YACD,eAAe,EAAE,EAAE;YACnB,WAAW,EAAE,KAAK;YAClB,OAAO,EAAE,KAAK;SACf,CAAC;QAEF,WAAW;QACX,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,kBAAkB;gBACrB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,eAAe,CAAC;gBAC9C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,YAAY;oBACZ,WAAW;oBACX,cAAc;iBACf,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,gBAAgB,CAAC;gBAC/C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,OAAO,OAAO,CAAC,YAAY,WAAW;wBAC/C,eAAe,EAAE,eAAe;wBAChC,kBAAkB,EAAE,KAAK;qBAC1B;oBACD;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,cAAc;wBACvB,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,QAAQ;qBAC7B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACvE,MAAM;YAER,KAAK,kBAAkB;gBACrB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,YAAY,CAAC;gBAC3C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,QAAQ;oBACR,cAAc;oBACd,cAAc;iBACf,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,mBAAmB,CAAC;gBAClD,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,iBAAiB;wBAC1B,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,QAAQ;qBAC7B;oBACD;wBACE,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,cAAc;wBACvB,eAAe,EAAE,YAAY;wBAC7B,kBAAkB,EAAE,KAAK;qBAC1B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC7B,MAAM;YAER,KAAK,oBAAoB;gBACvB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,UAAU,CAAC;gBACzC,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,aAAa;oBACb,iBAAiB;oBACjB,gBAAgB;iBACjB,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,WAAW,CAAC;gBAC1C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,YAAY;wBACrB,eAAe,EAAE,UAAU;wBAC3B,kBAAkB,EAAE,MAAM;qBAC3B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,MAAM,CAAC;gBAC3B,MAAM;YAER,KAAK,eAAe;gBAClB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,SAAS,CAAC;gBACxC,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,UAAU;oBACV,WAAW;oBACX,UAAU;iBACX,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,iBAAiB,CAAC;gBAChD,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,eAAe;wBACxB,eAAe,EAAE,eAAe;wBAChC,kBAAkB,EAAE,KAAK;qBAC1B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,MAAM,CAAC;gBAC3B,MAAM;YAER,KAAK,mBAAmB;gBACtB,SAAS,CAAC,SAAS,CAAC,OAAO,GAAG,WAAW,CAAC;gBAC1C,SAAS,CAAC,SAAS,CAAC,SAAS,GAAG;oBAC9B,UAAU;oBACV,YAAY;oBACZ,WAAW;iBACZ,CAAC;gBACF,SAAS,CAAC,MAAM,CAAC,UAAU,GAAG,eAAe,CAAC;gBAC9C,SAAS,CAAC,eAAe,GAAG;oBAC1B;wBACE,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,iBAAiB;wBAC1B,eAAe,EAAE,iBAAiB;wBAClC,kBAAkB,EAAE,QAAQ;qBAC7B;iBACF,CAAC;gBACF,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC;gBAC7B,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC7B,MAAM;QACV,CAAC;QAED,cAAc;QACd,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjC,SAAS,CAAC,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC;YACnC,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,uBAAuB;QACvD,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACK,oBAAoB,CAAC,OAAqB;QAChD,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC5B,WAAW;YACX,IAAI,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY;gBAAE,OAAO,KAAK,CAAC;YAE1D,eAAe;YACf,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,IAAI,CAAC;YAEhE,cAAc;YACd,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,CAAC,SAAyB;QAC3C,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,SAAoB;QACjC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7B,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,eAAe,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAE9C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,SAAoB,EAAE,UAAkB;QACpD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAE7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACrC,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,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,SAAiB;QAC7B,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC1C,CAAC;CACF;AA5SD,4CA4SC;AAED;;GAEG;AACH,SAAgB,YAAY,CAAC,MAA+B;IAC1D,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC"}

package/dist/monitoring/constraint-evolver.d.ts

@@ -0,0 +1,174 @@
+/**
+ * 约束提案流程
+ *
+ * 根据诊断结果提出约束修改建议
+ *
+ * 成本控制：
+ * - 仅在诊断有结论时触发
+ * - 精简 prompt
+ * - ~3000 Token/次
+ */
+import type { Diagnosis } from './constraint-doctor';
+/**
+ * 约束提案
+ */
+export interface ConstraintProposal {
+    /** 提案 ID */
+    id: string;
+    /** 提案时间 */
+    proposedAt: number;
+    /** 来源诊断 */
+    diagnosisId: string;
+    /** 约束 ID */
+    constraintId: string;
+    /** 提案类型 */
+    type: 'add_exception' | 'remove_exception' | 'adjust_trigger' | 'change_level' | 'modify_message' | 'new_constraint';
+    /** 提案内容 */
+    content: {
+        /** 当前值（如果有） */
+        current?: any;
+        /** 建议值 */
+        proposed: any;
+        /** 变更描述 */
+        description: string;
+    };
+    /** 理由 */
+    reasoning: string;
+    /** 预期效果 */
+    expectedOutcome: string;
+    /** 风险评估 */
+    risk: {
+        /** 风险等级 */
+        level: 'low' | 'medium' | 'high';
+        /** 风险描述 */
+        description: string;
+        /** 回滚方案 */
+        rollbackPlan?: string;
+    };
+    /** 实施信息 */
+    implementation: {
+        /** 改动文件 */
+        files: string[];
+        /** 改动量估计 */
+        linesChanged: number;
+        /** 测试要求 */
+        testsRequired: boolean;
+    };
+    /** 状态 */
+    status: 'proposed' | 'reviewing' | 'accepted' | 'rejected' | 'implemented';
+    /** 审核意见 */
+    reviewComment?: string;
+}
+/**
+ * 提案审核结果
+ */
+export interface ProposalReviewResult {
+    /** 是否接受 */
+    accepted: boolean;
+    /** 审核意见 */
+    comment: string;
+    /** 修改建议（如果拒绝） */
+    modifications?: Partial<ConstraintProposal>;
+}
+/**
+ * Constraint Evolver - 约束进化器
+ *
+ * 使用方式：
+ * ```typescript
+ * const evolver = new ConstraintEvolver();
+ * const proposal = await evolver.propose(diagnosis);
+ *
+ * // 审核
+ * const review = evolver.review(proposal);
+ *
+ * // 如果接受，实施
+ * if (review.accepted) {
+ *   evolver.implement(proposal);
+ * }
+ * ```
+ */
+export declare class ConstraintEvolver {
+    private proposalsDir;
+    constructor(proposalsDir?: string);
+    /**
+     * 根据诊断生成提案
+   *
+     * 如果诊断不需要变更，返回 null
+     */
+    propose(diagnosis: Diagnosis): Promise<ConstraintProposal | null>;
+    /**
+     * 批量生成提案
+     */
+    proposeBatch(diagnoses: Diagnosis[]): Promise<ConstraintProposal[]>;
+    /**
+     * 审核提案
+   *
+     * 基于规则的审核（不消耗 Token）
+     */
+    review(proposal: ConstraintProposal): ProposalReviewResult;
+    /**
+     * 实施提案（返回实施建议，不自动修改代码）
+     */
+    implement(proposal: ConstraintProposal): {
+        instructions: string[];
+        filesToModify: string[];
+        testsToRun: string[];
+    };
+    /**
+     * 保存提案
+     */
+    saveProposal(proposal: ConstraintProposal): void;
+    /**
+     * 加载提案
+     */
+    loadProposal(proposalId: string): ConstraintProposal;
+    /**
+     * 列出所有提案
+     */
+    listProposals(status?: ConstraintProposal['status']): ConstraintProposal[];
+    /**
+     * 更新提案状态
+     */
+    updateProposalStatus(proposalId: string, status: ConstraintProposal['status'], reviewComment?: string): void;
+    /**
+     * 映射建议类型到提案类型
+     */
+    private mapRecommendationType;
+    /**
+     * 生成提案内容
+     */
+    private generateProposalContent;
+    /**
+     * 建议例外条件
+     */
+    private suggestException;
+    /**
+     * 建议触发条件
+     */
+    private suggestTrigger;
+    /**
+     * 建议提示消息
+     */
+    private suggestMessage;
+    /**
+     * 风险评估
+     */
+    private assessRisk;
+    /**
+     * 估算实施信息
+     */
+    private estimateImplementation;
+    /**
+     * 查找约束定义
+     */
+    private findConstraint;
+    /**
+     * 生成提案 Markdown
+     */
+    private generateProposalMarkdown;
+}
+/**
+ * 创建进化器
+ */
+export declare function createEvolver(proposalsDir?: string): ConstraintEvolver;
+//# sourceMappingURL=constraint-evolver.d.ts.map

package/dist/monitoring/constraint-evolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-evolver.d.ts","sourceRoot":"","sources":["../../src/monitoring/constraint-evolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAOrD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IAEX,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAEnB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IAEpB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW;IACX,IAAI,EAAE,eAAe,GAAG,kBAAkB,GAAG,gBAAgB,GAAG,cAAc,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;IAErH,WAAW;IACX,OAAO,EAAE;QACP,eAAe;QACf,OAAO,CAAC,EAAE,GAAG,CAAC;QAEd,UAAU;QACV,QAAQ,EAAE,GAAG,CAAC;QAEd,WAAW;QACX,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;IAEF,SAAS;IACT,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,eAAe,EAAE,MAAM,CAAC;IAExB,WAAW;IACX,IAAI,EAAE;QACJ,WAAW;QACX,KAAK,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;QAEjC,WAAW;QACX,WAAW,EAAE,MAAM,CAAC;QAEpB,WAAW;QACX,YAAY,CAAC,EAAE,MAAM,CAAC;KACvB,CAAC;IAEF,WAAW;IACX,cAAc,EAAE;QACd,WAAW;QACX,KAAK,EAAE,MAAM,EAAE,CAAC;QAEhB,YAAY;QACZ,YAAY,EAAE,MAAM,CAAC;QAErB,WAAW;QACX,aAAa,EAAE,OAAO,CAAC;KACxB,CAAC;IAEF,SAAS;IACT,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,CAAC;IAE3E,WAAW;IACX,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,WAAW;IACX,QAAQ,EAAE,OAAO,CAAC;IAElB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,iBAAiB;IACjB,aAAa,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;CAC7C;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,YAAY,CAAS;gBAEjB,YAAY,CAAC,EAAE,MAAM;IAIjC;;;;OAIG;IACG,OAAO,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IA6BvE;;OAEG;IACG,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;IAKzE;;;;OAIG;IACH,MAAM,CAAC,QAAQ,EAAE,kBAAkB,GAAG,oBAAoB;IA+C1D;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,kBAAkB,GAAG;QACvC,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,UAAU,EAAE,MAAM,EAAE,CAAC;KACtB;IAgED;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAmBhD;;OAEG;IACH,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB;IAUpD;;OAEG;IACH,aAAa,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,GAAG,kBAAkB,EAAE;IAuB1E;;OAEG;IACH,oBAAoB,CAClB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EACpC,aAAa,CAAC,EAAE,MAAM,GACrB,IAAI;IAaP;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAU7B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAoC/B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAoBxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,UAAU;IA8BlB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAQ9B;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,OAAO,CAAC,wBAAwB;CA+CjC;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAEtE"}