@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/epistemicEdges.mutations.js

@@ -1,9 +1,592 @@
-import { v } from 'convex/values';
-import { requireProjectAccess } from '@lucern/access-control/access';
+import { requireScopeWriteAccess } from '@lucern/access-control/access';
 import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
-import { componentsGeneric, anyApi, mutationGeneric } from 'convex/server';
+import { v } from 'convex/values';
+import { unsafeConvexAnyApi } from '@lucern/contracts/convex/unsafeAnyApi';
+import { componentsGeneric, mutationGeneric } from 'convex/server';
 
 // src/epistemicEdges.mutations.ts
+var unsafeApi = unsafeConvexAnyApi(
+  "graph-primitives top-level module bundle lacks a committed Convex _generated/api surface"
+);
+var api = unsafeApi;
+componentsGeneric();
+var internal = unsafeApi;
+var mutation = mutationGeneric;
+
+// src/graphTypes.ts
+var EDGE_TYPE_TO_REL = {
+  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===
+  supports: "SUPPORTS",
+  // L3↔L3: belief bears on belief (weight -1 to +1)
+  informs: "INFORMS",
+  // L2→L3: evidence bears on belief
+  depends_on: "DEPENDS_ON",
+  // L3→L3, Q→Q: structural gate
+  derived_from: "DERIVED_FROM",
+  // Any→Any: provenance chain (fork, synthesis, extraction, answer)
+  contains: "CONTAINS",
+  // Any→Any: hierarchy, scoping, membership
+  tests: "TESTS",
+  // Q→L3: question interrogates belief
+  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===
+  // Kept as separate Neo4j relationship types for backward compat with L4 queries.
+  // New code should use derived_from + metadata.
+  based_on_belief: "BASED_ON_BELIEF",
+  based_on_question: "BASED_ON_QUESTION",
+  blocked_by_contradiction: "BLOCKED_BY_CONTRADICTION",
+  informed_by_theme: "INFORMED_BY_THEME",
+  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===
+  works_at: "WORKS_AT",
+  invested_in: "INVESTED_IN",
+  competes_with: "COMPETES_WITH",
+  participates_in: "PARTICIPATES_IN",
+  founded_by: "FOUNDED_BY",
+  evaluates: "EVALUATES",
+  performs: "PERFORMS",
+  function_in: "FUNCTION_IN",
+  impacts: "IMPACTS",
+  raised_from: "RAISED_FROM",
+  mentioned_in: "MENTIONED_IN",
+  perspective_on: "PERSPECTIVE_ON",
+  about_entity: "ABOUT_ENTITY",
+  entity_referenced_in: "ENTITY_REFERENCED_IN"
+};
+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";
+}
+var CANONICAL_EPISTEMIC_TYPES = /* @__PURE__ */ new Set([
+  "supports",
+  "informs",
+  "depends_on",
+  "derived_from",
+  "contains",
+  "tests"
+]);
+function isDeprecatedEdgeType(edgeType) {
+  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {
+    return false;
+  }
+  if (edgeType in EDGE_TYPE_TO_REL) {
+    return false;
+  }
+  return true;
+}
+
+// src/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":
+      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 (!VALID_LAYER_CONNECTIONS[fromLayer].has(toLayer)) {
+    return false;
+  }
+  if (fromLayer === "ontological" || toLayer === "ontological") {
+    return true;
+  }
+  if (fromLayer === "organizational" || toLayer === "organizational") {
+    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"
+  },
+  // C2-RR.4 — storage migration alias + the remaining 55 reachable edge types.
+  // Mirrors the kernel rule table
+  // (packages/reasoning-kernel/src/adapters/lib/edgeValidation.ts) so this
+  // graph-primitives write path admits the same public edge vocabulary. See the
+  // kernel file for the per-group rationale.
+  extracted_from: {
+    from: ["L2", "L3", "L4"],
+    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)"
+  }
+};
+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 };
+}
 v.union(
   v.literal("L4"),
   v.literal("L3"),
@@ -107,96 +690,6 @@ function buildEdgeNotFoundResult() {
   return result;
 }
 
-// src/graphTypes.ts
-var EDGE_TYPE_TO_REL = {
-  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===
-  supports: "SUPPORTS",
-  // L3↔L3: belief bears on belief (weight -1 to +1)
-  informs: "INFORMS",
-  // L2→L3: evidence bears on belief
-  depends_on: "DEPENDS_ON",
-  // L3→L3, Q→Q: structural gate
-  derived_from: "DERIVED_FROM",
-  // Any→Any: provenance chain (fork, synthesis, extraction, answer)
-  contains: "CONTAINS",
-  // Any→Any: hierarchy, scoping, membership
-  tests: "TESTS",
-  // Q→L3: question interrogates belief
-  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===
-  // Kept as separate Neo4j relationship types for backward compat with L4 queries.
-  // New code should use derived_from + metadata.
-  based_on_belief: "BASED_ON_BELIEF",
-  based_on_question: "BASED_ON_QUESTION",
-  blocked_by_contradiction: "BLOCKED_BY_CONTRADICTION",
-  informed_by_theme: "INFORMED_BY_THEME",
-  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===
-  works_at: "WORKS_AT",
-  invested_in: "INVESTED_IN",
-  competes_with: "COMPETES_WITH",
-  participates_in: "PARTICIPATES_IN",
-  founded_by: "FOUNDED_BY",
-  evaluates: "EVALUATES",
-  performs: "PERFORMS",
-  function_in: "FUNCTION_IN",
-  impacts: "IMPACTS",
-  raised_from: "RAISED_FROM",
-  mentioned_in: "MENTIONED_IN",
-  perspective_on: "PERSPECTIVE_ON",
-  about_entity: "ABOUT_ENTITY",
-  entity_referenced_in: "ENTITY_REFERENCED_IN"
-};
-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";
-}
-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;
-}
-var api = anyApi;
-componentsGeneric();
-var internal = anyApi;
-var mutation = mutationGeneric;
-
 // src/debug.ts
 function isGraphPrimitiveDebugEnabled() {
   const env = globalThis.process?.env;
@@ -227,6 +720,10 @@ function readStringArray(value) {
 function readMetadata(topic) {
   return topic.metadata && typeof topic.metadata === "object" ? topic.metadata : {};
 }
+function omitMetadataKey(metadata, key) {
+  const { [key]: _omitted, ...rest } = metadata;
+  return rest;
+}
 function readLegacyProjectId(value) {
   if (!value) {
     return;
@@ -307,9 +804,12 @@ async function resolveTopicDoc(ctx, scopeId) {
     );
   }
   try {
-    const topic = await ctx.runQuery(api.topics.getByLegacyScopeId, {
-      projectId: String(scopeId)
-    });
+    const topic = await ctx.runQuery(
+      api.topics.getByLegacyScopeId,
+      {
+        projectId: String(scopeId)
+      }
+    );
     if (topic?.name !== void 0 && topic?.type !== void 0) {
       return topic;
     }
@@ -329,8 +829,18 @@ function materializeTopicProjectOverlay(topic, idMode = "legacy") {
   const outwardId = idMode === "topic" ? topicId : storageProjectId;
   const visibility = coerceVisibility(topic.visibility) || coerceVisibility(metadata.visibility) || "private";
   const status = coerceStatus(topic.status) || coerceStatus(metadata.status) || "active";
-  const createdAt = typeof topic.createdAt === "number" ? topic.createdAt : typeof topic._creationTime === "number" ? topic._creationTime : 0;
-  const updatedAt = typeof topic.updatedAt === "number" ? topic.updatedAt : typeof metadata.updatedAt === "number" ? metadata.updatedAt : createdAt;
+  let createdAt = 0;
+  if (typeof topic.createdAt === "number") {
+    createdAt = topic.createdAt;
+  } else if (typeof topic._creationTime === "number") {
+    createdAt = topic._creationTime;
+  }
+  let updatedAt = createdAt;
+  if (typeof topic.updatedAt === "number") {
+    updatedAt = topic.updatedAt;
+  } else if (typeof metadata.updatedAt === "number") {
+    updatedAt = metadata.updatedAt;
+  }
   return {
     ...metadata,
     _id: outwardId,
@@ -399,90 +909,113 @@ async function patchTopicProjectOverlay(ctx, scopeId, value) {
   if (!topic) {
     return null;
   }
-  const nextMetadata = { ...readMetadata(topic) };
-  const patch = {};
-  const topicUpdateArgs = {
-    id: String(topic._id)
+  const plan = buildTopicProjectOverlayPatchPlan(topic, value);
+  await applyTopicProjectOverlayPatch(ctx, topic, plan);
+  return materializeTopicProjectOverlay({
+    ...topic,
+    ...plan.patch,
+    metadata: plan.nextMetadata
+  });
+}
+function buildTopicProjectOverlayPatchPlan(topic, value) {
+  const plan = {
+    nextMetadata: { ...readMetadata(topic) },
+    patch: {},
+    topicUpdateArgs: {
+      id: String(topic._id)
+    }
   };
   for (const [key, rawValue] of Object.entries(value)) {
-    switch (key) {
-      case "_id":
-      case "projectId":
-      case "topicId":
-      case "legacyProjectId":
-      case "storageProjectId":
-        break;
-      case "name":
-      case "description":
-        patch[key] = rawValue;
-        topicUpdateArgs[key] = rawValue;
-        break;
-      case "tenantId":
-      case "workspaceId":
-      case "ownerId":
-        throw new Error(
-          `patchTopicProjectOverlay cannot mutate ${key} via component-owned topics`
-        );
-      case "status": {
-        const status = coerceStatus(rawValue);
-        if (status) {
-          patch.status = status;
-          topicUpdateArgs.status = status;
-        }
-        break;
-      }
-      case "visibility": {
-        const visibility = coerceVisibility(rawValue);
-        if (visibility) {
-          patch.visibility = visibility;
-          topicUpdateArgs.visibility = visibility;
-        }
-        break;
-      }
-      case "type": {
-        const projectType = readNonEmptyString(rawValue);
-        if (projectType) {
-          nextMetadata.projectType = projectType;
-        } else {
-          delete nextMetadata.projectType;
-        }
-        break;
-      }
-      case "updatedAt":
-      case "createdAt":
-        break;
-      default:
-        if (rawValue === void 0) {
-          delete nextMetadata[key];
-        } else {
-          nextMetadata[key] = rawValue;
-        }
-    }
+    applyTopicProjectOverlayPatchEntry(plan, key, rawValue);
+  }
+  plan.patch.updatedAt = Date.now();
+  plan.patch.metadata = plan.nextMetadata;
+  plan.topicUpdateArgs.metadata = plan.nextMetadata;
+  return plan;
+}
+function applyTopicProjectOverlayPatchEntry(plan, key, rawValue) {
+  switch (key) {
+    case "_id":
+    case "projectId":
+    case "topicId":
+    case "legacyProjectId":
+    case "storageProjectId":
+    case "updatedAt":
+    case "createdAt":
+      return;
+    case "name":
+    case "description":
+      plan.patch[key] = rawValue;
+      plan.topicUpdateArgs[key] = rawValue;
+      return;
+    case "tenantId":
+    case "workspaceId":
+    case "ownerId":
+      throw new Error(
+        `patchTopicProjectOverlay cannot mutate ${key} via component-owned topics`
+      );
+    case "status":
+      applyTopicStatusPatch(plan, rawValue);
+      return;
+    case "visibility":
+      applyTopicVisibilityPatch(plan, rawValue);
+      return;
+    case "type":
+      applyTopicProjectTypePatch(plan, rawValue);
+      return;
+    default:
+      applyTopicMetadataPatch(plan, key, rawValue);
+  }
+}
+function applyTopicStatusPatch(plan, rawValue) {
+  const status = coerceStatus(rawValue);
+  if (status) {
+    plan.patch.status = status;
+    plan.topicUpdateArgs.status = status;
+  }
+}
+function applyTopicVisibilityPatch(plan, rawValue) {
+  const visibility = coerceVisibility(rawValue);
+  if (visibility) {
+    plan.patch.visibility = visibility;
+    plan.topicUpdateArgs.visibility = visibility;
+  }
+}
+function applyTopicProjectTypePatch(plan, rawValue) {
+  const projectType = readNonEmptyString(rawValue);
+  if (projectType) {
+    plan.nextMetadata.projectType = projectType;
+    return;
   }
-  patch.updatedAt = Date.now();
-  patch.metadata = nextMetadata;
-  topicUpdateArgs.metadata = nextMetadata;
+  plan.nextMetadata = omitMetadataKey(plan.nextMetadata, "projectType");
+}
+function applyTopicMetadataPatch(plan, key, rawValue) {
+  if (rawValue === void 0) {
+    plan.nextMetadata = omitMetadataKey(plan.nextMetadata, key);
+    return;
+  }
+  plan.nextMetadata[key] = rawValue;
+}
+async function applyTopicProjectOverlayPatch(ctx, topic, plan) {
   if (typeof ctx.runMutation === "function") {
     try {
-      await ctx.runMutation(api.topics.update, topicUpdateArgs);
+      await ctx.runMutation(api.topics.update, plan.topicUpdateArgs);
     } catch (error) {
-      if (!isMissingLucernChildComponentError(error) || !ctx?.db || typeof ctx.db.patch !== "function") {
+      if (!canPatchTopicViaLocalDb(ctx, error)) {
         throw error;
       }
-      await ctx.db.patch(String(topic._id), patch);
+      await ctx.db.patch(topic._id, plan.patch);
     }
   } else if (ctx?.db && typeof ctx.db.patch === "function") {
-    await ctx.db.patch(String(topic._id), patch);
+    await ctx.db.patch(topic._id, plan.patch);
   } else {
     throw new Error(
       "Cannot patch topic without component adapter (ctx.runMutation unavailable)"
     );
   }
-  return materializeTopicProjectOverlay({
-    ...topic,
-    ...patch,
-    metadata: nextMetadata
-  });
+}
+function canPatchTopicViaLocalDb(ctx, error) {
+  return isMissingLucernChildComponentError(error) && Boolean(ctx?.db) && typeof ctx.db?.patch === "function";
 }
 
 // src/resolvers.ts
@@ -510,7 +1043,7 @@ async function patchProjectWithTolerance(ctx, projectId, value) {
   try {
     await patchTopicProjectOverlay(ctx, projectId, value);
   } catch (error) {
-    if (!isAdvisoryTopicPatch(value) || !isMissingLucernChildComponentError2(error)) {
+    if (!(isAdvisoryTopicPatch(value) && isMissingLucernChildComponentError2(error))) {
       throw error;
     }
     console.warn(
@@ -577,13 +1110,15 @@ function asMappedProjectId(topic) {
   if (!topic) {
     return;
   }
-  const directLegacyProjectId = normalizeScopeValue(topic[LEGACY_SCOPE_FIELD2]);
+  const directLegacyProjectId = normalizeScopeValue(
+    topic[LEGACY_SCOPE_FIELD2]
+  );
   if (directLegacyProjectId) {
     return directLegacyProjectId;
   }
   const metadata = topic.metadata || {};
   const candidate = metadata[LEGACY_SCOPE_FIELD2] || metadata.legacyProjectId || metadata.projectId || metadata.scopeProjectId;
-  return candidate ? candidate : void 0;
+  return typeof candidate === "string" ? normalizeScopeValue(candidate) : void 0;
 }
 function normalizeScopeValue(value) {
   if (typeof value !== "string") {
@@ -608,8 +1143,9 @@ function pickPrimaryTopic(candidates) {
   })[0];
 }
 async function findTopicsByScopeAlias(ctx, scopeId) {
+  const query = ctx.db.query("topics");
   try {
-    return await ctx.db.query("topics").withIndex(
+    return await query.withIndex(
       "by_graph_scope_project",
       (q) => q.eq(LEGACY_SCOPE_FIELD2, scopeId)
     ).collect();
@@ -621,7 +1157,7 @@ async function findTopicsByScopeAlias(ctx, scopeId) {
         scopeId
       }
     );
-    const topics = await ctx.db.query("topics").collect();
+    const topics = await query.collect();
     return topics.filter((topic) => {
       const normalizedGlobalId = normalizeScopeValue(topic.globalId);
       const mappedProjectId = asMappedProjectId(topic);
@@ -677,424 +1213,253 @@ async function resolveInheritedWorkspaceScope(ctx, topic) {
   let current = topic;
   for (let i = 0; i < MAX_DEPTH && current?.parentTopicId; i++) {
     current = await ctx.db.get(current.parentTopicId);
-    if (!current) break;
+    if (!current) {
+      break;
+    }
     if (!tenantId) {
       tenantId = normalizeScopeValue(current.tenantId);
     }
     if (!workspaceId) {
       workspaceId = normalizeScopeValue(current.workspaceId);
     }
-    if (tenantId && workspaceId) break;
+    if (tenantId && workspaceId) {
+      break;
+    }
   }
   return { tenantId, workspaceId };
 }
 async function resolveTopicProjectScope(ctx, args) {
   if (args.topicId) {
-    let topic = null;
-    try {
-      topic = await ctx.db.get(
-        args.topicId
-      );
-    } catch (error) {
-      debugGraphPrimitiveFallback(
-        "[topicScope] Failed to load topic by direct id",
-        {
-          error,
-          topicId: args.topicId
-        }
-      );
-    }
-    if (!topic) {
-      topic = await tryResolveHostTopicById(ctx, String(args.topicId));
-    }
-    if (!topic) {
-      topic = pickPrimaryTopic(
-        await findTopicsByScopeAlias(ctx, String(args.topicId))
-      ) ?? null;
-    }
-    if (!topic) {
-      const nodeScope = await resolveTopicNodeScopeOrNull(
-        ctx,
-        String(args.topicId)
-      );
-      if (nodeScope) {
-        return nodeScope;
-      }
-      throw new Error(`Topic not found: ${String(args.topicId)}`);
-    }
-    const inherited = await resolveInheritedWorkspaceScope(ctx, topic);
-    const mapped = asMappedProjectId(topic);
-    if (mapped) {
-      return {
-        topicId: topic._id,
-        projectId: mapped,
-        tenantId: inherited.tenantId,
-        workspaceId: inherited.workspaceId,
-        source: "topic"
-      };
-    }
-    return {
-      topicId: topic._id,
-      tenantId: inherited.tenantId,
-      workspaceId: inherited.workspaceId,
-      source: "topic"
-    };
+    return await resolveScopeFromTopicId(ctx, args.topicId);
   }
   if (args.projectId) {
-    let directTopic = null;
-    try {
-      directTopic = await ctx.db.get(
-        args.projectId
-      );
-    } catch (error) {
-      debugGraphPrimitiveFallback(
-        "[topicScope] Failed to load direct project topic",
-        {
-          error,
-          projectId: args.projectId
-        }
-      );
-    }
-    if (directTopic) {
-      const inherited = await resolveInheritedWorkspaceScope(ctx, directTopic);
-      const mapped = asMappedProjectId(directTopic);
-      return {
-        topicId: directTopic._id,
-        projectId: mapped ?? args.projectId,
-        tenantId: inherited.tenantId,
-        workspaceId: inherited.workspaceId,
-        source: "topic_inferred"
-      };
-    }
-    directTopic = await tryResolveHostTopicByLegacyScope(ctx, args.projectId);
-    if (directTopic) {
-      const inherited = await resolveInheritedWorkspaceScope(ctx, directTopic);
-      const mapped = asMappedProjectId(directTopic);
-      return {
-        topicId: directTopic._id,
-        projectId: mapped ?? args.projectId,
-        tenantId: inherited.tenantId,
-        workspaceId: inherited.workspaceId,
-        source: "topic_inferred"
-      };
-    }
-    const topics = await findTopicsByScopeAlias(ctx, args.projectId);
-    const primary = pickPrimaryTopic(topics);
-    if (primary) {
-      const inherited = await resolveInheritedWorkspaceScope(ctx, primary);
-      return {
-        topicId: primary._id,
-        projectId: args.projectId,
-        tenantId: inherited.tenantId,
-        workspaceId: inherited.workspaceId,
-        source: "project_mapped_topic"
-      };
-    }
-    const nodeScope = await resolveTopicNodeScopeOrNull(
-      ctx,
-      String(args.projectId)
-    );
-    if (nodeScope) {
-      return {
-        ...nodeScope,
-        projectId: nodeScope.projectId ?? String(args.projectId)
-      };
-    }
-    throw new Error(
-      `Legacy project scope ${String(args.projectId)} has no mapped topic.`
-    );
+    return await resolveScopeFromLegacyProjectId(ctx, args.projectId);
+  }
+  throw new Error(
+    "Missing scope: provide topicId (preferred) or legacy projectId alias."
+  );
+}
+async function resolveScopeFromTopicId(ctx, topicId) {
+  const topic = await resolveTopicDocFromTopicId(ctx, topicId);
+  if (topic) {
+    return await buildTopicScope(ctx, topic, "topic");
+  }
+  const nodeScope = await resolveTopicNodeScopeOrNull(ctx, String(topicId));
+  if (nodeScope) {
+    return nodeScope;
+  }
+  throw new Error(`Topic not found: ${String(topicId)}`);
+}
+async function resolveTopicDocFromTopicId(ctx, topicId) {
+  const direct = await tryReadTopicDoc(ctx, topicId, {
+    failureLog: "[topicScope] Failed to load topic by direct id",
+    idLogKey: "topicId"
+  });
+  if (direct) {
+    return direct;
+  }
+  const hostTopic = await tryResolveHostTopicById(ctx, String(topicId));
+  if (hostTopic) {
+    return hostTopic;
+  }
+  return pickPrimaryTopic(await findTopicsByScopeAlias(ctx, String(topicId))) ?? null;
+}
+async function resolveScopeFromLegacyProjectId(ctx, legacyProjectId) {
+  const directTopic = await resolveDirectLegacyProjectTopic(
+    ctx,
+    legacyProjectId
+  );
+  if (directTopic) {
+    return await buildTopicScope(ctx, directTopic, "topic_inferred", {
+      fallbackProjectId: legacyProjectId
+    });
+  }
+  const primary = pickPrimaryTopic(
+    await findTopicsByScopeAlias(ctx, legacyProjectId)
+  );
+  if (primary) {
+    return await buildTopicScope(ctx, primary, "project_mapped_topic", {
+      fallbackProjectId: legacyProjectId
+    });
+  }
+  const nodeScope = await resolveTopicNodeScopeOrNull(ctx, legacyProjectId);
+  if (nodeScope) {
+    return {
+      ...nodeScope,
+      projectId: nodeScope.projectId ?? legacyProjectId
+    };
   }
   throw new Error(
-    "Missing scope: provide topicId (preferred) or legacy projectId alias."
+    `Legacy project scope ${legacyProjectId} has no mapped topic.`
   );
 }
+async function resolveDirectLegacyProjectTopic(ctx, legacyProjectId) {
+  const directTopic = await tryReadTopicDoc(ctx, legacyProjectId, {
+    failureLog: "[topicScope] Failed to load direct project topic",
+    idLogKey: "projectId"
+  });
+  return directTopic ?? tryResolveHostTopicByLegacyScope(ctx, legacyProjectId);
+}
+async function tryReadTopicDoc(ctx, id, log) {
+  try {
+    return await ctx.db.get(id);
+  } catch (error) {
+    debugGraphPrimitiveFallback(log.failureLog, {
+      error,
+      [log.idLogKey]: id
+    });
+    return null;
+  }
+}
+async function buildTopicScope(ctx, topic, source, options = {}) {
+  const inherited = await resolveInheritedWorkspaceScope(ctx, topic);
+  const mapped = asMappedProjectId(topic);
+  return {
+    topicId: topic._id,
+    ...mapped || options.fallbackProjectId ? { projectId: mapped ?? options.fallbackProjectId } : {},
+    tenantId: inherited.tenantId,
+    workspaceId: inherited.workspaceId,
+    source
+  };
+}
 var optionalScopeArgs = {
   projectId: v.optional(v.string()),
   topicId: v.optional(v.string())
 };
 
-// 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;
-  }
+// src/epistemicEdges.mutations.ts
+var EPISTEMIC_LAYERS = /* @__PURE__ */ new Set([
+  "L4",
+  "L3",
+  "L2",
+  "L1",
+  "ontological",
+  "organizational"
+]);
+function readOptionalString(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value : void 0;
 }
-function isValidLayerConnection(fromLayer, toLayer) {
-  if (fromLayer === toLayer) {
-    return true;
+function readOptionalNumber(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+function readConvexId(value) {
+  const normalized = readOptionalString(value);
+  return normalized;
+}
+function readRecord(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : null;
+}
+function readEpistemicLayer(value) {
+  const layer = readOptionalString(value);
+  return layer && EPISTEMIC_LAYERS.has(layer) ? layer : void 0;
+}
+function readEdgeNodeRow(value) {
+  const record = readRecord(value);
+  if (!record) {
+    return null;
   }
-  if (fromLayer === "ontological" && toLayer === "ontological") {
-    return true;
+  const id = readConvexId(record._id);
+  const globalId = readOptionalString(record.globalId);
+  const nodeType = readOptionalString(record.nodeType);
+  if (!(id && globalId && nodeType)) {
+    return null;
   }
-  if (fromLayer === "ontological" && (toLayer === "L3" || toLayer === "L2" || toLayer === "L1")) {
-    return true;
+  const node = { _id: id, globalId, nodeType };
+  const epistemicLayer = readEpistemicLayer(record.epistemicLayer);
+  if (epistemicLayer !== void 0) {
+    node.epistemicLayer = epistemicLayer;
   }
-  if ((fromLayer === "L3" || fromLayer === "L2" || fromLayer === "L1") && toLayer === "ontological") {
-    return true;
+  const projectId = readOptionalString(record.projectId);
+  if (projectId !== void 0) {
+    node.projectId = projectId;
   }
-  if (fromLayer === "L2" && toLayer === "L1") {
-    return true;
+  return node;
+}
+function requireEdgeNodeRow(value, context) {
+  const node = readEdgeNodeRow(value);
+  if (!node) {
+    throw new Error(`${context} requires a canonical epistemic node row.`);
   }
-  if (fromLayer === "L2" && toLayer === "L3") {
-    return true;
+  return node;
+}
+function readEdgeRow(value) {
+  const record = readRecord(value);
+  if (!record) {
+    return null;
   }
-  if (fromLayer === "L3" && toLayer === "L2") {
-    return true;
+  const id = readConvexId(record._id);
+  const globalId = readOptionalString(record.globalId);
+  const edgeType = readOptionalString(record.edgeType);
+  if (!(id && globalId && edgeType)) {
+    return null;
   }
-  if (fromLayer === "L3" && toLayer === "L4") {
-    return true;
+  const edge = { _id: id, globalId, edgeType };
+  const createdBy = readOptionalString(record.createdBy);
+  if (createdBy !== void 0) {
+    edge.createdBy = createdBy;
   }
-  if (fromLayer === "L4" && toLayer === "L3") {
-    return true;
+  const fromNodeId = readOptionalString(record.fromNodeId);
+  if (fromNodeId !== void 0) {
+    edge.fromNodeId = fromNodeId;
   }
-  if (fromLayer === "L3" && toLayer === "organizational") {
-    return true;
+  const projectId = readOptionalString(record.projectId);
+  if (projectId !== void 0) {
+    edge.projectId = projectId;
   }
-  if (fromLayer === "organizational" && toLayer === "L3") {
-    return true;
+  const toNodeId = readOptionalString(record.toNodeId);
+  if (toNodeId !== void 0) {
+    edge.toNodeId = toNodeId;
   }
-  const fromDepth = getLayerDepth(fromLayer);
-  const toDepth = getLayerDepth(toLayer);
-  if (Math.abs(fromDepth - toDepth) > 1) {
-    return false;
+  const confidence = readOptionalNumber(record.confidence);
+  if (confidence !== void 0) {
+    edge.confidence = confidence;
   }
-  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"
-  },
-  // C2-RR.4 — storage migration alias + the remaining 55 reachable edge types.
-  // Mirrors the kernel rule table
-  // (packages/reasoning-kernel/src/adapters/lib/edgeValidation.ts) so this
-  // graph-primitives write path admits the same public edge vocabulary. See the
-  // kernel file for the per-group rationale.
-  extracted_from: {
-    from: ["L2", "L3", "L4"],
-    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)" }
-};
-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 };
+  const weight = readOptionalNumber(record.weight);
+  if (weight !== void 0) {
+    edge.weight = weight;
   }
-  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 ("context" in record) {
+    edge.context = record.context;
   }
-  if (!rules.from.includes(fromLayer)) {
-    return {
-      valid: false,
-      reason: `Edge type '${edgeType}' does not allow source layer ${fromLayer}. Allowed: ${rules.from.join(", ")}`
-    };
+  if ("description" in record) {
+    edge.description = record.description;
   }
-  if (!rules.to.includes(toLayer)) {
-    return {
-      valid: false,
-      reason: `Edge type '${edgeType}' does not allow target layer ${toLayer}. Allowed: ${rules.to.join(", ")}`
-    };
+  return edge;
+}
+function readEdgeRows(values) {
+  return values.flatMap((value) => {
+    const edge = readEdgeRow(value);
+    return edge ? [edge] : [];
+  });
+}
+function nodeEndpointRefs(nodeId, node) {
+  const refs = /* @__PURE__ */ new Set([String(nodeId)]);
+  if (node?.globalId) {
+    refs.add(node.globalId);
   }
-  if (!isValidLayerConnection(fromLayer, toLayer)) {
-    return {
-      valid: false,
-      reason: `Layer transition ${fromLayer} -> ${toLayer} is not permitted`
-    };
+  return [...refs];
+}
+async function collectEdgesBetween(ctx, fromRefs, toRefs) {
+  const seen = /* @__PURE__ */ new Set();
+  const edges = [];
+  for (const fromRef of fromRefs) {
+    for (const toRef of toRefs) {
+      const rows = await ctx.db.query("epistemicEdges").withIndex(
+        "by_from_to",
+        (q) => q.eq("fromNodeId", fromRef).eq("toNodeId", toRef)
+      ).collect();
+      for (const edge of readEdgeRows(rows)) {
+        const key = String(edge._id);
+        if (seen.has(key)) {
+          continue;
+        }
+        seen.add(key);
+        edges.push(edge);
+      }
+    }
   }
-  return { valid: true };
+  return edges;
 }
-
-// src/epistemicEdges.mutations.ts
 var create = mutation({
   args: {
     globalId: v.string(),
@@ -1111,21 +1476,24 @@ var create = mutation({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const fromNode = await ctx.db.get(args.fromNodeId);
-    const toNode = await ctx.db.get(args.toNodeId);
-    if (!fromNode || !toNode) {
-      throw new Error("One or both nodes not found");
-    }
+    const fromNode = requireEdgeNodeRow(
+      await ctx.db.get(args.fromNodeId),
+      "Create edge source"
+    );
+    const toNode = requireEdgeNodeRow(
+      await ctx.db.get(args.toNodeId),
+      "Create edge target"
+    );
     const resolvedScope = args.topicId || args.projectId ? await resolveTopicProjectScope(ctx, {
       topicId: args.topicId,
       projectId: args.projectId
     }) : void 0;
     const resolvedProjectId = resolvedScope?.projectId ?? args.projectId;
     if (resolvedProjectId) {
-      await requireProjectAccess(ctx, resolvedProjectId, args.createdBy);
+      await requireScopeWriteAccess(ctx, resolvedProjectId, args.createdBy);
     }
-    const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);
-    const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);
+    const fromLayer = fromNode.epistemicLayer ?? getNodeLayer(fromNode.nodeType);
+    const toLayer = toNode.epistemicLayer ?? getNodeLayer(toNode.nodeType);
     if (!args.skipLayerValidation) {
       const validation = validateEdgeLayers(args.edgeType, fromLayer, toLayer);
       if (!validation.valid) {
@@ -1139,10 +1507,11 @@ var create = mutation({
         `FORBIDDEN: Edge type '${args.edgeType}' has been removed from StackOS schema.`
       );
     }
-    const existing = await ctx.db.query("epistemicEdges").withIndex(
-      "by_from_to",
-      (q) => q.eq("fromNodeId", args.fromNodeId).eq("toNodeId", args.toNodeId)
-    ).collect();
+    const existing = await collectEdgesBetween(
+      ctx,
+      nodeEndpointRefs(args.fromNodeId, fromNode),
+      nodeEndpointRefs(args.toNodeId, toNode)
+    );
     const duplicateEdge = existing.find((e) => e.edgeType === args.edgeType);
     if (duplicateEdge) {
       return { edgeId: duplicateEdge._id, isDuplicate: true };
@@ -1219,12 +1588,12 @@ var update = mutation({
   returns: permissiveReturn,
   handler: async (ctx, args) => {
     const { edgeId, userId, ...updates } = args;
-    const edge = await ctx.db.get(edgeId);
+    const edge = readEdgeRow(await ctx.db.get(edgeId));
     if (!edge) {
       throw new Error("Edge not found");
     }
     if (edge.projectId && userId) {
-      await requireProjectAccess(ctx, edge.projectId, userId);
+      await requireScopeWriteAccess(ctx, edge.projectId, userId);
     }
     const cleanUpdates = {};
     for (const [key, value] of Object.entries(updates)) {
@@ -1260,12 +1629,12 @@ var remove = mutation({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const edge = await ctx.db.get(args.edgeId);
+    const edge = readEdgeRow(await ctx.db.get(args.edgeId));
     if (!edge) {
       return buildEdgeNotFoundResult();
     }
     if (edge.projectId && args.userId) {
-      await requireProjectAccess(ctx, edge.projectId, args.userId);
+      await requireScopeWriteAccess(ctx, edge.projectId, args.userId);
     }
     if (edge.projectId) {
       await ctx.db.insert("epistemicAudit", {
@@ -1306,10 +1675,13 @@ var removeBetween = mutation({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const edges = await ctx.db.query("epistemicEdges").withIndex(
-      "by_from_to",
-      (q) => q.eq("fromNodeId", args.fromNodeId).eq("toNodeId", args.toNodeId)
-    ).collect();
+    const fromNode = readEdgeNodeRow(await ctx.db.get(args.fromNodeId));
+    const toNode = readEdgeNodeRow(await ctx.db.get(args.toNodeId));
+    const edges = await collectEdgesBetween(
+      ctx,
+      nodeEndpointRefs(args.fromNodeId, fromNode),
+      nodeEndpointRefs(args.toNodeId, toNode)
+    );
     let deleted = 0;
     for (const edge of edges) {
       if (!args.edgeType || edge.edgeType === args.edgeType) {
@@ -1346,19 +1718,23 @@ var batchCreate = mutation({
     const results = [];
     const errors = [];
     for (const edge of args.edges) {
-      const fromNode = await ctx.db.get(edge.fromNodeId);
-      const toNode = await ctx.db.get(edge.toNodeId);
-      if (!fromNode || !toNode) {
+      const fromNode = readEdgeNodeRow(await ctx.db.get(edge.fromNodeId));
+      const toNode = readEdgeNodeRow(await ctx.db.get(edge.toNodeId));
+      if (!(fromNode && toNode)) {
         errors.push({
           globalId: edge.globalId,
           error: "One or both nodes not found"
         });
         continue;
       }
-      const fromLayer = fromNode.epistemicLayer || getNodeLayer(fromNode.nodeType);
-      const toLayer = toNode.epistemicLayer || getNodeLayer(toNode.nodeType);
+      const fromLayer = fromNode.epistemicLayer ?? getNodeLayer(fromNode.nodeType);
+      const toLayer = toNode.epistemicLayer ?? getNodeLayer(toNode.nodeType);
       if (!args.skipLayerValidation) {
-        const validation = validateEdgeLayers(edge.edgeType, fromLayer, toLayer);
+        const validation = validateEdgeLayers(
+          edge.edgeType,
+          fromLayer,
+          toLayer
+        );
         if (!validation.valid) {
           errors.push({
             globalId: edge.globalId,
@@ -1393,9 +1769,7 @@ var batchCreate = mutation({
       results.push({ globalId: edge.globalId, edgeGlobalId: edge.globalId });
     }
     const projectIds = new Set(
-      args.edges.flatMap(
-        (edge) => typeof edge.projectId === "string" ? [edge.projectId] : []
-      )
+      args.edges.flatMap((edge) => edge.projectId ? [edge.projectId] : [])
     );
     for (const pid of projectIds) {
       if (pid) {
@@ -1416,8 +1790,11 @@ var cleanupDeprecatedEdges = mutation({
   handler: async (ctx, args) => {
     const DEPRECATED_TYPES = ["contradicts"];
     const scopeId = args.topicId || args.projectId;
-    const allEdges = scopeId ? await ctx.db.query("epistemicEdges").withIndex("by_topic", (q) => q.eq("topicId", scopeId)).collect() : [];
-    const deprecatedEdges = allEdges.filter(
+    const allEdges = scopeId ? await ctx.db.query("epistemicEdges").withIndex(
+      "by_topic",
+      (q) => q.eq("topicId", scopeId)
+    ).collect() : [];
+    const deprecatedEdges = readEdgeRows(allEdges).filter(
       (edge) => DEPRECATED_TYPES.includes(edge.edgeType)
     );
     if (args.dryRun) {
@@ -1460,15 +1837,15 @@ var deleteEdges = mutation({
     const deleted = [];
     const notFound = [];
     for (const edgeId of args.edgeIds) {
-      const edge = await ctx.db.get(edgeId);
+      const edge = readEdgeRow(await ctx.db.get(edgeId));
       if (edge) {
         await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {
           globalId: edge.globalId
         });
         await ctx.db.delete(edgeId);
-        deleted.push(edgeId);
+        deleted.push(String(edgeId));
       } else {
-        notFound.push(edgeId);
+        notFound.push(String(edgeId));
       }
     }
     return {