@plures/praxis 1.1.3 → 1.2.10

package/dist/node/cli/index.js

@@ -605,6 +605,15 @@ program.command("generate").description("Generate code from schemas").option("-s
 ).action(async (options) => {
   await generate(options);
 });
+program.command("docs [schema]").description("Generate documentation from schemas or registries").option("-o, --output <dir>", "Output directory", "./docs").option("--title <title>", "Documentation title").option("--format <format>", "Diagram format (mermaid, dot)", "mermaid").option("--no-toc", "Disable table of contents").option("--no-timestamp", "Disable timestamp").option("--from-registry", "Generate from registry instead of schema").option("--header <content>", "Custom header content").option("--footer <content>", "Custom footer content").action(async (schema, options) => {
+  try {
+    const { docs } = await import("../docs-JFNYTOJA.js");
+    await docs(schema, options);
+  } catch (error) {
+    console.error("Error generating documentation:", error);
+    process.exit(1);
+  }
+});
 program.command("canvas [schema]").description("Open CodeCanvas for visual editing").option("-p, --port <port>", "Port for Canvas server", "3000").option("-m, --mode <mode>", "Mode (edit, view, present)", "edit").option("-e, --export <format>", "Export format (yaml, mermaid, json)").option("-o, --output <file>", "Output file for export").action(async (schema, options) => {
   try {
     const { canvas } = await import("../canvas-UERZHJYW.js");
@@ -687,4 +696,22 @@ program.command("verify <type>").description("Verify project implementation (e.g
     process.exit(1);
   }
 });
+program.command("validate").description("Validate contract coverage for rules and constraints").option("--output <format>", "Output format (console, json, sarif)", "console").option("--strict", "Exit with error if contracts are missing", false).option("--registry <path>", "Path to registry module").option("--tests", "Check for tests for each rule/constraint", true).option("--spec", "Check for specs for each rule/constraint", true).option("--emit-facts", "Emit ContractMissing facts JSON payload", false).option("--gap-output <file>", "Write contract-gap payload to file").option("--ledger <dir>", "Write logic ledger snapshots to directory").option("--author <name>", "Author name for ledger entries", "system").action(async (options) => {
+  try {
+    const { validateCommand } = await import("../validate-CNHUULQE.js");
+    await validateCommand(options);
+  } catch (error) {
+    console.error("Error validating contracts:", error);
+    process.exit(1);
+  }
+});
+program.command("reverse").description("Reverse engineer contracts from existing codebase").option("-d, --dir <path>", "Root directory to scan", process.cwd()).option("--ai <provider>", "AI provider (none, github-copilot, openai, auto)", "none").option("-o, --output <dir>", "Output directory for contracts", "./contracts").option("--ledger", "Write to logic ledger", false).option("--dry-run", "Dry run mode (no files written)", false).option("-i, --interactive", "Interactive mode (prompt for each)", false).option("--confidence <threshold>", "Confidence threshold (0.0-1.0)", "0.7").option("--limit <n>", "Max number of rules to process").option("--author <name>", "Author name for ledger entries", "reverse-engineer").option("--format <format>", "Output format (json, yaml)", "json").action(async (options) => {
+  try {
+    const { reverseCommand } = await import("../reverse-W7THPV45.js");
+    await reverseCommand(options);
+  } catch (error) {
+    console.error("Error reverse engineering contracts:", error);
+    process.exit(1);
+  }
+});
 program.parse();

package/dist/node/components/index.d.cts

@@ -1,6 +1,7 @@
-import { T as TerminalAdapter } from '../terminal-adapter-CDzxoLKR.cjs';
-export { c as createTerminalAdapter } from '../terminal-adapter-CDzxoLKR.cjs';
+import { T as TerminalAdapter } from '../terminal-adapter-BQSIF5bf.cjs';
+export { c as createTerminalAdapter } from '../terminal-adapter-BQSIF5bf.cjs';
 import '../schema.cjs';
+import '@plures/pluresdb/local-first';
 
 /**
  * Praxis Svelte Components

package/dist/node/components/index.d.ts

@@ -1,6 +1,7 @@
-import { T as TerminalAdapter } from '../terminal-adapter-CWka-yL8.js';
-export { c as createTerminalAdapter } from '../terminal-adapter-CWka-yL8.js';
+import { T as TerminalAdapter } from '../terminal-adapter-B-UK_Vdz.js';
+export { c as createTerminalAdapter } from '../terminal-adapter-B-UK_Vdz.js';
 import '../schema.js';
+import '@plures/pluresdb/local-first';
 
 /**
  * Praxis Svelte Components

package/dist/node/docs-JFNYTOJA.js

@@ -0,0 +1,102 @@
+import {
+  createStateDocsGenerator
+} from "./chunk-S54337I5.js";
+import {
+  loadSchemaFromFile
+} from "./chunk-UY7YEBE2.js";
+import "./chunk-UATVJBNV.js";
+import "./chunk-QGM4M3NI.js";
+
+// src/cli/commands/docs.ts
+import * as fs from "fs";
+import * as path from "path";
+async function docs(schemaOrRegistryPath, options) {
+  console.log("\n\u2554\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2557");
+  console.log("\u2551   Praxis Documentation Generator                 \u2551");
+  console.log("\u255A\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u255D\n");
+  if (!schemaOrRegistryPath || !fs.existsSync(schemaOrRegistryPath)) {
+    console.error("Error: Schema or registry file required");
+    console.log("Usage: praxis docs <schema-file> [options]");
+    console.log("\nOptions:");
+    console.log("  --output <dir>       Output directory (default: ./docs)");
+    console.log("  --title <title>      Documentation title");
+    console.log("  --format <format>    Diagram format: mermaid (default) or dot");
+    console.log("  --no-toc            Disable table of contents");
+    console.log("  --no-timestamp      Disable timestamp");
+    console.log("  --from-registry      Generate from registry instead of schema");
+    process.exit(1);
+  }
+  const outputDir = options.output || "./docs";
+  const title = options.title || "Praxis Application";
+  const generator = createStateDocsGenerator({
+    projectTitle: title,
+    target: outputDir,
+    visualization: {
+      format: options.format || "mermaid",
+      exportPng: false
+    },
+    template: {
+      toc: options.toc !== false,
+      timestamp: options.timestamp !== false,
+      header: options.header,
+      footer: options.footer
+    }
+  });
+  console.log(`Source: ${schemaOrRegistryPath}`);
+  console.log(`Output: ${outputDir}
+`);
+  try {
+    let generatedDocs;
+    if (options.fromRegistry) {
+      console.log("Loading registry module...");
+      const module = await import(path.resolve(schemaOrRegistryPath));
+      const registry = module.registry || module.default || module;
+      if (!registry || typeof registry.getAllRules !== "function") {
+        console.error("Error: Invalid registry module");
+        console.log("Expected: export const registry = new PraxisRegistry()");
+        process.exit(1);
+      }
+      console.log("Generating documentation from registry...");
+      const praxisModule = {
+        rules: registry.getAllRules(),
+        constraints: registry.getAllConstraints()
+      };
+      generatedDocs = generator.generateFromModule(praxisModule);
+    } else {
+      console.log("Loading schema...");
+      const result = await loadSchemaFromFile(schemaOrRegistryPath);
+      if (result.errors.length > 0 || !result.schema) {
+        console.error(`Error loading schema: ${result.errors.join(", ")}`);
+        process.exit(1);
+      }
+      console.log("Generating documentation from schema...");
+      generatedDocs = generator.generateFromSchema(result.schema);
+    }
+    if (!fs.existsSync(outputDir)) {
+      fs.mkdirSync(outputDir, { recursive: true });
+    }
+    console.log("\nWriting documentation files:\n");
+    for (const doc of generatedDocs) {
+      const fullPath = path.resolve(doc.path);
+      const dir = path.dirname(fullPath);
+      if (!fs.existsSync(dir)) {
+        fs.mkdirSync(dir, { recursive: true });
+      }
+      fs.writeFileSync(fullPath, doc.content);
+      console.log(`  \u2713 ${doc.path} (${doc.type})`);
+    }
+    console.log(`
+\u2713 Generated ${generatedDocs.length} documentation file(s)`);
+    console.log(`
+View your documentation: ${path.resolve(outputDir, "README.md")}`);
+  } catch (error) {
+    console.error(`Error generating documentation: ${error}`);
+    if (error instanceof Error) {
+      console.error(error.stack);
+    }
+    process.exit(1);
+  }
+}
+export {
+  docs
+};

package/dist/node/engine-2DQBKBJC.js

@@ -0,0 +1,9 @@
+import {
+  LogicEngine,
+  createPraxisEngine
+} from "./chunk-VOMLVI6V.js";
+import "./chunk-QGM4M3NI.js";
+export {
+  LogicEngine,
+  createPraxisEngine
+};