@plures/praxis 0.2.0

package/dist/examples/svelte-counter/index.js

@@ -0,0 +1,123 @@
+/**
+ * Svelte Counter Example
+ *
+ * Demonstrates Svelte v5 integration with a simple counter.
+ * Shows how to connect Praxis logic to reactive Svelte stores.
+ */
+import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, findEvent, } from "../../index.js";
+import { createPraxisStore, createDerivedStore } from "../../integrations/svelte.js";
+// Define facts
+const CountIncremented = defineFact("CountIncremented");
+const CountDecremented = defineFact("CountDecremented");
+const CountReset = defineFact("CountReset");
+// Define events
+const Increment = defineEvent("INCREMENT");
+const Decrement = defineEvent("DECREMENT");
+const Reset = defineEvent("RESET");
+// Define rules
+const incrementRule = defineRule({
+    id: "counter.increment",
+    description: "Increment the counter",
+    impl: (state, events) => {
+        const incrementEvent = findEvent(events, Increment);
+        if (!incrementEvent) {
+            return [];
+        }
+        const amount = incrementEvent.payload.amount ?? 1;
+        state.context.count += amount;
+        state.context.history.push(state.context.count);
+        return [CountIncremented.create({ amount })];
+    },
+});
+const decrementRule = defineRule({
+    id: "counter.decrement",
+    description: "Decrement the counter",
+    impl: (state, events) => {
+        const decrementEvent = findEvent(events, Decrement);
+        if (!decrementEvent) {
+            return [];
+        }
+        const amount = decrementEvent.payload.amount ?? 1;
+        state.context.count -= amount;
+        state.context.history.push(state.context.count);
+        return [CountDecremented.create({ amount })];
+    },
+});
+const resetRule = defineRule({
+    id: "counter.reset",
+    description: "Reset the counter",
+    impl: (state, events) => {
+        const resetEvent = findEvent(events, Reset);
+        if (!resetEvent) {
+            return [];
+        }
+        state.context.count = 0;
+        state.context.history = [0];
+        return [CountReset.create({})];
+    },
+});
+// Create and configure the engine
+function createCounterEngine() {
+    const registry = new PraxisRegistry();
+    registry.registerRule(incrementRule);
+    registry.registerRule(decrementRule);
+    registry.registerRule(resetRule);
+    const engine = createPraxisEngine({
+        initialContext: {
+            count: 0,
+            history: [0],
+        },
+        registry,
+    });
+    return engine;
+}
+// Create Svelte stores
+function createCounterStores() {
+    const engine = createCounterEngine();
+    const stateStore = createPraxisStore(engine);
+    const countStore = createDerivedStore(engine, (ctx) => ctx.count);
+    const historyStore = createDerivedStore(engine, (ctx) => ctx.history);
+    return {
+        engine,
+        stateStore,
+        countStore,
+        historyStore,
+        // Helper methods
+        increment: (amount) => {
+            engine.step([Increment.create({ amount })]);
+        },
+        decrement: (amount) => {
+            engine.step([Decrement.create({ amount })]);
+        },
+        reset: () => {
+            engine.step([Reset.create({})]);
+        },
+    };
+}
+// Example usage (non-Svelte demonstration)
+function runExample() {
+    console.log("=== Svelte Counter Example ===\n");
+    const { engine, countStore } = createCounterStores();
+    // Subscribe to count changes
+    console.log("Subscribing to count changes...\n");
+    const unsubscribe = countStore.subscribe((count) => {
+        console.log(`Count changed: ${count}`);
+    });
+    // Dispatch some events
+    console.log("\nIncrementing by 1:");
+    engine.step([Increment.create({})]);
+    console.log("\nIncrementing by 5:");
+    engine.step([Increment.create({ amount: 5 })]);
+    console.log("\nDecrementing by 2:");
+    engine.step([Decrement.create({ amount: 2 })]);
+    console.log("\nResetting:");
+    engine.step([Reset.create({})]);
+    console.log("\nContext:", engine.getContext());
+    unsubscribe();
+}
+// Run example if executed directly
+if (import.meta.url === `file://${process.argv[1]}`) {
+    runExample();
+}
+export { createCounterEngine, createCounterStores, runExample };
+//# sourceMappingURL=index.js.map

