@dommaker/harness 0.2.1 → 0.3.0

package/dist/cli/commands/propose.js

@@ -0,0 +1,331 @@
+"use strict";
+/**
+ * Propose 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.proposeCommand = proposeCommand;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const constraint_evolver_1 = require("../../monitoring/constraint-evolver");
+const constraint_doctor_1 = require("../../monitoring/constraint-doctor");
+/**
+ * propose 命令
+ */
+async function proposeCommand(subcommand, options) {
+    switch (subcommand) {
+        case 'generate':
+            await generateProposal(options);
+            break;
+        case 'list':
+            await listProposals(options);
+            break;
+        case 'show':
+            await showProposal(options);
+            break;
+        case 'review':
+            await reviewProposal(options);
+            break;
+        case 'implement':
+            await implementProposal(options);
+            break;
+        default:
+            console.log('Usage: harness propose <subcommand>');
+            console.log('');
+            console.log('Subcommands:');
+            console.log('  generate  Generate proposals from diagnoses');
+            console.log('  list      List all proposals');
+            console.log('  show      Show a specific proposal');
+            console.log('  review    Review a proposal (accept/reject)');
+            console.log('  implement Show implementation instructions');
+            console.log('');
+            console.log('Options:');
+            console.log('  --diagnosis <id>  Generate from specific diagnosis');
+            console.log('  --status <status> Filter by status');
+            console.log('  --accept          Accept proposal (for review)');
+            console.log('  --reject          Reject proposal (for review)');
+            console.log('  --comment <text>  Review comment');
+            console.log('  --format <format> Output format');
+            console.log('  --save            Save to file');
+    }
+}
+/**
+ * 生成提案
+ */
+async function generateProposal(options) {
+    const evolver = (0, constraint_evolver_1.createEvolver)();
+    const doctor = (0, constraint_doctor_1.createDoctor)();
+    // 加载诊断
+    let diagnoses = [];
+    if (options.diagnosisId) {
+        const diagnosisPath = `.harness/diagnoses/${options.diagnosisId}.json`;
+        if (!fs.existsSync(diagnosisPath)) {
+            console.log(`❌ Diagnosis not found: ${options.diagnosisId}`);
+            return;
+        }
+        diagnoses = [doctor.loadDiagnosis(diagnosisPath)];
+    }
+    else {
+        // 加载所有诊断
+        const diagnosesDir = '.harness/diagnoses';
+        if (fs.existsSync(diagnosesDir)) {
+            const files = fs.readdirSync(diagnosesDir).filter(f => f.endsWith('.json'));
+            diagnoses = files.map(f => {
+                const content = fs.readFileSync(path.join(diagnosesDir, f), 'utf-8');
+                return JSON.parse(content);
+            });
+        }
+    }
+    // 过滤需要变更的诊断
+    const needsChangeDiagnoses = diagnoses.filter(d => d.needsChange);
+    if (needsChangeDiagnoses.length === 0) {
+        console.log('✅ No diagnoses need constraint changes. No proposals to generate.');
+        return;
+    }
+    console.log(`💡 Generating proposals from ${needsChangeDiagnoses.length} diagnoses...`);
+    console.log('');
+    // 生成提案
+    const proposals = await evolver.proposeBatch(needsChangeDiagnoses);
+    if (options.format === 'json') {
+        console.log(JSON.stringify(proposals, null, 2));
+    }
+    else {
+        for (const proposal of proposals) {
+            printProposalSummary(proposal);
+            console.log('---');
+        }
+    }
+    // 保存
+    if (options.save) {
+        for (const proposal of proposals) {
+            evolver.saveProposal(proposal);
+        }
+        console.log('');
+        console.log(`💾 Saved ${proposals.length} proposals to .harness/proposals/`);
+    }
+}
+/**
+ * 列出提案
+ */
+async function listProposals(options) {
+    const evolver = (0, constraint_evolver_1.createEvolver)();
+    const proposals = evolver.listProposals(options.status);
+    if (proposals.length === 0) {
+        console.log('❌ No proposals found.');
+        return;
+    }
+    if (options.format === 'json') {
+        console.log(JSON.stringify(proposals.map(p => ({
+            id: p.id,
+            constraintId: p.constraintId,
+            type: p.type,
+            status: p.status,
+            risk: p.risk.level,
+        })), null, 2));
+    }
+    else {
+        console.log('📋 Proposal List');
+        console.log('');
+        for (const proposal of proposals) {
+            const statusEmoji = {
+                proposed: '💡',
+                reviewing: '🔍',
+                accepted: '✅',
+                rejected: '❌',
+                implemented: '🎉',
+            }[proposal.status];
+            const riskEmoji = {
+                low: '🟢',
+                medium: '🟡',
+                high: '🔴',
+            }[proposal.risk.level];
+            console.log(`${statusEmoji} ${proposal.id}`);
+            console.log(`   Constraint: ${proposal.constraintId}`);
+            console.log(`   Type: ${proposal.type}`);
+            console.log(`   Risk: ${riskEmoji} ${proposal.risk.level}`);
+            console.log('');
+        }
+        console.log(`Total: ${proposals.length} proposals`);
+    }
+}
+/**
+ * 显示提案详情
+ */
+async function showProposal(options) {
+    if (!options.diagnosisId) {
+        console.log('❌ Please specify --diagnosis <id>');
+        return;
+    }
+    // 尝试通过诊断 ID 找到提案
+    const evolver = (0, constraint_evolver_1.createEvolver)();
+    const proposals = evolver.listProposals();
+    const proposal = proposals.find(p => p.diagnosisId === options.diagnosisId);
+    if (!proposal) {
+        console.log(`❌ Proposal not found for diagnosis: ${options.diagnosisId}`);
+        return;
+    }
+    if (options.format === 'json') {
+        console.log(JSON.stringify(proposal, null, 2));
+    }
+    else {
+        printProposalDetail(proposal);
+    }
+}
+/**
+ * 审核提案
+ */
+async function reviewProposal(options) {
+    if (!options.diagnosisId) {
+        console.log('❌ Please specify --diagnosis <id>');
+        return;
+    }
+    if (!options.accept && !options.reject) {
+        console.log('❌ Please specify --accept or --reject');
+        return;
+    }
+    const evolver = (0, constraint_evolver_1.createEvolver)();
+    const proposals = evolver.listProposals();
+    const proposal = proposals.find(p => p.diagnosisId === options.diagnosisId);
+    if (!proposal) {
+        console.log(`❌ Proposal not found for diagnosis: ${options.diagnosisId}`);
+        return;
+    }
+    // 更新状态
+    const status = options.accept ? 'accepted' : 'rejected';
+    evolver.updateProposalStatus(proposal.id, status, options.comment);
+    console.log(`${options.accept ? '✅ Accepted' : '❌ Rejected'} proposal ${proposal.id}`);
+    if (options.comment) {
+        console.log(`Comment: ${options.comment}`);
+    }
+}
+/**
+ * 显示实施指导
+ */
+async function implementProposal(options) {
+    if (!options.diagnosisId) {
+        console.log('❌ Please specify --diagnosis <id>');
+        return;
+    }
+    const evolver = (0, constraint_evolver_1.createEvolver)();
+    const proposals = evolver.listProposals('accepted');
+    const proposal = proposals.find(p => p.diagnosisId === options.diagnosisId);
+    if (!proposal) {
+        console.log(`❌ No accepted proposal found for diagnosis: ${options.diagnosisId}`);
+        return;
+    }
+    const implementation = evolver.implement(proposal);
+    console.log('🔧 Implementation Instructions');
+    console.log('');
+    console.log(`Proposal: ${proposal.id}`);
+    console.log(`Constraint: ${proposal.constraintId}`);
+    console.log(`Type: ${proposal.type}`);
+    console.log('');
+    console.log('**Steps**:');
+    for (const instruction of implementation.instructions) {
+        console.log(`- ${instruction}`);
+    }
+    console.log('');
+    console.log('**Files to Modify**:');
+    for (const file of implementation.filesToModify) {
+        console.log(`- ${file}`);
+    }
+    console.log('');
+    console.log('**Tests to Run**:');
+    for (const test of implementation.testsToRun) {
+        console.log(`- ${test}`);
+    }
+}
+/**
+ * 打印提案摘要
+ */
+function printProposalSummary(proposal) {
+    const statusEmoji = {
+        proposed: '💡',
+        reviewing: '🔍',
+        accepted: '✅',
+        rejected: '❌',
+        implemented: '🎉',
+    }[proposal.status] || '❓';
+    console.log(`${statusEmoji} Proposal: ${proposal.id}`);
+    console.log(`Constraint: ${proposal.constraintId}`);
+    console.log(`Type: ${proposal.type}`);
+    console.log(`Description: ${proposal.content.description}`);
+    console.log(`Risk: ${proposal.risk.level}`);
+    console.log(`Expected: ${proposal.expectedOutcome}`);
+}
+/**
+ * 打印提案详情
+ */
+function printProposalDetail(proposal) {
+    console.log(`# Proposal: ${proposal.id}`);
+    console.log('');
+    console.log(`- **Constraint**: ${proposal.constraintId}`);
+    console.log(`- **Type**: ${proposal.type}`);
+    console.log(`- **Status**: ${proposal.status}`);
+    console.log(`- **Proposed**: ${new Date(proposal.proposedAt).toISOString()}`);
+    console.log('');
+    console.log(`## Content`);
+    console.log('');
+    console.log(`**Description**: ${proposal.content.description}`);
+    if (proposal.content.current) {
+        console.log(`**Current**: ${JSON.stringify(proposal.content.current)}`);
+    }
+    console.log(`**Proposed**: ${JSON.stringify(proposal.content.proposed)}`);
+    console.log('');
+    console.log(`## Reasoning`);
+    console.log('');
+    console.log(proposal.reasoning);
+    console.log('');
+    console.log(`## Expected Outcome`);
+    console.log('');
+    console.log(proposal.expectedOutcome);
+    console.log('');
+    console.log(`## Risk Assessment`);
+    console.log('');
+    console.log(`- **Level**: ${proposal.risk.level}`);
+    console.log(`- **Description**: ${proposal.risk.description}`);
+    if (proposal.risk.rollbackPlan) {
+        console.log(`- **Rollback**: ${proposal.risk.rollbackPlan}`);
+    }
+    if (proposal.reviewComment) {
+        console.log('');
+        console.log(`## Review Comment`);
+        console.log('');
+        console.log(proposal.reviewComment);
+    }
+}
+//# sourceMappingURL=propose.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../../src/cli/commands/propose.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAYH,wCAoDC;AA9DD,uCAAyB;AACzB,2CAA6B;AAC7B,4EAAuF;AACvF,0EAAoF;AAIpF;;GAEG;AACI,KAAK,UAAU,cAAc,CAClC,UAAkB,EAClB,OAQC;IAED,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,UAAU;YACb,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM;QAER,KAAK,MAAM;YACT,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM;QAER,KAAK,MAAM;YACT,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;YAC5B,MAAM;QAER,KAAK,QAAQ;YACX,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;YAC9B,MAAM;QAER,KAAK,WAAW;YACd,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM;QAER;YACE,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;YAC7D,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;YAC7D,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;YACpE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,gBAAgB,CAAC,OAI/B;IACC,MAAM,OAAO,GAAG,IAAA,kCAAa,GAAE,CAAC;IAChC,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAE9B,OAAO;IACP,IAAI,SAAS,GAAgB,EAAE,CAAC;IAEhC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,aAAa,GAAG,sBAAsB,OAAO,CAAC,WAAW,OAAO,CAAC;QACvE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,0BAA0B,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7D,OAAO;QACT,CAAC;QACD,SAAS,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC;IACpD,CAAC;SAAM,CAAC;QACN,SAAS;QACT,MAAM,YAAY,GAAG,oBAAoB,CAAC;QAC1C,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5E,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACxB,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACrE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;YAC1C,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,oBAAoB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAElE,IAAI,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,mEAAmE,CAAC,CAAC;QACjF,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,gCAAgC,oBAAoB,CAAC,MAAM,eAAe,CAAC,CAAC;IACxF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO;IACP,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;IAEnE,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,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK;IACL,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,YAAY,SAAS,CAAC,MAAM,mCAAmC,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,aAAa,CAAC,OAG5B;IACC,MAAM,OAAO,GAAG,IAAA,kCAAa,GAAE,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAExD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,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,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK;SACnB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,WAAW,GAAG;gBAClB,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,GAAG;gBACb,QAAQ,EAAE,GAAG;gBACb,WAAW,EAAE,IAAI;aAClB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEnB,MAAM,SAAS,GAAG;gBAChB,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;aACX,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAEvB,OAAO,CAAC,GAAG,CAAC,GAAG,WAAW,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,kBAAkB,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,YAAY,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,YAAY,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5D,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;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CAAC,OAG3B;IACC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,iBAAiB;IACjB,MAAM,OAAO,GAAG,IAAA,kCAAa,GAAE,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAE5E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1E,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,cAAc,CAAC,OAK7B;IACC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,kCAAa,GAAE,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAE5E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1E,OAAO;IACT,CAAC;IAED,OAAO;IACP,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;IACxD,OAAO,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnE,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,aAAa,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,YAAY,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,iBAAiB,CAAC,OAEhC;IACC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,kCAAa,GAAE,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;IAE5E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,+CAA+C,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAEnD,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,aAAa,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1B,KAAK,MAAM,WAAW,IAAI,cAAc,CAAC,YAAY,EAAE,CAAC;QACtD,OAAO,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,aAAa,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,UAAU,EAAE,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,QAA4B;IACxD,MAAM,WAAW,GAAW;QAC1B,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,GAAG;QACb,QAAQ,EAAE,GAAG;QACb,WAAW,EAAE,IAAI;KAClB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;IAE1B,OAAO,CAAC,GAAG,CAAC,GAAG,WAAW,cAAc,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,gBAAgB,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,aAAa,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,QAA4B;IACvD,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,qBAAqB,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,CAAC,eAAe,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,iBAAiB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,mBAAmB,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,oBAAoB,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1E,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACnC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,gBAAgB,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,sBAAsB,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,mBAAmB,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Trace CLI 命令
+ *
+ * 查看和分析 Execution Traces
+ */
+/**
+ * trace 命令
+ */
+export declare function tracesCommand(subcommand: string, options: {
+    hours?: number;
+    constraintId?: string;
+    format?: 'json' | 'text';
+    maxAgeDays?: number;
+}): Promise<void>;
+//# sourceMappingURL=traces.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"traces.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/traces.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAQH;;GAEG;AACH,wBAAsB,aAAa,CACjC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IACP,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACA,OAAO,CAAC,IAAI,CAAC,CAqCf"}

