@cogitator-ai/neuro-symbolic 0.1.0

package/dist/planning/plan-validator.js

@@ -0,0 +1,379 @@
+import { evaluatePrecondition, applyAction, preconditionToString, } from './action-schema';
+const DEFAULT_VALIDATION_CONFIG = {
+    checkPreconditions: true,
+    checkGoals: true,
+    detectRedundancy: true,
+    detectOrdering: true,
+    maxSteps: 1000,
+};
+export class PlanValidator {
+    registry;
+    config;
+    constructor(registry, config = {}) {
+        this.registry = registry;
+        this.config = { ...DEFAULT_VALIDATION_CONFIG, ...config };
+    }
+    validate(plan) {
+        const errors = [];
+        const warnings = [];
+        const stateTrace = [plan.initialState];
+        let currentState = plan.initialState;
+        for (let i = 0; i < plan.actions.length; i++) {
+            if (i >= this.config.maxSteps) {
+                errors.push({
+                    type: 'goal_unreachable',
+                    message: `Plan exceeds maximum steps (${this.config.maxSteps})`,
+                });
+                break;
+            }
+            const action = plan.actions[i];
+            const schema = this.registry.get(action.schemaName);
+            if (!schema) {
+                errors.push({
+                    type: 'undefined_action',
+                    actionIndex: i,
+                    actionName: action.schemaName,
+                    message: `Unknown action schema: ${action.schemaName}`,
+                });
+                continue;
+            }
+            const paramErrors = this.validateParameters(action, schema, i);
+            errors.push(...paramErrors);
+            if (paramErrors.length > 0) {
+                continue;
+            }
+            if (this.config.checkPreconditions) {
+                const preErrors = this.validatePreconditions(action, schema, currentState, i);
+                errors.push(...preErrors);
+                if (preErrors.length > 0) {
+                    continue;
+                }
+            }
+            currentState = applyAction(action, currentState, schema);
+            stateTrace.push(currentState);
+        }
+        const satisfiedGoals = [];
+        const unsatisfiedGoals = [];
+        if (this.config.checkGoals) {
+            for (const goal of plan.goalConditions) {
+                const goalStr = preconditionToString(goal);
+                if (evaluatePrecondition(goal, currentState)) {
+                    satisfiedGoals.push(goalStr);
+                }
+                else {
+                    unsatisfiedGoals.push(goalStr);
+                    errors.push({
+                        type: 'goal_unreachable',
+                        message: `Goal not satisfied: ${goalStr}`,
+                        details: { goal },
+                    });
+                }
+            }
+        }
+        if (this.config.detectRedundancy) {
+            const redundancyWarnings = this.detectRedundantActions(plan, stateTrace);
+            warnings.push(...redundancyWarnings);
+        }
+        if (this.config.detectOrdering) {
+            const orderingWarnings = this.detectOrderingIssues(plan);
+            warnings.push(...orderingWarnings);
+        }
+        return {
+            valid: errors.length === 0,
+            errors,
+            warnings,
+            stateTrace,
+            satisfiedGoals,
+            unsatisfiedGoals,
+        };
+    }
+    validateParameters(action, schema, actionIndex) {
+        const errors = [];
+        for (const param of schema.parameters) {
+            if (param.required && !(param.name in action.parameters)) {
+                errors.push({
+                    type: 'missing_parameter',
+                    actionIndex,
+                    actionName: action.schemaName,
+                    message: `Missing required parameter: ${param.name}`,
+                    details: { parameter: param.name },
+                });
+            }
+        }
+        for (const paramName of Object.keys(action.parameters)) {
+            const param = schema.parameters.find((p) => p.name === paramName);
+            if (!param) {
+                errors.push({
+                    type: 'invalid_parameter',
+                    actionIndex,
+                    actionName: action.schemaName,
+                    message: `Unknown parameter: ${paramName}`,
+                    details: { parameter: paramName },
+                });
+            }
+        }
+        return errors;
+    }
+    validatePreconditions(action, schema, state, actionIndex) {
+        const errors = [];
+        for (const precondition of schema.preconditions) {
+            if (!evaluatePrecondition(precondition, state, action.parameters)) {
+                errors.push({
+                    type: 'precondition_violated',
+                    actionIndex,
+                    actionName: action.schemaName,
+                    message: `Precondition not satisfied: ${preconditionToString(precondition)}`,
+                    details: {
+                        precondition,
+                        state: state.variables,
+                    },
+                });
+            }
+        }
+        return errors;
+    }
+    detectRedundantActions(plan, stateTrace) {
+        const warnings = [];
+        for (let i = 1; i < stateTrace.length; i++) {
+            const before = stateTrace[i - 1];
+            const after = stateTrace[i];
+            const beforeStr = JSON.stringify(before.variables);
+            const afterStr = JSON.stringify(after.variables);
+            if (beforeStr === afterStr) {
+                warnings.push({
+                    type: 'redundant_action',
+                    actionIndex: i - 1,
+                    message: `Action ${plan.actions[i - 1].schemaName} has no effect`,
+                });
+            }
+        }
+        return warnings;
+    }
+    detectOrderingIssues(plan) {
+        const warnings = [];
+        const dependencies = this.analyzeDependencies(plan);
+        for (const edge of dependencies.edges) {
+            if (edge.type === 'threat') {
+                const fromIdx = dependencies.actions.indexOf(edge.fromAction);
+                const toIdx = dependencies.actions.indexOf(edge.toAction);
+                if (fromIdx > toIdx) {
+                    warnings.push({
+                        type: 'suboptimal_ordering',
+                        actionIndex: fromIdx,
+                        message: `Action ordering may cause issues: ${edge.description}`,
+                    });
+                }
+            }
+        }
+        return warnings;
+    }
+    analyzeDependencies(plan) {
+        const actions = plan.actions.map((a) => a.id);
+        const edges = [];
+        const producedBy = new Map();
+        const consumedBy = new Map();
+        for (const action of plan.actions) {
+            const schema = this.registry.get(action.schemaName);
+            if (!schema)
+                continue;
+            for (const effect of schema.effects) {
+                if (effect.type === 'assign' ||
+                    effect.type === 'increment' ||
+                    effect.type === 'decrement') {
+                    producedBy.set(effect.variable, action.id);
+                }
+            }
+        }
+        for (const action of plan.actions) {
+            const schema = this.registry.get(action.schemaName);
+            if (!schema)
+                continue;
+            for (const pre of schema.preconditions) {
+                const variables = this.extractVariables(pre);
+                for (const variable of variables) {
+                    if (!consumedBy.has(variable)) {
+                        consumedBy.set(variable, []);
+                    }
+                    consumedBy.get(variable).push(action.id);
+                    const producer = producedBy.get(variable);
+                    if (producer && producer !== action.id) {
+                        edges.push({
+                            fromAction: producer,
+                            toAction: action.id,
+                            type: 'causal',
+                            variable,
+                            description: `${producer} produces ${variable} for ${action.id}`,
+                        });
+                    }
+                }
+            }
+        }
+        const criticalPath = this.findCriticalPath(actions, edges);
+        const parallelizable = this.findParallelizable(actions, edges);
+        return {
+            actions,
+            edges,
+            criticalPath,
+            parallelizable,
+        };
+    }
+    extractVariables(precondition) {
+        switch (precondition.type) {
+            case 'simple':
+            case 'comparison':
+                return [precondition.variable];
+            case 'and':
+            case 'or':
+                return precondition.conditions.flatMap((c) => this.extractVariables(c));
+            case 'not':
+                return this.extractVariables(precondition.condition);
+            case 'exists':
+            case 'forall':
+                return this.extractVariables(precondition.condition);
+            default:
+                return [];
+        }
+    }
+    findCriticalPath(actions, edges) {
+        const inDegree = new Map();
+        const outEdges = new Map();
+        for (const action of actions) {
+            inDegree.set(action, 0);
+            outEdges.set(action, []);
+        }
+        for (const edge of edges) {
+            if (edge.type === 'causal' || edge.type === 'ordering') {
+                inDegree.set(edge.toAction, (inDegree.get(edge.toAction) || 0) + 1);
+                outEdges.get(edge.fromAction)?.push(edge.toAction);
+            }
+        }
+        const distance = new Map();
+        const predecessor = new Map();
+        for (const action of actions) {
+            distance.set(action, 0);
+        }
+        const queue = actions.filter((a) => inDegree.get(a) === 0);
+        while (queue.length > 0) {
+            const current = queue.shift();
+            const currentDist = distance.get(current) || 0;
+            for (const next of outEdges.get(current) || []) {
+                const newDist = currentDist + 1;
+                if (newDist > (distance.get(next) || 0)) {
+                    distance.set(next, newDist);
+                    predecessor.set(next, current);
+                }
+                const newInDegree = (inDegree.get(next) || 0) - 1;
+                inDegree.set(next, newInDegree);
+                if (newInDegree === 0) {
+                    queue.push(next);
+                }
+            }
+        }
+        let maxDist = 0;
+        let endAction = actions[0];
+        for (const [action, dist] of distance) {
+            if (dist > maxDist) {
+                maxDist = dist;
+                endAction = action;
+            }
+        }
+        const path = [];
+        let current = endAction;
+        while (current) {
+            path.unshift(current);
+            current = predecessor.get(current);
+        }
+        return path;
+    }
+    findParallelizable(actions, edges) {
+        const dependencies = new Set();
+        for (const edge of edges) {
+            if (edge.type === 'causal' || edge.type === 'ordering') {
+                dependencies.add(`${edge.fromAction}->${edge.toAction}`);
+            }
+        }
+        const groups = [];
+        const assigned = new Set();
+        for (const action of actions) {
+            if (assigned.has(action))
+                continue;
+            const group = [action];
+            assigned.add(action);
+            for (const other of actions) {
+                if (assigned.has(other))
+                    continue;
+                const hasForward = dependencies.has(`${action}->${other}`);
+                const hasBackward = dependencies.has(`${other}->${action}`);
+                if (!hasForward && !hasBackward) {
+                    group.push(other);
+                    assigned.add(other);
+                }
+            }
+            if (group.length > 1) {
+                groups.push(group);
+            }
+        }
+        return groups;
+    }
+}
+export function validatePlan(plan, registry, config) {
+    const validator = new PlanValidator(registry, config);
+    return validator.validate(plan);
+}
+export function simulatePlan(plan, registry) {
+    const stateTrace = [plan.initialState];
+    let currentState = plan.initialState;
+    for (const action of plan.actions) {
+        const schema = registry.get(action.schemaName);
+        if (!schema) {
+            return { success: false, finalState: currentState, stateTrace };
+        }
+        const preOk = schema.preconditions.every((pre) => evaluatePrecondition(pre, currentState, action.parameters));
+        if (!preOk) {
+            return { success: false, finalState: currentState, stateTrace };
+        }
+        currentState = applyAction(action, currentState, schema);
+        stateTrace.push(currentState);
+    }
+    const goalsOk = plan.goalConditions.every((goal) => evaluatePrecondition(goal, currentState));
+    return {
+        success: goalsOk,
+        finalState: currentState,
+        stateTrace,
+    };
+}
+export function formatValidationResult(result) {
+    const lines = [];
+    lines.push(`Validation ${result.valid ? 'PASSED' : 'FAILED'}`);
+    lines.push('');
+    if (result.errors.length > 0) {
+        lines.push(`Errors (${result.errors.length}):`);
+        for (const error of result.errors) {
+            const location = error.actionIndex !== undefined ? ` [action ${error.actionIndex}]` : '';
+            lines.push(`  ✗ ${error.type}${location}: ${error.message}`);
+        }
+        lines.push('');
+    }
+    if (result.warnings.length > 0) {
+        lines.push(`Warnings (${result.warnings.length}):`);
+        for (const warning of result.warnings) {
+            const location = warning.actionIndex !== undefined ? ` [action ${warning.actionIndex}]` : '';
+            lines.push(`  ⚠ ${warning.type}${location}: ${warning.message}`);
+        }
+        lines.push('');
+    }
+    if (result.satisfiedGoals.length > 0) {
+        lines.push('Satisfied goals:');
+        for (const goal of result.satisfiedGoals) {
+            lines.push(`  ✓ ${goal}`);
+        }
+    }
+    if (result.unsatisfiedGoals.length > 0) {
+        lines.push('Unsatisfied goals:');
+        for (const goal of result.unsatisfiedGoals) {
+            lines.push(`  ✗ ${goal}`);
+        }
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=plan-validator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"plan-validator.js","sourceRoot":"","sources":["../../src/planning/plan-validator.ts"],"names":[],"mappings":"AAYA,OAAO,EAEL,oBAAoB,EACpB,WAAW,EACX,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AAUzB,MAAM,yBAAyB,GAAqB;IAClD,kBAAkB,EAAE,IAAI;IACxB,UAAU,EAAE,IAAI;IAChB,gBAAgB,EAAE,IAAI;IACtB,cAAc,EAAE,IAAI;IACpB,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,MAAM,OAAO,aAAa;IAChB,QAAQ,CAAiB;IACzB,MAAM,CAAmB;IAEjC,YAAY,QAAwB,EAAE,SAAoC,EAAE;QAC1E,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,yBAAyB,EAAE,GAAG,MAAM,EAAE,CAAC;IAC5D,CAAC;IAED,QAAQ,CAAC,IAAU;QACjB,MAAM,MAAM,GAA0B,EAAE,CAAC;QACzC,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEpD,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,+BAA+B,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG;iBAChE,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YAED,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,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,WAAW,EAAE,CAAC;oBACd,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,OAAO,EAAE,0BAA0B,MAAM,CAAC,UAAU,EAAE;iBACvD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;YAE5B,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;gBAC9E,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;gBAE1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACzB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;YACzD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,CAAC;QAED,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,gBAAgB,GAAa,EAAE,CAAC;QAEtC,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC3C,IAAI,oBAAoB,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;oBAC7C,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/B,CAAC;qBAAM,CAAC;oBACN,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC/B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,uBAAuB,OAAO,EAAE;wBACzC,OAAO,EAAE,EAAE,IAAI,EAAE;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACjC,MAAM,kBAAkB,GAAG,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YAC/B,MAAM,gBAAgB,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;QACrC,CAAC;QAED,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,MAAM;YACN,QAAQ;YACR,UAAU;YACV,cAAc;YACd,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAEO,kBAAkB,CACxB,MAAkB,EAClB,MAAoB,EACpB,WAAmB;QAEnB,MAAM,MAAM,GAA0B,EAAE,CAAC;QAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,WAAW;oBACX,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,OAAO,EAAE,+BAA+B,KAAK,CAAC,IAAI,EAAE;oBACpD,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAClE,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,WAAW;oBACX,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,OAAO,EAAE,sBAAsB,SAAS,EAAE;oBAC1C,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,qBAAqB,CAC3B,MAAkB,EAClB,MAAoB,EACpB,KAAgB,EAChB,WAAmB;QAEnB,MAAM,MAAM,GAA0B,EAAE,CAAC;QAEzC,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YAChD,IAAI,CAAC,oBAAoB,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,uBAAuB;oBAC7B,WAAW;oBACX,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,OAAO,EAAE,+BAA+B,oBAAoB,CAAC,YAAY,CAAC,EAAE;oBAC5E,OAAO,EAAE;wBACP,YAAY;wBACZ,KAAK,EAAE,KAAK,CAAC,SAAS;qBACvB;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,sBAAsB,CAAC,IAAU,EAAE,UAAuB;QAChE,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAEjD,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,kBAAkB;oBACxB,WAAW,EAAE,CAAC,GAAG,CAAC;oBAClB,OAAO,EAAE,UAAU,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,gBAAgB;iBAClE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,oBAAoB,CAAC,IAAU;QACrC,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAE7C,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9D,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAE1D,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC;oBACpB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,qBAAqB;wBAC3B,WAAW,EAAE,OAAO;wBACpB,OAAO,EAAE,qCAAqC,IAAI,CAAC,WAAW,EAAE;qBACjE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,mBAAmB,CAAC,IAAU;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAqB,EAAE,CAAC;QAEnC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;QAE/C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpC,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;oBACxB,MAAM,CAAC,IAAI,KAAK,WAAW;oBAC3B,MAAM,CAAC,IAAI,KAAK,WAAW,EAC3B,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBACvC,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;gBAC7C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;oBACjC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC9B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;oBAC/B,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBAE1C,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC1C,IAAI,QAAQ,IAAI,QAAQ,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;wBACvC,KAAK,CAAC,IAAI,CAAC;4BACT,UAAU,EAAE,QAAQ;4BACpB,QAAQ,EAAE,MAAM,CAAC,EAAE;4BACnB,IAAI,EAAE,QAAQ;4BACd,QAAQ;4BACR,WAAW,EAAE,GAAG,QAAQ,aAAa,QAAQ,QAAQ,MAAM,CAAC,EAAE,EAAE;yBACjE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC3D,MAAM,cAAc,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAE/D,OAAO;YACL,OAAO;YACP,KAAK;YACL,YAAY;YACZ,cAAc;SACf,CAAC;IACJ,CAAC;IAEO,gBAAgB,CAAC,YAA0B;QACjD,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,QAAQ,CAAC;YACd,KAAK,YAAY;gBACf,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACjC,KAAK,KAAK,CAAC;YACX,KAAK,IAAI;gBACP,OAAO,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YACvD,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YACvD;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,OAAiB,EAAE,KAAuB;QACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAE7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACxB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACvD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE9C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1B,CAAC;QAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAE3D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC/B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAE/C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,WAAW,GAAG,CAAC,CAAC;gBAChC,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBACxC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC5B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACjC,CAAC;gBAED,MAAM,WAAW,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAEhC,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAE3B,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,IAAI,IAAI,GAAG,OAAO,EAAE,CAAC;gBACnB,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS,GAAG,MAAM,CAAC;YACrB,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAuB,SAAS,CAAC;QAE5C,OAAO,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACtB,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,kBAAkB,CAAC,OAAiB,EAAE,KAAuB;QACnE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACvD,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAEnC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAErB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,SAAS;gBAElC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,KAAK,EAAE,CAAC,CAAC;gBAC3D,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,KAAK,KAAK,MAAM,EAAE,CAAC,CAAC;gBAE5D,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAClB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,QAAwB,EACxB,MAAkC;IAElC,MAAM,SAAS,GAAG,IAAI,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtD,OAAO,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,IAAU,EACV,QAAwB;IAExB,MAAM,UAAU,GAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IAErC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;QAClE,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/C,oBAAoB,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAC3D,CAAC;QAEF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;QAClE,CAAC;QAED,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAE9F,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,UAAU,EAAE,YAAY;QACxB,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAA4B;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,QAAQ,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7F,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,IAAI,GAAG,QAAQ,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/planning/prompts.d.ts

@@ -0,0 +1,50 @@
+import type { Plan, PlanAction, PlanState, ActionSchema, PlanValidationResult, PlanRepairResult, InvariantCheckResult } from '@cogitator-ai/types';
+export interface PlanGenerationContext {
+    goal: string;
+    initialState: Record<string, unknown>;
+    availableActions: ActionSchema[];
+    constraints?: string[];
+}
+export declare function createPlanGenerationPrompt(ctx: PlanGenerationContext): string;
+export interface PlanValidationPromptContext {
+    plan: Plan;
+    validationResult: PlanValidationResult;
+    availableActions: ActionSchema[];
+}
+export declare function createValidationExplanationPrompt(ctx: PlanValidationPromptContext): string;
+export interface PlanRepairPromptContext {
+    plan: Plan;
+    repairResult: PlanRepairResult;
+    availableActions: ActionSchema[];
+}
+export declare function createRepairExplanationPrompt(ctx: PlanRepairPromptContext): string;
+export interface InvariantViolationContext {
+    plan: Plan;
+    invariantResults: InvariantCheckResult[];
+}
+export declare function createInvariantViolationPrompt(ctx: InvariantViolationContext): string;
+export interface ActionSuggestionContext {
+    currentState: PlanState;
+    goalDescription: string;
+    availableActions: ActionSchema[];
+    actionsAlreadyTaken?: PlanAction[];
+}
+export declare function createActionSuggestionPrompt(ctx: ActionSuggestionContext): string;
+export interface ParsePlanResult {
+    plan: Array<{
+        action: string;
+        parameters: Record<string, unknown>;
+    }>;
+    explanation?: string;
+}
+export declare function parsePlanResponse(response: string): ParsePlanResult | null;
+export interface ParseActionSuggestionResult {
+    action: string;
+    parameters: Record<string, unknown>;
+    reasoning: string;
+}
+export declare function parseActionSuggestionResponse(response: string): ParseActionSuggestionResult | null;
+export declare function formatPlanForPrompt(plan: Plan): string;
+export declare function formatStateForPrompt(state: PlanState): string;
+export declare function formatActionsForPrompt(actions: ActionSchema[]): string;
+//# sourceMappingURL=prompts.d.ts.map

package/dist/planning/prompts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../src/planning/prompts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EACJ,UAAU,EACV,SAAS,EACT,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACrB,MAAM,qBAAqB,CAAC;AAK7B,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,qBAAqB,GAAG,MAAM,CAgC7E;AAED,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,IAAI,CAAC;IACX,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,gBAAgB,EAAE,YAAY,EAAE,CAAC;CAClC;AAED,wBAAgB,iCAAiC,CAAC,GAAG,EAAE,2BAA2B,GAAG,MAAM,CAgB1F;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,IAAI,CAAC;IACX,YAAY,EAAE,gBAAgB,CAAC;IAC/B,gBAAgB,EAAE,YAAY,EAAE,CAAC;CAClC;AAED,wBAAgB,6BAA6B,CAAC,GAAG,EAAE,uBAAuB,GAAG,MAAM,CAgClF;AAED,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,IAAI,CAAC;IACX,gBAAgB,EAAE,oBAAoB,EAAE,CAAC;CAC1C;AAED,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,yBAAyB,GAAG,MAAM,CAgBrF;AAED,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,SAAS,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACjC,mBAAmB,CAAC,EAAE,UAAU,EAAE,CAAC;CACpC;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,uBAAuB,GAAG,MAAM,CA6BjF;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IACrE,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAiB1E;AAED,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,GACf,2BAA2B,GAAG,IAAI,CAepC;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAwBtD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAI7D;AAED,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAEtE"}

package/dist/planning/prompts.js

@@ -0,0 +1,186 @@
+import { schemaToString, actionToString, preconditionToString } from './action-schema';
+import { formatValidationResult } from './plan-validator';
+import { formatInvariantResults } from './invariant-checker';
+export function createPlanGenerationPrompt(ctx) {
+    const actionsStr = ctx.availableActions.map(schemaToString).join('\n\n');
+    const stateStr = Object.entries(ctx.initialState)
+        .map(([k, v]) => `  ${k} = ${JSON.stringify(v)}`)
+        .join('\n');
+    const constraintsStr = ctx.constraints?.length
+        ? `\n\nConstraints:\n${ctx.constraints.map((c) => `  - ${c}`).join('\n')}`
+        : '';
+    return `You are a planning expert. Generate a plan to achieve the given goal.
+
+Goal: ${ctx.goal}
+
+Initial State:
+${stateStr}
+
+Available Actions:
+${actionsStr}${constraintsStr}
+
+Generate a sequence of actions to achieve the goal. Respond with JSON:
+{
+  "plan": [
+    {
+      "action": "action_name",
+      "parameters": { "param1": "value1", ... }
+    }
+  ],
+  "explanation": "Brief explanation of the plan"
+}
+
+JSON:`;
+}
+export function createValidationExplanationPrompt(ctx) {
+    const planStr = ctx.plan.actions.map((a, i) => `${i + 1}. ${actionToString(a)}`).join('\n');
+    const validationStr = formatValidationResult(ctx.validationResult);
+    return `Explain the validation results for the following plan:
+
+Plan:
+${planStr}
+
+Validation Results:
+${validationStr}
+
+Provide a clear explanation of:
+1. What the plan is trying to achieve
+2. Why it passed or failed validation
+3. If it failed, what went wrong and how to fix it`;
+}
+export function createRepairExplanationPrompt(ctx) {
+    const originalPlanStr = ctx.plan.actions
+        .map((a, i) => `${i + 1}. ${actionToString(a)}`)
+        .join('\n');
+    const repairedPlanStr = ctx.repairResult.repairedPlan
+        ? ctx.repairResult.repairedPlan.actions
+            .map((a, i) => `${i + 1}. ${actionToString(a)}`)
+            .join('\n')
+        : 'No repaired plan generated';
+    const suggestionsStr = ctx.repairResult.suggestions
+        .map((s) => `- ${s.type}: ${s.reason} (${(s.confidence * 100).toFixed(0)}% confidence)`)
+        .join('\n');
+    return `Explain the plan repair process:
+
+Original Plan:
+${originalPlanStr}
+
+Repaired Plan:
+${repairedPlanStr}
+
+Repair Suggestions:
+${suggestionsStr}
+
+Repair ${ctx.repairResult.success ? 'succeeded' : 'failed'}.
+
+Explain:
+1. What was wrong with the original plan
+2. How it was fixed (or why it couldn't be fixed)
+3. Why the suggested repairs make sense`;
+}
+export function createInvariantViolationPrompt(ctx) {
+    const planStr = ctx.plan.actions.map((a, i) => `${i + 1}. ${actionToString(a)}`).join('\n');
+    const resultsStr = formatInvariantResults(ctx.invariantResults);
+    return `Explain the safety property violations in the following plan:
+
+Plan:
+${planStr}
+
+Safety Check Results:
+${resultsStr}
+
+Explain:
+1. Which safety properties were violated
+2. Why they were violated
+3. What changes would prevent the violations`;
+}
+export function createActionSuggestionPrompt(ctx) {
+    const stateStr = Object.entries(ctx.currentState.variables)
+        .map(([k, v]) => `  ${k} = ${JSON.stringify(v)}`)
+        .join('\n');
+    const actionsStr = ctx.availableActions.map(schemaToString).join('\n\n');
+    const historyStr = ctx.actionsAlreadyTaken?.length
+        ? `\nActions already taken:\n${ctx.actionsAlreadyTaken.map((a, i) => `${i + 1}. ${actionToString(a)}`).join('\n')}`
+        : '';
+    return `Given the current state and goal, suggest the next best action.
+
+Current State:
+${stateStr}
+
+Goal: ${ctx.goalDescription}${historyStr}
+
+Available Actions:
+${actionsStr}
+
+Suggest the next action and explain why. Respond with JSON:
+{
+  "action": "action_name",
+  "parameters": { "param1": "value1", ... },
+  "reasoning": "Why this action is the best choice"
+}
+
+JSON:`;
+}
+export function parsePlanResponse(response) {
+    try {
+        const jsonMatch = /\{[\s\S]*\}/.exec(response);
+        if (!jsonMatch)
+            return null;
+        const parsed = JSON.parse(jsonMatch[0]);
+        return {
+            plan: (parsed.plan || []).map((item) => ({
+                action: String(item.action || ''),
+                parameters: item.parameters || {},
+            })),
+            explanation: parsed.explanation,
+        };
+    }
+    catch {
+        return null;
+    }
+}
+export function parseActionSuggestionResponse(response) {
+    try {
+        const jsonMatch = /\{[\s\S]*\}/.exec(response);
+        if (!jsonMatch)
+            return null;
+        const parsed = JSON.parse(jsonMatch[0]);
+        return {
+            action: String(parsed.action || ''),
+            parameters: parsed.parameters || {},
+            reasoning: String(parsed.reasoning || ''),
+        };
+    }
+    catch {
+        return null;
+    }
+}
+export function formatPlanForPrompt(plan) {
+    const lines = [];
+    lines.push(`Plan: ${plan.name || plan.id}`);
+    lines.push('');
+    lines.push('Initial State:');
+    for (const [k, v] of Object.entries(plan.initialState.variables)) {
+        lines.push(`  ${k} = ${JSON.stringify(v)}`);
+    }
+    lines.push('');
+    lines.push('Actions:');
+    for (let i = 0; i < plan.actions.length; i++) {
+        lines.push(`  ${i + 1}. ${actionToString(plan.actions[i])}`);
+    }
+    lines.push('');
+    lines.push('Goals:');
+    for (const goal of plan.goalConditions) {
+        lines.push(`  - ${preconditionToString(goal)}`);
+    }
+    return lines.join('\n');
+}
+export function formatStateForPrompt(state) {
+    return Object.entries(state.variables)
+        .map(([k, v]) => `${k} = ${JSON.stringify(v)}`)
+        .join('\n');
+}
+export function formatActionsForPrompt(actions) {
+    return actions.map(schemaToString).join('\n\n');
+}
+//# sourceMappingURL=prompts.js.map

package/dist/planning/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/planning/prompts.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAS7D,MAAM,UAAU,0BAA0B,CAAC,GAA0B;IACnE,MAAM,UAAU,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,EAAE,MAAM;QAC5C,CAAC,CAAC,qBAAqB,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC1E,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;QAED,GAAG,CAAC,IAAI;;;EAGd,QAAQ;;;EAGR,UAAU,GAAG,cAAc;;;;;;;;;;;;;MAavB,CAAC;AACP,CAAC;AAQD,MAAM,UAAU,iCAAiC,CAAC,GAAgC;IAChF,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,aAAa,GAAG,sBAAsB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAEnE,OAAO;;;EAGP,OAAO;;;EAGP,aAAa;;;;;mDAKoC,CAAC;AACpD,CAAC;AAQD,MAAM,UAAU,6BAA6B,CAAC,GAA4B;IACxE,MAAM,eAAe,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/C,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC,YAAY;QACnD,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,OAAO;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/C,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,4BAA4B,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,YAAY,CAAC,WAAW;SAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;SACvF,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;;EAGP,eAAe;;;EAGf,eAAe;;;EAGf,cAAc;;SAEP,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ;;;;;wCAKlB,CAAC;AACzC,CAAC;AAOD,MAAM,UAAU,8BAA8B,CAAC,GAA8B;IAC3E,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,UAAU,GAAG,sBAAsB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAEhE,OAAO;;;EAGP,OAAO;;;EAGP,UAAU;;;;;6CAKiC,CAAC;AAC9C,CAAC;AASD,MAAM,UAAU,4BAA4B,CAAC,GAA4B;IACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,UAAU,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEzE,MAAM,UAAU,GAAG,GAAG,CAAC,mBAAmB,EAAE,MAAM;QAChD,CAAC,CAAC,6BAA6B,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACnH,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;;EAGP,QAAQ;;QAEF,GAAG,CAAC,eAAe,GAAG,UAAU;;;EAGtC,UAAU;;;;;;;;;MASN,CAAC;AACP,CAAC;AAOD,MAAM,UAAU,iBAAiB,CAAC,QAAgB;IAChD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAE5B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAExC,OAAO;YACL,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAA6B,EAAE,EAAE,CAAC,CAAC;gBAChE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;gBACjC,UAAU,EAAG,IAAI,CAAC,UAAsC,IAAI,EAAE;aAC/D,CAAC,CAAC;YACH,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAQD,MAAM,UAAU,6BAA6B,CAC3C,QAAgB;IAEhB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAE5B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAExC,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;YACnC,UAAU,EAAG,MAAM,CAAC,UAAsC,IAAI,EAAE;YAChE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC;SAC1C,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAU;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,OAAO,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9C,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC5D,OAAO,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAClD,CAAC"}