@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/epistemicLayerRules.d.ts

@@ -1,4 +1,6 @@
 import { Id } from './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 
 /**
@@ -78,20 +80,20 @@ type TraversalMode = "anchor_down" | "anchor_up" | "same_layer" | "decision_trac
 /**
  * Traversal options for layer-aware queries
  */
-type TraversalOptions = {
-    /** Starting node ID */
-    startNodeId: Id<"epistemicNodes">;
-    /** Traversal mode */
-    mode: TraversalMode;
+interface TraversalOptions {
     /** Edge types to follow (empty = all valid for mode) */
     allowedEdgeTypes?: string[];
     /** Maximum depth */
     maxDepth?: number;
-    /** Minimum layer to stop at (L1 = 1, L4 = 4) */
-    minLayer?: number;
     /** Maximum layer to reach */
     maxLayer?: number;
-};
+    /** Minimum layer to stop at (L1 = 1, L4 = 4) */
+    minLayer?: number;
+    /** Traversal mode */
+    mode: TraversalMode;
+    /** Starting node ID */
+    startNodeId: Id<"epistemicNodes">;
+}
 /**
  * Check if traversal should continue based on layer constraints
  */

package/dist/epistemicLayerRules.js

@@ -178,11 +178,7 @@ function getDefaultEdgeTypesForMode(mode) {
         "same_theme_as"
       ];
     case "decision_trace":
-      return [
-        "derived_from",
-        "depends_on",
-        "contains"
-      ];
+      return ["derived_from", "depends_on", "contains"];
     default:
       return [];
   }

