@plures/praxis 0.2.0

package/dist/registry.js

@@ -0,0 +1,181 @@
+/**
+ * Registry for managing rules and constraints in Praxis.
+ * Provides registration, retrieval, and execution capabilities.
+ */
+/**
+ * Registry for managing rules and constraints.
+ */
+export class Registry {
+    rules = new Map();
+    constraints = new Map();
+    /**
+     * Register a new rule.
+     * @throws Error if a rule with the same ID already exists
+     */
+    registerRule(rule) {
+        if (this.rules.has(rule.id)) {
+            throw new Error(`Rule with id '${rule.id}' already exists`);
+        }
+        this.rules.set(rule.id, rule);
+    }
+    /**
+     * Register multiple rules at once.
+     */
+    registerRules(rules) {
+        for (const rule of rules) {
+            this.registerRule(rule);
+        }
+    }
+    /**
+     * Unregister a rule by ID.
+     */
+    unregisterRule(id) {
+        return this.rules.delete(id);
+    }
+    /**
+     * Get a rule by ID.
+     */
+    getRule(id) {
+        return this.rules.get(id);
+    }
+    /**
+     * Get all registered rules.
+     */
+    getAllRules() {
+        return Array.from(this.rules.values());
+    }
+    /**
+     * Get rules that match a specific event type.
+     */
+    getRulesForEvent(eventType) {
+        return Array.from(this.rules.values()).filter((rule) => !rule.eventType || rule.eventType === eventType);
+    }
+    /**
+     * Register a new constraint.
+     * @throws Error if a constraint with the same ID already exists
+     */
+    registerConstraint(constraint) {
+        if (this.constraints.has(constraint.id)) {
+            throw new Error(`Constraint with id '${constraint.id}' already exists`);
+        }
+        this.constraints.set(constraint.id, constraint);
+    }
+    /**
+     * Register multiple constraints at once.
+     */
+    registerConstraints(constraints) {
+        for (const constraint of constraints) {
+            this.registerConstraint(constraint);
+        }
+    }
+    /**
+     * Unregister a constraint by ID.
+     */
+    unregisterConstraint(id) {
+        return this.constraints.delete(id);
+    }
+    /**
+     * Get a constraint by ID.
+     */
+    getConstraint(id) {
+        return this.constraints.get(id);
+    }
+    /**
+     * Get all registered constraints.
+     */
+    getAllConstraints() {
+        return Array.from(this.constraints.values());
+    }
+    /**
+     * Evaluate all rules for a given state and event.
+     * Returns all effects produced by rules that fire.
+     */
+    evaluateRules(state, event) {
+        const effects = [];
+        // Get rules that match the event type
+        const applicableRules = this.getRulesForEvent(event.type);
+        // Sort by priority (higher priority first)
+        const sortedRules = applicableRules.sort((a, b) => (b.priority ?? 0) - (a.priority ?? 0));
+        // Evaluate each rule
+        for (const rule of sortedRules) {
+            try {
+                if (rule.when(state, event)) {
+                    const ruleEffects = rule.then(state, event);
+                    effects.push(...ruleEffects);
+                }
+            }
+            catch (error) {
+                console.error(`Error evaluating rule '${rule.id}':`, error);
+            }
+        }
+        return effects;
+    }
+    /**
+     * Check all constraints for a given state.
+     * Returns an array of violations (empty if all constraints pass).
+     */
+    checkConstraints(state) {
+        const violations = [];
+        for (const constraint of this.constraints.values()) {
+            try {
+                if (!constraint.check(state)) {
+                    violations.push({
+                        constraintId: constraint.id,
+                        message: constraint.errorMessage ||
+                            `Constraint '${constraint.id}' violated`,
+                        state,
+                    });
+                }
+            }
+            catch (error) {
+                violations.push({
+                    constraintId: constraint.id,
+                    message: `Error checking constraint '${constraint.id}': ${error}`,
+                    state,
+                });
+            }
+        }
+        return violations;
+    }
+    /**
+     * Clear all rules from the registry.
+     */
+    clearRules() {
+        this.rules.clear();
+    }
+    /**
+     * Clear all constraints from the registry.
+     */
+    clearConstraints() {
+        this.constraints.clear();
+    }
+    /**
+     * Clear all rules and constraints from the registry.
+     */
+    clear() {
+        this.clearRules();
+        this.clearConstraints();
+    }
+    /**
+     * Get statistics about the registry.
+     */
+    getStats() {
+        const rulesByEventType = {};
+        for (const rule of this.rules.values()) {
+            const eventType = rule.eventType || '*';
+            rulesByEventType[eventType] = (rulesByEventType[eventType] || 0) + 1;
+        }
+        return {
+            ruleCount: this.rules.size,
+            constraintCount: this.constraints.size,
+            rulesByEventType,
+        };
+    }
+}
+/**
+ * Create a new registry instance.
+ */
+export function createRegistry() {
+    return new Registry();
+}
+//# sourceMappingURL=registry.js.map

