@plures/praxis 1.2.0 → 1.2.11

package/README.md

@@ -1,5 +1,3 @@
-dotnet build
-dotnet test
 # Praxis
 
 **Typed, visual-first application logic for Svelte, Node, and the browser.**
@@ -10,37 +8,10 @@ dotnet test
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D18-brightgreen)](https://nodejs.org/)
 [![Deno Compatible](https://img.shields.io/badge/deno-compatible-brightgreen)](https://deno.land/)
 
-Praxis is **the unified solution for declarative application development**, combining:
+Praxis is a unified solution for declarative application development. The framework combines typed logic modeling (facts, events, rules, constraints), component generation (Svelte 5), and local-first data persistence (PluresDB). It includes visual tools (CodeCanvas, State-Docs), distributed system support (Unum), optional cloud relay, and a CLI for scaffolding and generation.
 
-- **Logic Modeling**: Typed facts, events, rules, and constraints for domain logic
-- **Component Auto-Generation**: Svelte 5 components generated from schemas  
-- **Data Persistence**: PluresDB for local-first, reactive data storage
-- **Documentation**: Auto-generated docs with State-Docs and visual diagrams
-- **Visual Editing**: CodeCanvas for schema design and FSM visualization
-- **Distributed Systems**: Unum for identity and multi-node communication
+The library delivers unified ESM/CJS builds with curated subpath exports (`./`, `./svelte`, `./schema`, `./component`, `./cloud`, `./components`), Svelte 5 runes support, and publish-ready packages for npm and JSR.
 
-The library delivers a unified ESM/CJS build, curated subpath exports, Svelte runes support, and a slimmer, publish-ready package for npm and JSR.
-
----
-
-## What’s new
-- **Unified builds & exports**: `./`, `./svelte`, `./schema`, `./component`, `./cloud`, `./components`, and CLI all ship with ESM, CJS, and type definitions.
-- **Svelte 5 runes native**: Runes-friendly stores and helpers; server+client builds for integrations.
-- **Framework-agnostic reactivity**: Proxy-based reactive engine for use without Svelte, enabling reactive state management in Node.js, browsers, and any JavaScript environment.
-- **Logic engine refinements**: Typed registry, step diagnostics, and trace-friendly rule execution.
-- **Cloud relay & local-first**: Polished cloud connector alongside PluresDB-first workflows.
-- **Publish-ready**: npm public access + JSR exports aligned to source.
-
-## Capabilities at a glance
-- **Logic Engine**: Facts, events, rules, constraints, registry, introspection, and reactive engine variants (Svelte 5 + framework-agnostic).
-- **Schema & Codegen**: PSF-style schema types plus component generator for Svelte UIs.
-- **Svelte Integration**: Typed helpers, runes-ready builds, and Svelte component typings.
-- **Local-First Data**: PluresDB integration for offline-first, reactive state with full persistence.
-- **Distributed Systems**: Unum integration for identity management and multi-node channels.
-- **Documentation**: State-Docs integration for auto-generated Markdown docs and Mermaid diagrams.
-- **Visual Editing**: CodeCanvas integration for visual schema design and FSM visualization.
-- **Cloud Relay**: Optional sync layer (GitHub-auth friendly) for distributed teams.
-- **CLI**: Scaffolding, generation, canvas helpers, docs generation, and cloud commands.
 
 ## Install
 Node 18+ recommended.
@@ -55,7 +26,7 @@ pnpm add @plures/praxis
 
 JSR (Deno):
 ```bash
-const result = engine.step([Login.create({ username: 'alice' })]);
+deno add @plures/praxis
 # or via import map pointing to npm:
 # {
 #   "imports": { "@plures/praxis": "npm:@plures/praxis@^1.1.2" }
@@ -268,6 +239,67 @@ npx praxis generate --schema src/schemas/app.schema.ts
 npx praxis canvas src/schemas/app.schema.ts
 ```
 
+## Decision Ledger (Behavior Contracts)
+
+Document, validate, and track the evolution of your rules and constraints with explicit behavioral contracts.
+
+```typescript
+import { defineContract, defineRule } from '@plures/praxis';
+
+// Define a contract with explicit behavior, examples, and invariants
+const loginContract = defineContract({
+  ruleId: 'auth.login',
+  behavior: 'Process login events and create user session facts',
+  examples: [
+    {
+      given: 'User provides valid credentials',
+      when: 'LOGIN event is received',
+      then: 'UserSessionCreated fact is emitted'
+    }
+  ],
+  invariants: ['Session must have unique ID'],
+  assumptions: [
+    {
+      id: 'assume-unique-username',
+      statement: 'Usernames are unique across the system',
+      confidence: 0.9,
+      justification: 'Standard authentication practice',
+      impacts: ['spec', 'tests', 'code'],
+      status: 'active'
+    }
+  ]
+});
+
+// Attach contract to rule
+const loginRule = defineRule({
+  id: 'auth.login',
+  description: 'Process login events',
+  impl: (state, events) => { /* ... */ },
+  contract: loginContract
+});
+```
+
+**Validate contracts in CI/CD:**
+```bash
+# Validate all contracts
+npx praxis validate --strict
+
+# Generate SARIF for GitHub Actions
+npx praxis validate --output sarif > results.sarif
+
+# Reverse engineer contracts from existing code
+npx praxis reverse --interactive
+```
+
+**Key features:**
+- ✅ Explicit behavior documentation with Given/When/Then examples
+- ✅ Assumption tracking with confidence levels
+- ✅ Immutable ledger for change history
+- ✅ Build-time validation and CI/CD integration
+- ✅ Auto-generation from existing code
+
+See [src/decision-ledger/README.md](./src/decision-ledger/README.md) for complete documentation.
+
 ## Exports map
 - `@plures/praxis` → main engine (ESM/CJS/types)
 - `@plures/praxis/svelte` → Svelte 5 integrations
@@ -280,6 +312,7 @@ npx praxis canvas src/schemas/app.schema.ts
 ## Documentation
 - [Getting Started](./GETTING_STARTED.md)
 - [Framework Guide](./FRAMEWORK.md)
+- [Decision Ledger Guide](./src/decision-ledger/README.md)
 - [Examples](./examples/)
 
 ## Contributing
@@ -538,7 +571,7 @@ Demonstrates the terminal node feature for command execution:
 - Terminal adapter creation and configuration
 - Command execution and history tracking
 - YAML schema loading with terminal nodes
-- PluresDB binding configuration (ready for integration)
+- PluresDB binding configuration
 - Both text and widget input modes
 
 ```bash
@@ -599,6 +632,27 @@ Demonstrates real-time synchronization with Praxis Cloud relay service.
 
 See [examples/cloud-sync/README.md](./examples/cloud-sync/README.md)
 
+### 13. Decision Ledger (`examples/decision-ledger`)
+
+Demonstrates behavior contracts for rules and constraints with validation and immutable ledger tracking.
+
+Features:
+- Contract definition with behavior, examples, and invariants
+- Assumption tracking with confidence levels
+- Validation and reporting (console, JSON, SARIF)
+- Immutable logic ledger for change history
+- CLI integration for CI/CD pipelines
+
+```bash
+npm run build
+node examples/decision-ledger/index.js
+
+# Validate contracts
+npx praxis validate --registry examples/sample-registry.js
+```
+
+See [examples/decision-ledger/README.md](./examples/decision-ledger/README.md)
+
 ## API Reference
 
 ### Core Types
@@ -673,7 +727,7 @@ Praxis integrates with the full Plures ecosystem:
 
 ### PluresDB Integration
 
-Local-first reactive datastore for offline-capable applications. **Now fully implemented** with 32 tests covering all features.
+Local-first reactive datastore for offline-capable applications. Fully implemented with 32 tests covering all features.
 
 ```typescript
 import {
@@ -722,7 +776,7 @@ adapter.subscribeToEvents((events) => {
 
 ### Unum Integration
 
-Identity and channels for distributed systems. **Now fully implemented** with comprehensive channel and identity management.
+Identity and channels for distributed systems. Fully implemented with comprehensive channel and identity management.
 
 ```typescript
 import {
@@ -772,40 +826,10 @@ attachUnumToEngine(engine, unum, channel.id);
 **Tests**: Comprehensive integration tests  
 **Use Cases**: Distributed messaging, identity management, multi-user collaboration
 
-### ADP Integration
-
-Architectural Decision Protocol for guardrails and governance.
-
-```typescript
-import { createADP } from '@plures/adp';
-
-// Track architectural decisions from schemas
-const adp = createADP({
-  source: 'praxis-schema',
-  decisions: [
-    {
-      id: 'ADR-001',
-      title: 'Use PluresDB for local-first storage',
-      context: 'Need offline-capable data storage',
-      decision: 'Adopt PluresDB',
-      consequences: ['Offline support', 'Sync complexity'],
-    },
-  ],
-});
-
-// Enforce guardrails
-adp.enforce({
-  rule: 'no-direct-database-access',
-  check: (code) => !code.includes('direct-sql'),
-});
-```
-
-**Status**: Planned  
-**Use Cases**: Architecture documentation, compliance checking, guardrails
 
 ### State-Docs Integration
 
-Living documentation generated from Praxis schemas. **Now fully implemented** with Markdown and Mermaid diagram generation.
+Living documentation generated from Praxis schemas. Fully implemented with Markdown and Mermaid diagram generation.
 
 ```typescript
 import {
@@ -855,12 +879,11 @@ const allDocs = generateDocs(appSchema, {
 - **Table of Contents**: Automatic ToC generation
 
 **Status**: ✅ Available (`src/integrations/state-docs.ts`)  
-**CLI**: Use `praxis generate` with `--docs` flag (coming soon)  
 **Documentation**: Auto-generates README, models.md, logic diagrams
 
 ### CodeCanvas Integration
 
-Visual IDE for schema and logic editing. **Now fully implemented** with schema visualization and canvas export.
+Visual IDE for schema and logic editing. Fully implemented with schema visualization and canvas export.
 
 ```typescript
 import {
@@ -914,15 +937,13 @@ const updatedSchema = editor.toSchema();
 - **Guardian Validation**: Pre-commit lifecycle checks
 
 **Status**: ✅ Available (`src/integrations/code-canvas.ts`)  
-**CLI**: Use `praxis canvas` commands (coming soon)  
 **Documentation**: [docs/guides/canvas.md](./docs/guides/canvas.md)
 
-### Svelte + Tauri Runtime
+### Svelte Integration
 
-Cross-platform runtime for web, desktop, and mobile.
+Svelte v5 integration with reactive stores.
 
 ```typescript
-// Svelte v5 integration (available now)
 import { createPraxisStore } from '@plures/praxis/svelte';
 
 const stateStore = createPraxisStore(engine);
@@ -930,15 +951,8 @@ const userStore = createDerivedStore(engine, (ctx) => ctx.currentUser);
 
 // In Svelte component:
 // $: currentUser = $userStore;
-
-// Desktop app with Tauri
-npm run tauri:dev    // Development
-npm run tauri:build  // Production
 ```
 
-**Status**: Svelte integration available, Tauri templates planned  
-**Platform Support**: Web (now), Desktop (planned), Mobile (future)
-
 ## Cross-Language Usage
 
 ### PowerShell
@@ -1012,23 +1026,6 @@ Console.WriteLine($"Facts: {result.State.Facts.Count}"); // Facts: 1
 
 See [csharp/Praxis/README.md](./csharp/Praxis/README.md) for complete documentation.
 
-## Roadmap
-
-### Current Focus
-
-- Full CodeCanvas integration
-- Enhanced Unum identity support
-- Advanced State-Docs generation
-- Multi-language schema support
-- Real PluresDB sync with CRDT/offline-first capabilities
-
-### Long Term
-
-- Mobile templates (iOS, Android)
-- Enterprise features
-- Advanced orchestration
-- Performance optimizations
-- Plugin ecosystem
 
 ## Cross-Language Support
 

package/dist/browser/{adapter-TM4IS5KT.js → adapter-CIMBGDC7.js}

@@ -2,11 +2,13 @@ import {
   InMemoryPraxisDB,
   PluresDBPraxisAdapter,
   createInMemoryDB,
-  createPluresDB
-} from "./chunk-JQ64KMLN.js";
+  createPluresDB,
+  createPraxisLocalFirst
+} from "./chunk-MBVHLOU2.js";
 export {
   InMemoryPraxisDB,
   PluresDBPraxisAdapter,
   createInMemoryDB,
-  createPluresDB
+  createPluresDB,
+  createPraxisLocalFirst
 };

package/dist/browser/{chunk-LE2ZJYFC.js → chunk-K377RW4V.js}

@@ -6,6 +6,17 @@ import {
 var PraxisRegistry = class {
   rules = /* @__PURE__ */ new Map();
   constraints = /* @__PURE__ */ new Map();
+  compliance;
+  contractGaps = [];
+  constructor(options = {}) {
+    const defaultEnabled = typeof process !== "undefined" ? true : false;
+    this.compliance = {
+      enabled: defaultEnabled,
+      requiredFields: ["behavior", "examples", "invariants"],
+      missingSeverity: "warning",
+      ...options.compliance
+    };
+  }
   /**
    * Register a rule
    */
@@ -14,6 +25,7 @@ var PraxisRegistry = class {
       throw new Error(`Rule with id "${descriptor.id}" already registered`);
     }
     this.rules.set(descriptor.id, descriptor);
+    this.trackContractCompliance(descriptor.id, descriptor);
   }
   /**
    * Register a constraint
@@ -23,6 +35,7 @@ var PraxisRegistry = class {
       throw new Error(`Constraint with id "${descriptor.id}" already registered`);
     }
     this.constraints.set(descriptor.id, descriptor);
+    this.trackContractCompliance(descriptor.id, descriptor);
   }
   /**
    * Register a module (all its rules and constraints)
@@ -71,6 +84,69 @@ var PraxisRegistry = class {
   getAllConstraints() {
     return Array.from(this.constraints.values());
   }
+  /**
+  * Get collected contract gaps from registration-time validation.
+  */
+  getContractGaps() {
+    return [...this.contractGaps];
+  }
+  /**
+  * Clear collected contract gaps.
+  */
+  clearContractGaps() {
+    this.contractGaps = [];
+  }
+  trackContractCompliance(id, descriptor) {
+    if (!this.compliance.enabled) {
+      return;
+    }
+    const gaps = this.validateDescriptorContract(id, descriptor);
+    for (const gap of gaps) {
+      this.contractGaps.push(gap);
+      if (this.compliance.onGap) {
+        this.compliance.onGap(gap);
+      } else {
+        const label = gap.severity === "error" ? "ERROR" : gap.severity === "warning" ? "WARN" : "INFO";
+        console.warn(`[Praxis][${label}] Contract gap for "${gap.ruleId}": missing ${gap.missing.join(", ")}`);
+      }
+    }
+  }
+  validateDescriptorContract(id, descriptor) {
+    const requiredFields = this.compliance.requiredFields ?? ["behavior", "examples", "invariants"];
+    const missingSeverity = this.compliance.missingSeverity ?? "warning";
+    const contract = descriptor.contract ?? (descriptor.meta?.contract && typeof descriptor.meta.contract === "object" ? descriptor.meta.contract : void 0);
+    if (!contract) {
+      return [
+        {
+          ruleId: id,
+          missing: ["contract"],
+          severity: missingSeverity,
+          message: `Contract missing for "${id}"`
+        }
+      ];
+    }
+    const missing = [];
+    if (requiredFields.includes("behavior") && (!contract.behavior || contract.behavior.trim() === "")) {
+      missing.push("behavior");
+    }
+    if (requiredFields.includes("examples") && (!contract.examples || contract.examples.length === 0)) {
+      missing.push("examples");
+    }
+    if (requiredFields.includes("invariants") && (!contract.invariants || contract.invariants.length === 0)) {
+      missing.push("invariants");
+    }
+    if (missing.length === 0) {
+      return [];
+    }
+    return [
+      {
+        ruleId: id,
+        missing,
+        severity: "warning",
+        message: `Contract for "${id}" is incomplete: missing ${missing.join(", ")}`
+      }
+    ];
+  }
 };
 
 // src/core/reactive-engine.svelte.ts

package/dist/{node/chunk-JQ64KMLN.js → browser/chunk-MBVHLOU2.js}

@@ -132,10 +132,21 @@ var PluresDBPraxisAdapter = class {
 function createPluresDB(config) {
   return new PluresDBPraxisAdapter(config);
 }
+async function createPraxisLocalFirst(options = {}) {
+  const { pollInterval, ...localOptions } = options;
+  const mod = await import("@plures/pluresdb/local-first");
+  const LocalFirstCtor = mod.PluresDBLocalFirst ?? mod.default;
+  if (!LocalFirstCtor) {
+    throw new Error("Failed to load PluresDBLocalFirst from @plures/pluresdb/local-first");
+  }
+  const db = new LocalFirstCtor(localOptions);
+  return new PluresDBPraxisAdapter({ db, pollInterval });
+}
 
 export {
   InMemoryPraxisDB,
   createInMemoryDB,
   PluresDBPraxisAdapter,
-  createPluresDB
+  createPluresDB,
+  createPraxisLocalFirst
 };

package/dist/browser/index.d.ts

@@ -1,5 +1,6 @@
-import { L as LogicEngine, P as PraxisState, a as PraxisEvent, b as PraxisRegistry, R as RuleDescriptor, C as ConstraintDescriptor, c as PraxisFact, d as RuleFn, e as ConstraintFn, f as PraxisModule } from './reactive-engine.svelte-C9OpcTHf.js';
-export { m as ConstraintId, k as PRAXIS_PROTOCOL_VERSION, g as PraxisDiagnostics, n as PraxisEngineOptions, h as PraxisStepConfig, j as PraxisStepFn, i as PraxisStepResult, p as ReactiveEngineOptions, q as ReactiveLogicEngine, l as RuleId, o as createPraxisEngine, r as createReactiveEngine } from './reactive-engine.svelte-C9OpcTHf.js';
+import { L as LogicEngine, P as PraxisState, a as PraxisEvent, b as PraxisRegistry, R as RuleDescriptor, C as ConstraintDescriptor, c as PraxisFact, d as RuleFn, e as Contract, f as ConstraintFn, g as PraxisModule } from './reactive-engine.svelte-9aS0kTa8.js';
+export { n as ConstraintId, l as PRAXIS_PROTOCOL_VERSION, h as PraxisDiagnostics, o as PraxisEngineOptions, i as PraxisStepConfig, k as PraxisStepFn, j as PraxisStepResult, q as ReactiveEngineOptions, r as ReactiveLogicEngine, m as RuleId, p as createPraxisEngine, s as createReactiveEngine } from './reactive-engine.svelte-9aS0kTa8.js';
+import { LocalFirstOptions } from '@plures/pluresdb/local-first';
 
 /**
  * Praxis Reactive Logic Engine
@@ -434,6 +435,7 @@ interface DefineRuleOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: RuleFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -460,6 +462,7 @@ interface DefineConstraintOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: ConstraintFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -943,6 +946,7 @@ declare function validateForGeneration(schema: PraxisSchema): ValidationResult;
  * Provides a minimal adapter layer for PluresDB integration.
  * This module defines the core interface and an in-memory implementation.
  */
+
 /**
  * Function to unsubscribe from a watch
  */
@@ -1013,7 +1017,10 @@ declare function createInMemoryDB(): InMemoryPraxisDB;
  */
 type PluresDBInstance = {
     get(key: string): Promise<any>;
-    put(key: string, value: any): Promise<void>;
+    put(key: string, value: any): Promise<any>;
+    delete?(key: string): Promise<void>;
+    list?(): Promise<any[]>;
+    close?(): Promise<void>;
 };
 /**
  * Configuration options for PluresDBPraxisAdapter
@@ -1055,7 +1062,7 @@ declare class PluresDBPraxisAdapter implements PraxisDB {
  *
  * @example
  * ```typescript
- * import { PluresNode } from 'pluresdb';
+ * import { PluresNode } from '@plures/pluresdb';
  * import { createPluresDB } from '@plures/praxis';
  *
  * const pluresdb = new PluresNode({ autoStart: true });
@@ -1075,6 +1082,26 @@ declare class PluresDBPraxisAdapter implements PraxisDB {
  * ```
  */
 declare function createPluresDB(config: PluresDBAdapterConfig | PluresDBInstance): PluresDBPraxisAdapter;
+/**
+ * Options for creating a local-first PluresDB adapter using the unified API
+ */
+interface PraxisLocalFirstOptions extends LocalFirstOptions {
+    /** Optional polling interval override for watch semantics (ms). Defaults to 1000ms. */
+    pollInterval?: number;
+}
+/**
+ * Create a PraxisDB adapter backed by PluresDB's unified local-first API.
+ *
+ * This will auto-detect the best backend (WASM/Tauri/IPC/network) unless a mode is provided.
+ * Uses dynamic import to avoid bundling the local-first module in environments that don't need it.
+ *
+ * @example
+ * ```typescript
+ * const db = await createPraxisLocalFirst({ mode: 'auto' });
+ * await db.set('/_praxis/facts/user/1', { id: '1', name: 'Alice' });
+ * ```
+ */
+declare function createPraxisLocalFirst(options?: PraxisLocalFirstOptions): Promise<PluresDBPraxisAdapter>;
 
 /**
  * PraxisDB Store
@@ -3290,4 +3317,4 @@ declare function attachAllIntegrations<TContext = unknown>(engine: LogicEngine<T
     dispose: () => void;
 }>;
 
-export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, type ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition$1 as EventDefinition, type EventStreamEntry, type FactDefinition$1 as FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, InMemoryPraxisDB, type LifecycleState, type LoaderOptions, type LoaderResult, type LogicDefinition, LogicEngine, type ModelDefinition, type NodeBindings, type NodeDefinition, type OrchestrationDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterConfig, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, type PluresDBInstance, PluresDBPraxisAdapter, type PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, type 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 TerminalNodeProps, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, type UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, type ValidationError, type ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createInMemoryDB, createIntrospector, createMockTauriBridge, createPluresDB, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchema, createSchemaRegistry, createSchemaTemplate, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateSchema, validateWithGuardian };
+export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, type ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition$1 as EventDefinition, type EventStreamEntry, type FactDefinition$1 as FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, InMemoryPraxisDB, type LifecycleState, type LoaderOptions, type LoaderResult, type LogicDefinition, LogicEngine, type ModelDefinition, type NodeBindings, type NodeDefinition, type OrchestrationDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterConfig, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, type PluresDBInstance, PluresDBPraxisAdapter, type PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, type PraxisLocalFirstOptions, PraxisModule, PraxisRegistry, type 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 TerminalNodeProps, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, type UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, type ValidationError, type ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createInMemoryDB, createIntrospector, createMockTauriBridge, createPluresDB, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createPraxisLocalFirst, createSchema, createSchemaRegistry, createSchemaTemplate, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateSchema, validateWithGuardian };

package/dist/browser/index.js

@@ -2,7 +2,7 @@ import {
   PraxisRegistry,
   ReactiveLogicEngine,
   createReactiveEngine
-} from "./chunk-LE2ZJYFC.js";
+} from "./chunk-K377RW4V.js";
 import {
   LogicEngine,
   PRAXIS_PROTOCOL_VERSION,
@@ -12,8 +12,9 @@ import {
   InMemoryPraxisDB,
   PluresDBPraxisAdapter,
   createInMemoryDB,
-  createPluresDB
-} from "./chunk-JQ64KMLN.js";
+  createPluresDB,
+  createPraxisLocalFirst
+} from "./chunk-MBVHLOU2.js";
 
 // src/core/reactive-engine.ts
 var ReactiveLogicEngine2 = class _ReactiveLogicEngine {
@@ -579,19 +580,25 @@ function defineEvent(tag) {
   };
 }
 function defineRule(options) {
+  const contract = options.contract ?? options.meta?.contract;
+  const meta = contract ? { ...options.meta ?? {}, contract } : options.meta;
   return {
     id: options.id,
     description: options.description,
     impl: options.impl,
-    meta: options.meta
+    contract,
+    meta
   };
 }
 function defineConstraint(options) {
+  const contract = options.contract ?? options.meta?.contract;
+  const meta = contract ? { ...options.meta ?? {}, contract } : options.meta;
   return {
     id: options.id,
     description: options.description,
     impl: options.impl,
-    meta: options.meta
+    contract,
+    meta
   };
 }
 function defineModule(options) {
@@ -2707,7 +2714,7 @@ function generateTauriConfig(config) {
 // src/integrations/unified.ts
 async function createUnifiedApp(config) {
   const { createPraxisEngine: createPraxisEngine2 } = await import("./engine-YJZV4SLD.js");
-  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-TM4IS5KT.js");
+  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-CIMBGDC7.js");
   const db = config.db || createInMemoryDB2();
   const pluresdb = createPluresDBAdapter({
     db,
@@ -2781,7 +2788,7 @@ async function createUnifiedApp(config) {
   };
 }
 async function attachAllIntegrations(engine, registry, options = {}) {
-  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-TM4IS5KT.js");
+  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-CIMBGDC7.js");
   const db = options.db || createInMemoryDB2();
   const pluresdb = createPluresDBAdapter({
     db,
@@ -2867,6 +2874,7 @@ export {
   createPluresDBGenerator,
   createPraxisDBStore,
   createPraxisEngine,
+  createPraxisLocalFirst,
   createReactiveEngine,
   createSchema,
   createSchemaRegistry,

package/dist/browser/integrations/svelte.d.ts

@@ -1,5 +1,5 @@
-import { L as LogicEngine, P as PraxisState, a as PraxisEvent } from '../reactive-engine.svelte-C9OpcTHf.js';
-export { p as ReactiveEngineOptions, q as ReactiveLogicEngine, r as createReactiveEngine } from '../reactive-engine.svelte-C9OpcTHf.js';
+import { L as LogicEngine, P as PraxisState, a as PraxisEvent } from '../reactive-engine.svelte-9aS0kTa8.js';
+export { q as ReactiveEngineOptions, r as ReactiveLogicEngine, s as createReactiveEngine } from '../reactive-engine.svelte-9aS0kTa8.js';
 
 /**
  * Svelte v5 Integration

package/dist/browser/integrations/svelte.js

@@ -1,7 +1,7 @@
 import {
   ReactiveLogicEngine,
   createReactiveEngine
-} from "../chunk-LE2ZJYFC.js";
+} from "../chunk-K377RW4V.js";
 import "../chunk-VOMLVI6V.js";
 
 // src/integrations/svelte.ts