@fgv/ts-agent-memory 5.1.0-39 → 5.1.0-41
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.
- package/.rush/temp/{b82cf6bdece20481260e6bab946179eeec9d7b46.tar.log → cbbdbe09515171b4eba8f2592be2dace1e4e8142.tar.log} +14 -2
- package/.rush/temp/chunked-rush-logs/ts-agent-memory.build.chunks.jsonl +2 -2
- package/.rush/temp/operation/build/all.log +2 -2
- package/.rush/temp/operation/build/log-chunks.jsonl +2 -2
- package/.rush/temp/operation/build/state.json +1 -1
- package/dist/packlets/converters/envelopeConverter.js +17 -3
- package/dist/packlets/converters/envelopeConverter.js.map +1 -1
- package/dist/packlets/index/memoryIndex.js +58 -10
- package/dist/packlets/index/memoryIndex.js.map +1 -1
- package/dist/packlets/ingest/cycleGuard.js +13 -6
- package/dist/packlets/ingest/cycleGuard.js.map +1 -1
- package/dist/packlets/ingest/hostStages.js.map +1 -1
- package/dist/packlets/ingest/model.js.map +1 -1
- package/dist/packlets/ingest/orchestrator.js +94 -49
- package/dist/packlets/ingest/orchestrator.js.map +1 -1
- package/dist/packlets/retrieve/hybridRetriever.js +13 -2
- package/dist/packlets/retrieve/hybridRetriever.js.map +1 -1
- package/dist/packlets/retrieve/linkTraversalRetriever.js +46 -57
- package/dist/packlets/retrieve/linkTraversalRetriever.js.map +1 -1
- package/dist/packlets/retrieve/recencyRetriever.js +3 -3
- package/dist/packlets/retrieve/recencyRetriever.js.map +1 -1
- package/dist/packlets/retrieve/retriever.js +50 -7
- package/dist/packlets/retrieve/retriever.js.map +1 -1
- package/dist/packlets/retrieve/semanticRetriever.js +9 -3
- package/dist/packlets/retrieve/semanticRetriever.js.map +1 -1
- package/dist/packlets/retrieve/structuredFilterRetriever.js +3 -3
- package/dist/packlets/retrieve/structuredFilterRetriever.js.map +1 -1
- package/dist/packlets/retrieve/tagRetriever.js +3 -3
- package/dist/packlets/retrieve/tagRetriever.js.map +1 -1
- package/dist/packlets/retrieve/temporalRetrievers.js +3 -3
- package/dist/packlets/retrieve/temporalRetrievers.js.map +1 -1
- package/dist/packlets/store/fileTreeMemoryStore.js +72 -16
- package/dist/packlets/store/fileTreeMemoryStore.js.map +1 -1
- package/dist/packlets/tools/memoryTools.js +104 -21
- package/dist/packlets/tools/memoryTools.js.map +1 -1
- package/dist/packlets/types/envelope.js +13 -1
- package/dist/packlets/types/envelope.js.map +1 -1
- package/dist/packlets/vector/inMemoryCosineIndex.js +22 -17
- package/dist/packlets/vector/inMemoryCosineIndex.js.map +1 -1
- package/dist/packlets/vector/vectorIndex.js.map +1 -1
- package/dist/test/unit/converters/antagonistRoundTrip.test.js +3 -3
- package/dist/test/unit/converters/antagonistRoundTrip.test.js.map +1 -1
- package/dist/test/unit/converters/envelopeConverter.test.js +125 -8
- package/dist/test/unit/converters/envelopeConverter.test.js.map +1 -1
- package/dist/test/unit/index/memoryIndex.test.js +87 -25
- package/dist/test/unit/index/memoryIndex.test.js.map +1 -1
- package/dist/test/unit/ingest/antagonistCycleAndParity.test.js +20 -16
- package/dist/test/unit/ingest/antagonistCycleAndParity.test.js.map +1 -1
- package/dist/test/unit/ingest/cycleGuard.test.js +28 -1
- package/dist/test/unit/ingest/cycleGuard.test.js.map +1 -1
- package/dist/test/unit/ingest/orchestrator.test.js +187 -45
- package/dist/test/unit/ingest/orchestrator.test.js.map +1 -1
- package/dist/test/unit/retrieve/linkTraversalRetriever.test.js +106 -31
- package/dist/test/unit/retrieve/linkTraversalRetriever.test.js.map +1 -1
- package/dist/test/unit/retrieve/retrievers.test.js +299 -37
- package/dist/test/unit/retrieve/retrievers.test.js.map +1 -1
- package/dist/test/unit/store/embedOnWrite.test.js +69 -12
- package/dist/test/unit/store/embedOnWrite.test.js.map +1 -1
- package/dist/test/unit/store/listScoped.test.js +109 -0
- package/dist/test/unit/store/listScoped.test.js.map +1 -0
- package/dist/test/unit/store/rankAxis.test.js +254 -0
- package/dist/test/unit/store/rankAxis.test.js.map +1 -0
- package/dist/test/unit/tools/memoryTools.test.js +280 -11
- package/dist/test/unit/tools/memoryTools.test.js.map +1 -1
- package/dist/test/unit/types/writePolicy.test.js +9 -2
- package/dist/test/unit/types/writePolicy.test.js.map +1 -1
- package/dist/test/unit/vector/inMemoryCosineIndex.test.js +95 -35
- package/dist/test/unit/vector/inMemoryCosineIndex.test.js.map +1 -1
- package/dist/test/unit/vector/vectorIndex.test.js +24 -15
- package/dist/test/unit/vector/vectorIndex.test.js.map +1 -1
- package/dist/ts-agent-memory.d.ts +384 -97
- package/etc/ts-agent-memory.api.md +64 -22
- package/lib/packlets/converters/envelopeConverter.d.ts +8 -1
- package/lib/packlets/converters/envelopeConverter.d.ts.map +1 -1
- package/lib/packlets/converters/envelopeConverter.js +18 -4
- package/lib/packlets/converters/envelopeConverter.js.map +1 -1
- package/lib/packlets/index/memoryIndex.d.ts +42 -10
- package/lib/packlets/index/memoryIndex.d.ts.map +1 -1
- package/lib/packlets/index/memoryIndex.js +58 -10
- package/lib/packlets/index/memoryIndex.js.map +1 -1
- package/lib/packlets/ingest/cycleGuard.d.ts +5 -5
- package/lib/packlets/ingest/cycleGuard.d.ts.map +1 -1
- package/lib/packlets/ingest/cycleGuard.js +13 -6
- package/lib/packlets/ingest/cycleGuard.js.map +1 -1
- package/lib/packlets/ingest/hostStages.d.ts +3 -3
- package/lib/packlets/ingest/hostStages.d.ts.map +1 -1
- package/lib/packlets/ingest/hostStages.js.map +1 -1
- package/lib/packlets/ingest/model.d.ts +25 -14
- package/lib/packlets/ingest/model.d.ts.map +1 -1
- package/lib/packlets/ingest/model.js.map +1 -1
- package/lib/packlets/ingest/orchestrator.d.ts +18 -4
- package/lib/packlets/ingest/orchestrator.d.ts.map +1 -1
- package/lib/packlets/ingest/orchestrator.js +93 -48
- package/lib/packlets/ingest/orchestrator.js.map +1 -1
- package/lib/packlets/retrieve/hybridRetriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/hybridRetriever.js +12 -1
- package/lib/packlets/retrieve/hybridRetriever.js.map +1 -1
- package/lib/packlets/retrieve/linkTraversalRetriever.d.ts +18 -23
- package/lib/packlets/retrieve/linkTraversalRetriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/linkTraversalRetriever.js +45 -56
- package/lib/packlets/retrieve/linkTraversalRetriever.js.map +1 -1
- package/lib/packlets/retrieve/recencyRetriever.js +2 -2
- package/lib/packlets/retrieve/recencyRetriever.js.map +1 -1
- package/lib/packlets/retrieve/retriever.d.ts +70 -11
- package/lib/packlets/retrieve/retriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/retriever.js +52 -7
- package/lib/packlets/retrieve/retriever.js.map +1 -1
- package/lib/packlets/retrieve/semanticRetriever.d.ts.map +1 -1
- package/lib/packlets/retrieve/semanticRetriever.js +9 -3
- package/lib/packlets/retrieve/semanticRetriever.js.map +1 -1
- package/lib/packlets/retrieve/structuredFilterRetriever.js +2 -2
- package/lib/packlets/retrieve/structuredFilterRetriever.js.map +1 -1
- package/lib/packlets/retrieve/tagRetriever.js +2 -2
- package/lib/packlets/retrieve/tagRetriever.js.map +1 -1
- package/lib/packlets/retrieve/temporalRetrievers.js +3 -3
- package/lib/packlets/retrieve/temporalRetrievers.js.map +1 -1
- package/lib/packlets/store/fileTreeMemoryStore.d.ts +57 -3
- package/lib/packlets/store/fileTreeMemoryStore.d.ts.map +1 -1
- package/lib/packlets/store/fileTreeMemoryStore.js +72 -16
- package/lib/packlets/store/fileTreeMemoryStore.js.map +1 -1
- package/lib/packlets/tools/memoryTools.d.ts +24 -0
- package/lib/packlets/tools/memoryTools.d.ts.map +1 -1
- package/lib/packlets/tools/memoryTools.js +104 -21
- package/lib/packlets/tools/memoryTools.js.map +1 -1
- package/lib/packlets/types/envelope.d.ts +61 -8
- package/lib/packlets/types/envelope.d.ts.map +1 -1
- package/lib/packlets/types/envelope.js +14 -0
- package/lib/packlets/types/envelope.js.map +1 -1
- package/lib/packlets/vector/inMemoryCosineIndex.d.ts +9 -5
- package/lib/packlets/vector/inMemoryCosineIndex.d.ts.map +1 -1
- package/lib/packlets/vector/inMemoryCosineIndex.js +22 -17
- package/lib/packlets/vector/inMemoryCosineIndex.js.map +1 -1
- package/lib/packlets/vector/vectorIndex.d.ts +46 -20
- package/lib/packlets/vector/vectorIndex.d.ts.map +1 -1
- package/lib/packlets/vector/vectorIndex.js.map +1 -1
- package/lib/test/unit/converters/antagonistRoundTrip.test.js +3 -3
- package/lib/test/unit/converters/antagonistRoundTrip.test.js.map +1 -1
- package/lib/test/unit/converters/envelopeConverter.test.js +124 -7
- package/lib/test/unit/converters/envelopeConverter.test.js.map +1 -1
- package/lib/test/unit/index/memoryIndex.test.js +86 -24
- package/lib/test/unit/index/memoryIndex.test.js.map +1 -1
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.js +20 -16
- package/lib/test/unit/ingest/antagonistCycleAndParity.test.js.map +1 -1
- package/lib/test/unit/ingest/cycleGuard.test.js +28 -1
- package/lib/test/unit/ingest/cycleGuard.test.js.map +1 -1
- package/lib/test/unit/ingest/orchestrator.test.js +186 -44
- package/lib/test/unit/ingest/orchestrator.test.js.map +1 -1
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.js +106 -31
- package/lib/test/unit/retrieve/linkTraversalRetriever.test.js.map +1 -1
- package/lib/test/unit/retrieve/retrievers.test.js +298 -36
- package/lib/test/unit/retrieve/retrievers.test.js.map +1 -1
- package/lib/test/unit/store/embedOnWrite.test.js +68 -11
- package/lib/test/unit/store/embedOnWrite.test.js.map +1 -1
- package/lib/test/unit/store/listScoped.test.d.ts +2 -0
- package/lib/test/unit/store/listScoped.test.d.ts.map +1 -0
- package/lib/test/unit/store/listScoped.test.js +111 -0
- package/lib/test/unit/store/listScoped.test.js.map +1 -0
- package/lib/test/unit/store/rankAxis.test.d.ts +2 -0
- package/lib/test/unit/store/rankAxis.test.d.ts.map +1 -0
- package/lib/test/unit/store/rankAxis.test.js +256 -0
- package/lib/test/unit/store/rankAxis.test.js.map +1 -0
- package/lib/test/unit/tools/memoryTools.test.js +280 -11
- package/lib/test/unit/tools/memoryTools.test.js.map +1 -1
- package/lib/test/unit/types/writePolicy.test.js +9 -2
- package/lib/test/unit/types/writePolicy.test.js.map +1 -1
- package/lib/test/unit/vector/inMemoryCosineIndex.test.js +95 -35
- package/lib/test/unit/vector/inMemoryCosineIndex.test.js.map +1 -1
- package/lib/test/unit/vector/vectorIndex.test.js +24 -15
- package/lib/test/unit/vector/vectorIndex.test.js.map +1 -1
- package/package.json +7 -7
- package/rush-logs/ts-agent-memory.build.cache.log +1 -1
- package/rush-logs/ts-agent-memory.build.log +2 -2
- package/src/packlets/converters/envelopeConverter.ts +27 -4
- package/src/packlets/index/memoryIndex.ts +86 -22
- package/src/packlets/ingest/cycleGuard.ts +22 -11
- package/src/packlets/ingest/hostStages.ts +3 -3
- package/src/packlets/ingest/model.ts +25 -14
- package/src/packlets/ingest/orchestrator.ts +143 -67
- package/src/packlets/retrieve/hybridRetriever.ts +14 -1
- package/src/packlets/retrieve/linkTraversalRetriever.ts +51 -62
- package/src/packlets/retrieve/recencyRetriever.ts +3 -3
- package/src/packlets/retrieve/retriever.ts +97 -13
- package/src/packlets/retrieve/semanticRetriever.ts +10 -5
- package/src/packlets/retrieve/structuredFilterRetriever.ts +3 -3
- package/src/packlets/retrieve/tagRetriever.ts +3 -3
- package/src/packlets/retrieve/temporalRetrievers.ts +3 -3
- package/src/packlets/store/fileTreeMemoryStore.ts +117 -12
- package/src/packlets/tools/memoryTools.ts +152 -25
- package/src/packlets/types/envelope.ts +66 -8
- package/src/packlets/vector/inMemoryCosineIndex.ts +45 -22
- package/src/packlets/vector/vectorIndex.ts +47 -20
- package/src/test/unit/converters/antagonistRoundTrip.test.ts +3 -3
- package/src/test/unit/converters/envelopeConverter.test.ts +168 -11
- package/src/test/unit/index/memoryIndex.test.ts +99 -14
- package/src/test/unit/ingest/antagonistCycleAndParity.test.ts +23 -18
- package/src/test/unit/ingest/cycleGuard.test.ts +44 -2
- package/src/test/unit/ingest/orchestrator.test.ts +234 -41
- package/src/test/unit/retrieve/linkTraversalRetriever.test.ts +134 -35
- package/src/test/unit/retrieve/retrievers.test.ts +381 -25
- package/src/test/unit/store/embedOnWrite.test.ts +83 -11
- package/src/test/unit/store/listScoped.test.ts +138 -0
- package/src/test/unit/store/rankAxis.test.ts +349 -0
- package/src/test/unit/tools/memoryTools.test.ts +362 -13
- package/src/test/unit/types/writePolicy.test.ts +11 -2
- package/src/test/unit/vector/inMemoryCosineIndex.test.ts +115 -39
- package/src/test/unit/vector/vectorIndex.test.ts +33 -17
- package/temp/build/lint/_eslint-5eVG3S6w.json +41 -33
- package/temp/build/typescript/ts_8nwakTlr.json +1 -1
- package/temp/ts-agent-memory.api.json +1080 -136
- package/temp/ts-agent-memory.api.md +64 -22
|
@@ -4,26 +4,26 @@
|
|
|
4
4
|
*/
|
|
5
5
|
import '@fgv/ts-utils-jest';
|
|
6
6
|
import { LinkTraversalRetriever, LINK_TRAVERSAL_NO_SEED_MESSAGE, LINK_TRAVERSAL_UNWIRED_MESSAGE, MemoryIndex, envelopeConverter } from '../../../index';
|
|
7
|
+
const DEFAULT_SCOPE = 'experience';
|
|
8
|
+
/** A scope-qualified traversal seed (defaults to the fixture's default scope). */
|
|
9
|
+
function seed(id, scope = DEFAULT_SCOPE) {
|
|
10
|
+
return { scope: scope, id: id };
|
|
11
|
+
}
|
|
7
12
|
function makeEntry(spec) {
|
|
8
13
|
var _a, _b, _c, _d, _e, _f;
|
|
14
|
+
const scope = (_a = spec.scope) !== null && _a !== void 0 ? _a : DEFAULT_SCOPE;
|
|
9
15
|
const record = {
|
|
10
16
|
envelope: envelopeConverter
|
|
11
|
-
.convert({
|
|
12
|
-
id
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
created: 0,
|
|
18
|
-
updated: (_d = spec.updated) !== null && _d !== void 0 ? _d : 0,
|
|
19
|
-
seq: (_e = spec.seq) !== null && _e !== void 0 ? _e : 0,
|
|
20
|
-
contentHash: 'h',
|
|
21
|
-
provenance: { source: 'agent' }
|
|
22
|
-
})
|
|
17
|
+
.convert(Object.assign(Object.assign({ id: spec.id, entityId: spec.id, kind: (_b = spec.kind) !== null && _b !== void 0 ? _b : 'experience', tags: (_c = spec.tags) !== null && _c !== void 0 ? _c : [],
|
|
18
|
+
// A bare link id defaults its target scope to the source record's own
|
|
19
|
+
// scope (the same-conversation case); an object carries an explicit scope.
|
|
20
|
+
links: ((_d = spec.links) !== null && _d !== void 0 ? _d : []).map((l) => typeof l === 'string'
|
|
21
|
+
? { type: 'rel', target: { scope, id: l } }
|
|
22
|
+
: { type: 'rel', target: { scope: l.scope, id: l.id } }), created: 0, updated: (_e = spec.updated) !== null && _e !== void 0 ? _e : 0, seq: (_f = spec.seq) !== null && _f !== void 0 ? _f : 0, contentHash: 'h' }, (spec.rank !== undefined ? { rank: spec.rank } : {})), { provenance: { source: 'agent' } }))
|
|
23
23
|
.orThrow(),
|
|
24
24
|
body: `body-${spec.id}`
|
|
25
25
|
};
|
|
26
|
-
return { scope:
|
|
26
|
+
return { scope: scope, record };
|
|
27
27
|
}
|
|
28
28
|
function buildIndex(specs) {
|
|
29
29
|
const index = MemoryIndex.create().orThrow();
|
|
@@ -51,7 +51,7 @@ describe('LinkTraversalRetriever', () => {
|
|
|
51
51
|
{ id: 'c', updated: 10 }
|
|
52
52
|
]);
|
|
53
53
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
54
|
-
expect(await retriever.retrieve({ linkedFrom: 'a' })).toSucceedAndSatisfy((records) => {
|
|
54
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {
|
|
55
55
|
// Recency-ordered: b (updated 20) before c (updated 10). 'a' (the seed) excluded.
|
|
56
56
|
expect(ids(records)).toEqual(['b', 'c']);
|
|
57
57
|
});
|
|
@@ -59,18 +59,50 @@ describe('LinkTraversalRetriever', () => {
|
|
|
59
59
|
test('stops at the default single hop (does not reach 2-hop neighbors)', async () => {
|
|
60
60
|
const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);
|
|
61
61
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
62
|
-
expect(await retriever.retrieve({ linkedFrom: 'a' })).toSucceedAndSatisfy((records) => {
|
|
62
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {
|
|
63
63
|
expect(ids(records)).toEqual(['b']);
|
|
64
64
|
});
|
|
65
65
|
});
|
|
66
66
|
test('follows multiple hops when hops is raised', async () => {
|
|
67
67
|
const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);
|
|
68
68
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
69
|
-
expect(await retriever.retrieve({ linkedFrom: 'a', hops: 2 })).toSucceedAndSatisfy((records) => {
|
|
69
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 2 })).toSucceedAndSatisfy((records) => {
|
|
70
70
|
expect(ids(records).sort()).toEqual(['b', 'c']);
|
|
71
71
|
});
|
|
72
72
|
});
|
|
73
73
|
});
|
|
74
|
+
describe('orderBy axis', () => {
|
|
75
|
+
function seedIndex() {
|
|
76
|
+
// Seed 'a' links to three ranked neighbors. `rank` and `updated` are
|
|
77
|
+
// deliberately INVERTED so the rank order (n3,n2,n1) is the exact reverse of
|
|
78
|
+
// the recency order (n1,n2,n3) — proving orderBy actually re-sorts.
|
|
79
|
+
return buildIndex([
|
|
80
|
+
{ id: 'a', links: ['n1', 'n3', 'n2'] },
|
|
81
|
+
{ id: 'n1', rank: 1, updated: 300, seq: 1 },
|
|
82
|
+
{ id: 'n3', rank: 3, updated: 100, seq: 3 },
|
|
83
|
+
{ id: 'n2', rank: 2, updated: 200, seq: 2 }
|
|
84
|
+
]);
|
|
85
|
+
}
|
|
86
|
+
test("orderBy 'rank' orders reached records by rank descending", async () => {
|
|
87
|
+
const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();
|
|
88
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), orderBy: 'rank' })).toSucceedAndSatisfy((records) => {
|
|
89
|
+
expect(ids(records)).toEqual(['n3', 'n2', 'n1']);
|
|
90
|
+
});
|
|
91
|
+
});
|
|
92
|
+
test('orderBy absent is unchanged recency order', async () => {
|
|
93
|
+
const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();
|
|
94
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {
|
|
95
|
+
// Recency: most-recently-updated first → n1(300), n2(200), n3(100).
|
|
96
|
+
expect(ids(records)).toEqual(['n1', 'n2', 'n3']);
|
|
97
|
+
});
|
|
98
|
+
});
|
|
99
|
+
test("orderBy 'rank' composes with { limit, offset }", async () => {
|
|
100
|
+
const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();
|
|
101
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), orderBy: 'rank', limit: 1, offset: 1 })).toSucceedAndSatisfy((records) => {
|
|
102
|
+
expect(ids(records)).toEqual(['n2']);
|
|
103
|
+
});
|
|
104
|
+
});
|
|
105
|
+
});
|
|
74
106
|
describe('inbound traversal (linkedTo)', () => {
|
|
75
107
|
test('returns the records whose edges point at the seed (backlinks)', async () => {
|
|
76
108
|
const index = buildIndex([
|
|
@@ -79,16 +111,37 @@ describe('LinkTraversalRetriever', () => {
|
|
|
79
111
|
{ id: 'target' }
|
|
80
112
|
]);
|
|
81
113
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
82
|
-
expect(await retriever.retrieve({ linkedTo: 'target' })).toSucceedAndSatisfy((records) => {
|
|
114
|
+
expect(await retriever.retrieve({ linkedTo: seed('target') })).toSucceedAndSatisfy((records) => {
|
|
83
115
|
expect(ids(records)).toEqual(['a', 'b']);
|
|
84
116
|
});
|
|
85
117
|
});
|
|
118
|
+
test('reaches ONLY the same-scope inbound source when a TARGET stem is reused across scopes', async () => {
|
|
119
|
+
// 'shared' exists in scope a and scope b; src-a@a links {a, shared} and
|
|
120
|
+
// src-b@b links {b, shared}. Seeding linkedTo {a, shared} must reach ONLY
|
|
121
|
+
// src-a — backlinks disambiguate on the target's (scope, id), not a bare id.
|
|
122
|
+
const index = buildIndex([
|
|
123
|
+
{ id: 'src-a', scope: 'a', links: ['shared'], tags: ['src-a'] },
|
|
124
|
+
{ id: 'src-b', scope: 'b', links: ['shared'], tags: ['src-b'] },
|
|
125
|
+
{ id: 'shared', scope: 'a' },
|
|
126
|
+
{ id: 'shared', scope: 'b' }
|
|
127
|
+
]);
|
|
128
|
+
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
129
|
+
expect(await retriever.retrieve({ linkedTo: seed('shared', 'a') })).toSucceedAndSatisfy((records) => {
|
|
130
|
+
expect(records).toHaveLength(1);
|
|
131
|
+
expect(records[0].envelope.tags).toEqual(['src-a']);
|
|
132
|
+
});
|
|
133
|
+
// Symmetric: seeding the b-scope target reaches only src-b.
|
|
134
|
+
expect(await retriever.retrieve({ linkedTo: seed('shared', 'b') })).toSucceedAndSatisfy((records) => {
|
|
135
|
+
expect(records).toHaveLength(1);
|
|
136
|
+
expect(records[0].envelope.tags).toEqual(['src-b']);
|
|
137
|
+
});
|
|
138
|
+
});
|
|
86
139
|
});
|
|
87
140
|
describe('cycle safety', () => {
|
|
88
141
|
test('terminates on a self-loop and excludes the seed', async () => {
|
|
89
142
|
const index = buildIndex([{ id: 'a', links: ['a'] }]);
|
|
90
143
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
91
|
-
expect(await retriever.retrieve({ linkedFrom: 'a', hops: 5 })).toSucceedAndSatisfy((records) => {
|
|
144
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 5 })).toSucceedAndSatisfy((records) => {
|
|
92
145
|
expect(records).toHaveLength(0);
|
|
93
146
|
});
|
|
94
147
|
});
|
|
@@ -99,7 +152,7 @@ describe('LinkTraversalRetriever', () => {
|
|
|
99
152
|
{ id: 'c', links: ['a'] }
|
|
100
153
|
]);
|
|
101
154
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
102
|
-
expect(await retriever.retrieve({ linkedFrom: 'a', hops: 10 })).toSucceedAndSatisfy((records) => {
|
|
155
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 10 })).toSucceedAndSatisfy((records) => {
|
|
103
156
|
// a→b→c→a: reaches b and c, then the edge back to the seed is pruned.
|
|
104
157
|
expect(ids(records).sort()).toEqual(['b', 'c']);
|
|
105
158
|
});
|
|
@@ -107,11 +160,16 @@ describe('LinkTraversalRetriever', () => {
|
|
|
107
160
|
});
|
|
108
161
|
test('traverses a cross-kind edge (experience derivedFrom a knowledge doc)', async () => {
|
|
109
162
|
const index = buildIndex([
|
|
110
|
-
{
|
|
163
|
+
{
|
|
164
|
+
id: 'turn-5',
|
|
165
|
+
scope: 'conversations/conv-1',
|
|
166
|
+
kind: 'summarized-turn',
|
|
167
|
+
links: [{ id: 'doc-1', scope: 'knowledge' }]
|
|
168
|
+
},
|
|
111
169
|
{ id: 'doc-1', scope: 'knowledge', kind: 'knowledge' }
|
|
112
170
|
]);
|
|
113
171
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
114
|
-
expect(await retriever.retrieve({ linkedFrom: 'turn-5' })).toSucceedAndSatisfy((records) => {
|
|
172
|
+
expect(await retriever.retrieve({ linkedFrom: seed('turn-5', 'conversations/conv-1') })).toSucceedAndSatisfy((records) => {
|
|
115
173
|
expect(ids(records)).toEqual(['doc-1']);
|
|
116
174
|
expect(records[0].envelope.kind).toBe('knowledge');
|
|
117
175
|
});
|
|
@@ -124,7 +182,7 @@ describe('LinkTraversalRetriever', () => {
|
|
|
124
182
|
{ id: 'c', kind: 'drop' }
|
|
125
183
|
]);
|
|
126
184
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
127
|
-
expect(await retriever.retrieve({ linkedFrom: 'a', kind: 'keep' })).toSucceedAndSatisfy((records) => {
|
|
185
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), kind: 'keep' })).toSucceedAndSatisfy((records) => {
|
|
128
186
|
expect(ids(records)).toEqual(['b']);
|
|
129
187
|
});
|
|
130
188
|
});
|
|
@@ -136,25 +194,42 @@ describe('LinkTraversalRetriever', () => {
|
|
|
136
194
|
{ id: 'd', updated: 10 }
|
|
137
195
|
]);
|
|
138
196
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
139
|
-
expect(await retriever.retrieve({ linkedFrom: 'a', limit: 2 })).toSucceedAndSatisfy((records) => {
|
|
197
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a'), limit: 2 })).toSucceedAndSatisfy((records) => {
|
|
140
198
|
expect(ids(records)).toEqual(['b', 'c']);
|
|
141
199
|
});
|
|
142
200
|
});
|
|
143
201
|
test('returns empty when the seed is not in the index', async () => {
|
|
144
202
|
const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);
|
|
145
203
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
146
|
-
expect(await retriever.retrieve({ linkedFrom: 'missing' })).toSucceedWith([]);
|
|
204
|
+
expect(await retriever.retrieve({ linkedFrom: seed('missing') })).toSucceedWith([]);
|
|
147
205
|
});
|
|
148
|
-
test('
|
|
206
|
+
test('reaches ONLY the same-scope target when an id is reused across scopes', async () => {
|
|
207
|
+
// 'seed' (scope a) links a bare 'dup' → the edge target is {scope a, id dup}.
|
|
208
|
+
// Two records share the stem 'dup' (scopes a and b); the scoped edge must
|
|
209
|
+
// reach ONLY dup@a, never dup@b — the whole point of scope-qualified targets.
|
|
149
210
|
const index = buildIndex([
|
|
150
211
|
{ id: 'seed', scope: 'a', links: ['dup'] },
|
|
151
|
-
{ id: 'dup', scope: 'a' },
|
|
152
|
-
{ id: 'dup', scope: 'b' }
|
|
212
|
+
{ id: 'dup', scope: 'a', tags: ['in-a'] },
|
|
213
|
+
{ id: 'dup', scope: 'b', tags: ['in-b'] }
|
|
214
|
+
]);
|
|
215
|
+
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
216
|
+
expect(await retriever.retrieve({ linkedFrom: seed('seed', 'a') })).toSucceedAndSatisfy((records) => {
|
|
217
|
+
expect(records).toHaveLength(1);
|
|
218
|
+
expect(records[0].envelope.tags).toEqual(['in-a']);
|
|
219
|
+
});
|
|
220
|
+
});
|
|
221
|
+
test('an explicit cross-scope edge reaches the other scope', async () => {
|
|
222
|
+
// The same fixture, but the edge names dup@b explicitly → traversal follows
|
|
223
|
+
// it to the b-scope record, proving explicit scope is honored verbatim.
|
|
224
|
+
const index = buildIndex([
|
|
225
|
+
{ id: 'seed', scope: 'a', links: [{ id: 'dup', scope: 'b' }] },
|
|
226
|
+
{ id: 'dup', scope: 'a', tags: ['in-a'] },
|
|
227
|
+
{ id: 'dup', scope: 'b', tags: ['in-b'] }
|
|
153
228
|
]);
|
|
154
229
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
155
|
-
expect(await retriever.retrieve({ linkedFrom: 'seed' })).toSucceedAndSatisfy((records) => {
|
|
156
|
-
expect(records).toHaveLength(
|
|
157
|
-
expect(
|
|
230
|
+
expect(await retriever.retrieve({ linkedFrom: seed('seed', 'a') })).toSucceedAndSatisfy((records) => {
|
|
231
|
+
expect(records).toHaveLength(1);
|
|
232
|
+
expect(records[0].envelope.tags).toEqual(['in-b']);
|
|
158
233
|
});
|
|
159
234
|
});
|
|
160
235
|
});
|
|
@@ -176,7 +251,7 @@ describe('LINK_TRAVERSAL_UNWIRED_MESSAGE constant', () => {
|
|
|
176
251
|
test('a link query against the link-capable retriever still succeeds', async () => {
|
|
177
252
|
const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);
|
|
178
253
|
const retriever = LinkTraversalRetriever.create(index).orThrow();
|
|
179
|
-
expect(await retriever.retrieve({ linkedFrom: 'a' })).toSucceed();
|
|
254
|
+
expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceed();
|
|
180
255
|
});
|
|
181
256
|
});
|
|
182
257
|
//# sourceMappingURL=linkTraversalRetriever.test.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"linkTraversalRetriever.test.js","sourceRoot":"","sources":["../../../../src/test/unit/retrieve/linkTraversalRetriever.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAIL,sBAAsB,EACtB,8BAA8B,EAC9B,8BAA8B,EAE9B,WAAW,EAEX,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAYxB,SAAS,SAAS,CAAC,IAAgB;;IACjC,MAAM,MAAM,GAA2B;QACrC,QAAQ,EAAE,iBAAiB;aACxB,OAAO,CAAC;YACP,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,QAAQ,EAAE,IAAI,CAAC,EAAE;YACjB,IAAI,EAAE,MAAA,IAAI,CAAC,IAAI,mCAAI,YAAY;YAC/B,IAAI,EAAE,MAAA,IAAI,CAAC,IAAI,mCAAI,EAAE;YACrB,KAAK,EAAE,CAAC,MAAA,IAAI,CAAC,KAAK,mCAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,MAAA,IAAI,CAAC,OAAO,mCAAI,CAAC;YAC1B,GAAG,EAAE,MAAA,IAAI,CAAC,GAAG,mCAAI,CAAC;YAClB,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC,CAAC;aACD,OAAO,EAAE;QACZ,IAAI,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,CAAC,MAAA,IAAI,CAAC,KAAK,mCAAI,YAAY,CAAmB,EAAE,MAAM,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,UAAU,CAAC,KAAgC;IAClD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IAC7C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,OAA8C;IACzD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAY,CAAC,CAAC;AACrD,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YACrC,sBAAsB,EAAE,KAAK;YAC7B,qBAAqB,EAAE,KAAK;YAC5B,qBAAqB,EAAE,IAAI;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;YACjF,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;gBAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;aACzB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChG,kFAAkF;gBAClF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAClF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC5F,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC3C,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC3C,EAAE,EAAE,EAAE,QAAQ,EAAE;aACjB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,QAAoB,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC5F,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;aAC1B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,OAAO,EAAE,EAAE;gBACV,sEAAsE;gBACtE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,KAAK,GAAG,UAAU,CAAC;YACvB,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE;YAC1F,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE;SACvD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,QAAoB,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;YACrG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;gBAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;aAC1B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CACJ,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,IAAI,EAAE,MAAyB,EAAE,CAAC,CAC3F,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;YAClD,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE;gBACnC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;aACzB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACnE,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,SAAqB,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;YACnF,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE;gBAC1C,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE;gBACzB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE;aAC1B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,MAAkB,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACnF,yEAAyE;QACzE,2EAA2E;QAC3E,oDAAoD;QACpD,MAAM,CAAC,8BAA8B,CAAC,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAe,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAChF,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';\nimport {\n IIndexedMemoryRecord,\n IMemoryRecord,\n Kind,\n LinkTraversalRetriever,\n LINK_TRAVERSAL_NO_SEED_MESSAGE,\n LINK_TRAVERSAL_UNWIRED_MESSAGE,\n MemoryId,\n MemoryIndex,\n MemoryScopeKey,\n envelopeConverter\n} from '../../../index';\n\ninterface IEntrySpec {\n readonly id: string;\n readonly scope?: string;\n readonly kind?: string;\n readonly tags?: ReadonlyArray<string>;\n readonly updated?: number;\n readonly seq?: number;\n readonly links?: ReadonlyArray<string>;\n}\n\nfunction makeEntry(spec: IEntrySpec): IIndexedMemoryRecord {\n const record: IMemoryRecord<unknown> = {\n envelope: envelopeConverter\n .convert({\n id: spec.id,\n entityId: spec.id,\n kind: spec.kind ?? 'experience',\n tags: spec.tags ?? [],\n links: (spec.links ?? []).map((target) => ({ type: 'rel', target })),\n created: 0,\n updated: spec.updated ?? 0,\n seq: spec.seq ?? 0,\n contentHash: 'h',\n provenance: { source: 'agent' }\n })\n .orThrow(),\n body: `body-${spec.id}`\n };\n return { scope: (spec.scope ?? 'experience') as MemoryScopeKey, record };\n}\n\nfunction buildIndex(specs: ReadonlyArray<IEntrySpec>): MemoryIndex {\n const index = MemoryIndex.create().orThrow();\n index.rebuild(specs.map(makeEntry)).orThrow();\n return index;\n}\n\nfunction ids(records: ReadonlyArray<IMemoryRecord<unknown>>): string[] {\n return records.map((r) => r.envelope.id as string);\n}\n\ndescribe('LinkTraversalRetriever', () => {\n test('reports the link-traversal capability', () => {\n const index = buildIndex([]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(retriever.capabilities).toEqual({\n supportsSemanticRecall: false,\n supportsTemporalQuery: false,\n supportsLinkTraversal: true\n });\n });\n\n describe('outbound traversal (linkedFrom)', () => {\n test('returns the direct outbound neighbors at the default single hop', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c'] },\n { id: 'b', updated: 20 },\n { id: 'c', updated: 10 }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId })).toSucceedAndSatisfy((records) => {\n // Recency-ordered: b (updated 20) before c (updated 10). 'a' (the seed) excluded.\n expect(ids(records)).toEqual(['b', 'c']);\n });\n });\n\n test('stops at the default single hop (does not reach 2-hop neighbors)', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['b']);\n });\n });\n\n test('follows multiple hops when hops is raised', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId, hops: 2 })).toSucceedAndSatisfy(\n (records) => {\n expect(ids(records).sort()).toEqual(['b', 'c']);\n }\n );\n });\n });\n\n describe('inbound traversal (linkedTo)', () => {\n test('returns the records whose edges point at the seed (backlinks)', async () => {\n const index = buildIndex([\n { id: 'a', links: ['target'], updated: 30 },\n { id: 'b', links: ['target'], updated: 10 },\n { id: 'target' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedTo: 'target' as MemoryId })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['a', 'b']);\n });\n });\n });\n\n describe('cycle safety', () => {\n test('terminates on a self-loop and excludes the seed', async () => {\n const index = buildIndex([{ id: 'a', links: ['a'] }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId, hops: 5 })).toSucceedAndSatisfy(\n (records) => {\n expect(records).toHaveLength(0);\n }\n );\n });\n\n test('terminates on a multi-hop cycle without revisiting', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b'] },\n { id: 'b', links: ['c'] },\n { id: 'c', links: ['a'] }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId, hops: 10 })).toSucceedAndSatisfy(\n (records) => {\n // a→b→c→a: reaches b and c, then the edge back to the seed is pruned.\n expect(ids(records).sort()).toEqual(['b', 'c']);\n }\n );\n });\n });\n\n test('traverses a cross-kind edge (experience derivedFrom a knowledge doc)', async () => {\n const index = buildIndex([\n { id: 'turn-5', scope: 'conversations/conv-1', kind: 'summarized-turn', links: ['doc-1'] },\n { id: 'doc-1', scope: 'knowledge', kind: 'knowledge' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'turn-5' as MemoryId })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['doc-1']);\n expect(records[0].envelope.kind).toBe('knowledge');\n });\n });\n\n describe('post-filtering and bounds', () => {\n test('applies the kind pre-filter to the reached records', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c'] },\n { id: 'b', kind: 'keep' },\n { id: 'c', kind: 'drop' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(\n await retriever.retrieve({ linkedFrom: 'a' as MemoryId, kind: 'keep' as unknown as Kind })\n ).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['b']);\n });\n });\n\n test('applies the limit after ordering', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c', 'd'] },\n { id: 'b', updated: 30 },\n { id: 'c', updated: 20 },\n { id: 'd', updated: 10 }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId, limit: 2 })).toSucceedAndSatisfy(\n (records) => {\n expect(ids(records)).toEqual(['b', 'c']);\n }\n );\n });\n\n test('returns empty when the seed is not in the index', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'missing' as MemoryId })).toSucceedWith([]);\n });\n\n test('resolves every record sharing a reached id (cross-scope id reuse)', async () => {\n const index = buildIndex([\n { id: 'seed', scope: 'a', links: ['dup'] },\n { id: 'dup', scope: 'a' },\n { id: 'dup', scope: 'b' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'seed' as MemoryId })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(2);\n expect(ids(records)).toEqual(['dup', 'dup']);\n });\n });\n });\n\n describe('loud degradation', () => {\n test('fails when no seed (linkedFrom / linkedTo) is supplied', async () => {\n const index = buildIndex([{ id: 'a' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ hops: 2 })).toFailWith(LINK_TRAVERSAL_NO_SEED_MESSAGE);\n });\n });\n});\n\ndescribe('LINK_TRAVERSAL_UNWIRED_MESSAGE constant', () => {\n test('has the stable public message non-link retrievers use to degrade loudly', () => {\n // The link-traversal retriever supports the axis, so it never emits this\n // message; the constant is the shared one the non-link v1 retrievers raise\n // (asserted here to keep the public string stable).\n expect(LINK_TRAVERSAL_UNWIRED_MESSAGE).toMatch(/link traversal requires a backlink index/i);\n });\n\n test('a link query against the link-capable retriever still succeeds', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: 'a' as MemoryId })).toSucceed();\n });\n});\n"]}
|
|
1
|
+
{"version":3,"file":"linkTraversalRetriever.test.js","sourceRoot":"","sources":["../../../../src/test/unit/retrieve/linkTraversalRetriever.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAKL,sBAAsB,EACtB,8BAA8B,EAC9B,8BAA8B,EAE9B,WAAW,EAEX,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAExB,MAAM,aAAa,GAAW,YAAY,CAAC;AAgB3C,kFAAkF;AAClF,SAAS,IAAI,CAAC,EAAU,EAAE,QAAgB,aAAa;IACrD,OAAO,EAAE,KAAK,EAAE,KAAuB,EAAE,EAAE,EAAE,EAAc,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,SAAS,CAAC,IAAgB;;IACjC,MAAM,KAAK,GAAW,MAAA,IAAI,CAAC,KAAK,mCAAI,aAAa,CAAC;IAClD,MAAM,MAAM,GAA2B;QACrC,QAAQ,EAAE,iBAAiB;aACxB,OAAO,+BACN,EAAE,EAAE,IAAI,CAAC,EAAE,EACX,QAAQ,EAAE,IAAI,CAAC,EAAE,EACjB,IAAI,EAAE,MAAA,IAAI,CAAC,IAAI,mCAAI,YAAY,EAC/B,IAAI,EAAE,MAAA,IAAI,CAAC,IAAI,mCAAI,EAAE;YACrB,sEAAsE;YACtE,2EAA2E;YAC3E,KAAK,EAAE,CAAC,MAAA,IAAI,CAAC,KAAK,mCAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,OAAO,CAAC,KAAK,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE;gBAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAC1D,EACD,OAAO,EAAE,CAAC,EACV,OAAO,EAAE,MAAA,IAAI,CAAC,OAAO,mCAAI,CAAC,EAC1B,GAAG,EAAE,MAAA,IAAI,CAAC,GAAG,mCAAI,CAAC,EAClB,WAAW,EAAE,GAAG,IACb,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KACvD,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAC/B;aACD,OAAO,EAAE;QACZ,IAAI,EAAE,QAAQ,IAAI,CAAC,EAAE,EAAE;KACxB,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,KAAuB,EAAE,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,UAAU,CAAC,KAAgC;IAClD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IAC7C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,OAA8C;IACzD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAY,CAAC,CAAC;AACrD,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YACrC,sBAAsB,EAAE,KAAK;YAC7B,qBAAqB,EAAE,KAAK;YAC5B,qBAAqB,EAAE,IAAI;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;YACjF,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;gBAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;aACzB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC1F,kFAAkF;gBAClF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;YAClF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC1F,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,SAAS,SAAS;YAChB,qEAAqE;YACrE,6EAA6E;YAC7E,oEAAoE;YACpE,OAAO,UAAU,CAAC;gBAChB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE;gBACtC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC3C,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE;aAC5C,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;YAC1E,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACvE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC9F,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACnD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACvE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC1F,oEAAoE;gBACpE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;YAChE,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACvE,MAAM,CACJ,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAC1F,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC3C,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC3C,EAAE,EAAE,EAAE,QAAQ,EAAE;aACjB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC7F,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uFAAuF,EAAE,KAAK,IAAI,EAAE;YACvG,wEAAwE;YACxE,0EAA0E;YAC1E,6EAA6E;YAC7E,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE;gBAC/D,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE;gBAC/D,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;gBAC5B,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;aAC7B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,4DAA4D;YAC5D,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACnG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;aAC1B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACpG,sEAAsE;gBACtE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,KAAK,GAAG,UAAU,CAAC;YACvB;gBACE,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,sBAAsB;gBAC7B,IAAI,EAAE,iBAAiB;gBACvB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;aAC7C;YACD,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE;SACvD,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CACJ,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,EAAE,CAAC,CACjF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;YAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,IAAI,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;gBAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;gBACzB,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;aAC1B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CACJ,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAyB,EAAE,CAAC,CACrF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;YAClD,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE;gBACnC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxB,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;aACzB,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACpG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YACjE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACnE,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACvF,8EAA8E;YAC9E,0EAA0E;YAC1E,8EAA8E;YAC9E,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE;gBAC1C,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE;gBACzC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE;aAC1C,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACrD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACtE,4EAA4E;YAC5E,wEAAwE;YACxE,MAAM,KAAK,GAAG,UAAU,CAAC;gBACvB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC9D,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE;gBACzC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE;aAC1C,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACrD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACxC,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACnF,yEAAyE;QACzE,2EAA2E;QAC3E,oDAAoD;QACpD,MAAM,CAAC,8BAA8B,CAAC,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,MAAM,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC1E,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';\nimport {\n IEdgeTarget,\n IIndexedMemoryRecord,\n IMemoryRecord,\n Kind,\n LinkTraversalRetriever,\n LINK_TRAVERSAL_NO_SEED_MESSAGE,\n LINK_TRAVERSAL_UNWIRED_MESSAGE,\n MemoryId,\n MemoryIndex,\n MemoryScopeKey,\n envelopeConverter\n} from '../../../index';\n\nconst DEFAULT_SCOPE: string = 'experience';\n\n/** A link target authored either as a bare id (same-scope) or an explicit `(scope, id)`. */\ntype LinkSpec = string | { readonly id: string; readonly scope: string };\n\ninterface IEntrySpec {\n readonly id: string;\n readonly scope?: string;\n readonly kind?: string;\n readonly tags?: ReadonlyArray<string>;\n readonly updated?: number;\n readonly seq?: number;\n readonly links?: ReadonlyArray<LinkSpec>;\n readonly rank?: number;\n}\n\n/** A scope-qualified traversal seed (defaults to the fixture's default scope). */\nfunction seed(id: string, scope: string = DEFAULT_SCOPE): IEdgeTarget {\n return { scope: scope as MemoryScopeKey, id: id as MemoryId };\n}\n\nfunction makeEntry(spec: IEntrySpec): IIndexedMemoryRecord {\n const scope: string = spec.scope ?? DEFAULT_SCOPE;\n const record: IMemoryRecord<unknown> = {\n envelope: envelopeConverter\n .convert({\n id: spec.id,\n entityId: spec.id,\n kind: spec.kind ?? 'experience',\n tags: spec.tags ?? [],\n // A bare link id defaults its target scope to the source record's own\n // scope (the same-conversation case); an object carries an explicit scope.\n links: (spec.links ?? []).map((l) =>\n typeof l === 'string'\n ? { type: 'rel', target: { scope, id: l } }\n : { type: 'rel', target: { scope: l.scope, id: l.id } }\n ),\n created: 0,\n updated: spec.updated ?? 0,\n seq: spec.seq ?? 0,\n contentHash: 'h',\n ...(spec.rank !== undefined ? { rank: spec.rank } : {}),\n provenance: { source: 'agent' }\n })\n .orThrow(),\n body: `body-${spec.id}`\n };\n return { scope: scope as MemoryScopeKey, record };\n}\n\nfunction buildIndex(specs: ReadonlyArray<IEntrySpec>): MemoryIndex {\n const index = MemoryIndex.create().orThrow();\n index.rebuild(specs.map(makeEntry)).orThrow();\n return index;\n}\n\nfunction ids(records: ReadonlyArray<IMemoryRecord<unknown>>): string[] {\n return records.map((r) => r.envelope.id as string);\n}\n\ndescribe('LinkTraversalRetriever', () => {\n test('reports the link-traversal capability', () => {\n const index = buildIndex([]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(retriever.capabilities).toEqual({\n supportsSemanticRecall: false,\n supportsTemporalQuery: false,\n supportsLinkTraversal: true\n });\n });\n\n describe('outbound traversal (linkedFrom)', () => {\n test('returns the direct outbound neighbors at the default single hop', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c'] },\n { id: 'b', updated: 20 },\n { id: 'c', updated: 10 }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {\n // Recency-ordered: b (updated 20) before c (updated 10). 'a' (the seed) excluded.\n expect(ids(records)).toEqual(['b', 'c']);\n });\n });\n\n test('stops at the default single hop (does not reach 2-hop neighbors)', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['b']);\n });\n });\n\n test('follows multiple hops when hops is raised', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b', links: ['c'] }, { id: 'c' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 2 })).toSucceedAndSatisfy((records) => {\n expect(ids(records).sort()).toEqual(['b', 'c']);\n });\n });\n });\n\n describe('orderBy axis', () => {\n function seedIndex(): MemoryIndex {\n // Seed 'a' links to three ranked neighbors. `rank` and `updated` are\n // deliberately INVERTED so the rank order (n3,n2,n1) is the exact reverse of\n // the recency order (n1,n2,n3) — proving orderBy actually re-sorts.\n return buildIndex([\n { id: 'a', links: ['n1', 'n3', 'n2'] },\n { id: 'n1', rank: 1, updated: 300, seq: 1 },\n { id: 'n3', rank: 3, updated: 100, seq: 3 },\n { id: 'n2', rank: 2, updated: 200, seq: 2 }\n ]);\n }\n\n test(\"orderBy 'rank' orders reached records by rank descending\", async () => {\n const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a'), orderBy: 'rank' })).toSucceedAndSatisfy(\n (records) => {\n expect(ids(records)).toEqual(['n3', 'n2', 'n1']);\n }\n );\n });\n\n test('orderBy absent is unchanged recency order', async () => {\n const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceedAndSatisfy((records) => {\n // Recency: most-recently-updated first → n1(300), n2(200), n3(100).\n expect(ids(records)).toEqual(['n1', 'n2', 'n3']);\n });\n });\n\n test(\"orderBy 'rank' composes with { limit, offset }\", async () => {\n const retriever = LinkTraversalRetriever.create(seedIndex()).orThrow();\n expect(\n await retriever.retrieve({ linkedFrom: seed('a'), orderBy: 'rank', limit: 1, offset: 1 })\n ).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['n2']);\n });\n });\n });\n\n describe('inbound traversal (linkedTo)', () => {\n test('returns the records whose edges point at the seed (backlinks)', async () => {\n const index = buildIndex([\n { id: 'a', links: ['target'], updated: 30 },\n { id: 'b', links: ['target'], updated: 10 },\n { id: 'target' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedTo: seed('target') })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['a', 'b']);\n });\n });\n\n test('reaches ONLY the same-scope inbound source when a TARGET stem is reused across scopes', async () => {\n // 'shared' exists in scope a and scope b; src-a@a links {a, shared} and\n // src-b@b links {b, shared}. Seeding linkedTo {a, shared} must reach ONLY\n // src-a — backlinks disambiguate on the target's (scope, id), not a bare id.\n const index = buildIndex([\n { id: 'src-a', scope: 'a', links: ['shared'], tags: ['src-a'] },\n { id: 'src-b', scope: 'b', links: ['shared'], tags: ['src-b'] },\n { id: 'shared', scope: 'a' },\n { id: 'shared', scope: 'b' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedTo: seed('shared', 'a') })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(1);\n expect(records[0].envelope.tags).toEqual(['src-a']);\n });\n // Symmetric: seeding the b-scope target reaches only src-b.\n expect(await retriever.retrieve({ linkedTo: seed('shared', 'b') })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(1);\n expect(records[0].envelope.tags).toEqual(['src-b']);\n });\n });\n });\n\n describe('cycle safety', () => {\n test('terminates on a self-loop and excludes the seed', async () => {\n const index = buildIndex([{ id: 'a', links: ['a'] }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 5 })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(0);\n });\n });\n\n test('terminates on a multi-hop cycle without revisiting', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b'] },\n { id: 'b', links: ['c'] },\n { id: 'c', links: ['a'] }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a'), hops: 10 })).toSucceedAndSatisfy((records) => {\n // a→b→c→a: reaches b and c, then the edge back to the seed is pruned.\n expect(ids(records).sort()).toEqual(['b', 'c']);\n });\n });\n });\n\n test('traverses a cross-kind edge (experience derivedFrom a knowledge doc)', async () => {\n const index = buildIndex([\n {\n id: 'turn-5',\n scope: 'conversations/conv-1',\n kind: 'summarized-turn',\n links: [{ id: 'doc-1', scope: 'knowledge' }]\n },\n { id: 'doc-1', scope: 'knowledge', kind: 'knowledge' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(\n await retriever.retrieve({ linkedFrom: seed('turn-5', 'conversations/conv-1') })\n ).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['doc-1']);\n expect(records[0].envelope.kind).toBe('knowledge');\n });\n });\n\n describe('post-filtering and bounds', () => {\n test('applies the kind pre-filter to the reached records', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c'] },\n { id: 'b', kind: 'keep' },\n { id: 'c', kind: 'drop' }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(\n await retriever.retrieve({ linkedFrom: seed('a'), kind: 'keep' as unknown as Kind })\n ).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['b']);\n });\n });\n\n test('applies the limit after ordering', async () => {\n const index = buildIndex([\n { id: 'a', links: ['b', 'c', 'd'] },\n { id: 'b', updated: 30 },\n { id: 'c', updated: 20 },\n { id: 'd', updated: 10 }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a'), limit: 2 })).toSucceedAndSatisfy((records) => {\n expect(ids(records)).toEqual(['b', 'c']);\n });\n });\n\n test('returns empty when the seed is not in the index', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('missing') })).toSucceedWith([]);\n });\n\n test('reaches ONLY the same-scope target when an id is reused across scopes', async () => {\n // 'seed' (scope a) links a bare 'dup' → the edge target is {scope a, id dup}.\n // Two records share the stem 'dup' (scopes a and b); the scoped edge must\n // reach ONLY dup@a, never dup@b — the whole point of scope-qualified targets.\n const index = buildIndex([\n { id: 'seed', scope: 'a', links: ['dup'] },\n { id: 'dup', scope: 'a', tags: ['in-a'] },\n { id: 'dup', scope: 'b', tags: ['in-b'] }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('seed', 'a') })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(1);\n expect(records[0].envelope.tags).toEqual(['in-a']);\n });\n });\n\n test('an explicit cross-scope edge reaches the other scope', async () => {\n // The same fixture, but the edge names dup@b explicitly → traversal follows\n // it to the b-scope record, proving explicit scope is honored verbatim.\n const index = buildIndex([\n { id: 'seed', scope: 'a', links: [{ id: 'dup', scope: 'b' }] },\n { id: 'dup', scope: 'a', tags: ['in-a'] },\n { id: 'dup', scope: 'b', tags: ['in-b'] }\n ]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('seed', 'a') })).toSucceedAndSatisfy((records) => {\n expect(records).toHaveLength(1);\n expect(records[0].envelope.tags).toEqual(['in-b']);\n });\n });\n });\n\n describe('loud degradation', () => {\n test('fails when no seed (linkedFrom / linkedTo) is supplied', async () => {\n const index = buildIndex([{ id: 'a' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ hops: 2 })).toFailWith(LINK_TRAVERSAL_NO_SEED_MESSAGE);\n });\n });\n});\n\ndescribe('LINK_TRAVERSAL_UNWIRED_MESSAGE constant', () => {\n test('has the stable public message non-link retrievers use to degrade loudly', () => {\n // The link-traversal retriever supports the axis, so it never emits this\n // message; the constant is the shared one the non-link v1 retrievers raise\n // (asserted here to keep the public string stable).\n expect(LINK_TRAVERSAL_UNWIRED_MESSAGE).toMatch(/link traversal requires a backlink index/i);\n });\n\n test('a link query against the link-capable retriever still succeeds', async () => {\n const index = buildIndex([{ id: 'a', links: ['b'] }, { id: 'b' }]);\n const retriever = LinkTraversalRetriever.create(index).orThrow();\n expect(await retriever.retrieve({ linkedFrom: seed('a') })).toSucceed();\n });\n});\n"]}
|