package/dist/examples/svelte-counter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/examples/svelte-counter/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,SAAS,GACV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAQrF,eAAe;AACf,MAAM,gBAAgB,GAAG,UAAU,CACjC,kBAAkB,CACnB,CAAC;AACF,MAAM,gBAAgB,GAAG,UAAU,CACjC,kBAAkB,CACnB,CAAC;AACF,MAAM,UAAU,GAAG,UAAU,CAAmB,YAAY,CAAC,CAAC;AAE9D,gBAAgB;AAChB,MAAM,SAAS,GAAG,WAAW,CAAmC,WAAW,CAAC,CAAC;AAC7E,MAAM,SAAS,GAAG,WAAW,CAAmC,WAAW,CAAC,CAAC;AAC7E,MAAM,KAAK,GAAG,WAAW,CAAc,OAAO,CAAC,CAAC;AAEhD,eAAe;AACf,MAAM,aAAa,GAAG,UAAU,CAAiB;IAC/C,EAAE,EAAE,mBAAmB;IACvB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;QAClD,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAEhD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,UAAU,CAAiB;IAC/C,EAAE,EAAE,mBAAmB;IACvB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;QAClD,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAEhD,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,UAAU,CAAiB;IAC3C,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,mBAAmB;IAChC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;QAE5B,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;CACF,CAAC,CAAC;AAEH,kCAAkC;AAClC,SAAS,mBAAmB;IAC1B,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAkB,CAAC;IACtD,QAAQ,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IACrC,QAAQ,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IACrC,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAEjC,MAAM,MAAM,GAAG,kBAAkB,CAAiB;QAChD,cAAc,EAAE;YACd,KAAK,EAAE,CAAC;YACR,OAAO,EAAE,CAAC,CAAC,CAAC;SACb;QACD,QAAQ;KACT,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uBAAuB;AACvB,SAAS,mBAAmB;IAC1B,MAAM,MAAM,GAAG,mBAAmB,EAAE,CAAC;IAErC,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,GAAmB,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,GAAmB,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAEtF,OAAO;QACL,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,SAAS,EAAE,CAAC,MAAe,EAAE,EAAE;YAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,EAAE,CAAC,MAAe,EAAE,EAAE;YAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,EAAE,GAAG,EAAE;YACV,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAEhD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,mBAAmB,EAAE,CAAC;IAErD,6BAA6B;IAC7B,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,OAAO,CAAC,GAAG,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,uBAAuB;IACvB,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/C,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/C,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAE/C,WAAW,EAAE,CAAC;AAChB,CAAC;AAED,mCAAmC;AACnC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpD,UAAU,EAAE,CAAC;AACf,CAAC;AAED,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,UAAU,EAAE,CAAC"}

package/dist/flows.d.ts

