@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/epistemicBeliefs.queries.js

@@ -1,12 +1,165 @@
-import { v } from 'convex/values';
 import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
+import { v } from 'convex/values';
+import { unsafeConvexAnyApi } from '@lucern/contracts/convex/unsafeAnyApi';
 import { componentsGeneric, queryGeneric } from 'convex/server';
+import '@lucern/access-control/audience';
+import '@lucern/access-control/auth';
+import '@lucern/access-control/structuredMutationError';
+import { normalizeTupleContradictionPolicy } from '@lucern/confidence';
 
 // src/epistemicBeliefs.queries.ts
+unsafeConvexAnyApi(
+  "graph-primitives top-level module bundle lacks a committed Convex _generated/api surface"
+);
 componentsGeneric();
 var query = queryGeneric;
+v.id("epistemicNodes");
+({
+  tupleContradiction: normalizeTupleContradictionPolicy()
+});
+function readFiniteNumber(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+function isRecord(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function readOptionalString(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value : void 0;
+}
+function readStringArray(value) {
+  if (!Array.isArray(value)) {
+    return;
+  }
+  const strings = value.filter(
+    (item) => typeof item === "string" && item.length > 0
+  );
+  return strings.length === value.length ? strings : void 0;
+}
+function readRecord(value) {
+  return isRecord(value) ? value : void 0;
+}
+function readBeliefNodeView(value) {
+  if (!isRecord(value)) {
+    return null;
+  }
+  const id = readOptionalString(value._id);
+  const nodeType = readOptionalString(value.nodeType);
+  if (!(id && nodeType === "belief")) {
+    return null;
+  }
+  const node = {
+    _id: id,
+    nodeType
+  };
+  const creationTime = readFiniteNumber(value._creationTime);
+  if (creationTime !== void 0) {
+    node._creationTime = creationTime;
+  }
+  const metadata = readRecord(value.metadata);
+  if (metadata !== void 0) {
+    node.metadata = metadata;
+  }
+  const opinionA = readFiniteNumber(value.opinion_a);
+  if (opinionA !== void 0) {
+    node.opinion_a = opinionA;
+  }
+  const opinionB = readFiniteNumber(value.opinion_b);
+  if (opinionB !== void 0) {
+    node.opinion_b = opinionB;
+  }
+  const opinionD = readFiniteNumber(value.opinion_d);
+  if (opinionD !== void 0) {
+    node.opinion_d = opinionD;
+  }
+  const opinionU = readFiniteNumber(value.opinion_u);
+  if (opinionU !== void 0) {
+    node.opinion_u = opinionU;
+  }
+  const tupleContradicted = typeof value.tupleContradicted === "boolean" ? value.tupleContradicted : void 0;
+  if (tupleContradicted !== void 0) {
+    node.tupleContradicted = tupleContradicted;
+  }
+  const stringFields = {
+    anonymizationClass: value.anonymizationClass,
+    audienceLabel: value.audienceLabel,
+    canonicalText: value.canonicalText,
+    createdBy: value.createdBy,
+    epistemicLayer: value.epistemicLayer,
+    exportClass: value.exportClass,
+    globalId: value.globalId,
+    projectId: value.projectId,
+    publicationStatus: value.publicationStatus,
+    sensitivityTier: value.sensitivityTier,
+    status: value.status,
+    tenantId: value.tenantId,
+    topicId: value.topicId,
+    userId: value.userId,
+    workspaceId: value.workspaceId
+  };
+  for (const [field, fieldValue] of Object.entries(stringFields)) {
+    const normalized = readOptionalString(fieldValue);
+    if (normalized !== void 0) {
+      node[field] = normalized;
+    }
+  }
+  const createdAt = readFiniteNumber(value.createdAt);
+  if (createdAt !== void 0) {
+    node.createdAt = createdAt;
+  }
+  const updatedAt = readFiniteNumber(value.updatedAt);
+  if (updatedAt !== void 0) {
+    node.updatedAt = updatedAt;
+  }
+  if (value.beliefStatus !== void 0) {
+    node.beliefStatus = value.beliefStatus;
+  }
+  if (value.confidence !== void 0) {
+    node.confidence = value.confidence;
+  }
+  if (value.predictionMeta !== void 0) {
+    node.predictionMeta = value.predictionMeta;
+  }
+  const policyTags = readStringArray(value.policyTags);
+  if (policyTags !== void 0) {
+    node.policyTags = policyTags;
+  }
+  return node;
+}
 
 // src/epistemicBeliefs.queries.ts
+function isRecord2(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function readOptionalString2(value) {
+  return typeof value === "string" && value.trim().length > 0 ? value : void 0;
+}
+function readConvexId(value) {
+  const normalized = readOptionalString2(value);
+  return normalized;
+}
+function isBeliefNode(node) {
+  return readBeliefNodeView(node) !== null;
+}
+async function resolveEpistemicNodeId(ctx, ref) {
+  const normalized = readOptionalString2(ref);
+  if (!normalized) {
+    return null;
+  }
+  const direct = ctx.db.normalizeId?.("epistemicNodes", normalized);
+  if (direct) {
+    return direct;
+  }
+  const byGlobalId = readBeliefNodeView(
+    await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", normalized)).first()
+  );
+  return byGlobalId?._id ?? null;
+}
+function readLineageEdgeTarget(edge) {
+  if (!isRecord2(edge)) {
+    return;
+  }
+  return readOptionalString2(edge.toNodeId);
+}
 var getConfidenceHistory = query({
   args: {
     nodeId: v.id("epistemicNodes")
@@ -14,7 +167,7 @@ var getConfidenceHistory = query({
   returns: permissiveReturn,
   handler: async (ctx, args) => {
     const node = await ctx.db.get(args.nodeId);
-    if (!node || node.nodeType !== "belief") {
+    if (node?.nodeType !== "belief") {
       return [];
     }
     return await ctx.db.query("beliefConfidence").withIndex("by_beliefId_time", (q) => q.eq("beliefId", args.nodeId)).order("asc").collect();
@@ -29,26 +182,24 @@ var getLineage = query({
     const lineage = [];
     let currentId = args.nodeId;
     while (currentId) {
-      const node = await ctx.db.get(currentId);
-      if (!node || node.nodeType !== "belief") {
+      const beliefId = currentId;
+      const node = readBeliefNodeView(await ctx.db.get(beliefId));
+      if (!node) {
         break;
       }
-      const metadata = node.metadata;
+      const metadata = node.metadata ?? {};
       lineage.push({
         nodeId: node._id,
-        formulation: node.canonicalText,
-        forkReason: metadata?.forkReason,
-        createdAt: node.createdAt
+        formulation: node.canonicalText ?? "",
+        forkReason: readOptionalString2(metadata.forkReason),
+        createdAt: node.createdAt ?? 0
       });
       const edges = await ctx.db.query("epistemicEdges").withIndex(
         "by_from_type",
-        (q) => q.eq("fromNodeId", currentId).eq("edgeType", "supersedes")
+        (q) => q.eq("fromNodeId", node.globalId ?? String(beliefId)).eq("edgeType", "supersedes")
       ).collect();
-      if (edges.length > 0) {
-        currentId = edges[0].toNodeId ?? null;
-      } else {
-        currentId = metadata?.forkedFrom;
-      }
+      const edgeTarget = readLineageEdgeTarget(edges[0]);
+      currentId = await resolveEpistemicNodeId(ctx, edgeTarget) ?? readConvexId(metadata.forkedFrom) ?? null;
     }
     return lineage;
   }
@@ -59,10 +210,8 @@ var getByIds = query({
   },
   returns: permissiveReturn,
   handler: async (ctx, args) => {
-    const beliefs = await Promise.all(
-      args.nodeIds.map((id) => ctx.db.get(id))
-    );
-    return beliefs.filter((b) => b !== null && b.nodeType === "belief");
+    const beliefs = await Promise.all(args.nodeIds.map((id) => ctx.db.get(id)));
+    return beliefs.filter(isBeliefNode);
   }
 });
 var getByWorktree = query({
@@ -78,8 +227,14 @@ var getByWorktree = query({
     const clusterLinks = await ctx.db.query("worktreeBeliefCluster").withIndex("by_worktree", (q) => q.eq("worktreeId", args.worktreeId)).collect();
     const beliefs = [];
     for (const link of clusterLinks) {
-      const node = await ctx.db.get(link.beliefId);
-      if (node) beliefs.push(node);
+      const beliefId = isRecord2(link) ? readConvexId(link.beliefId) : void 0;
+      if (!beliefId) {
+        continue;
+      }
+      const node = await ctx.db.get(beliefId);
+      if (isBeliefNode(node)) {
+        beliefs.push(node);
+      }
     }
     return beliefs;
   }

package/dist/epistemicBeliefs.queries.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicBeliefs.queries.ts"],"names":[],"mappings":";;;;;AAyB0B,iBAAA;AA4GnB,IAAM,KAAA,GAAQ,YAAA;;;AClEd,IAAM,uBAAuB,KAAA,CAAM;AAAA,EACxC,IAAA,EAAM;AAAA,IACJ,MAAA,EAAQ,CAAA,CAAE,EAAA,CAAG,gBAAgB;AAAA,GAC/B;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAU,IAAA,KAAc;AACtC,IAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,MAAM,CAAA;AACzC,IAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,QAAA,KAAa,QAAA,EAAU;AACvC,MAAA,OAAO,EAAC;AAAA,IACV;AAEA,IAAA,OAAO,MAAM,IAAI,EAAA,CACd,KAAA,CAAM,kBAAkB,CAAA,CACxB,SAAA,CAAU,oBAAoB,CAAC,CAAA,KAAW,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,MAAM,CAAC,EACvE,KAAA,CAAM,KAAK,EACX,OAAA,EAAQ;AAAA,EACb;AACF,CAAC;AASM,IAAM,aAAa,KAAA,CAAM;AAAA,EAC9B,IAAA,EAAM;AAAA,IACJ,MAAA,EAAQ,CAAA,CAAE,EAAA,CAAG,gBAAgB;AAAA,GAC/B;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAU,IAAA,KAAc;AACtC,IAAA,MAAM,UAKD,EAAC;AAEN,IAAA,IAAI,YAAyC,IAAA,CAAK,MAAA;AAElD,IAAA,OAAO,SAAA,EAAW;AAChB,MAAA,MAAM,IAAA,GAAO,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,SAAS,CAAA;AACvC,MAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,QAAA,KAAa,QAAA,EAAU;AACvC,QAAA;AAAA,MACF;AAEA,MAAA,MAAM,WAAW,IAAA,CAAK,QAAA;AAEtB,MAAA,OAAA,CAAQ,IAAA,CAAK;AAAA,QACX,QAAQ,IAAA,CAAK,GAAA;AAAA,QACb,aAAa,IAAA,CAAK,aAAA;AAAA,QAClB,YAAY,QAAA,EAAU,UAAA;AAAA,QACtB,WAAW,IAAA,CAAK;AAAA,OACjB,CAAA;AAGD,MAAA,MAAM,QAAQ,MAAM,GAAA,CAAI,EAAA,CACrB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,cAAA;AAAA,QAAgB,CAAC,MAC1B,CAAA,CAAE,EAAA,CAAG,cAAc,SAAU,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,YAAY;AAAA,QAE3D,OAAA,EAAQ;AAEX,MAAA,IAAI,KAAA,CAAM,SAAS,CAAA,EAAG;AACpB,QAAA,SAAA,GAAY,KAAA,CAAM,CAAC,CAAA,CAAE,QAAA,IAAY,IAAA;AAAA,MACnC,CAAA,MAAO;AAEL,QAAA,SAAA,GAAY,QAAA,EAAU,UAAA;AAAA,MACxB;AAAA,IACF;AAEA,IAAA,OAAO,OAAA;AAAA,EACT;AACF,CAAC;AASM,IAAM,WAAW,KAAA,CAAM;AAAA,EAC5B,IAAA,EAAM;AAAA,IACJ,SAAS,CAAA,CAAE,KAAA,CAAM,CAAA,CAAE,EAAA,CAAG,gBAAgB,CAAC;AAAA,GACzC;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAU,IAAA,KAAc;AACtC,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,CAAQ,GAAA;AAAA,MAC3B,IAAA,CAAK,QAAkB,GAAA,CAAI,CAAC,OAAY,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,EAAE,CAAC;AAAA,KACzD;AACA,IAAA,OAAO,OAAA,CAAQ,OAAO,CAAC,CAAA,KAAW,MAAM,IAAA,IAAQ,CAAA,CAAE,aAAa,QAAQ,CAAA;AAAA,EACzE;AACF,CAAC;AASM,IAAM,gBAAgB,KAAA,CAAM;AAAA,EACjC,IAAA,EAAM;AAAA,IACJ,UAAA,EAAY,EAAE,MAAA;AAAO,GACvB;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAU,IAAA,KAAc;AACtC,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,UAA6B,CAAA;AACpE,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,OAAO,EAAC;AAAA,IACV;AAEA,IAAA,MAAM,eAAe,MAAM,GAAA,CAAI,GAC5B,KAAA,CAAM,uBAAuB,EAC7B,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAW,EAAE,EAAA,CAAG,YAAA,EAAc,KAAK,UAAU,CAAC,EACxE,OAAA,EAAQ;AAEX,IAAA,MAAM,UAAwC,EAAC;AAC/C,IAAA,KAAA,MAAW,QAAQ,YAAA,EAAc;AAC/B,MAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AAC3C,MAAA,IAAI,IAAA,EAAM,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAA;AAAA,IAC7B;AACA,IAAA,OAAO,OAAA;AAAA,EACT;AACF,CAAC","file":"epistemicBeliefs.queries.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","/** Split read-only belief queries out of epistemicBeliefs.ts. */\n\nimport { v } from \"convex/values\";\nimport {\n  detectTupleContradiction,\n  evaluateTupleContradictionTransition,\n  confidenceFromSL,\n  mkOpinion,\n  normalizeTupleContradictionPolicy,\n  readOpinionFromRecord,\n  type ConfidencePolicyConfig,\n  type Opinion,\n  type SLOpinion,\n  type SLOperator,\n} from \"@lucern/confidence\";\nimport {\n  checkProjectAccess,\n  checkScopeAccess,\n} from \"@lucern/access-control/access\";\nimport {\n  canAudienceClassAccess,\n  classFromAudienceKey,\n  normalizeAudienceKey,\n} from \"@lucern/access-control/audience\";\nimport { listAudienceRegistryRows } from \"@lucern/access-control/audienceRegistry\";\nimport { getCurrentUserId } from \"@lucern/access-control/auth\";\nimport { assertSchemaEnumValue } from \"@lucern/contracts/schema-helpers/enumValidation\";\nimport { permissiveReturn } from \"@lucern/contracts/schema-helpers/validators\";\nimport {\n  type BeliefLifecycleStatus,\n  isPreValidationBeliefStatus,\n  promoteBeliefStatusAfterScoring,\n  resolveBeliefLifecycleStatus,\n} from \"./beliefLifecycle\";\nimport type { Doc, Id, MutationCtx } from \"./convex\";\nimport {\n  internal,\n  internalMutation,\n  internalQuery,\n  mutation,\n  query,\n} from \"./convex\";\nimport { collectConfidencePropagationDispatches } from \"./confidencePropagationDispatch\";\nimport { debugGraphPrimitiveFallback } from \"./debug\";\nimport {\n  createInheritedContractRecord,\n  type VerificationConfidenceTrigger,\n} from \"./epistemicContractHelpers\";\nimport { scheduleEmbeddingGeneration } from \"./embeddingTrigger\";\nimport { generateGlobalId } from \"./globalId\";\nimport { computeLogicalRole } from \"./logicalRoleInference\";\nimport { resolveGraphPrimitivesAppResolvers } from \"./resolvers\";\nimport { optionalScopeArgs, resolveTopicProjectScope } from \"./topicScope\";\nimport {\n  assertTenantPackWorkspaceMutationAllowed,\n  assertWorkspaceScopedEpistemicNodeScope,\n  nodeMatchesWorkspaceReasoningScope,\n  resolveNodeScopeForWorkspaceIsolation,\n  resolveRuntimePackMutationContext,\n} from \"./workspaceIsolation\";\nimport {\n  clampBeliefLimit,\n  flattenBeliefNode,\n  getBeliefNodesForScope,\n  resolveBeliefScopeOrNull,\n} from \"./epistemicBeliefs.helpers\";\n\nexport const getConfidenceHistory = query({\n  args: {\n    nodeId: v.id(\"epistemicNodes\"),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: any, args: any) => {\n    const node = await ctx.db.get(args.nodeId);\n    if (!node || node.nodeType !== \"belief\") {\n      return [];\n    }\n\n    return await ctx.db\n      .query(\"beliefConfidence\")\n      .withIndex(\"by_beliefId_time\", (q: any) => q.eq(\"beliefId\", args.nodeId))\n      .order(\"asc\")\n      .collect();\n  },\n});\n\n// =============================================================================\n// GET BELIEF LINEAGE\n// =============================================================================\n\n/**\n * Get the lineage of a belief (all forks and parents).\n */\nexport const getLineage = query({\n  args: {\n    nodeId: v.id(\"epistemicNodes\"),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: any, args: any) => {\n    const lineage: Array<{\n      nodeId: Id<\"epistemicNodes\">;\n      formulation: string;\n      forkReason?: string;\n      createdAt: number;\n    }> = [];\n\n    let currentId: Id<\"epistemicNodes\"> | null = args.nodeId;\n\n    while (currentId) {\n      const node = await ctx.db.get(currentId);\n      if (!node || node.nodeType !== \"belief\") {\n        break;\n      }\n\n      const metadata = node.metadata as Record<string, unknown> | undefined;\n\n      lineage.push({\n        nodeId: node._id,\n        formulation: node.canonicalText,\n        forkReason: metadata?.forkReason as string | undefined,\n        createdAt: node.createdAt,\n      });\n\n      // Find parent via supersedes edge\n      const edges = await ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_from_type\", (q: any) =>\n          q.eq(\"fromNodeId\", currentId!).eq(\"edgeType\", \"supersedes\"),\n        )\n        .collect();\n\n      if (edges.length > 0) {\n        currentId = edges[0].toNodeId ?? null;\n      } else {\n        // Check metadata for forkedFrom (backfilled beliefs)\n        currentId = metadata?.forkedFrom as Id<\"epistemicNodes\"> | null;\n      }\n    }\n\n    return lineage;\n  },\n});\n\n// =============================================================================\n// GET BELIEFS BY IDS\n// =============================================================================\n\n/**\n * Get multiple beliefs by their IDs.\n */\nexport const getByIds = query({\n  args: {\n    nodeIds: v.array(v.id(\"epistemicNodes\")),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: any, args: any) => {\n    const beliefs = await Promise.all(\n      (args.nodeIds as any[]).map((id: any) => ctx.db.get(id)),\n    );\n    return beliefs.filter((b: any) => b !== null && b.nodeType === \"belief\");\n  },\n});\n\n// =============================================================================\n// GET BY SPRINT\n// =============================================================================\n\n/**\n * Get all beliefs associated with a worktree via worktreeBeliefCluster.\n */\nexport const getByWorktree = query({\n  args: {\n    worktreeId: v.string(),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: any, args: any) => {\n    const worktree = await ctx.db.get(args.worktreeId as Id<\"worktrees\">);\n    if (!worktree) {\n      return [];\n    }\n\n    const clusterLinks = await ctx.db\n      .query(\"worktreeBeliefCluster\")\n      .withIndex(\"by_worktree\", (q: any) => q.eq(\"worktreeId\", args.worktreeId))\n      .collect();\n\n    const beliefs: Array<Doc<\"epistemicNodes\">> = [];\n    for (const link of clusterLinks) {\n      const node = await ctx.db.get(link.beliefId);\n      if (node) beliefs.push(node);\n    }\n    return beliefs;\n  },\n});\n"]}
+{"version":3,"sources":["../src/convex.ts","../src/epistemicBeliefs.helpers.ts","../src/epistemicBeliefs.queries.ts"],"names":["isRecord","readOptionalString","v"],"mappings":";;;;;;;;;;AA4BkB,kBAAA;AAAA,EAChB;AACF;AAGE,iBAAA;AAkJK,IAAM,KAAA,GAAQ,YAAA;ACrIS,CAAA,CAAE,EAAA,CAAG,gBAAgB;CAmEO;AAAA,EAExD,oBAAoB,iCAAA;AACtB;AAmBO,SAAS,iBAAiB,KAAA,EAAoC;AACnE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IACrD,KAAA,GACA,MAAA;AACN;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,mBAAmB,KAAA,EAAoC;AAC9D,EAAA,OAAO,OAAO,UAAU,QAAA,IAAY,KAAA,CAAM,MAAK,CAAE,MAAA,GAAS,IACtD,KAAA,GACA,MAAA;AACN;AAEA,SAAS,gBAAgB,KAAA,EAAsC;AAC7D,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,IAAA;AAAA,EACF;AACA,EAAA,MAAM,UAAU,KAAA,CAAM,MAAA;AAAA,IACpB,CAAC,IAAA,KAAyB,OAAO,IAAA,KAAS,QAAA,IAAY,KAAK,MAAA,GAAS;AAAA,GACtE;AACA,EAAA,OAAO,OAAA,CAAQ,MAAA,KAAW,KAAA,CAAM,MAAA,GAAS,OAAA,GAAU,MAAA;AACrD;AAEA,SAAS,WAAW,KAAA,EAAqD;AACvE,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,GAAQ,MAAA;AACnC;AAEO,SAAS,mBACd,KAAA,EACgC;AAChC,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,EAAA,GAAK,kBAAA,CAAmB,KAAA,CAAM,GAAG,CAAA;AACvC,EAAA,MAAM,QAAA,GAAW,kBAAA,CAAmB,KAAA,CAAM,QAAQ,CAAA;AAClD,EAAA,IAAI,EAAE,EAAA,IAAM,QAAA,KAAa,QAAA,CAAA,EAAW;AAClC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,IAAA,GAAgC;AAAA,IACpC,GAAA,EAAK,EAAA;AAAA,IACL;AAAA,GACF;AACA,EAAA,MAAM,YAAA,GAAe,gBAAA,CAAiB,KAAA,CAAM,aAAa,CAAA;AACzD,EAAA,IAAI,iBAAiB,MAAA,EAAW;AAC9B,IAAA,IAAA,CAAK,aAAA,GAAgB,YAAA;AAAA,EACvB;AACA,EAAA,MAAM,QAAA,GAAW,UAAA,CAAW,KAAA,CAAM,QAAQ,CAAA;AAC1C,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,IAAA,CAAK,QAAA,GAAW,QAAA;AAAA,EAClB;AACA,EAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AACjD,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,IAAA,CAAK,SAAA,GAAY,QAAA;AAAA,EACnB;AACA,EAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AACjD,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,IAAA,CAAK,SAAA,GAAY,QAAA;AAAA,EACnB;AACA,EAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AACjD,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,IAAA,CAAK,SAAA,GAAY,QAAA;AAAA,EACnB;AACA,EAAA,MAAM,QAAA,GAAW,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AACjD,EAAA,IAAI,aAAa,MAAA,EAAW;AAC1B,IAAA,IAAA,CAAK,SAAA,GAAY,QAAA;AAAA,EACnB;AACA,EAAA,MAAM,oBACJ,OAAO,KAAA,CAAM,iBAAA,KAAsB,SAAA,GAC/B,MAAM,iBAAA,GACN,MAAA;AACN,EAAA,IAAI,sBAAsB,MAAA,EAAW;AACnC,IAAA,IAAA,CAAK,iBAAA,GAAoB,iBAAA;AAAA,EAC3B;AAEA,EAAA,MAAM,YAAA,GAAe;AAAA,IACnB,oBAAoB,KAAA,CAAM,kBAAA;AAAA,IAC1B,eAAe,KAAA,CAAM,aAAA;AAAA,IACrB,eAAe,KAAA,CAAM,aAAA;AAAA,IACrB,WAAW,KAAA,CAAM,SAAA;AAAA,IACjB,gBAAgB,KAAA,CAAM,cAAA;AAAA,IACtB,aAAa,KAAA,CAAM,WAAA;AAAA,IACnB,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,WAAW,KAAA,CAAM,SAAA;AAAA,IACjB,mBAAmB,KAAA,CAAM,iBAAA;AAAA,IACzB,iBAAiB,KAAA,CAAM,eAAA;AAAA,IACvB,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,aAAa,KAAA,CAAM;AAAA,GACrB;AACA,EAAA,KAAA,MAAW,CAAC,KAAA,EAAO,UAAU,KAAK,MAAA,CAAO,OAAA,CAAQ,YAAY,CAAA,EAAG;AAC9D,IAAA,MAAM,UAAA,GAAa,mBAAmB,UAAU,CAAA;AAChD,IAAA,IAAI,eAAe,MAAA,EAAW;AAC5B,MAAA,IAAA,CAAK,KAAkC,CAAA,GAAI,UAAA;AAAA,IAC7C;AAAA,EACF;AAEA,EAAA,MAAM,SAAA,GAAY,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AAClD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,IAAA,CAAK,SAAA,GAAY,SAAA;AAAA,EACnB;AACA,EAAA,MAAM,SAAA,GAAY,gBAAA,CAAiB,KAAA,CAAM,SAAS,CAAA;AAClD,EAAA,IAAI,cAAc,MAAA,EAAW;AAC3B,IAAA,IAAA,CAAK,SAAA,GAAY,SAAA;AAAA,EACnB;AACA,EAAA,IAAI,KAAA,CAAM,iBAAiB,MAAA,EAAW;AACpC,IAAA,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA;AAAA,EAC5B;AACA,EAAA,IAAI,KAAA,CAAM,eAAe,MAAA,EAAW;AAClC,IAAA,IAAA,CAAK,aAAa,KAAA,CAAM,UAAA;AAAA,EAC1B;AACA,EAAA,IAAI,KAAA,CAAM,mBAAmB,MAAA,EAAW;AACtC,IAAA,IAAA,CAAK,iBAAiB,KAAA,CAAM,cAAA;AAAA,EAC9B;AACA,EAAA,MAAM,UAAA,GAAa,eAAA,CAAgB,KAAA,CAAM,UAAU,CAAA;AACnD,EAAA,IAAI,eAAe,MAAA,EAAW;AAC5B,IAAA,IAAA,CAAK,UAAA,GAAa,UAAA;AAAA,EACpB;AAEA,EAAA,OAAO,IAAA;AACT;;;ACpPA,SAASA,UAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAASC,oBAAmB,KAAA,EAAoC;AAC9D,EAAA,OAAO,OAAO,UAAU,QAAA,IAAY,KAAA,CAAM,MAAK,CAAE,MAAA,GAAS,IACtD,KAAA,GACA,MAAA;AACN;AAEA,SAAS,aACP,KAAA,EAC2B;AAC3B,EAAA,MAAM,UAAA,GAAaA,oBAAmB,KAAK,CAAA;AAC3C,EAAA,OAAO,UAAA;AACT;AAEA,SAAS,aACP,IAAA,EACwD;AACxD,EAAA,OAAO,kBAAA,CAAmB,IAAI,CAAA,KAAM,IAAA;AACtC;AAEA,eAAe,sBAAA,CACb,KACA,GAAA,EACiC;AACjC,EAAA,MAAM,UAAA,GAAaA,oBAAmB,GAAG,CAAA;AACzC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,MAAA,GAAS,GAAA,CAAI,EAAA,CAAG,WAAA,GAAc,kBAAkB,UAAU,CAAA;AAChE,EAAA,IAAI,MAAA,EAAQ;AACV,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAA,GAAa,kBAAA;AAAA,IACjB,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,UAAU,CAAC,EAC5D,KAAA;AAAM,GACX;AACA,EAAA,OAAO,YAAY,GAAA,IAAO,IAAA;AAC5B;AAEA,SAAS,sBAAsB,IAAA,EAAmC;AAChE,EAAA,IAAI,CAACD,SAAAA,CAAS,IAAI,CAAA,EAAG;AACnB,IAAA;AAAA,EACF;AACA,EAAA,OAAOC,mBAAAA,CAAmB,KAAK,QAAQ,CAAA;AACzC;AAEO,IAAM,uBAAuB,KAAA,CAAM;AAAA,EACxC,IAAA,EAAM;AAAA,IACJ,MAAA,EAAQC,CAAAA,CAAE,EAAA,CAAG,gBAAgB;AAAA,GAC/B;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAe,IAAA,KAAsC;AACnE,IAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,MAAM,CAAA;AACzC,IAAA,IAAI,IAAA,EAAM,aAAa,QAAA,EAAU;AAC/B,MAAA,OAAO,EAAC;AAAA,IACV;AAEA,IAAA,OAAO,MAAM,IAAI,EAAA,CACd,KAAA,CAAM,kBAAkB,CAAA,CACxB,SAAA,CAAU,oBAAoB,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,MAAM,CAAC,EAClE,KAAA,CAAM,KAAK,EACX,OAAA,EAAQ;AAAA,EACb;AACF,CAAC;AASM,IAAM,aAAa,KAAA,CAAM;AAAA,EAC9B,IAAA,EAAM;AAAA,IACJ,MAAA,EAAQA,CAAAA,CAAE,EAAA,CAAG,gBAAgB;AAAA,GAC/B;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAe,IAAA,KAAsC;AACnE,IAAA,MAAM,UAAgC,EAAC;AAEvC,IAAA,IAAI,YAAoC,IAAA,CAAK,MAAA;AAE7C,IAAA,OAAO,SAAA,EAAW;AAChB,MAAA,MAAM,QAAA,GAA4B,SAAA;AAClC,MAAA,MAAM,OAAO,kBAAA,CAAmB,MAAM,IAAI,EAAA,CAAG,GAAA,CAAI,QAAQ,CAAC,CAAA;AAC1D,MAAA,IAAI,CAAC,IAAA,EAAM;AACT,QAAA;AAAA,MACF;AAEA,MAAA,MAAM,QAAA,GAAW,IAAA,CAAK,QAAA,IAAY,EAAC;AAEnC,MAAA,OAAA,CAAQ,IAAA,CAAK;AAAA,QACX,QAAQ,IAAA,CAAK,GAAA;AAAA,QACb,WAAA,EAAa,KAAK,aAAA,IAAiB,EAAA;AAAA,QACnC,UAAA,EAAYD,mBAAAA,CAAmB,QAAA,CAAS,UAAU,CAAA;AAAA,QAClD,SAAA,EAAW,KAAK,SAAA,IAAa;AAAA,OAC9B,CAAA;AAGD,MAAA,MAAM,QAAiC,MAAM,GAAA,CAAI,EAAA,CAC9C,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,cAAA;AAAA,QAAgB,CAAC,CAAA,KAC1B,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,IAAA,CAAK,QAAA,IAAY,MAAA,CAAO,QAAQ,CAAC,CAAA,CAClD,EAAA,CAAG,YAAY,YAAY;AAAA,QAE/B,OAAA,EAAQ;AAEX,MAAA,MAAM,UAAA,GAAa,qBAAA,CAAsB,KAAA,CAAM,CAAC,CAAC,CAAA;AACjD,MAAA,SAAA,GACG,MAAM,uBAAuB,GAAA,EAAK,UAAU,KAC7C,YAAA,CAA+B,QAAA,CAAS,UAAU,CAAA,IAClD,IAAA;AAAA,IACJ;AAEA,IAAA,OAAO,OAAA;AAAA,EACT;AACF,CAAC;AASM,IAAM,WAAW,KAAA,CAAM;AAAA,EAC5B,IAAA,EAAM;AAAA,IACJ,SAASC,CAAAA,CAAE,KAAA,CAAMA,CAAAA,CAAE,EAAA,CAAG,gBAAgB,CAAC;AAAA,GACzC;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAe,IAAA,KAAyC;AACtE,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,CAAQ,GAAA,CAAI,KAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,EAAA,KAAO,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,EAAE,CAAC,CAAC,CAAA;AAC1E,IAAA,OAAO,OAAA,CAAQ,OAAO,YAAY,CAAA;AAAA,EACpC;AACF,CAAC;AASM,IAAM,gBAAgB,KAAA,CAAM;AAAA,EACjC,IAAA,EAAM;AAAA,IACJ,UAAA,EAAYA,EAAE,MAAA;AAAO,GACvB;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAe,IAAA,KAAiC;AAC9D,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,UAA6B,CAAA;AACpE,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,OAAO,EAAC;AAAA,IACV;AAEA,IAAA,MAAM,eAAe,MAAM,GAAA,CAAI,GAC5B,KAAA,CAAM,uBAAuB,EAC7B,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,YAAA,EAAc,KAAK,UAAU,CAAC,EACnE,OAAA,EAAQ;AAEX,IAAA,MAAM,UAAmC,EAAC;AAC1C,IAAA,KAAA,MAAW,QAAQ,YAAA,EAAc;AAC/B,MAAA,MAAM,WAAWF,SAAAA,CAAS,IAAI,IAC1B,YAAA,CAA+B,IAAA,CAAK,QAAQ,CAAA,GAC5C,MAAA;AACJ,MAAA,IAAI,CAAC,QAAA,EAAU;AACb,QAAA;AAAA,MACF;AACA,MAAA,MAAM,IAAA,GAAO,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,QAAQ,CAAA;AACtC,MAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,QAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,MACnB;AAAA,IACF;AACA,IAAA,OAAO,OAAA;AAAA,EACT;AACF,CAAC","file":"epistemicBeliefs.queries.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.\n/**\n * Epistemic Beliefs API\n *\n * Clean API for managing beliefs in the epistemic spine (epistemicNodes).\n * This is the NEW API that replaces beliefs.ts.\n *\n * Key differences from beliefs.ts:\n * - Writes ONLY to epistemicNodes (no dual-write)\n * - Uses epistemicNodes IDs directly (no runtime ID translation fallback)\n * - Syncs to Neo4j after mutations\n * - Follows Lucern invariants strictly\n *\n * @see /docs/epistemic-invariants/00-epistemic-invariants.md\n */\n\nimport {\n  classFromAudienceKey,\n  normalizeAudienceKey,\n} from \"@lucern/access-control/audience\";\nimport { getCurrentUserId } from \"@lucern/access-control/auth\";\nimport { throwStructuredMutationError } from \"@lucern/access-control/structuredMutationError\";\nimport {\n  type ConfidencePolicyConfig,\n  confidenceFromSL,\n  mkOpinion,\n  normalizeTupleContradictionPolicy,\n  type Opinion,\n  readOpinionFromRecord,\n  type SLOperator,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport { v } from \"convex/values\";\nimport {\n  type BeliefLifecycleStatus,\n  resolveBeliefLifecycleStatus,\n} from \"./beliefLifecycle\";\nimport type { Id, QueryCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { debugGraphPrimitiveFallback } from \"./debug\";\nimport type { VerificationConfidenceTrigger } from \"./epistemicContractHelpers\";\nimport { resolveGraphPrimitivesAppResolvers } from \"./resolvers\";\nimport { optionalScopeArgs, resolveTopicProjectScope } from \"./topicScope\";\nimport { nodeMatchesWorkspaceReasoningScope } from \"./workspaceIsolation\";\n\n// All IDs now use epistemicNodes exclusively\nexport const insightIdUnion = v.id(\"epistemicNodes\");\nconst DEFAULT_PROJECT_BELIEF_LIMIT = 250;\nexport const MAX_PROJECT_BELIEF_LIMIT = 1000;\nexport const optionalBeliefScopeArgs = optionalScopeArgs;\n\n// CQ.11: the structured-refusal primitive is the single shared copy in\n// `@lucern/access-control/structuredMutationError` (the same home the shared\n// access gate throws from). Re-exported here so the graph-primitives modules\n// that imported it from this helper keep their import path unchanged.\nexport type { StructuredMutationErrorData } from \"@lucern/access-control/structuredMutationError\";\n// biome-ignore lint/performance/noBarrelFile: Public helper compatibility re-export retained for existing graph-primitives consumers.\nexport { throwStructuredMutationError } from \"@lucern/access-control/structuredMutationError\";\n\ninterface BeliefScopeArgs {\n  projectId?: string | null;\n  topicId?: string | null;\n}\n\ninterface EpistemicNodeOpinionSource {\n  _id?: unknown;\n  metadata?: Record<string, unknown> | null;\n  opinion_a?: number;\n  opinion_b?: number;\n  opinion_d?: number;\n  opinion_u?: number;\n  tupleContradicted?: boolean;\n  userId?: string;\n}\n\nexport interface EpistemicNodeOpinionDoc extends EpistemicNodeOpinionSource {\n  _creationTime?: number;\n  _id: Id<\"epistemicNodes\">;\n  anonymizationClass?: string;\n  audienceLabel?: string;\n  beliefStatus?: unknown;\n  canonicalText?: string;\n  confidence?: unknown;\n  createdAt?: number;\n  createdBy?: string;\n  epistemicLayer?: string;\n  exportClass?: string;\n  globalId?: string;\n  metadata?: Record<string, unknown> | null;\n  nodeType: \"belief\";\n  policyTags?: string[];\n  predictionMeta?: unknown;\n  projectId?: string;\n  publicationStatus?: string;\n  sensitivityTier?: string;\n  status?: string;\n  tenantId?: string;\n  topicId?: string;\n  updatedAt?: number;\n  workspaceId?: string;\n}\n\ninterface EpistemicIndexQuery {\n  eq(field: string, value: unknown): EpistemicIndexQuery;\n  field(field: string): string;\n  gt(field: string, value: unknown): EpistemicIndexQuery;\n  lt(field: string, value: unknown): EpistemicIndexQuery;\n}\n\ntype EpistemicBeliefCtx = QueryCtx;\n\ntype AudienceClass = \"internal\" | \"restricted_external\" | \"public\";\n\nconst DEFAULT_CONFIDENCE_POLICY: ConfidencePolicyConfig = {\n  scoringMode: \"after_worktree\",\n  tupleContradiction: normalizeTupleContradictionPolicy(),\n};\n\nexport type BeliefConfidenceTrigger =\n  | \"initial\"\n  | \"evidence_added\"\n  | \"evidence_removed\"\n  | \"contradiction_detected\"\n  | \"contradiction_resolved\"\n  | \"propagation\"\n  | \"agent_assessment\"\n  | \"worktree_outcome\"\n  | \"worktree_completed\"\n  // SL-specific triggers\n  | \"fusion\"\n  | \"discount\"\n  | \"deduction\"\n  | \"backfill_synthetic\"\n  | VerificationConfidenceTrigger;\n\nexport function readFiniteNumber(value: unknown): number | undefined {\n  return typeof value === \"number\" && Number.isFinite(value)\n    ? value\n    : undefined;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction readOptionalString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value\n    : undefined;\n}\n\nfunction readStringArray(value: unknown): string[] | undefined {\n  if (!Array.isArray(value)) {\n    return;\n  }\n  const strings = value.filter(\n    (item): item is string => typeof item === \"string\" && item.length > 0\n  );\n  return strings.length === value.length ? strings : undefined;\n}\n\nfunction readRecord(value: unknown): Record<string, unknown> | undefined {\n  return isRecord(value) ? value : undefined;\n}\n\nexport function readBeliefNodeView(\n  value: unknown\n): EpistemicNodeOpinionDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n\n  const id = readOptionalString(value._id) as Id<\"epistemicNodes\"> | undefined;\n  const nodeType = readOptionalString(value.nodeType);\n  if (!(id && nodeType === \"belief\")) {\n    return null;\n  }\n\n  const node: EpistemicNodeOpinionDoc = {\n    _id: id,\n    nodeType,\n  };\n  const creationTime = readFiniteNumber(value._creationTime);\n  if (creationTime !== undefined) {\n    node._creationTime = creationTime;\n  }\n  const metadata = readRecord(value.metadata);\n  if (metadata !== undefined) {\n    node.metadata = metadata;\n  }\n  const opinionA = readFiniteNumber(value.opinion_a);\n  if (opinionA !== undefined) {\n    node.opinion_a = opinionA;\n  }\n  const opinionB = readFiniteNumber(value.opinion_b);\n  if (opinionB !== undefined) {\n    node.opinion_b = opinionB;\n  }\n  const opinionD = readFiniteNumber(value.opinion_d);\n  if (opinionD !== undefined) {\n    node.opinion_d = opinionD;\n  }\n  const opinionU = readFiniteNumber(value.opinion_u);\n  if (opinionU !== undefined) {\n    node.opinion_u = opinionU;\n  }\n  const tupleContradicted =\n    typeof value.tupleContradicted === \"boolean\"\n      ? value.tupleContradicted\n      : undefined;\n  if (tupleContradicted !== undefined) {\n    node.tupleContradicted = tupleContradicted;\n  }\n\n  const stringFields = {\n    anonymizationClass: value.anonymizationClass,\n    audienceLabel: value.audienceLabel,\n    canonicalText: value.canonicalText,\n    createdBy: value.createdBy,\n    epistemicLayer: value.epistemicLayer,\n    exportClass: value.exportClass,\n    globalId: value.globalId,\n    projectId: value.projectId,\n    publicationStatus: value.publicationStatus,\n    sensitivityTier: value.sensitivityTier,\n    status: value.status,\n    tenantId: value.tenantId,\n    topicId: value.topicId,\n    userId: value.userId,\n    workspaceId: value.workspaceId,\n  };\n  for (const [field, fieldValue] of Object.entries(stringFields)) {\n    const normalized = readOptionalString(fieldValue);\n    if (normalized !== undefined) {\n      node[field as keyof typeof stringFields] = normalized;\n    }\n  }\n\n  const createdAt = readFiniteNumber(value.createdAt);\n  if (createdAt !== undefined) {\n    node.createdAt = createdAt;\n  }\n  const updatedAt = readFiniteNumber(value.updatedAt);\n  if (updatedAt !== undefined) {\n    node.updatedAt = updatedAt;\n  }\n  if (value.beliefStatus !== undefined) {\n    node.beliefStatus = value.beliefStatus;\n  }\n  if (value.confidence !== undefined) {\n    node.confidence = value.confidence;\n  }\n  if (value.predictionMeta !== undefined) {\n    node.predictionMeta = value.predictionMeta;\n  }\n  const policyTags = readStringArray(value.policyTags);\n  if (policyTags !== undefined) {\n    node.policyTags = policyTags;\n  }\n\n  return node;\n}\n\nfunction readBeliefNodeViews(\n  values: readonly unknown[]\n): EpistemicNodeOpinionDoc[] {\n  return values.flatMap((value) => {\n    const node = readBeliefNodeView(value);\n    return node ? [node] : [];\n  });\n}\n\nfunction clamp01(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nexport function assertBaseRateInRange(\n  baseRate: number,\n  field = \"baseRate\"\n): number {\n  if (baseRate < 0 || baseRate > 1) {\n    throwStructuredMutationError({\n      message: `${field} must be within [0, 1].`,\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"request.valid_shape\",\n      suggestion: `Clamp ${field} into the inclusive [0, 1] interval.`,\n      details: { field, baseRate },\n    });\n  }\n  return baseRate;\n}\n\nexport function buildBeliefConfidenceRow(args: {\n  beliefId: Id<\"epistemicNodes\">;\n  belief: number;\n  disbelief: number;\n  uncertainty: number;\n  baseRate: number;\n  trigger: BeliefConfidenceTrigger;\n  rationale?: string;\n  assessedBy: string;\n  assessedAt: number;\n  slOperator?: SLOperator;\n  triggeringEvidenceId?: Id<\"epistemicNodes\">;\n  triggeringContradictionId?: Id<\"contradictions\">;\n  triggeringWorktreeId?: string;\n}) {\n  return {\n    beliefId: args.beliefId,\n    confidence: confidenceFromSL(\n      args.belief,\n      args.disbelief,\n      args.uncertainty,\n      args.baseRate\n    ),\n    belief: args.belief,\n    disbelief: args.disbelief,\n    uncertainty: args.uncertainty,\n    baseRate: args.baseRate,\n    slOperator: args.slOperator ?? (\"prior_seed\" as const),\n    trigger: args.trigger,\n    ...(args.rationale ? { rationale: args.rationale } : {}),\n    assessedBy: args.assessedBy,\n    assessedAt: args.assessedAt,\n    ...(args.triggeringEvidenceId\n      ? {\n          triggeringEvidenceId: args.triggeringEvidenceId,\n          triggeringEvidenceIds: [String(args.triggeringEvidenceId)],\n        }\n      : {}),\n    ...(args.triggeringContradictionId\n      ? {\n          triggeringContradictionId: args.triggeringContradictionId,\n        }\n      : {}),\n    ...(args.triggeringWorktreeId\n      ? { triggeringWorktreeId: args.triggeringWorktreeId }\n      : {}),\n  };\n}\n\ntype BeliefStatusResult =\n  | { success: true }\n  | { success: false; message: \"Evidence node not found\" };\n\nexport function buildBeliefStatusSuccessResult(): BeliefStatusResult {\n  return { success: true };\n}\n\nexport function buildBeliefEvidenceNotFoundResult(): BeliefStatusResult {\n  const result = {} as Extract<BeliefStatusResult, { success: false }>;\n  result.success = false;\n  result.message = \"Evidence node not found\";\n  return result;\n}\n\nexport function deriveSyntheticBackfillOpinion(\n  source: Record<string, unknown>\n): SLOpinion {\n  const belief =\n    readFiniteNumber(source.opinion_b) ?? readFiniteNumber(source.belief);\n  const disbelief =\n    readFiniteNumber(source.opinion_d) ?? readFiniteNumber(source.disbelief);\n  const uncertainty =\n    readFiniteNumber(source.opinion_u) ?? readFiniteNumber(source.uncertainty);\n  const baseRate =\n    readFiniteNumber(source.opinion_a) ?? readFiniteNumber(source.baseRate);\n\n  if (\n    belief !== undefined ||\n    disbelief !== undefined ||\n    uncertainty !== undefined ||\n    baseRate !== undefined\n  ) {\n    try {\n      return readOpinionFromRecord(source);\n    } catch (error) {\n      debugGraphPrimitiveFallback(\n        \"[epistemicBeliefs] Failed to decode legacy belief opinion\",\n        {\n          error,\n        }\n      );\n      return mkOpinion(0, 0, 1, 0.5);\n    }\n  }\n\n  const confidence = clamp01(readFiniteNumber(source.confidence) ?? 0);\n  return mkOpinion(confidence, 1 - confidence, 0, 0.5);\n}\n\nexport function clampBeliefLimit(\n  limit: number | undefined,\n  fallback = DEFAULT_PROJECT_BELIEF_LIMIT\n): number {\n  if (!Number.isFinite(limit)) {\n    return fallback;\n  }\n  return Math.max(\n    1,\n    Math.min(Math.floor(limit as number), MAX_PROJECT_BELIEF_LIMIT)\n  );\n}\n\nexport function readTupleContradictedFlag(value: unknown): boolean | undefined {\n  return typeof value === \"boolean\" ? value : undefined;\n}\n\nexport function readBeliefOpinionSnapshot(\n  node: EpistemicNodeOpinionSource,\n  metadata: Record<string, unknown>\n): SLOpinion {\n  try {\n    return readOpinionFromRecord({\n      ...metadata,\n      opinion_b: node.opinion_b,\n      opinion_d: node.opinion_d,\n      opinion_u: node.opinion_u,\n      opinion_a: node.opinion_a,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to read belief opinion snapshot\",\n      {\n        error,\n        beliefId: node._id,\n      }\n    );\n    return mkOpinion(0, 0, 1, 0.5);\n  }\n}\n\nexport function deriveTupleContradictionSeverity(node: {\n  metadata?: Record<string, unknown> | null;\n}): \"critical\" | \"significant\" | \"minor\" {\n  const metadata = node.metadata || {};\n  const criticality =\n    typeof metadata.criticality === \"string\" ? metadata.criticality : undefined;\n\n  if (criticality === \"blocking\") {\n    return \"critical\";\n  }\n  if (criticality === \"supporting\") {\n    return \"minor\";\n  }\n  return \"significant\";\n}\n\nexport function formatTupleContradictionDescription(args: {\n  opinion: Opinion;\n  policy: ConfidencePolicyConfig[\"tupleContradiction\"];\n}): string {\n  return `Tuple-space contradiction detected: b=${args.opinion.b.toFixed(2)} > ${args.policy.beliefThreshold.toFixed(2)} and d=${args.opinion.d.toFixed(2)} > ${args.policy.disbeliefThreshold.toFixed(2)}.`;\n}\n\n// =============================================================================\n// HELPERS\n// =============================================================================\n\nexport function generateContentHash(text: string): string {\n  const content = `belief:${text.trim().toLowerCase().replace(/\\s+/g, \" \")}`;\n  let hash = 5381;\n  for (let i = 0; i < content.length; i++) {\n    // biome-ignore lint/suspicious/noBitwiseOperators: Preserve deterministic djb2 hash semantics for persisted belief metadata compatibility.\n    hash = (hash << 5) + hash + content.charCodeAt(i);\n    // biome-ignore lint/suspicious/noBitwiseOperators: Preserve deterministic djb2 hash semantics for persisted belief metadata compatibility.\n    hash &= hash;\n  }\n  return Math.abs(hash).toString(16).padStart(8, \"0\");\n}\n\nexport function resolveBeliefWorktreeId(\n  metadata: Record<string, unknown> | undefined\n): string | undefined {\n  const worktreeId = metadata?.worktreeId;\n  if (typeof worktreeId === \"string\" && worktreeId.trim().length > 0) {\n    return worktreeId;\n  }\n\n  const sprintId = metadata?.sprintId;\n  return typeof sprintId === \"string\" && sprintId.trim().length > 0\n    ? sprintId\n    : undefined;\n}\n\n// Map pillar names to valid pillar literals\ntype ValidPillar =\n  | \"market\"\n  | \"competition\"\n  | \"product\"\n  | \"team\"\n  | \"financials\"\n  | \"regulatory\"\n  | \"timing\"\n  | \"customer\"\n  | \"technology\"\n  | \"distribution\"\n  | \"deal\"\n  | \"risks\"\n  | \"other\";\n\nexport function normalizePillar(pillar?: string): ValidPillar {\n  if (!pillar) {\n    return \"other\";\n  }\n  const lower = pillar.toLowerCase();\n  const validPillars: ValidPillar[] = [\n    \"market\",\n    \"competition\",\n    \"product\",\n    \"team\",\n    \"financials\",\n    \"regulatory\",\n    \"timing\",\n    \"customer\",\n    \"technology\",\n    \"distribution\",\n    \"deal\",\n    \"risks\",\n  ];\n  return (validPillars.find((p) => lower.includes(p)) ||\n    \"other\") as ValidPillar;\n}\n\nexport async function markBeliefGraphDirty(\n  ctx: EpistemicBeliefCtx,\n  scope: { projectId?: string | null; topicId?: string | null }\n): Promise<void> {\n  const projectId =\n    typeof scope.projectId === \"string\" && scope.projectId.trim().length > 0\n      ? scope.projectId\n      : undefined;\n  const topicId =\n    typeof scope.topicId === \"string\" && scope.topicId.trim().length > 0\n      ? scope.topicId\n      : undefined;\n\n  if (!(projectId || topicId)) {\n    return;\n  }\n\n  if (projectId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleInternal,\n      { projectId }\n    );\n  }\n  if (topicId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleByTopic,\n      { topicId }\n    );\n  }\n\n  const activityScopeId = topicId ?? projectId;\n  if (!activityScopeId) {\n    throw new Error(\n      \"Expected belief graph dirty scope to include a topic or project id.\"\n    );\n  }\n\n  await resolveGraphPrimitivesAppResolvers(ctx).patchProject(\n    ctx,\n    activityScopeId,\n    {\n      lastActivityAt: Date.now(),\n    }\n  );\n}\n\nexport async function resolveBeliefScopeOrNull(\n  ctx: QueryCtx,\n  args: BeliefScopeArgs\n) {\n  if (!(args.projectId || args.topicId)) {\n    return null;\n  }\n\n  try {\n    return await resolveTopicProjectScope(ctx, {\n      projectId: args.projectId ?? undefined,\n      topicId: args.topicId ?? undefined,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to resolve belief scope\",\n      {\n        error,\n        projectId: args.projectId,\n        topicId: args.topicId,\n      }\n    );\n    return null;\n  }\n}\n\nexport async function getBeliefNodesForScope(\n  ctx: EpistemicBeliefCtx,\n  scope: Awaited<ReturnType<typeof resolveTopicProjectScope>>,\n  args?: { scanLimit?: number; status?: string }\n) {\n  const baseQuery = ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_topic_type\", (q: EpistemicIndexQuery) =>\n      q.eq(\"topicId\", scope.topicId).eq(\"nodeType\", \"belief\")\n    );\n  const rows =\n    typeof args?.scanLimit === \"number\"\n      ? await baseQuery.order(\"desc\").take(args.scanLimit)\n      : await baseQuery.collect();\n  const nodes = readBeliefNodeViews(rows);\n  const scopedNodes = nodes.filter((node) =>\n    nodeMatchesWorkspaceReasoningScope(node, scope)\n  );\n\n  if (!args?.status) {\n    return scopedNodes;\n  }\n\n  return scopedNodes.filter(\n    (node: EpistemicNodeOpinionDoc) => node.status === args.status\n  );\n}\n\nexport function createBeliefAudienceResolver(\n  registryRows: Array<{\n    audienceKey?: string | null;\n    audienceClass: AudienceClass;\n  }>\n) {\n  const audienceClassByKey = new Map<string, AudienceClass>(\n    registryRows.map((row) => [\n      normalizeAudienceKey(row.audienceKey),\n      row.audienceClass,\n    ])\n  );\n\n  return (\n    audienceKey: string | undefined | null,\n    fallback: AudienceClass\n  ): AudienceClass => {\n    const key = normalizeAudienceKey(audienceKey);\n    if (!key) {\n      return fallback;\n    }\n    return (\n      audienceClassByKey.get(key) ??\n      (classFromAudienceKey(key, fallback) as AudienceClass)\n    );\n  };\n}\n\nexport function flattenBeliefNode(node: EpistemicNodeOpinionDoc) {\n  const meta = node.metadata || {};\n  const worktreeId = resolveBeliefWorktreeId(meta);\n  const tupleContradicted =\n    readTupleContradictedFlag(node.tupleContradicted) ??\n    readTupleContradictedFlag(meta.tupleContradicted) ??\n    false;\n\n  return {\n    _id: node._id,\n    _epistemicNodeId: node._id,\n    _creationTime: node._creationTime,\n    belief: node.canonicalText,\n    formulation: node.canonicalText,\n    projectId: node.projectId,\n    topicId: node.topicId,\n    userId: node.userId || node.createdBy || \"\",\n    confidence: (meta.confidence as \"high\" | \"medium\" | \"low\") || \"untested\",\n    status: node.status,\n    beliefStatus: resolveBeliefStatus(node, meta),\n    topic: (meta.topic as string) || (meta.pillar as string) || \"other\",\n    pillar: (meta.pillar as string) || (meta.topic as string) || \"\",\n    category: (meta.category as string) || \"\",\n    subcategory: (meta.subcategory as string) || \"\",\n    categoryIcon: (meta.categoryIcon as string) || \"\",\n    supportingEvidence: (meta.supportingEvidenceIds as string[]) || [],\n    contradictingEvidence: (meta.contradictingEvidenceIds as string[]) || [],\n    testingQuestions: (meta.testingQuestionIds as string[]) || [],\n    linkedInsights: (meta.linkedInsightIds as string[]) || [],\n    createdAt: node.createdAt,\n    updatedAt: node.updatedAt || node.createdAt,\n    tupleContradicted,\n    sprintId: (meta.sprintId as string) || undefined,\n    worktreeId,\n    sourceBeliefIds: (meta.sourceBeliefIds as string[]) || undefined,\n    criticality:\n      (meta.criticality as\n        | \"critical\"\n        | \"supporting\"\n        | \"nice_to_have\"\n        | \"unanalyzed\"\n        | \"blocking\"\n        | \"important\") || \"unanalyzed\",\n    rationale: (meta.rationale as string) || \"\",\n    audienceLabel: node.audienceLabel,\n    policyTags: node.policyTags,\n    sensitivityTier: node.sensitivityTier,\n    exportClass: node.exportClass,\n    anonymizationClass: node.anonymizationClass,\n  };\n}\n\nexport function resolveBeliefStatus(\n  node: {\n    beliefStatus?: unknown;\n    confidence?: unknown;\n    predictionMeta?: unknown;\n  },\n  metadata: Record<string, unknown>\n): BeliefLifecycleStatus {\n  return resolveBeliefLifecycleStatus({\n    beliefStatus: node.beliefStatus,\n    confidence: node.confidence,\n    predictionMeta: node.predictionMeta,\n    metadata,\n  });\n}\n\nexport async function hasCompletedWorktreeForBelief(\n  ctx: EpistemicBeliefCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<boolean> {\n  // Check if the belief is linked to a completed worktree via worktreeBeliefCluster\n  const clusterMembership = await ctx.db\n    .query(\"worktreeBeliefCluster\")\n    .withIndex(\"by_belief\", (q: EpistemicIndexQuery) =>\n      q.eq(\"beliefId\", beliefNodeId)\n    )\n    .collect();\n  for (const membership of clusterMembership) {\n    const worktree = await ctx.db.get(membership.worktreeId);\n    if (worktree?.status === \"completed\" || worktree?.status === \"merged\") {\n      return true;\n    }\n  }\n  return false;\n}\n\nexport async function getActiveConfidencePolicy(\n  ctx: EpistemicBeliefCtx\n): Promise<ConfidencePolicyConfig> {\n  try {\n    const activeConfig = await ctx.db\n      .query(\"logicSprintScoring\")\n      .withIndex(\"by_active\", (q: EpistemicIndexQuery) =>\n        q.eq(\"isActive\", true)\n      )\n      .first();\n\n    return {\n      scoringMode:\n        activeConfig?.confidencePolicy === \"always\"\n          ? \"always\"\n          : DEFAULT_CONFIDENCE_POLICY.scoringMode,\n      tupleContradiction: normalizeTupleContradictionPolicy(\n        activeConfig?.tupleContradictionPolicy as\n          | Partial<ConfidencePolicyConfig[\"tupleContradiction\"]>\n          | undefined\n      ),\n    };\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to load active confidence policy\",\n      {\n        error,\n      }\n    );\n    // K-tier/component environments do not carry logicSprintScoring.\n    return DEFAULT_CONFIDENCE_POLICY;\n  }\n}\n\nexport async function requireAuthenticatedUserId(ctx: {\n  auth: { getUserIdentity: () => Promise<unknown> };\n}): Promise<string> {\n  const userId = await getCurrentUserId(\n    ctx as Parameters<typeof getCurrentUserId>[0]\n  );\n  if (!userId) {\n    throwStructuredMutationError({\n      message: \"Authentication required.\",\n      status: 401,\n      code: \"AUTHENTICATION_REQUIRED\",\n      invariantCode: \"auth.required\",\n      suggestion:\n        \"Provide a valid bearer token before invoking belief mutations.\",\n    });\n  }\n  return userId;\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/** Split read-only belief queries out of epistemicBeliefs.ts. */\n\nimport { permissiveReturn } from \"@lucern/contracts/schema-helpers/validators\";\nimport { v } from \"convex/values\";\nimport type { Doc, Id, QueryCtx } from \"./convex\";\nimport { query } from \"./convex\";\nimport { readBeliefNodeView } from \"./epistemicBeliefs.helpers\";\n\ntype EpistemicNodeId = Id<\"epistemicNodes\">;\ninterface BeliefLineageEntry {\n  createdAt: number;\n  forkReason?: string;\n  formulation: string;\n  nodeId: EpistemicNodeId;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction readOptionalString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value\n    : undefined;\n}\n\nfunction readConvexId<TableName extends string>(\n  value: unknown\n): Id<TableName> | undefined {\n  const normalized = readOptionalString(value);\n  return normalized as Id<TableName> | undefined;\n}\n\nfunction isBeliefNode(\n  node: Doc<\"epistemicNodes\"> | null\n): node is Doc<\"epistemicNodes\"> & { nodeType: \"belief\" } {\n  return readBeliefNodeView(node) !== null;\n}\n\nasync function resolveEpistemicNodeId(\n  ctx: QueryCtx,\n  ref: unknown\n): Promise<EpistemicNodeId | null> {\n  const normalized = readOptionalString(ref);\n  if (!normalized) {\n    return null;\n  }\n  const direct = ctx.db.normalizeId?.(\"epistemicNodes\", normalized);\n  if (direct) {\n    return direct;\n  }\n  const byGlobalId = readBeliefNodeView(\n    await ctx.db\n      .query(\"epistemicNodes\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", normalized))\n      .first()\n  );\n  return byGlobalId?._id ?? null;\n}\n\nfunction readLineageEdgeTarget(edge: unknown): string | undefined {\n  if (!isRecord(edge)) {\n    return;\n  }\n  return readOptionalString(edge.toNodeId);\n}\n\nexport const getConfidenceHistory = query({\n  args: {\n    nodeId: v.id(\"epistemicNodes\"),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: QueryCtx, args: { nodeId: EpistemicNodeId }) => {\n    const node = await ctx.db.get(args.nodeId);\n    if (node?.nodeType !== \"belief\") {\n      return [];\n    }\n\n    return await ctx.db\n      .query(\"beliefConfidence\")\n      .withIndex(\"by_beliefId_time\", (q) => q.eq(\"beliefId\", args.nodeId))\n      .order(\"asc\")\n      .collect();\n  },\n});\n\n// =============================================================================\n// GET BELIEF LINEAGE\n// =============================================================================\n\n/**\n * Get the lineage of a belief (all forks and parents).\n */\nexport const getLineage = query({\n  args: {\n    nodeId: v.id(\"epistemicNodes\"),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: QueryCtx, args: { nodeId: EpistemicNodeId }) => {\n    const lineage: BeliefLineageEntry[] = [];\n\n    let currentId: EpistemicNodeId | null = args.nodeId;\n\n    while (currentId) {\n      const beliefId: EpistemicNodeId = currentId;\n      const node = readBeliefNodeView(await ctx.db.get(beliefId));\n      if (!node) {\n        break;\n      }\n\n      const metadata = node.metadata ?? {};\n\n      lineage.push({\n        nodeId: node._id,\n        formulation: node.canonicalText ?? \"\",\n        forkReason: readOptionalString(metadata.forkReason),\n        createdAt: node.createdAt ?? 0,\n      });\n\n      // Find parent via supersedes edge\n      const edges: Doc<\"epistemicEdges\">[] = await ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_from_type\", (q) =>\n          q\n            .eq(\"fromNodeId\", node.globalId ?? String(beliefId))\n            .eq(\"edgeType\", \"supersedes\")\n        )\n        .collect();\n\n      const edgeTarget = readLineageEdgeTarget(edges[0]);\n      currentId =\n        (await resolveEpistemicNodeId(ctx, edgeTarget)) ??\n        readConvexId<\"epistemicNodes\">(metadata.forkedFrom) ??\n        null;\n    }\n\n    return lineage;\n  },\n});\n\n// =============================================================================\n// GET BELIEFS BY IDS\n// =============================================================================\n\n/**\n * Get multiple beliefs by their IDs.\n */\nexport const getByIds = query({\n  args: {\n    nodeIds: v.array(v.id(\"epistemicNodes\")),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: QueryCtx, args: { nodeIds: EpistemicNodeId[] }) => {\n    const beliefs = await Promise.all(args.nodeIds.map((id) => ctx.db.get(id)));\n    return beliefs.filter(isBeliefNode);\n  },\n});\n\n// =============================================================================\n// GET BY SPRINT\n// =============================================================================\n\n/**\n * Get all beliefs associated with a worktree via worktreeBeliefCluster.\n */\nexport const getByWorktree = query({\n  args: {\n    worktreeId: v.string(),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx: QueryCtx, args: { worktreeId: string }) => {\n    const worktree = await ctx.db.get(args.worktreeId as Id<\"worktrees\">);\n    if (!worktree) {\n      return [];\n    }\n\n    const clusterLinks = await ctx.db\n      .query(\"worktreeBeliefCluster\")\n      .withIndex(\"by_worktree\", (q) => q.eq(\"worktreeId\", args.worktreeId))\n      .collect();\n\n    const beliefs: Doc<\"epistemicNodes\">[] = [];\n    for (const link of clusterLinks) {\n      const beliefId = isRecord(link)\n        ? readConvexId<\"epistemicNodes\">(link.beliefId)\n        : undefined;\n      if (!beliefId) {\n        continue;\n      }\n      const node = await ctx.db.get(beliefId);\n      if (isBeliefNode(node)) {\n        beliefs.push(node);\n      }\n    }\n    return beliefs;\n  },\n});\n"]}

package/dist/epistemicBeliefs.topicAnchor.d.ts

@@ -1,11 +1,13 @@
 import { MutationCtx, Id, Doc } from './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 
-type TopicAnchorInput = {
+interface TopicAnchorInput {
+    topicGlobalId?: string;
     topicId?: string;
     topicNodeId?: string;
-    topicGlobalId?: string;
-};
+}
 type TopicNodeDoc = Doc<"epistemicNodes"> & {
     globalId: string;
     nodeType: "topic";
@@ -13,7 +15,7 @@ type TopicNodeDoc = Doc<"epistemicNodes"> & {
 declare function readTopicNodeRef(args: TopicAnchorInput): string | undefined;
 declare function resolveRequiredTopicAnchor(ctx: MutationCtx, topicRef: string): Promise<TopicNodeDoc>;
 declare function scopeFromTopicAnchor(topicNode: TopicNodeDoc): {
-    topicId: any;
+    topicId: string;
     projectId: string | undefined;
     tenantId: string | undefined;
     workspaceId: string | undefined;

package/dist/epistemicBeliefs.topicAnchor.js

@@ -1,13 +1,20 @@
-import { componentsGeneric, anyApi } from 'convex/server';
-import { generateUuidV7, 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 { generateUuidV7, 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)`
@@ -73,7 +80,7 @@ async function resolveRequiredTopicAnchor(ctx, topicRef) {
       if (direct?.nodeType === "topic" && cleanString(direct.globalId)) {
         return direct;
       }
-    } catch (_) {
+    } catch {
     }
     const byGlobalId = await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", candidate)).first();
     if (byGlobalId?.nodeType === "topic" && cleanString(byGlobalId.globalId)) {

package/dist/epistemicBeliefs.topicAnchor.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/epistemicBeliefs.topicAnchor.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;;;AChFA,SAAS,YAAY,KAAA,EAAoC;AACvD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,MAAA;AACN;AAEA,SAAS,oBAAoB,QAAA,EAA4B;AACvD,EAAA,MAAM,UAAA,GAAa,SAAS,IAAA,EAAK;AACjC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,MAAM,UAAA,GAAa,CAAC,UAAU,CAAA;AAC9B,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,UAAA,CAAW,IAAA,CAAK,UAAA,CAAW,KAAA,CAAM,CAAC,CAAC,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,CAAC,GAAG,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AAChC;AAEO,SAAS,iBAAiB,IAAA,EAA4C;AAC3E,EAAA,OACE,WAAA,CAAY,IAAA,CAAK,aAAa,CAAA,IAC9B,WAAA,CAAY,KAAK,WAAW,CAAA,IAC5B,WAAA,CAAY,IAAA,CAAK,OAAO,CAAA;AAE5B;AAEA,eAAsB,0BAAA,CACpB,KACA,QAAA,EACuB;AACvB,EAAA,KAAA,MAAW,SAAA,IAAa,mBAAA,CAAoB,QAAQ,CAAA,EAAG;AACrD,IAAA,IAAI;AACF,MAAA,MAAM,MAAA,GAAS,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,SAAiC,CAAA;AACjE,MAAA,IAAI,QAAQ,QAAA,KAAa,OAAA,IAAW,WAAA,CAAY,MAAA,CAAO,QAAQ,CAAA,EAAG;AAChE,QAAA,OAAO,MAAA;AAAA,MACT;AAAA,IACF,SAAS,CAAA,EAAG;AAAA,IAEZ;AAEA,IAAA,MAAM,aAAa,MAAM,GAAA,CAAI,EAAA,CAC1B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA,CAAU,aAAA,EAAe,CAAC,MAAM,CAAA,CAAE,EAAA,CAAG,YAAY,SAAS,CAAC,EAC3D,KAAA,EAAM;AACT,IAAA,IAAI,YAAY,QAAA,KAAa,OAAA,IAAW,WAAA,CAAY,UAAA,CAAW,QAAQ,CAAA,EAAG;AACxE,MAAA,OAAO,UAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,KAAA;AAAA,IACR;AAAA,GACF;AACF;AAEO,SAAS,qBAAqB,SAAA,EAAyB;AAC5D,EAAA,OAAO;AAAA,IACL,SAAS,SAAA,CAAU,QAAA;AAAA,IACnB,SAAA,EAAW,WAAA,CAAY,SAAA,CAAU,SAAS,CAAA;AAAA,IAC1C,QAAA,EAAU,WAAA,CAAY,SAAA,CAAU,QAAQ,CAAA;AAAA,IACxC,WAAA,EAAa,WAAA,CAAY,SAAA,CAAU,WAAW,CAAA;AAAA,IAC9C,MAAA,EAAQ;AAAA,GACV;AACF;AAEA,eAAsB,6BAAA,CACpB,KACA,IAAA,EAMA;AACA,EAAA,MAAM,aAAA,GAAgB,KAAK,SAAA,CAAU,QAAA;AACrC,EAAA,MAAM,GAAA,GAAM,KAAK,GAAA,EAAI;AAIrB,EAAA,MAAM,gBAAgB,MAAM,GAAA,CAAI,EAAA,CAC7B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,YAAA;AAAA,IAAc,CAAC,CAAA,KACxB,CAAA,CAAE,EAAA,CAAG,YAAA,EAAc,KAAK,cAAc,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,aAAa;AAAA,IAErE,OAAA,EAAQ;AACX,EAAA,MAAM,WAAW,aAAA,CAAc,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,CAAK,aAAa,YAAY,CAAA;AAC5E,EAAA,MAAM,YAAA,GAAe,WAAA,CAAY,QAAA,EAAU,QAAQ,KAAK,cAAA,EAAe;AAEvE,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,MAAM,oBAAoB,GAAA,EAAK;AAAA,MAC7B,QAAA,EAAU,YAAA;AAAA,MACV,YAAY,IAAA,CAAK,cAAA;AAAA,MACjB,QAAA,EAAU,aAAA;AAAA,MACV,gBAAgB,IAAA,CAAK,cAAA;AAAA,MACrB,cAAA,EAAgB,aAAA;AAAA,MAChB,QAAA,EAAU,YAAA;AAAA,MACV,MAAA,EAAQ,CAAA;AAAA,MACR,UAAA,EAAY,CAAA;AAAA,MACZ,OAAA,EAAS,yCAAA;AAAA,MACT,eAAA,EAAiB,UAAA;AAAA,MACjB,cAAA,EAAgB,uBAAA;AAAA,MAChB,QAAA,EAAU;AAAA,QACR,SAAA,EAAW,4BAAA;AAAA,QACX,QAAA,EAAU,YAAA;AAAA,QACV,UAAU,IAAA,CAAK,cAAA;AAAA,QACf,MAAA,EAAQ;AAAA,OACV;AAAA,MACA,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,SAAA,EAAW,GAAA;AAAA,MACX,SAAA,EAAW,GAAA;AAAA,MACX,SAAA,EAAW,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,SAAS,CAAA;AAAA,MAC/C,OAAA,EAAS,aAAA;AAAA,MACT,QAAA,EAAU,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,QAAQ,CAAA;AAAA,MAC7C,WAAA,EAAa,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,WAAW,CAAA;AAAA,MACnD,YAAA,EAAc,QAAA;AAAA,MACd,UAAA,EAAY,OAAA;AAAA,MACZ,SAAA,EAAW,IAAA;AAAA,MACX,OAAA,EAAS,IAAA,CAAK,SAAA,CAAU,cAAA,IAAkB;AAAA,KACpC,CAAA;AAAA,EACV;AAEA,EAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,IAChE,QAAA,EAAU,YAAA;AAAA,IACV,cAAc,IAAA,CAAK,cAAA;AAAA,IACnB,UAAA,EAAY,aAAA;AAAA,IACZ,QAAA,EAAU,YAAA;AAAA,IACV,MAAA,EAAQ,CAAA;AAAA,IACR,UAAA,EAAY,CAAA;AAAA,IACZ,OAAA,EAAS,yCAAA;AAAA,IACT,SAAA,EAAW,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,SAAS,CAAA;AAAA,IAC/C,OAAA,EAAS,aAAA;AAAA,IACT,WAAW,IAAA,CAAK,SAAA;AAAA,IAChB,YAAA,EAAc,QAAA;AAAA,IACd,UAAA,EAAY,OAAA;AAAA,IACZ,SAAA,EAAW,IAAA;AAAA,IACX,OAAA,EAAS,IAAA,CAAK,SAAA,CAAU,cAAA,IAAkB,aAAA;AAAA,IAC1C,QAAA,EAAU;AAAA,MACR,SAAA,EAAW,4BAAA;AAAA,MACX,QAAA,EAAU,YAAA;AAAA,MACV,UAAU,IAAA,CAAK,cAAA;AAAA,MACf,MAAA,EAAQ;AAAA;AACV,GACD,CAAA;AACH","file":"epistemicBeliefs.topicAnchor.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 { Doc, Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { generateUuidV7 } from \"./globalId\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\n\ntype TopicAnchorInput = {\n  topicId?: string;\n  topicNodeId?: string;\n  topicGlobalId?: string;\n};\n\ntype TopicNodeDoc = Doc<\"epistemicNodes\"> & {\n  globalId: string;\n  nodeType: \"topic\";\n};\n\nfunction cleanString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : undefined;\n}\n\nfunction topicNodeCandidates(topicRef: string): string[] {\n  const normalized = topicRef.trim();\n  if (!normalized) {\n    return [];\n  }\n  const candidates = [normalized];\n  if (normalized.startsWith(\"top_\")) {\n    candidates.push(normalized.slice(4));\n  }\n  return [...new Set(candidates)];\n}\n\nexport function readTopicNodeRef(args: TopicAnchorInput): string | undefined {\n  return (\n    cleanString(args.topicGlobalId) ??\n    cleanString(args.topicNodeId) ??\n    cleanString(args.topicId)\n  );\n}\n\nexport async function resolveRequiredTopicAnchor(\n  ctx: MutationCtx,\n  topicRef: string,\n): Promise<TopicNodeDoc> {\n  for (const candidate of topicNodeCandidates(topicRef)) {\n    try {\n      const direct = await ctx.db.get(candidate as Id<\"epistemicNodes\">);\n      if (direct?.nodeType === \"topic\" && cleanString(direct.globalId)) {\n        return direct as TopicNodeDoc;\n      }\n    } catch (_) {\n      // Not a component-local epistemicNodes _id; try the globalId index next.\n    }\n\n    const byGlobalId = await ctx.db\n      .query(\"epistemicNodes\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", candidate))\n      .first();\n    if (byGlobalId?.nodeType === \"topic\" && cleanString(byGlobalId.globalId)) {\n      return byGlobalId as TopicNodeDoc;\n    }\n  }\n\n  throw new Error(\n    \"Belief creation requires topicGlobalId or topicNodeId for a topic node in epistemicNodes. Legacy topics-table IDs are not valid belief anchors.\",\n  );\n}\n\nexport function scopeFromTopicAnchor(topicNode: TopicNodeDoc) {\n  return {\n    topicId: topicNode.globalId,\n    projectId: cleanString(topicNode.projectId),\n    tenantId: cleanString(topicNode.tenantId),\n    workspaceId: cleanString(topicNode.workspaceId),\n    source: \"topic\" as const,\n  };\n}\n\nexport async function createRequiredBeliefTopicEdge(\n  ctx: MutationCtx,\n  args: {\n    beliefNodeId: Id<\"epistemicNodes\">;\n    beliefGlobalId: string;\n    topicNode: TopicNodeDoc;\n    createdBy: string;\n  },\n) {\n  const topicGlobalId = args.topicNode.globalId;\n  const now = Date.now();\n\n  // C2-RR.4 Defect E — query (and write) by canonical UUIDv7 endpoints, not\n  // Convex doc ids. The endpoints are belief/topic globalIds.\n  const existingEdges = await ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_from_to\", (q) =>\n      q.eq(\"fromNodeId\", args.beliefGlobalId).eq(\"toNodeId\", topicGlobalId),\n    )\n    .collect();\n  const existing = existingEdges.find((edge) => edge.edgeType === \"belongs_to\");\n  const edgeGlobalId = cleanString(existing?.globalId) ?? generateUuidV7();\n\n  if (!existing) {\n    await insertEpistemicEdge(ctx, {\n      globalId: edgeGlobalId,\n      fromNodeId: args.beliefGlobalId,\n      toNodeId: topicGlobalId,\n      sourceGlobalId: args.beliefGlobalId,\n      targetGlobalId: topicGlobalId,\n      edgeType: \"belongs_to\",\n      weight: 1,\n      confidence: 1,\n      context: \"Belief creation topic anchor invariant.\",\n      reasoningMethod: \"implicit\",\n      derivationType: \"topic_scope_invariant\",\n      metadata: {\n        invariant: \"belief.topic_edge_required\",\n        edgeUuid: edgeGlobalId,\n        fromUuid: args.beliefGlobalId,\n        toUuid: topicGlobalId,\n      },\n      createdBy: args.createdBy,\n      createdAt: now,\n      updatedAt: now,\n      projectId: cleanString(args.topicNode.projectId),\n      topicId: topicGlobalId,\n      tenantId: cleanString(args.topicNode.tenantId),\n      workspaceId: cleanString(args.topicNode.workspaceId),\n      fromNodeType: \"belief\",\n      toNodeType: \"topic\",\n      fromLayer: \"L3\",\n      toLayer: args.topicNode.epistemicLayer ?? \"ontological\",\n    } as any);\n  }\n\n  await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n    globalId: edgeGlobalId,\n    fromGlobalId: args.beliefGlobalId,\n    toGlobalId: topicGlobalId,\n    edgeType: \"belongs_to\",\n    weight: 1,\n    confidence: 1,\n    context: \"Belief creation topic anchor invariant.\",\n    projectId: cleanString(args.topicNode.projectId),\n    topicId: topicGlobalId,\n    createdBy: args.createdBy,\n    fromNodeType: \"belief\",\n    toNodeType: \"topic\",\n    fromLayer: \"L3\",\n    toLayer: args.topicNode.epistemicLayer ?? \"ontological\",\n    metadata: {\n      invariant: \"belief.topic_edge_required\",\n      edgeUuid: edgeGlobalId,\n      fromUuid: args.beliefGlobalId,\n      toUuid: topicGlobalId,\n    },\n  });\n}\n"]}
+{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/epistemicBeliefs.topicAnchor.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;;;ACjGA,SAAS,YAAY,KAAA,EAAoC;AACvD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,MAAA;AACN;AAEA,SAAS,oBAAoB,QAAA,EAA4B;AACvD,EAAA,MAAM,UAAA,GAAa,SAAS,IAAA,EAAK;AACjC,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,MAAM,UAAA,GAAa,CAAC,UAAU,CAAA;AAC9B,EAAA,IAAI,UAAA,CAAW,UAAA,CAAW,MAAM,CAAA,EAAG;AACjC,IAAA,UAAA,CAAW,IAAA,CAAK,UAAA,CAAW,KAAA,CAAM,CAAC,CAAC,CAAA;AAAA,EACrC;AACA,EAAA,OAAO,CAAC,GAAG,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AAChC;AAEO,SAAS,iBAAiB,IAAA,EAA4C;AAC3E,EAAA,OACE,WAAA,CAAY,IAAA,CAAK,aAAa,CAAA,IAC9B,WAAA,CAAY,KAAK,WAAW,CAAA,IAC5B,WAAA,CAAY,IAAA,CAAK,OAAO,CAAA;AAE5B;AAEA,eAAsB,0BAAA,CACpB,KACA,QAAA,EACuB;AACvB,EAAA,KAAA,MAAW,SAAA,IAAa,mBAAA,CAAoB,QAAQ,CAAA,EAAG;AACrD,IAAA,IAAI;AACF,MAAA,MAAM,MAAA,GAAS,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,SAAiC,CAAA;AACjE,MAAA,IAAI,QAAQ,QAAA,KAAa,OAAA,IAAW,WAAA,CAAY,MAAA,CAAO,QAAQ,CAAA,EAAG;AAChE,QAAA,OAAO,MAAA;AAAA,MACT;AAAA,IACF,CAAA,CAAA,MAAQ;AAAA,IAER;AAEA,IAAA,MAAM,aAAa,MAAM,GAAA,CAAI,EAAA,CAC1B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA,CAAU,aAAA,EAAe,CAAC,MAAM,CAAA,CAAE,EAAA,CAAG,YAAY,SAAS,CAAC,EAC3D,KAAA,EAAM;AACT,IAAA,IAAI,YAAY,QAAA,KAAa,OAAA,IAAW,WAAA,CAAY,UAAA,CAAW,QAAQ,CAAA,EAAG;AACxE,MAAA,OAAO,UAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,KAAA;AAAA,IACR;AAAA,GACF;AACF;AAEO,SAAS,qBAAqB,SAAA,EAAyB;AAC5D,EAAA,OAAO;AAAA,IACL,SAAS,SAAA,CAAU,QAAA;AAAA,IACnB,SAAA,EAAW,WAAA,CAAY,SAAA,CAAU,SAAS,CAAA;AAAA,IAC1C,QAAA,EAAU,WAAA,CAAY,SAAA,CAAU,QAAQ,CAAA;AAAA,IACxC,WAAA,EAAa,WAAA,CAAY,SAAA,CAAU,WAAW,CAAA;AAAA,IAC9C,MAAA,EAAQ;AAAA,GACV;AACF;AAEA,eAAsB,6BAAA,CACpB,KACA,IAAA,EAMA;AACA,EAAA,MAAM,aAAA,GAAgB,KAAK,SAAA,CAAU,QAAA;AACrC,EAAA,MAAM,GAAA,GAAM,KAAK,GAAA,EAAI;AAIrB,EAAA,MAAM,gBAAgB,MAAM,GAAA,CAAI,EAAA,CAC7B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,YAAA;AAAA,IAAc,CAAC,CAAA,KACxB,CAAA,CAAE,EAAA,CAAG,YAAA,EAAc,KAAK,cAAc,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,aAAa;AAAA,IAErE,OAAA,EAAQ;AACX,EAAA,MAAM,WAAW,aAAA,CAAc,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,CAAK,aAAa,YAAY,CAAA;AAC5E,EAAA,MAAM,YAAA,GAAe,WAAA,CAAY,QAAA,EAAU,QAAQ,KAAK,cAAA,EAAe;AAEvE,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,MAAM,oBAAoB,GAAA,EAAK;AAAA,MAC7B,QAAA,EAAU,YAAA;AAAA,MACV,YAAY,IAAA,CAAK,cAAA;AAAA,MACjB,QAAA,EAAU,aAAA;AAAA,MACV,gBAAgB,IAAA,CAAK,cAAA;AAAA,MACrB,cAAA,EAAgB,aAAA;AAAA,MAChB,QAAA,EAAU,YAAA;AAAA,MACV,MAAA,EAAQ,CAAA;AAAA,MACR,UAAA,EAAY,CAAA;AAAA,MACZ,OAAA,EAAS,yCAAA;AAAA,MACT,eAAA,EAAiB,UAAA;AAAA,MACjB,cAAA,EAAgB,uBAAA;AAAA,MAChB,QAAA,EAAU;AAAA,QACR,SAAA,EAAW,4BAAA;AAAA,QACX,QAAA,EAAU,YAAA;AAAA,QACV,UAAU,IAAA,CAAK,cAAA;AAAA,QACf,MAAA,EAAQ;AAAA,OACV;AAAA,MACA,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,SAAA,EAAW,GAAA;AAAA,MACX,SAAA,EAAW,GAAA;AAAA,MACX,SAAA,EAAW,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,SAAS,CAAA;AAAA,MAC/C,OAAA,EAAS,aAAA;AAAA,MACT,QAAA,EAAU,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,QAAQ,CAAA;AAAA,MAC7C,WAAA,EAAa,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,WAAW,CAAA;AAAA,MACnD,YAAA,EAAc,QAAA;AAAA,MACd,UAAA,EAAY,OAAA;AAAA,MACZ,SAAA,EAAW,IAAA;AAAA,MACX,OAAA,EAAS,IAAA,CAAK,SAAA,CAAU,cAAA,IAAkB;AAAA,KAC3C,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,IAChE,QAAA,EAAU,YAAA;AAAA,IACV,cAAc,IAAA,CAAK,cAAA;AAAA,IACnB,UAAA,EAAY,aAAA;AAAA,IACZ,QAAA,EAAU,YAAA;AAAA,IACV,MAAA,EAAQ,CAAA;AAAA,IACR,UAAA,EAAY,CAAA;AAAA,IACZ,OAAA,EAAS,yCAAA;AAAA,IACT,SAAA,EAAW,WAAA,CAAY,IAAA,CAAK,SAAA,CAAU,SAAS,CAAA;AAAA,IAC/C,OAAA,EAAS,aAAA;AAAA,IACT,WAAW,IAAA,CAAK,SAAA;AAAA,IAChB,YAAA,EAAc,QAAA;AAAA,IACd,UAAA,EAAY,OAAA;AAAA,IACZ,SAAA,EAAW,IAAA;AAAA,IACX,OAAA,EAAS,IAAA,CAAK,SAAA,CAAU,cAAA,IAAkB,aAAA;AAAA,IAC1C,QAAA,EAAU;AAAA,MACR,SAAA,EAAW,4BAAA;AAAA,MACX,QAAA,EAAU,YAAA;AAAA,MACV,UAAU,IAAA,CAAK,cAAA;AAAA,MACf,MAAA,EAAQ;AAAA;AACV,GACD,CAAA;AACH","file":"epistemicBeliefs.topicAnchor.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 ABI filename consumed by existing import paths.\n\nimport type { Doc, Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\nimport { generateUuidV7 } from \"./globalId\";\n\ninterface TopicAnchorInput {\n  topicGlobalId?: string;\n  topicId?: string;\n  topicNodeId?: string;\n}\n\ntype TopicNodeDoc = Doc<\"epistemicNodes\"> & {\n  globalId: string;\n  nodeType: \"topic\";\n};\n\nfunction cleanString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : undefined;\n}\n\nfunction topicNodeCandidates(topicRef: string): string[] {\n  const normalized = topicRef.trim();\n  if (!normalized) {\n    return [];\n  }\n  const candidates = [normalized];\n  if (normalized.startsWith(\"top_\")) {\n    candidates.push(normalized.slice(4));\n  }\n  return [...new Set(candidates)];\n}\n\nexport function readTopicNodeRef(args: TopicAnchorInput): string | undefined {\n  return (\n    cleanString(args.topicGlobalId) ??\n    cleanString(args.topicNodeId) ??\n    cleanString(args.topicId)\n  );\n}\n\nexport async function resolveRequiredTopicAnchor(\n  ctx: MutationCtx,\n  topicRef: string\n): Promise<TopicNodeDoc> {\n  for (const candidate of topicNodeCandidates(topicRef)) {\n    try {\n      const direct = await ctx.db.get(candidate as Id<\"epistemicNodes\">);\n      if (direct?.nodeType === \"topic\" && cleanString(direct.globalId)) {\n        return direct as TopicNodeDoc;\n      }\n    } catch {\n      // Not a component-local epistemicNodes _id; try the globalId index next.\n    }\n\n    const byGlobalId = await ctx.db\n      .query(\"epistemicNodes\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", candidate))\n      .first();\n    if (byGlobalId?.nodeType === \"topic\" && cleanString(byGlobalId.globalId)) {\n      return byGlobalId as TopicNodeDoc;\n    }\n  }\n\n  throw new Error(\n    \"Belief creation requires topicGlobalId or topicNodeId for a topic node in epistemicNodes. Legacy topics-table IDs are not valid belief anchors.\"\n  );\n}\n\nexport function scopeFromTopicAnchor(topicNode: TopicNodeDoc) {\n  return {\n    topicId: topicNode.globalId,\n    projectId: cleanString(topicNode.projectId),\n    tenantId: cleanString(topicNode.tenantId),\n    workspaceId: cleanString(topicNode.workspaceId),\n    source: \"topic\" as const,\n  };\n}\n\nexport async function createRequiredBeliefTopicEdge(\n  ctx: MutationCtx,\n  args: {\n    beliefNodeId: Id<\"epistemicNodes\">;\n    beliefGlobalId: string;\n    topicNode: TopicNodeDoc;\n    createdBy: string;\n  }\n) {\n  const topicGlobalId = args.topicNode.globalId;\n  const now = Date.now();\n\n  // C2-RR.4 Defect E — query (and write) by canonical UUIDv7 endpoints, not\n  // Convex doc ids. The endpoints are belief/topic globalIds.\n  const existingEdges = await ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_from_to\", (q) =>\n      q.eq(\"fromNodeId\", args.beliefGlobalId).eq(\"toNodeId\", topicGlobalId)\n    )\n    .collect();\n  const existing = existingEdges.find((edge) => edge.edgeType === \"belongs_to\");\n  const edgeGlobalId = cleanString(existing?.globalId) ?? generateUuidV7();\n\n  if (!existing) {\n    await insertEpistemicEdge(ctx, {\n      globalId: edgeGlobalId,\n      fromNodeId: args.beliefGlobalId,\n      toNodeId: topicGlobalId,\n      sourceGlobalId: args.beliefGlobalId,\n      targetGlobalId: topicGlobalId,\n      edgeType: \"belongs_to\",\n      weight: 1,\n      confidence: 1,\n      context: \"Belief creation topic anchor invariant.\",\n      reasoningMethod: \"implicit\",\n      derivationType: \"topic_scope_invariant\",\n      metadata: {\n        invariant: \"belief.topic_edge_required\",\n        edgeUuid: edgeGlobalId,\n        fromUuid: args.beliefGlobalId,\n        toUuid: topicGlobalId,\n      },\n      createdBy: args.createdBy,\n      createdAt: now,\n      updatedAt: now,\n      projectId: cleanString(args.topicNode.projectId),\n      topicId: topicGlobalId,\n      tenantId: cleanString(args.topicNode.tenantId),\n      workspaceId: cleanString(args.topicNode.workspaceId),\n      fromNodeType: \"belief\",\n      toNodeType: \"topic\",\n      fromLayer: \"L3\",\n      toLayer: args.topicNode.epistemicLayer ?? \"ontological\",\n    });\n  }\n\n  await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n    globalId: edgeGlobalId,\n    fromGlobalId: args.beliefGlobalId,\n    toGlobalId: topicGlobalId,\n    edgeType: \"belongs_to\",\n    weight: 1,\n    confidence: 1,\n    context: \"Belief creation topic anchor invariant.\",\n    projectId: cleanString(args.topicNode.projectId),\n    topicId: topicGlobalId,\n    createdBy: args.createdBy,\n    fromNodeType: \"belief\",\n    toNodeType: \"topic\",\n    fromLayer: \"L3\",\n    toLayer: args.topicNode.epistemicLayer ?? \"ontological\",\n    metadata: {\n      invariant: \"belief.topic_edge_required\",\n      edgeUuid: edgeGlobalId,\n      fromUuid: args.beliefGlobalId,\n      toUuid: topicGlobalId,\n    },\n  });\n}\n"]}

package/dist/epistemicContracts.d.ts

@@ -1,6 +1,31 @@
-export { clearEpistemicEvaluators, getRegisteredEpistemicEvaluators, registerEpistemicEvaluator } from './epistemicContracts.evaluators.js';
-export { createEpistemicContract, evaluateContract, evaluateContractsForTrigger, evaluateContradictionStatus, evaluateDependentBeliefCount, evaluateEdgeFreshness, evaluateEngineeringContracts, evaluateEvidenceCount, getContractCoverage, getContractStatus, inheritContractsForFork, processContractEvaluationOverflow } from './epistemicContracts.handlers.js';
-export { EpistemicEvaluator, EpistemicEvaluatorContext, EpistemicEvaluatorResult } from './epistemicContracts.types.js';
+import { clearEpistemicEvaluators as clearEpistemicEvaluators$1, getRegisteredEpistemicEvaluators as getRegisteredEpistemicEvaluators$1, registerEpistemicEvaluator as registerEpistemicEvaluator$1 } from './epistemicContracts.evaluators.js';
+import { inheritContractsForFork as inheritContractsForFork$1 } from './epistemicContracts.handlers.js';
+import { EpistemicEvaluator as EpistemicEvaluator$1, EpistemicEvaluatorContext as EpistemicEvaluatorContext$1, EpistemicEvaluatorResult as EpistemicEvaluatorResult$1 } from './epistemicContracts.types.js';
 import './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 import '@lucern/confidence';
+
+/** Facade for split epistemic contract primitives and public contract operations. */
+
+type EpistemicEvaluator = EpistemicEvaluator$1;
+type EpistemicEvaluatorContext = EpistemicEvaluatorContext$1;
+type EpistemicEvaluatorResult = EpistemicEvaluatorResult$1;
+declare const clearEpistemicEvaluators: typeof clearEpistemicEvaluators$1;
+declare const getRegisteredEpistemicEvaluators: typeof getRegisteredEpistemicEvaluators$1;
+declare const registerEpistemicEvaluator: typeof registerEpistemicEvaluator$1;
+declare const createEpistemicContract: unknown;
+declare const evaluateContract: unknown;
+declare const evaluateContractsForTrigger: unknown;
+declare const evaluateContradictionStatus: unknown;
+declare const evaluateDependentBeliefCount: unknown;
+declare const evaluateEdgeFreshness: unknown;
+declare const evaluateEngineeringContracts: unknown;
+declare const evaluateEvidenceCount: unknown;
+declare const getContractCoverage: unknown;
+declare const getContractStatus: unknown;
+declare const inheritContractsForFork: typeof inheritContractsForFork$1;
+declare const processContractEvaluationOverflow: unknown;
+
+export { type EpistemicEvaluator, type EpistemicEvaluatorContext, type EpistemicEvaluatorResult, clearEpistemicEvaluators, createEpistemicContract, evaluateContract, evaluateContractsForTrigger, evaluateContradictionStatus, evaluateDependentBeliefCount, evaluateEdgeFreshness, evaluateEngineeringContracts, evaluateEvidenceCount, getContractCoverage, getContractStatus, getRegisteredEpistemicEvaluators, inheritContractsForFork, processContractEvaluationOverflow, registerEpistemicEvaluator };

package/dist/epistemicContracts.evaluators.d.ts

@@ -1,5 +1,7 @@
 import { MutationCtx, Id } from './convex.js';
 import { BeliefNodeDoc, TriggerBatchResult, ContractDoc, ContractEvaluationExecution, EpistemicEvaluator } from './epistemicContracts.types.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 import '@lucern/confidence';