@cogitator-ai/neuro-symbolic 0.1.0

package/dist/planning/action-schema.js

@@ -0,0 +1,358 @@
+import { nanoid } from 'nanoid';
+export class ActionSchemaBuilder {
+    name;
+    description;
+    parameters = [];
+    preconditions = [];
+    effects = [];
+    cost;
+    duration;
+    constructor(name) {
+        this.name = name;
+    }
+    static create(name) {
+        return new ActionSchemaBuilder(name);
+    }
+    describe(description) {
+        this.description = description;
+        return this;
+    }
+    param(name, type, options = {}) {
+        this.parameters.push({
+            name,
+            type,
+            description: options.description,
+            required: options.required ?? true,
+            default: options.default,
+        });
+        return this;
+    }
+    pre(condition) {
+        this.preconditions.push(condition);
+        return this;
+    }
+    preSimple(variable, value) {
+        this.preconditions.push({ type: 'simple', variable, value });
+        return this;
+    }
+    preCompare(variable, operator, value) {
+        this.preconditions.push({ type: 'comparison', variable, operator, value });
+        return this;
+    }
+    preAnd(...conditions) {
+        this.preconditions.push({ type: 'and', conditions });
+        return this;
+    }
+    preOr(...conditions) {
+        this.preconditions.push({ type: 'or', conditions });
+        return this;
+    }
+    preNot(condition) {
+        this.preconditions.push({ type: 'not', condition });
+        return this;
+    }
+    effect(effect) {
+        this.effects.push(effect);
+        return this;
+    }
+    assign(variable, value) {
+        this.effects.push({ type: 'assign', variable, value });
+        return this;
+    }
+    increment(variable, amount = 1) {
+        this.effects.push({ type: 'increment', variable, amount });
+        return this;
+    }
+    decrement(variable, amount = 1) {
+        this.effects.push({ type: 'decrement', variable, amount });
+        return this;
+    }
+    delete(variable) {
+        this.effects.push({ type: 'delete', variable });
+        return this;
+    }
+    conditional(condition, thenEffects, elseEffects) {
+        this.effects.push({
+            type: 'conditional',
+            condition,
+            thenEffects,
+            elseEffects,
+        });
+        return this;
+    }
+    setCost(cost) {
+        this.cost = cost;
+        return this;
+    }
+    setDuration(duration) {
+        this.duration = duration;
+        return this;
+    }
+    build() {
+        return {
+            name: this.name,
+            description: this.description,
+            parameters: [...this.parameters],
+            preconditions: [...this.preconditions],
+            effects: [...this.effects],
+            cost: this.cost,
+            duration: this.duration,
+        };
+    }
+}
+export class ActionRegistry {
+    schemas = new Map();
+    register(schema) {
+        this.schemas.set(schema.name, schema);
+    }
+    get(name) {
+        return this.schemas.get(name);
+    }
+    has(name) {
+        return this.schemas.has(name);
+    }
+    getAll() {
+        return Array.from(this.schemas.values());
+    }
+    getNames() {
+        return Array.from(this.schemas.keys());
+    }
+    unregister(name) {
+        return this.schemas.delete(name);
+    }
+    clear() {
+        this.schemas.clear();
+    }
+}
+export function createAction(schemaName, parameters, id) {
+    return {
+        id: id || nanoid(8),
+        schemaName,
+        parameters,
+    };
+}
+export function evaluatePrecondition(precondition, state, parameters = {}) {
+    const resolveVariable = (variable) => {
+        if (variable.startsWith('?')) {
+            const paramName = variable.substring(1);
+            return parameters[paramName];
+        }
+        return state.variables[variable];
+    };
+    const resolveValue = (value) => {
+        if (typeof value === 'string' && value.startsWith('?')) {
+            const paramName = value.substring(1);
+            return parameters[paramName];
+        }
+        return value;
+    };
+    switch (precondition.type) {
+        case 'simple': {
+            const actual = resolveVariable(precondition.variable);
+            const expected = resolveValue(precondition.value);
+            return actual === expected;
+        }
+        case 'comparison': {
+            const actual = resolveVariable(precondition.variable);
+            const expected = resolveValue(precondition.value);
+            switch (precondition.operator) {
+                case 'eq':
+                    return actual === expected;
+                case 'neq':
+                    return actual !== expected;
+                case 'gt':
+                    return actual > expected;
+                case 'gte':
+                    return actual >= expected;
+                case 'lt':
+                    return actual < expected;
+                case 'lte':
+                    return actual <= expected;
+                case 'in':
+                    return Array.isArray(expected) && expected.includes(actual);
+                default:
+                    return false;
+            }
+        }
+        case 'and':
+            return precondition.conditions.every((c) => evaluatePrecondition(c, state, parameters));
+        case 'or':
+            return precondition.conditions.some((c) => evaluatePrecondition(c, state, parameters));
+        case 'not':
+            return !evaluatePrecondition(precondition.condition, state, parameters);
+        case 'exists':
+            return false;
+        case 'forall':
+            return true;
+        default:
+            return false;
+    }
+}
+export function applyEffect(effect, state, parameters = {}) {
+    const newVariables = { ...state.variables };
+    const resolveValue = (value) => {
+        if (typeof value === 'string' && value.startsWith('?')) {
+            const paramName = value.substring(1);
+            return parameters[paramName];
+        }
+        return value;
+    };
+    const resolveVariable = (variable) => {
+        if (variable.startsWith('?')) {
+            const paramName = variable.substring(1);
+            const resolved = parameters[paramName];
+            return typeof resolved === 'string' ? resolved : variable;
+        }
+        return variable;
+    };
+    switch (effect.type) {
+        case 'assign': {
+            const varName = resolveVariable(effect.variable);
+            newVariables[varName] = resolveValue(effect.value);
+            break;
+        }
+        case 'increment': {
+            const varName = resolveVariable(effect.variable);
+            const current = newVariables[varName];
+            if (typeof current === 'number') {
+                newVariables[varName] = current + effect.amount;
+            }
+            break;
+        }
+        case 'decrement': {
+            const varName = resolveVariable(effect.variable);
+            const current = newVariables[varName];
+            if (typeof current === 'number') {
+                newVariables[varName] = current - effect.amount;
+            }
+            break;
+        }
+        case 'delete': {
+            const varName = resolveVariable(effect.variable);
+            delete newVariables[varName];
+            break;
+        }
+        case 'conditional': {
+            if (evaluatePrecondition(effect.condition, state, parameters)) {
+                let currentState = { ...state, variables: newVariables };
+                for (const thenEffect of effect.thenEffects) {
+                    currentState = applyEffect(thenEffect, currentState, parameters);
+                }
+                return currentState;
+            }
+            else if (effect.elseEffects) {
+                let currentState = { ...state, variables: newVariables };
+                for (const elseEffect of effect.elseEffects) {
+                    currentState = applyEffect(elseEffect, currentState, parameters);
+                }
+                return currentState;
+            }
+            break;
+        }
+    }
+    return {
+        ...state,
+        id: nanoid(8),
+        variables: newVariables,
+        timestamp: new Date(),
+    };
+}
+export function applyAction(action, state, schema) {
+    let currentState = state;
+    for (const effect of schema.effects) {
+        currentState = applyEffect(effect, currentState, action.parameters);
+    }
+    return currentState;
+}
+export function schemaToString(schema) {
+    const lines = [];
+    lines.push(`Action: ${schema.name}`);
+    if (schema.description) {
+        lines.push(`  Description: ${schema.description}`);
+    }
+    if (schema.parameters.length > 0) {
+        lines.push('  Parameters:');
+        for (const param of schema.parameters) {
+            const required = param.required ? '' : ' (optional)';
+            const defaultVal = param.default !== undefined ? ` = ${param.default}` : '';
+            lines.push(`    - ${param.name}: ${param.type}${required}${defaultVal}`);
+        }
+    }
+    if (schema.preconditions.length > 0) {
+        lines.push('  Preconditions:');
+        for (const pre of schema.preconditions) {
+            lines.push(`    - ${preconditionToString(pre)}`);
+        }
+    }
+    if (schema.effects.length > 0) {
+        lines.push('  Effects:');
+        for (const eff of schema.effects) {
+            lines.push(`    - ${effectToString(eff)}`);
+        }
+    }
+    if (schema.cost !== undefined) {
+        lines.push(`  Cost: ${schema.cost}`);
+    }
+    if (schema.duration !== undefined) {
+        lines.push(`  Duration: ${schema.duration}`);
+    }
+    return lines.join('\n');
+}
+export function preconditionToString(pre) {
+    switch (pre.type) {
+        case 'simple':
+            return `${pre.variable} = ${JSON.stringify(pre.value)}`;
+        case 'comparison': {
+            const op = {
+                eq: '=',
+                neq: '≠',
+                gt: '>',
+                gte: '≥',
+                lt: '<',
+                lte: '≤',
+                in: '∈',
+            }[pre.operator];
+            return `${pre.variable} ${op} ${JSON.stringify(pre.value)}`;
+        }
+        case 'and':
+            return `(${pre.conditions.map(preconditionToString).join(' ∧ ')})`;
+        case 'or':
+            return `(${pre.conditions.map(preconditionToString).join(' ∨ ')})`;
+        case 'not':
+            return `¬(${preconditionToString(pre.condition)})`;
+        case 'exists':
+            return `∃${pre.variable} ∈ ${pre.domain}: ${preconditionToString(pre.condition)}`;
+        case 'forall':
+            return `∀${pre.variable} ∈ ${pre.domain}: ${preconditionToString(pre.condition)}`;
+        default:
+            return 'unknown';
+    }
+}
+export function effectToString(eff) {
+    switch (eff.type) {
+        case 'assign':
+            return `${eff.variable} := ${JSON.stringify(eff.value)}`;
+        case 'increment':
+            return `${eff.variable} += ${eff.amount}`;
+        case 'decrement':
+            return `${eff.variable} -= ${eff.amount}`;
+        case 'delete':
+            return `delete ${eff.variable}`;
+        case 'conditional': {
+            const thenStr = eff.thenEffects.map(effectToString).join('; ');
+            const elseStr = eff.elseEffects
+                ? ` else { ${eff.elseEffects.map(effectToString).join('; ')} }`
+                : '';
+            return `if (${preconditionToString(eff.condition)}) { ${thenStr} }${elseStr}`;
+        }
+        default:
+            return 'unknown';
+    }
+}
+export function actionToString(action, _schema) {
+    const params = Object.entries(action.parameters)
+        .map(([k, v]) => `${k}=${JSON.stringify(v)}`)
+        .join(', ');
+    return `${action.schemaName}(${params})`;
+}
+//# sourceMappingURL=action-schema.js.map

