@lucern/graph-primitives 1.0.15 → 1.0.17

package/dist/beliefEvidenceLinks.operational.js

@@ -0,0 +1,157 @@
+import { componentsGeneric, anyApi } from 'convex/server';
+
+// src/convex.ts
+componentsGeneric();
+var internal = anyApi;
+
+// src/beliefEvidenceLinks.operational.ts
+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]");
+  }
+  if (args.relation === "supports" && args.weight < 0) {
+    throw new Error("Supporting evidence links require positive weight");
+  }
+  if (args.relation === "contradicts" && args.weight > 0) {
+    throw new Error("Contradicting evidence links require negative weight");
+  }
+}
+async function applyOperationalLinkEffects(ctx, args) {
+  assertEvidenceImpact({ relation: args.relation, weight: args.weight });
+  const confidence = Math.abs(args.weight);
+  const currentSupporting = args.beliefNode.supportingInsightIds ?? [];
+  const currentContradicting = args.beliefNode.contradictingInsightIds ?? [];
+  if (args.relation === "supports" && !currentSupporting.includes(args.insightId)) {
+    await ctx.db.patch(args.beliefId, {
+      supportingInsightIds: [...currentSupporting, args.insightId],
+      contradictingInsightIds: currentContradicting.filter(
+        (id) => id !== args.insightId
+      )
+    });
+  } else if (args.relation === "contradicts" && !currentContradicting.includes(args.insightId)) {
+    await ctx.db.patch(args.beliefId, {
+      contradictingInsightIds: [...currentContradicting, args.insightId],
+      supportingInsightIds: currentSupporting.filter(
+        (id) => id !== args.insightId
+      )
+    });
+  }
+  try {
+    const beliefSpineNode = await ctx.db.get(args.beliefId);
+    const evidenceSpineNode = await ctx.db.get(args.insightId);
+    if (beliefSpineNode?.nodeType === "belief" && evidenceSpineNode?.nodeType === "evidence") {
+      const existingEdges = await ctx.db.query("epistemicEdges").withIndex(
+        "by_from_to",
+        (q) => q.eq("fromNodeId", evidenceSpineNode._id).eq("toNodeId", beliefSpineNode._id)
+      ).collect();
+      for (const edge of existingEdges) {
+        if (edge.edgeType === "informs") {
+          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {
+            globalId: edge.globalId
+          });
+          await ctx.db.delete(edge._id);
+        }
+      }
+      const globalId = `edge-${Date.now()}-${Math.random().toString(36).slice(2, 11)}`;
+      const context = args.rationale || `Linked as ${args.relation}`;
+      await ctx.db.insert("epistemicEdges", {
+        globalId,
+        fromNodeId: evidenceSpineNode._id,
+        toNodeId: beliefSpineNode._id,
+        sourceGlobalId: evidenceSpineNode.globalId,
+        targetGlobalId: beliefSpineNode.globalId,
+        edgeType: "informs",
+        weight: args.weight,
+        confidence,
+        context,
+        reasoningMethod: "testimonial",
+        derivationType: "evidence_sl_scoring",
+        metadata: {
+          relation: args.relation,
+          confidence,
+          impactScore: args.weight,
+          invariant: "evidence.belief_impact_required"
+        },
+        createdBy: args.createdBy,
+        createdAt: Date.now(),
+        updatedAt: Date.now(),
+        projectId: args.beliefNode.projectId,
+        topicId: args.beliefNode.topicId ? String(args.beliefNode.topicId) : void 0,
+        fromNodeType: "evidence",
+        toNodeType: "belief",
+        fromLayer: "L2",
+        toLayer: "L3"
+      });
+      await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {
+        globalId,
+        fromGlobalId: evidenceSpineNode.globalId,
+        toGlobalId: beliefSpineNode.globalId,
+        edgeType: "informs",
+        weight: args.weight,
+        confidence,
+        context,
+        projectId: args.beliefNode.projectId ? String(args.beliefNode.projectId) : void 0,
+        createdBy: args.createdBy,
+        fromNodeType: "evidence",
+        toNodeType: "belief",
+        fromLayer: "L2",
+        toLayer: "L3"
+      });
+    }
+  } catch (e) {
+    console.error("[EpistemicSpine] Failed to create informs edge:", e);
+  }
+  if (args.beliefNode.projectId) {
+    await ctx.scheduler.runAfter(0, "verificationActions:deepVerifyEvidence", {
+      insightId: args.insightId,
+      targetType: "belief",
+      targetId: args.beliefId,
+      projectId: args.beliefNode.projectId,
+      userId: args.createdBy
+    });
+  }
+}
+async function removeOperationalLinkEffects(ctx, args) {
+  const belief = await ctx.db.get(args.beliefId);
+  if (belief) {
+    const currentSupporting = belief.supportingInsightIds ?? [];
+    const currentContradicting = belief.contradictingInsightIds ?? [];
+    if (args.relation === "supports") {
+      await ctx.db.patch(args.beliefId, {
+        supportingInsightIds: currentSupporting.filter(
+          (id) => id !== args.insightId
+        )
+      });
+    } else {
+      await ctx.db.patch(args.beliefId, {
+        contradictingInsightIds: currentContradicting.filter(
+          (id) => id !== args.insightId
+        )
+      });
+    }
+  }
+  try {
+    const beliefSpineNode = await ctx.db.get(args.beliefId);
+    const evidenceSpineNode = await ctx.db.get(args.insightId);
+    if (beliefSpineNode?.nodeType === "belief" && evidenceSpineNode?.nodeType === "evidence") {
+      const edges = await ctx.db.query("epistemicEdges").withIndex(
+        "by_from_to",
+        (q) => q.eq("fromNodeId", evidenceSpineNode._id).eq("toNodeId", beliefSpineNode._id)
+      ).collect();
+      for (const edge of edges) {
+        if (edge.edgeType === "informs") {
+          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {
+            globalId: edge.globalId
+          });
+          await ctx.db.delete(edge._id);
+        }
+      }
+    }
+  } catch (e) {
+    console.error("[EpistemicSpine] Failed to remove informs edge:", e);
+  }
+}
+
+export { applyOperationalLinkEffects, removeOperationalLinkEffects };
+//# sourceMappingURL=beliefEvidenceLinks.operational.js.map
+//# sourceMappingURL=beliefEvidenceLinks.operational.js.map

