@plures/praxis 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (263) hide show
  1. package/FRAMEWORK.md +420 -0
  2. package/LICENSE +21 -0
  3. package/README.md +1310 -0
  4. package/dist/adapters/cli.d.ts +43 -0
  5. package/dist/adapters/cli.d.ts.map +1 -0
  6. package/dist/adapters/cli.js +126 -0
  7. package/dist/adapters/cli.js.map +1 -0
  8. package/dist/cli/commands/auth.d.ts +26 -0
  9. package/dist/cli/commands/auth.d.ts.map +1 -0
  10. package/dist/cli/commands/auth.js +233 -0
  11. package/dist/cli/commands/auth.js.map +1 -0
  12. package/dist/cli/commands/cloud.d.ts +27 -0
  13. package/dist/cli/commands/cloud.d.ts.map +1 -0
  14. package/dist/cli/commands/cloud.js +232 -0
  15. package/dist/cli/commands/cloud.js.map +1 -0
  16. package/dist/cli/commands/generate.d.ts +25 -0
  17. package/dist/cli/commands/generate.d.ts.map +1 -0
  18. package/dist/cli/commands/generate.js +168 -0
  19. package/dist/cli/commands/generate.js.map +1 -0
  20. package/dist/cli/index.d.ts +8 -0
  21. package/dist/cli/index.d.ts.map +1 -0
  22. package/dist/cli/index.js +179 -0
  23. package/dist/cli/index.js.map +1 -0
  24. package/dist/cloud/auth.d.ts +51 -0
  25. package/dist/cloud/auth.d.ts.map +1 -0
  26. package/dist/cloud/auth.js +194 -0
  27. package/dist/cloud/auth.js.map +1 -0
  28. package/dist/cloud/billing.d.ts +184 -0
  29. package/dist/cloud/billing.d.ts.map +1 -0
  30. package/dist/cloud/billing.js +179 -0
  31. package/dist/cloud/billing.js.map +1 -0
  32. package/dist/cloud/client.d.ts +39 -0
  33. package/dist/cloud/client.d.ts.map +1 -0
  34. package/dist/cloud/client.js +176 -0
  35. package/dist/cloud/client.js.map +1 -0
  36. package/dist/cloud/index.d.ts +44 -0
  37. package/dist/cloud/index.d.ts.map +1 -0
  38. package/dist/cloud/index.js +44 -0
  39. package/dist/cloud/index.js.map +1 -0
  40. package/dist/cloud/marketplace.d.ts +166 -0
  41. package/dist/cloud/marketplace.d.ts.map +1 -0
  42. package/dist/cloud/marketplace.js +159 -0
  43. package/dist/cloud/marketplace.js.map +1 -0
  44. package/dist/cloud/provisioning.d.ts +110 -0
  45. package/dist/cloud/provisioning.d.ts.map +1 -0
  46. package/dist/cloud/provisioning.js +148 -0
  47. package/dist/cloud/provisioning.js.map +1 -0
  48. package/dist/cloud/relay/endpoints.d.ts +62 -0
  49. package/dist/cloud/relay/endpoints.d.ts.map +1 -0
  50. package/dist/cloud/relay/endpoints.js +217 -0
  51. package/dist/cloud/relay/endpoints.js.map +1 -0
  52. package/dist/cloud/relay/health/index.d.ts +5 -0
  53. package/dist/cloud/relay/health/index.d.ts.map +1 -0
  54. package/dist/cloud/relay/health/index.js +9 -0
  55. package/dist/cloud/relay/health/index.js.map +1 -0
  56. package/dist/cloud/relay/stats/index.d.ts +5 -0
  57. package/dist/cloud/relay/stats/index.d.ts.map +1 -0
  58. package/dist/cloud/relay/stats/index.js +9 -0
  59. package/dist/cloud/relay/stats/index.js.map +1 -0
  60. package/dist/cloud/relay/sync/index.d.ts +5 -0
  61. package/dist/cloud/relay/sync/index.d.ts.map +1 -0
  62. package/dist/cloud/relay/sync/index.js +9 -0
  63. package/dist/cloud/relay/sync/index.js.map +1 -0
  64. package/dist/cloud/relay/usage/index.d.ts +5 -0
  65. package/dist/cloud/relay/usage/index.d.ts.map +1 -0
  66. package/dist/cloud/relay/usage/index.js +9 -0
  67. package/dist/cloud/relay/usage/index.js.map +1 -0
  68. package/dist/cloud/sponsors.d.ts +81 -0
  69. package/dist/cloud/sponsors.d.ts.map +1 -0
  70. package/dist/cloud/sponsors.js +130 -0
  71. package/dist/cloud/sponsors.js.map +1 -0
  72. package/dist/cloud/types.d.ts +169 -0
  73. package/dist/cloud/types.d.ts.map +1 -0
  74. package/dist/cloud/types.js +7 -0
  75. package/dist/cloud/types.js.map +1 -0
  76. package/dist/components/index.d.ts +43 -0
  77. package/dist/components/index.d.ts.map +1 -0
  78. package/dist/components/index.js +17 -0
  79. package/dist/components/index.js.map +1 -0
  80. package/dist/core/actors.d.ts +95 -0
  81. package/dist/core/actors.d.ts.map +1 -0
  82. package/dist/core/actors.js +158 -0
  83. package/dist/core/actors.js.map +1 -0
  84. package/dist/core/component/generator.d.ts +122 -0
  85. package/dist/core/component/generator.d.ts.map +1 -0
  86. package/dist/core/component/generator.js +307 -0
  87. package/dist/core/component/generator.js.map +1 -0
  88. package/dist/core/engine.d.ts +92 -0
  89. package/dist/core/engine.d.ts.map +1 -0
  90. package/dist/core/engine.js +199 -0
  91. package/dist/core/engine.js.map +1 -0
  92. package/dist/core/introspection.d.ts +141 -0
  93. package/dist/core/introspection.d.ts.map +1 -0
  94. package/dist/core/introspection.js +208 -0
  95. package/dist/core/introspection.js.map +1 -0
  96. package/dist/core/logic/generator.d.ts +76 -0
  97. package/dist/core/logic/generator.d.ts.map +1 -0
  98. package/dist/core/logic/generator.js +339 -0
  99. package/dist/core/logic/generator.js.map +1 -0
  100. package/dist/core/pluresdb/generator.d.ts +58 -0
  101. package/dist/core/pluresdb/generator.d.ts.map +1 -0
  102. package/dist/core/pluresdb/generator.js +162 -0
  103. package/dist/core/pluresdb/generator.js.map +1 -0
  104. package/dist/core/protocol.d.ts +121 -0
  105. package/dist/core/protocol.d.ts.map +1 -0
  106. package/dist/core/protocol.js +46 -0
  107. package/dist/core/protocol.js.map +1 -0
  108. package/dist/core/rules.d.ts +120 -0
  109. package/dist/core/rules.d.ts.map +1 -0
  110. package/dist/core/rules.js +81 -0
  111. package/dist/core/rules.js.map +1 -0
  112. package/dist/core/schema/loader.d.ts +47 -0
  113. package/dist/core/schema/loader.d.ts.map +1 -0
  114. package/dist/core/schema/loader.js +189 -0
  115. package/dist/core/schema/loader.js.map +1 -0
  116. package/dist/core/schema/normalize.d.ts +72 -0
  117. package/dist/core/schema/normalize.d.ts.map +1 -0
  118. package/dist/core/schema/normalize.js +190 -0
  119. package/dist/core/schema/normalize.js.map +1 -0
  120. package/dist/core/schema/types.d.ts +370 -0
  121. package/dist/core/schema/types.d.ts.map +1 -0
  122. package/dist/core/schema/types.js +161 -0
  123. package/dist/core/schema/types.js.map +1 -0
  124. package/dist/dsl/index.d.ts +152 -0
  125. package/dist/dsl/index.d.ts.map +1 -0
  126. package/dist/dsl/index.js +132 -0
  127. package/dist/dsl/index.js.map +1 -0
  128. package/dist/dsl.d.ts +124 -0
  129. package/dist/dsl.d.ts.map +1 -0
  130. package/dist/dsl.js +130 -0
  131. package/dist/dsl.js.map +1 -0
  132. package/dist/examples/advanced-todo/index.d.ts +55 -0
  133. package/dist/examples/advanced-todo/index.d.ts.map +1 -0
  134. package/dist/examples/advanced-todo/index.js +222 -0
  135. package/dist/examples/advanced-todo/index.js.map +1 -0
  136. package/dist/examples/auth-basic/index.d.ts +17 -0
  137. package/dist/examples/auth-basic/index.d.ts.map +1 -0
  138. package/dist/examples/auth-basic/index.js +122 -0
  139. package/dist/examples/auth-basic/index.js.map +1 -0
  140. package/dist/examples/cart/index.d.ts +19 -0
  141. package/dist/examples/cart/index.d.ts.map +1 -0
  142. package/dist/examples/cart/index.js +202 -0
  143. package/dist/examples/cart/index.js.map +1 -0
  144. package/dist/examples/hero-ecommerce/index.d.ts +39 -0
  145. package/dist/examples/hero-ecommerce/index.d.ts.map +1 -0
  146. package/dist/examples/hero-ecommerce/index.js +506 -0
  147. package/dist/examples/hero-ecommerce/index.js.map +1 -0
  148. package/dist/examples/svelte-counter/index.d.ts +31 -0
  149. package/dist/examples/svelte-counter/index.d.ts.map +1 -0
  150. package/dist/examples/svelte-counter/index.js +123 -0
  151. package/dist/examples/svelte-counter/index.js.map +1 -0
  152. package/dist/flows.d.ts +125 -0
  153. package/dist/flows.d.ts.map +1 -0
  154. package/dist/flows.js +160 -0
  155. package/dist/flows.js.map +1 -0
  156. package/dist/index.d.ts +67 -0
  157. package/dist/index.d.ts.map +1 -0
  158. package/dist/index.js +59 -0
  159. package/dist/index.js.map +1 -0
  160. package/dist/integrations/pluresdb.d.ts +56 -0
  161. package/dist/integrations/pluresdb.d.ts.map +1 -0
  162. package/dist/integrations/pluresdb.js +46 -0
  163. package/dist/integrations/pluresdb.js.map +1 -0
  164. package/dist/integrations/svelte.d.ts +306 -0
  165. package/dist/integrations/svelte.d.ts.map +1 -0
  166. package/dist/integrations/svelte.js +447 -0
  167. package/dist/integrations/svelte.js.map +1 -0
  168. package/dist/registry.d.ts +94 -0
  169. package/dist/registry.d.ts.map +1 -0
  170. package/dist/registry.js +181 -0
  171. package/dist/registry.js.map +1 -0
  172. package/dist/runtime/terminal-adapter.d.ts +105 -0
  173. package/dist/runtime/terminal-adapter.d.ts.map +1 -0
  174. package/dist/runtime/terminal-adapter.js +113 -0
  175. package/dist/runtime/terminal-adapter.js.map +1 -0
  176. package/dist/step.d.ts +34 -0
  177. package/dist/step.d.ts.map +1 -0
  178. package/dist/step.js +111 -0
  179. package/dist/step.js.map +1 -0
  180. package/dist/types.d.ts +63 -0
  181. package/dist/types.d.ts.map +1 -0
  182. package/dist/types.js +6 -0
  183. package/dist/types.js.map +1 -0
  184. package/docs/MONETIZATION.md +394 -0
  185. package/docs/TERMINAL_NODE.md +588 -0
  186. package/docs/guides/canvas.md +389 -0
  187. package/docs/guides/getting-started.md +347 -0
  188. package/docs/guides/history-state-pattern.md +618 -0
  189. package/docs/guides/orchestration.md +617 -0
  190. package/docs/guides/parallel-state-pattern.md +767 -0
  191. package/docs/guides/svelte-integration.md +691 -0
  192. package/package.json +96 -0
  193. package/src/__tests__/actors.test.ts +270 -0
  194. package/src/__tests__/billing.test.ts +175 -0
  195. package/src/__tests__/cloud.test.ts +247 -0
  196. package/src/__tests__/dsl.test.ts +154 -0
  197. package/src/__tests__/edge-cases.test.ts +475 -0
  198. package/src/__tests__/engine.test.ts +137 -0
  199. package/src/__tests__/generators.test.ts +270 -0
  200. package/src/__tests__/introspection.test.ts +321 -0
  201. package/src/__tests__/protocol.test.ts +40 -0
  202. package/src/__tests__/provisioning.test.ts +162 -0
  203. package/src/__tests__/schema.test.ts +241 -0
  204. package/src/__tests__/svelte-integration.test.ts +431 -0
  205. package/src/__tests__/terminal-node.test.ts +352 -0
  206. package/src/adapters/cli.ts +175 -0
  207. package/src/cli/commands/auth.ts +271 -0
  208. package/src/cli/commands/cloud.ts +281 -0
  209. package/src/cli/commands/generate.ts +225 -0
  210. package/src/cli/index.ts +190 -0
  211. package/src/cloud/README.md +383 -0
  212. package/src/cloud/auth.ts +245 -0
  213. package/src/cloud/billing.ts +336 -0
  214. package/src/cloud/client.ts +221 -0
  215. package/src/cloud/index.ts +121 -0
  216. package/src/cloud/marketplace.ts +303 -0
  217. package/src/cloud/provisioning.ts +254 -0
  218. package/src/cloud/relay/endpoints.ts +307 -0
  219. package/src/cloud/relay/health/function.json +17 -0
  220. package/src/cloud/relay/health/index.ts +10 -0
  221. package/src/cloud/relay/host.json +15 -0
  222. package/src/cloud/relay/local.settings.json +8 -0
  223. package/src/cloud/relay/stats/function.json +17 -0
  224. package/src/cloud/relay/stats/index.ts +10 -0
  225. package/src/cloud/relay/sync/function.json +17 -0
  226. package/src/cloud/relay/sync/index.ts +10 -0
  227. package/src/cloud/relay/usage/function.json +17 -0
  228. package/src/cloud/relay/usage/index.ts +10 -0
  229. package/src/cloud/sponsors.ts +213 -0
  230. package/src/cloud/types.ts +198 -0
  231. package/src/components/README.md +125 -0
  232. package/src/components/TerminalNode.svelte +457 -0
  233. package/src/components/index.ts +46 -0
  234. package/src/core/actors.ts +205 -0
  235. package/src/core/component/generator.ts +432 -0
  236. package/src/core/engine.ts +243 -0
  237. package/src/core/introspection.ts +329 -0
  238. package/src/core/logic/generator.ts +420 -0
  239. package/src/core/pluresdb/generator.ts +229 -0
  240. package/src/core/protocol.ts +132 -0
  241. package/src/core/rules.ts +167 -0
  242. package/src/core/schema/loader.ts +247 -0
  243. package/src/core/schema/normalize.ts +322 -0
  244. package/src/core/schema/types.ts +557 -0
  245. package/src/dsl/index.ts +218 -0
  246. package/src/dsl.ts +214 -0
  247. package/src/examples/advanced-todo/App.svelte +506 -0
  248. package/src/examples/advanced-todo/README.md +371 -0
  249. package/src/examples/advanced-todo/index.ts +309 -0
  250. package/src/examples/auth-basic/index.ts +163 -0
  251. package/src/examples/cart/index.ts +259 -0
  252. package/src/examples/hero-ecommerce/index.ts +657 -0
  253. package/src/examples/svelte-counter/index.ts +168 -0
  254. package/src/flows.ts +268 -0
  255. package/src/index.ts +154 -0
  256. package/src/integrations/pluresdb.ts +93 -0
  257. package/src/integrations/svelte.ts +617 -0
  258. package/src/registry.ts +223 -0
  259. package/src/runtime/terminal-adapter.ts +175 -0
  260. package/src/step.ts +151 -0
  261. package/src/types.ts +70 -0
  262. package/templates/basic-app/README.md +147 -0
  263. package/templates/fullstack-app/README.md +279 -0