package/dist/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH;;GAEG;AACH,MAAM,OAAO,QAAQ;IAIX,KAAK,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC3C,WAAW,GAA+B,IAAI,GAAG,EAAE,CAAC;IAE5D;;;OAGG;IACH,YAAY,CAAC,IAAgB;QAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAmB;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,EAAU;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,EAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,SAAiB;QAChC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC3C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAC1D,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,UAAyB;QAC1C,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,uBAAuB,UAAU,CAAC,EAAE,kBAAkB,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,mBAAmB,CAAC,WAA4B;QAC9C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,EAAU;QAC7B,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,iBAAiB;QACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,KAAQ,EAAE,KAAQ;QAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,sCAAsC;QACtC,MAAM,eAAe,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE1D,2CAA2C;QAC3C,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAChD,CAAC;QAEF,qBAAqB;QACrB,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC5B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC5C,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,KAAK,CAAC,0BAA0B,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,KAAQ;QACvB,MAAM,UAAU,GAA0B,EAAE,CAAC;QAE7C,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC;gBACH,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,UAAU,CAAC,IAAI,CAAC;wBACd,YAAY,EAAE,UAAU,CAAC,EAAE;wBAC3B,OAAO,EACL,UAAU,CAAC,YAAY;4BACvB,eAAe,UAAU,CAAC,EAAE,YAAY;wBAC1C,KAAK;qBACN,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACd,YAAY,EAAE,UAAU,CAAC,EAAE;oBAC3B,OAAO,EAAE,8BAA8B,UAAU,CAAC,EAAE,MAAM,KAAK,EAAE;oBACjE,KAAK;iBACN,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,UAAU;QACR,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,gBAAgB;QACd,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,CAAC,gBAAgB,EAAE,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,QAAQ;QAKN,MAAM,gBAAgB,GAA2B,EAAE,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;YACxC,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACvE,CAAC;QAED,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;YAC1B,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI;YACtC,gBAAgB;SACjB,CAAC;IACJ,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,cAAc;IAI5B,OAAO,IAAI,QAAQ,EAAQ,CAAC;AAC9B,CAAC"}

package/dist/runtime/terminal-adapter.d.ts