package/dist/beliefEvidenceLinks.operational.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/convex.ts","../src/beliefEvidenceLinks.operational.ts"],"names":[],"mappings":";;;AAc0B,iBAAA;AACnB,IAAM,QAAA,GAAW,MAAA;;;ACExB,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,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,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,QAAA,GAAW,CAAA,KAAA,EAAQ,IAAA,CAAK,GAAA,EAAK,CAAA,CAAA,EAAI,IAAA,CAAK,MAAA,EAAO,CAAE,SAAS,EAAE,CAAA,CAAE,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,CAAA;AAC9E,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,SAAA,IAAa,CAAA,UAAA,EAAa,KAAK,QAAQ,CAAA,CAAA;AAC5D,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,gBAAA,EAAkB;AAAA,QACpC,QAAA;AAAA,QACA,YAAY,iBAAA,CAAkB,GAAA;AAAA,QAC9B,UAAU,eAAA,CAAgB,GAAA;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\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 { Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\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.eq(\"fromNodeId\", evidenceSpineNode._id).eq(\"toNodeId\", beliefSpineNode._id),\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 = `edge-${Date.now()}-${Math.random().toString(36).slice(2, 11)}`;\n      const context = args.rationale || `Linked as ${args.relation}`;\n      await ctx.db.insert(\"epistemicEdges\", {\n        globalId,\n        fromNodeId: evidenceSpineNode._id,\n        toNodeId: beliefSpineNode._id,\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"]}

