@plures/praxis 1.1.2 → 1.2.0

package/dist/node/index.d.cts

@@ -1,42 +1,91 @@
 import { P as PraxisState, a as PraxisEvent, b as PraxisFact } from './protocol-Qek7ebBl.cjs';
 export { g as PRAXIS_PROTOCOL_VERSION, e as PraxisDiagnostics, d as PraxisStepConfig, f as PraxisStepFn, c as PraxisStepResult } from './protocol-Qek7ebBl.cjs';
-import { L as LogicEngine, P as PraxisRegistry, R as RuleDescriptor, C as ConstraintDescriptor, a as RuleFn, b as ConstraintFn, c as PraxisModule } from './engine-CVJobhHm.cjs';
-export { e as ConstraintId, f as PraxisEngineOptions, d as RuleId, g as createPraxisEngine } from './engine-CVJobhHm.cjs';
-import { P as PraxisDB, U as UnsubscribeFn } from './terminal-adapter-XLtCjjb_.cjs';
-export { C as CommandExecutor, I as InMemoryPraxisDB, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, f as createInMemoryDB, e as createMockExecutor, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-XLtCjjb_.cjs';
+import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as ConstraintFn, f as PraxisModule } from './reactive-engine.svelte-1M4m_C_v.cjs';
+export { h as ConstraintId, i as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, g as RuleId, j as createPraxisEngine, c as createReactiveEngine } from './reactive-engine.svelte-1M4m_C_v.cjs';
+import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-CDzxoLKR.cjs';
+export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, i as PluresDBPraxisAdapter, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, h as createInMemoryDB, e as createMockExecutor, j as createPluresDB, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-CDzxoLKR.cjs';
 import { PraxisSchema, ValidationResult, ModelDefinition, FieldDefinition, ComponentDefinition, LogicDefinition } from './schema.cjs';
 export { NodeBindings, NodeDefinition, OrchestrationDefinition, TerminalNodeProps, ValidationError, createSchemaTemplate, validateSchema } from './schema.cjs';
 
 /**
  * Praxis Reactive Logic Engine
  *
- * A Svelte 5 native implementation of the Praxis Logic Engine.
- * Uses Runes ($state, $derived, $effect) for fine-grained reactivity.
+ * A framework-agnostic reactive implementation of the Praxis Logic Engine.
+ * Uses JavaScript Proxies to provide reactivity without Svelte-specific primitives.
+ *
+ * This implementation provides:
+ * - Proxy-based state tracking for automatic reactivity
+ * - Subscription-based change notifications
+ * - Computed/derived values support
+ * - Compatible API with Svelte-based implementation
  */
 interface ReactiveEngineOptions<TContext> {
     initialContext: TContext;
     initialFacts?: any[];
     initialMeta?: Record<string, unknown>;
 }
+/**
+ * Callback type for state change subscribers
+ */
+type StateChangeCallback<TContext> = (state: {
+    context: TContext;
+    facts: any[];
+    meta: Record<string, unknown>;
+}) => void;
+/**
+ * Callback type for unsubscribe function
+ */
+type UnsubscribeFn = () => void;
+/**
+ * Framework-agnostic reactive logic engine using JavaScript Proxies
+ */
 declare class ReactiveLogicEngine<TContext extends object> {
-    state: {
+    private _state;
+    private _subscribers;
+    private _contextProxy;
+    private _factsProxy;
+    private _metaProxy;
+    private _batchDepth;
+    private _pendingNotification;
+    private _proxyCache;
+    private static readonly ARRAY_MUTATORS;
+    constructor(options: ReactiveEngineOptions<TContext>);
+    /**
+     * Create a reactive proxy that notifies subscribers on changes.
+     * Uses a WeakMap cache to avoid creating multiple proxies for the same object.
+     */
+    private _createReactiveProxy;
+    /**
+     * Notify all subscribers of state changes
+     */
+    private _notify;
+    /**
+     * Get the full state object
+     */
+    get state(): {
         context: TContext;
         facts: any[];
         meta: Record<string, unknown>;
     };
-    constructor(options: ReactiveEngineOptions<TContext>);
     /**
-     * Access the reactive context directly.
-     * Consumers can use this in $derived() or $effect().
+     * Access the reactive context.
+     * Changes to this object will trigger subscriber notifications.
      */
     get context(): TContext;
     /**
      * Access the reactive facts list.
+     * Changes to this array will trigger subscriber notifications.
      */
     get facts(): any[];
+    /**
+     * Access the reactive metadata.
+     * Changes to this object will trigger subscriber notifications.
+     */
+    get meta(): Record<string, unknown>;
     /**
      * Apply a mutation to the state.
      * This is the "Action" or "Rule" equivalent.
+     * Mutations are batched - notifications only happen once per apply call.
      *
      * @param mutator A function that receives the state and modifies it.
      */
@@ -46,10 +95,54 @@ declare class ReactiveLogicEngine<TContext extends object> {
         meta: Record<string, unknown>;
     }) => void): void;
     /**
-     * Access the reactive meta.
+     * Subscribe to state changes.
+     * Returns an unsubscribe function.
+     *
+     * @param callback Function to call when state changes
+     * @returns Unsubscribe function
+     */
+    subscribe(callback: StateChangeCallback<TContext>): UnsubscribeFn;
+    /**
+     * Create a derived/computed value from the state.
+     * The selector function will be called whenever the state changes.
+     *
+     * @param selector Function to extract derived value from state
+     * @returns Object with subscribe method for reactive updates
      */