@@ -0,0 +1,125 @@
+/**
+ * Flows and actors for orchestrating state transitions in Praxis.
+ * Flows represent sequences of state transitions.
+ * Actors are entities that maintain their own state and respond to events.
+ */
+import type { PraxisState, PraxisEvent, StepResult, StepFunction } from './types.js';
+/**
+ * A flow represents a sequence of events that need to occur.
+ */
+export interface Flow<E extends PraxisEvent = PraxisEvent> {
+    /** Unique identifier for the flow */
+    id: string;
+    /** Description of what the flow accomplishes */
+    description?: string;
+    /** Steps in the flow */
+    steps: FlowStep<E>[];
+    /** Current step index */
+    currentStep: number;
+    /** Whether the flow is complete */
+    complete: boolean;
+    /** Optional metadata */
+    metadata?: Record<string, unknown>;
+}
+/**
+ * A step in a flow.
+ */
+export interface FlowStep<E extends PraxisEvent = PraxisEvent> {
+    /** Step identifier */
+    id: string;
+    /** Expected event type for this step */
+    expectedEventType: string;
+    /** Optional validation function */
+    validate?: (event: E) => boolean;
+    /** Optional timeout in milliseconds */
+    timeout?: number;
+}
+/**
+ * An actor maintains its own state and responds to events.
+ */
+export interface Actor<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
+    /** Unique identifier for the actor */
+    id: string;
+    /** Current state of the actor */
+    state: S;
+    /** Step function for processing events */
+    step: StepFunction<S, E>;
+    /** Optional metadata */
+    metadata?: {
+        type?: string;
+        created?: number;
+        [key: string]: unknown;
+    };
+}
+/**
+ * Create a new flow.
+ */
+export declare function createFlow<E extends PraxisEvent = PraxisEvent>(id: string, steps: FlowStep<E>[], description?: string): Flow<E>;
+/**
+ * Advance a flow with an event.
+ * Returns an updated flow and whether the flow accepted the event.
+ */
+export declare function advanceFlow<E extends PraxisEvent = PraxisEvent>(flow: Flow<E>, event: E): {
+    flow: Flow<E>;
+    accepted: boolean;
+};
+/**
+ * Check if a flow is waiting for a specific event type.
+ */
+export declare function isFlowWaitingFor<E extends PraxisEvent = PraxisEvent>(flow: Flow<E>, eventType: string): boolean;
+/**
+ * Create a new actor.
+ */
+export declare function createActor<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(id: string, initialState: S, stepFunction: StepFunction<S, E>, type?: string): Actor<S, E>;
+/**
+ * Process an event through an actor.
+ * Returns the updated actor and any effects.
+ */
+export declare function processActorEvent<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(actor: Actor<S, E>, event: E): {
+    actor: Actor<S, E>;
+    result: StepResult<S>;
+};
+/**
+ * Actor system for managing multiple actors.
+ */
+export declare class ActorSystem<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
+    private actors;
+    /**
+     * Register an actor in the system.
+     */
+    register(actor: Actor<S, E>): void;
+    /**
+     * Unregister an actor from the system.
+     */
+    unregister(id: string): boolean;
+    /**
+     * Get an actor by ID.
+     */
+    get(id: string): Actor<S, E> | undefined;
+    /**
+     * Get all actors.
+     */
+    getAll(): Actor<S, E>[];
+    /**
+     * Send an event to a specific actor.
+     */
+    send(actorId: string, event: E): StepResult<S> | undefined;
+    /**
+     * Broadcast an event to all actors.
+     * Returns a map of actor IDs to their results.
+     */
+    broadcast(event: E): Map<string, StepResult<S>>;
+    /**
+     * Clear all actors from the system.
+     */
+    clear(): void;
+    /**
+     * Get the number of actors in the system.
+     */
+    size(): number;
+}
+/**
+ * Create a new actor system.
+ */
+export declare function createActorSystem<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(): ActorSystem<S, E>;
+//# sourceMappingURL=flows.d.ts.map

package/dist/flows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flows.d.ts","sourceRoot":"","sources":["../src/flows.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAErF;;GAEG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IACvD,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,gDAAgD;IAChD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wBAAwB;IACxB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACrB,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,QAAQ,EAAE,OAAO,CAAC;IAClB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAC3D,sBAAsB;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mCAAmC;IACnC,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACjC,uCAAuC;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,KAAK,CACpB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,KAAK,EAAE,CAAC,CAAC;IACT,0CAA0C;IAC1C,IAAI,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,wBAAwB;IACxB,QAAQ,CAAC,EAAE;QACT,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC;CACH;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EAC5D,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,IAAI,CAAC,CAAC,CAAC,CAQT;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EAC7D,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EACb,KAAK,EAAE,CAAC,GACP;IAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CA+BtC;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,EAClE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EACb,SAAS,EAAE,MAAM,GAChB,OAAO,CAMT;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,EAEnC,EAAE,EAAE,MAAM,EACV,YAAY,EAAE,CAAC,EACf,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,IAAI,CAAC,EAAE,MAAM,GACZ,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAUb;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAA;CAAE,CAS7E;AAED;;GAEG;AACH,qBAAa,WAAW,CACtB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,OAAO,CAAC,MAAM,CAAuC;IAErD;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAOlC;;OAEG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI/B;;OAEG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS;IAIxC;;OAEG;IACH,MAAM,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;IAIvB;;OAEG;IACH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS;IAY1D;;;OAGG;IACH,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAY/C;;OAEG;IACH,KAAK,IAAI,IAAI;IAIb;;OAEG;IACH,IAAI,IAAI,MAAM;CAGf;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,KAChC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAErB"}

