@plures/praxis 1.0.2 → 1.1.0

package/src/core/schema/types.ts

@@ -1,6 +1,6 @@
 /**
  * Praxis Schema System
- * 
+ *
  * Declarative schema definitions for generating models, components, logic, and documentation.
  */
 
@@ -494,7 +494,7 @@ export function validateSchema(schema: PraxisSchema): ValidationResult {
           message: 'Node type is required',
         });
       }
-      
+
       // Validate terminal node specific props
       if (node.type === 'terminal' && node.props) {
         const props = node.props as Partial<TerminalNodeProps>;
@@ -527,18 +527,54 @@ function isValidIdentifier(str: string): boolean {
   // 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',
+    '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);
 }
 

package/src/dsl/index.ts

@@ -1,18 +1,18 @@
 /**
  * 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 { PraxisEvent, PraxisFact } from '../core/protocol.js';
 import type {
   RuleDescriptor,
   ConstraintDescriptor,
   PraxisModule,
   RuleFn,
   ConstraintFn,
-} from "../core/rules.js";
+} from '../core/rules.js';
 
 /**
  * Strongly typed fact definition
@@ -25,7 +25,7 @@ export interface FactDefinition<TTag extends string, TPayload> {
 
 /**
  * Define a typed fact
- * 
+ *
  * @example
  * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
  * const fact = UserLoggedIn.create({ userId: "123" });
@@ -58,7 +58,7 @@ export interface EventDefinition<TTag extends string, TPayload> {
 
 /**
  * Define a typed event
- * 
+ *
  * @example
  * const Login = defineEvent<"LOGIN", { username: string; password: string }>("LOGIN");
  * const event = Login.create({ username: "alice", password: "secret" });
@@ -89,7 +89,7 @@ export interface DefineRuleOptions<TContext = unknown> {
 
 /**
  * Define a rule
- * 
+ *
  * @example
  * const loginRule = defineRule({
  *   id: "auth.login",
@@ -126,7 +126,7 @@ export interface DefineConstraintOptions<TContext = unknown> {
 
 /**
  * Define a constraint
- * 
+ *
  * @example
  * const maxCartItems = defineConstraint({
  *   id: "cart.maxItems",
@@ -159,7 +159,7 @@ export interface DefineModuleOptions<TContext = unknown> {
 
 /**
  * Define a module (bundle of rules and constraints)
- * 
+ *
  * @example
  * const authModule = defineModule({
  *   rules: [loginRule, logoutRule],

package/src/dsl.ts

@@ -9,26 +9,23 @@ 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;
+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[];
+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
-> {
+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 */
@@ -69,10 +66,7 @@ export interface ConstraintViolation {
 /**
  * DSL builder for creating rules with a fluent interface.
  */
-export class RuleBuilder<
-  S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
-> {
+export class RuleBuilder<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
   private rule: Partial<Rule<S, E>> = {};
 
   /**
@@ -201,7 +195,7 @@ export class ConstraintBuilder<S extends PraxisState = PraxisState> {
  */
 export function rule<
   S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
+  E extends PraxisEvent = PraxisEvent,
 >(): RuleBuilder<S, E> {
   return new RuleBuilder<S, E>();
 }