@lucern/graph-primitives 1.0.0 → 1.0.1

package/dist/epistemicEdges.helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/epistemicEdges.helpers.ts"],"names":[],"mappings":";;;AAiBO,IAAM,0BAA0B,CAAA,CAAE,KAAA;AAAA,EACvC,CAAA,CAAE,QAAQ,IAAI,CAAA;AAAA,EACd,CAAA,CAAE,QAAQ,IAAI,CAAA;AAAA,EACd,CAAA,CAAE,QAAQ,IAAI,CAAA;AAAA,EACd,CAAA,CAAE,QAAQ,IAAI,CAAA;AAAA,EACd,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,gBAAgB;AAC5B;AAEO,IAAM,0BAAA,GAA6B,EAAE,MAAA,CAAO;AAAA,EACjD,CAAA,EAAG,EAAE,MAAA,EAAO;AAAA,EACZ,CAAA,EAAG,EAAE,MAAA,EAAO;AAAA,EACZ,CAAA,EAAG,EAAE,MAAA,EAAO;AAAA,EACZ,CAAA,EAAG,EAAE,MAAA;AACP,CAA4D;AAErD,IAAM,oBAAoB,CAAA,CAAE,KAAA;AAAA;AAAA,EAEjC,CAAA,CAAE,QAAQ,iBAAiB,CAAA;AAAA,EAC3B,CAAA,CAAE,QAAQ,mBAAmB,CAAA;AAAA,EAC7B,CAAA,CAAE,QAAQ,0BAA0B,CAAA;AAAA,EACpC,CAAA,CAAE,QAAQ,mBAAmB,CAAA;AAAA;AAAA,EAG7B,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,OAAO,CAAA;AAAA,EACjB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,EACpB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA;AAAA;AAAA;AAAA,EAMrB,CAAA,CAAE,QAAQ,mBAAmB,CAAA;AAAA,EAC7B,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA;AAAA,EAGrB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA;AAAA,EAGrB,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,EAC1B,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,EACpB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA;AAAA,EAGtB,CAAA,CAAE,QAAQ,iBAAiB,CAAA;AAAA,EAC3B,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,EACpB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA;AAAA,EAGnB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA;AAAA,EAGvB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA;AAAA,EAGnB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,EACpB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA;AAAA,EAGpB,CAAA,CAAE,QAAQ,mBAAmB,CAAA;AAAA,EAC7B,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,EAC9B,CAAA,CAAE,QAAQ,iBAAiB,CAAA;AAAA,EAC3B,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,EACrB,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,EAC5B,CAAA,CAAE,QAAQ,iBAAiB,CAAA;AAAA;AAAA,EAG3B,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,EAC1B,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,iBAAiB,CAAA;AAAA,EAC3B,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,EACvB,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,EAC1B,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,EACpB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA;AAAA,EAGlB,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,EAC5B,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA;AAAA,EAGvB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,EAC1B,CAAA,CAAE,QAAQ,eAAe,CAAA;AAAA;AAAA,EAGzB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,eAAe,CAAA;AAAA,EACzB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA;AAAA,EAG1B,CAAA,CAAE,QAAQ,eAAe;AAC3B;AAEO,SAAS,4BAAA,GAAiD;AAC/D,EAAA,OAAO,EAAE,SAAS,IAAA,EAAK;AACzB;AAEO,SAAS,uBAAA,GAA4C;AAC1D,EAAA,MAAM,SAAS,EAAC;AAIhB,EAAA,MAAA,CAAO,OAAA,GAAU,KAAA;AACjB,EAAA,MAAA,CAAO,KAAA,GAAQ,gBAAA;AACf,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,4BAAA,GAAiD;AAC/D,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,KAAA;AAAA,IACT,MAAA,EAAQ;AAAA,GACV;AACF;AAEO,SAAS,4BAAA,GAAiD;AAC/D,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,KAAA;AAAA,IACT,MAAA,EAAQ;AAAA,GACV;AACF;AAEO,SAAS,0BAAA,CACd,QACA,OAAA,EACkB;AAClB,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,IAAA;AAAA,IACT,MAAA;AAAA,IACA;AAAA,GACF;AACF;AAEO,SAAS,kCAAA,CACd,MACA,KAAA,EACS;AACT,EAAA,OACG,KAAA,CAAM,OAAA,KAAY,MAAA,IAAa,IAAA,CAAK,OAAA,KAAY,KAAA,CAAM,OAAA,IACtD,KAAA,CAAM,SAAA,KAAc,MAAA,IAAa,IAAA,CAAK,SAAA,KAAc,KAAA,CAAM,SAAA;AAE/D;AAEA,eAAsB,kBAAA,CACpB,GAAA,EACA,KAAA,EACA,SAAA,EACgC;AAChC,EAAA,MAAM,UAA4C,EAAC;AAEnD,EAAA,IAAI,MAAM,OAAA,EAAS;AACjB,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,GAAA,CAAI,EAAA,CACD,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,UAAA;AAAA,QAAY,CAAC,CAAA,KACtB,CAAA,CAAE,EAAA,CAAG,SAAA,EAAW,MAAM,OAAO;AAAA,OAC/B,CACC,KAAA,CAAM,MAAM,CAAA,CACZ,KAAK,SAAS;AAAA,KACnB;AAAA,EACF;AAIA,EAAA,IAAI,MAAM,SAAA,EAAW;AACnB,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,GAAA,CAAI,EAAA,CACD,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,UAAA;AAAA,QAAY,CAAC,CAAA,KACtB,CAAA,CAAE,EAAA,CAAG,SAAA,EAAW,MAAM,SAAS;AAAA,OACjC,CACC,KAAA,CAAM,MAAM,CAAA,CACZ,KAAK,SAAS;AAAA,KACnB;AAAA,EACF;AAEA,EAAA,MAAM,IAAA,uBAAW,GAAA,EAAY;AAC7B,EAAA,MAAM,UAAiC,EAAC;AAExC,EAAA,MAAM,aAAa,MAAM,OAAA,CAAQ,GAAA,CAAI,OAAO,GAAG,IAAA,EAAK;AACpD,EAAA,KAAA,MAAW,QAAQ,SAAA,EAAW;AAC5B,IAAA,MAAM,GAAA,GAAM,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAC3B,IAAA,IAAI,IAAA,CAAK,GAAA,CAAI,GAAG,CAAA,EAAG;AACjB,MAAA;AAAA,IACF;AACA,IAAA,IAAA,CAAK,IAAI,GAAG,CAAA;AACZ,IAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,EACnB;AAEA,EAAA,OAAO,OAAA;AACT","file":"epistemicEdges.helpers.js","sourcesContent":["/**\n * Shared validators and private helpers for epistemic edge operations.\n */\n\nimport { v } from \"convex/values\";\nimport type {\n  EdgeStatusResult,\n  SubjectiveOpinionDocument,\n  WorkspaceEdgeScope,\n  WorkspaceScopedEdge,\n} from \"./epistemicEdges.types\";\nimport type { Id, QueryCtx } from \"./convex\";\n\ntype TopicIndexQuery = {\n  eq(field: string, value: unknown): TopicIndexQuery;\n};\n\nexport const epistemicLayerValidator = v.union(\n  v.literal(\"L4\"),\n  v.literal(\"L3\"),\n  v.literal(\"L2\"),\n  v.literal(\"L1\"),\n  v.literal(\"ontological\"),\n  v.literal(\"organizational\"),\n);\n\nexport const subjectiveOpinionValidator = v.object({\n  b: v.number(),\n  d: v.number(),\n  u: v.number(),\n  a: v.number(),\n} satisfies Record<keyof SubjectiveOpinionDocument, unknown>);\n\nexport const edgeTypeValidator = v.union(\n  // --- L4 Decision Edges (Phase 2A) ---\n  v.literal(\"based_on_belief\"),\n  v.literal(\"based_on_question\"),\n  v.literal(\"blocked_by_contradiction\"),\n  v.literal(\"informed_by_theme\"),\n\n  // --- Evidence Flow (L2 → L3, L2 → L1) ---\n  v.literal(\"derived_from\"),\n  v.literal(\"responds_to\"),\n  v.literal(\"informs\"),\n  v.literal(\"tests\"),\n  v.literal(\"explores\"),\n  v.literal(\"qualifies\"),\n\n  // --- Synthesis (L2 → L2, L2 → L1) ---\n  // \"based_on\" removed — use \"derived_from\" instead\n\n  // --- Theme Relationships (L3 → L3) ---\n  v.literal(\"relates_to_thesis\"),\n  v.literal(\"belongs_to\"),\n  v.literal(\"plays_theme\"),\n  v.literal(\"scoped_by\"),\n\n  // --- Deal/Company ---\n  v.literal(\"evaluates\"),\n\n  // --- People (ontological → ontological, ontological → L3) ---\n  v.literal(\"perspective_on\"),\n  v.literal(\"works_at\"),\n  v.literal(\"mentioned_in\"),\n  v.literal(\"founded_by\"),\n\n  // --- Value Chain (ontological → ontological) ---\n  v.literal(\"participates_in\"),\n  v.literal(\"performs\"),\n  v.literal(\"function_in\"),\n  v.literal(\"impacts\"),\n\n  // --- Investment (ontological → ontological) ---\n  v.literal(\"invested_in\"),\n  v.literal(\"raised_from\"),\n\n  // --- Lifecycle (same layer only) ---\n  v.literal(\"supersedes\"),\n  v.literal(\"same_as\"),\n\n  // --- Same-Type Relationships: Belief ↔ Belief (L3 → L3) ---\n  v.literal(\"depends_on\"),\n  v.literal(\"supports\"),\n  v.literal(\"contains\"),\n\n  // --- Belief Cluster Mapping (L3 → L3) ---\n  v.literal(\"counterfactual_of\"),\n  v.literal(\"cascade_to\"),\n  v.literal(\"cascade_from\"),\n  v.literal(\"mutually_exclusive\"),\n  v.literal(\"correlates_with\"),\n  v.literal(\"amplifies\"),\n  v.literal(\"precondition_for\"),\n  v.literal(\"in_tension_with\"),\n\n  // --- Belief ↔ Belief: Epistemic Impact (Confidence Propagation) ---\n  v.literal(\"falsified_by\"),\n  v.literal(\"exclusive_with\"),\n  v.literal(\"contradicts\"),\n  v.literal(\"collapses_if\"),\n  v.literal(\"strengthened_by\"),\n  v.literal(\"weakened_by\"),\n  v.literal(\"alternative_to\"),\n  v.literal(\"subsumes\"),\n  v.literal(\"validated_by\"),\n  v.literal(\"required_for\"),\n  v.literal(\"blocks\"),\n\n  // --- Same-Type Relationships: Question ↔ Question (L3 → L3) ---\n  v.literal(\"prerequisite_for\"),\n  v.literal(\"parallel_to\"),\n\n  // --- Same-Type Relationships: Evidence ↔ Evidence (L2 → L2) ---\n  v.literal(\"corroborates\"),\n  v.literal(\"extends\"),\n  v.literal(\"same_source_as\"),\n  v.literal(\"same_theme_as\"),\n\n  // --- NEW: Deep Epistemic Analysis Edges (Phase: Schema Upgrade) ---\n  v.literal(\"assumes\"),\n  v.literal(\"would_predict\"),\n  v.literal(\"analogous_to\"),\n  v.literal(\"independent_of\"),\n\n  // --- Entity↔Belief Bridge (OE-B) ---\n  v.literal(\"competes_with\"),\n);\n\nexport function buildEdgeStatusSuccessResult(): EdgeStatusResult {\n  return { success: true };\n}\n\nexport function buildEdgeNotFoundResult(): EdgeStatusResult {\n  const result = {} as Extract<\n    EdgeStatusResult,\n    { success: false; error: \"Edge not found\" }\n  >;\n  result.success = false;\n  result.error = \"Edge not found\";\n  return result;\n}\n\nexport function buildEdgeMirrorSkippedResult(): EdgeStatusResult {\n  return {\n    success: false,\n    reason: \"source_not_in_convex\",\n  };\n}\n\nexport function buildEdgeMirrorMissingResult(): EdgeStatusResult {\n  return {\n    success: false,\n    reason: \"not_found\",\n  };\n}\n\nexport function buildEdgeMirrorWriteResult(\n  edgeId: Id<\"epistemicEdges\">,\n  existed: boolean,\n): EdgeStatusResult {\n  return {\n    success: true,\n    edgeId,\n    existed,\n  };\n}\n\nexport function edgeMatchesWorkspaceReasoningScope(\n  edge: Pick<WorkspaceScopedEdge, \"topicId\" | \"projectId\">,\n  scope: WorkspaceEdgeScope,\n): boolean {\n  return (\n    (scope.topicId !== undefined && edge.topicId === scope.topicId) ||\n    (scope.projectId !== undefined && edge.projectId === scope.projectId)\n  );\n}\n\nexport async function collectScopedEdges(\n  ctx: QueryCtx,\n  scope: WorkspaceEdgeScope,\n  scanLimit: number,\n): Promise<WorkspaceScopedEdge[]> {\n  const queries: Promise<WorkspaceScopedEdge[]>[] = [];\n\n  if (scope.topicId) {\n    queries.push(\n      ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_topic\", (q: TopicIndexQuery) =>\n          q.eq(\"topicId\", scope.topicId),\n        )\n        .order(\"desc\")\n        .take(scanLimit) as Promise<WorkspaceScopedEdge[]>,\n    );\n  }\n\n  // Kernel v2: also check edges scoped to projectId (many edges still have\n  // topicId=s97 scope while UI passes projectId=n97). Query both to catch all.\n  if (scope.projectId) {\n    queries.push(\n      ctx.db\n        .query(\"epistemicEdges\")\n        .withIndex(\"by_topic\", (q: TopicIndexQuery) =>\n          q.eq(\"topicId\", scope.projectId),\n        )\n        .order(\"desc\")\n        .take(scanLimit) as Promise<WorkspaceScopedEdge[]>,\n    );\n  }\n\n  const seen = new Set<string>();\n  const deduped: WorkspaceScopedEdge[] = [];\n\n  const flattened = (await Promise.all(queries)).flat();\n  for (const edge of flattened) {\n    const key = String(edge._id);\n    if (seen.has(key)) {\n      continue;\n    }\n    seen.add(key);\n    deduped.push(edge);\n  }\n\n  return deduped;\n}\n"]}