@plures/praxis 0.2.0

package/dist/dsl.js

@@ -0,0 +1,130 @@
+/**
+ * DSL for defining rules and constraints in Praxis.
+ * Rules are condition-action pairs that fire when conditions are met.
+ * Constraints are invariants that must hold true in valid states.
+ */
+/**
+ * DSL builder for creating rules with a fluent interface.
+ */
+export class RuleBuilder {
+    rule = {};
+    /**
+     * Set the rule ID.
+     */
+    id(id) {
+        this.rule.id = id;
+        return this;
+    }
+    /**
+     * Set the rule description.
+     */
+    describe(description) {
+        this.rule.description = description;
+        return this;
+    }
+    /**
+     * Set the rule priority.
+     */
+    priority(priority) {
+        this.rule.priority = priority;
+        return this;
+    }
+    /**
+     * Set the event type filter.
+     */
+    on(eventType) {
+        this.rule.eventType = eventType;
+        return this;
+    }
+    /**
+     * Set the condition for when the rule should fire.
+     */
+    when(condition) {
+        this.rule.when = condition;
+        return this;
+    }
+    /**
+     * Set the action to execute when the rule fires.
+     */
+    then(action) {
+        this.rule.then = action;
+        return this;
+    }
+    /**
+     * Build the final rule.
+     */
+    build() {
+        if (!this.rule.id) {
+            throw new Error('Rule must have an id');
+        }
+        if (!this.rule.when) {
+            throw new Error('Rule must have a when condition');
+        }
+        if (!this.rule.then) {
+            throw new Error('Rule must have a then action');
+        }
+        return this.rule;
+    }
+}
+/**
+ * DSL builder for creating constraints with a fluent interface.
+ */
+export class ConstraintBuilder {
+    constraint = {};
+    /**
+     * Set the constraint ID.
+     */
+    id(id) {
+        this.constraint.id = id;
+        return this;
+    }
+    /**
+     * Set the constraint description.
+     */
+    describe(description) {
+        this.constraint.description = description;
+        return this;
+    }
+    /**
+     * Set the constraint check function.
+     */
+    check(check) {
+        this.constraint.check = check;
+        return this;
+    }
+    /**
+     * Set the error message for constraint violations.
+     */
+    message(errorMessage) {
+        this.constraint.errorMessage = errorMessage;
+        return this;
+    }
+    /**
+     * Build the final constraint.
+     */
+    build() {
+        if (!this.constraint.id) {
+            throw new Error('Constraint must have an id');
+        }
+        if (!this.constraint.check) {
+            throw new Error('Constraint must have a check function');
+        }
+        return this.constraint;
+    }
+}
+/**
+ * Factory functions for creating rules and constraints using the DSL.
+ */
+/**
+ * Create a new rule using the fluent builder API.
+ */
+export function rule() {
+    return new RuleBuilder();
+}
+/**
+ * Create a new constraint using the fluent builder API.
+ */
+export function constraint() {
+    return new ConstraintBuilder();
+}
+//# sourceMappingURL=dsl.js.map

package/dist/dsl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dsl.js","sourceRoot":"","sources":["../src/dsl.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgEH;;GAEG;AACH,MAAM,OAAO,WAAW;IAId,IAAI,GAAwB,EAAE,CAAC;IAEvC;;OAEG;IACH,EAAE,CAAC,EAAU;QACX,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,WAAmB;QAC1B,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,QAAgB;QACvB,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,EAAE,CAAC,SAAiB;QAClB,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,SAA0B;QAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,IAAI,CAAC,MAAoB;QACvB,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC,IAAkB,CAAC;IACjC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IACpB,UAAU,GAA2B,EAAE,CAAC;IAEhD;;OAEG;IACH,EAAE,CAAC,EAAU;QACX,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,WAAmB;QAC1B,IAAI,CAAC,UAAU,CAAC,WAAW,GAAG,WAAW,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAA4B;QAChC,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,YAAoB;QAC1B,IAAI,CAAC,UAAU,CAAC,YAAY,GAAG,YAAY,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,IAAI,CAAC,UAA2B,CAAC;IAC1C,CAAC;CACF;AAED;;GAEG;AAEH;;GAEG;AACH,MAAM,UAAU,IAAI;IAIlB,OAAO,IAAI,WAAW,EAAQ,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,iBAAiB,EAAK,CAAC;AACpC,CAAC"}

