@plures/praxis 0.2.0

package/dist/core/schema/types.js

@@ -0,0 +1,161 @@
+/**
+ * Praxis Schema System
+ *
+ * Declarative schema definitions for generating models, components, logic, and documentation.
+ */
+/**
+ * Validate a Praxis schema
+ */
+export function validateSchema(schema) {
+    const errors = [];
+    // Basic validation
+    if (!schema.version) {
+        errors.push({ path: 'version', message: 'Schema version is required' });
+    }
+    if (!schema.name) {
+        errors.push({ path: 'name', message: 'Schema name is required' });
+    }
+    // Validate models
+    if (schema.models) {
+        schema.models.forEach((model, index) => {
+            if (!model.name) {
+                errors.push({
+                    path: `models[${index}].name`,
+                    message: 'Model name is required',
+                });
+            }
+            if (!model.fields || model.fields.length === 0) {
+                errors.push({
+                    path: `models[${index}].fields`,
+                    message: 'Model must have at least one field',
+                });
+            }
+        });
+    }
+    // Validate components
+    if (schema.components) {
+        schema.components.forEach((component, index) => {
+            if (!component.name) {
+                errors.push({
+                    path: `components[${index}].name`,
+                    message: 'Component name is required',
+                });
+            }
+            if (!component.type) {
+                errors.push({
+                    path: `components[${index}].type`,
+                    message: 'Component type is required',
+                });
+            }
+        });
+    }
+    // Validate logic definitions
+    if (schema.logic) {
+        schema.logic.forEach((logic, logicIndex) => {
+            // Validate fact tags
+            if (logic.facts) {
+                logic.facts.forEach((fact, factIndex) => {
+                    if (!fact.tag) {
+                        errors.push({
+                            path: `logic[${logicIndex}].facts[${factIndex}].tag`,
+                            message: 'Fact tag is required',
+                        });
+                    }
+                    else if (!isValidIdentifier(fact.tag)) {
+                        errors.push({
+                            path: `logic[${logicIndex}].facts[${factIndex}].tag`,
+                            message: `Fact tag "${fact.tag}" is not a valid JavaScript identifier. Use only letters, numbers, underscores, and dollar signs, and do not start with a number.`,
+                        });
+                    }
+                });
+            }
+            // Validate event tags
+            if (logic.events) {
+                logic.events.forEach((event, eventIndex) => {
+                    if (!event.tag) {
+                        errors.push({
+                            path: `logic[${logicIndex}].events[${eventIndex}].tag`,
+                            message: 'Event tag is required',
+                        });
+                    }
+                    else if (!isValidIdentifier(event.tag)) {
+                        errors.push({
+                            path: `logic[${logicIndex}].events[${eventIndex}].tag`,
+                            message: `Event tag "${event.tag}" is not a valid JavaScript identifier. Use only letters, numbers, underscores, and dollar signs, and do not start with a number.`,
+                        });
+                    }
+                });
+            }
+        });
+    }
+    // Validate orchestration nodes
+    if (schema.orchestration?.nodes) {
+        schema.orchestration.nodes.forEach((node, index) => {
+            if (!node.id) {
+                errors.push({
+                    path: `orchestration.nodes[${index}].id`,
+                    message: 'Node id is required',
+                });
+            }
+            if (!node.type) {
+                errors.push({
+                    path: `orchestration.nodes[${index}].type`,
+                    message: 'Node type is required',
+                });
+            }
+            // Validate terminal node specific props
+            if (node.type === 'terminal' && node.props) {
+                const props = node.props;
+                if (props.inputMode && !['text', 'widget'].includes(props.inputMode)) {
+                    errors.push({
+                        path: `orchestration.nodes[${index}].props.inputMode`,
+                        message: 'Terminal node inputMode must be "text" or "widget"',
+                    });
+                }
+                if (props.history && !Array.isArray(props.history)) {
+                    errors.push({
+                        path: `orchestration.nodes[${index}].props.history`,
+                        message: 'Terminal node history must be an array',
+                    });
+                }
+            }
+        });
+    }
+    return {
+        valid: errors.length === 0,
+        errors,
+    };
+}
+/**
+ * Check if a string is a valid JavaScript identifier
+ */
+function isValidIdentifier(str) {
+    // JavaScript identifier must start with letter, $, or _
+    // and can contain letters, digits, $, or _
+    const identifierRegex = /^[a-zA-Z_$][a-zA-Z0-9_$]*$/;
+    // Also check that it's not a reserved keyword
+    const reservedKeywords = [
+        'break', 'case', 'catch', 'class', 'const', 'continue', 'debugger',
+        'default', 'delete', 'do', 'else', 'export', 'extends', 'finally',
+        'for', 'function', 'if', 'import', 'in', 'instanceof', 'new',
+        'return', 'super', 'switch', 'this', 'throw', 'try', 'typeof',
+        'var', 'void', 'while', 'with', 'yield', 'let', 'static',
+        'enum', 'await', 'implements', 'interface', 'package', 'private',
+        'protected', 'public',
+    ];
+    return identifierRegex.test(str) && !reservedKeywords.includes(str);
+}
+/**
+ * Create a basic schema template
+ */
+export function createSchemaTemplate(name) {
+    return {
+        version: '1.0.0',
+        name,
+        description: `Schema for ${name}`,
+        models: [],
+        components: [],
+        logic: [],
+    };
+}
+//# sourceMappingURL=types.js.map