package/dist/planning/action-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"action-schema.js","sourceRoot":"","sources":["../../src/planning/action-schema.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,OAAO,mBAAmB;IACtB,IAAI,CAAS;IACb,WAAW,CAAU;IACrB,UAAU,GAAsB,EAAE,CAAC;IACnC,aAAa,GAAmB,EAAE,CAAC;IACnC,OAAO,GAAa,EAAE,CAAC;IACvB,IAAI,CAAU;IACd,QAAQ,CAAU;IAE1B,YAAY,IAAY;QACtB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAY;QACxB,OAAO,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,QAAQ,CAAC,WAAmB;QAC1B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,IAAY,EAAE,IAAY,EAAE,UAAoC,EAAE;QACtE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YACnB,IAAI;YACJ,IAAI;YACJ,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,IAAI;YAClC,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,SAAuB;QACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,QAAgB,EAAE,KAAc;QACxC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,UAAU,CACR,QAAgB,EAChB,QAA2D,EAC3D,KAAc;QAEd,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,GAAG,UAA0B;QAClC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,GAAG,UAA0B;QACjC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,SAAuB;QAC5B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,MAAc;QACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,QAAgB,EAAE,KAAc;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,QAAgB,EAAE,SAAiB,CAAC;QAC5C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,QAAgB,EAAE,SAAiB,CAAC;QAC5C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,QAAgB;QACrB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,SAAuB,EAAE,WAAqB,EAAE,WAAsB;QAChF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,aAAa;YACnB,SAAS;YACT,WAAW;YACX,WAAW;SACZ,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,WAAW,CAAC,QAAgB;QAC1B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;YAChC,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;YACtC,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;YAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;IACJ,CAAC;CACF;AAED,MAAM,OAAO,cAAc;IACjB,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,QAAQ,CAAC,MAAoB;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,MAAM;QACJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,QAAQ;QACN,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;CACF;AAED,MAAM,UAAU,YAAY,CAC1B,UAAkB,EAClB,UAAmC,EACnC,EAAW;IAEX,OAAO;QACL,EAAE,EAAE,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC;QACnB,UAAU;QACV,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,YAA0B,EAC1B,KAAgB,EAChB,aAAsC,EAAE;IAExC,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAW,EAAE;QACpD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,KAAc,EAAW,EAAE;QAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YAClD,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YAElD,QAAQ,YAAY,CAAC,QAAQ,EAAE,CAAC;gBAC9B,KAAK,IAAI;oBACP,OAAO,MAAM,KAAK,QAAQ,CAAC;gBAC7B,KAAK,KAAK;oBACR,OAAO,MAAM,KAAK,QAAQ,CAAC;gBAC7B,KAAK,IAAI;oBACP,OAAQ,MAAiB,GAAI,QAAmB,CAAC;gBACnD,KAAK,KAAK;oBACR,OAAQ,MAAiB,IAAK,QAAmB,CAAC;gBACpD,KAAK,IAAI;oBACP,OAAQ,MAAiB,GAAI,QAAmB,CAAC;gBACnD,KAAK,KAAK;oBACR,OAAQ,MAAiB,IAAK,QAAmB,CAAC;gBACpD,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC9D;oBACE,OAAO,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;QAED,KAAK,KAAK;YACR,OAAO,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAE1F,KAAK,IAAI;YACP,OAAO,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAEzF,KAAK,KAAK;YACR,OAAO,CAAC,oBAAoB,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAE1E,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QAEf,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QAEd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,KAAgB,EAChB,aAAsC,EAAE;IAExC,MAAM,YAAY,GAAG,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;IAE5C,MAAM,YAAY,GAAG,CAAC,KAAc,EAAW,EAAE;QAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAU,EAAE;QACnD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;YACvC,OAAO,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5D,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IAEF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjD,YAAY,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAChC,YAAY,CAAC,OAAO,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAClD,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAChC,YAAY,CAAC,OAAO,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAClD,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,oBAAoB,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC9D,IAAI,YAAY,GAAc,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;gBACpE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC5C,YAAY,GAAG,WAAW,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO,YAAY,CAAC;YACtB,CAAC;iBAAM,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBAC9B,IAAI,YAAY,GAAc,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;gBACpE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC5C,YAAY,GAAG,WAAW,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO,YAAY,CAAC;YACtB,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG,KAAK;QACR,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;QACb,SAAS,EAAE,YAAY;QACvB,SAAS,EAAE,IAAI,IAAI,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAkB,EAAE,KAAgB,EAAE,MAAoB;IACpF,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAErC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;YACrD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,GAAG,QAAQ,GAAG,UAAU,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,SAAS,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,SAAS,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAiB;IACpD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,GAAG,GAAG,CAAC,QAAQ,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAE1D,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,EAAE,GAAG;gBACT,EAAE,EAAE,GAAG;gBACP,GAAG,EAAE,GAAG;gBACR,EAAE,EAAE,GAAG;gBACP,GAAG,EAAE,GAAG;gBACR,EAAE,EAAE,GAAG;gBACP,GAAG,EAAE,GAAG;gBACR,EAAE,EAAE,GAAG;aACR,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChB,OAAO,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,CAAC;QAED,KAAK,KAAK;YACR,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAErE,KAAK,IAAI;YACP,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAErE,KAAK,KAAK;YACR,OAAO,KAAK,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC;QAErD,KAAK,QAAQ;YACX,OAAO,IAAI,GAAG,CAAC,QAAQ,MAAM,GAAG,CAAC,MAAM,KAAK,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAEpF,KAAK,QAAQ;YACX,OAAO,IAAI,GAAG,CAAC,QAAQ,MAAM,GAAG,CAAC,MAAM,KAAK,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAEpF;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,GAAG,GAAG,CAAC,QAAQ,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAE3D,KAAK,WAAW;YACd,OAAO,GAAG,GAAG,CAAC,QAAQ,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC;QAE5C,KAAK,WAAW;YACd,OAAO,GAAG,GAAG,CAAC,QAAQ,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC;QAE5C,KAAK,QAAQ;YACX,OAAO,UAAU,GAAG,CAAC,QAAQ,EAAE,CAAC;QAElC,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/D,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW;gBAC7B,CAAC,CAAC,WAAW,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAC/D,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,OAAO,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,OAAO,KAAK,OAAO,EAAE,CAAC;QAChF,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAkB,EAAE,OAAsB;IACvE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5C,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,GAAG,CAAC;AAC3C,CAAC"}