package/dist/flows.js

@@ -0,0 +1,160 @@
+/**
+ * Flows and actors for orchestrating state transitions in Praxis.
+ * Flows represent sequences of state transitions.
+ * Actors are entities that maintain their own state and respond to events.
+ */
+/**
+ * Create a new flow.
+ */
+export function createFlow(id, steps, description) {
+    return {
+        id,
+        description,
+        steps,
+        currentStep: 0,
+        complete: false,
+    };
+}
+/**
+ * Advance a flow with an event.
+ * Returns an updated flow and whether the flow accepted the event.
+ */
+export function advanceFlow(flow, event) {
+    if (flow.complete) {
+        return { flow, accepted: false };
+    }
+    const currentStep = flow.steps[flow.currentStep];
+    if (!currentStep) {
+        return { flow, accepted: false };
+    }
+    // Check if event matches expected type
+    if (currentStep.expectedEventType !== event.type) {
+        return { flow, accepted: false };
+    }
+    // Validate event if validator is provided
+    if (currentStep.validate && !currentStep.validate(event)) {
+        return { flow, accepted: false };
+    }
+    // Advance to next step
+    const nextStep = flow.currentStep + 1;
+    const complete = nextStep >= flow.steps.length;
+    const updatedFlow = {
+        ...flow,
+        currentStep: nextStep,
+        complete,
+    };
+    return { flow: updatedFlow, accepted: true };
+}
+/**
+ * Check if a flow is waiting for a specific event type.
+ */
+export function isFlowWaitingFor(flow, eventType) {
+    if (flow.complete) {
+        return false;
+    }
+    const currentStep = flow.steps[flow.currentStep];
+    return currentStep?.expectedEventType === eventType;
+}
+/**
+ * Create a new actor.
+ */
+export function createActor(id, initialState, stepFunction, type) {
+    return {
+        id,
+        state: initialState,
+        step: stepFunction,
+        metadata: {
+            type,
+            created: Date.now(),
+        },
+    };
+}
+/**
+ * Process an event through an actor.
+ * Returns the updated actor and any effects.
+ */
+export function processActorEvent(actor, event) {
+    const result = actor.step(actor.state, event);
+    const updatedActor = {
+        ...actor,
+        state: result.state,
+    };
+    return { actor: updatedActor, result };
+}
+/**
+ * Actor system for managing multiple actors.
+ */
+export class ActorSystem {
+    actors = new Map();
+    /**
+     * Register an actor in the system.
+     */
+    register(actor) {
+        if (this.actors.has(actor.id)) {
+            throw new Error(`Actor with id '${actor.id}' already exists`);
+        }
+        this.actors.set(actor.id, actor);
+    }
+    /**
+     * Unregister an actor from the system.
+     */
+    unregister(id) {
+        return this.actors.delete(id);
+    }
+    /**
+     * Get an actor by ID.
+     */
+    get(id) {
+        return this.actors.get(id);
+    }
+    /**
+     * Get all actors.
+     */
+    getAll() {
+        return Array.from(this.actors.values());
+    }
+    /**
+     * Send an event to a specific actor.
+     */
+    send(actorId, event) {
+        const actor = this.actors.get(actorId);
+        if (!actor) {
+            return undefined;
+        }
+        const { actor: updatedActor, result } = processActorEvent(actor, event);
+        this.actors.set(actorId, updatedActor);
+        return result;
+    }
+    /**
+     * Broadcast an event to all actors.
+     * Returns a map of actor IDs to their results.
+     */
+    broadcast(event) {
+        const results = new Map();
+        for (const [id, actor] of this.actors) {
+            const { actor: updatedActor, result } = processActorEvent(actor, event);
+            this.actors.set(id, updatedActor);
+            results.set(id, result);
+        }
+        return results;
+    }
+    /**
+     * Clear all actors from the system.
+     */
+    clear() {
+        this.actors.clear();
+    }
+    /**
+     * Get the number of actors in the system.
+     */
+    size() {
+        return this.actors.size;
+    }
+}
+/**
+ * Create a new actor system.
+ */
+export function createActorSystem() {
+    return new ActorSystem();
+}
+//# sourceMappingURL=flows.js.map

