@lucern/graph-primitives 1.0.22 → 1.0.24

package/dist/epistemicEdges.mutations.js

@@ -342,6 +342,9 @@ function materializeTopicProjectOverlay(topic, idMode = "legacy") {
     type: mapProjectType(topic, metadata),
     description: readNonEmptyString(topic.description),
     ownerId: readNonEmptyString(metadata.ownerId) || readNonEmptyString(topic.createdBy) || "system",
+    // FR.7 creator-grant: surface the principal-shaped owner field (column-first,
+    // metadata fallback for legacy rows that recorded it in metadata).
+    ownerPrincipalId: readNonEmptyString(topic.ownerPrincipalId) || readNonEmptyString(metadata.ownerPrincipalId),
     sharedWith: readStringArray(metadata.sharedWith),
     visibility,
     tenantId: readNonEmptyString(topic.tenantId) || readNonEmptyString(metadata.tenantId),
@@ -536,6 +539,35 @@ function resolveGraphPrimitivesAppResolvers(_ctx) {
   };
 }
 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;
@@ -676,6 +708,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);
@@ -746,6 +785,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.`
     );
@@ -935,7 +984,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];