@lucern/graph-primitives 1.0.22 → 1.0.23

package/dist/index.js

@@ -7,7 +7,8 @@ import { componentsGeneric, anyApi, internalMutationGeneric, mutationGeneric, qu
 import { isNodeType, getLayerForNodeType } from '@lucern/contracts/schema-helpers/spine/tables/epistemicNodes';
 import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
 import { assertSchemaEnumValue } from '@lucern/contracts/schema-helpers/enumValidation';
-import { generateGlobalId, generateUuidV7, isUuidV7 } from '@lucern/contracts/ids';
+import { generateGlobalId, assertUuidV7Identity, generateUuidV7, assertStorageEdgeVocabulary, assertCanonicalEdgeEndpoint, isUuidV7 } from '@lucern/contracts/ids';
+import { assertEdgePolicyAllowed, edgePolicyManifest } from '@lucern/contracts';
 import { listAudienceRegistryRows } from '@lucern/access-control/audienceRegistry';
 import { scoreEntityTypeMatch, scoreEntityConnection, rankEntityTypeMatches, rankEntityConnections } from '@lucern/contracts/v1/ontologies/v1';
 import { wordTokenize, wordOverlapScore, tokenizeSearchText, tokenOverlapScore, stemToken, scoreLexicalSignals, scoreLexicalSignal, rerankLexicalWindow, rankWindowScore, prepareLexicalQuery, jaccardSimilarity, bigramTokenize } from '@lucern/contracts/text-matching.contract';
@@ -642,7 +643,72 @@ var EDGE_LAYER_RULES = {
     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];
@@ -1237,6 +1303,35 @@ __export(topicScope_exports, {
   resolveTopicProjectScope: () => resolveTopicProjectScope
 });
 var LEGACY_SCOPE_FIELD2 = "graphScopeProjectId";
+async function resolveTopicNodeScopeOrNull(ctx, ref) {
+  if (!ctx?.db || typeof ctx.db.query !== "function") {
+    return null;
+  }
+  let node = null;
+  try {
+    const byGlobalId = await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", ref)).first();
+    if (byGlobalId && byGlobalId.nodeType === "topic") {
+      node = byGlobalId;
+    }
+  } catch (error) {
+    debugGraphPrimitiveFallback(
+      "[topicScope] topic-node scope lookup by globalId failed",
+      { error, ref }
+    );
+  }
+  if (!node) {
+    return null;
+  }
+  const scopeKey = normalizeScopeValue(node.topicId) ?? normalizeScopeValue(node.globalId);
+  if (!scopeKey) {
+    return null;
+  }
+  return {
+    topicId: scopeKey,
+    projectId: asMappedProjectId(node),
+    source: "topic_node"
+  };
+}
 function asMappedProjectId(topic) {
   if (!topic) {
     return;
@@ -1385,6 +1480,13 @@ async function resolveTopicProjectScope(ctx, args) {
       ) ?? 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);
@@ -1455,6 +1557,16 @@ async function resolveTopicProjectScope(ctx, args) {
         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.`
     );
@@ -2351,14 +2463,14 @@ async function applyBeliefConfidenceChange(ctx, args) {
     beliefConfidenceId
   };
 }
-function propagationTriggerForEdge(edgeType, weight) {
+function propagationPressureLabel(edgeType, weight) {
   if (edgeType === "contradicts" || edgeType === "refutes") {
-    return "contradiction_detected";
+    return "contradictory";
   }
   if ((edgeType === "supports" || edgeType === "informs") && weight < 0) {
-    return "contradiction_detected";
+    return "contradictory";
   }
-  return "evidence_added";
+  return "supportive";
 }
 var propagateConfidenceChange = internalMutation({
   args: {
@@ -2395,14 +2507,15 @@ var propagateConfidenceChange = internalMutation({
       getNode: async (nodeId) => await ctx.db.get(nodeId)
     });
     for (const dispatch of dispatches) {
+      const pressureLabel = propagationPressureLabel(dispatch.edgeType, dispatch.weight);
       await applyBeliefConfidenceChange(ctx, {
         nodeId: dispatch.targetNodeId,
         belief: dispatch.opinion.b,
         disbelief: dispatch.opinion.d,
         uncertainty: dispatch.opinion.u,
         baseRate: dispatch.opinion.a,
-        trigger: propagationTriggerForEdge(dispatch.edgeType, dispatch.weight),
-        rationale: `SL propagation via ${dispatch.edgeType} edge: ${dispatch.rationale}`,
+        trigger: "propagation",
+        rationale: `SL propagation via ${dispatch.edgeType} edge (pressure: ${pressureLabel}): ${dispatch.rationale}`,
         authenticatedUserId: args.userId,
         slOperator: dispatch.operator
       });
@@ -2522,6 +2635,43 @@ __export(globalId_exports, {
   generateUuidV7: () => generateUuidV7,
   isUuidV7: () => isUuidV7
 });
+async function insertEpistemicNode(ctx, doc) {
+  assertUuidV7Identity("epistemicNodes", doc.globalId);
+  return ctx.db.insert("epistemicNodes", doc);
+}
+async function insertEpistemicEdge(ctx, doc) {
+  assertUuidV7Identity("epistemicEdges", doc.globalId);
+  assertStorageEdgeVocabulary(doc.edgeType);
+  if (!doc.fromNodeId || typeof doc.fromNodeId !== "string") {
+    throw new Error(
+      "edge_endpoint_missing: epistemicEdges insert requires a non-empty fromNodeId"
+    );
+  }
+  if (!doc.toNodeId || typeof doc.toNodeId !== "string") {
+    throw new Error(
+      "edge_endpoint_missing: epistemicEdges insert requires a non-empty toNodeId"
+    );
+  }
+  assertCanonicalEdgeEndpoint("fromNodeId", doc.fromNodeId);
+  assertCanonicalEdgeEndpoint("toNodeId", doc.toNodeId);
+  if (doc.fromNodeType && doc.toNodeType && doc.edgeType !== "extracted_from") {
+    assertEdgePolicyAllowed(
+      edgePolicyManifest,
+      doc.edgeType,
+      {
+        kind: "epistemic_node",
+        nodeId: doc.fromNodeId,
+        nodeType: doc.fromNodeType
+      },
+      {
+        kind: "epistemic_node",
+        nodeId: doc.toNodeId,
+        nodeType: doc.toNodeType
+      }
+    );
+  }
+  return ctx.db.insert("epistemicEdges", doc);
+}
 
 // src/epistemicBeliefs.topicAnchor.ts
 function cleanString(value) {
@@ -2573,18 +2723,15 @@ async function createRequiredBeliefTopicEdge(ctx, args) {
   const now = Date.now();
   const existingEdges = await ctx.db.query("epistemicEdges").withIndex(
     "by_from_to",
-    (q) => q.eq("fromNodeId", String(args.beliefNodeId)).eq(
-      "toNodeId",
-      String(args.topicNode._id)
-    )
+    (q) => q.eq("fromNodeId", args.beliefGlobalId).eq("toNodeId", topicGlobalId)
   ).collect();
   const existing = existingEdges.find((edge) => edge.edgeType === "belongs_to");
   const edgeGlobalId = cleanString(existing?.globalId) ?? generateUuidV7();
   if (!existing) {
-    await ctx.db.insert("epistemicEdges", {
+    await insertEpistemicEdge(ctx, {
       globalId: edgeGlobalId,
-      fromNodeId: String(args.beliefNodeId),
-      toNodeId: String(args.topicNode._id),
+      fromNodeId: args.beliefGlobalId,
+      toNodeId: topicGlobalId,
       sourceGlobalId: args.beliefGlobalId,
       targetGlobalId: topicGlobalId,
       edgeType: "belongs_to",
@@ -2763,7 +2910,7 @@ var create = mutation({
     const pillar = normalizePillar(args.pillar);
     const additionalMeta = args.metadata || {};
     const beliefGlobalId = generateGlobalId();
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId: beliefGlobalId,
       nodeType: "belief",
       epistemicLayer: "L3",
@@ -2821,7 +2968,6 @@ var create = mutation({
       })
     );
     await createRequiredBeliefTopicEdge(ctx, {
-      beliefNodeId: nodeId,
       beliefGlobalId,
       topicNode,
       createdBy: authenticatedUserId
@@ -3236,7 +3382,7 @@ var forkBelief = mutation({
       });
     }
     const newBeliefGlobalId = generateGlobalId();
-    const newNodeId = await ctx.db.insert("epistemicNodes", {
+    const newNodeId = await insertEpistemicNode(ctx, {
       globalId: newBeliefGlobalId,
       nodeType: "belief",
       epistemicLayer: "L3",
@@ -4024,10 +4170,11 @@ var linkEvidence = mutation({
     const edgeType = "informs";
     const logicalRole = evidenceNodeId ? await computeLogicalRole(ctx, evidenceNodeId, args.beliefNodeId) : "contributory";
     const edgeGlobalId = generateGlobalId();
-    await ctx.db.insert("epistemicEdges", {
+    await insertEpistemicEdge(ctx, {
       globalId: edgeGlobalId,
-      fromNodeId: evidenceNodeId,
-      toNodeId: args.beliefNodeId,
+      // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.
+      fromNodeId: evidenceGlobalId,
+      toNodeId: belief.globalId,
       sourceGlobalId: evidenceGlobalId,
       targetGlobalId: belief.globalId,
       edgeType,
@@ -4823,7 +4970,7 @@ var internalCreate = internalMutation({
       opinion_u: 1,
       opinion_a: baseRate
     };
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -4879,7 +5026,6 @@ var internalCreate = internalMutation({
       })
     );
     await createRequiredBeliefTopicEdge(ctx, {
-      beliefNodeId: nodeId,
       beliefGlobalId: globalId,
       topicNode,
       createdBy: args.userId
@@ -6084,7 +6230,7 @@ async function createEpistemicNodeForInsight(ctx, _insightId, insight) {
     });
     return existing._id;
   }
-  const nodeId = await ctx.db.insert("epistemicNodes", {
+  const nodeId = await insertEpistemicNode(ctx, {
     globalId,
     nodeType: "evidence",
     epistemicLayer: "L2",
@@ -6160,7 +6306,7 @@ async function createEpistemicNodeForBelief(ctx, beliefId, belief) {
     });
     return existing._id;
   }
-  const nodeId = await ctx.db.insert("epistemicNodes", {
+  const nodeId = await insertEpistemicNode(ctx, {
     globalId,
     nodeType: "belief",
     epistemicLayer: "L3",
@@ -6208,7 +6354,7 @@ async function createEpistemicNodeForQuestion(ctx, _questionId, question) {
     return existing._id;
   }
   const sourceType = question.source === "manual" ? "human" : question.source === "ai_suggested" ? "ai_generated" : "ai_extracted";
-  const nodeId = await ctx.db.insert("epistemicNodes", {
+  const nodeId = await insertEpistemicNode(ctx, {
     globalId,
     nodeType: "question",
     epistemicLayer: "L3",
@@ -6269,7 +6415,7 @@ async function createEpistemicNodeForArtifact(ctx, artifactId, artifact) {
     return existing._id;
   }
   const epistemicLayer = "L1";
-  const nodeId = await ctx.db.insert("epistemicNodes", {
+  const nodeId = await insertEpistemicNode(ctx, {
     globalId,
     nodeType,
     epistemicLayer,
@@ -6333,7 +6479,7 @@ async function findOrCreateSourceNode(ctx, artifactId, createdBy, scopeProjectId
     title + (artifact.content?.slice(0, 500) || "")
   );
   const epistemicLayer = nodeType === "synthesis" ? "L2" : "L1";
-  const nodeId = await ctx.db.insert("epistemicNodes", {
+  const nodeId = await insertEpistemicNode(ctx, {
     globalId,
     nodeType,
     epistemicLayer,
@@ -6796,7 +6942,7 @@ async function applyOperationalLinkEffects(ctx, args) {
     if (beliefSpineNode?.nodeType === "belief" && evidenceSpineNode?.nodeType === "evidence") {
       const existingEdges = await ctx.db.query("epistemicEdges").withIndex(
         "by_from_to",
-        (q) => q.eq("fromNodeId", evidenceSpineNode._id).eq("toNodeId", beliefSpineNode._id)
+        (q) => q.eq("fromNodeId", evidenceSpineNode.globalId).eq("toNodeId", beliefSpineNode.globalId)
       ).collect();
       for (const edge of existingEdges) {
         if (edge.edgeType === "informs") {
@@ -6806,12 +6952,13 @@ async function applyOperationalLinkEffects(ctx, args) {
           await ctx.db.delete(edge._id);
         }
       }
-      const globalId = `edge-${Date.now()}-${Math.random().toString(36).slice(2, 11)}`;
+      const globalId = generateGlobalId();
       const context = args.rationale || `Linked as ${args.relation}`;
-      await ctx.db.insert("epistemicEdges", {
+      await insertEpistemicEdge(ctx, {
         globalId,
-        fromNodeId: evidenceSpineNode._id,
-        toNodeId: beliefSpineNode._id,
+        // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.
+        fromNodeId: evidenceSpineNode.globalId,
+        toNodeId: beliefSpineNode.globalId,
         sourceGlobalId: evidenceSpineNode.globalId,
         targetGlobalId: beliefSpineNode.globalId,
         edgeType: "informs",
@@ -8814,7 +8961,7 @@ var createEntity = mutation({
       };
     }
     const entityGlobalId = generateGlobalId();
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId: entityGlobalId,
       nodeType: args.nodeType,
       epistemicLayer: "ontological",
@@ -9066,10 +9213,11 @@ var mergeEntities = mutation({
       );
     }
     const edgeGlobalId = generateGlobalId();
-    await ctx.db.insert("epistemicEdges", {
+    await insertEpistemicEdge(ctx, {
       globalId: edgeGlobalId,
-      fromNodeId: args.duplicateNodeId,
-      toNodeId: args.canonicalNodeId,
+      // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.
+      fromNodeId: duplicate.globalId,
+      toNodeId: canonical.globalId,
       sourceGlobalId: duplicate.globalId,
       targetGlobalId: canonical.globalId,
       edgeType: "derived_from",
@@ -10354,7 +10502,7 @@ var create4 = mutation({
         }
       }
     }
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       projectId: topicId,
       topicId: questionNode.topicId,
@@ -10409,7 +10557,7 @@ var create4 = mutation({
       }
     );
     await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-      globalId: crypto.randomUUID(),
+      globalId: generateGlobalId(),
       fromGlobalId: globalId,
       toGlobalId: questionNode.globalId,
       edgeType: "responds_to",
@@ -10423,7 +10571,7 @@ var create4 = mutation({
     });
     for (const oldAnswer of activeAnswersForQuestion) {
       await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-        globalId: crypto.randomUUID(),
+        globalId: generateGlobalId(),
         fromGlobalId: globalId,
         toGlobalId: oldAnswer.globalId,
         edgeType: "supersedes",
@@ -10440,7 +10588,7 @@ var create4 = mutation({
         const evNode = await ctx.db.get(evId);
         if (evNode) {
           await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-            globalId: crypto.randomUUID(),
+            globalId: generateGlobalId(),
             fromGlobalId: globalId,
             toGlobalId: evNode.globalId,
             edgeType: "derived_from",
@@ -10462,7 +10610,7 @@ var create4 = mutation({
       const evidenceNode = await ctx.db.get(edge.fromNodeId);
       if (evidenceNode) {
         await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-          globalId: crypto.randomUUID(),
+          globalId: generateGlobalId(),
           fromGlobalId: evidenceNode.globalId,
           toGlobalId: globalId,
           edgeType: "derived_from",
@@ -10554,7 +10702,7 @@ var createInternal = internalMutation({
         }
       }
     }
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       projectId: topicId,
       topicId: questionNode.topicId,
@@ -10610,7 +10758,7 @@ var createInternal = internalMutation({
       }
     );
     await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-      globalId: crypto.randomUUID(),
+      globalId: generateGlobalId(),
       fromGlobalId: globalId,
       toGlobalId: questionNode.globalId,
       edgeType: "responds_to",
@@ -10624,7 +10772,7 @@ var createInternal = internalMutation({
     });
     for (const oldAnswer of activeAnswersForQuestion) {
       await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-        globalId: crypto.randomUUID(),
+        globalId: generateGlobalId(),
         fromGlobalId: globalId,
         toGlobalId: oldAnswer.globalId,
         edgeType: "supersedes",
@@ -10641,7 +10789,7 @@ var createInternal = internalMutation({
         const evNode = await ctx.db.get(evId);
         if (evNode) {
           await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-            globalId: crypto.randomUUID(),
+            globalId: generateGlobalId(),
             fromGlobalId: globalId,
             toGlobalId: evNode.globalId,
             edgeType: "derived_from",
@@ -10663,7 +10811,7 @@ var createInternal = internalMutation({
       const evidenceNode = await ctx.db.get(edge.fromNodeId);
       if (evidenceNode) {
         await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-          globalId: crypto.randomUUID(),
+          globalId: generateGlobalId(),
           fromGlobalId: evidenceNode.globalId,
           toGlobalId: globalId,
           edgeType: "derived_from",
@@ -11880,11 +12028,21 @@ var mirrorEdgeToConvex = internalMutation({
       console.log(`[Dual-Write] Edge already exists: ${args.globalId}`);
       return buildEdgeMirrorWriteResult(existing._id, true);
     }
+    if (!toNode) {
+      console.log(
+        `[Dual-Write] Skipping mirror - to-node not in Convex: ${args.toGlobalId} (edge ${args.globalId} type ${args.edgeType})`
+      );
+      return buildEdgeMirrorSkippedResult();
+    }
     const now = Date.now();
-    const edgeId = await ctx.db.insert("epistemicEdges", {
+    const edgeId = await insertEpistemicEdge(ctx, {
       globalId: args.globalId,
-      fromNodeId: fromNode._id,
-      toNodeId: toNode?._id,
+      // C2-RR.4 Defect E — endpoints are canonical node globalIds, not Convex
+      // doc ids. fromNode/toNode are resolved by_globalId above, so their
+      // stored globalId equals args.from/toGlobalId; persisting the doc _id here
+      // was the "mixed _id/globalId" defect.
+      fromNodeId: fromNode.globalId,
+      toNodeId: toNode.globalId,
       sourceGlobalId: args.fromGlobalId,
       targetGlobalId: args.toGlobalId,
       // Preserve the canonical string value even when the local schema lags.
@@ -12230,17 +12388,17 @@ function normalizeEvidenceRelation(relation, weight, context) {
   return weight < 0 ? "contradicts" : "supports";
 }
 async function createEvidenceBeliefEdge(ctx, args) {
-  const edgeGlobalId = crypto.randomUUID();
+  const edgeGlobalId = generateGlobalId();
   const confidence = Math.abs(args.weight);
   const existingEdges = await ctx.db.query("epistemicEdges").withIndex(
     "by_from_to",
-    (q) => q.eq("fromNodeId", args.evidenceNodeId).eq("toNodeId", args.beliefNodeId)
+    (q) => q.eq("fromNodeId", args.evidenceGlobalId).eq("toNodeId", args.beliefGlobalId)
   ).collect();
   const existing = existingEdges.find((edge) => edge.edgeType === "informs");
   const edgeDoc = {
     globalId: edgeGlobalId,
-    fromNodeId: args.evidenceNodeId,
-    toNodeId: args.beliefNodeId,
+    fromNodeId: args.evidenceGlobalId,
+    toNodeId: args.beliefGlobalId,
     sourceGlobalId: args.evidenceGlobalId,
     targetGlobalId: args.beliefGlobalId,
     edgeType: "informs",
@@ -12272,7 +12430,7 @@ async function createEvidenceBeliefEdge(ctx, args) {
       createdAt: existing.createdAt ?? edgeDoc.createdAt
     });
   } else {
-    await ctx.db.insert("epistemicEdges", edgeDoc);
+    await insertEpistemicEdge(ctx, edgeDoc);
   }
   await ctx.scheduler.runAfter(5e3, internal.neo4jEdgeAPI.createEdge, {
     globalId: existing?.globalId ?? edgeGlobalId,
@@ -12311,10 +12469,23 @@ var create6 = mutation({
     sourceQuestionId: v.optional(v.string()),
     userId: v.string(),
     rationale: v.string(),
-    // Classification fields (from AI tools)
+    // RC.1 taxonomy fields — top-level projection (mirroring kernel evidenceCreate.ts)
+    sourceRef: v.optional(v.string()),
+    sourceQuality: v.optional(
+      v.union(
+        v.literal("primary"),
+        v.literal("analyzed"),
+        v.literal("secondary"),
+        v.literal("tertiary"),
+        v.literal("unknown")
+      )
+    ),
     methodology: v.optional(v.string()),
     informationAsymmetry: v.optional(v.string()),
     sourceDescription: v.optional(v.string()),
+    // signedImpact is derived from weight; accepted as an explicit override for
+    // callers that already have the signed value (kernel parity).
+    signedImpact: v.optional(v.number()),
     metadata: v.optional(v.any()),
     // Required belief impact link.
     linkedBeliefNodeId: v.id("epistemicNodes"),
@@ -12344,6 +12515,7 @@ var create6 = mutation({
     const kind = normalizeKind(args.kind);
     const sourceType = normalizeSourceType(args.sourceType);
     const weight = assertSignedImpactScore2(args.weight, "Evidence creation");
+    const signedImpact = args.signedImpact !== void 0 ? assertSignedImpactScore2(args.signedImpact, "Evidence creation signedImpact") : weight;
     const evidenceRelation = normalizeEvidenceRelation(
       args.evidenceRelation,
       weight,
@@ -12354,7 +12526,7 @@ var create6 = mutation({
       throw new Error("Evidence creation requires a linked belief node");
     }
     const additionalMetadata = args.metadata && typeof args.metadata === "object" ? args.metadata : {};
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -12369,6 +12541,15 @@ var create6 = mutation({
       status: "active",
       epistemicLayer: "L2",
       sourceType,
+      // RC.1 taxonomy fields — top-level projection
+      evidenceRelation,
+      signedImpact,
+      targetBeliefId: String(args.linkedBeliefNodeId),
+      ...typeof args.sourceRef === "string" && args.sourceRef.trim().length > 0 ? { sourceRef: args.sourceRef.trim() } : {},
+      ...typeof args.sourceQuality === "string" && args.sourceQuality.length > 0 ? { sourceQuality: args.sourceQuality } : {},
+      ...typeof args.methodology === "string" && args.methodology.length > 0 ? { methodology: args.methodology } : {},
+      ...typeof args.informationAsymmetry === "string" && args.informationAsymmetry.length > 0 ? { informationAsymmetry: args.informationAsymmetry } : {},
+      ...typeof args.sourceDescription === "string" && args.sourceDescription.trim().length > 0 ? { sourceDescription: args.sourceDescription.trim() } : {},
       createdAt: now,
       updatedAt: now,
       createdBy: args.userId,
@@ -12404,7 +12585,6 @@ var create6 = mutation({
       text: args.text
     });
     await createEvidenceBeliefEdge(ctx, {
-      evidenceNodeId: nodeId,
       evidenceGlobalId: globalId,
       beliefNodeId: args.linkedBeliefNodeId,
       beliefGlobalId: linkedBeliefNode.globalId,
@@ -12474,7 +12654,22 @@ var createAndLink = mutation({
     beliefNodeId: v.id("epistemicNodes"),
     relation: v.union(v.literal("supports"), v.literal("contradicts")),
     weight: v.number(),
-    confidence: v.optional(v.number())
+    confidence: v.optional(v.number()),
+    // RC.1 taxonomy fields — top-level projection (mirroring kernel evidenceCreate.ts)
+    sourceRef: v.optional(v.string()),
+    sourceQuality: v.optional(
+      v.union(
+        v.literal("primary"),
+        v.literal("analyzed"),
+        v.literal("secondary"),
+        v.literal("tertiary"),
+        v.literal("unknown")
+      )
+    ),
+    methodology: v.optional(v.string()),
+    informationAsymmetry: v.optional(v.string()),
+    sourceDescription: v.optional(v.string()),
+    signedImpact: v.optional(v.number())
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
@@ -12489,6 +12684,7 @@ var createAndLink = mutation({
     const kind = normalizeKind(args.kind);
     const sourceType = normalizeSourceType(args.sourceType);
     const weight = assertSignedImpactScore2(args.weight, "Evidence createAndLink");
+    const signedImpact = args.signedImpact !== void 0 ? assertSignedImpactScore2(args.signedImpact, "Evidence createAndLink signedImpact") : weight;
     const relation = normalizeEvidenceRelation(
       args.relation,
       weight,
@@ -12499,7 +12695,7 @@ var createAndLink = mutation({
     if (!beliefNode || beliefNode.nodeType !== "belief") {
       throw new Error("Belief node not found for edge creation");
     }
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -12511,6 +12707,15 @@ var createAndLink = mutation({
       status: "active",
       epistemicLayer: "L2",
       sourceType,
+      // RC.1 taxonomy fields — top-level projection
+      evidenceRelation: relation,
+      signedImpact,
+      targetBeliefId: String(args.beliefNodeId),
+      ...typeof args.sourceRef === "string" && args.sourceRef.trim().length > 0 ? { sourceRef: args.sourceRef.trim() } : {},
+      ...typeof args.sourceQuality === "string" && args.sourceQuality.length > 0 ? { sourceQuality: args.sourceQuality } : {},
+      ...typeof args.methodology === "string" && args.methodology.length > 0 ? { methodology: args.methodology } : {},
+      ...typeof args.informationAsymmetry === "string" && args.informationAsymmetry.length > 0 ? { informationAsymmetry: args.informationAsymmetry } : {},
+      ...typeof args.sourceDescription === "string" && args.sourceDescription.trim().length > 0 ? { sourceDescription: args.sourceDescription.trim() } : {},
       createdAt: now,
       updatedAt: now,
       createdBy: args.userId,
@@ -12529,7 +12734,6 @@ var createAndLink = mutation({
       operation: "upsert"
     });
     const edgeGlobalId = await createEvidenceBeliefEdge(ctx, {
-      evidenceNodeId: nodeId,
       evidenceGlobalId: globalId,
       beliefNodeId: args.beliefNodeId,
       beliefGlobalId: beliefNode.globalId,
@@ -12602,6 +12806,21 @@ var internalCreate2 = internalMutation({
     evidenceRelation: v.optional(v.string()),
     weight: v.number(),
     confidence: v.optional(v.number()),
+    // RC.1 taxonomy fields — top-level projection (mirroring kernel evidenceCreate.ts)
+    sourceRef: v.optional(v.string()),
+    sourceQuality: v.optional(
+      v.union(
+        v.literal("primary"),
+        v.literal("analyzed"),
+        v.literal("secondary"),
+        v.literal("tertiary"),
+        v.literal("unknown")
+      )
+    ),
+    methodology: v.optional(v.string()),
+    informationAsymmetry: v.optional(v.string()),
+    sourceDescription: v.optional(v.string()),
+    signedImpact: v.optional(v.number()),
     metadata: v.optional(v.any()),
     runtimeToolName: v.optional(v.string()),
     runtimePackKey: v.optional(v.string()),
@@ -12636,6 +12855,7 @@ var internalCreate2 = internalMutation({
     const kind = normalizeKind(args.kind);
     const sourceType = normalizeSourceType(args.sourceType);
     const weight = assertSignedImpactScore2(args.weight, "Internal evidence creation");
+    const signedImpact = args.signedImpact !== void 0 ? assertSignedImpactScore2(args.signedImpact, "Internal evidence creation signedImpact") : weight;
     const evidenceRelation = normalizeEvidenceRelation(
       args.evidenceRelation,
       weight,
@@ -12646,7 +12866,7 @@ var internalCreate2 = internalMutation({
       throw new Error("Internal evidence creation requires a linked belief node");
     }
     const additionalMetadata = args.metadata && typeof args.metadata === "object" ? args.metadata : {};
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -12661,6 +12881,15 @@ var internalCreate2 = internalMutation({
       status: "active",
       epistemicLayer: "L2",
       sourceType,
+      // RC.1 taxonomy fields — top-level projection
+      evidenceRelation,
+      signedImpact,
+      targetBeliefId: String(args.linkedBeliefNodeId),
+      ...typeof args.sourceRef === "string" && args.sourceRef.trim().length > 0 ? { sourceRef: args.sourceRef.trim() } : {},
+      ...typeof args.sourceQuality === "string" && args.sourceQuality.length > 0 ? { sourceQuality: args.sourceQuality } : {},
+      ...typeof args.methodology === "string" && args.methodology.length > 0 ? { methodology: args.methodology } : {},
+      ...typeof args.informationAsymmetry === "string" && args.informationAsymmetry.length > 0 ? { informationAsymmetry: args.informationAsymmetry } : {},
+      ...typeof args.sourceDescription === "string" && args.sourceDescription.trim().length > 0 ? { sourceDescription: args.sourceDescription.trim() } : {},
       createdAt: now,
       updatedAt: now,
       createdBy: args.userId,
@@ -12706,7 +12935,6 @@ var internalCreate2 = internalMutation({
       operation: "upsert"
     });
     await createEvidenceBeliefEdge(ctx, {
-      evidenceNodeId: nodeId,
       evidenceGlobalId: globalId,
       beliefNodeId: args.linkedBeliefNodeId,
       beliefGlobalId: linkedBeliefNode.globalId,
@@ -14235,7 +14463,7 @@ var create7 = mutation({
         "Workspace-scoped reasoning isolation requires topicId or projectId for non-ontological node creation."
       );
     }
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId: args.globalId,
       nodeType: args.nodeType,
       epistemicLayer,
@@ -14400,7 +14628,7 @@ var supersede = mutation({
     });
     const now = Date.now();
     const epistemicLayer = oldNode.epistemicLayer || getNodeLayer(oldNode.nodeType);
-    const newNodeId = await ctx.db.insert("epistemicNodes", {
+    const newNodeId = await insertEpistemicNode(ctx, {
       globalId: args.newGlobalId,
       nodeType: oldNode.nodeType,
       epistemicLayer,
@@ -14606,7 +14834,7 @@ var batchCreate2 = mutation({
       });
       const epistemicLayer = getNodeLayer(node.nodeType);
       const resolvedScope = await resolveNodeScope(node);
-      const nodeId = await ctx.db.insert("epistemicNodes", {
+      const nodeId = await insertEpistemicNode(ctx, {
         ...node,
         epistemicLayer,
         // Phase 2B: Auto-derived from nodeType
@@ -14708,7 +14936,7 @@ var createInternal2 = internalMutation({
     })() : void 0;
     const contentHash = args.contentHash || `${args.nodeType}:${args.canonicalText}`.slice(0, 64);
     const epistemicLayer = args.epistemicLayer || getNodeLayer(args.nodeType);
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId: args.globalId,
       nodeType: args.nodeType,
       epistemicLayer,
@@ -15316,7 +15544,7 @@ var create8 = mutation({
     const globalId = generateGlobalId();
     const contentHash = generateContentHash6(args.question);
     const category = normalizeCategory(args.category);
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -15484,7 +15712,7 @@ var createBatch = mutation({
       const globalId = generateGlobalId();
       const contentHash = generateContentHash6(q.question);
       const category = normalizeCategory(q.category);
-      const nodeId = await ctx.db.insert("epistemicNodes", {
+      const nodeId = await insertEpistemicNode(ctx, {
         globalId,
         topicId: scope.topicId,
         projectId: scope.projectId,
@@ -15536,7 +15764,7 @@ var createBatch = mutation({
         const beliefNode = await ctx.db.get(q.linkedBeliefNodeId);
         if (beliefNode) {
           await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-            globalId: crypto.randomUUID(),
+            globalId: generateGlobalId(),
             fromGlobalId: beliefNode.globalId,
             toGlobalId: globalId,
             edgeType: "tests",
@@ -15600,7 +15828,7 @@ var internalCreate3 = internalMutation({
     const globalId = generateGlobalId();
     const contentHash = generateContentHash6(args.question);
     const category = normalizeCategory(args.category);
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -15632,7 +15860,7 @@ var internalCreate3 = internalMutation({
       const beliefNode = await ctx.db.get(args.linkedBeliefNodeId);
       if (beliefNode) {
         await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
-          globalId: crypto.randomUUID(),
+          globalId: generateGlobalId(),
           fromGlobalId: beliefNode.globalId,
           toGlobalId: globalId,
           edgeType: "tests",
@@ -15703,7 +15931,7 @@ var addQuestion = mutation({
     const contentHash = generateContentHash6(args.question);
     const category = normalizeCategory(args.category);
     const additionalMetadata = args.metadata && typeof args.metadata === "object" ? args.metadata : {};
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,
@@ -16377,7 +16605,7 @@ var consolidate = mutation({
     const now = Date.now();
     const globalId = generateGlobalId();
     const contentHash = generateContentHash6(args.consolidatedQuestion);
-    const newNodeId = await ctx.db.insert("epistemicNodes", {
+    const newNodeId = await insertEpistemicNode(ctx, {
       globalId,
       projectId: scope.projectId,
       topicId: scope.topicId,
@@ -16642,7 +16870,7 @@ var createEvidenceFromScoredQuestion = internalMutation({
 A: ${args.answerText}`;
     const globalId = generateGlobalId();
     const contentHash = `evidence:${args.questionNodeId}:scored`;
-    const evidenceNodeId = await ctx.db.insert("epistemicNodes", {
+    const evidenceNodeId = await insertEpistemicNode(ctx, {
       globalId,
       projectId: args.projectId,
       topicId: normalizeQuestionTopicId(args.topicId),
@@ -18116,7 +18344,7 @@ var upsertSource = mutation({
       capturedAt: normalizeNumber(args.capturedAt),
       metadata: metadataPatch
     });
-    const nodeId = await ctx.db.insert("epistemicNodes", {
+    const nodeId = await insertEpistemicNode(ctx, {
       globalId,
       topicId: scope.topicId,
       projectId: scope.projectId,