@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.
Files changed (83) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +24 -0
  3. package/dist/__tests__/channel-query-plan.test.d.ts +2 -0
  4. package/dist/__tests__/channel-query-plan.test.d.ts.map +1 -0
  5. package/dist/__tests__/channel-query-plan.test.js +78 -0
  6. package/dist/__tests__/channel-query-plan.test.js.map +1 -0
  7. package/dist/__tests__/domain-action-planner.test.d.ts +2 -0
  8. package/dist/__tests__/domain-action-planner.test.d.ts.map +1 -0
  9. package/dist/__tests__/domain-action-planner.test.js +67 -0
  10. package/dist/__tests__/domain-action-planner.test.js.map +1 -0
  11. package/dist/__tests__/retrieval-query-sampling-resolver.test.d.ts +2 -0
  12. package/dist/__tests__/retrieval-query-sampling-resolver.test.d.ts.map +1 -0
  13. package/dist/__tests__/retrieval-query-sampling-resolver.test.js +182 -0
  14. package/dist/__tests__/retrieval-query-sampling-resolver.test.js.map +1 -0
  15. package/dist/__tests__/semantic-authority-merger.test.d.ts +2 -0
  16. package/dist/__tests__/semantic-authority-merger.test.d.ts.map +1 -0
  17. package/dist/__tests__/semantic-authority-merger.test.js +50 -0
  18. package/dist/__tests__/semantic-authority-merger.test.js.map +1 -0
  19. package/dist/__tests__/semantic-context-resolver.test.d.ts +2 -0
  20. package/dist/__tests__/semantic-context-resolver.test.d.ts.map +1 -0
  21. package/dist/__tests__/semantic-context-resolver.test.js +258 -0
  22. package/dist/__tests__/semantic-context-resolver.test.js.map +1 -0
  23. package/dist/__tests__/semantic-router.test.d.ts +2 -0
  24. package/dist/__tests__/semantic-router.test.d.ts.map +1 -0
  25. package/dist/__tests__/semantic-router.test.js +69 -0
  26. package/dist/__tests__/semantic-router.test.js.map +1 -0
  27. package/dist/__tests__/task-claim-compiler.test.d.ts +2 -0
  28. package/dist/__tests__/task-claim-compiler.test.d.ts.map +1 -0
  29. package/dist/__tests__/task-claim-compiler.test.js +127 -0
  30. package/dist/__tests__/task-claim-compiler.test.js.map +1 -0
  31. package/dist/domain-action-planner.d.ts +3 -0
  32. package/dist/domain-action-planner.d.ts.map +1 -0
  33. package/dist/domain-action-planner.js +163 -0
  34. package/dist/domain-action-planner.js.map +1 -0
  35. package/dist/index.d.ts +13 -0
  36. package/dist/index.d.ts.map +1 -0
  37. package/dist/index.js +13 -0
  38. package/dist/index.js.map +1 -0
  39. package/dist/query-plan-compilers.d.ts +15 -0
  40. package/dist/query-plan-compilers.d.ts.map +1 -0
  41. package/dist/query-plan-compilers.js +178 -0
  42. package/dist/query-plan-compilers.js.map +1 -0
  43. package/dist/retrieval-query-proposal.d.ts +22 -0
  44. package/dist/retrieval-query-proposal.d.ts.map +1 -0
  45. package/dist/retrieval-query-proposal.js +114 -0
  46. package/dist/retrieval-query-proposal.js.map +1 -0
  47. package/dist/retrieval-query-sampling-resolver.d.ts +41 -0
  48. package/dist/retrieval-query-sampling-resolver.d.ts.map +1 -0
  49. package/dist/retrieval-query-sampling-resolver.js +248 -0
  50. package/dist/retrieval-query-sampling-resolver.js.map +1 -0
  51. package/dist/semantic-authority-merger.d.ts +20 -0
  52. package/dist/semantic-authority-merger.d.ts.map +1 -0
  53. package/dist/semantic-authority-merger.js +209 -0
  54. package/dist/semantic-authority-merger.js.map +1 -0
  55. package/dist/semantic-claim-validator.d.ts +15 -0
  56. package/dist/semantic-claim-validator.d.ts.map +1 -0
  57. package/dist/semantic-claim-validator.js +139 -0
  58. package/dist/semantic-claim-validator.js.map +1 -0
  59. package/dist/semantic-context-resolver.d.ts +49 -0
  60. package/dist/semantic-context-resolver.d.ts.map +1 -0
  61. package/dist/semantic-context-resolver.js +137 -0
  62. package/dist/semantic-context-resolver.js.map +1 -0
  63. package/dist/semantic-resolver.d.ts +10 -0
  64. package/dist/semantic-resolver.d.ts.map +1 -0
  65. package/dist/semantic-resolver.js +16 -0
  66. package/dist/semantic-resolver.js.map +1 -0
  67. package/dist/semantic-route-catalog.d.ts +35 -0
  68. package/dist/semantic-route-catalog.d.ts.map +1 -0
  69. package/dist/semantic-route-catalog.js +53 -0
  70. package/dist/semantic-route-catalog.js.map +1 -0
  71. package/dist/semantic-router.d.ts +39 -0
  72. package/dist/semantic-router.d.ts.map +1 -0
  73. package/dist/semantic-router.js +175 -0
  74. package/dist/semantic-router.js.map +1 -0
  75. package/dist/semantic-structural-evidence.d.ts +27 -0
  76. package/dist/semantic-structural-evidence.d.ts.map +1 -0
  77. package/dist/semantic-structural-evidence.js +134 -0
  78. package/dist/semantic-structural-evidence.js.map +1 -0
  79. package/dist/task-claim-compiler.d.ts +13 -0
  80. package/dist/task-claim-compiler.d.ts.map +1 -0
  81. package/dist/task-claim-compiler.js +210 -0
  82. package/dist/task-claim-compiler.js.map +1 -0
  83. 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,2 @@
1
+ export {};
2
+ //# sourceMappingURL=semantic-router.test.d.ts.map
@@ -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,2 @@
1
+ export {};
2
+ //# sourceMappingURL=task-claim-compiler.test.d.ts.map
@@ -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,3 @@
1
+ import { type DomainActionPlanV1, type DomainActionPlannerInputV1 } from '@devflow-tools/sdk';
2
+ export declare function planDomainAction(input: DomainActionPlannerInputV1): DomainActionPlanV1;
3
+ //# sourceMappingURL=domain-action-planner.d.ts.map
@@ -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"}