mova_agent 0.1.1

package/build/src/skills/skills_layer.js

@@ -0,0 +1,405 @@
+"use strict";
+/**
+ * Phase 5: Skills (planner/repair/explain)
+ *
+ * This phase implements the skills layer that provides higher-level
+ * capabilities built on top of the core interpreter.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ExplanationService = exports.RepairService = exports.Planner = exports.SkillsLayer = void 0;
+class Planner {
+    /**
+     * Creates a plan based on a goal and available resources
+     */
+    async createPlan(request) {
+        // This is a simplified planner that creates a basic plan
+        // In a real implementation, this would use more sophisticated planning algorithms
+        const plan = {
+            id: `plan_${Date.now()}`,
+            payload: {
+                steps: [],
+            },
+            signature: null,
+        };
+        // More comprehensive pattern matching
+        const lowerGoal = request.goal.toLowerCase();
+        if (lowerGoal.includes('get data from api') ||
+            lowerGoal.includes('fetch from api') ||
+            lowerGoal.includes('retrieve from api')) {
+            plan.payload.steps = [
+                {
+                    id: 'fetch-data',
+                    verb: 'http',
+                    connector_id: 'http_connector_1',
+                    input: {
+                        url: 'https://api.example.com/data',
+                        method: 'GET',
+                    },
+                    tool_binding: {
+                        driver_kind: 'http',
+                        destination_allowlist: ['https://api.example.com'],
+                        limits: {
+                            timeout_ms: 5000,
+                            max_data_size: 102400,
+                        },
+                    },
+                },
+                {
+                    id: 'parse-response',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_1',
+                    input: {
+                        raw_response: '{{outputs.fetch-data}}',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+            ];
+        }
+        else if (lowerGoal.includes('process data') || lowerGoal.includes('transform data')) {
+            plan.payload.steps = [
+                {
+                    id: 'load-data',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_1',
+                    input: {
+                        source: 'input_data',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+                {
+                    id: 'transform-data',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_2',
+                    input: {
+                        data: '{{outputs.load-data}}',
+                        transformation: 'uppercase',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 2000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+                {
+                    id: 'save-result',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_3',
+                    input: {
+                        data: '{{outputs.transform-data}}',
+                        destination: 'output_location',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+            ];
+        }
+        else if (lowerGoal.includes('weather') || lowerGoal.includes('temperature')) {
+            plan.payload.steps = [
+                {
+                    id: 'fetch-weather',
+                    verb: 'http',
+                    connector_id: 'http_connector_1',
+                    input: {
+                        url: 'https://api.weather.com/v1/current',
+                        method: 'GET',
+                        headers: {
+                            Authorization: 'Bearer {{API_KEY}}',
+                        },
+                    },
+                    tool_binding: {
+                        driver_kind: 'http',
+                        destination_allowlist: ['https://api.weather.com'],
+                        limits: {
+                            timeout_ms: 5000,
+                            max_data_size: 102400,
+                        },
+                    },
+                },
+                {
+                    id: 'extract-temperature',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_1',
+                    input: {
+                        weather_data: '{{outputs.fetch-weather}}',
+                        path: '$.current.temperature',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+                {
+                    id: 'store-temperature',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_2',
+                    input: {
+                        temperature: '{{outputs.extract-temperature}}',
+                        storage_key: 'current_temperature',
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+            ];
+        }
+        else {
+            // Default plan with basic noop operations
+            plan.payload.steps = [
+                {
+                    id: 'default-action',
+                    verb: 'noop',
+                    connector_id: 'noop_connector_1',
+                    input: {
+                        message: `Processing request: ${request.goal}`,
+                    },
+                    tool_binding: {
+                        driver_kind: 'noop',
+                        limits: {
+                            timeout_ms: 1000,
+                            max_data_size: 10240,
+                        },
+                    },
+                },
+            ];
+        }
+        return {
+            plan,
+            confidence: 0.8,
+            reasoning: 'Pattern matching used to generate appropriate plan',
+        };
+    }
+}
+exports.Planner = Planner;
+class RepairService {
+    /**
+     * Attempts to repair a failed plan by identifying and correcting issues
+     */
+    async repairPlan(request) {
+        const repairedPlan = JSON.parse(JSON.stringify(request.failed_plan)); // Deep copy
+        // Example repair strategies
+        const recommendedActions = [];
+        // If the error mentions timeout, increase timeout in binding
+        if (request.error_details.toLowerCase().includes('timeout')) {
+            for (const step of repairedPlan.payload.steps) {
+                if (step.tool_binding && step.tool_binding.limits) {
+                    // Increase timeout by 50%
+                    step.tool_binding.limits.timeout_ms = Math.round(step.tool_binding.limits.timeout_ms * 1.5);
+                }
+            }
+            recommendedActions.push('Increased timeout limits for steps');
+        }
+        // If the error mentions invalid destination, check for allowlist issues
+        if (request.error_details.toLowerCase().includes('destination not allowlisted')) {
+            // This would typically involve adding the destination to allowlist
+            // after appropriate checks, but for safety, we'll recommend manual review
+            recommendedActions.push('Destination allowlist issue detected - requires manual verification');
+        }
+        return {
+            repaired_plan: repairedPlan,
+            success_probability: 0.7,
+            recommended_actions: recommendedActions,
+        };
+    }
+}
+exports.RepairService = RepairService;
+class ExplanationService {
+    /**
+     * Provides explanations about plans, executions, and their results
+     */
+    async explain(request) {
+        let explanation = '';
+        const facts = [];
+        if (request.query.toLowerCase().includes('fail') ||
+            request.query.toLowerCase().includes('error')) {
+            // Explain why a step might have failed
+            if (request.execution_results) {
+                const error = request.execution_results.error || request.execution_results.message;
+                if (error && error.toLowerCase().includes('timeout')) {
+                    explanation =
+                        'The operation failed due to a timeout. The request took longer than the allowed time limit.';
+                    facts.push('Failure cause: Timeout exceeded');
+                    facts.push('Recommendation: Increase timeout limits or optimize the operation');
+                }
+                else if (error &&
+                    (error.toLowerCase().includes('forbidden') || error.toLowerCase().includes('denied'))) {
+                    explanation =
+                        'The operation failed due to security policy violation. The requested action is not allowed by the current security configuration.';
+                    facts.push('Failure cause: Security policy violation');
+                    facts.push('Recommendation: Check allowlists and permissions');
+                }
+                else if (error &&
+                    (error.toLowerCase().includes('not found') || error.toLowerCase().includes('404'))) {
+                    explanation = 'The operation failed because the requested resource was not found.';
+                    facts.push('Failure cause: Resource not found');
+                    facts.push('Recommendation: Verify the resource identifier or availability');
+                }
+                else {
+                    explanation = `The operation failed with an error: ${error || 'Unknown error occurred'}`;
+                    facts.push(`Error details: ${error || 'No specific error details'}`);
+                }
+            }
+            else {
+                explanation =
+                    'The failure appears to be related to policy violations or resource constraints during execution.';
+                facts.push('Possible causes: Security policies, resource limits, or unavailable resources');
+            }
+        }
+        else if (request.query.toLowerCase().includes('do') ||
+            request.query.toLowerCase().includes('purpose') ||
+            request.query.toLowerCase().includes('what')) {
+            // Explain what the plan does
+            explanation = 'This plan executes a sequence of steps to achieve the specified goal. ';
+            if (request.plan && request.plan.payload && request.plan.payload.steps) {
+                const steps = request.plan.payload.steps;
+                explanation += `It includes ${steps.length} steps: `;
+                const verbs = steps
+                    .map((step) => step.verb || 'unknown')
+                    .filter((v) => v !== 'unknown');
+                explanation += verbs.join(', ') + '.';
+                facts.push(`Plan has ${steps.length} steps`);
+                facts.push(`Operations: ${verbs.join(', ')}`);
+                // Additional details about steps
+                for (let i = 0; i < steps.length; i++) {
+                    const step = steps[i];
+                    if (step.input) {
+                        facts.push(`Step ${i + 1} (${step.verb}): processes input data`);
+                    }
+                    if (step.tool_binding && step.tool_binding.driver_kind) {
+                        facts.push(`Step ${i + 1}: uses ${step.tool_binding.driver_kind} driver`);
+                    }
+                    if (step.tool_binding && step.tool_binding.destination_allowlist) {
+                        facts.push(`Step ${i + 1}: restricted to destinations: ${step.tool_binding.destination_allowlist.join(', ')}`);
+                    }
+                }
+                // Security aspects
+                if (steps.some((step) => step.tool_binding && step.tool_binding.destination_allowlist)) {
+                    facts.push('Security: Destination allowlists applied to restrict network access');
+                }
+            }
+            else {
+                explanation += 'The plan structure is not available or invalid.';
+                facts.push('Plan structure: Invalid or unavailable');
+            }
+        }
+        else if (request.query.toLowerCase().includes('security') ||
+            request.query.toLowerCase().includes('safe')) {
+            explanation =
+                'This system follows strict security policies with a deny-by-default approach. All operations are validated against security rules before execution.';
+            facts.push('Security model: Deny-by-default');
+            facts.push('All HTTP requests require destination allowlists');
+            facts.push('Resource limits enforced: timeouts and data sizes');
+            facts.push('Sensitive data is automatically redacted');
+        }
+        else {
+            // Generic explanation
+            explanation =
+                'This system processes requests through a series of validated steps, ensuring security and compliance at each stage.';
+            facts.push('System type: Deterministic interpreter (not LLM-based)');
+            facts.push('Security: Enforced policies with allowlist approach');
+            facts.push('Processing: Sequential step execution with validation');
+        }
+        return {
+            explanation,
+            supporting_facts: facts,
+            confidence: 0.9,
+        };
+    }
+    /**
+     * Provides explanations about episodes and their evidence
+     */
+    async explainEpisode(episode, evidence) {
+        // This is a more comprehensive explanation service
+        // Analyze the episode and evidence to provide detailed explanations
+        const stepsCount = episode.plan?.payload?.steps ? episode.plan.payload.steps.length : 0;
+        const evidenceTypes = [...new Set(evidence.map((e) => e.type))];
+        const errorEvidence = evidence.filter((e) => e.type.includes('error'));
+        let explanation = `Episode ${episode.id} was processed with ${evidence.length} pieces of evidence of types: [${evidenceTypes.join(', ')}].\n`;
+        explanation += `The request was: "${episode.request}". `;
+        explanation += `The plan contained ${stepsCount} steps. `;
+        if (errorEvidence.length > 0) {
+            explanation += `There were ${errorEvidence.length} error evidences indicating potential issues. `;
+        }
+        else {
+            explanation += `No errors were detected during processing. `;
+        }
+        // Add information about the plan execution
+        if (episode.plan && episode.plan.payload && episode.plan.payload.steps) {
+            const successfulSteps = episode.plan.payload.steps.filter((step) => evidence.some((e) => e.related_step_id === step.id && !e.type.includes('error'))).length;
+            explanation += `Successfully executed ${successfulSteps}/${stepsCount} steps. `;
+        }
+        // Add security-related information
+        const policyChecks = evidence.filter((e) => e.type === 'security.policy_check');
+        if (policyChecks.length > 0) {
+            explanation += `Security policy was checked ${policyChecks.length} times during execution. `;
+        }
+        // Add dry-run information
+        const dryRunEvidence = evidence.filter((e) => e.type === 'execution.dry_run_marker');
+        if (dryRunEvidence.length > 0) {
+            explanation += 'Execution was performed in dry-run mode. ';
+        }
+        return {
+            explanation,
+            confidence: 0.85,
+            supporting_facts: evidence.map((e) => ({
+                id: e.id,
+                type: e.type,
+                summary: e.summary,
+            })),
+        };
+    }
+}
+exports.ExplanationService = ExplanationService;
+// skills/skills_layer.ts - Main skills interface
+class SkillsLayer {
+    planner;
+    repairService;
+    explanationService;
+    constructor() {
+        this.planner = new Planner();
+        this.repairService = new RepairService();
+        this.explanationService = new ExplanationService();
+    }
+    /**
+     * Entry point for skill-based operations
+     */
+    async executeSkill(skill, params) {
+        switch (skill) {
+            case 'plan':
+                return await this.planner.createPlan(params);
+            case 'repair':
+                return await this.repairService.repairPlan(params);
+            case 'explain':
+                return await this.explanationService.explain(params);
+            default:
+                throw new Error(`Unknown skill: ${skill}`);
+        }
+    }
+}
+exports.SkillsLayer = SkillsLayer;
+//# sourceMappingURL=skills_layer.js.map

package/build/src/skills/skills_layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"skills_layer.js","sourceRoot":"","sources":["../../../src/skills/skills_layer.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAmBH,MAAM,OAAO;IACX;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,OAAwB;QACvC,yDAAyD;QACzD,kFAAkF;QAElF,MAAM,IAAI,GAAQ;YAChB,EAAE,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,EAAE;YACxB,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE;aACV;YACD,SAAS,EAAE,IAAI;SAChB,CAAC;QAEF,sCAAsC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAE7C,IACE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACvC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACpC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EACvC,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG;gBACnB;oBACE,EAAE,EAAE,YAAY;oBAChB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,GAAG,EAAE,8BAA8B;wBACnC,MAAM,EAAE,KAAK;qBACd;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,qBAAqB,EAAE,CAAC,yBAAyB,CAAC;wBAClD,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,MAAM;yBACtB;qBACF;iBACF;gBACD;oBACE,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,YAAY,EAAE,wBAAwB;qBACvC;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACtF,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG;gBACnB;oBACE,EAAE,EAAE,WAAW;oBACf,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,MAAM,EAAE,YAAY;qBACrB;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;gBACD;oBACE,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,IAAI,EAAE,uBAAuB;wBAC7B,cAAc,EAAE,WAAW;qBAC5B;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;gBACD;oBACE,EAAE,EAAE,aAAa;oBACjB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,IAAI,EAAE,4BAA4B;wBAClC,WAAW,EAAE,iBAAiB;qBAC/B;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;YAC9E,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG;gBACnB;oBACE,EAAE,EAAE,eAAe;oBACnB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,GAAG,EAAE,oCAAoC;wBACzC,MAAM,EAAE,KAAK;wBACb,OAAO,EAAE;4BACP,aAAa,EAAE,oBAAoB;yBACpC;qBACF;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,qBAAqB,EAAE,CAAC,yBAAyB,CAAC;wBAClD,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,MAAM;yBACtB;qBACF;iBACF;gBACD;oBACE,EAAE,EAAE,qBAAqB;oBACzB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,YAAY,EAAE,2BAA2B;wBACzC,IAAI,EAAE,uBAAuB;qBAC9B;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;gBACD;oBACE,EAAE,EAAE,mBAAmB;oBACvB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,WAAW,EAAE,iCAAiC;wBAC9C,WAAW,EAAE,qBAAqB;qBACnC;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,0CAA0C;YAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG;gBACnB;oBACE,EAAE,EAAE,gBAAgB;oBACpB,IAAI,EAAE,MAAM;oBACZ,YAAY,EAAE,kBAAkB;oBAChC,KAAK,EAAE;wBACL,OAAO,EAAE,uBAAuB,OAAO,CAAC,IAAI,EAAE;qBAC/C;oBACD,YAAY,EAAE;wBACZ,WAAW,EAAE,MAAM;wBACnB,MAAM,EAAE;4BACN,UAAU,EAAE,IAAI;4BAChB,aAAa,EAAE,KAAK;yBACrB;qBACF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,OAAO;YACL,IAAI;YACJ,UAAU,EAAE,GAAG;YACf,SAAS,EAAE,oDAAoD;SAChE,CAAC;IACJ,CAAC;CACF;AAuSqB,0BAAO;AAvR7B,MAAM,aAAa;IACjB;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,OAAsB;QACrC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY;QAElF,4BAA4B;QAC5B,MAAM,kBAAkB,GAAa,EAAE,CAAC;QAExC,6DAA6D;QAC7D,IAAI,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBAC9C,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;oBAClD,0BAA0B;oBAC1B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAC9C,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,GAAG,GAAG,CAC1C,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QAChE,CAAC;QAED,wEAAwE;QACxE,IAAI,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC;YAChF,mEAAmE;YACnE,0EAA0E;YAC1E,kBAAkB,CAAC,IAAI,CACrB,qEAAqE,CACtE,CAAC;QACJ,CAAC;QAED,OAAO;YACL,aAAa,EAAE,YAAY;YAC3B,mBAAmB,EAAE,GAAG;YACxB,mBAAmB,EAAE,kBAAkB;SACxC,CAAC;IACJ,CAAC;CACF;AAiP8B,sCAAa;AAzM5C,MAAM,kBAAkB;IACtB;;OAEG;IACH,KAAK,CAAC,OAAO,CAAC,OAA2B;QACvC,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IACE,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC5C,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC7C,CAAC;YACD,uCAAuC;YACvC,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,CAAC,KAAK,IAAI,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC;gBAEnF,IAAI,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;oBACrD,WAAW;wBACT,6FAA6F,CAAC;oBAChG,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;gBAClF,CAAC;qBAAM,IACL,KAAK;oBACL,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EACrF,CAAC;oBACD,WAAW;wBACT,mIAAmI,CAAC;oBACtI,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;oBACvD,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;gBACjE,CAAC;qBAAM,IACL,KAAK;oBACL,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAClF,CAAC;oBACD,WAAW,GAAG,oEAAoE,CAAC;oBACnF,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;oBAChD,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;gBAC/E,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,uCAAuC,KAAK,IAAI,wBAAwB,EAAE,CAAC;oBACzF,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,IAAI,2BAA2B,EAAE,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW;oBACT,kGAAkG,CAAC;gBACrG,KAAK,CAAC,IAAI,CAAC,+EAA+E,CAAC,CAAC;YAC9F,CAAC;QACH,CAAC;aAAM,IACL,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC/C,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC5C,CAAC;YACD,6BAA6B;YAC7B,WAAW,GAAG,wEAAwE,CAAC;YAEvF,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBACvE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBACzC,WAAW,IAAI,eAAe,KAAK,CAAC,MAAM,UAAU,CAAC;gBAErD,MAAM,KAAK,GAAG,KAAK;qBAChB,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC;qBAC1C,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;gBACvC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;gBAEtC,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAE9C,iCAAiC;gBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,yBAAyB,CAAC,CAAC;oBACnE,CAAC;oBACD,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC;wBACvD,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,YAAY,CAAC,WAAW,SAAS,CAAC,CAAC;oBAC5E,CAAC;oBACD,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,qBAAqB,EAAE,CAAC;wBACjE,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,GAAG,CAAC,iCAAiC,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACnG,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,mBAAmB;gBACnB,IACE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,EACvF,CAAC;oBACD,KAAK,CAAC,IAAI,CAAC,qEAAqE,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,WAAW,IAAI,iDAAiD,CAAC;gBACjE,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;aAAM,IACL,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;YAChD,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAC5C,CAAC;YACD,WAAW;gBACT,qJAAqJ,CAAC;YACxJ,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,sBAAsB;YACtB,WAAW;gBACT,qHAAqH,CAAC;YACxH,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;YACrE,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACtE,CAAC;QAED,OAAO;YACL,WAAW;YACX,gBAAgB,EAAE,KAAK;YACvB,UAAU,EAAE,GAAG;SAChB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,cAAc,CAAC,OAAgB,EAAE,QAAoB;QACzD,mDAAmD;QACnD,oEAAoE;QAEpE,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAEvE,IAAI,WAAW,GAAG,WAAW,OAAO,CAAC,EAAE,uBAAuB,QAAQ,CAAC,MAAM,kCAAkC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QAE9I,WAAW,IAAI,qBAAqB,OAAO,CAAC,OAAO,KAAK,CAAC;QACzD,WAAW,IAAI,sBAAsB,UAAU,UAAU,CAAC;QAE1D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,WAAW,IAAI,cAAc,aAAa,CAAC,MAAM,gDAAgD,CAAC;QACpG,CAAC;aAAM,CAAC;YACN,WAAW,IAAI,6CAA6C,CAAC;QAC/D,CAAC;QAED,2CAA2C;QAC3C,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACvE,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAS,EAAE,EAAE,CACtE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CACjF,CAAC,MAAM,CAAC;YAET,WAAW,IAAI,yBAAyB,eAAe,IAAI,UAAU,UAAU,CAAC;QAClF,CAAC;QAED,mCAAmC;QACnC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC;QAChF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,WAAW,IAAI,+BAA+B,YAAY,CAAC,MAAM,2BAA2B,CAAC;QAC/F,CAAC;QAED,0BAA0B;QAC1B,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;QACrF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,WAAW,IAAI,2CAA2C,CAAC;QAC7D,CAAC;QAED,OAAO;YACL,WAAW;YACX,UAAU,EAAE,IAAI;YAChB,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;CACF;AA+B6C,gDAAkB;AA7BhE,iDAAiD;AACjD,MAAM,WAAW;IACP,OAAO,CAAU;IACjB,aAAa,CAAgB;IAC7B,kBAAkB,CAAqB;IAE/C;QACE,IAAI,CAAC,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,GAAG,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,CAAC,kBAAkB,GAAG,IAAI,kBAAkB,EAAE,CAAC;IACrD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,KAAoC,EAAE,MAAW;QAClE,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,MAAM;gBACT,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAyB,CAAC,CAAC;YAClE,KAAK,QAAQ;gBACX,OAAO,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAuB,CAAC,CAAC;YACtE,KAAK,SAAS;gBACZ,OAAO,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,MAA4B,CAAC,CAAC;YAC7E;gBACE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;CACF;AAEQ,kCAAW"}

package/build/src/telemetry/token_budget_enforcer.d.ts

@@ -0,0 +1,113 @@
+/**
+ * Система проверки бюджета токенов для MOVA Agent
+ * Проверяет лимиты и применяет политику при превышении
+ */
+import { TokenMeter, type TokenSummary } from './token_meter';
+import type { SecurityEventEpisode } from '../episodes/episode_writer';
+interface TokenBudgetLimits {
+    max_model_calls?: number;
+    max_input_tokens?: number;
+    max_output_tokens?: number;
+    max_total_tokens?: number;
+    max_output_tokens_per_call?: number;
+    max_total_cost_usd?: number;
+    max_tool_calls?: number;
+    max_tool_output_bytes_total?: number;
+    max_stdout_bytes?: number;
+    max_stderr_bytes?: number;
+}
+interface BudgetPolicy {
+    on_budget_exceeded: 'fail' | 'warn' | 'continue';
+    fail_fast?: boolean;
+}
+export interface TokenBudgetContract {
+    version: string;
+    limits: TokenBudgetLimits;
+    policy: BudgetPolicy;
+    applied_profile?: string;
+    profiles?: {
+        [key: string]: {
+            limits: TokenBudgetLimits;
+            policy: BudgetPolicy;
+        };
+    };
+}
+interface BudgetStatus {
+    exceeded: boolean;
+    violations: BudgetViolation[];
+    action: 'continue' | 'warn' | 'fail' | 'truncate_and_continue';
+}
+interface BudgetViolation {
+    type: string;
+    limit: number | string;
+    actual: number | string;
+    message: string;
+}
+export declare class TokenBudgetEnforcer {
+    private contract;
+    private tokenMeter;
+    private logger;
+    private modelCallCount;
+    private toolCallCount;
+    private toolOutputBytes;
+    constructor(contract: TokenBudgetContract, tokenMeter: TokenMeter);
+    /**
+     * Проверяет, можно ли выполнить вызов модели
+     */
+    checkModelCall(): BudgetStatus;
+    /**
+     * Проверяет, можно ли выполнить вызов инструмента
+     */
+    checkToolCall(): BudgetStatus;
+    /**
+     * Проверяет, можно ли добавить вывод инструмента
+     */
+    checkToolOutput(output: string): BudgetStatus;
+    /**
+     * Проверяет использование токенов после вызова модели
+     */
+    checkTokenUsage(usage: Partial<{
+        input_tokens: number;
+        output_tokens: number;
+        total_tokens: number;
+        cost_usd: number;
+    }>): BudgetStatus;
+    /**
+     * Обновляет внутренние счетчики после успешного вызова
+     */
+    recordSuccessfulModelCall(): void;
+    recordSuccessfulToolCall(output: string): void;
+    /**
+     * Обрабатывает статус нарушения бюджета в соответствии с политикой
+     */
+    private processStatus;
+    /**
+     * Создает эпизод нарушения бюджета
+     */
+    createBudgetViolationEpisode(violation: BudgetViolation, context: any): Partial<SecurityEventEpisode>;
+    /**
+     * Возвращает текущий статус бюджета
+     */
+    getStatus(): {
+        model_calls: number;
+        tool_calls: number;
+        tool_output_bytes: number;
+        token_usage: TokenSummary;
+    };
+    /**
+     * Возвращает краткую информацию о бюджете для включения в run_summary
+     */
+    getBudgetInfo(): {
+        contract_version: string;
+        policy: "fail" | "warn" | "continue";
+        limits: TokenBudgetLimits;
+        current_usage: {
+            model_calls: number;
+            tool_calls: number;
+            tool_output_bytes: number;
+            token_usage: TokenSummary;
+        };
+    };
+}
+export {};
+//# sourceMappingURL=token_budget_enforcer.d.ts.map

package/build/src/telemetry/token_budget_enforcer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token_budget_enforcer.d.ts","sourceRoot":"","sources":["../../../src/telemetry/token_budget_enforcer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,UAAU,iBAAiB;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,0BAA0B,CAAC,EAAE,MAAM,CAAC;IACpC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,UAAU,YAAY;IACpB,kBAAkB,EAAE,MAAM,GAAG,MAAM,GAAG,UAAU,CAAC;IACjD,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,iBAAiB,CAAC;IAC1B,MAAM,EAAE,YAAY,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE;QACT,CAAC,GAAG,EAAE,MAAM,GAAG;YACb,MAAM,EAAE,iBAAiB,CAAC;YAC1B,MAAM,EAAE,YAAY,CAAC;SACtB,CAAC;KACH,CAAC;CACH;AAED,UAAU,YAAY;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,uBAAuB,CAAC;CAChE;AAED,UAAU,eAAe;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAsB;IACtC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,cAAc,CAAa;IACnC,OAAO,CAAC,aAAa,CAAa;IAClC,OAAO,CAAC,eAAe,CAAa;gBAExB,QAAQ,EAAE,mBAAmB,EAAE,UAAU,EAAE,UAAU;IAKjE;;OAEG;IACH,cAAc,IAAI,YAAY;IAuB9B;;OAEG;IACH,aAAa,IAAI,YAAY;IAuB7B;;OAEG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IA0B7C;;OAEG;IACH,eAAe,CACb,KAAK,EAAE,OAAO,CAAC;QACb,YAAY,EAAE,MAAM,CAAC;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,YAAY,EAAE,MAAM,CAAC;QACrB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC,GACD,YAAY;IAoFf;;OAEG;IACH,yBAAyB,IAAI,IAAI;IAIjC,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAK9C;;OAEG;IACH,OAAO,CAAC,aAAa;IAsBrB;;OAEG;IACH,4BAA4B,CAC1B,SAAS,EAAE,eAAe,EAC1B,OAAO,EAAE,GAAG,GACX,OAAO,CAAC,oBAAoB,CAAC;IAwBhC;;OAEG;IACH,SAAS,IAAI;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,WAAW,EAAE,YAAY,CAAC;KAC3B;IAUD;;OAEG;IACH,aAAa;;;;;yBAjBE,MAAM;wBACP,MAAM;+BACC,MAAM;yBACZ,YAAY;;;CAsB5B"}