@cogitator-ai/neuro-symbolic 0.1.0

package/dist/planning/invariant-checker.js

@@ -0,0 +1,293 @@
+import { nanoid } from 'nanoid';
+import { evaluatePrecondition, applyAction } from './action-schema';
+const DEFAULT_CONFIG = {
+    checkInvariants: true,
+    checkEventually: true,
+    checkAlways: true,
+    maxSteps: 1000,
+};
+export class InvariantChecker {
+    registry;
+    properties = [];
+    config;
+    constructor(registry, config = {}) {
+        this.registry = registry;
+        this.config = { ...DEFAULT_CONFIG, ...config };
+    }
+    addProperty(property) {
+        this.properties.push(property);
+    }
+    addInvariant(name, condition, description) {
+        const id = nanoid(8);
+        this.properties.push({
+            id,
+            name,
+            description,
+            type: 'invariant',
+            condition,
+        });
+        return id;
+    }
+    addEventually(name, condition, description) {
+        const id = nanoid(8);
+        this.properties.push({
+            id,
+            name,
+            description,
+            type: 'eventually',
+            condition,
+        });
+        return id;
+    }
+    addAlways(name, condition, description) {
+        const id = nanoid(8);
+        this.properties.push({
+            id,
+            name,
+            description,
+            type: 'always',
+            condition,
+        });
+        return id;
+    }
+    addNever(name, condition, description) {
+        const id = nanoid(8);
+        this.properties.push({
+            id,
+            name,
+            description,
+            type: 'never',
+            condition,
+        });
+        return id;
+    }
+    removeProperty(id) {
+        const index = this.properties.findIndex((p) => p.id === id);
+        if (index !== -1) {
+            this.properties.splice(index, 1);
+            return true;
+        }
+        return false;
+    }
+    getProperties() {
+        return [...this.properties];
+    }
+    checkPlan(plan) {
+        const results = [];
+        const stateTrace = this.simulatePlan(plan);
+        for (const property of this.properties) {
+            const result = this.checkProperty(property, stateTrace, plan.actions);
+            results.push(result);
+        }
+        return results;
+    }
+    simulatePlan(plan) {
+        const stateTrace = [plan.initialState];
+        let currentState = plan.initialState;
+        for (let i = 0; i < plan.actions.length && i < this.config.maxSteps; i++) {
+            const action = plan.actions[i];
+            const schema = this.registry.get(action.schemaName);
+            if (!schema) {
+                break;
+            }
+            currentState = applyAction(action, currentState, schema);
+            stateTrace.push(currentState);
+        }
+        return stateTrace;
+    }
+    checkProperty(property, stateTrace, actions) {
+        switch (property.type) {
+            case 'invariant':
+            case 'always':
+                return this.checkAlwaysProperty(property, stateTrace, actions);
+            case 'eventually':
+                return this.checkEventuallyProperty(property, stateTrace);
+            case 'never':
+                return this.checkNeverProperty(property, stateTrace, actions);
+            case 'until':
+                return {
+                    property,
+                    satisfied: true,
+                };
+            default:
+                return {
+                    property,
+                    satisfied: false,
+                    violatingStates: [],
+                };
+        }
+    }
+    checkAlwaysProperty(property, stateTrace, actions) {
+        const violatingStates = [];
+        const counterexample = [];
+        for (let i = 0; i < stateTrace.length; i++) {
+            const state = stateTrace[i];
+            if (!evaluatePrecondition(property.condition, state)) {
+                violatingStates.push(state);
+                if (counterexample.length === 0 && i > 0) {
+                    counterexample.push(...actions.slice(0, i));
+                }
+            }
+        }
+        return {
+            property,
+            satisfied: violatingStates.length === 0,
+            violatingStates: violatingStates.length > 0 ? violatingStates : undefined,
+            counterexample: counterexample.length > 0 ? counterexample : undefined,
+        };
+    }
+    checkEventuallyProperty(property, stateTrace) {
+        for (const state of stateTrace) {
+            if (evaluatePrecondition(property.condition, state)) {
+                return {
+                    property,
+                    satisfied: true,
+                };
+            }
+        }
+        return {
+            property,
+            satisfied: false,
+            violatingStates: stateTrace,
+        };
+    }
+    checkNeverProperty(property, stateTrace, actions) {
+        for (let i = 0; i < stateTrace.length; i++) {
+            const state = stateTrace[i];
+            if (evaluatePrecondition(property.condition, state)) {
+                return {
+                    property,
+                    satisfied: false,
+                    violatingStates: [state],
+                    counterexample: i > 0 ? actions.slice(0, i) : undefined,
+                };
+            }
+        }
+        return {
+            property,
+            satisfied: true,
+        };
+    }
+    checkState(state) {
+        const results = [];
+        for (const property of this.properties) {
+            if (property.type === 'invariant' || property.type === 'always') {
+                const satisfied = evaluatePrecondition(property.condition, state);
+                results.push({ property, violated: !satisfied });
+            }
+            if (property.type === 'never') {
+                const violated = evaluatePrecondition(property.condition, state);
+                results.push({ property, violated });
+            }
+        }
+        return results;
+    }
+}
+export function createInvariantChecker(registry, config) {
+    return new InvariantChecker(registry, config);
+}
+export function formatInvariantResults(results) {
+    const lines = [];
+    const satisfied = results.filter((r) => r.satisfied);
+    const violated = results.filter((r) => !r.satisfied);
+    lines.push(`Safety Check: ${violated.length === 0 ? 'PASSED' : 'FAILED'}`);
+    lines.push(`  ${satisfied.length} properties satisfied`);
+    lines.push(`  ${violated.length} properties violated`);
+    lines.push('');
+    if (violated.length > 0) {
+        lines.push('Violated Properties:');
+        for (const result of violated) {
+            lines.push(`  ✗ ${result.property.name} (${result.property.type})`);
+            if (result.property.description) {
+                lines.push(`    ${result.property.description}`);
+            }
+            if (result.violatingStates && result.violatingStates.length > 0) {
+                lines.push(`    Violated in ${result.violatingStates.length} state(s)`);
+            }
+            if (result.counterexample && result.counterexample.length > 0) {
+                lines.push(`    Counterexample: ${result.counterexample.map((a) => a.schemaName).join(' → ')}`);
+            }
+        }
+        lines.push('');
+    }
+    if (satisfied.length > 0) {
+        lines.push('Satisfied Properties:');
+        for (const result of satisfied) {
+            lines.push(`  ✓ ${result.property.name} (${result.property.type})`);
+        }
+    }
+    return lines.join('\n');
+}
+export function commonSafetyProperties() {
+    return [
+        {
+            name: 'Non-negative',
+            description: 'Variable must never be negative',
+            createCondition: (variable) => ({
+                type: 'comparison',
+                variable,
+                operator: 'gte',
+                value: 0,
+            }),
+        },
+        {
+            name: 'Bounded',
+            description: 'Variable must stay within bounds',
+            createCondition: (variable, value) => {
+                const bounds = value;
+                return {
+                    type: 'and',
+                    conditions: [
+                        { type: 'comparison', variable, operator: 'gte', value: bounds.min },
+                        { type: 'comparison', variable, operator: 'lte', value: bounds.max },
+                    ],
+                };
+            },
+        },
+        {
+            name: 'Defined',
+            description: 'Variable must be defined (not undefined)',
+            createCondition: (variable) => ({
+                type: 'comparison',
+                variable,
+                operator: 'neq',
+                value: undefined,
+            }),
+        },
+        {
+            name: 'Boolean',
+            description: 'Variable must be true or false',
+            createCondition: (variable) => ({
+                type: 'or',
+                conditions: [
+                    { type: 'simple', variable, value: true },
+                    { type: 'simple', variable, value: false },
+                ],
+            }),
+        },
+        {
+            name: 'Mutex',
+            description: 'At most one of the variables can be true',
+            createCondition: (_variable, value) => {
+                const vars = value;
+                const conditions = [];
+                for (let i = 0; i < vars.length; i++) {
+                    for (let j = i + 1; j < vars.length; j++) {
+                        conditions.push({
+                            type: 'not',
+                            condition: {
+                                type: 'and',
+                                conditions: [
+                                    { type: 'simple', variable: vars[i], value: true },
+                                    { type: 'simple', variable: vars[j], value: true },
+                                ],
+                            },
+                        });
+                    }
+                }
+                return { type: 'and', conditions };
+            },
+        },
+    ];
+}
+//# sourceMappingURL=invariant-checker.js.map

