@lucern/graph-primitives 0.1.0-alpha.2

package/dist/epistemicEdges-DcA8ErUG.d.ts

@@ -0,0 +1,191 @@
+import * as convex_values from 'convex/values';
+
+/**
+ * Epistemic Edges - CRUD operations for the knowledge graph relationships
+ *
+ * Every "supports", "contradicts", "derived_from" relationship in StackOS is an edge.
+ * Edges connect epistemic nodes and carry metadata about the relationship.
+ *
+ * @see /docs/architecture/EPISTEMIC_SPINE.md
+ */
+/**
+ * Epistemic Layer Validator for edges
+ */
+declare const epistemicLayerValidator: convex_values.VUnion<"L4" | "L3" | "L2" | "L1" | "ontological" | "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 edgeTypeValidator: convex_values.VUnion<"supports" | "informs" | "depends_on" | "derived_from" | "contains" | "tests" | "based_on_belief" | "based_on_question" | "blocked_by_contradiction" | "informed_by_theme" | "works_at" | "invested_in" | "competes_with" | "participates_in" | "founded_by" | "evaluates" | "performs" | "function_in" | "impacts" | "raised_from" | "mentioned_in" | "perspective_on" | "supersedes" | "responds_to" | "belongs_to" | "relates_to_thesis" | "plays_theme" | "contradicts" | "explores" | "qualifies" | "scoped_by" | "same_as" | "counterfactual_of" | "cascade_to" | "cascade_from" | "mutually_exclusive" | "correlates_with" | "amplifies" | "precondition_for" | "in_tension_with" | "falsified_by" | "exclusive_with" | "collapses_if" | "strengthened_by" | "weakened_by" | "alternative_to" | "subsumes" | "validated_by" | "required_for" | "blocks" | "prerequisite_for" | "parallel_to" | "corroborates" | "extends" | "same_source_as" | "same_theme_as" | "assumes" | "would_predict" | "analogous_to" | "independent_of", [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>;
+/**
+ * Get a single edge by ID
+ */
+declare const get: any;
+/**
+ * Get an edge by its global UUID
+ */
+declare const getByGlobalId: any;
+/**
+ * Get all edges FROM a specific node
+ */
+declare const getFromNode: any;
+/**
+ * Get all edges TO a specific node
+ */
+declare const getToNode: any;
+/**
+ * Get edges pointing FROM a node (by any string ID - for backward compat)
+ * This is a more flexible version of getFromNode that accepts any string ID
+ *
+ * Performance: Uses indexes where possible, falls back to globalId search only when needed
+ */
+declare const getBySourceNode: any;
+/**
+ * Get edges pointing TO a node (by any string ID - for backward compat)
+ * This is a more flexible version of getToNode that accepts any string ID
+ *
+ * Performance: Uses indexes where possible, falls back to globalId search only when needed
+ */
+declare const getByTargetNode: any;
+/**
+ * Get edge between two specific nodes (returns array)
+ */
+declare const getBetween: any;
+/**
+ * Get first edge between two specific nodes (returns single edge or null)
+ * Used by findEvidencePath for direct edge checking
+ */
+declare const getByNodes: any;
+/**
+ * Get all edges of a specific type for a project
+ */
+declare const getByProjectAndType: any;
+/**
+ * Get all edges for a project
+ */
+declare const getByProject: any;
+declare const getByTopic: any;
+/**
+ * List all edges (unscoped — for internal dev tools).
+ * No project filtering, no access control.
+ */
+declare const listAll: any;
+/**
+ * Find contradictions: evidence that contradicts a belief (informs with weight < 0)
+ * Note: Legacy 'contradicts' edges have been migrated to 'informs' with negative weight
+ */
+declare const findContradictions: any;
+/**
+ * Find supporting evidence for a node (informs with weight >= 0)
+ * Note: Legacy 'supports' edges have been migrated to 'informs' with positive weight
+ */
+declare const findSupport: any;
+/**
+ * Create a new edge
+ *
+ * Phase 2C: Validates layer rules before creation and stores layer metadata
+ */
+declare const create: any;
+/**
+ * Update an edge's properties
+ */
+declare const update: any;
+/**
+ * Delete an edge
+ */
+declare const remove: any;
+/**
+ * Delete all edges between two nodes
+ */
+declare const removeBetween: any;
+/**
+ * Batch create edges (for migrations or bulk operations)
+ *
+ * Phase 2C: Validates layer rules and stores layer metadata
+ */
+declare const batchCreate: any;
+/**
+ * Get the full lineage chain for a node (what it was derived from)
+ * Traverses extracted_from and derived_from edges backwards to find sources.
+ *
+ * Phase 2D: Now supports layer-aware traversal with minLayer/maxLayer constraints
+ *
+ * Edge semantics:
+ * - `Evidence -extracted_from-> Source` means Evidence was extracted from Source
+ * - To find lineage, we query edges where current node is fromNodeId (the derived node)
+ *   and follow toNodeId to find the source/parent nodes
+ */
+declare const getLineage: any;
+/**
+ * Get all evidence supporting or contradicting a belief
+ * Returns structured data for UI display
+ * Note: Legacy 'supports'/'contradicts' edges have been migrated to 'informs' with weight
+ */
+declare const getEvidenceForBelief: any;
+/**
+ * Cleanup deprecated edge types from the graph.
+ *
+ * These edge types were created by the old `createBeliefRelationship` tool
+ * before we standardized on `createBeliefConditional` with the 9 proper types.
+ *
+ * Deprecated types: old generic edges superseded by canonical 6
+ */
+declare const cleanupDeprecatedEdges: any;
+/**
+ * Delete specific edges by ID (for manual cleanup)
+ */
+declare const deleteEdges: any;
+/**
+ * Get all edges between a set of belief IDs (for belief cluster visualization)
+ * Returns edges where both source and target are in the provided belief IDs
+ */
+declare const getClusterEdges: any;
+/**
+ * Internal mutation to mirror a Neo4j edge to Convex for reactive UI.
+ * Called by createEdge action for edge types that need reactive UI updates.
+ *
+ * This does NOT replace Neo4j as source of truth - it's a read-optimized mirror
+ * for Convex reactive queries used by UI components.
+ */
+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;
+
+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 { getClusterEdges as A, mirrorEdgeToConvex as B, deleteEdgeFromConvex as C, updateEdgeInConvex as D, epistemicLayerValidator as a, edgeTypeValidator as b, getByGlobalId as c, getFromNode as d, epistemicEdges as e, getToNode as f, get as g, getBySourceNode as h, getByTargetNode as i, getBetween as j, getByNodes as k, getByProjectAndType as l, getByProject as m, getByTopic as n, listAll as o, findContradictions as p, findSupport as q, create as r, remove as s, removeBetween as t, update as u, batchCreate as v, getLineage as w, getEvidenceForBelief as x, cleanupDeprecatedEdges as y, deleteEdges as z };

package/dist/epistemicEdges.d.ts

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