@lucern/graph-primitives 0.1.0-alpha.2

package/dist/graphTypes.js

@@ -0,0 +1,120 @@
+// src/graphTypes.ts
+var NODE_TYPE_TO_LABEL = {
+  // L4: Audit Targets
+  decision: "Decision",
+  // L3: Traversal Anchors
+  belief: "Belief",
+  question: "Question",
+  theme: "Theme",
+  deal: "Deal",
+  topic: "Topic",
+  // L2: Compression Boundary
+  claim: "Claim",
+  evidence: "Evidence",
+  synthesis: "Synthesis",
+  answer: "Answer",
+  // L1: Terminal Leaves
+  atomic_fact: "AtomicFact",
+  excerpt: "Excerpt",
+  source: "Source",
+  // Ontological (Neo4j is SOT)
+  company: "Company",
+  person: "Person",
+  investor: "Investor",
+  function: "Function",
+  value_chain: "ValueChain"
+};
+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"
+};
+function getNodeLayer(nodeType) {
+  const L4_TYPES = ["decision"];
+  const L3_TYPES = ["belief", "question", "theme", "deal"];
+  const L2_TYPES = ["claim", "evidence", "synthesis", "answer"];
+  const L1_TYPES = ["atomic_fact", "excerpt", "source"];
+  const ONTOLOGICAL_TYPES = [
+    "company",
+    "person",
+    "investor",
+    "function",
+    "value_chain"
+  ];
+  const ORGANIZATIONAL_TYPES = ["topic"];
+  if (L4_TYPES.includes(nodeType)) {
+    return "L4";
+  }
+  if (L3_TYPES.includes(nodeType)) {
+    return "L3";
+  }
+  if (L2_TYPES.includes(nodeType)) {
+    return "L2";
+  }
+  if (L1_TYPES.includes(nodeType)) {
+    return "L1";
+  }
+  if (ONTOLOGICAL_TYPES.includes(nodeType)) {
+    return "ontological";
+  }
+  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {
+    return "organizational";
+  }
+  console.warn(`[GraphTypes] Unknown nodeType "${nodeType}", defaulting to L2`);
+  return "L2";
+}
+function getNeo4jLabel(nodeType) {
+  return NODE_TYPE_TO_LABEL[nodeType] || nodeType.charAt(0).toUpperCase() + nodeType.slice(1);
+}
+function getNeo4jRelType(edgeType) {
+  return EDGE_TYPE_TO_REL[edgeType] || edgeType.toUpperCase();
+}
+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;
+}
+
+export { EDGE_TYPE_TO_REL, NODE_TYPE_TO_LABEL, getNeo4jLabel, getNeo4jRelType, getNodeLayer, isDeprecatedEdgeType };
+//# sourceMappingURL=graphTypes.js.map
+//# sourceMappingURL=graphTypes.js.map

package/dist/graphTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/graphTypes.ts"],"names":[],"mappings":";AA4BO,IAAM,kBAAA,GAA6C;AAAA;AAAA,EAExD,QAAA,EAAU,UAAA;AAAA;AAAA,EAGV,MAAA,EAAQ,QAAA;AAAA,EACR,QAAA,EAAU,UAAA;AAAA,EACV,KAAA,EAAO,OAAA;AAAA,EACP,IAAA,EAAM,MAAA;AAAA,EACN,KAAA,EAAO,OAAA;AAAA;AAAA,EAGP,KAAA,EAAO,OAAA;AAAA,EACP,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,WAAA;AAAA,EACX,MAAA,EAAQ,QAAA;AAAA;AAAA,EAGR,WAAA,EAAa,YAAA;AAAA,EACb,OAAA,EAAS,SAAA;AAAA,EACT,MAAA,EAAQ,QAAA;AAAA;AAAA,EAGR,OAAA,EAAS,SAAA;AAAA,EACT,MAAA,EAAQ,QAAA;AAAA,EACR,QAAA,EAAU,UAAA;AAAA,EACV,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa;AACf;AAYO,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;AASO,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,MAAM,QAAA,GAAW,CAAC,UAAU,CAAA;AAC5B,EAAA,MAAM,QAAA,GAAW,CAAC,QAAA,EAAU,UAAA,EAAY,SAAS,MAAM,CAAA;AACvD,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAS,UAAA,EAAY,aAAa,QAAQ,CAAA;AAC5D,EAAA,MAAM,QAAA,GAAW,CAAC,aAAA,EAAe,SAAA,EAAW,QAAQ,CAAA;AACpD,EAAA,MAAM,iBAAA,GAAoB;AAAA,IACxB,SAAA;AAAA,IACA,QAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,oBAAA,GAAuB,CAAC,OAAO,CAAA;AAErC,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,iBAAA,CAAkB,QAAA,CAAS,QAAQ,CAAA,EAAG;AACxC,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,IAAI,oBAAA,CAAqB,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,gBAAA;AAAA,EACT;AAGA,EAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,+BAAA,EAAkC,QAAQ,CAAA,mBAAA,CAAqB,CAAA;AAC5E,EAAA,OAAO,IAAA;AACT;AAKO,SAAS,cAAc,QAAA,EAA0B;AACtD,EAAA,OACE,kBAAA,CAAmB,QAAQ,CAAA,IAC3B,QAAA,CAAS,MAAA,CAAO,CAAC,CAAA,CAAE,WAAA,EAAY,GAAI,QAAA,CAAS,KAAA,CAAM,CAAC,CAAA;AAEvD;AAKO,SAAS,gBAAgB,QAAA,EAA0B;AACxD,EAAA,OAAO,gBAAA,CAAiB,QAAQ,CAAA,IAAK,QAAA,CAAS,WAAA,EAAY;AAC5D;AAMA,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","file":"graphTypes.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"]}

