@plures/praxis 1.4.0 → 1.4.4

package/dist/node/chunk-IG5BJ2MT.js

@@ -0,0 +1,91 @@
+// src/core/rule-result.ts
+var RuleResult = class _RuleResult {
+  /** The kind of result */
+  kind;
+  /** Facts produced (only for 'emit') */
+  facts;
+  /** Fact tags to retract (only for 'retract') */
+  retractTags;
+  /** Optional reason (for noop/skip/retract — useful for debugging) */
+  reason;
+  /** The rule ID that produced this result (set by engine) */
+  ruleId;
+  constructor(kind, facts, retractTags, reason) {
+    this.kind = kind;
+    this.facts = facts;
+    this.retractTags = retractTags;
+    this.reason = reason;
+  }
+  /**
+   * Rule produced facts.
+   *
+   * @example
+   * return RuleResult.emit([
+   *   { tag: 'sprint.behind', payload: { deficit: 5 } }
+   * ]);
+   */
+  static emit(facts) {
+    if (facts.length === 0) {
+      throw new Error(
+        "RuleResult.emit() requires at least one fact. Use RuleResult.noop() or RuleResult.skip() when a rule has nothing to say."
+      );
+    }
+    return new _RuleResult("emit", facts, []);
+  }
+  /**
+   * Rule evaluated but had nothing to report.
+   * Unlike returning [], this is explicit and traceable.
+   *
+   * @example
+   * if (ctx.completedHours >= expectedHours) {
+   *   return RuleResult.noop('Sprint is on pace');
+   * }
+   */
+  static noop(reason) {
+    return new _RuleResult("noop", [], [], reason);
+  }
+  /**
+   * Rule decided to skip because preconditions were not met.
+   * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
+   *
+   * @example
+   * if (!ctx.sprintName) {
+   *   return RuleResult.skip('No active sprint');
+   * }
+   */
+  static skip(reason) {
+    return new _RuleResult("skip", [], [], reason);
+  }
+  /**
+   * Rule retracts previously emitted facts by tag.
+   * Used when a condition that previously produced facts is no longer true.
+   *
+   * @example
+   * // Sprint was behind, but caught up
+   * if (ctx.completedHours >= expectedHours) {
+   *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
+   * }
+   */
+  static retract(tags, reason) {
+    if (tags.length === 0) {
+      throw new Error("RuleResult.retract() requires at least one tag.");
+    }
+    return new _RuleResult("retract", [], tags, reason);
+  }
+  /** Whether this result produced facts */
+  get hasFacts() {
+    return this.facts.length > 0;
+  }
+  /** Whether this result retracts facts */
+  get hasRetractions() {
+    return this.retractTags.length > 0;
+  }
+};
+function fact(tag, payload) {
+  return { tag, payload };
+}
+
+export {
+  RuleResult,
+  fact
+};

package/dist/node/{chunk-KMJWAFZV.js → chunk-JZDJU2DO.js}

@@ -1,93 +1,10 @@
+import {
+  RuleResult
+} from "./chunk-IG5BJ2MT.js";
+
 // src/core/protocol.ts
 var PRAXIS_PROTOCOL_VERSION = "1.0.0";
 
