@plures/praxis 0.2.0 → 1.0.0

package/dist/core/db-adapter/sync-engine.js

@@ -0,0 +1,342 @@
+/**
+ * PSF Schema Sync Engine
+ *
+ * Provides real-time bidirectional synchronization between
+ * Code ↔ PSF Schema ↔ Canvas using PluresDB as the sync backend.
+ *
+ * The sync engine ensures that:
+ * 1. Schema changes propagate to all connected clients in real-time
+ * 2. Conflicts are resolved using CRDT-style last-write-wins with metadata
+ * 3. Code and canvas stay synchronized through the schema
+ */
+/**
+ * Schema Sync Engine
+ *
+ * Manages real-time synchronization of PSF schemas.
+ */
+export class SchemaSyncEngine {
+    db;
+    schemaId;
+    deviceId;
+    syncInterval;
+    schema = null;
+    subscribers = new Set();
+    changeSubscribers = new Set();
+    unsubscribeDb = null;
+    pendingChanges = [];
+    syncTimer = null;
+    lastSync = 0;
+    constructor(options) {
+        this.db = options.db;
+        this.schemaId = options.schemaId;
+        this.deviceId = options.deviceId || this.generateDeviceId();
+        this.syncInterval = options.syncInterval ?? 0;
+    }
+    /**
+     * Initialize the sync engine
+     */
+    async initialize() {
+        // Load initial schema from DB
+        const schemaPath = this.getSchemaPath();
+        const storedSchema = await this.db.get(schemaPath);
+        if (storedSchema) {
+            this.schema = storedSchema;
+        }
+        // Subscribe to DB changes
+        this.unsubscribeDb = this.db.watch(schemaPath, (value) => {
+            if (value) {
+                const newSchema = value;
+                const oldSchema = this.schema;
+                this.schema = newSchema;
+                // Notify subscribers
+                this.notifySubscribers();
+                // Generate change events
+                if (oldSchema) {
+                    this.emitChangeEvents(oldSchema, newSchema);
+                }
+            }
+        });
+        // Start auto-sync if enabled
+        if (this.syncInterval > 0) {
+            this.startAutoSync();
+        }
+    }
+    /**
+     * Get current schema
+     */
+    getSchema() {
+        return this.schema ? { ...this.schema } : null;
+    }
+    /**
+     * Update the entire schema
+     */
+    async updateSchema(schema) {
+        const now = Date.now();
+        const updatedSchema = {
+            ...schema,
+            modifiedAt: new Date(now).toISOString(),
+        };
+        await this.db.set(this.getSchemaPath(), updatedSchema);
+        this.lastSync = now;
+    }
+    /**
+     * Update a specific part of the schema
+     */
+    async updatePart(key, value) {
+        if (!this.schema) {
+            throw new Error('Schema not loaded');
+        }
+        const updatedSchema = {
+            ...this.schema,
+            [key]: value,
+            modifiedAt: new Date().toISOString(),
+        };
+        await this.updateSchema(updatedSchema);
+    }
+    /**
+     * Update node position (for canvas sync)
+     */
+    async updateNodePosition(nodeType, nodeId, position) {
+        if (!this.schema) {
+            throw new Error('Schema not loaded');
+        }
+        const nodes = this.schema[nodeType];
+        const nodeIndex = nodes.findIndex((n) => n.id === nodeId);
+        if (nodeIndex === -1) {
+            throw new Error(`Node ${nodeId} not found in ${nodeType}`);
+        }
+        const updatedNodes = [...nodes];
+        updatedNodes[nodeIndex] = {
+            ...updatedNodes[nodeIndex],
+            position,
+        };
+        await this.updatePart(nodeType, updatedNodes);
+    }
+    /**
+     * Subscribe to schema changes
+     */
+    subscribe(callback) {
+        this.subscribers.add(callback);
+        // Send current schema immediately
+        if (this.schema) {
+            callback(this.schema);
+        }
+        return () => {
+            this.subscribers.delete(callback);
+        };
+    }
+    /**
+     * Subscribe to individual change events
+     */
+    subscribeToChanges(callback) {
+        this.changeSubscribers.add(callback);
+        return () => {
+            this.changeSubscribers.delete(callback);
+        };
+    }
+    /**
+     * Get sync status
+     */
+    getSyncStatus() {
+        return {
+            syncing: false, // Would be true during active sync
+            lastSync: this.lastSync || undefined,
+            pendingChanges: this.pendingChanges.length,
+            errors: [],
+        };
+    }
+    /**
+     * Force sync
+     */
+    async forceSync() {
+        if (!this.schema)
+            return;
+        // Re-read from DB to ensure we have latest
+        const schemaPath = this.getSchemaPath();
+        const latestSchema = await this.db.get(schemaPath);
+        if (latestSchema) {
+            this.schema = latestSchema;
+            this.notifySubscribers();
+        }
+        this.lastSync = Date.now();
+        this.pendingChanges = [];
+    }
+    /**
+     * Dispose of resources
+     */
+    dispose() {
+        if (this.unsubscribeDb) {
+            this.unsubscribeDb();
+            this.unsubscribeDb = null;
+        }
+        if (this.syncTimer) {
+            clearInterval(this.syncTimer);
+            this.syncTimer = null;
+        }
+        this.subscribers.clear();
+        this.changeSubscribers.clear();
+    }
+    /**
+     * Get path for schema in DB
+     */
+    getSchemaPath() {
+        return `/schemas/${this.schemaId}`;
+    }
+    /**
+     * Notify all subscribers
+     */
+    notifySubscribers() {
+        if (!this.schema)
+            return;
+        for (const callback of this.subscribers) {
+            try {
+                callback(this.schema);
+            }
+            catch (error) {
+                console.error('Error in schema subscriber:', error);
+            }
+        }
+    }
+    /**
+     * Emit change events by comparing schemas
+     */
+    emitChangeEvents(oldSchema, newSchema) {
+        // Simple diff for now - could be made more granular
+        const changes = [];
+        const now = Date.now();
+        const keys = ['facts', 'events', 'rules', 'constraints', 'models', 'components', 'flows'];
+        for (const key of keys) {
+            const oldArray = oldSchema[key];
+            const newArray = newSchema[key];
+            if (JSON.stringify(oldArray) !== JSON.stringify(newArray)) {
+                changes.push({
+                    type: 'update',
+                    path: key,
+                    oldValue: oldArray,
+                    newValue: newArray,
+                    timestamp: now,
+                    deviceId: this.deviceId,
+                });
+            }
+        }
+        // Emit changes
+        for (const change of changes) {
+            for (const callback of this.changeSubscribers) {
+                try {
+                    callback(change);
+                }
+                catch (error) {
+                    console.error('Error in change subscriber:', error);
+                }
+            }
+        }
+    }
+    /**
+     * Start auto-sync timer
+     */
+    startAutoSync() {
+        if (this.syncTimer) {
+            clearInterval(this.syncTimer);
+        }
+        this.syncTimer = setInterval(() => {
+            this.forceSync().catch((error) => {
+                console.error('Auto-sync error:', error);
+            });
+        }, this.syncInterval);
+    }
+    /**
+     * Generate a device ID
+     */
+    generateDeviceId() {
+        return `device_${Date.now().toString(36)}_${Math.random().toString(36).substring(2, 8)}`;
+    }
+}
+/**
+ * Create a schema sync engine
+ */
+export function createSchemaSyncEngine(options) {
+    return new SchemaSyncEngine(options);
+}
+/**
+ * Schema store for PluresDB
+ *
+ * Provides a higher-level API for storing and managing PSF schemas.
+ */
+export class PSFSchemaStore {
+    db;
+    syncEngines = new Map();
+    constructor(db) {
+        this.db = db;
+    }
+    /**
+     * Save a schema
+     */
+    async saveSchema(schema) {
+        const path = `/schemas/${schema.id}`;
+        await this.db.set(path, schema);
+    }
+    /**
+     * Load a schema by ID
+     */
+    async loadSchema(schemaId) {
+        const path = `/schemas/${schemaId}`;
+        const data = await this.db.get(path);
+        return data;
+    }
+    /**
+     * List all schemas
+     */
+    async listSchemas() {
+        const schemasPath = '/schemas';
+        const data = await this.db.get(schemasPath);
+        if (data && typeof data === 'object') {
+            return Object.keys(data);
+        }
+        return [];
+    }
+    /**
+     * Delete a schema
+     */
+    async deleteSchema(schemaId) {
+        const path = `/schemas/${schemaId}`;
+        await this.db.set(path, null);
+        // Dispose sync engine if exists
+        const syncEngine = this.syncEngines.get(schemaId);
+        if (syncEngine) {
+            syncEngine.dispose();
+            this.syncEngines.delete(schemaId);
+        }
+    }
+    /**
+     * Get or create a sync engine for a schema
+     */
+    async getSyncEngine(schemaId, options) {
+        if (this.syncEngines.has(schemaId)) {
+            return this.syncEngines.get(schemaId);
+        }
+        const syncEngine = new SchemaSyncEngine({
+            db: this.db,
+            schemaId,
+            ...options,
+        });
+        await syncEngine.initialize();
+        this.syncEngines.set(schemaId, syncEngine);
+        return syncEngine;
+    }
+    /**
+     * Dispose all resources
+     */
+    dispose() {
+        for (const syncEngine of this.syncEngines.values()) {
+            syncEngine.dispose();
+        }
+        this.syncEngines.clear();
+    }
+}
+/**
+ * Create a PSF schema store
+ */
+export function createPSFSchemaStore(db) {
+    return new PSFSchemaStore(db);
+}
+//# sourceMappingURL=sync-engine.js.map