package/dist/examples/advanced-todo/index.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Advanced Svelte 5 Integration Example
+ *
+ * Demonstrates the new Svelte 5 runes support with history state pattern.
+ * This example shows a todo app with undo/redo and time-travel debugging.
+ */
+interface TodoItem {
+    id: string;
+    text: string;
+    completed: boolean;
+    createdAt: number;
+}
+interface TodoContext {
+    todos: TodoItem[];
+    filter: 'all' | 'active' | 'completed';
+    nextId: number;
+}
+declare const TodoAdded: import("../../index.js").FactDefinition<"TodoAdded", {
+    id: string;
+    text: string;
+}>;
+declare const TodoToggled: import("../../index.js").FactDefinition<"TodoToggled", {
+    id: string;
+}>;
+declare const TodoRemoved: import("../../index.js").FactDefinition<"TodoRemoved", {
+    id: string;
+}>;
+declare const FilterChanged: import("../../index.js").FactDefinition<"FilterChanged", {
+    filter: string;
+}>;
+declare const AllCompleted: import("../../index.js").FactDefinition<"AllCompleted", {}>;
+declare const CompletedCleared: import("../../index.js").FactDefinition<"CompletedCleared", {}>;
+declare const AddTodo: import("../../index.js").EventDefinition<"ADD_TODO", {
+    text: string;
+}>;
+declare const ToggleTodo: import("../../index.js").EventDefinition<"TOGGLE_TODO", {
+    id: string;
+}>;
+declare const RemoveTodo: import("../../index.js").EventDefinition<"REMOVE_TODO", {
+    id: string;
+}>;
+declare const SetFilter: import("../../index.js").EventDefinition<"SET_FILTER", {
+    filter: "all" | "active" | "completed";
+}>;
+declare const CompleteAll: import("../../index.js").EventDefinition<"COMPLETE_ALL", {}>;
+declare const ClearCompleted: import("../../index.js").EventDefinition<"CLEAR_COMPLETED", {}>;
+export declare function createTodoEngine(): import("../../index.js").LogicEngine<TodoContext>;
+export declare function getFilteredTodos(todos: TodoItem[], filter: string): TodoItem[];
+export declare function getStats(todos: TodoItem[]): {
+    total: number;
+    active: number;
+    completed: number;
+};
+export { type TodoItem, type TodoContext, AddTodo, ToggleTodo, RemoveTodo, SetFilter, CompleteAll, ClearCompleted, TodoAdded, TodoToggled, TodoRemoved, FilterChanged, AllCompleted, CompletedCleared, };
+//# sourceMappingURL=index.d.ts.map

package/dist/examples/advanced-todo/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/examples/advanced-todo/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAeH,UAAU,QAAQ;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,WAAW;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,MAAM,EAAE,KAAK,GAAG,QAAQ,GAAG,WAAW,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;CAChB;AAMD,QAAA,MAAM,SAAS;QAAiC,MAAM;UAAQ,MAAM;EAAgB,CAAC;AACrF,QAAA,MAAM,WAAW;QAAmC,MAAM;EAAkB,CAAC;AAC7E,QAAA,MAAM,WAAW;QAAmC,MAAM;EAAkB,CAAC;AAC7E,QAAA,MAAM,aAAa;YAAyC,MAAM;EAAoB,CAAC;AACvF,QAAA,MAAM,YAAY,6DAAiD,CAAC;AACpE,QAAA,MAAM,gBAAgB,iEAAyD,CAAC;AAMhF,QAAA,MAAM,OAAO;UAAmC,MAAM;EAAe,CAAC;AACtE,QAAA,MAAM,UAAU;QAAoC,MAAM;EAAkB,CAAC;AAC7E,QAAA,MAAM,UAAU;QAAoC,MAAM;EAAkB,CAAC;AAC7E,QAAA,MAAM,SAAS;YAAuC,KAAK,GAAG,QAAQ,GAAG,WAAW;EAEnF,CAAC;AACF,QAAA,MAAM,WAAW,8DAAkD,CAAC;AACpE,QAAA,MAAM,cAAc,iEAAwD,CAAC;AA4H7E,wBAAgB,gBAAgB,sDAkB/B;AAMD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,EAAE,CAS9E;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE;;;;EAMzC;AAsED,OAAO,EAEL,KAAK,QAAQ,EACb,KAAK,WAAW,EAEhB,OAAO,EACP,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACX,cAAc,EAEd,SAAS,EACT,WAAW,EACX,WAAW,EACX,aAAa,EACb,YAAY,EACZ,gBAAgB,GACjB,CAAC"}

