@nicia-ai/typegraph 0.25.1 → 0.27.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (122) hide show
  1. package/dist/backend/postgres/index.cjs +161 -113
  2. package/dist/backend/postgres/index.cjs.map +1 -1
  3. package/dist/backend/postgres/index.d.cts +6 -8
  4. package/dist/backend/postgres/index.d.ts +6 -8
  5. package/dist/backend/postgres/index.js +116 -68
  6. package/dist/backend/postgres/index.js.map +1 -1
  7. package/dist/backend/sqlite/index.cjs +16 -15
  8. package/dist/backend/sqlite/index.d.cts +11 -26
  9. package/dist/backend/sqlite/index.d.ts +11 -26
  10. package/dist/backend/sqlite/index.js +6 -5
  11. package/dist/backend/sqlite/libsql.cjs +9 -8
  12. package/dist/backend/sqlite/libsql.cjs.map +1 -1
  13. package/dist/backend/sqlite/libsql.d.cts +4 -3
  14. package/dist/backend/sqlite/libsql.d.ts +4 -3
  15. package/dist/backend/sqlite/libsql.js +6 -5
  16. package/dist/backend/sqlite/libsql.js.map +1 -1
  17. package/dist/backend/sqlite/local.cjs +11 -10
  18. package/dist/backend/sqlite/local.cjs.map +1 -1
  19. package/dist/backend/sqlite/local.d.cts +4 -3
  20. package/dist/backend/sqlite/local.d.ts +4 -3
  21. package/dist/backend/sqlite/local.js +6 -5
  22. package/dist/backend/sqlite/local.js.map +1 -1
  23. package/dist/chunk-4FJVSF3K.cjs +12 -0
  24. package/dist/{chunk-D2GO3RBL.cjs.map → chunk-4FJVSF3K.cjs.map} +1 -1
  25. package/dist/chunk-5H3BAMTB.js +32 -0
  26. package/dist/chunk-5H3BAMTB.js.map +1 -0
  27. package/dist/{chunk-CLEUFN2K.js → chunk-DDVA4QBA.js} +174 -78
  28. package/dist/chunk-DDVA4QBA.js.map +1 -0
  29. package/dist/{chunk-OECDVACY.cjs → chunk-DN4RUDF3.cjs} +2 -2
  30. package/dist/chunk-DN4RUDF3.cjs.map +1 -0
  31. package/dist/{chunk-NHQWXSTS.js → chunk-E5ROA3MN.js} +3 -3
  32. package/dist/{chunk-NHQWXSTS.js.map → chunk-E5ROA3MN.js.map} +1 -1
  33. package/dist/{chunk-CPFR3O7L.js → chunk-ENXJLDRK.js} +2 -2
  34. package/dist/chunk-ENXJLDRK.js.map +1 -0
  35. package/dist/chunk-IUIWCFG3.cjs +36 -0
  36. package/dist/chunk-IUIWCFG3.cjs.map +1 -0
  37. package/dist/{chunk-EG6TJ3I5.js → chunk-OYLF3IC7.js} +3 -3
  38. package/dist/{chunk-EG6TJ3I5.js.map → chunk-OYLF3IC7.js.map} +1 -1
  39. package/dist/{chunk-JTI5WT4P.cjs → chunk-PN37HVAV.cjs} +32 -10
  40. package/dist/chunk-PN37HVAV.cjs.map +1 -0
  41. package/dist/{chunk-RCAJZG67.cjs → chunk-PYJOBZR3.cjs} +10 -10
  42. package/dist/{chunk-RCAJZG67.cjs.map → chunk-PYJOBZR3.cjs.map} +1 -1
  43. package/dist/{chunk-PSKUWVCB.js → chunk-RF5EUQWS.js} +336 -36
  44. package/dist/chunk-RF5EUQWS.js.map +1 -0
  45. package/dist/{chunk-CLGC7AQ2.cjs → chunk-RVT2N4RF.cjs} +206 -110
  46. package/dist/chunk-RVT2N4RF.cjs.map +1 -0
  47. package/dist/{chunk-4BOWVUGQ.js → chunk-TSGBRPNE.js} +3 -3
  48. package/dist/{chunk-4BOWVUGQ.js.map → chunk-TSGBRPNE.js.map} +1 -1
  49. package/dist/{chunk-CQVNGKU7.cjs → chunk-TVUARC7S.cjs} +410 -100
  50. package/dist/chunk-TVUARC7S.cjs.map +1 -0
  51. package/dist/{chunk-DOTEN2FG.js → chunk-U5ROKVRF.js} +26 -3
  52. package/dist/chunk-U5ROKVRF.js.map +1 -0
  53. package/dist/{chunk-E5JZSEGJ.cjs → chunk-WFUN6DCM.cjs} +8 -8
  54. package/dist/{chunk-E5JZSEGJ.cjs.map → chunk-WFUN6DCM.cjs.map} +1 -1
  55. package/dist/{chunk-AAA2CR3P.js → chunk-X53YKGHR.js} +78 -37
  56. package/dist/chunk-X53YKGHR.js.map +1 -0
  57. package/dist/{chunk-W5MTHMTE.cjs → chunk-YEDQLNVE.cjs} +26 -2
  58. package/dist/chunk-YEDQLNVE.cjs.map +1 -0
  59. package/dist/{chunk-QMQYK3IF.cjs → chunk-ZGEMI7MJ.cjs} +163 -122
  60. package/dist/chunk-ZGEMI7MJ.cjs.map +1 -0
  61. package/dist/{chunk-YZZBDCLV.js → chunk-ZTREJOGB.js} +32 -11
  62. package/dist/chunk-ZTREJOGB.js.map +1 -0
  63. package/dist/{ddl-BqMmpNor.d.ts → ddl-9kw8UADK.d.ts} +298 -12
  64. package/dist/{ddl-Bwjh8Hff.d.cts → ddl-Cw82BPM4.d.cts} +298 -12
  65. package/dist/{extension-types-D07e_NTw.d.cts → extension-types-B78CZfA5.d.cts} +1 -1
  66. package/dist/{extension-types-D07e_NTw.d.ts → extension-types-B78CZfA5.d.ts} +1 -1
  67. package/dist/graph-extension/index.cjs +18 -18
  68. package/dist/graph-extension/index.d.cts +4 -4
  69. package/dist/graph-extension/index.d.ts +4 -4
  70. package/dist/graph-extension/index.js +3 -3
  71. package/dist/{index-CT6nvtxL.d.cts → index-Bilw0pYm.d.cts} +34 -3
  72. package/dist/{index-DQheiVQV.d.ts → index-CWdBFWbI.d.ts} +34 -3
  73. package/dist/index.cjs +482 -361
  74. package/dist/index.cjs.map +1 -1
  75. package/dist/index.d.cts +13 -11
  76. package/dist/index.d.ts +13 -11
  77. package/dist/index.js +153 -37
  78. package/dist/index.js.map +1 -1
  79. package/dist/indexes/index.cjs +13 -13
  80. package/dist/indexes/index.d.cts +5 -5
  81. package/dist/indexes/index.d.ts +5 -5
  82. package/dist/indexes/index.js +1 -1
  83. package/dist/interchange/index.cjs +7 -7
  84. package/dist/interchange/index.d.cts +7 -5
  85. package/dist/interchange/index.d.ts +7 -5
  86. package/dist/interchange/index.js +2 -2
  87. package/dist/{manager-Cy3dhwYO.d.cts → manager-CWa9cgwb.d.cts} +36 -9
  88. package/dist/{manager-sZkU2VPC.d.ts → manager-Cfcb2sJL.d.ts} +36 -9
  89. package/dist/{materialize-indexes-BB9N5uQl.d.cts → materialize-indexes-BQfaAZKA.d.cts} +1 -1
  90. package/dist/{materialize-indexes-BYpU2RKh.d.ts → materialize-indexes-DFavFQah.d.ts} +1 -1
  91. package/dist/profiler/index.d.cts +9 -7
  92. package/dist/profiler/index.d.ts +9 -7
  93. package/dist/schema/index.cjs +32 -27
  94. package/dist/schema/index.cjs.map +1 -1
  95. package/dist/schema/index.d.cts +9 -7
  96. package/dist/schema/index.d.ts +9 -7
  97. package/dist/schema/index.js +6 -5
  98. package/dist/schema/index.js.map +1 -1
  99. package/dist/{sqlite-h6dta1IJ.d.ts → sqlite-BvSEbybu.d.cts} +320 -1
  100. package/dist/{sqlite-BhFswiAR.d.cts → sqlite-GKvcDPVn.d.ts} +320 -1
  101. package/dist/{store-BS_hehiz.d.ts → store-C57kdvAa.d.ts} +155 -5
  102. package/dist/{store-CkCvqRUf.d.cts → store-Ojf0NOKk.d.cts} +155 -5
  103. package/dist/{types-BpgACExN.d.cts → types-CF7nDH3q.d.cts} +2 -2
  104. package/dist/{types-Bz-Pi681.d.ts → types-Cars4JZ1.d.ts} +2 -2
  105. package/dist/{types-DptZHe-l.d.ts → types-DZPBXZOK.d.cts} +272 -14
  106. package/dist/{types-WF5ItKQu.d.cts → types-Dzkr0Eqi.d.ts} +272 -14
  107. package/dist/{where-DZYMiXVq.d.cts → where-BmtjfWuS.d.cts} +2 -2
  108. package/dist/{where-C40InMIp.d.ts → where-kk1Zz2En.d.ts} +2 -2
  109. package/package.json +3 -1
  110. package/dist/chunk-AAA2CR3P.js.map +0 -1
  111. package/dist/chunk-CLEUFN2K.js.map +0 -1
  112. package/dist/chunk-CLGC7AQ2.cjs.map +0 -1
  113. package/dist/chunk-CPFR3O7L.js.map +0 -1
  114. package/dist/chunk-CQVNGKU7.cjs.map +0 -1
  115. package/dist/chunk-D2GO3RBL.cjs +0 -12
  116. package/dist/chunk-DOTEN2FG.js.map +0 -1
  117. package/dist/chunk-JTI5WT4P.cjs.map +0 -1
  118. package/dist/chunk-OECDVACY.cjs.map +0 -1
  119. package/dist/chunk-PSKUWVCB.js.map +0 -1
  120. package/dist/chunk-QMQYK3IF.cjs.map +0 -1
  121. package/dist/chunk-W5MTHMTE.cjs.map +0 -1
  122. package/dist/chunk-YZZBDCLV.js.map +0 -1