package/dist/planning/invariant-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-checker.js","sourceRoot":"","sources":["../../src/planning/invariant-checker.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAkB,oBAAoB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AASpF,MAAM,cAAc,GAA2B;IAC7C,eAAe,EAAE,IAAI;IACrB,eAAe,EAAE,IAAI;IACrB,WAAW,EAAE,IAAI;IACjB,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,MAAM,OAAO,gBAAgB;IACnB,QAAQ,CAAiB;IACzB,UAAU,GAAqB,EAAE,CAAC;IAClC,MAAM,CAAyB;IAEvC,YAAY,QAAwB,EAAE,SAA0C,EAAE;QAChF,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,WAAW,CAAC,QAAwB;QAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IAED,YAAY,CAAC,IAAY,EAAE,SAAuB,EAAE,WAAoB;QACtE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACnB,EAAE;YACF,IAAI;YACJ,WAAW;YACX,IAAI,EAAE,WAAW;YACjB,SAAS;SACV,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,SAAuB,EAAE,WAAoB;QACvE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACnB,EAAE;YACF,IAAI;YACJ,WAAW;YACX,IAAI,EAAE,YAAY;YAClB,SAAS;SACV,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,SAAuB,EAAE,WAAoB;QACnE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACnB,EAAE;YACF,IAAI;YACJ,WAAW;YACX,IAAI,EAAE,QAAQ;YACd,SAAS;SACV,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,QAAQ,CAAC,IAAY,EAAE,SAAuB,EAAE,WAAoB;QAClE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACnB,EAAE;YACF,IAAI;YACJ,WAAW;YACX,IAAI,EAAE,OAAO;YACb,SAAS;SACV,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,cAAc,CAAC,EAAU;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,aAAa;QACX,OAAO,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,SAAS,CAAC,IAAU;QAClB,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAE3C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACtE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,YAAY,CAAC,IAAU;QAC7B,MAAM,UAAU,GAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpD,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YACzE,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;YACR,CAAC;YAED,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;YACzD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAEO,aAAa,CACnB,QAAwB,EACxB,UAAuB,EACvB,OAAqB;QAErB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,WAAW,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAEjE,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAE5D,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAEhE,KAAK,OAAO;gBACV,OAAO;oBACL,QAAQ;oBACR,SAAS,EAAE,IAAI;iBAChB,CAAC;YAEJ;gBACE,OAAO;oBACL,QAAQ;oBACR,SAAS,EAAE,KAAK;oBAChB,eAAe,EAAE,EAAE;iBACpB,CAAC;QACN,CAAC;IACH,CAAC;IAEO,mBAAmB,CACzB,QAAwB,EACxB,UAAuB,EACvB,OAAqB;QAErB,MAAM,eAAe,GAAgB,EAAE,CAAC;QACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;QAExC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAE5B,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;gBACrD,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAE5B,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzC,cAAc,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ;YACR,SAAS,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC;YACvC,eAAe,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;YACzE,cAAc,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SACvE,CAAC;IACJ,CAAC;IAEO,uBAAuB,CAC7B,QAAwB,EACxB,UAAuB;QAEvB,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;gBACpD,OAAO;oBACL,QAAQ;oBACR,SAAS,EAAE,IAAI;iBAChB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ;YACR,SAAS,EAAE,KAAK;YAChB,eAAe,EAAE,UAAU;SAC5B,CAAC;IACJ,CAAC;IAEO,kBAAkB,CACxB,QAAwB,EACxB,UAAuB,EACvB,OAAqB;QAErB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAE5B,IAAI,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;gBACpD,OAAO;oBACL,QAAQ;oBACR,SAAS,EAAE,KAAK;oBAChB,eAAe,EAAE,CAAC,KAAK,CAAC;oBACxB,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;iBACxD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,QAAQ;YACR,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,KAAgB;QACzB,MAAM,OAAO,GAAsD,EAAE,CAAC;QAEtE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChE,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBAClE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;YACnD,CAAC;YAED,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBACjE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,MAAM,UAAU,sBAAsB,CACpC,QAAwB,EACxB,MAAwC;IAExC,OAAO,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAA+B;IACpE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAErD,KAAK,CAAC,IAAI,CAAC,iBAAiB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,MAAM,uBAAuB,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,sBAAsB,CAAC,CAAC;IACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAEnC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;YAEpE,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;YACnD,CAAC;YAED,IAAI,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,eAAe,CAAC,MAAM,WAAW,CAAC,CAAC;YAC1E,CAAC;YAED,IAAI,MAAM,CAAC,cAAc,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,KAAK,CAAC,IAAI,CACR,uBAAuB,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACpF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAEpC,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,sBAAsB;IAKpC,OAAO;QACL;YACE,IAAI,EAAE,cAAc;YACpB,WAAW,EAAE,iCAAiC;YAC9C,eAAe,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,CAAC;gBACtC,IAAI,EAAE,YAAY;gBAClB,QAAQ;gBACR,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,CAAC;aACT,CAAC;SACH;QACD;YACE,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,kCAAkC;YAC/C,eAAe,EAAE,CAAC,QAAgB,EAAE,KAAe,EAAE,EAAE;gBACrD,MAAM,MAAM,GAAG,KAAqC,CAAC;gBACrD,OAAO;oBACL,IAAI,EAAE,KAAK;oBACX,UAAU,EAAE;wBACV,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE;wBACpE,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE;qBACrE;iBACF,CAAC;YACJ,CAAC;SACF;QACD;YACE,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,0CAA0C;YACvD,eAAe,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,CAAC;gBACtC,IAAI,EAAE,YAAY;gBAClB,QAAQ;gBACR,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;SACH;QACD;YACE,IAAI,EAAE,SAAS;YACf,WAAW,EAAE,gCAAgC;YAC7C,eAAe,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,CAAC;gBACtC,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE;oBACzC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE;iBAC3C;aACF,CAAC;SACH;QACD;YACE,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,0CAA0C;YACvD,eAAe,EAAE,CAAC,SAAiB,EAAE,KAAe,EAAE,EAAE;gBACtD,MAAM,IAAI,GAAG,KAAiB,CAAC;gBAC/B,MAAM,UAAU,GAAmB,EAAE,CAAC;gBAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACzC,UAAU,CAAC,IAAI,CAAC;4BACd,IAAI,EAAE,KAAK;4BACX,SAAS,EAAE;gCACT,IAAI,EAAE,KAAK;gCACX,UAAU,EAAE;oCACV,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;oCAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;iCACnD;6BACF;yBACF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;YACrC,CAAC;SACF;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,38 @@
+import type { Plan, PlanRepairResult } from '@cogitator-ai/types';
+import { ActionRegistry } from './action-schema';
+export interface RepairConfig {
+    maxInsertions: number;
+    maxRemovals: number;
+    maxReorders: number;
+    maxIterations: number;
+    useHeuristics: boolean;
+}
+export declare class PlanRepairer {
+    private registry;
+    private validator;
+    private config;
+    constructor(registry: ActionRegistry, config?: Partial<RepairConfig>);
+    repair(plan: Plan): PlanRepairResult;
+    private generateSuggestions;
+    private suggestionsForError;
+    private suggestInsertions;
+    private suggestReorders;
+    private suggestActionsForGoal;
+    private schemaCouldEstablish;
+    private createActionFromSchema;
+    private inferParameterValue;
+    private attemptRepair;
+    private insertAction;
+    private removeAction;
+    private swapActions;
+    private reorderActions;
+    private getStateAtPosition;
+    private getFinalState;
+    private countErrors;
+    private generateExplanation;
+    private generateFailureExplanation;
+}
+export declare function createPlanRepairer(registry: ActionRegistry, config?: Partial<RepairConfig>): PlanRepairer;
+export declare function repairPlan(plan: Plan, registry: ActionRegistry, config?: Partial<RepairConfig>): PlanRepairResult;
+export declare function formatRepairResult(result: PlanRepairResult): string;
+//# sourceMappingURL=plan-repair.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"plan-repair.d.ts","sourceRoot":"","sources":["../../src/planning/plan-repair.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EAQJ,gBAAgB,EACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAA6B,MAAM,iBAAiB,CAAC;AAG5E,MAAM,WAAW,YAAY;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,OAAO,CAAC;CACxB;AAUD,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAiB;IACjC,OAAO,CAAC,SAAS,CAAgB;IACjC,OAAO,CAAC,MAAM,CAAe;gBAEjB,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAE,OAAO,CAAC,YAAY,CAAM;IAMxE,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,gBAAgB;IAuCpC,OAAO,CAAC,mBAAmB;IAgB3B,OAAO,CAAC,mBAAmB;IA0D3B,OAAO,CAAC,iBAAiB;IA8BzB,OAAO,CAAC,eAAe;IAyBvB,OAAO,CAAC,qBAAqB;IA0B7B,OAAO,CAAC,oBAAoB;IAgB5B,OAAO,CAAC,sBAAsB;IAgB9B,OAAO,CAAC,mBAAmB;IAyB3B,OAAO,CAAC,aAAa;IAqDrB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,kBAAkB;IAe1B,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,mBAAmB;IA8B3B,OAAO,CAAC,0BAA0B;CAuBnC;AAED,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,cAAc,EACxB,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC7B,YAAY,CAEd;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,cAAc,EACxB,MAAM,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC7B,gBAAgB,CAGlB;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAkBnE"}