@devflow-tools/retrieval-engine 0.18.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +24 -0
- package/dist/__tests__/retrieval-coordinator.test.d.ts +2 -0
- package/dist/__tests__/retrieval-coordinator.test.d.ts.map +1 -0
- package/dist/__tests__/retrieval-coordinator.test.js +391 -0
- package/dist/__tests__/retrieval-coordinator.test.js.map +1 -0
- package/dist/__tests__/retrieval-session.test.d.ts +2 -0
- package/dist/__tests__/retrieval-session.test.d.ts.map +1 -0
- package/dist/__tests__/retrieval-session.test.js +52 -0
- package/dist/__tests__/retrieval-session.test.js.map +1 -0
- package/dist/__tests__/rrf.test.d.ts +2 -0
- package/dist/__tests__/rrf.test.d.ts.map +1 -0
- package/dist/__tests__/rrf.test.js +37 -0
- package/dist/__tests__/rrf.test.js.map +1 -0
- package/dist/__tests__/support.d.ts +13 -0
- package/dist/__tests__/support.d.ts.map +1 -0
- package/dist/__tests__/support.js +106 -0
- package/dist/__tests__/support.js.map +1 -0
- package/dist/__tests__/task-kernel-adapter.test.d.ts +2 -0
- package/dist/__tests__/task-kernel-adapter.test.d.ts.map +1 -0
- package/dist/__tests__/task-kernel-adapter.test.js +56 -0
- package/dist/__tests__/task-kernel-adapter.test.js.map +1 -0
- package/dist/index.d.ts +8 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +8 -0
- package/dist/index.js.map +1 -0
- package/dist/packing.d.ts +20 -0
- package/dist/packing.d.ts.map +1 -0
- package/dist/packing.js +48 -0
- package/dist/packing.js.map +1 -0
- package/dist/ports.d.ts +2 -0
- package/dist/ports.d.ts.map +1 -0
- package/dist/ports.js +2 -0
- package/dist/ports.js.map +1 -0
- package/dist/retrieval-coordinator.d.ts +33 -0
- package/dist/retrieval-coordinator.d.ts.map +1 -0
- package/dist/retrieval-coordinator.js +778 -0
- package/dist/retrieval-coordinator.js.map +1 -0
- package/dist/retrieval-session.d.ts +18 -0
- package/dist/retrieval-session.d.ts.map +1 -0
- package/dist/retrieval-session.js +46 -0
- package/dist/retrieval-session.js.map +1 -0
- package/dist/rrf.d.ts +8 -0
- package/dist/rrf.d.ts.map +1 -0
- package/dist/rrf.js +34 -0
- package/dist/rrf.js.map +1 -0
- package/dist/sufficiency.d.ts +8 -0
- package/dist/sufficiency.d.ts.map +1 -0
- package/dist/sufficiency.js +19 -0
- package/dist/sufficiency.js.map +1 -0
- package/dist/task-kernel-adapter.d.ts +12 -0
- package/dist/task-kernel-adapter.d.ts.map +1 -0
- package/dist/task-kernel-adapter.js +92 -0
- package/dist/task-kernel-adapter.js.map +1 -0
- package/package.json +38 -0
package/LICENSE
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
MIT License
|
|
2
|
+
|
|
3
|
+
Copyright (c) 2026 shilongfeicool
|
|
4
|
+
|
|
5
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
+
in the Software without restriction, including without limitation the rights
|
|
8
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
furnished to do so, subject to the following conditions:
|
|
11
|
+
|
|
12
|
+
The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
copies or substantial portions of the Software.
|
|
14
|
+
|
|
15
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
SOFTWARE.
|
package/README.md
ADDED
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
# @devflow-tools/retrieval-engine
|
|
2
|
+
|
|
3
|
+
Canonical multi-channel retrieval planning, fusion, sufficiency, packing, and evidence coordination for DevFlow.
|
|
4
|
+
|
|
5
|
+
## Install
|
|
6
|
+
|
|
7
|
+
```bash
|
|
8
|
+
npm install @devflow-tools/retrieval-engine
|
|
9
|
+
```
|
|
10
|
+
|
|
11
|
+
## Usage
|
|
12
|
+
|
|
13
|
+
```ts
|
|
14
|
+
import { reciprocalRankFusion } from '@devflow-tools/retrieval-engine';
|
|
15
|
+
|
|
16
|
+
const ranked = reciprocalRankFusion(candidates);
|
|
17
|
+
console.log(ranked.map(item => item.candidate.stableRef));
|
|
18
|
+
```
|
|
19
|
+
|
|
20
|
+
The package keeps Code, Memory, and Knowledge candidates separate through execution and records their contributing query legs before fusion.
|
|
21
|
+
|
|
22
|
+
## License
|
|
23
|
+
|
|
24
|
+
MIT
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrieval-coordinator.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/retrieval-coordinator.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,391 @@
|
|
|
1
|
+
import { mkdtempSync, rmSync } from 'node:fs';
|
|
2
|
+
import { tmpdir } from 'node:os';
|
|
3
|
+
import { join } from 'node:path';
|
|
4
|
+
import { afterEach, describe, expect, it, vi } from 'vitest';
|
|
5
|
+
import { DevFlowDatabase } from '@devflow-tools/database';
|
|
6
|
+
import { stableRuntimeHash } from '@devflow-tools/sdk';
|
|
7
|
+
import { RetrievalCoordinator } from '../retrieval-coordinator.js';
|
|
8
|
+
import { RetrievalSessionRepository } from '../retrieval-session.js';
|
|
9
|
+
import { candidate, executionContext, producerResult } from './support.js';
|
|
10
|
+
const roots = [];
|
|
11
|
+
afterEach(() => roots.splice(0).forEach(root => rmSync(root, { recursive: true, force: true })));
|
|
12
|
+
function harness(codeSearch, options = {}) {
|
|
13
|
+
const root = mkdtempSync(join(tmpdir(), 'retrieval-coordinator-'));
|
|
14
|
+
roots.push(root);
|
|
15
|
+
const database = new DevFlowDatabase(root);
|
|
16
|
+
const empty = { search: vi.fn(async (context, request) => producerResult({
|
|
17
|
+
request, context, channel: request.channel, availability: 'empty_valid', candidates: [],
|
|
18
|
+
})) };
|
|
19
|
+
const coordinator = new RetrievalCoordinator({
|
|
20
|
+
code: { search: codeSearch }, memory: empty, knowledge: empty,
|
|
21
|
+
taskRuntime: { sessionOpened: vi.fn(), cycleCompleted: vi.fn() },
|
|
22
|
+
sessions: new RetrievalSessionRepository(database), ...options,
|
|
23
|
+
});
|
|
24
|
+
return { coordinator, database };
|
|
25
|
+
}
|
|
26
|
+
function validEmptyProducer() {
|
|
27
|
+
return { search: vi.fn(async (context, request) => producerResult({
|
|
28
|
+
request, context, channel: request.channel, availability: 'empty_valid', candidates: [],
|
|
29
|
+
})) };
|
|
30
|
+
}
|
|
31
|
+
describe('RetrievalCoordinator', () => {
|
|
32
|
+
it('hard-filters scope/profile/permission and converts producer failures to typed unavailable', async () => {
|
|
33
|
+
const context = executionContext();
|
|
34
|
+
const observed = [];
|
|
35
|
+
const search = vi.fn(async (_context, request) => producerResult({ request, context, candidates: [
|
|
36
|
+
candidate('code:good'),
|
|
37
|
+
candidate('code:scope', { eligibility: {
|
|
38
|
+
scope: { kind: 'project', id: 'project:other' }, permission: 'allowed', sourceReady: true,
|
|
39
|
+
} }),
|
|
40
|
+
candidate('code:profile', {
|
|
41
|
+
contributingLegs: [{ leg: 'code:vector', rank: 1 }],
|
|
42
|
+
eligibility: {
|
|
43
|
+
scope: { kind: 'project', id: 'project:1' }, permission: 'allowed', sourceReady: true,
|
|
44
|
+
profileHash: 'profile:old',
|
|
45
|
+
},
|
|
46
|
+
}),
|
|
47
|
+
candidate('code:permission', { eligibility: {
|
|
48
|
+
scope: { kind: 'project', id: 'project:1' }, permission: 'unknown', sourceReady: true,
|
|
49
|
+
} }),
|
|
50
|
+
] }));
|
|
51
|
+
const { coordinator, database } = harness(search, {
|
|
52
|
+
observer: { record: (event) => observed.push(event) },
|
|
53
|
+
});
|
|
54
|
+
try {
|
|
55
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, tokenBudget: 100, now: 10 });
|
|
56
|
+
expect(result.receipt.selectedRefs).toEqual(['code:good']);
|
|
57
|
+
expect(result.receipt.rejectedRefs).toEqual(expect.arrayContaining([
|
|
58
|
+
{ ref: 'code:scope', reason: 'scope_mismatch' },
|
|
59
|
+
{ ref: 'code:profile', reason: 'profile_mismatch' },
|
|
60
|
+
{ ref: 'code:permission', reason: 'permission_unknown' },
|
|
61
|
+
]));
|
|
62
|
+
const evidenceReceipts = result.receipt.evidenceReceipts ?? [];
|
|
63
|
+
const goodStages = evidenceReceipts.filter(receipt => receipt.stableRef === 'code:good');
|
|
64
|
+
expect(goodStages.map(receipt => receipt.stage)).toEqual([
|
|
65
|
+
'candidate', 'eligible', 'ranked', 'selected',
|
|
66
|
+
]);
|
|
67
|
+
for (const stage of goodStages.slice(1)) {
|
|
68
|
+
const parentStages = goodStages.filter(parent => stage.parentReceiptIds.includes(parent.receiptId));
|
|
69
|
+
expect(parentStages).toHaveLength(1);
|
|
70
|
+
}
|
|
71
|
+
expect(observed).toEqual(expect.arrayContaining([
|
|
72
|
+
expect.objectContaining({
|
|
73
|
+
name: 'retrieval.candidate.rejected',
|
|
74
|
+
data: expect.objectContaining({
|
|
75
|
+
rejectedCount: 3,
|
|
76
|
+
reasonCounts: { permission_unknown: 1, profile_mismatch: 1, scope_mismatch: 1 },
|
|
77
|
+
}),
|
|
78
|
+
}),
|
|
79
|
+
expect.objectContaining({
|
|
80
|
+
name: 'retrieval.selection.completed',
|
|
81
|
+
data: expect.objectContaining({ selectedCount: 1, rejectedCount: 3 }),
|
|
82
|
+
}),
|
|
83
|
+
]));
|
|
84
|
+
const { receiptHash, ...body } = result.receipt;
|
|
85
|
+
expect(receiptHash).toBe(stableRuntimeHash(body));
|
|
86
|
+
}
|
|
87
|
+
finally {
|
|
88
|
+
database.close();
|
|
89
|
+
}
|
|
90
|
+
const failed = harness(vi.fn(async () => { throw new Error('secret raw provider error'); }));
|
|
91
|
+
try {
|
|
92
|
+
const result = await failed.coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
93
|
+
expect(result.status).toBe('gap_unavailable');
|
|
94
|
+
expect(result.receipt.gaps[0]).toMatchObject({ kind: 'unavailable_channel', reason: 'producer_exception' });
|
|
95
|
+
expect(JSON.stringify(result)).not.toContain('secret raw provider error');
|
|
96
|
+
}
|
|
97
|
+
finally {
|
|
98
|
+
failed.database.close();
|
|
99
|
+
}
|
|
100
|
+
});
|
|
101
|
+
it('uses exact gap signatures, stops after two no-gain cycles, and replays the terminal receipt', async () => {
|
|
102
|
+
const context = executionContext();
|
|
103
|
+
const gap = {
|
|
104
|
+
kind: 'target', reason: 'target_missing', evidenceRefs: [], resolver: 'code', priority: 1,
|
|
105
|
+
};
|
|
106
|
+
const search = vi.fn(async (_context, request) => producerResult({ request, context, candidates: [], gaps: [gap] }));
|
|
107
|
+
const events = [];
|
|
108
|
+
const { coordinator, database } = harness(search, {
|
|
109
|
+
observer: { record: (event) => events.push(event.name) },
|
|
110
|
+
});
|
|
111
|
+
try {
|
|
112
|
+
const first = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
113
|
+
expect(first.status).toBe('gap_actionable');
|
|
114
|
+
const second = await coordinator.retrieve({ context, taskRevision: 1, now: 11 });
|
|
115
|
+
expect(second.status).toBe('abstain');
|
|
116
|
+
expect(second.cycles).toHaveLength(2);
|
|
117
|
+
expect(second.cycles.map(cycle => cycle.noGainCount)).toEqual([1, 2]);
|
|
118
|
+
expect(search).toHaveBeenCalledTimes(2);
|
|
119
|
+
expect(search.mock.calls[1][1].typedQuery.openGaps).toEqual([
|
|
120
|
+
{ kind: 'target', reasonCode: 'target_missing', evidenceRefs: [], priority: 1 },
|
|
121
|
+
]);
|
|
122
|
+
const replay = await coordinator.retrieve({ context, taskRevision: 1, now: 12 });
|
|
123
|
+
expect(replay.receipt.receiptHash).toBe(second.receipt.receiptHash);
|
|
124
|
+
expect(search).toHaveBeenCalledTimes(2);
|
|
125
|
+
expect(events).toEqual(expect.arrayContaining([
|
|
126
|
+
'retrieval.session.opened', 'retrieval.fusion.completed',
|
|
127
|
+
'retrieval.cycle.completed', 'retrieval.cycle.stopped',
|
|
128
|
+
]));
|
|
129
|
+
}
|
|
130
|
+
finally {
|
|
131
|
+
database.close();
|
|
132
|
+
}
|
|
133
|
+
});
|
|
134
|
+
it('fails closed when the required reranker fails', async () => {
|
|
135
|
+
const context = executionContext();
|
|
136
|
+
if (context.plan.knowledge.requirement === 'prohibited')
|
|
137
|
+
throw new Error('KNOWLEDGE_PROHIBITED');
|
|
138
|
+
context.plan.knowledge.requirement = 'required';
|
|
139
|
+
context.plan.knowledge.typedQuery = {
|
|
140
|
+
query: 'required docs', kind: 'behavior', minimumAuthority: 0.8,
|
|
141
|
+
};
|
|
142
|
+
const gap = {
|
|
143
|
+
kind: 'target', reason: 'target_missing', evidenceRefs: [], resolver: 'code', priority: 1,
|
|
144
|
+
};
|
|
145
|
+
let call = 0;
|
|
146
|
+
const search = vi.fn(async (_context, request) => producerResult({
|
|
147
|
+
request, context, candidates: [candidate(`code:${++call}`)], gaps: [gap],
|
|
148
|
+
}));
|
|
149
|
+
const reranker = {
|
|
150
|
+
profileId: 'host-reranker', profileVersion: '1',
|
|
151
|
+
rerank: vi.fn(async () => { throw new Error('raw host failure'); }),
|
|
152
|
+
};
|
|
153
|
+
const root = mkdtempSync(join(tmpdir(), 'retrieval-max-cycle-'));
|
|
154
|
+
roots.push(root);
|
|
155
|
+
const database = new DevFlowDatabase(root);
|
|
156
|
+
const coordinator = new RetrievalCoordinator({
|
|
157
|
+
code: { search }, memory: validEmptyProducer(),
|
|
158
|
+
knowledge: {
|
|
159
|
+
search: vi.fn(async (_context, request) => producerResult({
|
|
160
|
+
request, context, channel: request.channel, availability: 'available',
|
|
161
|
+
candidates: [candidate(`knowledge:${request.signatureHash}`, {
|
|
162
|
+
channel: 'knowledge', contributingLegs: [{ leg: 'knowledge:bm25', rank: 1 }],
|
|
163
|
+
eligibility: {
|
|
164
|
+
scope: { kind: 'project', id: 'project:1' }, permission: 'allowed', sourceReady: true,
|
|
165
|
+
authority: 0.9,
|
|
166
|
+
},
|
|
167
|
+
})],
|
|
168
|
+
gaps: [{ ...gap, resolver: 'knowledge', kind: 'knowledge_version' }],
|
|
169
|
+
})),
|
|
170
|
+
},
|
|
171
|
+
taskRuntime: { sessionOpened: vi.fn(), cycleCompleted: vi.fn() },
|
|
172
|
+
sessions: new RetrievalSessionRepository(database), reranker,
|
|
173
|
+
});
|
|
174
|
+
try {
|
|
175
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
176
|
+
expect(result.executionStatus).toBe('failed');
|
|
177
|
+
expect(result.receipt.selectedRefs).toEqual([]);
|
|
178
|
+
expect(result.receipt.reranker).toMatchObject({
|
|
179
|
+
profileId: 'host-reranker', profileVersion: '1',
|
|
180
|
+
providerReceipt: { capability: 'reranking', status: 'unavailable', reasonCodes: ['reranker_exception'] },
|
|
181
|
+
});
|
|
182
|
+
expect(result.receipt.parentReceiptIds).toContain(result.receipt.reranker?.providerReceipt?.receiptId);
|
|
183
|
+
expect(result.receipt).not.toHaveProperty('degradation');
|
|
184
|
+
expect(result.receipt.reranker).not.toHaveProperty('fallbackReason');
|
|
185
|
+
expect(JSON.stringify(result.receipt)).not.toContain('raw host failure');
|
|
186
|
+
}
|
|
187
|
+
finally {
|
|
188
|
+
database.close();
|
|
189
|
+
}
|
|
190
|
+
});
|
|
191
|
+
it('bounds the reranker pool to the canonical candidate top 20', async () => {
|
|
192
|
+
const context = executionContext();
|
|
193
|
+
const values = Array.from({ length: 25 }, (_, index) => candidate(`code:${String(index + 1).padStart(2, '0')}`, { contributingLegs: [{ leg: 'code:bm25', rank: index + 1 }] }));
|
|
194
|
+
const reranker = {
|
|
195
|
+
profileId: 'host-reranker', profileVersion: '1',
|
|
196
|
+
rerank: vi.fn(async ({ candidates }) => candidates.map((item, index) => ({ stableRef: item.stableRef, score: candidates.length - index }))),
|
|
197
|
+
};
|
|
198
|
+
const search = vi.fn(async (_context, request) => producerResult({ request, context, candidates: values }));
|
|
199
|
+
const { coordinator, database } = harness(search, { reranker });
|
|
200
|
+
try {
|
|
201
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, tokenBudget: 10_000, now: 10 });
|
|
202
|
+
expect(reranker.rerank).toHaveBeenCalledWith(expect.objectContaining({
|
|
203
|
+
candidates: expect.arrayContaining([expect.objectContaining({ stableRef: 'code:20' })]),
|
|
204
|
+
}));
|
|
205
|
+
expect(reranker.rerank.mock.calls[0][0].candidates).toHaveLength(20);
|
|
206
|
+
expect(result.receipt.rejectedRefs.filter(item => item.reason === 'reranker_pool_limit')).toHaveLength(5);
|
|
207
|
+
}
|
|
208
|
+
finally {
|
|
209
|
+
database.close();
|
|
210
|
+
}
|
|
211
|
+
});
|
|
212
|
+
it('does not let weak code evidence satisfy a mutation task', async () => {
|
|
213
|
+
const context = executionContext();
|
|
214
|
+
context.actionAuthority.mutation = 'authorized';
|
|
215
|
+
const search = vi.fn(async (_context, request) => producerResult({
|
|
216
|
+
request, context, candidates: [candidate('code:weak', { strength: 'weak' })],
|
|
217
|
+
}));
|
|
218
|
+
const { coordinator, database } = harness(search);
|
|
219
|
+
try {
|
|
220
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
221
|
+
expect(result.status).toBe('abstain');
|
|
222
|
+
expect(result.receipt.selectedRefs).toEqual(['code:weak']);
|
|
223
|
+
}
|
|
224
|
+
finally {
|
|
225
|
+
database.close();
|
|
226
|
+
}
|
|
227
|
+
});
|
|
228
|
+
it('keeps original and rewrite legs independent when a rewrite provider fails', async () => {
|
|
229
|
+
const context = executionContext();
|
|
230
|
+
if (context.plan.code.requirement === 'prohibited')
|
|
231
|
+
throw new Error('CODE_PROHIBITED');
|
|
232
|
+
const sourceHash = context.facts.sourceHash;
|
|
233
|
+
context.plan.code.original = {
|
|
234
|
+
kind: 'original', query: 'original query',
|
|
235
|
+
queryHash: stableRuntimeHash({ query: 'original query', sourceHash }), sourceHash,
|
|
236
|
+
producerId: 'task-source-query', producerVersion: '1', sourceClaimIds: [],
|
|
237
|
+
};
|
|
238
|
+
context.plan.code.additions = [{
|
|
239
|
+
kind: 'rewrite', query: 'typed rewrite',
|
|
240
|
+
queryHash: stableRuntimeHash({ query: 'typed rewrite', sourceHash }), sourceHash,
|
|
241
|
+
producerId: 'typed-channel-query', producerVersion: '1', sourceClaimIds: [],
|
|
242
|
+
}];
|
|
243
|
+
const search = vi.fn(async (_context, request) => {
|
|
244
|
+
if (request.queryVariant.kind === 'rewrite')
|
|
245
|
+
throw new Error('rewrite unavailable');
|
|
246
|
+
return producerResult({ request, context, candidates: [candidate('code:original')] });
|
|
247
|
+
});
|
|
248
|
+
const { coordinator, database } = harness(search);
|
|
249
|
+
try {
|
|
250
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
251
|
+
expect(search).toHaveBeenCalledTimes(2);
|
|
252
|
+
expect(result.receipt.selectedRefs).toEqual(['code:original']);
|
|
253
|
+
expect(result.executionStatus).toBe('executed');
|
|
254
|
+
expect(result.receipt.channelAvailability?.code).toBe('available');
|
|
255
|
+
expect(result.cycles[0]?.legs).toEqual(expect.arrayContaining([
|
|
256
|
+
expect.objectContaining({
|
|
257
|
+
queryVariant: expect.objectContaining({ kind: 'original' }),
|
|
258
|
+
required: true, status: 'executed', availability: 'available', candidateCount: 1,
|
|
259
|
+
}),
|
|
260
|
+
expect.objectContaining({
|
|
261
|
+
queryVariant: expect.objectContaining({ kind: 'rewrite' }),
|
|
262
|
+
required: false, status: 'failed', availability: 'unavailable', reasonCode: 'producer_exception',
|
|
263
|
+
}),
|
|
264
|
+
]));
|
|
265
|
+
expect(result.cycles[0]?.legs.every(leg => !leg.parentReceiptIds.includes(leg.legId))).toBe(true);
|
|
266
|
+
expect(result.receipt).not.toHaveProperty('degradation');
|
|
267
|
+
}
|
|
268
|
+
finally {
|
|
269
|
+
database.close();
|
|
270
|
+
}
|
|
271
|
+
});
|
|
272
|
+
it('scopes identical producer legs by query variant before fusion', async () => {
|
|
273
|
+
const context = executionContext();
|
|
274
|
+
if (context.plan.code.requirement === 'prohibited')
|
|
275
|
+
throw new Error('CODE_PROHIBITED');
|
|
276
|
+
const sourceHash = context.facts.sourceHash;
|
|
277
|
+
context.plan.code.original = {
|
|
278
|
+
kind: 'original', query: 'original query',
|
|
279
|
+
queryHash: stableRuntimeHash({ query: 'original query', sourceHash }), sourceHash,
|
|
280
|
+
producerId: 'task-source-query', producerVersion: '1', sourceClaimIds: [],
|
|
281
|
+
};
|
|
282
|
+
context.plan.code.additions = [{
|
|
283
|
+
kind: 'rewrite', query: 'typed rewrite',
|
|
284
|
+
queryHash: stableRuntimeHash({ query: 'typed rewrite', sourceHash }), sourceHash,
|
|
285
|
+
producerId: 'typed-channel-query', producerVersion: '1', sourceClaimIds: [],
|
|
286
|
+
}];
|
|
287
|
+
const search = vi.fn(async (_context, request) => producerResult({
|
|
288
|
+
request,
|
|
289
|
+
context,
|
|
290
|
+
candidates: [
|
|
291
|
+
candidate('code:shared', { contributingLegs: [{ leg: 'code:segment', rank: 1 }] }),
|
|
292
|
+
candidate('code:shared', { contributingLegs: [{ leg: 'code:segment', rank: 1 }] }),
|
|
293
|
+
],
|
|
294
|
+
}));
|
|
295
|
+
const { coordinator, database } = harness(search);
|
|
296
|
+
try {
|
|
297
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
298
|
+
const fused = result.receipt.selectedEvidence?.find(item => item.stableRef === 'code:shared');
|
|
299
|
+
expect(fused?.contributingLegs).toEqual([
|
|
300
|
+
{ leg: `${result.cycles[0].requestSignatures.find(signature => signature.queryVariant.kind === 'original').signatureHash}:code:segment`, rank: 1 },
|
|
301
|
+
{ leg: `${result.cycles[0].requestSignatures.find(signature => signature.queryVariant.kind === 'rewrite').signatureHash}:code:segment`, rank: 1 },
|
|
302
|
+
]);
|
|
303
|
+
}
|
|
304
|
+
finally {
|
|
305
|
+
database.close();
|
|
306
|
+
}
|
|
307
|
+
});
|
|
308
|
+
it('reports no_candidates only after every required original leg executes', async () => {
|
|
309
|
+
const context = executionContext();
|
|
310
|
+
const { coordinator, database } = harness(vi.fn(async (_context, request) => producerResult({
|
|
311
|
+
request, context, channel: request.channel, availability: 'empty_valid', candidates: [],
|
|
312
|
+
})));
|
|
313
|
+
try {
|
|
314
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
315
|
+
expect(result.executionStatus).toBe('no_candidates');
|
|
316
|
+
expect(result.cycles[0]?.legs).toHaveLength(3);
|
|
317
|
+
expect(result.cycles[0]?.legs).toEqual(expect.arrayContaining([
|
|
318
|
+
expect.objectContaining({ required: true, status: 'no_candidates' }),
|
|
319
|
+
]));
|
|
320
|
+
expect(result.cycles[0]?.legs.every(leg => leg.required && leg.queryVariant.kind === 'original')).toBe(true);
|
|
321
|
+
expect(result.cycles[0]?.requestSignatures.every(signature => signature.receiptId === `retrieval-request:${signature.signatureHash}`
|
|
322
|
+
&& signature.parentReceiptIds.length === 0)).toBe(true);
|
|
323
|
+
expect(result.cycles[0]?.legs.every(leg => result.cycles[0].requestSignatures.some(signature => leg.parentReceiptIds.includes(signature.receiptId)))).toBe(true);
|
|
324
|
+
expect(result.receipt.parentReceiptIds).toEqual(result.cycles[0].legs.map(leg => leg.legId).sort());
|
|
325
|
+
}
|
|
326
|
+
finally {
|
|
327
|
+
database.close();
|
|
328
|
+
}
|
|
329
|
+
});
|
|
330
|
+
it('separates all_candidates_ineligible from execution sufficiency', async () => {
|
|
331
|
+
const context = executionContext();
|
|
332
|
+
const { coordinator, database } = harness(vi.fn(async (_context, request) => producerResult({
|
|
333
|
+
request,
|
|
334
|
+
context,
|
|
335
|
+
candidates: [candidate('code:denied', { eligibility: {
|
|
336
|
+
scope: { kind: 'project', id: 'project:1' }, permission: 'denied', sourceReady: true,
|
|
337
|
+
} })],
|
|
338
|
+
})));
|
|
339
|
+
try {
|
|
340
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
341
|
+
expect(result.executionStatus).toBe('all_candidates_ineligible');
|
|
342
|
+
expect(result.status).toBe('abstain');
|
|
343
|
+
expect(result.receipt.selectedRefs).toEqual([]);
|
|
344
|
+
expect(result.receipt.rejectedRefs).toContainEqual({ ref: 'code:denied', reason: 'permission_denied' });
|
|
345
|
+
}
|
|
346
|
+
finally {
|
|
347
|
+
database.close();
|
|
348
|
+
}
|
|
349
|
+
});
|
|
350
|
+
it('does not label producer-filtered candidates as no_candidates', async () => {
|
|
351
|
+
const context = executionContext();
|
|
352
|
+
const { coordinator, database } = harness(vi.fn(async (_context, request) => producerResult({
|
|
353
|
+
request, context, availability: 'empty_valid', candidates: [], rawCandidateCount: 1,
|
|
354
|
+
})));
|
|
355
|
+
try {
|
|
356
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
357
|
+
expect(result.executionStatus).toBe('all_candidates_ineligible');
|
|
358
|
+
expect(result.cycles[0]?.legs).toEqual(expect.arrayContaining([
|
|
359
|
+
expect.objectContaining({ required: true, status: 'all_candidates_ineligible' }),
|
|
360
|
+
]));
|
|
361
|
+
}
|
|
362
|
+
finally {
|
|
363
|
+
database.close();
|
|
364
|
+
}
|
|
365
|
+
});
|
|
366
|
+
it('fails closed when a bound producer omits its required vector receipt', async () => {
|
|
367
|
+
const context = executionContext();
|
|
368
|
+
const search = vi.fn(async (_context, request) => {
|
|
369
|
+
const result = producerResult({ request, context, candidates: [candidate('code:lexical')] });
|
|
370
|
+
const { receiptHash: _receiptHash, ...receiptBody } = result.receipt;
|
|
371
|
+
const invalidBody = {
|
|
372
|
+
...receiptBody,
|
|
373
|
+
producerLegs: receiptBody.producerLegs?.filter(leg => leg.kind !== 'vector'),
|
|
374
|
+
};
|
|
375
|
+
return { ...result, receipt: { ...invalidBody, receiptHash: stableRuntimeHash(invalidBody) } };
|
|
376
|
+
});
|
|
377
|
+
const { coordinator, database } = harness(search);
|
|
378
|
+
try {
|
|
379
|
+
const result = await coordinator.retrieve({ context, taskRevision: 1, now: 10 });
|
|
380
|
+
expect(result.executionStatus).toBe('failed');
|
|
381
|
+
expect(result.receipt.selectedRefs).toEqual([]);
|
|
382
|
+
expect(result.cycles[0]?.legs).toEqual(expect.arrayContaining([
|
|
383
|
+
expect.objectContaining({ channel: 'code', required: true, status: 'failed' }),
|
|
384
|
+
]));
|
|
385
|
+
}
|
|
386
|
+
finally {
|
|
387
|
+
database.close();
|
|
388
|
+
}
|
|
389
|
+
});
|
|
390
|
+
});
|
|
391
|
+
//# sourceMappingURL=retrieval-coordinator.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrieval-coordinator.test.js","sourceRoot":"","sources":["../../src/__tests__/retrieval-coordinator.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAsB,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE3E,MAAM,KAAK,GAAa,EAAE,CAAC;AAC3B,SAAS,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAEjG,SAAS,OAAO,CAAC,UAAoC,EAAE,UAAmC,EAAE;IAC1F,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YACvE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE;SACxF,CAAC,CAAC,EAAE,CAAC;IACN,MAAM,WAAW,GAAG,IAAI,oBAAoB,CAAC;QAC3C,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK;QAC7D,WAAW,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;QAChE,QAAQ,EAAE,IAAI,0BAA0B,CAAC,QAAQ,CAAC,EAAE,GAAG,OAAO;KAC/D,CAAC,CAAC;IACH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAChE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE;SACxF,CAAC,CAAC,EAAE,CAAC;AACR,CAAC;AAED,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAA2D,EAAE,CAAC;QAC5E,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE;gBAC/F,SAAS,CAAC,WAAW,CAAC;gBACtB,SAAS,CAAC,YAAY,EAAE,EAAE,WAAW,EAAE;wBACrC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;qBAC1F,EAAE,CAAC;gBACJ,SAAS,CAAC,cAAc,EAAE;oBACxB,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;oBACnD,WAAW,EAAE;wBACX,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;wBACrF,WAAW,EAAE,aAAa;qBAC3B;iBACF,CAAC;gBACF,SAAS,CAAC,iBAAiB,EAAE,EAAE,WAAW,EAAE;wBAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;qBACtF,EAAE,CAAC;aACL,EAAE,CAAC,CAAC,CAAC;QACN,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE;YAChD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,KAAsD,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;SACvG,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACnG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAC3D,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBACjE,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE;gBAC/C,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,EAAE;gBACnD,EAAE,GAAG,EAAE,iBAAiB,EAAE,MAAM,EAAE,oBAAoB,EAAE;aACzD,CAAC,CAAC,CAAC;YACJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;YAC/D,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC;YACzF,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;gBACvD,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;aAC9C,CAAC,CAAC;YACH,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxC,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpG,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACvC,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC9C,MAAM,CAAC,gBAAgB,CAAC;oBACtB,IAAI,EAAE,8BAA8B;oBACpC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC;wBAC5B,aAAa,EAAE,CAAC;wBAChB,YAAY,EAAE,EAAE,kBAAkB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;qBAChF,CAAC;iBACH,CAAC;gBACF,MAAM,CAAC,gBAAgB,CAAC;oBACtB,IAAI,EAAE,+BAA+B;oBACrC,IAAI,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;iBACtE,CAAC;aACH,CAAC,CAAC,CAAC;YACJ,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;QAE/B,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACxF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;YAC5G,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QAC5E,CAAC;gBAAS,CAAC;YAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,KAAK,IAAI,EAAE;QAC3G,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,GAAG,GAAkB;YACzB,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;SAC1F,CAAC;QACF,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrH,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE;YAChD,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,KAAuB,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;SAC3E,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACtE,MAAM,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;gBAC3D,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;aAChF,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC5C,0BAA0B,EAAE,4BAA4B;gBACxD,2BAA2B,EAAE,yBAAyB;aACvD,CAAC,CAAC,CAAC;QACN,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACjG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,GAAG,UAAU,CAAC;QAChD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,GAAG;YAClC,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,GAAG;SAChE,CAAC;QACF,MAAM,GAAG,GAAkB;YACzB,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;SAC1F,CAAC;QACF,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC/D,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC;SACzE,CAAC,CAAC,CAAC;QACJ,MAAM,QAAQ,GAAG;YACf,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG;YAC/C,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;SACpE,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,oBAAoB,CAAC;YAC3C,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE;YAC9C,SAAS,EAAE;gBACT,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;oBACxD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,WAAW;oBACrE,UAAU,EAAE,CAAC,SAAS,CAAC,aAAa,OAAO,CAAC,aAAa,EAAE,EAAE;4BAC3D,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;4BAC5E,WAAW,EAAE;gCACX,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;gCACrF,SAAS,EAAE,GAAG;6BACf;yBACF,CAAC,CAAC;oBACH,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;iBACrE,CAAC,CAAC;aACJ;YACD,WAAW,EAAE,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;YAChE,QAAQ,EAAE,IAAI,0BAA0B,CAAC,QAAQ,CAAC,EAAE,QAAQ;SAC7D,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC;gBAC5C,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG;gBAC/C,eAAe,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC,oBAAoB,CAAC,EAAE;aACzG,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,SAAS,CAC/C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,SAAS,CACpD,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;YACzD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC3E,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAC/D,QAAQ,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAC5C,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,CAC9D,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG;YACf,SAAS,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG;YAC/C,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,UAAU,EAAiC,EAAE,EAAE,CACpE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;SACtG,CAAC;QACF,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC5G,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACtG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,gBAAgB,CAAC;gBACnE,UAAU,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;aACxF,CAAC,CAAC,CAAC;YACJ,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;YACtE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5G,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,OAAO,CAAC,eAAe,CAAC,QAAQ,GAAG,YAAY,CAAC;QAChD,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC/D,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;SAC7E,CAAC,CAAC,CAAC;QACJ,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7D,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACvF,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG;YAC3B,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB;YACzC,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;YACjF,UAAU,EAAE,mBAAmB,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;SAC1E,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC;gBAC7B,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe;gBACvC,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;gBAChF,UAAU,EAAE,qBAAqB,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;aAC5E,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE;YAC/C,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACpF,OAAO,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;YAC/D,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACnE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC5D,MAAM,CAAC,gBAAgB,CAAC;oBACtB,YAAY,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;oBAC3D,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;iBACjF,CAAC;gBACF,MAAM,CAAC,gBAAgB,CAAC;oBACtB,YAAY,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;oBAC1D,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,oBAAoB;iBACjG,CAAC;aACH,CAAC,CAAC,CAAC;YACJ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QAC3D,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACvF,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,GAAG;YAC3B,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB;YACzC,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;YACjF,UAAU,EAAE,mBAAmB,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;SAC1E,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC;gBAC7B,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe;gBACvC,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;gBAChF,UAAU,EAAE,qBAAqB,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;aAC5E,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC/D,OAAO;YACP,OAAO;YACP,UAAU,EAAE;gBACV,SAAS,CAAC,aAAa,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClF,SAAS,CAAC,aAAa,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;aACnF;SACF,CAAC,CAAC,CAAC;QACJ,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;YAC9F,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,OAAO,CAAC;gBACtC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,CAAE,CAAC,aAAa,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE;gBACpJ,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,SAAS,CAAE,CAAC,aAAa,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE;aACpJ,CAAC,CAAC;QACL,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC1F,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE;SACxF,CAAC,CAAC,CAAC,CAAC;QACL,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC5D,MAAM,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;aACrE,CAAC,CAAC,CAAC;YACJ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7G,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAC3D,SAAS,CAAC,SAAS,KAAK,qBAAqB,SAAS,CAAC,aAAa,EAAE;mBACnE,SAAS,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAC9F,GAAG,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CACpD,CAAC;QACJ,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC1F,OAAO;YACP,OAAO;YACP,UAAU,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,EAAE,WAAW,EAAE;wBACnD,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI;qBACrF,EAAE,CAAC,CAAC;SACN,CAAC,CAAC,CAAC,CAAC;QACL,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAC;QAC1G,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC;YAC1F,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC;SACpF,CAAC,CAAC,CAAC,CAAC;QACL,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC5D,MAAM,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;aACjF,CAAC,CAAC,CAAC;QACN,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE;YAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7F,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;YACrE,MAAM,WAAW,GAAG;gBAClB,GAAG,WAAW;gBACd,YAAY,EAAE,WAAW,CAAC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC7E,CAAC;YACF,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,iBAAiB,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACjG,CAAC,CAAC,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;gBAC5D,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;aAC/E,CAAC,CAAC,CAAC;QACN,CAAC;gBAAS,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrieval-session.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/retrieval-session.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
import { mkdtempSync, rmSync } from 'node:fs';
|
|
2
|
+
import { tmpdir } from 'node:os';
|
|
3
|
+
import { join } from 'node:path';
|
|
4
|
+
import { afterEach, describe, expect, it } from 'vitest';
|
|
5
|
+
import { DevFlowDatabase } from '@devflow-tools/database';
|
|
6
|
+
import { stableRuntimeHash } from '@devflow-tools/sdk';
|
|
7
|
+
import { RetrievalSessionRepository } from '../retrieval-session.js';
|
|
8
|
+
import { executionContext } from './support.js';
|
|
9
|
+
const roots = [];
|
|
10
|
+
afterEach(() => roots.splice(0).forEach(root => rmSync(root, { recursive: true, force: true })));
|
|
11
|
+
describe('RetrievalSessionRepository', () => {
|
|
12
|
+
it('replays identical sessions/cycles and rejects conflicting budgets or receipt hashes', () => {
|
|
13
|
+
const root = mkdtempSync(join(tmpdir(), 'retrieval-v2-'));
|
|
14
|
+
roots.push(root);
|
|
15
|
+
const database = new DevFlowDatabase(root);
|
|
16
|
+
try {
|
|
17
|
+
const sessions = new RetrievalSessionRepository(database);
|
|
18
|
+
const context = executionContext();
|
|
19
|
+
const opened = sessions.open({ context, taskRevision: 1, tokenBudget: 100, now: 10 });
|
|
20
|
+
expect(sessions.open({ context, taskRevision: 1, tokenBudget: 100, now: 20 }).id).toBe(opened.id);
|
|
21
|
+
expect(() => sessions.open({ context, taskRevision: 1, tokenBudget: 99, now: 20 }))
|
|
22
|
+
.toThrow('RETRIEVAL_SESSION_V2_CONFLICT');
|
|
23
|
+
const compositeBody = {
|
|
24
|
+
schemaVersion: 'evidence-receipt.v1',
|
|
25
|
+
receiptId: 'evidence:1', taskContextHash: context.contextHash, channel: 'composite',
|
|
26
|
+
parentReceiptIds: [],
|
|
27
|
+
availability: 'available', selectedRefs: ['code:1'], rejectedRefs: [], gaps: [],
|
|
28
|
+
factsHash: context.facts.factsHash, planHash: context.plan.planHash,
|
|
29
|
+
activationSnapshotHash: context.activationSnapshotHash,
|
|
30
|
+
coordinatorVersion: opened.coordinatorVersion, createdAt: 11,
|
|
31
|
+
};
|
|
32
|
+
const compositeReceipt = { ...compositeBody, receiptHash: stableRuntimeHash(compositeBody) };
|
|
33
|
+
const cycleBody = {
|
|
34
|
+
schemaVersion: 'retrieval-cycle-receipt.v1', sessionId: opened.id, cycle: 1,
|
|
35
|
+
requestSignatures: [], legs: [], selectedRefs: ['code:1'], rejectedRefs: [], gaps: [], tokenCost: 1,
|
|
36
|
+
stableRefGain: 1, noGainCount: 0, sufficiency: 'sufficient',
|
|
37
|
+
executionStatus: 'executed',
|
|
38
|
+
compositeReceipt, evidenceHash: 'evidence-hash', createdAt: 11,
|
|
39
|
+
};
|
|
40
|
+
const cycle = { ...cycleBody, receiptHash: stableRuntimeHash(cycleBody) };
|
|
41
|
+
expect(sessions.append(opened, cycle, 99).state).toBe('sufficient');
|
|
42
|
+
expect(sessions.append(opened, cycle, 99).state).toBe('sufficient');
|
|
43
|
+
expect(sessions.cycles(opened.id)).toEqual([cycle]);
|
|
44
|
+
expect(() => sessions.append(opened, { ...cycle, receiptHash: 'tampered' }, 99))
|
|
45
|
+
.toThrow('RETRIEVAL_CYCLE_V2_HASH_MISMATCH');
|
|
46
|
+
}
|
|
47
|
+
finally {
|
|
48
|
+
database.close();
|
|
49
|
+
}
|
|
50
|
+
});
|
|
51
|
+
});
|
|
52
|
+
//# sourceMappingURL=retrieval-session.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrieval-session.test.js","sourceRoot":"","sources":["../../src/__tests__/retrieval-session.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAgC,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,MAAM,KAAK,GAAa,EAAE,CAAC;AAC3B,SAAS,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAEjG,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,IAAI,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YACtF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAClG,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;iBAChF,OAAO,CAAC,+BAA+B,CAAC,CAAC;YAE5C,MAAM,aAAa,GAAG;gBACpB,aAAa,EAAE,qBAA8B;gBAC7C,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,WAAoB;gBAC5F,gBAAgB,EAAE,EAAE;gBACpB,YAAY,EAAE,WAAoB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;gBACxF,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ;gBACnE,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;gBACtD,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAAE,SAAS,EAAE,EAAE;aAC7D,CAAC;YACF,MAAM,gBAAgB,GAAG,EAAE,GAAG,aAAa,EAAE,WAAW,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,CAAC;YAC7F,MAAM,SAAS,GAAG;gBAChB,aAAa,EAAE,4BAAqC,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;gBACpF,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;gBACnG,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,YAAqB;gBACpE,eAAe,EAAE,UAAmB;gBACpC,gBAAgB,EAAE,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE;aAC/D,CAAC;YACF,MAAM,KAAK,GAA4B,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACpE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACpE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;iBAC7E,OAAO,CAAC,kCAAkC,CAAC,CAAC;QACjD,CAAC;gBAAS,CAAC;YACT,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rrf.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/rrf.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { reciprocalRankFusion, RRF_K } from '../rrf.js';
|
|
3
|
+
function candidate(ref, legs) {
|
|
4
|
+
return {
|
|
5
|
+
stableRef: ref, channel: 'code', strength: 'supporting', rank: legs[0]?.rank ?? 1,
|
|
6
|
+
evidence: { ref, sourceId: ref, producer: 'test', producerVersion: '1', parentRefs: [] },
|
|
7
|
+
payload: {}, contributingLegs: legs,
|
|
8
|
+
eligibility: {
|
|
9
|
+
scope: { kind: 'project', id: 'project:1' }, permission: 'allowed', sourceReady: true,
|
|
10
|
+
},
|
|
11
|
+
};
|
|
12
|
+
}
|
|
13
|
+
describe('reciprocalRankFusion', () => {
|
|
14
|
+
it('uses fixed rank fusion and preserves every contributing leg', () => {
|
|
15
|
+
const fused = reciprocalRankFusion([
|
|
16
|
+
candidate('code:a', [{ leg: 'code:bm25', rank: 1 }]),
|
|
17
|
+
candidate('code:b', [{ leg: 'code:bm25', rank: 2 }]),
|
|
18
|
+
candidate('code:b', [{ leg: 'code:bm25', rank: 2 }]),
|
|
19
|
+
candidate('code:b', [{ leg: 'code:graph', rank: 1 }]),
|
|
20
|
+
]);
|
|
21
|
+
expect(RRF_K).toBe(60);
|
|
22
|
+
expect(fused.map(item => item.candidate.stableRef)).toEqual(['code:b', 'code:a']);
|
|
23
|
+
expect(fused[0].candidate.contributingLegs).toEqual([
|
|
24
|
+
{ leg: 'code:bm25', rank: 2 }, { leg: 'code:graph', rank: 1 },
|
|
25
|
+
]);
|
|
26
|
+
expect(fused[0].rrfScore).toBeCloseTo(1 / 62 + 1 / 61);
|
|
27
|
+
});
|
|
28
|
+
it('weights direct segment evidence above generic retrieval legs', () => {
|
|
29
|
+
const fused = reciprocalRankFusion([
|
|
30
|
+
candidate('code:segment', [{ leg: 'signature:code:segment', rank: 1 }]),
|
|
31
|
+
candidate('code:bm25', [{ leg: 'signature:code:bm25', rank: 1 }]),
|
|
32
|
+
]);
|
|
33
|
+
expect(fused.map(item => item.candidate.stableRef)).toEqual(['code:segment', 'code:bm25']);
|
|
34
|
+
expect(fused[0].rrfScore).toBeCloseTo(5 / 61);
|
|
35
|
+
});
|
|
36
|
+
});
|
|
37
|
+
//# sourceMappingURL=rrf.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"rrf.test.js","sourceRoot":"","sources":["../../src/__tests__/rrf.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAExD,SAAS,SAAS,CAAC,GAAW,EAAE,IAA6C;IAC3E,OAAO;QACL,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC;QACjF,QAAQ,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;QACxF,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI;QACnC,WAAW,EAAE;YACX,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;SACtF;KACF,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,oBAAoB,CAAC;YACjC,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACpD,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SACtD,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC;YACnD,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,oBAAoB,CAAC;YACjC,SAAS,CAAC,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YACvE,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SAClE,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import { type EvidenceAvailability, type EvidenceCandidateV1, type EvidenceGapV1, type EvidenceProducerResult, type RetrievalRequestSignatureV1, type SemanticExecutionContext } from '@devflow-tools/sdk';
|
|
2
|
+
export declare function executionContext(): SemanticExecutionContext;
|
|
3
|
+
export declare function candidate(ref: string, overrides?: Partial<EvidenceCandidateV1>): EvidenceCandidateV1;
|
|
4
|
+
export declare function producerResult(input: {
|
|
5
|
+
request: RetrievalRequestSignatureV1;
|
|
6
|
+
context?: SemanticExecutionContext;
|
|
7
|
+
availability?: EvidenceAvailability;
|
|
8
|
+
candidates?: EvidenceCandidateV1[];
|
|
9
|
+
gaps?: EvidenceGapV1[];
|
|
10
|
+
channel?: 'code' | 'memory' | 'knowledge';
|
|
11
|
+
rawCandidateCount?: number;
|
|
12
|
+
}): EvidenceProducerResult;
|
|
13
|
+
//# sourceMappingURL=support.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"support.d.ts","sourceRoot":"","sources":["../../src/__tests__/support.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAE3B,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAE5B,wBAAgB,gBAAgB,IAAI,wBAAwB,CAmD3D;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,GAAE,OAAO,CAAC,mBAAmB,CAAM,GAAG,mBAAmB,CASxG;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,OAAO,EAAE,2BAA2B,CAAC;IACrC,OAAO,CAAC,EAAE,wBAAwB,CAAC;IACnC,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACnC,IAAI,CAAC,EAAE,aAAa,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;IAC1C,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B,GAAG,sBAAsB,CAyCzB"}
|