@plures/praxis 0.2.0

package/dist/integrations/svelte.js

@@ -0,0 +1,447 @@
+/**
+ * Svelte v5 Integration
+ *
+ * Provides reactive bindings for Praxis logic engines in Svelte v5 applications.
+ * Supports both traditional stores and modern Svelte 5 runes ($state, $derived, $effect).
+ *
+ * Features:
+ * - Store-based API for backward compatibility
+ * - Runes-based composables for Svelte 5
+ * - Snapshot support for time-travel debugging
+ * - History state pattern implementation
+ * - Automatic cleanup and subscription management
+ */
+/**
+ * Create a reactive Svelte store from a Praxis engine.
+ *
+ * The store tracks the engine's state and provides methods to dispatch events.
+ *
+ * @example
+ * const engine = createPraxisEngine({ ... });
+ * const store = createPraxisStore(engine);
+ *
+ * // In Svelte component:
+ * $: state = $store;
+ *
+ * // Dispatch events:
+ * store.dispatch([Login.create({ username: "alice", password: "secret" })]);
+ */
+export function createPraxisStore(engine) {
+    let currentState = engine.getState();
+    const subscribers = new Set();
+    const notify = () => {
+        currentState = engine.getState();
+        subscribers.forEach((sub) => sub(currentState));
+    };
+    return {
+        subscribe(run) {
+            subscribers.add(run);
+            run(currentState); // Call immediately with current value
+            return () => {
+                subscribers.delete(run);
+            };
+        },
+        dispatch(events) {
+            engine.step(events);
+            notify();
+        },
+    };
+}
+/**
+ * Create a derived store that extracts the context from the engine state.
+ *
+ * @example
+ * const engine = createPraxisEngine({ ... });
+ * const contextStore = createContextStore(engine);
+ *
+ * // In Svelte component:
+ * $: context = $contextStore;
+ */
+export function createContextStore(engine) {
+    let currentContext = engine.getContext();
+    const subscribers = new Set();
+    const notify = () => {
+        currentContext = engine.getContext();
+        subscribers.forEach((sub) => sub(currentContext));
+    };
+    return {
+        subscribe(run) {
+            subscribers.add(run);
+            run(currentContext); // Call immediately with current value
+            return () => {
+                subscribers.delete(run);
+            };
+        },
+        dispatch(events) {
+            engine.step(events);
+            notify();
+        },
+    };
+}
+/**
+ * Create a derived store that extracts specific data from the context.
+ *
+ * @example
+ * const engine = createPraxisEngine<{ count: number }>({ ... });
+ * const countStore = createDerivedStore(engine, (ctx) => ctx.count);
+ *
+ * // In Svelte component:
+ * $: count = $countStore;
+ */
+export function createDerivedStore(engine, selector) {
+    let currentValue = selector(engine.getContext());
+    const subscribers = new Set();
+    const notify = () => {
+        const newValue = selector(engine.getContext());
+        if (newValue !== currentValue) {
+            currentValue = newValue;
+            subscribers.forEach((sub) => sub(currentValue));
+        }
+    };
+    return {
+        subscribe(run) {
+            subscribers.add(run);
+            run(currentValue); // Call immediately with current value
+            return () => {
+                subscribers.delete(run);
+            };
+        },
+        dispatch(events) {
+            engine.step(events);
+            notify();
+        },
+    };
+}
+/**
+ * Create a reactive binding to a Praxis engine with Svelte 5 runes support.
+ *
+ * This composable provides a runes-compatible API for integrating Praxis
+ * with Svelte 5 components. The returned state is reactive and will
+ * automatically update the component when the engine state changes.
+ *
+ * Note: The history/snapshot feature tracks state snapshots but doesn't
+ * restore the engine to previous states. When you navigate history (undo/redo),
+ * you're viewing past snapshots, but new events are still applied to the
+ * current engine state. For true undo/redo, use createHistoryEngine or
+ * implement state restoration in your application logic.
+ *
+ * @example
+ * <script>
+ *   import { usePraxisEngine } from '@plures/praxis/svelte';
+ *   import { createMyEngine } from './my-engine';
+ *
+ *   const engine = createMyEngine();
+ *   const { context, dispatch, undo, canUndo } = usePraxisEngine(engine, {
+ *     enableHistory: true
+ *   });
+ * </script>
+ *
+ * <div>
+ *   <p>Count: {context.count}</p>
+ *   <button onclick={() => dispatch([Increment.create({})])}>+</button>
+ *   <button onclick={() => undo()} disabled={!canUndo}>Undo</button>
+ * </div>
+ *
+ * @param engine The Praxis logic engine
+ * @param options Configuration options
+ * @returns Reactive binding with state, context, and control methods
+ */
+export function usePraxisEngine(engine, options = {}) {
+    const { enableHistory = false, maxHistorySize = 50 } = options;
+    // Create reactive state holders
+    let currentState = engine.getState();
+    let snapshots = [];
+    let historyIndex = -1;
+    // Initialize with first snapshot if history is enabled
+    if (enableHistory) {
+        snapshots.push({
+            timestamp: Date.now(),
+            state: currentState,
+            events: [],
+        });
+        historyIndex = 0;
+    }
+    const dispatch = (events) => {
+        // If we're not at the end of history, truncate future snapshots
+        if (enableHistory && historyIndex < snapshots.length - 1) {
+            snapshots = snapshots.slice(0, historyIndex + 1);
+        }
+        // Apply events to engine
+        engine.step(events);
+        currentState = engine.getState();
+        // Record snapshot if history is enabled
+        if (enableHistory) {
+            snapshots.push({
+                timestamp: Date.now(),
+                state: currentState,
+                events,
+            });
+            // Limit history size
+            if (snapshots.length > maxHistorySize) {
+                snapshots.shift();
+            }
+            else {
+                historyIndex++;
+            }
+        }
+    };
+    const goToSnapshot = (index) => {
+        if (!enableHistory) {
+            console.warn('History is not enabled for this engine');
+            return;
+        }
+        if (index < 0 || index >= snapshots.length) {
+            console.warn(`Invalid snapshot index: ${index}`);
+            return;
+        }
+        historyIndex = index;
+        currentState = snapshots[index].state;
+    };
+    const undo = () => {
+        if (historyIndex > 0) {
+            goToSnapshot(historyIndex - 1);
+        }
+    };
+    const redo = () => {
+        if (historyIndex < snapshots.length - 1) {
+            goToSnapshot(historyIndex + 1);
+        }
+    };
+    return {
+        get state() {
+            return currentState;
+        },
+        get context() {
+            return currentState.context;
+        },
+        get facts() {
+            return currentState.facts;
+        },
+        dispatch,
+        get snapshots() {
+            return snapshots;
+        },
+        goToSnapshot,
+        undo,
+        redo,
+        get canUndo() {
+            return enableHistory && historyIndex > 0;
+        },
+        get canRedo() {
+            return enableHistory && historyIndex < snapshots.length - 1;
+        },
+        get historyIndex() {
+            return historyIndex;
+        },
+    };
+}
+/**
+ * Create a reactive derived value from engine context with Svelte 5 runes.
+ *
+ * This composable extracts and tracks a specific value from the engine context.
+ * The returned value is reactive and will update when the selected value changes.
+ *
+ * @example
+ * <script>
+ *   import { usePraxisContext } from '@plures/praxis/svelte';
+ *
+ *   const engine = createMyEngine();
+ *   const count = usePraxisContext(engine, (ctx) => ctx.count);
+ * </script>
+ *
+ * <p>Count: {count}</p>
+ *
+ * @param engine The Praxis logic engine
+ * @param selector Function to extract value from context
+ * @returns Reactive derived value
+ */
+export function usePraxisContext(engine, selector) {
+    let currentValue = selector(engine.getContext());
+    return currentValue;
+}
+/**
+ * Subscribe to engine state changes with automatic cleanup.
+ *
+ * This composable sets up a subscription to engine state changes and
+ * automatically cleans up when the component is destroyed.
+ *
+ * @example
+ * <script>
+ *   import { usePraxisSubscription } from '@plures/praxis/svelte';
+ *
+ *   const engine = createMyEngine();
+ *
+ *   usePraxisSubscription(engine, (state) => {
+ *     console.log('State changed:', state);
+ *   });
+ * </script>
+ *
+ * @param engine The Praxis logic engine
+ * @param callback Function to call when state changes
+ */
+export function usePraxisSubscription(engine, callback) {
+    const store = createPraxisStore(engine);
+    const unsubscribe = store.subscribe(callback);
+    return unsubscribe;
+}
+/**
+ * History state manager for Praxis engines
+ */
+export class HistoryStateManager {
+    history = [];
+    currentIndex = -1;
+    maxSize;
+    idCounter = 0;
+    constructor(maxSize = 50) {
+        this.maxSize = maxSize;
+    }
+    /**
+     * Record a new history entry
+     */
+    record(state, events, label) {
+        // If we're not at the end, truncate future history
+        if (this.currentIndex < this.history.length - 1) {
+            this.history = this.history.slice(0, this.currentIndex + 1);
+        }
+        // Add new entry
+        this.history.push({
+            id: `history-${++this.idCounter}`,
+            timestamp: Date.now(),
+            state,
+            events,
+            label,
+        });
+        // Limit history size
+        if (this.history.length > this.maxSize) {
+            this.history.shift();
+        }
+        else {
+            this.currentIndex++;
+        }
+    }
+    /**
+     * Navigate to a specific history entry
+     */
+    goTo(index) {
+        if (index < 0 || index >= this.history.length) {
+            return null;
+        }
+        this.currentIndex = index;
+        return this.history[index];
+    }
+    /**
+     * Go back to previous state
+     */
+    back() {
+        if (!this.canGoBack()) {
+            return null;
+        }
+        return this.goTo(this.currentIndex - 1);
+    }
+    /**
+     * Go forward to next state
+     */
+    forward() {
+        if (!this.canGoForward()) {
+            return null;
+        }
+        return this.goTo(this.currentIndex + 1);
+    }
+    /**
+     * Check if can go back
+     */
+    canGoBack() {
+        return this.currentIndex > 0;
+    }
+    /**
+     * Check if can go forward
+     */
+    canGoForward() {
+        return this.currentIndex < this.history.length - 1;
+    }
+    /**
+     * Get current history entry
+     */
+    current() {
+        if (this.currentIndex < 0 || this.currentIndex >= this.history.length) {
+            return null;
+        }
+        return this.history[this.currentIndex];
+    }
+    /**
+     * Get all history entries
+     */
+    getHistory() {
+        return [...this.history];
+    }
+    /**
+     * Get current index in history
+     */
+    getCurrentIndex() {
+        return this.currentIndex;
+    }
+    /**
+     * Clear all history
+     */
+    clear() {
+        this.history = [];
+        this.currentIndex = -1;
+    }
+}
+/**
+ * Create a Praxis engine with history tracking.
+ *
+ * This utility wraps an engine with automatic history recording,
+ * providing undo/redo functionality.
+ *
+ * @example
+ * const engine = createPraxisEngine({ ... });
+ * const { dispatch, undo, redo, canUndo, canRedo } = createHistoryEngine(engine);
+ *
+ * // Use normally
+ * dispatch([Login.create({ username: "alice" })]);
+ *
+ * // Undo the login
+ * undo();
+ *
+ * @param engine The base Praxis engine
+ * @param options History configuration
+ * @returns Enhanced engine with history methods
+ */
+export function createHistoryEngine(engine, options = {}) {
+    const history = new HistoryStateManager(options.maxHistorySize);
+    // Record initial state
+    history.record(engine.getState(), [], options.initialLabel || 'Initial');
+    const dispatch = (events, label) => {
+        engine.step(events);
+        history.record(engine.getState(), events, label);
+    };
+    const undo = () => {
+        const entry = history.back();
+        if (entry) {
+            // Note: This is a simplified undo - in practice you might need to
+            // restore the state by replaying events or storing full snapshots
+            return true;
+        }
+        return false;
+    };
+    const redo = () => {
+        const entry = history.forward();
+        if (entry) {
+            return true;
+        }
+        return false;
+    };
+    return {
+        engine,
+        dispatch,
+        undo,
+        redo,
+        canUndo: () => history.canGoBack(),
+        canRedo: () => history.canGoForward(),
+        getHistory: () => history.getHistory(),
+        goToHistory: (index) => history.goTo(index) !== null,
+        clearHistory: () => history.clear(),
+    };
+}
+//# sourceMappingURL=svelte.js.map

