@plures/praxis 1.0.2 → 1.1.0

package/src/examples/svelte-counter/index.ts

@@ -1,6 +1,6 @@
 /**
  * Svelte Counter Example
- * 
+ *
  * Demonstrates Svelte v5 integration with a simple counter.
  * Shows how to connect Praxis logic to reactive Svelte stores.
  */
@@ -12,8 +12,8 @@ import {
   defineEvent,
   defineRule,
   findEvent,
-} from "../../index.js";
-import { createPraxisStore, createDerivedStore } from "../../integrations/svelte.js";
+} from '../../index.js';
+import { createPraxisStore, createDerivedStore } from '../../integrations/svelte.js';
 
 // Define the context type
 interface CounterContext {
@@ -22,23 +22,19 @@ interface CounterContext {
 }
 
 // Define facts
-const CountIncremented = defineFact<"CountIncremented", { amount: number }>(
-  "CountIncremented"
-);
-const CountDecremented = defineFact<"CountDecremented", { amount: number }>(
-  "CountDecremented"
-);
-const CountReset = defineFact<"CountReset", {}>("CountReset");
+const CountIncremented = defineFact<'CountIncremented', { amount: number }>('CountIncremented');
+const CountDecremented = defineFact<'CountDecremented', { amount: number }>('CountDecremented');
+const CountReset = defineFact<'CountReset', {}>('CountReset');
 
 // Define events
-const Increment = defineEvent<"INCREMENT", { amount?: number }>("INCREMENT");
-const Decrement = defineEvent<"DECREMENT", { amount?: number }>("DECREMENT");
-const Reset = defineEvent<"RESET", {}>("RESET");
+const Increment = defineEvent<'INCREMENT', { amount?: number }>('INCREMENT');
+const Decrement = defineEvent<'DECREMENT', { amount?: number }>('DECREMENT');
+const Reset = defineEvent<'RESET', {}>('RESET');
 
 // Define rules
 const incrementRule = defineRule<CounterContext>({
-  id: "counter.increment",
-  description: "Increment the counter",
+  id: 'counter.increment',
+  description: 'Increment the counter',
   impl: (state, events) => {
     const incrementEvent = findEvent(events, Increment);
     if (!incrementEvent) {
@@ -54,8 +50,8 @@ const incrementRule = defineRule<CounterContext>({
 });
 
 const decrementRule = defineRule<CounterContext>({
-  id: "counter.decrement",
-  description: "Decrement the counter",
+  id: 'counter.decrement',
+  description: 'Decrement the counter',
   impl: (state, events) => {
     const decrementEvent = findEvent(events, Decrement);
     if (!decrementEvent) {
@@ -71,8 +67,8 @@ const decrementRule = defineRule<CounterContext>({
 });
 
 const resetRule = defineRule<CounterContext>({
-  id: "counter.reset",
-  description: "Reset the counter",
+  id: 'counter.reset',
+  description: 'Reset the counter',
   impl: (state, events) => {
     const resetEvent = findEvent(events, Reset);
     if (!resetEvent) {
@@ -132,30 +128,30 @@ function createCounterStores() {
 
 // Example usage (non-Svelte demonstration)
 function runExample() {
-  console.log("=== Svelte Counter Example ===\n");
+  console.log('=== Svelte Counter Example ===\n');
 
   const { engine, countStore } = createCounterStores();
 
   // Subscribe to count changes
-  console.log("Subscribing to count changes...\n");
+  console.log('Subscribing to count changes...\n');
   const unsubscribe = countStore.subscribe((count) => {
     console.log(`Count changed: ${count}`);
   });
 
   // Dispatch some events
-  console.log("\nIncrementing by 1:");
+  console.log('\nIncrementing by 1:');
   engine.step([Increment.create({})]);
 
-  console.log("\nIncrementing by 5:");
+  console.log('\nIncrementing by 5:');
   engine.step([Increment.create({ amount: 5 })]);
 
-  console.log("\nDecrementing by 2:");
+  console.log('\nDecrementing by 2:');
   engine.step([Decrement.create({ amount: 2 })]);
 
-  console.log("\nResetting:");
+  console.log('\nResetting:');
   engine.step([Reset.create({})]);
 
-  console.log("\nContext:", engine.getContext());
+  console.log('\nContext:', engine.getContext());
 
   unsubscribe();
 }

package/src/flows.ts

@@ -41,10 +41,7 @@ export interface FlowStep<E extends PraxisEvent = PraxisEvent> {
 /**
  * An actor maintains its own state and responds to events.
  */
-export interface Actor<
-  S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
-> {
+export interface Actor<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
   /** Unique identifier for the actor */
   id: string;
   /** Current state of the actor */
@@ -135,13 +132,8 @@ export function isFlowWaitingFor<E extends PraxisEvent = PraxisEvent>(
  */
 export function createActor<
   S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
->(
-  id: string,
-  initialState: S,
-  stepFunction: StepFunction<S, E>,
-  type?: string
-): Actor<S, E> {
+  E extends PraxisEvent = PraxisEvent,
+>(id: string, initialState: S, stepFunction: StepFunction<S, E>, type?: string): Actor<S, E> {
   return {
     id,
     state: initialState,
@@ -159,7 +151,7 @@ export function createActor<
  */
 export function processActorEvent<
   S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
+  E extends PraxisEvent = PraxisEvent,
 >(actor: Actor<S, E>, event: E): { actor: Actor<S, E>; result: StepResult<S> } {
   const result = actor.step(actor.state, event);
 
@@ -174,10 +166,7 @@ export function processActorEvent<
 /**
  * Actor system for managing multiple actors.
  */
-export class ActorSystem<
-  S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
-> {
+export class ActorSystem<S extends PraxisState = PraxisState, E extends PraxisEvent = PraxisEvent> {
   private actors: Map<string, Actor<S, E>> = new Map();
 
   /**
@@ -262,7 +251,7 @@ export class ActorSystem<
  */
 export function createActorSystem<
   S extends PraxisState = PraxisState,
-  E extends PraxisEvent = PraxisEvent
+  E extends PraxisEvent = PraxisEvent,
 >(): ActorSystem<S, E> {
   return new ActorSystem<S, E>();
 }

package/src/index.browser.ts

@@ -0,0 +1,204 @@
+/**
+ * Praxis - Practical, Provable Application Logic (Browser Build)
+ *
+ * A typed, functional application logic engine built on strong types.
+ */
+
+// Core protocol (language-neutral types)
+export type {
+  PraxisFact,
+  PraxisEvent,
+  PraxisState,
+  PraxisDiagnostics,
+  PraxisStepConfig,
+  PraxisStepResult,
+  PraxisStepFn,
+} from './core/protocol.js';
+export { PRAXIS_PROTOCOL_VERSION } from './core/protocol.js';
+
+// Rules and constraints
+export type {
+  RuleId,
+  ConstraintId,
+  RuleFn,
+  ConstraintFn,
+  RuleDescriptor,
+  ConstraintDescriptor,
+  PraxisModule,
+} from './core/rules.js';
+export { PraxisRegistry } from './core/rules.js';
+
+// Engine
+export type { PraxisEngineOptions } from './core/engine.js';
+export { LogicEngine, createPraxisEngine } from './core/engine.js';
+export * from './core/reactive-engine.svelte.js';
+
+// Actors
+export type { Actor } from './core/actors.js';
+export { ActorManager, createTimerActor } from './core/actors.js';
+
+// Introspection
+export type {
+  RuleNode,
+  ConstraintNode,
+  GraphEdge,
+  RegistryGraph,
+  RuleSchema,
+  ConstraintSchema,
+  RegistrySchema,
+  RegistryStats,
+} from './core/introspection.js';
+export { RegistryIntrospector, createIntrospector } from './core/introspection.js';
+
+// DSL helpers
+export {
+  defineFact,
+  defineEvent,
+  defineRule,
+  defineConstraint,
+  defineModule,
+  filterEvents,
+  filterFacts,
+  findEvent,
+  findFact,
+} from './dsl/index.js';
+export type {
+  FactDefinition,
+  EventDefinition,
+  DefineRuleOptions,
+  DefineConstraintOptions,
+  DefineModuleOptions,
+} from './dsl/index.js';
+
+// Terminal Node Runtime - EXCLUDED FOR BROWSER (uses child_process)
+// export type { ... } from './runtime/terminal-adapter.js';
+// export { ... } from './runtime/terminal-adapter.js';
+
+// Schema Types (including Terminal Node types)
+export type {
+  PraxisSchema,
+  NodeDefinition,
+  NodeBindings,
+  TerminalNodeProps,
+  OrchestrationDefinition,
+  ValidationResult,
+  ValidationError,
+  ModelDefinition,
+  ComponentDefinition,
+  LogicDefinition,
+} from './core/schema/types.js';
+export { validateSchema, createSchemaTemplate } from './core/schema/types.js';
+
+// Schema Loader (supports JSON, YAML, and TS)
+export type { LoaderOptions, LoaderResult } from './core/schema/loader.common.js';
+export {
+  createSchema,
+  loadSchemaFromJson,
+  loadSchemaFromYaml,
+  validateForGeneration,
+} from './core/schema/loader.common.js';
+
+// PluresDB Integration
+export type {
+  PraxisDB,
+  UnsubscribeFn,
+  EventStreamEntry,
+  PraxisDBStoreOptions,
+  StoredSchema,
+  PluresDBGeneratorOptions,
+  GeneratedPluresDBFile,
+  PluresDBAdapter,
+  PluresDBAdapterOptions,
+} from './integrations/pluresdb.js';
+export {
+  InMemoryPraxisDB,
+  createInMemoryDB,
+  PraxisDBStore,
+  createPraxisDBStore,
+  PRAXIS_PATHS,
+  getFactPath,
+  getEventPath,
+  generateId,
+  PraxisSchemaRegistry,
+  createSchemaRegistry,
+  registerSchema,
+  getSchemaPath,
+  PluresDBGenerator,
+  createPluresDBGenerator,
+  createPluresDBAdapter,
+  attachToEngine,
+} from './integrations/pluresdb.js';
+
+// Unum Integration (Identity & Channels)
+export type {
+  UnumStore,
+  UnumChannel,
+  UnumMessage,
+  UnumIdentity,
+  UnumAdapterConfig,
+  UnumAdapter,
+} from './integrations/unum.js';
+export { createUnumAdapter, attachUnumToEngine } from './integrations/unum.js';
+
+// CodeCanvas Integration (Visual Schema Editor)
+export type {
+  CanvasNode,
+  CanvasEdge,
+  CanvasNodeStyle,
+  CanvasEdgeStyle,
+  CanvasDocument,
+  LifecycleState,
+  ActivityState,
+  CanvasEditorConfig,
+  GuardianResult,
+  GuardianError,
+  GuardianWarning,
+} from './integrations/code-canvas.js';
+export {
+  schemaToCanvas,
+  canvasToSchema,
+  canvasToYaml,
+  canvasToMermaid,
+  validateWithGuardian,
+  createCanvasEditor,
+} from './integrations/code-canvas.js';
+
+// State-Docs Integration (Documentation Generation)
+export type {
+  StateDocsConfig,
+  GeneratedDoc,
+  StateMachineDoc,
+  StateDoc,
+  TransitionDoc,
+} from './integrations/state-docs.js';
+export {
+  StateDocsGenerator,
+  createStateDocsGenerator,
+  generateDocs,
+} from './integrations/state-docs.js';
+
+// Tauri Integration (Desktop Apps)
+export type {
+  TauriAppConfig,
+  TauriWindowConfig,
+  TauriSecurityConfig,
+  TauriUpdateConfig,
+  TauriPlugin,
+  TauriCommand,
+  TauriEvent,
+  TauriFS,
+  TauriFileEntry,
+  TauriTray,
+  TauriMenuItem,
+  TauriNotification,
+  TauriNotificationOptions,
+  TauriBridge,
+  TauriUpdateInfo,
+  TauriPraxisAdapter,
+} from './integrations/tauri.js';
+export {
+  createMockTauriBridge,
+  createTauriPraxisAdapter,
+  attachTauriToEngine,
+  generateTauriConfig,
+} from './integrations/tauri.js';

package/src/index.ts

@@ -1,8 +1,8 @@
 /**
  * Praxis - Practical, Provable Application Logic
- * 
+ *
  * A typed, functional application logic engine built on strong types.
- * 
+ *
  * Core concepts:
  * - Facts: typed propositions about the domain
  * - Events: temporally ordered facts meant to drive change
@@ -10,15 +10,15 @@
  * - Constraints: invariants that must always hold
  * - Flows: orchestrated behaviors
  * - Actors: effectful units that perform side effects
- * 
+ *
  * @example
  * ```typescript
  * import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule } from "@plures/praxis";
- * 
+ *
  * // Define facts and events
  * const UserLoggedIn = defineFact<"UserLoggedIn", { userId: string }>("UserLoggedIn");
  * const Login = defineEvent<"LOGIN", { username: string }>("LOGIN");
- * 
+ *
  * // Define rules
  * const loginRule = defineRule({
  *   id: "auth.login",
@@ -31,16 +31,16 @@
  *     return [];
  *   }
  * });
- * 
+ *
  * // Create engine
  * const registry = new PraxisRegistry();
  * registry.registerRule(loginRule);
- * 
+ *
  * const engine = createPraxisEngine({
  *   initialContext: {},
  *   registry
  * });
- * 
+ *
  * // Dispatch events
  * const result = engine.step([Login.create({ username: "alice" })]);
  * console.log(result.state.facts); // [{ tag: "UserLoggedIn", payload: { userId: "alice" } }]
@@ -56,8 +56,8 @@ export type {
   PraxisStepConfig,
   PraxisStepResult,
   PraxisStepFn,
-} from "./core/protocol.js";
-export { PRAXIS_PROTOCOL_VERSION } from "./core/protocol.js";
+} from './core/protocol.js';
+export { PRAXIS_PROTOCOL_VERSION } from './core/protocol.js';
 
 // Rules and constraints
 export type {
@@ -68,16 +68,17 @@ export type {
   RuleDescriptor,
   ConstraintDescriptor,
   PraxisModule,
-} from "./core/rules.js";
-export { PraxisRegistry } from "./core/rules.js";
+} from './core/rules.js';
+export { PraxisRegistry } from './core/rules.js';
 
 // Engine
-export type { PraxisEngineOptions } from "./core/engine.js";
-export { LogicEngine, createPraxisEngine } from "./core/engine.js";
+export type { PraxisEngineOptions } from './core/engine.js';
+export { LogicEngine, createPraxisEngine } from './core/engine.js';
+export * from './core/reactive-engine.svelte.js';
 
 // Actors
-export type { Actor } from "./core/actors.js";
-export { ActorManager, createTimerActor } from "./core/actors.js";
+export type { Actor } from './core/actors.js';
+export { ActorManager, createTimerActor } from './core/actors.js';
 
 // Introspection
 export type {
@@ -89,8 +90,8 @@ export type {
   ConstraintSchema,
   RegistrySchema,
   RegistryStats,
-} from "./core/introspection.js";
-export { RegistryIntrospector, createIntrospector } from "./core/introspection.js";
+} from './core/introspection.js';
+export { RegistryIntrospector, createIntrospector } from './core/introspection.js';
 
 // DSL helpers
 export {
@@ -103,14 +104,14 @@ export {
   filterFacts,
   findEvent,
   findFact,
-} from "./dsl/index.js";
+} from './dsl/index.js';
 export type {
   FactDefinition,
   EventDefinition,
   DefineRuleOptions,
   DefineConstraintOptions,
   DefineModuleOptions,
-} from "./dsl/index.js";
+} from './dsl/index.js';
 
 // Terminal Node Runtime
 export type {
@@ -118,13 +119,13 @@ export type {
   TerminalNodeState,
   TerminalAdapterOptions,
   CommandExecutor,
-} from "./runtime/terminal-adapter.js";
+} from './runtime/terminal-adapter.js';
 export {
   TerminalAdapter,
   createTerminalAdapter,
   runTerminalCommand,
   createMockExecutor,
-} from "./runtime/terminal-adapter.js";
+} from './runtime/terminal-adapter.js';
 
 // Schema Types (including Terminal Node types)
 export type {
@@ -138,21 +139,18 @@ export type {
   ModelDefinition,
   ComponentDefinition,
   LogicDefinition,
-} from "./core/schema/types.js";
-export { validateSchema, createSchemaTemplate } from "./core/schema/types.js";
+} from './core/schema/types.js';
+export { validateSchema, createSchemaTemplate } from './core/schema/types.js';
 
 // Schema Loader (supports JSON, YAML, and TS)
-export type {
-  LoaderOptions,
-  LoaderResult,
-} from "./core/schema/loader.js";
+export type { LoaderOptions, LoaderResult } from './core/schema/loader.js';
 export {
   loadSchema,
   loadSchemaFromJson,
   loadSchemaFromYaml,
   loadSchemaFromFile,
   validateForGeneration,
-} from "./core/schema/loader.js";
+} from './core/schema/loader.js';
 
 // PluresDB Integration
 export type {
@@ -165,7 +163,7 @@ export type {
   GeneratedPluresDBFile,
   PluresDBAdapter,
   PluresDBAdapterOptions,
-} from "./integrations/pluresdb.js";
+} from './integrations/pluresdb.js';
 export {
   InMemoryPraxisDB,
   createInMemoryDB,
@@ -183,7 +181,7 @@ export {
   createPluresDBGenerator,
   createPluresDBAdapter,
   attachToEngine,
-} from "./integrations/pluresdb.js";
+} from './integrations/pluresdb.js';
 
 // Unum Integration (Identity & Channels)
 export type {
@@ -193,11 +191,8 @@ export type {
   UnumIdentity,
   UnumAdapterConfig,
   UnumAdapter,
-} from "./integrations/unum.js";
-export {
-  createUnumAdapter,
-  attachUnumToEngine,
-} from "./integrations/unum.js";
+} from './integrations/unum.js';
+export { createUnumAdapter, attachUnumToEngine } from './integrations/unum.js';
 
 // CodeCanvas Integration (Visual Schema Editor)
 export type {
@@ -212,7 +207,7 @@ export type {
   GuardianResult,
   GuardianError,
   GuardianWarning,
-} from "./integrations/code-canvas.js";
+} from './integrations/code-canvas.js';
 export {
   schemaToCanvas,
   canvasToSchema,
@@ -220,7 +215,7 @@ export {
   canvasToMermaid,
   validateWithGuardian,
   createCanvasEditor,
-} from "./integrations/code-canvas.js";
+} from './integrations/code-canvas.js';
 
 // State-Docs Integration (Documentation Generation)
 export type {
@@ -229,12 +224,12 @@ export type {
   StateMachineDoc,
   StateDoc,
   TransitionDoc,
-} from "./integrations/state-docs.js";
+} from './integrations/state-docs.js';
 export {
   StateDocsGenerator,
   createStateDocsGenerator,
   generateDocs,
-} from "./integrations/state-docs.js";
+} from './integrations/state-docs.js';
 
 // Tauri Integration (Desktop Apps)
 export type {
@@ -254,10 +249,10 @@ export type {
   TauriBridge,
   TauriUpdateInfo,
   TauriPraxisAdapter,
-} from "./integrations/tauri.js";
+} from './integrations/tauri.js';
 export {
   createMockTauriBridge,
   createTauriPraxisAdapter,
   attachTauriToEngine,
   generateTauriConfig,
-} from "./integrations/tauri.js";
+} from './integrations/tauri.js';