@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/plugin-system/index.d.ts

@@ -0,0 +1,6 @@
+export { ProfileRegistry } from './registry';
+export { validatePlugin, assertPlugin } from './validate';
+export { PluginConflictError, PluginValidationError } from './errors';
+export type { ProfilePlugin, PluginCheckResult, PluginInfo, PluginValidationResult } from './types';
+export { minLogicPlugin } from './demo-min-logic';
+//# sourceMappingURL=index.d.ts.map

package/dist/plugin-system/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/plugin-system/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AACtE,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,SAAS,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/plugin-system/index.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.minLogicPlugin = exports.PluginValidationError = exports.PluginConflictError = exports.assertPlugin = exports.validatePlugin = exports.ProfileRegistry = void 0;
+var registry_1 = require("./registry");
+Object.defineProperty(exports, "ProfileRegistry", { enumerable: true, get: function () { return registry_1.ProfileRegistry; } });
+var validate_1 = require("./validate");
+Object.defineProperty(exports, "validatePlugin", { enumerable: true, get: function () { return validate_1.validatePlugin; } });
+Object.defineProperty(exports, "assertPlugin", { enumerable: true, get: function () { return validate_1.assertPlugin; } });
+var errors_1 = require("./errors");
+Object.defineProperty(exports, "PluginConflictError", { enumerable: true, get: function () { return errors_1.PluginConflictError; } });
+Object.defineProperty(exports, "PluginValidationError", { enumerable: true, get: function () { return errors_1.PluginValidationError; } });
+var demo_min_logic_1 = require("./demo-min-logic");
+Object.defineProperty(exports, "minLogicPlugin", { enumerable: true, get: function () { return demo_min_logic_1.minLogicPlugin; } });
+//# sourceMappingURL=index.js.map

package/dist/plugin-system/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/plugin-system/index.ts"],"names":[],"mappings":";;;AAAA,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AACxB,uCAA0D;AAAjD,0GAAA,cAAc,OAAA;AAAE,wGAAA,YAAY,OAAA;AACrC,mCAAsE;AAA7D,6GAAA,mBAAmB,OAAA;AAAE,+GAAA,qBAAqB,OAAA;AAEnD,mDAAkD;AAAzC,gHAAA,cAAc,OAAA"}

package/dist/plugin-system/registry.d.ts

@@ -0,0 +1,12 @@
+import { PluginInfo, ProfilePlugin } from './types';
+export declare class ProfileRegistry {
+    private static plugins;
+    static register(plugin: ProfilePlugin): void;
+    static unregister(name: string): boolean;
+    static get(name: string): ProfilePlugin | undefined;
+    static list(): PluginInfo[];
+    static has(name: string): boolean;
+    static size(): number;
+    static clear(): void;
+}
+//# sourceMappingURL=registry.d.ts.map

package/dist/plugin-system/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/plugin-system/registry.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAGpD,qBAAa,eAAe;IAC1B,OAAO,CAAC,MAAM,CAAC,OAAO,CAAyC;IAE/D,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI;IAW5C,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIxC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS;IAInD,MAAM,CAAC,IAAI,IAAI,UAAU,EAAE;IAY3B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIjC,MAAM,CAAC,IAAI,IAAI,MAAM;IAIrB,MAAM,CAAC,KAAK,IAAI,IAAI;CAGrB"}

package/dist/plugin-system/registry.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProfileRegistry = void 0;
+const errors_1 = require("./errors");
+const validate_1 = require("./validate");
+class ProfileRegistry {
+    static plugins = new Map();
+    static register(plugin) {
+        const result = (0, validate_1.validatePlugin)(plugin);
+        if (!result.valid) {
+            throw new errors_1.PluginValidationError(result.errors);
+        }
+        if (ProfileRegistry.plugins.has(plugin.name)) {
+            throw new errors_1.PluginConflictError(plugin.name);
+        }
+        ProfileRegistry.plugins.set(plugin.name, plugin);
+    }
+    static unregister(name) {
+        return ProfileRegistry.plugins.delete(name);
+    }
+    static get(name) {
+        return ProfileRegistry.plugins.get(name);
+    }
+    static list() {
+        const out = [];
+        for (const plugin of ProfileRegistry.plugins.values()) {
+            const info = { name: plugin.name, version: plugin.version };
+            if (plugin.description !== undefined) {
+                info.description = plugin.description;
+            }
+            out.push(info);
+        }
+        return out;
+    }
+    static has(name) {
+        return ProfileRegistry.plugins.has(name);
+    }
+    static size() {
+        return ProfileRegistry.plugins.size;
+    }
+    static clear() {
+        ProfileRegistry.plugins.clear();
+    }
+}
+exports.ProfileRegistry = ProfileRegistry;
+//# sourceMappingURL=registry.js.map