package/dist/core/db-adapter/sync-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync-engine.js","sourceRoot":"","sources":["../../../core/db-adapter/sync-engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAqDH;;;;GAIG;AACH,MAAM,OAAO,gBAAgB;IACnB,EAAE,CAAW;IACb,QAAQ,CAAS;IACjB,QAAQ,CAAS;IACjB,YAAY,CAAS;IACrB,MAAM,GAAqB,IAAI,CAAC;IAChC,WAAW,GAAqC,IAAI,GAAG,EAAE,CAAC;IAC1D,iBAAiB,GAA6C,IAAI,GAAG,EAAE,CAAC;IACxE,aAAa,GAAyB,IAAI,CAAC;IAC3C,cAAc,GAAwB,EAAE,CAAC;IACzC,SAAS,GAA0C,IAAI,CAAC;IACxD,QAAQ,GAAW,CAAC,CAAC;IAE7B,YAAY,OAA0B;QACpC,IAAI,CAAC,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC5D,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU;QACd,8BAA8B;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAEnD,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,GAAG,YAAyB,CAAC;QAC1C,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,KAAc,EAAE,EAAE;YAChE,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,SAAS,GAAG,KAAkB,CAAC;gBACrC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC9B,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;gBAExB,qBAAqB;gBACrB,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAEzB,yBAAyB;gBACzB,IAAI,SAAS,EAAE,CAAC;oBACd,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6BAA6B;QAC7B,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,MAAiB;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,aAAa,GAAc;YAC/B,GAAG,MAAM;YACT,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;SACxC,CAAC;QAEF,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,aAAa,CAAC,CAAC;QACvD,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAA4B,GAAM,EAAE,KAAmB;QACrE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,aAAa,GAAc;YAC/B,GAAG,IAAI,CAAC,MAAM;YACd,CAAC,GAAG,CAAC,EAAE,KAAK;YACZ,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;QAEF,MAAM,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,kBAAkB,CACtB,QAAgF,EAChF,MAAc,EACd,QAAqB;QAErB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAkD,CAAC;QACrF,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAE1D,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,QAAQ,MAAM,iBAAiB,QAAQ,EAAE,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,YAAY,CAAC,SAAS,CAAC,GAAG;YACxB,GAAG,YAAY,CAAC,SAAS,CAAC;YAC1B,QAAQ;SACT,CAAC;QAEF,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,YAA0C,CAAC,CAAC;IAC9E,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,QAAqC;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAE/B,kCAAkC;QAClC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAED,OAAO,GAAG,EAAE;YACV,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,QAA6C;QAC9D,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,OAAO,GAAG,EAAE;YACV,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,aAAa;QACX,OAAO;YACL,OAAO,EAAE,KAAK,EAAE,mCAAmC;YACnD,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,SAAS;YACpC,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM;YAC1C,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS;QACb,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO;QAEzB,2CAA2C;QAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAEnD,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,GAAG,YAAyB,CAAC;YACxC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,OAAO;QACL,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,EAAE,CAAC;YACrB,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAC5B,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACxB,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;IACjC,CAAC;IAED;;OAEG;IACK,aAAa;QACnB,OAAO,YAAY,IAAI,CAAC,QAAQ,EAAE,CAAC;IACrC,CAAC;IAED;;OAEG;IACK,iBAAiB;QACvB,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO;QAEzB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,IAAI,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,SAAoB,EAAE,SAAoB;QACjE,oDAAoD;QACpD,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEvB,MAAM,IAAI,GAAwB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QAE/G,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAc,CAAC;YAC7C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAc,CAAC;YAE7C,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,QAAQ;oBAClB,QAAQ,EAAE,QAAQ;oBAClB,SAAS,EAAE,GAAG;oBACd,QAAQ,EAAE,IAAI,CAAC,QAAQ;iBACxB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,eAAe;QACf,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBAC9C,IAAI,CAAC;oBACH,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACnB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,aAAa;QACnB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE;YAChC,IAAI,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC/B,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACK,gBAAgB;QACtB,OAAO,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAC3F,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAA0B;IAC/D,OAAO,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,cAAc;IACjB,EAAE,CAAW;IACb,WAAW,GAAkC,IAAI,GAAG,EAAE,CAAC;IAE/D,YAAY,EAAY;QACtB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,MAAiB;QAChC,MAAM,IAAI,GAAG,YAAY,MAAM,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,QAAgB;QAC/B,MAAM,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,IAAwB,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,WAAW;QACf,MAAM,WAAW,GAAG,UAAU,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAE5C,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAAC,QAAgB;QACjC,MAAM,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE9B,gCAAgC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,UAAU,EAAE,CAAC;YACf,UAAU,CAAC,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,CAAC,QAAgB,EAAE,OAAoC;QACxE,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;QACzC,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,gBAAgB,CAAC;YACtC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,QAAQ;YACR,GAAG,OAAO;SACX,CAAC,CAAC;QAEH,MAAM,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAE3C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,OAAO;QACL,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YACnD,UAAU,CAAC,OAAO,EAAE,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAY;IAC/C,OAAO,IAAI,cAAc,CAAC,EAAE,CAAC,CAAC;AAChC,CAAC"}

