@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/edgeValidation.js

@@ -45,12 +45,24 @@ var CANONICAL_EPISTEMIC_TYPES = /* @__PURE__ */ new Set([
   "tests"
 ]);
 function isDeprecatedEdgeType(edgeType) {
-  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) return false;
-  if (edgeType in EDGE_TYPE_TO_REL) return false;
+  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {
+    return false;
+  }
+  if (edgeType in EDGE_TYPE_TO_REL) {
+    return false;
+  }
   return true;
 }
 
 // src/edgeValidation.ts
+var VALID_LAYER_CONNECTIONS = {
+  ontological: /* @__PURE__ */ new Set(["ontological", "L1", "L2", "L3"]),
+  L1: /* @__PURE__ */ new Set(["L1", "L2"]),
+  L2: /* @__PURE__ */ new Set(["L1", "L2", "L3", "ontological"]),
+  L3: /* @__PURE__ */ new Set(["L2", "L3", "L4", "ontological", "organizational"]),
+  L4: /* @__PURE__ */ new Set(["L3", "L4"]),
+  organizational: /* @__PURE__ */ new Set(["organizational", "L3"])
+};
 function getLayerDepth(layer) {
   switch (layer) {
     case "L4":
@@ -68,37 +80,13 @@ function getLayerDepth(layer) {
   }
 }
 function isValidLayerConnection(fromLayer, toLayer) {
-  if (fromLayer === toLayer) {
-    return true;
-  }
-  if (fromLayer === "ontological" && toLayer === "ontological") {
-    return true;
-  }
-  if (fromLayer === "ontological" && (toLayer === "L3" || toLayer === "L2" || toLayer === "L1")) {
-    return true;
-  }
-  if ((fromLayer === "L3" || fromLayer === "L2" || fromLayer === "L1") && toLayer === "ontological") {
-    return true;
-  }
-  if (fromLayer === "L2" && toLayer === "L1") {
-    return true;
-  }
-  if (fromLayer === "L2" && toLayer === "L3") {
-    return true;
-  }
-  if (fromLayer === "L3" && toLayer === "L2") {
-    return true;
-  }
-  if (fromLayer === "L3" && toLayer === "L4") {
-    return true;
-  }
-  if (fromLayer === "L4" && toLayer === "L3") {
-    return true;
+  if (!VALID_LAYER_CONNECTIONS[fromLayer].has(toLayer)) {
+    return false;
   }
-  if (fromLayer === "L3" && toLayer === "organizational") {
+  if (fromLayer === "ontological" || toLayer === "ontological") {
     return true;
   }
-  if (fromLayer === "organizational" && toLayer === "L3") {
+  if (fromLayer === "organizational" || toLayer === "organizational") {
     return true;
   }
   const fromDepth = getLayerDepth(fromLayer);
@@ -273,61 +261,281 @@ var EDGE_LAYER_RULES = {
     to: ["L1", "L2", "L3"],
     description: "Legacy storage migration alias for derived_from; public writes use derived_from"
   },
-  qualifies: { from: ["L2", "L3"], to: ["L3"], description: "Evidence/Belief qualifies a Belief" },
-  contradicts: { from: ["L2", "L3"], to: ["L3"], description: "Evidence/Belief contradicts a Belief" },
-  reinforces: { from: ["L2", "L3"], to: ["L3"], description: "Evidence/Belief reinforces a Belief" },
-  corroborates: { from: ["L2", "L3"], to: ["L3"], description: "Independent evidence/belief corroborates a Belief" },
-  strengthened_by: { from: ["L3"], to: ["L2", "L3"], description: "Belief is strengthened by Evidence/Belief" },
-  weakened_by: { from: ["L3"], to: ["L2", "L3"], description: "Belief is weakened by Evidence/Belief" },
-  validated_by: { from: ["L3"], to: ["L2", "L3"], description: "Belief is validated by Evidence/Belief" },
-  falsified_by: { from: ["L3"], to: ["L2", "L3"], description: "Belief is falsified by Evidence/Belief" },
-  amplifies: { from: ["L3"], to: ["L3"], description: "Belief amplifies another Belief" },
-  precondition_for: { from: ["L3"], to: ["L3"], description: "Belief is a precondition for another Belief" },
-  prerequisite_for: { from: ["L3"], to: ["L3"], description: "Belief is a prerequisite for another Belief" },
-  required_for: { from: ["L3"], to: ["L3"], description: "Belief is required for another Belief" },
-  in_tension_with: { from: ["L3"], to: ["L3"], description: "Belief is in tension with another Belief" },
-  mutually_exclusive: { from: ["L3"], to: ["L3"], description: "Beliefs cannot both hold" },
-  exclusive_with: { from: ["L3"], to: ["L3"], description: "Belief is exclusive with another Belief" },
-  alternative_to: { from: ["L3"], to: ["L3"], description: "Belief is an alternative to another Belief" },
-  subsumes: { from: ["L3"], to: ["L3"], description: "Belief subsumes a narrower Belief" },
-  extends: { from: ["L3"], to: ["L3"], description: "Belief extends another Belief" },
-  refines: { from: ["L3"], to: ["L3"], description: "Belief refines another Belief" },
-  implements: { from: ["L3"], to: ["L3"], description: "Belief implements an abstract Belief" },
-  violates: { from: ["L3"], to: ["L3"], description: "Belief violates a constraint Belief" },
-  assumes: { from: ["L3"], to: ["L3"], description: "Belief assumes another Belief" },
-  would_predict: { from: ["L3"], to: ["L3"], description: "Belief would predict another Belief" },
-  analogous_to: { from: ["L3"], to: ["L3"], description: "Belief is analogous to another Belief" },
-  independent_of: { from: ["L3"], to: ["L3"], description: "Belief is independent of another Belief" },
-  correlates_with: { from: ["L3"], to: ["L3"], description: "Belief correlates with another Belief" },
-  co_changes_with: { from: ["L3"], to: ["L3"], description: "Belief co-changes with another Belief" },
-  counterfactual_of: { from: ["L3"], to: ["L3"], description: "Belief is a counterfactual of another Belief" },
-  parallel_to: { from: ["L3"], to: ["L3"], description: "Belief runs parallel to another Belief" },
-  cascade_from: { from: ["L3"], to: ["L3"], description: "Cascade from an upstream Belief" },
-  cascade_to: { from: ["L3"], to: ["L3"], description: "Cascade to a downstream Belief" },
-  collapses_if: { from: ["L3"], to: ["L3"], description: "Belief collapses if another fails" },
-  branches_from: { from: ["L3"], to: ["L3"], description: "Belief branches from an ancestor Belief" },
-  same_as: { from: ["L2", "L3", "ontological"], to: ["L2", "L3", "ontological"], description: "Two nodes are the same entity" },
-  answers: { from: ["L2", "L3"], to: ["L3"], description: "Answer/Belief answers a Question" },
-  partially_answers: { from: ["L2", "L3"], to: ["L3"], description: "Answer/Belief partially answers a Question" },
-  explores: { from: ["L3"], to: ["L3"], description: "Question explores a Belief/Theme" },
-  informed_by_theme: { from: ["L3"], to: ["L3"], description: "Belief is informed by a Theme" },
-  same_theme_as: { from: ["L3"], to: ["L3"], description: "Two Beliefs share a Theme" },
-  based_on: { from: ["L4"], to: ["L3"], description: "Decision is based on a Belief/Question" },
-  based_on_belief: { from: ["L4"], to: ["L3"], description: "Decision is based on a Belief" },
-  based_on_question: { from: ["L4"], to: ["L3"], description: "Decision is based on a Question" },
-  blocked_by_contradiction: { from: ["L4"], to: ["L3"], description: "Decision is blocked by a Contradiction" },
-  parent_of: { from: ["L3", "L4", "ontological", "organizational"], to: ["L2", "L3", "ontological", "organizational"], description: "A is the parent of B" },
-  child_of: { from: ["L2", "L3", "ontological", "organizational"], to: ["L3", "L4", "ontological", "organizational"], description: "A is the child of B" },
-  scoped_by: { from: ["L2", "L3"], to: ["L3", "organizational"], description: "Object is scoped by a Topic/Theme" },
-  cites: { from: ["L2", "L3"], to: ["L1", "L2"], description: "Evidence/Belief cites a Source/Excerpt" },
-  summarizes: { from: ["L2", "L3"], to: ["L1", "L2"], description: "Synthesis/Evidence summarizes a Source/Evidence" },
-  same_source_as: { from: ["L1", "L2"], to: ["L1", "L2"], description: "Two nodes derive from the same Source" },
-  migrating_from: { from: ["L2", "L3", "L4"], to: ["L1", "L2", "L3"], description: "Migration lineage: from an ancestor" },
-  migrating_to: { from: ["L1", "L2", "L3"], to: ["L2", "L3", "L4"], description: "Migration lineage: to a successor" },
-  about_entity: { from: ["L2", "L3"], to: ["ontological"], description: "Belief/Evidence is about an Entity" },
-  entity_referenced_in: { from: ["ontological"], to: ["L1", "L2"], description: "Entity is referenced in a Source/Evidence" },
-  related_to: { from: ["L2", "L3", "ontological", "organizational"], to: ["L2", "L3", "ontological", "organizational"], description: "Lateral adjacency; no confidence pressure" },
-  blocks: { from: ["L3", "L4"], to: ["L3", "L4"], description: "A blocks B (structural gate)" }
+  qualifies: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Evidence/Belief qualifies a Belief"
+  },
+  contradicts: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Evidence/Belief contradicts a Belief"
+  },
+  reinforces: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Evidence/Belief reinforces a Belief"
+  },
+  corroborates: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Independent evidence/belief corroborates a Belief"
+  },
+  strengthened_by: {
+    from: ["L3"],
+    to: ["L2", "L3"],
+    description: "Belief is strengthened by Evidence/Belief"
+  },
+  weakened_by: {
+    from: ["L3"],
+    to: ["L2", "L3"],
+    description: "Belief is weakened by Evidence/Belief"
+  },
+  validated_by: {
+    from: ["L3"],
+    to: ["L2", "L3"],
+    description: "Belief is validated by Evidence/Belief"
+  },
+  falsified_by: {
+    from: ["L3"],
+    to: ["L2", "L3"],
+    description: "Belief is falsified by Evidence/Belief"
+  },
+  amplifies: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief amplifies another Belief"
+  },
+  precondition_for: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is a precondition for another Belief"
+  },
+  prerequisite_for: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is a prerequisite for another Belief"
+  },
+  required_for: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is required for another Belief"
+  },
+  in_tension_with: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is in tension with another Belief"
+  },
+  mutually_exclusive: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Beliefs cannot both hold"
+  },
+  exclusive_with: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is exclusive with another Belief"
+  },
+  alternative_to: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is an alternative to another Belief"
+  },
+  subsumes: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief subsumes a narrower Belief"
+  },
+  extends: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief extends another Belief"
+  },
+  refines: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief refines another Belief"
+  },
+  implements: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief implements an abstract Belief"
+  },
+  violates: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief violates a constraint Belief"
+  },
+  assumes: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief assumes another Belief"
+  },
+  would_predict: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief would predict another Belief"
+  },
+  analogous_to: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is analogous to another Belief"
+  },
+  independent_of: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is independent of another Belief"
+  },
+  correlates_with: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief correlates with another Belief"
+  },
+  co_changes_with: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief co-changes with another Belief"
+  },
+  counterfactual_of: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is a counterfactual of another Belief"
+  },
+  parallel_to: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief runs parallel to another Belief"
+  },
+  cascade_from: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Cascade from an upstream Belief"
+  },
+  cascade_to: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Cascade to a downstream Belief"
+  },
+  collapses_if: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief collapses if another fails"
+  },
+  branches_from: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief branches from an ancestor Belief"
+  },
+  same_as: {
+    from: ["L2", "L3", "ontological"],
+    to: ["L2", "L3", "ontological"],
+    description: "Two nodes are the same entity"
+  },
+  answers: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Answer/Belief answers a Question"
+  },
+  partially_answers: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Answer/Belief partially answers a Question"
+  },
+  explores: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Question explores a Belief/Theme"
+  },
+  informed_by_theme: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief is informed by a Theme"
+  },
+  same_theme_as: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Two Beliefs share a Theme"
+  },
+  based_on: {
+    from: ["L4"],
+    to: ["L3"],
+    description: "Decision is based on a Belief/Question"
+  },
+  based_on_belief: {
+    from: ["L4"],
+    to: ["L3"],
+    description: "Decision is based on a Belief"
+  },
+  based_on_question: {
+    from: ["L4"],
+    to: ["L3"],
+    description: "Decision is based on a Question"
+  },
+  blocked_by_contradiction: {
+    from: ["L4"],
+    to: ["L3"],
+    description: "Decision is blocked by a Contradiction"
+  },
+  parent_of: {
+    from: ["L3", "L4", "ontological", "organizational"],
+    to: ["L2", "L3", "ontological", "organizational"],
+    description: "A is the parent of B"
+  },
+  child_of: {
+    from: ["L2", "L3", "ontological", "organizational"],
+    to: ["L3", "L4", "ontological", "organizational"],
+    description: "A is the child of B"
+  },
+  scoped_by: {
+    from: ["L2", "L3"],
+    to: ["L3", "organizational"],
+    description: "Object is scoped by a Topic/Theme"
+  },
+  cites: {
+    from: ["L2", "L3"],
+    to: ["L1", "L2"],
+    description: "Evidence/Belief cites a Source/Excerpt"
+  },
+  summarizes: {
+    from: ["L2", "L3"],
+    to: ["L1", "L2"],
+    description: "Synthesis/Evidence summarizes a Source/Evidence"
+  },
+  same_source_as: {
+    from: ["L1", "L2"],
+    to: ["L1", "L2"],
+    description: "Two nodes derive from the same Source"
+  },
+  migrating_from: {
+    from: ["L2", "L3", "L4"],
+    to: ["L1", "L2", "L3"],
+    description: "Migration lineage: from an ancestor"
+  },
+  migrating_to: {
+    from: ["L1", "L2", "L3"],
+    to: ["L2", "L3", "L4"],
+    description: "Migration lineage: to a successor"
+  },
+  about_entity: {
+    from: ["L2", "L3"],
+    to: ["ontological"],
+    description: "Belief/Evidence is about an Entity"
+  },
+  entity_referenced_in: {
+    from: ["ontological"],
+    to: ["L1", "L2"],
+    description: "Entity is referenced in a Source/Evidence"
+  },
+  related_to: {
+    from: ["L2", "L3", "ontological", "organizational"],
+    to: ["L2", "L3", "ontological", "organizational"],
+    description: "Lateral adjacency; no confidence pressure"
+  },
+  blocks: {
+    from: ["L3", "L4"],
+    to: ["L3", "L4"],
+    description: "A blocks B (structural gate)"
+  }
 };
 function validateEdgeLayers(edgeType, fromLayer, toLayer) {
   const rules = EDGE_LAYER_RULES[edgeType];

package/dist/edgeValidation.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/graphTypes.ts","../src/edgeValidation.ts"],"names":[],"mappings":";AAoEO,IAAM,gBAAA,GAA2C;AAAA;AAAA,EAEtD,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,OAAA,EAAS,SAAA;AAAA;AAAA,EACT,UAAA,EAAY,YAAA;AAAA;AAAA,EACZ,YAAA,EAAc,cAAA;AAAA;AAAA,EACd,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,KAAA,EAAO,OAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKP,eAAA,EAAiB,iBAAA;AAAA,EACjB,iBAAA,EAAmB,mBAAA;AAAA,EACnB,wBAAA,EAA0B,0BAAA;AAAA,EAC1B,iBAAA,EAAmB,mBAAA;AAAA;AAAA,EAGnB,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,aAAA,EAAe,eAAA;AAAA,EACf,eAAA,EAAiB,iBAAA;AAAA,EACjB,UAAA,EAAY,YAAA;AAAA,EACZ,SAAA,EAAW,WAAA;AAAA,EACX,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,OAAA,EAAS,SAAA;AAAA,EACT,WAAA,EAAa,aAAA;AAAA,EACb,YAAA,EAAc,cAAA;AAAA,EACd,cAAA,EAAgB,gBAAA;AAAA,EAChB,YAAA,EAAc,cAAA;AAAA,EACd,oBAAA,EAAsB;AACxB,CAAA;AAoEA,IAAM,yBAAA,uBAAgC,GAAA,CAAI;AAAA,EACxC,UAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF,CAAC,CAAA;AAQM,SAAS,qBAAqB,QAAA,EAA2B;AAE9D,EAAA,IAAI,yBAAA,CAA0B,GAAA,CAAI,QAAQ,CAAA,EAAG,OAAO,KAAA;AAEpD,EAAA,IAAI,QAAA,IAAY,kBAAkB,OAAO,KAAA;AAEzC,EAAA,OAAO,IAAA;AACT;;;ACrLA,SAAS,cAAc,KAAA,EAA+B;AACpD,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,IACT;AACE,MAAA,OAAO,EAAA;AAAA;AAEb;AAEA,SAAS,sBAAA,CACP,WACA,OAAA,EACS;AACT,EAAA,IAAI,cAAc,OAAA,EAAS;AACzB,IAAA,OAAO,IAAA;AAAA,EACT;AAGA,EAAA,IAAI,SAAA,KAAc,aAAA,IAAiB,OAAA,KAAY,aAAA,EAAe;AAC5D,IAAA,OAAO,IAAA;AAAA,EACT;AAGA,EAAA,IACE,cAAc,aAAA,KACb,OAAA,KAAY,QAAQ,OAAA,KAAY,IAAA,IAAQ,YAAY,IAAA,CAAA,EACrD;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAA,CACG,cAAc,IAAA,IAAQ,SAAA,KAAc,QAAQ,SAAA,KAAc,IAAA,KAC3D,YAAY,aAAA,EACZ;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AAGA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,IAAA,EAAM;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,IAAA,EAAM;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,IAAA,EAAM;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,IAAA,EAAM;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,IAAA,EAAM;AAC1C,IAAA,OAAO,IAAA;AAAA,EACT;AAGA,EAAA,IAAI,SAAA,KAAc,IAAA,IAAQ,OAAA,KAAY,gBAAA,EAAkB;AACtD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,SAAA,KAAc,gBAAA,IAAoB,OAAA,KAAY,IAAA,EAAM;AACtD,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAA,GAAY,cAAc,SAAS,CAAA;AACzC,EAAA,MAAM,OAAA,GAAU,cAAc,OAAO,CAAA;AACrC,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,SAAA,GAAY,OAAO,IAAI,CAAA,EAAG;AACrC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAQO,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;AAE7C,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;AAEA,EAAA,QAAQ,QAAQ,IAAA;AAAM,IACpB,KAAK,aAAA;AACH,MAAA,OAAO,WAAA,IAAe,YAAA;AAAA,IACxB,KAAK,WAAA;AACH,MAAA,OAAO,WAAA,IAAe,YAAA;AAAA,IACxB,KAAK,YAAA;AACH,MAAA,OAAO,WAAA,KAAgB,YAAA;AAAA,IACzB,KAAK,gBAAA;AACH,MAAA,OAAO,YAAA,KAAiB,CAAA,GACpB,WAAA,KAAgB,CAAA,GAChB,WAAA,KAAgB,YAAA;AAAA,IACtB;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEO,SAAS,mBAAmB,IAAA,EAA6B;AAC9D,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,WAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,YAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAEO,IAAM,gBAAA,GAGT;AAAA;AAAA,EAEF,QAAA,EAAU;AAAA,IACR,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,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,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,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAC9B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,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,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,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,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,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,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,SAAA,EAAW;AAAA,IACT,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,aAAA,EAAe,IAAI,CAAA;AAAA,IAC1B,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,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EACE;AAAA,GACJ;AAAA,EACA,SAAA,EAAW,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,oCAAA,EAAqC;AAAA,EAC/F,WAAA,EAAa,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,sCAAA,EAAuC;AAAA,EACnG,UAAA,EAAY,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,qCAAA,EAAsC;AAAA,EACjG,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,mDAAA,EAAoD;AAAA,EACjH,eAAA,EAAiB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,WAAA,EAAa,2CAAA,EAA4C;AAAA,EAC5G,WAAA,EAAa,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,WAAA,EAAa,uCAAA,EAAwC;AAAA,EACpG,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,WAAA,EAAa,wCAAA,EAAyC;AAAA,EACtG,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,WAAA,EAAa,wCAAA,EAAyC;AAAA,EACtG,SAAA,EAAW,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,iCAAA,EAAkC;AAAA,EACtF,gBAAA,EAAkB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,6CAAA,EAA8C;AAAA,EACzG,gBAAA,EAAkB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,6CAAA,EAA8C;AAAA,EACzG,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,uCAAA,EAAwC;AAAA,EAC/F,eAAA,EAAiB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,0CAAA,EAA2C;AAAA,EACrG,kBAAA,EAAoB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,0BAAA,EAA2B;AAAA,EACxF,cAAA,EAAgB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,yCAAA,EAA0C;AAAA,EACnG,cAAA,EAAgB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,4CAAA,EAA6C;AAAA,EACtG,QAAA,EAAU,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,mCAAA,EAAoC;AAAA,EACvF,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,+BAAA,EAAgC;AAAA,EAClF,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,+BAAA,EAAgC;AAAA,EAClF,UAAA,EAAY,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,sCAAA,EAAuC;AAAA,EAC5F,QAAA,EAAU,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,qCAAA,EAAsC;AAAA,EACzF,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,+BAAA,EAAgC;AAAA,EAClF,aAAA,EAAe,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,qCAAA,EAAsC;AAAA,EAC9F,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,uCAAA,EAAwC;AAAA,EAC/F,cAAA,EAAgB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,yCAAA,EAA0C;AAAA,EACnG,eAAA,EAAiB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,uCAAA,EAAwC;AAAA,EAClG,eAAA,EAAiB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,uCAAA,EAAwC;AAAA,EAClG,iBAAA,EAAmB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,8CAAA,EAA+C;AAAA,EAC3G,WAAA,EAAa,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,wCAAA,EAAyC;AAAA,EAC/F,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,iCAAA,EAAkC;AAAA,EACzF,UAAA,EAAY,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,gCAAA,EAAiC;AAAA,EACtF,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,mCAAA,EAAoC;AAAA,EAC3F,aAAA,EAAe,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,yCAAA,EAA0C;AAAA,EAClG,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,MAAM,IAAA,EAAM,aAAa,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA,EAAG,aAAa,+BAAA,EAAgC;AAAA,EAC5H,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,kCAAA,EAAmC;AAAA,EAC3F,iBAAA,EAAmB,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,4CAAA,EAA6C;AAAA,EAC/G,QAAA,EAAU,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,kCAAA,EAAmC;AAAA,EACtF,iBAAA,EAAmB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,+BAAA,EAAgC;AAAA,EAC5F,aAAA,EAAe,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,2BAAA,EAA4B;AAAA,EACpF,QAAA,EAAU,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,wCAAA,EAAyC;AAAA,EAC5F,eAAA,EAAiB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,+BAAA,EAAgC;AAAA,EAC1F,iBAAA,EAAmB,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,iCAAA,EAAkC;AAAA,EAC9F,wBAAA,EAA0B,EAAE,IAAA,EAAM,CAAC,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAI,CAAA,EAAG,WAAA,EAAa,wCAAA,EAAyC;AAAA,EAC5G,WAAW,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,MAAM,aAAA,EAAe,gBAAgB,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA,EAAG,aAAa,sBAAA,EAAuB;AAAA,EACzJ,UAAU,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,MAAM,aAAA,EAAe,gBAAgB,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA,EAAG,aAAa,qBAAA,EAAsB;AAAA,EACvJ,SAAA,EAAW,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,gBAAgB,CAAA,EAAG,aAAa,mCAAA,EAAoC;AAAA,EAChH,KAAA,EAAO,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,wCAAA,EAAyC;AAAA,EACrG,UAAA,EAAY,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,iDAAA,EAAkD;AAAA,EACnH,cAAA,EAAgB,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,uCAAA,EAAwC;AAAA,EAC7G,cAAA,EAAgB,EAAE,IAAA,EAAM,CAAC,MAAM,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,qCAAA,EAAsC;AAAA,EACvH,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,MAAM,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,mCAAA,EAAoC;AAAA,EACnH,YAAA,EAAc,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,aAAa,CAAA,EAAG,WAAA,EAAa,oCAAA,EAAqC;AAAA,EAC3G,oBAAA,EAAsB,EAAE,IAAA,EAAM,CAAC,aAAa,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,WAAA,EAAa,2CAAA,EAA4C;AAAA,EAC1H,YAAY,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,MAAM,aAAA,EAAe,gBAAgB,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA,EAAG,aAAa,2CAAA,EAA4C;AAAA,EAC/K,MAAA,EAAQ,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA,EAAG,aAAa,8BAAA;AAC/D;AAEO,SAAS,kBAAA,CACd,QAAA,EACA,SAAA,EACA,OAAA,EACqC;AACrC,EAAA,MAAM,KAAA,GAAQ,iBAAiB,QAAQ,CAAA;AAEvC,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;AAEA,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,OAAO,OAAO,CAAA;AAAA,OACnG;AAAA,IACF;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,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;AAEA,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,IAAI,CAAC,sBAAA,CAAuB,SAAA,EAAW,OAAO,CAAA,EAAG;AAC/C,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,iBAAA,EAAoB,SAAS,CAAA,IAAA,EAAO,OAAO,CAAA,iBAAA;AAAA,KACrD;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AACvB","file":"edgeValidation.js","sourcesContent":["/**\n * Graph Type Registry for Convex\n *\n * This file mirrors the canonical type registry at lib/ontology/types.ts\n * but is compatible with Convex's bundling requirements.\n *\n * IMPORTANT: Keep this file in sync with lib/ontology/types.ts\n * The frontend uses lib/ontology/types.ts, Convex uses this file.\n *\n * @see /docs/architecture/UNIFIED_GRAPH_ARCHITECTURE.md\n */\n\n// =============================================================================\n// EPISTEMIC LAYERS\n// =============================================================================\n\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n// =============================================================================\n// NODE TYPE TO LABEL MAPPING\n// =============================================================================\n\nexport const NODE_TYPE_TO_LABEL: Record<string, string> = {\n  // L4: Audit Targets\n  decision: \"Decision\",\n\n  // L3: Traversal Anchors\n  belief: \"Belief\",\n  question: \"Question\",\n  theme: \"Theme\",\n  deal: \"Deal\",\n  topic: \"Topic\",\n\n  // L2: Compression Boundary\n  claim: \"Claim\",\n  evidence: \"Evidence\",\n  synthesis: \"Synthesis\",\n  answer: \"Answer\",\n\n  // L1: Terminal Leaves\n  atomic_fact: \"AtomicFact\",\n  excerpt: \"Excerpt\",\n  source: \"Source\",\n\n  // Ontological (Neo4j is SOT)\n  company: \"Company\",\n  person: \"Person\",\n  investor: \"Investor\",\n  function: \"Function\",\n  value_chain: \"ValueChain\",\n};\n\n// =============================================================================\n// EDGE TYPE TO NEO4J RELATIONSHIP MAPPING\n// =============================================================================\n\n/**\n * Epistemic Kernel v2: 6 canonical edge types + ontological edges.\n *\n * Weight and metadata carry nuance that previously required 67 separate type strings.\n * See: docs/architecture/epistemic-kernel-v2.md\n */\nexport const EDGE_TYPE_TO_REL: Record<string, string> = {\n  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===\n  supports: \"SUPPORTS\", // L3↔L3: belief bears on belief (weight -1 to +1)\n  informs: \"INFORMS\", // L2→L3: evidence bears on belief\n  depends_on: \"DEPENDS_ON\", // L3→L3, Q→Q: structural gate\n  derived_from: \"DERIVED_FROM\", // Any→Any: provenance chain (fork, synthesis, extraction, answer)\n  contains: \"CONTAINS\", // Any→Any: hierarchy, scoping, membership\n  tests: \"TESTS\", // Q→L3: question interrogates belief\n\n  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===\n  // Kept as separate Neo4j relationship types for backward compat with L4 queries.\n  // New code should use derived_from + metadata.\n  based_on_belief: \"BASED_ON_BELIEF\",\n  based_on_question: \"BASED_ON_QUESTION\",\n  blocked_by_contradiction: \"BLOCKED_BY_CONTRADICTION\",\n  informed_by_theme: \"INFORMED_BY_THEME\",\n\n  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===\n  works_at: \"WORKS_AT\",\n  invested_in: \"INVESTED_IN\",\n  competes_with: \"COMPETES_WITH\",\n  participates_in: \"PARTICIPATES_IN\",\n  founded_by: \"FOUNDED_BY\",\n  evaluates: \"EVALUATES\",\n  performs: \"PERFORMS\",\n  function_in: \"FUNCTION_IN\",\n  impacts: \"IMPACTS\",\n  raised_from: \"RAISED_FROM\",\n  mentioned_in: \"MENTIONED_IN\",\n  perspective_on: \"PERSPECTIVE_ON\",\n  about_entity: \"ABOUT_ENTITY\",\n  entity_referenced_in: \"ENTITY_REFERENCED_IN\",\n};\n\n// =============================================================================\n// HELPER FUNCTIONS\n// =============================================================================\n\n/**\n * Get the epistemic layer for a node type\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  const L4_TYPES = [\"decision\"];\n  const L3_TYPES = [\"belief\", \"question\", \"theme\", \"deal\"];\n  const L2_TYPES = [\"claim\", \"evidence\", \"synthesis\", \"answer\"];\n  const L1_TYPES = [\"atomic_fact\", \"excerpt\", \"source\"];\n  const ONTOLOGICAL_TYPES = [\n    \"company\",\n    \"person\",\n    \"investor\",\n    \"function\",\n    \"value_chain\",\n  ];\n  const ORGANIZATIONAL_TYPES = [\"topic\"];\n\n  if (L4_TYPES.includes(nodeType)) {\n    return \"L4\";\n  }\n  if (L3_TYPES.includes(nodeType)) {\n    return \"L3\";\n  }\n  if (L2_TYPES.includes(nodeType)) {\n    return \"L2\";\n  }\n  if (L1_TYPES.includes(nodeType)) {\n    return \"L1\";\n  }\n  if (ONTOLOGICAL_TYPES.includes(nodeType)) {\n    return \"ontological\";\n  }\n  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {\n    return \"organizational\";\n  }\n\n  // Unknown types default to L2\n  console.warn(`[GraphTypes] Unknown nodeType \"${nodeType}\", defaulting to L2`);\n  return \"L2\";\n}\n\n/**\n * Get the Neo4j label for a node type\n */\nexport function getNeo4jLabel(nodeType: string): string {\n  return (\n    NODE_TYPE_TO_LABEL[nodeType] ||\n    nodeType.charAt(0).toUpperCase() + nodeType.slice(1)\n  );\n}\n\n/**\n * Get the Neo4j relationship type for an edge type\n */\nexport function getNeo4jRelType(edgeType: string): string {\n  return EDGE_TYPE_TO_REL[edgeType] || edgeType.toUpperCase();\n}\n\n/**\n * The 6 canonical epistemic edge types (Kernel v2).\n * Anything not in this set or the ontological/L4 sets is deprecated.\n */\nconst CANONICAL_EPISTEMIC_TYPES = new Set([\n  \"supports\",\n  \"informs\",\n  \"depends_on\",\n  \"derived_from\",\n  \"contains\",\n  \"tests\",\n]);\n\n/**\n * Check if an edge type is deprecated.\n *\n * Kernel v2: only the 6 canonical epistemic types, L4 decision types,\n * and ontological types are active. All legacy types (67 old types) are deprecated.\n */\nexport function isDeprecatedEdgeType(edgeType: string): boolean {\n  // Canonical epistemic types are NOT deprecated\n  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) return false;\n  // Types in the EDGE_TYPE_TO_REL map (ontological + L4) are NOT deprecated\n  if (edgeType in EDGE_TYPE_TO_REL) return false;\n  // Everything else is a legacy type\n  return true;\n}\n","/**\n * edgeValidation module implementation.\n */\n\nimport { type EpistemicLayer, isDeprecatedEdgeType } from \"./graphTypes\";\n\nexport { isDeprecatedEdgeType };\nexport type { EpistemicLayer };\n\nfunction 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;\n    default:\n      return -1;\n  }\n}\n\nfunction isValidLayerConnection(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  if (fromLayer === toLayer) {\n    return true;\n  }\n\n  // Ontological ↔ ontological (entity-entity edges)\n  if (fromLayer === \"ontological\" && toLayer === \"ontological\") {\n    return true;\n  }\n\n  // Ontological ↔ epistemic bridge (OE-B: entity-belief/evidence/source connections)\n  if (\n    fromLayer === \"ontological\" &&\n    (toLayer === \"L3\" || toLayer === \"L2\" || toLayer === \"L1\")\n  ) {\n    return true;\n  }\n  if (\n    (fromLayer === \"L3\" || fromLayer === \"L2\" || fromLayer === \"L1\") &&\n    toLayer === \"ontological\"\n  ) {\n    return true;\n  }\n\n  // Epistemic layer transitions\n  if (fromLayer === \"L2\" && toLayer === \"L1\") {\n    return true;\n  }\n  if (fromLayer === \"L2\" && toLayer === \"L3\") {\n    return true;\n  }\n  if (fromLayer === \"L3\" && toLayer === \"L2\") {\n    return true;\n  }\n  if (fromLayer === \"L3\" && toLayer === \"L4\") {\n    return true;\n  }\n  if (fromLayer === \"L4\" && toLayer === \"L3\") {\n    return true;\n  }\n\n  // Organizational connections\n  if (fromLayer === \"L3\" && toLayer === \"organizational\") {\n    return true;\n  }\n  if (fromLayer === \"organizational\" && toLayer === \"L3\") {\n    return true;\n  }\n\n  const fromDepth = getLayerDepth(fromLayer);\n  const toDepth = getLayerDepth(toLayer);\n  if (Math.abs(fromDepth - toDepth) > 1) {\n    return false;\n  }\n  return true;\n}\n\nexport type TraversalMode =\n  | \"anchor_down\"\n  | \"anchor_up\"\n  | \"same_layer\"\n  | \"decision_trace\";\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  if (options.minLayer !== undefined && targetDepth < options.minLayer) {\n    return false;\n  }\n  if (options.maxLayer !== undefined && targetDepth > options.maxLayer) {\n    return false;\n  }\n\n  switch (options.mode) {\n    case \"anchor_down\":\n      return targetDepth <= currentDepth;\n    case \"anchor_up\":\n      return targetDepth >= currentDepth;\n    case \"same_layer\":\n      return targetDepth === currentDepth;\n    case \"decision_trace\":\n      return currentDepth === 4\n        ? targetDepth === 3\n        : targetDepth === currentDepth;\n    default:\n      return true;\n  }\n}\n\nexport function getDefaultMinLayer(mode: TraversalMode): number {\n  switch (mode) {\n    case \"anchor_down\":\n      return 1;\n    case \"anchor_up\":\n      return 2;\n    case \"same_layer\":\n      return 1;\n    case \"decision_trace\":\n      return 3;\n    default:\n      return 1;\n  }\n}\n\nexport const EDGE_LAYER_RULES: Record<\n  string,\n  { from: EpistemicLayer[]; to: EpistemicLayer[]; description: string }\n> = {\n  // === 6 Canonical Epistemic Types ===\n  supports: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief bears on Belief (weight: +1 supports, -1 contradicts)\",\n  },\n  informs: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence -> Belief (L2 -> L3)\",\n  },\n  depends_on: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief B requires Belief A (structural gate)\",\n  },\n  derived_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"A was produced from B (provenance chain)\",\n  },\n  contains: {\n    from: [\"L3\", \"L4\", \"ontological\"],\n    to: [\"L2\", \"L3\", \"ontological\"],\n    description: \"A scopes/aggregates B (hierarchy)\",\n  },\n  tests: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question -> Belief (L3 -> L3)\",\n  },\n\n  // === Structural / Lifecycle ===\n  supersedes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"NewNode -> OldNode (fork lineage)\",\n  },\n  responds_to: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer -> Question (L2/L3 -> L3)\",\n  },\n  belongs_to: {\n    from: [\"L2\", \"L3\", \"ontological\"],\n    to: [\"L3\"],\n    description: \"Membership (migrating to contains)\",\n  },\n  relates_to_thesis: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief -> Theme (L3 -> L3)\",\n  },\n\n  // === Ontological (entity-entity or entity-epistemic bridge) ===\n  works_at: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Person -> Company\",\n  },\n  invested_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Investor -> Company\",\n  },\n  competes_with: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Company\",\n  },\n  participates_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> ValueChain\",\n  },\n  founded_by: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Person\",\n  },\n  evaluates: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Deal -> Company\",\n  },\n  performs: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Function\",\n  },\n  function_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Function -> ValueChain\",\n  },\n  impacts: {\n    from: [\"ontological\", \"L3\"],\n    to: [\"ontological\"],\n    description: \"Theme/Entity -> ValueChain\",\n  },\n  raised_from: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Investor\",\n  },\n  mentioned_in: {\n    from: [\"ontological\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Entity -> Source/Evidence\",\n  },\n  perspective_on: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Person -> Belief/Theme\",\n  },\n  plays_theme: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Deal -> Theme\",\n  },\n\n  // C2-RR.4 — storage migration alias + the remaining 55 reachable edge types.\n  // Mirrors the kernel rule table\n  // (packages/reasoning-kernel/src/adapters/lib/edgeValidation.ts) so this\n  // graph-primitives write path admits the same public edge vocabulary. See the\n  // kernel file for the per-group rationale.\n  extracted_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description:\n      \"Legacy storage migration alias for derived_from; public writes use derived_from\",\n  },\n  qualifies: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Evidence/Belief qualifies a Belief\" },\n  contradicts: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Evidence/Belief contradicts a Belief\" },\n  reinforces: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Evidence/Belief reinforces a Belief\" },\n  corroborates: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Independent evidence/belief corroborates a Belief\" },\n  strengthened_by: { from: [\"L3\"], to: [\"L2\", \"L3\"], description: \"Belief is strengthened by Evidence/Belief\" },\n  weakened_by: { from: [\"L3\"], to: [\"L2\", \"L3\"], description: \"Belief is weakened by Evidence/Belief\" },\n  validated_by: { from: [\"L3\"], to: [\"L2\", \"L3\"], description: \"Belief is validated by Evidence/Belief\" },\n  falsified_by: { from: [\"L3\"], to: [\"L2\", \"L3\"], description: \"Belief is falsified by Evidence/Belief\" },\n  amplifies: { from: [\"L3\"], to: [\"L3\"], description: \"Belief amplifies another Belief\" },\n  precondition_for: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is a precondition for another Belief\" },\n  prerequisite_for: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is a prerequisite for another Belief\" },\n  required_for: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is required for another Belief\" },\n  in_tension_with: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is in tension with another Belief\" },\n  mutually_exclusive: { from: [\"L3\"], to: [\"L3\"], description: \"Beliefs cannot both hold\" },\n  exclusive_with: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is exclusive with another Belief\" },\n  alternative_to: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is an alternative to another Belief\" },\n  subsumes: { from: [\"L3\"], to: [\"L3\"], description: \"Belief subsumes a narrower Belief\" },\n  extends: { from: [\"L3\"], to: [\"L3\"], description: \"Belief extends another Belief\" },\n  refines: { from: [\"L3\"], to: [\"L3\"], description: \"Belief refines another Belief\" },\n  implements: { from: [\"L3\"], to: [\"L3\"], description: \"Belief implements an abstract Belief\" },\n  violates: { from: [\"L3\"], to: [\"L3\"], description: \"Belief violates a constraint Belief\" },\n  assumes: { from: [\"L3\"], to: [\"L3\"], description: \"Belief assumes another Belief\" },\n  would_predict: { from: [\"L3\"], to: [\"L3\"], description: \"Belief would predict another Belief\" },\n  analogous_to: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is analogous to another Belief\" },\n  independent_of: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is independent of another Belief\" },\n  correlates_with: { from: [\"L3\"], to: [\"L3\"], description: \"Belief correlates with another Belief\" },\n  co_changes_with: { from: [\"L3\"], to: [\"L3\"], description: \"Belief co-changes with another Belief\" },\n  counterfactual_of: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is a counterfactual of another Belief\" },\n  parallel_to: { from: [\"L3\"], to: [\"L3\"], description: \"Belief runs parallel to another Belief\" },\n  cascade_from: { from: [\"L3\"], to: [\"L3\"], description: \"Cascade from an upstream Belief\" },\n  cascade_to: { from: [\"L3\"], to: [\"L3\"], description: \"Cascade to a downstream Belief\" },\n  collapses_if: { from: [\"L3\"], to: [\"L3\"], description: \"Belief collapses if another fails\" },\n  branches_from: { from: [\"L3\"], to: [\"L3\"], description: \"Belief branches from an ancestor Belief\" },\n  same_as: { from: [\"L2\", \"L3\", \"ontological\"], to: [\"L2\", \"L3\", \"ontological\"], description: \"Two nodes are the same entity\" },\n  answers: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Answer/Belief answers a Question\" },\n  partially_answers: { from: [\"L2\", \"L3\"], to: [\"L3\"], description: \"Answer/Belief partially answers a Question\" },\n  explores: { from: [\"L3\"], to: [\"L3\"], description: \"Question explores a Belief/Theme\" },\n  informed_by_theme: { from: [\"L3\"], to: [\"L3\"], description: \"Belief is informed by a Theme\" },\n  same_theme_as: { from: [\"L3\"], to: [\"L3\"], description: \"Two Beliefs share a Theme\" },\n  based_on: { from: [\"L4\"], to: [\"L3\"], description: \"Decision is based on a Belief/Question\" },\n  based_on_belief: { from: [\"L4\"], to: [\"L3\"], description: \"Decision is based on a Belief\" },\n  based_on_question: { from: [\"L4\"], to: [\"L3\"], description: \"Decision is based on a Question\" },\n  blocked_by_contradiction: { from: [\"L4\"], to: [\"L3\"], description: \"Decision is blocked by a Contradiction\" },\n  parent_of: { from: [\"L3\", \"L4\", \"ontological\", \"organizational\"], to: [\"L2\", \"L3\", \"ontological\", \"organizational\"], description: \"A is the parent of B\" },\n  child_of: { from: [\"L2\", \"L3\", \"ontological\", \"organizational\"], to: [\"L3\", \"L4\", \"ontological\", \"organizational\"], description: \"A is the child of B\" },\n  scoped_by: { from: [\"L2\", \"L3\"], to: [\"L3\", \"organizational\"], description: \"Object is scoped by a Topic/Theme\" },\n  cites: { from: [\"L2\", \"L3\"], to: [\"L1\", \"L2\"], description: \"Evidence/Belief cites a Source/Excerpt\" },\n  summarizes: { from: [\"L2\", \"L3\"], to: [\"L1\", \"L2\"], description: \"Synthesis/Evidence summarizes a Source/Evidence\" },\n  same_source_as: { from: [\"L1\", \"L2\"], to: [\"L1\", \"L2\"], description: \"Two nodes derive from the same Source\" },\n  migrating_from: { from: [\"L2\", \"L3\", \"L4\"], to: [\"L1\", \"L2\", \"L3\"], description: \"Migration lineage: from an ancestor\" },\n  migrating_to: { from: [\"L1\", \"L2\", \"L3\"], to: [\"L2\", \"L3\", \"L4\"], description: \"Migration lineage: to a successor\" },\n  about_entity: { from: [\"L2\", \"L3\"], to: [\"ontological\"], description: \"Belief/Evidence is about an Entity\" },\n  entity_referenced_in: { from: [\"ontological\"], to: [\"L1\", \"L2\"], description: \"Entity is referenced in a Source/Evidence\" },\n  related_to: { from: [\"L2\", \"L3\", \"ontological\", \"organizational\"], to: [\"L2\", \"L3\", \"ontological\", \"organizational\"], description: \"Lateral adjacency; no confidence pressure\" },\n  blocks: { from: [\"L3\", \"L4\"], to: [\"L3\", \"L4\"], description: \"A blocks B (structural gate)\" },\n};\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  if (!rules) {\n    console.warn(\n      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`\n    );\n    return { valid: true };\n  }\n\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  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  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  if (!isValidLayerConnection(fromLayer, toLayer)) {\n    return {\n      valid: false,\n      reason: `Layer transition ${fromLayer} -> ${toLayer} is not permitted`,\n    };\n  }\n\n  return { valid: true };\n}\n\n"]}
+{"version":3,"sources":["../src/graphTypes.ts","../src/edgeValidation.ts"],"names":[],"mappings":";AAqEO,IAAM,gBAAA,GAA2C;AAAA;AAAA,EAEtD,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,OAAA,EAAS,SAAA;AAAA;AAAA,EACT,UAAA,EAAY,YAAA;AAAA;AAAA,EACZ,YAAA,EAAc,cAAA;AAAA;AAAA,EACd,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,KAAA,EAAO,OAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKP,eAAA,EAAiB,iBAAA;AAAA,EACjB,iBAAA,EAAmB,mBAAA;AAAA,EACnB,wBAAA,EAA0B,0BAAA;AAAA,EAC1B,iBAAA,EAAmB,mBAAA;AAAA;AAAA,EAGnB,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,aAAA,EAAe,eAAA;AAAA,EACf,eAAA,EAAiB,iBAAA;AAAA,EACjB,UAAA,EAAY,YAAA;AAAA,EACZ,SAAA,EAAW,WAAA;AAAA,EACX,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,OAAA,EAAS,SAAA;AAAA,EACT,WAAA,EAAa,aAAA;AAAA,EACb,YAAA,EAAc,cAAA;AAAA,EACd,cAAA,EAAgB,gBAAA;AAAA,EAChB,YAAA,EAAc,cAAA;AAAA,EACd,oBAAA,EAAsB;AACxB,CAAA;AAoEA,IAAM,yBAAA,uBAAgC,GAAA,CAAI;AAAA,EACxC,UAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF,CAAC,CAAA;AAQM,SAAS,qBAAqB,QAAA,EAA2B;AAE9D,EAAA,IAAI,yBAAA,CAA0B,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,YAAY,gBAAA,EAAkB;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA;AACT;;;ACvLA,IAAM,uBAAA,GAGF;AAAA,EACF,WAAA,sBAAiB,GAAA,CAAI,CAAC,eAAe,IAAA,EAAM,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACtD,oBAAI,IAAI,GAAA,CAAI,CAAC,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACxB,EAAA,sBAAQ,GAAA,CAAI,CAAC,MAAM,IAAA,EAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,EAC7C,EAAA,sBAAQ,GAAA,CAAI,CAAC,MAAM,IAAA,EAAM,IAAA,EAAM,aAAA,EAAe,gBAAgB,CAAC,CAAA;AAAA,EAC/D,oBAAI,IAAI,GAAA,CAAI,CAAC,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACxB,gCAAgB,IAAI,GAAA,CAAI,CAAC,gBAAA,EAAkB,IAAI,CAAC;AAClD,CAAA;AAEA,SAAS,cAAc,KAAA,EAA+B;AACpD,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,IACT;AACE,MAAA,OAAO,EAAA;AAAA;AAEb;AAEA,SAAS,sBAAA,CACP,WACA,OAAA,EACS;AACT,EAAA,IAAI,CAAC,uBAAA,CAAwB,SAAS,CAAA,CAAE,GAAA,CAAI,OAAO,CAAA,EAAG;AACpD,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,SAAA,KAAc,aAAA,IAAiB,OAAA,KAAY,aAAA,EAAe;AAC5D,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,SAAA,KAAc,gBAAA,IAAoB,OAAA,KAAY,gBAAA,EAAkB;AAClE,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAA,GAAY,cAAc,SAAS,CAAA;AACzC,EAAA,MAAM,OAAA,GAAU,cAAc,OAAO,CAAA;AACrC,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,SAAA,GAAY,OAAO,IAAI,CAAA,EAAG;AACrC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAQO,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;AAE7C,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;AAEA,EAAA,QAAQ,QAAQ,IAAA;AAAM,IACpB,KAAK,aAAA;AACH,MAAA,OAAO,WAAA,IAAe,YAAA;AAAA,IACxB,KAAK,WAAA;AACH,MAAA,OAAO,WAAA,IAAe,YAAA;AAAA,IACxB,KAAK,YAAA;AACH,MAAA,OAAO,WAAA,KAAgB,YAAA;AAAA,IACzB,KAAK,gBAAA;AACH,MAAA,OAAO,YAAA,KAAiB,CAAA,GACpB,WAAA,KAAgB,CAAA,GAChB,WAAA,KAAgB,YAAA;AAAA,IACtB;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEO,SAAS,mBAAmB,IAAA,EAA6B;AAC9D,EAAA,QAAQ,IAAA;AAAM,IACZ,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,WAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,YAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,gBAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAEO,IAAM,gBAAA,GAGT;AAAA;AAAA,EAEF,QAAA,EAAU;AAAA,IACR,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,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,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,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAC9B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,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,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,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,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,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,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,SAAA,EAAW;AAAA,IACT,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,aAAA,EAAe,IAAI,CAAA;AAAA,IAC1B,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,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EACE;AAAA,GACJ;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,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,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,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,EACA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;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,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,kBAAA,EAAoB;AAAA,IAClB,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,cAAA,EAAgB;AAAA,IACd,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,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,OAAA,EAAS;AAAA,IACP,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,QAAA,EAAU;AAAA,IACR,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,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;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,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,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,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;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,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;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,aAAA,EAAe;AAAA,IACb,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,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAC9B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,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,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,aAAA,EAAe;AAAA,IACb,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,EACA,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,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC3B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,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,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,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,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,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,MAAA,EAAQ;AAAA,IACN,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA;AAEjB;AAEO,SAAS,kBAAA,CACd,QAAA,EACA,SAAA,EACA,OAAA,EACqC;AACrC,EAAA,MAAM,KAAA,GAAQ,iBAAiB,QAAQ,CAAA;AAEvC,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;AAEA,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,OAAO,OAAO,CAAA;AAAA,OACnG;AAAA,IACF;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,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;AAEA,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,IAAI,CAAC,sBAAA,CAAuB,SAAA,EAAW,OAAO,CAAA,EAAG;AAC/C,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,iBAAA,EAAoB,SAAS,CAAA,IAAA,EAAO,OAAO,CAAA,iBAAA;AAAA,KACrD;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AACvB","file":"edgeValidation.js","sourcesContent":["// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Graph Type Registry for Convex\n *\n * This file mirrors the canonical type registry at lib/ontology/types.ts\n * but is compatible with Convex's bundling requirements.\n *\n * IMPORTANT: Keep this file in sync with lib/ontology/types.ts\n * The frontend uses lib/ontology/types.ts, Convex uses this file.\n *\n * @see /docs/architecture/UNIFIED_GRAPH_ARCHITECTURE.md\n */\n\n// =============================================================================\n// EPISTEMIC LAYERS\n// =============================================================================\n\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n// =============================================================================\n// NODE TYPE TO LABEL MAPPING\n// =============================================================================\n\nexport const NODE_TYPE_TO_LABEL: Record<string, string> = {\n  // L4: Audit Targets\n  decision: \"Decision\",\n\n  // L3: Traversal Anchors\n  belief: \"Belief\",\n  question: \"Question\",\n  theme: \"Theme\",\n  deal: \"Deal\",\n  topic: \"Topic\",\n\n  // L2: Compression Boundary\n  claim: \"Claim\",\n  evidence: \"Evidence\",\n  synthesis: \"Synthesis\",\n  answer: \"Answer\",\n\n  // L1: Terminal Leaves\n  atomic_fact: \"AtomicFact\",\n  excerpt: \"Excerpt\",\n  source: \"Source\",\n\n  // Ontological (Neo4j is SOT)\n  company: \"Company\",\n  person: \"Person\",\n  investor: \"Investor\",\n  function: \"Function\",\n  value_chain: \"ValueChain\",\n};\n\n// =============================================================================\n// EDGE TYPE TO NEO4J RELATIONSHIP MAPPING\n// =============================================================================\n\n/**\n * Epistemic Kernel v2: 6 canonical edge types + ontological edges.\n *\n * Weight and metadata carry nuance that previously required 67 separate type strings.\n * See: docs/architecture/epistemic-kernel-v2.md\n */\nexport const EDGE_TYPE_TO_REL: Record<string, string> = {\n  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===\n  supports: \"SUPPORTS\", // L3↔L3: belief bears on belief (weight -1 to +1)\n  informs: \"INFORMS\", // L2→L3: evidence bears on belief\n  depends_on: \"DEPENDS_ON\", // L3→L3, Q→Q: structural gate\n  derived_from: \"DERIVED_FROM\", // Any→Any: provenance chain (fork, synthesis, extraction, answer)\n  contains: \"CONTAINS\", // Any→Any: hierarchy, scoping, membership\n  tests: \"TESTS\", // Q→L3: question interrogates belief\n\n  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===\n  // Kept as separate Neo4j relationship types for backward compat with L4 queries.\n  // New code should use derived_from + metadata.\n  based_on_belief: \"BASED_ON_BELIEF\",\n  based_on_question: \"BASED_ON_QUESTION\",\n  blocked_by_contradiction: \"BLOCKED_BY_CONTRADICTION\",\n  informed_by_theme: \"INFORMED_BY_THEME\",\n\n  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===\n  works_at: \"WORKS_AT\",\n  invested_in: \"INVESTED_IN\",\n  competes_with: \"COMPETES_WITH\",\n  participates_in: \"PARTICIPATES_IN\",\n  founded_by: \"FOUNDED_BY\",\n  evaluates: \"EVALUATES\",\n  performs: \"PERFORMS\",\n  function_in: \"FUNCTION_IN\",\n  impacts: \"IMPACTS\",\n  raised_from: \"RAISED_FROM\",\n  mentioned_in: \"MENTIONED_IN\",\n  perspective_on: \"PERSPECTIVE_ON\",\n  about_entity: \"ABOUT_ENTITY\",\n  entity_referenced_in: \"ENTITY_REFERENCED_IN\",\n};\n\n// =============================================================================\n// HELPER FUNCTIONS\n// =============================================================================\n\n/**\n * Get the epistemic layer for a node type\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  const L4_TYPES = [\"decision\"];\n  const L3_TYPES = [\"belief\", \"question\", \"theme\", \"deal\"];\n  const L2_TYPES = [\"claim\", \"evidence\", \"synthesis\", \"answer\"];\n  const L1_TYPES = [\"atomic_fact\", \"excerpt\", \"source\"];\n  const ONTOLOGICAL_TYPES = [\n    \"company\",\n    \"person\",\n    \"investor\",\n    \"function\",\n    \"value_chain\",\n  ];\n  const ORGANIZATIONAL_TYPES = [\"topic\"];\n\n  if (L4_TYPES.includes(nodeType)) {\n    return \"L4\";\n  }\n  if (L3_TYPES.includes(nodeType)) {\n    return \"L3\";\n  }\n  if (L2_TYPES.includes(nodeType)) {\n    return \"L2\";\n  }\n  if (L1_TYPES.includes(nodeType)) {\n    return \"L1\";\n  }\n  if (ONTOLOGICAL_TYPES.includes(nodeType)) {\n    return \"ontological\";\n  }\n  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {\n    return \"organizational\";\n  }\n\n  // Unknown types default to L2\n  console.warn(`[GraphTypes] Unknown nodeType \"${nodeType}\", defaulting to L2`);\n  return \"L2\";\n}\n\n/**\n * Get the Neo4j label for a node type\n */\nexport function getNeo4jLabel(nodeType: string): string {\n  return (\n    NODE_TYPE_TO_LABEL[nodeType] ||\n    nodeType.charAt(0).toUpperCase() + nodeType.slice(1)\n  );\n}\n\n/**\n * Get the Neo4j relationship type for an edge type\n */\nexport function getNeo4jRelType(edgeType: string): string {\n  return EDGE_TYPE_TO_REL[edgeType] || edgeType.toUpperCase();\n}\n\n/**\n * The 6 canonical epistemic edge types (Kernel v2).\n * Anything not in this set or the ontological/L4 sets is deprecated.\n */\nconst CANONICAL_EPISTEMIC_TYPES = new Set([\n  \"supports\",\n  \"informs\",\n  \"depends_on\",\n  \"derived_from\",\n  \"contains\",\n  \"tests\",\n]);\n\n/**\n * Check if an edge type is deprecated.\n *\n * Kernel v2: only the 6 canonical epistemic types, L4 decision types,\n * and ontological types are active. All legacy types (67 old types) are deprecated.\n */\nexport function isDeprecatedEdgeType(edgeType: string): boolean {\n  // Canonical epistemic types are NOT deprecated\n  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {\n    return false;\n  }\n  // Types in the EDGE_TYPE_TO_REL map (ontological + L4) are NOT deprecated\n  if (edgeType in EDGE_TYPE_TO_REL) {\n    return false;\n  }\n  // Everything else is a legacy type\n  return true;\n}\n","/**\n * edgeValidation module implementation.\n */\n\n// biome-ignore-all lint/style/useFilenamingConvention: Public package path is part of a stable ABI; renaming requires an export-map migration.\n\nimport type { EpistemicLayer } from \"./graphTypes\";\n\nexport type { EpistemicLayer } from \"./graphTypes\";\n// biome-ignore lint/performance/noBarrelFile: Public compatibility module.\nexport { isDeprecatedEdgeType } from \"./graphTypes\";\n\nconst VALID_LAYER_CONNECTIONS: Record<\n  EpistemicLayer,\n  ReadonlySet<EpistemicLayer>\n> = {\n  ontological: new Set([\"ontological\", \"L1\", \"L2\", \"L3\"]),\n  L1: new Set([\"L1\", \"L2\"]),\n  L2: new Set([\"L1\", \"L2\", \"L3\", \"ontological\"]),\n  L3: new Set([\"L2\", \"L3\", \"L4\", \"ontological\", \"organizational\"]),\n  L4: new Set([\"L3\", \"L4\"]),\n  organizational: new Set([\"organizational\", \"L3\"]),\n};\n\nfunction 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;\n    default:\n      return -1;\n  }\n}\n\nfunction isValidLayerConnection(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  if (!VALID_LAYER_CONNECTIONS[fromLayer].has(toLayer)) {\n    return false;\n  }\n\n  if (fromLayer === \"ontological\" || toLayer === \"ontological\") {\n    return true;\n  }\n\n  if (fromLayer === \"organizational\" || toLayer === \"organizational\") {\n    return true;\n  }\n\n  const fromDepth = getLayerDepth(fromLayer);\n  const toDepth = getLayerDepth(toLayer);\n  if (Math.abs(fromDepth - toDepth) > 1) {\n    return false;\n  }\n  return true;\n}\n\nexport type TraversalMode =\n  | \"anchor_down\"\n  | \"anchor_up\"\n  | \"same_layer\"\n  | \"decision_trace\";\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  if (options.minLayer !== undefined && targetDepth < options.minLayer) {\n    return false;\n  }\n  if (options.maxLayer !== undefined && targetDepth > options.maxLayer) {\n    return false;\n  }\n\n  switch (options.mode) {\n    case \"anchor_down\":\n      return targetDepth <= currentDepth;\n    case \"anchor_up\":\n      return targetDepth >= currentDepth;\n    case \"same_layer\":\n      return targetDepth === currentDepth;\n    case \"decision_trace\":\n      return currentDepth === 4\n        ? targetDepth === 3\n        : targetDepth === currentDepth;\n    default:\n      return true;\n  }\n}\n\nexport function getDefaultMinLayer(mode: TraversalMode): number {\n  switch (mode) {\n    case \"anchor_down\":\n      return 1;\n    case \"anchor_up\":\n      return 2;\n    case \"same_layer\":\n      return 1;\n    case \"decision_trace\":\n      return 3;\n    default:\n      return 1;\n  }\n}\n\nexport const EDGE_LAYER_RULES: Record<\n  string,\n  { from: EpistemicLayer[]; to: EpistemicLayer[]; description: string }\n> = {\n  // === 6 Canonical Epistemic Types ===\n  supports: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief bears on Belief (weight: +1 supports, -1 contradicts)\",\n  },\n  informs: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence -> Belief (L2 -> L3)\",\n  },\n  depends_on: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief B requires Belief A (structural gate)\",\n  },\n  derived_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"A was produced from B (provenance chain)\",\n  },\n  contains: {\n    from: [\"L3\", \"L4\", \"ontological\"],\n    to: [\"L2\", \"L3\", \"ontological\"],\n    description: \"A scopes/aggregates B (hierarchy)\",\n  },\n  tests: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question -> Belief (L3 -> L3)\",\n  },\n\n  // === Structural / Lifecycle ===\n  supersedes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"NewNode -> OldNode (fork lineage)\",\n  },\n  responds_to: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer -> Question (L2/L3 -> L3)\",\n  },\n  belongs_to: {\n    from: [\"L2\", \"L3\", \"ontological\"],\n    to: [\"L3\"],\n    description: \"Membership (migrating to contains)\",\n  },\n  relates_to_thesis: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief -> Theme (L3 -> L3)\",\n  },\n\n  // === Ontological (entity-entity or entity-epistemic bridge) ===\n  works_at: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Person -> Company\",\n  },\n  invested_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Investor -> Company\",\n  },\n  competes_with: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Company\",\n  },\n  participates_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> ValueChain\",\n  },\n  founded_by: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Person\",\n  },\n  evaluates: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Deal -> Company\",\n  },\n  performs: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Function\",\n  },\n  function_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Function -> ValueChain\",\n  },\n  impacts: {\n    from: [\"ontological\", \"L3\"],\n    to: [\"ontological\"],\n    description: \"Theme/Entity -> ValueChain\",\n  },\n  raised_from: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Investor\",\n  },\n  mentioned_in: {\n    from: [\"ontological\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Entity -> Source/Evidence\",\n  },\n  perspective_on: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Person -> Belief/Theme\",\n  },\n  plays_theme: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Deal -> Theme\",\n  },\n\n  // C2-RR.4 — storage migration alias + the remaining 55 reachable edge types.\n  // Mirrors the kernel rule table\n  // (packages/reasoning-kernel/src/adapters/lib/edgeValidation.ts) so this\n  // graph-primitives write path admits the same public edge vocabulary. See the\n  // kernel file for the per-group rationale.\n  extracted_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description:\n      \"Legacy storage migration alias for derived_from; public writes use derived_from\",\n  },\n  qualifies: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief qualifies a Belief\",\n  },\n  contradicts: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief contradicts a Belief\",\n  },\n  reinforces: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief reinforces a Belief\",\n  },\n  corroborates: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Independent evidence/belief corroborates a Belief\",\n  },\n  strengthened_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is strengthened by Evidence/Belief\",\n  },\n  weakened_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is weakened by Evidence/Belief\",\n  },\n  validated_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is validated by Evidence/Belief\",\n  },\n  falsified_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is falsified by Evidence/Belief\",\n  },\n  amplifies: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief amplifies another Belief\",\n  },\n  precondition_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a precondition for another Belief\",\n  },\n  prerequisite_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a prerequisite for another Belief\",\n  },\n  required_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is required for another Belief\",\n  },\n  in_tension_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is in tension with another Belief\",\n  },\n  mutually_exclusive: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Beliefs cannot both hold\",\n  },\n  exclusive_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is exclusive with another Belief\",\n  },\n  alternative_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is an alternative to another Belief\",\n  },\n  subsumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief subsumes a narrower Belief\",\n  },\n  extends: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief extends another Belief\",\n  },\n  refines: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief refines another Belief\",\n  },\n  implements: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief implements an abstract Belief\",\n  },\n  violates: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief violates a constraint Belief\",\n  },\n  assumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief assumes another Belief\",\n  },\n  would_predict: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief would predict another Belief\",\n  },\n  analogous_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is analogous to another Belief\",\n  },\n  independent_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is independent of another Belief\",\n  },\n  correlates_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief correlates with another Belief\",\n  },\n  co_changes_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief co-changes with another Belief\",\n  },\n  counterfactual_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a counterfactual of another Belief\",\n  },\n  parallel_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief runs parallel to another Belief\",\n  },\n  cascade_from: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Cascade from an upstream Belief\",\n  },\n  cascade_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Cascade to a downstream Belief\",\n  },\n  collapses_if: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief collapses if another fails\",\n  },\n  branches_from: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief branches from an ancestor Belief\",\n  },\n  same_as: {\n    from: [\"L2\", \"L3\", \"ontological\"],\n    to: [\"L2\", \"L3\", \"ontological\"],\n    description: \"Two nodes are the same entity\",\n  },\n  answers: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer/Belief answers a Question\",\n  },\n  partially_answers: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer/Belief partially answers a Question\",\n  },\n  explores: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question explores a Belief/Theme\",\n  },\n  informed_by_theme: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is informed by a Theme\",\n  },\n  same_theme_as: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Two Beliefs share a Theme\",\n  },\n  based_on: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Belief/Question\",\n  },\n  based_on_belief: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Belief\",\n  },\n  based_on_question: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Question\",\n  },\n  blocked_by_contradiction: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is blocked by a Contradiction\",\n  },\n  parent_of: {\n    from: [\"L3\", \"L4\", \"ontological\", \"organizational\"],\n    to: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    description: \"A is the parent of B\",\n  },\n  child_of: {\n    from: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    to: [\"L3\", \"L4\", \"ontological\", \"organizational\"],\n    description: \"A is the child of B\",\n  },\n  scoped_by: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\", \"organizational\"],\n    description: \"Object is scoped by a Topic/Theme\",\n  },\n  cites: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Evidence/Belief cites a Source/Excerpt\",\n  },\n  summarizes: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Synthesis/Evidence summarizes a Source/Evidence\",\n  },\n  same_source_as: {\n    from: [\"L1\", \"L2\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Two nodes derive from the same Source\",\n  },\n  migrating_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"Migration lineage: from an ancestor\",\n  },\n  migrating_to: {\n    from: [\"L1\", \"L2\", \"L3\"],\n    to: [\"L2\", \"L3\", \"L4\"],\n    description: \"Migration lineage: to a successor\",\n  },\n  about_entity: {\n    from: [\"L2\", \"L3\"],\n    to: [\"ontological\"],\n    description: \"Belief/Evidence is about an Entity\",\n  },\n  entity_referenced_in: {\n    from: [\"ontological\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Entity is referenced in a Source/Evidence\",\n  },\n  related_to: {\n    from: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    to: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    description: \"Lateral adjacency; no confidence pressure\",\n  },\n  blocks: {\n    from: [\"L3\", \"L4\"],\n    to: [\"L3\", \"L4\"],\n    description: \"A blocks B (structural gate)\",\n  },\n};\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  if (!rules) {\n    console.warn(\n      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`\n    );\n    return { valid: true };\n  }\n\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  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  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  if (!isValidLayerConnection(fromLayer, toLayer)) {\n    return {\n      valid: false,\n      reason: `Layer transition ${fromLayer} -> ${toLayer} is not permitted`,\n    };\n  }\n\n  return { valid: true };\n}\n"]}

package/dist/edges/contains.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const containsPropagationSpec: EdgePropagationSpec;

package/dist/edges/contains.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/contains.ts"],"names":[],"mappings":";AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ","file":"contains.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n\n"]}
+{"version":3,"sources":["../../src/edges/contains.ts"],"names":[],"mappings":";AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ","file":"contains.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n"]}

package/dist/edges/contradicts.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const contradictsPropagationSpec: EdgePropagationSpec;