package/dist/core/schema/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/schema/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAoYH;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,mBAAmB;IACnB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,kBAAkB;IAClB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACrC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,UAAU,KAAK,QAAQ;oBAC7B,OAAO,EAAE,wBAAwB;iBAClC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,UAAU,KAAK,UAAU;oBAC/B,OAAO,EAAE,oCAAoC;iBAC9C,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB;IACtB,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YAC7C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc,KAAK,QAAQ;oBACjC,OAAO,EAAE,4BAA4B;iBACtC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc,KAAK,QAAQ;oBACjC,OAAO,EAAE,4BAA4B;iBACtC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,6BAA6B;IAC7B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;YACzC,qBAAqB;YACrB,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;oBACtC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;wBACd,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS,UAAU,WAAW,SAAS,OAAO;4BACpD,OAAO,EAAE,sBAAsB;yBAChC,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS,UAAU,WAAW,SAAS,OAAO;4BACpD,OAAO,EAAE,aAAa,IAAI,CAAC,GAAG,mIAAmI;yBAClK,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YAED,sBAAsB;YACtB,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjB,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;oBACzC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;wBACf,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS,UAAU,YAAY,UAAU,OAAO;4BACtD,OAAO,EAAE,uBAAuB;yBACjC,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBACzC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,SAAS,UAAU,YAAY,UAAU,OAAO;4BACtD,OAAO,EAAE,cAAc,KAAK,CAAC,GAAG,mIAAmI;yBACpK,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC;QAChC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACjD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,uBAAuB,KAAK,MAAM;oBACxC,OAAO,EAAE,qBAAqB;iBAC/B,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,uBAAuB,KAAK,QAAQ;oBAC1C,OAAO,EAAE,uBAAuB;iBACjC,CAAC,CAAC;YACL,CAAC;YAED,wCAAwC;YACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAmC,CAAC;gBACvD,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oBACrE,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,uBAAuB,KAAK,mBAAmB;wBACrD,OAAO,EAAE,oDAAoD;qBAC9D,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,uBAAuB,KAAK,iBAAiB;wBACnD,OAAO,EAAE,wCAAwC;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,GAAW;IACpC,wDAAwD;IACxD,2CAA2C;IAC3C,MAAM,eAAe,GAAG,4BAA4B,CAAC;IAErD,8CAA8C;IAC9C,MAAM,gBAAgB,GAAG;QACvB,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU;QAClE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS;QACjE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK;QAC5D,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ;QAC7D,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ;QACxD,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS;QAChE,WAAW,EAAE,QAAQ;KACtB,CAAC;IAEF,OAAO,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACtE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,IAAI;QACJ,WAAW,EAAE,cAAc,IAAI,EAAE;QACjC,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,EAAE;QACd,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC"}