package/dist/core/logic-engine/engine.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Logic Engine Core
+ *
+ * Re-exports the logic engine from the main source.
+ * This provides a modular entry point for the logic engine.
+ */
+export { LogicEngine, createPraxisEngine, type PraxisEngineOptions, } from '../../src/core/engine.js';
+//# sourceMappingURL=engine.d.ts.map

package/dist/core/logic-engine/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../core/logic-engine/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,KAAK,mBAAmB,GACzB,MAAM,0BAA0B,CAAC"}

package/dist/core/logic-engine/engine.js

@@ -0,0 +1,8 @@
+/**
+ * Logic Engine Core
+ *
+ * Re-exports the logic engine from the main source.
+ * This provides a modular entry point for the logic engine.
+ */
+export { LogicEngine, createPraxisEngine, } from '../../src/core/engine.js';
+//# sourceMappingURL=engine.js.map

package/dist/core/logic-engine/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../core/logic-engine/engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,WAAW,EACX,kBAAkB,GAEnB,MAAM,0BAA0B,CAAC"}

package/dist/core/logic-engine/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Praxis Logic Engine
+ *
+ * The Logic Engine is the core module responsible for:
+ * - Processing events through rules
+ * - Checking constraints
+ * - Managing state transitions
+ * - Schema-driven rule evaluation
+ *
+ * The engine is pure and deterministic - all state updates are immutable.
+ */
+export * from './engine.js';
+export * from './rules.js';
+export * from './protocol.js';
+export * from './psf-adapter.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/logic-engine/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../core/logic-engine/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC"}