@@ -1,6 +1,8 @@
1
1
  import { z } from 'zod';
2
- import { N as NodeType, d as EdgeType, U as UniquenessScope, C as Collation, D as DeleteBehavior, e as KindAnnotations, f as Cardinality, g as EndpointExistence, T as TemporalMode, G as GraphExtension, I as IndexEntity, K as KindEntity, a as NullCheckOp, A as AnyEdgeType } from './extension-types-D07e_NTw.cjs';
2
+ import { N as NodeType, e as EdgeType, o as UniquenessScope, g as Collation, D as DeleteBehavior, d as KindAnnotations, f as Cardinality, k as EndpointExistence, T as TemporalMode, G as GraphExtension, I as IndexEntity, K as KindEntity, a as NullCheckOp, A as AnyEdgeType } from './extension-types-B78CZfA5.js';
3
3
  import { SQL } from 'drizzle-orm';
4
+ import { PgDatabase, PgQueryResultHKT } from 'drizzle-orm/pg-core';
5
+ import { BaseSQLiteDatabase } from 'drizzle-orm/sqlite-core';
4
6
 
5
7
  /** Brand key for MetaEdge */
6
8
  declare const META_EDGE_BRAND: "__metaEdge";
@@ -170,6 +172,64 @@ declare function createSqlSchema(names?: Partial<SqlTableNames>): SqlSchema;
170
172
  */
