@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,506 @@
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 { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, defineConstraint, defineModule, findEvent, filterFacts, ActorManager, } from "../../index.js";
13
+ // ============================================================================
14
+ // FACTS
15
+ // ============================================================================
16
+ // Auth Facts
17
+ const UserLoggedIn = defineFact("UserLoggedIn");
18
+ const UserLoggedOut = defineFact("UserLoggedOut");
19
+ const SessionExpired = defineFact("SessionExpired");
20
+ // Cart Facts
21
+ const ItemAdded = defineFact("ItemAdded");
22
+ const ItemRemoved = defineFact("ItemRemoved");
23
+ const DiscountApplied = defineFact("DiscountApplied");
24
+ const CartCleared = defineFact("CartCleared");
25
+ // Feature Flag Facts
26
+ const FeatureEnabled = defineFact("FeatureEnabled");
27
+ const FeatureDisabled = defineFact("FeatureDisabled");
28
+ // Business Facts
29
+ const LoyaltyPointsAwarded = defineFact("LoyaltyPointsAwarded");
30
+ const OrderPlaced = defineFact("OrderPlaced");
31
+ // ============================================================================
32
+ // EVENTS
33
+ // ============================================================================
34
+ // Auth Events
35
+ const Login = defineEvent("LOGIN");
36
+ const Logout = defineEvent("LOGOUT");
37
+ const CheckSession = defineEvent("CHECK_SESSION");
38
+ // Cart Events
39
+ const AddToCart = defineEvent("ADD_TO_CART");
40
+ const RemoveFromCart = defineEvent("REMOVE_FROM_CART");
41
+ const ApplyDiscount = defineEvent("APPLY_DISCOUNT");
42
+ const Checkout = defineEvent("CHECKOUT");
43
+ // Feature Flag Events
44
+ const EnableFeature = defineEvent("ENABLE_FEATURE");
45
+ const DisableFeature = defineEvent("DISABLE_FEATURE");
46
+ // ============================================================================
47
+ // AUTH MODULE
48
+ // ============================================================================
49
+ const loginRule = defineRule({
50
+ id: "auth.login",
51
+ description: "Process login event",
52
+ impl: (state, events) => {
53
+ const loginEvent = findEvent(events, Login);
54
+ if (!loginEvent) {
55
+ return [];
56
+ }
57
+ state.context.currentUser = loginEvent.payload.username;
58
+ state.context.sessionStartTime = Date.now();
59
+ return [
60
+ UserLoggedIn.create({
61
+ userId: loginEvent.payload.username,
62
+ timestamp: Date.now(),
63
+ }),
64
+ ];
65
+ },
66
+ });
67
+ const logoutRule = defineRule({
68
+ id: "auth.logout",
69
+ description: "Process logout event",
70
+ impl: (state, events) => {
71
+ const logoutEvent = findEvent(events, Logout);
72
+ if (!logoutEvent || !state.context.currentUser) {
73
+ return [];
74
+ }
75
+ const userId = state.context.currentUser;
76
+ state.context.currentUser = null;
77
+ state.context.sessionStartTime = null;
78
+ // Clear cart on logout
79
+ state.context.cart = {
80
+ items: [],
81
+ total: 0,
82
+ discountApplied: 0,
83
+ };
84
+ return [
85
+ UserLoggedOut.create({ userId }),
86
+ CartCleared.create({}),
87
+ ];
88
+ },
89
+ });
90
+ const sessionCheckRule = defineRule({
91
+ id: "auth.checkSession",
92
+ description: "Check for session expiration (30 minute timeout)",
93
+ impl: (state, events) => {
94
+ const checkEvent = findEvent(events, CheckSession);
95
+ if (!checkEvent || !state.context.currentUser || !state.context.sessionStartTime) {
96
+ return [];
97
+ }
98
+ const SESSION_TIMEOUT_MS = 30 * 60 * 1000; // 30 minutes
99
+ const elapsed = Date.now() - state.context.sessionStartTime;
100
+ if (elapsed > SESSION_TIMEOUT_MS) {
101
+ const userId = state.context.currentUser;
102
+ state.context.currentUser = null;
103
+ state.context.sessionStartTime = null;
104
+ state.context.cart = { items: [], total: 0, discountApplied: 0 };
105
+ return [
106
+ SessionExpired.create({ userId }),
107
+ CartCleared.create({}),
108
+ ];
109
+ }
110
+ return [];
111
+ },
112
+ });
113
+ const authConstraints = [
114
+ defineConstraint({
115
+ id: "auth.singleSession",
116
+ description: "Only one user can be logged in at a time",
117
+ impl: () => {
118
+ // This is always valid - just enforced by business logic
119
+ return true;
120
+ },
121
+ }),
122
+ ];
123
+ const authModule = defineModule({
124
+ rules: [loginRule, logoutRule, sessionCheckRule],
125
+ constraints: authConstraints,
126
+ meta: { module: "auth", version: "1.0.0" },
127
+ });
128
+ // ============================================================================
129
+ // CART MODULE
130
+ // ============================================================================
131
+ const addToCartRule = defineRule({
132
+ id: "cart.addItem",
133
+ description: "Add item to cart",
134
+ impl: (state, events) => {
135
+ const addEvents = events.filter(AddToCart.is);
136
+ if (!state.context.currentUser || addEvents.length === 0) {
137
+ return [];
138
+ }
139
+ return addEvents.map((event) => ItemAdded.create({
140
+ productId: event.payload.productId,
141
+ quantity: event.payload.quantity,
142
+ price: event.payload.price,
143
+ }));
144
+ },
145
+ meta: { dependsOn: "auth.login" },
146
+ });
147
+ const removeFromCartRule = defineRule({
148
+ id: "cart.removeItem",
149
+ description: "Remove item from cart",
150
+ impl: (state, events) => {
151
+ const removeEvent = findEvent(events, RemoveFromCart);
152
+ if (!removeEvent || !state.context.currentUser) {
153
+ return [];
154
+ }
155
+ return [ItemRemoved.create({ productId: removeEvent.payload.productId })];
156
+ },
157
+ });
158
+ const applyDiscountRule = defineRule({
159
+ id: "cart.applyDiscount",
160
+ description: "Apply discount codes",
161
+ impl: (state, events) => {
162
+ const discountEvent = findEvent(events, ApplyDiscount);
163
+ if (!discountEvent || !state.context.currentUser) {
164
+ return [];
165
+ }
166
+ const code = discountEvent.payload.code;
167
+ let discount = 0;
168
+ let reason = "";
169
+ // Discount logic
170
+ if (code === "SAVE10") {
171
+ discount = 0.10;
172
+ reason = "10% off with code SAVE10";
173
+ }
174
+ else if (code === "SAVE20" && state.context.loyaltyPoints > 100) {
175
+ discount = 0.20;
176
+ reason = "20% off for loyal customers";
177
+ }
178
+ else if (code === "FREESHIP" && state.context.features.freeShippingEnabled) {
179
+ discount = 0.05;
180
+ reason = "5% off with free shipping";
181
+ }
182
+ if (discount > 0) {
183
+ return [DiscountApplied.create({ amount: discount, reason })];
184
+ }
185
+ return [];
186
+ },
187
+ });
188
+ const updateCartContextRule = defineRule({
189
+ id: "cart.updateContext",
190
+ description: "Update cart context from facts",
191
+ impl: (state) => {
192
+ const addedItems = filterFacts(state.facts, ItemAdded);
193
+ const removedItems = filterFacts(state.facts, ItemRemoved);
194
+ const discounts = filterFacts(state.facts, DiscountApplied);
195
+ const cleared = filterFacts(state.facts, CartCleared);
196
+ if (cleared.length > 0) {
197
+ state.context.cart = { items: [], total: 0, discountApplied: 0 };
198
+ return [];
199
+ }
200
+ // Build cart items
201
+ const itemMap = new Map();
202
+ for (const fact of addedItems) {
203
+ const existing = itemMap.get(fact.payload.productId);
204
+ if (existing) {
205
+ itemMap.set(fact.payload.productId, {
206
+ quantity: existing.quantity + fact.payload.quantity,
207
+ price: fact.payload.price,
208
+ });
209
+ }
210
+ else {
211
+ itemMap.set(fact.payload.productId, {
212
+ quantity: fact.payload.quantity,
213
+ price: fact.payload.price,
214
+ });
215
+ }
216
+ }
217
+ for (const fact of removedItems) {
218
+ itemMap.delete(fact.payload.productId);
219
+ }
220
+ state.context.cart.items = Array.from(itemMap.entries()).map(([productId, data]) => ({
221
+ productId,
222
+ quantity: data.quantity,
223
+ price: data.price,
224
+ }));
225
+ // Calculate total
226
+ let total = state.context.cart.items.reduce((sum, item) => sum + item.quantity * item.price, 0);
227
+ // Apply discounts
228
+ let totalDiscount = 0;
229
+ for (const discount of discounts) {
230
+ totalDiscount = Math.max(totalDiscount, discount.payload.amount);
231
+ }
232
+ state.context.cart.discountApplied = totalDiscount;
233
+ state.context.cart.total = total * (1 - totalDiscount);
234
+ return [];
235
+ },
236
+ });
237
+ const checkoutRule = defineRule({
238
+ id: "cart.checkout",
239
+ description: "Process checkout",
240
+ impl: (state, events) => {
241
+ const checkoutEvent = findEvent(events, Checkout);
242
+ if (!checkoutEvent || !state.context.currentUser || state.context.cart.items.length === 0) {
243
+ return [];
244
+ }
245
+ const orderId = `order-${Date.now()}`;
246
+ const total = state.context.cart.total;
247
+ // Award loyalty points (1 point per dollar)
248
+ const pointsEarned = Math.floor(total);
249
+ state.context.orderHistory.push(orderId);
250
+ state.context.loyaltyPoints += pointsEarned;
251
+ state.context.cart = { items: [], total: 0, discountApplied: 0 };
252
+ return [
253
+ OrderPlaced.create({ orderId, total }),
254
+ LoyaltyPointsAwarded.create({ points: pointsEarned }),
255
+ CartCleared.create({}),
256
+ ];
257
+ },
258
+ });
259
+ const cartConstraints = [
260
+ defineConstraint({
261
+ id: "cart.maxItems",
262
+ description: "Cart cannot exceed 100 items",
263
+ impl: (state) => {
264
+ const totalQuantity = state.context.cart.items.reduce((sum, item) => sum + item.quantity, 0);
265
+ return totalQuantity <= 100 || `Cart has ${totalQuantity} items, max is 100`;
266
+ },
267
+ }),
268
+ defineConstraint({
269
+ id: "cart.requiresAuth",
270
+ description: "Cart operations require authentication",
271
+ impl: (state) => {
272
+ if (state.context.cart.items.length > 0 && !state.context.currentUser) {
273
+ return "Cart operations require authentication";
274
+ }
275
+ return true;
276
+ },
277
+ }),
278
+ ];
279
+ const cartModule = defineModule({
280
+ rules: [
281
+ addToCartRule,
282
+ removeFromCartRule,
283
+ applyDiscountRule,
284
+ updateCartContextRule,
285
+ checkoutRule,
286
+ ],
287
+ constraints: cartConstraints,
288
+ meta: { module: "cart", version: "1.0.0", dependsOn: ["auth"] },
289
+ });
290
+ // ============================================================================
291
+ // FEATURE FLAGS MODULE
292
+ // ============================================================================
293
+ const enableFeatureRule = defineRule({
294
+ id: "features.enable",
295
+ description: "Enable a feature flag",
296
+ impl: (state, events) => {
297
+ const enableEvent = findEvent(events, EnableFeature);
298
+ if (!enableEvent) {
299
+ return [];
300
+ }
301
+ const feature = enableEvent.payload.feature;
302
+ if (feature === "freeShipping") {
303
+ state.context.features.freeShippingEnabled = true;
304
+ }
305
+ else if (feature === "loyaltyProgram") {
306
+ state.context.features.loyaltyProgramEnabled = true;
307
+ }
308
+ else if (feature === "newCheckoutFlow") {
309
+ state.context.features.newCheckoutFlowEnabled = true;
310
+ }
311
+ return [FeatureEnabled.create({ feature })];
312
+ },
313
+ });
314
+ const disableFeatureRule = defineRule({
315
+ id: "features.disable",
316
+ description: "Disable a feature flag",
317
+ impl: (state, events) => {
318
+ const disableEvent = findEvent(events, DisableFeature);
319
+ if (!disableEvent) {
320
+ return [];
321
+ }
322
+ const feature = disableEvent.payload.feature;
323
+ if (feature === "freeShipping") {
324
+ state.context.features.freeShippingEnabled = false;
325
+ }
326
+ else if (feature === "loyaltyProgram") {
327
+ state.context.features.loyaltyProgramEnabled = false;
328
+ }
329
+ else if (feature === "newCheckoutFlow") {
330
+ state.context.features.newCheckoutFlowEnabled = false;
331
+ }
332
+ return [FeatureDisabled.create({ feature })];
333
+ },
334
+ });
335
+ const featureFlagsModule = defineModule({
336
+ rules: [enableFeatureRule, disableFeatureRule],
337
+ constraints: [],
338
+ meta: { module: "featureFlags", version: "1.0.0" },
339
+ });
340
+ // ============================================================================
341
+ // ACTORS
342
+ // ============================================================================
343
+ /**
344
+ * Logging actor - logs important events to console
345
+ */
346
+ const loggingActor = {
347
+ id: "logging",
348
+ description: "Logs important events",
349
+ onStateChange: (state) => {
350
+ const recentFacts = state.facts.slice(-3); // Last 3 facts
351
+ for (const fact of recentFacts) {
352
+ if (fact.tag === "UserLoggedIn" && UserLoggedIn.is(fact)) {
353
+ console.log(` [LOG] User ${fact.payload.userId} logged in`);
354
+ }
355
+ else if (fact.tag === "OrderPlaced" && OrderPlaced.is(fact)) {
356
+ console.log(` [LOG] Order ${fact.payload.orderId} placed for $${fact.payload.total.toFixed(2)}`);
357
+ }
358
+ else if (fact.tag === "SessionExpired" && SessionExpired.is(fact)) {
359
+ console.log(` [LOG] Session expired for user ${fact.payload.userId}`);
360
+ }
361
+ }
362
+ },
363
+ };
364
+ /**
365
+ * Analytics actor - tracks metrics
366
+ */
367
+ const analyticsActor = {
368
+ id: "analytics",
369
+ description: "Tracks analytics events",
370
+ onStateChange: (state) => {
371
+ // In a real app, this would send to an analytics service
372
+ const recentFacts = state.facts.slice(-1);
373
+ for (const fact of recentFacts) {
374
+ if (fact.tag === "OrderPlaced" && OrderPlaced.is(fact)) {
375
+ console.log(` [ANALYTICS] Revenue: $${fact.payload.total.toFixed(2)}`);
376
+ }
377
+ else if (fact.tag === "LoyaltyPointsAwarded" && LoyaltyPointsAwarded.is(fact)) {
378
+ console.log(` [ANALYTICS] Loyalty engagement: ${fact.payload.points} points`);
379
+ }
380
+ }
381
+ },
382
+ };
383
+ // ============================================================================
384
+ // ENGINE SETUP
385
+ // ============================================================================
386
+ function createECommerceEngine() {
387
+ const registry = new PraxisRegistry();
388
+ // Register all modules
389
+ registry.registerModule(authModule);
390
+ registry.registerModule(cartModule);
391
+ registry.registerModule(featureFlagsModule);
392
+ const engine = createPraxisEngine({
393
+ initialContext: {
394
+ currentUser: null,
395
+ sessionStartTime: null,
396
+ cart: {
397
+ items: [],
398
+ total: 0,
399
+ discountApplied: 0,
400
+ },
401
+ features: {
402
+ freeShippingEnabled: false,
403
+ loyaltyProgramEnabled: true,
404
+ newCheckoutFlowEnabled: false,
405
+ },
406
+ loyaltyPoints: 0,
407
+ orderHistory: [],
408
+ },
409
+ registry,
410
+ });
411
+ // Setup actors
412
+ const actorManager = new ActorManager();
413
+ actorManager.attachEngine(engine);
414
+ actorManager.register(loggingActor);
415
+ actorManager.register(analyticsActor);
416
+ return { engine, actorManager };
417
+ }
418
+ // ============================================================================
419
+ // DEMO SCENARIO
420
+ // ============================================================================
421
+ async function runDemo() {
422
+ console.log("=".repeat(70));
423
+ console.log("E-COMMERCE PLATFORM DEMO");
424
+ console.log("Demonstrating: Auth + Cart + Feature Flags + Actors + Constraints");
425
+ console.log("=".repeat(70));
426
+ console.log();
427
+ const { engine, actorManager } = createECommerceEngine();
428
+ await actorManager.startAll();
429
+ // Scenario 1: User Login
430
+ console.log("1. User Login");
431
+ console.log("-".repeat(70));
432
+ let result = engine.step([Login.create({ username: "alice" })]);
433
+ await actorManager.notifyStateChange(engine.getState());
434
+ console.log(` User: ${engine.getContext().currentUser}`);
435
+ console.log(` Diagnostics: ${result.diagnostics.length} issue(s)`);
436
+ console.log();
437
+ // Scenario 2: Enable Feature Flag
438
+ console.log("2. Enable Free Shipping Feature");
439
+ console.log("-".repeat(70));
440
+ result = engine.step([EnableFeature.create({ feature: "freeShipping" })]);
441
+ await actorManager.notifyStateChange(engine.getState());
442
+ console.log(` Free Shipping Enabled: ${engine.getContext().features.freeShippingEnabled}`);
443
+ console.log();
444
+ // Scenario 3: Add Items to Cart
445
+ console.log("3. Add Items to Cart");
446
+ console.log("-".repeat(70));
447
+ result = engine.step([
448
+ AddToCart.create({ productId: "laptop-1", quantity: 1, price: 999.99 }),
449
+ AddToCart.create({ productId: "mouse-1", quantity: 2, price: 29.99 }),
450
+ ]);
451
+ await actorManager.notifyStateChange(engine.getState());
452
+ const cart = engine.getContext().cart;
453
+ console.log(` Items: ${cart.items.length}`);
454
+ console.log(` Total: $${cart.total.toFixed(2)}`);
455
+ console.log();
456
+ // Scenario 4: Apply Discount
457
+ console.log("4. Apply Discount Code");
458
+ console.log("-".repeat(70));
459
+ result = engine.step([ApplyDiscount.create({ code: "SAVE10" })]);
460
+ await actorManager.notifyStateChange(engine.getState());
461
+ console.log(` Discount: ${(engine.getContext().cart.discountApplied * 100).toFixed(0)}%`);
462
+ console.log(` New Total: $${engine.getContext().cart.total.toFixed(2)}`);
463
+ console.log();
464
+ // Scenario 5: Checkout
465
+ console.log("5. Checkout");
466
+ console.log("-".repeat(70));
467
+ result = engine.step([Checkout.create({})]);
468
+ await actorManager.notifyStateChange(engine.getState());
469
+ console.log(` Orders Placed: ${engine.getContext().orderHistory.length}`);
470
+ console.log(` Loyalty Points: ${engine.getContext().loyaltyPoints}`);
471
+ console.log(` Cart Items: ${engine.getContext().cart.items.length}`);
472
+ console.log();
473
+ // Scenario 6: Add More Items and Checkout Again
474
+ console.log("6. Shop Again with Loyalty Discount");
475
+ console.log("-".repeat(70));
476
+ engine.step([
477
+ AddToCart.create({ productId: "keyboard-1", quantity: 1, price: 129.99 }),
478
+ ApplyDiscount.create({ code: "SAVE20" }), // Requires 100+ loyalty points
479
+ ]);
480
+ await actorManager.notifyStateChange(engine.getState());
481
+ console.log(` Total: $${engine.getContext().cart.total.toFixed(2)}`);
482
+ console.log(` Discount Applied: ${(engine.getContext().cart.discountApplied * 100).toFixed(0)}%`);
483
+ result = engine.step([Checkout.create({})]);
484
+ await actorManager.notifyStateChange(engine.getState());
485
+ console.log(` Total Orders: ${engine.getContext().orderHistory.length}`);
486
+ console.log(` Total Loyalty Points: ${engine.getContext().loyaltyPoints}`);
487
+ console.log();
488
+ // Scenario 7: Logout
489
+ console.log("7. User Logout");
490
+ console.log("-".repeat(70));
491
+ result = engine.step([Logout.create({})]);
492
+ await actorManager.notifyStateChange(engine.getState());
493
+ console.log(` User: ${engine.getContext().currentUser ?? "(none)"}`);
494
+ console.log(` Session Cleared: ${engine.getContext().sessionStartTime === null}`);
495
+ console.log();
496
+ await actorManager.stopAll();
497
+ console.log("=".repeat(70));
498
+ console.log("DEMO COMPLETE");
499
+ console.log("=".repeat(70));
500
+ }
501
+ // Run demo if executed directly
502
+ if (import.meta.url === `file://${process.argv[1]}`) {
503
+ runDemo().catch(console.error);
504
+ }
505
+ export { createECommerceEngine, runDemo };
506
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/examples/hero-ecommerce/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,YAAY,GAEb,MAAM,gBAAgB,CAAC;AA8BxB,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E,aAAa;AACb,MAAM,YAAY,GAAG,UAAU,CAC7B,cAAc,CACf,CAAC;AACF,MAAM,aAAa,GAAG,UAAU,CAC9B,eAAe,CAChB,CAAC;AACF,MAAM,cAAc,GAAG,UAAU,CAC/B,gBAAgB,CACjB,CAAC;AAEF,aAAa;AACb,MAAM,SAAS,GAAG,UAAU,CAC1B,WAAW,CACZ,CAAC;AACF,MAAM,WAAW,GAAG,UAAU,CAC5B,aAAa,CACd,CAAC;AACF,MAAM,eAAe,GAAG,UAAU,CAChC,iBAAiB,CAClB,CAAC;AACF,MAAM,WAAW,GAAG,UAAU,CAAoB,aAAa,CAAC,CAAC;AAEjE,qBAAqB;AACrB,MAAM,cAAc,GAAG,UAAU,CAC/B,gBAAgB,CACjB,CAAC;AACF,MAAM,eAAe,GAAG,UAAU,CAChC,iBAAiB,CAClB,CAAC;AAEF,iBAAiB;AACjB,MAAM,oBAAoB,GAAG,UAAU,CACrC,sBAAsB,CACvB,CAAC;AACF,MAAM,WAAW,GAAG,UAAU,CAC5B,aAAa,CACd,CAAC;AAEF,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E,cAAc;AACd,MAAM,KAAK,GAAG,WAAW,CAAgC,OAAO,CAAC,CAAC;AAClE,MAAM,MAAM,GAAG,WAAW,CAAe,QAAQ,CAAC,CAAC;AACnD,MAAM,YAAY,GAAG,WAAW,CAAsB,eAAe,CAAC,CAAC;AAEvE,cAAc;AACd,MAAM,SAAS,GAAG,WAAW,CAC3B,aAAa,CACd,CAAC;AACF,MAAM,cAAc,GAAG,WAAW,CAChC,kBAAkB,CACnB,CAAC;AACF,MAAM,aAAa,GAAG,WAAW,CAC/B,gBAAgB,CACjB,CAAC;AACF,MAAM,QAAQ,GAAG,WAAW,CAAiB,UAAU,CAAC,CAAC;AAEzD,sBAAsB;AACtB,MAAM,aAAa,GAAG,WAAW,CAC/B,gBAAgB,CACjB,CAAC;AACF,MAAM,cAAc,GAAG,WAAW,CAChC,iBAAiB,CAClB,CAAC;AAEF,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,SAAS,GAAG,UAAU,CAAmB;IAC7C,EAAE,EAAE,YAAY;IAChB,WAAW,EAAE,qBAAqB;IAClC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC;QACxD,KAAK,CAAC,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE5C,OAAO;YACL,YAAY,CAAC,MAAM,CAAC;gBAClB,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ;gBACnC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;SACH,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,UAAU,CAAmB;IAC9C,EAAE,EAAE,aAAa;IACjB,WAAW,EAAE,sBAAsB;IACnC,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,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;QACjC,KAAK,CAAC,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAEtC,uBAAuB;QACvB,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG;YACnB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,CAAC;SACnB,CAAC;QAEF,OAAO;YACL,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;YAChC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;SACvB,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,UAAU,CAAmB;IACpD,EAAE,EAAE,mBAAmB;IACvB,WAAW,EAAE,kDAAkD;IAC/D,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;YACjF,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,kBAAkB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,aAAa;QACxD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAE5D,IAAI,OAAO,GAAG,kBAAkB,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;YACzC,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;YACjC,KAAK,CAAC,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;YACtC,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;YAEjE,OAAO;gBACL,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;gBACjC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;aACvB,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG;IACtB,gBAAgB,CAAmB;QACjC,EAAE,EAAE,oBAAoB;QACxB,WAAW,EAAE,0CAA0C;QACvD,IAAI,EAAE,GAAG,EAAE;YACT,yDAAyD;YACzD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;CACH,CAAC;AAEF,MAAM,UAAU,GAAG,YAAY,CAAmB;IAChD,KAAK,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,gBAAgB,CAAC;IAChD,WAAW,EAAE,eAAe;IAC5B,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;CAC3C,CAAC,CAAC;AAEH,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,aAAa,GAAG,UAAU,CAAmB;IACjD,EAAE,EAAE,cAAc;IAClB,WAAW,EAAE,kBAAkB;IAC/B,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,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;IACD,IAAI,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE;CAClC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,UAAU,CAAmB;IACtD,EAAE,EAAE,iBAAiB;IACrB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtD,IAAI,CAAC,WAAW,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;YAC/C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,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,CAAmB;IACrD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,sBAAsB;IACnC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACvD,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;YACjD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC;QACxC,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,iBAAiB;QACjB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM,GAAG,0BAA0B,CAAC;QACtC,CAAC;aAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,GAAG,GAAG,EAAE,CAAC;YAClE,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM,GAAG,6BAA6B,CAAC;QACzC,CAAC;aAAM,IAAI,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC;YAC7E,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM,GAAG,2BAA2B,CAAC;QACvC,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,UAAU,CAAmB;IACzD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,gCAAgC;IAC7C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,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,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAEtD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;YACjE,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,mBAAmB;QACnB,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,KAAK,CAAC,OAAO,CAAC,IAAI,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;YACnF,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,IAAI,CAAC,KAAK,CAAC,MAAM,CACzC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,EAC/C,CAAC,CACF,CAAC;QAEF,kBAAkB;QAClB,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,GAAG,aAAa,CAAC;QACnD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;QAEvD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,UAAU,CAAmB;IAChD,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,kBAAkB;IAC/B,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1F,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,SAAS,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAEvC,4CAA4C;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAEvC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,aAAa,IAAI,YAAY,CAAC;QAC5C,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;QAEjE,OAAO;YACL,WAAW,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACtC,oBAAoB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;YACrD,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;SACvB,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG;IACtB,gBAAgB,CAAmB;QACjC,EAAE,EAAE,eAAe;QACnB,WAAW,EAAE,8BAA8B;QAC3C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACnD,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,EAClC,CAAC,CACF,CAAC;YACF,OAAO,aAAa,IAAI,GAAG,IAAI,YAAY,aAAa,oBAAoB,CAAC;QAC/E,CAAC;KACF,CAAC;IACF,gBAAgB,CAAmB;QACjC,EAAE,EAAE,mBAAmB;QACvB,WAAW,EAAE,wCAAwC;QACrD,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YACd,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;gBACtE,OAAO,wCAAwC,CAAC;YAClD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;CACH,CAAC;AAEF,MAAM,UAAU,GAAG,YAAY,CAAmB;IAChD,KAAK,EAAE;QACL,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,qBAAqB;QACrB,YAAY;KACb;IACD,WAAW,EAAE,eAAe;IAC5B,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE;CAChE,CAAC,CAAC;AAEH,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,MAAM,iBAAiB,GAAG,UAAU,CAAmB;IACrD,EAAE,EAAE,iBAAiB;IACrB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACrD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;QAC5C,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;YAC/B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,GAAG,IAAI,CAAC;QACpD,CAAC;aAAM,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;YACxC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,GAAG,IAAI,CAAC;QACtD,CAAC;aAAM,IAAI,OAAO,KAAK,iBAAiB,EAAE,CAAC;YACzC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,GAAG,IAAI,CAAC;QACvD,CAAC;QAED,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,UAAU,CAAmB;IACtD,EAAE,EAAE,kBAAkB;IACtB,WAAW,EAAE,wBAAwB;IACrC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACvD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC;QAC7C,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;YAC/B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,GAAG,KAAK,CAAC;QACrD,CAAC;aAAM,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;YACxC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,qBAAqB,GAAG,KAAK,CAAC;QACvD,CAAC;aAAM,IAAI,OAAO,KAAK,iBAAiB,EAAE,CAAC;YACzC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,sBAAsB,GAAG,KAAK,CAAC;QACxD,CAAC;QAED,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,YAAY,CAAmB;IACxD,KAAK,EAAE,CAAC,iBAAiB,EAAE,kBAAkB,CAAC;IAC9C,WAAW,EAAE,EAAE;IACf,IAAI,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE;CACnD,CAAC,CAAC;AAEH,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E;;GAEG;AACH,MAAM,YAAY,GAA4B;IAC5C,EAAE,EAAE,SAAS;IACb,WAAW,EAAE,uBAAuB;IACpC,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE;QACvB,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;QAC1D,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,GAAG,KAAK,cAAc,IAAI,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;YAC/D,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,OAAO,CAAC,OAAO,gBAAgB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpG,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,KAAK,gBAAgB,IAAI,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpE,OAAO,CAAC,GAAG,CAAC,oCAAoC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAA4B;IAC9C,EAAE,EAAE,WAAW;IACf,WAAW,EAAE,yBAAyB;IACtC,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE;QACvB,yDAAyD;QACzD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,GAAG,KAAK,aAAa,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,GAAG,CAAC,2BAA2B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,KAAK,sBAAsB,IAAI,oBAAoB,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,OAAO,CAAC,GAAG,CAAC,qCAAqC,IAAI,CAAC,OAAO,CAAC,MAAM,SAAS,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAC;AAEF,+EAA+E;AAC/E,eAAe;AACf,+EAA+E;AAE/E,SAAS,qBAAqB;IAC5B,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAoB,CAAC;IAExD,uBAAuB;IACvB,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAG,kBAAkB,CAAmB;QAClD,cAAc,EAAE;YACd,WAAW,EAAE,IAAI;YACjB,gBAAgB,EAAE,IAAI;YACtB,IAAI,EAAE;gBACJ,KAAK,EAAE,EAAE;gBACT,KAAK,EAAE,CAAC;gBACR,eAAe,EAAE,CAAC;aACnB;YACD,QAAQ,EAAE;gBACR,mBAAmB,EAAE,KAAK;gBAC1B,qBAAqB,EAAE,IAAI;gBAC3B,sBAAsB,EAAE,KAAK;aAC9B;YACD,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,EAAE;SACjB;QACD,QAAQ;KACT,CAAC,CAAC;IAEH,eAAe;IACf,MAAM,YAAY,GAAG,IAAI,YAAY,EAAoB,CAAC;IAC1D,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAClC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IAEtC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,KAAK,UAAU,OAAO;IACpB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,mEAAmE,CAAC,CAAC;IACjF,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,qBAAqB,EAAE,CAAC;IACzD,MAAM,YAAY,CAAC,QAAQ,EAAE,CAAC;IAE9B,yBAAyB;IACzB,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,IAAI,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3D,OAAO,CAAC,GAAG,CAAC,mBAAmB,MAAM,CAAC,WAAW,CAAC,MAAM,WAAW,CAAC,CAAC;IACrE,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,6BAA6B,MAAM,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC7F,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,gCAAgC;IAChC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACnB,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACvE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;KACtE,CAAC,CAAC;IACH,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,6BAA6B;IAC7B,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACtC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5F,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,uBAAuB;IACvB,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,OAAO,CAAC,GAAG,CAAC,sBAAsB,MAAM,CAAC,UAAU,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,gDAAgD;IAChD,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,IAAI,CAAC;QACV,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzE,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,+BAA+B;KAC1E,CAAC,CAAC;IACH,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,eAAe,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEpG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,oBAAoB,MAAM,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,CAAC,4BAA4B,MAAM,CAAC,UAAU,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7E,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,qBAAqB;IACrB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,CAAC,UAAU,EAAE,CAAC,WAAW,IAAI,QAAQ,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,CAAC,uBAAuB,MAAM,CAAC,UAAU,EAAE,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,MAAM,YAAY,CAAC,OAAO,EAAE,CAAC;IAE7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,gCAAgC;AAChC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpD,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAC"}
@@ -0,0 +1,31 @@
1
+ /**
2
+ * Svelte Counter Example
3
+ *
4
+ * Demonstrates Svelte v5 integration with a simple counter.
5
+ * Shows how to connect Praxis logic to reactive Svelte stores.
6
+ */
7
+ interface CounterContext {
8
+ count: number;
9
+ history: number[];
10
+ }
11
+ declare function createCounterEngine(): import("../../index.js").LogicEngine<CounterContext>;
12
+ declare function createCounterStores(): {
13
+ engine: import("../../index.js").LogicEngine<CounterContext>;
14
+ stateStore: import("../../integrations/svelte.js").Readable<Readonly<import("../../index.js").PraxisState & {
15
+ context: CounterContext;
16
+ }>> & {
17
+ dispatch: (events: import("../../index.js").PraxisEvent[]) => void;
18
+ };
19
+ countStore: import("../../integrations/svelte.js").Readable<number> & {
20
+ dispatch: (events: import("../../index.js").PraxisEvent[]) => void;
21
+ };
22
+ historyStore: import("../../integrations/svelte.js").Readable<number[]> & {
23
+ dispatch: (events: import("../../index.js").PraxisEvent[]) => void;
24
+ };
25
+ increment: (amount?: number) => void;
26
+ decrement: (amount?: number) => void;
27
+ reset: () => void;
28
+ };
29
+ declare function runExample(): void;
30
+ export { createCounterEngine, createCounterStores, runExample };
31
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/examples/svelte-counter/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,UAAU,cAAc;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAoED,iBAAS,mBAAmB,yDAe3B;AAGD,iBAAS,mBAAmB;;;;;;;;;;;;;yBAaH,MAAM;yBAGN,MAAM;;EAO9B;AAGD,iBAAS,UAAU,SA2BlB;AAOD,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,UAAU,EAAE,CAAC"}