package/dist/cli/commands/traces.js

@@ -0,0 +1,167 @@
+"use strict";
+/**
+ * Trace CLI 命令
+ *
+ * 查看和分析 Execution Traces
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tracesCommand = tracesCommand;
+const traces_1 = require("../../monitoring/traces");
+const trace_analyzer_1 = require("../../monitoring/trace-analyzer");
+/**
+ * trace 命令
+ */
+async function tracesCommand(subcommand, options) {
+    switch (subcommand) {
+        case 'stats':
+            await showStats(options);
+            break;
+        case 'summary':
+            await showSummary(options);
+            break;
+        case 'anomalies':
+            await showAnomalies(options);
+            break;
+        case 'report':
+            await generateReport(options);
+            break;
+        case 'clean':
+            await cleanTraces(options);
+            break;
+        default:
+            console.log('Usage: harness traces <subcommand>');
+            console.log('');
+            console.log('Subcommands:');
+            console.log('  stats     Show trace file statistics');
+            console.log('  summary   Show constraint summaries');
+            console.log('  anomalies Show detected anomalies');
+            console.log('  report    Generate full report');
+            console.log('  clean     Clean old trace files');
+            console.log('');
+            console.log('Options:');
+            console.log('  --hours <n>       Analyze last N hours (default: 1)');
+            console.log('  --constraint <id> Filter by constraint ID');
+            console.log('  --format <format> Output format: json or text (default: text)');
+    }
+}
+/**
+ * 显示 trace 文件统计
+ */
+async function showStats(options) {
+    const collector = (0, traces_1.getTraceCollector)();
+    const stats = collector.getStats();
+    if (options.format === 'json') {
+        console.log(JSON.stringify(stats, null, 2));
+    }
+    else {
+        console.log('📊 Trace File Statistics');
+        console.log('');
+        console.log(`File: ${collector.getStats().fileExists ? '✅ exists' : '❌ not found'}`);
+        if (stats.fileExists) {
+            console.log(`Size: ${(stats.fileSize / 1024).toFixed(2)} KB`);
+            console.log(`Lines: ${stats.totalLines}`);
+            if (stats.oldestTrace) {
+                console.log(`Oldest: ${new Date(stats.oldestTrace).toISOString()}`);
+            }
+            if (stats.newestTrace) {
+                console.log(`Newest: ${new Date(stats.newestTrace).toISOString()}`);
+            }
+        }
+    }
+}
+/**
+ * 显示约束汇总
+ */
+async function showSummary(options) {
+    const hours = options.hours || 1;
+    const analyzer = (0, trace_analyzer_1.createAnalyzer)();
+    let summaries;
+    if (options.constraintId) {
+        summaries = analyzer.analyzeConstraint(options.constraintId);
+    }
+    else {
+        summaries = analyzer.analyzeRecent(hours);
+    }
+    if (options.format === 'json') {
+        console.log(JSON.stringify(summaries, null, 2));
+    }
+    else {
+        console.log(`📈 Constraint Summaries (last ${hours}h)`);
+        console.log('');
+        if (summaries.length === 0) {
+            console.log('No traces found.');
+            return;
+        }
+        for (const summary of summaries) {
+            const levelEmoji = {
+                iron_law: '🔴',
+                guideline: '🟡',
+                tip: '🔵',
+            }[summary.level];
+            const trendEmoji = {
+                rising: '📈',
+                falling: '📉',
+                stable: '➡️',
+            }[summary.recentTrend];
+            console.log(`${levelEmoji} ${summary.constraintId}`);
+            console.log(`   Checks: ${summary.totalChecks}`);
+            console.log(`   Pass: ${Math.round(summary.passRate * 100)}%`);
+            console.log(`   Fail: ${Math.round(summary.failRate * 100)}%`);
+            console.log(`   Bypass: ${Math.round(summary.bypassRate * 100)}%`);
+            console.log(`   Trend: ${trendEmoji} ${summary.recentTrend}`);
+            console.log('');
+        }
+    }
+}
+/**
+ * 显示异常检测结果
+ */
+async function showAnomalies(options) {
+    const hours = options.hours || 24;
+    const analyzer = (0, trace_analyzer_1.createAnalyzer)();
+    const anomalies = analyzer.runDailyAnomalyCheck();
+    if (options.format === 'json') {
+        console.log(JSON.stringify(anomalies, null, 2));
+    }
+    else {
+        console.log(`⚠️ Anomalies Detected (last ${hours}h)`);
+        console.log('');
+        if (anomalies.length === 0) {
+            console.log('✅ No anomalies detected.');
+            return;
+        }
+        for (const anomaly of anomalies) {
+            console.log(`⚠️ ${anomaly.type}: ${anomaly.constraintId}`);
+            console.log(`   ${anomaly.message}`);
+            console.log(`   Suggested: ${anomaly.suggestedAction}`);
+            console.log('');
+        }
+        console.log(`Total: ${anomalies.length} anomalies`);
+    }
+}
+/**
+ * 生成完整报告
+ */
+async function generateReport(options) {
+    const hours = options.hours || 24;
+    const analyzer = (0, trace_analyzer_1.createAnalyzer)();
+    const summaries = analyzer.analyzeRecent(hours);
+    const anomalies = analyzer.detectAnomalies(summaries);
+    if (options.format === 'json') {
+        console.log(JSON.stringify({ summaries, anomalies }, null, 2));
+    }
+    else {
+        const report = analyzer.generateReport(summaries, anomalies);
+        console.log(report);
+    }
+}
+/**
+ * 清理旧 trace 文件
+ */
+async function cleanTraces(options) {
+    const maxAgeDays = options.maxAgeDays || 30;
+    const collector = (0, traces_1.getTraceCollector)();
+    const deletedCount = collector.cleanupOldFiles(maxAgeDays);
+    console.log(`🧹 Cleaned ${deletedCount} old trace files (older than ${maxAgeDays} days)`);
+}
+//# sourceMappingURL=traces.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"traces.js","sourceRoot":"","sources":["../../../src/cli/commands/traces.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAWH,sCA6CC;AApDD,oDAA4E;AAC5E,oEAAgF;AAGhF;;GAEG;AACI,KAAK,UAAU,aAAa,CACjC,UAAkB,EAClB,OAKC;IAED,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC;YACzB,MAAM;QAER,KAAK,SAAS;YACZ,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM;QAER,KAAK,WAAW;YACd,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM;QAER,KAAK,QAAQ;YACX,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;YAC9B,MAAM;QAER,KAAK,OAAO;YACV,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM;QAER;YACE,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,SAAS,CAAC,OAAqC;IAC5D,MAAM,SAAS,GAAG,IAAA,0BAAiB,GAAE,CAAC;IACtC,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC;IAEnC,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QACrF,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1C,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACtB,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YACtE,CAAC;YACD,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACtB,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CAAC,OAI1B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAA,+BAAc,GAAE,CAAC;IAElC,IAAI,SAAyB,CAAC;IAE9B,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,SAAS,GAAG,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,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,iCAAiC,KAAK,IAAI,CAAC,CAAC;QACxD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;QAED,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,MAAM,UAAU,GAAG;gBACjB,MAAM,EAAE,IAAI;gBACZ,OAAO,EAAE,IAAI;gBACb,MAAM,EAAE,IAAI;aACb,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAEvB,OAAO,CAAC,GAAG,CAAC,GAAG,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,aAAa,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,aAAa,CAAC,OAG5B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAA,+BAAc,GAAE,CAAC;IAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,oBAAoB,EAAE,CAAC;IAElD,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,+BAA+B,KAAK,IAAI,CAAC,CAAC;QACtD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YACxC,OAAO;QACT,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,iBAAiB,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;YACxD,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;AAED;;GAEG;AACH,KAAK,UAAU,cAAc,CAAC,OAG7B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAA,+BAAc,GAAE,CAAC;IAElC,MAAM,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IAEtD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,QAAQ,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC7D,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CAAC,OAE1B;IACC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAA,0BAAiB,GAAE,CAAC;IACtC,MAAM,YAAY,GAAG,SAAS,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAE3D,OAAO,CAAC,GAAG,CAAC,cAAc,YAAY,gCAAgC,UAAU,QAAQ,CAAC,CAAC;AAC5F,CAAC"}

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