171
173
  declare const DEFAULT_SQL_SCHEMA: SqlSchema;
172
174
 
175
+ /**
176
+ * A single table TypeGraph owns.
177
+ */
178
+ type TableContribution = Readonly<{
179
+ /**
180
+ * Stable, graph- and deployment-independent identity for the logical
181
+ * slot this contribution fills (e.g. `"fulltext"`). NOT the physical
182
+ * table name. Stable across table-name overrides and across strategy
183
+ * swaps of the *same* logical slot, so #135's durable marker can
184
+ * survive both.
185
+ */
186
+ logicalName: string;
187
+ /**
188
+ * Identifies the producer of this contribution (e.g. a strategy id
189
+ * like `"tsvector"` / `"fts5"`, or `"base"` for core schema tables).
190
+ * Part of the #135 materialization identity and an input to the
191
+ * drift signature — a strategy swap on the same `logicalName` is a
192
+ * legitimate, detectable drift, not a silent reuse.
193
+ */
194
+ owner: string;
195
+ /**
196
+ * Resolved physical table name after any per-deployment name
197
+ * override. Part of the #135 materialization identity (custom names
198
+ * must be distinguishable) and used by diagnostics / the focused
199
+ * bootstrap ensure.
200
+ */
201
+ tableName: string;
202
+ /**
203
+ * Idempotent (`CREATE ... IF NOT EXISTS`) statements that
204
+ * materialize this contribution's table **and its supporting
205
+ * indexes**. Running the full list is how the runtime ensure
206
+ * self-heals partial states (table present, index missing) — it is
207
+ * not a probe-and-skip. Deterministic for a given resolved
208
+ * configuration: the canonical normalized input to #135's drift
209
+ * signature.
210
+ */
211
+ createDdl: readonly string[];
212
+ /**
213
+ * When `true`, the post-schema-load focused ensure
214
+ * (`loadActiveSchemaWithBootstrap`) materializes this contribution
215
+ * on every successful schema load.
216
+ *
217
+ * **Invariant: only strategy-declared contributions may set this.**
218
+ * Core/base tables are always `false` — they are created by
219
+ * drizzle-kit / `bootstrapTables`. This is what lets the boot path
220
+ * derive runtime contributions straight from the strategy
221
+ * (`fulltextStrategy.ownedTables`) without walking — and generating
222
+ * DDL for — every base table.
223
+ */
224
+ runtimeEnsure: boolean;
225
+ }>;
226
+ /**
227
+ * A table a {@link FulltextStrategy} declares it owns. An alias, not a
228
+ * distinct shape: a strategy's declaration is already authoritative
229
+ * (no resolution step). The name documents the producer role.
230
+ */
231
+ type StrategyTableContribution = TableContribution;
232
+
173
233
  /**
174
234
  * Fulltext Strategy — pluggable DDL + SQL generation for a dialect's
175
235
  * fulltext stack. A strategy owns every SQL statement that touches its
@@ -245,11 +305,20 @@ interface FulltextStrategy {
245
305
  */
246
306
  snippetExpression(tableName: string, query: string, mode: FulltextQueryMode, language?: string): SQL;
247
307
  /**
248
- * DDL statements to create the backing table and any supporting
249
- * indexes. Idempotent (`CREATE ... IF NOT EXISTS`). Called once from
250
- * `bootstrapTables()` on a fresh database.
308
+ * The tables this strategy owns, as Drizzle-free, already
309
+ * authoritative `TableContribution`s (`logicalName`, `owner`,
310
+ * resolved `tableName`, idempotent `createDdl` for the table **and
311
+ * its supporting indexes**, `runtimeEnsure`). A strategy never
312
+ * constructs a Drizzle table itself; drizzle-kit visibility, when
313
+ * applicable, is the schema barrel's responsibility (the default
314
+ * Postgres strategy's `schema/postgres.ts` exports a matching
315
+ * `tables.fulltext` — a non-default strategy must export its own).
316
+ *
317
+ * Replaces the former `generateDdl(tableName)`: DDL is now one field
318
+ * of a contribution rather than the strategy's whole storage
319
+ * surface. (Public API change — see #129.)
251
320
  */