package/dist/planning/index.d.ts

@@ -0,0 +1,6 @@
+export { ActionSchemaBuilder, ActionRegistry, createAction, evaluatePrecondition, applyEffect, applyAction, schemaToString, preconditionToString, effectToString, actionToString, } from './action-schema';
+export { PlanValidator, validatePlan, simulatePlan, formatValidationResult, type ValidationConfig, } from './plan-validator';
+export { InvariantChecker, createInvariantChecker, formatInvariantResults, commonSafetyProperties, type InvariantCheckerConfig, } from './invariant-checker';
+export { PlanRepairer, createPlanRepairer, repairPlan, formatRepairResult, type RepairConfig, } from './plan-repair';
+export { createPlanGenerationPrompt, createValidationExplanationPrompt, createRepairExplanationPrompt, createInvariantViolationPrompt, createActionSuggestionPrompt, parsePlanResponse, parseActionSuggestionResponse, formatPlanForPrompt, formatStateForPrompt, formatActionsForPrompt, type PlanGenerationContext, type PlanValidationPromptContext, type PlanRepairPromptContext, type InvariantViolationContext, type ActionSuggestionContext, type ParsePlanResult, type ParseActionSuggestionResult, } from './prompts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/planning/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,oBAAoB,EACpB,WAAW,EACX,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,cAAc,GACf,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,sBAAsB,EACtB,KAAK,gBAAgB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,KAAK,sBAAsB,GAC5B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,UAAU,EACV,kBAAkB,EAClB,KAAK,YAAY,GAClB,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,0BAA0B,EAC1B,iCAAiC,EACjC,6BAA6B,EAC7B,8BAA8B,EAC9B,4BAA4B,EAC5B,iBAAiB,EACjB,6BAA6B,EAC7B,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,2BAA2B,EAChC,KAAK,uBAAuB,EAC5B,KAAK,yBAAyB,EAC9B,KAAK,uBAAuB,EAC5B,KAAK,eAAe,EACpB,KAAK,2BAA2B,GACjC,MAAM,WAAW,CAAC"}