package/dist/core/logic-engine/index.js

@@ -0,0 +1,16 @@
+/**
+ * Praxis Logic Engine
+ *
+ * The Logic Engine is the core module responsible for:
+ * - Processing events through rules
+ * - Checking constraints
+ * - Managing state transitions
+ * - Schema-driven rule evaluation
+ *
+ * The engine is pure and deterministic - all state updates are immutable.
+ */
+export * from './engine.js';
+export * from './rules.js';
+export * from './protocol.js';
+export * from './psf-adapter.js';
+//# sourceMappingURL=index.js.map

package/dist/core/logic-engine/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../core/logic-engine/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC"}

package/dist/core/logic-engine/protocol.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Praxis Protocol
+ *
+ * Re-exports the core protocol from the main source.
+ */
+export { PRAXIS_PROTOCOL_VERSION, type PraxisFact, type PraxisEvent, type PraxisState, type PraxisDiagnostics, type PraxisStepConfig, type PraxisStepResult, type PraxisStepFn, } from '../../src/core/protocol.js';
+//# sourceMappingURL=protocol.d.ts.map

package/dist/core/logic-engine/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../core/logic-engine/protocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,uBAAuB,EACvB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,YAAY,GAClB,MAAM,4BAA4B,CAAC"}

package/dist/core/logic-engine/protocol.js