252
- generateDdl(tableName: string): readonly string[];
321
+ ownedTables(primaryTableName: string): readonly StrategyTableContribution[];
253
322
  /**
254
323
  * Emits the statements that upsert a single fulltext row. Returns one
255
324
  * or more statements — some backends (SQLite FTS5) cannot emulate
@@ -445,6 +514,33 @@ type SerializedSchema = Readonly<{
445
514
  */
446
515
  type SchemaHash = string;
447
516
 
517
+ type AnyPgDatabase = PgDatabase<PgQueryResultHKT, Record<string, unknown>>;
518
+
519
+ /**
520
+ * Controls how the backend manages SQLite transactions.
521
+ *
522
+ * - `"sql"`: TypeGraph issues BEGIN / COMMIT / ROLLBACK SQL directly.
523
+ * Default for sync drivers (better-sqlite3, bun:sqlite).
524
+ * - `"drizzle"`: Delegates to Drizzle's `db.transaction()` method.
525
+ * Default for async drivers (libsql, sql.js).
526
+ * - `"do-sqlite"`: Delegates to the Cloudflare Durable Objects async
527
+ * storage transaction runner (`db.$client.transaction`,
528
+ * i.e. `ctx.storage.transaction(async ...)`). Drizzle's
529
+ * own `db.transaction()` on DO is
530
+ * `ctx.storage.transactionSync` and cannot span `await`,
531
+ * so it is deliberately not used. Auto-detected for
532
+ * `drizzle(ctx.storage)` (#140).
533
+ * - `"none"`: Transactions disabled. Default for Cloudflare D1
534
+ * (`D1Database.batch` is transactional but not an
535
+ * interactive runner — tracked separately).
536
+ */
537
+ type SqliteTransactionMode = "sql" | "drizzle" | "none" | "do-sqlite";
538
+ type SqliteExecutionProfileHints = Readonly<{
539
+ isSync?: boolean;
540
+ transactionMode?: SqliteTransactionMode;
541
+ }>;
542
+ type AnySqliteDatabase = BaseSQLiteDatabase<"sync" | "async", unknown>;
543
+
448
544
  /**
449
545
  * SQL Dialect Abstraction Layer
450
546
  *
@@ -914,6 +1010,63 @@ type RecordIndexMaterializationParams = Readonly<{
914
1010
  /** Error message on failure; undefined on success (clears existing). */
915
1011
  error: string | undefined;
916
1012
  }>;
1013
+ /**
1014
+ * Durable identity of a strategy-owned table contribution (#129),
1015
+ * scoped to a graph. This is the primary key of
1016
+ * `typegraph_contribution_materializations`.
1017
+ *
1018
+ * `logicalName` is the stable slot ("fulltext"); `owner` is the
1019
+ * producing strategy ("tsvector" / "fts5"); `tableName` is the resolved
1020
+ * physical name (custom per-deployment names must be distinguishable).
1021
+ * `graphId` is part of identity here — unlike the index status table
1022
+ * where the physical index name is database-global, two graphs can each
1023
+ * own a logically-identical fulltext contribution.
1024
+ */
1025
+ type ContributionMaterializationIdentity = Readonly<{
1026
+ graphId: string;
1027
+ logicalName: string;
1028
+ owner: string;
1029
+ tableName: string;
1030
+ }>;
1031
+ /**
1032
+ * Per-deployment record that a strategy-owned contribution has been
1033
+ * durably materialized against this database.
1034
+ *
1035
+ * `signature` is intentionally NOT part of the identity: a row with the
1036
+ * same identity but a different signature means "materialized artifact
1037
+ * is stale/drifted" — a loud error on the hot path, never a silent
1038
+ * re-materialize. `materializedAt` is undefined until the first
1039
+ * successful materialization; `lastAttemptedAt` is always set.
1040
+ */
1041
+ type ContributionMaterializationRow = Readonly<{
1042
+ graphId: string;
1043
+ logicalName: string;
1044
+ owner: string;
1045
+ tableName: string;
1046
+ signature: string;
1047
+ materializedAt: string | undefined;
1048
+ lastAttemptedAt: string;
1049
+ lastError: string | undefined;
1050
+ }>;
1051
+ /**
1052
+ * Parameters for upserting a contribution-materialization attempt.
1053
+ * Same success/failure contract as
1054
+ * {@link RecordIndexMaterializationParams}: on failure pass undefined
1055
+ * `materializedAt` so a prior successful timestamp is preserved via
1056
+ * COALESCE, and the error message.
1057
+ */
1058
+ type RecordContributionMaterializationParams = Readonly<{
1059
+ graphId: string;
1060
+ logicalName: string;
1061
+ owner: string;
1062
+ tableName: string;
1063
+ signature: string;
1064
+ attemptedAt: string;
1065
+ /** ISO timestamp on success; undefined on failure (preserves existing). */
1066
+ materializedAt: string | undefined;
1067
+ /** Error message on failure; undefined on success (clears existing). */
1068
+ error: string | undefined;
1069
+ }>;
917
1070
  /**
918
1071
  * One row of the per-deployment `typegraph_kind_removals` table:
919
1072
  * a graph-extension kind that has been removed from the schema and whose
@@ -955,6 +1108,21 @@ type TransactionOptions = Readonly<{
955
1108
  /** Transaction isolation level (if supported) */