package/dist/{beliefLifecycle-y8WLXqQj.d.ts → beliefLifecycle-CXwdDw5e.d.ts}

@@ -2,9 +2,10 @@
  * Belief lifecycle helpers shared across Convex modules.
  *
  * Canonical lifecycle:
- * assumption -> hypothesis -> belief -> fact
+ * assumption -> hypothesis -> active -> resolved_true/resolved_false
+ *                                \-> superseded
  */
-type BeliefLifecycleStatus = "assumption" | "hypothesis" | "belief" | "fact";
+type BeliefLifecycleStatus = "assumption" | "hypothesis" | "active" | "superseded" | "resolved_true" | "resolved_false";
 declare function isBeliefLifecycleStatus(value: unknown): value is BeliefLifecycleStatus;
 declare function isResolvedByConfidence(confidence: unknown): boolean;
 declare function hasResolvedPredictionOutcome(predictionMeta: unknown): boolean;
@@ -26,6 +27,7 @@ declare function promoteBeliefStatusAfterScoring(status: BeliefLifecycleStatus,
     predictionMeta?: unknown;
     metadata?: Record<string, unknown>;
 }): BeliefLifecycleStatus;
+declare function promoteBeliefStatusAfterEvidence(status: BeliefLifecycleStatus): BeliefLifecycleStatus;
 
 type beliefLifecycle_BeliefLifecycleStatus = BeliefLifecycleStatus;
 declare const beliefLifecycle_hasResolvedPredictionOutcome: typeof hasResolvedPredictionOutcome;
@@ -33,11 +35,12 @@ declare const beliefLifecycle_isBeliefLifecycleStatus: typeof isBeliefLifecycleS
 declare const beliefLifecycle_isPreValidationBeliefStatus: typeof isPreValidationBeliefStatus;
 declare const beliefLifecycle_isPropagationEligibleBeliefStatus: typeof isPropagationEligibleBeliefStatus;
 declare const beliefLifecycle_isResolvedByConfidence: typeof isResolvedByConfidence;
+declare const beliefLifecycle_promoteBeliefStatusAfterEvidence: typeof promoteBeliefStatusAfterEvidence;
 declare const beliefLifecycle_promoteBeliefStatusAfterScoring: typeof promoteBeliefStatusAfterScoring;
 declare const beliefLifecycle_resolveBeliefLifecycleStatus: typeof resolveBeliefLifecycleStatus;
 declare const beliefLifecycle_shouldTreatBeliefAsFact: typeof shouldTreatBeliefAsFact;
 declare namespace beliefLifecycle {
-  export { type beliefLifecycle_BeliefLifecycleStatus as BeliefLifecycleStatus, beliefLifecycle_hasResolvedPredictionOutcome as hasResolvedPredictionOutcome, beliefLifecycle_isBeliefLifecycleStatus as isBeliefLifecycleStatus, beliefLifecycle_isPreValidationBeliefStatus as isPreValidationBeliefStatus, beliefLifecycle_isPropagationEligibleBeliefStatus as isPropagationEligibleBeliefStatus, beliefLifecycle_isResolvedByConfidence as isResolvedByConfidence, beliefLifecycle_promoteBeliefStatusAfterScoring as promoteBeliefStatusAfterScoring, beliefLifecycle_resolveBeliefLifecycleStatus as resolveBeliefLifecycleStatus, beliefLifecycle_shouldTreatBeliefAsFact as shouldTreatBeliefAsFact };
+  export { type beliefLifecycle_BeliefLifecycleStatus as BeliefLifecycleStatus, beliefLifecycle_hasResolvedPredictionOutcome as hasResolvedPredictionOutcome, beliefLifecycle_isBeliefLifecycleStatus as isBeliefLifecycleStatus, beliefLifecycle_isPreValidationBeliefStatus as isPreValidationBeliefStatus, beliefLifecycle_isPropagationEligibleBeliefStatus as isPropagationEligibleBeliefStatus, beliefLifecycle_isResolvedByConfidence as isResolvedByConfidence, beliefLifecycle_promoteBeliefStatusAfterEvidence as promoteBeliefStatusAfterEvidence, beliefLifecycle_promoteBeliefStatusAfterScoring as promoteBeliefStatusAfterScoring, beliefLifecycle_resolveBeliefLifecycleStatus as resolveBeliefLifecycleStatus, beliefLifecycle_shouldTreatBeliefAsFact as shouldTreatBeliefAsFact };
 }
 