package/dist/planning/index.js

@@ -0,0 +1,6 @@
+export { ActionSchemaBuilder, ActionRegistry, createAction, evaluatePrecondition, applyEffect, applyAction, schemaToString, preconditionToString, effectToString, actionToString, } from './action-schema';
+export { PlanValidator, validatePlan, simulatePlan, formatValidationResult, } from './plan-validator';
+export { InvariantChecker, createInvariantChecker, formatInvariantResults, commonSafetyProperties, } from './invariant-checker';
+export { PlanRepairer, createPlanRepairer, repairPlan, formatRepairResult, } from './plan-repair';
+export { createPlanGenerationPrompt, createValidationExplanationPrompt, createRepairExplanationPrompt, createInvariantViolationPrompt, createActionSuggestionPrompt, parsePlanResponse, parseActionSuggestionResponse, formatPlanForPrompt, formatStateForPrompt, formatActionsForPrompt, } from './prompts';
+//# sourceMappingURL=index.js.map

package/dist/planning/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/planning/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,oBAAoB,EACpB,WAAW,EACX,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,cAAc,GACf,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,sBAAsB,GAEvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,GAEvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,UAAU,EACV,kBAAkB,GAEnB,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,0BAA0B,EAC1B,iCAAiC,EACjC,6BAA6B,EAC7B,8BAA8B,EAC9B,4BAA4B,EAC5B,iBAAiB,EACjB,6BAA6B,EAC7B,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,GAQvB,MAAM,WAAW,CAAC"}

