@plures/praxis 1.0.3 → 1.1.1

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

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

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

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

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

package/dist/src/examples/cart/index.js

@@ -1,202 +0,0 @@
-/**
- * Cart Example
- *
- * Demonstrates shopping cart logic with flows and derived state.
- * Shows how to manage complex state with multiple rules and constraints.
- */
-import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, defineConstraint, defineModule, findEvent, filterFacts, } from "../../index.js";
-// Define facts
-const ItemAdded = defineFact("ItemAdded");
-const ItemRemoved = defineFact("ItemRemoved");
-const DiscountApplied = defineFact("DiscountApplied");
-const CartCleared = defineFact("CartCleared");
-// Define events
-const AddToCart = defineEvent("ADD_TO_CART");
-const RemoveFromCart = defineEvent("REMOVE_FROM_CART");
-const ApplyDiscount = defineEvent("APPLY_DISCOUNT");
-const ClearCart = defineEvent("CLEAR_CART");
-// Define rules
-const addToCartRule = defineRule({
-    id: "cart.addItem",
-    description: "Add item to cart",
-    impl: (_state, events) => {
-        const addEvents = events.filter(AddToCart.is);
-        return addEvents.map((event) => ItemAdded.create({
-            productId: event.payload.productId,
-            quantity: event.payload.quantity,
-            price: event.payload.price,
-        }));
-    },
-});
-const removeFromCartRule = defineRule({
-    id: "cart.removeItem",
-    description: "Remove item from cart",
-    impl: (_state, events) => {
-        const removeEvent = findEvent(events, RemoveFromCart);
-        if (!removeEvent) {
-            return [];
-        }
-        return [ItemRemoved.create({ productId: removeEvent.payload.productId })];
-    },
-});
-const applyDiscountRule = defineRule({
-    id: "cart.applyDiscount",
-    description: "Apply discount code",
-    impl: (state, events) => {
-        const discountEvent = findEvent(events, ApplyDiscount);
-        if (!discountEvent || state.context.discountApplied) {
-            return [];
-        }
-        // Simple discount logic: "SAVE10" = 10% off
-        const percentage = discountEvent.payload.code === "SAVE10" ? 10 : 0;
-        if (percentage > 0) {
-            return [DiscountApplied.create({ percentage })];
-        }
-        return [];
-    },
-});
-const clearCartRule = defineRule({
-    id: "cart.clear",
-    description: "Clear cart",
-    impl: (_state, events) => {
-        const clearEvent = findEvent(events, ClearCart);
-        if (!clearEvent) {
-            return [];
-        }
-        return [CartCleared.create({})];
-    },
-});
-const updateCartContextRule = defineRule({
-    id: "cart.updateContext",
-    description: "Update cart context based on facts",
-    impl: (state, _events) => {
-        const addedItems = filterFacts(state.facts, ItemAdded);
-        const removedItems = filterFacts(state.facts, ItemRemoved);
-        const clearedFacts = filterFacts(state.facts, CartCleared);
-        const discountFacts = filterFacts(state.facts, DiscountApplied);
-        // Check if cart was cleared
-        if (clearedFacts.length > 0) {
-            state.context.items = [];
-            state.context.total = 0;
-            state.context.discountApplied = false;
-            return [];
-        }
-        // Build current cart items
-        const itemMap = new Map();
-        for (const fact of addedItems) {
-            const existing = itemMap.get(fact.payload.productId);
-            if (existing) {
-                itemMap.set(fact.payload.productId, {
-                    quantity: existing.quantity + fact.payload.quantity,
-                    price: fact.payload.price,
-                });
-            }
-            else {
-                itemMap.set(fact.payload.productId, {
-                    quantity: fact.payload.quantity,
-                    price: fact.payload.price,
-                });
-            }
-        }
-        for (const fact of removedItems) {
-            itemMap.delete(fact.payload.productId);
-        }
-        // Update context
-        state.context.items = Array.from(itemMap.entries()).map(([productId, data]) => ({
-            productId,
-            quantity: data.quantity,
-            price: data.price,
-        }));
-        // Calculate total
-        let total = state.context.items.reduce((sum, item) => sum + item.quantity * item.price, 0);
-        // Apply discount if any
-        if (discountFacts.length > 0) {
-            const discount = discountFacts[discountFacts.length - 1];
-            total = total * (1 - discount.payload.percentage / 100);
-            state.context.discountApplied = true;
-        }
-        state.context.total = Math.round(total * 100) / 100; // Round to 2 decimals
-        return [];
-    },
-});
-// Define constraints
-const maxItemsConstraint = defineConstraint({
-    id: "cart.maxItems",
-    description: "Cart cannot exceed 100 items",
-    impl: (state) => {
-        const totalQuantity = state.context.items.reduce((sum, item) => sum + item.quantity, 0);
-        return totalQuantity <= 100 || `Cart has ${totalQuantity} items, maximum is 100`;
-    },
-});
-const maxTotalConstraint = defineConstraint({
-    id: "cart.maxTotal",
-    description: "Cart total cannot exceed $10,000",
-    impl: (state) => {
-        return state.context.total <= 10000 || `Cart total $${state.context.total} exceeds maximum $10,000`;
-    },
-});
-// Create a module
-const cartModule = defineModule({
-    rules: [
-        addToCartRule,
-        removeFromCartRule,
-        applyDiscountRule,
-        clearCartRule,
-        updateCartContextRule,
-    ],
-    constraints: [maxItemsConstraint, maxTotalConstraint],
-    meta: { version: "1.0.0" },
-});
-// Create and configure the engine
-function createCartEngine() {
-    const registry = new PraxisRegistry();
-    registry.registerModule(cartModule);
-    const engine = createPraxisEngine({
-        initialContext: {
-            items: [],
-            total: 0,
-            discountApplied: false,
-        },
-        registry,
-    });
-    return engine;
-}
-// Example usage
-function runExample() {
-    console.log("=== Cart Example ===\n");
-    const engine = createCartEngine();
-    // Add items
-    console.log("1. Add items to cart:");
-    engine.step([
-        AddToCart.create({ productId: "prod-1", quantity: 2, price: 29.99 }),
-        AddToCart.create({ productId: "prod-2", quantity: 1, price: 49.99 }),
-    ]);
-    console.log("   Cart:", engine.getContext());
-    console.log();
-    // Apply discount
-    console.log("2. Apply discount code:");
-    engine.step([ApplyDiscount.create({ code: "SAVE10" })]);
-    console.log("   Cart:", engine.getContext());
-    console.log();
-    // Remove item
-    console.log("3. Remove an item:");
-    engine.step([RemoveFromCart.create({ productId: "prod-1" })]);
-    console.log("   Cart:", engine.getContext());
-    console.log();
-    // Add more items
-    console.log("4. Add more items:");
-    engine.step([AddToCart.create({ productId: "prod-3", quantity: 3, price: 15.99 })]);
-    console.log("   Cart:", engine.getContext());
-    console.log();
-    // Clear cart
-    console.log("5. Clear cart:");
-    engine.step([ClearCart.create({})]);
-    console.log("   Cart:", engine.getContext());
-    console.log();
-}
-// Run example if executed directly
-if (import.meta.url === `file://${process.argv[1]}`) {
-    runExample();
-}
-export { createCartEngine, runExample };
-//# sourceMappingURL=index.js.map