package/dist/examples/advanced-todo/index.js

@@ -0,0 +1,222 @@
+/**
+ * Advanced Svelte 5 Integration Example
+ *
+ * Demonstrates the new Svelte 5 runes support with history state pattern.
+ * This example shows a todo app with undo/redo and time-travel debugging.
+ */
+import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, findEvent, } from '../../index.js';
+// ============================================================================
+// Facts
+// ============================================================================
+const TodoAdded = defineFact('TodoAdded');
+const TodoToggled = defineFact('TodoToggled');
+const TodoRemoved = defineFact('TodoRemoved');
+const FilterChanged = defineFact('FilterChanged');
+const AllCompleted = defineFact('AllCompleted');
+const CompletedCleared = defineFact('CompletedCleared');
+// ============================================================================
+// Events
+// ============================================================================
+const AddTodo = defineEvent('ADD_TODO');
+const ToggleTodo = defineEvent('TOGGLE_TODO');
+const RemoveTodo = defineEvent('REMOVE_TODO');
+const SetFilter = defineEvent('SET_FILTER');
+const CompleteAll = defineEvent('COMPLETE_ALL');
+const ClearCompleted = defineEvent('CLEAR_COMPLETED');
+// ============================================================================
+// Rules
+// ============================================================================
+const addTodoRule = defineRule({
+    id: 'todo.add',
+    description: 'Add a new todo item',
+    impl: (state, events) => {
+        const event = findEvent(events, AddTodo);
+        if (!event || !event.payload.text.trim()) {
+            return [];
+        }
+        const id = `todo-${state.context.nextId}`;
+        const todo = {
+            id,
+            text: event.payload.text.trim(),
+            completed: false,
+            createdAt: Date.now(),
+        };
+        state.context.todos.push(todo);
+        state.context.nextId++;
+        return [TodoAdded.create({ id, text: todo.text })];
+    },
+});
+const toggleTodoRule = defineRule({
+    id: 'todo.toggle',
+    description: 'Toggle todo completion status',
+    impl: (state, events) => {
+        const event = findEvent(events, ToggleTodo);
+        if (!event) {
+            return [];
+        }
+        const todo = state.context.todos.find((t) => t.id === event.payload.id);
+        if (todo) {
+            todo.completed = !todo.completed;
+            return [TodoToggled.create({ id: todo.id })];
+        }
+        return [];
+    },
+});
+const removeTodoRule = defineRule({
+    id: 'todo.remove',
+    description: 'Remove a todo item',
+    impl: (state, events) => {
+        const event = findEvent(events, RemoveTodo);
+        if (!event) {
+            return [];
+        }
+        const index = state.context.todos.findIndex((t) => t.id === event.payload.id);
+        if (index !== -1) {
+            state.context.todos.splice(index, 1);
+            return [TodoRemoved.create({ id: event.payload.id })];
+        }
+        return [];
+    },
+});
+const setFilterRule = defineRule({
+    id: 'todo.setFilter',
+    description: 'Change the filter',
+    impl: (state, events) => {
+        const event = findEvent(events, SetFilter);
+        if (!event) {
+            return [];
+        }
+        state.context.filter = event.payload.filter;
+        return [FilterChanged.create({ filter: event.payload.filter })];
+    },
+});
+const completeAllRule = defineRule({
+    id: 'todo.completeAll',
+    description: 'Mark all todos as completed',
+    impl: (state, events) => {
+        const event = findEvent(events, CompleteAll);
+        if (!event) {
+            return [];
+        }
+        state.context.todos.forEach((todo) => {
+            todo.completed = true;
+        });
+        return [AllCompleted.create({})];
+    },
+});
+const clearCompletedRule = defineRule({
+    id: 'todo.clearCompleted',
+    description: 'Remove all completed todos',
+    impl: (state, events) => {
+        const event = findEvent(events, ClearCompleted);
+        if (!event) {
+            return [];
+        }
+        const beforeCount = state.context.todos.length;
+        state.context.todos = state.context.todos.filter((t) => !t.completed);
+        const afterCount = state.context.todos.length;
+        if (beforeCount !== afterCount) {
+            return [CompletedCleared.create({})];
+        }
+        return [];
+    },
+});
+// ============================================================================
+// Engine Factory
+// ============================================================================
+export function createTodoEngine() {
+    const registry = new PraxisRegistry();
+    registry.registerRule(addTodoRule);
+    registry.registerRule(toggleTodoRule);
+    registry.registerRule(removeTodoRule);
+    registry.registerRule(setFilterRule);
+    registry.registerRule(completeAllRule);
+    registry.registerRule(clearCompletedRule);
+    return createPraxisEngine({
+        initialContext: {
+            todos: [],
+            filter: 'all',
+            nextId: 1,
+        },
+        registry,
+    });
+}
+// ============================================================================
+// Helper Functions for Svelte
+// ============================================================================
+export function getFilteredTodos(todos, filter) {
+    switch (filter) {
+        case 'active':
+            return todos.filter((t) => !t.completed);
+        case 'completed':
+            return todos.filter((t) => t.completed);
+        default:
+            return todos;
+    }
+}
+export function getStats(todos) {
+    const total = todos.length;
+    const active = todos.filter((t) => !t.completed).length;
+    const completed = todos.filter((t) => t.completed).length;
+    return { total, active, completed };
+}
+// ============================================================================
+// Example Usage (non-Svelte demonstration)
+// ============================================================================
+function runExample() {
+    console.log('=== Advanced Todo Example ===\n');
+    const engine = createTodoEngine();
+    // Add some todos
+    console.log('1. Adding todos:');
+    engine.step([AddTodo.create({ text: 'Learn Praxis' })]);
+    engine.step([AddTodo.create({ text: 'Build awesome app' })]);
+    engine.step([AddTodo.create({ text: 'Deploy to production' })]);
+    const context1 = engine.getContext();
+    console.log(`   Total todos: ${context1.todos.length}`);
+    context1.todos.forEach((todo) => {
+        console.log(`   - ${todo.text}`);
+    });
+    console.log();
+    // Toggle a todo
+    console.log('2. Completing first todo:');
+    const firstId = context1.todos[0].id;
+    engine.step([ToggleTodo.create({ id: firstId })]);
+    const context2 = engine.getContext();
+    const stats = getStats(context2.todos);
+    console.log(`   Active: ${stats.active}, Completed: ${stats.completed}`);
+    console.log();
+    // Change filter
+    console.log('3. Filtering to active todos:');
+    engine.step([SetFilter.create({ filter: 'active' })]);
+    const context3 = engine.getContext();
+    const filtered = getFilteredTodos(context3.todos, context3.filter);
+    console.log(`   Filter: ${context3.filter}`);
+    console.log(`   Showing ${filtered.length} todos:`);
+    filtered.forEach((todo) => {
+        console.log(`   - ${todo.text}`);
+    });
+    console.log();
+    // Complete all
+    console.log('4. Completing all todos:');
+    engine.step([CompleteAll.create({})]);
+    const context4 = engine.getContext();
+    const stats4 = getStats(context4.todos);
+    console.log(`   All completed: ${stats4.completed}/${stats4.total}`);
+    console.log();
+    // Clear completed
+    console.log('5. Clearing completed todos:');
+    engine.step([ClearCompleted.create({})]);
+    const context5 = engine.getContext();
+    console.log(`   Remaining todos: ${context5.todos.length}`);
+    console.log();
+}
+// Run example if executed directly
+if (import.meta.url === `file://${process.argv[1]}`) {
+    runExample();
+}
+export { 
+// Events
+AddTodo, ToggleTodo, RemoveTodo, SetFilter, CompleteAll, ClearCompleted, 
+// Facts
+TodoAdded, TodoToggled, TodoRemoved, FilterChanged, AllCompleted, CompletedCleared, };
+//# sourceMappingURL=index.js.map