@@ -0,0 +1,105 @@
+/**
+ * Terminal Node Runtime Adapter
+ *
+ * Handles terminal command execution and state management.
+ * Integrates with pluresDB for state synchronization.
+ */
+import type { TerminalNodeProps } from '../core/schema/types.js';
+/**
+ * Terminal command execution result
+ */
+export interface TerminalExecutionResult {
+    /** Command that was executed */
+    command: string;
+    /** Output from the command */
+    output: string;
+    /** Exit code (0 for success) */
+    exitCode: number;
+    /** Execution timestamp */
+    timestamp: number;
+    /** Error message if execution failed */
+    error?: string;
+}
+/**
+ * Terminal node state
+ */
+export interface TerminalNodeState extends TerminalNodeProps {
+    /** Node identifier */
+    nodeId: string;
+    /** Current working directory */
+    cwd?: string;
+    /** Environment variables */
+    env?: Record<string, string>;
+}
+/**
+ * Terminal adapter options
+ */
+export interface TerminalAdapterOptions {
+    /** Node identifier */
+    nodeId: string;
+    /** Initial props */
+    props?: Partial<TerminalNodeProps>;
+    /** PluresDB path for input binding */
+    inputPath?: string;
+    /** PluresDB path for output binding */
+    outputPath?: string;
+}
+/**
+ * Terminal Runtime Adapter
+ *
+ * Manages terminal node execution and state.
+ *
+ * Note: PluresDB input/output path bindings will be implemented
+ * when pluresDB integration is complete.
+ */
+export declare class TerminalAdapter {
+    private state;
+    private outputPath?;
+    constructor(options: TerminalAdapterOptions);
+    /**
+     * Execute a terminal command
+     *
+     * @param command - Command to execute
+     * @returns Execution result
+     */
+    executeCommand(command: string): Promise<TerminalExecutionResult>;
+    /**
+     * Get current terminal state
+     */
+    getState(): Readonly<TerminalNodeState>;
+    /**
+     * Update terminal props
+     */
+    updateProps(props: Partial<TerminalNodeProps>): void;
+    /**
+     * Clear command history
+     */
+    clearHistory(): void;
+    /**
+     * Get command history
+     */
+    getHistory(): ReadonlyArray<string>;
+    /**
+     * Sync state to pluresDB (placeholder)
+     *
+     * @param _path - PluresDB path (unused until integration is complete)
+     * @param _data - Data to sync (unused until integration is complete)
+     */
+    private syncToPluresDB;
+}
+/**
+ * Create a terminal adapter instance
+ *
+ * @param options - Terminal adapter options
+ * @returns Terminal adapter instance
+ */
+export declare function createTerminalAdapter(options: TerminalAdapterOptions): TerminalAdapter;
+/**
+ * Run a terminal command (convenience function)
+ *
+ * @param nodeId - Terminal node identifier
+ * @param command - Command to execute
+ * @returns Execution result
+ */
+export declare function runTerminalCommand(nodeId: string, command: string): Promise<TerminalExecutionResult>;
+//# sourceMappingURL=terminal-adapter.d.ts.map

package/dist/runtime/terminal-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-adapter.d.ts","sourceRoot":"","sources":["../../src/runtime/terminal-adapter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,gCAAgC;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,wCAAwC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACnC,sCAAsC;IACtC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uCAAuC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,KAAK,CAAoB;IACjC,OAAO,CAAC,UAAU,CAAC,CAAS;gBAEhB,OAAO,EAAE,sBAAsB;IAY3C;;;;;OAKG;IACG,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAwBvE;;OAEG;IACH,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,CAAC;IAIvC;;OAEG;IACH,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,UAAU,IAAI,aAAa,CAAC,MAAM,CAAC;IAInC;;;;;OAKG;YACW,cAAc;CAK7B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,sBAAsB,GAC9B,eAAe,CAEjB;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,uBAAuB,CAAC,CAGlC"}

package/dist/runtime/terminal-adapter.js

@@ -0,0 +1,113 @@
+/**
+ * Terminal Node Runtime Adapter
+ *
+ * Handles terminal command execution and state management.
+ * Integrates with pluresDB for state synchronization.
+ */
+/**
+ * Terminal Runtime Adapter
+ *
+ * Manages terminal node execution and state.
+ *
+ * Note: PluresDB input/output path bindings will be implemented
+ * when pluresDB integration is complete.
+ */
+export class TerminalAdapter {
+    state;
+    outputPath;
+    constructor(options) {
+        this.state = {
+            nodeId: options.nodeId,
+            inputMode: options.props?.inputMode || 'text',
+            history: options.props?.history || [],
+            lastOutput: options.props?.lastOutput || null,
+        };
+        // TODO: Store inputPath when pluresDB integration is complete
+        // const inputPath = options.inputPath;
+        this.outputPath = options.outputPath;
+    }
+    /**
+     * Execute a terminal command
+     *
+     * @param command - Command to execute
+     * @returns Execution result
+     */
+    async executeCommand(command) {
+        // Add to history
+        this.state.history.push(command);
+        // TODO: Integrate with RuneBook execution model
+        // For now, return a stubbed response
+        const result = {
+            command,
+            output: `[Stub] Command received: ${command}\nIntegration with RuneBook pending.`,
+            exitCode: 0,
+            timestamp: Date.now(),
+        };
+        // Update last output
+        this.state.lastOutput = result.output;
+        // TODO: Sync to pluresDB output path when integration is available
+        if (this.outputPath) {
+            await this.syncToPluresDB(this.outputPath, result);
+        }
+        return result;
+    }
+    /**
+     * Get current terminal state
+     */
+    getState() {
+        return { ...this.state };
+    }
+    /**
+     * Update terminal props
+     */
+    updateProps(props) {
+        this.state = {
+            ...this.state,
+            ...props,
+        };
+    }
+    /**
+     * Clear command history
+     */
+    clearHistory() {
+        this.state.history = [];
+    }
+    /**
+     * Get command history
+     */
+    getHistory() {
+        return [...this.state.history];
+    }
+    /**
+     * Sync state to pluresDB (placeholder)
+     *
+     * @param _path - PluresDB path (unused until integration is complete)
+     * @param _data - Data to sync (unused until integration is complete)
+     */
+    async syncToPluresDB(_path, _data) {
+        // TODO: Implement pluresDB sync when integration is available
+        // When implemented, this will sync terminal output to the specified pluresDB path
+        // for reactive state management across the application
+    }
+}
+/**
+ * Create a terminal adapter instance
+ *
+ * @param options - Terminal adapter options
+ * @returns Terminal adapter instance
+ */
+export function createTerminalAdapter(options) {
+    return new TerminalAdapter(options);
+}
+/**
+ * Run a terminal command (convenience function)
+ *
+ * @param nodeId - Terminal node identifier
+ * @param command - Command to execute
+ * @returns Execution result
+ */
+export async function runTerminalCommand(nodeId, command) {
+    const adapter = createTerminalAdapter({ nodeId });
+    return adapter.executeCommand(command);
+}
+//# sourceMappingURL=terminal-adapter.js.map