@@ -25,6 +25,10 @@ export declare class ConstraintChecker {
      * 检查例外条件
      */
     private checkException;
+    /**
+     * 根据约束层级获取严重性
+     */
+    private getSeverity;
     /**
      * 检查约束前置条件
      */

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

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAEtB,MAAM,wBAAwB,CAAC;AAIhC;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,OAAO;IAEP;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IA6B5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAkFtB;;OAEG;YACW,iBAAiB;IAwE/B;;OAEG;IACH,yBAAyB,CAAC,OAAO,EAAE,iBAAiB,GAAG;QACrD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,IAAI,EAAE,UAAU,EAAE,CAAC;KACpB;IAmBD;;;;;;OAMG;IACG,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IA8DlF;;;;OAIG;IACG,eAAe,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;CAkBjE;AAMD;;GAEG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAiB3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpF;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC;AAMjE;;GAEG;AACH,eAAO,MAAM,cAAc,0BAAoB,CAAC;AAEhD;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAG7B;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,mBAAoB,CAAC"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/checker.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EAGtB,MAAM,wBAAwB,CAAC;AAMhC;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAoB;IAE3C,OAAO;IAEP;;OAEG;IACH,MAAM,CAAC,WAAW,IAAI,iBAAiB;IAOvC;;OAEG;IACG,KAAK,CACT,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC;IA6B5B;;OAEG;IACH,OAAO,CAAC,cAAc;IAkFtB;;OAEG;IACH,OAAO,CAAC,WAAW;IAanB;;OAEG;YACW,iBAAiB;IAwE/B;;OAEG;IACH,yBAAyB,CAAC,OAAO,EAAE,iBAAiB,GAAG;QACrD,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,UAAU,EAAE,UAAU,EAAE,CAAC;QACzB,IAAI,EAAE,UAAU,EAAE,CAAC;KACpB;IAmBD;;;;;;OAMG;IACG,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAwGlF;;;;OAIG;IACG,eAAe,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC;CAkBjE;AAMD;;GAEG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAiB3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAEhC;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpF;AAGD,eAAO,MAAM,iBAAiB,mBAAkC,CAAC;AAMjE;;GAEG;AACH,eAAO,MAAM,cAAc,0BAAoB,CAAC;AAEhD;;GAEG;AACH,wBAAsB,YAAY,CAChC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,CAE3B;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAG7B;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,mBAAoB,CAAC"}