@@ -0,0 +1,202 @@
1
+ /**
2
+ * Cart Example
3
+ *
4
+ * Demonstrates shopping cart logic with flows and derived state.
5
+ * Shows how to manage complex state with multiple rules and constraints.
6
+ */
7
+ import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, defineConstraint, defineModule, findEvent, filterFacts, } from "../../index.js";
8
+ // Define facts
9
+ const ItemAdded = defineFact("ItemAdded");
10
+ const ItemRemoved = defineFact("ItemRemoved");
11
+ const DiscountApplied = defineFact("DiscountApplied");
12
+ const CartCleared = defineFact("CartCleared");
13
+ // Define events
14
+ const AddToCart = defineEvent("ADD_TO_CART");
15
+ const RemoveFromCart = defineEvent("REMOVE_FROM_CART");
16
+ const ApplyDiscount = defineEvent("APPLY_DISCOUNT");
17
+ const ClearCart = defineEvent("CLEAR_CART");
18
+ // Define rules
19
+ const addToCartRule = defineRule({
20
+ id: "cart.addItem",
21
+ description: "Add item to cart",
22
+ impl: (_state, events) => {
23
+ const addEvents = events.filter(AddToCart.is);
24
+ return addEvents.map((event) => ItemAdded.create({
25
+ productId: event.payload.productId,
26
+ quantity: event.payload.quantity,
27
+ price: event.payload.price,
28
+ }));
29
+ },
30
+ });
31
+ const removeFromCartRule = defineRule({
32
+ id: "cart.removeItem",
33
+ description: "Remove item from cart",
34
+ impl: (_state, events) => {
35
+ const removeEvent = findEvent(events, RemoveFromCart);
36
+ if (!removeEvent) {
37
+ return [];
38
+ }
39
+ return [ItemRemoved.create({ productId: removeEvent.payload.productId })];
40
+ },
41
+ });
42
+ const applyDiscountRule = defineRule({
43
+ id: "cart.applyDiscount",
44
+ description: "Apply discount code",
45
+ impl: (state, events) => {
46
+ const discountEvent = findEvent(events, ApplyDiscount);
47
+ if (!discountEvent || state.context.discountApplied) {
48
+ return [];
49
+ }
50
+ // Simple discount logic: "SAVE10" = 10% off
51
+ const percentage = discountEvent.payload.code === "SAVE10" ? 10 : 0;
52
+ if (percentage > 0) {
53
+ return [DiscountApplied.create({ percentage })];
54
+ }
55
+ return [];
56
+ },
57
+ });
58
+ const clearCartRule = defineRule({
59
+ id: "cart.clear",
60
+ description: "Clear cart",
61
+ impl: (_state, events) => {
62
+ const clearEvent = findEvent(events, ClearCart);
63
+ if (!clearEvent) {
64
+ return [];
65
+ }
66
+ return [CartCleared.create({})];
67
+ },
68
+ });
69
+ const updateCartContextRule = defineRule({
70
+ id: "cart.updateContext",
71
+ description: "Update cart context based on facts",
72
+ impl: (state, _events) => {
73
+ const addedItems = filterFacts(state.facts, ItemAdded);
74
+ const removedItems = filterFacts(state.facts, ItemRemoved);
75
+ const clearedFacts = filterFacts(state.facts, CartCleared);
76
+ const discountFacts = filterFacts(state.facts, DiscountApplied);
77
+ // Check if cart was cleared
78
+ if (clearedFacts.length > 0) {
79
+ state.context.items = [];
80
+ state.context.total = 0;
81
+ state.context.discountApplied = false;
82
+ return [];
83
+ }
84
+ // Build current cart items
85
+ const itemMap = new Map();
86
+ for (const fact of addedItems) {
87
+ const existing = itemMap.get(fact.payload.productId);
88
+ if (existing) {
89
+ itemMap.set(fact.payload.productId, {
90
+ quantity: existing.quantity + fact.payload.quantity,
91
+ price: fact.payload.price,
92
+ });
93
+ }
94
+ else {
95
+ itemMap.set(fact.payload.productId, {
96
+ quantity: fact.payload.quantity,
97
+ price: fact.payload.price,
98
+ });
99
+ }
100
+ }
101
+ for (const fact of removedItems) {
102
+ itemMap.delete(fact.payload.productId);
103
+ }
104
+ // Update context
105
+ state.context.items = Array.from(itemMap.entries()).map(([productId, data]) => ({
106
+ productId,
107
+ quantity: data.quantity,
108
+ price: data.price,
109
+ }));
110
+ // Calculate total
111
+ let total = state.context.items.reduce((sum, item) => sum + item.quantity * item.price, 0);
112
+ // Apply discount if any
113
+ if (discountFacts.length > 0) {
114
+ const discount = discountFacts[discountFacts.length - 1];
115
+ total = total * (1 - discount.payload.percentage / 100);
116
+ state.context.discountApplied = true;
117
+ }
118
+ state.context.total = Math.round(total * 100) / 100; // Round to 2 decimals
119
+ return [];
120
+ },
121
+ });
122
+ // Define constraints
123
+ const maxItemsConstraint = defineConstraint({
124
+ id: "cart.maxItems",
125
+ description: "Cart cannot exceed 100 items",
126
+ impl: (state) => {
127
+ const totalQuantity = state.context.items.reduce((sum, item) => sum + item.quantity, 0);
128
+ return totalQuantity <= 100 || `Cart has ${totalQuantity} items, maximum is 100`;
129
+ },
130
+ });
131
+ const maxTotalConstraint = defineConstraint({
132
+ id: "cart.maxTotal",
133
+ description: "Cart total cannot exceed $10,000",
134
+ impl: (state) => {
135
+ return state.context.total <= 10000 || `Cart total $${state.context.total} exceeds maximum $10,000`;
136
+ },
137
+ });
138
+ // Create a module
139
+ const cartModule = defineModule({
140
+ rules: [
141
+ addToCartRule,
142
+ removeFromCartRule,
143
+ applyDiscountRule,
144
+ clearCartRule,
145
+ updateCartContextRule,
146
+ ],
147
+ constraints: [maxItemsConstraint, maxTotalConstraint],
148
+ meta: { version: "1.0.0" },
149
+ });
150
+ // Create and configure the engine
151
+ function createCartEngine() {
152
+ const registry = new PraxisRegistry();
153
+ registry.registerModule(cartModule);
154
+ const engine = createPraxisEngine({
155
+ initialContext: {
156
+ items: [],
157
+ total: 0,
158
+ discountApplied: false,
159
+ },
160
+ registry,
161
+ });
162
+ return engine;
163
+ }
164
+ // Example usage
165
+ function runExample() {
166
+ console.log("=== Cart Example ===\n");
167
+ const engine = createCartEngine();
168
+ // Add items
169
+ console.log("1. Add items to cart:");
170
+ engine.step([
171
+ AddToCart.create({ productId: "prod-1", quantity: 2, price: 29.99 }),
172
+ AddToCart.create({ productId: "prod-2", quantity: 1, price: 49.99 }),
173
+ ]);
174
+ console.log(" Cart:", engine.getContext());
175
+ console.log();
176
+ // Apply discount
177
+ console.log("2. Apply discount code:");
178
+ engine.step([ApplyDiscount.create({ code: "SAVE10" })]);
179
+ console.log(" Cart:", engine.getContext());
180
+ console.log();
181
+ // Remove item
182
+ console.log("3. Remove an item:");
183
+ engine.step([RemoveFromCart.create({ productId: "prod-1" })]);
184
+ console.log(" Cart:", engine.getContext());
185
+ console.log();
186
+ // Add more items
187
+ console.log("4. Add more items:");
188
+ engine.step([AddToCart.create({ productId: "prod-3", quantity: 3, price: 15.99 })]);
189
+ console.log(" Cart:", engine.getContext());
190
+ console.log();
191
+ // Clear cart
192
+ console.log("5. Clear cart:");
193
+ engine.step([ClearCart.create({})]);
194
+ console.log(" Cart:", engine.getContext());
195
+ console.log();
196
+ }
197
+ // Run example if executed directly
198
+ if (import.meta.url === `file://${process.argv[1]}`) {
199
+ runExample();
200
+ }
201
+ export { createCartEngine, runExample };
202
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"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"}
@@ -0,0 +1,39 @@
1
+ /**
2
+ * Hero Example: E-Commerce Platform
3
+ *
4
+ * A comprehensive example demonstrating:
5
+ * - Authentication with session management
6
+ * - Shopping cart with discount rules
7
+ * - Feature flags for A/B testing
8
+ * - Constraints for business rules
9
+ * - Actors for side effects
10
+ * - Full integration of all Praxis features
11
+ */
12
+ import { ActorManager } from "../../index.js";
13
+ interface ECommerceContext {
14
+ currentUser: string | null;
15
+ sessionStartTime: number | null;
16
+ cart: {
17
+ items: Array<{
18
+ productId: string;
19
+ quantity: number;
20
+ price: number;
21
+ }>;
22
+ total: number;
23
+ discountApplied: number;
24
+ };
25
+ features: {
26
+ freeShippingEnabled: boolean;
27
+ loyaltyProgramEnabled: boolean;
28
+ newCheckoutFlowEnabled: boolean;
29
+ };
30
+ loyaltyPoints: number;
31
+ orderHistory: string[];
32
+ }
33
+ declare function createECommerceEngine(): {
34
+ engine: import("../../index.js").LogicEngine<ECommerceContext>;
35
+ actorManager: ActorManager<ECommerceContext>;
36
+ };
37
+ declare function runDemo(): Promise<void>;
38
+ export { createECommerceEngine, runDemo };
39
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"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"}