package/dist/epistemicLayerRules.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/epistemicLayerRules.ts"],"names":[],"mappings":";AAgEO,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,QAAQ,QAAA;AAAU;AAAA,IAEhB,KAAK,UAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,QAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,MAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,OAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,WAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,aAAA;AAAA,IACL,KAAK,SAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,SAAA;AAAA,IACL,KAAK,QAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,aAAA;AACH,MAAA,OAAO,aAAA;AAAA;AAAA,IAGT,KAAK,OAAA;AACH,MAAA,OAAO,gBAAA;AAAA,IAET;AAEE,MAAA,OAAA,CAAQ,IAAA;AAAA,QACN,sCAAsC,QAAQ,CAAA,kBAAA;AAAA,OAChD;AACA,MAAA,OAAO,IAAA;AAAA;AAEb;AAMO,IAAM,qBAAA,GAAwB;AAAA,EACnC,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IACrB,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IAC3B,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IAC3B,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAI,CAAA;AAAA;AAAA,IACf,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,WAAA,EAAa;AAAA,IACX,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA;AAAA,IACpC,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,gBAAgB,CAAA;AAAA;AAAA,IACvC,eAAA,EAAiB;AAAA;AAAA;AAErB;AAKO,SAAS,sBAAA,CACd,WACA,OAAA,EACS;AACT,EAAA,MAAM,KAAA,GAAQ,sBAAsB,SAAS,CAAA;AAC7C,EAAA,OAAQ,KAAA,CAAM,QAAA,CAA+B,QAAA,CAAS,OAAO,CAAA;AAC/D;AAMO,SAAS,cAAc,KAAA,EAA+B;AAC3D,EAAA,QAAQ,KAAA;AAAO,IACb,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAMO,SAAS,kBAAA,CACd,WACA,OAAA,EACS;AACT,EAAA,MAAM,SAAA,GAAY,cAAc,SAAS,CAAA;AACzC,EAAA,MAAM,OAAA,GAAU,cAAc,OAAO,CAAA;AAGrC,EAAA,IACE,cAAc,aAAA,IACd,OAAA,KAAY,iBACZ,SAAA,KAAc,gBAAA,IACd,YAAY,gBAAA,EACZ;AACA,IAAA,OAAO,sBAAA,CAAuB,WAAW,OAAO,CAAA;AAAA,EAClD;AAGA,EAAA,IAAI,cAAc,OAAA,EAAS;AACzB,IAAA,OAAO,IAAA;AAAA,EACT;AAIA,EAAA,OAAO,sBAAA,CAAuB,WAAW,OAAO,CAAA;AAClD;AAyCO,SAAS,uBAAA,CACd,YAAA,EACA,WAAA,EACA,OAAA,EAKS;AACT,EAAA,MAAM,YAAA,GAAe,cAAc,YAAY,CAAA;AAC/C,EAAA,MAAM,WAAA,GAAc,cAAc,WAAW,CAAA;AAG7C,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,WAAA,GAAc,QAAQ,QAAA,EAAU;AACpE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,WAAA,GAAc,QAAQ,QAAA,EAAU;AACpE,IAAA,OAAO,KAAA;AAAA,EACT;AAGA,EAAA,QAAQ,QAAQ,IAAA;AAAM,IACpB,KAAK,aAAA;AAEH,MAAA,OAAO,WAAA,GAAc,gBAAgB,WAAA,KAAgB,YAAA;AAAA,IAEvD,KAAK,WAAA;AAEH,MAAA,OAAO,WAAA,GAAc,gBAAgB,WAAA,KAAgB,YAAA;AAAA,IAEvD,KAAK,YAAA;AAEH,MAAA,OAAO,WAAA,KAAgB,YAAA;AAAA,IAEzB,KAAK,gBAAA;AAEH,MAAA,OAAO,YAAA,KAAiB,CAAA,GACpB,WAAA,KAAgB,CAAA,GAChB,WAAA,KAAgB,YAAA;AAAA,IAEtB;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAKO,SAAS,mBAAmB,IAAA,EAA6B;AAC9D,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,WAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,YAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAKO,SAAS,2BAA2B,IAAA,EAA+B;AACxE,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AAEH,MAAA,OAAO;AAAA,QACL,SAAA;AAAA;AAAA,QACA;AAAA;AAAA,OACF;AAAA,IACF,KAAK,WAAA;AAEH,MAAA,OAAO,CAAC,WAAW,cAAc,CAAA;AAAA,IACnC,KAAK,YAAA;AAEH,MAAA,OAAO;AAAA;AAAA,QAEL,YAAA;AAAA,QACA,UAAA;AAAA,QACA,UAAA;AAAA;AAAA,QAEA,kBAAA;AAAA,QACA,aAAA;AAAA;AAAA,QAEA,cAAA;AAAA,QACA,SAAA;AAAA,QACA,gBAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF,KAAK,gBAAA;AAEH,MAAA,OAAO;AAAA,QACL,cAAA;AAAA,QACA,YAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AACE,MAAA,OAAO,EAAC;AAAA;AAEd;AAkBO,IAAM,gBAAA,GAGT;AAAA;AAAA,EAEF,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,wBAAA,EAA0B;AAAA,IACxB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,gBAAgB,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,oBAAA,EAAsB;AAAA,IACpB,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,UAAA,EAAY;AAAA,IACV,MAAM,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC9D,IAAI,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC5D,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,MAAM,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC9D,IAAI,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC5D,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC7B,EAAA,EAAI,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC3B,WAAA,EACE;AAAA,GACJ;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA,GACJ;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA,GACJ;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA;AACJ;AAAA;AAAA;AAKF;AAOO,SAAS,kBAAA,CACd,QAAA,EACA,SAAA,EACA,OAAA,EACqC;AACrC,EAAA,MAAM,KAAA,GAAQ,iBAAiB,QAAQ,CAAA;AAGvC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,uCAAuC,QAAQ,CAAA,qBAAA;AAAA,KACjD;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAGA,EAAA,IAAI,aAAa,YAAA,EAAc;AAC7B,IAAA,IAAI,cAAc,OAAA,EAAS;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,KAAA;AAAA,QACP,QAAQ,CAAA,EAAG,QAAQ,CAAA,oDAAA,EAAuD,SAAS,WAAM,OAAO,CAAA;AAAA,OAClG;AAAA,IACF;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAGA,EAAA,IAAI,CAAC,KAAA,CAAM,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA,EAAG;AACnC,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,SAAS,cAAc,KAAA,CAAM,IAAA,CAAK,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KAC7G;AAAA,EACF;AAGA,EAAA,IAAI,CAAC,KAAA,CAAM,EAAA,CAAG,QAAA,CAAS,OAAO,CAAA,EAAG;AAC/B,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,OAAO,cAAc,KAAA,CAAM,EAAA,CAAG,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KACzG;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AACvB","file":"epistemicLayerRules.js","sourcesContent":["/**\n * Epistemic Spine helper module split from epistemicHelpers.ts.\n */\n\nimport type { Id } from \"./convex\";\n\n// =============================================================================\n// TYPE MAPPINGS\n// =============================================================================\n\ntype EpistemicNodeType =\n  // L4: Audit targets\n  | \"decision\"\n  // L3: Traversal anchors\n  | \"belief\"\n  | \"question\"\n  | \"theme\"\n  | \"deal\"\n  // L2: Compression boundary\n  | \"claim\"\n  | \"evidence\"\n  | \"synthesis\"\n  | \"answer\"\n  // L1: Terminal leaves\n  | \"atomic_fact\"\n  | \"excerpt\"\n  | \"source\";\n\ntype OntologicalNodeType =\n  | \"company\"\n  | \"person\"\n  | \"investor\"\n  | \"function\"\n  | \"value_chain\";\n\ntype NodeType = EpistemicNodeType | OntologicalNodeType;\n\n// =============================================================================\n// EPISTEMIC LAYER ARCHITECTURE (Lucern Invariant Compliance)\n// =============================================================================\n\n/**\n * Epistemic Layer - governs traversal rules\n * L4 → L3 → L2 → L1 (never skip layers)\n */\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n/**\n * Map nodeType to its epistemic layer\n *\n * Layer semantics:\n * - L4: Audit targets (decisions, outcomes) - what we committed to\n * - L3: Traversal anchors (beliefs, questions, themes) - epistemic structure\n * - L2: Compression boundary (claims, evidence, synthesis) - minimum reasoning unit\n * - L1: Terminal leaves (atomic_fact, excerpt, source) - non-traversable grounding\n * - ontological: Entities in the world (companies, people) - not epistemic\n * - organizational: Structural containers (topics, lenses, worktrees) - not epistemic\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  switch (nodeType) {\n    // L4: Audit targets\n    case \"decision\":\n      return \"L4\";\n\n    // L3: Traversal anchors\n    case \"belief\":\n    case \"question\":\n    case \"theme\":\n    case \"deal\":\n      return \"L3\";\n\n    // L2: Compression boundary\n    case \"claim\":\n    case \"evidence\":\n    case \"synthesis\":\n    case \"answer\":\n      return \"L2\";\n\n    // L1: Terminal leaves\n    case \"atomic_fact\":\n    case \"excerpt\":\n    case \"source\":\n      return \"L1\";\n\n    // Ontological entities\n    case \"company\":\n    case \"person\":\n    case \"investor\":\n    case \"function\":\n    case \"value_chain\":\n      return \"ontological\";\n\n    // Organizational containers\n    case \"topic\":\n      return \"organizational\";\n\n    default:\n      // Unknown types default to L2 (safest for traversal)\n      console.warn(\n        `[EpistemicLayer] Unknown nodeType: ${nodeType}, defaulting to L2`\n      );\n      return \"L2\";\n  }\n}\n\n/**\n * Layer traversal rules\n * Key constraint: Cannot skip layers during traversal\n */\nexport const LAYER_TRAVERSAL_RULES = {\n  L4: {\n    canReach: [\"L3\", \"L4\"], // Decisions can reach beliefs/questions\n    mustPassThrough: \"L3\", // Must go through L3 to reach L2\n  },\n  L3: {\n    canReach: [\"L2\", \"L3\", \"L4\"], // Beliefs can reach evidence, other beliefs, or decisions\n    mustPassThrough: \"L2\", // Must go through L2 to reach L1\n  },\n  L2: {\n    canReach: [\"L1\", \"L2\", \"L3\"], // Evidence can reach sources, other evidence, or beliefs\n    mustPassThrough: null, // L2 can reach L1 directly\n  },\n  L1: {\n    canReach: [\"L1\"], // Sources can only reach other sources\n    mustPassThrough: null, // Terminal - no traversal beyond\n  },\n  ontological: {\n    canReach: [\"L3\", \"L2\", \"ontological\"], // Entities can link to epistemic structure\n    mustPassThrough: null, // No layer constraints for entities\n  },\n  organizational: {\n    canReach: [\"L3\", \"L2\", \"organizational\"], // Containers scope epistemic structure + nest\n    mustPassThrough: null, // No layer constraints for containers\n  },\n} as const;\n\n/**\n * Check if a direct edge between two layers is allowed\n */\nexport function isValidLayerConnection(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  const rules = LAYER_TRAVERSAL_RULES[fromLayer];\n  return (rules.canReach as readonly string[]).includes(toLayer);\n}\n\n/**\n * Get layer hierarchy number (for comparison)\n * Higher number = higher layer\n */\nexport function getLayerDepth(layer: EpistemicLayer): number {\n  switch (layer) {\n    case \"L4\":\n      return 4;\n    case \"L3\":\n      return 3;\n    case \"L2\":\n      return 2;\n    case \"L1\":\n      return 1;\n    case \"ontological\":\n      return 0; // Ontological exists outside the epistemic hierarchy\n    case \"organizational\":\n      return 0; // Organizational exists outside the epistemic hierarchy\n    default:\n      return 2;\n  }\n}\n\n/**\n * Check if we can traverse from one layer to another\n * (considering intermediate layers)\n */\nexport function canTraverseToLayer(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  const fromDepth = getLayerDepth(fromLayer);\n  const toDepth = getLayerDepth(toLayer);\n\n  // Ontological/organizational layers are special - use explicit rules\n  if (\n    fromLayer === \"ontological\" ||\n    toLayer === \"ontological\" ||\n    fromLayer === \"organizational\" ||\n    toLayer === \"organizational\"\n  ) {\n    return isValidLayerConnection(fromLayer, toLayer);\n  }\n\n  // Can always stay at same layer\n  if (fromDepth === toDepth) {\n    return true;\n  }\n\n  // Can go up (L1→L2→L3→L4) or down (L4→L3→L2→L1)\n  // But must respect layer rules\n  return isValidLayerConnection(fromLayer, toLayer);\n}\n\n// =============================================================================\n// PHASE 2D: LAYER-AWARE TRAVERSAL\n// =============================================================================\n\n/**\n * Traversal mode - determines how to traverse the graph\n *\n * anchor_down: Start at L3 belief, traverse to L2 evidence, stop at L1 sources\n * anchor_up: Start at L2 evidence, traverse to L3 beliefs it supports\n * same_layer: Traverse within a single layer (e.g., belief → belief)\n * decision_trace: Start at L4 decision, traverse to L3 beliefs it was based on\n */\nexport type TraversalMode =\n  | \"anchor_down\"\n  | \"anchor_up\"\n  | \"same_layer\"\n  | \"decision_trace\";\n\n/**\n * Traversal options for layer-aware queries\n */\nexport type TraversalOptions = {\n  /** Starting node ID */\n  startNodeId: Id<\"epistemicNodes\">;\n  /** Traversal mode */\n  mode: TraversalMode;\n  /** Edge types to follow (empty = all valid for mode) */\n  allowedEdgeTypes?: string[];\n  /** Maximum depth */\n  maxDepth?: number;\n  /** Minimum layer to stop at (L1 = 1, L4 = 4) */\n  minLayer?: number;\n  /** Maximum layer to reach */\n  maxLayer?: number;\n};\n\n/**\n * Check if traversal should continue based on layer constraints\n */\nexport function shouldContinueTraversal(\n  currentLayer: EpistemicLayer,\n  targetLayer: EpistemicLayer,\n  options: {\n    mode: TraversalMode;\n    minLayer?: number;\n    maxLayer?: number;\n  }\n): boolean {\n  const currentDepth = getLayerDepth(currentLayer);\n  const targetDepth = getLayerDepth(targetLayer);\n\n  // Check min/max layer constraints\n  if (options.minLayer !== undefined && targetDepth < options.minLayer) {\n    return false; // Would go below minimum layer\n  }\n  if (options.maxLayer !== undefined && targetDepth > options.maxLayer) {\n    return false; // Would go above maximum layer\n  }\n\n  // Mode-specific rules\n  switch (options.mode) {\n    case \"anchor_down\":\n      // Can only go down (L4→L3→L2→L1)\n      return targetDepth < currentDepth || targetDepth === currentDepth;\n\n    case \"anchor_up\":\n      // Can only go up (L1→L2→L3→L4)\n      return targetDepth > currentDepth || targetDepth === currentDepth;\n\n    case \"same_layer\":\n      // Must stay at same layer\n      return targetDepth === currentDepth;\n\n    case \"decision_trace\":\n      // Decisions (L4) can trace to beliefs (L3), stop there\n      return currentDepth === 4\n        ? targetDepth === 3\n        : targetDepth === currentDepth;\n\n    default:\n      return true;\n  }\n}\n\n/**\n * Get default minLayer for a traversal mode\n */\nexport function getDefaultMinLayer(mode: TraversalMode): number {\n  switch (mode) {\n    case \"anchor_down\":\n      return 1; // Can go all the way to L1 sources\n    case \"anchor_up\":\n      return 2; // Start at L2 evidence minimum\n    case \"same_layer\":\n      return 1; // No constraint\n    case \"decision_trace\":\n      return 3; // Stop at L3 beliefs (don't go to L2 evidence)\n    default:\n      return 1;\n  }\n}\n\n/**\n * Get allowed edge types for a traversal mode\n */\nexport function getDefaultEdgeTypesForMode(mode: TraversalMode): string[] {\n  switch (mode) {\n    case \"anchor_down\":\n      // From beliefs/questions down to evidence and sources\n      return [\n        \"informs\", // evidence → belief (traverse backwards)\n        \"derived_from\", // evidence → source (provenance) + evidence → question\n      ];\n    case \"anchor_up\":\n      // From evidence up to beliefs\n      return [\"informs\", \"derived_from\"];\n    case \"same_layer\":\n      // Within-layer relationships\n      return [\n        // L3: Belief ↔ Belief\n        \"depends_on\",\n        \"supports\",\n        \"contains\",\n        // L3: Question ↔ Question\n        \"prerequisite_for\",\n        \"parallel_to\",\n        // L2: Evidence ↔ Evidence\n        \"corroborates\",\n        \"extends\",\n        \"same_source_as\",\n        \"same_theme_as\",\n      ];\n    case \"decision_trace\":\n      // From decisions to beliefs\n      return [\n        \"derived_from\",\n        \"depends_on\",\n        \"contains\",\n      ];\n    default:\n      return [];\n  }\n}\n\n// =============================================================================\n// PHASE 2C: EDGE LAYER RULES\n// =============================================================================\n\n/**\n * Edge Layer Rules - defines valid layer combinations for each edge type\n *\n * Format: { from: [allowed source layers], to: [allowed target layers] }\n *\n * Key rules:\n * - L4 edges: Decision → L3 (beliefs, questions, themes)\n * - Cross-layer edges: L2 → L3 (evidence informs beliefs)\n * - Same-layer edges: L3 → L3, L2 → L2 (beliefs depend on beliefs)\n * - Downward edges: L2 → L1 (evidence extracted from source)\n * - Lifecycle edges: same layer only (supersedes)\n */\nexport const EDGE_LAYER_RULES: Record<\n  string,\n  { from: EpistemicLayer[]; to: EpistemicLayer[]; description: string }\n> = {\n  // === L4 Decision Edges ===\n  based_on_belief: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Belief (L4 → L3)\",\n  },\n  based_on_question: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Question (L4 → L3)\",\n  },\n  blocked_by_contradiction: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Contradiction (L4 → L3)\",\n  },\n  informed_by_theme: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Theme (L4 → L3)\",\n  },\n\n  // === Evidence Flow (L2 → L3, L2 → L1) ===\n  derived_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"A was produced from B (provenance chain)\",\n  },\n  answers: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Question (L2 → L3)\",\n  },\n  responds_to: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Answer → Question (L2 → L3)\",\n  },\n  informs: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Belief (L2 → L3)\",\n  },\n  qualifies: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Belief (L2 → L3)\",\n  },\n\n  // === Question → Belief (L3 → L3) ===\n  tests: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question → Belief (L3 → L3)\",\n  },\n  explores: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question → Belief assumption (L3 → L3)\",\n  },\n\n  // === Synthesis (L2 → L2, L2 → L1) ===\n  based_on: {\n    from: [\"L2\"],\n    to: [\"L2\", \"L1\"],\n    description: \"Synthesis → Evidence/Source (L2 → L2/L1)\",\n  },\n\n  // === Theme Relationships (L3 → L3) ===\n  relates_to_thesis: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief → Theme (L3 → L3)\",\n  },\n  belongs_to: {\n    from: [\"L3\", \"L2\"], // Can belong to theme from L3 or L2\n    to: [\"L3\"],\n    description: \"Any → Theme (L3/L2 → L3)\",\n  },\n  plays_theme: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Deal → Theme (L3 → L3)\",\n  },\n\n  // === Topic Hierarchy (L3 → organizational) ===\n  scoped_by: {\n    from: [\"L3\"],\n    to: [\"organizational\"],\n    description: \"Belief/Question → Topic (L3 → organizational)\",\n  },\n\n  // === Deal/Company ===\n  evaluates: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Deal → Company (L3 → ontological)\",\n  },\n\n  // === People (ontological → ontological, ontological → L3) ===\n  perspective_on: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Person → Belief/Theme (ontological → L3)\",\n  },\n  works_at: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Person → Company (ontological → ontological)\",\n  },\n\n  // === Value Chain (ontological) ===\n  participates_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → ValueChain (ontological → ontological)\",\n  },\n  performs: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Function (ontological → ontological)\",\n  },\n  function_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Function → ValueChain (ontological → ontological)\",\n  },\n  impacts: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Theme → ValueChain (L3 → ontological)\",\n  },\n\n  // === Investment (ontological) ===\n  invested_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Investor → Company (ontological → ontological)\",\n  },\n  raised_from: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Investor (ontological → ontological)\",\n  },\n\n  // === Entity↔Belief Bridge (OE-B) ===\n  about_entity: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Belief/Question/Theme → Entity (L3 → ontological)\",\n  },\n  entity_referenced_in: {\n    from: [\"ontological\"],\n    to: [\"L2\"],\n    description: \"Entity → Evidence (ontological → L2)\",\n  },\n  mentioned_in: {\n    from: [\"ontological\"],\n    to: [\"L1\"],\n    description: \"Entity → Source document (ontological → L1)\",\n  },\n  founded_by: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Person (ontological → ontological)\",\n  },\n  competes_with: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Company (ontological → ontological)\",\n  },\n  contains: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"ValueChain → Function (ontological → ontological)\",\n  },\n\n  // === Lifecycle (same layer only) ===\n  supersedes: {\n    from: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    to: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    description: \"NewNode → OldNode (same layer only - validated separately)\",\n  },\n  same_as: {\n    from: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    to: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    description: \"Duplicate detection (same layer only - validated separately)\",\n  },\n\n  // === Same-Type: Belief ↔ Belief (L3 → L3) ===\n  depends_on: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief B requires Belief A (L3 → L3)\",\n  },\n  reinforces: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Beliefs strengthen each other (L3 → L3)\",\n  },\n  parent_of: {\n    from: [\"L3\", \"organizational\"],\n    to: [\"L3\", \"organizational\"],\n    description:\n      \"A is higher-level than B (L3 → L3, organizational → organizational)\",\n  },\n  child_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief A is more specific (L3 → L3)\",\n  },\n\n  // === Same-Type: Question ↔ Question (L3 → L3) ===\n  prerequisite_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question A must be answered first (L3 → L3)\",\n  },\n  parallel_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Same topic, different angles (L3 → L3)\",\n  },\n\n  // === Same-Type: Evidence ↔ Evidence (L2 → L2) ===\n  corroborates: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Independent support (L2 → L2)\",\n  },\n  extends: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Adds depth (L2 → L2)\",\n  },\n  same_source_as: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Same document/study (L2 → L2)\",\n  },\n  same_theme_as: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Same topic/entity (L2 → L2)\",\n  },\n\n  // === NEW: Deep Epistemic Analysis Edges (Phase: Schema Upgrade) ===\n  assumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description:\n      \"Hidden dependency - Belief B implicitly assumes Belief A (L3 → L3)\",\n  },\n  would_predict: {\n    from: [\"L3\"],\n    to: [\"L2\"],\n    description:\n      \"Pre-registered prediction - If Belief true, expect Evidence (L3 → L2)\",\n  },\n  analogous_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Explicit analogy - Belief A is like Belief B (L3 → L3)\",\n  },\n  independent_of: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description:\n      \"True evidence independence - Evidence A independent of B (L2 → L2)\",\n  },\n\n  // NOTE: Deprecated edge types (supports, contradicts, derived_from, cites,\n  // summarizes, related_to, partially_answers, blocks, refines, branches_from)\n  // have been REMOVED from the system. Use compliant alternatives instead.\n};\n\n/**\n * Validate an edge against layer rules\n *\n * Returns { valid: true } or { valid: false, reason: string }\n */\nexport function validateEdgeLayers(\n  edgeType: string,\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): { valid: boolean; reason?: string } {\n  const rules = EDGE_LAYER_RULES[edgeType];\n\n  // Unknown edge type - allow but warn\n  if (!rules) {\n    console.warn(\n      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`\n    );\n    return { valid: true };\n  }\n\n  // Special handling for same-layer edges (supersedes)\n  if (edgeType === \"supersedes\") {\n    if (fromLayer !== toLayer) {\n      return {\n        valid: false,\n        reason: `${edgeType} edges must be between nodes of the same layer. Got ${fromLayer} → ${toLayer}`,\n      };\n    }\n    return { valid: true };\n  }\n\n  // Check from layer\n  if (!rules.from.includes(fromLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow source layer ${fromLayer}. Allowed: ${rules.from.join(\", \")}`,\n    };\n  }\n\n  // Check to layer\n  if (!rules.to.includes(toLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow target layer ${toLayer}. Allowed: ${rules.to.join(\", \")}`,\n    };\n  }\n\n  return { valid: true };\n}\n\n"]}
+{"version":3,"sources":["../src/epistemicLayerRules.ts"],"names":[],"mappings":";AAsCO,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,QAAQ,QAAA;AAAU;AAAA,IAEhB,KAAK,UAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,QAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,OAAA;AAAA,IACL,KAAK,MAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,OAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,WAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,aAAA;AAAA,IACL,KAAK,SAAA;AAAA,IACL,KAAK,QAAA;AACH,MAAA,OAAO,IAAA;AAAA;AAAA,IAGT,KAAK,SAAA;AAAA,IACL,KAAK,QAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,UAAA;AAAA,IACL,KAAK,aAAA;AACH,MAAA,OAAO,aAAA;AAAA;AAAA,IAGT,KAAK,OAAA;AACH,MAAA,OAAO,gBAAA;AAAA,IAET;AAEE,MAAA,OAAA,CAAQ,IAAA;AAAA,QACN,sCAAsC,QAAQ,CAAA,kBAAA;AAAA,OAChD;AACA,MAAA,OAAO,IAAA;AAAA;AAEb;AAMO,IAAM,qBAAA,GAAwB;AAAA,EACnC,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IACrB,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IAC3B,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IAC3B,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,EAAA,EAAI;AAAA,IACF,QAAA,EAAU,CAAC,IAAI,CAAA;AAAA;AAAA,IACf,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,WAAA,EAAa;AAAA,IACX,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA;AAAA,IACpC,eAAA,EAAiB;AAAA;AAAA,GACnB;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,QAAA,EAAU,CAAC,IAAA,EAAM,IAAA,EAAM,gBAAgB,CAAA;AAAA;AAAA,IACvC,eAAA,EAAiB;AAAA;AAAA;AAErB;AAKO,SAAS,sBAAA,CACd,WACA,OAAA,EACS;AACT,EAAA,MAAM,KAAA,GAAQ,sBAAsB,SAAS,CAAA;AAC7C,EAAA,OAAQ,KAAA,CAAM,QAAA,CAA+B,QAAA,CAAS,OAAO,CAAA;AAC/D;AAMO,SAAS,cAAc,KAAA,EAA+B;AAC3D,EAAA,QAAQ,KAAA;AAAO,IACb,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAMO,SAAS,kBAAA,CACd,WACA,OAAA,EACS;AACT,EAAA,MAAM,SAAA,GAAY,cAAc,SAAS,CAAA;AACzC,EAAA,MAAM,OAAA,GAAU,cAAc,OAAO,CAAA;AAGrC,EAAA,IACE,cAAc,aAAA,IACd,OAAA,KAAY,iBACZ,SAAA,KAAc,gBAAA,IACd,YAAY,gBAAA,EACZ;AACA,IAAA,OAAO,sBAAA,CAAuB,WAAW,OAAO,CAAA;AAAA,EAClD;AAGA,EAAA,IAAI,cAAc,OAAA,EAAS;AACzB,IAAA,OAAO,IAAA;AAAA,EACT;AAIA,EAAA,OAAO,sBAAA,CAAuB,WAAW,OAAO,CAAA;AAClD;AAyCO,SAAS,uBAAA,CACd,YAAA,EACA,WAAA,EACA,OAAA,EAKS;AACT,EAAA,MAAM,YAAA,GAAe,cAAc,YAAY,CAAA;AAC/C,EAAA,MAAM,WAAA,GAAc,cAAc,WAAW,CAAA;AAG7C,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,WAAA,GAAc,QAAQ,QAAA,EAAU;AACpE,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,CAAQ,QAAA,KAAa,MAAA,IAAa,WAAA,GAAc,QAAQ,QAAA,EAAU;AACpE,IAAA,OAAO,KAAA;AAAA,EACT;AAGA,EAAA,QAAQ,QAAQ,IAAA;AAAM,IACpB,KAAK,aAAA;AAEH,MAAA,OAAO,WAAA,GAAc,gBAAgB,WAAA,KAAgB,YAAA;AAAA,IAEvD,KAAK,WAAA;AAEH,MAAA,OAAO,WAAA,GAAc,gBAAgB,WAAA,KAAgB,YAAA;AAAA,IAEvD,KAAK,YAAA;AAEH,MAAA,OAAO,WAAA,KAAgB,YAAA;AAAA,IAEzB,KAAK,gBAAA;AAEH,MAAA,OAAO,YAAA,KAAiB,CAAA,GACpB,WAAA,KAAgB,CAAA,GAChB,WAAA,KAAgB,YAAA;AAAA,IAEtB;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAKO,SAAS,mBAAmB,IAAA,EAA6B;AAC9D,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,WAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,YAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAKO,SAAS,2BAA2B,IAAA,EAA+B;AACxE,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AAEH,MAAA,OAAO;AAAA,QACL,SAAA;AAAA;AAAA,QACA;AAAA;AAAA,OACF;AAAA,IACF,KAAK,WAAA;AAEH,MAAA,OAAO,CAAC,WAAW,cAAc,CAAA;AAAA,IACnC,KAAK,YAAA;AAEH,MAAA,OAAO;AAAA;AAAA,QAEL,YAAA;AAAA,QACA,UAAA;AAAA,QACA,UAAA;AAAA;AAAA,QAEA,kBAAA;AAAA,QACA,aAAA;AAAA;AAAA,QAEA,cAAA;AAAA,QACA,SAAA;AAAA,QACA,gBAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF,KAAK,gBAAA;AAEH,MAAA,OAAO,CAAC,cAAA,EAAgB,YAAA,EAAc,UAAU,CAAA;AAAA,IAClD;AACE,MAAA,OAAO,EAAC;AAAA;AAEd;AAkBO,IAAM,gBAAA,GAGT;AAAA;AAAA,EAEF,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,wBAAA,EAA0B;AAAA,IACxB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,gBAAgB,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,oBAAA,EAAsB;AAAA,IACpB,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,UAAA,EAAY;AAAA,IACV,MAAM,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC9D,IAAI,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC5D,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,MAAM,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC9D,IAAI,CAAC,IAAA,EAAM,MAAM,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAC5D,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC7B,EAAA,EAAI,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC3B,WAAA,EACE;AAAA,GACJ;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA,GACJ;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA,GACJ;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EACE;AAAA;AACJ;AAAA;AAAA;AAKF;AAOO,SAAS,kBAAA,CACd,QAAA,EACA,SAAA,EACA,OAAA,EACqC;AACrC,EAAA,MAAM,KAAA,GAAQ,iBAAiB,QAAQ,CAAA;AAGvC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,uCAAuC,QAAQ,CAAA,qBAAA;AAAA,KACjD;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAGA,EAAA,IAAI,aAAa,YAAA,EAAc;AAC7B,IAAA,IAAI,cAAc,OAAA,EAAS;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,KAAA;AAAA,QACP,QAAQ,CAAA,EAAG,QAAQ,CAAA,oDAAA,EAAuD,SAAS,WAAM,OAAO,CAAA;AAAA,OAClG;AAAA,IACF;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAGA,EAAA,IAAI,CAAC,KAAA,CAAM,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA,EAAG;AACnC,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,SAAS,cAAc,KAAA,CAAM,IAAA,CAAK,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KAC7G;AAAA,EACF;AAGA,EAAA,IAAI,CAAC,KAAA,CAAM,EAAA,CAAG,QAAA,CAAS,OAAO,CAAA,EAAG;AAC/B,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,OAAO,cAAc,KAAA,CAAM,EAAA,CAAG,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KACzG;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AACvB","file":"epistemicLayerRules.js","sourcesContent":["// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Epistemic Spine helper module split from epistemicHelpers.ts.\n */\n\nimport type { Id } from \"./convex\";\n\n// =============================================================================\n// TYPE MAPPINGS\n// =============================================================================\n\n// =============================================================================\n// EPISTEMIC LAYER ARCHITECTURE (Lucern Invariant Compliance)\n// =============================================================================\n\n/**\n * Epistemic Layer - governs traversal rules\n * L4 → L3 → L2 → L1 (never skip layers)\n */\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n/**\n * Map nodeType to its epistemic layer\n *\n * Layer semantics:\n * - L4: Audit targets (decisions, outcomes) - what we committed to\n * - L3: Traversal anchors (beliefs, questions, themes) - epistemic structure\n * - L2: Compression boundary (claims, evidence, synthesis) - minimum reasoning unit\n * - L1: Terminal leaves (atomic_fact, excerpt, source) - non-traversable grounding\n * - ontological: Entities in the world (companies, people) - not epistemic\n * - organizational: Structural containers (topics, lenses, worktrees) - not epistemic\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  switch (nodeType) {\n    // L4: Audit targets\n    case \"decision\":\n      return \"L4\";\n\n    // L3: Traversal anchors\n    case \"belief\":\n    case \"question\":\n    case \"theme\":\n    case \"deal\":\n      return \"L3\";\n\n    // L2: Compression boundary\n    case \"claim\":\n    case \"evidence\":\n    case \"synthesis\":\n    case \"answer\":\n      return \"L2\";\n\n    // L1: Terminal leaves\n    case \"atomic_fact\":\n    case \"excerpt\":\n    case \"source\":\n      return \"L1\";\n\n    // Ontological entities\n    case \"company\":\n    case \"person\":\n    case \"investor\":\n    case \"function\":\n    case \"value_chain\":\n      return \"ontological\";\n\n    // Organizational containers\n    case \"topic\":\n      return \"organizational\";\n\n    default:\n      // Unknown types default to L2 (safest for traversal)\n      console.warn(\n        `[EpistemicLayer] Unknown nodeType: ${nodeType}, defaulting to L2`\n      );\n      return \"L2\";\n  }\n}\n\n/**\n * Layer traversal rules\n * Key constraint: Cannot skip layers during traversal\n */\nexport const LAYER_TRAVERSAL_RULES = {\n  L4: {\n    canReach: [\"L3\", \"L4\"], // Decisions can reach beliefs/questions\n    mustPassThrough: \"L3\", // Must go through L3 to reach L2\n  },\n  L3: {\n    canReach: [\"L2\", \"L3\", \"L4\"], // Beliefs can reach evidence, other beliefs, or decisions\n    mustPassThrough: \"L2\", // Must go through L2 to reach L1\n  },\n  L2: {\n    canReach: [\"L1\", \"L2\", \"L3\"], // Evidence can reach sources, other evidence, or beliefs\n    mustPassThrough: null, // L2 can reach L1 directly\n  },\n  L1: {\n    canReach: [\"L1\"], // Sources can only reach other sources\n    mustPassThrough: null, // Terminal - no traversal beyond\n  },\n  ontological: {\n    canReach: [\"L3\", \"L2\", \"ontological\"], // Entities can link to epistemic structure\n    mustPassThrough: null, // No layer constraints for entities\n  },\n  organizational: {\n    canReach: [\"L3\", \"L2\", \"organizational\"], // Containers scope epistemic structure + nest\n    mustPassThrough: null, // No layer constraints for containers\n  },\n} as const;\n\n/**\n * Check if a direct edge between two layers is allowed\n */\nexport function isValidLayerConnection(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  const rules = LAYER_TRAVERSAL_RULES[fromLayer];\n  return (rules.canReach as readonly string[]).includes(toLayer);\n}\n\n/**\n * Get layer hierarchy number (for comparison)\n * Higher number = higher layer\n */\nexport function getLayerDepth(layer: EpistemicLayer): number {\n  switch (layer) {\n    case \"L4\":\n      return 4;\n    case \"L3\":\n      return 3;\n    case \"L2\":\n      return 2;\n    case \"L1\":\n      return 1;\n    case \"ontological\":\n      return 0; // Ontological exists outside the epistemic hierarchy\n    case \"organizational\":\n      return 0; // Organizational exists outside the epistemic hierarchy\n    default:\n      return 2;\n  }\n}\n\n/**\n * Check if we can traverse from one layer to another\n * (considering intermediate layers)\n */\nexport function canTraverseToLayer(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  const fromDepth = getLayerDepth(fromLayer);\n  const toDepth = getLayerDepth(toLayer);\n\n  // Ontological/organizational layers are special - use explicit rules\n  if (\n    fromLayer === \"ontological\" ||\n    toLayer === \"ontological\" ||\n    fromLayer === \"organizational\" ||\n    toLayer === \"organizational\"\n  ) {\n    return isValidLayerConnection(fromLayer, toLayer);\n  }\n\n  // Can always stay at same layer\n  if (fromDepth === toDepth) {\n    return true;\n  }\n\n  // Can go up (L1→L2→L3→L4) or down (L4→L3→L2→L1)\n  // But must respect layer rules\n  return isValidLayerConnection(fromLayer, toLayer);\n}\n\n// =============================================================================\n// PHASE 2D: LAYER-AWARE TRAVERSAL\n// =============================================================================\n\n/**\n * Traversal mode - determines how to traverse the graph\n *\n * anchor_down: Start at L3 belief, traverse to L2 evidence, stop at L1 sources\n * anchor_up: Start at L2 evidence, traverse to L3 beliefs it supports\n * same_layer: Traverse within a single layer (e.g., belief → belief)\n * decision_trace: Start at L4 decision, traverse to L3 beliefs it was based on\n */\nexport type TraversalMode =\n  | \"anchor_down\"\n  | \"anchor_up\"\n  | \"same_layer\"\n  | \"decision_trace\";\n\n/**\n * Traversal options for layer-aware queries\n */\nexport interface TraversalOptions {\n  /** Edge types to follow (empty = all valid for mode) */\n  allowedEdgeTypes?: string[];\n  /** Maximum depth */\n  maxDepth?: number;\n  /** Maximum layer to reach */\n  maxLayer?: number;\n  /** Minimum layer to stop at (L1 = 1, L4 = 4) */\n  minLayer?: number;\n  /** Traversal mode */\n  mode: TraversalMode;\n  /** Starting node ID */\n  startNodeId: Id<\"epistemicNodes\">;\n}\n\n/**\n * Check if traversal should continue based on layer constraints\n */\nexport function shouldContinueTraversal(\n  currentLayer: EpistemicLayer,\n  targetLayer: EpistemicLayer,\n  options: {\n    mode: TraversalMode;\n    minLayer?: number;\n    maxLayer?: number;\n  }\n): boolean {\n  const currentDepth = getLayerDepth(currentLayer);\n  const targetDepth = getLayerDepth(targetLayer);\n\n  // Check min/max layer constraints\n  if (options.minLayer !== undefined && targetDepth < options.minLayer) {\n    return false; // Would go below minimum layer\n  }\n  if (options.maxLayer !== undefined && targetDepth > options.maxLayer) {\n    return false; // Would go above maximum layer\n  }\n\n  // Mode-specific rules\n  switch (options.mode) {\n    case \"anchor_down\":\n      // Can only go down (L4→L3→L2→L1)\n      return targetDepth < currentDepth || targetDepth === currentDepth;\n\n    case \"anchor_up\":\n      // Can only go up (L1→L2→L3→L4)\n      return targetDepth > currentDepth || targetDepth === currentDepth;\n\n    case \"same_layer\":\n      // Must stay at same layer\n      return targetDepth === currentDepth;\n\n    case \"decision_trace\":\n      // Decisions (L4) can trace to beliefs (L3), stop there\n      return currentDepth === 4\n        ? targetDepth === 3\n        : targetDepth === currentDepth;\n\n    default:\n      return true;\n  }\n}\n\n/**\n * Get default minLayer for a traversal mode\n */\nexport function getDefaultMinLayer(mode: TraversalMode): number {\n  switch (mode) {\n    case \"anchor_down\":\n      return 1; // Can go all the way to L1 sources\n    case \"anchor_up\":\n      return 2; // Start at L2 evidence minimum\n    case \"same_layer\":\n      return 1; // No constraint\n    case \"decision_trace\":\n      return 3; // Stop at L3 beliefs (don't go to L2 evidence)\n    default:\n      return 1;\n  }\n}\n\n/**\n * Get allowed edge types for a traversal mode\n */\nexport function getDefaultEdgeTypesForMode(mode: TraversalMode): string[] {\n  switch (mode) {\n    case \"anchor_down\":\n      // From beliefs/questions down to evidence and sources\n      return [\n        \"informs\", // evidence → belief (traverse backwards)\n        \"derived_from\", // evidence → source (provenance) + evidence → question\n      ];\n    case \"anchor_up\":\n      // From evidence up to beliefs\n      return [\"informs\", \"derived_from\"];\n    case \"same_layer\":\n      // Within-layer relationships\n      return [\n        // L3: Belief ↔ Belief\n        \"depends_on\",\n        \"supports\",\n        \"contains\",\n        // L3: Question ↔ Question\n        \"prerequisite_for\",\n        \"parallel_to\",\n        // L2: Evidence ↔ Evidence\n        \"corroborates\",\n        \"extends\",\n        \"same_source_as\",\n        \"same_theme_as\",\n      ];\n    case \"decision_trace\":\n      // From decisions to beliefs\n      return [\"derived_from\", \"depends_on\", \"contains\"];\n    default:\n      return [];\n  }\n}\n\n// =============================================================================\n// PHASE 2C: EDGE LAYER RULES\n// =============================================================================\n\n/**\n * Edge Layer Rules - defines valid layer combinations for each edge type\n *\n * Format: { from: [allowed source layers], to: [allowed target layers] }\n *\n * Key rules:\n * - L4 edges: Decision → L3 (beliefs, questions, themes)\n * - Cross-layer edges: L2 → L3 (evidence informs beliefs)\n * - Same-layer edges: L3 → L3, L2 → L2 (beliefs depend on beliefs)\n * - Downward edges: L2 → L1 (evidence extracted from source)\n * - Lifecycle edges: same layer only (supersedes)\n */\nexport const EDGE_LAYER_RULES: Record<\n  string,\n  { from: EpistemicLayer[]; to: EpistemicLayer[]; description: string }\n> = {\n  // === L4 Decision Edges ===\n  based_on_belief: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Belief (L4 → L3)\",\n  },\n  based_on_question: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Question (L4 → L3)\",\n  },\n  blocked_by_contradiction: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Contradiction (L4 → L3)\",\n  },\n  informed_by_theme: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision → Theme (L4 → L3)\",\n  },\n\n  // === Evidence Flow (L2 → L3, L2 → L1) ===\n  derived_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"A was produced from B (provenance chain)\",\n  },\n  answers: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Question (L2 → L3)\",\n  },\n  responds_to: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Answer → Question (L2 → L3)\",\n  },\n  informs: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Belief (L2 → L3)\",\n  },\n  qualifies: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence → Belief (L2 → L3)\",\n  },\n\n  // === Question → Belief (L3 → L3) ===\n  tests: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question → Belief (L3 → L3)\",\n  },\n  explores: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question → Belief assumption (L3 → L3)\",\n  },\n\n  // === Synthesis (L2 → L2, L2 → L1) ===\n  based_on: {\n    from: [\"L2\"],\n    to: [\"L2\", \"L1\"],\n    description: \"Synthesis → Evidence/Source (L2 → L2/L1)\",\n  },\n\n  // === Theme Relationships (L3 → L3) ===\n  relates_to_thesis: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief → Theme (L3 → L3)\",\n  },\n  belongs_to: {\n    from: [\"L3\", \"L2\"], // Can belong to theme from L3 or L2\n    to: [\"L3\"],\n    description: \"Any → Theme (L3/L2 → L3)\",\n  },\n  plays_theme: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Deal → Theme (L3 → L3)\",\n  },\n\n  // === Topic Hierarchy (L3 → organizational) ===\n  scoped_by: {\n    from: [\"L3\"],\n    to: [\"organizational\"],\n    description: \"Belief/Question → Topic (L3 → organizational)\",\n  },\n\n  // === Deal/Company ===\n  evaluates: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Deal → Company (L3 → ontological)\",\n  },\n\n  // === People (ontological → ontological, ontological → L3) ===\n  perspective_on: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Person → Belief/Theme (ontological → L3)\",\n  },\n  works_at: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Person → Company (ontological → ontological)\",\n  },\n\n  // === Value Chain (ontological) ===\n  participates_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → ValueChain (ontological → ontological)\",\n  },\n  performs: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Function (ontological → ontological)\",\n  },\n  function_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Function → ValueChain (ontological → ontological)\",\n  },\n  impacts: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Theme → ValueChain (L3 → ontological)\",\n  },\n\n  // === Investment (ontological) ===\n  invested_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Investor → Company (ontological → ontological)\",\n  },\n  raised_from: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Investor (ontological → ontological)\",\n  },\n\n  // === Entity↔Belief Bridge (OE-B) ===\n  about_entity: {\n    from: [\"L3\"],\n    to: [\"ontological\"],\n    description: \"Belief/Question/Theme → Entity (L3 → ontological)\",\n  },\n  entity_referenced_in: {\n    from: [\"ontological\"],\n    to: [\"L2\"],\n    description: \"Entity → Evidence (ontological → L2)\",\n  },\n  mentioned_in: {\n    from: [\"ontological\"],\n    to: [\"L1\"],\n    description: \"Entity → Source document (ontological → L1)\",\n  },\n  founded_by: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Person (ontological → ontological)\",\n  },\n  competes_with: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company → Company (ontological → ontological)\",\n  },\n  contains: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"ValueChain → Function (ontological → ontological)\",\n  },\n\n  // === Lifecycle (same layer only) ===\n  supersedes: {\n    from: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    to: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    description: \"NewNode → OldNode (same layer only - validated separately)\",\n  },\n  same_as: {\n    from: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    to: [\"L4\", \"L3\", \"L2\", \"L1\", \"ontological\", \"organizational\"],\n    description: \"Duplicate detection (same layer only - validated separately)\",\n  },\n\n  // === Same-Type: Belief ↔ Belief (L3 → L3) ===\n  depends_on: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief B requires Belief A (L3 → L3)\",\n  },\n  reinforces: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Beliefs strengthen each other (L3 → L3)\",\n  },\n  parent_of: {\n    from: [\"L3\", \"organizational\"],\n    to: [\"L3\", \"organizational\"],\n    description:\n      \"A is higher-level than B (L3 → L3, organizational → organizational)\",\n  },\n  child_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief A is more specific (L3 → L3)\",\n  },\n\n  // === Same-Type: Question ↔ Question (L3 → L3) ===\n  prerequisite_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question A must be answered first (L3 → L3)\",\n  },\n  parallel_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Same topic, different angles (L3 → L3)\",\n  },\n\n  // === Same-Type: Evidence ↔ Evidence (L2 → L2) ===\n  corroborates: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Independent support (L2 → L2)\",\n  },\n  extends: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Adds depth (L2 → L2)\",\n  },\n  same_source_as: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Same document/study (L2 → L2)\",\n  },\n  same_theme_as: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description: \"Same topic/entity (L2 → L2)\",\n  },\n\n  // === NEW: Deep Epistemic Analysis Edges (Phase: Schema Upgrade) ===\n  assumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description:\n      \"Hidden dependency - Belief B implicitly assumes Belief A (L3 → L3)\",\n  },\n  would_predict: {\n    from: [\"L3\"],\n    to: [\"L2\"],\n    description:\n      \"Pre-registered prediction - If Belief true, expect Evidence (L3 → L2)\",\n  },\n  analogous_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Explicit analogy - Belief A is like Belief B (L3 → L3)\",\n  },\n  independent_of: {\n    from: [\"L2\"],\n    to: [\"L2\"],\n    description:\n      \"True evidence independence - Evidence A independent of B (L2 → L2)\",\n  },\n\n  // NOTE: Deprecated edge types (supports, contradicts, derived_from, cites,\n  // summarizes, related_to, partially_answers, blocks, refines, branches_from)\n  // have been REMOVED from the system. Use compliant alternatives instead.\n};\n\n/**\n * Validate an edge against layer rules\n *\n * Returns { valid: true } or { valid: false, reason: string }\n */\nexport function validateEdgeLayers(\n  edgeType: string,\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): { valid: boolean; reason?: string } {\n  const rules = EDGE_LAYER_RULES[edgeType];\n\n  // Unknown edge type - allow but warn\n  if (!rules) {\n    console.warn(\n      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`\n    );\n    return { valid: true };\n  }\n\n  // Special handling for same-layer edges (supersedes)\n  if (edgeType === \"supersedes\") {\n    if (fromLayer !== toLayer) {\n      return {\n        valid: false,\n        reason: `${edgeType} edges must be between nodes of the same layer. Got ${fromLayer} → ${toLayer}`,\n      };\n    }\n    return { valid: true };\n  }\n\n  // Check from layer\n  if (!rules.from.includes(fromLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow source layer ${fromLayer}. Allowed: ${rules.from.join(\", \")}`,\n    };\n  }\n\n  // Check to layer\n  if (!rules.to.includes(toLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow target layer ${toLayer}. Allowed: ${rules.to.join(\", \")}`,\n    };\n  }\n\n  return { valid: true };\n}\n"]}