956
1109
  isolationLevel?: "read_uncommitted" | "read_committed" | "repeatable_read" | "serializable";
957
1110
  }>;
1111
+ /**
1112
+ * A caller-owned, already-open Drizzle transaction handle that a
1113
+ * TypeGraph store can adopt so both layers commit/rollback together.
1114
+ *
1115
+ * The literal client the caller's transaction runs on — a `PgDatabase`
1116
+ * transaction (node-postgres / `neon-serverless` Pool) or a
1117
+ * `BaseSQLiteDatabase` connection. Async drivers obtain it from
1118
+ * `db.transaction(async (tx) => …)`; synchronous `better-sqlite3` (whose
1119
+ * driver rejects an `async` transaction callback) passes the connection
1120
+ * itself under an explicit `BEGIN`/`COMMIT`/`ROLLBACK`. Passing it to
1121
+ * {@link GraphBackend.adoptTransaction} threads that *literal* client
1122
+ * through TypeGraph's SQL, so graph writes and the caller's own
1123
+ * relational writes share one Postgres/SQLite transaction (#134).
1124
+ */
1125
+ type AdoptedTransaction = AnyPgDatabase | AnySqliteDatabase;
958
1126
  /**
959
1127
  * Transaction backend — a backend scoped to a transaction.
960
1128
  *
@@ -968,7 +1136,7 @@ type TransactionOptions = Readonly<{
968
1136
  * exists to eliminate. Schema commits go through the top-level backend
969
1137
  * methods only.
970
1138
  */
971
- type TransactionBackend = Omit<GraphBackend, "transaction" | "close" | "refreshStatistics" | "commitSchemaVersion" | "setActiveVersion">;
1139
+ type TransactionBackend = Omit<GraphBackend, "transaction" | "adoptTransaction" | "close" | "refreshStatistics" | "commitSchemaVersion" | "setActiveVersion">;
972
1140
  /**
973
1141
  * The GraphBackend interface abstracts database operations.
974
1142
  *
@@ -1107,6 +1275,40 @@ type GraphBackend = Readonly<{
1107
1275
  * timestamp survives across error windows.
1108
1276
  */
1109
1277
  recordIndexMaterialization?: (params: RecordIndexMaterializationParams) => Promise<void>;
1278
+ /**
1279
+ * Idempotently ensure ONLY the
1280
+ * `typegraph_contribution_materializations` table exists. Same
1281
+ * focused-bootstrap rationale as `ensureIndexMaterializationsTable`:
1282
+ * a single `CREATE TABLE IF NOT EXISTS` is concurrency-safe under
1283
+ * replica startup, where the full `bootstrapTables` set risks a
1284
+ * Postgres SHARE-lock deadlock.
1285
+ */
1286
+ ensureContributionMaterializationsTable?: () => Promise<void>;
1287
+ /**
1288
+ * Look up the durable materialization marker for one strategy-owned
1289
+ * contribution identity. Returns `undefined` when no row exists
1290
+ * ("never initialized").
1291
+ */
1292
+ getContributionMaterialization?: (identity: ContributionMaterializationIdentity) => Promise<ContributionMaterializationRow | undefined>;
1293
+ /**
1294
+ * Upsert a contribution-materialization attempt — success or failure.
1295
+ * Failure rows preserve any prior `materializedAt` via COALESCE so a
1296
+ * later failed re-attempt doesn't erase the historical success.
1297
+ */
1298
+ recordContributionMaterialization?: (params: RecordContributionMaterializationParams) => Promise<void>;
1299
+ /**
1300
+ * Resolve (once per backend instance, cached) and assert the durable
1301
+ * materialization markers for every `runtimeEnsure` contribution this
1302
+ * backend's strategy declares, for `graphId`. Throws
1303
+ * `StoreNotInitializedError` when a marker is missing, stale
1304
+ * (signature drift), or recorded a failed last attempt.
1305
+ *
1306
+ * This is the single read-side gate the fulltext hot-path wrappers
1307
+ * and `store.transaction()` consult. It performs ZERO DDL and ZERO
1308
+ * marker writes — initialization is the exclusive job of the async
1309
+ * boot path (`createStoreWithSchema` → `ensureRuntimeContributions`).
1310
+ */
1311
+ assertRuntimeContributionsInitialized?: (graphId: string) => Promise<void>;
1110
1312
  /**
1111
1313
  * Bootstraps the per-deployment `typegraph_kind_removals` table so
1112
1314
  * `store.removeKinds()` and `store.materializeRemovals()` can persist
@@ -1149,15 +1351,32 @@ type GraphBackend = Readonly<{
1149
1351
  * deadlock under concurrent replica startup.
1150
1352
  */