package/dist/runtime/terminal-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-adapter.js","sourceRoot":"","sources":["../../src/runtime/terminal-adapter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA8CH;;;;;;;GAOG;AACH,MAAM,OAAO,eAAe;IAClB,KAAK,CAAoB;IACzB,UAAU,CAAU;IAE5B,YAAY,OAA+B;QACzC,IAAI,CAAC,KAAK,GAAG;YACX,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,SAAS,IAAI,MAAM;YAC7C,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE;YACrC,UAAU,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,IAAI,IAAI;SAC9C,CAAC;QACF,8DAA8D;QAC9D,uCAAuC;QACvC,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IACvC,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,cAAc,CAAC,OAAe;QAClC,iBAAiB;QACjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEjC,gDAAgD;QAChD,qCAAqC;QACrC,MAAM,MAAM,GAA4B;YACtC,OAAO;YACP,MAAM,EAAE,4BAA4B,OAAO,sCAAsC;YACjF,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB,CAAC;QAEF,qBAAqB;QACrB,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;QAEtC,mEAAmE;QACnE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QACrD,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,KAAiC;QAC3C,IAAI,CAAC,KAAK,GAAG;YACX,GAAG,IAAI,CAAC,KAAK;YACb,GAAG,KAAK;SACT,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,YAAY;QACV,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,cAAc,CAAC,KAAa,EAAE,KAAc;QACxD,8DAA8D;QAC9D,kFAAkF;QAClF,uDAAuD;IACzD,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAA+B;IAE/B,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,MAAc,EACd,OAAe;IAEf,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC"}

package/dist/step.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Core step function implementation for Praxis.
+ * Pure function that transitions from one state to another given an event.
+ */
+import type { PraxisState, PraxisEvent, StepFunction } from './types.js';
+import type { Registry } from './registry.js';
+/**
+ * Options for creating a step function.
+ */
+export interface StepOptions<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
+    /** Registry containing rules and constraints */
+    registry?: Registry<S, E>;
+    /** Whether to check constraints before and after state transitions */
+    checkConstraints?: boolean;
+    /** Custom reducer function for state transitions */
+    reducer?: (state: S, event: E) => S;
+}
+/**
+ * Create a step function that integrates with the registry.
+ * This is the main entry point for creating state transition logic.
+ */
+export declare function createStepFunction<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(options?: StepOptions<S, E>): StepFunction<S, E>;
+/**
+ * Simple step function that just applies a reducer.
+ * Useful for basic state transitions without rules or constraints.
+ */
+export declare function step<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(reducer: (state: S, event: E) => S): StepFunction<S, E>;
+/**
+ * Compose multiple step functions into a single step function.
+ * Each step function is applied in sequence, with the output of one
+ * becoming the input to the next.
+ */
+export declare function compose<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent>(...steps: StepFunction<S, E>[]): StepFunction<S, E>;
+//# sourceMappingURL=step.d.ts.map