package/dist/{epistemicLinking-CfE00tHJ.d.ts → epistemicLinking-CsCDv2cN.d.ts}

@@ -10,7 +10,7 @@
 /**
  * Link two beliefs with a semantic relationship
  */
-declare const linkBeliefToBelief: any;
+declare const linkBeliefToBelief: unknown;
 /**
  * ⛔ DEPRECATED: Question-to-question linking is disabled.
  *
@@ -19,11 +19,11 @@ declare const linkBeliefToBelief: any;
  *
  * This mutation now returns success without creating edges for backwards compatibility.
  */
-declare const linkQuestionToQuestion: any;
+declare const linkQuestionToQuestion: unknown;
 /**
  * Link two pieces of evidence with a semantic relationship
  */
-declare const linkEvidenceToEvidence: any;
+declare const linkEvidenceToEvidence: unknown;
 
 declare const epistemicLinking_linkBeliefToBelief: typeof linkBeliefToBelief;
 declare const epistemicLinking_linkEvidenceToEvidence: typeof linkEvidenceToEvidence;

package/dist/epistemicLinking.d.ts

@@ -1 +1 @@
-export { l as linkBeliefToBelief, a as linkEvidenceToEvidence, b as linkQuestionToQuestion } from './epistemicLinking-CfE00tHJ.js';
+export { l as linkBeliefToBelief, a as linkEvidenceToEvidence, b as linkQuestionToQuestion } from './epistemicLinking-CsCDv2cN.js';

