@nicia-ai/typegraph 0.48.0 → 0.50.0

package/dist/{store-JUVvtmR4.d.cts → store-CTfQ9taw.d.ts}

@@ -1,9 +1,9 @@
 import { z } from 'zod';
-import { cy as ValueType, ef as PredicateExpression, aH as FulltextQueryMode, eg as VectorMetricType, d9 as QueryAst, bf as JsonPointer, dl as FieldRef, dU as ParameterRef, dg as NodeType, dh as AnyEdgeType, dr as EdgeType, dZ as TraversalExpansion, aM as GraphBackend, c2 as SqlDialect, di as SqlSchema, eh as Traversal, ei as NodePredicate, ej as ProjectedField, dT as OrderSpec, ek as AggregateOrderSpec, ce as TemporalMode, el as GroupBySpec, dF as HybridFusionOptions, dH as JsonPointerInput, em as RecursiveCyclePolicy, d8 as GraphDef, dp as TraversalDirection$1, dz as EdgeRegistration, dP as NodeId, cg as TransactionBackend, dk as AggregateExpr, dY as SortDirection, q as CompiledSelectSql, aK as FulltextStrategy, cL as VectorStrategy, en as VectorSlotMap, eo as RecordedReadBinding, ep as SelectiveField, eq as ComposableQuery, er as SetOperationType, es as SetOperation, aR as GraphIdentityConfig, dQ as NodeKinds, bs as NodeRow, bj as KindEntity, dB as ExternalRecordedReadSource, dw as EdgeId, a9 as EdgeRow, et as BackendValidityEndMutation, dS as NodeRegistration, dx as EdgeKinds, ci as TransactionReadBackend, dt as AllNodeTypes, bi as KindAnnotations, bg as JsonSchema, cn as UniquenessScope, l as Collation, C as Cardinality, aa as EndpointExistence, aP as GraphExtension, cF as VectorMetric, d as BackendCapabilities, u as ContributionDiagnostic, K as ContributionRepairResult, E as ContributionProbeResult, H as ContributionRebuildScope, G as ContributionRebuildResult, ch as TransactionOptions, b as AdapterBackend } from './types-BqFZTQmV.cjs';
-import { R as RecordedInstant, d as ReadCoordinate } from './temporal-5GqpYCk2.cjs';
-import { S as SearchableMetadata, c as EmbeddingValue } from './searchable-DHJMh_nj.cjs';
-import { K as KindRegistry, S as SchemaManagerOptions, b as SchemaValidationResult } from './manager-CYaff3n3.cjs';
-import { S as SchemaDiff, j as MaterializeIndexesOptions, M as MaterializeIndexesResult, k as MaterializeSystemIndexesOptions } from './materialize-indexes-DTtAnvfY.cjs';
+import { cK as ValueType, er as PredicateExpression, aQ as FulltextQueryMode, es as VectorMetricType, dl as QueryAst, bp as JsonPointer, dy as FieldRef, e4 as ParameterRef, dt as NodeType, du as AnyEdgeType, dD as EdgeType, e9 as TraversalExpansion, aV as GraphBackend, ce as SqlDialect, dv as SqlSchema, et as Traversal, eu as NodePredicate, ev as ProjectedField, e3 as OrderSpec, ew as AggregateOrderSpec, cq as TemporalMode, ex as GroupBySpec, dR as HybridFusionOptions, dT as JsonPointerInput, ey as RecursiveCyclePolicy, dk as GraphDef, dB as TraversalDirection$1, dL as EdgeRegistration, d$ as NodeId, cs as TransactionBackend, dx as AggregateExpr, e8 as SortDirection, r as CompiledSelectSql, aT as FulltextStrategy, cX as VectorStrategy, ez as VectorSlotMap, eA as RecordedReadBinding, eB as SelectiveField, eC as ComposableQuery, eD as SetOperationType, eE as SetOperation, a_ as GraphIdentityConfig, e0 as NodeKinds, bC as NodeRow, bt as KindEntity, dN as ExternalRecordedReadSource, dI as EdgeId, ai as EdgeRow, eF as BackendValidityEndMutation, e2 as NodeRegistration, dJ as EdgeKinds, cu as TransactionReadBackend, dF as AllNodeTypes, bs as KindAnnotations, bq as JsonSchema, cz as UniquenessScope, m as Collation, C as Cardinality, aj as EndpointExistence, aY as GraphExtension, e as BackendIdentity, aW as GraphEntityReadBackend, c0 as SchemaReadBackend, bJ as QueryExecutionBackend, cd as SqlCompilationBackend, bK as RawQueryExecutionBackend, cR as VectorMetric, d as BackendCapabilities, y as ContributionDiagnostic, O as ContributionRepairResult, J as ContributionProbeResult, M as ContributionRebuildScope, L as ContributionRebuildResult, ct as TransactionOptions, b as AdapterBackend } from './types-CWg4dTjj.js';
+import { R as RecordedInstant, d as ReadCoordinate } from './temporal-CBOrERz5.js';
+import { S as SearchableMetadata, c as EmbeddingValue } from './searchable-z4BiFfHI.js';
+import { K as KindRegistry, S as SchemaManagerOptions, b as SchemaValidationResult } from './manager-Cfg1ENj1.js';
+import { S as SchemaDiff, j as MaterializeIndexesOptions, M as MaterializeIndexesResult, k as MaterializeSystemIndexesOptions } from './materialize-indexes-C9GG3O3C.js';
 
 type FieldTypeInfo = Readonly<{
     valueType: ValueType;
@@ -3361,6 +3361,14 @@ type IdentityFacade<G extends GraphDef> = IdentityReadFacade<G> & Readonly<{
     retractDifferentAssertion: (a: IdentityNodeRefInput<G>, b: IdentityNodeRefInput<G>) => Promise<IdentityAssertion<G> | undefined>;
     bulkRetractAssertions: (ids: readonly IdentityAssertionId[]) => Promise<readonly IdentityAssertion<G>[]>;
 }>;
+/**
+ * The assertion-only write surface of the TypeGraph Identity Profile.
+ *
+ * This deliberately excludes reads and retractions so constrained staging
+ * handles can accept incoming identity claims without exposing the broader
+ * operational identity surface.
+ */
+type IdentityAssertionWriteFacade<G extends GraphDef> = Pick<IdentityFacade<G>, "assertSame" | "assertDifferent" | "bulkAssertSame" | "bulkAssertDifferent">;
 /**
  * Per-transaction identity write counts carried by a transaction receipt.
  * `total` is the sum of the three preceding counters.
@@ -3810,6 +3818,88 @@ type InternalGraphAlgorithms<G extends GraphDef> = Readonly<{
     personalizedPageRank: (options: InternalPersonalizedPageRankOptions<G>) => Promise<readonly PageRankScore[]>;
 }>;
 
+/**
+ * Claim axis vocabulary.
+ *
+ * A declared constraint is a CLAIM on an AXIS: the value bound to a claim row's
+ * `node_kind` column, which is what the relation's primary key fences on. The
+ * axis is not always a kind — it is whatever set of kinds the constraint spans —
+ * and deciding it is this module's only job, so no write path spells its own.
+ *
+ * The other half of a claim row is its OWNER, `(concrete_kind, node_id)`. Ids
+ * are unique only per kind, so an id alone cannot answer "is this row mine?":
+ * `Employee "X"` and `Contractor "X"` are two rows under the nodes primary key
+ * and would read as one owner. The predicate lives here once, in the two
+ * renderings the code needs (TypeScript and SQL), so a claim's accept/refuse
+ * verdict cannot differ between the layer that probes it and the layer that
+ * writes it.
+ */
+
+/** The relation a claim row lives in. */
+type ClaimRelation = "uniques" | "edgeClaims";
+/** A claim row named in full — the row a statement is about to lock. */
+type ClaimTarget = Readonly<{
+    relation: ClaimRelation;
+    graphId: string;
+    axis: string;
+    /**
+     * `uniques.constraint_name`. The edge claim relation keys on
+     * `(graph_id, axis, key)` and has no such column, so its targets omit it and
+     * sort as the empty string. Absent means "this relation does not key on a
+     * constraint name", never "not known yet".
+     */
+    constraintName?: string;
+    key: string;
+}>;
+/**
+ * WHO holds a claim. A node, not an id: ids are unique only per kind, so
+ * `(concrete_kind, node_id)` is the smallest thing that identifies a claimant.
+ */
+type ClaimOwner = Readonly<{
+    concreteKind: string;
+    nodeId: string;
+}>;
+
+/**
+ * The read-only fence diagnostic: which claim axes are ALREADY contended.
+ *
+ * A claim relation refuses a second claimant from the first post-upgrade write
+ * onward, but it repairs nothing that is already there. A database that carried
+ * two live siblings sharing a scoped key, or two live `cardinality: "one"` edges
+ * from one source, keeps carrying them — the next write that touches such an
+ * axis is refused with the ordinary typed error naming the incumbent, and until
+ * then nothing says so out loud. This module is what says so.
+ *
+ * It reports; it never repairs. Choosing which of two live claimants keeps the
+ * axis is a data-loss decision that belongs to the operator, not to a
+ * diagnostic.
+ *
+ * Every axis and key it names is built by the SAME function the fence writes
+ * with — {@link uniquenessClaimTarget}, {@link disjointnessClaimAxis},
+ * {@link edgeCardinalityClaimTarget} — so a report row names the row a writer
+ * would actually contend for. A second spelling here would produce a report
+ * about axes the fence does not use.
+ */
+
+/**
+ * One claim axis more than one live claimant holds.
+ *
+ * Discriminated on the family because the two claim relations record their
+ * holders differently: a `uniques` axis is held by an OWNER PAIR (ids are
+ * unique only per kind), an edge-claim axis by an edge id. `target` is the
+ * claim row itself, so a reader can go straight to the row a writer contends
+ * for rather than reconstructing it from the family's own vocabulary.
+ */
+type ConstraintFenceViolation = Readonly<{
+    family: "nodeUniqueness" | "nodeDisjointness";
+    target: ClaimTarget;
+    owners: readonly ClaimOwner[];
+}> | Readonly<{
+    family: "edgeCardinality";
+    target: ClaimTarget;
+    edgeIds: readonly string[];
+}>;
+
 /**
  * Members that are safe to expose through a history-enabled adapter Store.
  *
@@ -3818,9 +3908,9 @@ type InternalGraphAlgorithms<G extends GraphDef> = Readonly<{
  * transactions stay internal because each can mutate live rows without a
  * corresponding capture flush.
  */
-declare const HISTORY_STORE_BACKEND_KEYS: readonly ["assertRuntimeContributionsInitialized", "assertVectorSlotInitialized", "assertVectorSlotsInitialized", "bootstrapTables", "capabilities", "checkUnique", "checkUniqueBatch", "claimIndexMaterialization", "close", "commitSchemaVersion", "commitSchemaVersionIfKindsEmpty", "lockSchemaVersionForWrite", "compileSql", "countEdgesByKind", "countEdgesFrom", "countNodesByKind", "createVectorIndex", "deleteEdge", "deleteEdgesBatch", "deleteEmbedding", "deleteEmbeddingBatch", "deleteFulltext", "deleteFulltextBatch", "deleteNode", "deleteUnique", "hardDeleteUniquesByNodeIds", "deleteVectorSlotContribution", "dialect", "dropVectorIndex", "edgeExistsBetween", "ensureContributionMaterializationsTable", "ensureFulltextTable", "ensureIndexMaterializationsTable", "ensureKindRemovalsTable", "ensureReconciliationMarkersTable", "ensureRevisionOriginsTable", "ensureRuntimeContributions", "ensureVectorSlotContribution", "ensureVectorSlotContributions", "execute", "executeTemporaryStatement", "findEdgesByKind", "findEdgesByEndpointSet", "findEdgesByHeterogeneousEndpointSet", "findEdgesConnectedTo", "findNodesByKind", "fulltextSearch", "fulltextStrategy", "getActiveSchema", "getAllKindRemovals", "getContributionMaterialization", "getEdge", "getEdges", "getIndexMaterialization", "getIndexMaterializations", "getNode", "getNodes", "getPendingKindRemovals", "getReconciliationMarker", "getSchemaVersion", "hardDeleteEdge", "hardDeleteEdgesBatch", "hardDeleteNode", "hardDeleteUniquesByNodeIds", "hybridSearch", "insertEdge", "insertEdgeNoReturn", "insertEdgesBatch", "insertEdgesBatchReturning", "insertNode", "insertNodeNoReturn", "insertNodesBatch", "insertNodesBatchReturning", "insertUnique", "insertUniqueBatch", "probeContributions", "recordContributionMaterialization", "recordIndexMaterialization", "recordKindRemoval", "refreshStatistics", "releaseIndexMaterializationClaim", "setActiveVersion", "setReconciliationMarker", "tableNames", "updateEdge", "updateNode", "updateNodeSet", "upsertEmbedding", "upsertEmbeddingBatch", "upsertFulltext", "upsertFulltextBatch", "vectorSearch", "vectorStrategy", "verifyContributions"];
+declare const HISTORY_STORE_BACKEND_KEYS: readonly ["assertRuntimeContributionsInitialized", "assertVectorSlotInitialized", "assertVectorSlotsInitialized", "bootstrapTables", "capabilities", "checkUnique", "checkUniqueBatch", "claimEdgeCardinality", "claimEdgeCardinalityBatch", "claimIndexMaterialization", "close", "commitSchemaVersion", "commitSchemaVersionIfKindsEmpty", "lockSchemaVersionForWrite", "compileSql", "countEdgesByKind", "countEdgesFrom", "countNodesByKind", "createVectorIndex", "deleteEdge", "deleteEdgesBatch", "deleteEmbedding", "deleteEmbeddingBatch", "deleteFulltext", "deleteFulltextBatch", "deleteNode", "deleteUnique", "hardDeleteUniquesByNodeIds", "deleteVectorSlotContribution", "dialect", "dropVectorIndex", "edgeExistsBetween", "ensureContributionMaterializationsTable", "ensureExtension", "ensureFulltextTable", "ensureIndexMaterializationsTable", "ensureKindRemovalsTable", "ensureReconciliationMarkersTable", "ensureRevisionOriginsTable", "ensureRuntimeContributions", "ensureTrigramExtension", "ensureVectorSlotContribution", "ensureVectorSlotContributions", "execute", "executeTemporaryStatement", "findEdgesByKind", "findEdgesByEndpointSet", "findEdgesByHeterogeneousEndpointSet", "findEdgesConnectedTo", "findNodesByKind", "fulltextSearch", "fulltextStrategy", "getActiveSchema", "getAllKindRemovals", "getContributionMaterialization", "getEdge", "getEdges", "getIndexMaterialization", "getIndexMaterializations", "getNode", "getNodes", "getPendingKindRemovals", "getReconciliationMarker", "getSchemaVersion", "hardDeleteEdge", "hardDeleteEdgesBatch", "hardDeleteNode", "hardDeleteUniquesByConcreteKind", "hardDeleteUniquesByNodeIds", "hybridSearch", "insertEdge", "insertEdgeNoReturn", "insertEdgesBatch", "insertEdgesBatchReturning", "insertNode", "insertNodeNoReturn", "insertNodesBatch", "insertNodesBatchReturning", "insertUnique", "insertUniqueBatch", "probeContributions", "purgeEdgeClaims", "readConstraintFenceViolations", "recordContributionMaterialization", "recordIndexMaterialization", "recordKindRemoval", "refreshStatistics", "releaseIndexMaterializationClaim", "setActiveVersion", "setReconciliationMarker", "tableNames", "updateEdge", "updateNode", "updateNodeSet", "upsertEmbedding", "upsertEmbeddingBatch", "upsertFulltext", "upsertFulltextBatch", "vectorSearch", "vectorStrategy", "verifyContributions"];
 type HistoryStoreBackendMember = (typeof HISTORY_STORE_BACKEND_KEYS)[number];
-type UnsafeHistoryStoreBackendMember = "clearGraph" | "commitSchemaVersionWithPreflight" | "executeDdl" | "executeRaw" | "executeStatement" | "ensureIdentityTables" | "ensureTrigramExtension" | "identityTableDdl" | "rebuildContribution" | "repairContributions" | "schemaWriteTransaction" | "transaction" | "trustedImport";
+type UnsafeHistoryStoreBackendMember = "clearGraph" | "commitSchemaVersionWithPreflight" | "executeDdl" | "executeRaw" | "executeStatement" | "ensureIdentityTables" | "identityTableDdl" | "rebuildContribution" | "repairContributions" | "schemaWriteTransaction" | "transaction" | "trustedImport";
 type UnclassifiedHistoryStoreBackendMember = Exclude<keyof GraphBackend, HistoryStoreBackendMember | UnsafeHistoryStoreBackendMember>;
 type HistoryStoreBackend = UnclassifiedHistoryStoreBackendMember extends never ? Readonly<Pick<GraphBackend, HistoryStoreBackendMember>> : never;
 
@@ -4185,8 +4275,14 @@ type StoreRuntime<G extends GraphDef> = Readonly<{
     validateIdentity: () => Promise<void>;
     /**
      * Validates one final resolved node write set, then clears the affected
-     * uniqueness sidecars so its upserts may claim their approved keys in any
-     * order. The caller must supply a transaction-bound backend.
+     * nodes' claim rows so its upserts may take their approved keys in any order,
+     * and re-takes the complete claim set once the writes have landed. The caller
+     * must supply a transaction-bound backend.
+     *
+     * The clear is by OWNER, so it takes every claim the affected nodes hold —
+     * uniqueness and `disjointWith` alike — and the rebuild therefore goes through
+     * the same claim writer an ordinary create uses rather than a uniqueness-only
+     * insert. See `store/claims/resolved-node-claims.ts`.
      */
     applyResolvedNodeUniqueness: <Output>(target: TransactionBackend, writes: Readonly<{
         upserts: readonly Readonly<{
@@ -4318,12 +4414,12 @@ type StoreRuntime<G extends GraphDef> = Readonly<{
         nextAfter?: string;
         done: boolean;
     }>>;
-    lockIdentityImportTarget: (target: GraphBackend | TransactionBackend) => Promise<void>;
-    foldImportedIdentityNodes: (target: GraphBackend | TransactionBackend, references: readonly Readonly<{
+    lockIdentityImportTarget: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>) => Promise<void>;
+    foldImportedIdentityNodes: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>, references: readonly Readonly<{
         kind: string;
         id: string;
     }>[]) => Promise<void>;
-    importIdentityAssertionsAtTarget: (target: GraphBackend | TransactionBackend, assertions: readonly Readonly<{
+    importIdentityAssertionsAtTarget: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>, assertions: readonly Readonly<{
         id: string;
         relation: "same" | "different";
         a: Readonly<{
@@ -5062,6 +5158,7 @@ type StoreCore<G extends GraphDef> = Readonly<{
     materializeSystemIndexes: (options?: MaterializeSystemIndexesOptions) => Promise<MaterializeIndexesResult>;
     reembedVectorField: (kind: string, fieldPath: string, options?: ReembedVectorFieldOptions) => Promise<ReembedVectorFieldResult>;
     verifyContributions: () => Promise<readonly ContributionDiagnostic[]>;
+    verifyConstraintFences: () => Promise<readonly ConstraintFenceViolation[]>;
     repairContributions: () => Promise<ContributionRepairResult>;
     probeContributions: () => Promise<ContributionProbeResult>;
     rebuildContribution: (scope: ContributionRebuildScope, options?: RebuildContributionOptions) => Promise<ContributionRebuildResult>;
@@ -5363,4 +5460,4 @@ declare function createVerifiedAdapterStore<G extends GraphDef, TNativeTransacti
     SchemaValidationResult
 ]>;
 
-export { type DynamicNodeKind as $, type AliasMap as A, type BaseStoreOptions as B, type BatchableQuery as C, type BulkEdgeSourceGroup as D, type EdgeAliasMap as E, type BulkFindEdgesFromParams as F, type BulkFindEdgesFromResult as G, type HistoryStoreOptions as H, type IdentityAssertion as I, type BulkOperationHookContext as J, type ConstraintNames as K, type LiveStoreOptions as L, type CreateEdgeInput as M, type CreateNodeInput as N, type DegreeOptions as O, type DynamicEdgeAccessor as P, type QueryCoordinateState as Q, type RecordedReadStoreOptions as R, type StoreOptions as S, TraversalBuilder as T, type UnboundLiveStoreOptions as U, type DynamicEdgeCollection as V, type DynamicEdgeType as W, type DynamicFieldBuilder as X, type DynamicNode as Y, type DynamicNodeAccessor as Z, type DynamicNodeCollection as _, type Store as a, type OntologyIntrospection as a$, type DynamicNodeReference as a0, type DynamicNodeType as a1, type DynamicSelectableEdge as a2, type DynamicSelectableNode as a3, type Edge as a4, type EdgeAccessor as a5, type EdgeBatchReads as a6, type EdgeBulkFindEndpointOptions as a7, type EdgeBulkFindOptions as a8, type EdgeCollection as a9, type IdentityTraversalOption as aA, type IdentityValidityWindow as aB, type IfExistsMode as aC, type InitialQueryBuilder as aD, type KindIntrospection as aE, type LabelPropagationMembership as aF, type LabelPropagationOptions as aG, type MaterializeRemovalsEntry as aH, type MaterializeRemovalsOptions as aI, type MaterializeRemovalsResult as aJ, type MeasurableAdapterHistoryTransactionContext as aK, type MeasurableAdapterTransactionContext as aL, type MeasurableTransactionContext as aM, type NeighborsOptions as aN, type NoRecordedCoordinate as aO, type Node as aP, type NodeAccessor as aQ, type NodeAlias as aR, type NodeBulkFindByIndexOptions as aS, type NodeCollection as aT, type NodeCurrentReads as aU, type NodeGetOrCreateByConstraintOptions as aV, type NodeGetOrCreateByConstraintResult as aW, type NodeIdentifier as aX, type NodeRef as aY, type NodeTemporalReads as aZ, type NodeWrites as a_, type EdgeFindByEndpointsOptions as aa, type EdgeGetOrCreateByEndpointsOptions as ab, type EdgeGetOrCreateByEndpointsResult as ac, type EdgeIntrospection as ad, type EdgeTemporalReads as ae, type EdgeWrites as af, type EmptyAliasMap as ag, type EmptyEdgeAliasMap as ah, ExecutableAggregateQuery as ai, ExecutableQuery as aj, type FieldAccessor as ak, type FulltextSearchHit as al, type FulltextSearchOptions as am, type GetOrCreateAction as an, type GraphAlgorithms as ao, type GraphEdgeCollections as ap, type GraphEdgeForKinds as aq, type GraphNodeCollections as ar, type GraphNodeReference as as, type HistoryStoreBackend as at, type HookContext as au, type HybridFulltextOptions as av, type HybridSearchHit as aw, type HybridSearchOptions as ax, type HybridVectorOptions as ay, type IdentityNodeReference as az, type HistoryStore as b, type SubgraphEdgeResult as b$, type OperationHookContext as b0, type PageRankOptions as b1, type PageRankScore as b2, type PaginateOptions as b3, type PaginatedResult as b4, type PathNode as b5, type PersonalizedPageRankOptions as b6, type PersonalizedPageRankSeed as b7, type Predicate as b8, PreparedQuery as b9, type SelectableNode as bA, type ShortestPathOptions as bB, type ShortestPathResult as bC, type SqlAvailability as bD, type StoreHooks as bE, type StoreProjection as bF, type StoreRef as bG, StoreSearch as bH, StoreView as bI, type StoreViewCanReachOptions as bJ, type StoreViewCoordinate as bK, type StoreViewDegreeOptions as bL, type StoreViewEdgeCollection as bM, type StoreViewEdgeCollections as bN, type StoreViewGraphAlgorithms as bO, type StoreViewLabelPropagationOptions as bP, type StoreViewNeighborsOptions as bQ, type StoreViewNodeCollection as bR, type StoreViewNodeCollections as bS, type StoreViewPageRankOptions as bT, type StoreViewPersonalizedPageRankOptions as bU, type StoreViewReachableOptions as bV, type StoreViewShortestPathOptions as bW, type StoreViewSubgraphOptions as bX, type StoreViewWeaklyConnectedComponentsOptions as bY, type StoreViewWeightedShortestPathOptions as bZ, type StreamOptions as b_, type PropsAccessor as ba, type QueryHookContext as bb, type QueryOptions as bc, type ReachableNode as bd, type ReachableOptions as be, type RebuildContributionOptions as bf, type RebuildFulltextOptions as bg, type RebuildFulltextResult as bh, type ReclaimedVectorFieldEntry as bi, type ReconciledSchema as bj, type RecordedScanOptions as bk, type RecordedScanPage as bl, RecordedStoreView as bm, type RecordedStoreViewEdgeCollection as bn, type RecordedStoreViewEdgeCollections as bo, type RecordedStoreViewNodeCollection as bp, type RecordedStoreViewNodeCollections as bq, type RecursiveTraversalOptions as br, type ReembedFunction as bs, type ReembedVectorFieldOptions as bt, type ReembedVectorFieldResult as bu, type SchemaIntrospection as bv, type ScopedMeasure as bw, type SearchScopeOptions as bx, type SelectContext as by, type SelectableEdge as bz, type RecordedReadStore as c, type SubgraphNodeResult as c0, type SubgraphOptions as c1, type SubgraphResult as c2, type SubsetEdge as c3, type SubsetNode as c4, type TemporalAlgorithmOptions as c5, type TransactionContext as c6, type TransactionOutcome as c7, type TransactionReceipt as c8, type TraversalDirection as c9, isParameterRef as cA, notExists as cB, notInSubquery as cC, param as cD, type TypedEdgeCollection as ca, type TypedRecordedStoreViewEdgeCollection as cb, type TypedStoreViewEdgeCollection as cc, UnionableQuery as cd, type UniqueIntrospection as ce, type UpdateEdgeInput as cf, type UpdateNodeInput as cg, type ValidityEndMutation as ch, type VectorSearchHit as ci, type VectorSearchOptions as cj, type WeaklyConnectedComponentMembership as ck, type WeaklyConnectedComponentsOptions as cl, type WeightedShortestPathOptions as cm, type WeightedShortestPathResult as cn, asIdentityAssertionId as co, createAdapterStore as cp, createAdapterStoreWithSchema as cq, createQueryBuilder as cr, createStore as cs, createStoreWithSchema as ct, createVerifiedAdapterStore as cu, createVerifiedStore as cv, defineSubgraphProject as cw, exists as cx, fieldRef as cy, inSubquery as cz, type IdentityAssertionId as d, type IdentityAssertionResult as e, type IdentityFacade as f, type IdentityNode as g, type IdentityNodeRefInput as h, type IdentityPair as i, type IdentityReadFacade as j, type IdentityRelation as k, type IdentityWriteSummary as l, type RecursiveAliasMap as m, QueryBuilder as n, type EmptyRecursiveAliasMap as o, type AdapterHistoryStore as p, type AdapterHistoryTransactionContext as q, type AdapterRecordedReadStore as r, type AdapterStore as s, type AdapterTransactionContext as t, type AggregateResult as u, type AlgorithmCyclePolicy as v, type AnyEdge as w, type AnyNode as x, type BaseTraversalOptions as y, type BatchResults as z };
+export { type DynamicNode as $, type AliasMap as A, type BaseStoreOptions as B, type BatchableQuery as C, type BulkEdgeSourceGroup as D, type EdgeAliasMap as E, type BulkFindEdgesFromParams as F, type BulkFindEdgesFromResult as G, type HistoryStoreOptions as H, type IdentityAssertion as I, type BulkOperationHookContext as J, type ClaimOwner as K, type LiveStoreOptions as L, type ClaimTarget as M, type ConstraintFenceViolation as N, type ConstraintNames as O, type CreateEdgeInput as P, type QueryCoordinateState as Q, type RecordedReadStoreOptions as R, type StoreOptions as S, TraversalBuilder as T, type UnboundLiveStoreOptions as U, type CreateNodeInput as V, type DegreeOptions as W, type DynamicEdgeAccessor as X, type DynamicEdgeCollection as Y, type DynamicEdgeType as Z, type DynamicFieldBuilder as _, type Store as a, type NodeIdentifier as a$, type DynamicNodeAccessor as a0, type DynamicNodeCollection as a1, type DynamicNodeKind as a2, type DynamicNodeReference as a3, type DynamicNodeType as a4, type DynamicSelectableEdge as a5, type DynamicSelectableNode as a6, type Edge as a7, type EdgeAccessor as a8, type EdgeBatchReads as a9, type HybridSearchOptions as aA, type HybridVectorOptions as aB, type IdentityAssertionWriteFacade as aC, type IdentityNodeReference as aD, type IdentityTraversalOption as aE, type IdentityValidityWindow as aF, type IfExistsMode as aG, type InitialQueryBuilder as aH, type KindIntrospection as aI, type LabelPropagationMembership as aJ, type LabelPropagationOptions as aK, type MaterializeRemovalsEntry as aL, type MaterializeRemovalsOptions as aM, type MaterializeRemovalsResult as aN, type MeasurableAdapterHistoryTransactionContext as aO, type MeasurableAdapterTransactionContext as aP, type MeasurableTransactionContext as aQ, type NeighborsOptions as aR, type NoRecordedCoordinate as aS, type Node as aT, type NodeAccessor as aU, type NodeAlias as aV, type NodeBulkFindByIndexOptions as aW, type NodeCollection as aX, type NodeCurrentReads as aY, type NodeGetOrCreateByConstraintOptions as aZ, type NodeGetOrCreateByConstraintResult as a_, type EdgeBulkFindEndpointOptions as aa, type EdgeBulkFindOptions as ab, type EdgeCollection as ac, type EdgeFindByEndpointsOptions as ad, type EdgeGetOrCreateByEndpointsOptions as ae, type EdgeGetOrCreateByEndpointsResult as af, type EdgeIntrospection as ag, type EdgeTemporalReads as ah, type EdgeWrites as ai, type EmptyAliasMap as aj, type EmptyEdgeAliasMap as ak, ExecutableAggregateQuery as al, ExecutableQuery as am, type FieldAccessor as an, type FulltextSearchHit as ao, type FulltextSearchOptions as ap, type GetOrCreateAction as aq, type GraphAlgorithms as ar, type GraphEdgeCollections as as, type GraphEdgeForKinds as at, type GraphNodeCollections as au, type GraphNodeReference as av, type HistoryStoreBackend as aw, type HookContext as ax, type HybridFulltextOptions as ay, type HybridSearchHit as az, type HistoryStore as b, type StoreViewSubgraphOptions as b$, type NodeRef as b0, type NodeTemporalReads as b1, type NodeWrites as b2, type OntologyIntrospection as b3, type OperationHookContext as b4, type PageRankOptions as b5, type PageRankScore as b6, type PaginateOptions as b7, type PaginatedResult as b8, type PathNode as b9, type ScopedMeasure as bA, type SearchScopeOptions as bB, type SelectContext as bC, type SelectableEdge as bD, type SelectableNode as bE, type ShortestPathOptions as bF, type ShortestPathResult as bG, type SqlAvailability as bH, type StoreHooks as bI, type StoreProjection as bJ, type StoreRef as bK, StoreSearch as bL, StoreView as bM, type StoreViewCanReachOptions as bN, type StoreViewCoordinate as bO, type StoreViewDegreeOptions as bP, type StoreViewEdgeCollection as bQ, type StoreViewEdgeCollections as bR, type StoreViewGraphAlgorithms as bS, type StoreViewLabelPropagationOptions as bT, type StoreViewNeighborsOptions as bU, type StoreViewNodeCollection as bV, type StoreViewNodeCollections as bW, type StoreViewPageRankOptions as bX, type StoreViewPersonalizedPageRankOptions as bY, type StoreViewReachableOptions as bZ, type StoreViewShortestPathOptions as b_, type PersonalizedPageRankOptions as ba, type PersonalizedPageRankSeed as bb, type Predicate as bc, PreparedQuery as bd, type PropsAccessor as be, type QueryHookContext as bf, type QueryOptions as bg, type ReachableNode as bh, type ReachableOptions as bi, type RebuildContributionOptions as bj, type RebuildFulltextOptions as bk, type RebuildFulltextResult as bl, type ReclaimedVectorFieldEntry as bm, type ReconciledSchema as bn, type RecordedScanOptions as bo, type RecordedScanPage as bp, RecordedStoreView as bq, type RecordedStoreViewEdgeCollection as br, type RecordedStoreViewEdgeCollections as bs, type RecordedStoreViewNodeCollection as bt, type RecordedStoreViewNodeCollections as bu, type RecursiveTraversalOptions as bv, type ReembedFunction as bw, type ReembedVectorFieldOptions as bx, type ReembedVectorFieldResult as by, type SchemaIntrospection as bz, type RecordedReadStore as c, type StoreViewWeaklyConnectedComponentsOptions as c0, type StoreViewWeightedShortestPathOptions as c1, type StreamOptions as c2, type SubgraphEdgeResult as c3, type SubgraphNodeResult as c4, type SubgraphOptions as c5, type SubgraphResult as c6, type SubsetEdge as c7, type SubsetNode as c8, type TemporalAlgorithmOptions as c9, defineSubgraphProject as cA, exists as cB, fieldRef as cC, inSubquery as cD, isParameterRef as cE, notExists as cF, notInSubquery as cG, param as cH, type TransactionContext as ca, type TransactionOutcome as cb, type TransactionReceipt as cc, type TraversalDirection as cd, type TypedEdgeCollection as ce, type TypedRecordedStoreViewEdgeCollection as cf, type TypedStoreViewEdgeCollection as cg, UnionableQuery as ch, type UniqueIntrospection as ci, type UpdateEdgeInput as cj, type UpdateNodeInput as ck, type ValidityEndMutation as cl, type VectorSearchHit as cm, type VectorSearchOptions as cn, type WeaklyConnectedComponentMembership as co, type WeaklyConnectedComponentsOptions as cp, type WeightedShortestPathOptions as cq, type WeightedShortestPathResult as cr, asIdentityAssertionId as cs, createAdapterStore as ct, createAdapterStoreWithSchema as cu, createQueryBuilder as cv, createStore as cw, createStoreWithSchema as cx, createVerifiedAdapterStore as cy, createVerifiedStore as cz, type IdentityAssertionId as d, type IdentityAssertionResult as e, type IdentityFacade as f, type IdentityNode as g, type IdentityNodeRefInput as h, type IdentityPair as i, type IdentityReadFacade as j, type IdentityRelation as k, type IdentityWriteSummary as l, type RecursiveAliasMap as m, QueryBuilder as n, type EmptyRecursiveAliasMap as o, type AdapterHistoryStore as p, type AdapterHistoryTransactionContext as q, type AdapterRecordedReadStore as r, type AdapterStore as s, type AdapterTransactionContext as t, type AggregateResult as u, type AlgorithmCyclePolicy as v, type AnyEdge as w, type AnyNode as x, type BaseTraversalOptions as y, type BatchResults as z };

package/dist/{store-UzrGvZOo.d.ts → store-DR9J7JVB.d.cts}

@@ -1,9 +1,9 @@
 import { z } from 'zod';
-import { cy as ValueType, ef as PredicateExpression, aH as FulltextQueryMode, eg as VectorMetricType, d9 as QueryAst, bf as JsonPointer, dl as FieldRef, dU as ParameterRef, dg as NodeType, dh as AnyEdgeType, dr as EdgeType, dZ as TraversalExpansion, aM as GraphBackend, c2 as SqlDialect, di as SqlSchema, eh as Traversal, ei as NodePredicate, ej as ProjectedField, dT as OrderSpec, ek as AggregateOrderSpec, ce as TemporalMode, el as GroupBySpec, dF as HybridFusionOptions, dH as JsonPointerInput, em as RecursiveCyclePolicy, d8 as GraphDef, dp as TraversalDirection$1, dz as EdgeRegistration, dP as NodeId, cg as TransactionBackend, dk as AggregateExpr, dY as SortDirection, q as CompiledSelectSql, aK as FulltextStrategy, cL as VectorStrategy, en as VectorSlotMap, eo as RecordedReadBinding, ep as SelectiveField, eq as ComposableQuery, er as SetOperationType, es as SetOperation, aR as GraphIdentityConfig, dQ as NodeKinds, bs as NodeRow, bj as KindEntity, dB as ExternalRecordedReadSource, dw as EdgeId, a9 as EdgeRow, et as BackendValidityEndMutation, dS as NodeRegistration, dx as EdgeKinds, ci as TransactionReadBackend, dt as AllNodeTypes, bi as KindAnnotations, bg as JsonSchema, cn as UniquenessScope, l as Collation, C as Cardinality, aa as EndpointExistence, aP as GraphExtension, cF as VectorMetric, d as BackendCapabilities, u as ContributionDiagnostic, K as ContributionRepairResult, E as ContributionProbeResult, H as ContributionRebuildScope, G as ContributionRebuildResult, ch as TransactionOptions, b as AdapterBackend } from './types-BqFZTQmV.js';
-import { R as RecordedInstant, d as ReadCoordinate } from './temporal-CbnLzTmM.js';
-import { S as SearchableMetadata, c as EmbeddingValue } from './searchable-bpE1bBfc.js';
-import { K as KindRegistry, S as SchemaManagerOptions, b as SchemaValidationResult } from './manager-D9eRT_ns.js';
-import { S as SchemaDiff, j as MaterializeIndexesOptions, M as MaterializeIndexesResult, k as MaterializeSystemIndexesOptions } from './materialize-indexes-DJ3ykH59.js';
+import { cK as ValueType, er as PredicateExpression, aQ as FulltextQueryMode, es as VectorMetricType, dl as QueryAst, bp as JsonPointer, dy as FieldRef, e4 as ParameterRef, dt as NodeType, du as AnyEdgeType, dD as EdgeType, e9 as TraversalExpansion, aV as GraphBackend, ce as SqlDialect, dv as SqlSchema, et as Traversal, eu as NodePredicate, ev as ProjectedField, e3 as OrderSpec, ew as AggregateOrderSpec, cq as TemporalMode, ex as GroupBySpec, dR as HybridFusionOptions, dT as JsonPointerInput, ey as RecursiveCyclePolicy, dk as GraphDef, dB as TraversalDirection$1, dL as EdgeRegistration, d$ as NodeId, cs as TransactionBackend, dx as AggregateExpr, e8 as SortDirection, r as CompiledSelectSql, aT as FulltextStrategy, cX as VectorStrategy, ez as VectorSlotMap, eA as RecordedReadBinding, eB as SelectiveField, eC as ComposableQuery, eD as SetOperationType, eE as SetOperation, a_ as GraphIdentityConfig, e0 as NodeKinds, bC as NodeRow, bt as KindEntity, dN as ExternalRecordedReadSource, dI as EdgeId, ai as EdgeRow, eF as BackendValidityEndMutation, e2 as NodeRegistration, dJ as EdgeKinds, cu as TransactionReadBackend, dF as AllNodeTypes, bs as KindAnnotations, bq as JsonSchema, cz as UniquenessScope, m as Collation, C as Cardinality, aj as EndpointExistence, aY as GraphExtension, e as BackendIdentity, aW as GraphEntityReadBackend, c0 as SchemaReadBackend, bJ as QueryExecutionBackend, cd as SqlCompilationBackend, bK as RawQueryExecutionBackend, cR as VectorMetric, d as BackendCapabilities, y as ContributionDiagnostic, O as ContributionRepairResult, J as ContributionProbeResult, M as ContributionRebuildScope, L as ContributionRebuildResult, ct as TransactionOptions, b as AdapterBackend } from './types-CWg4dTjj.cjs';
+import { R as RecordedInstant, d as ReadCoordinate } from './temporal-B4Ky4wzh.cjs';
+import { S as SearchableMetadata, c as EmbeddingValue } from './searchable-C8-RrL3l.cjs';
+import { K as KindRegistry, S as SchemaManagerOptions, b as SchemaValidationResult } from './manager-D348fa6W.cjs';
+import { S as SchemaDiff, j as MaterializeIndexesOptions, M as MaterializeIndexesResult, k as MaterializeSystemIndexesOptions } from './materialize-indexes-CrSiW_lT.cjs';
 
 type FieldTypeInfo = Readonly<{
     valueType: ValueType;
@@ -3361,6 +3361,14 @@ type IdentityFacade<G extends GraphDef> = IdentityReadFacade<G> & Readonly<{
     retractDifferentAssertion: (a: IdentityNodeRefInput<G>, b: IdentityNodeRefInput<G>) => Promise<IdentityAssertion<G> | undefined>;
     bulkRetractAssertions: (ids: readonly IdentityAssertionId[]) => Promise<readonly IdentityAssertion<G>[]>;
 }>;
+/**
+ * The assertion-only write surface of the TypeGraph Identity Profile.
+ *
+ * This deliberately excludes reads and retractions so constrained staging
+ * handles can accept incoming identity claims without exposing the broader
+ * operational identity surface.
+ */
+type IdentityAssertionWriteFacade<G extends GraphDef> = Pick<IdentityFacade<G>, "assertSame" | "assertDifferent" | "bulkAssertSame" | "bulkAssertDifferent">;
 /**
  * Per-transaction identity write counts carried by a transaction receipt.
  * `total` is the sum of the three preceding counters.
@@ -3810,6 +3818,88 @@ type InternalGraphAlgorithms<G extends GraphDef> = Readonly<{
     personalizedPageRank: (options: InternalPersonalizedPageRankOptions<G>) => Promise<readonly PageRankScore[]>;
 }>;
 
+/**
+ * Claim axis vocabulary.
+ *
+ * A declared constraint is a CLAIM on an AXIS: the value bound to a claim row's
+ * `node_kind` column, which is what the relation's primary key fences on. The
+ * axis is not always a kind — it is whatever set of kinds the constraint spans —
+ * and deciding it is this module's only job, so no write path spells its own.
+ *
+ * The other half of a claim row is its OWNER, `(concrete_kind, node_id)`. Ids
+ * are unique only per kind, so an id alone cannot answer "is this row mine?":
+ * `Employee "X"` and `Contractor "X"` are two rows under the nodes primary key
+ * and would read as one owner. The predicate lives here once, in the two
+ * renderings the code needs (TypeScript and SQL), so a claim's accept/refuse
+ * verdict cannot differ between the layer that probes it and the layer that
+ * writes it.
+ */
+
+/** The relation a claim row lives in. */
+type ClaimRelation = "uniques" | "edgeClaims";
+/** A claim row named in full — the row a statement is about to lock. */
+type ClaimTarget = Readonly<{
+    relation: ClaimRelation;
+    graphId: string;
+    axis: string;
+    /**
+     * `uniques.constraint_name`. The edge claim relation keys on
+     * `(graph_id, axis, key)` and has no such column, so its targets omit it and
+     * sort as the empty string. Absent means "this relation does not key on a
+     * constraint name", never "not known yet".
+     */
+    constraintName?: string;
+    key: string;
+}>;
+/**
+ * WHO holds a claim. A node, not an id: ids are unique only per kind, so
+ * `(concrete_kind, node_id)` is the smallest thing that identifies a claimant.
+ */
+type ClaimOwner = Readonly<{
+    concreteKind: string;
+    nodeId: string;
+}>;
+
+/**
+ * The read-only fence diagnostic: which claim axes are ALREADY contended.
+ *
+ * A claim relation refuses a second claimant from the first post-upgrade write
+ * onward, but it repairs nothing that is already there. A database that carried
+ * two live siblings sharing a scoped key, or two live `cardinality: "one"` edges
+ * from one source, keeps carrying them — the next write that touches such an
+ * axis is refused with the ordinary typed error naming the incumbent, and until
+ * then nothing says so out loud. This module is what says so.
+ *
+ * It reports; it never repairs. Choosing which of two live claimants keeps the
+ * axis is a data-loss decision that belongs to the operator, not to a
+ * diagnostic.
+ *
+ * Every axis and key it names is built by the SAME function the fence writes
+ * with — {@link uniquenessClaimTarget}, {@link disjointnessClaimAxis},
+ * {@link edgeCardinalityClaimTarget} — so a report row names the row a writer
+ * would actually contend for. A second spelling here would produce a report
+ * about axes the fence does not use.
+ */
+
+/**
+ * One claim axis more than one live claimant holds.
+ *
+ * Discriminated on the family because the two claim relations record their
+ * holders differently: a `uniques` axis is held by an OWNER PAIR (ids are
+ * unique only per kind), an edge-claim axis by an edge id. `target` is the
+ * claim row itself, so a reader can go straight to the row a writer contends
+ * for rather than reconstructing it from the family's own vocabulary.
+ */
+type ConstraintFenceViolation = Readonly<{
+    family: "nodeUniqueness" | "nodeDisjointness";
+    target: ClaimTarget;
+    owners: readonly ClaimOwner[];
+}> | Readonly<{
+    family: "edgeCardinality";
+    target: ClaimTarget;
+    edgeIds: readonly string[];
+}>;
+
 /**
  * Members that are safe to expose through a history-enabled adapter Store.
  *
@@ -3818,9 +3908,9 @@ type InternalGraphAlgorithms<G extends GraphDef> = Readonly<{
  * transactions stay internal because each can mutate live rows without a
  * corresponding capture flush.
  */
-declare const HISTORY_STORE_BACKEND_KEYS: readonly ["assertRuntimeContributionsInitialized", "assertVectorSlotInitialized", "assertVectorSlotsInitialized", "bootstrapTables", "capabilities", "checkUnique", "checkUniqueBatch", "claimIndexMaterialization", "close", "commitSchemaVersion", "commitSchemaVersionIfKindsEmpty", "lockSchemaVersionForWrite", "compileSql", "countEdgesByKind", "countEdgesFrom", "countNodesByKind", "createVectorIndex", "deleteEdge", "deleteEdgesBatch", "deleteEmbedding", "deleteEmbeddingBatch", "deleteFulltext", "deleteFulltextBatch", "deleteNode", "deleteUnique", "hardDeleteUniquesByNodeIds", "deleteVectorSlotContribution", "dialect", "dropVectorIndex", "edgeExistsBetween", "ensureContributionMaterializationsTable", "ensureFulltextTable", "ensureIndexMaterializationsTable", "ensureKindRemovalsTable", "ensureReconciliationMarkersTable", "ensureRevisionOriginsTable", "ensureRuntimeContributions", "ensureVectorSlotContribution", "ensureVectorSlotContributions", "execute", "executeTemporaryStatement", "findEdgesByKind", "findEdgesByEndpointSet", "findEdgesByHeterogeneousEndpointSet", "findEdgesConnectedTo", "findNodesByKind", "fulltextSearch", "fulltextStrategy", "getActiveSchema", "getAllKindRemovals", "getContributionMaterialization", "getEdge", "getEdges", "getIndexMaterialization", "getIndexMaterializations", "getNode", "getNodes", "getPendingKindRemovals", "getReconciliationMarker", "getSchemaVersion", "hardDeleteEdge", "hardDeleteEdgesBatch", "hardDeleteNode", "hardDeleteUniquesByNodeIds", "hybridSearch", "insertEdge", "insertEdgeNoReturn", "insertEdgesBatch", "insertEdgesBatchReturning", "insertNode", "insertNodeNoReturn", "insertNodesBatch", "insertNodesBatchReturning", "insertUnique", "insertUniqueBatch", "probeContributions", "recordContributionMaterialization", "recordIndexMaterialization", "recordKindRemoval", "refreshStatistics", "releaseIndexMaterializationClaim", "setActiveVersion", "setReconciliationMarker", "tableNames", "updateEdge", "updateNode", "updateNodeSet", "upsertEmbedding", "upsertEmbeddingBatch", "upsertFulltext", "upsertFulltextBatch", "vectorSearch", "vectorStrategy", "verifyContributions"];
+declare const HISTORY_STORE_BACKEND_KEYS: readonly ["assertRuntimeContributionsInitialized", "assertVectorSlotInitialized", "assertVectorSlotsInitialized", "bootstrapTables", "capabilities", "checkUnique", "checkUniqueBatch", "claimEdgeCardinality", "claimEdgeCardinalityBatch", "claimIndexMaterialization", "close", "commitSchemaVersion", "commitSchemaVersionIfKindsEmpty", "lockSchemaVersionForWrite", "compileSql", "countEdgesByKind", "countEdgesFrom", "countNodesByKind", "createVectorIndex", "deleteEdge", "deleteEdgesBatch", "deleteEmbedding", "deleteEmbeddingBatch", "deleteFulltext", "deleteFulltextBatch", "deleteNode", "deleteUnique", "hardDeleteUniquesByNodeIds", "deleteVectorSlotContribution", "dialect", "dropVectorIndex", "edgeExistsBetween", "ensureContributionMaterializationsTable", "ensureExtension", "ensureFulltextTable", "ensureIndexMaterializationsTable", "ensureKindRemovalsTable", "ensureReconciliationMarkersTable", "ensureRevisionOriginsTable", "ensureRuntimeContributions", "ensureTrigramExtension", "ensureVectorSlotContribution", "ensureVectorSlotContributions", "execute", "executeTemporaryStatement", "findEdgesByKind", "findEdgesByEndpointSet", "findEdgesByHeterogeneousEndpointSet", "findEdgesConnectedTo", "findNodesByKind", "fulltextSearch", "fulltextStrategy", "getActiveSchema", "getAllKindRemovals", "getContributionMaterialization", "getEdge", "getEdges", "getIndexMaterialization", "getIndexMaterializations", "getNode", "getNodes", "getPendingKindRemovals", "getReconciliationMarker", "getSchemaVersion", "hardDeleteEdge", "hardDeleteEdgesBatch", "hardDeleteNode", "hardDeleteUniquesByConcreteKind", "hardDeleteUniquesByNodeIds", "hybridSearch", "insertEdge", "insertEdgeNoReturn", "insertEdgesBatch", "insertEdgesBatchReturning", "insertNode", "insertNodeNoReturn", "insertNodesBatch", "insertNodesBatchReturning", "insertUnique", "insertUniqueBatch", "probeContributions", "purgeEdgeClaims", "readConstraintFenceViolations", "recordContributionMaterialization", "recordIndexMaterialization", "recordKindRemoval", "refreshStatistics", "releaseIndexMaterializationClaim", "setActiveVersion", "setReconciliationMarker", "tableNames", "updateEdge", "updateNode", "updateNodeSet", "upsertEmbedding", "upsertEmbeddingBatch", "upsertFulltext", "upsertFulltextBatch", "vectorSearch", "vectorStrategy", "verifyContributions"];
 type HistoryStoreBackendMember = (typeof HISTORY_STORE_BACKEND_KEYS)[number];
-type UnsafeHistoryStoreBackendMember = "clearGraph" | "commitSchemaVersionWithPreflight" | "executeDdl" | "executeRaw" | "executeStatement" | "ensureIdentityTables" | "ensureTrigramExtension" | "identityTableDdl" | "rebuildContribution" | "repairContributions" | "schemaWriteTransaction" | "transaction" | "trustedImport";
+type UnsafeHistoryStoreBackendMember = "clearGraph" | "commitSchemaVersionWithPreflight" | "executeDdl" | "executeRaw" | "executeStatement" | "ensureIdentityTables" | "identityTableDdl" | "rebuildContribution" | "repairContributions" | "schemaWriteTransaction" | "transaction" | "trustedImport";
 type UnclassifiedHistoryStoreBackendMember = Exclude<keyof GraphBackend, HistoryStoreBackendMember | UnsafeHistoryStoreBackendMember>;
 type HistoryStoreBackend = UnclassifiedHistoryStoreBackendMember extends never ? Readonly<Pick<GraphBackend, HistoryStoreBackendMember>> : never;
 
@@ -4185,8 +4275,14 @@ type StoreRuntime<G extends GraphDef> = Readonly<{
     validateIdentity: () => Promise<void>;
     /**
      * Validates one final resolved node write set, then clears the affected
-     * uniqueness sidecars so its upserts may claim their approved keys in any
-     * order. The caller must supply a transaction-bound backend.
+     * nodes' claim rows so its upserts may take their approved keys in any order,
+     * and re-takes the complete claim set once the writes have landed. The caller
+     * must supply a transaction-bound backend.
+     *
+     * The clear is by OWNER, so it takes every claim the affected nodes hold —
+     * uniqueness and `disjointWith` alike — and the rebuild therefore goes through
+     * the same claim writer an ordinary create uses rather than a uniqueness-only
+     * insert. See `store/claims/resolved-node-claims.ts`.
      */
     applyResolvedNodeUniqueness: <Output>(target: TransactionBackend, writes: Readonly<{
         upserts: readonly Readonly<{
@@ -4318,12 +4414,12 @@ type StoreRuntime<G extends GraphDef> = Readonly<{
         nextAfter?: string;
         done: boolean;
     }>>;
-    lockIdentityImportTarget: (target: GraphBackend | TransactionBackend) => Promise<void>;
-    foldImportedIdentityNodes: (target: GraphBackend | TransactionBackend, references: readonly Readonly<{
+    lockIdentityImportTarget: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>) => Promise<void>;
+    foldImportedIdentityNodes: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>, references: readonly Readonly<{
         kind: string;
         id: string;
     }>[]) => Promise<void>;
-    importIdentityAssertionsAtTarget: (target: GraphBackend | TransactionBackend, assertions: readonly Readonly<{
+    importIdentityAssertionsAtTarget: (target: Readonly<BackendIdentity & GraphEntityReadBackend & SchemaReadBackend & QueryExecutionBackend & SqlCompilationBackend & RawQueryExecutionBackend & Pick<GraphBackend, "executeStatement">>, assertions: readonly Readonly<{
         id: string;
         relation: "same" | "different";
         a: Readonly<{
@@ -5062,6 +5158,7 @@ type StoreCore<G extends GraphDef> = Readonly<{
     materializeSystemIndexes: (options?: MaterializeSystemIndexesOptions) => Promise<MaterializeIndexesResult>;
     reembedVectorField: (kind: string, fieldPath: string, options?: ReembedVectorFieldOptions) => Promise<ReembedVectorFieldResult>;
     verifyContributions: () => Promise<readonly ContributionDiagnostic[]>;
+    verifyConstraintFences: () => Promise<readonly ConstraintFenceViolation[]>;
     repairContributions: () => Promise<ContributionRepairResult>;
     probeContributions: () => Promise<ContributionProbeResult>;
     rebuildContribution: (scope: ContributionRebuildScope, options?: RebuildContributionOptions) => Promise<ContributionRebuildResult>;
@@ -5363,4 +5460,4 @@ declare function createVerifiedAdapterStore<G extends GraphDef, TNativeTransacti
     SchemaValidationResult
 ]>;
 
-export { type DynamicNodeKind as $, type AliasMap as A, type BaseStoreOptions as B, type BatchableQuery as C, type BulkEdgeSourceGroup as D, type EdgeAliasMap as E, type BulkFindEdgesFromParams as F, type BulkFindEdgesFromResult as G, type HistoryStoreOptions as H, type IdentityAssertion as I, type BulkOperationHookContext as J, type ConstraintNames as K, type LiveStoreOptions as L, type CreateEdgeInput as M, type CreateNodeInput as N, type DegreeOptions as O, type DynamicEdgeAccessor as P, type QueryCoordinateState as Q, type RecordedReadStoreOptions as R, type StoreOptions as S, TraversalBuilder as T, type UnboundLiveStoreOptions as U, type DynamicEdgeCollection as V, type DynamicEdgeType as W, type DynamicFieldBuilder as X, type DynamicNode as Y, type DynamicNodeAccessor as Z, type DynamicNodeCollection as _, type Store as a, type OntologyIntrospection as a$, type DynamicNodeReference as a0, type DynamicNodeType as a1, type DynamicSelectableEdge as a2, type DynamicSelectableNode as a3, type Edge as a4, type EdgeAccessor as a5, type EdgeBatchReads as a6, type EdgeBulkFindEndpointOptions as a7, type EdgeBulkFindOptions as a8, type EdgeCollection as a9, type IdentityTraversalOption as aA, type IdentityValidityWindow as aB, type IfExistsMode as aC, type InitialQueryBuilder as aD, type KindIntrospection as aE, type LabelPropagationMembership as aF, type LabelPropagationOptions as aG, type MaterializeRemovalsEntry as aH, type MaterializeRemovalsOptions as aI, type MaterializeRemovalsResult as aJ, type MeasurableAdapterHistoryTransactionContext as aK, type MeasurableAdapterTransactionContext as aL, type MeasurableTransactionContext as aM, type NeighborsOptions as aN, type NoRecordedCoordinate as aO, type Node as aP, type NodeAccessor as aQ, type NodeAlias as aR, type NodeBulkFindByIndexOptions as aS, type NodeCollection as aT, type NodeCurrentReads as aU, type NodeGetOrCreateByConstraintOptions as aV, type NodeGetOrCreateByConstraintResult as aW, type NodeIdentifier as aX, type NodeRef as aY, type NodeTemporalReads as aZ, type NodeWrites as a_, type EdgeFindByEndpointsOptions as aa, type EdgeGetOrCreateByEndpointsOptions as ab, type EdgeGetOrCreateByEndpointsResult as ac, type EdgeIntrospection as ad, type EdgeTemporalReads as ae, type EdgeWrites as af, type EmptyAliasMap as ag, type EmptyEdgeAliasMap as ah, ExecutableAggregateQuery as ai, ExecutableQuery as aj, type FieldAccessor as ak, type FulltextSearchHit as al, type FulltextSearchOptions as am, type GetOrCreateAction as an, type GraphAlgorithms as ao, type GraphEdgeCollections as ap, type GraphEdgeForKinds as aq, type GraphNodeCollections as ar, type GraphNodeReference as as, type HistoryStoreBackend as at, type HookContext as au, type HybridFulltextOptions as av, type HybridSearchHit as aw, type HybridSearchOptions as ax, type HybridVectorOptions as ay, type IdentityNodeReference as az, type HistoryStore as b, type SubgraphEdgeResult as b$, type OperationHookContext as b0, type PageRankOptions as b1, type PageRankScore as b2, type PaginateOptions as b3, type PaginatedResult as b4, type PathNode as b5, type PersonalizedPageRankOptions as b6, type PersonalizedPageRankSeed as b7, type Predicate as b8, PreparedQuery as b9, type SelectableNode as bA, type ShortestPathOptions as bB, type ShortestPathResult as bC, type SqlAvailability as bD, type StoreHooks as bE, type StoreProjection as bF, type StoreRef as bG, StoreSearch as bH, StoreView as bI, type StoreViewCanReachOptions as bJ, type StoreViewCoordinate as bK, type StoreViewDegreeOptions as bL, type StoreViewEdgeCollection as bM, type StoreViewEdgeCollections as bN, type StoreViewGraphAlgorithms as bO, type StoreViewLabelPropagationOptions as bP, type StoreViewNeighborsOptions as bQ, type StoreViewNodeCollection as bR, type StoreViewNodeCollections as bS, type StoreViewPageRankOptions as bT, type StoreViewPersonalizedPageRankOptions as bU, type StoreViewReachableOptions as bV, type StoreViewShortestPathOptions as bW, type StoreViewSubgraphOptions as bX, type StoreViewWeaklyConnectedComponentsOptions as bY, type StoreViewWeightedShortestPathOptions as bZ, type StreamOptions as b_, type PropsAccessor as ba, type QueryHookContext as bb, type QueryOptions as bc, type ReachableNode as bd, type ReachableOptions as be, type RebuildContributionOptions as bf, type RebuildFulltextOptions as bg, type RebuildFulltextResult as bh, type ReclaimedVectorFieldEntry as bi, type ReconciledSchema as bj, type RecordedScanOptions as bk, type RecordedScanPage as bl, RecordedStoreView as bm, type RecordedStoreViewEdgeCollection as bn, type RecordedStoreViewEdgeCollections as bo, type RecordedStoreViewNodeCollection as bp, type RecordedStoreViewNodeCollections as bq, type RecursiveTraversalOptions as br, type ReembedFunction as bs, type ReembedVectorFieldOptions as bt, type ReembedVectorFieldResult as bu, type SchemaIntrospection as bv, type ScopedMeasure as bw, type SearchScopeOptions as bx, type SelectContext as by, type SelectableEdge as bz, type RecordedReadStore as c, type SubgraphNodeResult as c0, type SubgraphOptions as c1, type SubgraphResult as c2, type SubsetEdge as c3, type SubsetNode as c4, type TemporalAlgorithmOptions as c5, type TransactionContext as c6, type TransactionOutcome as c7, type TransactionReceipt as c8, type TraversalDirection as c9, isParameterRef as cA, notExists as cB, notInSubquery as cC, param as cD, type TypedEdgeCollection as ca, type TypedRecordedStoreViewEdgeCollection as cb, type TypedStoreViewEdgeCollection as cc, UnionableQuery as cd, type UniqueIntrospection as ce, type UpdateEdgeInput as cf, type UpdateNodeInput as cg, type ValidityEndMutation as ch, type VectorSearchHit as ci, type VectorSearchOptions as cj, type WeaklyConnectedComponentMembership as ck, type WeaklyConnectedComponentsOptions as cl, type WeightedShortestPathOptions as cm, type WeightedShortestPathResult as cn, asIdentityAssertionId as co, createAdapterStore as cp, createAdapterStoreWithSchema as cq, createQueryBuilder as cr, createStore as cs, createStoreWithSchema as ct, createVerifiedAdapterStore as cu, createVerifiedStore as cv, defineSubgraphProject as cw, exists as cx, fieldRef as cy, inSubquery as cz, type IdentityAssertionId as d, type IdentityAssertionResult as e, type IdentityFacade as f, type IdentityNode as g, type IdentityNodeRefInput as h, type IdentityPair as i, type IdentityReadFacade as j, type IdentityRelation as k, type IdentityWriteSummary as l, type RecursiveAliasMap as m, QueryBuilder as n, type EmptyRecursiveAliasMap as o, type AdapterHistoryStore as p, type AdapterHistoryTransactionContext as q, type AdapterRecordedReadStore as r, type AdapterStore as s, type AdapterTransactionContext as t, type AggregateResult as u, type AlgorithmCyclePolicy as v, type AnyEdge as w, type AnyNode as x, type BaseTraversalOptions as y, type BatchResults as z };
+export { type DynamicNode as $, type AliasMap as A, type BaseStoreOptions as B, type BatchableQuery as C, type BulkEdgeSourceGroup as D, type EdgeAliasMap as E, type BulkFindEdgesFromParams as F, type BulkFindEdgesFromResult as G, type HistoryStoreOptions as H, type IdentityAssertion as I, type BulkOperationHookContext as J, type ClaimOwner as K, type LiveStoreOptions as L, type ClaimTarget as M, type ConstraintFenceViolation as N, type ConstraintNames as O, type CreateEdgeInput as P, type QueryCoordinateState as Q, type RecordedReadStoreOptions as R, type StoreOptions as S, TraversalBuilder as T, type UnboundLiveStoreOptions as U, type CreateNodeInput as V, type DegreeOptions as W, type DynamicEdgeAccessor as X, type DynamicEdgeCollection as Y, type DynamicEdgeType as Z, type DynamicFieldBuilder as _, type Store as a, type NodeIdentifier as a$, type DynamicNodeAccessor as a0, type DynamicNodeCollection as a1, type DynamicNodeKind as a2, type DynamicNodeReference as a3, type DynamicNodeType as a4, type DynamicSelectableEdge as a5, type DynamicSelectableNode as a6, type Edge as a7, type EdgeAccessor as a8, type EdgeBatchReads as a9, type HybridSearchOptions as aA, type HybridVectorOptions as aB, type IdentityAssertionWriteFacade as aC, type IdentityNodeReference as aD, type IdentityTraversalOption as aE, type IdentityValidityWindow as aF, type IfExistsMode as aG, type InitialQueryBuilder as aH, type KindIntrospection as aI, type LabelPropagationMembership as aJ, type LabelPropagationOptions as aK, type MaterializeRemovalsEntry as aL, type MaterializeRemovalsOptions as aM, type MaterializeRemovalsResult as aN, type MeasurableAdapterHistoryTransactionContext as aO, type MeasurableAdapterTransactionContext as aP, type MeasurableTransactionContext as aQ, type NeighborsOptions as aR, type NoRecordedCoordinate as aS, type Node as aT, type NodeAccessor as aU, type NodeAlias as aV, type NodeBulkFindByIndexOptions as aW, type NodeCollection as aX, type NodeCurrentReads as aY, type NodeGetOrCreateByConstraintOptions as aZ, type NodeGetOrCreateByConstraintResult as a_, type EdgeBulkFindEndpointOptions as aa, type EdgeBulkFindOptions as ab, type EdgeCollection as ac, type EdgeFindByEndpointsOptions as ad, type EdgeGetOrCreateByEndpointsOptions as ae, type EdgeGetOrCreateByEndpointsResult as af, type EdgeIntrospection as ag, type EdgeTemporalReads as ah, type EdgeWrites as ai, type EmptyAliasMap as aj, type EmptyEdgeAliasMap as ak, ExecutableAggregateQuery as al, ExecutableQuery as am, type FieldAccessor as an, type FulltextSearchHit as ao, type FulltextSearchOptions as ap, type GetOrCreateAction as aq, type GraphAlgorithms as ar, type GraphEdgeCollections as as, type GraphEdgeForKinds as at, type GraphNodeCollections as au, type GraphNodeReference as av, type HistoryStoreBackend as aw, type HookContext as ax, type HybridFulltextOptions as ay, type HybridSearchHit as az, type HistoryStore as b, type StoreViewSubgraphOptions as b$, type NodeRef as b0, type NodeTemporalReads as b1, type NodeWrites as b2, type OntologyIntrospection as b3, type OperationHookContext as b4, type PageRankOptions as b5, type PageRankScore as b6, type PaginateOptions as b7, type PaginatedResult as b8, type PathNode as b9, type ScopedMeasure as bA, type SearchScopeOptions as bB, type SelectContext as bC, type SelectableEdge as bD, type SelectableNode as bE, type ShortestPathOptions as bF, type ShortestPathResult as bG, type SqlAvailability as bH, type StoreHooks as bI, type StoreProjection as bJ, type StoreRef as bK, StoreSearch as bL, StoreView as bM, type StoreViewCanReachOptions as bN, type StoreViewCoordinate as bO, type StoreViewDegreeOptions as bP, type StoreViewEdgeCollection as bQ, type StoreViewEdgeCollections as bR, type StoreViewGraphAlgorithms as bS, type StoreViewLabelPropagationOptions as bT, type StoreViewNeighborsOptions as bU, type StoreViewNodeCollection as bV, type StoreViewNodeCollections as bW, type StoreViewPageRankOptions as bX, type StoreViewPersonalizedPageRankOptions as bY, type StoreViewReachableOptions as bZ, type StoreViewShortestPathOptions as b_, type PersonalizedPageRankOptions as ba, type PersonalizedPageRankSeed as bb, type Predicate as bc, PreparedQuery as bd, type PropsAccessor as be, type QueryHookContext as bf, type QueryOptions as bg, type ReachableNode as bh, type ReachableOptions as bi, type RebuildContributionOptions as bj, type RebuildFulltextOptions as bk, type RebuildFulltextResult as bl, type ReclaimedVectorFieldEntry as bm, type ReconciledSchema as bn, type RecordedScanOptions as bo, type RecordedScanPage as bp, RecordedStoreView as bq, type RecordedStoreViewEdgeCollection as br, type RecordedStoreViewEdgeCollections as bs, type RecordedStoreViewNodeCollection as bt, type RecordedStoreViewNodeCollections as bu, type RecursiveTraversalOptions as bv, type ReembedFunction as bw, type ReembedVectorFieldOptions as bx, type ReembedVectorFieldResult as by, type SchemaIntrospection as bz, type RecordedReadStore as c, type StoreViewWeaklyConnectedComponentsOptions as c0, type StoreViewWeightedShortestPathOptions as c1, type StreamOptions as c2, type SubgraphEdgeResult as c3, type SubgraphNodeResult as c4, type SubgraphOptions as c5, type SubgraphResult as c6, type SubsetEdge as c7, type SubsetNode as c8, type TemporalAlgorithmOptions as c9, defineSubgraphProject as cA, exists as cB, fieldRef as cC, inSubquery as cD, isParameterRef as cE, notExists as cF, notInSubquery as cG, param as cH, type TransactionContext as ca, type TransactionOutcome as cb, type TransactionReceipt as cc, type TraversalDirection as cd, type TypedEdgeCollection as ce, type TypedRecordedStoreViewEdgeCollection as cf, type TypedStoreViewEdgeCollection as cg, UnionableQuery as ch, type UniqueIntrospection as ci, type UpdateEdgeInput as cj, type UpdateNodeInput as ck, type ValidityEndMutation as cl, type VectorSearchHit as cm, type VectorSearchOptions as cn, type WeaklyConnectedComponentMembership as co, type WeaklyConnectedComponentsOptions as cp, type WeightedShortestPathOptions as cq, type WeightedShortestPathResult as cr, asIdentityAssertionId as cs, createAdapterStore as ct, createAdapterStoreWithSchema as cu, createQueryBuilder as cv, createStore as cw, createStoreWithSchema as cx, createVerifiedAdapterStore as cy, createVerifiedStore as cz, type IdentityAssertionId as d, type IdentityAssertionResult as e, type IdentityFacade as f, type IdentityNode as g, type IdentityNodeRefInput as h, type IdentityPair as i, type IdentityReadFacade as j, type IdentityRelation as k, type IdentityWriteSummary as l, type RecursiveAliasMap as m, QueryBuilder as n, type EmptyRecursiveAliasMap as o, type AdapterHistoryStore as p, type AdapterHistoryTransactionContext as q, type AdapterRecordedReadStore as r, type AdapterStore as s, type AdapterTransactionContext as t, type AggregateResult as u, type AlgorithmCyclePolicy as v, type AnyEdge as w, type AnyNode as x, type BaseTraversalOptions as y, type BatchResults as z };

package/dist/{temporal-5GqpYCk2.d.cts → temporal-B4Ky4wzh.d.cts}

@@ -1,4 +1,4 @@
-import { ce as TemporalMode } from './types-BqFZTQmV.cjs';
+import { cq as TemporalMode } from './types-CWg4dTjj.cjs';
 
 declare const RECORDED_INSTANT_BRAND: unique symbol;
 /**

package/dist/{temporal-CbnLzTmM.d.ts → temporal-CBOrERz5.d.ts}

@@ -1,4 +1,4 @@
-import { ce as TemporalMode } from './types-BqFZTQmV.js';
+import { cq as TemporalMode } from './types-CWg4dTjj.js';
 
 declare const RECORDED_INSTANT_BRAND: unique symbol;
 /**

package/dist/{types-CXAhpW-c.d.cts → types-BE921wRl.d.cts}

@@ -1,4 +1,4 @@
-import { bj as KindEntity, bf as JsonPointer } from './types-BqFZTQmV.cjs';
+import { bt as KindEntity, bp as JsonPointer } from './types-CWg4dTjj.cjs';
 
 /**
  * QueryProfiler types.

package/dist/{types-Bx74kaTt.d.ts → types-BScHXVM7.d.ts}

@@ -1,4 +1,4 @@
-import { bj as KindEntity, bf as JsonPointer } from './types-BqFZTQmV.js';
+import { bt as KindEntity, bp as JsonPointer } from './types-CWg4dTjj.js';
 
 /**
  * QueryProfiler types.