@lucern/graph-primitives 1.0.0 → 1.0.2

package/dist/epistemicEdges-BF-cn4i3.d.ts

@@ -0,0 +1,43 @@
+import { findContradictions, findSupport, get, getBetween, getByGlobalId, getByNodes, getByProject, getByProjectAndType, getBySourceNode, getByTargetNode, getClusterEdges, getEvidenceForBelief, getFromNode, getLineage, getToNode, listAll } from './epistemicEdges.queries.js';
+import { batchCreate, cleanupDeprecatedEdges, create, deleteEdges, remove, removeBetween, update } from './epistemicEdges.mutations.js';
+import { deleteEdgeFromConvex, mirrorEdgeToConvex, updateEdgeInConvex } from './epistemicEdges.handlers.js';
+import { edgeTypeValidator, epistemicLayerValidator } from './epistemicEdges.helpers.js';
+
+/** Facade for split epistemic edge primitives and public edge operations. */
+
+declare const getByTopic: any;
+
+declare const epistemicEdges_batchCreate: typeof batchCreate;
+declare const epistemicEdges_cleanupDeprecatedEdges: typeof cleanupDeprecatedEdges;
+declare const epistemicEdges_create: typeof create;
+declare const epistemicEdges_deleteEdgeFromConvex: typeof deleteEdgeFromConvex;
+declare const epistemicEdges_deleteEdges: typeof deleteEdges;
+declare const epistemicEdges_edgeTypeValidator: typeof edgeTypeValidator;
+declare const epistemicEdges_epistemicLayerValidator: typeof epistemicLayerValidator;
+declare const epistemicEdges_findContradictions: typeof findContradictions;
+declare const epistemicEdges_findSupport: typeof findSupport;
+declare const epistemicEdges_get: typeof get;
+declare const epistemicEdges_getBetween: typeof getBetween;
+declare const epistemicEdges_getByGlobalId: typeof getByGlobalId;
+declare const epistemicEdges_getByNodes: typeof getByNodes;
+declare const epistemicEdges_getByProject: typeof getByProject;
+declare const epistemicEdges_getByProjectAndType: typeof getByProjectAndType;
+declare const epistemicEdges_getBySourceNode: typeof getBySourceNode;
+declare const epistemicEdges_getByTargetNode: typeof getByTargetNode;
+declare const epistemicEdges_getByTopic: typeof getByTopic;
+declare const epistemicEdges_getClusterEdges: typeof getClusterEdges;
+declare const epistemicEdges_getEvidenceForBelief: typeof getEvidenceForBelief;
+declare const epistemicEdges_getFromNode: typeof getFromNode;
+declare const epistemicEdges_getLineage: typeof getLineage;
+declare const epistemicEdges_getToNode: typeof getToNode;
+declare const epistemicEdges_listAll: typeof listAll;
+declare const epistemicEdges_mirrorEdgeToConvex: typeof mirrorEdgeToConvex;
+declare const epistemicEdges_remove: typeof remove;
+declare const epistemicEdges_removeBetween: typeof removeBetween;
+declare const epistemicEdges_update: typeof update;
+declare const epistemicEdges_updateEdgeInConvex: typeof updateEdgeInConvex;
+declare namespace epistemicEdges {
+  export { epistemicEdges_batchCreate as batchCreate, epistemicEdges_cleanupDeprecatedEdges as cleanupDeprecatedEdges, epistemicEdges_create as create, epistemicEdges_deleteEdgeFromConvex as deleteEdgeFromConvex, epistemicEdges_deleteEdges as deleteEdges, epistemicEdges_edgeTypeValidator as edgeTypeValidator, epistemicEdges_epistemicLayerValidator as epistemicLayerValidator, epistemicEdges_findContradictions as findContradictions, epistemicEdges_findSupport as findSupport, epistemicEdges_get as get, epistemicEdges_getBetween as getBetween, epistemicEdges_getByGlobalId as getByGlobalId, epistemicEdges_getByNodes as getByNodes, epistemicEdges_getByProject as getByProject, epistemicEdges_getByProjectAndType as getByProjectAndType, epistemicEdges_getBySourceNode as getBySourceNode, epistemicEdges_getByTargetNode as getByTargetNode, epistemicEdges_getByTopic as getByTopic, epistemicEdges_getClusterEdges as getClusterEdges, epistemicEdges_getEvidenceForBelief as getEvidenceForBelief, epistemicEdges_getFromNode as getFromNode, epistemicEdges_getLineage as getLineage, epistemicEdges_getToNode as getToNode, epistemicEdges_listAll as listAll, epistemicEdges_mirrorEdgeToConvex as mirrorEdgeToConvex, epistemicEdges_remove as remove, epistemicEdges_removeBetween as removeBetween, epistemicEdges_update as update, epistemicEdges_updateEdgeInConvex as updateEdgeInConvex };
+}
+
+export { epistemicEdges as e, getByTopic as g };

package/dist/epistemicEdges.d.ts

@@ -1,2 +1,9 @@
+export { findContradictions, findSupport, get, getBetween, getByGlobalId, getByNodes, getByProject, getByProjectAndType, getBySourceNode, getByTargetNode, getClusterEdges, getEvidenceForBelief, getFromNode, getLineage, getToNode, listAll } from './epistemicEdges.queries.js';
+export { batchCreate, cleanupDeprecatedEdges, create, deleteEdges, remove, removeBetween, update } from './epistemicEdges.mutations.js';
+export { deleteEdgeFromConvex, mirrorEdgeToConvex, updateEdgeInConvex } from './epistemicEdges.handlers.js';
+export { edgeTypeValidator, epistemicLayerValidator } from './epistemicEdges.helpers.js';
+export { g as getByTopic } from './epistemicEdges-BF-cn4i3.js';
 import 'convex/values';
-export { b as batchCreate, c as cleanupDeprecatedEdges, a as create, d as deleteEdgeFromConvex, f as deleteEdges, g as edgeTypeValidator, h as epistemicLayerValidator, i as findContradictions, j as findSupport, k as get, l as getBetween, m as getByGlobalId, n as getByNodes, o as getByProject, p as getByProjectAndType, q as getBySourceNode, r as getByTargetNode, s as getByTopic, t as getClusterEdges, u as getEvidenceForBelief, v as getFromNode, w as getLineage, x as getToNode, y as listAll, z as mirrorEdgeToConvex, A as remove, B as removeBetween, C as update, D as updateEdgeInConvex } from './epistemicEdges-CvlKnEyy.js';
+import './epistemicEdges.types.js';
+import './topicScope-By_zp4tt.js';
+import './convex.js';

package/dist/epistemicEdges.handlers.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Internal mutations for Neo4j/Convex dual-write edge mirroring.
+ */
+/**
+ * Internal mutation to mirror a Neo4j edge to Convex for reactive UI.
+ * Called by createEdge action for edge types that need reactive UI updates.
+ */
+declare const mirrorEdgeToConvex: any;
+/**
+ * Internal mutation to delete a mirrored edge from Convex.
+ * Called by deleteEdge action to maintain Convex mirror consistency.
+ */
+declare const deleteEdgeFromConvex: any;
+/**
+ * Internal mutation to update a mirrored edge in Convex.
+ * Called by updateEdge action to maintain Convex mirror consistency.
+ */
+declare const updateEdgeInConvex: any;
+
+export { deleteEdgeFromConvex, mirrorEdgeToConvex, updateEdgeInConvex };

package/dist/epistemicEdges.handlers.js