package/dist/planning/invariant-checker.d.ts

@@ -0,0 +1,39 @@
+import type { Plan, PlanState, SafetyProperty, Precondition, InvariantCheckResult } from '@cogitator-ai/types';
+import { ActionRegistry } from './action-schema';
+export interface InvariantCheckerConfig {
+    checkInvariants: boolean;
+    checkEventually: boolean;
+    checkAlways: boolean;
+    maxSteps: number;
+}
+export declare class InvariantChecker {
+    private registry;
+    private properties;
+    private config;
+    constructor(registry: ActionRegistry, config?: Partial<InvariantCheckerConfig>);
+    addProperty(property: SafetyProperty): void;
+    addInvariant(name: string, condition: Precondition, description?: string): string;
+    addEventually(name: string, condition: Precondition, description?: string): string;
+    addAlways(name: string, condition: Precondition, description?: string): string;
+    addNever(name: string, condition: Precondition, description?: string): string;
+    removeProperty(id: string): boolean;
+    getProperties(): SafetyProperty[];
+    checkPlan(plan: Plan): InvariantCheckResult[];
+    private simulatePlan;
+    private checkProperty;
+    private checkAlwaysProperty;
+    private checkEventuallyProperty;
+    private checkNeverProperty;
+    checkState(state: PlanState): {
+        property: SafetyProperty;
+        violated: boolean;
+    }[];
+}
+export declare function createInvariantChecker(registry: ActionRegistry, config?: Partial<InvariantCheckerConfig>): InvariantChecker;
+export declare function formatInvariantResults(results: InvariantCheckResult[]): string;
+export declare function commonSafetyProperties(): {
+    name: string;
+    description: string;
+    createCondition: (variable: string, value?: unknown) => Precondition;
+}[];
+//# sourceMappingURL=invariant-checker.d.ts.map

