@plures/praxis 1.1.3 → 1.2.10

package/dist/node/index.js

@@ -1,3 +1,44 @@
+import {
+  AcknowledgeContractGap,
+  BehaviorLedger,
+  ContractAdded,
+  ContractGapAcknowledged,
+  ContractMissing,
+  ContractUpdated,
+  ContractValidated,
+  ValidateContracts,
+  createBehaviorLedger,
+  defineConstraint,
+  defineEvent,
+  defineFact,
+  defineModule,
+  defineRule,
+  filterEvents,
+  filterFacts,
+  findEvent,
+  findFact,
+  formatValidationReport,
+  formatValidationReportJSON,
+  formatValidationReportSARIF,
+  validateContracts
+} from "./chunk-5RH7UAQC.js";
+import {
+  defineContract,
+  getContract,
+  isContract
+} from "./chunk-WZ6B3LZ6.js";
+import {
+  InMemoryPraxisDB,
+  PluresDBPraxisAdapter,
+  createInMemoryDB,
+  createPluresDB,
+  createPraxisLocalFirst
+} from "./chunk-MBVHLOU2.js";
+import {
+  StateDocsGenerator,
+  createStateDocsGenerator,
+  generateDocs
+} from "./chunk-S54337I5.js";
 import {
   canvasToMermaid,
   canvasToSchema,
@@ -7,13 +48,12 @@ import {
   validateWithGuardian
 } from "./chunk-SRM3OPPM.js";
 import {
-  LogicEngine,
-  PRAXIS_PROTOCOL_VERSION,
-  PraxisRegistry,
   ReactiveLogicEngine,
-  createPraxisEngine,
   createReactiveEngine
-} from "./chunk-R45WXWKH.js";
+} from "./chunk-PRPQO6R5.js";
+import {
+  PraxisRegistry
+} from "./chunk-R2PSBPKQ.js";
 import {
   TerminalAdapter,
   createMockExecutor,
@@ -35,6 +75,11 @@ import {
   createSchemaTemplate,
   validateSchema
 } from "./chunk-UATVJBNV.js";
+import {
+  LogicEngine,
+  PRAXIS_PROTOCOL_VERSION,
+  createPraxisEngine
+} from "./chunk-VOMLVI6V.js";
 import "./chunk-QGM4M3NI.js";
 
 // src/core/reactive-engine.ts
@@ -577,65 +622,6 @@ function createIntrospector(registry) {
   return new RegistryIntrospector(registry);
 }
 
-// src/dsl/index.ts
-function defineFact(tag) {
-  return {
-    tag,
-    create(payload) {
-      return { tag, payload };
-    },
-    is(fact) {
-      return fact.tag === tag;
-    }
-  };
-}
-function defineEvent(tag) {
-  return {
-    tag,
-    create(payload) {
-      return { tag, payload };
-    },
-    is(event) {
-      return event.tag === tag;
-    }
-  };
-}
-function defineRule(options) {
-  return {
-    id: options.id,
-    description: options.description,
-    impl: options.impl,
-    meta: options.meta
-  };
-}
-function defineConstraint(options) {
-  return {
-    id: options.id,
-    description: options.description,
-    impl: options.impl,
-    meta: options.meta
-  };
-}
-function defineModule(options) {
-  return {
-    rules: options.rules ?? [],
-    constraints: options.constraints ?? [],
-    meta: options.meta
-  };
-}
-function filterEvents(events, definition) {
-  return events.filter(definition.is);
-}
-function filterFacts(facts, definition) {
-  return facts.filter(definition.is);
-}
-function findEvent(events, definition) {
-  return events.find(definition.is);
-}
-function findFact(facts, definition) {
-  return facts.find(definition.is);
-}
-
 // src/core/pluresdb/store.ts
 var PRAXIS_PATHS = {
   /** Base path for all Praxis data */
@@ -915,141 +901,6 @@ function createPraxisDBStore(db, registry, initialContext, onRuleError) {
   return new PraxisDBStore({ db, registry, initialContext, onRuleError });
 }
 
-// src/core/pluresdb/adapter.ts
-var InMemoryPraxisDB = class {
-  store = /* @__PURE__ */ new Map();
-  watchers = /* @__PURE__ */ new Map();
-  async get(key) {
-    return this.store.get(key);
-  }
-  async set(key, value) {
-    this.store.set(key, value);
-    const keyWatchers = this.watchers.get(key);
-    if (keyWatchers) {
-      for (const callback of keyWatchers) {
-        callback(value);
-      }
-    }
-  }
-  watch(key, callback) {
-    if (!this.watchers.has(key)) {
-      this.watchers.set(key, /* @__PURE__ */ new Set());
-    }
-    const watchers = this.watchers.get(key);
-    const wrappedCallback = (val) => callback(val);
-    watchers.add(wrappedCallback);
-    return () => {
-      watchers.delete(wrappedCallback);
-      if (watchers.size === 0) {
-        this.watchers.delete(key);
-      }
-    };
-  }
-  /**
-   * Get all keys (for testing/debugging)
-   */
-  keys() {
-    return Array.from(this.store.keys());
-  }
-  /**
-   * Clear all data (for testing)
-   */
-  clear() {
-    this.store.clear();
-    this.watchers.clear();
-  }
-};
-function createInMemoryDB() {
-  return new InMemoryPraxisDB();
-}
-var PluresDBPraxisAdapter = class {
-  db;
-  watchers = /* @__PURE__ */ new Map();
-  pollIntervals = /* @__PURE__ */ new Map();
-  lastValues = /* @__PURE__ */ new Map();
-  pollInterval;
-  constructor(config) {
-    if ("get" in config && "put" in config) {
-      this.db = config;
-      this.pollInterval = 1e3;
-    } else {
-      this.db = config.db;
-      this.pollInterval = config.pollInterval ?? 1e3;
-    }
-  }
-  async get(key) {
-    try {
-      const value = await this.db.get(key);
-      return value;
-    } catch (error) {
-      return void 0;
-    }
-  }
-  async set(key, value) {
-    await this.db.put(key, value);
-    this.lastValues.set(key, value);
-    const keyWatchers = this.watchers.get(key);
-    if (keyWatchers) {
-      for (const callback of keyWatchers) {
-        callback(value);
-      }
-    }
-  }
-  watch(key, callback) {
-    if (!this.watchers.has(key)) {
-      this.watchers.set(key, /* @__PURE__ */ new Set());
-    }
-    const watchers = this.watchers.get(key);
-    const wrappedCallback = (val) => callback(val);
-    watchers.add(wrappedCallback);
-    if (!this.pollIntervals.has(key)) {
-      const interval = setInterval(async () => {
-        try {
-          const value = await this.db.get(key);
-          const lastValue = this.lastValues.get(key);
-          if (JSON.stringify(value) !== JSON.stringify(lastValue)) {
-            this.lastValues.set(key, value);
-            const currentWatchers = this.watchers.get(key);
-            if (currentWatchers) {
-              for (const cb of currentWatchers) {
-                cb(value);
-              }
-            }
-          }
-        } catch (error) {
-        }
-      }, this.pollInterval);
-      this.pollIntervals.set(key, interval);
-    }
-    return () => {
-      watchers.delete(wrappedCallback);
-      if (watchers.size === 0) {
-        this.watchers.delete(key);
-        const interval = this.pollIntervals.get(key);
-        if (interval) {
-          clearInterval(interval);
-          this.pollIntervals.delete(key);
-        }
-        this.lastValues.delete(key);
-      }
-    };
-  }
-  /**
-   * Clean up all resources
-   */
-  dispose() {
-    for (const interval of this.pollIntervals.values()) {
-      clearInterval(interval);
-    }
-    this.pollIntervals.clear();
-    this.watchers.clear();
-    this.lastValues.clear();
-  }
-};
-function createPluresDB(config) {
-  return new PluresDBPraxisAdapter(config);
-}
-
 // src/core/pluresdb/schema-registry.ts
 function getSchemaPath(schemaName) {
   return `${PRAXIS_PATHS.SCHEMAS}/${schemaName}`;
@@ -1370,447 +1221,6 @@ function attachUnumToEngine(_engine, _adapter, _channelId) {
   };
 }
 
-// src/integrations/state-docs.ts
-var StateDocsGenerator = class {
-  config;
-  constructor(config) {
-    this.config = {
-      target: "./docs",
-      globs: ["**/*.ts", "**/*.js"],
-      visualization: {
-        format: "mermaid",
-        exportPng: false,
-        theme: "default"
-      },
-      template: {
-        toc: true,
-        timestamp: true
-      },
-      ...config
-    };
-  }
-  /**
-   * Generate documentation from a Praxis schema
-   */
-  generateFromSchema(schema) {
-    const docs = [];
-    docs.push(this.generateSchemaReadme(schema));
-    if (schema.models && schema.models.length > 0) {
-      docs.push(this.generateModelsDoc(schema));
-    }
-    if (schema.components && schema.components.length > 0) {
-      docs.push(this.generateComponentsDoc(schema));
-    }
-    if (schema.logic && schema.logic.length > 0) {
-      for (const logic of schema.logic) {
-        docs.push(this.generateLogicDoc(logic));
-        docs.push(this.generateLogicDiagram(logic));
-      }
-    }
-    return docs;
-  }
-  /**
-   * Generate documentation from a Praxis registry
-   */
-  generateFromModule(module) {
-    const docs = [];
-    const rules = module.rules;
-    const constraints = module.constraints;
-    docs.push(this.generateRulesDoc(rules));
-    docs.push(this.generateConstraintsDoc(constraints));
-    docs.push(this.generateRegistryDiagram(rules, constraints));
-    return docs;
-  }
-  /**
-   * Generate the main schema README
-   */
-  generateSchemaReadme(schema) {
-    const lines = [];
-    if (this.config.template?.header) {
-      lines.push(this.config.template.header);
-      lines.push("");
-    }
-    lines.push(`# ${schema.name || this.config.projectTitle}`);
-    lines.push("");
-    if (schema.description) {
-      lines.push(schema.description);
-      lines.push("");
-    }
-    if (this.config.template?.toc) {
-      lines.push("## Table of Contents");
-      lines.push("");
-      lines.push("- [Overview](#overview)");
-      if (schema.models && schema.models.length > 0) {
-        lines.push("- [Models](#models)");
-      }
-      if (schema.components && schema.components.length > 0) {
-        lines.push("- [Components](#components)");
-      }
-      if (schema.logic && schema.logic.length > 0) {
-        lines.push("- [Logic](#logic)");
-      }
-      lines.push("");
-    }
-    lines.push("## Overview");
-    lines.push("");
-    lines.push(`**Version:** ${schema.version}`);
-    lines.push("");
-    lines.push("### Statistics");
-    lines.push("");
-    lines.push("| Category | Count |");
-    lines.push("|----------|-------|");
-    lines.push(`| Models | ${schema.models?.length || 0} |`);
-    lines.push(`| Components | ${schema.components?.length || 0} |`);
-    lines.push(`| Logic Modules | ${schema.logic?.length || 0} |`);
-    lines.push("");
-    if (schema.models && schema.models.length > 0) {
-      lines.push("## Models");
-      lines.push("");
-      for (const model of schema.models) {
-        lines.push(`### ${model.name}`);
-        lines.push("");
-        if (model.description) {
-          lines.push(model.description);
-          lines.push("");
-        }
-        lines.push("**Fields:**");
-        lines.push("");
-        lines.push("| Name | Type | Required |");
-        lines.push("|------|------|----------|");
-        for (const field of model.fields) {
-          const required = field.optional ? "No" : "Yes";
-          lines.push(`| ${field.name} | ${field.type} | ${required} |`);
-        }
-        lines.push("");
-      }
-    }
-    if (schema.components && schema.components.length > 0) {
-      lines.push("## Components");
-      lines.push("");
-      for (const component of schema.components) {
-        lines.push(`### ${component.name}`);
-        lines.push("");
-        lines.push(`**Type:** ${component.type}`);
-        lines.push("");
-        if (component.description) {
-          lines.push(component.description);
-          lines.push("");
-        }
-        if (component.model) {
-          lines.push(`**Model:** ${component.model}`);
-          lines.push("");
-        }
-      }
-    }
-    if (schema.logic && schema.logic.length > 0) {
-      lines.push("## Logic");
-      lines.push("");
-      for (const logic of schema.logic) {
-        lines.push(`### ${logic.id}`);
-        lines.push("");
-        if (logic.description) {
-          lines.push(logic.description);
-          lines.push("");
-        }
-        if (logic.events && logic.events.length > 0) {
-          lines.push("**Events:**");
-          lines.push("");
-          for (const event of logic.events) {
-            lines.push(`- \`${event.tag}\`: ${event.description || ""}`);
-          }
-          lines.push("");
-        }
-        if (logic.facts && logic.facts.length > 0) {
-          lines.push("**Facts:**");
-          lines.push("");
-          for (const fact of logic.facts) {
-            lines.push(`- \`${fact.tag}\`: ${fact.description || ""}`);
-          }
-          lines.push("");
-        }
-        if (logic.rules && logic.rules.length > 0) {
-          lines.push("**Rules:**");
-          lines.push("");
-          for (const rule of logic.rules) {
-            lines.push(`- \`${rule.id}\`: ${rule.description || ""}`);
-          }
-          lines.push("");
-        }
-      }
-    }
-    if (this.config.template?.timestamp) {
-      lines.push("---");
-      lines.push("");
-      lines.push(`*Generated on ${(/* @__PURE__ */ new Date()).toISOString()} by State-Docs*`);
-    }
-    if (this.config.template?.footer) {
-      lines.push("");
-      lines.push(this.config.template.footer);
-    }
-    return {
-      path: `${this.config.target}/README.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate models documentation
-   */
-  generateModelsDoc(schema) {
-    const lines = [
-      "# Models",
-      "",
-      "This document describes all data models defined in the schema.",
-      ""
-    ];
-    if (schema.models) {
-      for (const model of schema.models) {
-        lines.push(`## ${model.name}`);
-        lines.push("");
-        if (model.description) {
-          lines.push(model.description);
-          lines.push("");
-        }
-        lines.push("### Fields");
-        lines.push("");
-        lines.push("| Name | Type | Required | Description |");
-        lines.push("|------|------|----------|-------------|");
-        for (const field of model.fields) {
-          const required = field.optional ? "No" : "Yes";
-          const description = field.description || "-";
-          lines.push(`| ${field.name} | \`${field.type}\` | ${required} | ${description} |`);
-        }
-        lines.push("");
-        if (model.indexes && model.indexes.length > 0) {
-          lines.push("### Indexes");
-          lines.push("");
-          for (const index of model.indexes) {
-            lines.push(`- **${index.name}**: \`${index.fields.join(", ")}\``);
-          }
-          lines.push("");
-        }
-      }
-    }
-    return {
-      path: `${this.config.target}/models.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate components documentation
-   */
-  generateComponentsDoc(schema) {
-    const lines = [
-      "# Components",
-      "",
-      "This document describes all UI components defined in the schema.",
-      ""
-    ];
-    if (schema.components) {
-      for (const component of schema.components) {
-        lines.push(`## ${component.name}`);
-        lines.push("");
-        lines.push(`**Type:** ${component.type}`);
-        lines.push("");
-        if (component.description) {
-          lines.push(component.description);
-          lines.push("");
-        }
-        if (component.model) {
-          lines.push(
-            `**Associated Model:** [${component.model}](./models.md#${component.model.toLowerCase()})`
-          );
-          lines.push("");
-        }
-      }
-    }
-    return {
-      path: `${this.config.target}/components.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate logic documentation
-   */
-  generateLogicDoc(logic) {
-    const lines = [`# ${logic.id}`, ""];
-    if (logic.description) {
-      lines.push(logic.description);
-      lines.push("");
-    }
-    if (logic.events && logic.events.length > 0) {
-      lines.push("## Events");
-      lines.push("");
-      lines.push("| Event | Description | Payload |");
-      lines.push("|-------|-------------|---------|");
-      for (const event of logic.events) {
-        const payload = event.payload ? Object.entries(event.payload).map(([k, v]) => `${k}: ${v}`).join(", ") : "-";
-        lines.push(`| \`${event.tag}\` | ${event.description || "-"} | ${payload} |`);
-      }
-      lines.push("");
-    }
-    if (logic.facts && logic.facts.length > 0) {
-      lines.push("## Facts");
-      lines.push("");
-      lines.push("| Fact | Description | Payload |");
-      lines.push("|------|-------------|---------|");
-      for (const fact of logic.facts) {
-        const payload = fact.payload ? Object.entries(fact.payload).map(([k, v]) => `${k}: ${v}`).join(", ") : "-";
-        lines.push(`| \`${fact.tag}\` | ${fact.description || "-"} | ${payload} |`);
-      }
-      lines.push("");
-    }
-    if (logic.rules && logic.rules.length > 0) {
-      lines.push("## Rules");
-      lines.push("");
-      for (const rule of logic.rules) {
-        lines.push(`### ${rule.id}`);
-        lines.push("");
-        if (rule.description) {
-          lines.push(rule.description);
-          lines.push("");
-        }
-        if (rule.priority !== void 0) {
-          lines.push(`**Priority:** ${rule.priority}`);
-          lines.push("");
-        }
-      }
-    }
-    if (logic.constraints && logic.constraints.length > 0) {
-      lines.push("## Constraints");
-      lines.push("");
-      for (const constraint of logic.constraints) {
-        lines.push(`### ${constraint.id}`);
-        lines.push("");
-        if (constraint.description) {
-          lines.push(constraint.description);
-          lines.push("");
-        }
-        if (constraint.message) {
-          lines.push(`**Error Message:** ${constraint.message}`);
-          lines.push("");
-        }
-      }
-    }
-    return {
-      path: `${this.config.target}/logic/${logic.id}.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate Mermaid diagram for logic
-   */
-  generateLogicDiagram(logic) {
-    const lines = ["stateDiagram-v2"];
-    if (logic.events && logic.facts) {
-      lines.push("    [*] --> Processing");
-      for (const event of logic.events) {
-        lines.push(`    Processing --> ${event.tag.replace(/[^a-zA-Z0-9]/g, "")}: ${event.tag}`);
-      }
-      for (const fact of logic.facts) {
-        lines.push(`    ${fact.tag.replace(/[^a-zA-Z0-9]/g, "")} --> [*]`);
-      }
-    }
-    return {
-      path: `${this.config.target}/logic/${logic.id}.mmd`,
-      content: lines.join("\n"),
-      type: "mermaid"
-    };
-  }
-  /**
-   * Generate rules documentation
-   */
-  generateRulesDoc(rules) {
-    const lines = [
-      "# Rules",
-      "",
-      "This document describes all rules registered in the Praxis engine.",
-      ""
-    ];
-    for (const rule of rules) {
-      lines.push(`## ${rule.id}`);
-      lines.push("");
-      if (rule.description) {
-        lines.push(rule.description);
-        lines.push("");
-      }
-      if (rule.meta?.eventType) {
-        lines.push(`**Triggers on:** \`${rule.meta.eventType}\``);
-        lines.push("");
-      }
-      if (rule.meta?.priority !== void 0) {
-        lines.push(`**Priority:** ${rule.meta.priority}`);
-        lines.push("");
-      }
-    }
-    return {
-      path: `${this.config.target}/rules.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate constraints documentation
-   */
-  generateConstraintsDoc(constraints) {
-    const lines = [
-      "# Constraints",
-      "",
-      "This document describes all constraints (invariants) registered in the Praxis engine.",
-      ""
-    ];
-    for (const constraint of constraints) {
-      lines.push(`## ${constraint.id}`);
-      lines.push("");
-      if (constraint.description) {
-        lines.push(constraint.description);
-        lines.push("");
-      }
-      if (constraint.meta?.errorMessage) {
-        lines.push(`**Error Message:** ${constraint.meta.errorMessage}`);
-        lines.push("");
-      }
-    }
-    return {
-      path: `${this.config.target}/constraints.md`,
-      content: lines.join("\n"),
-      type: "markdown"
-    };
-  }
-  /**
-   * Generate state diagram from registry
-   */
-  generateRegistryDiagram(rules, constraints) {
-    const lines = ["graph TD", "    subgraph Rules"];
-    for (const rule of rules) {
-      const id = rule.id.replace(/[^a-zA-Z0-9]/g, "_");
-      lines.push(`        ${id}["${rule.id}"]`);
-    }
-    lines.push("    end");
-    lines.push("    subgraph Constraints");
-    for (const constraint of constraints) {
-      const id = constraint.id.replace(/[^a-zA-Z0-9]/g, "_");
-      lines.push(`        ${id}["${constraint.id}"]`);
-    }
-    lines.push("    end");
-    return {
-      path: `${this.config.target}/state-diagram.mmd`,
-      content: lines.join("\n"),
-      type: "mermaid"
-    };
-  }
-};
-function createStateDocsGenerator(config) {
-  return new StateDocsGenerator(config);
-}
-function generateDocs(schema, config) {
-  const generator = createStateDocsGenerator(config);
-  return generator.generateFromSchema(schema);
-}
-
 // src/integrations/tauri.ts
 function createMockTauriBridge() {
   const eventHandlers = /* @__PURE__ */ new Map();
@@ -2030,8 +1440,147 @@ function generateTauriConfig(config) {
     plugins: Object.fromEntries((config.plugins || []).map((p) => [p.name, p.config || {}]))
   };
 }
+
+// src/integrations/unified.ts
+async function createUnifiedApp(config) {
+  const { createPraxisEngine: createPraxisEngine2 } = await import("./engine-2DQBKBJC.js");
+  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-75ISSMWD.js");
+  const db = config.db || createInMemoryDB2();
+  const pluresdb = createPluresDBAdapter({
+    db,
+    registry: config.registry,
+    initialContext: config.initialContext
+  });
+  const engine = createPraxisEngine2({
+    initialContext: config.initialContext,
+    registry: config.registry
+  });
+  pluresdb.attachEngine(engine);
+  const disposers = [];
+  let unum;
+  let channel;
+  if (config.enableUnum) {
+    const fullIdentity = config.unumIdentity ? {
+      ...config.unumIdentity,
+      id: generateId(),
+      createdAt: Date.now()
+    } : void 0;
+    unum = await createUnumAdapter({
+      db,
+      identity: fullIdentity,
+      realtime: true
+    });
+    channel = await unum.createChannel(
+      config.unumIdentity?.name || "praxis-app",
+      []
+    );
+    const unumDisposer = attachUnumToEngine(engine, unum, channel.id);
+    disposers.push(unumDisposer);
+  }
+  let docs;
+  let generateDocs2;
+  if (config.enableDocs && config.docsConfig) {
+    docs = createStateDocsGenerator({
+      projectTitle: config.docsConfig.projectTitle,
+      target: config.docsConfig.target || "./docs"
+    });
+    generateDocs2 = () => {
+      const module = {
+        rules: config.registry.getAllRules(),
+        constraints: config.registry.getAllConstraints()
+      };
+      return docs.generateFromModule(module);
+    };
+  }
+  let canvas;
+  if (config.schema) {
+    canvas = schemaToCanvas(config.schema, { layout: "hierarchical" });
+  }
+  return {
+    engine,
+    pluresdb,
+    unum,
+    channel,
+    docs,
+    canvas,
+    generateDocs: generateDocs2,
+    dispose: () => {
+      pluresdb.dispose();
+      if (unum) {
+        unum.disconnect().catch((err) => {
+          console.warn("Warning: Error during Unum disconnect:", err);
+        });
+      }
+      for (const disposer of disposers) {
+        disposer();
+      }
+    }
+  };
+}
+async function attachAllIntegrations(engine, registry, options = {}) {
+  const { createInMemoryDB: createInMemoryDB2 } = await import("./adapter-75ISSMWD.js");
+  const db = options.db || createInMemoryDB2();
+  const pluresdb = createPluresDBAdapter({
+    db,
+    registry,
+    initialContext: engine.getContext()
+  });
+  pluresdb.attachEngine(engine);
+  const disposers = [];
+  let unum;
+  let channel;
+  if (options.enableUnum) {
+    const fullIdentity = options.unumIdentity ? {
+      ...options.unumIdentity,
+      id: generateId(),
+      createdAt: Date.now()
+    } : void 0;
+    unum = await createUnumAdapter({
+      db,
+      identity: fullIdentity,
+      realtime: true
+    });
+    channel = await unum.createChannel(
+      options.unumIdentity?.name || "praxis-app",
+      []
+    );
+    const unumDisposer = attachUnumToEngine(engine, unum, channel.id);
+    disposers.push(unumDisposer);
+  }
+  let docs;
+  if (options.enableDocs && options.docsConfig) {
+    docs = createStateDocsGenerator({
+      projectTitle: options.docsConfig.projectTitle,
+      target: options.docsConfig.target || "./docs"
+    });
+  }
+  return {
+    pluresdb,
+    unum,
+    channel,
+    docs,
+    dispose: () => {
+      pluresdb.dispose();
+      if (unum) {
+        unum.disconnect().catch((err) => {
+          console.warn("Warning: Error during Unum disconnect:", err);
+        });
+      }
+      for (const disposer of disposers) {
+        disposer();
+      }
+    }
+  };
+}
 export {
+  AcknowledgeContractGap,
   ActorManager,
+  BehaviorLedger,
+  ContractAdded,
+  ContractGapAcknowledged,
+  ContractMissing,
+  ContractUpdated,
+  ContractValidated,
   ReactiveLogicEngine2 as FrameworkAgnosticReactiveEngine,
   InMemoryPraxisDB,
   LogicEngine,
@@ -2046,12 +1595,15 @@ export {
   RegistryIntrospector,
   StateDocsGenerator,
   TerminalAdapter,
+  ValidateContracts,
+  attachAllIntegrations,
   attachTauriToEngine,
   attachToEngine,
   attachUnumToEngine,
   canvasToMermaid,
   canvasToSchema,
   canvasToYaml,
+  createBehaviorLedger,
   createCanvasEditor,
   createReactiveEngine2 as createFrameworkAgnosticReactiveEngine,
   createInMemoryDB,
@@ -2063,6 +1615,7 @@ export {
   createPluresDBGenerator,
   createPraxisDBStore,
   createPraxisEngine,
+  createPraxisLocalFirst,
   createReactiveEngine,
   createSchemaRegistry,
   createSchemaTemplate,
@@ -2070,8 +1623,10 @@ export {
   createTauriPraxisAdapter,
   createTerminalAdapter,
   createTimerActor,
+  createUnifiedApp,
   createUnumAdapter,
   defineConstraint,
+  defineContract,
   defineEvent,
   defineFact,
   defineModule,
@@ -2080,12 +1635,17 @@ export {
   filterFacts,
   findEvent,
   findFact,
+  formatValidationReport,
+  formatValidationReportJSON,
+  formatValidationReportSARIF,
   generateDocs,
   generateId,
   generateTauriConfig,
+  getContract,
   getEventPath,
   getFactPath,
   getSchemaPath,
+  isContract,
   loadSchema,
   loadSchemaFromFile,
   loadSchemaFromJson,
@@ -2093,6 +1653,7 @@ export {
   registerSchema,
   runTerminalCommand,
   schemaToCanvas,
+  validateContracts,
   validateForGeneration,
   validateSchema,
   validateWithGuardian