package/dist/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../src/step.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAc,YAAY,EAAE,MAAM,YAAY,CAAC;AACrF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW;IAEnC,gDAAgD;IAChD,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,oDAAoD;IACpD,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;CACrC;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,OAAO,GAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAM,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAgErD;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAClB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAYxD;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CACrB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,GAAG,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAyBpD"}

package/dist/step.js

@@ -0,0 +1,111 @@
+/**
+ * Core step function implementation for Praxis.
+ * Pure function that transitions from one state to another given an event.
+ */
+/**
+ * Create a step function that integrates with the registry.
+ * This is the main entry point for creating state transition logic.
+ */
+export function createStepFunction(options = {}) {
+    const { registry, checkConstraints = true, reducer } = options;
+    return (state, event) => {
+        const errors = [];
+        // Check constraints before transition
+        if (checkConstraints && registry) {
+            const violations = registry.checkConstraints(state);
+            if (violations.length > 0) {
+                errors.push(...violations.map((v) => `Pre-condition: ${v.message}`));
+                // Return current state with errors
+                return { state, errors };
+            }
+        }
+        // Apply the reducer to get the new state
+        let newState;
+        if (reducer) {
+            try {
+                newState = reducer(state, event);
+            }
+            catch (error) {
+                errors.push(`Reducer error: ${error}`);
+                return { state, errors };
+            }
+        }
+        else {
+            // Default behavior: merge event data into facts
+            newState = {
+                ...state,
+                facts: {
+                    ...state.facts,
+                    ...(event.data || {}),
+                },
+                metadata: {
+                    ...state.metadata,
+                    lastUpdated: event.timestamp,
+                    version: (state.metadata?.version || 0) + 1,
+                },
+            };
+        }
+        // Evaluate rules to get effects
+        const effects = registry ? registry.evaluateRules(newState, event) : [];
+        // Check constraints after transition
+        if (checkConstraints && registry) {
+            const violations = registry.checkConstraints(newState);
+            if (violations.length > 0) {
+                errors.push(...violations.map((v) => `Post-condition: ${v.message}`));
+                // Return previous state with errors to maintain invariants
+                return { state, errors };
+            }
+        }
+        return {
+            state: newState,
+            effects,
+            errors: errors.length > 0 ? errors : undefined,
+        };
+    };
+}
+/**
+ * Simple step function that just applies a reducer.
+ * Useful for basic state transitions without rules or constraints.
+ */
+export function step(reducer) {
+    return (state, event) => {
+        try {
+            const newState = reducer(state, event);
+            return { state: newState };
+        }
+        catch (error) {
+            return {
+                state,
+                errors: [`Step error: ${error}`],
+            };
+        }
+    };
+}
+/**
+ * Compose multiple step functions into a single step function.
+ * Each step function is applied in sequence, with the output of one
+ * becoming the input to the next.
+ */
+export function compose(...steps) {
+    return (state, event) => {
+        let currentState = state;
+        const allEffects = [];
+        const allErrors = [];
+        for (const stepFn of steps) {
+            const result = stepFn(currentState, event);
+            currentState = result.state;
+            if (result.effects) {
+                allEffects.push(...result.effects);
+            }
+            if (result.errors) {
+                allErrors.push(...result.errors);
+            }
+        }
+        return {
+            state: currentState,
+            effects: allEffects.length > 0 ? allEffects : undefined,
+            errors: allErrors.length > 0 ? allErrors : undefined,
+        };
+    };
+}
+//# sourceMappingURL=step.js.map