package/dist/core/constraints/checker.js

@@ -15,6 +15,7 @@ exports.checkBeforeExecution = checkBeforeExecution;
 exports.checkIronLaw = checkIronLaw;
 exports.checkAllIronLaws = checkAllIronLaws;
 const constraint_1 = require("../../types/constraint");
+const traces_1 = require("../../monitoring/traces");
 const definitions_1 = require("./definitions");
 /**
  * 约束检查器
@@ -158,6 +159,21 @@ class ConstraintChecker {
         }
         return false;
     }
+    /**
+     * 根据约束层级获取严重性
+     */
+    getSeverity(level) {
+        switch (level) {
+            case 'iron_law':
+                return 'error';
+            case 'guideline':
+                return 'warning';
+            case 'tip':
+                return 'info';
+            default:
+                return 'warning';
+        }
+    }
     /**
      * 检查约束前置条件
      */
@@ -249,6 +265,8 @@ class ConstraintChecker {
             warningCount: 0,
             tipCount: 0,
         };
+        // 获取 trace 收集器（可选启用）
+        const traceCollector = (0, traces_1.getTraceCollector)();
         // 1. 检查 Iron Laws（必须全部通过）
         for (const constraint of Object.values(definitions_1.IRON_LAWS)) {
             const triggers = Array.isArray(constraint.trigger)
@@ -258,6 +276,18 @@ class ConstraintChecker {
                 continue;
             const checkResult = await this.check(constraint, context);
             result.ironLaws.push(checkResult);
+            // 记录 trace
+            traceCollector.record({
+                constraintId: constraint.id,
+                level: 'iron_law',
+                timestamp: Date.now(),
+                result: checkResult.satisfied ? 'pass' : 'fail',
+                operation: context.operation,
+                severity: this.getSeverity(constraint.level),
+                exceptionApplied: checkResult.message?.includes('豁免') ? constraint.exceptions?.[0] : undefined,
+                projectPath: context.projectPath,
+                sessionId: context.sessionId,
+            });
             if (!checkResult.satisfied) {
                 result.passed = false;
                 throw new constraint_1.ConstraintViolationError(checkResult);
@@ -272,6 +302,19 @@ class ConstraintChecker {
                 continue;
             const checkResult = await this.check(constraint, context);
             result.guidelines.push(checkResult);
+            // 记录 trace
+            const severity = this.getSeverity(constraint.level);
+            traceCollector.record({
+                constraintId: constraint.id,
+                level: 'guideline',
+                timestamp: Date.now(),
+                result: checkResult.satisfied ? 'pass' : 'fail',
+                operation: context.operation,
+                severity,
+                exceptionApplied: checkResult.message?.includes('豁免') ? constraint.exceptions?.[0] : undefined,
+                projectPath: context.projectPath,
+                sessionId: context.sessionId,
+            });
             if (!checkResult.satisfied) {
                 result.warningCount++;
             }
@@ -285,6 +328,17 @@ class ConstraintChecker {
                 continue;
             const checkResult = await this.check(constraint, context);
             result.tips.push(checkResult);
+            // 记录 trace
+            traceCollector.record({
+                constraintId: constraint.id,
+                level: 'tip',
+                timestamp: Date.now(),
+                result: checkResult.satisfied ? 'pass' : 'fail',
+                operation: context.operation,
+                severity: this.getSeverity(constraint.level),
+                projectPath: context.projectPath,
+                sessionId: context.sessionId,
+            });
             if (!checkResult.satisfied) {
                 result.tipCount++;
             }