package/dist/planning/invariant-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-checker.d.ts","sourceRoot":"","sources":["../../src/planning/invariant-checker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EACJ,SAAS,EAET,cAAc,EACd,YAAY,EACZ,oBAAoB,EACrB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,cAAc,EAAqC,MAAM,iBAAiB,CAAC;AAEpF,MAAM,WAAW,sBAAsB;IACrC,eAAe,EAAE,OAAO,CAAC;IACzB,eAAe,EAAE,OAAO,CAAC;IACzB,WAAW,EAAE,OAAO,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AASD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAiB;IACjC,OAAO,CAAC,UAAU,CAAwB;IAC1C,OAAO,CAAC,MAAM,CAAyB;gBAE3B,QAAQ,EAAE,cAAc,EAAE,MAAM,GAAE,OAAO,CAAC,sBAAsB,CAAM;IAKlF,WAAW,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI;IAI3C,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM;IAYjF,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM;IAYlF,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM;IAY9E,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM;IAY7E,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IASnC,aAAa,IAAI,cAAc,EAAE;IAIjC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,oBAAoB,EAAE;IAY7C,OAAO,CAAC,YAAY;IAmBpB,OAAO,CAAC,aAAa;IA+BrB,OAAO,CAAC,mBAAmB;IA4B3B,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,kBAAkB;IAwB1B,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG;QAAE,QAAQ,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,EAAE;CAiBhF;AAED,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,cAAc,EACxB,MAAM,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,GACvC,gBAAgB,CAElB;AAED,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,MAAM,CA2C9E;AAED,wBAAgB,sBAAsB,IAAI;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,KAAK,YAAY,CAAC;CACtE,EAAE,CAyEF"}