package/dist/integrations/svelte.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"svelte.js","sourceRoot":"","sources":["../../src/integrations/svelte.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAqBH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAA6B;IAI7B,IAAI,YAAY,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkE,CAAC;IAE9F,MAAM,MAAM,GAAG,GAAG,EAAE;QAClB,YAAY,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QACjC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,OAAO;QACL,SAAS,CAAC,GAAmE;YAC3E,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,sCAAsC;YACzD,OAAO,GAAG,EAAE;gBACV,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,MAAqB;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,EAAE,CAAC;QACX,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAA6B;IAI7B,IAAI,cAAc,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEzD,MAAM,MAAM,GAAG,GAAG,EAAE;QAClB,cAAc,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,OAAO;QACL,SAAS,CAAC,GAA8B;YACtC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,sCAAsC;YAC3D,OAAO,GAAG,EAAE;gBACV,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,MAAqB;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,EAAE,CAAC;QACX,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAA6B,EAC7B,QAAyC;IAIzC,IAAI,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6B,CAAC;IAEzD,MAAM,MAAM,GAAG,GAAG,EAAE;QAClB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC/C,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;YAC9B,YAAY,GAAG,QAAQ,CAAC;YACxB,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO;QACL,SAAS,CAAC,GAA8B;YACtC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,sCAAsC;YACzD,OAAO,GAAG,EAAE;gBACV,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,MAAqB;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpB,MAAM,EAAE,CAAC;QACX,CAAC;KACF,CAAC;AACJ,CAAC;AAqDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,eAAe,CAC7B,MAA6B,EAC7B,UAAkC,EAAE;IAEpC,MAAM,EAAE,aAAa,GAAG,KAAK,EAAE,cAAc,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC;IAE/D,gCAAgC;IAChC,IAAI,YAAY,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IACrC,IAAI,SAAS,GAA8B,EAAE,CAAC;IAC9C,IAAI,YAAY,GAAG,CAAC,CAAC,CAAC;IAEtB,uDAAuD;IACvD,IAAI,aAAa,EAAE,CAAC;QAClB,SAAS,CAAC,IAAI,CAAC;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,KAAK,EAAE,YAAY;YACnB,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;QACH,YAAY,GAAG,CAAC,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,MAAqB,EAAE,EAAE;QACzC,gEAAgE;QAChE,IAAI,aAAa,IAAI,YAAY,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,yBAAyB;QACzB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpB,YAAY,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAEjC,wCAAwC;QACxC,IAAI,aAAa,EAAE,CAAC;YAClB,SAAS,CAAC,IAAI,CAAC;gBACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,KAAK,EAAE,YAAY;gBACnB,MAAM;aACP,CAAC,CAAC;YAEH,qBAAqB;YACrB,IAAI,SAAS,CAAC,MAAM,GAAG,cAAc,EAAE,CAAC;gBACtC,SAAS,CAAC,KAAK,EAAE,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,YAAY,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,EAAE;QACrC,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;YACvD,OAAO;QACT,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;YACjD,OAAO;QACT,CAAC;QAED,YAAY,GAAG,KAAK,CAAC;QACrB,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,EAAE;QAChB,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACrB,YAAY,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAG,EAAE;QAChB,IAAI,YAAY,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,YAAY,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC;IAEF,OAAO;QACL,IAAI,KAAK;YACP,OAAO,YAAY,CAAC;QACtB,CAAC;QACD,IAAI,OAAO;YACT,OAAO,YAAY,CAAC,OAAO,CAAC;QAC9B,CAAC;QACD,IAAI,KAAK;YACP,OAAO,YAAY,CAAC,KAAK,CAAC;QAC5B,CAAC;QACD,QAAQ;QACR,IAAI,SAAS;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY;QACZ,IAAI;QACJ,IAAI;QACJ,IAAI,OAAO;YACT,OAAO,aAAa,IAAI,YAAY,GAAG,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,OAAO;YACT,OAAO,aAAa,IAAI,YAAY,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,YAAY;YACd,OAAO,YAAY,CAAC;QACtB,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAA6B,EAC7B,QAAyC;IAEzC,IAAI,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACjD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAA6B,EAC7B,QAAwE;IAExE,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,WAAW,CAAC;AACrB,CAAC;AAsBD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IACtB,OAAO,GAA6B,EAAE,CAAC;IACvC,YAAY,GAAG,CAAC,CAAC,CAAC;IACT,OAAO,CAAS;IACzB,SAAS,GAAG,CAAC,CAAC;IAEtB,YAAY,OAAO,GAAG,EAAE;QACtB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,MAAM,CACJ,KAAoD,EACpD,MAAqB,EACrB,KAAc;QAEd,mDAAmD;QACnD,IAAI,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,gBAAgB;QAChB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAChB,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE;YACjC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,KAAK;YACL,MAAM;YACN,KAAK;SACN,CAAC,CAAC;QAEH,qBAAqB;QACrB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,KAAa;QAChB,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;QAC1B,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,IAAI;QACF,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,OAAO;QACL,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACrD,CAAC;IAED;;OAEG;IACH,OAAO;QACL,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACtE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACzB,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAA6B,EAC7B,UAA8D,EAAE;IAYhE,MAAM,OAAO,GAAG,IAAI,mBAAmB,CAAW,OAAO,CAAC,cAAc,CAAC,CAAC;IAE1E,uBAAuB;IACvB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,YAAY,IAAI,SAAS,CAAC,CAAC;IAEzE,MAAM,QAAQ,GAAG,CAAC,MAAqB,EAAE,KAAc,EAAE,EAAE;QACzD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAY,EAAE;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,EAAE,CAAC;YACV,kEAAkE;YAClE,kEAAkE;YAClE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,GAAY,EAAE;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO;QACL,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,IAAI;QACJ,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE;QAClC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE;QACrC,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE;QACtC,WAAW,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI;QAC5D,YAAY,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE;KACpC,CAAC;AACJ,CAAC"}