@@ -0,0 +1,289 @@
+import { v } from 'convex/values';
+import { permissiveReturn } from '@lucern/contracts/schema-helpers/validators';
+import { componentsGeneric, internalMutationGeneric } from 'convex/server';
+
+// src/epistemicEdges.handlers.ts
+v.union(
+  v.literal("L4"),
+  v.literal("L3"),
+  v.literal("L2"),
+  v.literal("L1"),
+  v.literal("ontological"),
+  v.literal("organizational")
+);
+var subjectiveOpinionValidator = v.object({
+  b: v.number(),
+  d: v.number(),
+  u: v.number(),
+  a: v.number()
+});
+v.union(
+  // --- L4 Decision Edges (Phase 2A) ---
+  v.literal("based_on_belief"),
+  v.literal("based_on_question"),
+  v.literal("blocked_by_contradiction"),
+  v.literal("informed_by_theme"),
+  // --- Evidence Flow (L2 → L3, L2 → L1) ---
+  v.literal("derived_from"),
+  v.literal("responds_to"),
+  v.literal("informs"),
+  v.literal("tests"),
+  v.literal("explores"),
+  v.literal("qualifies"),
+  // --- Synthesis (L2 → L2, L2 → L1) ---
+  // "based_on" removed — use "derived_from" instead
+  // --- Theme Relationships (L3 → L3) ---
+  v.literal("relates_to_thesis"),
+  v.literal("belongs_to"),
+  v.literal("plays_theme"),
+  v.literal("scoped_by"),
+  // --- Deal/Company ---
+  v.literal("evaluates"),
+  // --- People (ontological → ontological, ontological → L3) ---
+  v.literal("perspective_on"),
+  v.literal("works_at"),
+  v.literal("mentioned_in"),
+  v.literal("founded_by"),
+  // --- Value Chain (ontological → ontological) ---
+  v.literal("participates_in"),
+  v.literal("performs"),
+  v.literal("function_in"),
+  v.literal("impacts"),
+  // --- Investment (ontological → ontological) ---
+  v.literal("invested_in"),
+  v.literal("raised_from"),
+  // --- Lifecycle (same layer only) ---
+  v.literal("supersedes"),
+  v.literal("same_as"),
+  // --- Same-Type Relationships: Belief ↔ Belief (L3 → L3) ---
+  v.literal("depends_on"),
+  v.literal("supports"),
+  v.literal("contains"),
+  // --- Belief Cluster Mapping (L3 → L3) ---
+  v.literal("counterfactual_of"),
+  v.literal("cascade_to"),
+  v.literal("cascade_from"),
+  v.literal("mutually_exclusive"),
+  v.literal("correlates_with"),
+  v.literal("amplifies"),
+  v.literal("precondition_for"),
+  v.literal("in_tension_with"),
+  // --- Belief ↔ Belief: Epistemic Impact (Confidence Propagation) ---
+  v.literal("falsified_by"),
+  v.literal("exclusive_with"),
+  v.literal("contradicts"),
+  v.literal("collapses_if"),
+  v.literal("strengthened_by"),
+  v.literal("weakened_by"),
+  v.literal("alternative_to"),
+  v.literal("subsumes"),
+  v.literal("validated_by"),
+  v.literal("required_for"),
+  v.literal("blocks"),
+  // --- Same-Type Relationships: Question ↔ Question (L3 → L3) ---
+  v.literal("prerequisite_for"),
+  v.literal("parallel_to"),
+  // --- Same-Type Relationships: Evidence ↔ Evidence (L2 → L2) ---
+  v.literal("corroborates"),
+  v.literal("extends"),
+  v.literal("same_source_as"),
+  v.literal("same_theme_as"),
+  // --- NEW: Deep Epistemic Analysis Edges (Phase: Schema Upgrade) ---
+  v.literal("assumes"),
+  v.literal("would_predict"),
+  v.literal("analogous_to"),
+  v.literal("independent_of"),
+  // --- Entity↔Belief Bridge (OE-B) ---
+  v.literal("competes_with")
+);
+function buildEdgeStatusSuccessResult() {
+  return { success: true };
+}
+function buildEdgeMirrorSkippedResult() {
+  return {
+    success: false,
+    reason: "source_not_in_convex"
+  };
+}
+function buildEdgeMirrorMissingResult() {
+  return {
+    success: false,
+    reason: "not_found"
+  };
+}
+function buildEdgeMirrorWriteResult(edgeId, existed) {
+  return {
+    success: true,
+    edgeId,
+    existed
+  };
+}
+componentsGeneric();
+var internalMutation = internalMutationGeneric;
+
+// src/topicScope.ts
+var optionalScopeArgs = {
+  projectId: v.optional(v.string()),
+  topicId: v.optional(v.string())
+};
+
+// src/epistemicEdges.handlers.ts
+var mirrorEdgeToConvex = internalMutation({
+  args: {
+    globalId: v.string(),
+    fromGlobalId: v.string(),
+    toGlobalId: v.string(),
+    edgeType: v.string(),
+    weight: v.optional(v.number()),
+    confidence: v.optional(v.number()),
+    context: v.optional(v.string()),
+    derivationType: v.optional(v.string()),
+    createdBy: v.string(),
+    ...optionalScopeArgs,
+    fromLayer: v.optional(v.string()),
+    toLayer: v.optional(v.string()),
+    fromNodeType: v.optional(v.string()),
+    toNodeType: v.optional(v.string()),
+    reasoningMethod: v.optional(v.string()),
+    logicalRole: v.optional(v.string()),
+    temporalClass: v.optional(v.string()),
+    validFrom: v.optional(v.number()),
+    validUntil: v.optional(v.number()),
+    constraint: v.optional(v.string()),
+    propagation: v.optional(v.string()),
+    blocking: v.optional(v.boolean()),
+    implicit: v.optional(v.boolean()),
+    conditionalA: v.optional(subjectiveOpinionValidator),
+    conditionalNotA: v.optional(subjectiveOpinionValidator)
+  },
+  returns: permissiveReturn,
+  handler: async (ctx, args) => {
+    const fromNode = await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", args.fromGlobalId)).first();
+    if (!fromNode) {
+      console.log(
+        `[Dual-Write] Skipping mirror - source node not in Convex: ${args.fromGlobalId}`
+      );
+      return buildEdgeMirrorSkippedResult();
+    }
+    const toNode = await ctx.db.query("epistemicNodes").withIndex("by_globalId", (q) => q.eq("globalId", args.toGlobalId)).first();
+    const existing = await ctx.db.query("epistemicEdges").withIndex("by_globalId", (q) => q.eq("globalId", args.globalId)).first();
+    if (existing) {
+      console.log(`[Dual-Write] Edge already exists: ${args.globalId}`);
+      return buildEdgeMirrorWriteResult(existing._id, true);
+    }
+    const now = Date.now();
+    const edgeId = await ctx.db.insert("epistemicEdges", {
+      globalId: args.globalId,
+      fromNodeId: fromNode._id,
+      toNodeId: toNode?._id,
+      sourceGlobalId: args.fromGlobalId,
+      targetGlobalId: args.toGlobalId,
+      // Preserve the canonical string value even when the local schema lags.
+      edgeType: args.edgeType,
+      weight: args.weight,
+      confidence: args.confidence,
+      context: args.context,
+      derivationType: args.derivationType,
+      constraint: args.constraint,
+      propagation: args.propagation,
+      blocking: args.blocking,
+      implicit: args.implicit,
+      conditionalA: args.conditionalA,
+      conditionalNotA: args.conditionalNotA,
+      createdBy: args.createdBy,
+      createdAt: now,
+      updatedAt: now,
+      topicId: args.projectId,
+      fromLayer: args.fromLayer,
+      toLayer: args.toLayer,
+      fromNodeType: args.fromNodeType,
+      toNodeType: args.toNodeType,
+      reasoningMethod: args.reasoningMethod,
+      logicalRole: args.logicalRole,
+      temporalClass: args.temporalClass,
+      validFrom: args.validFrom,
+      validUntil: args.validUntil
+    });
+    console.log(
+      `[Dual-Write] Mirrored edge to Convex: ${args.globalId} (${args.edgeType})`
+    );
+    return buildEdgeMirrorWriteResult(edgeId, false);
+  }
+});
+var deleteEdgeFromConvex = internalMutation({
+  args: {
+    globalId: v.string()
+  },
+  returns: permissiveReturn,
+  handler: async (ctx, args) => {
+    const existing = await ctx.db.query("epistemicEdges").withIndex("by_globalId", (q) => q.eq("globalId", args.globalId)).first();
+    if (!existing) {
+      return buildEdgeMirrorMissingResult();
+    }
+    await ctx.db.delete(existing._id);
+    console.log(`[Dual-Write] Deleted edge from Convex: ${args.globalId}`);
+    return buildEdgeStatusSuccessResult();
+  }
+});
+var updateEdgeInConvex = internalMutation({
+  args: {
+    globalId: v.string(),
+    weight: v.optional(v.number()),
+    confidence: v.optional(v.number()),
+    context: v.optional(v.string()),
+    derivationType: v.optional(v.string()),
+    constraint: v.optional(v.string()),
+    propagation: v.optional(v.string()),
+    blocking: v.optional(v.boolean()),
+    implicit: v.optional(v.boolean()),
+    conditionalA: v.optional(subjectiveOpinionValidator),
+    conditionalNotA: v.optional(subjectiveOpinionValidator)
+  },
+  returns: permissiveReturn,
+  handler: async (ctx, args) => {
+    const existing = await ctx.db.query("epistemicEdges").withIndex("by_globalId", (q) => q.eq("globalId", args.globalId)).first();
+    if (!existing) {
+      return buildEdgeMirrorMissingResult();
+    }
+    const updates = {
+      updatedAt: Date.now()
+    };
+    if (args.weight !== void 0) {
+      updates.weight = args.weight;
+    }
+    if (args.confidence !== void 0) {
+      updates.confidence = args.confidence;
+    }
+    if (args.context !== void 0) {
+      updates.context = args.context;
+    }
+    if (args.derivationType !== void 0) {
+      updates.derivationType = args.derivationType;
+    }
+    if (args.constraint !== void 0) {
+      updates.constraint = args.constraint;
+    }
+    if (args.propagation !== void 0) {
+      updates.propagation = args.propagation;
+    }
+    if (args.blocking !== void 0) {
+      updates.blocking = args.blocking;
+    }
+    if (args.implicit !== void 0) {
+      updates.implicit = args.implicit;
+    }
+    if (args.conditionalA !== void 0) {
+      updates.conditionalA = args.conditionalA;
+    }
+    if (args.conditionalNotA !== void 0) {
+      updates.conditionalNotA = args.conditionalNotA;
+    }
+    await ctx.db.patch(existing._id, updates);
+    console.log(`[Dual-Write] Updated edge in Convex: ${args.globalId}`);
+    return buildEdgeStatusSuccessResult();
+  }
+});
+
+export { deleteEdgeFromConvex, mirrorEdgeToConvex, updateEdgeInConvex };
+//# sourceMappingURL=epistemicEdges.handlers.js.map
+//# sourceMappingURL=epistemicEdges.handlers.js.map

