@nicia-ai/typegraph 0.28.1 → 0.29.0

package/dist/index.d.cts

@@ -1,15 +1,15 @@
 import { z } from 'zod';
-import { d as KindAnnotations, N as NodeType, e as EdgeType } from './extension-types-B78CZfA5.cjs';
-export { A as AnyEdgeType, C as CURRENT_GRAPH_EXTENSION_VERSION, f as Cardinality, g as Collation, D as DeleteBehavior, h as EdgeId, i as EdgeProps, E as EdgeRegistration, j as EdgeTypeWithEndpoints, k as EndpointExistence, c as GraphDefaults, G as GraphExtension, l as GraphExtensionVersion, J as JsonValue, L as LEGACY_GRAPH_EXTENSION_VERSION, m as NodeId, n as NodeProps, b as NodeRegistration, T as TemporalMode, U as UniqueConstraint, o as UniquenessScope, p as isEdgeType, q as isEdgeTypeWithEndpoints, r as isNodeType } from './extension-types-B78CZfA5.cjs';
-import { H as InferenceType, M as MetaEdge, O as OntologyRelation, K as AggregateExpr, L as FieldRef, P as ComparisonOp, T as AggregateComparisonPredicate } from './types-CMQymcwk.cjs';
-export { U as AdoptedTransaction, B as BackendCapabilities, W as CommitSchemaVersionExpected, X as CommitSchemaVersionParams, Y as DEFAULT_SQL_SCHEMA, Z as DeleteFulltextBatchParams, E as EdgeIndexConfig, c as EdgeIndexDeclaration, q as EdgeIndexDirection, r as EdgeIndexWhereBuilder, _ as FulltextBatchRow, $ as FulltextCapabilities, a0 as FulltextQueryMode, a1 as FulltextSearchParams, a2 as FulltextSearchResult, F as FulltextStrategy, G as GraphBackend, a3 as HybridFusionOptions, I as IndexDeclaration, s as IndexOrigin, t as IndexScope, e as IndexWhereExpression, u as IndexWhereFieldBuilder, v as IndexWhereInput, J as JsonPointer, a4 as JsonPointerFor, a5 as JsonPointerInput, a6 as JsonPointerSegment, a7 as JsonPointerSegments, a8 as JsonPointerSegmentsFor, a9 as MAX_JSON_POINTER_DEPTH, aa as MetaEdgeProperties, N as NodeIndexConfig, d as NodeIndexDeclaration, w as NodeIndexWhereBuilder, ab as OrderSpec, ac as ParameterRef, ad as ResolveJsonPointer, ae as ResolveJsonPointerSegments, D as SchemaVersionRow, af as SetActiveVersionParams, ag as SortDirection, p as SqlDialect, ah as SqlSchema, ai as SqlTableNames, aj as StrategyTableContribution, ak as TableContribution, al as TransactionBackend, am as TraversalExpansion, an as UpsertFulltextBatchParams, ao as VectorCapabilities, ap as createSqlSchema, aq as fts5Strategy, ar as isMetaEdge, as as joinJsonPointers, at as jsonPointer, au as normalizeJsonPointer, av as parseJsonPointer, aw as tsvectorStrategy } from './types-CMQymcwk.cjs';
-import { A as AliasMap, E as EdgeAliasMap, Q as QueryBuilder, T as TraversalBuilder, C as CreateQueryBuilderOptions } from './store-D7YEMg2v.cjs';
-export { a as AggregateResult, b as AlgorithmCyclePolicy, c as AnyEdge, d as AnyNode, B as BaseTraversalOptions, e as BatchResults, f as BatchableQuery, g as ConstraintNames, h as CreateEdgeInput, i as CreateNodeInput, D as DEFAULT_SEARCHABLE_LANGUAGE, j as DegreeOptions, k as DynamicEdgeAccessor, l as DynamicEdgeCollection, m as DynamicEdgeType, n as DynamicFieldBuilder, o as DynamicNodeAccessor, p as DynamicNodeCollection, q as DynamicNodeType, r as DynamicSelectableEdge, s as DynamicSelectableNode, t as Edge, u as EdgeAccessor, v as EdgeCollection, w as EdgeFindByEndpointsOptions, x as EdgeGetOrCreateByEndpointsOptions, y as EdgeGetOrCreateByEndpointsResult, z as EdgeIntrospection, F as EmbeddingSchema, G as EmbeddingValue, H as ExecutableAggregateQuery, I as ExecutableQuery, J as FieldAccessor, K as FulltextSearchHit, L as FulltextSearchOptions, M as GetOrCreateAction, N as GraphAlgorithms, O as GraphEdgeCollections, P as GraphNodeCollections, R as HookContext, U as HybridFulltextOptions, V as HybridSearchHit, W as HybridSearchOptions, X as HybridVectorOptions, Y as IfExistsMode, Z as KindIntrospection, _ as MaterializeRemovalsEntry, $ as MaterializeRemovalsOptions, a0 as MaterializeRemovalsResult, a1 as NeighborsOptions, a2 as Node, a3 as NodeAccessor, a4 as NodeAlias, a5 as NodeCollection, a6 as NodeGetOrCreateByConstraintOptions, a7 as NodeGetOrCreateByConstraintResult, a8 as NodeIdentifier, a9 as NodeRef, aa as OntologyIntrospection, ab as OperationHookContext, ac as PaginateOptions, ad as PaginatedResult, ae as PathNode, af as Predicate, ag as PreparedQuery, ah as PropsAccessor, ai as QueryHookContext, aj as QueryOptions, ak as ReachableNode, al as ReachableOptions, am as RebuildFulltextOptions, an as RebuildFulltextResult, ao as RecursiveTraversalOptions, ap as SchemaIntrospection, aq as SearchableMetadata, ar as SearchableOptions, as as SearchableSchema, at as SelectContext, au as SelectableEdge, av as SelectableNode, aw as ShortestPathOptions, ax as ShortestPathResult, S as Store, ay as StoreHooks, az as StoreOptions, aA as StoreProjection, aB as StoreRef, aC as StoreSearch, aD as StreamOptions, aE as SubgraphEdgeResult, aF as SubgraphNodeResult, aG as SubgraphOptions, aH as SubgraphResult, aI as SubsetEdge, aJ as SubsetNode, aK as TemporalAlgorithmOptions, aL as TransactionContext, aM as TraversalDirection, aN as TypedEdgeCollection, aO as UnionableQuery, aP as UniqueIntrospection, aQ as UpdateEdgeInput, aR as UpdateNodeInput, aS as VectorSearchHit, aT as VectorSearchOptions, aU as createStore, aV as createStoreWithSchema, aW as createVerifiedStore, aX as defineSubgraphProject, aY as embedding, aZ as exists, a_ as fieldRef, a$ as getEmbeddingDimensions, b0 as getSearchableMetadata, b1 as inSubquery, b2 as isEmbeddingSchema, b3 as isParameterRef, b4 as isSearchableSchema, b5 as notExists, b6 as notInSubquery, b7 as param, b8 as searchable } from './store-D7YEMg2v.cjs';
-import { G as GraphDef, K as KindRegistry } from './manager-c1MGaVVR.cjs';
-export { A as AllEdgeTypes, t as AllNodeTypes, u as EdgeKinds, v as GetEdgeType, w as GetNodeType, x as NodeKinds, c as SchemaManagerOptions, d as SchemaValidationResult, y as defineGraph, z as getEdgeKinds, B as getNodeKinds, F as isGraphDef } from './manager-c1MGaVVR.cjs';
-export { B as BackendDisposedError, C as CardinalityError, b as CompilerInvariantError, c as ConfigurationError, D as DatabaseOperationError, d as DisjointError, E as EagerMaterializationError, e as EdgeNotFoundError, f as EndpointError, g as EndpointNotFoundError, h as ErrorCategory, K as KindNotFoundError, M as MigrationError, N as NodeConstraintNotFoundError, i as NodeNotFoundError, R as RestrictedDeleteError, S as SchemaContentConflictError, j as SchemaMismatchError, k as StaleVersionError, l as StoreNotInitializedError, m as StoreNotInitializedReason, T as TypeGraphError, n as TypeGraphErrorOptions, U as UniquenessError, o as UnsupportedPredicateError, a as ValidationError, p as ValidationErrorDetails, V as ValidationIssue, q as VersionConflictError, r as getErrorSuggestion, s as isConstraintError, t as isSystemError, u as isTypeGraphError, v as isUserRecoverable } from './index-Bilw0pYm.cjs';
-export { a as MaterializeIndexesEntry, b as MaterializeIndexesOptions, M as MaterializeIndexesResult } from './materialize-indexes-BQfaAZKA.cjs';
-export { a as andWhere, d as defineEdgeIndex, b as defineNodeIndex, n as notWhere, o as orWhere } from './where-5zf15aFZ.cjs';
+import { e as KindAnnotations, N as NodeType, d as EdgeType } from './extension-types-CwHV-Uk4.cjs';
+export { A as AnyEdgeType, h as CURRENT_GRAPH_EXTENSION_VERSION, f as Cardinality, C as Collation, D as DeleteBehavior, i as EdgeId, j as EdgeProps, E as EdgeRegistration, k as EdgeTypeWithEndpoints, g as EndpointExistence, c as GraphDefaults, G as GraphExtension, l as GraphExtensionVersion, J as JsonValue, L as LEGACY_GRAPH_EXTENSION_VERSION, m as NodeId, n as NodeProps, b as NodeRegistration, T as TemporalMode, o as UniqueConstraint, U as UniquenessScope, p as isEdgeType, q as isEdgeTypeWithEndpoints, r as isNodeType } from './extension-types-CwHV-Uk4.cjs';
+import { K as InferenceType, M as MetaEdge, V as VectorStrategy, G as GraphBackend, O as OntologyRelation, L as AggregateExpr, P as FieldRef, T as ComparisonOp, U as AggregateComparisonPredicate } from './types-DXCSyxac.cjs';
+export { W as AdoptedTransaction, B as BackendCapabilities, X as CommitSchemaVersionExpected, Y as CommitSchemaVersionParams, Z as DEFAULT_SQL_SCHEMA, _ as DeleteFulltextBatchParams, E as EdgeIndexConfig, c as EdgeIndexDeclaration, q as EdgeIndexDirection, r as EdgeIndexWhereBuilder, $ as FulltextBatchRow, a0 as FulltextCapabilities, a1 as FulltextQueryMode, a2 as FulltextSearchParams, a3 as FulltextSearchResult, F as FulltextStrategy, a4 as HybridFusionOptions, I as IndexDeclaration, s as IndexOrigin, t as IndexScope, e as IndexWhereExpression, u as IndexWhereFieldBuilder, v as IndexWhereInput, J as JsonPointer, a5 as JsonPointerFor, a6 as JsonPointerInput, a7 as JsonPointerSegment, a8 as JsonPointerSegments, a9 as JsonPointerSegmentsFor, aa as MAX_JSON_POINTER_DEPTH, ab as MetaEdgeProperties, N as NodeIndexConfig, d as NodeIndexDeclaration, w as NodeIndexWhereBuilder, ac as OrderSpec, ad as ParameterRef, ae as ResolveJsonPointer, af as ResolveJsonPointerSegments, H as SchemaVersionRow, ag as SetActiveVersionParams, ah as SortDirection, p as SqlDialect, ai as SqlSchema, aj as SqlTableNames, ak as StrategyTableContribution, al as TableContribution, am as TransactionBackend, an as TraversalExpansion, ao as UpsertFulltextBatchParams, ap as VectorCapabilities, aq as VectorSlot, ar as buildVectorCapabilities, as as createSqlSchema, at as fts5Strategy, au as isMetaEdge, av as joinJsonPointers, aw as jsonPointer, ax as normalizeJsonPointer, ay as parseJsonPointer, az as tsvectorStrategy } from './types-DXCSyxac.cjs';
+import { E as EmbeddingMetric, a as EmbeddingIndexType, A as AliasMap, b as EdgeAliasMap, Q as QueryBuilder, T as TraversalBuilder, C as CreateQueryBuilderOptions } from './store-B43FpOVX.cjs';
+export { c as AggregateResult, d as AlgorithmCyclePolicy, e as AnyEdge, f as AnyNode, B as BaseTraversalOptions, g as BatchResults, h as BatchableQuery, i as ConstraintNames, j as CreateEdgeInput, k as CreateNodeInput, D as DEFAULT_SEARCHABLE_LANGUAGE, l as DegreeOptions, m as DynamicEdgeAccessor, n as DynamicEdgeCollection, o as DynamicEdgeType, p as DynamicFieldBuilder, q as DynamicNodeAccessor, r as DynamicNodeCollection, s as DynamicNodeType, t as DynamicSelectableEdge, u as DynamicSelectableNode, v as Edge, w as EdgeAccessor, x as EdgeCollection, y as EdgeFindByEndpointsOptions, z as EdgeGetOrCreateByEndpointsOptions, F as EdgeGetOrCreateByEndpointsResult, G as EdgeIntrospection, H as EmbeddingSchema, I as EmbeddingValue, J as ExecutableAggregateQuery, K as ExecutableQuery, L as FieldAccessor, M as FulltextSearchHit, N as FulltextSearchOptions, O as GetOrCreateAction, P as GraphAlgorithms, R as GraphEdgeCollections, U as GraphNodeCollections, V as HookContext, W as HybridFulltextOptions, X as HybridSearchHit, Y as HybridSearchOptions, Z as HybridVectorOptions, _ as IfExistsMode, $ as KindIntrospection, a0 as MaterializeRemovalsEntry, a1 as MaterializeRemovalsOptions, a2 as MaterializeRemovalsResult, a3 as NeighborsOptions, a4 as Node, a5 as NodeAccessor, a6 as NodeAlias, a7 as NodeCollection, a8 as NodeGetOrCreateByConstraintOptions, a9 as NodeGetOrCreateByConstraintResult, aa as NodeIdentifier, ab as NodeRef, ac as OntologyIntrospection, ad as OperationHookContext, ae as PaginateOptions, af as PaginatedResult, ag as PathNode, ah as Predicate, ai as PreparedQuery, aj as PropsAccessor, ak as QueryHookContext, al as QueryOptions, am as ReachableNode, an as ReachableOptions, ao as RebuildFulltextOptions, ap as RebuildFulltextResult, aq as ReclaimedVectorFieldEntry, ar as RecursiveTraversalOptions, as as ReembedFunction, at as ReembedVectorFieldOptions, au as ReembedVectorFieldResult, av as SchemaIntrospection, aw as SearchableMetadata, ax as SearchableOptions, ay as SearchableSchema, az as SelectContext, aA as SelectableEdge, aB as SelectableNode, aC as ShortestPathOptions, aD as ShortestPathResult, S as Store, aE as StoreHooks, aF as StoreOptions, aG as StoreProjection, aH as StoreRef, aI as StoreSearch, aJ as StreamOptions, aK as SubgraphEdgeResult, aL as SubgraphNodeResult, aM as SubgraphOptions, aN as SubgraphResult, aO as SubsetEdge, aP as SubsetNode, aQ as TemporalAlgorithmOptions, aR as TransactionContext, aS as TraversalDirection, aT as TypedEdgeCollection, aU as UnionableQuery, aV as UniqueIntrospection, aW as UpdateEdgeInput, aX as UpdateNodeInput, aY as VectorSearchHit, aZ as VectorSearchOptions, a_ as createStore, a$ as createStoreWithSchema, b0 as createVerifiedStore, b1 as defineSubgraphProject, b2 as embedding, b3 as exists, b4 as fieldRef, b5 as getEmbeddingDimensions, b6 as getSearchableMetadata, b7 as inSubquery, b8 as isEmbeddingSchema, b9 as isParameterRef, ba as isSearchableSchema, bb as notExists, bc as notInSubquery, bd as param, be as searchable } from './store-B43FpOVX.cjs';
+import { G as GraphDef, K as KindRegistry } from './manager-DpIpn1HQ.cjs';
+export { A as AllEdgeTypes, t as AllNodeTypes, u as EdgeKinds, v as GetEdgeType, w as GetNodeType, x as NodeKinds, c as SchemaManagerOptions, d as SchemaValidationResult, y as defineGraph, z as getEdgeKinds, B as getNodeKinds, F as isGraphDef } from './manager-DpIpn1HQ.cjs';
+export { B as BackendDisposedError, C as CardinalityError, b as CompilerInvariantError, c as ConfigurationError, D as DatabaseOperationError, d as DisjointError, E as EagerMaterializationError, e as EdgeNotFoundError, f as EmbeddingDimensionChangedError, g as EndpointError, h as EndpointNotFoundError, i as ErrorCategory, K as KindNotFoundError, M as MigrationError, N as NodeConstraintNotFoundError, j as NodeNotFoundError, R as RestrictedDeleteError, S as SchemaContentConflictError, k as SchemaMismatchError, l as StaleVersionError, m as StoreNotInitializedError, n as StoreNotInitializedReason, T as TypeGraphError, o as TypeGraphErrorOptions, U as UniquenessError, p as UnsupportedPredicateError, a as ValidationError, q as ValidationErrorDetails, V as ValidationIssue, r as VersionConflictError, s as getErrorSuggestion, t as isConstraintError, u as isSystemError, v as isTypeGraphError, w as isUserRecoverable } from './index-jPPexxM5.cjs';
+export { a as MaterializeIndexesEntry, b as MaterializeIndexesOptions, M as MaterializeIndexesResult } from './materialize-indexes-oanE3RU0.cjs';
+export { a as andWhere, d as defineEdgeIndex, b as defineNodeIndex, n as notWhere, o as orWhere } from './where-2dsyYt3d.cjs';
 export { GraphExtensionError, GraphExtensionIssue, GraphExtensionIssueCode, GraphExtensionUnresolvedEndpointError, GraphExtensionValidationError, GraphExtensionVersionUnsupportedError, IncompatibleChange, IncompatibleChangeError, KindCollisionError, KindHasReferentsError, KindReferent, RemoveCompileTimeKindError, defineGraphExtension, validateGraphExtension } from './graph-extension/index.cjs';
 import 'drizzle-orm';
 import 'drizzle-orm/pg-core';
