@cogitator-ai/neuro-symbolic 0.1.0

package/dist/planning/plan-repair.js

@@ -0,0 +1,366 @@
+import { nanoid } from 'nanoid';
+import { applyAction, createAction } from './action-schema';
+import { PlanValidator } from './plan-validator';
+const DEFAULT_REPAIR_CONFIG = {
+    maxInsertions: 5,
+    maxRemovals: 3,
+    maxReorders: 10,
+    maxIterations: 100,
+    useHeuristics: true,
+};
+export class PlanRepairer {
+    registry;
+    validator;
+    config;
+    constructor(registry, config = {}) {
+        this.registry = registry;
+        this.validator = new PlanValidator(registry);
+        this.config = { ...DEFAULT_REPAIR_CONFIG, ...config };
+    }
+    repair(plan) {
+        const validationResult = this.validator.validate(plan);
+        if (validationResult.valid) {
+            return {
+                originalPlan: plan,
+                repairedPlan: plan,
+                suggestions: [],
+                success: true,
+                explanation: 'Plan is already valid, no repairs needed.',
+            };
+        }
+        const suggestions = this.generateSuggestions(plan, validationResult);
+        const repairedPlan = this.attemptRepair(plan, validationResult, suggestions);
+        if (repairedPlan) {
+            const verificationResult = this.validator.validate(repairedPlan);
+            if (verificationResult.valid) {
+                return {
+                    originalPlan: plan,
+                    repairedPlan,
+                    suggestions,
+                    success: true,
+                    explanation: this.generateExplanation(plan, repairedPlan, suggestions),
+                };
+            }
+        }
+        return {
+            originalPlan: plan,
+            suggestions,
+            success: false,
+            explanation: this.generateFailureExplanation(validationResult, suggestions),
+        };
+    }
+    generateSuggestions(plan, validation) {
+        const suggestions = [];
+        for (const error of validation.errors) {
+            const errorSuggestions = this.suggestionsForError(plan, error);
+            suggestions.push(...errorSuggestions);
+        }
+        suggestions.sort((a, b) => b.confidence - a.confidence);
+        return suggestions;
+    }
+    suggestionsForError(plan, error) {
+        const suggestions = [];
+        switch (error.type) {
+            case 'precondition_violated': {
+                const insertSuggestions = this.suggestInsertions(plan, error.actionIndex, error.details?.precondition);
+                suggestions.push(...insertSuggestions);
+                suggestions.push({
+                    type: 'remove',
+                    position: error.actionIndex,
+                    reason: `Remove action that violates precondition: ${error.message}`,
+                    confidence: 0.3,
+                });
+                const reorderSuggestions = this.suggestReorders(plan, error.actionIndex);
+                suggestions.push(...reorderSuggestions);
+                break;
+            }
+            case 'undefined_action': {
+                suggestions.push({
+                    type: 'remove',
+                    position: error.actionIndex,
+                    reason: `Remove undefined action: ${error.actionName}`,
+                    confidence: 0.9,
+                });
+                break;
+            }
+            case 'missing_parameter':
+            case 'invalid_parameter': {
+                suggestions.push({
+                    type: 'modify',
+                    position: error.actionIndex,
+                    reason: error.message,
+                    confidence: 0.5,
+                });
+                break;
+            }
+            case 'goal_unreachable': {
+                const goalInsertions = this.suggestActionsForGoal(plan, error.details?.goal);
+                suggestions.push(...goalInsertions);
+                break;
+            }
+        }
+        return suggestions;
+    }
+    suggestInsertions(plan, position, precondition) {
+        const suggestions = [];
+        const stateBeforeAction = this.getStateAtPosition(plan, position);
+        for (const schema of this.registry.getAll()) {
+            const wouldHelp = this.schemaCouldEstablish(schema, precondition);
+            if (wouldHelp) {
+                const action = this.createActionFromSchema(schema, stateBeforeAction);
+                if (action) {
+                    suggestions.push({
+                        type: 'insert',
+                        position,
+                        action,
+                        reason: `Insert ${schema.name} to establish precondition`,
+                        confidence: 0.7,
+                    });
+                }
+            }
+        }
+        return suggestions;
+    }
+    suggestReorders(plan, problemPosition) {
+        const suggestions = [];
+        for (let i = 0; i < plan.actions.length; i++) {
+            if (i === problemPosition)
+                continue;
+            const swappedPlan = this.swapActions(plan, i, problemPosition);
+            const validation = this.validator.validate(swappedPlan);
+            const errorCount = validation.errors.length;
+            const originalErrorCount = this.countErrors(plan);
+            if (errorCount < originalErrorCount) {
+                suggestions.push({
+                    type: 'reorder',
+                    position: problemPosition,
+                    reason: `Swap action ${problemPosition} with action ${i}`,
+                    confidence: 0.5,
+                });
+            }
+        }
+        return suggestions;
+    }
+    suggestActionsForGoal(plan, goal) {
+        const suggestions = [];
+        if (!goal)
+            return suggestions;
+        const finalState = this.getFinalState(plan);
+        for (const schema of this.registry.getAll()) {
+            if (this.schemaCouldEstablish(schema, goal)) {
+                const action = this.createActionFromSchema(schema, finalState);
+                if (action) {
+                    suggestions.push({
+                        type: 'insert',
+                        position: plan.actions.length,
+                        action,
+                        reason: `Append ${schema.name} to achieve goal`,
+                        confidence: 0.6,
+                    });
+                }
+            }
+        }
+        return suggestions;
+    }
+    schemaCouldEstablish(schema, precondition) {
+        for (const effect of schema.effects) {
+            if (effect.type === 'assign') {
+                if (precondition.type === 'simple' && effect.variable === precondition.variable) {
+                    return true;
+                }
+                if (precondition.type === 'comparison' && effect.variable === precondition.variable) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
+    createActionFromSchema(schema, state) {
+        const parameters = {};
+        for (const param of schema.parameters) {
+            if (param.default !== undefined) {
+                parameters[param.name] = param.default;
+            }
+            else if (param.required) {
+                const value = this.inferParameterValue(param, state);
+                if (value === undefined)
+                    return null;
+                parameters[param.name] = value;
+            }
+        }
+        return createAction(schema.name, parameters);
+    }
+    inferParameterValue(param, state) {
+        for (const [, value] of Object.entries(state.variables)) {
+            if (typeof value === 'string' && param.type.includes('string')) {
+                return value;
+            }
+            if (typeof value === 'number' && param.type.includes('number')) {
+                return value;
+            }
+            if (typeof value === 'boolean' && param.type.includes('boolean')) {
+                return value;
+            }
+        }
+        switch (param.type) {
+            case 'string':
+                return '';
+            case 'number':
+                return 0;
+            case 'boolean':
+                return false;
+            default:
+                return undefined;
+        }
+    }
+    attemptRepair(plan, validation, suggestions) {
+        let currentPlan = plan;
+        let insertions = 0;
+        let removals = 0;
+        let iterations = 0;
+        for (const suggestion of suggestions) {
+            if (iterations >= this.config.maxIterations)
+                break;
+            iterations++;
+            let newPlan = null;
+            switch (suggestion.type) {
+                case 'insert':
+                    if (insertions < this.config.maxInsertions && suggestion.action) {
+                        newPlan = this.insertAction(currentPlan, suggestion.position, suggestion.action);
+                        insertions++;
+                    }
+                    break;
+                case 'remove':
+                    if (removals < this.config.maxRemovals) {
+                        newPlan = this.removeAction(currentPlan, suggestion.position);
+                        removals++;
+                    }
+                    break;
+                case 'reorder':
+                    newPlan = this.reorderActions(currentPlan, suggestion);
+                    break;
+            }
+            if (newPlan) {
+                const newValidation = this.validator.validate(newPlan);
+                if (newValidation.valid) {
+                    return newPlan;
+                }
+                if (newValidation.errors.length < validation.errors.length) {
+                    currentPlan = newPlan;
+                }
+            }
+        }
+        const finalValidation = this.validator.validate(currentPlan);
+        return finalValidation.valid ? currentPlan : null;
+    }
+    insertAction(plan, position, action) {
+        const newActions = [...plan.actions];
+        newActions.splice(position, 0, action);
+        return {
+            ...plan,
+            id: nanoid(8),
+            actions: newActions,
+        };
+    }
+    removeAction(plan, position) {
+        const newActions = [...plan.actions];
+        newActions.splice(position, 1);
+        return {
+            ...plan,
+            id: nanoid(8),
+            actions: newActions,
+        };
+    }
+    swapActions(plan, pos1, pos2) {
+        const newActions = [...plan.actions];
+        [newActions[pos1], newActions[pos2]] = [newActions[pos2], newActions[pos1]];
+        return {
+            ...plan,
+            id: nanoid(8),
+            actions: newActions,
+        };
+    }
+    reorderActions(plan, _suggestion) {
+        return plan;
+    }
+    getStateAtPosition(plan, position) {
+        let state = plan.initialState;
+        for (let i = 0; i < position && i < plan.actions.length; i++) {
+            const action = plan.actions[i];
+            const schema = this.registry.get(action.schemaName);
+            if (schema) {
+                state = applyAction(action, state, schema);
+            }
+        }
+        return state;
+    }
+    getFinalState(plan) {
+        return this.getStateAtPosition(plan, plan.actions.length);
+    }
+    countErrors(plan) {
+        const validation = this.validator.validate(plan);
+        return validation.errors.length;
+    }
+    generateExplanation(original, repaired, suggestions) {
+        const lines = [];
+        lines.push('Plan successfully repaired.');
+        lines.push('');
+        const originalLen = original.actions.length;
+        const repairedLen = repaired.actions.length;
+        if (repairedLen > originalLen) {
+            lines.push(`Added ${repairedLen - originalLen} action(s).`);
+        }
+        else if (repairedLen < originalLen) {
+            lines.push(`Removed ${originalLen - repairedLen} action(s).`);
+        }
+        const appliedSuggestions = suggestions.filter((s) => s.confidence >= 0.5);
+        if (appliedSuggestions.length > 0) {
+            lines.push('');
+            lines.push('Applied repairs:');
+            for (const s of appliedSuggestions.slice(0, 5)) {
+                lines.push(`  - ${s.reason}`);
+            }
+        }
+        return lines.join('\n');
+    }
+    generateFailureExplanation(validation, suggestions) {
+        const lines = [];
+        lines.push('Could not fully repair the plan.');
+        lines.push('');
+        lines.push('Remaining issues:');
+        for (const error of validation.errors.slice(0, 5)) {
+            lines.push(`  - ${error.message}`);
+        }
+        if (suggestions.length > 0) {
+            lines.push('');
+            lines.push('Suggestions for manual repair:');
+            for (const s of suggestions.slice(0, 5)) {
+                lines.push(`  - ${s.reason} (confidence: ${(s.confidence * 100).toFixed(0)}%)`);
+            }
+        }
+        return lines.join('\n');
+    }
+}
+export function createPlanRepairer(registry, config) {
+    return new PlanRepairer(registry, config);
+}
+export function repairPlan(plan, registry, config) {
+    const repairer = new PlanRepairer(registry, config);
+    return repairer.repair(plan);
+}
+export function formatRepairResult(result) {
+    const lines = [];
+    lines.push(`Plan Repair: ${result.success ? 'SUCCESS' : 'FAILED'}`);
+    lines.push('');
+    lines.push(result.explanation);
+    lines.push('');
+    if (result.suggestions.length > 0) {
+        lines.push('All suggestions:');
+        for (const s of result.suggestions) {
+            const conf = (s.confidence * 100).toFixed(0);
+            lines.push(`  [${conf}%] ${s.type}: ${s.reason}`);
+        }
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=plan-repair.js.map

package/dist/planning/plan-repair.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-repair.js","sourceRoot":"","sources":["../../src/planning/plan-repair.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAkB,WAAW,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAUjD,MAAM,qBAAqB,GAAiB;IAC1C,aAAa,EAAE,CAAC;IAChB,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,EAAE;IACf,aAAa,EAAE,GAAG;IAClB,aAAa,EAAE,IAAI;CACpB,CAAC;AAEF,MAAM,OAAO,YAAY;IACf,QAAQ,CAAiB;IACzB,SAAS,CAAgB;IACzB,MAAM,CAAe;IAE7B,YAAY,QAAwB,EAAE,SAAgC,EAAE;QACtE,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,IAAU;QACf,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEvD,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC;YAC3B,OAAO;gBACL,YAAY,EAAE,IAAI;gBAClB,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;gBACb,WAAW,EAAE,2CAA2C;aACzD,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAErE,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC;QAE7E,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;YAEjE,IAAI,kBAAkB,CAAC,KAAK,EAAE,CAAC;gBAC7B,OAAO;oBACL,YAAY,EAAE,IAAI;oBAClB,YAAY;oBACZ,WAAW;oBACX,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,CAAC;iBACvE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,YAAY,EAAE,IAAI;YAClB,WAAW;YACX,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,IAAI,CAAC,0BAA0B,CAAC,gBAAgB,EAAE,WAAW,CAAC;SAC5E,CAAC;IACJ,CAAC;IAEO,mBAAmB,CACzB,IAAU,EACV,UAAgC;QAEhC,MAAM,WAAW,GAA2B,EAAE,CAAC;QAE/C,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;QACxC,CAAC;QAED,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAExD,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,mBAAmB,CAAC,IAAU,EAAE,KAA0B;QAChE,MAAM,WAAW,GAA2B,EAAE,CAAC;QAE/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAC9C,IAAI,EACJ,KAAK,CAAC,WAAY,EAClB,KAAK,CAAC,OAAO,EAAE,YAA4B,CAC5C,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC;gBAEvC,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;oBAC3B,MAAM,EAAE,6CAA6C,KAAK,CAAC,OAAO,EAAE;oBACpE,UAAU,EAAE,GAAG;iBAChB,CAAC,CAAC;gBAEH,MAAM,kBAAkB,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,WAAY,CAAC,CAAC;gBAC1E,WAAW,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC;gBACxC,MAAM;YACR,CAAC;YAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;oBAC3B,MAAM,EAAE,4BAA4B,KAAK,CAAC,UAAU,EAAE;oBACtD,UAAU,EAAE,GAAG;iBAChB,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YAED,KAAK,mBAAmB,CAAC;YACzB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK,CAAC,WAAW;oBAC3B,MAAM,EAAE,KAAK,CAAC,OAAO;oBACrB,UAAU,EAAE,GAAG;iBAChB,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,cAAc,GAAG,IAAI,CAAC,qBAAqB,CAC/C,IAAI,EACJ,KAAK,CAAC,OAAO,EAAE,IAAgC,CAChD,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;gBACpC,MAAM;YACR,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,iBAAiB,CACvB,IAAU,EACV,QAAgB,EAChB,YAA0B;QAE1B,MAAM,WAAW,GAA2B,EAAE,CAAC;QAE/C,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAElE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAElE,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;gBAEtE,IAAI,MAAM,EAAE,CAAC;oBACX,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,QAAQ;wBACd,QAAQ;wBACR,MAAM;wBACN,MAAM,EAAE,UAAU,MAAM,CAAC,IAAI,4BAA4B;wBACzD,UAAU,EAAE,GAAG;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,eAAe,CAAC,IAAU,EAAE,eAAuB;QACzD,MAAM,WAAW,GAA2B,EAAE,CAAC;QAE/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,KAAK,eAAe;gBAAE,SAAS;YAEpC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YAExD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5C,MAAM,kBAAkB,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAElD,IAAI,UAAU,GAAG,kBAAkB,EAAE,CAAC;gBACpC,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,SAAS;oBACf,QAAQ,EAAE,eAAe;oBACzB,MAAM,EAAE,eAAe,eAAe,gBAAgB,CAAC,EAAE;oBACzD,UAAU,EAAE,GAAG;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,qBAAqB,CAAC,IAAU,EAAE,IAAmB;QAC3D,MAAM,WAAW,GAA2B,EAAE,CAAC;QAE/C,IAAI,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC;QAE9B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAE5C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAE/D,IAAI,MAAM,EAAE,CAAC;oBACX,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,QAAQ;wBACd,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;wBAC7B,MAAM;wBACN,MAAM,EAAE,UAAU,MAAM,CAAC,IAAI,kBAAkB;wBAC/C,UAAU,EAAE,GAAG;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,oBAAoB,CAAC,MAAoB,EAAE,YAA0B;QAC3E,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;oBAChF,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;oBACpF,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,sBAAsB,CAAC,MAAoB,EAAE,KAAgB;QACnE,MAAM,UAAU,GAA4B,EAAE,CAAC;QAE/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;YACzC,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACrD,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBACrC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YACjC,CAAC;QACH,CAAC;QAED,OAAO,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC/C,CAAC;IAEO,mBAAmB,CAAC,KAAqC,EAAE,KAAgB;QACjF,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YACxD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjE,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ;gBACX,OAAO,EAAE,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,CAAC,CAAC;YACX,KAAK,SAAS;gBACZ,OAAO,KAAK,CAAC;YACf;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAEO,aAAa,CACnB,IAAU,EACV,UAAgC,EAChC,WAAmC;QAEnC,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa;gBAAE,MAAM;YACnD,UAAU,EAAE,CAAC;YAEb,IAAI,OAAO,GAAgB,IAAI,CAAC;YAEhC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxB,KAAK,QAAQ;oBACX,IAAI,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;wBAChE,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,QAAS,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;wBAClF,UAAU,EAAE,CAAC;oBACf,CAAC;oBACD,MAAM;gBAER,KAAK,QAAQ;oBACX,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;wBACvC,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,UAAU,CAAC,QAAS,CAAC,CAAC;wBAC/D,QAAQ,EAAE,CAAC;oBACb,CAAC;oBACD,MAAM;gBAER,KAAK,SAAS;oBACZ,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;oBACvD,MAAM;YACV,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAEvD,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;oBACxB,OAAO,OAAO,CAAC;gBACjB,CAAC;gBAED,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC3D,WAAW,GAAG,OAAO,CAAC;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC7D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAEO,YAAY,CAAC,IAAU,EAAE,QAAgB,EAAE,MAAkB;QACnE,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAEvC,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,OAAO,EAAE,UAAU;SACpB,CAAC;IACJ,CAAC;IAEO,YAAY,CAAC,IAAU,EAAE,QAAgB;QAC/C,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAE/B,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,OAAO,EAAE,UAAU;SACpB,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,IAAU,EAAE,IAAY,EAAE,IAAY;QACxD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAE5E,OAAO;YACL,GAAG,IAAI;YACP,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;YACb,OAAO,EAAE,UAAU;SACpB,CAAC;IACJ,CAAC;IAEO,cAAc,CAAC,IAAU,EAAE,WAAiC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,kBAAkB,CAAC,IAAU,EAAE,QAAgB;QACrD,IAAI,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC;QAE9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAEpD,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,aAAa,CAAC,IAAU;QAC9B,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC;IAEO,WAAW,CAAC,IAAU;QAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC;IAClC,CAAC;IAEO,mBAAmB,CACzB,QAAc,EACd,QAAc,EACd,WAAmC;QAEnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5C,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAE5C,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,SAAS,WAAW,GAAG,WAAW,aAAa,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,WAAW,WAAW,GAAG,WAAW,aAAa,CAAC,CAAC;QAChE,CAAC;QAED,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;QAC1E,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,0BAA0B,CAChC,UAAgC,EAChC,WAAmC;QAEnC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACrC,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED,MAAM,UAAU,kBAAkB,CAChC,QAAwB,EACxB,MAA8B;IAE9B,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAAU,EACV,QAAwB,EACxB,MAA8B;IAE9B,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAwB;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/planning/plan-validator.d.ts

@@ -0,0 +1,31 @@
+import type { Plan, PlanState, PlanValidationResult, DependencyGraph } from '@cogitator-ai/types';
+import { ActionRegistry } from './action-schema';
+export interface ValidationConfig {
+    checkPreconditions: boolean;
+    checkGoals: boolean;
+    detectRedundancy: boolean;
+    detectOrdering: boolean;
+    maxSteps: number;
+}
+export declare class PlanValidator {
+    private registry;
+    private config;
+    constructor(registry: ActionRegistry, config?: Partial<ValidationConfig>);
+    validate(plan: Plan): PlanValidationResult;
+    private validateParameters;
+    private validatePreconditions;
+    private detectRedundantActions;
+    private detectOrderingIssues;
+    analyzeDependencies(plan: Plan): DependencyGraph;
+    private extractVariables;
+    private findCriticalPath;
+    private findParallelizable;
+}
+export declare function validatePlan(plan: Plan, registry: ActionRegistry, config?: Partial<ValidationConfig>): PlanValidationResult;
+export declare function simulatePlan(plan: Plan, registry: ActionRegistry): {
+    success: boolean;
+    finalState: PlanState;
+    stateTrace: PlanState[];
+};
+export declare function formatValidationResult(result: PlanValidationResult): string;
+//# sourceMappingURL=plan-validator.d.ts.map

package/dist/planning/plan-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-validator.d.ts","sourceRoot":"","sources":["../../src/planning/plan-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EAEJ,SAAS,EAGT,oBAAoB,EAGpB,eAAe,EAEhB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,cAAc,EAIf,MAAM,iBAAiB,CAAC;AAEzB,MAAM,WAAW,gBAAgB;IAC/B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,UAAU,EAAE,OAAO,CAAC;IACpB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAUD,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAiB;IACjC,OAAO,CAAC,MAAM,CAAmB;gBAErB,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAE,OAAO,CAAC,gBAAgB,CAAM;IAK5E,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,oBAAoB;IAwF1C,OAAO,CAAC,kBAAkB;IAmC1B,OAAO,CAAC,qBAAqB;IA0B7B,OAAO,CAAC,sBAAsB;IAsB9B,OAAO,CAAC,oBAAoB;IAuB5B,mBAAmB,CAAC,IAAI,EAAE,IAAI,GAAG,eAAe;IA2DhD,OAAO,CAAC,gBAAgB;IAkBxB,OAAO,CAAC,gBAAgB;IAkExB,OAAO,CAAC,kBAAkB;CAqC3B;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,cAAc,EACxB,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GACjC,oBAAoB,CAGtB;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,cAAc,GACvB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAA;CAAE,CA6BtE;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAuC3E"}