package/dist/examples/advanced-todo/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/examples/advanced-todo/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,SAAS,GACV,MAAM,gBAAgB,CAAC;AAmBxB,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E,MAAM,SAAS,GAAG,UAAU,CAA4C,WAAW,CAAC,CAAC;AACrF,MAAM,WAAW,GAAG,UAAU,CAAgC,aAAa,CAAC,CAAC;AAC7E,MAAM,WAAW,GAAG,UAAU,CAAgC,aAAa,CAAC,CAAC;AAC7E,MAAM,aAAa,GAAG,UAAU,CAAsC,eAAe,CAAC,CAAC;AACvF,MAAM,YAAY,GAAG,UAAU,CAAqB,cAAc,CAAC,CAAC;AACpE,MAAM,gBAAgB,GAAG,UAAU,CAAyB,kBAAkB,CAAC,CAAC;AAEhF,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E,MAAM,OAAO,GAAG,WAAW,CAA+B,UAAU,CAAC,CAAC;AACtE,MAAM,UAAU,GAAG,WAAW,CAAgC,aAAa,CAAC,CAAC;AAC7E,MAAM,UAAU,GAAG,WAAW,CAAgC,aAAa,CAAC,CAAC;AAC7E,MAAM,SAAS,GAAG,WAAW,CAC3B,YAAY,CACb,CAAC;AACF,MAAM,WAAW,GAAG,WAAW,CAAqB,cAAc,CAAC,CAAC;AACpE,MAAM,cAAc,GAAG,WAAW,CAAwB,iBAAiB,CAAC,CAAC;AAE7E,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E,MAAM,WAAW,GAAG,UAAU,CAAc;IAC1C,EAAE,EAAE,UAAU;IACd,WAAW,EAAE,qBAAqB;IAClC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,EAAE,GAAG,QAAQ,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAa;YACrB,EAAE;YACF,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE;YAC/B,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB,CAAC;QAEF,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAEvB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,UAAU,CAAc;IAC7C,EAAE,EAAE,aAAa;IACjB,WAAW,EAAE,+BAA+B;IAC5C,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxE,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;YACjC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,UAAU,CAAc;IAC7C,EAAE,EAAE,aAAa;IACjB,WAAW,EAAE,oBAAoB;IACjC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9E,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACrC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,UAAU,CAAc;IAC5C,EAAE,EAAE,gBAAgB;IACpB,WAAW,EAAE,mBAAmB;IAChC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5C,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,UAAU,CAAc;IAC9C,EAAE,EAAE,kBAAkB;IACtB,WAAW,EAAE,6BAA6B;IAC1C,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACnC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,UAAU,CAAc;IACjD,EAAE,EAAE,qBAAqB;IACzB,WAAW,EAAE,4BAA4B;IACzC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAC/C,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAE9C,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,MAAM,UAAU,gBAAgB;IAC9B,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAe,CAAC;IAEnD,QAAQ,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;IACtC,QAAQ,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC;IACtC,QAAQ,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IACrC,QAAQ,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;IACvC,QAAQ,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC;IAE1C,OAAO,kBAAkB,CAAc;QACrC,cAAc,EAAE;YACd,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,CAAC;SACV;QACD,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,8BAA8B;AAC9B,+EAA+E;AAE/E,MAAM,UAAU,gBAAgB,CAAC,KAAiB,EAAE,MAAc;IAChE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1C;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAiB;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IACxD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;IAE1D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AACtC,CAAC;AAED,+EAA+E;AAC/E,2CAA2C;AAC3C,+EAA+E;AAE/E,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAE/C,MAAM,MAAM,GAAG,gBAAgB,EAAE,CAAC;IAElC,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,mBAAmB,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9B,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,gBAAgB;IAChB,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAElD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,cAAc,KAAK,CAAC,MAAM,gBAAgB,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IACzE,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,gBAAgB;IAChB,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAA;IAErD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,CAAC,GAAG,CAAC,cAAc,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,cAAc,QAAQ,CAAC,MAAM,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,eAAe;IACf,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEtC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,kBAAkB;IAClB,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAC5C,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEzC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,uBAAuB,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,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;AAIL,SAAS;AACT,OAAO,EACP,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACX,cAAc;AACd,QAAQ;AACR,SAAS,EACT,WAAW,EACX,WAAW,EACX,aAAa,EACb,YAAY,EACZ,gBAAgB,GACjB,CAAC"}