-    get meta(): Record<string, unknown>;
+    $derived<TDerived>(selector: (state: {
+        context: TContext;
+        facts: any[];
+        meta: Record<string, unknown>;
+    }) => TDerived): {
+        subscribe: (callback: (value: TDerived) => void) => UnsubscribeFn;
+    };
 }
+/**
+ * Create a new reactive logic engine instance.
+ *
+ * @param options Configuration options for the reactive engine
+ * @returns A new ReactiveLogicEngine instance
+ *
+ * @example
+ * ```typescript
+ * const engine = createReactiveEngine({
+ *   initialContext: { count: 0 },
+ *   initialFacts: [],
+ *   initialMeta: {}
+ * });
+ *
+ * // Subscribe to changes
+ * engine.subscribe((state) => {
+ *   console.log('State changed:', state);
+ * });
+ *
+ * // Mutate state (will trigger subscribers)
+ * engine.apply((state) => {
+ *   state.context.count++;
+ * });
+ * ```
+ */
+declare function createReactiveEngine<TContext extends object>(options: ReactiveEngineOptions<TContext>): ReactiveLogicEngine<TContext>;
 
 /**
  * Actors System
@@ -634,7 +727,7 @@ declare class PraxisDBStore<TContext = unknown> {
      * @param callback Called when facts of this type change
      * @returns Unsubscribe function
      */
-    watchFacts(factTag: string, callback: (facts: PraxisFact[]) => void): UnsubscribeFn;
+    watchFacts(factTag: string, callback: (facts: PraxisFact[]) => void): UnsubscribeFn$1;
     /**
      * Check constraints against the current state with new facts
      */