@@ -232,6 +232,111 @@ declare function getExternalRefTable(schema: z.ZodType): string | undefined;
  */
 declare function createExternalRef<T extends string>(table: T): (id: string) => ExternalRefValue<T>;
 
+declare const libsqlVectorStrategy: VectorStrategy;
+
+declare const pgvectorStrategy: VectorStrategy;
+
+declare const sqliteVecStrategy: VectorStrategy;
+
+/**
+ * The resolved storage config for one `(nodeKind, fieldPath)` slot that the
+ * legacy table did not record. The legacy shared table stored only the
+ * vector and its dimension count — not the metric or index type — so a
+ * caller that wants migrated fields to match a specific graph's `embedding()`
+ * declarations supplies this resolver.
+ */
+type LegacyEmbeddingSlotConfig = Readonly<{
+    metric: EmbeddingMetric;
+    indexType: EmbeddingIndexType;
+}>;
+/**
+ * Options for {@link migrateLegacyEmbeddings}.
+ */
+type MigrateLegacyEmbeddingsOptions = Readonly<{
+    /**
+     * The backend to migrate, wired with the destination `VectorStrategy`
+     * (i.e. the post-cutover backend). Its `vectorStrategy` owns the per-field
+     * storage rows are written into and its `upsertEmbedding` performs the
+     * writes.
+     */
+    backend: GraphBackend;
+    /**
+     * Restrict the migration to a single graph. When omitted, every graph's
+     * rows in the legacy table are migrated (the table is graph-scoped by its
+     * `graph_id` column).
+     */
+    graphId?: string;
+    /**
+     * Resolves the metric / index type for a `(nodeKind, fieldPath)` slot the
+     * legacy table didn't persist. Return `undefined` to fall back to the
+     * cosine / hnsw defaults. Supply this (typically reading the graph's
+     * `embedding()` declarations) when migrated fields must match a specific
+     * metric — e.g. an `l2` field, which scores incorrectly under the cosine
+     * default.
+     */
+    resolveSlotConfig?: (nodeKind: string, fieldPath: string) => LegacyEmbeddingSlotConfig | undefined;
+    /** Rows read per round-trip. Defaults to {@link DEFAULT_BATCH_SIZE}. */
+    batchSize?: number;
+    /**
+     * Physical name of the legacy table to drain. Defaults to
+     * {@link LEGACY_EMBEDDINGS_TABLE_NAME}. Override only for a non-default
+     * deployment that renamed the embeddings table.
+     */
+    legacyTableName?: string;
+}>;
+/**
+ * Summary of a {@link migrateLegacyEmbeddings} run.
+ */
+type MigrateLegacyEmbeddingsResult = Readonly<{
+    /** Total embedding rows re-inserted into per-field storage. */
+    migrated: number;
+    /**
+     * Per-`(nodeKind, fieldPath)` counts, keyed `"<nodeKind>.<fieldPath>"`
+     * (the strategy's logical-slot key form). Empty when the legacy table was
+     * absent or held no rows for the requested scope.
+     */
+    perField: Readonly<Record<string, number>>;
+    /**
+     * Rows skipped because their vector length didn't match the per-field
+     * table's fixed dimension. The legacy shared column allowed mixed
+     * dimensions for one `(nodeKind, fieldPath)` (e.g. an unmigrated model
+     * change); the first migrated row fixes the typed table's dimension and
+     * any differently-sized rows for that slot are skipped rather than aborting
+     * the whole migration. Keyed `"<nodeKind>.<fieldPath>"`. Non-empty here
+     * means those fields need a deliberate re-embed at a single dimension.
+     */
+    skippedDimensionMismatch: Readonly<Record<string, number>>;
+    /**
+     * Rows skipped because their legacy embedding could not be decoded into a
+     * finite-number array — a corrupt value (e.g. a pgvector `vector` column
+     * permits `NaN`/`Infinity`, which is not valid JSON). Keyed
+     * `"<nodeKind>.<fieldPath>"`. Skipping + reporting keeps one bad row from
+     * aborting the whole migration; non-empty here means those rows need manual
+     * repair.
+     */
+    skippedDecodeError: Readonly<Record<string, number>>;
+    /**
+     * Whether the legacy table existed. `false` means the run was a clean
+     * no-op (fresh install, or already-dropped table on a re-run).
+     */
+    legacyTablePresent: boolean;
+}>;
+/**
+ * Re-inserts every embedding from the legacy shared
+ * `typegraph_node_embeddings` table into the active
+ * `backend.vectorStrategy`'s per-`(nodeKind, fieldPath)` storage.
+ *
+ * One-time, explicitly-run upgrade step for the shared-table → per-field
+ * cutover (#157). Idempotent, batched, and a clean no-op when the legacy
+ * table is absent. See the module doc comment for the full contract.
+ *
+ * @throws Error when the backend exposes no `vectorStrategy` /
+ *         `upsertEmbedding` (nothing to migrate *into*) — a configuration
+ *         error the caller must fix by wiring the destination strategy
+ *         before migrating.
+ */
+declare function migrateLegacyEmbeddings(options: MigrateLegacyEmbeddingsOptions): Promise<MigrateLegacyEmbeddingsResult>;
+
 /**
  * Creates a subClassOf ontology relation.
  */
