@plures/praxis 1.0.2 → 1.1.0

package/dist/src/dsl/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAoBH;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACxB,GAAS;IAET,OAAO;QACL,GAAG;QACH,MAAM,CAAC,OAAiB;YACtB,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QAC1B,CAAC;QACD,EAAE,CAAC,IAAgB;YACjB,OAAO,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC;QAC1B,CAAC;KACF,CAAC;AACJ,CAAC;AAWD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,GAAS;IAET,OAAO;QACL,GAAG;QACH,MAAM,CAAC,OAAiB;YACtB,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QAC1B,CAAC;QACD,EAAE,CAAC,KAAkB;YACnB,OAAO,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAYD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CACxB,OAAoC;IAEpC,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAYD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAA0C;IAE1C,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAWD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAsC;IAEtC,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACtC,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAqB,EACrB,UAA2C;IAE3C,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CACzB,KAAmB,EACnB,UAA0C;IAE1C,OAAO,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,MAAqB,EACrB,UAA2C;IAE3C,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAmB,EACnB,UAA0C;IAE1C,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;AACnC,CAAC"}

package/dist/src/dsl.d.ts

@@ -1,124 +0,0 @@
-/**
- * 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.
- */
-import type { PraxisState, PraxisEvent, Effect } from './types.js';
-/**
- * A condition function that checks if a rule should fire.
- */
-export type Condition<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> = (state: S, event: E) => boolean;
-/**
- * An action function that produces effects when a rule fires.
- */
-export type Action<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> = (state: S, event: E) => Effect[];
-/**
- * A rule that fires when its condition is met.
- */
-export interface Rule<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
-    /** Unique identifier for the rule */
-    id: string;
-    /** Human-readable description of what the rule does */
-    description?: string;
-    /** Priority for rule execution (higher numbers = higher priority) */
-    priority?: number;
-    /** Condition that must be true for the rule to fire */
-    when: Condition<S, E>;
-    /** Action to execute when the rule fires */
-    then: Action<S, E>;
-    /** Optional event type filter - only check this rule for matching events */
-    eventType?: string;
-}
-/**
- * A constraint that must hold true in valid states.
- */
-export interface Constraint<S extends PraxisState = PraxisState> {
-    /** Unique identifier for the constraint */
-    id: string;
-    /** Human-readable description of the constraint */
-    description?: string;
-    /** Function that returns true if the constraint is satisfied */
-    check: (state: S) => boolean;
-    /** Error message to return when constraint is violated */
-    errorMessage?: string;
-}
-/**
- * Result of checking a constraint.
- */
-export interface ConstraintViolation {
-    constraintId: string;
-    message: string;
-    state?: PraxisState;
-}
-/**
- * DSL builder for creating rules with a fluent interface.
- */
-export declare class RuleBuilder<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
-    private rule;
-    /**
-     * Set the rule ID.
-     */
-    id(id: string): this;
-    /**
-     * Set the rule description.
-     */
-    describe(description: string): this;
-    /**
-     * Set the rule priority.
-     */
-    priority(priority: number): this;
-    /**
-     * Set the event type filter.
-     */
-    on(eventType: string): this;
-    /**
-     * Set the condition for when the rule should fire.
-     */
-    when(condition: Condition<S, E>): this;
-    /**
-     * Set the action to execute when the rule fires.
-     */
-    then(action: Action<S, E>): this;
-    /**
-     * Build the final rule.
-     */
-    build(): Rule<S, E>;
-}
-/**
- * DSL builder for creating constraints with a fluent interface.
- */
-export declare class ConstraintBuilder<S extends PraxisState = PraxisState> {
-    private constraint;
-    /**
-     * Set the constraint ID.
-     */
-    id(id: string): this;
-    /**
-     * Set the constraint description.
-     */
-    describe(description: string): this;
-    /**
-     * Set the constraint check function.
-     */
-    check(check: (state: S) => boolean): this;
-    /**
-     * Set the error message for constraint violations.
-     */
-    message(errorMessage: string): this;
-    /**
-     * Build the final constraint.
-     */
-    build(): Constraint<S>;
-}
-/**
- * Factory functions for creating rules and constraints using the DSL.
- */
-/**
- * Create a new rule using the fluent builder API.
- */
-export declare function rule<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(): RuleBuilder<S, E>;
-/**
- * Create a new constraint using the fluent builder API.
- */
-export declare function constraint<S extends PraxisState = PraxisState>(): ConstraintBuilder<S>;
-//# sourceMappingURL=dsl.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"dsl.d.ts","sourceRoot":"","sources":["../../src/dsl.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEnE;;GAEG;AACH,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,IACjC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;AAEpC;;GAEG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,IACjC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;AAErC;;GAEG;AACH,MAAM,WAAW,IAAI,CACnB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,uDAAuD;IACvD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uDAAuD;IACvD,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtB,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAC7D,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,mDAAmD;IACnD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IAC7B,0DAA0D;IAC1D,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAED;;GAEG;AACH,qBAAa,WAAW,CACtB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,OAAO,CAAC,IAAI,CAA2B;IAEvC;;OAEG;IACH,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAKpB;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI;IAKnC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAKhC;;OAEG;IACH,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAK3B;;OAEG;IACH,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAKtC;;OAEG;IACH,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;IAKhC;;OAEG;IACH,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;CAYpB;AAED;;GAEG;AACH,qBAAa,iBAAiB,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAChE,OAAO,CAAC,UAAU,CAA8B;IAEhD;;OAEG;IACH,EAAE,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAKpB;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI;IAKnC;;OAEG;IACH,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI;IAKzC;;OAEG;IACH,OAAO,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI;IAKnC;;OAEG;IACH,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC;CASvB;AAED;;GAEG;AAEH;;GAEG;AACH,wBAAgB,IAAI,CAClB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,KAChC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAErB;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAEtF"}

package/dist/src/dsl.js

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

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

@@ -1,55 +0,0 @@
-/**
- * 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/src/examples/advanced-todo/index.d.ts.map

@@ -1 +0,0 @@
-{"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/src/examples/advanced-todo/index.js

@@ -1,222 +0,0 @@
-/**
- * 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/src/examples/advanced-todo/index.js.map

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

@@ -1,17 +0,0 @@
-/**
- * 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/src/examples/auth-basic/index.d.ts.map

@@ -1 +0,0 @@
-{"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"}