@lucern/graph-primitives 1.0.27 → 1.0.29

package/dist/epistemicBeliefs.queries.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicBeliefs.queries.ts"],"names":[],"mappings":";;;;;AAc0B,iBAAA;AA4GnB,IAAM,KAAA,GAAQ,YAAA;;;ACvDd,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\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.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"]}

package/dist/epistemicBeliefs.topicAnchor.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/epistemicBeliefs.topicAnchor.ts"],"names":[],"mappings":";;;;;AAc0B,iBAAA;AACnB,IAAM,QAAA,GAAW,MAAA;ACgBxB,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\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":";;;;;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"]}

package/dist/epistemicContracts.evaluators.js

@@ -1,10 +1,11 @@
-import { v, ConvexError } from 'convex/values';
+import { v } from 'convex/values';
+import { throwStructuredMutationError } from '@lucern/access-control/structuredMutationError';
 import { normalizeTupleContradictionPolicy, mkOpinion, conditionalDeduction, project, dampedDependencyCascade, hasProjectedOpinionChanged, confidenceFromSL, detectTupleContradiction, evaluateTupleContradictionTransition, trustDiscount, applyNegativeSupport, cumulativeFusion, applyNegativeEvidence, readOpinionFromRecord, deriveContractModulationPlan, deriveContractStatus, parseEvidentialEvaluatorConfig, compareMetricValue, buildEvidentialRationale, parseMetricCheckerConfig, getEvaluatorInputRecord, pickFiniteNumber, resolveComparisonResult, buildComparisonRationale, parseReferenceCheckCounterConfig, parseTemporalDeadlineConfig, parseMarketIndexComparatorConfig } from '@lucern/confidence';
-import { checkProjectAccess } from '@lucern/access-control/access';
 import '@lucern/access-control/audience';
 import '@lucern/access-control/auth';
 import { componentsGeneric, internalMutationGeneric, anyApi } from 'convex/server';
 import '@lucern/contracts/schema-helpers/spine/tables/epistemicNodes';
+import { requireScopeWriteAccess } from '@lucern/access-control/access';
 import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
 
 // src/epistemicBeliefs.helpers.ts
@@ -506,26 +507,6 @@ var DEFAULT_CONFIDENCE_POLICY = {
   scoringMode: "after_worktree",
   tupleContradiction: normalizeTupleContradictionPolicy()
 };
-function throwStructuredMutationError(args) {
-  const data = {
-    structuredMutationError: true,
-    message: args.message,
-    status: args.status,
-    code: args.code,
-    invariantCode: args.invariantCode,
-    suggestion: args.suggestion,
-    details: args.details
-  };
-  const error = new ConvexError(
-    data
-  );
-  error.status = args.status;
-  error.code = args.code;
-  error.invariantCode = args.invariantCode;
-  error.suggestion = args.suggestion;
-  error.details = args.details;
-  throw error;
-}
 function buildBeliefConfidenceRow(args) {
   return {
     beliefId: args.beliefId,
@@ -628,23 +609,6 @@ async function getActiveConfidencePolicy(ctx) {
     return DEFAULT_CONFIDENCE_POLICY;
   }
 }
-async function requireProjectWriteAccess(ctx, projectId, userId) {
-  const hasAccess = await checkProjectAccess(
-    ctx,
-    projectId,
-    userId
-  );
-  if (!hasAccess) {
-    throwStructuredMutationError({
-      message: `Project write access denied for topic ${projectId}.`,
-      status: 403,
-      code: "PROJECT_ACCESS_DENIED",
-      invariantCode: "policy.scope_required",
-      suggestion: "The acting principal lacks project-write access to this topic. Request a topic grant (or, if the principal created this topic, run the creator-grant backfill) and retry.",
-      details: { topicId: projectId, principalId: userId }
-    });
-  }
-}
 
 // src/edges/contains.ts
 var containsPropagationSpec = {
@@ -1090,7 +1054,7 @@ async function applyBeliefConfidenceChange(ctx, args) {
       details: { nodeId: args.nodeId }
     });
   }
-  await requireProjectWriteAccess(
+  await requireScopeWriteAccess(
     ctx,
     node.projectId,
     args.authenticatedUserId