package/dist/dsl/index.d.ts

@@ -0,0 +1,152 @@
+/**
+ * DSL Helpers
+ *
+ * Ergonomic TypeScript helpers for defining facts, events, rules, constraints, and flows.
+ * These produce both strongly-typed APIs and serializable descriptors.
+ */
+import type { PraxisEvent, PraxisFact } from "../core/protocol.js";
+import type { RuleDescriptor, ConstraintDescriptor, PraxisModule, RuleFn, ConstraintFn } from "../core/rules.js";
+/**
+ * Strongly typed fact definition
+ */
+export interface FactDefinition<TTag extends string, TPayload> {
+    tag: TTag;
+    create(payload: TPayload): PraxisFact & {
+        tag: TTag;
+        payload: TPayload;
+    };
+    is(fact: PraxisFact): fact is PraxisFact & {
+        tag: TTag;
+        payload: TPayload;
+    };
+}
+/**
+ * Define a typed fact
+ *
+ * @example
+ * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
+ * const fact = UserLoggedIn.create({ userId: "123" });
+ * if (UserLoggedIn.is(fact)) {
+ *   console.log(fact.payload.userId); // Type-safe!
+ * }
+ */
+export declare function defineFact<TTag extends string, TPayload>(tag: TTag): FactDefinition<TTag, TPayload>;
+/**
+ * Strongly typed event definition
+ */
+export interface EventDefinition<TTag extends string, TPayload> {
+    tag: TTag;
+    create(payload: TPayload): PraxisEvent & {
+        tag: TTag;
+        payload: TPayload;
+    };
+    is(event: PraxisEvent): event is PraxisEvent & {
+        tag: TTag;
+        payload: TPayload;
+    };
+}
+/**
+ * Define a typed event
+ *
+ * @example
+ * const Login = defineEvent<"LOGIN", { username: string; password: string }>("LOGIN");
+ * const event = Login.create({ username: "alice", password: "secret" });
+ */
+export declare function defineEvent<TTag extends string, TPayload>(tag: TTag): EventDefinition<TTag, TPayload>;
+/**
+ * Options for defining a rule
+ */
+export interface DefineRuleOptions<TContext = unknown> {
+    id: string;
+    description: string;
+    impl: RuleFn<TContext>;
+    meta?: Record<string, unknown>;
+}
+/**
+ * Define a rule
+ *
+ * @example
+ * const loginRule = defineRule({
+ *   id: "auth.login",
+ *   description: "Process login event",
+ *   impl: (state, events) => {
+ *     const loginEvent = events.find(Login.is);
+ *     if (loginEvent) {
+ *       return [UserLoggedIn.create({ userId: loginEvent.payload.username })];
+ *     }
+ *     return [];
+ *   }
+ * });
+ */
+export declare function defineRule<TContext = unknown>(options: DefineRuleOptions<TContext>): RuleDescriptor<TContext>;
+/**
+ * Options for defining a constraint
+ */
+export interface DefineConstraintOptions<TContext = unknown> {
+    id: string;
+    description: string;
+    impl: ConstraintFn<TContext>;
+    meta?: Record<string, unknown>;
+}
+/**
+ * Define a constraint
+ *
+ * @example
+ * const maxCartItems = defineConstraint({
+ *   id: "cart.maxItems",
+ *   description: "Cart cannot exceed 100 items",
+ *   impl: (state) => {
+ *     const itemCount = state.context.items?.length ?? 0;
+ *     return itemCount <= 100 || `Cart has ${itemCount} items, maximum is 100`;
+ *   }
+ * });
+ */
+export declare function defineConstraint<TContext = unknown>(options: DefineConstraintOptions<TContext>): ConstraintDescriptor<TContext>;
+/**
+ * Options for defining a module
+ */
+export interface DefineModuleOptions<TContext = unknown> {
+    rules?: RuleDescriptor<TContext>[];
+    constraints?: ConstraintDescriptor<TContext>[];
+    meta?: Record<string, unknown>;
+}
+/**
+ * Define a module (bundle of rules and constraints)
+ *
+ * @example
+ * const authModule = defineModule({
+ *   rules: [loginRule, logoutRule],
+ *   constraints: [maxSessionsConstraint],
+ *   meta: { version: "1.0.0" }
+ * });
+ */
+export declare function defineModule<TContext = unknown>(options: DefineModuleOptions<TContext>): PraxisModule<TContext>;
+/**
+ * Helper to filter events by definition
+ */
+export declare function filterEvents<TTag extends string, TPayload>(events: PraxisEvent[], definition: EventDefinition<TTag, TPayload>): Array<PraxisEvent & {
+    tag: TTag;
+    payload: TPayload;
+}>;
+/**
+ * Helper to filter facts by definition
+ */
+export declare function filterFacts<TTag extends string, TPayload>(facts: PraxisFact[], definition: FactDefinition<TTag, TPayload>): Array<PraxisFact & {
+    tag: TTag;
+    payload: TPayload;
+}>;
+/**
+ * Helper to find first event matching definition
+ */
+export declare function findEvent<TTag extends string, TPayload>(events: PraxisEvent[], definition: EventDefinition<TTag, TPayload>): (PraxisEvent & {
+    tag: TTag;
+    payload: TPayload;
+}) | undefined;
+/**
+ * Helper to find first fact matching definition
+ */
+export declare function findFact<TTag extends string, TPayload>(facts: PraxisFact[], definition: FactDefinition<TTag, TPayload>): (PraxisFact & {
+    tag: TTag;
+    payload: TPayload;
+}) | undefined;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EACV,cAAc,EACd,oBAAoB,EACpB,YAAY,EACZ,MAAM,EACN,YAAY,EACb,MAAM,kBAAkB,CAAC;AAE1B;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ;IAC3D,GAAG,EAAE,IAAI,CAAC;IACV,MAAM,CAAC,OAAO,EAAE,QAAQ,GAAG,UAAU,GAAG;QAAE,GAAG,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE,CAAC;IACzE,EAAE,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,IAAI,UAAU,GAAG;QAAE,GAAG,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE,CAAC;CAC7E;AAED;;;;;;;;;GASG;AACH,wBAAgB,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACtD,GAAG,EAAE,IAAI,GACR,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAUhC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ;IAC5D,GAAG,EAAE,IAAI,CAAC;IACV,MAAM,CAAC,OAAO,EAAE,QAAQ,GAAG,WAAW,GAAG;QAAE,GAAG,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE,CAAC;IAC1E,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,KAAK,IAAI,WAAW,GAAG;QAAE,GAAG,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,QAAQ,CAAA;KAAE,CAAC;CACjF;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACvD,GAAG,EAAE,IAAI,GACR,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,CAUjC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,QAAQ,GAAG,OAAO;IACnD,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CAAC,QAAQ,GAAG,OAAO,EAC3C,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,GACnC,cAAc,CAAC,QAAQ,CAAC,CAO1B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB,CAAC,QAAQ,GAAG,OAAO;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,GAAG,OAAO,EACjD,OAAO,EAAE,uBAAuB,CAAC,QAAQ,CAAC,GACzC,oBAAoB,CAAC,QAAQ,CAAC,CAOhC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,QAAQ,GAAG,OAAO;IACrD,KAAK,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IACnC,WAAW,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC/C,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,QAAQ,GAAG,OAAO,EAC7C,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,GACrC,YAAY,CAAC,QAAQ,CAAC,CAMxB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACxD,MAAM,EAAE,WAAW,EAAE,EACrB,UAAU,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC1C,KAAK,CAAC,WAAW,GAAG;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,CAEvD;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACvD,KAAK,EAAE,UAAU,EAAE,EACnB,UAAU,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzC,KAAK,CAAC,UAAU,GAAG;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,CAEtD;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACrD,MAAM,EAAE,WAAW,EAAE,EACrB,UAAU,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,GAC1C,CAAC,WAAW,GAAG;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAE9D;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EACpD,KAAK,EAAE,UAAU,EAAE,EACnB,UAAU,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzC,CAAC,UAAU,GAAG;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG,SAAS,CAE7D"}