@@ -446,6 +551,31 @@ declare const core: {
     readonly implies: typeof implies;
 };
 
+/**
+ * Transitive closure computation for ontology relationships.
+ *
+ * Uses Warshall's algorithm for efficient closure computation.
+ */
+/**
+ * Computes the transitive closure of a set of directed relations.
+ *
+ * Given relations like [A→B, B→C], computes all transitive paths [A→B, A→C, B→C].
+ *
+ * @param relations - Array of [from, to] pairs representing direct relationships
+ * @returns Map from each 'from' to the set of all reachable 'to' values
+ */
+declare function computeTransitiveClosure(relations: readonly (readonly [string, string])[]): ReadonlyMap<string, ReadonlySet<string>>;
+/**
+ * Computes the inverse of a transitive closure map.
+ *
+ * Given A→{B, C}, returns B→{A}, C→{A}.
+ */
+declare function invertClosure(closure: ReadonlyMap<string, ReadonlySet<string>>): ReadonlyMap<string, ReadonlySet<string>>;
+/**
+ * Checks if there's a path from source to target in the closure.
+ */
+declare function isReachable(closure: ReadonlyMap<string, ReadonlySet<string>>, source: string, target: string): boolean;
+
 /**
  * Recursive CTE Compilation
  *
@@ -787,4 +917,4 @@ type IdConfig = Readonly<{
     edgeIdGenerator: IdGenerator;
 }>;
 
-export { AliasMap, type DefineEdgeOptions, type DefineNodeOptions, EdgeType, type ExternalRefSchema, type ExternalRefValue, FieldRef, type FlexibleQueryFragment, GraphDef, type IdConfig, type IdGenerator, InferenceType, KindAnnotations, MAX_EXPLICIT_RECURSIVE_DEPTH, MAX_RECURSIVE_DEPTH, MetaEdge, type MetaEdgeOptions, NodeType, OntologyRelation, QueryBuilder, type QueryFragment, type TraversalFragment, avg, broader, composeFragments, core, count, countDistinct, countDistinctEdges, countEdges, createExternalRef, createFragment, createQueryBuilder, defineEdge, defineNode, differentFrom, disjointWith, equivalentTo, externalRef, field, generateId, getExternalRefTable, hasPart, having, havingEq, havingGt, havingGte, havingLt, havingLte, implies, inverseOf, isExternalRefSchema, limitFragment, max, metaEdge, min, narrower, offsetFragment, orderByFragment, partOf, relatedTo, sameAs, subClassOf, sum };
+export { AliasMap, type DefineEdgeOptions, type DefineNodeOptions, EdgeType, type ExternalRefSchema, type ExternalRefValue, FieldRef, type FlexibleQueryFragment, GraphBackend, GraphDef, type IdConfig, type IdGenerator, InferenceType, KindAnnotations, type LegacyEmbeddingSlotConfig, MAX_EXPLICIT_RECURSIVE_DEPTH, MAX_RECURSIVE_DEPTH, MetaEdge, type MetaEdgeOptions, type MigrateLegacyEmbeddingsOptions, type MigrateLegacyEmbeddingsResult, NodeType, OntologyRelation, QueryBuilder, type QueryFragment, type TraversalFragment, VectorStrategy, avg, broader, composeFragments, computeTransitiveClosure, core, count, countDistinct, countDistinctEdges, countEdges, createExternalRef, createFragment, createQueryBuilder, defineEdge, defineNode, differentFrom, disjointWith, equivalentTo, externalRef, field, generateId, getExternalRefTable, hasPart, having, havingEq, havingGt, havingGte, havingLt, havingLte, implies, inverseOf, invertClosure, isExternalRefSchema, isReachable, libsqlVectorStrategy, limitFragment, max, metaEdge, migrateLegacyEmbeddings, min, narrower, offsetFragment, orderByFragment, partOf, pgvectorStrategy, relatedTo, sameAs, sqliteVecStrategy, subClassOf, sum };

package/dist/index.d.ts

@@ -1,15 +1,15 @@
 import { z } from 'zod';
-import { d as KindAnnotations, N as NodeType, e as EdgeType } from './extension-types-B78CZfA5.js';
-export { A as AnyEdgeType, C as CURRENT_GRAPH_EXTENSION_VERSION, f as Cardinality, g as Collation, D as DeleteBehavior, h as EdgeId, i as EdgeProps, E as EdgeRegistration, j as EdgeTypeWithEndpoints, k as EndpointExistence, c as GraphDefaults, G as GraphExtension, l as GraphExtensionVersion, J as JsonValue, L as LEGACY_GRAPH_EXTENSION_VERSION, m as NodeId, n as NodeProps, b as NodeRegistration, T as TemporalMode, U as UniqueConstraint, o as UniquenessScope, p as isEdgeType, q as isEdgeTypeWithEndpoints, r as isNodeType } from './extension-types-B78CZfA5.js';
-import { H as InferenceType, M as MetaEdge, O as OntologyRelation, K as AggregateExpr, L as FieldRef, P as ComparisonOp, T as AggregateComparisonPredicate } from './types-CQ7xXJMP.js';
-export { U as AdoptedTransaction, B as BackendCapabilities, W as CommitSchemaVersionExpected, X as CommitSchemaVersionParams, Y as DEFAULT_SQL_SCHEMA, Z as DeleteFulltextBatchParams, E as EdgeIndexConfig, c as EdgeIndexDeclaration, q as EdgeIndexDirection, r as EdgeIndexWhereBuilder, _ as FulltextBatchRow, $ as FulltextCapabilities, a0 as FulltextQueryMode, a1 as FulltextSearchParams, a2 as FulltextSearchResult, F as FulltextStrategy, G as GraphBackend, a3 as HybridFusionOptions, I as IndexDeclaration, s as IndexOrigin, t as IndexScope, e as IndexWhereExpression, u as IndexWhereFieldBuilder, v as IndexWhereInput, J as JsonPointer, a4 as JsonPointerFor, a5 as JsonPointerInput, a6 as JsonPointerSegment, a7 as JsonPointerSegments, a8 as JsonPointerSegmentsFor, a9 as MAX_JSON_POINTER_DEPTH, aa as MetaEdgeProperties, N as NodeIndexConfig, d as NodeIndexDeclaration, w as NodeIndexWhereBuilder, ab as OrderSpec, ac as ParameterRef, ad as ResolveJsonPointer, ae as ResolveJsonPointerSegments, D as SchemaVersionRow, af as SetActiveVersionParams, ag as SortDirection, p as SqlDialect, ah as SqlSchema, ai as SqlTableNames, aj as StrategyTableContribution, ak as TableContribution, al as TransactionBackend, am as TraversalExpansion, an as UpsertFulltextBatchParams, ao as VectorCapabilities, ap as createSqlSchema, aq as fts5Strategy, ar as isMetaEdge, as as joinJsonPointers, at as jsonPointer, au as normalizeJsonPointer, av as parseJsonPointer, aw as tsvectorStrategy } from './types-CQ7xXJMP.js';
-import { A as AliasMap, E as EdgeAliasMap, Q as QueryBuilder, T as TraversalBuilder, C as CreateQueryBuilderOptions } from './store-Ufc1Eoey.js';
-export { a as AggregateResult, b as AlgorithmCyclePolicy, c as AnyEdge, d as AnyNode, B as BaseTraversalOptions, e as BatchResults, f as BatchableQuery, g as ConstraintNames, h as CreateEdgeInput, i as CreateNodeInput, D as DEFAULT_SEARCHABLE_LANGUAGE, j as DegreeOptions, k as DynamicEdgeAccessor, l as DynamicEdgeCollection, m as DynamicEdgeType, n as DynamicFieldBuilder, o as DynamicNodeAccessor, p as DynamicNodeCollection, q as DynamicNodeType, r as DynamicSelectableEdge, s as DynamicSelectableNode, t as Edge, u as EdgeAccessor, v as EdgeCollection, w as EdgeFindByEndpointsOptions, x as EdgeGetOrCreateByEndpointsOptions, y as EdgeGetOrCreateByEndpointsResult, z as EdgeIntrospection, F as EmbeddingSchema, G as EmbeddingValue, H as ExecutableAggregateQuery, I as ExecutableQuery, J as FieldAccessor, K as FulltextSearchHit, L as FulltextSearchOptions, M as GetOrCreateAction, N as GraphAlgorithms, O as GraphEdgeCollections, P as GraphNodeCollections, R as HookContext, U as HybridFulltextOptions, V as HybridSearchHit, W as HybridSearchOptions, X as HybridVectorOptions, Y as IfExistsMode, Z as KindIntrospection, _ as MaterializeRemovalsEntry, $ as MaterializeRemovalsOptions, a0 as MaterializeRemovalsResult, a1 as NeighborsOptions, a2 as Node, a3 as NodeAccessor, a4 as NodeAlias, a5 as NodeCollection, a6 as NodeGetOrCreateByConstraintOptions, a7 as NodeGetOrCreateByConstraintResult, a8 as NodeIdentifier, a9 as NodeRef, aa as OntologyIntrospection, ab as OperationHookContext, ac as PaginateOptions, ad as PaginatedResult, ae as PathNode, af as Predicate, ag as PreparedQuery, ah as PropsAccessor, ai as QueryHookContext, aj as QueryOptions, ak as ReachableNode, al as ReachableOptions, am as RebuildFulltextOptions, an as RebuildFulltextResult, ao as RecursiveTraversalOptions, ap as SchemaIntrospection, aq as SearchableMetadata, ar as SearchableOptions, as as SearchableSchema, at as SelectContext, au as SelectableEdge, av as SelectableNode, aw as ShortestPathOptions, ax as ShortestPathResult, S as Store, ay as StoreHooks, az as StoreOptions, aA as StoreProjection, aB as StoreRef, aC as StoreSearch, aD as StreamOptions, aE as SubgraphEdgeResult, aF as SubgraphNodeResult, aG as SubgraphOptions, aH as SubgraphResult, aI as SubsetEdge, aJ as SubsetNode, aK as TemporalAlgorithmOptions, aL as TransactionContext, aM as TraversalDirection, aN as TypedEdgeCollection, aO as UnionableQuery, aP as UniqueIntrospection, aQ as UpdateEdgeInput, aR as UpdateNodeInput, aS as VectorSearchHit, aT as VectorSearchOptions, aU as createStore, aV as createStoreWithSchema, aW as createVerifiedStore, aX as defineSubgraphProject, aY as embedding, aZ as exists, a_ as fieldRef, a$ as getEmbeddingDimensions, b0 as getSearchableMetadata, b1 as inSubquery, b2 as isEmbeddingSchema, b3 as isParameterRef, b4 as isSearchableSchema, b5 as notExists, b6 as notInSubquery, b7 as param, b8 as searchable } from './store-Ufc1Eoey.js';
-import { G as GraphDef, K as KindRegistry } from './manager-ehLTTNq0.js';
-export { A as AllEdgeTypes, t as AllNodeTypes, u as EdgeKinds, v as GetEdgeType, w as GetNodeType, x as NodeKinds, c as SchemaManagerOptions, d as SchemaValidationResult, y as defineGraph, z as getEdgeKinds, B as getNodeKinds, F as isGraphDef } from './manager-ehLTTNq0.js';
-export { B as BackendDisposedError, C as CardinalityError, b as CompilerInvariantError, c as ConfigurationError, D as DatabaseOperationError, d as DisjointError, E as EagerMaterializationError, e as EdgeNotFoundError, f as EndpointError, g as EndpointNotFoundError, h as ErrorCategory, K as KindNotFoundError, M as MigrationError, N as NodeConstraintNotFoundError, i as NodeNotFoundError, R as RestrictedDeleteError, S as SchemaContentConflictError, j as SchemaMismatchError, k as StaleVersionError, l as StoreNotInitializedError, m as StoreNotInitializedReason, T as TypeGraphError, n as TypeGraphErrorOptions, U as UniquenessError, o as UnsupportedPredicateError, a as ValidationError, p as ValidationErrorDetails, V as ValidationIssue, q as VersionConflictError, r as getErrorSuggestion, s as isConstraintError, t as isSystemError, u as isTypeGraphError, v as isUserRecoverable } from './index-CWdBFWbI.js';
-export { a as MaterializeIndexesEntry, b as MaterializeIndexesOptions, M as MaterializeIndexesResult } from './materialize-indexes-DFavFQah.js';
-export { a as andWhere, d as defineEdgeIndex, b as defineNodeIndex, n as notWhere, o as orWhere } from './where-CtrLu1Zf.js';
+import { e as KindAnnotations, N as NodeType, d as EdgeType } from './extension-types-CwHV-Uk4.js';
+export { A as AnyEdgeType, h as CURRENT_GRAPH_EXTENSION_VERSION, f as Cardinality, C as Collation, D as DeleteBehavior, i as EdgeId, j as EdgeProps, E as EdgeRegistration, k as EdgeTypeWithEndpoints, g as EndpointExistence, c as GraphDefaults, G as GraphExtension, l as GraphExtensionVersion, J as JsonValue, L as LEGACY_GRAPH_EXTENSION_VERSION, m as NodeId, n as NodeProps, b as NodeRegistration, T as TemporalMode, o as UniqueConstraint, U as UniquenessScope, p as isEdgeType, q as isEdgeTypeWithEndpoints, r as isNodeType } from './extension-types-CwHV-Uk4.js';
+import { K as InferenceType, M as MetaEdge, V as VectorStrategy, G as GraphBackend, O as OntologyRelation, L as AggregateExpr, P as FieldRef, T as ComparisonOp, U as AggregateComparisonPredicate } from './types-CmAT-Z47.js';
+export { W as AdoptedTransaction, B as BackendCapabilities, X as CommitSchemaVersionExpected, Y as CommitSchemaVersionParams, Z as DEFAULT_SQL_SCHEMA, _ as DeleteFulltextBatchParams, E as EdgeIndexConfig, c as EdgeIndexDeclaration, q as EdgeIndexDirection, r as EdgeIndexWhereBuilder, $ as FulltextBatchRow, a0 as FulltextCapabilities, a1 as FulltextQueryMode, a2 as FulltextSearchParams, a3 as FulltextSearchResult, F as FulltextStrategy, a4 as HybridFusionOptions, I as IndexDeclaration, s as IndexOrigin, t as IndexScope, e as IndexWhereExpression, u as IndexWhereFieldBuilder, v as IndexWhereInput, J as JsonPointer, a5 as JsonPointerFor, a6 as JsonPointerInput, a7 as JsonPointerSegment, a8 as JsonPointerSegments, a9 as JsonPointerSegmentsFor, aa as MAX_JSON_POINTER_DEPTH, ab as MetaEdgeProperties, N as NodeIndexConfig, d as NodeIndexDeclaration, w as NodeIndexWhereBuilder, ac as OrderSpec, ad as ParameterRef, ae as ResolveJsonPointer, af as ResolveJsonPointerSegments, H as SchemaVersionRow, ag as SetActiveVersionParams, ah as SortDirection, p as SqlDialect, ai as SqlSchema, aj as SqlTableNames, ak as StrategyTableContribution, al as TableContribution, am as TransactionBackend, an as TraversalExpansion, ao as UpsertFulltextBatchParams, ap as VectorCapabilities, aq as VectorSlot, ar as buildVectorCapabilities, as as createSqlSchema, at as fts5Strategy, au as isMetaEdge, av as joinJsonPointers, aw as jsonPointer, ax as normalizeJsonPointer, ay as parseJsonPointer, az as tsvectorStrategy } from './types-CmAT-Z47.js';
+import { E as EmbeddingMetric, a as EmbeddingIndexType, A as AliasMap, b as EdgeAliasMap, Q as QueryBuilder, T as TraversalBuilder, C as CreateQueryBuilderOptions } from './store-De0Y33wP.js';
+export { c as AggregateResult, d as AlgorithmCyclePolicy, e as AnyEdge, f as AnyNode, B as BaseTraversalOptions, g as BatchResults, h as BatchableQuery, i as ConstraintNames, j as CreateEdgeInput, k as CreateNodeInput, D as DEFAULT_SEARCHABLE_LANGUAGE, l as DegreeOptions, m as DynamicEdgeAccessor, n as DynamicEdgeCollection, o as DynamicEdgeType, p as DynamicFieldBuilder, q as DynamicNodeAccessor, r as DynamicNodeCollection, s as DynamicNodeType, t as DynamicSelectableEdge, u as DynamicSelectableNode, v as Edge, w as EdgeAccessor, x as EdgeCollection, y as EdgeFindByEndpointsOptions, z as EdgeGetOrCreateByEndpointsOptions, F as EdgeGetOrCreateByEndpointsResult, G as EdgeIntrospection, H as EmbeddingSchema, I as EmbeddingValue, J as ExecutableAggregateQuery, K as ExecutableQuery, L as FieldAccessor, M as FulltextSearchHit, N as FulltextSearchOptions, O as GetOrCreateAction, P as GraphAlgorithms, R as GraphEdgeCollections, U as GraphNodeCollections, V as HookContext, W as HybridFulltextOptions, X as HybridSearchHit, Y as HybridSearchOptions, Z as HybridVectorOptions, _ as IfExistsMode, $ as KindIntrospection, a0 as MaterializeRemovalsEntry, a1 as MaterializeRemovalsOptions, a2 as MaterializeRemovalsResult, a3 as NeighborsOptions, a4 as Node, a5 as NodeAccessor, a6 as NodeAlias, a7 as NodeCollection, a8 as NodeGetOrCreateByConstraintOptions, a9 as NodeGetOrCreateByConstraintResult, aa as NodeIdentifier, ab as NodeRef, ac as OntologyIntrospection, ad as OperationHookContext, ae as PaginateOptions, af as PaginatedResult, ag as PathNode, ah as Predicate, ai as PreparedQuery, aj as PropsAccessor, ak as QueryHookContext, al as QueryOptions, am as ReachableNode, an as ReachableOptions, ao as RebuildFulltextOptions, ap as RebuildFulltextResult, aq as ReclaimedVectorFieldEntry, ar as RecursiveTraversalOptions, as as ReembedFunction, at as ReembedVectorFieldOptions, au as ReembedVectorFieldResult, av as SchemaIntrospection, aw as SearchableMetadata, ax as SearchableOptions, ay as SearchableSchema, az as SelectContext, aA as SelectableEdge, aB as SelectableNode, aC as ShortestPathOptions, aD as ShortestPathResult, S as Store, aE as StoreHooks, aF as StoreOptions, aG as StoreProjection, aH as StoreRef, aI as StoreSearch, aJ as StreamOptions, aK as SubgraphEdgeResult, aL as SubgraphNodeResult, aM as SubgraphOptions, aN as SubgraphResult, aO as SubsetEdge, aP as SubsetNode, aQ as TemporalAlgorithmOptions, aR as TransactionContext, aS as TraversalDirection, aT as TypedEdgeCollection, aU as UnionableQuery, aV as UniqueIntrospection, aW as UpdateEdgeInput, aX as UpdateNodeInput, aY as VectorSearchHit, aZ as VectorSearchOptions, a_ as createStore, a$ as createStoreWithSchema, b0 as createVerifiedStore, b1 as defineSubgraphProject, b2 as embedding, b3 as exists, b4 as fieldRef, b5 as getEmbeddingDimensions, b6 as getSearchableMetadata, b7 as inSubquery, b8 as isEmbeddingSchema, b9 as isParameterRef, ba as isSearchableSchema, bb as notExists, bc as notInSubquery, bd as param, be as searchable } from './store-De0Y33wP.js';
+import { G as GraphDef, K as KindRegistry } from './manager-BUugwCYz.js';
+export { A as AllEdgeTypes, t as AllNodeTypes, u as EdgeKinds, v as GetEdgeType, w as GetNodeType, x as NodeKinds, c as SchemaManagerOptions, d as SchemaValidationResult, y as defineGraph, z as getEdgeKinds, B as getNodeKinds, F as isGraphDef } from './manager-BUugwCYz.js';
+export { B as BackendDisposedError, C as CardinalityError, b as CompilerInvariantError, c as ConfigurationError, D as DatabaseOperationError, d as DisjointError, E as EagerMaterializationError, e as EdgeNotFoundError, f as EmbeddingDimensionChangedError, g as EndpointError, h as EndpointNotFoundError, i as ErrorCategory, K as KindNotFoundError, M as MigrationError, N as NodeConstraintNotFoundError, j as NodeNotFoundError, R as RestrictedDeleteError, S as SchemaContentConflictError, k as SchemaMismatchError, l as StaleVersionError, m as StoreNotInitializedError, n as StoreNotInitializedReason, T as TypeGraphError, o as TypeGraphErrorOptions, U as UniquenessError, p as UnsupportedPredicateError, a as ValidationError, q as ValidationErrorDetails, V as ValidationIssue, r as VersionConflictError, s as getErrorSuggestion, t as isConstraintError, u as isSystemError, v as isTypeGraphError, w as isUserRecoverable } from './index-CapHwi1a.js';
+export { a as MaterializeIndexesEntry, b as MaterializeIndexesOptions, M as MaterializeIndexesResult } from './materialize-indexes-lkawaDor.js';
+export { a as andWhere, d as defineEdgeIndex, b as defineNodeIndex, n as notWhere, o as orWhere } from './where-CP4qGIHd.js';
 export { GraphExtensionError, GraphExtensionIssue, GraphExtensionIssueCode, GraphExtensionUnresolvedEndpointError, GraphExtensionValidationError, GraphExtensionVersionUnsupportedError, IncompatibleChange, IncompatibleChangeError, KindCollisionError, KindHasReferentsError, KindReferent, RemoveCompileTimeKindError, defineGraphExtension, validateGraphExtension } from './graph-extension/index.js';
 import 'drizzle-orm';
 import 'drizzle-orm/pg-core';
@@ -232,6 +232,111 @@ declare function getExternalRefTable(schema: z.ZodType): string | undefined;
  */
 declare function createExternalRef<T extends string>(table: T): (id: string) => ExternalRefValue<T>;
 