@@ -997,7 +1090,7 @@ declare function createPluresDBAdapter<TContext = unknown>(options: PluresDBAdap
  * detach();
  * ```
  */
-declare function attachToEngine<TContext = unknown>(store: PraxisDBStore<TContext>, engine: LogicEngine<TContext>): UnsubscribeFn;
+declare function attachToEngine<TContext = unknown>(store: PraxisDBStore<TContext>, engine: LogicEngine<TContext>): UnsubscribeFn$1;
 
 /**
  * Unum Integration
@@ -2576,4 +2669,133 @@ declare function attachTauriToEngine<TContext>(engine: LogicEngine<TContext>, ad
  */
 declare function generateTauriConfig(config: TauriAppConfig): Record<string, unknown>;
 
-export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type ReactiveEngineOptions, ReactiveLogicEngine, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };
+/**
+ * Unified Integration Helpers
+ *
+ * Convenience functions for setting up Praxis with all ecosystem integrations
+ * (PluresDB, Unum, State-Docs, CodeCanvas) in a single call.
+ */
+
+/**
+ * Configuration for unified Praxis application
+ */
+interface UnifiedAppConfig<TContext = unknown> {
+    /** Praxis registry with rules and constraints */
+    registry: PraxisRegistry<TContext>;
+    /** Initial context for the engine */
+    initialContext: TContext;
+    /** PluresDB instance (if not provided, creates in-memory DB) */
+    db?: PraxisDB;
+    /** Enable Unum for distributed communication */
+    enableUnum?: boolean;
+    /** Unum identity configuration (without id and createdAt which are auto-generated) */
+    unumIdentity?: Omit<UnumIdentity, 'id' | 'createdAt'>;
+    /** Enable State-Docs documentation generation */
+    enableDocs?: boolean;
+    /** State-Docs configuration */
+    docsConfig?: {
+        projectTitle: string;
+        target?: string;
+    };
+    /** Praxis schema for CodeCanvas integration */
+    schema?: PraxisSchema;
+}
+/**
+ * Unified application instance with all integrations
+ */
+interface UnifiedApp<TContext = unknown> {
+    /** Praxis logic engine */
+    engine: LogicEngine<TContext>;
+    /** PluresDB adapter for persistence */
+    pluresdb: PluresDBAdapter<TContext>;
+    /** Unum adapter for distributed communication (if enabled) */
+    unum?: UnumAdapter;
+    /** Default Unum channel (if Unum enabled) */
+    channel?: UnumChannel;
+    /** State-Docs generator (if enabled) */
+    docs?: StateDocsGenerator;
+    /** CodeCanvas document (if schema provided) */
+    canvas?: CanvasDocument;
+    /** Generate documentation from current state */
+    generateDocs?: () => GeneratedDoc[];
+    /** Cleanup function to dispose all integrations */
+    dispose: () => void;
+}
+/**
+ * Create a unified Praxis application with all integrations
+ *
+ * This is a convenience function that sets up:
+ * - Praxis logic engine
+ * - PluresDB for persistence (auto-attaches to engine)
+ * - Unum for distributed communication (optional)
+ * - State-Docs for documentation generation (optional)
+ * - CodeCanvas for visual schema editing (optional)
+ *
+ * @example
+ * ```typescript
+ * import { createUnifiedApp } from '@plures/praxis';
+ *
+ * const app = await createUnifiedApp({
+ *   registry: myRegistry,
+ *   initialContext: { count: 0 },
+ *   enableUnum: true,
+ *   unumIdentity: { name: 'node-1' },
+ *   enableDocs: true,
+ *   docsConfig: { projectTitle: 'My App' },
+ *   schema: mySchema,
+ * });
+ *
+ * // Use the engine
+ * app.engine.step([myEvent]);
+ *
+ * // Broadcast to other nodes
+ * if (app.channel) {
+ *   await app.unum?.broadcastEvent(app.channel.id, myEvent);
+ * }
+ *
+ * // Generate documentation
+ * const docs = app.generateDocs?.();
+ *
+ * // Cleanup
+ * app.dispose();
+ * ```
+ */
+declare function createUnifiedApp<TContext = unknown>(config: UnifiedAppConfig<TContext>): Promise<UnifiedApp<TContext>>;
+/**
+ * Attach all available integrations to an existing Praxis engine
+ *
+ * This is useful when you already have an engine and want to add integrations.
+ *
+ * @example
+ * ```typescript
+ * import { createPraxisEngine, attachAllIntegrations } from '@plures/praxis';
+ *
+ * const engine = createPraxisEngine({ initialContext: {}, registry });
+ *
+ * const integrations = await attachAllIntegrations(engine, registry, {
+ *   enableUnum: true,
+ *   enableDocs: true,
+ * });
+ *
+ * // Later cleanup
+ * integrations.dispose();
+ * ```
+ */
+declare function attachAllIntegrations<TContext = unknown>(engine: LogicEngine<TContext>, registry: PraxisRegistry<TContext>, options?: {
+    db?: PraxisDB;
+    enableUnum?: boolean;
+    unumIdentity?: Omit<UnumIdentity, 'id' | 'createdAt'>;
+    enableDocs?: boolean;
+    docsConfig?: {
+        projectTitle: string;
+        target?: string;
+    };
+}): Promise<{
+    pluresdb: PluresDBAdapter<TContext>;
+    unum?: UnumAdapter;
+    channel?: UnumChannel;
+    docs?: StateDocsGenerator;
+    dispose: () => void;
+}>;
+
+export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };

package/dist/node/index.d.ts

@@ -1,42 +1,91 @@
 import { P as PraxisState, a as PraxisEvent, b as PraxisFact } from './protocol-Qek7ebBl.js';
 export { g as PRAXIS_PROTOCOL_VERSION, e as PraxisDiagnostics, d as PraxisStepConfig, f as PraxisStepFn, c as PraxisStepResult } from './protocol-Qek7ebBl.js';
-import { L as LogicEngine, P as PraxisRegistry, R as RuleDescriptor, C as ConstraintDescriptor, a as RuleFn, b as ConstraintFn, c as PraxisModule } from './engine-1iqLe6_P.js';
-export { e as ConstraintId, f as PraxisEngineOptions, d as RuleId, g as createPraxisEngine } from './engine-1iqLe6_P.js';
-import { P as PraxisDB, U as UnsubscribeFn } from './terminal-adapter-07HGftGQ.js';
-export { C as CommandExecutor, I as InMemoryPraxisDB, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, f as createInMemoryDB, e as createMockExecutor, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-07HGftGQ.js';
+import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as ConstraintFn, f as PraxisModule } from './reactive-engine.svelte-ChNFn4Hj.js';
+export { h as ConstraintId, i as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, g as RuleId, j as createPraxisEngine, c as createReactiveEngine } from './reactive-engine.svelte-ChNFn4Hj.js';
+import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-CWka-yL8.js';
+export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, i as PluresDBPraxisAdapter, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, h as createInMemoryDB, e as createMockExecutor, j as createPluresDB, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-CWka-yL8.js';
 import { PraxisSchema, ValidationResult, ModelDefinition, FieldDefinition, ComponentDefinition, LogicDefinition } from './schema.js';
 export { NodeBindings, NodeDefinition, OrchestrationDefinition, TerminalNodeProps, ValidationError, createSchemaTemplate, validateSchema } from './schema.js';
 
 /**
  * Praxis Reactive Logic Engine
  *
- * A Svelte 5 native implementation of the Praxis Logic Engine.
- * Uses Runes ($state, $derived, $effect) for fine-grained reactivity.
+ * A framework-agnostic reactive implementation of the Praxis Logic Engine.
+ * Uses JavaScript Proxies to provide reactivity without Svelte-specific primitives.
+ *
+ * This implementation provides:
+ * - Proxy-based state tracking for automatic reactivity
+ * - Subscription-based change notifications
+ * - Computed/derived values support
+ * - Compatible API with Svelte-based implementation
  */
 interface ReactiveEngineOptions<TContext> {
     initialContext: TContext;
     initialFacts?: any[];
     initialMeta?: Record<string, unknown>;
 }
+/**
+ * Callback type for state change subscribers
+ */
+type StateChangeCallback<TContext> = (state: {
+    context: TContext;
+    facts: any[];
+    meta: Record<string, unknown>;
+}) => void;
+/**
+ * Callback type for unsubscribe function
+ */
+type UnsubscribeFn = () => void;
+/**
+ * Framework-agnostic reactive logic engine using JavaScript Proxies
+ */
 declare class ReactiveLogicEngine<TContext extends object> {
-    state: {
+    private _state;
+    private _subscribers;
+    private _contextProxy;
+    private _factsProxy;
+    private _metaProxy;
+    private _batchDepth;
+    private _pendingNotification;
+    private _proxyCache;
+    private static readonly ARRAY_MUTATORS;
+    constructor(options: ReactiveEngineOptions<TContext>);
+    /**
+     * Create a reactive proxy that notifies subscribers on changes.
+     * Uses a WeakMap cache to avoid creating multiple proxies for the same object.
+     */
+    private _createReactiveProxy;
+    /**
+     * Notify all subscribers of state changes
+     */
+    private _notify;
+    /**
+     * Get the full state object
+     */
+    get state(): {
         context: TContext;
         facts: any[];
         meta: Record<string, unknown>;
     };
-    constructor(options: ReactiveEngineOptions<TContext>);
     /**
-     * Access the reactive context directly.
-     * Consumers can use this in $derived() or $effect().
+     * Access the reactive context.
+     * Changes to this object will trigger subscriber notifications.
      */
     get context(): TContext;
     /**
      * Access the reactive facts list.
+     * Changes to this array will trigger subscriber notifications.
      */
     get facts(): any[];
+    /**
+     * Access the reactive metadata.
+     * Changes to this object will trigger subscriber notifications.
+     */
+    get meta(): Record<string, unknown>;
     /**
      * Apply a mutation to the state.
      * This is the "Action" or "Rule" equivalent.
+     * Mutations are batched - notifications only happen once per apply call.
      *
      * @param mutator A function that receives the state and modifies it.
      */
@@ -46,10 +95,54 @@ declare class ReactiveLogicEngine<TContext extends object> {
         meta: Record<string, unknown>;
     }) => void): void;
     /**
-     * Access the reactive meta.
+     * Subscribe to state changes.
+     * Returns an unsubscribe function.
+     *
+     * @param callback Function to call when state changes
+     * @returns Unsubscribe function
+     */
+    subscribe(callback: StateChangeCallback<TContext>): UnsubscribeFn;
+    /**
+     * Create a derived/computed value from the state.
+     * The selector function will be called whenever the state changes.
+     *
+     * @param selector Function to extract derived value from state
+     * @returns Object with subscribe method for reactive updates
      */
-    get meta(): Record<string, unknown>;
+    $derived<TDerived>(selector: (state: {
+        context: TContext;
+        facts: any[];
+        meta: Record<string, unknown>;
+    }) => TDerived): {
+        subscribe: (callback: (value: TDerived) => void) => UnsubscribeFn;
+    };
 }
+/**
+ * Create a new reactive logic engine instance.
+ *
+ * @param options Configuration options for the reactive engine
+ * @returns A new ReactiveLogicEngine instance
+ *
+ * @example
+ * ```typescript
+ * const engine = createReactiveEngine({
+ *   initialContext: { count: 0 },
+ *   initialFacts: [],
+ *   initialMeta: {}
+ * });
+ *
+ * // Subscribe to changes
+ * engine.subscribe((state) => {
+ *   console.log('State changed:', state);
+ * });
+ *
+ * // Mutate state (will trigger subscribers)
+ * engine.apply((state) => {
+ *   state.context.count++;
+ * });
+ * ```
+ */
+declare function createReactiveEngine<TContext extends object>(options: ReactiveEngineOptions<TContext>): ReactiveLogicEngine<TContext>;
 
 /**
  * Actors System
@@ -634,7 +727,7 @@ declare class PraxisDBStore<TContext = unknown> {
      * @param callback Called when facts of this type change
      * @returns Unsubscribe function
      */
-    watchFacts(factTag: string, callback: (facts: PraxisFact[]) => void): UnsubscribeFn;
+    watchFacts(factTag: string, callback: (facts: PraxisFact[]) => void): UnsubscribeFn$1;
     /**
      * Check constraints against the current state with new facts
      */
@@ -997,7 +1090,7 @@ declare function createPluresDBAdapter<TContext = unknown>(options: PluresDBAdap
  * detach();
  * ```
  */
-declare function attachToEngine<TContext = unknown>(store: PraxisDBStore<TContext>, engine: LogicEngine<TContext>): UnsubscribeFn;
+declare function attachToEngine<TContext = unknown>(store: PraxisDBStore<TContext>, engine: LogicEngine<TContext>): UnsubscribeFn$1;
 
 /**
  * Unum Integration
@@ -2576,4 +2669,133 @@ declare function attachTauriToEngine<TContext>(engine: LogicEngine<TContext>, ad
  */
 declare function generateTauriConfig(config: TauriAppConfig): Record<string, unknown>;
 
-export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type ReactiveEngineOptions, ReactiveLogicEngine, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };
+/**
+ * Unified Integration Helpers
+ *
+ * Convenience functions for setting up Praxis with all ecosystem integrations
+ * (PluresDB, Unum, State-Docs, CodeCanvas) in a single call.
+ */
+
+/**
+ * Configuration for unified Praxis application
+ */
+interface UnifiedAppConfig<TContext = unknown> {
+    /** Praxis registry with rules and constraints */
+    registry: PraxisRegistry<TContext>;
+    /** Initial context for the engine */
+    initialContext: TContext;
+    /** PluresDB instance (if not provided, creates in-memory DB) */
+    db?: PraxisDB;
+    /** Enable Unum for distributed communication */
+    enableUnum?: boolean;
+    /** Unum identity configuration (without id and createdAt which are auto-generated) */
+    unumIdentity?: Omit<UnumIdentity, 'id' | 'createdAt'>;
+    /** Enable State-Docs documentation generation */
+    enableDocs?: boolean;
+    /** State-Docs configuration */
+    docsConfig?: {
+        projectTitle: string;
+        target?: string;
+    };
+    /** Praxis schema for CodeCanvas integration */
+    schema?: PraxisSchema;
+}
+/**
+ * Unified application instance with all integrations
+ */
+interface UnifiedApp<TContext = unknown> {
+    /** Praxis logic engine */
+    engine: LogicEngine<TContext>;
+    /** PluresDB adapter for persistence */
+    pluresdb: PluresDBAdapter<TContext>;
+    /** Unum adapter for distributed communication (if enabled) */
+    unum?: UnumAdapter;
+    /** Default Unum channel (if Unum enabled) */
+    channel?: UnumChannel;
+    /** State-Docs generator (if enabled) */
+    docs?: StateDocsGenerator;
+    /** CodeCanvas document (if schema provided) */
+    canvas?: CanvasDocument;
+    /** Generate documentation from current state */
+    generateDocs?: () => GeneratedDoc[];
+    /** Cleanup function to dispose all integrations */
+    dispose: () => void;
+}
+/**
+ * Create a unified Praxis application with all integrations
+ *
+ * This is a convenience function that sets up:
+ * - Praxis logic engine
+ * - PluresDB for persistence (auto-attaches to engine)
+ * - Unum for distributed communication (optional)
+ * - State-Docs for documentation generation (optional)
+ * - CodeCanvas for visual schema editing (optional)
+ *
+ * @example
+ * ```typescript
+ * import { createUnifiedApp } from '@plures/praxis';
+ *
+ * const app = await createUnifiedApp({
+ *   registry: myRegistry,
+ *   initialContext: { count: 0 },
+ *   enableUnum: true,
+ *   unumIdentity: { name: 'node-1' },
+ *   enableDocs: true,
+ *   docsConfig: { projectTitle: 'My App' },
+ *   schema: mySchema,
+ * });
+ *
+ * // Use the engine
+ * app.engine.step([myEvent]);
+ *
+ * // Broadcast to other nodes
+ * if (app.channel) {
+ *   await app.unum?.broadcastEvent(app.channel.id, myEvent);
+ * }
+ *
+ * // Generate documentation
+ * const docs = app.generateDocs?.();
+ *
+ * // Cleanup
+ * app.dispose();
+ * ```
+ */
+declare function createUnifiedApp<TContext = unknown>(config: UnifiedAppConfig<TContext>): Promise<UnifiedApp<TContext>>;
+/**
+ * Attach all available integrations to an existing Praxis engine
+ *
+ * This is useful when you already have an engine and want to add integrations.
+ *
+ * @example
+ * ```typescript
+ * import { createPraxisEngine, attachAllIntegrations } from '@plures/praxis';
+ *
+ * const engine = createPraxisEngine({ initialContext: {}, registry });
+ *
+ * const integrations = await attachAllIntegrations(engine, registry, {
+ *   enableUnum: true,
+ *   enableDocs: true,
+ * });
+ *
+ * // Later cleanup
+ * integrations.dispose();
+ * ```
+ */
+declare function attachAllIntegrations<TContext = unknown>(engine: LogicEngine<TContext>, registry: PraxisRegistry<TContext>, options?: {
+    db?: PraxisDB;
+    enableUnum?: boolean;
+    unumIdentity?: Omit<UnumIdentity, 'id' | 'createdAt'>;
+    enableDocs?: boolean;
+    docsConfig?: {
+        projectTitle: string;
+        target?: string;
+    };
+}): Promise<{
+    pluresdb: PluresDBAdapter<TContext>;
+    unum?: UnumAdapter;
+    channel?: UnumChannel;
+    docs?: StateDocsGenerator;
+    dispose: () => void;
+}>;
+
+export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };