spytial-core 1.4.10 → 1.4.11

package/dist/browser/spytial-core-complete.global.js

@@ -94528,7 +94528,7 @@ VVbdfjptxz|~\x80\x82\x84\xA6\xA8W\b
       init_layoutinstance();
       init_layoutspec();
       exports.StructuredInputGraph = class extends WebColaCnDGraph {
-        // Default to 2 positions
+        // Track current constraint validation error
         constructor(dataInstance) {
           super();
           this.evaluator = null;
@@ -94537,6 +94537,8 @@ VVbdfjptxz|~\x80\x82\x84\xA6\xA8W\b
           this.controlsContainer = null;
           this.customTypes = /* @__PURE__ */ new Set();
           this.relationAtomPositions = ["", ""];
+          // Default to 2 positions
+          this.currentConstraintError = null;
           const instance = dataInstance || new exports.JSONDataInstance({
             atoms: [],
             relations: []
@@ -95217,6 +95219,7 @@ VVbdfjptxz|~\x80\x82\x84\xA6\xA8W\b
         }
         /**
          * Enforce constraints and regenerate layout
+         * This method validates constraints on every data update and reports UNSAT cores
          */
         async enforceConstraintsAndRegenerate() {
           console.log("\u{1F504} enforceConstraintsAndRegenerate() called");
@@ -95240,15 +95243,37 @@ VVbdfjptxz|~\x80\x82\x84\xA6\xA8W\b
             const projections = {};
             const layoutResult = this.layoutInstance.generateLayout(this.dataInstance, projections);
             if (layoutResult.error) {
-              console.warn("\u26A0\uFE0F Constraint validation error:", layoutResult.error);
+              console.warn("\u26A0\uFE0F Constraint validation error detected:", layoutResult.error);
+              this.currentConstraintError = layoutResult.error;
+              this.dispatchEvent(new CustomEvent("constraint-error", {
+                detail: {
+                  error: layoutResult.error,
+                  layout: layoutResult.layout
+                },
+                bubbles: true
+              }));
+              console.log("\u{1F4E4} Dispatched constraint-error event with UNSAT core information");
             } else {
-              console.log("\u2705 Layout generated successfully");
+              console.log("\u2705 Layout generated successfully - all constraints satisfied");
+              if (this.currentConstraintError !== null) {
+                console.log("\u{1F9F9} Clearing previous constraint error - constraints now satisfied");
+                this.currentConstraintError = null;
+                this.dispatchEvent(new CustomEvent("constraints-satisfied", {
+                  detail: { layout: layoutResult.layout },
+                  bubbles: true
+                }));
+                console.log("\u{1F4E4} Dispatched constraints-satisfied event");
+              }
             }
             console.log("\u{1F3A8} Rendering layout...");
             await this.renderLayout(layoutResult.layout);
             console.log("\u2705 Constraints enforced and layout regenerated successfully");
           } catch (error) {
             console.error("\u274C Failed to enforce constraints and regenerate layout:", error);
+            this.dispatchEvent(new CustomEvent("layout-generation-error", {
+              detail: { error },
+              bubbles: true
+            }));
           }
         }
         /**
@@ -95672,6 +95697,19 @@ VVbdfjptxz|~\x80\x82\x84\xA6\xA8W\b
         getDataInstance() {
           return this.dataInstance;
         }
+        /**
+         * Get the current constraint error (if any)
+         * Returns null if all constraints are currently satisfied
+         */
+        getCurrentConstraintError() {
+          return this.currentConstraintError;
+        }
+        /**
+         * Check if there are currently unsatisfied constraints
+         */
+        hasConstraintErrors() {
+          return this.currentConstraintError !== null;
+        }
         /**
          * Set the CnD specification
          */