package/dist/registry.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Registry for managing rules and constraints in Praxis.
+ * Provides registration, retrieval, and execution capabilities.
+ */
+import type { PraxisState, PraxisEvent, Effect } from './types.js';
+import type { Rule, Constraint, ConstraintViolation } from './dsl.js';
+/**
+ * Registry for managing rules and constraints.
+ */
+export declare class Registry<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
+    private rules;
+    private constraints;
+    /**
+     * Register a new rule.
+     * @throws Error if a rule with the same ID already exists
+     */
+    registerRule(rule: Rule<S, E>): void;
+    /**
+     * Register multiple rules at once.
+     */
+    registerRules(rules: Rule<S, E>[]): void;
+    /**
+     * Unregister a rule by ID.
+     */
+    unregisterRule(id: string): boolean;
+    /**
+     * Get a rule by ID.
+     */
+    getRule(id: string): Rule<S, E> | undefined;
+    /**
+     * Get all registered rules.
+     */
+    getAllRules(): Rule<S, E>[];
+    /**
+     * Get rules that match a specific event type.
+     */
+    getRulesForEvent(eventType: string): Rule<S, E>[];
+    /**
+     * Register a new constraint.
+     * @throws Error if a constraint with the same ID already exists
+     */
+    registerConstraint(constraint: Constraint<S>): void;
+    /**
+     * Register multiple constraints at once.
+     */
+    registerConstraints(constraints: Constraint<S>[]): void;
+    /**
+     * Unregister a constraint by ID.
+     */
+    unregisterConstraint(id: string): boolean;
+    /**
+     * Get a constraint by ID.
+     */
+    getConstraint(id: string): Constraint<S> | undefined;
+    /**
+     * Get all registered constraints.
+     */
+    getAllConstraints(): Constraint<S>[];
+    /**
+     * Evaluate all rules for a given state and event.
+     * Returns all effects produced by rules that fire.
+     */
+    evaluateRules(state: S, event: E): Effect[];
+    /**
+     * Check all constraints for a given state.
+     * Returns an array of violations (empty if all constraints pass).
+     */
+    checkConstraints(state: S): ConstraintViolation[];
+    /**
+     * Clear all rules from the registry.
+     */
+    clearRules(): void;
+    /**
+     * Clear all constraints from the registry.
+     */
+    clearConstraints(): void;
+    /**
+     * Clear all rules and constraints from the registry.
+     */
+    clear(): void;
+    /**
+     * Get statistics about the registry.
+     */
+    getStats(): {
+        ruleCount: number;
+        constraintCount: number;
+        rulesByEventType: Record<string, number>;
+    };
+}
+/**
+ * Create a new registry instance.
+ */
+export declare function createRegistry<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(): Registry<S, E>;
+//# sourceMappingURL=registry.d.ts.map

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAEtE;;GAEG;AACH,qBAAa,QAAQ,CACnB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,OAAO,CAAC,KAAK,CAAsC;IACnD,OAAO,CAAC,WAAW,CAAyC;IAE5D;;;OAGG;IACH,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAOpC;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI;IAMxC;;OAEG;IACH,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS;IAI3C;;OAEG;IACH,WAAW,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;IAI3B;;OAEG;IACH,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;IAMjD;;;OAGG;IACH,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI;IAOnD;;OAEG;IACH,mBAAmB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI;IAMvD;;OAEG;IACH,oBAAoB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIzC;;OAEG;IACH,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS;IAIpD;;OAEG;IACH,iBAAiB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE;IAIpC;;;OAGG;IACH,aAAa,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE;IA0B3C;;;OAGG;IACH,gBAAgB,CAAC,KAAK,EAAE,CAAC,GAAG,mBAAmB,EAAE;IA0BjD;;OAEG;IACH,UAAU,IAAI,IAAI;IAIlB;;OAEG;IACH,gBAAgB,IAAI,IAAI;IAIxB;;OAEG;IACH,KAAK,IAAI,IAAI;IAKb;;OAEG;IACH,QAAQ,IAAI;QACV,SAAS,EAAE,MAAM,CAAC;QAClB,eAAe,EAAE,MAAM,CAAC;QACxB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC1C;CAcF;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,KAChC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAElB"}