@dommaker/harness 0.2.1 → 0.3.1

package/README.md

@@ -58,6 +58,13 @@ harness passes-gate
 
 # 生成报告
 harness report
+
+# Trace 分析（Execution Traces）
+harness traces stats              # 查看 trace 文件统计
+harness traces summary            # 查看约束汇总
+harness traces anomalies          # 检测异常模式
+harness traces report             # 生成完整报告
+harness traces clean              # 清理旧 trace 文件
 ```
 
 ### 3. 在 CI 中使用
@@ -215,4 +222,130 @@ npm test
 
 ## 许可证
 
-MIT © dommaker
+MIT © dommaker
+
+---
+
+## Execution Trace 系统（v0.3+）
+
+### 概念
+
+Execution Trace 是约束检查的轻量记录，用于：
+- 统计约束触发频率
+- 检测异常模式（高频绕过、失败率上升）
+- 为 Agent 诊断提供数据基础
+
+### 设计原则
+
+| 原则 | 说明 |
+|------|------|
+| **零 Token 成本** | 记录和统计都不调用 LLM |
+| **轻量记录** | 只记录核心字段，不记录代码片段 |
+| **异步分析** | 统计每小时执行，异常检测每日执行 |
+| **按需诊断** | Agent 仅在检测到异常时才介入 |
+
+### Trace 数据结构
+
+```typescript
+interface ExecutionTrace {
+  constraintId: string;     // 约束 ID
+  level: 'iron_law' | 'guideline' | 'tip';
+  timestamp: number;        // Unix timestamp
+  result: 'pass' | 'fail' | 'bypassed';
+  operation?: string;       // 触发条件
+  exceptionApplied?: string; // 例外类型
+}
+```
+
+### 自动记录
+
+约束检查时自动记录：
+
+```typescript
+import { checkConstraints } from '@dommaker/harness';
+
+// 每次检查都会自动记录 trace
+const result = await checkConstraints(context);
+// Trace 已写入 .harness/traces/execution.log
+```
+
+### Trace 文件位置
+
+```
+.harness/traces/
+├── execution.log           # 当前 trace 文件
+├── execution-2026-04-05.log  # 滚动备份（超出 10MB 时）
+├── summary.json            # 统计汇总
+```
+
+### 统计汇总
+
+每小时自动执行：
+
+```typescript
+import { TraceAnalyzer } from '@dommaker/harness';
+
+const analyzer = new TraceAnalyzer();
+const summaries = analyzer.runHourlySummary();
+
+// 输出：
+// [
+//   { constraintId: 'no_fix_without_root_cause', passRate: 0.7, bypassRate: 0.1 },
+//   { constraintId: 'no_code_without_test', passRate: 0.9, bypassRate: 0 },
+// ]
+```
+
+### 异常检测
+
+每日自动执行：
+
+```typescript
+const anomalies = analyzer.runDailyAnomalyCheck();
+
+// 检测类型：
+// - high_bypass_rate：绕过率 > 30%
+// - rising_fail_rate：失败率上升趋势
+// - exception_overuse：例外使用率 > 40%
+```
+
+### CLI 使用
+
+```bash
+# 查看 trace 文件统计
+harness traces stats
+
+# 查看最近 24 小时的约束汇总
+harness traces summary --hours 24
+
+# 检测异常
+harness traces anomalies
+
+# JSON 格式输出
+harness traces summary --format json
+
+# 运行诊断
+harness diagnose run --hours 24 --save
+
+# 查看诊断列表
+harness diagnose list
+
+# 生成提案
+harness propose generate --save
+
+# 审核提案
+harness propose review --diagnosis <id> --accept
+
+# 查看实施指导
+harness propose implement --diagnosis <id>
+```
+
+### 成本控制
+
+| 活动 | 频率 | Token 成本 |
+|------|------|:----------:|
+| Trace 记录 | 每次检查 | 0 |
+| 统计汇总 | 每小时 | 0 |
+| 异常检测 | 每日 | 0（未触发）~500（触发） |
+| Agent 诊断 | 按需 | ~2000 |
+
+**对比 Meta-Harness**：百万级 vs 5500/周，成本降低 **180 倍**。

package/bin/harness.js

@@ -7,14 +7,24 @@
  */
 
 const { Command } = require('commander');
-const { check, listLaws, validate, runPassesGate, init, report } = require('../dist/cli/commands/index');
+const { 
+  check, 
+  listLaws, 
+  validate, 
+  runPassesGate, 
+  init, 
+  report,
+  tracesCommand,
+  diagnoseCommand,
+  proposeCommand
+} = require('../dist/cli/commands/index');
 
 const program = new Command();
 
 program
   .name('harness')
-  .description('通用工程约束框架 - 铁律系统、检查点验证、测试门控')
-  .version('0.1.0');
+  .description('通用工程约束框架 - 铁律系统、检查点验证、测试门控、执行追踪')
+  .version('0.3.0');
 
 // ========================================
 // harness check
@@ -100,5 +110,73 @@ program
     await report(options);
   });
 
+// ========================================
+// harness traces
+// ========================================
+program
+  .command('traces [subcommand]')
+  .description('Execution Trace 分析')
+  .option('--hours <n>', '分析最近 N 小时', '1')
+  .option('--constraint <id>', '过滤约束 ID')
+  .option('--format <format>', '输出格式 (json/text)', 'text')
+  .option('--max-age-days <n>', '清理超过 N 天的文件', '30')
+  .action(async (subcommand, options, command) => {
+    const sub = subcommand || 'stats';
+    await tracesCommand(sub, {
+      hours: parseInt(options.hours, 10),
+      constraintId: options.constraint,
+      format: options.format,
+      maxAgeDays: parseInt(options.maxAgeDays, 10),
+    });
+  });
+
+// ========================================
+// harness diagnose
+// ========================================
+program
+  .command('diagnose [subcommand]')
+  .description('约束诊断')
+  .option('--hours <n>', '分析最近 N 小时', '24')
+  .option('--constraint <id>', '过滤约束 ID')
+  .option('--anomaly <id>', '特定异常 ID')
+  .option('--format <format>', '输出格式 (json/text)', 'text')
+  .option('--save', '保存诊断结果', false)
+  .action(async (subcommand, options, command) => {
+    const sub = subcommand || 'list';
+    await diagnoseCommand(sub, {
+      hours: parseInt(options.hours, 10),
+      constraintId: options.constraint,
+      anomalyId: options.anomaly,
+      format: options.format,
+      save: options.save,
+    });
+  });
+
+// ========================================
+// harness propose
+// ========================================
+program
+  .command('propose [subcommand]')
+  .description('约束提案')
+  .option('--diagnosis <id>', '诊断 ID')
+  .option('--status <status>', '过滤状态')
+  .option('--format <format>', '输出格式 (json/text)', 'text')
+  .option('--save', '保存提案', false)
+  .option('--accept', '接受提案', false)
+  .option('--reject', '拒绝提案', false)
+  .option('--comment <text>', '审核意见')
+  .action(async (subcommand, options, command) => {
+    const sub = subcommand || 'list';
+    await proposeCommand(sub, {
+      diagnosisId: options.diagnosis,
+      status: options.status,
+      format: options.format,
+      save: options.save,
+      accept: options.accept,
+      reject: options.reject,
+      comment: options.comment,
+    });
+  });
+
 // 解析命令行参数
 program.parse();

package/dist/cli/commands/diagnose.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Diagnose CLI 命令
+ *
+ * 运行诊断分析异常
+ */
+/**
+ * diagnose 命令
+ */
+export declare function diagnoseCommand(subcommand: string, options: {
+    hours?: number;
+    constraintId?: string;
+    anomalyId?: string;
+    format?: 'json' | 'text';
+    save?: boolean;
+}): Promise<void>;
+//# sourceMappingURL=diagnose.d.ts.map

package/dist/cli/commands/diagnose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnose.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/diagnose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH;;GAEG;AACH,wBAAsB,eAAe,CACnC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IACP,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,GACA,OAAO,CAAC,IAAI,CAAC,CA6Bf"}

package/dist/cli/commands/diagnose.js

@@ -0,0 +1,195 @@
+"use strict";
+/**
+ * Diagnose CLI 命令
+ *
+ * 运行诊断分析异常
+ */
+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.diagnoseCommand = diagnoseCommand;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const traces_1 = require("../../monitoring/traces");
+const trace_analyzer_1 = require("../../monitoring/trace-analyzer");
+const constraint_doctor_1 = require("../../monitoring/constraint-doctor");
+/**
+ * diagnose 命令
+ */
+async function diagnoseCommand(subcommand, options) {
+    switch (subcommand) {
+        case 'run':
+            await runDiagnose(options);
+            break;
+        case 'show':
+            await showDiagnose(options);
+            break;
+        case 'list':
+            await listDiagnoses(options);
+            break;
+        default:
+            console.log('Usage: harness diagnose <subcommand>');
+            console.log('');
+            console.log('Subcommands:');
+            console.log('  run    Run diagnosis on detected anomalies');
+            console.log('  show   Show a specific diagnosis result');
+            console.log('  list   List all diagnosis results');
+            console.log('');
+            console.log('Options:');
+            console.log('  --hours <n>       Analyze last N hours (default: 24)');
+            console.log('  --constraint <id> Filter by constraint ID');
+            console.log('  --anomaly <id>    Show specific anomaly diagnosis');
+            console.log('  --format <format> Output format: json or text (default: text)');
+            console.log('  --save            Save diagnosis to file');
+    }
+}
+/**
+ * 运行诊断
+ */
+async function runDiagnose(options) {
+    const hours = options.hours || 24;
+    const analyzer = (0, trace_analyzer_1.createAnalyzer)();
+    const doctor = (0, constraint_doctor_1.createDoctor)();
+    // 1. 检测异常
+    const anomalies = analyzer.runDailyAnomalyCheck();
+    // 过滤特定约束
+    let filteredAnomalies = anomalies;
+    if (options.constraintId) {
+        filteredAnomalies = anomalies.filter(a => a.constraintId === options.constraintId);
+    }
+    if (filteredAnomalies.length === 0) {
+        console.log('✅ No anomalies detected. No diagnosis needed.');
+        return;
+    }
+    console.log(`🔍 Detected ${filteredAnomalies.length} anomalies, running diagnosis...`);
+    console.log('');
+    // 2. 获取 traces
+    const collector = (0, traces_1.getTraceCollector)();
+    const traces = collector.readRecent(hours);
+    // 3. 运行诊断
+    const diagnoses = [];
+    for (const anomaly of filteredAnomalies) {
+        doctor.setData(traces.filter(t => t.constraintId === anomaly.constraintId));
+        const diagnosis = await doctor.diagnose(anomaly);
+        diagnoses.push(diagnosis);
+        // 保存诊断
+        if (options.save) {
+            const outputPath = `.harness/diagnoses/${diagnosis.anomalyId}.json`;
+            doctor.saveDiagnosis(diagnosis, outputPath);
+        }
+    }
+    // 4. 输出结果
+    if (options.format === 'json') {
+        console.log(JSON.stringify(diagnoses, null, 2));
+    }
+    else {
+        for (const diagnosis of diagnoses) {
+            console.log(doctor.generateReport(diagnosis));
+            console.log('---');
+        }
+    }
+    // 5. 统计
+    const needsChange = diagnoses.filter(d => d.needsChange).length;
+    console.log('');
+    console.log(`📊 Summary: ${needsChange} diagnoses need constraint changes`);
+}
+/**
+ * 显示特定诊断
+ */
+async function showDiagnose(options) {
+    if (!options.anomalyId) {
+        console.log('❌ Please specify --anomaly <id>');
+        return;
+    }
+    const doctor = (0, constraint_doctor_1.createDoctor)();
+    const diagnosisPath = `.harness/diagnoses/${options.anomalyId}.json`;
+    if (!fs.existsSync(diagnosisPath)) {
+        console.log(`❌ Diagnosis not found: ${options.anomalyId}`);
+        return;
+    }
+    const diagnosis = doctor.loadDiagnosis(diagnosisPath);
+    if (options.format === 'json') {
+        console.log(JSON.stringify(diagnosis, null, 2));
+    }
+    else {
+        console.log(doctor.generateReport(diagnosis));
+    }
+}
+/**
+ * 列出所有诊断
+ */
+async function listDiagnoses(options) {
+    const diagnosesDir = '.harness/diagnoses';
+    if (!fs.existsSync(diagnosesDir)) {
+        console.log('❌ No diagnoses found. Run `harness diagnose run` first.');
+        return;
+    }
+    const files = fs.readdirSync(diagnosesDir)
+        .filter(f => f.endsWith('.json'));
+    if (files.length === 0) {
+        console.log('❌ No diagnoses found.');
+        return;
+    }
+    const doctor = (0, constraint_doctor_1.createDoctor)();
+    const diagnoses = files.map(f => {
+        const content = fs.readFileSync(path.join(diagnosesDir, f), 'utf-8');
+        return JSON.parse(content);
+    });
+    if (options.format === 'json') {
+        console.log(JSON.stringify(diagnoses.map(d => ({
+            anomalyId: d.anomalyId,
+            constraintId: d.constraintId,
+            needsChange: d.needsChange,
+            urgency: d.urgency,
+        })), null, 2));
+    }
+    else {
+        console.log('📋 Diagnosis List');
+        console.log('');
+        for (const diagnosis of diagnoses) {
+            const urgencyEmoji = {
+                low: '🟢',
+                medium: '🟡',
+                high: '🔴',
+            }[diagnosis.urgency] || '⚪';
+            console.log(`${urgencyEmoji} ${diagnosis.anomalyId}`);
+            console.log(`   Constraint: ${diagnosis.constraintId}`);
+            console.log(`   Needs Change: ${diagnosis.needsChange ? 'Yes' : 'No'}`);
+            console.log(`   Urgency: ${diagnosis.urgency}`);
+            console.log('');
+        }
+        console.log(`Total: ${diagnoses.length} diagnoses`);
+    }
+}
+//# sourceMappingURL=diagnose.js.map

package/dist/cli/commands/diagnose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnose.js","sourceRoot":"","sources":["../../../src/cli/commands/diagnose.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAaH,0CAsCC;AAjDD,uCAAyB;AACzB,2CAA6B;AAC7B,oDAA4E;AAC5E,oEAAgF;AAChF,0EAAoF;AAIpF;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,UAAkB,EAClB,OAMC;IAED,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM;QAER,KAAK,MAAM;YACT,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;YAC5B,MAAM;QAER,KAAK,MAAM;YACT,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM;QAER;YACE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;YACtE,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;YAC/E,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CAAC,OAK1B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAA,+BAAc,GAAE,CAAC;IAClC,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAE9B,UAAU;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,oBAAoB,EAAE,CAAC;IAElD,SAAS;IACT,IAAI,iBAAiB,GAAG,SAAS,CAAC;IAClC,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,iBAAiB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;IACrF,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,eAAe,iBAAiB,CAAC,MAAM,kCAAkC,CAAC,CAAC;IACvF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,eAAe;IACf,MAAM,SAAS,GAAG,IAAA,0BAAiB,GAAE,CAAC;IACtC,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAE3C,UAAU;IACV,MAAM,SAAS,GAAgB,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE1B,OAAO;QACP,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,UAAU,GAAG,sBAAsB,SAAS,CAAC,SAAS,OAAO,CAAC;YACpE,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,UAAU;IACV,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,eAAe,WAAW,oCAAoC,CAAC,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CAAC,OAG3B;IACC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAC9B,MAAM,aAAa,GAAG,sBAAsB,OAAO,CAAC,SAAS,OAAO,CAAC;IAErE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,0BAA0B,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;IAEtD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,aAAa,CAAC,OAE5B;IACC,MAAM,YAAY,GAAG,oBAAoB,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;QACvE,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAEpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,MAAM,YAAY,GAAW;gBAC3B,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;aACX,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;YAE5B,OAAO,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,kBAAkB,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,oBAAoB,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,eAAe,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,UAAU,SAAS,CAAC,MAAM,YAAY,CAAC,CAAC;IACtD,CAAC;AACH,CAAC"}

package/dist/cli/commands/index.d.ts

@@ -6,4 +6,7 @@ export { validate, createExampleCheckpoint, type ValidateOptions } from './valid
 export { runPassesGate, checkCoverage, type PassesGateOptions } from './passes-gate';
 export { init, type InitOptions } from './init';
 export { report, type ReportOptions } from './report';
+export { tracesCommand } from './traces';
+export { diagnoseCommand } from './diagnose';
+export { proposeCommand } from './propose';
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/commands/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,uBAAuB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,IAAI,EAAE,KAAK,WAAW,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,KAAK,aAAa,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,uBAAuB,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,IAAI,EAAE,KAAK,WAAW,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,KAAK,aAAa,EAAE,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC"}

package/dist/cli/commands/index.js

@@ -3,7 +3,7 @@
  * CLI 命令导出
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.report = exports.init = exports.checkCoverage = exports.runPassesGate = exports.createExampleCheckpoint = exports.validate = exports.listLaws = exports.check = void 0;
+exports.proposeCommand = exports.diagnoseCommand = exports.tracesCommand = exports.report = exports.init = exports.checkCoverage = exports.runPassesGate = exports.createExampleCheckpoint = exports.validate = exports.listLaws = exports.check = void 0;
 var check_1 = require("./check");
 Object.defineProperty(exports, "check", { enumerable: true, get: function () { return check_1.check; } });
 Object.defineProperty(exports, "listLaws", { enumerable: true, get: function () { return check_1.listLaws; } });
@@ -17,4 +17,10 @@ var init_1 = require("./init");
 Object.defineProperty(exports, "init", { enumerable: true, get: function () { return init_1.init; } });
 var report_1 = require("./report");
 Object.defineProperty(exports, "report", { enumerable: true, get: function () { return report_1.report; } });
+var traces_1 = require("./traces");
+Object.defineProperty(exports, "tracesCommand", { enumerable: true, get: function () { return traces_1.tracesCommand; } });
+var diagnose_1 = require("./diagnose");
+Object.defineProperty(exports, "diagnoseCommand", { enumerable: true, get: function () { return diagnose_1.diagnoseCommand; } });
+var propose_1 = require("./propose");
+Object.defineProperty(exports, "proposeCommand", { enumerable: true, get: function () { return propose_1.proposeCommand; } });
 //# sourceMappingURL=index.js.map

package/dist/cli/commands/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,iCAA6D;AAApD,8FAAA,KAAK,OAAA;AAAE,iGAAA,QAAQ,OAAA;AACxB,uCAAqF;AAA5E,oGAAA,QAAQ,OAAA;AAAE,mHAAA,uBAAuB,OAAA;AAC1C,6CAAqF;AAA5E,4GAAA,aAAa,OAAA;AAAE,4GAAA,aAAa,OAAA;AACrC,+BAAgD;AAAvC,4FAAA,IAAI,OAAA;AACb,mCAAsD;AAA7C,gGAAA,MAAM,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,iCAA6D;AAApD,8FAAA,KAAK,OAAA;AAAE,iGAAA,QAAQ,OAAA;AACxB,uCAAqF;AAA5E,oGAAA,QAAQ,OAAA;AAAE,mHAAA,uBAAuB,OAAA;AAC1C,6CAAqF;AAA5E,4GAAA,aAAa,OAAA;AAAE,4GAAA,aAAa,OAAA;AACrC,+BAAgD;AAAvC,4FAAA,IAAI,OAAA;AACb,mCAAsD;AAA7C,gGAAA,MAAM,OAAA;AACf,mCAAyC;AAAhC,uGAAA,aAAa,OAAA;AACtB,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AACxB,qCAA2C;AAAlC,yGAAA,cAAc,OAAA"}

package/dist/cli/commands/propose.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Propose CLI 命令
+ *
+ * 根据诊断生成约束提案
+ */
+/**
+ * propose 命令
+ */
+export declare function proposeCommand(subcommand: string, options: {
+    diagnosisId?: string;
+    format?: 'json' | 'text';
+    save?: boolean;
+    status?: 'proposed' | 'accepted' | 'rejected';
+    accept?: boolean;
+    reject?: boolean;
+    comment?: string;
+}): Promise<void>;
+//# sourceMappingURL=propose.d.ts.map

package/dist/cli/commands/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/propose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH;;GAEG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IACP,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;IAC9C,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GACA,OAAO,CAAC,IAAI,CAAC,CAyCf"}