package/dist/flows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flows.js","sourceRoot":"","sources":["../src/flows.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAyDH;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,EAAU,EACV,KAAoB,EACpB,WAAoB;IAEpB,OAAO;QACL,EAAE;QACF,WAAW;QACX,KAAK;QACL,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,IAAa,EACb,KAAQ;IAER,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IAED,uCAAuC;IACvC,IAAI,WAAW,CAAC,iBAAiB,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IAED,0CAA0C;IAC1C,IAAI,WAAW,CAAC,QAAQ,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;IAED,uBAAuB;IACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAE/C,MAAM,WAAW,GAAY;QAC3B,GAAG,IAAI;QACP,WAAW,EAAE,QAAQ;QACrB,QAAQ;KACT,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAa,EACb,SAAiB;IAEjB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,OAAO,WAAW,EAAE,iBAAiB,KAAK,SAAS,CAAC;AACtD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAIzB,EAAU,EACV,YAAe,EACf,YAAgC,EAChC,IAAa;IAEb,OAAO;QACL,EAAE;QACF,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,YAAY;QAClB,QAAQ,EAAE;YACR,IAAI;YACJ,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE;SACpB;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAG/B,KAAkB,EAAE,KAAQ;IAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE9C,MAAM,YAAY,GAAgB;QAChC,GAAG,KAAK;QACR,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,WAAW;IAId,MAAM,GAA6B,IAAI,GAAG,EAAE,CAAC;IAErD;;OAEG;IACH,QAAQ,CAAC,KAAkB;QACzB,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,EAAU;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,OAAe,EAAE,KAAQ;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAEvC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,SAAS,CAAC,KAAQ;QAChB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;QAEjD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC1B,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB;IAI/B,OAAO,IAAI,WAAW,EAAQ,CAAC;AACjC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Praxis - Practical, Provable Application Logic
+ *
+ * A typed, functional application logic engine built on strong types.
+ *
+ * Core concepts:
+ * - Facts: typed propositions about the domain
+ * - Events: temporally ordered facts meant to drive change
+ * - Rules: pure functions that derive new facts from context + events
+ * - Constraints: invariants that must always hold
+ * - Flows: orchestrated behaviors
+ * - Actors: effectful units that perform side effects
+ *
+ * @example
+ * ```typescript
+ * import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule } from "@plures/praxis";
+ *
+ * // Define facts and events
+ * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
+ * const Login = defineEvent<"LOGIN", { username: string }>("LOGIN");
+ *
+ * // Define rules
+ * const loginRule = defineRule({
+ *   id: "auth.login",
+ *   description: "Process login event",
+ *   impl: (state, events) => {
+ *     const loginEvent = events.find(Login.is);
+ *     if (loginEvent) {
+ *       return [UserLoggedIn.create({ userId: loginEvent.payload.username })];
+ *     }
+ *     return [];
+ *   }
+ * });
+ *
+ * // Create engine
+ * const registry = new PraxisRegistry();
+ * registry.registerRule(loginRule);
+ *
+ * const engine = createPraxisEngine({
+ *   initialContext: {},
+ *   registry
+ * });
+ *
+ * // Dispatch events
+ * const result = engine.step([Login.create({ username: "alice" })]);
+ * console.log(result.state.facts); // [{ tag: "UserLoggedIn", payload: { userId: "alice" } }]
+ * ```
+ */
+export type { PraxisFact, PraxisEvent, PraxisState, PraxisDiagnostics, PraxisStepConfig, PraxisStepResult, PraxisStepFn, } from "./core/protocol.js";
+export { PRAXIS_PROTOCOL_VERSION } from "./core/protocol.js";
+export type { RuleId, ConstraintId, RuleFn, ConstraintFn, RuleDescriptor, ConstraintDescriptor, PraxisModule, } from "./core/rules.js";
+export { PraxisRegistry } from "./core/rules.js";
+export type { PraxisEngineOptions } from "./core/engine.js";
+export { LogicEngine, createPraxisEngine } from "./core/engine.js";
+export type { Actor } from "./core/actors.js";
+export { ActorManager, createTimerActor } from "./core/actors.js";
+export type { RuleNode, ConstraintNode, GraphEdge, RegistryGraph, RuleSchema, ConstraintSchema, RegistrySchema, RegistryStats, } from "./core/introspection.js";
+export { RegistryIntrospector, createIntrospector } from "./core/introspection.js";
+export { defineFact, defineEvent, defineRule, defineConstraint, defineModule, filterEvents, filterFacts, findEvent, findFact, } from "./dsl/index.js";
+export type { FactDefinition, EventDefinition, DefineRuleOptions, DefineConstraintOptions, DefineModuleOptions, } from "./dsl/index.js";
+export type { TerminalExecutionResult, TerminalNodeState, TerminalAdapterOptions, } from "./runtime/terminal-adapter.js";
+export { TerminalAdapter, createTerminalAdapter, runTerminalCommand, } from "./runtime/terminal-adapter.js";
+export type { PraxisSchema, NodeDefinition, NodeBindings, TerminalNodeProps, OrchestrationDefinition, ValidationResult, ValidationError, ModelDefinition, ComponentDefinition, LogicDefinition, } from "./core/schema/types.js";
+export { validateSchema, createSchemaTemplate } from "./core/schema/types.js";
+export type { LoaderOptions, LoaderResult, } from "./core/schema/loader.js";
+export { loadSchema, loadSchemaFromJson, loadSchemaFromYaml, loadSchemaFromFile, validateForGeneration, } from "./core/schema/loader.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,YAAY,EACV,UAAU,EACV,WAAW,EACX,WAAW,EACX,iBAAiB,EACjB,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,YAAY,EACV,MAAM,EACN,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,cAAc,EACd,oBAAoB,EACpB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGjD,YAAY,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAGnE,YAAY,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGlE,YAAY,EACV,QAAQ,EACR,cAAc,EACd,SAAS,EACT,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,aAAa,GACd,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAGnF,OAAO,EACL,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,SAAS,EACT,QAAQ,GACT,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACV,uBAAuB,EACvB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AAGvC,YAAY,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,uBAAuB,EACvB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,mBAAmB,EACnB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAG9E,YAAY,EACV,aAAa,EACb,YAAY,GACb,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,yBAAyB,CAAC"}

