@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/beliefEvidenceLinks.operational.d.ts

@@ -1,16 +1,18 @@
 import { MutationCtx, Id } from './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 
 type BeliefEvidenceRelation = "supports" | "contradicts";
-type EpistemicNode = {
+interface EpistemicNode {
     _id: Id<"epistemicNodes">;
-    nodeType?: string;
+    contradictingInsightIds?: Id<"epistemicNodes">[];
     globalId?: string;
+    nodeType?: string;
     projectId?: string;
-    topicId?: string | Id<"topics">;
     supportingInsightIds?: Id<"epistemicNodes">[];
-    contradictingInsightIds?: Id<"epistemicNodes">[];
-};
+    topicId?: string | Id<"topics">;
+}
 declare function applyOperationalLinkEffects(ctx: MutationCtx, args: {
     beliefNode: EpistemicNode;
     beliefId: Id<"epistemicNodes">;

package/dist/beliefEvidenceLinks.operational.js

@@ -1,13 +1,20 @@
-import { componentsGeneric, anyApi } from 'convex/server';
-import { generateGlobalId, assertUuidV7Identity, assertStorageEdgeVocabulary, assertUuidShapedEdgeEndpoint } from '@lucern/contracts/ids';
+import { unsafeConvexAnyApi } from '@lucern/contracts/convex/unsafeAnyApi';
+import { componentsGeneric } from 'convex/server';
 import { assertEdgePolicyAllowed, edgePolicyManifest } from '@lucern/contracts';
+import { generateGlobalId, assertUuidV7Identity, assertStorageEdgeVocabulary, assertUuidShapedEdgeEndpoint } from '@lucern/contracts/ids';
 
 // src/convex.ts
+var unsafeApi = unsafeConvexAnyApi(
+  "graph-primitives top-level module bundle lacks a committed Convex _generated/api surface"
+);
 componentsGeneric();
-var internal = anyApi;
+var internal = unsafeApi;
 async function assertExistingNodeEndpoint(ctx, endpointRole, endpoint) {
   assertUuidShapedEdgeEndpoint(endpointRole, endpoint);
-  const node = await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", endpoint)).first();
+  const node = await ctx.db.query("epistemicNodes").withIndex(
+    "by_globalId",
+    (q) => q.eq("globalId", endpoint)
+  ).first();
   if (!node) {
     throw new Error(
       `edge_endpoint_not_canonical: epistemicEdges insert requires ${endpointRole} to be the globalId of an existing epistemicNodes row, received ${endpoint} (no node with that globalId)`
@@ -49,9 +56,72 @@ async function insertEpistemicEdge(ctx, doc) {
 }
 
 // src/beliefEvidenceLinks.operational.ts
+function isRecord(value) {
+  return typeof value === "object" && value !== null;
+}
+function readConvexId(value) {
+  return typeof value === "string" && value.length > 0 ? value : null;
+}
+function readEpistemicEdgeDoc(value) {
+  if (!isRecord(value)) {
+    return null;
+  }
+  const id = readConvexId(value._id);
+  if (!id || typeof value.edgeType !== "string" || typeof value.globalId !== "string") {
+    return null;
+  }
+  return {
+    _id: id,
+    edgeType: value.edgeType,
+    globalId: value.globalId
+  };
+}
+function readInsightIdArray(value) {
+  if (!Array.isArray(value)) {
+    return [];
+  }
+  return value.flatMap((entry) => {
+    const id = readConvexId(entry);
+    return id ? [id] : [];
+  });
+}
+function readInsightIdCollections(value) {
+  if (!isRecord(value)) {
+    return {
+      contradictingInsightIds: [],
+      supportingInsightIds: []
+    };
+  }
+  return {
+    contradictingInsightIds: readInsightIdArray(value.contradictingInsightIds),
+    supportingInsightIds: readInsightIdArray(value.supportingInsightIds)
+  };
+}
+function readSpineNodeDoc(value) {
+  if (!isRecord(value)) {
+    return null;
+  }
+  const id = readConvexId(value._id);
+  if (!id || typeof value.globalId !== "string" || typeof value.nodeType !== "string") {
+    return null;
+  }
+  return {
+    _id: id,
+    globalId: value.globalId,
+    nodeType: value.nodeType
+  };
+}
+async function insertOperationalEpistemicEdge(ctx, doc) {
+  await insertEpistemicEdge(
+    ctx,
+    doc
+  );
+}
 function assertEvidenceImpact(args) {
   if (!Number.isFinite(args.weight) || args.weight === 0 || args.weight < -1 || args.weight > 1) {
-    throw new Error("Belief evidence links require explicit nonzero weight in [-1, 1]");
+    throw new Error(
+      "Belief evidence links require explicit nonzero weight in [-1, 1]"
+    );
   }
   if (args.relation === "supports" && args.weight < 0) {
     throw new Error("Supporting evidence links require positive weight");
@@ -81,13 +151,15 @@ async function applyOperationalLinkEffects(ctx, args) {
     });
   }
   try {
-    const beliefSpineNode = await ctx.db.get(args.beliefId);
-    const evidenceSpineNode = await ctx.db.get(args.insightId);
+    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));
+    const evidenceSpineNode = readSpineNodeDoc(
+      await ctx.db.get(args.insightId)
+    );
     if (beliefSpineNode?.nodeType === "belief" && evidenceSpineNode?.nodeType === "evidence") {
-      const existingEdges = await ctx.db.query("epistemicEdges").withIndex(
+      const existingEdges = (await ctx.db.query("epistemicEdges").withIndex(
         "by_from_to",
         (q) => q.eq("fromNodeId", evidenceSpineNode.globalId).eq("toNodeId", beliefSpineNode.globalId)
-      ).collect();
+      ).collect()).map(readEpistemicEdgeDoc).filter((edge) => edge !== null);
       for (const edge of existingEdges) {
         if (edge.edgeType === "informs") {
           await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {
@@ -98,7 +170,7 @@ async function applyOperationalLinkEffects(ctx, args) {
       }
       const globalId = generateGlobalId();
       const context = args.rationale || `Linked as ${args.relation}`;
-      await insertEpistemicEdge(ctx, {
+      await insertOperationalEpistemicEdge(ctx, {
         globalId,
         // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.
         fromNodeId: evidenceSpineNode.globalId,
@@ -159,30 +231,31 @@ async function applyOperationalLinkEffects(ctx, args) {
 async function removeOperationalLinkEffects(ctx, args) {
   const belief = await ctx.db.get(args.beliefId);
   if (belief) {
-    const currentSupporting = belief.supportingInsightIds ?? [];
-    const currentContradicting = belief.contradictingInsightIds ?? [];
+    const { contradictingInsightIds, supportingInsightIds } = readInsightIdCollections(belief);
     if (args.relation === "supports") {
       await ctx.db.patch(args.beliefId, {
-        supportingInsightIds: currentSupporting.filter(
+        supportingInsightIds: supportingInsightIds.filter(
           (id) => id !== args.insightId
         )
       });
     } else {
       await ctx.db.patch(args.beliefId, {
-        contradictingInsightIds: currentContradicting.filter(
+        contradictingInsightIds: contradictingInsightIds.filter(
           (id) => id !== args.insightId
         )
       });
     }
   }
   try {
-    const beliefSpineNode = await ctx.db.get(args.beliefId);
-    const evidenceSpineNode = await ctx.db.get(args.insightId);
+    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));
+    const evidenceSpineNode = readSpineNodeDoc(
+      await ctx.db.get(args.insightId)
+    );
     if (beliefSpineNode?.nodeType === "belief" && evidenceSpineNode?.nodeType === "evidence") {
-      const edges = await ctx.db.query("epistemicEdges").withIndex(
+      const edges = (await ctx.db.query("epistemicEdges").withIndex(
         "by_from_to",
         (q) => q.eq("fromNodeId", evidenceSpineNode._id).eq("toNodeId", beliefSpineNode._id)
-      ).collect();
+      ).collect()).map(readEpistemicEdgeDoc).filter((edge) => edge !== null);
       for (const edge of edges) {
         if (edge.edgeType === "informs") {
           await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {

package/dist/beliefEvidenceLinks.operational.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/beliefEvidenceLinks.operational.ts"],"names":[],"mappings":";;;;;AAyB0B,iBAAA;AACnB,IAAM,QAAA,GAAW,MAAA;ACKxB,eAAe,0BAAA,CACb,GAAA,EACA,YAAA,EACA,QAAA,EACe;AACf,EAAA,4BAAA,CAA6B,cAAc,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CACpB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA,CAAU,aAAA,EAAe,CAAC,MAAW,CAAA,CAAE,EAAA,CAAG,YAAY,QAAQ,CAAC,EAC/D,KAAA,EAAM;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,4DAAA,EAA+D,YAAY,CAAA,gEAAA,EAAmE,QAAQ,CAAA,6BAAA;AAAA,KACxJ;AAAA,EACF;AACF;AAEA,eAAsB,mBAAA,CACpB,KACA,GAAA,EAC+B;AAC/B,EAAA,oBAAA,CAAqB,gBAAA,EAAkB,IAAI,QAAQ,CAAA;AAGnD,EAAA,2BAAA,CAA4B,IAAI,QAAQ,CAAA;AAGxC,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,IAAc,OAAO,GAAA,CAAI,eAAe,QAAA,EAAU;AACzD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,CAAC,GAAA,CAAI,QAAA,IAAY,OAAO,GAAA,CAAI,aAAa,QAAA,EAAU;AACrD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAOA,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,YAAA,EAAc,GAAA,CAAI,UAAU,CAAA;AAClE,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,UAAA,EAAY,GAAA,CAAI,QAAQ,CAAA;AAG9D,EAAA,IAAI,IAAI,YAAA,IAAgB,GAAA,CAAI,UAAA,IAAc,GAAA,CAAI,aAAa,gBAAA,EAAkB;AAC3E,IAAA,uBAAA;AAAA,MACE,kBAAA;AAAA,MACA,GAAA,CAAI,QAAA;AAAA,MACJ;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,UAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA,OAChB;AAAA,MACA;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,QAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA;AAChB,KACF;AAAA,EACF;AAEA,EAAA,OAAO,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,gBAAA,EAAkB,GAAG,CAAA;AAC5C;;;AC7EA,SAAS,qBAAqB,IAAA,EAG3B;AACD,EAAA,IACE,CAAC,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA,IAC5B,IAAA,CAAK,MAAA,KAAW,CAAA,IAChB,IAAA,CAAK,MAAA,GAAS,EAAA,IACd,IAAA,CAAK,SAAS,CAAA,EACd;AACA,IAAA,MAAM,IAAI,MAAM,kEAAkE,CAAA;AAAA,EACpF;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,UAAA,IAAc,IAAA,CAAK,SAAS,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,aAAA,IAAiB,IAAA,CAAK,SAAS,CAAA,EAAG;AACtD,IAAA,MAAM,IAAI,MAAM,sDAAsD,CAAA;AAAA,EACxE;AACF;AAEA,eAAsB,2BAAA,CACpB,KACA,IAAA,EASe;AACf,EAAA,oBAAA,CAAqB,EAAE,QAAA,EAAU,IAAA,CAAK,UAAU,MAAA,EAAQ,IAAA,CAAK,QAAQ,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,EAAA,MAAM,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,oBAAA,IAAwB,EAAC;AACnE,EAAA,MAAM,oBAAA,GAAuB,IAAA,CAAK,UAAA,CAAW,uBAAA,IAA2B,EAAC;AAEzE,EAAA,IAAI,IAAA,CAAK,aAAa,UAAA,IAAc,CAAC,kBAAkB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAAG;AAC/E,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,oBAAA,EAAsB,CAAC,GAAG,iBAAA,EAAmB,KAAK,SAAS,CAAA;AAAA,MAC3D,yBAAyB,oBAAA,CAAqB,MAAA;AAAA,QAC5C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH,CAAA,MAAA,IACE,KAAK,QAAA,KAAa,aAAA,IAClB,CAAC,oBAAA,CAAqB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC7C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,uBAAA,EAAyB,CAAC,GAAG,oBAAA,EAAsB,KAAK,SAAS,CAAA;AAAA,MACjE,sBAAsB,iBAAA,CAAkB,MAAA;AAAA,QACtC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,kBAAkB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AACtD,IAAA,MAAM,oBAAoB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS,CAAA;AAEzD,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,gBAAgB,MAAM,GAAA,CAAI,EAAA,CAC7B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,QAAQ,CAAA,CAC3C,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,QAAQ;AAAA,QAE3C,OAAA,EAAQ;AAEX,MAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAEA,MAAA,MAAM,WAAW,gBAAA,EAAiB;AAClC,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,SAAA,IAAa,CAAA,UAAA,EAAa,KAAK,QAAQ,CAAA,CAAA;AAC5D,MAAA,MAAM,oBAAoB,GAAA,EAAK;AAAA,QAC7B,QAAA;AAAA;AAAA,QAEA,YAAY,iBAAA,CAAkB,QAAA;AAAA,QAC9B,UAAU,eAAA,CAAgB,QAAA;AAAA,QAC1B,gBAAgB,iBAAA,CAAkB,QAAA;AAAA,QAClC,gBAAgB,eAAA,CAAgB,QAAA;AAAA,QAChC,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,eAAA,EAAiB,aAAA;AAAA,QACjB,cAAA,EAAgB,qBAAA;AAAA,QAChB,QAAA,EAAU;AAAA,UACR,UAAU,IAAA,CAAK,QAAA;AAAA,UACf,UAAA;AAAA,UACA,aAAa,IAAA,CAAK,MAAA;AAAA,UAClB,SAAA,EAAW;AAAA,SACb;AAAA,QACA,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,QAC3B,OAAA,EAAS,KAAK,UAAA,CAAW,OAAA,GAAU,OAAO,IAAA,CAAK,UAAA,CAAW,OAAO,CAAA,GAAI,KAAA,CAAA;AAAA,QACrE,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAED,MAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,QAChE,QAAA;AAAA,QACA,cAAc,iBAAA,CAAkB,QAAA;AAAA,QAChC,YAAY,eAAA,CAAgB,QAAA;AAAA,QAC5B,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA,GAAY,OAAO,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAAI,KAAA,CAAA;AAAA,QAC3E,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAAA,IACH;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,SAAA,EAAW;AAC7B,IAAA,MAAM,GAAA,CAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,wCAAA,EAA0C;AAAA,MACxE,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,UAAA,EAAY,QAAA;AAAA,MACZ,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,MAC3B,QAAQ,IAAA,CAAK;AAAA,KACd,CAAA;AAAA,EACH;AACF;AAEA,eAAsB,4BAAA,CACpB,KACA,IAAA,EAKe;AACf,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AAC7C,EAAA,IAAI,MAAA,EAAQ;AACV,IAAA,MAAM,iBAAA,GAAoB,MAAA,CAAO,oBAAA,IAAwB,EAAC;AAC1D,IAAA,MAAM,oBAAA,GAAuB,MAAA,CAAO,uBAAA,IAA2B,EAAC;AAEhE,IAAA,IAAI,IAAA,CAAK,aAAa,UAAA,EAAY;AAChC,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,sBAAsB,iBAAA,CAAkB,MAAA;AAAA,UACtC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH,CAAA,MAAO;AACL,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,yBAAyB,oBAAA,CAAqB,MAAA;AAAA,UAC5C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH;AAAA,EACF;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,kBAAkB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AACtD,IAAA,MAAM,oBAAoB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS,CAAA;AAEzD,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,QAAQ,MAAM,GAAA,CAAI,EAAA,CACrB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CAAE,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,GAAG,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,GAAG;AAAA,QAE7E,OAAA,EAAQ;AAEX,MAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAAA,IACF;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AACF","file":"beliefEvidenceLinks.operational.js","sourcesContent":["import {\n  actionGeneric,\n  anyApi,\n  componentsGeneric,\n  httpActionGeneric,\n  internalActionGeneric,\n  internalMutationGeneric,\n  internalQueryGeneric,\n  mutationGeneric,\n  queryGeneric,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\n\n// TODO(FR.11-structural): `api`/`internal`/`components` are `anyApi as any`\n// because this module source tree is bundled into the kernel host at deploy time\n// and has NO top-level Convex `_generated/` directory to import a typed surface\n// from. Every `api.*` / `internal.*` / string-literal cross-component ref in this\n// module (topicScope.ts, topicProjectOverlay.ts, questionEvidenceLinks.ts,\n// beliefEvidenceLinks*.ts, epistemicQuestions.helpers.ts) inherits `any` from\n// here. The fix is structural — generate a per-module typed surface or a shared\n// typed function-reference manifest (template: the typed `components.controlPlane`\n// in modules/control-plane/src/component/convex.ts and the\n// `KERNEL_API_REF_MANIFEST` pattern in packages/server-core/src/kernelApi.ts) —\n// owned by the FR.11 closing/synthesis pass, not a mechanical swap.\nexport const api = anyApi as any;\nexport const components = componentsGeneric() as any;\nexport const internal = anyApi as any;\n\nexport type TableNames = string;\nexport type Id<TableName extends TableNames = string> = GenericId<TableName>;\nexport type Doc<TableName extends TableNames = string> = any;\nexport type DataModel = any;\ntype IndexRangeBuilder = {\n  field(fieldName: string): string;\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n  gt(fieldName: string, value: unknown): IndexRangeBuilder;\n  gte(fieldName: string, value: unknown): IndexRangeBuilder;\n  lt(fieldName: string, value: unknown): IndexRangeBuilder;\n  lte(fieldName: string, value: unknown): IndexRangeBuilder;\n};\ntype FilterBuilder = {\n  eq(left: unknown, right: unknown): unknown;\n  neq(left: unknown, right: unknown): unknown;\n  gt(left: unknown, right: unknown): unknown;\n  gte(left: unknown, right: unknown): unknown;\n  lt(left: unknown, right: unknown): unknown;\n  lte(left: unknown, right: unknown): unknown;\n  and(...clauses: unknown[]): unknown;\n  or(...clauses: unknown[]): unknown;\n  field(fieldName: string): unknown;\n};\ntype QueryInitializer<TableName extends TableNames> = {\n  withIndex(\n    indexName: string,\n    range?: (q: any) => unknown\n  ): QueryInitializer<TableName>;\n  filter(predicate: (q: any) => unknown): QueryInitializer<TableName>;\n  order(direction: \"asc\" | \"desc\"): QueryInitializer<TableName>;\n  collect(): Promise<Doc<TableName>[]>;\n  take(limit: number): Promise<Doc<TableName>[]>;\n  first(): Promise<Doc<TableName> | null>;\n  unique(): Promise<Doc<TableName> | null>;\n};\nexport type DatabaseReader = {\n  get<TableName extends TableNames>(\n    id: Id<TableName>\n  ): Promise<Doc<TableName> | null>;\n  query<TableName extends TableNames>(\n    tableName: TableName\n  ): QueryInitializer<TableName>;\n  normalizeId?<TableName extends TableNames>(\n    tableName: TableName,\n    id: string\n  ): Id<TableName> | null;\n};\nexport type DatabaseWriter = DatabaseReader & {\n  insert<TableName extends TableNames>(\n    tableName: TableName,\n    value: Record<string, unknown>\n  ): Promise<Id<TableName>>;\n  patch<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  replace<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  delete<TableName extends TableNames>(id: Id<TableName>): Promise<void>;\n};\ntype Scheduler = {\n  runAfter(delayMs: number, functionReference: unknown, args?: unknown): Promise<void>;\n};\ntype AuthReader = {\n  getUserIdentity(): Promise<unknown>;\n};\ntype RuntimeInvoker = {\n  runQuery(functionReference: unknown, args?: unknown): Promise<any>;\n  runMutation(functionReference: unknown, args?: unknown): Promise<any>;\n  runAction(functionReference: unknown, args?: unknown): Promise<any>;\n};\nexport type QueryCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseReader;\n  scheduler: Scheduler;\n};\nexport type MutationCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseWriter;\n  scheduler: Scheduler;\n};\nexport type ActionCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  scheduler: Scheduler;\n};\n\ntype ConvexFunctionBuilder<Ctx> = <\n  Definition extends { handler?: (ctx: Ctx, args: any) => any },\n>(\n  definition: Definition\n) => any;\n\nexport const action = actionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const httpAction =\n  httpActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalAction =\n  internalActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalMutation =\n  internalMutationGeneric as unknown as ConvexFunctionBuilder<MutationCtx>;\nexport const internalQuery =\n  internalQueryGeneric as unknown as ConvexFunctionBuilder<QueryCtx>;\nexport const mutation =\n  mutationGeneric as unknown as ConvexFunctionBuilder<MutationCtx>;\nexport const query = queryGeneric as unknown as ConvexFunctionBuilder<QueryCtx>;\n","import type { WithoutSystemFields } from \"convex/server\";\nimport {\n  assertUuidV7Identity,\n  assertStorageEdgeVocabulary,\n  assertUuidShapedEdgeEndpoint,\n} from \"@lucern/contracts/ids\";\nimport {\n  assertEdgePolicyAllowed,\n  edgePolicyManifest,\n  type EpistemicNodeType,\n} from \"@lucern/contracts\";\nimport type { Doc, Id, MutationCtx } from \"./convex\";\n\nexport async function insertEpistemicNode(\n  ctx: MutationCtx,\n  doc: WithoutSystemFields<Doc<\"epistemicNodes\">>,\n): Promise<Id<\"epistemicNodes\">> {\n  assertUuidV7Identity(\"epistemicNodes\", doc.globalId);\n  return ctx.db.insert(\"epistemicNodes\", doc);\n}\n\n/**\n * C2-RR.4b — REFERENTIAL edge-endpoint canonicality (amends RR.4's FORMAT guard).\n *\n * Proves an endpoint is the `globalId` of an EXISTING `epistemicNodes` row, not\n * that it has a v7 shape. Refuses doc-ids and fabricated/unknown endpoints while\n * keeping legacy v4-`globalId` nodes (the established prod corpus) linkable.\n * SHAPE pre-filter accepts both v4 and v7; the indexed `by_globalId` lookup is\n * the referential authority (no full scan). v7-format stays enforced only at new\n * identity minting (`assertUuidV7Identity`). See c2-rr4b-endpoint-referential.\n */\nasync function assertExistingNodeEndpoint(\n  ctx: MutationCtx,\n  endpointRole: \"fromNodeId\" | \"toNodeId\",\n  endpoint: string,\n): Promise<void> {\n  assertUuidShapedEdgeEndpoint(endpointRole, endpoint);\n  const node = await ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_globalId\", (q: any) => q.eq(\"globalId\", endpoint))\n    .first();\n  if (!node) {\n    throw new Error(\n      `edge_endpoint_not_canonical: epistemicEdges insert requires ${endpointRole} to be the globalId of an existing epistemicNodes row, received ${endpoint} (no node with that globalId)`,\n    );\n  }\n}\n\nexport async function insertEpistemicEdge(\n  ctx: MutationCtx,\n  doc: WithoutSystemFields<Doc<\"epistemicEdges\">>,\n): Promise<Id<\"epistemicEdges\">> {\n  assertUuidV7Identity(\"epistemicEdges\", doc.globalId);\n\n  // R1.1a — STORAGE-VOCABULARY MEMBERSHIP\n  assertStorageEdgeVocabulary(doc.edgeType);\n\n  // R1.1b — ENDPOINT PRESENCE\n  if (!doc.fromNodeId || typeof doc.fromNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty fromNodeId\"\n    );\n  }\n  if (!doc.toNodeId || typeof doc.toNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty toNodeId\"\n    );\n  }\n\n  // C2-RR.4b Defect E (REFERENTIAL) — ENDPOINT CANONICAL IDENTITY. Edge\n  // endpoints must each be the globalId of an EXISTING epistemicNodes row,\n  // never a Convex doc id, a legacy topic id, or a fabricated/unknown uuid.\n  // This refuses the mixed _id/globalId endpoint writes at the floor while\n  // keeping legacy v4-globalId nodes linkable (RR.4b prod-incident cure).\n  await assertExistingNodeEndpoint(ctx, \"fromNodeId\", doc.fromNodeId);\n  await assertExistingNodeEndpoint(ctx, \"toNodeId\", doc.toNodeId);\n\n  // R1.1c — FULL POLICY ASSERT (when nodeTypes are present and edgeType is in public manifest)\n  if (doc.fromNodeType && doc.toNodeType && doc.edgeType !== \"extracted_from\") {\n    assertEdgePolicyAllowed(\n      edgePolicyManifest,\n      doc.edgeType,\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.fromNodeId,\n        nodeType: doc.fromNodeType as EpistemicNodeType,\n      },\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.toNodeId,\n        nodeType: doc.toNodeType as EpistemicNodeType,\n      }\n    );\n  }\n\n  return ctx.db.insert(\"epistemicEdges\", doc);\n}\n","import type { Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { generateGlobalId } from \"./globalId\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\n\ntype BeliefEvidenceRelation = \"supports\" | \"contradicts\";\ntype IndexRangeBuilder = {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n};\ntype EpistemicNode = {\n  _id: Id<\"epistemicNodes\">;\n  nodeType?: string;\n  globalId?: string;\n  projectId?: string;\n  topicId?: string | Id<\"topics\">;\n  supportingInsightIds?: Id<\"epistemicNodes\">[];\n  contradictingInsightIds?: Id<\"epistemicNodes\">[];\n};\n\nfunction assertEvidenceImpact(args: {\n  relation: BeliefEvidenceRelation;\n  weight: number;\n}) {\n  if (\n    !Number.isFinite(args.weight) ||\n    args.weight === 0 ||\n    args.weight < -1 ||\n    args.weight > 1\n  ) {\n    throw new Error(\"Belief evidence links require explicit nonzero weight in [-1, 1]\");\n  }\n  if (args.relation === \"supports\" && args.weight < 0) {\n    throw new Error(\"Supporting evidence links require positive weight\");\n  }\n  if (args.relation === \"contradicts\" && args.weight > 0) {\n    throw new Error(\"Contradicting evidence links require negative weight\");\n  }\n}\n\nexport async function applyOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefNode: EpistemicNode;\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n    weight: number;\n    rationale?: string;\n    createdBy: string;\n  },\n): Promise<void> {\n  assertEvidenceImpact({ relation: args.relation, weight: args.weight });\n  const confidence = Math.abs(args.weight);\n  const currentSupporting = args.beliefNode.supportingInsightIds ?? [];\n  const currentContradicting = args.beliefNode.contradictingInsightIds ?? [];\n\n  if (args.relation === \"supports\" && !currentSupporting.includes(args.insightId)) {\n    await ctx.db.patch(args.beliefId, {\n      supportingInsightIds: [...currentSupporting, args.insightId],\n      contradictingInsightIds: currentContradicting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId,\n      ),\n    });\n  } else if (\n    args.relation === \"contradicts\" &&\n    !currentContradicting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      contradictingInsightIds: [...currentContradicting, args.insightId],\n      supportingInsightIds: currentSupporting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId,\n      ),\n    });\n  }\n\n  try {\n    const beliefSpineNode = await ctx.db.get(args.beliefId);\n    const evidenceSpineNode = await ctx.db.get(args.insightId);\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const existingEdges = await ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n          q\n            .eq(\"fromNodeId\", evidenceSpineNode.globalId)\n            .eq(\"toNodeId\", beliefSpineNode.globalId),\n        )\n        .collect();\n\n      for (const edge of existingEdges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n\n      const globalId = generateGlobalId();\n      const context = args.rationale || `Linked as ${args.relation}`;\n      await insertEpistemicEdge(ctx, {\n        globalId,\n        // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.\n        fromNodeId: evidenceSpineNode.globalId,\n        toNodeId: beliefSpineNode.globalId,\n        sourceGlobalId: evidenceSpineNode.globalId,\n        targetGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        reasoningMethod: \"testimonial\",\n        derivationType: \"evidence_sl_scoring\",\n        metadata: {\n          relation: args.relation,\n          confidence,\n          impactScore: args.weight,\n          invariant: \"evidence.belief_impact_required\",\n        },\n        createdBy: args.createdBy,\n        createdAt: Date.now(),\n        updatedAt: Date.now(),\n        projectId: args.beliefNode.projectId,\n        topicId: args.beliefNode.topicId ? String(args.beliefNode.topicId) : undefined,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n\n      await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n        globalId,\n        fromGlobalId: evidenceSpineNode.globalId,\n        toGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        projectId: args.beliefNode.projectId ? String(args.beliefNode.projectId) : undefined,\n        createdBy: args.createdBy,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to create informs edge:\", e);\n  }\n\n  if (args.beliefNode.projectId) {\n    await ctx.scheduler.runAfter(0, \"verificationActions:deepVerifyEvidence\", {\n      insightId: args.insightId,\n      targetType: \"belief\",\n      targetId: args.beliefId,\n      projectId: args.beliefNode.projectId,\n      userId: args.createdBy,\n    });\n  }\n}\n\nexport async function removeOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n  },\n): Promise<void> {\n  const belief = await ctx.db.get(args.beliefId);\n  if (belief) {\n    const currentSupporting = belief.supportingInsightIds ?? [];\n    const currentContradicting = belief.contradictingInsightIds ?? [];\n\n    if (args.relation === \"supports\") {\n      await ctx.db.patch(args.beliefId, {\n        supportingInsightIds: currentSupporting.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId,\n        ),\n      });\n    } else {\n      await ctx.db.patch(args.beliefId, {\n        contradictingInsightIds: currentContradicting.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId,\n        ),\n      });\n    }\n  }\n\n  try {\n    const beliefSpineNode = await ctx.db.get(args.beliefId);\n    const evidenceSpineNode = await ctx.db.get(args.insightId);\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const edges = await ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n          q.eq(\"fromNodeId\", evidenceSpineNode._id).eq(\"toNodeId\", beliefSpineNode._id),\n        )\n        .collect();\n\n      for (const edge of edges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to remove informs edge:\", e);\n  }\n}\n"]}
+{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/beliefEvidenceLinks.operational.ts"],"names":[],"mappings":";;;;;;AA4BA,IAAM,SAAA,GAAY,kBAAA;AAAA,EAChB;AACF,CAAA;AAGE,iBAAA;AACK,IAAM,QAAA,GAAW,SAAA;ACcxB,eAAe,0BAAA,CACb,GAAA,EACA,YAAA,EACA,QAAA,EACe;AACf,EAAA,4BAAA,CAA6B,cAAc,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CACpB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,aAAA;AAAA,IAAe,CAAC,CAAA,KACzB,CAAA,CAAE,EAAA,CAAG,YAAY,QAAQ;AAAA,IAE1B,KAAA,EAAM;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,4DAAA,EAA+D,YAAY,CAAA,gEAAA,EAAmE,QAAQ,CAAA,6BAAA;AAAA,KACxJ;AAAA,EACF;AACF;AAEA,eAAsB,mBAAA,CACpB,KACA,GAAA,EAC+B;AAC/B,EAAA,oBAAA,CAAqB,gBAAA,EAAkB,IAAI,QAAQ,CAAA;AAGnD,EAAA,2BAAA,CAA4B,IAAI,QAAQ,CAAA;AAGxC,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,IAAc,OAAO,GAAA,CAAI,eAAe,QAAA,EAAU;AACzD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,CAAC,GAAA,CAAI,QAAA,IAAY,OAAO,GAAA,CAAI,aAAa,QAAA,EAAU;AACrD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAOA,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,YAAA,EAAc,GAAA,CAAI,UAAU,CAAA;AAClE,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,UAAA,EAAY,GAAA,CAAI,QAAQ,CAAA;AAG9D,EAAA,IAAI,IAAI,YAAA,IAAgB,GAAA,CAAI,UAAA,IAAc,GAAA,CAAI,aAAa,gBAAA,EAAkB;AAC3E,IAAA,uBAAA;AAAA,MACE,kBAAA;AAAA,MACA,GAAA,CAAI,QAAA;AAAA,MACJ;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,UAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA,OAChB;AAAA,MACA;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,QAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA;AAChB,KACF;AAAA,EACF;AAEA,EAAA,OAAO,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,gBAAA,EAAkB,GAAG,CAAA;AAC5C;;;ACpDA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,IAAA;AAChD;AAEA,SAAS,aACP,KAAA,EACsB;AACtB,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,MAAA,GAAS,IAC9C,KAAA,GACD,IAAA;AACN;AAEA,SAAS,qBAAqB,KAAA,EAAyC;AACrE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,SAAS,mBAAmB,KAAA,EAAwC;AAClE,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,KAAA,KAAU;AAC9B,IAAA,MAAM,EAAA,GAAK,aAA+B,KAAK,CAAA;AAC/C,IAAA,OAAO,EAAA,GAAK,CAAC,EAAE,CAAA,GAAI,EAAC;AAAA,EACtB,CAAC,CAAA;AACH;AAEA,SAAS,yBAAyB,KAAA,EAAsC;AACtE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO;AAAA,MACL,yBAAyB,EAAC;AAAA,MAC1B,sBAAsB;AAAC,KACzB;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,uBAAA,EAAyB,kBAAA,CAAmB,KAAA,CAAM,uBAAuB,CAAA;AAAA,IACzE,oBAAA,EAAsB,kBAAA,CAAmB,KAAA,CAAM,oBAAoB;AAAA,GACrE;AACF;AAEA,SAAS,iBAAiB,KAAA,EAAqC;AAC7D,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,eAAe,8BAAA,CACb,KACA,GAAA,EACe;AACf,EAAA,MAAM,mBAAA;AAAA,IACJ,GAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,qBAAqB,IAAA,EAG3B;AACD,EAAA,IACE,CAAC,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA,IAC5B,IAAA,CAAK,MAAA,KAAW,CAAA,IAChB,IAAA,CAAK,MAAA,GAAS,EAAA,IACd,IAAA,CAAK,SAAS,CAAA,EACd;AACA,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,UAAA,IAAc,IAAA,CAAK,SAAS,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,aAAA,IAAiB,IAAA,CAAK,SAAS,CAAA,EAAG;AACtD,IAAA,MAAM,IAAI,MAAM,sDAAsD,CAAA;AAAA,EACxE;AACF;AAEA,eAAsB,2BAAA,CACpB,KACA,IAAA,EASe;AACf,EAAA,oBAAA,CAAqB,EAAE,QAAA,EAAU,IAAA,CAAK,UAAU,MAAA,EAAQ,IAAA,CAAK,QAAQ,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,EAAA,MAAM,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,oBAAA,IAAwB,EAAC;AACnE,EAAA,MAAM,oBAAA,GAAuB,IAAA,CAAK,UAAA,CAAW,uBAAA,IAA2B,EAAC;AAEzE,EAAA,IACE,IAAA,CAAK,aAAa,UAAA,IAClB,CAAC,kBAAkB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC1C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,oBAAA,EAAsB,CAAC,GAAG,iBAAA,EAAmB,KAAK,SAAS,CAAA;AAAA,MAC3D,yBAAyB,oBAAA,CAAqB,MAAA;AAAA,QAC5C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH,CAAA,MAAA,IACE,KAAK,QAAA,KAAa,aAAA,IAClB,CAAC,oBAAA,CAAqB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC7C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,uBAAA,EAAyB,CAAC,GAAG,oBAAA,EAAsB,KAAK,SAAS,CAAA;AAAA,MACjE,sBAAsB,iBAAA,CAAkB,MAAA;AAAA,QACtC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,iBACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,QAAQ,CAAA,CAC3C,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,QAAQ;AAAA,OAC5C,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAEA,MAAA,MAAM,WAAW,gBAAA,EAAiB;AAClC,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,SAAA,IAAa,CAAA,UAAA,EAAa,KAAK,QAAQ,CAAA,CAAA;AAC5D,MAAA,MAAM,+BAA+B,GAAA,EAAK;AAAA,QACxC,QAAA;AAAA;AAAA,QAEA,YAAY,iBAAA,CAAkB,QAAA;AAAA,QAC9B,UAAU,eAAA,CAAgB,QAAA;AAAA,QAC1B,gBAAgB,iBAAA,CAAkB,QAAA;AAAA,QAClC,gBAAgB,eAAA,CAAgB,QAAA;AAAA,QAChC,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,eAAA,EAAiB,aAAA;AAAA,QACjB,cAAA,EAAgB,qBAAA;AAAA,QAChB,QAAA,EAAU;AAAA,UACR,UAAU,IAAA,CAAK,QAAA;AAAA,UACf,UAAA;AAAA,UACA,aAAa,IAAA,CAAK,MAAA;AAAA,UAClB,SAAA,EAAW;AAAA,SACb;AAAA,QACA,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,QAC3B,OAAA,EAAS,KAAK,UAAA,CAAW,OAAA,GACrB,OAAO,IAAA,CAAK,UAAA,CAAW,OAAO,CAAA,GAC9B,KAAA,CAAA;AAAA,QACJ,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAED,MAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,QAChE,QAAA;AAAA,QACA,cAAc,iBAAA,CAAkB,QAAA;AAAA,QAChC,YAAY,eAAA,CAAgB,QAAA;AAAA,QAC5B,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA,GACvB,OAAO,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAChC,KAAA,CAAA;AAAA,QACJ,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAAA,IACH;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,SAAA,EAAW;AAC7B,IAAA,MAAM,GAAA,CAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,wCAAA,EAA0C;AAAA,MACxE,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,UAAA,EAAY,QAAA;AAAA,MACZ,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,MAC3B,QAAQ,IAAA,CAAK;AAAA,KACd,CAAA;AAAA,EACH;AACF;AAEA,eAAsB,4BAAA,CACpB,KACA,IAAA,EAKe;AACf,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AAC7C,EAAA,IAAI,MAAA,EAAQ;AACV,IAAA,MAAM,EAAE,uBAAA,EAAyB,oBAAA,EAAqB,GACpD,yBAAyB,MAAM,CAAA;AAEjC,IAAA,IAAI,IAAA,CAAK,aAAa,UAAA,EAAY;AAChC,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,sBAAsB,oBAAA,CAAqB,MAAA;AAAA,UACzC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH,CAAA,MAAO;AACL,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,yBAAyB,uBAAA,CAAwB,MAAA;AAAA,UAC/C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH;AAAA,EACF;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,SACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,GAAG,CAAA,CACtC,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,GAAG;AAAA,OACvC,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAAA,IACF;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AACF","file":"beliefEvidenceLinks.operational.js","sourcesContent":["import type { Doc as AccessControlDoc } from \"@lucern/access-control/convex\";\nimport {\n  type UnsafeConvexAnyApi,\n  unsafeConvexAnyApi,\n} from \"@lucern/contracts/convex/unsafeAnyApi\";\nimport {\n  actionGeneric,\n  componentsGeneric,\n  httpActionGeneric,\n  internalActionGeneric,\n  internalMutationGeneric,\n  internalQueryGeneric,\n  mutationGeneric,\n  queryGeneric,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\n\n// TODO(FR.11-structural): `api`/`internal`/`components` are `anyApi as any`\n// because this module source tree is bundled into the kernel host at deploy time\n// and has NO top-level Convex `_generated/` directory to import a typed surface\n// from. Every `api.*` / `internal.*` / string-literal cross-component ref in this\n// module (topicScope.ts, topicProjectOverlay.ts, questionEvidenceLinks.ts,\n// beliefEvidenceLinks*.ts, epistemicQuestions.helpers.ts) inherits `any` from\n// here. The fix is structural — generate a per-module typed surface or a shared\n// typed function-reference manifest (template: the typed `components.controlPlane`\n// in modules/control-plane/src/component/convex.ts and the\n// `KERNEL_API_REF_MANIFEST` pattern in packages/server-core/src/kernelApi.ts) —\n// owned by the FR.11 closing/synthesis pass, not a mechanical swap.\nconst unsafeApi = unsafeConvexAnyApi(\n  \"graph-primitives top-level module bundle lacks a committed Convex _generated/api surface\"\n);\nexport const api = unsafeApi;\nexport const components =\n  componentsGeneric() as unknown as UntypedFunctionReferenceSurface;\nexport const internal = unsafeApi;\n\ntype UntypedFunctionReferenceSurface = UnsafeConvexAnyApi;\ntype BoundaryValue = UntypedFunctionReferenceSurface[string];\n\nexport type TableNames = string;\nexport type Id<TableName extends TableNames = string> = GenericId<TableName>;\nexport type Doc<TableName extends TableNames = string> =\n  AccessControlDoc<TableName>;\nexport type DataModel = Record<TableNames, unknown>;\ninterface IndexRangeBuilder {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n  field(fieldName: string): string;\n  gt(fieldName: string, value: unknown): IndexRangeBuilder;\n  gte(fieldName: string, value: unknown): IndexRangeBuilder;\n  lt(fieldName: string, value: unknown): IndexRangeBuilder;\n  lte(fieldName: string, value: unknown): IndexRangeBuilder;\n}\ninterface FilterBuilder {\n  and(...clauses: unknown[]): FilterBuilder;\n  eq(left: unknown, right: unknown): FilterBuilder;\n  field(fieldName: string): string;\n  gt(left: unknown, right: unknown): FilterBuilder;\n  gte(left: unknown, right: unknown): FilterBuilder;\n  lt(left: unknown, right: unknown): FilterBuilder;\n  lte(left: unknown, right: unknown): FilterBuilder;\n  neq(left: unknown, right: unknown): FilterBuilder;\n  or(...clauses: unknown[]): FilterBuilder;\n  [operator: string]: unknown;\n}\ninterface QueryInitializer<TableName extends TableNames> {\n  collect(): Promise<Doc<TableName>[]>;\n  filter(predicate: (q: FilterBuilder) => unknown): QueryInitializer<TableName>;\n  first(): Promise<Doc<TableName> | null>;\n  order(direction: \"asc\" | \"desc\"): QueryInitializer<TableName>;\n  take(limit: number): Promise<Doc<TableName>[]>;\n  unique(): Promise<Doc<TableName> | null>;\n  withIndex(\n    indexName: string,\n    range?: (q: IndexRangeBuilder) => unknown\n  ): QueryInitializer<TableName>;\n  withSearchIndex(\n    indexName: string,\n    search?: (q: IndexRangeBuilder) => unknown\n  ): QueryInitializer<TableName>;\n}\nexport interface DatabaseReader {\n  get<TableName extends TableNames>(\n    id: unknown\n  ): Promise<Doc<TableName> | null>;\n  normalizeId?<TableName extends TableNames>(\n    tableName: TableName,\n    id: string\n  ): Id<TableName> | null;\n  query<TableName extends TableNames>(\n    tableName: TableName\n  ): QueryInitializer<TableName>;\n}\nexport type DatabaseWriter = DatabaseReader & {\n  insert<TableName extends TableNames>(\n    tableName: TableName,\n    value: Record<string, unknown>\n  ): Promise<Id<TableName>>;\n  patch<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  replace<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  delete<TableName extends TableNames>(id: Id<TableName>): Promise<void>;\n};\ninterface Scheduler {\n  runAfter(\n    delayMs: number,\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<void>;\n}\ninterface AuthReader {\n  getUserIdentity(): Promise<{\n    readonly subject: string;\n    readonly [claimName: string]: unknown;\n  } | null>;\n}\ninterface RuntimeInvoker {\n  runAction<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n  runMutation<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n  runQuery<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n}\nexport type QueryCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseReader;\n  scheduler: Scheduler;\n};\nexport type MutationCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseWriter;\n  scheduler: Scheduler;\n};\nexport type ActionCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  scheduler: Scheduler;\n};\n\ntype ConvexFunctionBuilder<Ctx> = <\n  Args = BoundaryValue,\n  Result = BoundaryValue,\n>(definition: {\n  args?: unknown;\n  handler: (ctx: Ctx, args: Args) => Result;\n  returns?: unknown;\n}) => unknown;\n\ntype OptionalHandlerConvexFunctionBuilder<Ctx> = <\n  Args = BoundaryValue,\n  Result = BoundaryValue,\n>(definition: {\n  args?: unknown;\n  handler?: (ctx: Ctx, args: Args) => Result;\n  returns?: unknown;\n}) => unknown;\n\nexport const action =\n  actionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const httpAction =\n  httpActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalAction =\n  internalActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalMutation =\n  internalMutationGeneric as unknown as OptionalHandlerConvexFunctionBuilder<MutationCtx>;\nexport const internalQuery =\n  internalQueryGeneric as unknown as OptionalHandlerConvexFunctionBuilder<QueryCtx>;\nexport const mutation =\n  mutationGeneric as unknown as ConvexFunctionBuilder<MutationCtx>;\nexport const query = queryGeneric as unknown as ConvexFunctionBuilder<QueryCtx>;\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\nimport {\n  assertEdgePolicyAllowed,\n  type EpistemicNodeType,\n  edgePolicyManifest,\n} from \"@lucern/contracts\";\nimport {\n  assertStorageEdgeVocabulary,\n  assertUuidShapedEdgeEndpoint,\n  assertUuidV7Identity,\n} from \"@lucern/contracts/ids\";\nimport type { Id, MutationCtx } from \"./convex\";\n\ninterface GlobalIdIndexQuery {\n  eq(field: \"globalId\", value: string): GlobalIdIndexQuery;\n}\n\ninterface EpistemicNodeInsertDoc extends Record<string, unknown> {\n  globalId: string;\n}\n\ninterface EpistemicEdgeInsertDoc extends Record<string, unknown> {\n  edgeType: string;\n  fromNodeId: string;\n  fromNodeType?: string;\n  globalId: string;\n  toNodeId: string;\n  toNodeType?: string;\n}\n\nexport function insertEpistemicNode(\n  ctx: MutationCtx,\n  doc: EpistemicNodeInsertDoc\n): Promise<Id<\"epistemicNodes\">> {\n  assertUuidV7Identity(\"epistemicNodes\", doc.globalId);\n  return ctx.db.insert(\"epistemicNodes\", doc);\n}\n\n/**\n * C2-RR.4b — REFERENTIAL edge-endpoint canonicality (amends RR.4's FORMAT guard).\n *\n * Proves an endpoint is the `globalId` of an EXISTING `epistemicNodes` row, not\n * that it has a v7 shape. Refuses doc-ids and fabricated/unknown endpoints while\n * keeping legacy v4-`globalId` nodes (the established prod corpus) linkable.\n * SHAPE pre-filter accepts both v4 and v7; the indexed `by_globalId` lookup is\n * the referential authority (no full scan). v7-format stays enforced only at new\n * identity minting (`assertUuidV7Identity`). See c2-rr4b-endpoint-referential.\n */\nasync function assertExistingNodeEndpoint(\n  ctx: MutationCtx,\n  endpointRole: \"fromNodeId\" | \"toNodeId\",\n  endpoint: string\n): Promise<void> {\n  assertUuidShapedEdgeEndpoint(endpointRole, endpoint);\n  const node = await ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_globalId\", (q: GlobalIdIndexQuery) =>\n      q.eq(\"globalId\", endpoint)\n    )\n    .first();\n  if (!node) {\n    throw new Error(\n      `edge_endpoint_not_canonical: epistemicEdges insert requires ${endpointRole} to be the globalId of an existing epistemicNodes row, received ${endpoint} (no node with that globalId)`\n    );\n  }\n}\n\nexport async function insertEpistemicEdge(\n  ctx: MutationCtx,\n  doc: EpistemicEdgeInsertDoc\n): Promise<Id<\"epistemicEdges\">> {\n  assertUuidV7Identity(\"epistemicEdges\", doc.globalId);\n\n  // R1.1a — STORAGE-VOCABULARY MEMBERSHIP\n  assertStorageEdgeVocabulary(doc.edgeType);\n\n  // R1.1b — ENDPOINT PRESENCE\n  if (!doc.fromNodeId || typeof doc.fromNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty fromNodeId\"\n    );\n  }\n  if (!doc.toNodeId || typeof doc.toNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty toNodeId\"\n    );\n  }\n\n  // C2-RR.4b Defect E (REFERENTIAL) — ENDPOINT CANONICAL IDENTITY. Edge\n  // endpoints must each be the globalId of an EXISTING epistemicNodes row,\n  // never a Convex doc id, a legacy topic id, or a fabricated/unknown uuid.\n  // This refuses the mixed _id/globalId endpoint writes at the floor while\n  // keeping legacy v4-globalId nodes linkable (RR.4b prod-incident cure).\n  await assertExistingNodeEndpoint(ctx, \"fromNodeId\", doc.fromNodeId);\n  await assertExistingNodeEndpoint(ctx, \"toNodeId\", doc.toNodeId);\n\n  // R1.1c — FULL POLICY ASSERT (when nodeTypes are present and edgeType is in public manifest)\n  if (doc.fromNodeType && doc.toNodeType && doc.edgeType !== \"extracted_from\") {\n    assertEdgePolicyAllowed(\n      edgePolicyManifest,\n      doc.edgeType,\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.fromNodeId,\n        nodeType: doc.fromNodeType as EpistemicNodeType,\n      },\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.toNodeId,\n        nodeType: doc.toNodeType as EpistemicNodeType,\n      }\n    );\n  }\n\n  return ctx.db.insert(\"epistemicEdges\", doc);\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\nimport type { Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\nimport { generateGlobalId } from \"./globalId\";\n\ntype BeliefEvidenceRelation = \"supports\" | \"contradicts\";\ninterface IndexRangeBuilder {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n}\ninterface EpistemicNode {\n  _id: Id<\"epistemicNodes\">;\n  contradictingInsightIds?: Id<\"epistemicNodes\">[];\n  globalId?: string;\n  nodeType?: string;\n  projectId?: string;\n  supportingInsightIds?: Id<\"epistemicNodes\">[];\n  topicId?: string | Id<\"topics\">;\n}\ninterface EpistemicEdgeDoc {\n  _id: Id<\"epistemicEdges\">;\n  edgeType: string;\n  globalId: string;\n}\ninterface InsightIdCollections {\n  contradictingInsightIds: Id<\"epistemicNodes\">[];\n  supportingInsightIds: Id<\"epistemicNodes\">[];\n}\ninterface OperationalEpistemicEdgeInsert {\n  confidence: number;\n  context: string;\n  createdAt: number;\n  createdBy: string;\n  derivationType: \"evidence_sl_scoring\";\n  edgeType: \"informs\";\n  fromLayer: \"L2\";\n  fromNodeId: string;\n  fromNodeType: \"evidence\";\n  globalId: string;\n  metadata: OperationalEpistemicEdgeMetadata;\n  projectId?: string;\n  reasoningMethod: \"testimonial\";\n  sourceGlobalId: string;\n  targetGlobalId: string;\n  toLayer: \"L3\";\n  toNodeId: string;\n  toNodeType: \"belief\";\n  topicId?: string;\n  updatedAt: number;\n  weight: number;\n}\ninterface OperationalEpistemicEdgeMetadata {\n  confidence: number;\n  impactScore: number;\n  invariant: \"evidence.belief_impact_required\";\n  relation: BeliefEvidenceRelation;\n}\ninterface SpineNodeDoc {\n  _id: Id<\"epistemicNodes\">;\n  globalId: string;\n  nodeType: string;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null;\n}\n\nfunction readConvexId<TableName extends string>(\n  value: unknown\n): Id<TableName> | null {\n  return typeof value === \"string\" && value.length > 0\n    ? (value as Id<TableName>)\n    : null;\n}\n\nfunction readEpistemicEdgeDoc(value: unknown): EpistemicEdgeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicEdges\">(value._id);\n  if (\n    !id ||\n    typeof value.edgeType !== \"string\" ||\n    typeof value.globalId !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    edgeType: value.edgeType,\n    globalId: value.globalId,\n  };\n}\n\nfunction readInsightIdArray(value: unknown): Id<\"epistemicNodes\">[] {\n  if (!Array.isArray(value)) {\n    return [];\n  }\n  return value.flatMap((entry) => {\n    const id = readConvexId<\"epistemicNodes\">(entry);\n    return id ? [id] : [];\n  });\n}\n\nfunction readInsightIdCollections(value: unknown): InsightIdCollections {\n  if (!isRecord(value)) {\n    return {\n      contradictingInsightIds: [],\n      supportingInsightIds: [],\n    };\n  }\n  return {\n    contradictingInsightIds: readInsightIdArray(value.contradictingInsightIds),\n    supportingInsightIds: readInsightIdArray(value.supportingInsightIds),\n  };\n}\n\nfunction readSpineNodeDoc(value: unknown): SpineNodeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicNodes\">(value._id);\n  if (\n    !id ||\n    typeof value.globalId !== \"string\" ||\n    typeof value.nodeType !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    globalId: value.globalId,\n    nodeType: value.nodeType,\n  };\n}\n\nasync function insertOperationalEpistemicEdge(\n  ctx: MutationCtx,\n  doc: OperationalEpistemicEdgeInsert\n): Promise<void> {\n  await insertEpistemicEdge(\n    ctx,\n    doc as unknown as Parameters<typeof insertEpistemicEdge>[1]\n  );\n}\n\nfunction assertEvidenceImpact(args: {\n  relation: BeliefEvidenceRelation;\n  weight: number;\n}) {\n  if (\n    !Number.isFinite(args.weight) ||\n    args.weight === 0 ||\n    args.weight < -1 ||\n    args.weight > 1\n  ) {\n    throw new Error(\n      \"Belief evidence links require explicit nonzero weight in [-1, 1]\"\n    );\n  }\n  if (args.relation === \"supports\" && args.weight < 0) {\n    throw new Error(\"Supporting evidence links require positive weight\");\n  }\n  if (args.relation === \"contradicts\" && args.weight > 0) {\n    throw new Error(\"Contradicting evidence links require negative weight\");\n  }\n}\n\nexport async function applyOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefNode: EpistemicNode;\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n    weight: number;\n    rationale?: string;\n    createdBy: string;\n  }\n): Promise<void> {\n  assertEvidenceImpact({ relation: args.relation, weight: args.weight });\n  const confidence = Math.abs(args.weight);\n  const currentSupporting = args.beliefNode.supportingInsightIds ?? [];\n  const currentContradicting = args.beliefNode.contradictingInsightIds ?? [];\n\n  if (\n    args.relation === \"supports\" &&\n    !currentSupporting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      supportingInsightIds: [...currentSupporting, args.insightId],\n      contradictingInsightIds: currentContradicting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  } else if (\n    args.relation === \"contradicts\" &&\n    !currentContradicting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      contradictingInsightIds: [...currentContradicting, args.insightId],\n      supportingInsightIds: currentSupporting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const existingEdges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode.globalId)\n              .eq(\"toNodeId\", beliefSpineNode.globalId)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of existingEdges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n\n      const globalId = generateGlobalId();\n      const context = args.rationale || `Linked as ${args.relation}`;\n      await insertOperationalEpistemicEdge(ctx, {\n        globalId,\n        // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.\n        fromNodeId: evidenceSpineNode.globalId,\n        toNodeId: beliefSpineNode.globalId,\n        sourceGlobalId: evidenceSpineNode.globalId,\n        targetGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        reasoningMethod: \"testimonial\",\n        derivationType: \"evidence_sl_scoring\",\n        metadata: {\n          relation: args.relation,\n          confidence,\n          impactScore: args.weight,\n          invariant: \"evidence.belief_impact_required\",\n        },\n        createdBy: args.createdBy,\n        createdAt: Date.now(),\n        updatedAt: Date.now(),\n        projectId: args.beliefNode.projectId,\n        topicId: args.beliefNode.topicId\n          ? String(args.beliefNode.topicId)\n          : undefined,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n\n      await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n        globalId,\n        fromGlobalId: evidenceSpineNode.globalId,\n        toGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        projectId: args.beliefNode.projectId\n          ? String(args.beliefNode.projectId)\n          : undefined,\n        createdBy: args.createdBy,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to create informs edge:\", e);\n  }\n\n  if (args.beliefNode.projectId) {\n    await ctx.scheduler.runAfter(0, \"verificationActions:deepVerifyEvidence\", {\n      insightId: args.insightId,\n      targetType: \"belief\",\n      targetId: args.beliefId,\n      projectId: args.beliefNode.projectId,\n      userId: args.createdBy,\n    });\n  }\n}\n\nexport async function removeOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n  }\n): Promise<void> {\n  const belief = await ctx.db.get(args.beliefId);\n  if (belief) {\n    const { contradictingInsightIds, supportingInsightIds } =\n      readInsightIdCollections(belief);\n\n    if (args.relation === \"supports\") {\n      await ctx.db.patch(args.beliefId, {\n        supportingInsightIds: supportingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    } else {\n      await ctx.db.patch(args.beliefId, {\n        contradictingInsightIds: contradictingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    }\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const edges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode._id)\n              .eq(\"toNodeId\", beliefSpineNode._id)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of edges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to remove informs edge:\", e);\n  }\n}\n"]}

package/dist/beliefLifecycle.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/beliefLifecycle.ts"],"names":[],"mappings":";AAuBA,IAAM,oBAAA,GAAyD;AAAA,EAC7D,YAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;AAAA,EACA,YAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAA;AAEA,IAAM,4BAAA,GAA6D;AAAA,EACjE,WAAA;AAAA,EACA,cAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA;AAEO,SAAS,wBACd,KAAA,EACgC;AAChC,EAAA,OACE,OAAO,KAAA,KAAU,QAAA,IACjB,oBAAA,CAAqB,SAAS,KAA8B,CAAA;AAEhE;AAEA,SAAS,4BACP,KAAA,EAC8B;AAC9B,EAAA,IAAI,uBAAA,CAAwB,KAAK,CAAA,EAAG;AAClC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,aAAA,IAAiB,UAAU,UAAA,EAAY;AACzE,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,MAAA,IAAU,KAAA,KAAU,WAAA,EAAa;AAC7C,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,cAAA,IAAkB,KAAA,KAAU,SAAA,EAAW;AACnD,IAAA,OAAO,gBAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAU,YAAA,EAAc;AAC1B,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,0BAA0B,UAAA,EAAoC;AACrE,EAAA,IAAI,OAAO,UAAA,KAAe,QAAA,IAAY,CAAC,MAAA,CAAO,QAAA,CAAS,UAAU,CAAA,EAAG;AAClE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,IAAc,CAAA,IAAK,UAAA,IAAc,CAAA,EAAG;AACtC,IAAA,OAAO,UAAA;AAAA,EACT;AAEA,EAAA,IAAI,UAAA,GAAa,CAAA,IAAK,UAAA,IAAc,GAAA,EAAK;AACvC,IAAA,OAAO,UAAA,GAAa,GAAA;AAAA,EACtB;AACA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,uBAAuB,UAAA,EAA8B;AACnE,EAAA,MAAM,UAAA,GAAa,0BAA0B,UAAU,CAAA;AACvD,EAAA,IAAI,eAAe,IAAA,EAAM;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,IAAc,KAAK,UAAA,IAAc,CAAA;AAC1C;AAEO,SAAS,6BAA6B,cAAA,EAAkC;AAC7E,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,cAAA,CAAyC,OAAA;AAC1D,EAAA,OACE,OAAO,OAAA,KAAY,QAAA,IACnB,4BAAA,CAA6B,SAAS,OAA4B,CAAA;AAEtE;AAEA,SAAS,8BACP,QAAA,EACS;AACT,EAAA,OAAO,QAAA,EAAU,cAAA;AACnB;AAEO,SAAS,wBAAwB,IAAA,EAI5B;AACV,EAAA,IAAI,sBAAA,CAAuB,IAAA,CAAK,UAAU,CAAA,EAAG;AAC3C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,4BAAA,CAA6B,IAAA,CAAK,cAAc,CAAA,EAAG;AACrD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IACE,4BAAA,CAA6B,6BAAA,CAA8B,IAAA,CAAK,QAAQ,CAAC,CAAA,EACzE;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,yBACP,cAAA,EAC8B;AAC9B,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,cAAA,CAAyC,OAAA;AAC1D,EAAA,IAAI,YAAY,WAAA,EAAa;AAC3B,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,KAAY,cAAA,IAAkB,OAAA,KAAY,SAAA,EAAW;AACvD,IAAA,OAAO,gBAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,4BAA4B,IAAA,EAIJ;AAC/B,EAAA,IAAI,sBAAA,CAAuB,IAAA,CAAK,UAAU,CAAA,EAAG;AAC3C,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,OAAO,UAAA,KAAe,IAAI,gBAAA,GAAmB,eAAA;AAAA,EAC/C;AACA,EAAA,MAAM,sBAAA,GAAyB,wBAAA,CAAyB,IAAA,CAAK,cAAc,CAAA;AAC3E,EAAA,IAAI,sBAAA,EAAwB;AAC1B,IAAA,OAAO,sBAAA;AAAA,EACT;AACA,EAAA,MAAM,wBAAA,GAA2B,wBAAA;AAAA,IAC/B,6BAAA,CAA8B,KAAK,QAAQ;AAAA,GAC7C;AACA,EAAA,IAAI,wBAAA,EAA0B;AAC5B,IAAA,OAAO,wBAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,6BAA6B,IAAA,EAKnB;AACxB,EAAA,MAAM,cAAA,GAAiB,4BAA4B,IAAI,CAAA;AACvD,EAAA,IAAI,cAAA,EAAgB;AAClB,IAAA,OAAO,cAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAS,IAAA,CAAK,YAAA;AACpB,EAAA,MAAM,gBAAA,GAAmB,4BAA4B,MAAM,CAAA;AAC3D,EAAA,IAAI,gBAAA,EAAkB;AAIpB,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IACE,UAAA,KAAe,IAAA,IACf,2BAAA,CAA4B,gBAAgB,CAAA,EAC5C;AACA,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,gBAAA;AAAA,EACT;AAEA,EAAA,MAAM,UAAA,GAAa,KAAK,QAAA,EAAU,YAAA;AAClC,EAAA,MAAM,oBAAA,GAAuB,4BAA4B,UAAU,CAAA;AACnE,EAAA,IAAI,oBAAA,EAAsB;AACxB,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IACE,UAAA,KAAe,IAAA,IACf,2BAAA,CAA4B,oBAAoB,CAAA,EAChD;AACA,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,oBAAA;AAAA,EACT;AAEA,EAAA,OAAO,YAAA;AACT;AAEO,SAAS,4BACd,MAAA,EACS;AACT,EAAA,OAAO,MAAA,KAAW,gBAAgB,MAAA,KAAW,YAAA;AAC/C;AAEO,SAAS,kCACd,MAAA,EACS;AACT,EAAA,OAAO,MAAA,KAAW,YAAY,MAAA,KAAW,eAAA;AAC3C;AAEO,SAAS,+BAAA,CACd,QACA,IAAA,EAKuB;AACvB,EAAA,MAAM,cAAA,GAAiB,2BAAA,CAA4B,EAAE,GAAG,MAAM,CAAA;AAC9D,EAAA,IAAI,cAAA,EAAgB;AAClB,IAAA,OAAO,cAAA;AAAA,EACT;AACA,EAAA,IAAI,2BAAA,CAA4B,MAAM,CAAA,EAAG;AACvC,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,iCACd,MAAA,EACuB;AACvB,EAAA,OAAO,2BAAA,CAA4B,MAAM,CAAA,GAAI,QAAA,GAAW,MAAA;AAC1D","file":"beliefLifecycle.js","sourcesContent":["/**\n * Belief lifecycle helpers shared across Convex modules.\n *\n * Canonical lifecycle:\n * assumption -> hypothesis -> active -> resolved_true/resolved_false\n *                                \\-> superseded\n */\n\nexport type BeliefLifecycleStatus =\n  | \"assumption\"\n  | \"hypothesis\"\n  | \"active\"\n  | \"superseded\"\n  | \"resolved_true\"\n  | \"resolved_false\";\n\ntype PredictionOutcome =\n  | \"pending\"\n  | \"confirmed\"\n  | \"disconfirmed\"\n  | \"partial\"\n  | \"expired\";\n\nconst BELIEF_STATUS_VALUES: readonly BeliefLifecycleStatus[] = [\n  \"assumption\",\n  \"hypothesis\",\n  \"active\",\n  \"superseded\",\n  \"resolved_true\",\n  \"resolved_false\",\n];\n\nconst RESOLVED_PREDICTION_OUTCOMES: readonly PredictionOutcome[] = [\n  \"confirmed\",\n  \"disconfirmed\",\n  \"partial\",\n  \"expired\",\n];\n\nexport function isBeliefLifecycleStatus(\n  value: unknown\n): value is BeliefLifecycleStatus {\n  return (\n    typeof value === \"string\" &&\n    BELIEF_STATUS_VALUES.includes(value as BeliefLifecycleStatus)\n  );\n}\n\nfunction normalizeLegacyBeliefStatus(\n  value: unknown\n): BeliefLifecycleStatus | null {\n  if (isBeliefLifecycleStatus(value)) {\n    return value;\n  }\n  if (value === \"belief\" || value === \"established\" || value === \"emerging\") {\n    return \"active\";\n  }\n  if (value === \"fact\" || value === \"confirmed\") {\n    return \"resolved_true\";\n  }\n  if (value === \"disconfirmed\" || value === \"expired\") {\n    return \"resolved_false\";\n  }\n  if (value === \"deprecated\") {\n    return \"superseded\";\n  }\n  return null;\n}\n\nfunction normalizeBeliefConfidence(confidence: unknown): number | null {\n  if (typeof confidence !== \"number\" || !Number.isFinite(confidence)) {\n    return null;\n  }\n  if (confidence >= 0 && confidence <= 1) {\n    return confidence;\n  }\n  // Backward compatibility with historical percentage-scale confidence (0-100).\n  if (confidence > 1 && confidence <= 100) {\n    return confidence / 100;\n  }\n  return null;\n}\n\nexport function isResolvedByConfidence(confidence: unknown): boolean {\n  const normalized = normalizeBeliefConfidence(confidence);\n  if (normalized === null) {\n    return false;\n  }\n  return normalized <= 0 || normalized >= 1;\n}\n\nexport function hasResolvedPredictionOutcome(predictionMeta: unknown): boolean {\n  if (!predictionMeta || typeof predictionMeta !== \"object\") {\n    return false;\n  }\n  const outcome = (predictionMeta as { outcome?: unknown }).outcome;\n  return (\n    typeof outcome === \"string\" &&\n    RESOLVED_PREDICTION_OUTCOMES.includes(outcome as PredictionOutcome)\n  );\n}\n\nfunction getPredictionMetaFromMetadata(\n  metadata: Record<string, unknown> | undefined\n): unknown {\n  return metadata?.predictionMeta;\n}\n\nexport function shouldTreatBeliefAsFact(opts: {\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): boolean {\n  if (isResolvedByConfidence(opts.confidence)) {\n    return true;\n  }\n  if (hasResolvedPredictionOutcome(opts.predictionMeta)) {\n    return true;\n  }\n  if (\n    hasResolvedPredictionOutcome(getPredictionMetaFromMetadata(opts.metadata))\n  ) {\n    return true;\n  }\n  return false;\n}\n\nfunction resolvedPredictionStatus(\n  predictionMeta: unknown\n): BeliefLifecycleStatus | null {\n  if (!predictionMeta || typeof predictionMeta !== \"object\") {\n    return null;\n  }\n  const outcome = (predictionMeta as { outcome?: unknown }).outcome;\n  if (outcome === \"confirmed\") {\n    return \"resolved_true\";\n  }\n  if (outcome === \"disconfirmed\" || outcome === \"expired\") {\n    return \"resolved_false\";\n  }\n  return null;\n}\n\nfunction shouldTreatBeliefAsResolved(opts: {\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus | null {\n  if (isResolvedByConfidence(opts.confidence)) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    return normalized === 0 ? \"resolved_false\" : \"resolved_true\";\n  }\n  const directPredictionStatus = resolvedPredictionStatus(opts.predictionMeta);\n  if (directPredictionStatus) {\n    return directPredictionStatus;\n  }\n  const metadataPredictionStatus = resolvedPredictionStatus(\n    getPredictionMetaFromMetadata(opts.metadata)\n  );\n  if (metadataPredictionStatus) {\n    return metadataPredictionStatus;\n  }\n  return null;\n}\n\nexport function resolveBeliefLifecycleStatus(opts: {\n  beliefStatus?: unknown;\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus {\n  const resolvedStatus = shouldTreatBeliefAsResolved(opts);\n  if (resolvedStatus) {\n    return resolvedStatus;\n  }\n\n  const direct = opts.beliefStatus;\n  const normalizedDirect = normalizeLegacyBeliefStatus(direct);\n  if (normalizedDirect) {\n    // If the belief has been scored (has numeric credence) but stored status\n    // is still pre-validation, promote to active. Evidence, not user intent,\n    // makes a hypothesis active.\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (\n      normalized !== null &&\n      isPreValidationBeliefStatus(normalizedDirect)\n    ) {\n      return \"active\";\n    }\n    return normalizedDirect;\n  }\n\n  const metaStatus = opts.metadata?.beliefStatus;\n  const normalizedMetaStatus = normalizeLegacyBeliefStatus(metaStatus);\n  if (normalizedMetaStatus) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (\n      normalized !== null &&\n      isPreValidationBeliefStatus(normalizedMetaStatus)\n    ) {\n      return \"active\";\n    }\n    return normalizedMetaStatus;\n  }\n\n  return \"assumption\";\n}\n\nexport function isPreValidationBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"assumption\" || status === \"hypothesis\";\n}\n\nexport function isPropagationEligibleBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"active\" || status === \"resolved_true\";\n}\n\nexport function promoteBeliefStatusAfterScoring(\n  status: BeliefLifecycleStatus,\n  opts?: {\n    confidence?: unknown;\n    predictionMeta?: unknown;\n    metadata?: Record<string, unknown>;\n  }\n): BeliefLifecycleStatus {\n  const resolvedStatus = shouldTreatBeliefAsResolved({ ...opts });\n  if (resolvedStatus) {\n    return resolvedStatus;\n  }\n  if (isPreValidationBeliefStatus(status)) {\n    return \"active\";\n  }\n  return status;\n}\n\nexport function promoteBeliefStatusAfterEvidence(\n  status: BeliefLifecycleStatus\n): BeliefLifecycleStatus {\n  return isPreValidationBeliefStatus(status) ? \"active\" : status;\n}\n"]}
+{"version":3,"sources":["../src/beliefLifecycle.ts"],"names":[],"mappings":";AAwBA,IAAM,oBAAA,GAAyD;AAAA,EAC7D,YAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;AAAA,EACA,YAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAA;AAEA,IAAM,4BAAA,GAA6D;AAAA,EACjE,WAAA;AAAA,EACA,cAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA;AAEO,SAAS,wBACd,KAAA,EACgC;AAChC,EAAA,OACE,OAAO,KAAA,KAAU,QAAA,IACjB,oBAAA,CAAqB,SAAS,KAA8B,CAAA;AAEhE;AAEA,SAAS,4BACP,KAAA,EAC8B;AAC9B,EAAA,IAAI,uBAAA,CAAwB,KAAK,CAAA,EAAG;AAClC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,aAAA,IAAiB,UAAU,UAAA,EAAY;AACzE,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,MAAA,IAAU,KAAA,KAAU,WAAA,EAAa;AAC7C,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,cAAA,IAAkB,KAAA,KAAU,SAAA,EAAW;AACnD,IAAA,OAAO,gBAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAU,YAAA,EAAc;AAC1B,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,0BAA0B,UAAA,EAAoC;AACrE,EAAA,IAAI,OAAO,UAAA,KAAe,QAAA,IAAY,CAAC,MAAA,CAAO,QAAA,CAAS,UAAU,CAAA,EAAG;AAClE,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,IAAc,CAAA,IAAK,UAAA,IAAc,CAAA,EAAG;AACtC,IAAA,OAAO,UAAA;AAAA,EACT;AAEA,EAAA,IAAI,UAAA,GAAa,CAAA,IAAK,UAAA,IAAc,GAAA,EAAK;AACvC,IAAA,OAAO,UAAA,GAAa,GAAA;AAAA,EACtB;AACA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,uBAAuB,UAAA,EAA8B;AACnE,EAAA,MAAM,UAAA,GAAa,0BAA0B,UAAU,CAAA;AACvD,EAAA,IAAI,eAAe,IAAA,EAAM;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA,IAAc,KAAK,UAAA,IAAc,CAAA;AAC1C;AAEO,SAAS,6BAA6B,cAAA,EAAkC;AAC7E,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,cAAA,CAAyC,OAAA;AAC1D,EAAA,OACE,OAAO,OAAA,KAAY,QAAA,IACnB,4BAAA,CAA6B,SAAS,OAA4B,CAAA;AAEtE;AAEA,SAAS,8BACP,QAAA,EACS;AACT,EAAA,OAAO,QAAA,EAAU,cAAA;AACnB;AAEO,SAAS,wBAAwB,IAAA,EAI5B;AACV,EAAA,IAAI,sBAAA,CAAuB,IAAA,CAAK,UAAU,CAAA,EAAG;AAC3C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,4BAAA,CAA6B,IAAA,CAAK,cAAc,CAAA,EAAG;AACrD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IACE,4BAAA,CAA6B,6BAAA,CAA8B,IAAA,CAAK,QAAQ,CAAC,CAAA,EACzE;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,yBACP,cAAA,EAC8B;AAC9B,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,cAAA,CAAyC,OAAA;AAC1D,EAAA,IAAI,YAAY,WAAA,EAAa;AAC3B,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,IAAI,OAAA,KAAY,cAAA,IAAkB,OAAA,KAAY,SAAA,EAAW;AACvD,IAAA,OAAO,gBAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,4BAA4B,IAAA,EAIJ;AAC/B,EAAA,IAAI,sBAAA,CAAuB,IAAA,CAAK,UAAU,CAAA,EAAG;AAC3C,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,OAAO,UAAA,KAAe,IAAI,gBAAA,GAAmB,eAAA;AAAA,EAC/C;AACA,EAAA,MAAM,sBAAA,GAAyB,wBAAA,CAAyB,IAAA,CAAK,cAAc,CAAA;AAC3E,EAAA,IAAI,sBAAA,EAAwB;AAC1B,IAAA,OAAO,sBAAA;AAAA,EACT;AACA,EAAA,MAAM,wBAAA,GAA2B,wBAAA;AAAA,IAC/B,6BAAA,CAA8B,KAAK,QAAQ;AAAA,GAC7C;AACA,EAAA,IAAI,wBAAA,EAA0B;AAC5B,IAAA,OAAO,wBAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,6BAA6B,IAAA,EAKnB;AACxB,EAAA,MAAM,cAAA,GAAiB,4BAA4B,IAAI,CAAA;AACvD,EAAA,IAAI,cAAA,EAAgB;AAClB,IAAA,OAAO,cAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAS,IAAA,CAAK,YAAA;AACpB,EAAA,MAAM,gBAAA,GAAmB,4BAA4B,MAAM,CAAA;AAC3D,EAAA,IAAI,gBAAA,EAAkB;AAIpB,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IAAI,UAAA,KAAe,IAAA,IAAQ,2BAAA,CAA4B,gBAAgB,CAAA,EAAG;AACxE,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,gBAAA;AAAA,EACT;AAEA,EAAA,MAAM,UAAA,GAAa,KAAK,QAAA,EAAU,YAAA;AAClC,EAAA,MAAM,oBAAA,GAAuB,4BAA4B,UAAU,CAAA;AACnE,EAAA,IAAI,oBAAA,EAAsB;AACxB,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IACE,UAAA,KAAe,IAAA,IACf,2BAAA,CAA4B,oBAAoB,CAAA,EAChD;AACA,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,oBAAA;AAAA,EACT;AAEA,EAAA,OAAO,YAAA;AACT;AAEO,SAAS,4BACd,MAAA,EACS;AACT,EAAA,OAAO,MAAA,KAAW,gBAAgB,MAAA,KAAW,YAAA;AAC/C;AAEO,SAAS,kCACd,MAAA,EACS;AACT,EAAA,OAAO,MAAA,KAAW,YAAY,MAAA,KAAW,eAAA;AAC3C;AAEO,SAAS,+BAAA,CACd,QACA,IAAA,EAKuB;AACvB,EAAA,MAAM,cAAA,GAAiB,2BAAA,CAA4B,EAAE,GAAG,MAAM,CAAA;AAC9D,EAAA,IAAI,cAAA,EAAgB;AAClB,IAAA,OAAO,cAAA;AAAA,EACT;AACA,EAAA,IAAI,2BAAA,CAA4B,MAAM,CAAA,EAAG;AACvC,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,iCACd,MAAA,EACuB;AACvB,EAAA,OAAO,2BAAA,CAA4B,MAAM,CAAA,GAAI,QAAA,GAAW,MAAA;AAC1D","file":"beliefLifecycle.js","sourcesContent":["// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Belief lifecycle helpers shared across Convex modules.\n *\n * Canonical lifecycle:\n * assumption -> hypothesis -> active -> resolved_true/resolved_false\n *                                \\-> superseded\n */\n\nexport type BeliefLifecycleStatus =\n  | \"assumption\"\n  | \"hypothesis\"\n  | \"active\"\n  | \"superseded\"\n  | \"resolved_true\"\n  | \"resolved_false\";\n\ntype PredictionOutcome =\n  | \"pending\"\n  | \"confirmed\"\n  | \"disconfirmed\"\n  | \"partial\"\n  | \"expired\";\n\nconst BELIEF_STATUS_VALUES: readonly BeliefLifecycleStatus[] = [\n  \"assumption\",\n  \"hypothesis\",\n  \"active\",\n  \"superseded\",\n  \"resolved_true\",\n  \"resolved_false\",\n];\n\nconst RESOLVED_PREDICTION_OUTCOMES: readonly PredictionOutcome[] = [\n  \"confirmed\",\n  \"disconfirmed\",\n  \"partial\",\n  \"expired\",\n];\n\nexport function isBeliefLifecycleStatus(\n  value: unknown\n): value is BeliefLifecycleStatus {\n  return (\n    typeof value === \"string\" &&\n    BELIEF_STATUS_VALUES.includes(value as BeliefLifecycleStatus)\n  );\n}\n\nfunction normalizeLegacyBeliefStatus(\n  value: unknown\n): BeliefLifecycleStatus | null {\n  if (isBeliefLifecycleStatus(value)) {\n    return value;\n  }\n  if (value === \"belief\" || value === \"established\" || value === \"emerging\") {\n    return \"active\";\n  }\n  if (value === \"fact\" || value === \"confirmed\") {\n    return \"resolved_true\";\n  }\n  if (value === \"disconfirmed\" || value === \"expired\") {\n    return \"resolved_false\";\n  }\n  if (value === \"deprecated\") {\n    return \"superseded\";\n  }\n  return null;\n}\n\nfunction normalizeBeliefConfidence(confidence: unknown): number | null {\n  if (typeof confidence !== \"number\" || !Number.isFinite(confidence)) {\n    return null;\n  }\n  if (confidence >= 0 && confidence <= 1) {\n    return confidence;\n  }\n  // Backward compatibility with historical percentage-scale confidence (0-100).\n  if (confidence > 1 && confidence <= 100) {\n    return confidence / 100;\n  }\n  return null;\n}\n\nexport function isResolvedByConfidence(confidence: unknown): boolean {\n  const normalized = normalizeBeliefConfidence(confidence);\n  if (normalized === null) {\n    return false;\n  }\n  return normalized <= 0 || normalized >= 1;\n}\n\nexport function hasResolvedPredictionOutcome(predictionMeta: unknown): boolean {\n  if (!predictionMeta || typeof predictionMeta !== \"object\") {\n    return false;\n  }\n  const outcome = (predictionMeta as { outcome?: unknown }).outcome;\n  return (\n    typeof outcome === \"string\" &&\n    RESOLVED_PREDICTION_OUTCOMES.includes(outcome as PredictionOutcome)\n  );\n}\n\nfunction getPredictionMetaFromMetadata(\n  metadata: Record<string, unknown> | undefined\n): unknown {\n  return metadata?.predictionMeta;\n}\n\nexport function shouldTreatBeliefAsFact(opts: {\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): boolean {\n  if (isResolvedByConfidence(opts.confidence)) {\n    return true;\n  }\n  if (hasResolvedPredictionOutcome(opts.predictionMeta)) {\n    return true;\n  }\n  if (\n    hasResolvedPredictionOutcome(getPredictionMetaFromMetadata(opts.metadata))\n  ) {\n    return true;\n  }\n  return false;\n}\n\nfunction resolvedPredictionStatus(\n  predictionMeta: unknown\n): BeliefLifecycleStatus | null {\n  if (!predictionMeta || typeof predictionMeta !== \"object\") {\n    return null;\n  }\n  const outcome = (predictionMeta as { outcome?: unknown }).outcome;\n  if (outcome === \"confirmed\") {\n    return \"resolved_true\";\n  }\n  if (outcome === \"disconfirmed\" || outcome === \"expired\") {\n    return \"resolved_false\";\n  }\n  return null;\n}\n\nfunction shouldTreatBeliefAsResolved(opts: {\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus | null {\n  if (isResolvedByConfidence(opts.confidence)) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    return normalized === 0 ? \"resolved_false\" : \"resolved_true\";\n  }\n  const directPredictionStatus = resolvedPredictionStatus(opts.predictionMeta);\n  if (directPredictionStatus) {\n    return directPredictionStatus;\n  }\n  const metadataPredictionStatus = resolvedPredictionStatus(\n    getPredictionMetaFromMetadata(opts.metadata)\n  );\n  if (metadataPredictionStatus) {\n    return metadataPredictionStatus;\n  }\n  return null;\n}\n\nexport function resolveBeliefLifecycleStatus(opts: {\n  beliefStatus?: unknown;\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus {\n  const resolvedStatus = shouldTreatBeliefAsResolved(opts);\n  if (resolvedStatus) {\n    return resolvedStatus;\n  }\n\n  const direct = opts.beliefStatus;\n  const normalizedDirect = normalizeLegacyBeliefStatus(direct);\n  if (normalizedDirect) {\n    // If the belief has been scored (has numeric credence) but stored status\n    // is still pre-validation, promote to active. Evidence, not user intent,\n    // makes a hypothesis active.\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (normalized !== null && isPreValidationBeliefStatus(normalizedDirect)) {\n      return \"active\";\n    }\n    return normalizedDirect;\n  }\n\n  const metaStatus = opts.metadata?.beliefStatus;\n  const normalizedMetaStatus = normalizeLegacyBeliefStatus(metaStatus);\n  if (normalizedMetaStatus) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (\n      normalized !== null &&\n      isPreValidationBeliefStatus(normalizedMetaStatus)\n    ) {\n      return \"active\";\n    }\n    return normalizedMetaStatus;\n  }\n\n  return \"assumption\";\n}\n\nexport function isPreValidationBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"assumption\" || status === \"hypothesis\";\n}\n\nexport function isPropagationEligibleBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"active\" || status === \"resolved_true\";\n}\n\nexport function promoteBeliefStatusAfterScoring(\n  status: BeliefLifecycleStatus,\n  opts?: {\n    confidence?: unknown;\n    predictionMeta?: unknown;\n    metadata?: Record<string, unknown>;\n  }\n): BeliefLifecycleStatus {\n  const resolvedStatus = shouldTreatBeliefAsResolved({ ...opts });\n  if (resolvedStatus) {\n    return resolvedStatus;\n  }\n  if (isPreValidationBeliefStatus(status)) {\n    return \"active\";\n  }\n  return status;\n}\n\nexport function promoteBeliefStatusAfterEvidence(\n  status: BeliefLifecycleStatus\n): BeliefLifecycleStatus {\n  return isPreValidationBeliefStatus(status) ? \"active\" : status;\n}\n"]}

package/dist/confidencePropagationDispatch.d.ts

@@ -1,46 +1,47 @@
-import { SLOpinion, SLOperator } from '@lucern/confidence';
-import { PropagationEdgeType, PropagationTraversalDirection, PropagationEdgeRecord, EdgePropagationSpec } from './edges/propagationTypes.js';
+import { SLOperator, SLOpinion } from '@lucern/confidence';
+import { PropagationEdgeType, PropagationTraversalDirection, PropagationEdgeRecord, EdgePropagationSpec } from './edges/propagation-types.js';
 
-type PropagationDispatchScope = {
+interface PropagationDispatchScope {
     tenantId?: string;
     workspaceId?: string;
-};
-type PropagationDispatchNode<TNodeId extends string = string> = {
+}
+interface PropagationDispatchNode<TNodeId extends string = string> {
     _id?: TNodeId;
-    nodeType?: string;
-    tenantId?: string;
-    workspaceId?: string;
     epistemicLayer?: string;
-    publicationStatus?: string;
     metadata?: unknown;
+    nodeType?: string;
+    opinion_a?: number;
     opinion_b?: number;
     opinion_d?: number;
     opinion_u?: number;
-    opinion_a?: number;
-};
+    publicationStatus?: string;
+    tenantId?: string;
+    workspaceId?: string;
+}
 type PropagationDispatchEdge<TNodeId extends string = string> = PropagationEdgeRecord<TNodeId>;
-type ConfidencePropagationDispatch<TNodeId extends string = string> = {
-    targetNodeId: TNodeId;
+interface ConfidencePropagationDispatch<TNodeId extends string = string> {
     edgeType: PropagationEdgeType;
-    traversedDirection: PropagationTraversalDirection;
-    weight: number;
-    opinion: SLOpinion;
+    hop: number;
     operator: SLOperator;
+    opinion: SLOpinion;
     rationale: string;
-    hop: number;
-};
-declare function collectConfidencePropagationDispatches<TNodeId extends string = string>(args: {
+    targetNodeId: TNodeId;
+    traversedDirection: PropagationTraversalDirection;
+    weight: number;
+}
+interface CollectConfidencePropagationDispatchesArgs<TNodeId extends string = string> {
+    getNode: (nodeId: TNodeId) => Promise<PropagationDispatchNode<TNodeId> | null | undefined>;
+    queryEdges: (args: {
+        direction: PropagationTraversalDirection;
+        hop: number;
+        nodeId: TNodeId;
+        spec: EdgePropagationSpec<TNodeId>;
+    }) => Promise<readonly PropagationDispatchEdge<TNodeId>[]>;
     sourceNodeId: TNodeId;
     sourceOpinion: SLOpinion;
     sourceScope?: PropagationDispatchScope;
     traversalSpecs?: readonly EdgePropagationSpec<TNodeId>[];
-    queryEdges: (args: {
-        nodeId: TNodeId;
-        spec: EdgePropagationSpec<TNodeId>;
-        direction: PropagationTraversalDirection;
-        hop: number;
-    }) => Promise<ReadonlyArray<PropagationDispatchEdge<TNodeId>>>;
-    getNode: (nodeId: TNodeId) => Promise<PropagationDispatchNode<TNodeId> | null | undefined>;
-}): Promise<ConfidencePropagationDispatch<TNodeId>[]>;
+}
+declare function collectConfidencePropagationDispatches<TNodeId extends string = string>(args: CollectConfidencePropagationDispatchesArgs<TNodeId>): Promise<ConfidencePropagationDispatch<TNodeId>[]>;
 
 export { type ConfidencePropagationDispatch, type PropagationDispatchEdge, type PropagationDispatchNode, type PropagationDispatchScope, collectConfidencePropagationDispatches };