@fgv/ts-agent-memory-sqlite-vec 5.1.0-42

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 (71) hide show
  1. package/.rush/temp/689b960e7e1a3b63bd68fbb91474d5c28d567861.tar.log +60 -0
  2. package/.rush/temp/chunked-rush-logs/ts-agent-memory-sqlite-vec.build.chunks.jsonl +9 -0
  3. package/.rush/temp/operation/build/all.log +9 -0
  4. package/.rush/temp/operation/build/log-chunks.jsonl +9 -0
  5. package/.rush/temp/operation/build/state.json +3 -0
  6. package/.rush/temp/shrinkwrap-deps.json +720 -0
  7. package/README.md +109 -0
  8. package/config/api-extractor.json +38 -0
  9. package/config/jest.config.json +13 -0
  10. package/config/rig.json +6 -0
  11. package/dist/index.js +6 -0
  12. package/dist/index.js.map +1 -0
  13. package/dist/packlets/sqlite-vec-index/index.js +8 -0
  14. package/dist/packlets/sqlite-vec-index/index.js.map +1 -0
  15. package/dist/packlets/sqlite-vec-index/model.js +6 -0
  16. package/dist/packlets/sqlite-vec-index/model.js.map +1 -0
  17. package/dist/packlets/sqlite-vec-index/sqliteVecFragmentIndex.js +277 -0
  18. package/dist/packlets/sqlite-vec-index/sqliteVecFragmentIndex.js.map +1 -0
  19. package/dist/packlets/sqlite-vec-index/sqliteVecVectorIndex.js +182 -0
  20. package/dist/packlets/sqlite-vec-index/sqliteVecVectorIndex.js.map +1 -0
  21. package/dist/test/unit/sqliteVecFragmentIndex.test.js +352 -0
  22. package/dist/test/unit/sqliteVecFragmentIndex.test.js.map +1 -0
  23. package/dist/test/unit/sqliteVecVectorIndex.test.js +199 -0
  24. package/dist/test/unit/sqliteVecVectorIndex.test.js.map +1 -0
  25. package/dist/ts-agent-memory-sqlite-vec.d.ts +225 -0
  26. package/dist/tsdoc-metadata.json +11 -0
  27. package/eslint.config.js +15 -0
  28. package/etc/ts-agent-memory-sqlite-vec.api.md +66 -0
  29. package/lib/index.d.ts +2 -0
  30. package/lib/index.d.ts.map +1 -0
  31. package/lib/index.js +22 -0
  32. package/lib/index.js.map +1 -0
  33. package/lib/packlets/sqlite-vec-index/index.d.ts +4 -0
  34. package/lib/packlets/sqlite-vec-index/index.d.ts.map +1 -0
  35. package/lib/packlets/sqlite-vec-index/index.js +24 -0
  36. package/lib/packlets/sqlite-vec-index/index.js.map +1 -0
  37. package/lib/packlets/sqlite-vec-index/model.d.ts +48 -0
  38. package/lib/packlets/sqlite-vec-index/model.d.ts.map +1 -0
  39. package/lib/packlets/sqlite-vec-index/model.js +7 -0
  40. package/lib/packlets/sqlite-vec-index/model.js.map +1 -0
  41. package/lib/packlets/sqlite-vec-index/sqliteVecFragmentIndex.d.ts +94 -0
  42. package/lib/packlets/sqlite-vec-index/sqliteVecFragmentIndex.d.ts.map +1 -0
  43. package/lib/packlets/sqlite-vec-index/sqliteVecFragmentIndex.js +281 -0
  44. package/lib/packlets/sqlite-vec-index/sqliteVecFragmentIndex.js.map +1 -0
  45. package/lib/packlets/sqlite-vec-index/sqliteVecVectorIndex.d.ts +80 -0
  46. package/lib/packlets/sqlite-vec-index/sqliteVecVectorIndex.d.ts.map +1 -0
  47. package/lib/packlets/sqlite-vec-index/sqliteVecVectorIndex.js +186 -0
  48. package/lib/packlets/sqlite-vec-index/sqliteVecVectorIndex.js.map +1 -0
  49. package/lib/test/unit/sqliteVecFragmentIndex.test.d.ts +2 -0
  50. package/lib/test/unit/sqliteVecFragmentIndex.test.d.ts.map +1 -0
  51. package/lib/test/unit/sqliteVecFragmentIndex.test.js +390 -0
  52. package/lib/test/unit/sqliteVecFragmentIndex.test.js.map +1 -0
  53. package/lib/test/unit/sqliteVecVectorIndex.test.d.ts +2 -0
  54. package/lib/test/unit/sqliteVecVectorIndex.test.d.ts.map +1 -0
  55. package/lib/test/unit/sqliteVecVectorIndex.test.js +237 -0
  56. package/lib/test/unit/sqliteVecVectorIndex.test.js.map +1 -0
  57. package/package.json +87 -0
  58. package/rush-logs/ts-agent-memory-sqlite-vec.build.cache.log +3 -0
  59. package/rush-logs/ts-agent-memory-sqlite-vec.build.log +9 -0
  60. package/src/index.ts +6 -0
  61. package/src/packlets/sqlite-vec-index/index.ts +8 -0
  62. package/src/packlets/sqlite-vec-index/model.ts +56 -0
  63. package/src/packlets/sqlite-vec-index/sqliteVecFragmentIndex.ts +381 -0
  64. package/src/packlets/sqlite-vec-index/sqliteVecVectorIndex.ts +255 -0
  65. package/src/test/unit/sqliteVecFragmentIndex.test.ts +466 -0
  66. package/src/test/unit/sqliteVecVectorIndex.test.ts +253 -0
  67. package/temp/build/lint/_eslint-5eVG3S6w.json +34 -0
  68. package/temp/build/typescript/ts_8nwakTlr.json +1 -0
  69. package/temp/ts-agent-memory-sqlite-vec.api.json +1167 -0
  70. package/temp/ts-agent-memory-sqlite-vec.api.md +66 -0
  71. package/tsconfig.json +8 -0
