@plures/praxis 1.0.3 → 1.1.1

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

@@ -1,123 +0,0 @@
-/**
- * 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/src/examples/svelte-counter/index.js.map

@@ -1 +0,0 @@
-{"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/src/flows.d.ts

@@ -1,125 +0,0 @@
-/**
- * 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/src/flows.d.ts.map

@@ -1 +0,0 @@
-{"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/src/flows.js

@@ -1,160 +0,0 @@
-/**
- * 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/src/flows.js.map

@@ -1 +0,0 @@
-{"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/src/index.d.ts

@@ -1,77 +0,0 @@
-/**
- * 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, CommandExecutor, } from "./runtime/terminal-adapter.js";
-export { TerminalAdapter, createTerminalAdapter, runTerminalCommand, createMockExecutor, } 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";
-export type { PraxisDB, UnsubscribeFn, EventStreamEntry, PraxisDBStoreOptions, StoredSchema, PluresDBGeneratorOptions, GeneratedPluresDBFile, PluresDBAdapter, PluresDBAdapterOptions, } from "./integrations/pluresdb.js";
-export { InMemoryPraxisDB, createInMemoryDB, PraxisDBStore, createPraxisDBStore, PRAXIS_PATHS, getFactPath, getEventPath, generateId, PraxisSchemaRegistry, createSchemaRegistry, registerSchema, getSchemaPath, PluresDBGenerator, createPluresDBGenerator, createPluresDBAdapter, attachToEngine, } from "./integrations/pluresdb.js";
-export type { UnumStore, UnumChannel, UnumMessage, UnumIdentity, UnumAdapterConfig, UnumAdapter, } from "./integrations/unum.js";
-export { createUnumAdapter, attachUnumToEngine, } from "./integrations/unum.js";
-export type { CanvasNode, CanvasEdge, CanvasNodeStyle, CanvasEdgeStyle, CanvasDocument, LifecycleState, ActivityState, CanvasEditorConfig, GuardianResult, GuardianError, GuardianWarning, } from "./integrations/code-canvas.js";
-export { schemaToCanvas, canvasToSchema, canvasToYaml, canvasToMermaid, validateWithGuardian, createCanvasEditor, } from "./integrations/code-canvas.js";
-export type { StateDocsConfig, GeneratedDoc, StateMachineDoc, StateDoc, TransitionDoc, } from "./integrations/state-docs.js";
-export { StateDocsGenerator, createStateDocsGenerator, generateDocs, } from "./integrations/state-docs.js";
-export type { TauriAppConfig, TauriWindowConfig, TauriSecurityConfig, TauriUpdateConfig, TauriPlugin, TauriCommand, TauriEvent, TauriFS, TauriFileEntry, TauriTray, TauriMenuItem, TauriNotification, TauriNotificationOptions, TauriBridge, TauriUpdateInfo, TauriPraxisAdapter, } from "./integrations/tauri.js";
-export { createMockTauriBridge, createTauriPraxisAdapter, attachTauriToEngine, generateTauriConfig, } from "./integrations/tauri.js";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"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,EACtB,eAAe,GAChB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,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;AAGjC,YAAY,EACV,QAAQ,EACR,aAAa,EACb,gBAAgB,EAChB,oBAAoB,EACpB,YAAY,EACZ,wBAAwB,EACxB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,UAAU,EACV,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,uBAAuB,EACvB,qBAAqB,EACrB,cAAc,GACf,MAAM,4BAA4B,CAAC;AAGpC,YAAY,EACV,SAAS,EACT,WAAW,EACX,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,WAAW,GACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAGhC,YAAY,EACV,UAAU,EACV,UAAU,EACV,eAAe,EACf,eAAe,EACf,cAAc,EACd,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,eAAe,GAChB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,cAAc,EACd,cAAc,EACd,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AAGvC,YAAY,EACV,eAAe,EACf,YAAY,EACZ,eAAe,EACf,QAAQ,EACR,aAAa,GACd,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAGtC,YAAY,EACV,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,YAAY,EACZ,UAAU,EACV,OAAO,EACP,cAAc,EACd,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,eAAe,EACf,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC"}

package/dist/src/index.js

@@ -1,64 +0,0 @@
-/**
- * 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, createMockExecutor, } from "./runtime/terminal-adapter.js";
-export { validateSchema, createSchemaTemplate } from "./core/schema/types.js";
-export { loadSchema, loadSchemaFromJson, loadSchemaFromYaml, loadSchemaFromFile, validateForGeneration, } from "./core/schema/loader.js";
-export { InMemoryPraxisDB, createInMemoryDB, PraxisDBStore, createPraxisDBStore, PRAXIS_PATHS, getFactPath, getEventPath, generateId, PraxisSchemaRegistry, createSchemaRegistry, registerSchema, getSchemaPath, PluresDBGenerator, createPluresDBGenerator, createPluresDBAdapter, attachToEngine, } from "./integrations/pluresdb.js";
-export { createUnumAdapter, attachUnumToEngine, } from "./integrations/unum.js";
-export { schemaToCanvas, canvasToSchema, canvasToYaml, canvasToMermaid, validateWithGuardian, createCanvasEditor, } from "./integrations/code-canvas.js";
-export { StateDocsGenerator, createStateDocsGenerator, generateDocs, } from "./integrations/state-docs.js";
-export { createMockTauriBridge, createTauriPraxisAdapter, attachTauriToEngine, generateTauriConfig, } from "./integrations/tauri.js";
-//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +0,0 @@
-{"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;AAgBxB,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,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;AAcjC,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,UAAU,EACV,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,uBAAuB,EACvB,qBAAqB,EACrB,cAAc,GACf,MAAM,4BAA4B,CAAC;AAWpC,OAAO,EACL,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAgBhC,OAAO,EACL,cAAc,EACd,cAAc,EACd,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,+BAA+B,CAAC;AAUvC,OAAO,EACL,kBAAkB,EAClB,wBAAwB,EACxB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAqBtC,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC"}