1151
1353
  ensureReconciliationMarkersTable?: () => Promise<void>;
1354
+ /**
1355
+ * Materializes every contribution flagged `runtimeEnsure` — the
1356
+ * strategy-owned runtime tables (fulltext today) that drizzle-kit-
1357
+ * managed setups don't create. Called once after a successful schema
1358
+ * load. Deliberately scoped: base/drizzle-visible tables are
1359
+ * `runtimeEnsure: false`, so this does not regress startup into
1360
+ * broad DDL/probing across every table.
1361
+ *
1362
+ * The canonical durable-marker writer (#135): for each runtime
1363
+ * contribution it short-circuits when the marker already records a
1364
+ * matching signature, otherwise runs the idempotent `createDdl` and
1365
+ * records the marker (success or failure) keyed by `graphId`.
1366
+ */
1367
+ ensureRuntimeContributions?: (graphId: string) => Promise<void>;
1152
1368
  /**
1153
1369
  * Bootstraps the fulltext storage table the active `FulltextStrategy`
1154
- * owns — the strategy owns this DDL because shapes diverge across
1155
- * stacks (`tsvector` + GIN, FTS5 virtual table, pg_trgm, …) and
1156
- * the SQLite case can't be Drizzle-modeled at all. Same focused-
1157
- * bootstrap rationale as the other `ensure*Table` methods:
1158
- * idempotent and concurrency-safe under replica startup.
1370
+ * owns. Same focused-bootstrap rationale as the other `ensure*Table`
1371
+ * methods: idempotent and concurrency-safe under replica startup.
1372
+ *
1373
+ * Superseded by `ensureRuntimeContributions()` (#129); retained as
1374
+ * a thin back-compat wrapper for backends/callers predating #129. Not
1375
+ * machine-`@deprecated` because the manager still calls it as the
1376
+ * pre-#129 fallback. #135 removed the remaining hot-path callers and
1377
+ * routed this through the durable-marker writer.
1159
1378
  */
1160
- ensureFulltextTable?: () => Promise<void>;
1379
+ ensureFulltextTable?: (graphId: string) => Promise<void>;
1161
1380
  /**
1162
1381
  * Read the high-water mark schema version for which
1163
1382
  * `materializeRemovals` reconciliation has already verified history
@@ -1225,7 +1444,46 @@ type GraphBackend = Readonly<{
1225
1444
  * statement outside `transaction(...)`.
1226
1445
  */
1227
1446
  executeDdl?: (ddl: string) => Promise<void>;
1228
- transaction: <T>(fn: (tx: TransactionBackend) => Promise<T>, options?: TransactionOptions) => Promise<T>;
1447
+ /**
1448
+ * `fn` receives the tx-scoped backend and the raw Drizzle handle
1449
+ * **bound to that same transaction** (`AdoptedTransaction`). The
1450
+ * store surfaces the second argument as `TransactionContext.sql` so
1451
+ * callers can write their own relational tables inside the
1452
+ * graph-owned transaction. Implementations MUST pass the *exact*
1453
+ * handle the tx-scoped backend writes through (the Postgres/libsql
1454
+ * tx handle; for better-sqlite3 / do-sqlite the bound connection),
1455
+ * never a fresh one.
1456
+ */
1457
+ transaction: <T>(fn: (tx: TransactionBackend, sql: AdoptedTransaction) => Promise<T>, options?: TransactionOptions) => Promise<T>;
1458
+ /**
1459
+ * Adopt a caller-owned, already-open transaction (#134).
1460
+ *
1461
+ * Returns a transaction-scoped backend bound to the *exact*
1462
+ * `externalTx` client, reusing this backend's already-resolved
1463
+ * schema/strategy config — no `createStoreWithSchema` / `evolve` /
1464
+ * `migrateSchema`, and **no DDL inside the caller's business
1465
+ * transaction**. The caller owns `BEGIN`/`COMMIT`/`ROLLBACK`; this
1466
+ * method neither opens nor closes a transaction. Async drivers
1467
+ * (node-postgres, `neon-serverless` Pool, libsql) wrap with
1468
+ * `db.transaction(async …)`; synchronous `better-sqlite3` must instead
1469
+ * issue explicit `BEGIN`/`COMMIT`/`ROLLBACK` (its driver rejects an
1470
+ * `async` transaction callback).
1471
+ *
1472
+ * Optional and presence-detected like the other capability-scoped
1473
+ * members: only the Drizzle Postgres/SQLite backends provide it.
1474
+ * Implementations MUST throw (not silently degrade) when
1475
+ * `capabilities.transactions` is `false` — a non-atomic fallback is
1476
+ * safe for graph-only writes but dangerous for cross-store flows,
1477
+ * where the caller's relational write *would* still commit.
1478
+ *
1479
+ * Fulltext stays safe by construction: the returned backend's
1480
+ * fulltext methods assert the durable materialization marker (a
1481
+ * cached SELECT, never DDL) at point of use and throw
1482
+ * `StoreNotInitializedError` on a missing/stale/failed marker rather
1483
+ * than migrating mid-transaction. Prefer booting the parent store via
1484
+ * `createStoreWithSchema` so that assertion is a warm-cache no-op.
1485
+ */
1486
+ adoptTransaction?: (externalTx: AdoptedTransaction) => TransactionBackend;
1229
1487
  close: () => Promise<void>;