package/dist/examples/auth-basic/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Auth Basic Example
+ *
+ * Demonstrates basic authentication logic with login/logout using Praxis.
+ * Shows how to define facts, events, rules, and constraints.
+ */
+interface AuthContext {
+    currentUser: string | null;
+    sessions: Array<{
+        userId: string;
+        timestamp: number;
+    }>;
+}
+declare function createAuthEngine(): import("../../index.js").LogicEngine<AuthContext>;
+declare function runExample(): void;
+export { createAuthEngine, runExample };
+//# sourceMappingURL=index.d.ts.map

package/dist/examples/auth-basic/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/examples/auth-basic/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAcH,UAAU,WAAW;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACxD;AAuFD,iBAAS,gBAAgB,sDAgBxB;AAGD,iBAAS,UAAU,SA2BlB;AAOD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC"}

package/dist/examples/auth-basic/index.js

@@ -0,0 +1,122 @@
+/**
+ * Auth Basic Example
+ *
+ * Demonstrates basic authentication logic with login/logout using Praxis.
+ * Shows how to define facts, events, rules, and constraints.
+ */
+import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, defineConstraint, findEvent, filterFacts, } from "../../index.js";
+// Define facts
+const UserLoggedIn = defineFact("UserLoggedIn");
+const UserLoggedOut = defineFact("UserLoggedOut");
+// Define events
+const Login = defineEvent("LOGIN");
+const Logout = defineEvent("LOGOUT");
+// Define rules
+const loginRule = defineRule({
+    id: "auth.login",
+    description: "Process login event and create UserLoggedIn fact",
+    impl: (_state, events) => {
+        const loginEvent = findEvent(events, Login);
+        if (!loginEvent) {
+            return [];
+        }
+        // In real app, validate password here
+        const userId = loginEvent.payload.username;
+        return [UserLoggedIn.create({ userId, timestamp: Date.now() })];
+    },
+});
+const logoutRule = defineRule({
+    id: "auth.logout",
+    description: "Process logout event and create UserLoggedOut fact",
+    impl: (state, events) => {
+        const logoutEvent = findEvent(events, Logout);
+        if (!logoutEvent || !state.context.currentUser) {
+            return [];
+        }
+        return [
+            UserLoggedOut.create({
+                userId: state.context.currentUser,
+                timestamp: Date.now(),
+            }),
+        ];
+    },
+});
+const updateContextRule = defineRule({
+    id: "auth.updateContext",
+    description: "Update context based on login/logout facts",
+    impl: (state, _events) => {
+        // This rule updates context based on facts (side effect on context)
+        const loginFacts = filterFacts(state.facts, UserLoggedIn);
+        const logoutFacts = filterFacts(state.facts, UserLoggedOut);
+        if (loginFacts.length > 0) {
+            const latestLogin = loginFacts[loginFacts.length - 1];
+            state.context.currentUser = latestLogin.payload.userId;
+            state.context.sessions.push({
+                userId: latestLogin.payload.userId,
+                timestamp: latestLogin.payload.timestamp,
+            });
+        }
+        if (logoutFacts.length > 0) {
+            state.context.currentUser = null;
+        }
+        return [];
+    },
+});
+// Define constraints
+const singleSessionConstraint = defineConstraint({
+    id: "auth.singleSession",
+    description: "Only one user can be logged in at a time",
+    impl: (state) => {
+        const loginFacts = filterFacts(state.facts, UserLoggedIn);
+        const logoutFacts = filterFacts(state.facts, UserLoggedOut);
+        const activeLogins = loginFacts.length - logoutFacts.length;
+        return activeLogins <= 1 || `Multiple active sessions detected: ${activeLogins}`;
+    },
+});
+// Create and configure the engine
+function createAuthEngine() {
+    const registry = new PraxisRegistry();
+    registry.registerRule(loginRule);
+    registry.registerRule(logoutRule);
+    registry.registerRule(updateContextRule);
+    registry.registerConstraint(singleSessionConstraint);
+    const engine = createPraxisEngine({
+        initialContext: {
+            currentUser: null,
+            sessions: [],
+        },
+        registry,
+    });
+    return engine;
+}
+// Example usage
+function runExample() {
+    console.log("=== Auth Basic Example ===\n");
+    const engine = createAuthEngine();
+    // Login
+    console.log("1. User logs in:");
+    let result = engine.step([Login.create({ username: "alice", password: "secret123" })]);
+    console.log("   Context:", engine.getContext());
+    console.log("   Facts:", result.state.facts);
+    console.log("   Diagnostics:", result.diagnostics);
+    console.log();
+    // Try to login again (should violate constraint)
+    console.log("2. Another user tries to log in:");
+    result = engine.step([Login.create({ username: "bob", password: "secret456" })]);
+    console.log("   Context:", engine.getContext());
+    console.log("   Diagnostics:", result.diagnostics);
+    console.log();
+    // Logout
+    console.log("3. User logs out:");
+    result = engine.step([Logout.create({})]);
+    console.log("   Context:", engine.getContext());
+    console.log("   Facts (last 3):", result.state.facts.slice(-3));
+    console.log("   Diagnostics:", result.diagnostics);
+    console.log();
+}
+// Run example if executed directly
+if (import.meta.url === `file://${process.argv[1]}`) {
+    runExample();
+}
+export { createAuthEngine, runExample };
+//# sourceMappingURL=index.js.map

