@plures/praxis 1.2.0 → 1.2.10

package/dist/node/cli/index.js

@@ -696,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