package/dist/index.js

@@ -0,0 +1,59 @@
+/**
+ * Praxis - Practical, Provable Application Logic
+ *
+ * A typed, functional application logic engine built on strong types.
+ *
+ * Core concepts:
+ * - Facts: typed propositions about the domain
+ * - Events: temporally ordered facts meant to drive change
+ * - Rules: pure functions that derive new facts from context + events
+ * - Constraints: invariants that must always hold
+ * - Flows: orchestrated behaviors
+ * - Actors: effectful units that perform side effects
+ *
+ * @example
+ * ```typescript
+ * import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule } from "@plures/praxis";
+ *
+ * // Define facts and events
+ * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
+ * const Login = defineEvent<"LOGIN", { username: string }>("LOGIN");
+ *
+ * // Define rules
+ * const loginRule = defineRule({
+ *   id: "auth.login",
+ *   description: "Process login event",
+ *   impl: (state, events) => {
+ *     const loginEvent = events.find(Login.is);
+ *     if (loginEvent) {
+ *       return [UserLoggedIn.create({ userId: loginEvent.payload.username })];
+ *     }
+ *     return [];
+ *   }
+ * });
+ *
+ * // Create engine
+ * const registry = new PraxisRegistry();
+ * registry.registerRule(loginRule);
+ *
+ * const engine = createPraxisEngine({
+ *   initialContext: {},
+ *   registry
+ * });
+ *
+ * // Dispatch events
+ * const result = engine.step([Login.create({ username: "alice" })]);
+ * console.log(result.state.facts); // [{ tag: "UserLoggedIn", payload: { userId: "alice" } }]
+ * ```
+ */
+export { PRAXIS_PROTOCOL_VERSION } from "./core/protocol.js";
+export { PraxisRegistry } from "./core/rules.js";
+export { LogicEngine, createPraxisEngine } from "./core/engine.js";
+export { ActorManager, createTimerActor } from "./core/actors.js";
+export { RegistryIntrospector, createIntrospector } from "./core/introspection.js";
+// DSL helpers
+export { defineFact, defineEvent, defineRule, defineConstraint, defineModule, filterEvents, filterFacts, findEvent, findFact, } from "./dsl/index.js";
+export { TerminalAdapter, createTerminalAdapter, runTerminalCommand, } from "./runtime/terminal-adapter.js";
+export { validateSchema, createSchemaTemplate } from "./core/schema/types.js";
+export { loadSchema, loadSchemaFromJson, loadSchemaFromYaml, loadSchemaFromFile, validateForGeneration, } from "./core/schema/loader.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAYH,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAY7D,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAIjD,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAInE,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAalE,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAEnF,cAAc;AACd,OAAO,EACL,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,SAAS,EACT,QAAQ,GACT,MAAM,gBAAgB,CAAC;AAexB,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AAevC,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAO9E,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,yBAAyB,CAAC"}