package/dist/plugin-system/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/plugin-system/registry.ts"],"names":[],"mappings":";;;AAAA,qCAAsE;AAEtE,yCAA4C;AAE5C,MAAa,eAAe;IAClB,MAAM,CAAC,OAAO,GAA+B,IAAI,GAAG,EAAE,CAAC;IAE/D,MAAM,CAAC,QAAQ,CAAC,MAAqB;QACnC,MAAM,MAAM,GAAG,IAAA,yBAAc,EAAC,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAClB,MAAM,IAAI,8BAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,4BAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAY;QAC5B,OAAO,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,IAAY;QACrB,OAAO,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,IAAI;QACT,MAAM,GAAG,GAAiB,EAAE,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACtD,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;YACxE,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrC,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;YACxC,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,IAAY;QACrB,OAAO,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,IAAI;QACT,OAAO,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC;IACtC,CAAC;IAED,MAAM,CAAC,KAAK;QACV,eAAe,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;;AA5CH,0CA6CC"}

package/dist/plugin-system/types.d.ts

@@ -0,0 +1,23 @@
+import { Formula } from '../types';
+export interface PluginCheckResult {
+    valid: boolean;
+    result?: string;
+}
+export interface ProfilePlugin {
+    name: string;
+    description?: string;
+    version: string;
+    evaluate(formula: Formula, env: Record<string, unknown>): unknown;
+    checkValid(formula: Formula): PluginCheckResult;
+    supportedOperators?: Set<string>;
+}
+export interface PluginInfo {
+    name: string;
+    version: string;
+    description?: string;
+}
+export interface PluginValidationResult {
+    valid: boolean;
+    errors: string[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/plugin-system/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/plugin-system/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEnC,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC;IAClE,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAAC;IAChD,kBAAkB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB"}

package/dist/plugin-system/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/plugin-system/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/plugin-system/types.ts"],"names":[],"mappings":""}

package/dist/plugin-system/validate.d.ts

@@ -0,0 +1,4 @@
+import { PluginValidationResult, ProfilePlugin } from './types';
+export declare function validatePlugin(plugin: unknown): PluginValidationResult;
+export declare function assertPlugin(plugin: unknown): asserts plugin is ProfilePlugin;
+//# sourceMappingURL=validate.d.ts.map

package/dist/plugin-system/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/plugin-system/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAYhE,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,sBAAsB,CA6CtE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,IAAI,aAAa,CAK7E"}

package/dist/plugin-system/validate.js

@@ -0,0 +1,60 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validatePlugin = validatePlugin;
+exports.assertPlugin = assertPlugin;
+const SEMVER_RE = /^\d+\.\d+\.\d+(?:-[0-9A-Za-z.-]+)?(?:\+[0-9A-Za-z.-]+)?$/;
+function isPlainObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isNonEmptyString(value) {
+    return typeof value === 'string' && value.trim().length > 0;
+}
+function validatePlugin(plugin) {
+    const errors = [];
+    if (!isPlainObject(plugin)) {
+        return { valid: false, errors: ['plugin debe ser un objeto'] };
+    }
+    if (!isNonEmptyString(plugin.name)) {
+        errors.push('name: falta o no es string no vacío');
+    }
+    if (!isNonEmptyString(plugin.version)) {
+        errors.push('version: falta o no es string no vacío');
+    }
+    else if (!SEMVER_RE.test(plugin.version)) {
+        errors.push(`version: "${plugin.version}" no cumple semver (X.Y.Z)`);
+    }
+    if (typeof plugin.evaluate !== 'function') {
+        errors.push('evaluate: falta o no es función');
+    }
+    else if (plugin.evaluate.length < 2) {
+        errors.push('evaluate: debe aceptar (formula, env)');
+    }
+    if (typeof plugin.checkValid !== 'function') {
+        errors.push('checkValid: falta o no es función');
+    }
+    else if (plugin.checkValid.length < 1) {
+        errors.push('checkValid: debe aceptar (formula)');
+    }
+    if (plugin.description !== undefined && typeof plugin.description !== 'string') {
+        errors.push('description: si está presente debe ser string');
+    }
+    if (plugin.supportedOperators !== undefined && !(plugin.supportedOperators instanceof Set)) {
+        errors.push('supportedOperators: si está presente debe ser un Set<string>');
+    }
+    else if (plugin.supportedOperators instanceof Set) {
+        for (const op of plugin.supportedOperators) {
+            if (typeof op !== 'string') {
+                errors.push('supportedOperators: todos los elementos deben ser string');
+                break;
+            }
+        }
+    }
+    return { valid: errors.length === 0, errors };
+}
+function assertPlugin(plugin) {
+    const result = validatePlugin(plugin);
+    if (!result.valid) {
+        throw new Error(`Plugin inválido: ${result.errors.join('; ')}`);
+    }
+}
+//# sourceMappingURL=validate.js.map

package/dist/plugin-system/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/plugin-system/validate.ts"],"names":[],"mappings":";;AAYA,wCA6CC;AAED,oCAKC;AA9DD,MAAM,SAAS,GAAG,0DAA0D,CAAC;AAE7E,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAgB,cAAc,CAAC,MAAe;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACxD,CAAC;SAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACjD,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,kBAAkB,YAAY,GAAG,CAAC,EAAE,CAAC;QAC3F,MAAM,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC9E,CAAC;SAAM,IAAI,MAAM,CAAC,kBAAkB,YAAY,GAAG,EAAE,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC3C,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;gBACxE,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAgB,YAAY,CAAC,MAAe;IAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;AACH,CAAC"}

package/dist/profiles/classical/parallel-sat.js

@@ -468,9 +468,9 @@ function createNodeWorker(code) {
 function createBrowserWorker(code) {
     const blob = new Blob([code], { type: 'application/javascript' });
     const url = URL.createObjectURL(blob);
-    // Browser Worker — globalThis access requiere any cast porque no tenemos lib:dom
-    // eslint-disable-next-line @typescript-eslint/no-unsafe-member-access, @typescript-eslint/no-explicit-any
-    const W = globalThis.Worker;
+    // Browser Worker — globalThis.Worker no existe en lib:node; cast inevitable sin lib:dom
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-member-access -- browser-only path, no lib:dom
+    const W = globalThis.Worker; // allow-any
     const w = new W(url);
     return {
         postMessage: (msg) => w.postMessage(msg),

package/dist/profiles/classical/parallel-sat.js.map

@@ -1 +1 @@
-{"version":3,"file":"parallel-sat.js","sourceRoot":"","sources":["../../../src/profiles/classical/parallel-sat.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,kEAAkE;AAClE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,2DAA2D;AAC3D,uDAAuD;AACvD,EAAE;AACF,sEAAsE;AACtE,+DAA+D;;;AAkC/D,kCAUC;AAKD,sCASC;AAgBD,4CAoBC;AAydD,sCAmGC;AASD,4CAUC;AAlpBD,+DAA+D;AAE/D;;;;GAIG;AACH,SAAgB,WAAW,CAAC,OAAqB;IAC/C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,MAAkB;IAC9C,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAWD,IAAI,iBAAiB,GAAmB,IAAI,CAAC;AAE7C;;GAEG;AACH,SAAgB,gBAAgB;IAC9B,IAAI,iBAAiB,KAAK,IAAI;QAAE,OAAO,iBAAiB,CAAC;IACzD,IAAI,CAAC;QACH,mDAAmD;QACnD,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC7D,iEAAiE;YACjE,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,iBAAiB,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU;QACV,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAChE,iBAAiB,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IACD,iBAAiB,GAAG,KAAK,CAAC;IAC1B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,0DAA0D;AAC1D,iEAAiE;AACjE,gEAAgE;AAEhE,SAAS,aAAa;IACpB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8WR,CAAC;AACF,CAAC;AAED,+DAA+D;AAE/D,SAAS,gBAAgB,CAAC,IAAY;IACpC,iEAAiE;IACjE,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAoC,CAAC;IACxE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO;QACL,WAAW,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC;QACjD,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE;QACnC,SAAS,EAAE,CAAC,EAA2B,EAAE,EAAE;YACzC,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,EAAE,CAAC,EAAwB,EAAE,EAAE;YACpC,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,iFAAiF;IACjF,0GAA0G;IAC1G,MAAM,CAAC,GAAI,UAAkB,CAAC,MAAoC,CAAC;IACnE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAKlB,CAAC;IACF,OAAO;QACL,WAAW,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC;QACjD,SAAS,EAAE,GAAG,EAAE;YACd,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,SAAS,EAAE,CAAC,EAA2B,EAAE,EAAE;YACzC,CAAC,CAAC,SAAS,GAAG,CAAC,EAAqB,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,EAAE,CAAC,EAAwB,EAAE,EAAE;YACpC,CAAC,CAAC,OAAO,GAAG,CAAC,EAAuB,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW;IAClB,MAAM,IAAI,GAAG,aAAa,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC7D,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAChE,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,yBAAyB;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AASD,MAAM,iBAAiB,GAAsB;IAC3C,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,iBAAiB;IACzD,EAAE,aAAa,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,qBAAqB;IAC9D,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,2BAA2B;IACrE,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,4BAA4B;CACxE,CAAC;AAEF,+DAA+D;AAE/D;;;GAGG;AACU,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;GAEG;AACU,QAAA,WAAW,GAAG,CAAC,CAAC;AAE7B;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,OAAqB,EACrB,OAAe,EACf,SAAmB,EACnB,SAAiB;IAEjB,OAAO,IAAI,OAAO,CAAa,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACxB,sEAAsE;YACtE,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACnE,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,iBAAiB;QACjB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,EAAE,CAAC;gBACf,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,SAAS,YAAY;YACnB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC;oBACH,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEhB,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAEpC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAa,EAAE,EAAE;gBAC5B,MAAM,MAAM,GAAG,IAAoB,CAAC;gBACpC,cAAc,EAAE,CAAC;gBAEjB,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,gEAAgE;oBAChE,oDAAoD;oBACpD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;wBACvB,QAAQ,GAAG,IAAI,CAAC;wBAChB,YAAY,EAAE,CAAC;wBACf,OAAO,CAAC;4BACN,WAAW,EAAE,IAAI;4BACjB,KAAK,EAAE,MAAM,CAAC,KAAK;4BACnB,KAAK,EAAE,MAAM,CAAC,KAAK;yBACpB,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,cAAc,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBAC5C,sBAAsB;wBACtB,QAAQ,GAAG,IAAI,CAAC;wBAChB,YAAY,EAAE,CAAC;wBACf,OAAO,CAAC;4BACN,WAAW,EAAE,KAAK;4BAClB,KAAK,EAAE,MAAM,CAAC,KAAK;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE;gBACb,cAAc,EAAE,CAAC;gBACjB,IAAI,CAAC,QAAQ,IAAI,cAAc,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBAClD,QAAQ,GAAG,IAAI,CAAC;oBAChB,YAAY,EAAE,CAAC;oBACf,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,CAAC,CAAC,WAAW,CAAC;gBACZ,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,4BAA4B;gBAC5D,OAAO;gBACP,SAAS;gBACT,SAAS,EAAE,SAAS,GAAG,EAAE,EAAE,mCAAmC;gBAC9D,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,gBAAgB,CAC9B,OAAqB,EACrB,OAAe,EACf,SAAmB,EACnB,SAAiB;IAEjB,IAAI,CAAC,gBAAgB,EAAE,IAAI,OAAO,GAAG,0BAAkB,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC,CAAC,qCAAqC;IACpD,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAC/D,CAAC"}
+{"version":3,"file":"parallel-sat.js","sourceRoot":"","sources":["../../../src/profiles/classical/parallel-sat.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,kEAAkE;AAClE,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,2DAA2D;AAC3D,uDAAuD;AACvD,EAAE;AACF,sEAAsE;AACtE,+DAA+D;;;AAkC/D,kCAUC;AAKD,sCASC;AAgBD,4CAoBC;AAydD,sCAmGC;AASD,4CAUC;AAlpBD,+DAA+D;AAE/D;;;;GAIG;AACH,SAAgB,WAAW,CAAC,OAAqB;IAC/C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,MAAkB;IAC9C,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAWD,IAAI,iBAAiB,GAAmB,IAAI,CAAC;AAE7C;;GAEG;AACH,SAAgB,gBAAgB;IAC9B,IAAI,iBAAiB,KAAK,IAAI;QAAE,OAAO,iBAAiB,CAAC;IACzD,IAAI,CAAC;QACH,mDAAmD;QACnD,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC7D,iEAAiE;YACjE,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC1B,iBAAiB,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU;QACV,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAChE,iBAAiB,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IACD,iBAAiB,GAAG,KAAK,CAAC;IAC1B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,0DAA0D;AAC1D,iEAAiE;AACjE,gEAAgE;AAEhE,SAAS,aAAa;IACpB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8WR,CAAC;AACF,CAAC;AAED,+DAA+D;AAE/D,SAAS,gBAAgB,CAAC,IAAY;IACpC,iEAAiE;IACjE,MAAM,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAoC,CAAC;IACxE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO;QACL,WAAW,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC;QACjD,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE;QACnC,SAAS,EAAE,CAAC,EAA2B,EAAE,EAAE;YACzC,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,EAAE,CAAC,EAAwB,EAAE,EAAE;YACpC,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACtC,wFAAwF;IACxF,2IAA2I;IAC3I,MAAM,CAAC,GAAI,UAAkB,CAAC,MAAoC,CAAC,CAAC,YAAY;IAChF,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAKlB,CAAC;IACF,OAAO;QACL,WAAW,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC;QACjD,SAAS,EAAE,GAAG,EAAE;YACd,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,SAAS,EAAE,CAAC,EAA2B,EAAE,EAAE;YACzC,CAAC,CAAC,SAAS,GAAG,CAAC,EAAqB,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,EAAE,CAAC,EAAwB,EAAE,EAAE;YACpC,CAAC,CAAC,OAAO,GAAG,CAAC,EAAuB,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACrE,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW;IAClB,MAAM,IAAI,GAAG,aAAa,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC7D,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;YAChE,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,yBAAyB;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AASD,MAAM,iBAAiB,GAAsB;IAC3C,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,iBAAiB;IACzD,EAAE,aAAa,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,qBAAqB;IAC9D,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,2BAA2B;IACrE,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,4BAA4B;CACxE,CAAC;AAEF,+DAA+D;AAE/D;;;GAGG;AACU,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;GAEG;AACU,QAAA,WAAW,GAAG,CAAC,CAAC;AAE7B;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,OAAqB,EACrB,OAAe,EACf,SAAmB,EACnB,SAAiB;IAEjB,OAAO,IAAI,OAAO,CAAa,CAAC,OAAO,EAAE,EAAE;QACzC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACxB,sEAAsE;YACtE,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAW,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACnE,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,iBAAiB;QACjB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,EAAE,CAAC;gBACf,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC,EAAE,SAAS,CAAC,CAAC;QAEd,SAAS,YAAY;YACnB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC;oBACH,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChB,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS;gBACX,CAAC;YACH,CAAC;YACD,YAAY,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,WAAW,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAEhB,MAAM,MAAM,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;YAEpC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAa,EAAE,EAAE;gBAC5B,MAAM,MAAM,GAAG,IAAoB,CAAC;gBACpC,cAAc,EAAE,CAAC;gBAEjB,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,gEAAgE;oBAChE,oDAAoD;oBACpD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;wBACvB,QAAQ,GAAG,IAAI,CAAC;wBAChB,YAAY,EAAE,CAAC;wBACf,OAAO,CAAC;4BACN,WAAW,EAAE,IAAI;4BACjB,KAAK,EAAE,MAAM,CAAC,KAAK;4BACnB,KAAK,EAAE,MAAM,CAAC,KAAK;yBACpB,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,cAAc,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBAC5C,sBAAsB;wBACtB,QAAQ,GAAG,IAAI,CAAC;wBAChB,YAAY,EAAE,CAAC;wBACf,OAAO,CAAC;4BACN,WAAW,EAAE,KAAK;4BAClB,KAAK,EAAE,MAAM,CAAC,KAAK;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE;gBACb,cAAc,EAAE,CAAC;gBACjB,IAAI,CAAC,QAAQ,IAAI,cAAc,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBAClD,QAAQ,GAAG,IAAI,CAAC;oBAChB,YAAY,EAAE,CAAC;oBACf,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,CAAC,CAAC,WAAW,CAAC;gBACZ,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,4BAA4B;gBAC5D,OAAO;gBACP,SAAS;gBACT,SAAS,EAAE,SAAS,GAAG,EAAE,EAAE,mCAAmC;gBAC9D,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,YAAY,CAAC,KAAK,CAAC,CAAC;YACpB,OAAO,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,gBAAgB,CAC9B,OAAqB,EACrB,OAAe,EACf,SAAmB,EACnB,SAAiB;IAEjB,IAAI,CAAC,gBAAgB,EAAE,IAAI,OAAO,GAAG,0BAAkB,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC,CAAC,qCAAqC;IACpD,CAAC;IACD,OAAO,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;AAC/D,CAAC"}

package/dist/proof-exchange/index.d.ts

@@ -0,0 +1,26 @@
+import { webcrypto } from 'node:crypto';
+import type { Proof } from '../types';
+export type { webcrypto };
+export interface ProofPackage {
+    version: '1.0';
+    formula: string;
+    profile: string;
+    proof: Proof;
+    metadata: {
+        author?: string;
+        timestamp: string;
+        tags?: string[];
+    };
+}
+export declare function canonicalize(pkg: ProofPackage): string;
+export declare function hashProof(pkg: ProofPackage): Promise<string>;
+export declare function generateKeyPair(): Promise<{
+    publicKey: webcrypto.CryptoKey;
+    privateKey: webcrypto.CryptoKey;
+}>;
+export declare function signProof(pkg: ProofPackage, privateKey: webcrypto.CryptoKey): Promise<{
+    signature: string;
+    algorithm: 'Ed25519' | 'HMAC-SHA256';
+}>;
+export declare function verifyProof(pkg: ProofPackage, signature: string, publicKey: webcrypto.CryptoKey | string): Promise<boolean>;
+//# sourceMappingURL=index.d.ts.map

package/dist/proof-exchange/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEtC,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,KAAK,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,EAAE;QACR,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;CACH;AA0BD,wBAAgB,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAEtD;AAID,wBAAsB,SAAS,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAMlE;AAED,wBAAsB,eAAe,IAAI,OAAO,CAAC;IAC/C,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC;CACjC,CAAC,CAYD;AAED,wBAAsB,SAAS,CAC7B,GAAG,EAAE,YAAY,EACjB,UAAU,EAAE,SAAS,CAAC,SAAS,GAC9B,OAAO,CAAC;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAAA;CAAE,CAAC,CAStE;AAWD,wBAAsB,WAAW,CAC/B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,SAAS,CAAC,SAAS,GAAG,MAAM,GACtC,OAAO,CAAC,OAAO,CAAC,CAwBlB"}

package/dist/proof-exchange/index.js

@@ -0,0 +1,94 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.canonicalize = canonicalize;
+exports.hashProof = hashProof;
+exports.generateKeyPair = generateKeyPair;
+exports.signProof = signProof;
+exports.verifyProof = verifyProof;
+const node_crypto_1 = require("node:crypto");
+function canonicalizeValue(value) {
+    if (value === null)
+        return 'null';
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (typeof value === 'number') {
+        if (!isFinite(value))
+            throw new Error(`Non-finite number in proof package: ${value}`);
+        if (Object.is(value, -0))
+            return '0';
+        return String(value);
+    }
+    if (typeof value === 'string')
+        return JSON.stringify(value);
+    if (Array.isArray(value)) {
+        return '[' + value.map(canonicalizeValue).join(',') + ']';
+    }
+    const sortedKeys = Object.keys(value).sort();
+    const pairs = sortedKeys
+        .filter((k) => value[k] !== undefined)
+        .map((k) => JSON.stringify(k) + ':' + canonicalizeValue(value[k]));
+    return '{' + pairs.join(',') + '}';
+}
+function canonicalize(pkg) {
+    return canonicalizeValue(pkg);
+}
+const subtle = node_crypto_1.webcrypto.subtle;
+async function hashProof(pkg) {
+    const canonical = canonicalize(pkg);
+    const encoded = new TextEncoder().encode(canonical);
+    const hashBuffer = await subtle.digest('SHA-256', encoded);
+    const hashArray = Array.from(new Uint8Array(hashBuffer));
+    return hashArray.map((b) => b.toString(16).padStart(2, '0')).join('');
+}
+async function generateKeyPair() {
+    try {
+        const result = await subtle.generateKey({ name: 'Ed25519' }, true, ['sign', 'verify']);
+        const pair = result;
+        return { publicKey: pair.publicKey, privateKey: pair.privateKey };
+    }
+    catch {
+        const key = await subtle.generateKey({ name: 'HMAC', hash: 'SHA-256', length: 256 }, true, [
+            'sign',
+            'verify',
+        ]);
+        return { publicKey: key, privateKey: key };
+    }
+}
+async function signProof(pkg, privateKey) {
+    const canonical = canonicalize(pkg);
+    const data = new TextEncoder().encode(canonical);
+    const algorithm = privateKey.algorithm.name === 'Ed25519' ? 'Ed25519' : 'HMAC-SHA256';
+    const algoParam = algorithm === 'Ed25519' ? 'Ed25519' : 'HMAC';
+    const sigBuffer = await subtle.sign(algoParam, privateKey, data);
+    const sigArray = Array.from(new Uint8Array(sigBuffer));
+    const signature = sigArray.map((b) => b.toString(16).padStart(2, '0')).join('');
+    return { signature, algorithm };
+}
+function hexToUint8Array(hex) {
+    if (hex.length % 2 !== 0)
+        throw new Error('Invalid hex string');
+    const result = new Uint8Array(hex.length / 2);
+    for (let i = 0; i < hex.length; i += 2) {
+        result[i / 2] = parseInt(hex.slice(i, i + 2), 16);
+    }
+    return result;
+}
+async function verifyProof(pkg, signature, publicKey) {
+    try {
+        const canonical = canonicalize(pkg);
+        const data = new TextEncoder().encode(canonical);
+        const sigBytes = hexToUint8Array(signature);
+        if (typeof publicKey === 'string') {
+            const keyBytes = hexToUint8Array(publicKey);
+            const importedKey = await subtle.importKey('raw', keyBytes, { name: 'HMAC', hash: 'SHA-256' }, false, ['verify']);
+            return await subtle.verify('HMAC', importedKey, sigBytes, data);
+        }
+        const algoName = publicKey.algorithm.name;
+        const algoParam = algoName === 'Ed25519' ? 'Ed25519' : 'HMAC';
+        return await subtle.verify(algoParam, publicKey, sigBytes, data);
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/proof-exchange/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-exchange/index.ts"],"names":[],"mappings":";;AAyCA,oCAEC;AAID,8BAMC;AAED,0CAeC;AAED,8BAYC;AAWD,kCA4BC;AA3HD,6CAAwC;AAsBxC,SAAS,iBAAiB,CAAC,KAAgB;IACzC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC;QACtF,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;QACrC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC5D,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AACrC,CAAC;AAED,SAAgB,YAAY,CAAC,GAAiB;IAC5C,OAAO,iBAAiB,CAAC,GAA4B,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,MAAM,GAA2B,uBAAS,CAAC,MAAM,CAAC;AAEjD,KAAK,UAAU,SAAS,CAAC,GAAiB;IAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACzD,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAEM,KAAK,UAAU,eAAe;IAInC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,MAAiC,CAAC;QAC/C,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE;YACzF,MAAM;YACN,QAAQ;SACT,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IAC7C,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,SAAS,CAC7B,GAAiB,EACjB,UAA+B;IAE/B,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC;IACtF,MAAM,SAAS,GAAkC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9F,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAEM,KAAK,UAAU,WAAW,CAC/B,GAAiB,EACjB,SAAiB,EACjB,SAAuC;IAEvC,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAE5C,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,MAAM,CAAC,SAAS,CACxC,KAAK,EACL,QAAQ,EACR,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EACjC,KAAK,EACL,CAAC,QAAQ,CAAC,CACX,CAAC;YACF,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1C,MAAM,SAAS,GAAkC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7F,OAAO,MAAM,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/runtime/memo/cache.d.ts

@@ -0,0 +1,32 @@
+import { Formula, RunResult } from '../../types';
+export interface MemoOptions {
+    maxEntries?: number;
+    persistPath?: string;
+    ttlMs?: number;
+}
+export interface MemoStats {
+    hits: number;
+    misses: number;
+    evictions: number;
+    size: number;
+}
+export type { RunResult as EvalResult };
+export declare class DerivationCache {
+    private readonly maxEntries;
+    private readonly persistPath;
+    private readonly ttlMs;
+    private store;
+    private hits;
+    private misses;
+    private evictions;
+    constructor(opts?: MemoOptions);
+    get(formula: Formula): RunResult | undefined;
+    set(formula: Formula, result: RunResult): void;
+    clear(): void;
+    stats(): MemoStats;
+    loadFromDisk(): Promise<void>;
+    saveToDisk(): Promise<void>;
+    private lruPromote;
+    private evictLru;
+}
+//# sourceMappingURL=cache.d.ts.map

package/dist/runtime/memo/cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../../src/runtime/memo/cache.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGjD,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,YAAY,EAAE,SAAS,IAAI,UAAU,EAAE,CAAC;AAExC,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAgB;IAC5C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgB;IAEtC,OAAO,CAAC,KAAK,CAAiC;IAC9C,OAAO,CAAC,IAAI,CAAK;IACjB,OAAO,CAAC,MAAM,CAAK;IACnB,OAAO,CAAC,SAAS,CAAK;gBAEV,IAAI,CAAC,EAAE,WAAW;IAM9B,GAAG,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS;IAoB5C,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG,IAAI;IAa9C,KAAK,IAAI,IAAI;IAOb,KAAK,IAAI,SAAS;IASZ,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;IAqC7B,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAajC,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,QAAQ;CAOjB"}

package/dist/runtime/memo/cache.js

@@ -0,0 +1,129 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DerivationCache = void 0;
+const fs_1 = require("fs");
+const path_1 = __importDefault(require("path"));
+const os_1 = __importDefault(require("os"));
+const hash_1 = require("./hash");
+function defaultPersistPath() {
+    return path_1.default.join(os_1.default.homedir(), '.st-cache', 'derivations.json');
+}
+class DerivationCache {
+    maxEntries;
+    persistPath;
+    ttlMs;
+    store = new Map();
+    hits = 0;
+    misses = 0;
+    evictions = 0;
+    constructor(opts) {
+        this.maxEntries = opts?.maxEntries ?? 1000;
+        this.persistPath = opts?.persistPath !== undefined ? opts.persistPath : null;
+        this.ttlMs = opts?.ttlMs !== undefined ? opts.ttlMs : null;
+    }
+    get(formula) {
+        const key = (0, hash_1.hashFormula)(formula);
+        const entry = this.store.get(key);
+        if (entry === undefined) {
+            this.misses++;
+            return undefined;
+        }
+        if (entry.expiresAt !== null && Date.now() > entry.expiresAt) {
+            this.store.delete(key);
+            this.misses++;
+            return undefined;
+        }
+        this.hits++;
+        this.lruPromote(key, entry);
+        return entry.result;
+    }
+    set(formula, result) {
+        const key = (0, hash_1.hashFormula)(formula);
+        if (this.store.has(key)) {
+            this.store.delete(key);
+        }
+        else if (this.store.size >= this.maxEntries) {
+            this.evictLru();
+        }
+        const expiresAt = this.ttlMs !== null ? Date.now() + this.ttlMs : null;
+        this.store.set(key, { result, expiresAt });
+    }
+    clear() {
+        this.store.clear();
+        this.hits = 0;
+        this.misses = 0;
+        this.evictions = 0;
+    }
+    stats() {
+        return {
+            hits: this.hits,
+            misses: this.misses,
+            evictions: this.evictions,
+            size: this.store.size,
+        };
+    }
+    async loadFromDisk() {
+        const filePath = this.persistPath ?? defaultPersistPath();
+        let raw;
+        try {
+            raw = await fs_1.promises.readFile(filePath, 'utf-8');
+        }
+        catch {
+            return;
+        }
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch {
+            return;
+        }
+        if (!Array.isArray(parsed))
+            return;
+        const now = Date.now();
+        for (const item of parsed) {
+            if (!item || typeof item !== 'object')
+                continue;
+            const record = item;
+            const rawKey = record['key'];
+            if (typeof rawKey !== 'string' || rawKey === '')
+                continue;
+            if (!record['result'] || typeof record['result'] !== 'object')
+                continue;
+            const rawExpires = record['expiresAt'];
+            const expiresAt = typeof rawExpires === 'number' ? rawExpires : null;
+            if (expiresAt !== null && now > expiresAt)
+                continue;
+            const key = rawKey;
+            if (!this.store.has(key) && this.store.size < this.maxEntries) {
+                this.store.set(key, { result: record['result'], expiresAt });
+            }
+        }
+    }
+    async saveToDisk() {
+        const filePath = this.persistPath ?? defaultPersistPath();
+        const dir = path_1.default.dirname(filePath);
+        await fs_1.promises.mkdir(dir, { recursive: true });
+        const entries = [];
+        for (const [key, entry] of this.store) {
+            entries.push({ key, result: entry.result, expiresAt: entry.expiresAt });
+        }
+        await fs_1.promises.writeFile(filePath, JSON.stringify(entries), 'utf-8');
+    }
+    lruPromote(key, entry) {
+        this.store.delete(key);
+        this.store.set(key, entry);
+    }
+    evictLru() {
+        const firstKey = this.store.keys().next().value;
+        if (firstKey !== undefined) {
+            this.store.delete(firstKey);
+            this.evictions++;
+        }
+    }
+}
+exports.DerivationCache = DerivationCache;
+//# sourceMappingURL=cache.js.map

package/dist/runtime/memo/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../../../src/runtime/memo/cache.ts"],"names":[],"mappings":";;;;;;AAAA,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AAEpB,iCAAqC;AAoBrC,SAAS,kBAAkB;IACzB,OAAO,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;AAClE,CAAC;AAID,MAAa,eAAe;IACT,UAAU,CAAS;IACnB,WAAW,CAAgB;IAC3B,KAAK,CAAgB;IAE9B,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACtC,IAAI,GAAG,CAAC,CAAC;IACT,MAAM,GAAG,CAAC,CAAC;IACX,SAAS,GAAG,CAAC,CAAC;IAEtB,YAAY,IAAkB;QAC5B,IAAI,CAAC,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,IAAI,CAAC;QAC3C,IAAI,CAAC,WAAW,GAAG,IAAI,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,IAAI,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC;IAED,GAAG,CAAC,OAAgB;QAClB,MAAM,GAAG,GAAG,IAAA,kBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAElC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IAED,GAAG,CAAC,OAAgB,EAAE,MAAiB;QACrC,MAAM,GAAG,GAAG,IAAA,kBAAW,EAAC,OAAO,CAAC,CAAC;QAEjC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,KAAK;QACH,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;SACtB,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,YAAY;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAAC;QAC1D,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,aAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QAED,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO;QAEnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAChD,MAAM,MAAM,GAAG,IAA+B,CAAC;YAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,EAAE;gBAAE,SAAS;YAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,QAAQ;gBAAE,SAAS;YACxE,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,SAAS,GAAG,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAErE,IAAI,SAAS,KAAK,IAAI,IAAI,GAAG,GAAG,SAAS;gBAAE,SAAS;YAEpD,MAAM,GAAG,GAAG,MAAM,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC9D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAc,EAAE,SAAS,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,UAAU;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,IAAI,kBAAkB,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,cAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,aAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE1C,MAAM,OAAO,GAAwE,EAAE,CAAC;QACxF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,aAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAEO,UAAU,CAAC,GAAW,EAAE,KAAiB;QAC/C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IAEO,QAAQ;QACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC5B,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;CACF;AA/HD,0CA+HC"}

package/dist/runtime/memo/hash.d.ts

@@ -0,0 +1,9 @@
+import { Formula } from '../../types';
+/**
+ * Genera un hash canónico y estable para una fórmula.
+ * - Ignora whitespace/metadatos de source.
+ * - Aplica alpha-renaming antes de serializar: fórmulas alfa-equivalentes
+ *   producen el mismo hash.
+ */
+export declare function hashFormula(f: Formula): string;
+//# sourceMappingURL=hash.d.ts.map

package/dist/runtime/memo/hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../../src/runtime/memo/hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AA8EtC;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAI9C"}