+declare const libsqlVectorStrategy: VectorStrategy;
+
+declare const pgvectorStrategy: VectorStrategy;
+
+declare const sqliteVecStrategy: VectorStrategy;
+
+/**
+ * The resolved storage config for one `(nodeKind, fieldPath)` slot that the
+ * legacy table did not record. The legacy shared table stored only the
+ * vector and its dimension count — not the metric or index type — so a
+ * caller that wants migrated fields to match a specific graph's `embedding()`
+ * declarations supplies this resolver.
+ */
+type LegacyEmbeddingSlotConfig = Readonly<{
+    metric: EmbeddingMetric;
+    indexType: EmbeddingIndexType;
+}>;
+/**
+ * Options for {@link migrateLegacyEmbeddings}.
+ */
+type MigrateLegacyEmbeddingsOptions = Readonly<{
+    /**
+     * The backend to migrate, wired with the destination `VectorStrategy`
+     * (i.e. the post-cutover backend). Its `vectorStrategy` owns the per-field
+     * storage rows are written into and its `upsertEmbedding` performs the
+     * writes.
+     */
+    backend: GraphBackend;
+    /**
+     * Restrict the migration to a single graph. When omitted, every graph's
+     * rows in the legacy table are migrated (the table is graph-scoped by its
+     * `graph_id` column).
+     */
+    graphId?: string;
+    /**
+     * Resolves the metric / index type for a `(nodeKind, fieldPath)` slot the
+     * legacy table didn't persist. Return `undefined` to fall back to the
+     * cosine / hnsw defaults. Supply this (typically reading the graph's
+     * `embedding()` declarations) when migrated fields must match a specific
+     * metric — e.g. an `l2` field, which scores incorrectly under the cosine
+     * default.
+     */
+    resolveSlotConfig?: (nodeKind: string, fieldPath: string) => LegacyEmbeddingSlotConfig | undefined;
+    /** Rows read per round-trip. Defaults to {@link DEFAULT_BATCH_SIZE}. */
+    batchSize?: number;
+    /**
+     * Physical name of the legacy table to drain. Defaults to
+     * {@link LEGACY_EMBEDDINGS_TABLE_NAME}. Override only for a non-default
+     * deployment that renamed the embeddings table.
+     */
+    legacyTableName?: string;
+}>;
+/**
+ * Summary of a {@link migrateLegacyEmbeddings} run.
+ */
+type MigrateLegacyEmbeddingsResult = Readonly<{
+    /** Total embedding rows re-inserted into per-field storage. */
+    migrated: number;
+    /**
+     * Per-`(nodeKind, fieldPath)` counts, keyed `"<nodeKind>.<fieldPath>"`
+     * (the strategy's logical-slot key form). Empty when the legacy table was
+     * absent or held no rows for the requested scope.
+     */
+    perField: Readonly<Record<string, number>>;
+    /**
+     * Rows skipped because their vector length didn't match the per-field
+     * table's fixed dimension. The legacy shared column allowed mixed
+     * dimensions for one `(nodeKind, fieldPath)` (e.g. an unmigrated model
+     * change); the first migrated row fixes the typed table's dimension and
+     * any differently-sized rows for that slot are skipped rather than aborting
+     * the whole migration. Keyed `"<nodeKind>.<fieldPath>"`. Non-empty here
+     * means those fields need a deliberate re-embed at a single dimension.
+     */
+    skippedDimensionMismatch: Readonly<Record<string, number>>;
+    /**
+     * Rows skipped because their legacy embedding could not be decoded into a
+     * finite-number array — a corrupt value (e.g. a pgvector `vector` column
+     * permits `NaN`/`Infinity`, which is not valid JSON). Keyed
+     * `"<nodeKind>.<fieldPath>"`. Skipping + reporting keeps one bad row from
+     * aborting the whole migration; non-empty here means those rows need manual
+     * repair.
+     */
+    skippedDecodeError: Readonly<Record<string, number>>;
+    /**
+     * Whether the legacy table existed. `false` means the run was a clean
+     * no-op (fresh install, or already-dropped table on a re-run).
+     */
+    legacyTablePresent: boolean;
+}>;
+/**
+ * Re-inserts every embedding from the legacy shared
+ * `typegraph_node_embeddings` table into the active
+ * `backend.vectorStrategy`'s per-`(nodeKind, fieldPath)` storage.
+ *
+ * One-time, explicitly-run upgrade step for the shared-table → per-field
+ * cutover (#157). Idempotent, batched, and a clean no-op when the legacy
+ * table is absent. See the module doc comment for the full contract.
+ *
+ * @throws Error when the backend exposes no `vectorStrategy` /
+ *         `upsertEmbedding` (nothing to migrate *into*) — a configuration
+ *         error the caller must fix by wiring the destination strategy
+ *         before migrating.
+ */
+declare function migrateLegacyEmbeddings(options: MigrateLegacyEmbeddingsOptions): Promise<MigrateLegacyEmbeddingsResult>;
+
 /**
  * Creates a subClassOf ontology relation.
  */