-export { type BeliefLifecycleStatus as B, isPreValidationBeliefStatus as a, beliefLifecycle as b, isPropagationEligibleBeliefStatus as c, isResolvedByConfidence as d, hasResolvedPredictionOutcome as h, isBeliefLifecycleStatus as i, promoteBeliefStatusAfterScoring as p, resolveBeliefLifecycleStatus as r, shouldTreatBeliefAsFact as s };
+export { type BeliefLifecycleStatus as B, isPreValidationBeliefStatus as a, beliefLifecycle as b, isPropagationEligibleBeliefStatus as c, isResolvedByConfidence as d, promoteBeliefStatusAfterScoring as e, hasResolvedPredictionOutcome as h, isBeliefLifecycleStatus as i, promoteBeliefStatusAfterEvidence as p, resolveBeliefLifecycleStatus as r, shouldTreatBeliefAsFact as s };

package/dist/beliefLifecycle.d.ts

@@ -1 +1 @@
-export { B as BeliefLifecycleStatus, h as hasResolvedPredictionOutcome, i as isBeliefLifecycleStatus, a as isPreValidationBeliefStatus, c as isPropagationEligibleBeliefStatus, d as isResolvedByConfidence, p as promoteBeliefStatusAfterScoring, r as resolveBeliefLifecycleStatus, s as shouldTreatBeliefAsFact } from './beliefLifecycle-y8WLXqQj.js';
+export { B as BeliefLifecycleStatus, h as hasResolvedPredictionOutcome, i as isBeliefLifecycleStatus, a as isPreValidationBeliefStatus, c as isPropagationEligibleBeliefStatus, d as isResolvedByConfidence, p as promoteBeliefStatusAfterEvidence, e as promoteBeliefStatusAfterScoring, r as resolveBeliefLifecycleStatus, s as shouldTreatBeliefAsFact } from './beliefLifecycle-CXwdDw5e.js';

package/dist/beliefLifecycle.js

