@devflow-tools/semantic-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__/channel-query-plan.test.d.ts +2 -0
- package/dist/__tests__/channel-query-plan.test.d.ts.map +1 -0
- package/dist/__tests__/channel-query-plan.test.js +78 -0
- package/dist/__tests__/channel-query-plan.test.js.map +1 -0
- package/dist/__tests__/domain-action-planner.test.d.ts +2 -0
- package/dist/__tests__/domain-action-planner.test.d.ts.map +1 -0
- package/dist/__tests__/domain-action-planner.test.js +67 -0
- package/dist/__tests__/domain-action-planner.test.js.map +1 -0
- package/dist/__tests__/retrieval-query-sampling-resolver.test.d.ts +2 -0
- package/dist/__tests__/retrieval-query-sampling-resolver.test.d.ts.map +1 -0
- package/dist/__tests__/retrieval-query-sampling-resolver.test.js +182 -0
- package/dist/__tests__/retrieval-query-sampling-resolver.test.js.map +1 -0
- package/dist/__tests__/semantic-authority-merger.test.d.ts +2 -0
- package/dist/__tests__/semantic-authority-merger.test.d.ts.map +1 -0
- package/dist/__tests__/semantic-authority-merger.test.js +50 -0
- package/dist/__tests__/semantic-authority-merger.test.js.map +1 -0
- package/dist/__tests__/semantic-context-resolver.test.d.ts +2 -0
- package/dist/__tests__/semantic-context-resolver.test.d.ts.map +1 -0
- package/dist/__tests__/semantic-context-resolver.test.js +258 -0
- package/dist/__tests__/semantic-context-resolver.test.js.map +1 -0
- package/dist/__tests__/semantic-router.test.d.ts +2 -0
- package/dist/__tests__/semantic-router.test.d.ts.map +1 -0
- package/dist/__tests__/semantic-router.test.js +69 -0
- package/dist/__tests__/semantic-router.test.js.map +1 -0
- package/dist/__tests__/task-claim-compiler.test.d.ts +2 -0
- package/dist/__tests__/task-claim-compiler.test.d.ts.map +1 -0
- package/dist/__tests__/task-claim-compiler.test.js +127 -0
- package/dist/__tests__/task-claim-compiler.test.js.map +1 -0
- package/dist/domain-action-planner.d.ts +3 -0
- package/dist/domain-action-planner.d.ts.map +1 -0
- package/dist/domain-action-planner.js +163 -0
- package/dist/domain-action-planner.js.map +1 -0
- package/dist/index.d.ts +13 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +13 -0
- package/dist/index.js.map +1 -0
- package/dist/query-plan-compilers.d.ts +15 -0
- package/dist/query-plan-compilers.d.ts.map +1 -0
- package/dist/query-plan-compilers.js +178 -0
- package/dist/query-plan-compilers.js.map +1 -0
- package/dist/retrieval-query-proposal.d.ts +22 -0
- package/dist/retrieval-query-proposal.d.ts.map +1 -0
- package/dist/retrieval-query-proposal.js +114 -0
- package/dist/retrieval-query-proposal.js.map +1 -0
- package/dist/retrieval-query-sampling-resolver.d.ts +41 -0
- package/dist/retrieval-query-sampling-resolver.d.ts.map +1 -0
- package/dist/retrieval-query-sampling-resolver.js +248 -0
- package/dist/retrieval-query-sampling-resolver.js.map +1 -0
- package/dist/semantic-authority-merger.d.ts +20 -0
- package/dist/semantic-authority-merger.d.ts.map +1 -0
- package/dist/semantic-authority-merger.js +209 -0
- package/dist/semantic-authority-merger.js.map +1 -0
- package/dist/semantic-claim-validator.d.ts +15 -0
- package/dist/semantic-claim-validator.d.ts.map +1 -0
- package/dist/semantic-claim-validator.js +139 -0
- package/dist/semantic-claim-validator.js.map +1 -0
- package/dist/semantic-context-resolver.d.ts +49 -0
- package/dist/semantic-context-resolver.d.ts.map +1 -0
- package/dist/semantic-context-resolver.js +137 -0
- package/dist/semantic-context-resolver.js.map +1 -0
- package/dist/semantic-resolver.d.ts +10 -0
- package/dist/semantic-resolver.d.ts.map +1 -0
- package/dist/semantic-resolver.js +16 -0
- package/dist/semantic-resolver.js.map +1 -0
- package/dist/semantic-route-catalog.d.ts +35 -0
- package/dist/semantic-route-catalog.d.ts.map +1 -0
- package/dist/semantic-route-catalog.js +53 -0
- package/dist/semantic-route-catalog.js.map +1 -0
- package/dist/semantic-router.d.ts +39 -0
- package/dist/semantic-router.d.ts.map +1 -0
- package/dist/semantic-router.js +175 -0
- package/dist/semantic-router.js.map +1 -0
- package/dist/semantic-structural-evidence.d.ts +27 -0
- package/dist/semantic-structural-evidence.d.ts.map +1 -0
- package/dist/semantic-structural-evidence.js +134 -0
- package/dist/semantic-structural-evidence.js.map +1 -0
- package/dist/task-claim-compiler.d.ts +13 -0
- package/dist/task-claim-compiler.d.ts.map +1 -0
- package/dist/task-claim-compiler.js +210 -0
- package/dist/task-claim-compiler.js.map +1 -0
- package/package.json +37 -0
|
@@ -0,0 +1,258 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { createRuntimeActivationSnapshotV1, stableRuntimeHash, } from '@devflow-tools/sdk';
|
|
3
|
+
import { compileChannelQueryPlan } from '../query-plan-compilers.js';
|
|
4
|
+
import { createRetrievalQuerySamplingResolver } from '../retrieval-query-sampling-resolver.js';
|
|
5
|
+
import { resolveTaskSemanticContext } from '../semantic-context-resolver.js';
|
|
6
|
+
const identity = {
|
|
7
|
+
projectRoot: '/project', projectId: 'project:1', hostId: 'host:1',
|
|
8
|
+
sessionId: 'session:1', turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1',
|
|
9
|
+
};
|
|
10
|
+
describe('resolveTaskSemanticContext', () => {
|
|
11
|
+
it('requires every explicitly requested channel in degraded structural mode', async () => {
|
|
12
|
+
const resolved = await resolveTaskSemanticContext({
|
|
13
|
+
normalizedPrompt: '定位 NavMenu 组件;召回项目的 React 偏好;查询 React 创建和嵌套组件文档。',
|
|
14
|
+
identity,
|
|
15
|
+
revision: 1,
|
|
16
|
+
activation: createRuntimeActivationSnapshotV1({
|
|
17
|
+
semantic: 'degraded_structural', retrieval: 'degraded',
|
|
18
|
+
memoryExtraction: 'deferred', knowledgeCompilation: 'deferred',
|
|
19
|
+
embeddingProfiles: {}, rolloutPolicyVersion: 'policy:v1', createdAt: 1,
|
|
20
|
+
}),
|
|
21
|
+
policy: { policyHash: 'policy:v1', budgets: {
|
|
22
|
+
hookDeadlineMs: 3_000, contextTokens: 8_000, responseReserveTokens: 2_000,
|
|
23
|
+
perChannelMs: { code: 1_000, memory: 500, knowledge: 500 },
|
|
24
|
+
} },
|
|
25
|
+
now: 2,
|
|
26
|
+
});
|
|
27
|
+
expect(resolved.context.facts).toMatchObject({
|
|
28
|
+
entities: expect.arrayContaining(['NavMenu']),
|
|
29
|
+
memoryDirective: 'recall',
|
|
30
|
+
knowledgeNeeds: [{ kind: 'api', entity: 'React' }],
|
|
31
|
+
});
|
|
32
|
+
expect(resolved.context.dispositions).toEqual([
|
|
33
|
+
expect.objectContaining({ channel: 'code', requirement: 'required' }),
|
|
34
|
+
expect.objectContaining({ channel: 'memory', requirement: 'required' }),
|
|
35
|
+
expect.objectContaining({ channel: 'knowledge', requirement: 'required' }),
|
|
36
|
+
]);
|
|
37
|
+
});
|
|
38
|
+
it('compiles a hash-bound degraded plan with explicit field provenance', async () => {
|
|
39
|
+
const activation = createRuntimeActivationSnapshotV1({
|
|
40
|
+
semantic: 'degraded_structural', retrieval: 'degraded',
|
|
41
|
+
memoryExtraction: 'deferred', knowledgeCompilation: 'deferred',
|
|
42
|
+
embeddingProfiles: {}, rolloutPolicyVersion: 'policy:v1', createdAt: 1,
|
|
43
|
+
});
|
|
44
|
+
const resolved = await resolveTaskSemanticContext({
|
|
45
|
+
normalizedPrompt: '只分析 packages/api/src/index.ts,不要修改代码',
|
|
46
|
+
identity,
|
|
47
|
+
revision: 1,
|
|
48
|
+
activation,
|
|
49
|
+
targetAnchors: ['packages/api/src/index.ts'],
|
|
50
|
+
policy: {
|
|
51
|
+
policyHash: 'policy:v1',
|
|
52
|
+
budgets: {
|
|
53
|
+
hookDeadlineMs: 3_000, contextTokens: 8_000, responseReserveTokens: 2_000,
|
|
54
|
+
perChannelMs: { code: 1_000, memory: 500, knowledge: 500 },
|
|
55
|
+
},
|
|
56
|
+
},
|
|
57
|
+
now: 2,
|
|
58
|
+
});
|
|
59
|
+
expect(resolved.context).toMatchObject({
|
|
60
|
+
activationSnapshotHash: activation.snapshotHash,
|
|
61
|
+
mode: 'degraded_structural',
|
|
62
|
+
taskDefinitionHash: resolved.definition.definitionHash,
|
|
63
|
+
});
|
|
64
|
+
expect(resolved.context.schemaVersion).toBe('semantic-execution-context');
|
|
65
|
+
expect(resolved.context.plan.sourceFactsHash).toBe(resolved.context.facts.factsHash);
|
|
66
|
+
expect(resolved.context.plan.queryProposalIds).toEqual([]);
|
|
67
|
+
expect(resolved.context.plan.code).toMatchObject({
|
|
68
|
+
requirement: 'required',
|
|
69
|
+
original: {
|
|
70
|
+
kind: 'original', producerId: 'task-source-query',
|
|
71
|
+
},
|
|
72
|
+
});
|
|
73
|
+
expect(resolved.definition.semanticContextHash).toBe(resolved.context.contextHash);
|
|
74
|
+
expect(resolved.context.actionAuthority.mutation).toBe('prohibited');
|
|
75
|
+
const other = await resolveTaskSemanticContext({
|
|
76
|
+
normalizedPrompt: '只分析 packages/api/src/index.ts,不要修改代码',
|
|
77
|
+
identity: { ...identity, sessionId: 'session:2', turnId: 'turn:2', requestId: 'request:2' },
|
|
78
|
+
revision: 1,
|
|
79
|
+
activation,
|
|
80
|
+
targetAnchors: ['packages/api/src/index.ts'],
|
|
81
|
+
policy: {
|
|
82
|
+
policyHash: 'policy:v1',
|
|
83
|
+
budgets: resolved.definition.budgets,
|
|
84
|
+
},
|
|
85
|
+
now: 2,
|
|
86
|
+
});
|
|
87
|
+
expect(other.context.contextHash).not.toBe(resolved.context.contextHash);
|
|
88
|
+
expect(other.definition.definitionHash).not.toBe(resolved.definition.definitionHash);
|
|
89
|
+
});
|
|
90
|
+
it('keeps optional Memory executable for an uncertain performance task', async () => {
|
|
91
|
+
const resolved = await resolveTaskSemanticContext({
|
|
92
|
+
normalizedPrompt: '只分析性能,不要修改代码', identity, revision: 1,
|
|
93
|
+
activation: createRuntimeActivationSnapshotV1({
|
|
94
|
+
semantic: 'degraded_structural', retrieval: 'degraded', memoryExtraction: 'deferred',
|
|
95
|
+
knowledgeCompilation: 'deferred', embeddingProfiles: {}, rolloutPolicyVersion: 'policy:v1', createdAt: 1,
|
|
96
|
+
}),
|
|
97
|
+
policy: { policyHash: 'policy:v1', activeSkill: 'devflow:react', budgets: {
|
|
98
|
+
hookDeadlineMs: 3_000, contextTokens: 8_000, responseReserveTokens: 2_000,
|
|
99
|
+
perChannelMs: { code: 1_000, memory: 500, knowledge: 500 },
|
|
100
|
+
} }, now: 3,
|
|
101
|
+
});
|
|
102
|
+
const performance = compileChannelQueryPlan({
|
|
103
|
+
identity,
|
|
104
|
+
facts: resolved.context.facts,
|
|
105
|
+
dispositions: resolved.context.dispositions,
|
|
106
|
+
claims: resolved.resolution.claims,
|
|
107
|
+
query: '只分析性能,不要修改代码', activeSkill: 'devflow:react', createdAt: 3
|
|
108
|
+
});
|
|
109
|
+
expect(performance.memory).toMatchObject({
|
|
110
|
+
requirement: 'optional',
|
|
111
|
+
original: { kind: 'original', query: '只分析性能,不要修改代码' },
|
|
112
|
+
});
|
|
113
|
+
});
|
|
114
|
+
it('keeps the original leg and appends only receipt-bound query proposals', async () => {
|
|
115
|
+
const resolved = await resolveTaskSemanticContext({
|
|
116
|
+
normalizedPrompt: '分析 packages/api/src/index.ts', identity, revision: 1,
|
|
117
|
+
targetAnchors: ['packages/api/src/index.ts'],
|
|
118
|
+
activation: createRuntimeActivationSnapshotV1({
|
|
119
|
+
semantic: 'degraded_structural', retrieval: 'degraded', memoryExtraction: 'deferred',
|
|
120
|
+
knowledgeCompilation: 'deferred', embeddingProfiles: {}, rolloutPolicyVersion: 'policy:v1', createdAt: 1,
|
|
121
|
+
}),
|
|
122
|
+
policy: { policyHash: 'policy:v1', budgets: {
|
|
123
|
+
hookDeadlineMs: 3_000, contextTokens: 8_000, responseReserveTokens: 2_000,
|
|
124
|
+
perChannelMs: { code: 1_000, memory: 500, knowledge: 500 },
|
|
125
|
+
} }, now: 4,
|
|
126
|
+
});
|
|
127
|
+
const claim = resolved.resolution.claims.find(item => item.claim.kind === 'target');
|
|
128
|
+
const receipt = queryReceipt(resolved.context.facts.factsHash);
|
|
129
|
+
const proposal = queryProposal(resolved.context.facts.factsHash, claim, receipt);
|
|
130
|
+
const plan = compileChannelQueryPlan({
|
|
131
|
+
identity,
|
|
132
|
+
facts: resolved.context.facts,
|
|
133
|
+
dispositions: resolved.context.dispositions,
|
|
134
|
+
claims: resolved.resolution.claims,
|
|
135
|
+
query: '分析 packages/api/src/index.ts',
|
|
136
|
+
createdAt: 5,
|
|
137
|
+
queryProposals: [proposal],
|
|
138
|
+
queryProposalReceipts: [receipt],
|
|
139
|
+
});
|
|
140
|
+
expect(plan.code.requirement).not.toBe('prohibited');
|
|
141
|
+
if (plan.code.requirement === 'prohibited')
|
|
142
|
+
throw new Error('CODE_PLAN_PROHIBITED');
|
|
143
|
+
expect([plan.code.original, ...plan.code.additions].map(variant => variant.kind)).toEqual(['original', 'rewrite']);
|
|
144
|
+
expect(plan.queryProposalIds).toEqual([proposal.proposalId]);
|
|
145
|
+
const wrongBody = { ...stripProposalHash(proposal), sourceFactsHash: stableRuntimeHash('other') };
|
|
146
|
+
const rejected = compileChannelQueryPlan({
|
|
147
|
+
identity,
|
|
148
|
+
facts: resolved.context.facts,
|
|
149
|
+
dispositions: resolved.context.dispositions,
|
|
150
|
+
claims: resolved.resolution.claims,
|
|
151
|
+
query: '分析 packages/api/src/index.ts',
|
|
152
|
+
createdAt: 5,
|
|
153
|
+
queryProposals: [{ ...wrongBody, proposalHash: stableRuntimeHash(wrongBody) }],
|
|
154
|
+
queryProposalReceipts: [receipt],
|
|
155
|
+
});
|
|
156
|
+
expect(rejected.code.requirement).not.toBe('prohibited');
|
|
157
|
+
if (rejected.code.requirement === 'prohibited')
|
|
158
|
+
throw new Error('CODE_PLAN_PROHIBITED');
|
|
159
|
+
expect([rejected.code.original, ...rejected.code.additions].map(variant => variant.kind)).toEqual(['original']);
|
|
160
|
+
expect(rejected.queryProposalIds).toEqual([]);
|
|
161
|
+
});
|
|
162
|
+
it('produces retrieval queries after validated semantic facts are available', async () => {
|
|
163
|
+
let suppliedClaimId = '';
|
|
164
|
+
const retrievalQuerySampling = createRetrievalQuerySamplingResolver({
|
|
165
|
+
isSupported: () => true,
|
|
166
|
+
createMessage: async (request) => {
|
|
167
|
+
const providerInput = JSON.parse(request.prompt);
|
|
168
|
+
suppliedClaimId = providerInput.claims[0]?.claimId ?? '';
|
|
169
|
+
return {
|
|
170
|
+
text: JSON.stringify([{
|
|
171
|
+
channel: 'code',
|
|
172
|
+
kind: 'rewrite',
|
|
173
|
+
query: 'explicit context files containment model window budget',
|
|
174
|
+
sourceClaimIds: [suppliedClaimId],
|
|
175
|
+
confidence: 0.91,
|
|
176
|
+
}]),
|
|
177
|
+
model: 'test-model',
|
|
178
|
+
};
|
|
179
|
+
},
|
|
180
|
+
});
|
|
181
|
+
const resolved = await resolveTaskSemanticContext({
|
|
182
|
+
normalizedPrompt: '分析 LLM Wiki 的显式上下文文件加载',
|
|
183
|
+
identity,
|
|
184
|
+
revision: 1,
|
|
185
|
+
activation: createRuntimeActivationSnapshotV1({
|
|
186
|
+
semantic: 'authoritative', retrieval: 'authoritative', memoryExtraction: 'deferred',
|
|
187
|
+
knowledgeCompilation: 'deferred', embeddingProfiles: {}, rolloutPolicyVersion: 'policy:v1', createdAt: 1,
|
|
188
|
+
}),
|
|
189
|
+
router: {
|
|
190
|
+
route: async () => ({
|
|
191
|
+
status: 'out_of_scope',
|
|
192
|
+
candidates: [],
|
|
193
|
+
thresholdVersion: 'test.v1',
|
|
194
|
+
latencyMs: 1,
|
|
195
|
+
reason: 'test',
|
|
196
|
+
}),
|
|
197
|
+
},
|
|
198
|
+
retrievalQuerySampling: { sample: retrievalQuerySampling },
|
|
199
|
+
policy: { policyHash: 'policy:v1', budgets: {
|
|
200
|
+
hookDeadlineMs: 3_000, contextTokens: 8_000, responseReserveTokens: 2_000,
|
|
201
|
+
perChannelMs: { code: 1_000, memory: 500, knowledge: 500 },
|
|
202
|
+
} },
|
|
203
|
+
now: 6,
|
|
204
|
+
});
|
|
205
|
+
expect(suppliedClaimId).toMatch(/^semantic-claim:/u);
|
|
206
|
+
expect(resolved.context.plan.code.requirement).not.toBe('prohibited');
|
|
207
|
+
if (resolved.context.plan.code.requirement === 'prohibited')
|
|
208
|
+
throw new Error('CODE_PLAN_PROHIBITED');
|
|
209
|
+
expect(resolved.context.plan.code.original.query).toBe('分析 LLM Wiki 的显式上下文文件加载');
|
|
210
|
+
expect(resolved.context.plan.code.additions).toEqual([
|
|
211
|
+
expect.objectContaining({
|
|
212
|
+
kind: 'rewrite',
|
|
213
|
+
query: 'explicit context files containment model window budget',
|
|
214
|
+
sourceClaimIds: [suppliedClaimId],
|
|
215
|
+
}),
|
|
216
|
+
]);
|
|
217
|
+
expect(resolved.resolution.providerReceipts).toContainEqual(expect.objectContaining({ capability: 'retrieval_query', status: 'ready' }));
|
|
218
|
+
});
|
|
219
|
+
});
|
|
220
|
+
function queryReceipt(requestHash) {
|
|
221
|
+
const body = {
|
|
222
|
+
schemaVersion: 'provider-execution-receipt.v1',
|
|
223
|
+
receiptId: 'query-receipt:1',
|
|
224
|
+
executionId: 'query-execution:1',
|
|
225
|
+
requestHash,
|
|
226
|
+
providerId: 'query-test',
|
|
227
|
+
providerVersion: '1',
|
|
228
|
+
capability: 'retrieval_query',
|
|
229
|
+
status: 'ready',
|
|
230
|
+
proposalCount: 1,
|
|
231
|
+
acceptedCount: 1,
|
|
232
|
+
rejectedCount: 0,
|
|
233
|
+
reasonCodes: [],
|
|
234
|
+
latencyMs: 1,
|
|
235
|
+
createdAt: 5,
|
|
236
|
+
};
|
|
237
|
+
return { ...body, receiptHash: stableRuntimeHash(body) };
|
|
238
|
+
}
|
|
239
|
+
function queryProposal(sourceFactsHash, claim, receipt) {
|
|
240
|
+
const body = {
|
|
241
|
+
schemaVersion: 'retrieval-query-proposal.v1',
|
|
242
|
+
proposalId: 'query-proposal:1',
|
|
243
|
+
providerExecutionId: receipt.executionId,
|
|
244
|
+
sourceFactsHash,
|
|
245
|
+
channel: 'code',
|
|
246
|
+
kind: 'rewrite',
|
|
247
|
+
query: 'packages/api/src/index.ts dependency callers',
|
|
248
|
+
sourceClaimIds: [claim.claimId],
|
|
249
|
+
evidence: claim.evidence,
|
|
250
|
+
confidence: 0.9,
|
|
251
|
+
};
|
|
252
|
+
return { ...body, proposalHash: stableRuntimeHash(body) };
|
|
253
|
+
}
|
|
254
|
+
function stripProposalHash(proposal) {
|
|
255
|
+
const { proposalHash: _proposalHash, ...body } = proposal;
|
|
256
|
+
return body;
|
|
257
|
+
}
|
|
258
|
+
//# sourceMappingURL=semantic-context-resolver.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-context-resolver.test.js","sourceRoot":"","sources":["../../src/__tests__/semantic-context-resolver.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,iCAAiC,EACjC,iBAAiB,GAIlB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,oCAAoC,EAAE,MAAM,yCAAyC,CAAC;AAC/F,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAE7E,MAAM,QAAQ,GAAG;IACf,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ;IACjE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa;CAC7F,CAAC;AAEF,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;YAChD,gBAAgB,EAAE,kDAAkD;YACpE,QAAQ;YACR,QAAQ,EAAE,CAAC;YACX,UAAU,EAAE,iCAAiC,CAAC;gBAC5C,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU;gBACtD,gBAAgB,EAAE,UAAU,EAAE,oBAAoB,EAAE,UAAU;gBAC9D,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;aACvE,CAAC;YACF,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;oBAC1C,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;oBACzE,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;iBAC3D,EAAE;YACH,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;YAC3C,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7C,eAAe,EAAE,QAAQ;YACzB,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YAC5C,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACrE,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACvE,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;SAC3E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,UAAU,GAAG,iCAAiC,CAAC;YACnD,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU;YACtD,gBAAgB,EAAE,UAAU,EAAE,oBAAoB,EAAE,UAAU;YAC9D,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;SACvE,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;YAChD,gBAAgB,EAAE,sCAAsC;YACxD,QAAQ;YACR,QAAQ,EAAE,CAAC;YACX,UAAU;YACV,aAAa,EAAE,CAAC,2BAA2B,CAAC;YAC5C,MAAM,EAAE;gBACN,UAAU,EAAE,WAAW;gBACvB,OAAO,EAAE;oBACP,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;oBACzE,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;iBAC3D;aACF;YACD,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC;YACrC,sBAAsB,EAAE,UAAU,CAAC,YAAY;YAC/C,IAAI,EAAE,qBAAqB;YAC3B,kBAAkB,EAAE,QAAQ,CAAC,UAAU,CAAC,cAAc;SACvD,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC1E,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;YAC/C,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE;gBACV,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,mBAAmB;aAChD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,MAAM,0BAA0B,CAAC;YAC7C,gBAAgB,EAAE,sCAAsC;YACxD,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE;YAC3F,QAAQ,EAAE,CAAC;YACX,UAAU;YACV,aAAa,EAAE,CAAC,2BAA2B,CAAC;YAC5C,MAAM,EAAE;gBACN,UAAU,EAAE,WAAW;gBACvB,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,OAAO;aACrC;YACD,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;YAChD,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;YACvD,UAAU,EAAE,iCAAiC,CAAC;gBAC5C,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU;gBACpF,oBAAoB,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;aACzG,CAAC;YACF,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,eAAe,EAAE,OAAO,EAAE;oBACxE,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;oBACzE,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;iBAC3D,EAAE,EAAE,GAAG,EAAE,CAAC;SACZ,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,uBAAuB,CAAC;YAC1C,QAAQ;YACR,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;YAC7B,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,YAAY;YAC3C,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;YAClC,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC;SAAE,CAAC,CAAC;QACvE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YACvC,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;SACtD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;YAChD,gBAAgB,EAAE,8BAA8B,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;YACvE,aAAa,EAAE,CAAC,2BAA2B,CAAC;YAC5C,UAAU,EAAE,iCAAiC,CAAC;gBAC5C,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU;gBACpF,oBAAoB,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;aACzG,CAAC;YACF,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;oBAC1C,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;oBACzE,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;iBAC3D,EAAE,EAAE,GAAG,EAAE,CAAC;SACZ,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAE,CAAC;QACrF,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACjF,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,QAAQ;YACR,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;YAC7B,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,YAAY;YAC3C,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;YAClC,KAAK,EAAE,8BAA8B;YACrC,SAAS,EAAE,CAAC;YACZ,cAAc,EAAE,CAAC,QAAQ,CAAC;YAC1B,qBAAqB,EAAE,CAAC,OAAO,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACpF,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QACnH,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAE7D,MAAM,SAAS,GAAG,EAAE,GAAG,iBAAiB,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClG,MAAM,QAAQ,GAAG,uBAAuB,CAAC;YACvC,QAAQ;YACR,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;YAC7B,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,YAAY;YAC3C,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;YAClC,KAAK,EAAE,8BAA8B;YACrC,SAAS,EAAE,CAAC;YACZ,cAAc,EAAE,CAAC,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,iBAAiB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9E,qBAAqB,EAAE,CAAC,OAAO,CAAC;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzD,IAAI,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACxF,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAChH,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,IAAI,eAAe,GAAG,EAAE,CAAC;QACzB,MAAM,sBAAsB,GAAG,oCAAoC,CAAC;YAClE,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI;YACvB,aAAa,EAAE,KAAK,EAAC,OAAO,EAAC,EAAE;gBAC7B,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAE9C,CAAC;gBACF,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;gBACzD,OAAO;oBACL,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;4BACpB,OAAO,EAAE,MAAM;4BACf,IAAI,EAAE,SAAS;4BACf,KAAK,EAAE,wDAAwD;4BAC/D,cAAc,EAAE,CAAC,eAAe,CAAC;4BACjC,UAAU,EAAE,IAAI;yBACjB,CAAC,CAAC;oBACH,KAAK,EAAE,YAAY;iBACpB,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC;YAChD,gBAAgB,EAAE,wBAAwB;YAC1C,QAAQ;YACR,QAAQ,EAAE,CAAC;YACX,UAAU,EAAE,iCAAiC,CAAC;gBAC5C,QAAQ,EAAE,eAAe,EAAE,SAAS,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU;gBACnF,oBAAoB,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;aACzG,CAAC;YACF,MAAM,EAAE;gBACN,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;oBAClB,MAAM,EAAE,cAAuB;oBAC/B,UAAU,EAAE,EAAE;oBACd,gBAAgB,EAAE,SAAS;oBAC3B,SAAS,EAAE,CAAC;oBACZ,MAAM,EAAE,MAAM;iBACf,CAAC;aACH;YACD,sBAAsB,EAAE,EAAE,MAAM,EAAE,sBAAsB,EAAE;YAC1D,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE;oBAC1C,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;oBACzE,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;iBAC3D,EAAE;YACH,GAAG,EAAE,CAAC;SACP,CAAC,CAAC;QAEH,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACrD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACtE,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACrG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACjF,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC;YACnD,MAAM,CAAC,gBAAgB,CAAC;gBACtB,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,wDAAwD;gBAC/D,cAAc,EAAE,CAAC,eAAe,CAAC;aAClC,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,cAAc,CACzD,MAAM,CAAC,gBAAgB,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAC5E,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,WAAmB;IACvC,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,+BAAwC;QACvD,SAAS,EAAE,iBAAiB;QAC5B,WAAW,EAAE,mBAAmB;QAChC,WAAW;QACX,UAAU,EAAE,YAAY;QACxB,eAAe,EAAE,GAAG;QACpB,UAAU,EAAE,iBAA0B;QACtC,MAAM,EAAE,OAAgB;QACxB,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,aAAa,CACpB,eAAuB,EACvB,KAA+B,EAC/B,OAAmC;IAEnC,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,6BAAsC;QACrD,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,OAAO,CAAC,WAAW;QACxC,eAAe;QACf,OAAO,EAAE,MAAe;QACxB,IAAI,EAAE,SAAkB;QACxB,KAAK,EAAE,8CAA8C;QACrD,cAAc,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,GAAG;KAChB,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAkC;IAC3D,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC1D,OAAO,IAAI,CAAC;AACd,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-router.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/semantic-router.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,69 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { SEMANTIC_ROUTE_CATALOG } from '../semantic-route-catalog.js';
|
|
3
|
+
import { SemanticRouter, } from '../semantic-router.js';
|
|
4
|
+
const thresholds = {
|
|
5
|
+
schemaVersion: 'semantic-thresholds.v1', version: 'test.v1', minimumScore: 0.5, minimumMargin: 0.1,
|
|
6
|
+
};
|
|
7
|
+
const routes = [
|
|
8
|
+
{ id: 'intent:debug', field: 'intent', value: 'debug', positives: [{ id: 'debug:p', text: 'debug' }], contrasts: [{ id: 'debug:c', text: 'review' }] },
|
|
9
|
+
{ id: 'intent:review', field: 'intent', value: 'review', positives: [{ id: 'review:p', text: 'review' }], contrasts: [{ id: 'review:c', text: 'debug' }] },
|
|
10
|
+
];
|
|
11
|
+
describe('SemanticRouter', () => {
|
|
12
|
+
it('accepts a high-margin route with stable ordering', async () => {
|
|
13
|
+
const router = new SemanticRouter(new FakeEncoder({ debug: [1, 0], review: [0, 1], query: [1, 0] }), routes, thresholds);
|
|
14
|
+
const result = await router.route('query');
|
|
15
|
+
expect(result.status).toBe('accepted');
|
|
16
|
+
expect(result.candidates[0]?.route).toBe('intent:debug');
|
|
17
|
+
});
|
|
18
|
+
it('escalates a low-margin route', async () => {
|
|
19
|
+
const closeRoutes = [
|
|
20
|
+
{ id: 'intent:debug', field: 'intent', value: 'debug', positives: [{ id: 'debug:p', text: 'debug' }], contrasts: [{ id: 'debug:c', text: 'neutral' }] },
|
|
21
|
+
{ id: 'intent:review', field: 'intent', value: 'review', positives: [{ id: 'review:p', text: 'review' }], contrasts: [{ id: 'review:c', text: 'neutral' }] },
|
|
22
|
+
];
|
|
23
|
+
const router = new SemanticRouter(new FakeEncoder({
|
|
24
|
+
debug: [1, 0, 0], review: [0.98, 0.2, 0], neutral: [0, 0, 1], query: [1, 0.1, 0],
|
|
25
|
+
}), closeRoutes, thresholds);
|
|
26
|
+
expect((await router.route('query')).status).toBe('escalation_required');
|
|
27
|
+
});
|
|
28
|
+
it('marks contrast-driven low scores out of scope', async () => {
|
|
29
|
+
const router = new SemanticRouter(new FakeEncoder({ debug: [1, 0], review: [0, 1], query: [-1, -1] }), routes, thresholds);
|
|
30
|
+
expect((await router.route('query')).status).toBe('out_of_scope');
|
|
31
|
+
});
|
|
32
|
+
it('returns unavailable when warmup fails', async () => {
|
|
33
|
+
const router = new SemanticRouter(new FakeEncoder({}, false), routes, thresholds);
|
|
34
|
+
expect((await router.route('query')).status).toBe('unavailable');
|
|
35
|
+
});
|
|
36
|
+
it('keeps the catalog hash stable under repeated access', () => {
|
|
37
|
+
expect(SEMANTIC_ROUTE_CATALOG.hash).toMatch(/^[a-f0-9]{64}$/u);
|
|
38
|
+
expect(SEMANTIC_ROUTE_CATALOG.hash).toBe(SEMANTIC_ROUTE_CATALOG.hash);
|
|
39
|
+
});
|
|
40
|
+
it('accepts only fields that independently pass score and margin gates', async () => {
|
|
41
|
+
const multiField = [
|
|
42
|
+
...routes,
|
|
43
|
+
{ id: 'action:release', field: 'action', value: 'release', positives: [{ id: 'release:p', text: 'release' }], contrasts: [{ id: 'release:c', text: 'no-release' }] },
|
|
44
|
+
{ id: 'action:analyze', field: 'action', value: 'analyze', positives: [{ id: 'analyze:p', text: 'analyze' }], contrasts: [{ id: 'analyze:c', text: 'no-analyze' }] },
|
|
45
|
+
];
|
|
46
|
+
const router = new SemanticRouter(new FakeEncoder({
|
|
47
|
+
debug: [1, 0], review: [0, 1], query: [1, 0],
|
|
48
|
+
release: [0.1, 0.2], 'no-release': [0, 0.2], analyze: [0.2, 0.1], 'no-analyze': [0.2, 0],
|
|
49
|
+
}), multiField, thresholds);
|
|
50
|
+
const result = await router.route('query');
|
|
51
|
+
expect(result.status).toBe('accepted');
|
|
52
|
+
expect(result.acceptedRoutes).toEqual(['intent:debug']);
|
|
53
|
+
});
|
|
54
|
+
});
|
|
55
|
+
class FakeEncoder {
|
|
56
|
+
values;
|
|
57
|
+
available;
|
|
58
|
+
modelId = 'fake';
|
|
59
|
+
modelRevision = '1';
|
|
60
|
+
constructor(values, available = true) {
|
|
61
|
+
this.values = values;
|
|
62
|
+
this.available = available;
|
|
63
|
+
}
|
|
64
|
+
async warmup() { return this.available; }
|
|
65
|
+
async embedBatch(texts) {
|
|
66
|
+
return texts.map(text => new Float32Array(this.values[text] ?? [0, 0]));
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
//# sourceMappingURL=semantic-router.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-router.test.js","sourceRoot":"","sources":["../../src/__tests__/semantic-router.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAgC,MAAM,8BAA8B,CAAC;AACpG,OAAO,EACL,cAAc,GAGf,MAAM,uBAAuB,CAAC;AAE/B,MAAM,UAAU,GAA6B;IAC3C,aAAa,EAAE,wBAAwB,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG;CACnG,CAAC;AACF,MAAM,MAAM,GAA8B;IACxC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtJ,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE;CAC3J,CAAC;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QACzH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,WAAW,GAA8B;YAC7C,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;YACvJ,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE;SAC7J,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,WAAW,CAAC;YAChD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;SACjF,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC3H,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAClF,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC/D,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,UAAU,GAA8B;YAC5C,GAAG,MAAM;YACT,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;YACpK,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;SACrK,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,WAAW,CAAC;YAChD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;SACzF,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,MAAM,WAAW;IAGc;IAAmD;IAFvE,OAAO,GAAG,MAAM,CAAC;IACjB,aAAa,GAAG,GAAG,CAAC;IAC7B,YAA6B,MAAgC,EAAmB,YAAY,IAAI;QAAnE,WAAM,GAAN,MAAM,CAA0B;QAAmB,cAAS,GAAT,SAAS,CAAO;IAAG,CAAC;IACpG,KAAK,CAAC,MAAM,KAAuB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3D,KAAK,CAAC,UAAU,CAAC,KAAe;QAC9B,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;CACF"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-claim-compiler.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/task-claim-compiler.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,127 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { semanticTextHash, stableRuntimeHash, } from '@devflow-tools/sdk';
|
|
3
|
+
import { validateSemanticClaimProposal } from '../semantic-claim-validator.js';
|
|
4
|
+
import { compileSemanticFacts } from '../task-claim-compiler.js';
|
|
5
|
+
const prompt = 'Please create src/Login.tsx';
|
|
6
|
+
const sourceHash = semanticTextHash(prompt);
|
|
7
|
+
describe('typed semantic claim authority', () => {
|
|
8
|
+
it('compiles the same facts and authority regardless of proposal order', () => {
|
|
9
|
+
const claims = [
|
|
10
|
+
validated(proposal('structural-action', 'structural', { kind: 'action', value: 'create' }, 'create')),
|
|
11
|
+
validated(proposal('host-intent', 'host_sampling', { kind: 'intent', value: 'feature' }, 'Please')),
|
|
12
|
+
validated(proposal('structural-target', 'structural', { kind: 'target', value: 'src/Login.tsx' }, 'src/Login.tsx')),
|
|
13
|
+
];
|
|
14
|
+
const input = { sourceHash, providerReceiptIds: claims.map(item => item.providerReceiptId) };
|
|
15
|
+
const left = compileSemanticFacts({ ...input, claims });
|
|
16
|
+
const right = compileSemanticFacts({ ...input, claims: [...claims].reverse() });
|
|
17
|
+
expect(left.facts.factsHash).toBe(right.facts.factsHash);
|
|
18
|
+
expect(left).toEqual(right);
|
|
19
|
+
expect(left.actionAuthority.mutation).toBe('authorized');
|
|
20
|
+
});
|
|
21
|
+
it('rejects a proposal whose quotation hash does not match the source', () => {
|
|
22
|
+
const candidate = proposal('bad-citation', 'host_sampling', { kind: 'intent', value: 'feature' }, 'Please');
|
|
23
|
+
candidate.evidence[0] = { ...candidate.evidence[0], textHash: semanticTextHash('wrong') };
|
|
24
|
+
candidate.proposalHash = stableRuntimeHash(stripHash(candidate));
|
|
25
|
+
const result = validateSemanticClaimProposal({
|
|
26
|
+
normalizedPrompt: prompt,
|
|
27
|
+
sourceHash,
|
|
28
|
+
proposal: candidate,
|
|
29
|
+
providerReceipts: receiptsFor(candidate),
|
|
30
|
+
});
|
|
31
|
+
expect(result).toEqual({ valid: false, reasonCode: 'claim_evidence_hash_mismatch' });
|
|
32
|
+
});
|
|
33
|
+
it('rejects a claim whose provider receipt integrity is broken', () => {
|
|
34
|
+
const candidate = proposal('bad-receipt', 'host_sampling', { kind: 'intent', value: 'feature' }, 'Please');
|
|
35
|
+
const receipt = receiptsFor(candidate).get(candidate.providerExecutionId);
|
|
36
|
+
const result = validateSemanticClaimProposal({
|
|
37
|
+
normalizedPrompt: prompt,
|
|
38
|
+
sourceHash,
|
|
39
|
+
proposal: candidate,
|
|
40
|
+
providerReceipts: new Map([[candidate.providerExecutionId, { ...receipt, receiptHash: 'broken' }]]),
|
|
41
|
+
});
|
|
42
|
+
expect(result).toEqual({ valid: false, reasonCode: 'claim_provider_receipt_hash_invalid' });
|
|
43
|
+
});
|
|
44
|
+
it.each(['host_sampling', 'embedding_route'])('does not let %s authorize a mutation', source => {
|
|
45
|
+
const claim = validated(proposal(`${source}-action`, source, { kind: 'action', value: 'create' }, 'create'));
|
|
46
|
+
const result = compileSemanticFacts({
|
|
47
|
+
sourceHash,
|
|
48
|
+
claims: [claim],
|
|
49
|
+
providerReceiptIds: [claim.providerReceiptId],
|
|
50
|
+
});
|
|
51
|
+
expect(result.facts.actions).toEqual(['create']);
|
|
52
|
+
expect(result.actionAuthority.mutation).toBe('not_requested');
|
|
53
|
+
});
|
|
54
|
+
it('abstains when equal-authority host claims conflict', () => {
|
|
55
|
+
const feature = validated(proposal('host-feature', 'host_sampling', { kind: 'intent', value: 'feature' }, 'Please'));
|
|
56
|
+
const review = validated(proposal('host-review', 'host_sampling', { kind: 'intent', value: 'review' }, 'Please'));
|
|
57
|
+
const result = compileSemanticFacts({
|
|
58
|
+
sourceHash,
|
|
59
|
+
claims: [review, feature],
|
|
60
|
+
providerReceiptIds: [feature.providerReceiptId, review.providerReceiptId],
|
|
61
|
+
});
|
|
62
|
+
expect(result.facts.intents).toEqual(['feature', 'review']);
|
|
63
|
+
expect(result.facts.conflicts).toEqual([expect.objectContaining({ field: 'intent', resolution: 'abstain' })]);
|
|
64
|
+
});
|
|
65
|
+
});
|
|
66
|
+
function proposal(proposalId, source, claim, quotation) {
|
|
67
|
+
const start = prompt.indexOf(quotation);
|
|
68
|
+
const field = claim.kind === 'memory_directive' ? 'memory'
|
|
69
|
+
: claim.kind === 'knowledge_need' ? 'knowledge'
|
|
70
|
+
: claim.kind === 'out_of_scope' ? 'intent' : claim.kind;
|
|
71
|
+
const evidenceSource = source === 'host_sampling' ? 'host_sampling'
|
|
72
|
+
: source === 'embedding_route' ? 'embedding_route' : 'structural';
|
|
73
|
+
const body = {
|
|
74
|
+
schemaVersion: 'semantic-claim-proposal.v1',
|
|
75
|
+
proposalId,
|
|
76
|
+
providerExecutionId: `provider:${proposalId}`,
|
|
77
|
+
sourceHash,
|
|
78
|
+
source,
|
|
79
|
+
claim,
|
|
80
|
+
confidence: 0.9,
|
|
81
|
+
evidence: [{
|
|
82
|
+
field,
|
|
83
|
+
source: evidenceSource,
|
|
84
|
+
value: quotation,
|
|
85
|
+
start,
|
|
86
|
+
end: start + quotation.length,
|
|
87
|
+
textHash: semanticTextHash(quotation),
|
|
88
|
+
confidence: 0.9,
|
|
89
|
+
}],
|
|
90
|
+
};
|
|
91
|
+
return { ...body, proposalHash: stableRuntimeHash(body) };
|
|
92
|
+
}
|
|
93
|
+
function validated(candidate) {
|
|
94
|
+
const result = validateSemanticClaimProposal({
|
|
95
|
+
normalizedPrompt: prompt,
|
|
96
|
+
sourceHash,
|
|
97
|
+
proposal: candidate,
|
|
98
|
+
providerReceipts: receiptsFor(candidate),
|
|
99
|
+
});
|
|
100
|
+
if (!result.valid)
|
|
101
|
+
throw new Error(result.reasonCode);
|
|
102
|
+
return result.claim;
|
|
103
|
+
}
|
|
104
|
+
function stripHash(candidate) {
|
|
105
|
+
const { proposalHash: _, ...body } = candidate;
|
|
106
|
+
return body;
|
|
107
|
+
}
|
|
108
|
+
function receiptsFor(candidate) {
|
|
109
|
+
const body = {
|
|
110
|
+
schemaVersion: 'provider-execution-receipt.v1',
|
|
111
|
+
receiptId: `receipt:${candidate.providerExecutionId}`,
|
|
112
|
+
executionId: candidate.providerExecutionId,
|
|
113
|
+
requestHash: candidate.sourceHash,
|
|
114
|
+
providerId: 'test-provider',
|
|
115
|
+
providerVersion: '1',
|
|
116
|
+
capability: 'semantic_claims',
|
|
117
|
+
status: 'ready',
|
|
118
|
+
proposalCount: 1,
|
|
119
|
+
acceptedCount: 1,
|
|
120
|
+
rejectedCount: 0,
|
|
121
|
+
reasonCodes: [],
|
|
122
|
+
latencyMs: 1,
|
|
123
|
+
createdAt: 1,
|
|
124
|
+
};
|
|
125
|
+
return new Map([[candidate.providerExecutionId, { ...body, receiptHash: stableRuntimeHash(body) }]]);
|
|
126
|
+
}
|
|
127
|
+
//# sourceMappingURL=task-claim-compiler.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-claim-compiler.test.js","sourceRoot":"","sources":["../../src/__tests__/task-claim-compiler.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,iBAAiB,GAOlB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEjE,MAAM,MAAM,GAAG,6BAA6B,CAAC;AAC7C,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAE5C,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG;YACb,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC;YACrG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC;YACnG,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,eAAe,CAAC,CAAC;SACpH,CAAC;QACF,MAAM,KAAK,GAAG,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC7F,MAAM,IAAI,GAAG,oBAAoB,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,oBAAoB,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,SAAS,GAAG,QAAQ,CAAC,cAAc,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC5G,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3F,SAAS,CAAC,YAAY,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,gBAAgB,EAAE,MAAM;YACxB,UAAU;YACV,QAAQ,EAAE,SAAS;YACnB,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAAC;SACzC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,8BAA8B,EAAE,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,aAAa,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC3G,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,gBAAgB,EAAE,MAAM;YACxB,UAAU;YACV,QAAQ,EAAE,SAAS;YACnB,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;SACpG,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,qCAAqC,EAAE,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAU,CAAC,CACpD,sCAAsC,EACtC,MAAM,CAAC,EAAE;QACP,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,MAAM,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7G,MAAM,MAAM,GAAG,oBAAoB,CAAC;YAClC,UAAU;YACV,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,kBAAkB,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;SAC9C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAChE,CAAC,CACF,CAAC;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,eAAe,EAChE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,eAAe,EAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC;YAClC,UAAU;YACV,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;YACzB,kBAAkB,EAAE,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAChH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,QAAQ,CACf,UAAkB,EAClB,MAA2B,EAC3B,KAA2B,EAC3B,SAAiB;IAEjB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,KAAK,GAA0B,KAAK,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,QAAQ;QAC/E,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,WAAW;YAC7C,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC5D,MAAM,cAAc,GAA2B,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,eAAe;QACzF,CAAC,CAAC,MAAM,KAAK,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC;IACpE,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,4BAAqC;QACpD,UAAU;QACV,mBAAmB,EAAE,YAAY,UAAU,EAAE;QAC7C,UAAU;QACV,MAAM;QACN,KAAK;QACL,UAAU,EAAE,GAAG;QACf,QAAQ,EAAE,CAAC;gBACT,KAAK;gBACL,MAAM,EAAE,cAAc;gBACtB,KAAK,EAAE,SAAS;gBAChB,KAAK;gBACL,GAAG,EAAE,KAAK,GAAG,SAAS,CAAC,MAAM;gBAC7B,QAAQ,EAAE,gBAAgB,CAAC,SAAS,CAAC;gBACrC,UAAU,EAAE,GAAG;aAChB,CAAC;KACH,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,SAAS,CAAC,SAAkC;IACnD,MAAM,MAAM,GAAG,6BAA6B,CAAC;QAC3C,gBAAgB,EAAE,MAAM;QACxB,UAAU;QACV,QAAQ,EAAE,SAAS;QACnB,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAAC;KACzC,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAC,SAAkC;IACnD,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,SAAkC;IACrD,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,+BAAwC;QACvD,SAAS,EAAE,WAAW,SAAS,CAAC,mBAAmB,EAAE;QACrD,WAAW,EAAE,SAAS,CAAC,mBAAmB;QAC1C,WAAW,EAAE,SAAS,CAAC,UAAU;QACjC,UAAU,EAAE,eAAe;QAC3B,eAAe,EAAE,GAAG;QACpB,UAAU,EAAE,iBAA0B;QACtC,MAAM,EAAE,OAAgB;QACxB,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,CAAC;QAChB,WAAW,EAAE,EAAE;QACf,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvG,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"domain-action-planner.d.ts","sourceRoot":"","sources":["../src/domain-action-planner.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAIhC,MAAM,oBAAoB,CAAC;AAE5B,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,0BAA0B,GAAG,kBAAkB,CAyDtF"}
|