package/dist/src/examples/cart/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/examples/cart/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AASxB,eAAe;AACf,MAAM,SAAS,GAAG,UAAU,CAC1B,WAAW,CACZ,CAAC;AACF,MAAM,WAAW,GAAG,UAAU,CAAuC,aAAa,CAAC,CAAC;AACpF,MAAM,eAAe,GAAG,UAAU,CAA4C,iBAAiB,CAAC,CAAC;AACjG,MAAM,WAAW,GAAG,UAAU,CAAoB,aAAa,CAAC,CAAC;AAEjE,gBAAgB;AAChB,MAAM,SAAS,GAAG,WAAW,CAC3B,aAAa,CACd,CAAC;AACF,MAAM,cAAc,GAAG,WAAW,CAA4C,kBAAkB,CAAC,CAAC;AAClG,MAAM,aAAa,GAAG,WAAW,CAAqC,gBAAgB,CAAC,CAAC;AACxF,MAAM,SAAS,GAAG,WAAW,CAAmB,YAAY,CAAC,CAAC;AAE9D,eAAe;AACf,MAAM,aAAa,GAAG,UAAU,CAAc;IAC5C,EAAE,EAAE,cAAc;IAClB,WAAW,EAAE,kBAAkB;IAC/B,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,SAAS,CAAC,MAAM,CAAC;YACf,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;YAClC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;YAChC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;SAC3B,CAAC,CACH,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,UAAU,CAAc;IACjD,EAAE,EAAE,iBAAiB;IACrB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAc;IAChD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,qBAAqB;IAClC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACvD,IAAI,CAAC,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YACpD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,4CAA4C;QAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,UAAU,CAAc;IAC5C,EAAE,EAAE,YAAY;IAChB,WAAW,EAAE,YAAY;IACzB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,UAAU,CAAc;IACpD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,oCAAoC;IACjD,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAEhE,4BAA4B;QAC5B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,OAAO,CAAC,eAAe,GAAG,KAAK,CAAC;YACtC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,2BAA2B;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+C,CAAC;QAEvE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBAClC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ;oBACnD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;iBAC1B,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBAClC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;oBAC/B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC;QAED,iBAAiB;QACjB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9E,SAAS;YACT,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAC,CAAC;QAEJ,kBAAkB;QAClB,IAAI,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,EAC/C,CAAC,CACF,CAAC;QAEF,wBAAwB;QACxB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzD,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;YACxD,KAAK,CAAC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;QACvC,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,sBAAsB;QAE3E,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,qBAAqB;AACrB,MAAM,kBAAkB,GAAG,gBAAgB,CAAc;IACvD,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,8BAA8B;IAC3C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACxF,OAAO,aAAa,IAAI,GAAG,IAAI,YAAY,aAAa,wBAAwB,CAAC;IACnF,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,gBAAgB,CAAc;IACvD,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,kCAAkC;IAC/C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,IAAI,eAAe,KAAK,CAAC,OAAO,CAAC,KAAK,0BAA0B,CAAC;IACtG,CAAC;CACF,CAAC,CAAC;AAEH,kBAAkB;AAClB,MAAM,UAAU,GAAG,YAAY,CAAc;IAC3C,KAAK,EAAE;QACL,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,qBAAqB;KACtB;IACD,WAAW,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IACrD,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC3B,CAAC,CAAC;AAEH,kCAAkC;AAClC,SAAS,gBAAgB;IACvB,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAe,CAAC;IACnD,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAEpC,MAAM,MAAM,GAAG,kBAAkB,CAAc;QAC7C,cAAc,EAAE;YACd,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,KAAK;SACvB;QACD,QAAQ;KACT,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gBAAgB;AAChB,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEtC,MAAM,MAAM,GAAG,gBAAgB,EAAE,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC;QACV,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACpE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;KACrE,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,cAAc;IACd,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,aAAa;IACb,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,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/src/examples/hero-ecommerce/index.d.ts