package/dist/helpers-BYHIk5vU.d.ts

@@ -0,0 +1,27 @@
+import { MutationCtx, Id } from './convex.js';
+import { E as EpistemicLayer, c as getNodeLayer } from './graphTypes-CpgIuCdo.js';
+
+/**
+ * helpers module implementation.
+ */
+
+declare function createEpistemicEdge(ctx: MutationCtx, params: {
+    fromNodeId: Id<"epistemicNodes">;
+    toNodeId: Id<"epistemicNodes">;
+    edgeType: string;
+    weight?: number;
+    confidence?: number;
+    context?: string;
+    projectId?: string;
+    createdBy: string;
+    skipLayerValidation?: boolean;
+}): Promise<string>;
+
+declare const helpers_EpistemicLayer: typeof EpistemicLayer;
+declare const helpers_createEpistemicEdge: typeof createEpistemicEdge;
+declare const helpers_getNodeLayer: typeof getNodeLayer;
+declare namespace helpers {
+  export { helpers_EpistemicLayer as EpistemicLayer, helpers_createEpistemicEdge as createEpistemicEdge, helpers_getNodeLayer as getNodeLayer };
+}
+
+export { createEpistemicEdge as c, helpers as h };

package/dist/helpers.d.ts

@@ -0,0 +1,4 @@
+import './convex.js';
+export { E as EpistemicLayer, c as getNodeLayer } from './graphTypes-CpgIuCdo.js';
+export { c as createEpistemicEdge } from './helpers-BYHIk5vU.js';
+import 'convex/values';

package/dist/helpers.js