-// src/core/rule-result.ts
-var RuleResult = class _RuleResult {
-  /** The kind of result */
-  kind;
-  /** Facts produced (only for 'emit') */
-  facts;
-  /** Fact tags to retract (only for 'retract') */
-  retractTags;
-  /** Optional reason (for noop/skip/retract — useful for debugging) */
-  reason;
-  /** The rule ID that produced this result (set by engine) */
-  ruleId;
-  constructor(kind, facts, retractTags, reason) {
-    this.kind = kind;
-    this.facts = facts;
-    this.retractTags = retractTags;
-    this.reason = reason;
-  }
-  /**
-   * Rule produced facts.
-   *
-   * @example
-   * return RuleResult.emit([
-   *   { tag: 'sprint.behind', payload: { deficit: 5 } }
-   * ]);
-   */
-  static emit(facts) {
-    if (facts.length === 0) {
-      throw new Error(
-        "RuleResult.emit() requires at least one fact. Use RuleResult.noop() or RuleResult.skip() when a rule has nothing to say."
-      );
-    }
-    return new _RuleResult("emit", facts, []);
-  }
-  /**
-   * Rule evaluated but had nothing to report.
-   * Unlike returning [], this is explicit and traceable.
-   *
-   * @example
-   * if (ctx.completedHours >= expectedHours) {
-   *   return RuleResult.noop('Sprint is on pace');
-   * }
-   */
-  static noop(reason) {
-    return new _RuleResult("noop", [], [], reason);
-  }
-  /**
-   * Rule decided to skip because preconditions were not met.
-   * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
-   *
-   * @example
-   * if (!ctx.sprintName) {
-   *   return RuleResult.skip('No active sprint');
-   * }
-   */
-  static skip(reason) {
-    return new _RuleResult("skip", [], [], reason);
-  }
-  /**
-   * Rule retracts previously emitted facts by tag.
-   * Used when a condition that previously produced facts is no longer true.
-   *
-   * @example
-   * // Sprint was behind, but caught up
-   * if (ctx.completedHours >= expectedHours) {
-   *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
-   * }
-   */
-  static retract(tags, reason) {
-    if (tags.length === 0) {
-      throw new Error("RuleResult.retract() requires at least one tag.");
-    }
-    return new _RuleResult("retract", [], tags, reason);
-  }
-  /** Whether this result produced facts */
-  get hasFacts() {
-    return this.facts.length > 0;
-  }
-  /** Whether this result retracts facts */
-  get hasRetractions() {
-    return this.retractTags.length > 0;
-  }
-};
-function fact(tag, payload) {
-  return { tag, payload };
-}
-
 // src/core/engine.ts
 function safeClone(value) {
   if (value === null || typeof value !== "object") {
@@ -382,8 +299,6 @@ function createPraxisEngine(options) {
 
 export {
   PRAXIS_PROTOCOL_VERSION,
-  RuleResult,
-  fact,
   LogicEngine,
   createPraxisEngine
 };

package/dist/node/{chunk-7M3HV4XR.js → chunk-ZO2LU4G4.js}

@@ -1,6 +1,6 @@
 import {
   createPraxisEngine
-} from "./chunk-KMJWAFZV.js";
+} from "./chunk-JZDJU2DO.js";
 import {
   PraxisRegistry
 } from "./chunk-TEMFJOIH.js";

package/dist/node/cli/index.cjs

@@ -216406,6 +216406,49 @@ var init_reverse_generator = __esm({
   }
 });
 
+// src/decision-ledger/analyzer.ts
+var init_analyzer = __esm({
+  "src/decision-ledger/analyzer.ts"() {
+    "use strict";
+    init_rule_result();
+  }
+});
+
+// src/decision-ledger/derivation.ts
+var init_derivation = __esm({
+  "src/decision-ledger/derivation.ts"() {
+    "use strict";
+    init_analyzer();
+  }
+});
+
+// src/decision-ledger/contract-verification.ts
+var init_contract_verification = __esm({
+  "src/decision-ledger/contract-verification.ts"() {
+    "use strict";
+    init_rule_result();
+    init_analyzer();
+  }
+});
+
+// src/decision-ledger/suggestions.ts
+var init_suggestions = __esm({
+  "src/decision-ledger/suggestions.ts"() {
+    "use strict";
+  }
+});
+
+// src/decision-ledger/report.ts
+var init_report = __esm({
+  "src/decision-ledger/report.ts"() {
+    "use strict";
+    init_analyzer();
+    init_derivation();
+    init_suggestions();
+    init_contract_verification();
+  }
+});
+
 // src/decision-ledger/index.ts
 var init_decision_ledger = __esm({
   "src/decision-ledger/index.ts"() {
@@ -216417,6 +216460,11 @@ var init_decision_ledger = __esm({
     init_logic_ledger();
     init_scanner();
     init_reverse_generator();
+    init_analyzer();
+    init_derivation();
+    init_contract_verification();
+    init_suggestions();
+    init_report();
   }
 });
 

package/dist/node/cli/index.js

@@ -689,7 +689,7 @@ cloudCmd.command("usage").description("View cloud usage metrics").action(async (
 });
 program.command("mcp").description("Start the Praxis MCP server (Model Context Protocol) for AI assistant integration").option("--name <name>", "Server name", "@plures/praxis").option("--version <version>", "Server version", "1.0.0").action(async (options) => {
   try {
-    const { createPraxisMcpServer } = await import("../server-SYZPDULV.js");
+    const { createPraxisMcpServer } = await import("../server-FKLVY57V.js");
     const { PraxisRegistry } = await import("../rules-4DAJ4Z4N.js");
     const registry = new PraxisRegistry({
       compliance: { enabled: false }
@@ -717,7 +717,7 @@ program.command("verify <type>").description("Verify project implementation (e.g
 });
 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-TQGVIG7G.js");
+    const { validateCommand } = await import("../validate-5PSWJTIC.js");
     await validateCommand(options);
   } catch (error) {
     console.error("Error validating contracts:", error);

package/dist/node/{engine-FEN5IYZ5.js → engine-VFHCIEM4.js}

@@ -1,7 +1,8 @@
 import {
   LogicEngine,
   createPraxisEngine
-} from "./chunk-KMJWAFZV.js";
+} from "./chunk-JZDJU2DO.js";
+import "./chunk-IG5BJ2MT.js";
 import "./chunk-QGM4M3NI.js";
 export {
   LogicEngine,