@plures/praxis 1.2.0 → 1.2.10

package/dist/node/{chunk-LE2ZJYFC.js → chunk-PRPQO6R5.js}

@@ -1,78 +1,10 @@
+import {
+  PraxisRegistry
+} from "./chunk-R2PSBPKQ.js";
 import {
   createPraxisEngine
 } from "./chunk-VOMLVI6V.js";
 
-// src/core/rules.ts
-var PraxisRegistry = class {
-  rules = /* @__PURE__ */ new Map();
-  constraints = /* @__PURE__ */ new Map();
-  /**
-   * Register a rule
-   */
-  registerRule(descriptor) {
-    if (this.rules.has(descriptor.id)) {
-      throw new Error(`Rule with id "${descriptor.id}" already registered`);
-    }
-    this.rules.set(descriptor.id, descriptor);
-  }
-  /**
-   * Register a constraint
-   */
-  registerConstraint(descriptor) {
-    if (this.constraints.has(descriptor.id)) {
-      throw new Error(`Constraint with id "${descriptor.id}" already registered`);
-    }
-    this.constraints.set(descriptor.id, descriptor);
-  }
-  /**
-   * Register a module (all its rules and constraints)
-   */
-  registerModule(module) {
-    for (const rule of module.rules) {
-      this.registerRule(rule);
-    }
-    for (const constraint of module.constraints) {
-      this.registerConstraint(constraint);
-    }
-  }
-  /**
-   * Get a rule by ID
-   */
-  getRule(id) {
-    return this.rules.get(id);
-  }
-  /**
-   * Get a constraint by ID
-   */
-  getConstraint(id) {
-    return this.constraints.get(id);
-  }
-  /**
-   * Get all registered rule IDs
-   */
-  getRuleIds() {
-    return Array.from(this.rules.keys());
-  }
-  /**
-   * Get all registered constraint IDs
-   */
-  getConstraintIds() {
-    return Array.from(this.constraints.keys());
-  }
-  /**
-   * Get all rules
-   */
-  getAllRules() {
-    return Array.from(this.rules.values());
-  }
-  /**
-   * Get all constraints
-   */
-  getAllConstraints() {
-    return Array.from(this.constraints.values());
-  }
-};
-
 // src/core/reactive-engine.svelte.ts
 import * as $ from "svelte/internal/client";
 var ReactiveLogicEngine = class {
@@ -148,7 +80,6 @@ function createReactiveEngine(options) {
 }
 
 export {
-  PraxisRegistry,
   ReactiveLogicEngine,
   createReactiveEngine
 };

package/dist/node/chunk-R2PSBPKQ.js

@@ -0,0 +1,150 @@
+// src/core/rules.ts
+var PraxisRegistry = class {
+  rules = /* @__PURE__ */ new Map();
+  constraints = /* @__PURE__ */ new Map();
+  compliance;
+  contractGaps = [];
+  constructor(options = {}) {
+    const defaultEnabled = typeof process !== "undefined" ? process.env?.NODE_ENV !== "production" : false;
+    this.compliance = {
+      enabled: defaultEnabled,
+      requiredFields: ["behavior", "examples", "invariants"],
+      missingSeverity: "warning",
+      ...options.compliance
+    };
+  }
+  /**
+   * Register a rule
+   */
+  registerRule(descriptor) {
+    if (this.rules.has(descriptor.id)) {
+      throw new Error(`Rule with id "${descriptor.id}" already registered`);
+    }
+    this.rules.set(descriptor.id, descriptor);
+    this.trackContractCompliance(descriptor.id, descriptor);
+  }
+  /**
+   * Register a constraint
+   */
+  registerConstraint(descriptor) {
+    if (this.constraints.has(descriptor.id)) {
+      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)
+   */
+  registerModule(module) {
+    for (const rule of module.rules) {
+      this.registerRule(rule);
+    }
+    for (const constraint of module.constraints) {
+      this.registerConstraint(constraint);
+    }
+  }
+  /**
+   * Get a rule by ID
+   */
+  getRule(id) {
+    return this.rules.get(id);
+  }
+  /**
+   * Get a constraint by ID
+   */
+  getConstraint(id) {
+    return this.constraints.get(id);
+  }
+  /**
+   * Get all registered rule IDs
+   */
+  getRuleIds() {
+    return Array.from(this.rules.keys());
+  }
+  /**
+   * Get all registered constraint IDs
+   */
+  getConstraintIds() {
+    return Array.from(this.constraints.keys());
+  }
+  /**
+   * Get all rules
+   */
+  getAllRules() {
+    return Array.from(this.rules.values());
+  }
+  /**
+   * Get all constraints
+   */
+  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(", ")}`
+      }
+    ];
+  }
+};
+
+export {
+  PraxisRegistry
+};