package/dist/epistemicLinking.js

@@ -1,65 +1,17 @@
-import { v } from 'convex/values';
-import { componentsGeneric, anyApi, mutationGeneric } from 'convex/server';
 import { checkProjectAccess } from '@lucern/access-control/access';
 import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
+import { v } from 'convex/values';
+import { unsafeConvexAnyApi } from '@lucern/contracts/convex/unsafeAnyApi';
+import { componentsGeneric, mutationGeneric } from 'convex/server';
 
 // src/epistemicLinking.ts
+var unsafeApi = unsafeConvexAnyApi(
+  "graph-primitives top-level module bundle lacks a committed Convex _generated/api surface"
+);
 componentsGeneric();
-var internal = anyApi;
+var internal = unsafeApi;
 var mutation = mutationGeneric;
 
-// src/graphTypes.ts
-var EDGE_TYPE_TO_REL = {
-  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===
-  supports: "SUPPORTS",
-  // L3↔L3: belief bears on belief (weight -1 to +1)
-  informs: "INFORMS",
-  // L2→L3: evidence bears on belief
-  depends_on: "DEPENDS_ON",
-  // L3→L3, Q→Q: structural gate
-  derived_from: "DERIVED_FROM",
-  // Any→Any: provenance chain (fork, synthesis, extraction, answer)
-  contains: "CONTAINS",
-  // Any→Any: hierarchy, scoping, membership
-  tests: "TESTS",
-  // Q→L3: question interrogates belief
-  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===
-  // Kept as separate Neo4j relationship types for backward compat with L4 queries.
-  // New code should use derived_from + metadata.
-  based_on_belief: "BASED_ON_BELIEF",
-  based_on_question: "BASED_ON_QUESTION",
-  blocked_by_contradiction: "BLOCKED_BY_CONTRADICTION",
-  informed_by_theme: "INFORMED_BY_THEME",
-  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===
-  works_at: "WORKS_AT",
-  invested_in: "INVESTED_IN",
-  competes_with: "COMPETES_WITH",
-  participates_in: "PARTICIPATES_IN",
-  founded_by: "FOUNDED_BY",
-  evaluates: "EVALUATES",
-  performs: "PERFORMS",
-  function_in: "FUNCTION_IN",
-  impacts: "IMPACTS",
-  raised_from: "RAISED_FROM",
-  mentioned_in: "MENTIONED_IN",
-  perspective_on: "PERSPECTIVE_ON",
-  about_entity: "ABOUT_ENTITY",
-  entity_referenced_in: "ENTITY_REFERENCED_IN"
-};
-var CANONICAL_EPISTEMIC_TYPES = /* @__PURE__ */ new Set([
-  "supports",
-  "informs",
-  "depends_on",
-  "derived_from",
-  "contains",
-  "tests"
-]);
-function isDeprecatedEdgeType(edgeType) {
-  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) return false;
-  if (edgeType in EDGE_TYPE_TO_REL) return false;
-  return true;
-}
-
 // src/epistemicLayerRules.ts
 function getNodeLayer(nodeType) {
   switch (nodeType) {
@@ -388,6 +340,64 @@ function validateEdgeLayers(edgeType, fromLayer, toLayer) {
   }
   return { valid: true };
 }
+
+// src/graphTypes.ts
+var EDGE_TYPE_TO_REL = {
+  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===
+  supports: "SUPPORTS",
+  // L3↔L3: belief bears on belief (weight -1 to +1)
+  informs: "INFORMS",
+  // L2→L3: evidence bears on belief
+  depends_on: "DEPENDS_ON",
+  // L3→L3, Q→Q: structural gate
+  derived_from: "DERIVED_FROM",
+  // Any→Any: provenance chain (fork, synthesis, extraction, answer)
+  contains: "CONTAINS",
+  // Any→Any: hierarchy, scoping, membership
+  tests: "TESTS",
+  // Q→L3: question interrogates belief
+  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===
+  // Kept as separate Neo4j relationship types for backward compat with L4 queries.
+  // New code should use derived_from + metadata.
+  based_on_belief: "BASED_ON_BELIEF",
+  based_on_question: "BASED_ON_QUESTION",
+  blocked_by_contradiction: "BLOCKED_BY_CONTRADICTION",
+  informed_by_theme: "INFORMED_BY_THEME",
+  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===
+  works_at: "WORKS_AT",
+  invested_in: "INVESTED_IN",
+  competes_with: "COMPETES_WITH",
+  participates_in: "PARTICIPATES_IN",
+  founded_by: "FOUNDED_BY",
+  evaluates: "EVALUATES",
+  performs: "PERFORMS",
+  function_in: "FUNCTION_IN",
+  impacts: "IMPACTS",
+  raised_from: "RAISED_FROM",
+  mentioned_in: "MENTIONED_IN",
+  perspective_on: "PERSPECTIVE_ON",
+  about_entity: "ABOUT_ENTITY",
+  entity_referenced_in: "ENTITY_REFERENCED_IN"
+};
+var CANONICAL_EPISTEMIC_TYPES = /* @__PURE__ */ new Set([
+  "supports",
+  "informs",
+  "depends_on",
+  "derived_from",
+  "contains",
+  "tests"
+]);
+function isDeprecatedEdgeType(edgeType) {
+  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {
+    return false;
+  }
+  if (edgeType in EDGE_TYPE_TO_REL) {
+    return false;
+  }
+  return true;
+}
+
+// src/epistemicLinking.ts
 var RELATION_TO_EDGE_TYPE = {
   // Cross-type: Evidence → Belief
   supports: "informs",
@@ -420,6 +430,93 @@ var RELATION_TO_EDGE_TYPE = {
   related: "related_to",
   informs: "informs"
 };
+var EPISTEMIC_LAYERS = /* @__PURE__ */ new Set([
+  "L4",
+  "L3",
+  "L2",
+  "L1",
+  "ontological",
+  "organizational"
+]);
+function readOptionalString(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value : void 0;
+}
+function readConvexId(value) {
+  const normalized = readOptionalString(value);
+  return normalized;
+}
+function readRecord(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : null;
+}
+function readEpistemicLayer(value) {
+  const layer = readOptionalString(value);
+  return layer && EPISTEMIC_LAYERS.has(layer) ? layer : void 0;
+}
+function readEpistemicNodeRecord(value) {
+  const record = readRecord(value);
+  if (!record) {
+    return null;
+  }
+  const id = readConvexId(record._id);
+  const globalId = readOptionalString(record.globalId);
+  const nodeType = readOptionalString(record.nodeType);
+  if (!(id && globalId && nodeType)) {
+    return null;
+  }
+  const node = { _id: id, globalId, nodeType };
+  const projectId = readOptionalString(record.projectId);
+  if (projectId !== void 0) {
+    node.projectId = projectId;
+  }
+  const epistemicLayer = readEpistemicLayer(record.epistemicLayer);
+  if (epistemicLayer !== void 0) {
+    node.epistemicLayer = epistemicLayer;
+  }
+  return node;
+}
+function isEvidenceNode(node) {
+  return node?.nodeType === "evidence";
+}
+function getNodeEpistemicLayer(node) {
+  return node.epistemicLayer ?? getNodeLayer(node.nodeType);
+}
+function buildEvidenceEdgePayload(ctx, fromInsight, toInsight, relation, userId, rationale) {
+  const edgeType = RELATION_TO_EDGE_TYPE[relation] || "related_to";
+  const fromLayer = getNodeEpistemicLayer(fromInsight);
+  const toLayer = getNodeEpistemicLayer(toInsight);
+  const validation = validateEdgeLayers(edgeType, fromLayer, toLayer);
+  if (!validation.valid) {
+    console.warn(
+      `[EpistemicLinking] Invalid edge blocked: ${validation.reason}`
+    );
+    return;
+  }
+  if (isDeprecatedEdgeType(edgeType)) {
+    console.error(
+      `[EpistemicLinking] FORBIDDEN edge type '${edgeType}' blocked. Use compliant edge types.`
+    );
+    return;
+  }
+  const edgeGlobalId = buildDeterministicEdgeGlobalId(
+    String(fromInsight.globalId),
+    String(toInsight.globalId),
+    edgeType
+  );
+  return ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
+    globalId: edgeGlobalId,
+    fromGlobalId: fromInsight.globalId,
+    toGlobalId: toInsight.globalId,
+    edgeType,
+    weight: getEdgeWeight(relation),
+    context: rationale || `Linked as ${relation}`,
+    topicId: fromInsight.projectId ? String(fromInsight.projectId) : void 0,
+    createdBy: userId,
+    fromNodeType: "evidence",
+    toNodeType: "evidence",
+    fromLayer,
+    toLayer
+  });
+}
 function getEdgeWeight(relation) {
   switch (relation) {
     case "supports":
@@ -462,9 +559,11 @@ var linkBeliefToBelief = mutation({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const fromBelief = await ctx.db.get(args.fromBeliefId);
-    const toBelief = await ctx.db.get(args.toBeliefId);
-    if (!fromBelief || !toBelief || fromBelief.nodeType !== "belief" || toBelief.nodeType !== "belief") {
+    const fromBelief = readEpistemicNodeRecord(
+      await ctx.db.get(args.fromBeliefId)
+    );
+    const toBelief = readEpistemicNodeRecord(await ctx.db.get(args.toBeliefId));
+    if (!(fromBelief && toBelief) || fromBelief.nodeType !== "belief" || toBelief.nodeType !== "belief") {
       throw new Error("One or both beliefs not found");
     }
     if (fromBelief.projectId) {
@@ -482,8 +581,8 @@ var linkBeliefToBelief = mutation({
     if (fromNode && toNode) {
       const edgeType = RELATION_TO_EDGE_TYPE[args.relation] || "related_to";
       const weight = getEdgeWeight(args.relation);
-      const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);
-      const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);
+      const fromLayer = getNodeEpistemicLayer(fromNode);
+      const toLayer = getNodeEpistemicLayer(toNode);
       const validation = validateEdgeLayers(edgeType, fromLayer, toLayer);
       if (!validation.valid) {
         console.warn(
@@ -528,7 +627,7 @@ var linkQuestionToQuestion = mutation({
     rationale: v.optional(v.string())
   },
   returns: permissiveReturn,
-  handler: async (_ctx, _args) => {
+  handler: (_ctx, _args) => {
     console.log(
       "[EpistemicLinking] Question-to-question linking is deprecated and disabled."
     );
@@ -546,9 +645,13 @@ var linkEvidenceToEvidence = mutation({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const fromInsight = await ctx.db.get(args.fromInsightId);
-    const toInsight = await ctx.db.get(args.toInsightId);
-    if (!fromInsight || !toInsight) {
+    const fromInsight = readEpistemicNodeRecord(
+      await ctx.db.get(args.fromInsightId)
+    );
+    const toInsight = readEpistemicNodeRecord(
+      await ctx.db.get(args.toInsightId)
+    );
+    if (!(fromInsight && toInsight)) {
       throw new Error("One or both insights not found");
     }
     if (fromInsight.projectId) {
@@ -561,43 +664,17 @@ var linkEvidenceToEvidence = mutation({
         throw new Error("No permission to link these evidence items");
       }
     }
-    const fromNode = fromInsight.nodeType === "evidence" ? fromInsight : null;
-    const toNode = toInsight.nodeType === "evidence" ? toInsight : null;
+    const fromNode = isEvidenceNode(fromInsight) ? fromInsight : null;
+    const toNode = isEvidenceNode(toInsight) ? toInsight : null;
     if (fromNode && toNode) {
-      const edgeType = RELATION_TO_EDGE_TYPE[args.relation] || "related_to";
-      const weight = getEdgeWeight(args.relation);
-      const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);
-      const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);
-      const validation = validateEdgeLayers(edgeType, fromLayer, toLayer);
-      if (!validation.valid) {
-        console.warn(
-          `[EpistemicLinking] Invalid edge blocked: ${validation.reason}`
-        );
-      } else if (isDeprecatedEdgeType(edgeType)) {
-        console.error(
-          `[EpistemicLinking] FORBIDDEN edge type '${edgeType}' blocked. Use compliant edge types.`
-        );
-      } else {
-        const edgeGlobalId = buildDeterministicEdgeGlobalId(
-          fromNode.globalId,
-          toNode.globalId,
-          edgeType
-        );
-        await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-          globalId: edgeGlobalId,
-          fromGlobalId: fromNode.globalId,
-          toGlobalId: toNode.globalId,
-          edgeType,
-          weight,
-          context: args.rationale || `Linked as ${args.relation}`,
-          topicId: fromInsight.projectId ? String(fromInsight.projectId) : void 0,
-          createdBy: args.userId,
-          fromNodeType: "evidence",
-          toNodeType: "evidence",
-          fromLayer,
-          toLayer
-        });
-      }
+      await buildEvidenceEdgePayload(
+        ctx,
+        fromNode,
+        toNode,
+        args.relation,
+        args.userId,
+        args.rationale
+      );
     }
     return { success: true };
   }