package/dist/examples/auth-basic/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/examples/auth-basic/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AAQxB,eAAe;AACf,MAAM,YAAY,GAAG,UAAU,CAC7B,cAAc,CACf,CAAC;AACF,MAAM,aAAa,GAAG,UAAU,CAC9B,eAAe,CAChB,CAAC;AAEF,gBAAgB;AAChB,MAAM,KAAK,GAAG,WAAW,CAAkD,OAAO,CAAC,CAAC;AACpF,MAAM,MAAM,GAAG,WAAW,CAAe,QAAQ,CAAC,CAAC;AAEnD,eAAe;AACf,MAAM,SAAS,GAAG,UAAU,CAAc;IACxC,EAAE,EAAE,YAAY;IAChB,WAAW,EAAE,kDAAkD;IAC/D,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,sCAAsC;QACtC,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3C,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,UAAU,CAAc;IACzC,EAAE,EAAE,aAAa;IACjB,WAAW,EAAE,oDAAoD;IACjE,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;YAC/C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO;YACL,aAAa,CAAC,MAAM,CAAC;gBACnB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW;gBACjC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;SACH,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAc;IAChD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,4CAA4C;IACzD,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACvB,oEAAoE;QACpE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAE5D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACtD,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;YACvD,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC1B,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM;gBAClC,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS;aACzC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;QACnC,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,qBAAqB;AACrB,MAAM,uBAAuB,GAAG,gBAAgB,CAAc;IAC5D,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,0CAA0C;IACvD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAE5D,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;QAC5D,OAAO,YAAY,IAAI,CAAC,IAAI,sCAAsC,YAAY,EAAE,CAAC;IACnF,CAAC;CACF,CAAC,CAAC;AAEH,kCAAkC;AAClC,SAAS,gBAAgB;IACvB,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAe,CAAC;IACnD,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IACjC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;IACzC,QAAQ,CAAC,kBAAkB,CAAC,uBAAuB,CAAC,CAAC;IAErD,MAAM,MAAM,GAAG,kBAAkB,CAAc;QAC7C,cAAc,EAAE;YACd,WAAW,EAAE,IAAI;YACjB,QAAQ,EAAE,EAAE;SACb;QACD,QAAQ;KACT,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gBAAgB;AAChB,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAG,gBAAgB,EAAE,CAAC;IAElC,QAAQ;IACR,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IACvF,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,iDAAiD;IACjD,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAChD,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,SAAS;IACT,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACjC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,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,gBAAgB,EAAE,UAAU,EAAE,CAAC"}

package/dist/examples/cart/index.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Cart Example
+ *
+ * Demonstrates shopping cart logic with flows and derived state.
+ * Shows how to manage complex state with multiple rules and constraints.
+ */
+interface CartContext {
+    items: Array<{
+        productId: string;
+        quantity: number;
+        price: number;
+    }>;
+    total: number;
+    discountApplied: boolean;
+}
+declare function createCartEngine(): import("../../index.js").LogicEngine<CartContext>;
+declare function runExample(): void;
+export { createCartEngine, runExample };
+//# sourceMappingURL=index.d.ts.map

package/dist/examples/cart/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/examples/cart/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAeH,UAAU,WAAW;IACnB,KAAK,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,eAAe,EAAE,OAAO,CAAC;CAC1B;AA6KD,iBAAS,gBAAgB,sDAcxB;AAGD,iBAAS,UAAU,SAqClB;AAOD,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC"}