package/dist/epistemicEdges.handlers.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/epistemicEdges.helpers.ts","../src/convex.ts","../src/topicScope.ts","../src/epistemicEdges.handlers.ts"],"names":["v"],"mappings":";;;;;AAiBuC,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,CAAA;AAE3B,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;AAYO,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;ACvJ0B,iBAAA;AAsGnB,IAAM,gBAAA,GACX,uBAAA;;;ACiNK,IAAM,iBAAA,GAAoB;AAAA,EAC/B,SAAA,EAAWA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,EAChC,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ;AAChC,CAAA;;;ACrTO,IAAM,qBAAqB,gBAAA,CAAiB;AAAA,EACjD,IAAA,EAAM;AAAA,IACJ,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,YAAA,EAAcA,EAAE,MAAA,EAAO;AAAA,IACvB,UAAA,EAAYA,EAAE,MAAA,EAAO;AAAA,IACrB,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,MAAA,EAAQA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC7B,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,cAAA,EAAgBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACrC,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,GAAG,iBAAA;AAAA,IACH,SAAA,EAAWA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,YAAA,EAAcA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACnC,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,eAAA,EAAiBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACtC,WAAA,EAAaA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,aAAA,EAAeA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACpC,SAAA,EAAWA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,WAAA,EAAaA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,QAAA,EAAUA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS,CAAA;AAAA,IAChC,QAAA,EAAUA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS,CAAA;AAAA,IAChC,YAAA,EAAcA,CAAAA,CAAE,QAAA,CAAS,0BAA0B,CAAA;AAAA,IACnD,eAAA,EAAiBA,CAAAA,CAAE,QAAA,CAAS,0BAA0B;AAAA,GACxD;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAK,IAAA,KAAS;AAC5B,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,GACxB,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,YAAY,CAAC,EACnE,KAAA,EAAM;AAET,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,OAAA,CAAQ,GAAA;AAAA,QACN,CAAA,0DAAA,EAA6D,KAAK,YAAY,CAAA;AAAA,OAChF;AACA,MAAA,OAAO,4BAAA,EAA6B;AAAA,IACtC;AAEA,IAAA,MAAM,SAAS,MAAM,GAAA,CAAI,GACtB,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,UAAU,CAAC,EACjE,KAAA,EAAM;AAET,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,GACxB,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,QAAQ,CAAC,EAC/D,KAAA,EAAM;AAET,IAAA,IAAI,QAAA,EAAU;AACZ,MAAA,OAAA,CAAQ,GAAA,CAAI,CAAA,kCAAA,EAAqC,IAAA,CAAK,QAAQ,CAAA,CAAE,CAAA;AAChE,MAAA,OAAO,0BAAA,CAA2B,QAAA,CAAS,GAAA,EAAK,IAAI,CAAA;AAAA,IACtD;AAEA,IAAA,MAAM,GAAA,GAAM,KAAK,GAAA,EAAI;AACrB,IAAA,MAAM,MAAA,GAAS,MAAM,GAAA,CAAI,EAAA,CAAG,OAAO,gBAAA,EAAkB;AAAA,MACnD,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,YAAY,QAAA,CAAS,GAAA;AAAA,MACrB,UAAU,MAAA,EAAQ,GAAA;AAAA,MAClB,gBAAgB,IAAA,CAAK,YAAA;AAAA,MACrB,gBAAgB,IAAA,CAAK,UAAA;AAAA;AAAA,MAErB,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,QAAQ,IAAA,CAAK,MAAA;AAAA,MACb,YAAY,IAAA,CAAK,UAAA;AAAA,MACjB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,gBAAgB,IAAA,CAAK,cAAA;AAAA,MACrB,YAAY,IAAA,CAAK,UAAA;AAAA,MAKjB,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,iBAAiB,IAAA,CAAK,eAAA;AAAA,MACtB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,SAAA,EAAW,GAAA;AAAA,MACX,SAAA,EAAW,GAAA;AAAA,MACX,SAAS,IAAA,CAAK,SAAA;AAAA,MACd,WAAW,IAAA,CAAK,SAAA;AAAA,MAOhB,SAAS,IAAA,CAAK,OAAA;AAAA,MAOd,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,YAAY,IAAA,CAAK,UAAA;AAAA,MACjB,iBAAiB,IAAA,CAAK,eAAA;AAAA,MAYtB,aAAa,IAAA,CAAK,WAAA;AAAA,MAOlB,eAAe,IAAA,CAAK,aAAA;AAAA,MAMpB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,YAAY,IAAA,CAAK;AAAA,KAClB,CAAA;AAED,IAAA,OAAA,CAAQ,GAAA;AAAA,MACN,CAAA,sCAAA,EAAyC,IAAA,CAAK,QAAQ,CAAA,EAAA,EAAK,KAAK,QAAQ,CAAA,CAAA;AAAA,KAC1E;AACA,IAAA,OAAO,0BAAA,CAA2B,QAAQ,KAAK,CAAA;AAAA,EACjD;AACF,CAAC;AAMM,IAAM,uBAAuB,gBAAA,CAAiB;AAAA,EACnD,IAAA,EAAM;AAAA,IACJ,QAAA,EAAUA,EAAE,MAAA;AAAO,GACrB;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAK,IAAA,KAAS;AAC5B,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,GACxB,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,QAAQ,CAAC,EAC/D,KAAA,EAAM;AAET,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,OAAO,4BAAA,EAA6B;AAAA,IACtC;AAEA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,QAAA,CAAS,GAAG,CAAA;AAChC,IAAA,OAAA,CAAQ,GAAA,CAAI,CAAA,uCAAA,EAA0C,IAAA,CAAK,QAAQ,CAAA,CAAE,CAAA;AACrE,IAAA,OAAO,4BAAA,EAA6B;AAAA,EACtC;AACF,CAAC;AAMM,IAAM,qBAAqB,gBAAA,CAAiB;AAAA,EACjD,IAAA,EAAM;AAAA,IACJ,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,MAAA,EAAQA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC7B,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,OAAA,EAASA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,cAAA,EAAgBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACrC,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,WAAA,EAAaA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,QAAA,EAAUA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS,CAAA;AAAA,IAChC,QAAA,EAAUA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS,CAAA;AAAA,IAChC,YAAA,EAAcA,CAAAA,CAAE,QAAA,CAAS,0BAA0B,CAAA;AAAA,IACnD,eAAA,EAAiBA,CAAAA,CAAE,QAAA,CAAS,0BAA0B;AAAA,GACxD;AAAA,EACA,OAAA,EAAS,gBAAA;AAAA,EACT,OAAA,EAAS,OAAO,GAAA,EAAK,IAAA,KAAS;AAC5B,IAAA,MAAM,WAAW,MAAM,GAAA,CAAI,GACxB,KAAA,CAAM,gBAAgB,EACtB,SAAA,CAAU,aAAA,EAAe,CAAC,CAAA,KAAM,EAAE,EAAA,CAAG,UAAA,EAAY,KAAK,QAAQ,CAAC,EAC/D,KAAA,EAAM;AAET,IAAA,IAAI,CAAC,QAAA,EAAU;AACb,MAAA,OAAO,4BAAA,EAA6B;AAAA,IACtC;AAEA,IAAA,MAAM,OAAA,GAAmC;AAAA,MACvC,SAAA,EAAW,KAAK,GAAA;AAAI,KACtB;AAEA,IAAA,IAAI,IAAA,CAAK,WAAW,MAAA,EAAW;AAC7B,MAAA,OAAA,CAAQ,SAAS,IAAA,CAAK,MAAA;AAAA,IACxB;AACA,IAAA,IAAI,IAAA,CAAK,eAAe,MAAA,EAAW;AACjC,MAAA,OAAA,CAAQ,aAAa,IAAA,CAAK,UAAA;AAAA,IAC5B;AACA,IAAA,IAAI,IAAA,CAAK,YAAY,MAAA,EAAW;AAC9B,MAAA,OAAA,CAAQ,UAAU,IAAA,CAAK,OAAA;AAAA,IACzB;AACA,IAAA,IAAI,IAAA,CAAK,mBAAmB,MAAA,EAAW;AACrC,MAAA,OAAA,CAAQ,iBAAiB,IAAA,CAAK,cAAA;AAAA,IAChC;AACA,IAAA,IAAI,IAAA,CAAK,eAAe,MAAA,EAAW;AACjC,MAAA,OAAA,CAAQ,aAAa,IAAA,CAAK,UAAA;AAAA,IAC5B;AACA,IAAA,IAAI,IAAA,CAAK,gBAAgB,MAAA,EAAW;AAClC,MAAA,OAAA,CAAQ,cAAc,IAAA,CAAK,WAAA;AAAA,IAC7B;AACA,IAAA,IAAI,IAAA,CAAK,aAAa,MAAA,EAAW;AAC/B,MAAA,OAAA,CAAQ,WAAW,IAAA,CAAK,QAAA;AAAA,IAC1B;AACA,IAAA,IAAI,IAAA,CAAK,aAAa,MAAA,EAAW;AAC/B,MAAA,OAAA,CAAQ,WAAW,IAAA,CAAK,QAAA;AAAA,IAC1B;AACA,IAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAW;AACnC,MAAA,OAAA,CAAQ,eAAe,IAAA,CAAK,YAAA;AAAA,IAC9B;AACA,IAAA,IAAI,IAAA,CAAK,oBAAoB,MAAA,EAAW;AACtC,MAAA,OAAA,CAAQ,kBAAkB,IAAA,CAAK,eAAA;AAAA,IACjC;AAEA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,QAAA,CAAS,KAAK,OAAO,CAAA;AACxC,IAAA,OAAA,CAAQ,GAAA,CAAI,CAAA,qCAAA,EAAwC,IAAA,CAAK,QAAQ,CAAA,CAAE,CAAA;AAEnE,IAAA,OAAO,4BAAA,EAA6B;AAAA,EACtC;AACF,CAAC","file":"epistemicEdges.handlers.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","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","/** Topic-scope resolution helpers for graph-primitive operations. */\nimport { v } from \"convex/values\";\nimport { api as appApi } from \"./convex\";\nimport type { Id } from \"./convex\";\nimport { debugGraphPrimitiveFallback } from \"./debug\";\n\nconst LEGACY_SCOPE_FIELD = \"graphScope\" + \"ProjectId\";\n\ntype TopicDoc = Record<string, unknown> & {\n  _id: Id<\"topics\">;\n  globalId?: string;\n  name?: string;\n  depth?: number;\n  createdAt?: number;\n  parentTopicId?: Id<\"topics\">;\n  tenantId?: string;\n  workspaceId?: string;\n  metadata?: Record<string, unknown>;\n};\n\nexport type TopicProjectScope = {\n  topicId: Id<\"topics\">;\n  projectId?: string;\n  tenantId?: string;\n  workspaceId?: string;\n  source: \"topic\" | \"project_mapped_topic\" | \"topic_inferred\";\n};\n\ntype MaterializedTopicNodeDoc = {\n  _id: string | Id<\"epistemicNodes\">;\n  metadata?: Record<string, unknown>;\n};\n\nfunction asMappedProjectId(\n  topic: TopicDoc | null | undefined,\n): string | undefined {\n  if (!topic) {\n    return;\n  }\n  const directLegacyProjectId = normalizeScopeValue(topic[LEGACY_SCOPE_FIELD]);\n  if (directLegacyProjectId) {\n    return directLegacyProjectId;\n  }\n  const metadata = (topic.metadata || {}) as Record<string, unknown>;\n  const candidate =\n    (metadata[LEGACY_SCOPE_FIELD] as string | undefined) ||\n    (metadata.legacyProjectId as string | undefined) ||\n    (metadata.projectId as string | undefined) ||\n    (metadata.scopeProjectId as string | undefined);\n  return candidate ? (candidate as string) : undefined;\n}\n\nfunction normalizeScopeValue(value: unknown): string | undefined {\n  if (typeof value !== \"string\") {\n    return;\n  }\n  const normalized = value.trim();\n  return normalized.length > 0 ? normalized : undefined;\n}\n\nfunction pickPrimaryTopic(candidates: TopicDoc[]): TopicDoc | undefined {\n  return [...candidates].sort((a, b) => {\n    const depthA = a.depth ?? 9999;\n    const depthB = b.depth ?? 9999;\n    if (depthA !== depthB) {\n      return depthA - depthB;\n    }\n    const createdA = a.createdAt ?? Number.MAX_SAFE_INTEGER;\n    const createdB = b.createdAt ?? Number.MAX_SAFE_INTEGER;\n    if (createdA !== createdB) {\n      return createdA - createdB;\n    }\n    return String(a.name || \"\").localeCompare(String(b.name || \"\"));\n  })[0];\n}\n\nasync function findTopicsByScopeAlias(\n  ctx: any,\n  scopeId: string,\n): Promise<TopicDoc[]> {\n  try {\n    return (await ctx.db\n      .query(\"topics\")\n      .withIndex(\"by_graph_scope_project\", (q: any) =>\n        q.eq(LEGACY_SCOPE_FIELD, scopeId),\n      )\n      .collect()) as TopicDoc[];\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[topicScope] Failed to resolve scope alias via index\",\n      {\n        error,\n        scopeId,\n      },\n    );\n    // Older Lucern dev deployments can lag index backfills while still carrying\n    // the underlying topics table. Scan and filter so scope resolution keeps\n    // working during the rollout.\n    const topics = (await ctx.db.query(\"topics\").collect()) as TopicDoc[];\n    return topics.filter((topic) => {\n      const normalizedGlobalId = normalizeScopeValue(topic.globalId);\n      const mappedProjectId = asMappedProjectId(topic);\n      return (\n        String(topic._id) === scopeId ||\n        normalizedGlobalId === scopeId ||\n        mappedProjectId === scopeId\n      );\n    });\n  }\n}\n\nasync function tryResolveHostTopicById(\n  ctx: any,\n  topicId: string,\n): Promise<TopicDoc | null> {\n  if (typeof ctx.runQuery !== \"function\") {\n    return null;\n  }\n  try {\n    return ((await ctx.runQuery(appApi.topics.get as any, {\n      id: topicId,\n    })) ?? null) as TopicDoc | null;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[topicScope] Failed to resolve topic by host query\",\n      {\n        error,\n        topicId,\n      },\n    );\n    return null;\n  }\n}\n\nasync function tryResolveHostTopicByLegacyScope(\n  ctx: any,\n  legacyScopeId: string,\n): Promise<TopicDoc | null> {\n  if (typeof ctx.runQuery !== \"function\") {\n    return null;\n  }\n  try {\n    return ((await ctx.runQuery(appApi.topics.getByLegacyScopeId as any, {\n      projectId: legacyScopeId,\n    })) ?? null) as TopicDoc | null;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[topicScope] Failed to resolve topic by legacy scope\",\n      {\n        error,\n        legacyScopeId,\n      },\n    );\n    return null;\n  }\n}\n\nexport function readMaterializedTopicTableId(\n  topicNode: MaterializedTopicNodeDoc | null | undefined,\n): string | undefined {\n  if (!topicNode) {\n    return;\n  }\n\n  const metadata = (topicNode.metadata || {}) as Record<string, unknown>;\n  const topicTableId =\n    (metadata.topicTableId as string | undefined) ||\n    (metadata.topicId as string | undefined);\n\n  return typeof topicTableId === \"string\" && topicTableId.trim().length > 0\n    ? topicTableId.trim()\n    : undefined;\n}\n\n/**\n * Walk the topic parent chain to find inherited workspaceId and tenantId.\n * Mirrors the pattern used by resolveTopicOntology for ontologyId inheritance.\n * Max depth: 10 (defensive limit against pathological nesting).\n */\nasync function resolveInheritedWorkspaceScope(\n  ctx: any,\n  topic: TopicDoc,\n): Promise<{ tenantId?: string; workspaceId?: string }> {\n  const MAX_DEPTH = 10;\n  let tenantId = normalizeScopeValue(topic.tenantId);\n  let workspaceId = normalizeScopeValue(topic.workspaceId);\n\n  if (tenantId && workspaceId) {\n    return { tenantId, workspaceId };\n  }\n\n  let current: TopicDoc | null = topic;\n  for (let i = 0; i < MAX_DEPTH && current?.parentTopicId; i++) {\n    current = (await ctx.db.get(current.parentTopicId)) as TopicDoc | null;\n    if (!current) break;\n\n    if (!tenantId) {\n      tenantId = normalizeScopeValue(current.tenantId);\n    }\n    if (!workspaceId) {\n      workspaceId = normalizeScopeValue(current.workspaceId);\n    }\n    if (tenantId && workspaceId) break;\n  }\n\n  return { tenantId, workspaceId };\n}\n\nexport async function resolveTopicProjectScope(\n  ctx: any,\n  args: { topicId?: Id<\"topics\"> | string; projectId?: string },\n): Promise<TopicProjectScope> {\n  if (args.topicId) {\n    // Try direct lookup, fall back to the legacy mapped-project bridge\n    let topic: TopicDoc | null = null;\n    try {\n      topic = (await ctx.db.get(\n        args.topicId as Id<\"topics\">,\n      )) as TopicDoc | null;\n    } catch (error) {\n      debugGraphPrimitiveFallback(\n        \"[topicScope] Failed to load topic by direct id\",\n        {\n          error,\n          topicId: args.topicId,\n        },\n      );\n      // Not a valid topics table ID\n    }\n    if (!topic) {\n      topic = await tryResolveHostTopicById(ctx, String(args.topicId));\n    }\n    if (!topic) {\n      // Try as legacy projectId / globalId via the mapped-project bridge.\n      topic =\n        pickPrimaryTopic(\n          await findTopicsByScopeAlias(ctx, String(args.topicId)),\n        ) ?? null;\n    }\n    if (!topic) {\n      throw new Error(`Topic not found: ${String(args.topicId)}`);\n    }\n    const inherited = await resolveInheritedWorkspaceScope(ctx, topic);\n    const mapped = asMappedProjectId(topic);\n    if (mapped) {\n      return {\n        topicId: topic._id,\n        projectId: mapped,\n        tenantId: inherited.tenantId,\n        workspaceId: inherited.workspaceId,\n        source: \"topic\",\n      };\n    }\n    return {\n      topicId: topic._id,\n      tenantId: inherited.tenantId,\n      workspaceId: inherited.workspaceId,\n      source: \"topic\",\n    };\n  }\n\n  if (args.projectId) {\n    let directTopic: TopicDoc | null = null;\n    try {\n      directTopic = (await ctx.db.get(\n        args.projectId as Id<\"topics\">,\n      )) as TopicDoc | null;\n    } catch (error) {\n      debugGraphPrimitiveFallback(\n        \"[topicScope] Failed to load direct project topic\",\n        {\n          error,\n          projectId: args.projectId,\n        },\n      );\n      // Not a valid topics table ID, continue to legacy graph-scope lookup.\n    }\n\n    if (directTopic) {\n      const inherited = await resolveInheritedWorkspaceScope(ctx, directTopic);\n      const mapped = asMappedProjectId(directTopic);\n      return {\n        topicId: directTopic._id,\n        projectId: mapped ?? args.projectId,\n        tenantId: inherited.tenantId,\n        workspaceId: inherited.workspaceId,\n        source: \"topic_inferred\",\n      };\n    }\n\n    directTopic = await tryResolveHostTopicByLegacyScope(ctx, args.projectId);\n    if (directTopic) {\n      const inherited = await resolveInheritedWorkspaceScope(ctx, directTopic);\n      const mapped = asMappedProjectId(directTopic);\n      return {\n        topicId: directTopic._id,\n        projectId: mapped ?? args.projectId,\n        tenantId: inherited.tenantId,\n        workspaceId: inherited.workspaceId,\n        source: \"topic_inferred\",\n      };\n    }\n\n    const topics = await findTopicsByScopeAlias(ctx, args.projectId);\n    const primary = pickPrimaryTopic(topics);\n    if (primary) {\n      const inherited = await resolveInheritedWorkspaceScope(ctx, primary);\n      return {\n        topicId: primary._id,\n        projectId: args.projectId,\n        tenantId: inherited.tenantId,\n        workspaceId: inherited.workspaceId,\n        source: \"project_mapped_topic\",\n      };\n    }\n    throw new Error(\n      `Legacy project scope ${String(args.projectId)} has no mapped topic.`,\n    );\n  }\n\n  throw new Error(\n    \"Missing scope: provide topicId (preferred) or legacy projectId alias.\",\n  );\n}\n\n/** Shared scope args for graph-primitive functions. topicId is canonical; projectId is a legacy alias. */\nexport const optionalScopeArgs = {\n  projectId: v.optional(v.string()),\n  topicId: v.optional(v.string()),\n} as const;\n","/**\n * Internal mutations for Neo4j/Convex dual-write edge mirroring.\n */\n\nimport { v } from \"convex/values\";\nimport { permissiveReturn } from \"@lucern/contracts/schema-helpers/validators\";\nimport {\n  buildEdgeMirrorMissingResult,\n  buildEdgeMirrorSkippedResult,\n  buildEdgeMirrorWriteResult,\n  buildEdgeStatusSuccessResult,\n  subjectiveOpinionValidator,\n} from \"./epistemicEdges.helpers\";\nimport { optionalScopeArgs } from \"./topicScope\";\nimport { internalMutation } from \"./convex\";\n\n/**\n * Internal mutation to mirror a Neo4j edge to Convex for reactive UI.\n * Called by createEdge action for edge types that need reactive UI updates.\n */\nexport const mirrorEdgeToConvex = internalMutation({\n  args: {\n    globalId: v.string(),\n    fromGlobalId: v.string(),\n    toGlobalId: v.string(),\n    edgeType: v.string(),\n    weight: v.optional(v.number()),\n    confidence: v.optional(v.number()),\n    context: v.optional(v.string()),\n    derivationType: v.optional(v.string()),\n    createdBy: v.string(),\n    ...optionalScopeArgs,\n    fromLayer: v.optional(v.string()),\n    toLayer: v.optional(v.string()),\n    fromNodeType: v.optional(v.string()),\n    toNodeType: v.optional(v.string()),\n    reasoningMethod: v.optional(v.string()),\n    logicalRole: v.optional(v.string()),\n    temporalClass: v.optional(v.string()),\n    validFrom: v.optional(v.number()),\n    validUntil: v.optional(v.number()),\n    constraint: v.optional(v.string()),\n    propagation: v.optional(v.string()),\n    blocking: v.optional(v.boolean()),\n    implicit: v.optional(v.boolean()),\n    conditionalA: v.optional(subjectiveOpinionValidator),\n    conditionalNotA: v.optional(subjectiveOpinionValidator),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx, args) => {\n    const fromNode = await ctx.db\n      .query(\"epistemicNodes\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", args.fromGlobalId))\n      .first();\n\n    if (!fromNode) {\n      console.log(\n        `[Dual-Write] Skipping mirror - source node not in Convex: ${args.fromGlobalId}`,\n      );\n      return buildEdgeMirrorSkippedResult();\n    }\n\n    const toNode = await ctx.db\n      .query(\"epistemicNodes\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", args.toGlobalId))\n      .first();\n\n    const existing = await ctx.db\n      .query(\"epistemicEdges\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", args.globalId))\n      .first();\n\n    if (existing) {\n      console.log(`[Dual-Write] Edge already exists: ${args.globalId}`);\n      return buildEdgeMirrorWriteResult(existing._id, true);\n    }\n\n    const now = Date.now();\n    const edgeId = await ctx.db.insert(\"epistemicEdges\", {\n      globalId: args.globalId,\n      fromNodeId: fromNode._id,\n      toNodeId: toNode?._id,\n      sourceGlobalId: args.fromGlobalId,\n      targetGlobalId: args.toGlobalId,\n      // Preserve the canonical string value even when the local schema lags.\n      edgeType: args.edgeType as string,\n      weight: args.weight,\n      confidence: args.confidence,\n      context: args.context,\n      derivationType: args.derivationType,\n      constraint: args.constraint as\n        | \"xor\"\n        | \"alternative\"\n        | \"counterfactual\"\n        | undefined,\n      propagation: args.propagation as \"threshold\" | \"continuous\" | undefined,\n      blocking: args.blocking,\n      implicit: args.implicit,\n      conditionalA: args.conditionalA,\n      conditionalNotA: args.conditionalNotA,\n      createdBy: args.createdBy,\n      createdAt: now,\n      updatedAt: now,\n      topicId: args.projectId as string | undefined,\n      fromLayer: args.fromLayer as\n        | \"L4\"\n        | \"L3\"\n        | \"L2\"\n        | \"L1\"\n        | \"ontological\"\n        | undefined,\n      toLayer: args.toLayer as\n        | \"L4\"\n        | \"L3\"\n        | \"L2\"\n        | \"L1\"\n        | \"ontological\"\n        | undefined,\n      fromNodeType: args.fromNodeType,\n      toNodeType: args.toNodeType,\n      reasoningMethod: args.reasoningMethod as\n        | \"deductive\"\n        | \"causal\"\n        | \"inductive\"\n        | \"abductive\"\n        | \"statistical\"\n        | \"analogical\"\n        | \"correlational\"\n        | \"testimonial\"\n        | \"implicit\"\n        | \"pattern_match\"\n        | undefined,\n      logicalRole: args.logicalRole as\n        | \"necessary\"\n        | \"sufficient\"\n        | \"necessary_sufficient\"\n        | \"contributory\"\n        | \"corroborative\"\n        | undefined,\n      temporalClass: args.temporalClass as\n        | \"structural\"\n        | \"cyclical\"\n        | \"transient\"\n        | \"point_in_time\"\n        | undefined,\n      validFrom: args.validFrom,\n      validUntil: args.validUntil,\n    });\n\n    console.log(\n      `[Dual-Write] Mirrored edge to Convex: ${args.globalId} (${args.edgeType})`,\n    );\n    return buildEdgeMirrorWriteResult(edgeId, false);\n  },\n});\n\n/**\n * Internal mutation to delete a mirrored edge from Convex.\n * Called by deleteEdge action to maintain Convex mirror consistency.\n */\nexport const deleteEdgeFromConvex = internalMutation({\n  args: {\n    globalId: v.string(),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx, args) => {\n    const existing = await ctx.db\n      .query(\"epistemicEdges\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", args.globalId))\n      .first();\n\n    if (!existing) {\n      return buildEdgeMirrorMissingResult();\n    }\n\n    await ctx.db.delete(existing._id);\n    console.log(`[Dual-Write] Deleted edge from Convex: ${args.globalId}`);\n    return buildEdgeStatusSuccessResult();\n  },\n});\n\n/**\n * Internal mutation to update a mirrored edge in Convex.\n * Called by updateEdge action to maintain Convex mirror consistency.\n */\nexport const updateEdgeInConvex = internalMutation({\n  args: {\n    globalId: v.string(),\n    weight: v.optional(v.number()),\n    confidence: v.optional(v.number()),\n    context: v.optional(v.string()),\n    derivationType: v.optional(v.string()),\n    constraint: v.optional(v.string()),\n    propagation: v.optional(v.string()),\n    blocking: v.optional(v.boolean()),\n    implicit: v.optional(v.boolean()),\n    conditionalA: v.optional(subjectiveOpinionValidator),\n    conditionalNotA: v.optional(subjectiveOpinionValidator),\n  },\n  returns: permissiveReturn,\n  handler: async (ctx, args) => {\n    const existing = await ctx.db\n      .query(\"epistemicEdges\")\n      .withIndex(\"by_globalId\", (q) => q.eq(\"globalId\", args.globalId))\n      .first();\n\n    if (!existing) {\n      return buildEdgeMirrorMissingResult();\n    }\n\n    const updates: Record<string, unknown> = {\n      updatedAt: Date.now(),\n    };\n\n    if (args.weight !== undefined) {\n      updates.weight = args.weight;\n    }\n    if (args.confidence !== undefined) {\n      updates.confidence = args.confidence;\n    }\n    if (args.context !== undefined) {\n      updates.context = args.context;\n    }\n    if (args.derivationType !== undefined) {\n      updates.derivationType = args.derivationType;\n    }\n    if (args.constraint !== undefined) {\n      updates.constraint = args.constraint;\n    }\n    if (args.propagation !== undefined) {\n      updates.propagation = args.propagation;\n    }\n    if (args.blocking !== undefined) {\n      updates.blocking = args.blocking;\n    }\n    if (args.implicit !== undefined) {\n      updates.implicit = args.implicit;\n    }\n    if (args.conditionalA !== undefined) {\n      updates.conditionalA = args.conditionalA;\n    }\n    if (args.conditionalNotA !== undefined) {\n      updates.conditionalNotA = args.conditionalNotA;\n    }\n\n    await ctx.db.patch(existing._id, updates);\n    console.log(`[Dual-Write] Updated edge in Convex: ${args.globalId}`);\n\n    return buildEdgeStatusSuccessResult();\n  },\n});\n"]}

package/dist/epistemicEdges.helpers.d.ts

@@ -0,0 +1,27 @@
+import * as convex_values from 'convex/values';
+import { EdgeStatusResult, WorkspaceEdgeScope, WorkspaceScopedEdge } from './epistemicEdges.types.js';
+import { Id, QueryCtx } from './convex.js';
+import './topicScope-By_zp4tt.js';
+
+declare const epistemicLayerValidator: convex_values.VUnion<"ontological" | "L4" | "L3" | "L2" | "L1" | "organizational", [convex_values.VLiteral<"L4", "required">, convex_values.VLiteral<"L3", "required">, convex_values.VLiteral<"L2", "required">, convex_values.VLiteral<"L1", "required">, convex_values.VLiteral<"ontological", "required">, convex_values.VLiteral<"organizational", "required">], "required", never>;
+declare const subjectiveOpinionValidator: convex_values.VObject<{
+    b: number;
+    d: number;
+    u: number;
+    a: number;
+}, {
+    b: convex_values.VFloat64<number, "required">;
+    d: convex_values.VFloat64<number, "required">;
+    u: convex_values.VFloat64<number, "required">;
+    a: convex_values.VFloat64<number, "required">;
+}, "required", "b" | "d" | "u" | "a">;
+declare const edgeTypeValidator: convex_values.VUnion<"contains" | "evaluates" | "perspective_on" | "impacts" | "mentioned_in" | "works_at" | "participates_in" | "performs" | "function_in" | "invested_in" | "raised_from" | "founded_by" | "competes_with" | "derived_from" | "supports" | "informs" | "depends_on" | "tests" | "based_on_belief" | "based_on_question" | "blocked_by_contradiction" | "informed_by_theme" | "supersedes" | "responds_to" | "belongs_to" | "relates_to_thesis" | "plays_theme" | "contradicts" | "prerequisite_for" | "parallel_to" | "corroborates" | "extends" | "same_source_as" | "same_theme_as" | "qualifies" | "explores" | "scoped_by" | "same_as" | "assumes" | "would_predict" | "analogous_to" | "independent_of" | "counterfactual_of" | "cascade_to" | "mutually_exclusive" | "correlates_with" | "amplifies" | "precondition_for" | "in_tension_with" | "cascade_from" | "falsified_by" | "exclusive_with" | "collapses_if" | "strengthened_by" | "weakened_by" | "alternative_to" | "subsumes" | "validated_by" | "required_for" | "blocks", [convex_values.VLiteral<"based_on_belief", "required">, convex_values.VLiteral<"based_on_question", "required">, convex_values.VLiteral<"blocked_by_contradiction", "required">, convex_values.VLiteral<"informed_by_theme", "required">, convex_values.VLiteral<"derived_from", "required">, convex_values.VLiteral<"responds_to", "required">, convex_values.VLiteral<"informs", "required">, convex_values.VLiteral<"tests", "required">, convex_values.VLiteral<"explores", "required">, convex_values.VLiteral<"qualifies", "required">, convex_values.VLiteral<"relates_to_thesis", "required">, convex_values.VLiteral<"belongs_to", "required">, convex_values.VLiteral<"plays_theme", "required">, convex_values.VLiteral<"scoped_by", "required">, convex_values.VLiteral<"evaluates", "required">, convex_values.VLiteral<"perspective_on", "required">, convex_values.VLiteral<"works_at", "required">, convex_values.VLiteral<"mentioned_in", "required">, convex_values.VLiteral<"founded_by", "required">, convex_values.VLiteral<"participates_in", "required">, convex_values.VLiteral<"performs", "required">, convex_values.VLiteral<"function_in", "required">, convex_values.VLiteral<"impacts", "required">, convex_values.VLiteral<"invested_in", "required">, convex_values.VLiteral<"raised_from", "required">, convex_values.VLiteral<"supersedes", "required">, convex_values.VLiteral<"same_as", "required">, convex_values.VLiteral<"depends_on", "required">, convex_values.VLiteral<"supports", "required">, convex_values.VLiteral<"contains", "required">, convex_values.VLiteral<"counterfactual_of", "required">, convex_values.VLiteral<"cascade_to", "required">, convex_values.VLiteral<"cascade_from", "required">, convex_values.VLiteral<"mutually_exclusive", "required">, convex_values.VLiteral<"correlates_with", "required">, convex_values.VLiteral<"amplifies", "required">, convex_values.VLiteral<"precondition_for", "required">, convex_values.VLiteral<"in_tension_with", "required">, convex_values.VLiteral<"falsified_by", "required">, convex_values.VLiteral<"exclusive_with", "required">, convex_values.VLiteral<"contradicts", "required">, convex_values.VLiteral<"collapses_if", "required">, convex_values.VLiteral<"strengthened_by", "required">, convex_values.VLiteral<"weakened_by", "required">, convex_values.VLiteral<"alternative_to", "required">, convex_values.VLiteral<"subsumes", "required">, convex_values.VLiteral<"validated_by", "required">, convex_values.VLiteral<"required_for", "required">, convex_values.VLiteral<"blocks", "required">, convex_values.VLiteral<"prerequisite_for", "required">, convex_values.VLiteral<"parallel_to", "required">, convex_values.VLiteral<"corroborates", "required">, convex_values.VLiteral<"extends", "required">, convex_values.VLiteral<"same_source_as", "required">, convex_values.VLiteral<"same_theme_as", "required">, convex_values.VLiteral<"assumes", "required">, convex_values.VLiteral<"would_predict", "required">, convex_values.VLiteral<"analogous_to", "required">, convex_values.VLiteral<"independent_of", "required">, convex_values.VLiteral<"competes_with", "required">], "required", never>;
+declare function buildEdgeStatusSuccessResult(): EdgeStatusResult;
+declare function buildEdgeNotFoundResult(): EdgeStatusResult;
+declare function buildEdgeMirrorSkippedResult(): EdgeStatusResult;
+declare function buildEdgeMirrorMissingResult(): EdgeStatusResult;
+declare function buildEdgeMirrorWriteResult(edgeId: Id<"epistemicEdges">, existed: boolean): EdgeStatusResult;
+declare function edgeMatchesWorkspaceReasoningScope(edge: Pick<WorkspaceScopedEdge, "topicId" | "projectId">, scope: WorkspaceEdgeScope): boolean;
+declare function collectScopedEdges(ctx: QueryCtx, scope: WorkspaceEdgeScope, scanLimit: number): Promise<WorkspaceScopedEdge[]>;
+
+export { buildEdgeMirrorMissingResult, buildEdgeMirrorSkippedResult, buildEdgeMirrorWriteResult, buildEdgeNotFoundResult, buildEdgeStatusSuccessResult, collectScopedEdges, edgeMatchesWorkspaceReasoningScope, edgeTypeValidator, epistemicLayerValidator, subjectiveOpinionValidator };

package/dist/epistemicEdges.helpers.js

@@ -0,0 +1,162 @@
+import { v } from 'convex/values';
+
+// src/epistemicEdges.helpers.ts
+var epistemicLayerValidator = v.union(
+  v.literal("L4"),
+  v.literal("L3"),
+  v.literal("L2"),
+  v.literal("L1"),
+  v.literal("ontological"),
+  v.literal("organizational")
+);
+var subjectiveOpinionValidator = v.object({
+  b: v.number(),
+  d: v.number(),
+  u: v.number(),
+  a: v.number()
+});
+var edgeTypeValidator = v.union(
+  // --- L4 Decision Edges (Phase 2A) ---
+  v.literal("based_on_belief"),
+  v.literal("based_on_question"),
+  v.literal("blocked_by_contradiction"),
+  v.literal("informed_by_theme"),
+  // --- Evidence Flow (L2 → L3, L2 → L1) ---
+  v.literal("derived_from"),
+  v.literal("responds_to"),
+  v.literal("informs"),
+  v.literal("tests"),
+  v.literal("explores"),
+  v.literal("qualifies"),
+  // --- Synthesis (L2 → L2, L2 → L1) ---
+  // "based_on" removed — use "derived_from" instead
+  // --- Theme Relationships (L3 → L3) ---
+  v.literal("relates_to_thesis"),
+  v.literal("belongs_to"),
+  v.literal("plays_theme"),
+  v.literal("scoped_by"),
+  // --- Deal/Company ---
+  v.literal("evaluates"),
+  // --- People (ontological → ontological, ontological → L3) ---
+  v.literal("perspective_on"),
+  v.literal("works_at"),
+  v.literal("mentioned_in"),
+  v.literal("founded_by"),
+  // --- Value Chain (ontological → ontological) ---
+  v.literal("participates_in"),
+  v.literal("performs"),
+  v.literal("function_in"),
+  v.literal("impacts"),
+  // --- Investment (ontological → ontological) ---
+  v.literal("invested_in"),
+  v.literal("raised_from"),
+  // --- Lifecycle (same layer only) ---
+  v.literal("supersedes"),
+  v.literal("same_as"),
+  // --- Same-Type Relationships: Belief ↔ Belief (L3 → L3) ---
+  v.literal("depends_on"),
+  v.literal("supports"),
+  v.literal("contains"),
+  // --- Belief Cluster Mapping (L3 → L3) ---
+  v.literal("counterfactual_of"),
+  v.literal("cascade_to"),
+  v.literal("cascade_from"),
+  v.literal("mutually_exclusive"),
+  v.literal("correlates_with"),
+  v.literal("amplifies"),
+  v.literal("precondition_for"),
+  v.literal("in_tension_with"),
+  // --- Belief ↔ Belief: Epistemic Impact (Confidence Propagation) ---
+  v.literal("falsified_by"),
+  v.literal("exclusive_with"),
+  v.literal("contradicts"),
+  v.literal("collapses_if"),
+  v.literal("strengthened_by"),
+  v.literal("weakened_by"),
+  v.literal("alternative_to"),
+  v.literal("subsumes"),
+  v.literal("validated_by"),
+  v.literal("required_for"),
+  v.literal("blocks"),
+  // --- Same-Type Relationships: Question ↔ Question (L3 → L3) ---
+  v.literal("prerequisite_for"),
+  v.literal("parallel_to"),
+  // --- Same-Type Relationships: Evidence ↔ Evidence (L2 → L2) ---
+  v.literal("corroborates"),
+  v.literal("extends"),
+  v.literal("same_source_as"),
+  v.literal("same_theme_as"),
+  // --- NEW: Deep Epistemic Analysis Edges (Phase: Schema Upgrade) ---
+  v.literal("assumes"),
+  v.literal("would_predict"),
+  v.literal("analogous_to"),
+  v.literal("independent_of"),
+  // --- Entity↔Belief Bridge (OE-B) ---
+  v.literal("competes_with")
+);
+function buildEdgeStatusSuccessResult() {
+  return { success: true };
+}
+function buildEdgeNotFoundResult() {
+  const result = {};
+  result.success = false;
+  result.error = "Edge not found";
+  return result;
+}
+function buildEdgeMirrorSkippedResult() {
+  return {
+    success: false,
+    reason: "source_not_in_convex"
+  };
+}
+function buildEdgeMirrorMissingResult() {
+  return {
+    success: false,
+    reason: "not_found"
+  };
+}
+function buildEdgeMirrorWriteResult(edgeId, existed) {
+  return {
+    success: true,
+    edgeId,
+    existed
+  };
+}
+function edgeMatchesWorkspaceReasoningScope(edge, scope) {
+  return scope.topicId !== void 0 && edge.topicId === scope.topicId || scope.projectId !== void 0 && edge.projectId === scope.projectId;
+}
+async function collectScopedEdges(ctx, scope, scanLimit) {
+  const queries = [];
+  if (scope.topicId) {
+    queries.push(
+      ctx.db.query("epistemicEdges").withIndex(
+        "by_topic",
+        (q) => q.eq("topicId", scope.topicId)
+      ).order("desc").take(scanLimit)
+    );
+  }
+  if (scope.projectId) {
+    queries.push(
+      ctx.db.query("epistemicEdges").withIndex(
+        "by_topic",
+        (q) => q.eq("topicId", scope.projectId)
+      ).order("desc").take(scanLimit)
+    );
+  }
+  const seen = /* @__PURE__ */ new Set();
+  const deduped = [];
+  const flattened = (await Promise.all(queries)).flat();
+  for (const edge of flattened) {
+    const key = String(edge._id);
+    if (seen.has(key)) {
+      continue;
+    }
+    seen.add(key);
+    deduped.push(edge);
+  }
+  return deduped;
+}
+
+export { buildEdgeMirrorMissingResult, buildEdgeMirrorSkippedResult, buildEdgeMirrorWriteResult, buildEdgeNotFoundResult, buildEdgeStatusSuccessResult, collectScopedEdges, edgeMatchesWorkspaceReasoningScope, edgeTypeValidator, epistemicLayerValidator, subjectiveOpinionValidator };
+//# sourceMappingURL=epistemicEdges.helpers.js.map
+//# sourceMappingURL=epistemicEdges.helpers.js.map