package/dist/integrations/pluresdb.d.ts

@@ -0,0 +1,56 @@
+/**
+ * PluresDB Integration (Placeholder)
+ *
+ * Future integration with pluresdb - reactive graph datastore and event source/sink.
+ * This module will provide adapters for:
+ * - Storing Praxis state in pluresdb
+ * - Sourcing events from pluresdb
+ * - Sinking events to pluresdb
+ * - Reactive queries and subscriptions
+ */
+import type { LogicEngine } from "../core/engine.js";
+import type { PraxisEvent, PraxisFact } from "../core/protocol.js";
+/**
+ * Placeholder for pluresdb adapter
+ *
+ * Future implementation will provide:
+ * - Event sourcing (persist events to pluresdb)
+ * - State snapshots (persist state to pluresdb)
+ * - Event replay (rebuild state from events)
+ * - Reactive queries (subscribe to state changes)
+ */
+export interface PluresDBAdapter<TContext = unknown> {
+    /**
+     * Persist events to pluresdb
+     */
+    persistEvents(events: PraxisEvent[]): Promise<void>;
+    /**
+     * Persist facts to pluresdb
+     */
+    persistFacts(facts: PraxisFact[]): Promise<void>;
+    /**
+     * Load events from pluresdb
+     */
+    loadEvents(query?: unknown): Promise<PraxisEvent[]>;
+    /**
+     * Subscribe to new events from pluresdb
+     */
+    subscribeToEvents(callback: (events: PraxisEvent[]) => void, query?: unknown): () => void;
+    /**
+     * Attach the adapter to an engine
+     */
+    attachEngine(engine: LogicEngine<TContext>): void;
+}
+/**
+ * Create a pluresdb adapter (placeholder implementation)
+ *
+ * @example
+ * // Future usage:
+ * const adapter = createPluresDBAdapter({
+ *   connection: pluresdbClient,
+ *   collection: "myapp-events"
+ * });
+ * adapter.attachEngine(engine);
+ */
+export declare function createPluresDBAdapter<TContext = unknown>(_options: unknown): PluresDBAdapter<TContext>;
+//# sourceMappingURL=pluresdb.d.ts.map

package/dist/integrations/pluresdb.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pluresdb.d.ts","sourceRoot":"","sources":["../../src/integrations/pluresdb.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,WAAW,eAAe,CAAC,QAAQ,GAAG,OAAO;IACjD;;OAEG;IACH,aAAa,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjD;;OAEG;IACH,UAAU,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAEpD;;OAEG;IACH,iBAAiB,CACf,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,IAAI,EACzC,KAAK,CAAC,EAAE,OAAO,GACd,MAAM,IAAI,CAAC;IAEd;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC;CACnD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,GAAG,OAAO,EACtD,QAAQ,EAAE,OAAO,GAChB,eAAe,CAAC,QAAQ,CAAC,CA0B3B"}