@@ -1,39 +0,0 @@
-/**
- * Hero Example: E-Commerce Platform
- *
- * A comprehensive example demonstrating:
- * - Authentication with session management
- * - Shopping cart with discount rules
- * - Feature flags for A/B testing
- * - Constraints for business rules
- * - Actors for side effects
- * - Full integration of all Praxis features
- */
-import { ActorManager } from "../../index.js";
-interface ECommerceContext {
-    currentUser: string | null;
-    sessionStartTime: number | null;
-    cart: {
-        items: Array<{
-            productId: string;
-            quantity: number;
-            price: number;
-        }>;
-        total: number;
-        discountApplied: number;
-    };
-    features: {
-        freeShippingEnabled: boolean;
-        loyaltyProgramEnabled: boolean;
-        newCheckoutFlowEnabled: boolean;
-    };
-    loyaltyPoints: number;
-    orderHistory: string[];
-}
-declare function createECommerceEngine(): {
-    engine: import("../../index.js").LogicEngine<ECommerceContext>;
-    actorManager: ActorManager<ECommerceContext>;
-};
-declare function runDemo(): Promise<void>;
-export { createECommerceEngine, runDemo };
-//# sourceMappingURL=index.d.ts.map

package/dist/src/examples/hero-ecommerce/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/examples/hero-ecommerce/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAUL,YAAY,EAEb,MAAM,gBAAgB,CAAC;AAMxB,UAAU,gBAAgB;IAExB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAGhC,IAAI,EAAE;QACJ,KAAK,EAAE,KAAK,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACrE,KAAK,EAAE,MAAM,CAAC;QACd,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IAGF,QAAQ,EAAE;QACR,mBAAmB,EAAE,OAAO,CAAC;QAC7B,qBAAqB,EAAE,OAAO,CAAC;QAC/B,sBAAsB,EAAE,OAAO,CAAC;KACjC,CAAC;IAGF,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAkdD,iBAAS,qBAAqB;;;EAmC7B;AAMD,iBAAe,OAAO,kBA0FrB;AAOD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAC"}