@@ -0,0 +1,7 @@
+/**
+ * Praxis Protocol
+ *
+ * Re-exports the core protocol from the main source.
+ */
+export { PRAXIS_PROTOCOL_VERSION, } from '../../src/core/protocol.js';
+//# sourceMappingURL=protocol.js.map

package/dist/core/logic-engine/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../core/logic-engine/protocol.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,uBAAuB,GAQxB,MAAM,4BAA4B,CAAC"}

package/dist/core/logic-engine/psf-adapter.d.ts

@@ -0,0 +1,88 @@
+/**
+ * PSF-Aware Logic Engine Adapter
+ *
+ * This module connects the logic engine to the Praxis Schema Format (PSF).
+ * It enables schema-driven rule evaluation and constraint checking.
+ */
+import type { PSFSchema, PSFRule, PSFConstraint } from '../schema-engine/psf.js';
+import type { RuleDescriptor, ConstraintDescriptor } from '../../src/core/rules.js';
+/**
+ * PSF Adapter options
+ */
+export interface PSFAdapterOptions {
+    /** Enable expression caching */
+    cacheExpressions?: boolean;
+    /** Sandbox for expression evaluation */
+    sandbox?: Record<string, unknown>;
+}
+/**
+ * PSF Adapter for Logic Engine
+ *
+ * Converts PSF rules and constraints to logic engine format.
+ */
+export declare class PSFLogicAdapter {
+    private options;
+    private expressionCache;
+    private sandbox;
+    constructor(options?: PSFAdapterOptions);
+    /**
+     * Convert PSF rules to logic engine rule descriptors
+     */
+    convertRules<TContext = unknown>(rules: PSFRule[]): RuleDescriptor<TContext>[];
+    /**
+     * Convert a single PSF rule to rule descriptor
+     */
+    convertRule<TContext = unknown>(rule: PSFRule): RuleDescriptor<TContext>;
+    /**
+     * Convert PSF constraints to logic engine constraint descriptors
+     */
+    convertConstraints<TContext = unknown>(constraints: PSFConstraint[]): ConstraintDescriptor<TContext>[];
+    /**
+     * Convert a single PSF constraint to constraint descriptor
+     */
+    convertConstraint<TContext = unknown>(constraint: PSFConstraint): ConstraintDescriptor<TContext>;
+    /**
+     * Load a complete PSF schema into the logic engine
+     */
+    loadSchema<TContext = unknown>(schema: PSFSchema): {
+        rules: RuleDescriptor<TContext>[];
+        constraints: ConstraintDescriptor<TContext>[];
+    };
+    /**
+     * Compile a PSF expression to a function
+     */
+    private compileExpression;
+    /**
+     * Create fact helper functions for expression evaluation
+     */
+    private createFactHelpers;
+    /**
+     * Create event helper functions for expression evaluation
+     */
+    private createEventHelpers;
+    /**
+     * Clear expression cache
+     */
+    clearCache(): void;
+}
+/**
+ * Create a PSF logic adapter
+ */
+export declare function createPSFLogicAdapter(options?: PSFAdapterOptions): PSFLogicAdapter;
+/**
+ * Schema-aware engine factory
+ */
+export interface SchemaAwareEngineOptions<TContext = unknown> {
+    schema: PSFSchema;
+    initialContext: TContext;
+    sandbox?: Record<string, unknown>;
+}
+/**
+ * Create a schema-aware logic engine from PSF
+ */
+export declare function createSchemaAwareEngine<TContext = unknown>(options: SchemaAwareEngineOptions<TContext>): Promise<{
+    rules: RuleDescriptor<TContext>[];
+    constraints: ConstraintDescriptor<TContext>[];
+    adapter: PSFLogicAdapter;
+}>;
+//# sourceMappingURL=psf-adapter.d.ts.map