1230
1488
  }>;
1231
1489
  /**
@@ -2129,4 +2387,4 @@ type RelationalIndexDeclaration = NodeIndexDeclaration | EdgeIndexDeclaration;
2129
2387
  type IndexDeclaration = RelationalIndexDeclaration | VectorIndexDeclaration;
2130
2388
  type SystemColumnName = "graph_id" | "kind" | "id" | "from_kind" | "from_id" | "to_kind" | "to_id" | "deleted_at" | "valid_from" | "valid_to" | "created_at" | "updated_at" | "version";
2131
2389
 
2132
- export { type JsonPointerFor as $, type AggregateExpr as A, type BackendCapabilities as B, type FieldRef as C, type ComparisonOp as D, type EdgeIndexConfig as E, type FulltextStrategy as F, type GraphBackend as G, type AggregateComparisonPredicate as H, type IndexDeclaration as I, type JsonPointer as J, type CommitSchemaVersionExpected as K, type CommitSchemaVersionParams as L, type MetaEdge as M, type NodeIndexConfig as N, type OntologyRelation as O, DEFAULT_SQL_SCHEMA as P, type QueryAst as Q, type RelationalIndexDeclaration as R, type SerializedNodeDef as S, type DeleteFulltextBatchParams as T, type FulltextBatchRow as U, type VectorIndexDeclaration as V, type FulltextCapabilities as W, type FulltextQueryMode as X, type FulltextSearchParams as Y, type FulltextSearchResult as Z, type HybridFusionOptions as _, type EdgeIndexDeclaration as a, type JsonPointerInput as a0, type JsonPointerSegment as a1, type JsonPointerSegments as a2, type JsonPointerSegmentsFor as a3, MAX_JSON_POINTER_DEPTH as a4, type MetaEdgeProperties as a5, type OrderSpec as a6, type ParameterRef as a7, type ResolveJsonPointer as a8, type ResolveJsonPointerSegments as a9, type NodeRow as aA, type SelectiveField as aB, type ComposableQuery as aC, type SetOperationType as aD, type SetOperation as aE, type VectorMetric as aF, type SetActiveVersionParams as aa, type SortDirection as ab, type SqlSchema as ac, type SqlTableNames as ad, type TransactionBackend as ae, type TraversalExpansion as af, type UpsertFulltextBatchParams as ag, type VectorCapabilities as ah, createSqlSchema as ai, fts5Strategy as aj, isMetaEdge as ak, joinJsonPointers as al, jsonPointer as am, normalizeJsonPointer as an, parseJsonPointer as ao, tsvectorStrategy as ap, type ValueType as aq, type PredicateExpression as ar, type VectorMetricType as as, type Traversal as at, type NodePredicate as au, type ProjectedField as av, type GroupBySpec as aw, type RecursiveCyclePolicy as ax, type TraversalDirection as ay, type EdgeRow as az, type NodeIndexDeclaration as b, type IndexWhereExpression as c, type SerializedEdgeDef as d, type SerializedMetaEdge as e, type SerializedOntologyRelation as f, type SerializedClosures as g, type SerializedSchema as h, type SchemaHash as i, type JsonSchema as j, type SerializedOntology as k, type SerializedUniqueConstraint as l, type SqlDialect as m, type EdgeIndexDirection as n, type EdgeIndexWhereBuilder as o, type IndexOrigin as p, type IndexScope as q, type IndexWhereFieldBuilder as r, type IndexWhereInput as s, type NodeIndexWhereBuilder as t, type SystemColumnName as u, type VectorIndexImplementation as v, type VectorIndexMetric as w, type VectorIndexParams as x, type SchemaVersionRow as y, type InferenceType as z };
2390
+ export { type FulltextCapabilities as $, type AnySqliteDatabase as A, type BackendCapabilities as B, type VectorIndexParams as C, type SchemaVersionRow as D, type EdgeIndexConfig as E, type FulltextStrategy as F, type GraphBackend as G, type InferenceType as H, type IndexDeclaration as I, type JsonPointer as J, type AggregateExpr as K, type FieldRef as L, type MetaEdge as M, type NodeIndexConfig as N, type OntologyRelation as O, type ComparisonOp as P, type QueryAst as Q, type RelationalIndexDeclaration as R, type SqliteExecutionProfileHints as S, type AggregateComparisonPredicate as T, type AdoptedTransaction as U, type VectorIndexDeclaration as V, type CommitSchemaVersionExpected as W, type CommitSchemaVersionParams as X, DEFAULT_SQL_SCHEMA as Y, type DeleteFulltextBatchParams as Z, type FulltextBatchRow as _, type SqliteTransactionMode as a, type FulltextQueryMode as a0, type FulltextSearchParams as a1, type FulltextSearchResult as a2, type HybridFusionOptions as a3, type JsonPointerFor as a4, type JsonPointerInput as a5, type JsonPointerSegment as a6, type JsonPointerSegments as a7, type JsonPointerSegmentsFor as a8, MAX_JSON_POINTER_DEPTH as a9, type Traversal as aA, type NodePredicate as aB, type ProjectedField as aC, type GroupBySpec as aD, type RecursiveCyclePolicy as aE, type TraversalDirection as aF, type EdgeRow as aG, type NodeRow as aH, type SelectiveField as aI, type ComposableQuery as aJ, type SetOperationType as aK, type SetOperation as aL, type VectorMetric as aM, type MetaEdgeProperties as aa, type OrderSpec as ab, type ParameterRef as ac, type ResolveJsonPointer as ad, type ResolveJsonPointerSegments as ae, type SetActiveVersionParams as af, type SortDirection as ag, type SqlSchema as ah, type SqlTableNames as ai, type StrategyTableContribution as aj, type TableContribution as ak, type TransactionBackend as al, type TraversalExpansion as am, type UpsertFulltextBatchParams as an, type VectorCapabilities as ao, createSqlSchema as ap, fts5Strategy as aq, isMetaEdge as ar, joinJsonPointers as as, jsonPointer as at, normalizeJsonPointer as au, parseJsonPointer as av, tsvectorStrategy as aw, type ValueType as ax, type PredicateExpression as ay, type VectorMetricType as az, type AnyPgDatabase as b, type EdgeIndexDeclaration as c, type NodeIndexDeclaration as d, type IndexWhereExpression as e, type SerializedNodeDef as f, type SerializedEdgeDef as g, type SerializedMetaEdge as h, type SerializedOntologyRelation as i, type SerializedClosures as j, type SerializedSchema as k, type SchemaHash as l, type JsonSchema as m, type SerializedOntology as n, type SerializedUniqueConstraint as o, type SqlDialect as p, type EdgeIndexDirection as q, type EdgeIndexWhereBuilder as r, type IndexOrigin as s, type IndexScope as t, type IndexWhereFieldBuilder as u, type IndexWhereInput as v, type NodeIndexWhereBuilder as w, type SystemColumnName as x, type VectorIndexImplementation as y, type VectorIndexMetric as z };
@@ -1,5 +1,5 @@
1
- import { A as AnyEdgeType, N as NodeType } from './extension-types-D07e_NTw.cjs';
2
- import { E as EdgeIndexConfig, a as EdgeIndexDeclaration, N as NodeIndexConfig, b as NodeIndexDeclaration, c as IndexWhereExpression } from './types-WF5ItKQu.cjs';
1
+ import { A as AnyEdgeType, N as NodeType } from './extension-types-B78CZfA5.cjs';
2
+ import { E as EdgeIndexConfig, c as EdgeIndexDeclaration, N as NodeIndexConfig, d as NodeIndexDeclaration, e as IndexWhereExpression } from './types-DZPBXZOK.cjs';
3
3
 
4
4
  declare function defineNodeIndex<N extends NodeType>(node: N, config: NodeIndexConfig<N>): NodeIndexDeclaration;
5
5
  declare function defineEdgeIndex<E extends AnyEdgeType>(edge: E, config: EdgeIndexConfig<E>): EdgeIndexDeclaration;
@@ -1,5 +1,5 @@
1
- import { A as AnyEdgeType, N as NodeType } from './extension-types-D07e_NTw.js';
2
- import { E as EdgeIndexConfig, a as EdgeIndexDeclaration, N as NodeIndexConfig, b as NodeIndexDeclaration, c as IndexWhereExpression } from './types-DptZHe-l.js';
1
+ import { A as AnyEdgeType, N as NodeType } from './extension-types-B78CZfA5.js';
2
+ import { E as EdgeIndexConfig, c as EdgeIndexDeclaration, N as NodeIndexConfig, d as NodeIndexDeclaration, e as IndexWhereExpression } from './types-Dzkr0Eqi.js';
3
3
 
4
4
  declare function defineNodeIndex<N extends NodeType>(node: N, config: NodeIndexConfig<N>): NodeIndexDeclaration;
5
5
  declare function defineEdgeIndex<E extends AnyEdgeType>(edge: E, config: EdgeIndexConfig<E>): EdgeIndexDeclaration;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@nicia-ai/typegraph",
3
- "version": "0.25.1",
3
+ "version": "0.27.0",
4
4
  "description": "TypeScript-first embedded knowledge graph library with ontological reasoning",
5
5
  "type": "module",
6
6
  "main": "./dist/index.cjs",
@@ -121,6 +121,7 @@
121
121
  "nanoid": "^5.1.11"
122
122
  },
123
123
  "devDependencies": {
124
+ "@cloudflare/vitest-pool-workers": "^0.16.6",
124
125
  "@libsql/client": "^0.17.3",
125
126
  "@neondatabase/serverless": "^1.1.0",
126
127
  "@stryker-mutator/core": "^9.6.1",
@@ -164,6 +165,7 @@
164
165
  "test:perf:postgres": "pnpm --filter @nicia-ai/typegraph-benchmarks perf:check:postgres",
165
166
  "bench:perf:postgres": "pnpm --filter @nicia-ai/typegraph-benchmarks perf:postgres",
166
167
  "test:postgres": "./scripts/test-postgres.sh",
168
+ "test:do": "vitest run --config vitest.workers.config.ts",
167
169
  "test:coverage": "vitest run --coverage",
168
170
  "test:mutation": "stryker run"
169
171
  }