@@ -446,6 +551,31 @@ declare const core: {
     readonly implies: typeof implies;
 };
 
+/**
+ * Transitive closure computation for ontology relationships.
+ *
+ * Uses Warshall's algorithm for efficient closure computation.
+ */
+/**
+ * Computes the transitive closure of a set of directed relations.
+ *
+ * Given relations like [A→B, B→C], computes all transitive paths [A→B, A→C, B→C].
+ *
+ * @param relations - Array of [from, to] pairs representing direct relationships
+ * @returns Map from each 'from' to the set of all reachable 'to' values
+ */
+declare function computeTransitiveClosure(relations: readonly (readonly [string, string])[]): ReadonlyMap<string, ReadonlySet<string>>;
+/**
+ * Computes the inverse of a transitive closure map.
+ *
+ * Given A→{B, C}, returns B→{A}, C→{A}.
+ */
+declare function invertClosure(closure: ReadonlyMap<string, ReadonlySet<string>>): ReadonlyMap<string, ReadonlySet<string>>;
+/**
+ * Checks if there's a path from source to target in the closure.
+ */
+declare function isReachable(closure: ReadonlyMap<string, ReadonlySet<string>>, source: string, target: string): boolean;
+
 /**
  * Recursive CTE Compilation
  *
@@ -787,4 +917,4 @@ type IdConfig = Readonly<{
     edgeIdGenerator: IdGenerator;
 }>;
 
-export { AliasMap, type DefineEdgeOptions, type DefineNodeOptions, EdgeType, type ExternalRefSchema, type ExternalRefValue, FieldRef, type FlexibleQueryFragment, GraphDef, type IdConfig, type IdGenerator, InferenceType, KindAnnotations, MAX_EXPLICIT_RECURSIVE_DEPTH, MAX_RECURSIVE_DEPTH, MetaEdge, type MetaEdgeOptions, NodeType, OntologyRelation, QueryBuilder, type QueryFragment, type TraversalFragment, avg, broader, composeFragments, core, count, countDistinct, countDistinctEdges, countEdges, createExternalRef, createFragment, createQueryBuilder, defineEdge, defineNode, differentFrom, disjointWith, equivalentTo, externalRef, field, generateId, getExternalRefTable, hasPart, having, havingEq, havingGt, havingGte, havingLt, havingLte, implies, inverseOf, isExternalRefSchema, limitFragment, max, metaEdge, min, narrower, offsetFragment, orderByFragment, partOf, relatedTo, sameAs, subClassOf, sum };
+export { AliasMap, type DefineEdgeOptions, type DefineNodeOptions, EdgeType, type ExternalRefSchema, type ExternalRefValue, FieldRef, type FlexibleQueryFragment, GraphBackend, GraphDef, type IdConfig, type IdGenerator, InferenceType, KindAnnotations, type LegacyEmbeddingSlotConfig, MAX_EXPLICIT_RECURSIVE_DEPTH, MAX_RECURSIVE_DEPTH, MetaEdge, type MetaEdgeOptions, type MigrateLegacyEmbeddingsOptions, type MigrateLegacyEmbeddingsResult, NodeType, OntologyRelation, QueryBuilder, type QueryFragment, type TraversalFragment, VectorStrategy, avg, broader, composeFragments, computeTransitiveClosure, core, count, countDistinct, countDistinctEdges, countEdges, createExternalRef, createFragment, createQueryBuilder, defineEdge, defineNode, differentFrom, disjointWith, equivalentTo, externalRef, field, generateId, getExternalRefTable, hasPart, having, havingEq, havingGt, havingGte, havingLt, havingLte, implies, inverseOf, invertClosure, isExternalRefSchema, isReachable, libsqlVectorStrategy, limitFragment, max, metaEdge, migrateLegacyEmbeddings, min, narrower, offsetFragment, orderByFragment, partOf, pgvectorStrategy, relatedTo, sameAs, sqliteVecStrategy, subClassOf, sum };