package/dist/core/logic-engine/psf-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"psf-adapter.d.ts","sourceRoot":"","sources":["../../../core/logic-engine/psf-adapter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAiB,MAAM,yBAAyB,CAAC;AAEhG,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAEpF;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,gCAAgC;IAChC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,wCAAwC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAUD;;;;GAIG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,OAAO,CAA8B;IAC7C,OAAO,CAAC,eAAe,CAA8C;IACrE,OAAO,CAAC,OAAO,CAA0B;gBAE7B,OAAO,GAAE,iBAAsB;IAQ3C;;OAEG;IACH,YAAY,CAAC,QAAQ,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE;IAI9E;;OAEG;IACH,WAAW,CAAC,QAAQ,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC;IAkDxE;;OAEG;IACH,kBAAkB,CAAC,QAAQ,GAAG,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,oBAAoB,CAAC,QAAQ,CAAC,EAAE;IAItG;;OAEG;IACH,iBAAiB,CAAC,QAAQ,GAAG,OAAO,EAAE,UAAU,EAAE,aAAa,GAAG,oBAAoB,CAAC,QAAQ,CAAC;IAwBhG;;OAEG;IACH,UAAU,CAAC,QAAQ,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,GAAG;QACjD,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,WAAW,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;KAC/C;IAcD;;OAEG;IACH,OAAO,CAAC,iBAAiB;IA4BzB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAczB;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAc1B;;OAEG;IACH,UAAU,IAAI,IAAI;CAGnB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,CAAC,EAAE,iBAAiB,GAAG,eAAe,CAElF;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB,CAAC,QAAQ,GAAG,OAAO;IAC1D,MAAM,EAAE,SAAS,CAAC;IAClB,cAAc,EAAE,QAAQ,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAAC,QAAQ,GAAG,OAAO,EAC9D,OAAO,EAAE,wBAAwB,CAAC,QAAQ,CAAC,GAC1C,OAAO,CAAC;IACT,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IAClC,WAAW,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9C,OAAO,EAAE,eAAe,CAAC;CAC1B,CAAC,CASD"}