package/dist/dsl/index.js

@@ -0,0 +1,132 @@
+/**
+ * DSL Helpers
+ *
+ * Ergonomic TypeScript helpers for defining facts, events, rules, constraints, and flows.
+ * These produce both strongly-typed APIs and serializable descriptors.
+ */
+/**
+ * Define a typed fact
+ *
+ * @example
+ * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
+ * const fact = UserLoggedIn.create({ userId: "123" });
+ * if (UserLoggedIn.is(fact)) {
+ *   console.log(fact.payload.userId); // Type-safe!
+ * }
+ */
+export function defineFact(tag) {
+    return {
+        tag,
+        create(payload) {
+            return { tag, payload };
+        },
+        is(fact) {
+            return fact.tag === tag;
+        },
+    };
+}
+/**
+ * Define a typed event
+ *
+ * @example
+ * const Login = defineEvent<"LOGIN", { username: string; password: string }>("LOGIN");
+ * const event = Login.create({ username: "alice", password: "secret" });
+ */
+export function defineEvent(tag) {
+    return {
+        tag,
+        create(payload) {
+            return { tag, payload };
+        },
+        is(event) {
+            return event.tag === tag;
+        },
+    };
+}
+/**
+ * Define a rule
+ *
+ * @example
+ * const loginRule = defineRule({
+ *   id: "auth.login",
+ *   description: "Process login event",
+ *   impl: (state, events) => {
+ *     const loginEvent = events.find(Login.is);
+ *     if (loginEvent) {
+ *       return [UserLoggedIn.create({ userId: loginEvent.payload.username })];
+ *     }
+ *     return [];
+ *   }
+ * });
+ */
+export function defineRule(options) {
+    return {
+        id: options.id,
+        description: options.description,
+        impl: options.impl,
+        meta: options.meta,
+    };
+}
+/**
+ * Define a constraint
+ *
+ * @example
+ * const maxCartItems = defineConstraint({
+ *   id: "cart.maxItems",
+ *   description: "Cart cannot exceed 100 items",
+ *   impl: (state) => {
+ *     const itemCount = state.context.items?.length ?? 0;
+ *     return itemCount <= 100 || `Cart has ${itemCount} items, maximum is 100`;
+ *   }
+ * });
+ */
+export function defineConstraint(options) {
+    return {
+        id: options.id,
+        description: options.description,
+        impl: options.impl,
+        meta: options.meta,
+    };
+}
+/**
+ * Define a module (bundle of rules and constraints)
+ *
+ * @example
+ * const authModule = defineModule({
+ *   rules: [loginRule, logoutRule],
+ *   constraints: [maxSessionsConstraint],
+ *   meta: { version: "1.0.0" }
+ * });
+ */
+export function defineModule(options) {
+    return {
+        rules: options.rules ?? [],
+        constraints: options.constraints ?? [],
+        meta: options.meta,
+    };
+}
+/**
+ * Helper to filter events by definition
+ */
+export function filterEvents(events, definition) {
+    return events.filter(definition.is);
+}
+/**
+ * Helper to filter facts by definition
+ */
+export function filterFacts(facts, definition) {
+    return facts.filter(definition.is);
+}
+/**
+ * Helper to find first event matching definition
+ */
+export function findEvent(events, definition) {
+    return events.find(definition.is);
+}
+/**
+ * Helper to find first fact matching definition
+ */
+export function findFact(facts, definition) {
+    return facts.find(definition.is);
+}
+//# sourceMappingURL=index.js.map

package/dist/dsl/index.js.map

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

package/dist/dsl.d.ts

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

package/dist/dsl.d.ts.map

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