@@ -0,0 +1,313 @@
+import { componentsGeneric, anyApi } from 'convex/server';
+
+// src/convex.ts
+componentsGeneric();
+var internal = anyApi;
+
+// src/graphTypes.ts
+function getNodeLayer(nodeType) {
+  const L4_TYPES = ["decision"];
+  const L3_TYPES = ["belief", "question", "theme", "deal"];
+  const L2_TYPES = ["claim", "evidence", "synthesis", "answer"];
+  const L1_TYPES = ["atomic_fact", "excerpt", "source"];
+  const ONTOLOGICAL_TYPES = [
+    "company",
+    "person",
+    "investor",
+    "function",
+    "value_chain"
+  ];
+  const ORGANIZATIONAL_TYPES = ["topic"];
+  if (L4_TYPES.includes(nodeType)) {
+    return "L4";
+  }
+  if (L3_TYPES.includes(nodeType)) {
+    return "L3";
+  }
+  if (L2_TYPES.includes(nodeType)) {
+    return "L2";
+  }
+  if (L1_TYPES.includes(nodeType)) {
+    return "L1";
+  }
+  if (ONTOLOGICAL_TYPES.includes(nodeType)) {
+    return "ontological";
+  }
+  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {
+    return "organizational";
+  }
+  console.warn(`[GraphTypes] Unknown nodeType "${nodeType}", defaulting to L2`);
+  return "L2";
+}
+
+// src/edgeValidation.ts
+function getLayerDepth(layer) {
+  switch (layer) {
+    case "L4":
+      return 4;
+    case "L3":
+      return 3;
+    case "L2":
+      return 2;
+    case "L1":
+      return 1;
+    case "ontological":
+      return 0;
+    default:
+      return -1;
+  }
+}
+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 (fromLayer === "L3" && toLayer === "organizational") {
+    return true;
+  }
+  if (fromLayer === "organizational" && toLayer === "L3") {
+    return true;
+  }
+  const fromDepth = getLayerDepth(fromLayer);
+  const toDepth = getLayerDepth(toLayer);
+  if (Math.abs(fromDepth - toDepth) > 1) {
+    return false;
+  }
+  return true;
+}
+var EDGE_LAYER_RULES = {
+  // === 6 Canonical Epistemic Types ===
+  supports: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief bears on Belief (weight: +1 supports, -1 contradicts)"
+  },
+  informs: {
+    from: ["L2"],
+    to: ["L3"],
+    description: "Evidence -> Belief (L2 -> L3)"
+  },
+  depends_on: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief B requires Belief A (structural gate)"
+  },
+  derived_from: {
+    from: ["L2", "L3", "L4"],
+    to: ["L1", "L2", "L3"],
+    description: "A was produced from B (provenance chain)"
+  },
+  contains: {
+    from: ["L3", "L4", "ontological"],
+    to: ["L2", "L3", "ontological"],
+    description: "A scopes/aggregates B (hierarchy)"
+  },
+  tests: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Question -> Belief (L3 -> L3)"
+  },
+  // === Structural / Lifecycle ===
+  supersedes: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "NewNode -> OldNode (fork lineage)"
+  },
+  responds_to: {
+    from: ["L2", "L3"],
+    to: ["L3"],
+    description: "Answer -> Question (L2/L3 -> L3)"
+  },
+  belongs_to: {
+    from: ["L2", "L3", "ontological"],
+    to: ["L3"],
+    description: "Membership (migrating to contains)"
+  },
+  relates_to_thesis: {
+    from: ["L3"],
+    to: ["L3"],
+    description: "Belief -> Theme (L3 -> L3)"
+  },
+  // === Ontological (entity-entity or entity-epistemic bridge) ===
+  works_at: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Person -> Company"
+  },
+  invested_in: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Investor -> Company"
+  },
+  competes_with: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Company -> Company"
+  },
+  participates_in: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Company -> ValueChain"
+  },
+  founded_by: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Company -> Person"
+  },
+  evaluates: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Deal -> Company"
+  },
+  performs: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Company -> Function"
+  },
+  function_in: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Function -> ValueChain"
+  },
+  impacts: {
+    from: ["ontological", "L3"],
+    to: ["ontological"],
+    description: "Theme/Entity -> ValueChain"
+  },
+  raised_from: {
+    from: ["ontological"],
+    to: ["ontological"],
+    description: "Company -> Investor"
+  },
+  mentioned_in: {
+    from: ["ontological"],
+    to: ["L1", "L2"],
+    description: "Entity -> Source/Evidence"
+  },
+  perspective_on: {
+    from: ["ontological"],
+    to: ["L3"],
+    description: "Person -> Belief/Theme"
+  },
+  plays_theme: {
+    from: ["ontological"],
+    to: ["L3"],
+    description: "Deal -> Theme"
+  }
+};
+function validateEdgeLayers(edgeType, fromLayer, toLayer) {
+  const rules = EDGE_LAYER_RULES[edgeType];
+  if (!rules) {
+    console.warn(
+      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`
+    );
+    return { valid: true };
+  }
+  if (edgeType === "supersedes") {
+    if (fromLayer !== toLayer) {
+      return {
+        valid: false,
+        reason: `${edgeType} edges must be between nodes of the same layer. Got ${fromLayer} -> ${toLayer}`
+      };
+    }
+    return { valid: true };
+  }
+  if (!rules.from.includes(fromLayer)) {
+    return {
+      valid: false,
+      reason: `Edge type '${edgeType}' does not allow source layer ${fromLayer}. Allowed: ${rules.from.join(", ")}`
+    };
+  }
+  if (!rules.to.includes(toLayer)) {
+    return {
+      valid: false,
+      reason: `Edge type '${edgeType}' does not allow target layer ${toLayer}. Allowed: ${rules.to.join(", ")}`
+    };
+  }
+  if (!isValidLayerConnection(fromLayer, toLayer)) {
+    return {
+      valid: false,
+      reason: `Layer transition ${fromLayer} -> ${toLayer} is not permitted`
+    };
+  }
+  return { valid: true };
+}
+
+// src/globalId.ts
+function generateGlobalId() {
+  const bytes = new Uint8Array(16);
+  crypto.getRandomValues(bytes);
+  bytes[6] = bytes[6] & 15 | 64;
+  bytes[8] = bytes[8] & 63 | 128;
+  const hex = Array.from(bytes, (b) => b.toString(16).padStart(2, "0")).join(
+    ""
+  );
+  return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;
+}
+
+// src/helpers.ts
+async function createEpistemicEdge(ctx, params) {
+  const globalId = generateGlobalId();
+  const fromNode = await ctx.db.get(params.fromNodeId);
+  const toNode = await ctx.db.get(params.toNodeId);
+  if (!fromNode || !toNode) {
+    throw new Error("One or both nodes not found");
+  }
+  const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);
+  const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);
+  if (!params.skipLayerValidation) {
+    const validation = validateEdgeLayers(
+      params.edgeType,
+      fromLayer,
+      toLayer
+    );
+    if (!validation.valid) {
+      throw new Error(
+        `[EdgeValidation] Invalid edge: ${validation.reason}. Attempted: ${params.edgeType} from ${fromNode.nodeType}(${fromLayer}) \u2192 ${toNode.nodeType}(${toLayer})`
+      );
+    }
+  }
+  await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
+    globalId,
+    fromGlobalId: fromNode.globalId,
+    toGlobalId: toNode.globalId,
+    edgeType: params.edgeType,
+    weight: params.weight,
+    confidence: params.confidence,
+    context: params.context,
+    createdBy: params.createdBy,
+    topicId: params.projectId ? String(params.projectId) : void 0,
+    fromNodeType: fromNode.nodeType,
+    toNodeType: toNode.nodeType,
+    fromLayer,
+    toLayer
+  });
+  return globalId;
+}
+
+export { createEpistemicEdge, getNodeLayer };
+//# sourceMappingURL=helpers.js.map
+//# sourceMappingURL=helpers.js.map

package/dist/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/convex.ts","../src/graphTypes.ts","../src/edgeValidation.ts","../src/globalId.ts","../src/helpers.ts"],"names":[],"mappings":";;;AAc0B,iBAAA;AACnB,IAAM,QAAA,GAAW,MAAA;;;AC8FjB,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,MAAM,QAAA,GAAW,CAAC,UAAU,CAAA;AAC5B,EAAA,MAAM,QAAA,GAAW,CAAC,QAAA,EAAU,UAAA,EAAY,SAAS,MAAM,CAAA;AACvD,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAS,UAAA,EAAY,aAAa,QAAQ,CAAA;AAC5D,EAAA,MAAM,QAAA,GAAW,CAAC,aAAA,EAAe,SAAA,EAAW,QAAQ,CAAA;AACpD,EAAA,MAAM,iBAAA,GAAoB;AAAA,IACxB,SAAA;AAAA,IACA,QAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,oBAAA,GAAuB,CAAC,OAAO,CAAA;AAErC,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,iBAAA,CAAkB,QAAA,CAAS,QAAQ,CAAA,EAAG;AACxC,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,IAAI,oBAAA,CAAqB,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,gBAAA;AAAA,EACT;AAGA,EAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,+BAAA,EAAkC,QAAQ,CAAA,mBAAA,CAAqB,CAAA;AAC5E,EAAA,OAAO,IAAA;AACT;;;ACxIA,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;AA0DO,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;AAEjB,CAAA;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;;;AC7SO,SAAS,gBAAA,GAA2B;AACzC,EAAA,MAAM,KAAA,GAAQ,IAAI,UAAA,CAAW,EAAE,CAAA;AAC/B,EAAA,MAAA,CAAO,gBAAgB,KAAK,CAAA;AAE5B,EAAA,KAAA,CAAM,CAAC,CAAA,GAAK,KAAA,CAAM,CAAC,IAAI,EAAA,GAAQ,EAAA;AAC/B,EAAA,KAAA,CAAM,CAAC,CAAA,GAAK,KAAA,CAAM,CAAC,IAAI,EAAA,GAAQ,GAAA;AAC/B,EAAA,MAAM,GAAA,GAAM,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,CAAC,CAAA,KAAM,CAAA,CAAE,QAAA,CAAS,EAAE,CAAA,CAAE,QAAA,CAAS,CAAA,EAAG,GAAG,CAAC,CAAA,CAAE,IAAA;AAAA,IACpE;AAAA,GACF;AACA,EAAA,OAAO,CAAA,EAAG,GAAA,CAAI,KAAA,CAAM,CAAA,EAAG,CAAC,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAA,EAAI,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAA,EAAI,EAAE,CAAC,CAAA,CAAA,EAAI,GAAA,CAAI,KAAA,CAAM,EAAE,CAAC,CAAA,CAAA;AAC1G;;;ACRA,eAAsB,mBAAA,CACpB,KACA,MAAA,EAWiB;AACjB,EAAA,MAAM,WAAW,gBAAA,EAAiB;AAElC,EAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,OAAO,UAAU,CAAA;AACnD,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,OAAO,QAAQ,CAAA;AAE/C,EAAA,IAAI,CAAC,QAAA,IAAY,CAAC,MAAA,EAAQ;AACxB,IAAA,MAAM,IAAI,MAAM,6BAA6B,CAAA;AAAA,EAC/C;AAEA,EAAA,MAAM,SAAA,GAAY,QAAA,CAAS,cAAA,IAAkB,YAAA,CAAa,SAAS,QAAQ,CAAA;AAC3E,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,cAAA,IAAkB,YAAA,CAAa,OAAO,QAAQ,CAAA;AAErE,EAAA,IAAI,CAAC,OAAO,mBAAA,EAAqB;AAC/B,IAAA,MAAM,UAAA,GAAa,kBAAA;AAAA,MACjB,MAAA,CAAO,QAAA;AAAA,MACP,SAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,IAAI,CAAC,WAAW,KAAA,EAAO;AACrB,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,+BAAA,EAAkC,UAAA,CAAW,MAAM,CAAA,aAAA,EACnC,OAAO,QAAQ,CAAA,MAAA,EAAS,QAAA,CAAS,QAAQ,IAAI,SAAS,CAAA,SAAA,EAAO,MAAA,CAAO,QAAQ,IAAI,OAAO,CAAA,CAAA;AAAA,OACzG;AAAA,IACF;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,IAChE,QAAA;AAAA,IACA,cAAc,QAAA,CAAS,QAAA;AAAA,IACvB,YAAY,MAAA,CAAO,QAAA;AAAA,IACnB,UAAU,MAAA,CAAO,QAAA;AAAA,IACjB,QAAQ,MAAA,CAAO,MAAA;AAAA,IACf,YAAY,MAAA,CAAO,UAAA;AAAA,IACnB,SAAS,MAAA,CAAO,OAAA;AAAA,IAChB,WAAW,MAAA,CAAO,SAAA;AAAA,IAClB,SAAS,MAAA,CAAO,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,SAAS,CAAA,GAAI,MAAA;AAAA,IACvD,cAAc,QAAA,CAAS,QAAA;AAAA,IACvB,YAAY,MAAA,CAAO,QAAA;AAAA,IACnB,SAAA;AAAA,IACA;AAAA,GACD,CAAA;AAED,EAAA,OAAO,QAAA;AACT","file":"helpers.js","sourcesContent":["import {\n  actionGeneric,\n  anyApi,\n  componentsGeneric,\n  httpActionGeneric,\n  internalActionGeneric,\n  internalMutationGeneric,\n  internalQueryGeneric,\n  mutationGeneric,\n  queryGeneric,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\n\nexport const api = anyApi as any;\nexport const components = componentsGeneric() as any;\nexport const internal = anyApi as any;\n\nexport type TableNames = string;\nexport type Id<TableName extends TableNames = string> = GenericId<TableName>;\nexport type Doc<TableName extends TableNames = string> = any;\nexport type DataModel = any;\nexport type ActionCtx = any;\nexport type DatabaseReader = any;\nexport type DatabaseWriter = any;\nexport type MutationCtx = any;\nexport type QueryCtx = any;\n\nexport const action = actionGeneric as any;\nexport const httpAction = httpActionGeneric as any;\nexport const internalAction = internalActionGeneric as any;\nexport const internalMutation = internalMutationGeneric as any;\nexport const internalQuery = internalQueryGeneric as any;\nexport const mutation = mutationGeneric as any;\nexport const query = queryGeneric as any;\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)) 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\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","/**\n * Shared UUID v4 generator for global IDs.\n *\n * Uses crypto.getRandomValues() for collision-safe generation.\n * Replaces the Math.random()-based UUID pattern that was duplicated\n * across 7+ files.\n *\n * @module convex/lib/globalId\n */\n\n/**\n * Generate a UUID v4 global ID using crypto-safe random bytes.\n */\nexport function generateGlobalId(): string {\n  const bytes = new Uint8Array(16);\n  crypto.getRandomValues(bytes);\n  // Set version (4) and variant (RFC 4122)\n  bytes[6] = (bytes[6] & 0x0f) | 0x40;\n  bytes[8] = (bytes[8] & 0x3f) | 0x80;\n  const hex = Array.from(bytes, (b) => b.toString(16).padStart(2, \"0\")).join(\n    \"\"\n  );\n  return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;\n}\n","/**\n * helpers module implementation.\n */\n\nimport { type Id, internal, type MutationCtx } from \"./convex\";\nimport {\n  type EpistemicLayer,\n  validateEdgeLayers,\n} from \"./edgeValidation\";\nimport { generateGlobalId } from \"./globalId\";\nimport { getNodeLayer } from \"./graphTypes\";\n\nexport { getNodeLayer };\nexport type { EpistemicLayer };\n\nexport async function createEpistemicEdge(\n  ctx: MutationCtx,\n  params: {\n    fromNodeId: Id<\"epistemicNodes\">;\n    toNodeId: Id<\"epistemicNodes\">;\n    edgeType: string;\n    weight?: number;\n    confidence?: number;\n    context?: string;\n    projectId?: string;\n    createdBy: string;\n    skipLayerValidation?: boolean;\n  }\n): Promise<string> {\n  const globalId = generateGlobalId();\n\n  const fromNode = await ctx.db.get(params.fromNodeId);\n  const toNode = await ctx.db.get(params.toNodeId);\n\n  if (!fromNode || !toNode) {\n    throw new Error(\"One or both nodes not found\");\n  }\n\n  const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);\n  const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);\n\n  if (!params.skipLayerValidation) {\n    const validation = validateEdgeLayers(\n      params.edgeType,\n      fromLayer as EpistemicLayer,\n      toLayer as EpistemicLayer\n    );\n    if (!validation.valid) {\n      throw new Error(\n        `[EdgeValidation] Invalid edge: ${validation.reason}. ` +\n          `Attempted: ${params.edgeType} from ${fromNode.nodeType}(${fromLayer}) → ${toNode.nodeType}(${toLayer})`\n      );\n    }\n  }\n\n  await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n    globalId,\n    fromGlobalId: fromNode.globalId,\n    toGlobalId: toNode.globalId,\n    edgeType: params.edgeType as any,\n    weight: params.weight,\n    confidence: params.confidence,\n    context: params.context,\n    createdBy: params.createdBy,\n    topicId: params.projectId ? String(params.projectId) : undefined,\n    fromNodeType: fromNode.nodeType,\n    toNodeType: toNode.nodeType,\n    fromLayer,\n    toLayer,\n  });\n\n  return globalId;\n}\n"]}

package/dist/index-Dct1T70K.d.ts

@@ -0,0 +1,25 @@
+import { EdgePropagationSpec, PropagationSpecDirection, PropagationTraversalDirection, PropagationEdgeRecord, PropagationEdgeType, PropagationTransitivity, canContinueTransitively, canTraverseHop, isPropagationTraversalDirection } from './edges/propagationTypes.js';
+
+declare const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[];
+declare function getEdgePropagationSpec(edgeType: string): EdgePropagationSpec | undefined;
+declare function getEdgePropagationSpecs(): readonly EdgePropagationSpec[];
+declare function getTraversalDirections(direction: PropagationSpecDirection): readonly PropagationTraversalDirection[];
+
+declare const index_EDGE_PROPAGATION_SPECS: typeof EDGE_PROPAGATION_SPECS;
+declare const index_EdgePropagationSpec: typeof EdgePropagationSpec;
+declare const index_PropagationEdgeRecord: typeof PropagationEdgeRecord;
+declare const index_PropagationEdgeType: typeof PropagationEdgeType;
+declare const index_PropagationSpecDirection: typeof PropagationSpecDirection;
+declare const index_PropagationTransitivity: typeof PropagationTransitivity;
+declare const index_PropagationTraversalDirection: typeof PropagationTraversalDirection;
+declare const index_canContinueTransitively: typeof canContinueTransitively;
+declare const index_canTraverseHop: typeof canTraverseHop;
+declare const index_getEdgePropagationSpec: typeof getEdgePropagationSpec;
+declare const index_getEdgePropagationSpecs: typeof getEdgePropagationSpecs;
+declare const index_getTraversalDirections: typeof getTraversalDirections;
+declare const index_isPropagationTraversalDirection: typeof isPropagationTraversalDirection;
+declare namespace index {
+  export { index_EDGE_PROPAGATION_SPECS as EDGE_PROPAGATION_SPECS, index_EdgePropagationSpec as EdgePropagationSpec, index_PropagationEdgeRecord as PropagationEdgeRecord, index_PropagationEdgeType as PropagationEdgeType, index_PropagationSpecDirection as PropagationSpecDirection, index_PropagationTransitivity as PropagationTransitivity, index_PropagationTraversalDirection as PropagationTraversalDirection, index_canContinueTransitively as canContinueTransitively, index_canTraverseHop as canTraverseHop, index_getEdgePropagationSpec as getEdgePropagationSpec, index_getEdgePropagationSpecs as getEdgePropagationSpecs, index_getTraversalDirections as getTraversalDirections, index_isPropagationTraversalDirection as isPropagationTraversalDirection };
+}
+
+export { EDGE_PROPAGATION_SPECS as E, getEdgePropagationSpecs as a, getTraversalDirections as b, getEdgePropagationSpec as g, index as i };

package/dist/index-Dq-7R-gi.d.ts

@@ -0,0 +1,31 @@
+import { EpistemicEvaluator } from './epistemicContracts.js';
+import { EngineeringEpistemicEvaluator, testRunnerEvaluator } from './evaluators/testRunnerEvaluator.js';
+import { lintCheckerEvaluator } from './evaluators/lintCheckerEvaluator.js';
+import { sentryCheckerEvaluator } from './evaluators/sentryCheckerEvaluator.js';
+import { tscCheckerEvaluator } from './evaluators/tscCheckerEvaluator.js';
+
+declare const ENGINEERING_EPISTEMIC_EVALUATORS: EngineeringEpistemicEvaluator[];
+declare const ENGINEERING_EVALUATOR_NAMES: Set<string>;
+declare function getEngineeringEpistemicEvaluator(name: string): EngineeringEpistemicEvaluator | undefined;
+declare function registerAllEngineeringEvaluators(registerEvaluator: (evaluator: EpistemicEvaluator) => void): void;
+
+declare const RESEARCH_EVALUATOR_NAMES: readonly ["market_index_comparator", "metric_checker", "reference_check_counter", "temporal_deadline"];
+type ResearchEvaluatorName = (typeof RESEARCH_EVALUATOR_NAMES)[number];
+declare function registerAllResearchEvaluators(): ResearchEvaluatorName[];
+
+declare const index_ENGINEERING_EPISTEMIC_EVALUATORS: typeof ENGINEERING_EPISTEMIC_EVALUATORS;
+declare const index_ENGINEERING_EVALUATOR_NAMES: typeof ENGINEERING_EVALUATOR_NAMES;
+declare const index_RESEARCH_EVALUATOR_NAMES: typeof RESEARCH_EVALUATOR_NAMES;
+type index_ResearchEvaluatorName = ResearchEvaluatorName;
+declare const index_getEngineeringEpistemicEvaluator: typeof getEngineeringEpistemicEvaluator;
+declare const index_lintCheckerEvaluator: typeof lintCheckerEvaluator;
+declare const index_registerAllEngineeringEvaluators: typeof registerAllEngineeringEvaluators;
+declare const index_registerAllResearchEvaluators: typeof registerAllResearchEvaluators;
+declare const index_sentryCheckerEvaluator: typeof sentryCheckerEvaluator;
+declare const index_testRunnerEvaluator: typeof testRunnerEvaluator;
+declare const index_tscCheckerEvaluator: typeof tscCheckerEvaluator;
+declare namespace index {
+  export { index_ENGINEERING_EPISTEMIC_EVALUATORS as ENGINEERING_EPISTEMIC_EVALUATORS, index_ENGINEERING_EVALUATOR_NAMES as ENGINEERING_EVALUATOR_NAMES, index_RESEARCH_EVALUATOR_NAMES as RESEARCH_EVALUATOR_NAMES, type index_ResearchEvaluatorName as ResearchEvaluatorName, index_getEngineeringEpistemicEvaluator as getEngineeringEpistemicEvaluator, index_lintCheckerEvaluator as lintCheckerEvaluator, index_registerAllEngineeringEvaluators as registerAllEngineeringEvaluators, index_registerAllResearchEvaluators as registerAllResearchEvaluators, index_sentryCheckerEvaluator as sentryCheckerEvaluator, index_testRunnerEvaluator as testRunnerEvaluator, index_tscCheckerEvaluator as tscCheckerEvaluator };
+}
+
+export { ENGINEERING_EPISTEMIC_EVALUATORS as E, RESEARCH_EVALUATOR_NAMES as R, ENGINEERING_EVALUATOR_NAMES as a, type ResearchEvaluatorName as b, registerAllResearchEvaluators as c, getEngineeringEpistemicEvaluator as g, index as i, registerAllEngineeringEvaluators as r };

package/dist/index.d.ts

@@ -0,0 +1,45 @@
+export { b as beliefDecay } from './beliefDecay-Q_26RTc-.js';
+export { b as beliefEvidenceLinks } from './beliefEvidenceLinks-42FlR48t.js';
+export { b as beliefLifecycle } from './beliefLifecycle-C-AehZgF.js';
+export { c as contradictions } from './contradictions-Hdwl7zid.js';
+export { i as edges } from './index-Dct1T70K.js';
+export { e as edgeValidation } from './edgeValidation-CeI0wc0r.js';
+export { e as entityBridge } from './entityBridge-DMaKooYn.js';
+export { e as entityLifecycle } from './entityLifecycle-BkhRJ-XI.js';
+export { e as entityValidation } from './entityValidation-KLZ_Xl2D.js';
+export { i as evaluators } from './index-Dq-7R-gi.js';
+export { e as epistemicAnswers } from './epistemicAnswers-DSP1slZ9.js';
+export { e as epistemicBeliefs } from './epistemicBeliefs-DtFVTp-k.js';
+export { e as epistemicEdges } from './epistemicEdges-DcA8ErUG.js';
+export { e as epistemicEvidence } from './epistemicEvidence-Bo638XDP.js';
+export { e as epistemicHelpers } from './epistemicHelpers-Bd9xbaib.js';
+export { e as epistemicLinking } from './epistemicLinking-CyeLOIzN.js';
+export { e as epistemicNodes } from './epistemicNodes-BpD6Koud.js';
+export { e as epistemicQuestions } from './epistemicQuestions-CmEeY6zQ.js';
+export { e as epistemicSources } from './epistemicSources-ZazxHOK1.js';
+export { g as globalId } from './globalId-DKh9d_uD.js';
+export { g as graphTypes } from './graphTypes-CpgIuCdo.js';
+export { h as helpers } from './helpers-BYHIk5vU.js';
+export { l as logicalRoleInference } from './logicalRoleInference-CJxqWi3u.js';
+export { o as ontologyApproval } from './ontologyApproval-Ba0Jjk1k.js';
+export { o as ontologyMatching } from './ontology-matching-Buhu23ss.js';
+export { o as ontologyRegistry } from './ontologyRegistry-B67rPJ16.js';
+export { p as projectionReconciliation } from './projectionReconciliation-CxrXYGaB.js';
+export { p as projectionStaleness } from './projectionStaleness-CAdpIsaW.js';
+export { q as questionEvidenceLinks } from './questionEvidenceLinks-BdQD0TkM.js';
+export { r as resolvers } from './resolvers-Br1a6eLV.js';
+export { r as resolverTypes } from './resolverTypes-CC8Ea2E2.js';
+export { t as textMatching } from './text-matching-CMn2WnVD.js';
+export { t as topicScope } from './topicScope-By_zp4tt.js';
+import '@lucern/confidence';
+import './edges/propagationTypes.js';
+import './convex.js';
+import 'convex/values';
+import './epistemicContracts.js';
+import './evaluators/testRunnerEvaluator.js';
+import './evaluators/lintCheckerEvaluator.js';
+import './evaluators/sentryCheckerEvaluator.js';
+import './evaluators/tscCheckerEvaluator.js';
+import '@lucern/contracts/v1/ontologies/v1';
+import './topicProjectOverlay.js';
+import '@lucern/contracts/text-matching.contract';