@@ -0,0 +1,390 @@
1
+ "use strict";
2
+ /*
3
+ * Copyright (c) 2026 Erik Fortune
4
+ * SPDX-License-Identifier: MIT
5
+ */
6
+ var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
7
+ if (k2 === undefined) k2 = k;
8
+ var desc = Object.getOwnPropertyDescriptor(m, k);
9
+ if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
10
+ desc = { enumerable: true, get: function() { return m[k]; } };
11
+ }
12
+ Object.defineProperty(o, k2, desc);
13
+ }) : (function(o, m, k, k2) {
14
+ if (k2 === undefined) k2 = k;
15
+ o[k2] = m[k];
16
+ }));
17
+ var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
18
+ Object.defineProperty(o, "default", { enumerable: true, value: v });
19
+ }) : function(o, v) {
20
+ o["default"] = v;
21
+ });
22
+ var __importStar = (this && this.__importStar) || (function () {
23
+ var ownKeys = function(o) {
24
+ ownKeys = Object.getOwnPropertyNames || function (o) {
25
+ var ar = [];
26
+ for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
27
+ return ar;
28
+ };
29
+ return ownKeys(o);
30
+ };
31
+ return function (mod) {
32
+ if (mod && mod.__esModule) return mod;
33
+ var result = {};
34
+ if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
35
+ __setModuleDefault(result, mod);
36
+ return result;
37
+ };
38
+ })();
39
+ var __importDefault = (this && this.__importDefault) || function (mod) {
40
+ return (mod && mod.__esModule) ? mod : { "default": mod };
41
+ };
42
+ Object.defineProperty(exports, "__esModule", { value: true });
43
+ require("@fgv/ts-utils-jest");
44
+ const better_sqlite3_1 = __importDefault(require("better-sqlite3"));
45
+ const fs = __importStar(require("fs"));
46
+ const os = __importStar(require("os"));
47
+ const path = __importStar(require("path"));
48
+ const index_1 = require("../../index");
49
+ function target(scope, id) {
50
+ return { scope: scope, id: id };
51
+ }
52
+ function loc(start, end) {
53
+ return { start, end };
54
+ }
55
+ function frag(start, end, ...values) {
56
+ return { locator: loc(start, end), vector: Float32Array.from(values) };
57
+ }
58
+ describe('SqliteVecFragmentIndex', () => {
59
+ let db;
60
+ beforeEach(() => {
61
+ db = new better_sqlite3_1.default(':memory:');
62
+ });
63
+ afterEach(() => {
64
+ // Some tests close `db` themselves to exercise error paths; guard double-close.
65
+ if (db.open) {
66
+ db.close();
67
+ }
68
+ });
69
+ async function makeIndex() {
70
+ return (await index_1.SqliteVecFragmentIndex.create({ database: db })).orThrow();
71
+ }
72
+ describe('create', () => {
73
+ test('succeeds over a fresh database with an empty index', async () => {
74
+ expect(await index_1.SqliteVecFragmentIndex.create({ database: db })).toSucceedAndSatisfy((index) => {
75
+ expect(index.recordCount).toBe(0);
76
+ expect(index.fragmentCount).toBe(0);
77
+ });
78
+ });
79
+ test('rejects a table name that is not a simple identifier', async () => {
80
+ expect(await index_1.SqliteVecFragmentIndex.create({ database: db, tableName: 'bad name; DROP TABLE x' })).toFailWith(/not a simple SQL identifier/i);
81
+ });
82
+ test('fails loudly when the sqlite-vec extension cannot load (closed database)', async () => {
83
+ const closed = new better_sqlite3_1.default(':memory:');
84
+ closed.close();
85
+ expect(await index_1.SqliteVecFragmentIndex.create({ database: closed })).toFailWith(/failed to initialize/i);
86
+ });
87
+ test('recovers no dimension from a pre-existing non-vec0 table of the same name', async () => {
88
+ db.exec('CREATE TABLE memory_fragments (foo TEXT)');
89
+ expect(await index_1.SqliteVecFragmentIndex.create({ database: db })).toSucceedAndSatisfy((index) => {
90
+ expect(index.recordCount).toBe(0);
91
+ });
92
+ });
93
+ });
94
+ describe('addFragments', () => {
95
+ test('stores every fragment and reports the count; tracks record/fragment counts', async () => {
96
+ const index = await makeIndex();
97
+ expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])).toSucceedWith(2);
98
+ expect(index.recordCount).toBe(1);
99
+ expect(index.fragmentCount).toBe(2);
100
+ });
101
+ test('whole-record replace — a second addFragments drops the prior fragments', async () => {
102
+ const index = await makeIndex();
103
+ const t = target('knowledge', 'doc-a');
104
+ (await index.addFragments(t, [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])).orThrow();
105
+ expect(await index.addFragments(t, [frag(0, 3, 1, 1)])).toSucceedWith(1);
106
+ expect(index.recordCount).toBe(1);
107
+ expect(index.fragmentCount).toBe(1);
108
+ expect(await index.query(Float32Array.from([1, 1]), 5)).toSucceedAndSatisfy((hits) => {
109
+ expect(hits).toHaveLength(1);
110
+ expect(hits[0].locator).toEqual(loc(0, 3));
111
+ });
112
+ });
113
+ test('an empty fragments array drops an existing record', async () => {
114
+ const index = await makeIndex();
115
+ const t = target('knowledge', 'doc-a');
116
+ (await index.addFragments(t, [frag(0, 5, 1, 0)])).orThrow();
117
+ expect(await index.addFragments(t, [])).toSucceedWith(0);
118
+ expect(index.recordCount).toBe(0);
119
+ expect(index.fragmentCount).toBe(0);
120
+ });
121
+ test('an empty fragments array on a fresh index is a no-op (no table created)', async () => {
122
+ const index = await makeIndex();
123
+ expect(await index.addFragments(target('knowledge', 'doc-a'), [])).toSucceedWith(0);
124
+ expect(index.recordCount).toBe(0);
125
+ // A later real add still establishes the dimension cleanly.
126
+ expect(await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 1, 0)])).toSucceedWith(1);
127
+ });
128
+ test('same stem in different scopes are distinct entries', async () => {
129
+ const index = await makeIndex();
130
+ (await index.addFragments(target('conversations/a', 'turn-3'), [frag(0, 5, 1, 0)])).orThrow();
131
+ (await index.addFragments(target('conversations/b', 'turn-3'), [frag(0, 5, 0, 1)])).orThrow();
132
+ expect(index.recordCount).toBe(2);
133
+ expect(index.fragmentCount).toBe(2);
134
+ });
135
+ test('fails loudly on an empty fragment vector — and stores nothing', async () => {
136
+ const index = await makeIndex();
137
+ expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10)])).toFailWith(/cannot add 'knowledge\0doc-a': empty fragment vector/i);
138
+ expect(index.recordCount).toBe(0);
139
+ });
140
+ test('fails loudly on a fragment-dimension mismatch against the established dimension', async () => {
141
+ const index = await makeIndex();
142
+ (await index.addFragments(target('knowledge', 'a'), [frag(0, 5, 1, 0)])).orThrow();
143
+ expect(await index.addFragments(target('knowledge', 'b'), [frag(0, 5, 1, 0, 0)])).toFailWith(/fragment dimension 3 does not match index dimension 2/i);
144
+ });
145
+ test('rejects a non-safe-integer locator offset up front (never persists an unreadable locator)', async () => {
146
+ const index = await makeIndex();
147
+ // A non-integer offset: reject before the write, with a clear message.
148
+ expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0.5, 5, 1, 0)])).toFailWith(/locator \[0\.5, 5\) offsets must be safe integers/i);
149
+ // A too-large (non-safe) integer offset is likewise rejected.
150
+ expect(await index.addFragments(target('knowledge', 'doc-b'), [frag(0, Number.MAX_SAFE_INTEGER + 1, 1, 0)])).toFailWith(/offsets must be safe integers/i);
151
+ expect(index.recordCount).toBe(0);
152
+ });
153
+ test('a failed multi-fragment add on a fresh index does not establish a dimension (all-or-nothing)', async () => {
154
+ const index = await makeIndex();
155
+ // dim 2 then dim 3 in the same batch: fails, and must NOT commit dim 2.
156
+ expect(await index.addFragments(target('knowledge', 'doc-1'), [frag(0, 5, 1, 0), frag(5, 10, 1, 0, 0)])).toFailWith(/fragment dimension 3 does not match index dimension 2/i);
157
+ expect(index.recordCount).toBe(0);
158
+ // A fresh dim-3 record now indexes cleanly (the index was never poisoned to dim 2).
159
+ expect(await index.addFragments(target('knowledge', 'doc-2'), [frag(0, 5, 1, 0, 0)])).toSucceedWith(1);
160
+ });
161
+ test('fails loudly (best-effort caller unaffected) when the underlying add throws', async () => {
162
+ const index = await makeIndex();
163
+ (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();
164
+ db.close();
165
+ expect(await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 0, 1)])).toFailWith(/cannot add 'knowledge\0doc-b'/i);
166
+ });
167
+ test('fails loudly (never silently corrupts) when the table name collides with a non-vec0 table', async () => {
168
+ // A plain table already occupies the default name. `CREATE VIRTUAL TABLE IF NOT
169
+ // EXISTS` no-ops against it, so preparing the vector INSERT against the missing
170
+ // columns must fail loudly rather than corrupt state.
171
+ db.exec('CREATE TABLE memory_fragments (foo TEXT)');
172
+ const index = (await index_1.SqliteVecFragmentIndex.create({ database: db })).orThrow();
173
+ expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).toFailWith(/cannot add 'knowledge\0doc-a'/i);
174
+ });
175
+ });
176
+ describe('query', () => {
177
+ async function seeded() {
178
+ const index = await makeIndex();
179
+ (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])).orThrow();
180
+ (await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 1, 1)])).orThrow();
181
+ return index;
182
+ }
183
+ test('returns fragment hits in descending score order, each carrying its locator', async () => {
184
+ const index = await seeded();
185
+ expect(await index.query(Float32Array.from([1, 0]), 3)).toSucceedAndSatisfy((hits) => {
186
+ expect(hits[0].target.id).toBe('doc-a');
187
+ expect(hits[0].locator).toEqual(loc(0, 5));
188
+ expect(hits[0].score).toBeCloseTo(1, 5);
189
+ expect(hits[1].target.id).toBe('doc-b');
190
+ expect(hits[1].score).toBeCloseTo(1 / Math.sqrt(2), 5);
191
+ expect(hits[2].target.id).toBe('doc-a');
192
+ expect(hits[2].locator).toEqual(loc(5, 10));
193
+ expect(hits[2].score).toBeCloseTo(0, 5);
194
+ });
195
+ });
196
+ test('truncates to topK', async () => {
197
+ const index = await seeded();
198
+ expect(await index.query(Float32Array.from([1, 0]), 2)).toSucceedAndSatisfy((hits) => {
199
+ expect(hits).toHaveLength(2);
200
+ expect(hits.map((h) => h.target.id)).toEqual(['doc-a', 'doc-b']);
201
+ });
202
+ });
203
+ test('maxPerRecord caps fragments per record during selection (before the topK cut)', async () => {
204
+ const index = await makeIndex();
205
+ (await index.addFragments(target('knowledge', 'doc-a'), [
206
+ frag(0, 5, 1, 0),
207
+ frag(5, 10, 0.9, 0.1),
208
+ frag(10, 15, 0.8, 0.2)
209
+ ])).orThrow();
210
+ (await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 0.7, 0.3)])).orThrow();
211
+ // Without a cap the top-2 would be doc-a twice; maxPerRecord=1 surfaces doc-b.
212
+ expect(await index.query(Float32Array.from([1, 0]), 2, 1)).toSucceedAndSatisfy((hits) => {
213
+ expect(hits).toHaveLength(2);
214
+ expect(hits.map((h) => h.target.id)).toEqual(['doc-a', 'doc-b']);
215
+ expect(hits[0].locator).toEqual(loc(0, 5));
216
+ });
217
+ });
218
+ test('maxPerRecord=0 yields no hits', async () => {
219
+ const index = await seeded();
220
+ expect(await index.query(Float32Array.from([1, 0]), 5, 0)).toSucceedWith([]);
221
+ });
222
+ test('maxPerRecord larger than any record leaves the ranking unchanged', async () => {
223
+ const index = await seeded();
224
+ expect(await index.query(Float32Array.from([1, 0]), 5, 10)).toSucceedAndSatisfy((hits) => {
225
+ expect(hits).toHaveLength(3);
226
+ expect(hits[0].target.id).toBe('doc-a');
227
+ });
228
+ });
229
+ test('returns empty for a non-positive topK', async () => {
230
+ const index = await seeded();
231
+ expect(await index.query(Float32Array.from([1, 0]), 0)).toSucceedWith([]);
232
+ expect(await index.query(Float32Array.from([1, 0]), -5)).toSucceedWith([]);
233
+ });
234
+ test('returns empty before any add (no established dimension)', async () => {
235
+ const index = await makeIndex();
236
+ expect(await index.query(Float32Array.from([1, 0, 0]), 5)).toSucceedWith([]);
237
+ });
238
+ test('returns empty when a capped query runs against an emptied (but existing) table', async () => {
239
+ const index = await makeIndex();
240
+ const t = target('knowledge', 'doc-a');
241
+ (await index.addFragments(t, [frag(0, 5, 1, 0)])).orThrow();
242
+ (await index.addFragments(t, [])).orThrow(); // table now exists but holds 0 rows
243
+ // fetchK derives from the (zero) fragment count under a cap → short-circuits to [].
244
+ expect(await index.query(Float32Array.from([1, 0]), 5, 2)).toSucceedWith([]);
245
+ });
246
+ test('rejects a query vector of the wrong dimension', async () => {
247
+ const index = await seeded();
248
+ expect(await index.query(Float32Array.from([1, 0, 0]), 3)).toFailWith(/query dimension 3 does not match index dimension 2/i);
249
+ });
250
+ test('a capped query stops at topK even when more ranked rows remain', async () => {
251
+ // maxPerRecord makes the fetch span the full ranked set (3 fragments), but
252
+ // topK=1 must return exactly one hit — the top row — and stop.
253
+ const index = await seeded();
254
+ expect(await index.query(Float32Array.from([1, 0]), 1, 5)).toSucceedAndSatisfy((hits) => {
255
+ expect(hits).toHaveLength(1);
256
+ expect(hits[0].target.id).toBe('doc-a');
257
+ expect(hits[0].locator).toEqual(loc(0, 5));
258
+ });
259
+ });
260
+ test('fails loudly when the underlying query throws', async () => {
261
+ const index = await seeded();
262
+ db.close();
263
+ expect(await index.query(Float32Array.from([1, 0]), 3)).toFailWith(/query failed/i);
264
+ });
265
+ });
266
+ describe('remove', () => {
267
+ test('removes every fragment of a record and is reflected in subsequent queries', async () => {
268
+ const index = await makeIndex();
269
+ const a = target('knowledge', 'doc-a');
270
+ const b = target('knowledge', 'doc-b');
271
+ (await index.addFragments(a, [frag(0, 5, 1, 0), frag(5, 10, 1, 0)])).orThrow();
272
+ (await index.addFragments(b, [frag(0, 5, 0, 1)])).orThrow();
273
+ expect(await index.remove(a)).toSucceedWith(a);
274
+ expect(index.recordCount).toBe(1);
275
+ expect(index.fragmentCount).toBe(1);
276
+ expect(await index.query(Float32Array.from([1, 0]), 5)).toSucceedAndSatisfy((hits) => {
277
+ expect(hits.map((h) => h.target.id)).toEqual(['doc-b']);
278
+ });
279
+ });
280
+ test('is idempotent — removing a missing target succeeds', async () => {
281
+ const index = await makeIndex();
282
+ (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();
283
+ expect(await index.remove(target('knowledge', 'missing'))).toSucceedWith(target('knowledge', 'missing'));
284
+ expect(index.recordCount).toBe(1);
285
+ });
286
+ test('succeeds before any add (no table yet)', async () => {
287
+ const index = await makeIndex();
288
+ expect(await index.remove(target('knowledge', 'doc-a'))).toSucceedWith(target('knowledge', 'doc-a'));
289
+ expect(index.recordCount).toBe(0);
290
+ });
291
+ test('fails loudly when the underlying remove throws', async () => {
292
+ const index = await makeIndex();
293
+ (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();
294
+ db.close();
295
+ expect(await index.remove(target('knowledge', 'doc-a'))).toFailWith(/cannot remove 'knowledge\0doc-a'/i);
296
+ });
297
+ });
298
+ describe('safe-integer mode and corrupt persisted data', () => {
299
+ const toBlob = (...v) => new Uint8Array(Float32Array.from(v).buffer);
300
+ async function seededWithRow() {
301
+ // A valid add creates the table and establishes dim 2; corrupt rows are then
302
+ // inserted directly to model externally-edited / safe-integer-mode data.
303
+ const index = await makeIndex();
304
+ (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();
305
+ return index;
306
+ }
307
+ function insertRaw(key, start, end, ...vec) {
308
+ db.prepare('INSERT INTO memory_fragments(target_key, embedding, start_off, end_off) VALUES (?, ?, ?, ?)').run(key, toBlob(...vec), start, end);
309
+ }
310
+ test('coerces bigint offsets (better-sqlite3 safe-integer mode) to number locators', async () => {
311
+ const index = await seededWithRow();
312
+ // Under safe-integer mode every integer column comes back as a bigint.
313
+ db.defaultSafeIntegers(true);
314
+ expect(await index.query(Float32Array.from([1, 0]), 1)).toSucceedAndSatisfy((hits) => {
315
+ const locator = hits[0].locator;
316
+ expect(locator).toEqual(loc(0, 5));
317
+ expect(typeof (locator === null || locator === void 0 ? void 0 : locator.start)).toBe('number');
318
+ expect(typeof (locator === null || locator === void 0 ? void 0 : locator.end)).toBe('number');
319
+ });
320
+ });
321
+ test('fails loudly when a stored offset is outside the safe-integer range', async () => {
322
+ const index = await seededWithRow();
323
+ // Safe-integer mode returns the huge offset as a bigint (no read-time throw),
324
+ // so the _toOffset guard is what must fire.
325
+ db.defaultSafeIntegers(true);
326
+ insertRaw('knowledge\0doc-b', BigInt(2) ** BigInt(60), BigInt(0), 0, 1);
327
+ expect(await index.query(Float32Array.from([0, 1]), 5)).toFailWith(/locator offset .* is not a safe integer/i);
328
+ });
329
+ test('fails loudly when a stored key is missing the NUL separator', async () => {
330
+ const index = await seededWithRow();
331
+ insertRaw('nonulkey', BigInt(0), BigInt(5), 0, 1);
332
+ expect(await index.query(Float32Array.from([0, 1]), 5)).toFailWith(/missing scope\/id separator/i);
333
+ });
334
+ });
335
+ describe('custom table name', () => {
336
+ test('two fragment indexes on distinct tables in one database are independent', async () => {
337
+ const a = (await index_1.SqliteVecFragmentIndex.create({ database: db, tableName: 'frag_a' })).orThrow();
338
+ const b = (await index_1.SqliteVecFragmentIndex.create({ database: db, tableName: 'frag_b' })).orThrow();
339
+ (await a.addFragments(target('s', 'one'), [frag(0, 5, 1, 0)])).orThrow();
340
+ expect(a.fragmentCount).toBe(1);
341
+ expect(b.fragmentCount).toBe(0);
342
+ });
343
+ });
344
+ describe('persistence across reopen (the durability guarantee)', () => {
345
+ let dir;
346
+ let dbPath;
347
+ beforeEach(() => {
348
+ dir = fs.mkdtempSync(path.join(os.tmpdir(), 'svfrag-'));
349
+ dbPath = path.join(dir, 'fragments.db');
350
+ });
351
+ afterEach(() => {
352
+ fs.rmSync(dir, { recursive: true, force: true });
353
+ });
354
+ test('fragments written to a file survive a close + reopen with no re-embed, dimension + locators recovered', async () => {
355
+ const first = new better_sqlite3_1.default(dbPath);
356
+ const writeIndex = (await index_1.SqliteVecFragmentIndex.create({ database: first })).orThrow();
357
+ (await writeIndex.addFragments(target('knowledge', 'doc-a'), [
358
+ frag(0, 5, 1, 0, 0),
359
+ frag(5, 12, 0, 1, 0)
360
+ ])).orThrow();
361
+ (await writeIndex.addFragments(target('conversations/c', 'turn-1'), [frag(0, 8, 0.9, 0.1, 0)])).orThrow();
362
+ first.close();
363
+ // Second session: a brand-new connection + index over the same file. No adds
364
+ // (no re-embedding) — fragments, dimension, and locators come straight off disk.
365
+ const second = new better_sqlite3_1.default(dbPath);
366
+ const reopened = (await index_1.SqliteVecFragmentIndex.create({ database: second })).orThrow();
367
+ try {
368
+ expect(reopened.recordCount).toBe(2);
369
+ expect(reopened.fragmentCount).toBe(3);
370
+ expect(await reopened.query(Float32Array.from([1, 0, 0]), 3)).toSucceedAndSatisfy((hits) => {
371
+ expect(hits[0].target).toEqual(target('knowledge', 'doc-a'));
372
+ expect(hits[0].locator).toEqual(loc(0, 5));
373
+ expect(hits[0].score).toBeCloseTo(1, 5);
374
+ // the cross-scope target round-trips its full (scope, id) and locator
375
+ expect(hits[1].target).toEqual(target('conversations/c', 'turn-1'));
376
+ expect(hits[1].locator).toEqual(loc(0, 8));
377
+ });
378
+ // The recovered dimension is enforced on a post-reopen add.
379
+ expect(await reopened.addFragments(target('knowledge', 'w'), [frag(0, 4, 1, 0)])).toFailWith(/fragment dimension 2 does not match index dimension 3/i);
380
+ // A matching-dimension add still works and persists incrementally.
381
+ (await reopened.addFragments(target('knowledge', 'w'), [frag(0, 4, 0, 0, 1)])).orThrow();
382
+ expect(reopened.recordCount).toBe(3);
383
+ }
384
+ finally {
385
+ second.close();
386
+ }
387
+ });
388
+ });
389
+ });
390
+ //# sourceMappingURL=sqliteVecFragmentIndex.test.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"sqliteVecFragmentIndex.test.js","sourceRoot":"","sources":["../../../src/test/unit/sqliteVecFragmentIndex.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,8BAA4B;AAE5B,oEAA2C;AAC3C,uCAAyB;AACzB,uCAAyB;AACzB,2CAA6B;AAS7B,uCAAqD;AAErD,SAAS,MAAM,CAAC,KAAa,EAAE,EAAU;IACvC,OAAO,EAAE,KAAK,EAAE,KAAkC,EAAE,EAAE,EAAE,EAAyB,EAAE,CAAC;AACtF,CAAC;AACD,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW;IACrC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AACD,SAAS,IAAI,CAAC,KAAa,EAAE,GAAW,EAAE,GAAG,MAAgB;IAC3D,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,EAA0B,CAAC;IAE/B,UAAU,CAAC,GAAG,EAAE;QACd,EAAE,GAAG,IAAI,wBAAa,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE;QACb,gFAAgF;QAChF,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACZ,EAAE,CAAC,KAAK,EAAE,CAAC;QACb,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,KAAK,UAAU,SAAS;QACtB,OAAO,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3E,CAAC;IAED,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC/E,CAAC,KAA6B,EAAE,EAAE;gBAChC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,CACJ,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,wBAAwB,EAAE,CAAC,CAC3F,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;YAC1F,MAAM,MAAM,GAAG,IAAI,wBAAa,CAAC,UAAU,CAAC,CAAC;YAC7C,MAAM,CAAC,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QACxG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;YAC3F,EAAE,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC/E,CAAC,KAA6B,EAAE,EAAE;gBAChC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAI,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;YAC5F,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CACJ,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9F,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;YACxF,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/E,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACzE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CACzE,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACnE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5D,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;YACzF,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACpF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,4DAA4D;YAC5D,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACtG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC9F,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC9F,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CACJ,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACxF,CAAC,UAAU,CAAC,uDAAuD,CAAC,CAAC;YACtE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;YACjG,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACnF,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAC1F,wDAAwD,CACzD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;YAC3G,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,uEAAuE;YACvE,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAC7F,oDAAoD,CACrD,CAAC;YACF,8DAA8D;YAC9D,MAAM,CACJ,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACrG,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8FAA8F,EAAE,KAAK,IAAI,EAAE;YAC9G,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,wEAAwE;YACxE,MAAM,CACJ,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CACjG,CAAC,UAAU,CAAC,wDAAwD,CAAC,CAAC;YACvE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,oFAAoF;YACpF,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACzG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;YAC7F,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,EAAE,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAC3F,gCAAgC,CACjC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;YAC3G,gFAAgF;YAChF,gFAAgF;YAChF,sDAAsD;YACtD,EAAE,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAChF,MAAM,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAC3F,gCAAgC,CACjC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,KAAK,UAAU,MAAM;YACnB,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CACE,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9F,CAAC,OAAO,EAAE,CAAC;YACZ,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;YAC5F,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CACzE,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC5C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mBAAmB,EAAE,KAAK,IAAI,EAAE;YACnC,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CACzE,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YACnE,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;YAC/F,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CACE,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE;gBACrD,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;gBACrB,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC;aACvB,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;YACZ,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC3F,+EAA+E;YAC/E,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAC5E,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAClF,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC7E,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;YACvD,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACzE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;YAChG,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5D,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,oCAAoC;YACjF,oFAAoF;YACpF,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;YAC/D,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CACnE,qDAAqD,CACtD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAChF,2EAA2E;YAC3E,+DAA+D;YAC/D,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAC5E,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;YAC/D,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,EAAE,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;YAC3F,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/E,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5D,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CACzE,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1D,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CACtE,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAC/B,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;YACxD,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YACrG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;YAChE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,EAAE,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CACjE,mCAAmC,CACpC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,CAAW,EAAc,EAAE,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAE3F,KAAK,UAAU,aAAa;YAC1B,6EAA6E;YAC7E,yEAAyE;YACzE,MAAM,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;YAChC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,SAAS,CAAC,GAAW,EAAE,KAAa,EAAE,GAAW,EAAE,GAAG,GAAa;YAC1E,EAAE,CAAC,OAAO,CACR,6FAA6F,CAC9F,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,KAAK,GAAG,MAAM,aAAa,EAAE,CAAC;YACpC,uEAAuE;YACvE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CACzE,CAAC,IAAoC,EAAE,EAAE;gBACvC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,CAAC,OAAO,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK,CAAA,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,MAAM,CAAC,OAAO,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,GAAG,CAAA,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACrF,MAAM,KAAK,GAAG,MAAM,aAAa,EAAE,CAAC;YACpC,8EAA8E;YAC9E,4CAA4C;YAC5C,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC7B,SAAS,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACxE,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAChE,0CAA0C,CAC3C,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;YAC7E,MAAM,KAAK,GAAG,MAAM,aAAa,EAAE,CAAC;YACpC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QACrG,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;YACzF,MAAM,CAAC,GAAG,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACjG,MAAM,CAAC,GAAG,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACjG,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACzE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,IAAI,GAAW,CAAC;QAChB,IAAI,MAAc,CAAC;QAEnB,UAAU,CAAC,GAAG,EAAE;YACd,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;YACxD,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QACH,SAAS,CAAC,GAAG,EAAE;YACb,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uGAAuG,EAAE,KAAK,IAAI,EAAE;YACvH,MAAM,KAAK,GAAG,IAAI,wBAAa,CAAC,MAAM,CAAC,CAAC;YACxC,MAAM,UAAU,GAAG,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACxF,CACE,MAAM,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE;gBAC1D,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aACrB,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;YACZ,CACE,MAAM,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAC9F,CAAC,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,KAAK,EAAE,CAAC;YAEd,6EAA6E;YAC7E,iFAAiF;YACjF,MAAM,MAAM,GAAG,IAAI,wBAAa,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,CAAC,MAAM,8BAAsB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACvF,IAAI,CAAC;gBACH,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAC/E,CAAC,IAAoC,EAAE,EAAE;oBACvC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;oBAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACxC,sEAAsE;oBACtE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC;oBACpE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC7C,CAAC,CACF,CAAC;gBACF,4DAA4D;gBAC5D,MAAM,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAC1F,wDAAwD,CACzD,CAAC;gBACF,mEAAmE;gBACnE,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACzF,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC;oBAAS,CAAC;gBACT,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport '@fgv/ts-utils-jest';\n\nimport BetterSqlite3 from 'better-sqlite3';\nimport * as fs from 'fs';\nimport * as os from 'os';\nimport * as path from 'path';\nimport {\n IEdgeTarget,\n IEmbeddedFragment,\n IFragmentLocator,\n IVectorQueryHit,\n MemoryId,\n MemoryScopeKey\n} from '@fgv/ts-agent-memory';\nimport { SqliteVecFragmentIndex } from '../../index';\n\nfunction target(scope: string, id: string): IEdgeTarget {\n return { scope: scope as unknown as MemoryScopeKey, id: id as unknown as MemoryId };\n}\nfunction loc(start: number, end: number): IFragmentLocator {\n return { start, end };\n}\nfunction frag(start: number, end: number, ...values: number[]): IEmbeddedFragment {\n return { locator: loc(start, end), vector: Float32Array.from(values) };\n}\n\ndescribe('SqliteVecFragmentIndex', () => {\n let db: BetterSqlite3.Database;\n\n beforeEach(() => {\n db = new BetterSqlite3(':memory:');\n });\n afterEach(() => {\n // Some tests close `db` themselves to exercise error paths; guard double-close.\n if (db.open) {\n db.close();\n }\n });\n\n async function makeIndex(): Promise<SqliteVecFragmentIndex> {\n return (await SqliteVecFragmentIndex.create({ database: db })).orThrow();\n }\n\n describe('create', () => {\n test('succeeds over a fresh database with an empty index', async () => {\n expect(await SqliteVecFragmentIndex.create({ database: db })).toSucceedAndSatisfy(\n (index: SqliteVecFragmentIndex) => {\n expect(index.recordCount).toBe(0);\n expect(index.fragmentCount).toBe(0);\n }\n );\n });\n\n test('rejects a table name that is not a simple identifier', async () => {\n expect(\n await SqliteVecFragmentIndex.create({ database: db, tableName: 'bad name; DROP TABLE x' })\n ).toFailWith(/not a simple SQL identifier/i);\n });\n\n test('fails loudly when the sqlite-vec extension cannot load (closed database)', async () => {\n const closed = new BetterSqlite3(':memory:');\n closed.close();\n expect(await SqliteVecFragmentIndex.create({ database: closed })).toFailWith(/failed to initialize/i);\n });\n\n test('recovers no dimension from a pre-existing non-vec0 table of the same name', async () => {\n db.exec('CREATE TABLE memory_fragments (foo TEXT)');\n expect(await SqliteVecFragmentIndex.create({ database: db })).toSucceedAndSatisfy(\n (index: SqliteVecFragmentIndex) => {\n expect(index.recordCount).toBe(0);\n }\n );\n });\n });\n\n describe('addFragments', () => {\n test('stores every fragment and reports the count; tracks record/fragment counts', async () => {\n const index = await makeIndex();\n expect(\n await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])\n ).toSucceedWith(2);\n expect(index.recordCount).toBe(1);\n expect(index.fragmentCount).toBe(2);\n });\n\n test('whole-record replace — a second addFragments drops the prior fragments', async () => {\n const index = await makeIndex();\n const t = target('knowledge', 'doc-a');\n (await index.addFragments(t, [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])).orThrow();\n expect(await index.addFragments(t, [frag(0, 3, 1, 1)])).toSucceedWith(1);\n expect(index.recordCount).toBe(1);\n expect(index.fragmentCount).toBe(1);\n expect(await index.query(Float32Array.from([1, 1]), 5)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits).toHaveLength(1);\n expect(hits[0].locator).toEqual(loc(0, 3));\n }\n );\n });\n\n test('an empty fragments array drops an existing record', async () => {\n const index = await makeIndex();\n const t = target('knowledge', 'doc-a');\n (await index.addFragments(t, [frag(0, 5, 1, 0)])).orThrow();\n expect(await index.addFragments(t, [])).toSucceedWith(0);\n expect(index.recordCount).toBe(0);\n expect(index.fragmentCount).toBe(0);\n });\n\n test('an empty fragments array on a fresh index is a no-op (no table created)', async () => {\n const index = await makeIndex();\n expect(await index.addFragments(target('knowledge', 'doc-a'), [])).toSucceedWith(0);\n expect(index.recordCount).toBe(0);\n // A later real add still establishes the dimension cleanly.\n expect(await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 1, 0)])).toSucceedWith(1);\n });\n\n test('same stem in different scopes are distinct entries', async () => {\n const index = await makeIndex();\n (await index.addFragments(target('conversations/a', 'turn-3'), [frag(0, 5, 1, 0)])).orThrow();\n (await index.addFragments(target('conversations/b', 'turn-3'), [frag(0, 5, 0, 1)])).orThrow();\n expect(index.recordCount).toBe(2);\n expect(index.fragmentCount).toBe(2);\n });\n\n test('fails loudly on an empty fragment vector — and stores nothing', async () => {\n const index = await makeIndex();\n expect(\n await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10)])\n ).toFailWith(/cannot add 'knowledge\\0doc-a': empty fragment vector/i);\n expect(index.recordCount).toBe(0);\n });\n\n test('fails loudly on a fragment-dimension mismatch against the established dimension', async () => {\n const index = await makeIndex();\n (await index.addFragments(target('knowledge', 'a'), [frag(0, 5, 1, 0)])).orThrow();\n expect(await index.addFragments(target('knowledge', 'b'), [frag(0, 5, 1, 0, 0)])).toFailWith(\n /fragment dimension 3 does not match index dimension 2/i\n );\n });\n\n test('rejects a non-safe-integer locator offset up front (never persists an unreadable locator)', async () => {\n const index = await makeIndex();\n // A non-integer offset: reject before the write, with a clear message.\n expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0.5, 5, 1, 0)])).toFailWith(\n /locator \\[0\\.5, 5\\) offsets must be safe integers/i\n );\n // A too-large (non-safe) integer offset is likewise rejected.\n expect(\n await index.addFragments(target('knowledge', 'doc-b'), [frag(0, Number.MAX_SAFE_INTEGER + 1, 1, 0)])\n ).toFailWith(/offsets must be safe integers/i);\n expect(index.recordCount).toBe(0);\n });\n\n test('a failed multi-fragment add on a fresh index does not establish a dimension (all-or-nothing)', async () => {\n const index = await makeIndex();\n // dim 2 then dim 3 in the same batch: fails, and must NOT commit dim 2.\n expect(\n await index.addFragments(target('knowledge', 'doc-1'), [frag(0, 5, 1, 0), frag(5, 10, 1, 0, 0)])\n ).toFailWith(/fragment dimension 3 does not match index dimension 2/i);\n expect(index.recordCount).toBe(0);\n // A fresh dim-3 record now indexes cleanly (the index was never poisoned to dim 2).\n expect(await index.addFragments(target('knowledge', 'doc-2'), [frag(0, 5, 1, 0, 0)])).toSucceedWith(1);\n });\n\n test('fails loudly (best-effort caller unaffected) when the underlying add throws', async () => {\n const index = await makeIndex();\n (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();\n db.close();\n expect(await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 0, 1)])).toFailWith(\n /cannot add 'knowledge\\0doc-b'/i\n );\n });\n\n test('fails loudly (never silently corrupts) when the table name collides with a non-vec0 table', async () => {\n // A plain table already occupies the default name. `CREATE VIRTUAL TABLE IF NOT\n // EXISTS` no-ops against it, so preparing the vector INSERT against the missing\n // columns must fail loudly rather than corrupt state.\n db.exec('CREATE TABLE memory_fragments (foo TEXT)');\n const index = (await SqliteVecFragmentIndex.create({ database: db })).orThrow();\n expect(await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).toFailWith(\n /cannot add 'knowledge\\0doc-a'/i\n );\n });\n });\n\n describe('query', () => {\n async function seeded(): Promise<SqliteVecFragmentIndex> {\n const index = await makeIndex();\n (\n await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0), frag(5, 10, 0, 1)])\n ).orThrow();\n (await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 1, 1)])).orThrow();\n return index;\n }\n\n test('returns fragment hits in descending score order, each carrying its locator', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 3)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits[0].target.id).toBe('doc-a');\n expect(hits[0].locator).toEqual(loc(0, 5));\n expect(hits[0].score).toBeCloseTo(1, 5);\n expect(hits[1].target.id).toBe('doc-b');\n expect(hits[1].score).toBeCloseTo(1 / Math.sqrt(2), 5);\n expect(hits[2].target.id).toBe('doc-a');\n expect(hits[2].locator).toEqual(loc(5, 10));\n expect(hits[2].score).toBeCloseTo(0, 5);\n }\n );\n });\n\n test('truncates to topK', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 2)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits).toHaveLength(2);\n expect(hits.map((h) => h.target.id)).toEqual(['doc-a', 'doc-b']);\n }\n );\n });\n\n test('maxPerRecord caps fragments per record during selection (before the topK cut)', async () => {\n const index = await makeIndex();\n (\n await index.addFragments(target('knowledge', 'doc-a'), [\n frag(0, 5, 1, 0),\n frag(5, 10, 0.9, 0.1),\n frag(10, 15, 0.8, 0.2)\n ])\n ).orThrow();\n (await index.addFragments(target('knowledge', 'doc-b'), [frag(0, 5, 0.7, 0.3)])).orThrow();\n // Without a cap the top-2 would be doc-a twice; maxPerRecord=1 surfaces doc-b.\n expect(await index.query(Float32Array.from([1, 0]), 2, 1)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits).toHaveLength(2);\n expect(hits.map((h) => h.target.id)).toEqual(['doc-a', 'doc-b']);\n expect(hits[0].locator).toEqual(loc(0, 5));\n }\n );\n });\n\n test('maxPerRecord=0 yields no hits', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 5, 0)).toSucceedWith([]);\n });\n\n test('maxPerRecord larger than any record leaves the ranking unchanged', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 5, 10)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits).toHaveLength(3);\n expect(hits[0].target.id).toBe('doc-a');\n }\n );\n });\n\n test('returns empty for a non-positive topK', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 0)).toSucceedWith([]);\n expect(await index.query(Float32Array.from([1, 0]), -5)).toSucceedWith([]);\n });\n\n test('returns empty before any add (no established dimension)', async () => {\n const index = await makeIndex();\n expect(await index.query(Float32Array.from([1, 0, 0]), 5)).toSucceedWith([]);\n });\n\n test('returns empty when a capped query runs against an emptied (but existing) table', async () => {\n const index = await makeIndex();\n const t = target('knowledge', 'doc-a');\n (await index.addFragments(t, [frag(0, 5, 1, 0)])).orThrow();\n (await index.addFragments(t, [])).orThrow(); // table now exists but holds 0 rows\n // fetchK derives from the (zero) fragment count under a cap → short-circuits to [].\n expect(await index.query(Float32Array.from([1, 0]), 5, 2)).toSucceedWith([]);\n });\n\n test('rejects a query vector of the wrong dimension', async () => {\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0, 0]), 3)).toFailWith(\n /query dimension 3 does not match index dimension 2/i\n );\n });\n\n test('a capped query stops at topK even when more ranked rows remain', async () => {\n // maxPerRecord makes the fetch span the full ranked set (3 fragments), but\n // topK=1 must return exactly one hit — the top row — and stop.\n const index = await seeded();\n expect(await index.query(Float32Array.from([1, 0]), 1, 5)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits).toHaveLength(1);\n expect(hits[0].target.id).toBe('doc-a');\n expect(hits[0].locator).toEqual(loc(0, 5));\n }\n );\n });\n\n test('fails loudly when the underlying query throws', async () => {\n const index = await seeded();\n db.close();\n expect(await index.query(Float32Array.from([1, 0]), 3)).toFailWith(/query failed/i);\n });\n });\n\n describe('remove', () => {\n test('removes every fragment of a record and is reflected in subsequent queries', async () => {\n const index = await makeIndex();\n const a = target('knowledge', 'doc-a');\n const b = target('knowledge', 'doc-b');\n (await index.addFragments(a, [frag(0, 5, 1, 0), frag(5, 10, 1, 0)])).orThrow();\n (await index.addFragments(b, [frag(0, 5, 0, 1)])).orThrow();\n expect(await index.remove(a)).toSucceedWith(a);\n expect(index.recordCount).toBe(1);\n expect(index.fragmentCount).toBe(1);\n expect(await index.query(Float32Array.from([1, 0]), 5)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits.map((h) => h.target.id)).toEqual(['doc-b']);\n }\n );\n });\n\n test('is idempotent — removing a missing target succeeds', async () => {\n const index = await makeIndex();\n (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();\n expect(await index.remove(target('knowledge', 'missing'))).toSucceedWith(\n target('knowledge', 'missing')\n );\n expect(index.recordCount).toBe(1);\n });\n\n test('succeeds before any add (no table yet)', async () => {\n const index = await makeIndex();\n expect(await index.remove(target('knowledge', 'doc-a'))).toSucceedWith(target('knowledge', 'doc-a'));\n expect(index.recordCount).toBe(0);\n });\n\n test('fails loudly when the underlying remove throws', async () => {\n const index = await makeIndex();\n (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();\n db.close();\n expect(await index.remove(target('knowledge', 'doc-a'))).toFailWith(\n /cannot remove 'knowledge\\0doc-a'/i\n );\n });\n });\n\n describe('safe-integer mode and corrupt persisted data', () => {\n const toBlob = (...v: number[]): Uint8Array => new Uint8Array(Float32Array.from(v).buffer);\n\n async function seededWithRow(): Promise<SqliteVecFragmentIndex> {\n // A valid add creates the table and establishes dim 2; corrupt rows are then\n // inserted directly to model externally-edited / safe-integer-mode data.\n const index = await makeIndex();\n (await index.addFragments(target('knowledge', 'doc-a'), [frag(0, 5, 1, 0)])).orThrow();\n return index;\n }\n\n function insertRaw(key: string, start: bigint, end: bigint, ...vec: number[]): void {\n db.prepare(\n 'INSERT INTO memory_fragments(target_key, embedding, start_off, end_off) VALUES (?, ?, ?, ?)'\n ).run(key, toBlob(...vec), start, end);\n }\n\n test('coerces bigint offsets (better-sqlite3 safe-integer mode) to number locators', async () => {\n const index = await seededWithRow();\n // Under safe-integer mode every integer column comes back as a bigint.\n db.defaultSafeIntegers(true);\n expect(await index.query(Float32Array.from([1, 0]), 1)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n const locator = hits[0].locator;\n expect(locator).toEqual(loc(0, 5));\n expect(typeof locator?.start).toBe('number');\n expect(typeof locator?.end).toBe('number');\n }\n );\n });\n\n test('fails loudly when a stored offset is outside the safe-integer range', async () => {\n const index = await seededWithRow();\n // Safe-integer mode returns the huge offset as a bigint (no read-time throw),\n // so the _toOffset guard is what must fire.\n db.defaultSafeIntegers(true);\n insertRaw('knowledge\\0doc-b', BigInt(2) ** BigInt(60), BigInt(0), 0, 1);\n expect(await index.query(Float32Array.from([0, 1]), 5)).toFailWith(\n /locator offset .* is not a safe integer/i\n );\n });\n\n test('fails loudly when a stored key is missing the NUL separator', async () => {\n const index = await seededWithRow();\n insertRaw('nonulkey', BigInt(0), BigInt(5), 0, 1);\n expect(await index.query(Float32Array.from([0, 1]), 5)).toFailWith(/missing scope\\/id separator/i);\n });\n });\n\n describe('custom table name', () => {\n test('two fragment indexes on distinct tables in one database are independent', async () => {\n const a = (await SqliteVecFragmentIndex.create({ database: db, tableName: 'frag_a' })).orThrow();\n const b = (await SqliteVecFragmentIndex.create({ database: db, tableName: 'frag_b' })).orThrow();\n (await a.addFragments(target('s', 'one'), [frag(0, 5, 1, 0)])).orThrow();\n expect(a.fragmentCount).toBe(1);\n expect(b.fragmentCount).toBe(0);\n });\n });\n\n describe('persistence across reopen (the durability guarantee)', () => {\n let dir: string;\n let dbPath: string;\n\n beforeEach(() => {\n dir = fs.mkdtempSync(path.join(os.tmpdir(), 'svfrag-'));\n dbPath = path.join(dir, 'fragments.db');\n });\n afterEach(() => {\n fs.rmSync(dir, { recursive: true, force: true });\n });\n\n test('fragments written to a file survive a close + reopen with no re-embed, dimension + locators recovered', async () => {\n const first = new BetterSqlite3(dbPath);\n const writeIndex = (await SqliteVecFragmentIndex.create({ database: first })).orThrow();\n (\n await writeIndex.addFragments(target('knowledge', 'doc-a'), [\n frag(0, 5, 1, 0, 0),\n frag(5, 12, 0, 1, 0)\n ])\n ).orThrow();\n (\n await writeIndex.addFragments(target('conversations/c', 'turn-1'), [frag(0, 8, 0.9, 0.1, 0)])\n ).orThrow();\n first.close();\n\n // Second session: a brand-new connection + index over the same file. No adds\n // (no re-embedding) — fragments, dimension, and locators come straight off disk.\n const second = new BetterSqlite3(dbPath);\n const reopened = (await SqliteVecFragmentIndex.create({ database: second })).orThrow();\n try {\n expect(reopened.recordCount).toBe(2);\n expect(reopened.fragmentCount).toBe(3);\n expect(await reopened.query(Float32Array.from([1, 0, 0]), 3)).toSucceedAndSatisfy(\n (hits: ReadonlyArray<IVectorQueryHit>) => {\n expect(hits[0].target).toEqual(target('knowledge', 'doc-a'));\n expect(hits[0].locator).toEqual(loc(0, 5));\n expect(hits[0].score).toBeCloseTo(1, 5);\n // the cross-scope target round-trips its full (scope, id) and locator\n expect(hits[1].target).toEqual(target('conversations/c', 'turn-1'));\n expect(hits[1].locator).toEqual(loc(0, 8));\n }\n );\n // The recovered dimension is enforced on a post-reopen add.\n expect(await reopened.addFragments(target('knowledge', 'w'), [frag(0, 4, 1, 0)])).toFailWith(\n /fragment dimension 2 does not match index dimension 3/i\n );\n // A matching-dimension add still works and persists incrementally.\n (await reopened.addFragments(target('knowledge', 'w'), [frag(0, 4, 0, 0, 1)])).orThrow();\n expect(reopened.recordCount).toBe(3);\n } finally {\n second.close();\n }\n });\n });\n});\n"]}
@@ -0,0 +1,2 @@
1
+ import '@fgv/ts-utils-jest';
2
+ //# sourceMappingURL=sqliteVecVectorIndex.test.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"sqliteVecVectorIndex.test.d.ts","sourceRoot":"","sources":["../../../src/test/unit/sqliteVecVectorIndex.test.ts"],"names":[],"mappings":"AAKA,OAAO,oBAAoB,CAAC"}