package/dist/step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.js","sourceRoot":"","sources":["../src/step.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAoBH;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAGhC,UAA6B,EAAE;IAC/B,MAAM,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAE/D,OAAO,CAAC,KAAQ,EAAE,KAAQ,EAAiB,EAAE;QAC3C,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,sCAAsC;QACtC,IAAI,gBAAgB,IAAI,QAAQ,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;YACpD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CACT,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,OAAO,EAAE,CAAC,CACxD,CAAC;gBACF,mCAAmC;gBACnC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,IAAI,QAAW,CAAC;QAChB,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC;gBACH,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC,kBAAkB,KAAK,EAAE,CAAC,CAAC;gBACvC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,gDAAgD;YAChD,QAAQ,GAAG;gBACT,GAAG,KAAK;gBACR,KAAK,EAAE;oBACL,GAAG,KAAK,CAAC,KAAK;oBACd,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;iBACtB;gBACD,QAAQ,EAAE;oBACR,GAAG,KAAK,CAAC,QAAQ;oBACjB,WAAW,EAAE,KAAK,CAAC,SAAS;oBAC5B,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC;iBAC5C;aACG,CAAC;QACT,CAAC;QAED,gCAAgC;QAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAExE,qCAAqC;QACrC,IAAI,gBAAgB,IAAI,QAAQ,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YACvD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CACT,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,CAAC,CACzD,CAAC;gBACF,2DAA2D;gBAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,QAAQ;YACf,OAAO;YACP,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;SAC/C,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,IAAI,CAGlB,OAAkC;IAClC,OAAO,CAAC,KAAQ,EAAE,KAAQ,EAAiB,EAAE;QAC3C,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAC7B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,KAAK;gBACL,MAAM,EAAE,CAAC,eAAe,KAAK,EAAE,CAAC;aACjC,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAGrB,GAAG,KAA2B;IAC9B,OAAO,CAAC,KAAQ,EAAE,KAAQ,EAAiB,EAAE;QAC3C,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,MAAM,UAAU,GAA6B,EAAE,CAAC;QAChD,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;YAC3C,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;YAE5B,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YACrC,CAAC;YAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClB,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,OAAO;YACL,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YACvD,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SACrD,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Core types for Praxis - A TypeScript library for typed, functional application logic.
+ * All types are designed to be JSON-friendly for serialization and interoperability.
+ */
+/**
+ * Base type for all Praxis events.
+ * Events represent things that have happened and trigger state transitions.
+ */
+export interface PraxisEvent {
+    /** Unique identifier for the event type */
+    type: string;
+    /** Timestamp when the event occurred */
+    timestamp: number;
+    /** Additional event data (must be JSON-serializable) */
+    data?: Record<string, unknown>;
+    /** Optional metadata for tracing and debugging */
+    metadata?: {
+        correlationId?: string;
+        source?: string;
+        [key: string]: unknown;
+    };
+}
+/**
+ * Base type for all Praxis state.
+ * State represents the current facts and context of the application.
+ */
+export interface PraxisState {
+    /** Current facts - immutable truths about the system */
+    facts: Record<string, unknown>;
+    /** Optional metadata for debugging and inspection */
+    metadata?: {
+        version?: number;
+        lastUpdated?: number;
+        [key: string]: unknown;
+    };
+}
+/**
+ * Result of a state transition step.
+ * Contains the new state and any side effects to be executed.
+ */
+export interface StepResult<S extends PraxisState = PraxisState> {
+    /** The new state after applying the event */
+    state: S;
+    /** Side effects to be executed (e.g., commands, events to emit) */
+    effects?: Effect[];
+    /** Optional errors or warnings that occurred during the step */
+    errors?: string[];
+}
+/**
+ * Represents a side effect to be executed outside the pure step function.
+ */
+export interface Effect {
+    /** Type of the effect */
+    type: string;
+    /** Effect payload (must be JSON-serializable) */
+    payload?: Record<string, unknown>;
+}
+/**
+ * A pure function that transitions from one state to another given an event.
+ * This is the core abstraction of Praxis.
+ */
+export type StepFunction<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> = (state: S, event: E) => StepResult<S>;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,EAAE;QACT,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,qDAAqD;IACrD,QAAQ,CAAC,EAAE;QACT,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;KACxB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW;IAC7D,6CAA6C;IAC7C,KAAK,EAAE,CAAC,CAAC;IACT,mEAAmE;IACnE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,gEAAgE;IAChE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,SAAS,WAAW,GAAG,WAAW,IACjC,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC"}

package/dist/types.js

@@ -0,0 +1,6 @@
+/**
+ * Core types for Praxis - A TypeScript library for typed, functional application logic.
+ * All types are designed to be JSON-friendly for serialization and interoperability.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}