@@ -2,8 +2,10 @@
 var BELIEF_STATUS_VALUES = [
   "assumption",
   "hypothesis",
-  "belief",
-  "fact"
+  "active",
+  "superseded",
+  "resolved_true",
+  "resolved_false"
 ];
 var RESOLVED_PREDICTION_OUTCOMES = [
   "confirmed",
@@ -14,6 +16,24 @@ var RESOLVED_PREDICTION_OUTCOMES = [
 function isBeliefLifecycleStatus(value) {
   return typeof value === "string" && BELIEF_STATUS_VALUES.includes(value);
 }
+function normalizeLegacyBeliefStatus(value) {
+  if (isBeliefLifecycleStatus(value)) {
+    return value;
+  }
+  if (value === "belief" || value === "established" || value === "emerging") {
+    return "active";
+  }
+  if (value === "fact" || value === "confirmed") {
+    return "resolved_true";
+  }
+  if (value === "disconfirmed" || value === "expired") {
+    return "resolved_false";
+  }
+  if (value === "deprecated") {
+    return "superseded";
+  }
+  return null;
+}
 function normalizeBeliefConfidence(confidence) {
   if (typeof confidence !== "number" || !Number.isFinite(confidence)) {
     return null;
@@ -55,25 +75,58 @@ function shouldTreatBeliefAsFact(opts) {
   }
   return false;
 }
+function resolvedPredictionStatus(predictionMeta) {
+  if (!predictionMeta || typeof predictionMeta !== "object") {
+    return null;
+  }
+  const outcome = predictionMeta.outcome;
+  if (outcome === "confirmed") {
+    return "resolved_true";
+  }
+  if (outcome === "disconfirmed" || outcome === "expired") {
+    return "resolved_false";
+  }
+  return null;
+}
+function shouldTreatBeliefAsResolved(opts) {
+  if (isResolvedByConfidence(opts.confidence)) {
+    const normalized = normalizeBeliefConfidence(opts.confidence);
+    return normalized === 0 ? "resolved_false" : "resolved_true";
+  }
+  const directPredictionStatus = resolvedPredictionStatus(opts.predictionMeta);
+  if (directPredictionStatus) {
+    return directPredictionStatus;
+  }
+  const metadataPredictionStatus = resolvedPredictionStatus(
+    getPredictionMetaFromMetadata(opts.metadata)
+  );
+  if (metadataPredictionStatus) {
+    return metadataPredictionStatus;
+  }
+  return null;
+}
 function resolveBeliefLifecycleStatus(opts) {
-  if (shouldTreatBeliefAsFact(opts)) {
-    return "fact";
+  const resolvedStatus = shouldTreatBeliefAsResolved(opts);
+  if (resolvedStatus) {
+    return resolvedStatus;
   }
   const direct = opts.beliefStatus;
-  if (isBeliefLifecycleStatus(direct)) {
+  const normalizedDirect = normalizeLegacyBeliefStatus(direct);
+  if (normalizedDirect) {
     const normalized = normalizeBeliefConfidence(opts.confidence);
-    if (normalized !== null && isPreValidationBeliefStatus(direct)) {
-      return "belief";
+    if (normalized !== null && isPreValidationBeliefStatus(normalizedDirect)) {
+      return "active";
     }
-    return direct;
+    return normalizedDirect;
   }
   const metaStatus = opts.metadata?.beliefStatus;
-  if (isBeliefLifecycleStatus(metaStatus)) {
+  const normalizedMetaStatus = normalizeLegacyBeliefStatus(metaStatus);
+  if (normalizedMetaStatus) {
     const normalized = normalizeBeliefConfidence(opts.confidence);
-    if (normalized !== null && isPreValidationBeliefStatus(metaStatus)) {
-      return "belief";
+    if (normalized !== null && isPreValidationBeliefStatus(normalizedMetaStatus)) {
+      return "active";
     }
-    return metaStatus;
+    return normalizedMetaStatus;
   }
   return "assumption";
 }
@@ -81,18 +134,22 @@ function isPreValidationBeliefStatus(status) {
   return status === "assumption" || status === "hypothesis";
 }
 function isPropagationEligibleBeliefStatus(status) {
-  return status === "belief" || status === "fact";
+  return status === "active" || status === "resolved_true";
 }
 function promoteBeliefStatusAfterScoring(status, opts) {
-  if (shouldTreatBeliefAsFact({ ...opts })) {
-    return "fact";
+  const resolvedStatus = shouldTreatBeliefAsResolved({ ...opts });
+  if (resolvedStatus) {
+    return resolvedStatus;
   }
   if (isPreValidationBeliefStatus(status)) {
-    return "belief";
+    return "active";
   }
-  return status === "fact" ? "fact" : "belief";
+  return status;
+}
+function promoteBeliefStatusAfterEvidence(status) {
+  return isPreValidationBeliefStatus(status) ? "active" : status;
 }
 
-export { hasResolvedPredictionOutcome, isBeliefLifecycleStatus, isPreValidationBeliefStatus, isPropagationEligibleBeliefStatus, isResolvedByConfidence, promoteBeliefStatusAfterScoring, resolveBeliefLifecycleStatus, shouldTreatBeliefAsFact };
+export { hasResolvedPredictionOutcome, isBeliefLifecycleStatus, isPreValidationBeliefStatus, isPropagationEligibleBeliefStatus, isResolvedByConfidence, promoteBeliefStatusAfterEvidence, promoteBeliefStatusAfterScoring, resolveBeliefLifecycleStatus, shouldTreatBeliefAsFact };
 //# sourceMappingURL=beliefLifecycle.js.map
 //# sourceMappingURL=beliefLifecycle.js.map

package/dist/beliefLifecycle.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/beliefLifecycle.ts"],"names":[],"mappings":";AAoBA,IAAM,oBAAA,GAAyD;AAAA,EAC7D,YAAA;AAAA,EACA,YAAA;AAAA,EACA,QAAA;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,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;AAEO,SAAS,6BAA6B,IAAA,EAKnB;AACxB,EAAA,IAAI,uBAAA,CAAwB,IAAI,CAAA,EAAG;AACjC,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAS,IAAA,CAAK,YAAA;AACpB,EAAA,IAAI,uBAAA,CAAwB,MAAM,CAAA,EAAG;AAGnC,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IAAI,UAAA,KAAe,IAAA,IAAQ,2BAAA,CAA4B,MAAM,CAAA,EAAG;AAC9D,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,MAAM,UAAA,GAAa,KAAK,QAAA,EAAU,YAAA;AAClC,EAAA,IAAI,uBAAA,CAAwB,UAAU,CAAA,EAAG;AACvC,IAAA,MAAM,UAAA,GAAa,yBAAA,CAA0B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,IAAI,UAAA,KAAe,IAAA,IAAQ,2BAAA,CAA4B,UAAU,CAAA,EAAG;AAClE,MAAA,OAAO,QAAA;AAAA,IACT;AACA,IAAA,OAAO,UAAA;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,MAAA;AAC3C;AAEO,SAAS,+BAAA,CACd,QACA,IAAA,EAKuB;AACvB,EAAA,IAAI,uBAAA,CAAwB,EAAE,GAAG,IAAA,EAAM,CAAA,EAAG;AACxC,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,IAAI,2BAAA,CAA4B,MAAM,CAAA,EAAG;AACvC,IAAA,OAAO,QAAA;AAAA,EACT;AACA,EAAA,OAAO,MAAA,KAAW,SAAS,MAAA,GAAS,QAAA;AACtC","file":"beliefLifecycle.js","sourcesContent":["/**\n * Belief lifecycle helpers shared across Convex modules.\n *\n * Canonical lifecycle:\n * assumption -> hypothesis -> belief -> fact\n */\n\nexport type BeliefLifecycleStatus =\n  | \"assumption\"\n  | \"hypothesis\"\n  | \"belief\"\n  | \"fact\";\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  \"belief\",\n  \"fact\",\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 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\nexport function resolveBeliefLifecycleStatus(opts: {\n  beliefStatus?: unknown;\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus {\n  if (shouldTreatBeliefAsFact(opts)) {\n    return \"fact\";\n  }\n\n  const direct = opts.beliefStatus;\n  if (isBeliefLifecycleStatus(direct)) {\n    // If the belief has been scored (has numeric credence) but stored status\n    // is still pre-validation, promote to \"belief\". Scoring = merge to main.\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (normalized !== null && isPreValidationBeliefStatus(direct)) {\n      return \"belief\";\n    }\n    return direct;\n  }\n\n  const metaStatus = opts.metadata?.beliefStatus;\n  if (isBeliefLifecycleStatus(metaStatus)) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (normalized !== null && isPreValidationBeliefStatus(metaStatus)) {\n      return \"belief\";\n    }\n    return metaStatus;\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 === \"belief\" || status === \"fact\";\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  if (shouldTreatBeliefAsFact({ ...opts })) {\n    return \"fact\";\n  }\n  if (isPreValidationBeliefStatus(status)) {\n    return \"belief\";\n  }\n  return status === \"fact\" ? \"fact\" : \"belief\";\n}\n"]}
+{"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"]}