@selvajs/server 0.2.0-beta.3 → 0.2.0-beta.4

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 (145) hide show
  1. package/LICENSE +1 -1
  2. package/README.md +32 -0
  3. package/dist/compute/client-cache.d.ts.map +1 -1
  4. package/dist/compute/client-cache.js +6 -0
  5. package/dist/compute/client-cache.js.map +1 -1
  6. package/dist/compute/safe-url.d.ts.map +1 -1
  7. package/dist/compute/safe-url.js +16 -0
  8. package/dist/compute/safe-url.js.map +1 -1
  9. package/dist/compute/solve-cache-single-flight.d.ts +8 -1
  10. package/dist/compute/solve-cache-single-flight.d.ts.map +1 -1
  11. package/dist/compute/solve-cache-single-flight.js +4 -2
  12. package/dist/compute/solve-cache-single-flight.js.map +1 -1
  13. package/dist/compute/solve-pipeline.d.ts.map +1 -1
  14. package/dist/compute/solve-pipeline.js +3 -1
  15. package/dist/compute/solve-pipeline.js.map +1 -1
  16. package/package.json +14 -18
  17. package/dist/access/__tests__/project-access-input.test.d.ts +0 -2
  18. package/dist/access/__tests__/project-access-input.test.d.ts.map +0 -1
  19. package/dist/access/__tests__/project-access-input.test.js +0 -146
  20. package/dist/access/__tests__/project-access-input.test.js.map +0 -1
  21. package/dist/compute/__tests__/client-cache.test.d.ts +0 -11
  22. package/dist/compute/__tests__/client-cache.test.d.ts.map +0 -1
  23. package/dist/compute/__tests__/client-cache.test.js +0 -218
  24. package/dist/compute/__tests__/client-cache.test.js.map +0 -1
  25. package/dist/compute/__tests__/definition-byte-cache.test.d.ts +0 -2
  26. package/dist/compute/__tests__/definition-byte-cache.test.d.ts.map +0 -1
  27. package/dist/compute/__tests__/definition-byte-cache.test.js +0 -107
  28. package/dist/compute/__tests__/definition-byte-cache.test.js.map +0 -1
  29. package/dist/compute/__tests__/rate-limit.test.d.ts +0 -2
  30. package/dist/compute/__tests__/rate-limit.test.d.ts.map +0 -1
  31. package/dist/compute/__tests__/rate-limit.test.js +0 -98
  32. package/dist/compute/__tests__/rate-limit.test.js.map +0 -1
  33. package/dist/compute/__tests__/remote-definition.test.d.ts +0 -11
  34. package/dist/compute/__tests__/remote-definition.test.d.ts.map +0 -1
  35. package/dist/compute/__tests__/remote-definition.test.js +0 -114
  36. package/dist/compute/__tests__/remote-definition.test.js.map +0 -1
  37. package/dist/compute/__tests__/safe-url.test.d.ts +0 -2
  38. package/dist/compute/__tests__/safe-url.test.d.ts.map +0 -1
  39. package/dist/compute/__tests__/safe-url.test.js +0 -71
  40. package/dist/compute/__tests__/safe-url.test.js.map +0 -1
  41. package/dist/compute/__tests__/solve-cache.test.d.ts +0 -13
  42. package/dist/compute/__tests__/solve-cache.test.d.ts.map +0 -1
  43. package/dist/compute/__tests__/solve-cache.test.js +0 -234
  44. package/dist/compute/__tests__/solve-cache.test.js.map +0 -1
  45. package/dist/compute/__tests__/solve-pipeline.test.d.ts +0 -11
  46. package/dist/compute/__tests__/solve-pipeline.test.d.ts.map +0 -1
  47. package/dist/compute/__tests__/solve-pipeline.test.js +0 -557
  48. package/dist/compute/__tests__/solve-pipeline.test.js.map +0 -1
  49. package/dist/compute/__tests__/transform-input.test.d.ts +0 -14
  50. package/dist/compute/__tests__/transform-input.test.d.ts.map +0 -1
  51. package/dist/compute/__tests__/transform-input.test.js +0 -120
  52. package/dist/compute/__tests__/transform-input.test.js.map +0 -1
  53. package/dist/definitions/__tests__/definition-service.test.d.ts +0 -14
  54. package/dist/definitions/__tests__/definition-service.test.d.ts.map +0 -1
  55. package/dist/definitions/__tests__/definition-service.test.js +0 -95
  56. package/dist/definitions/__tests__/definition-service.test.js.map +0 -1
  57. package/dist/definitions/__tests__/load-for-render.test.d.ts +0 -8
  58. package/dist/definitions/__tests__/load-for-render.test.d.ts.map +0 -1
  59. package/dist/definitions/__tests__/load-for-render.test.js +0 -196
  60. package/dist/definitions/__tests__/load-for-render.test.js.map +0 -1
  61. package/dist/definitions/__tests__/schema-extraction.test.d.ts +0 -11
  62. package/dist/definitions/__tests__/schema-extraction.test.d.ts.map +0 -1
  63. package/dist/definitions/__tests__/schema-extraction.test.js +0 -115
  64. package/dist/definitions/__tests__/schema-extraction.test.js.map +0 -1
  65. package/dist/http/__tests__/body-size.test.d.ts +0 -2
  66. package/dist/http/__tests__/body-size.test.d.ts.map +0 -1
  67. package/dist/http/__tests__/body-size.test.js +0 -24
  68. package/dist/http/__tests__/body-size.test.js.map +0 -1
  69. package/dist/http/__tests__/route-classifier.test.d.ts +0 -2
  70. package/dist/http/__tests__/route-classifier.test.d.ts.map +0 -1
  71. package/dist/http/__tests__/route-classifier.test.js +0 -54
  72. package/dist/http/__tests__/route-classifier.test.js.map +0 -1
  73. package/dist/http/__tests__/safe-redirect.test.d.ts +0 -2
  74. package/dist/http/__tests__/safe-redirect.test.d.ts.map +0 -1
  75. package/dist/http/__tests__/safe-redirect.test.js +0 -44
  76. package/dist/http/__tests__/safe-redirect.test.js.map +0 -1
  77. package/dist/http/__tests__/security-headers.test.d.ts +0 -2
  78. package/dist/http/__tests__/security-headers.test.d.ts.map +0 -1
  79. package/dist/http/__tests__/security-headers.test.js +0 -24
  80. package/dist/http/__tests__/security-headers.test.js.map +0 -1
  81. package/dist/ops/__tests__/semver.test.d.ts +0 -2
  82. package/dist/ops/__tests__/semver.test.d.ts.map +0 -1
  83. package/dist/ops/__tests__/semver.test.js +0 -38
  84. package/dist/ops/__tests__/semver.test.js.map +0 -1
  85. package/dist/providers/__tests__/create-selva-providers.test.d.ts +0 -7
  86. package/dist/providers/__tests__/create-selva-providers.test.d.ts.map +0 -1
  87. package/dist/providers/__tests__/create-selva-providers.test.js +0 -135
  88. package/dist/providers/__tests__/create-selva-providers.test.js.map +0 -1
  89. package/dist/tokens/__tests__/token-codec.test.d.ts +0 -2
  90. package/dist/tokens/__tests__/token-codec.test.d.ts.map +0 -1
  91. package/dist/tokens/__tests__/token-codec.test.js +0 -50
  92. package/dist/tokens/__tests__/token-codec.test.js.map +0 -1
  93. package/src/access/__tests__/project-access-input.test.ts +0 -175
  94. package/src/access/index.ts +0 -9
  95. package/src/access/project-access-input.ts +0 -145
  96. package/src/compute/__tests__/client-cache.test.ts +0 -244
  97. package/src/compute/__tests__/definition-byte-cache.test.ts +0 -129
  98. package/src/compute/__tests__/rate-limit.test.ts +0 -106
  99. package/src/compute/__tests__/remote-definition.test.ts +0 -140
  100. package/src/compute/__tests__/safe-url.test.ts +0 -72
  101. package/src/compute/__tests__/solve-cache.test.ts +0 -268
  102. package/src/compute/__tests__/solve-pipeline.test.ts +0 -660
  103. package/src/compute/__tests__/transform-input.test.ts +0 -162
  104. package/src/compute/client-cache.ts +0 -321
  105. package/src/compute/definition-byte-cache.ts +0 -168
  106. package/src/compute/index.ts +0 -82
  107. package/src/compute/limits.ts +0 -237
  108. package/src/compute/memory-solve-cache.ts +0 -0
  109. package/src/compute/rate-limit.ts +0 -110
  110. package/src/compute/remote-definition.ts +0 -149
  111. package/src/compute/safe-url.ts +0 -186
  112. package/src/compute/solve-cache-envelope.ts +0 -98
  113. package/src/compute/solve-cache-key.ts +0 -85
  114. package/src/compute/solve-cache-single-flight.ts +0 -59
  115. package/src/compute/solve-pipeline.ts +0 -603
  116. package/src/compute/transform-input.ts +0 -66
  117. package/src/definitions/__tests__/definition-service.test.ts +0 -131
  118. package/src/definitions/__tests__/load-for-render.test.ts +0 -244
  119. package/src/definitions/__tests__/schema-extraction.test.ts +0 -137
  120. package/src/definitions/definition-service.ts +0 -247
  121. package/src/definitions/index.ts +0 -22
  122. package/src/definitions/load-for-render.ts +0 -272
  123. package/src/definitions/schema-extraction.ts +0 -117
  124. package/src/errors/SentryErrorReporter.ts +0 -88
  125. package/src/errors/index.ts +0 -3
  126. package/src/http/__tests__/body-size.test.ts +0 -27
  127. package/src/http/__tests__/route-classifier.test.ts +0 -60
  128. package/src/http/__tests__/safe-redirect.test.ts +0 -47
  129. package/src/http/__tests__/security-headers.test.ts +0 -29
  130. package/src/http/body-size.ts +0 -24
  131. package/src/http/index.ts +0 -10
  132. package/src/http/redirect.ts +0 -16
  133. package/src/http/route-classifier.ts +0 -74
  134. package/src/http/security-headers.ts +0 -42
  135. package/src/index.ts +0 -27
  136. package/src/ops/__tests__/semver.test.ts +0 -42
  137. package/src/ops/index.ts +0 -3
  138. package/src/ops/semver.ts +0 -60
  139. package/src/providers/__tests__/create-selva-providers.test.ts +0 -172
  140. package/src/providers/__tests__/fixtures/override-config.mjs +0 -8
  141. package/src/providers/create-selva-providers.ts +0 -241
  142. package/src/providers/index.ts +0 -12
  143. package/src/tokens/__tests__/token-codec.test.ts +0 -63
  144. package/src/tokens/index.ts +0 -8
  145. package/src/tokens/token-codec.ts +0 -86
@@ -1,660 +0,0 @@
1
- /**
2
- * Tests for `runSolvePipeline` — the transport-agnostic solve core (K3).
3
- *
4
- * `@selvajs/compute` is mocked so the pipeline runs without a live compute
5
- * server: `TreeBuilder.fromInputParams` returns a marker tree and the scheduler
6
- * is a stub whose `solve` we script per test (resolve a response, throw an
7
- * AbortError, etc.). That isolates the pipeline's own behavior — outcome
8
- * classification, size cap, gzip, and the Server-Timing / version envelope.
9
- */
10
-
11
- import { describe, it, expect, vi } from 'vitest';
12
- import { gunzipSync } from 'node:zlib';
13
- import type { GrasshopperClient, InputParam, SolveScheduler } from '@selvajs/compute';
14
-
15
- // --- Mock @selvajs/compute -------------------------------------------------
16
- // The factory is hoisted above module top-level, so the RhinoComputeError
17
- // stand-in is declared INSIDE it. The pipeline classifies shed outcomes with
18
- // `err instanceof RhinoComputeError && err.code === ErrorCodes.QUEUE_*`, so the
19
- // mock must export a real class + the code constants. Tests import the mocked
20
- // `RhinoComputeError` below to construct instances the pipeline recognizes.
21
- vi.mock('@selvajs/compute', () => {
22
- class RhinoComputeError extends Error {
23
- code: string;
24
- statusCode?: number;
25
- context?: Record<string, unknown>;
26
- constructor(
27
- message: string,
28
- code: string,
29
- options?: { statusCode?: number; context?: Record<string, unknown> }
30
- ) {
31
- super(message);
32
- this.name = 'RhinoComputeError';
33
- this.code = code;
34
- this.statusCode = options?.statusCode;
35
- this.context = options?.context;
36
- }
37
- }
38
- return {
39
- TreeBuilder: {
40
- fromInputParams: (params: unknown[]) => ({ __tree: true, count: params.length })
41
- },
42
- // transform-input.ts (imported by the pipeline) calls processInput; return
43
- // the raw shape as an InputParam so filtering/mapping runs end-to-end.
44
- processInput: (raw: InputParam) => raw,
45
- // The L2 key module hashes over stableStringify — a deterministic sorted-key
46
- // JSON is enough for the tests (real impl sorts recursively).
47
- stableStringify: (value: unknown) => JSON.stringify(value),
48
- RhinoComputeError,
49
- ErrorCodes: { QUEUE_FULL: 'QUEUE_FULL', QUEUE_TIMEOUT: 'QUEUE_TIMEOUT' }
50
- };
51
- });
52
-
53
- // The mocked class, typed loosely for constructing test errors. The `as` cast
54
- // keeps the 3-arg (message, code, options) signature the pipeline's mock uses.
55
- import { RhinoComputeError as MockRhinoComputeError } from '@selvajs/compute';
56
- const makeShedError = (
57
- message: string,
58
- code: 'QUEUE_FULL' | 'QUEUE_TIMEOUT' | 'UNKNOWN_ERROR',
59
- options?: { statusCode?: number; context?: Record<string, unknown> }
60
- ) =>
61
- new (MockRhinoComputeError as unknown as new (
62
- m: string,
63
- c: string,
64
- o?: { statusCode?: number; context?: Record<string, unknown> }
65
- ) => Error)(message, code, options);
66
-
67
- import {
68
- runSolvePipeline,
69
- COMPUTE_CONTRACT_VERSION,
70
- COMPUTE_VERSION_HEADER,
71
- deriveSolveCacheInputKey,
72
- encodeSolveCacheEntry,
73
- type SolvePipelineArgs,
74
- type SolvePipelineCacheHook,
75
- type PipelineInput,
76
- type CachedClient
77
- } from '../index.js';
78
- import { gzipSync } from 'node:zlib';
79
-
80
- /**
81
- * A scripted solve stub. The pipeline only JSON-serializes and reads
82
- * `errors`/`warnings`, so tests return arbitrary fake payloads — the return is a
83
- * loose record rather than the full `GrasshopperComputeResponse`.
84
- */
85
- type SolveStub = (
86
- def: string | Uint8Array,
87
- tree: unknown,
88
- opts: { signal?: AbortSignal }
89
- ) => Promise<Record<string, unknown>>;
90
-
91
- /** A CachedClient stub whose scheduler.solve is scripted per test. */
92
- function fakeClient(solve: SolveStub): CachedClient {
93
- return {
94
- client: {} as GrasshopperClient,
95
- scheduler: { solve } as unknown as SolveScheduler,
96
- rhinoTiming: { last: null, seq: 0 },
97
- solveMeta: { last: null, seq: 0 }
98
- };
99
- }
100
-
101
- function baseArgs(over: Partial<SolvePipelineArgs> = {}): SolvePipelineArgs {
102
- return {
103
- definitionSource: new Uint8Array([1, 2, 3]),
104
- inputs: [{ id: 'a', paramType: 'number', nickname: 'A' } as PipelineInput],
105
- values: { a: 5 },
106
- client: fakeClient(async () => ({ values: [], errors: [], warnings: [] })),
107
- responseMaxBytes: 10 * 1024 * 1024,
108
- maxSolveDurationMs: 100_000,
109
- acceptEncoding: '',
110
- signal: new AbortController().signal,
111
- loadStartMs: performance.now(),
112
- defLoadMs: 1.5,
113
- prepMarks: [['body', 0.2]],
114
- ...over
115
- };
116
- }
117
-
118
- describe('runSolvePipeline — success', () => {
119
- it('returns an ok envelope with a JSON body and the version header', async () => {
120
- const result = { values: [{ id: 'out' }], errors: [], warnings: ['w'] };
121
- const outcome = await runSolvePipeline(baseArgs({ client: fakeClient(async () => result) }));
122
- expect(outcome.kind).toBe('ok');
123
- if (outcome.kind !== 'ok') return;
124
- expect(outcome.errorCount).toBe(0);
125
- expect(outcome.warningCount).toBe(1);
126
- expect(outcome.envelope.encoding).toBeUndefined();
127
- expect(JSON.parse(outcome.envelope.body as string)).toEqual(result);
128
- expect(outcome.envelope.headers[COMPUTE_VERSION_HEADER]).toBe(String(COMPUTE_CONTRACT_VERSION));
129
- expect(outcome.envelope.headers['Content-Type']).toBe('application/json');
130
- expect(outcome.envelope.headers['Content-Length']).toBe(
131
- String(Buffer.byteLength(outcome.envelope.body as string))
132
- );
133
- });
134
-
135
- it('only sends inputs with a paramType to the tree builder', async () => {
136
- let seenTree: unknown;
137
- const outcome = await runSolvePipeline(
138
- baseArgs({
139
- inputs: [
140
- { id: 'a', paramType: 'number', nickname: 'A' } as PipelineInput,
141
- { id: 'b', nickname: 'B' } as PipelineInput // no paramType → filtered out
142
- ],
143
- client: fakeClient(async (_def, tree) => {
144
- seenTree = tree;
145
- return { errors: [], warnings: [] };
146
- })
147
- })
148
- );
149
- expect(outcome.kind).toBe('ok');
150
- expect(seenTree).toEqual({ __tree: true, count: 1 });
151
- });
152
-
153
- it('forwards the abort signal to the scheduler', async () => {
154
- const controller = new AbortController();
155
- let seenSignal: AbortSignal | undefined;
156
- await runSolvePipeline(
157
- baseArgs({
158
- signal: controller.signal,
159
- client: fakeClient(async (_d, _t, opts) => {
160
- seenSignal = opts.signal;
161
- return { errors: [], warnings: [] };
162
- })
163
- })
164
- );
165
- expect(seenSignal).toBe(controller.signal);
166
- });
167
- });
168
-
169
- describe('runSolvePipeline — gzip', () => {
170
- it('compresses when Accept-Encoding allows and the body is over 1 KB', async () => {
171
- // A payload comfortably over the 1 KB gzip threshold.
172
- const big = { values: Array.from({ length: 500 }, (_, i) => ({ i, s: 'xxxxxxxxxx' })) };
173
- const outcome = await runSolvePipeline(
174
- baseArgs({ acceptEncoding: 'gzip, br', client: fakeClient(async () => big) })
175
- );
176
- expect(outcome.kind).toBe('ok');
177
- if (outcome.kind !== 'ok') return;
178
- expect(outcome.envelope.encoding).toBe('gzip');
179
- expect(outcome.envelope.headers['Content-Encoding']).toBe('gzip');
180
- expect(outcome.envelope.headers['Vary']).toBe('Accept-Encoding');
181
- // The gzip body round-trips back to the original JSON.
182
- const inflated = gunzipSync(Buffer.from(outcome.envelope.body as Uint8Array)).toString();
183
- expect(JSON.parse(inflated)).toEqual(big);
184
- expect(outcome.envelope.metrics.compressedBytes).toBeGreaterThan(0);
185
- });
186
-
187
- it('does NOT compress when Accept-Encoding lacks gzip', async () => {
188
- const big = { values: Array.from({ length: 500 }, (_, i) => ({ i, s: 'xxxxxxxxxx' })) };
189
- const outcome = await runSolvePipeline(
190
- baseArgs({ acceptEncoding: 'br', client: fakeClient(async () => big) })
191
- );
192
- expect(outcome.kind).toBe('ok');
193
- if (outcome.kind !== 'ok') return;
194
- expect(outcome.envelope.encoding).toBeUndefined();
195
- expect(outcome.envelope.headers['Content-Encoding']).toBeUndefined();
196
- expect(outcome.envelope.metrics.compressedBytes).toBeNull();
197
- });
198
-
199
- it('does NOT compress a tiny body even with gzip advertised', async () => {
200
- const outcome = await runSolvePipeline(
201
- baseArgs({ acceptEncoding: 'gzip', client: fakeClient(async () => ({ ok: 1 })) })
202
- );
203
- expect(outcome.kind).toBe('ok');
204
- if (outcome.kind !== 'ok') return;
205
- expect(outcome.envelope.encoding).toBeUndefined();
206
- });
207
- });
208
-
209
- describe('runSolvePipeline — failure outcomes', () => {
210
- it('classifies the scheduler deadline (AbortError, signal NOT aborted) as timeout', async () => {
211
- const outcome = await runSolvePipeline(
212
- baseArgs({
213
- maxSolveDurationMs: 42_000,
214
- client: fakeClient(async () => {
215
- const e = new Error('aborted');
216
- e.name = 'AbortError';
217
- throw e;
218
- })
219
- })
220
- );
221
- expect(outcome.kind).toBe('timeout');
222
- if (outcome.kind !== 'timeout') return;
223
- expect(outcome.message).toContain('42s');
224
- expect(outcome.durationMs).toBeGreaterThanOrEqual(0);
225
- });
226
-
227
- it('classifies AbortError with the request signal aborted as client_abort', async () => {
228
- const controller = new AbortController();
229
- controller.abort();
230
- const outcome = await runSolvePipeline(
231
- baseArgs({
232
- signal: controller.signal,
233
- client: fakeClient(async () => {
234
- const e = new Error('aborted');
235
- e.name = 'AbortError';
236
- throw e;
237
- })
238
- })
239
- );
240
- expect(outcome.kind).toBe('client_abort');
241
- });
242
-
243
- it('R3: a client disconnect while QUEUED forwards the signal and settles client_abort without a result', async () => {
244
- // Models the queued-disconnect path the package fix (ISSUES 46) closes: the
245
- // signal fires while the item waits in the FIFO, the scheduler settles it
246
- // ABORTED (rejects with AbortError) and never runs compute. The pipeline's
247
- // job — verified here — is to (a) hand the request signal to scheduler.solve
248
- // so that prune can happen, and (b) classify the aborted-signal reject as
249
- // client_abort (→ 499), never leaking a compute result.
250
- const controller = new AbortController();
251
- let seenSignal: AbortSignal | undefined;
252
- const outcome = await runSolvePipeline(
253
- baseArgs({
254
- signal: controller.signal,
255
- client: fakeClient(async (_d, _t, opts) => {
256
- seenSignal = opts.signal;
257
- // The disconnect arrives while queued: abort, then settle ABORTED —
258
- // compute output is never produced (the loader throws, never returns).
259
- controller.abort();
260
- const e = new Error('aborted while queued');
261
- e.name = 'AbortError';
262
- throw e;
263
- })
264
- })
265
- );
266
- expect(seenSignal).toBe(controller.signal); // scheduler CAN observe the disconnect
267
- expect(outcome.kind).toBe('client_abort'); // → 499, not a 500/compute_error
268
- });
269
-
270
- it('classifies any other throw as compute_error carrying the original error', async () => {
271
- const boom = new TypeError('fetch failed');
272
- const outcome = await runSolvePipeline(
273
- baseArgs({
274
- client: fakeClient(async () => {
275
- throw boom;
276
- })
277
- })
278
- );
279
- expect(outcome.kind).toBe('compute_error');
280
- if (outcome.kind !== 'compute_error') return;
281
- expect(outcome.error).toBe(boom);
282
- });
283
-
284
- it('returns too_large when the serialized result exceeds responseMaxBytes', async () => {
285
- const outcome = await runSolvePipeline(
286
- baseArgs({
287
- responseMaxBytes: 10, // tiny cap
288
- client: fakeClient(async () => ({ values: 'a bigger than ten bytes payload' }))
289
- })
290
- );
291
- expect(outcome.kind).toBe('too_large');
292
- });
293
-
294
- it('classifies a QUEUE_FULL rejection as shed(queue_full) with a Retry-After hint', async () => {
295
- const outcome = await runSolvePipeline(
296
- baseArgs({
297
- client: fakeClient(async () => {
298
- throw makeShedError('queue full', 'QUEUE_FULL', {
299
- statusCode: 503,
300
- context: { queueDepth: 8, maxQueueDepth: 8 }
301
- });
302
- })
303
- })
304
- );
305
- expect(outcome.kind).toBe('shed');
306
- if (outcome.kind !== 'shed') return;
307
- expect(outcome.reason).toBe('queue_full');
308
- expect(outcome.retryAfterSeconds).toBeGreaterThan(0);
309
- expect(outcome.message).toBeTruthy();
310
- });
311
-
312
- it('classifies a QUEUE_TIMEOUT rejection as shed(queue_timeout)', async () => {
313
- const outcome = await runSolvePipeline(
314
- baseArgs({
315
- client: fakeClient(async () => {
316
- throw makeShedError('queued too long', 'QUEUE_TIMEOUT', {
317
- statusCode: 503,
318
- context: { waitedMs: 5000, queueWaitMs: 3000 }
319
- });
320
- })
321
- })
322
- );
323
- expect(outcome.kind).toBe('shed');
324
- if (outcome.kind !== 'shed') return;
325
- expect(outcome.reason).toBe('queue_timeout');
326
- expect(outcome.retryAfterSeconds).toBeGreaterThan(0);
327
- });
328
-
329
- it('does NOT shed a RhinoComputeError with an unrelated code (stays compute_error)', async () => {
330
- const boom = makeShedError('server exploded', 'UNKNOWN_ERROR', {
331
- statusCode: 500
332
- });
333
- const outcome = await runSolvePipeline(
334
- baseArgs({
335
- client: fakeClient(async () => {
336
- throw boom;
337
- })
338
- })
339
- );
340
- expect(outcome.kind).toBe('compute_error');
341
- if (outcome.kind !== 'compute_error') return;
342
- expect(outcome.error).toBe(boom);
343
- });
344
- });
345
-
346
- describe('runSolvePipeline — Server-Timing', () => {
347
- it('emits the core phases and echoes prep marks as p_*', async () => {
348
- const outcome = await runSolvePipeline(
349
- baseArgs({
350
- defLoadMs: 12.3,
351
- prepMarks: [
352
- ['body', 0.5],
353
- ['client', 3.1]
354
- ],
355
- client: fakeClient(async () => ({ errors: [], warnings: [] }))
356
- })
357
- );
358
- expect(outcome.kind).toBe('ok');
359
- if (outcome.kind !== 'ok') return;
360
- const st = outcome.envelope.headers['Server-Timing'];
361
- expect(st).toContain('load;dur=12.3');
362
- expect(st).toContain('tree;dur=');
363
- expect(st).toContain('solve;dur=');
364
- expect(st).toContain('serialize;dur=');
365
- expect(st).toContain('total;dur=');
366
- expect(st).toContain('p_body;dur=0.5');
367
- expect(st).toContain('p_client;dur=3.1');
368
- });
369
-
370
- it('splits solve into rhino_* + compute_link when the client reported server timing', async () => {
371
- // The real callbacks fire DURING the solve: onServerTiming per compute
372
- // call, onSettle per settle — each bumps its seq. Mimic both so the
373
- // pipeline's attribution guard (exactly one write since the snapshot,
374
- // settle not fromCache) sees this request's own telemetry.
375
- const client: CachedClient = fakeClient(async () => {
376
- client.rhinoTiming.seq += 1;
377
- client.rhinoTiming.last = { decode: 5, solve: 20, encode: 3 };
378
- client.solveMeta.seq += 1;
379
- client.solveMeta.last = { fromCache: false, definitionReuploaded: false };
380
- return { errors: [], warnings: [] };
381
- });
382
- const outcome = await runSolvePipeline(baseArgs({ client }));
383
- expect(outcome.kind).toBe('ok');
384
- if (outcome.kind !== 'ok') return;
385
- const st = outcome.envelope.headers['Server-Timing'];
386
- expect(st).toContain('rhino_decode;dur=5.0');
387
- expect(st).toContain('rhino_solve;dur=20.0');
388
- expect(st).toContain('rhino_encode;dur=3.0');
389
- expect(st).toContain('compute_link;dur=');
390
- });
391
-
392
- it('surfaces selva_cache + def_reupload verdicts as 0/1 flags', async () => {
393
- const client: CachedClient = fakeClient(async () => {
394
- client.solveMeta.seq += 1;
395
- client.solveMeta.last = { fromCache: true, definitionReuploaded: false };
396
- return { errors: [], warnings: [] };
397
- });
398
- const outcome = await runSolvePipeline(baseArgs({ client }));
399
- expect(outcome.kind).toBe('ok');
400
- if (outcome.kind !== 'ok') return;
401
- const st = outcome.envelope.headers['Server-Timing'];
402
- expect(st).toContain('selva_cache;dur=1');
403
- expect(st).toContain('def_reupload;dur=0');
404
- });
405
-
406
- it('does not attribute stale telemetry a previous request left on the warm client', async () => {
407
- // The holders are shared per-server. Data written before this solve's
408
- // snapshot (seq unchanged during the solve) must not leak into this
409
- // request's Server-Timing.
410
- const client = fakeClient(async () => ({ errors: [], warnings: [] }));
411
- client.rhinoTiming = { last: { decode: 99, solve: 99, encode: 99 }, seq: 3 };
412
- client.solveMeta = { last: { fromCache: true }, seq: 5 };
413
- const outcome = await runSolvePipeline(baseArgs({ client }));
414
- expect(outcome.kind).toBe('ok');
415
- if (outcome.kind !== 'ok') return;
416
- expect(outcome.envelope.headers['Server-Timing']).not.toContain('rhino_decode');
417
- expect(outcome.envelope.headers['Server-Timing']).not.toContain('selva_cache');
418
- });
419
-
420
- it('drops telemetry when a concurrent request also settled in the window (audit B6)', async () => {
421
- // With maxConcurrentSolves > 1 two solves can interleave. More than one
422
- // settle since this request's snapshot makes the shared slots ambiguous —
423
- // the pipeline must omit the segments rather than report another
424
- // request's cache verdict / rhino timing as ours.
425
- const client: CachedClient = fakeClient(async () => {
426
- // Our own solve's callbacks…
427
- client.rhinoTiming.seq += 1;
428
- client.rhinoTiming.last = { decode: 5, solve: 20, encode: 3 };
429
- client.solveMeta.seq += 1;
430
- client.solveMeta.last = { fromCache: false, definitionReuploaded: false };
431
- // …then a concurrent request settles before we read.
432
- client.rhinoTiming.seq += 1;
433
- client.rhinoTiming.last = { decode: 1, solve: 1, encode: 1 };
434
- client.solveMeta.seq += 1;
435
- client.solveMeta.last = { fromCache: true };
436
- return { errors: [], warnings: [] };
437
- });
438
- const outcome = await runSolvePipeline(baseArgs({ client }));
439
- expect(outcome.kind).toBe('ok');
440
- if (outcome.kind !== 'ok') return;
441
- const st = outcome.envelope.headers['Server-Timing'];
442
- expect(st).not.toContain('selva_cache');
443
- expect(st).not.toContain('rhino_decode');
444
- });
445
-
446
- it('emits def_bytes=skipped when the byteRefOutcome shows load() never ran (pointer solve)', async () => {
447
- const outcome = await runSolvePipeline(
448
- baseArgs({
449
- byteRefOutcome: { loaded: false, fromCache: false },
450
- client: fakeClient(async () => ({ errors: [], warnings: [] }))
451
- })
452
- );
453
- expect(outcome.kind).toBe('ok');
454
- if (outcome.kind !== 'ok') return;
455
- expect(outcome.envelope.headers['Server-Timing']).toContain('def_bytes;desc=skipped');
456
- });
457
-
458
- it('emits def_bytes=hit when bytes were served from the warm cache', async () => {
459
- const outcome = await runSolvePipeline(
460
- baseArgs({
461
- byteRefOutcome: { loaded: true, fromCache: true },
462
- client: fakeClient(async () => ({ errors: [], warnings: [] }))
463
- })
464
- );
465
- expect(outcome.kind).toBe('ok');
466
- if (outcome.kind !== 'ok') return;
467
- expect(outcome.envelope.headers['Server-Timing']).toContain('def_bytes;desc=hit');
468
- });
469
-
470
- it('emits def_bytes=miss when the loader was called', async () => {
471
- const outcome = await runSolvePipeline(
472
- baseArgs({
473
- byteRefOutcome: { loaded: true, fromCache: false },
474
- client: fakeClient(async () => ({ errors: [], warnings: [] }))
475
- })
476
- );
477
- expect(outcome.kind).toBe('ok');
478
- if (outcome.kind !== 'ok') return;
479
- expect(outcome.envelope.headers['Server-Timing']).toContain('def_bytes;desc=miss');
480
- });
481
-
482
- it('omits def_bytes entirely for a raw-bytes solve (no byteRefOutcome)', async () => {
483
- const outcome = await runSolvePipeline(
484
- baseArgs({ client: fakeClient(async () => ({ errors: [], warnings: [] })) })
485
- );
486
- expect(outcome.kind).toBe('ok');
487
- if (outcome.kind !== 'ok') return;
488
- expect(outcome.envelope.headers['Server-Timing']).not.toContain('def_bytes');
489
- });
490
-
491
- it('never attributes rhino timing to a Selva-cache hit (no compute call of ours)', async () => {
492
- // Our request was served from the in-process cache while a concurrent
493
- // request's compute call produced the only rhino timing in the window.
494
- const client: CachedClient = fakeClient(async () => {
495
- client.rhinoTiming.seq += 1; // the OTHER request's compute call
496
- client.rhinoTiming.last = { decode: 7, solve: 70, encode: 7 };
497
- client.solveMeta.seq += 1; // our own settle — a cache hit
498
- client.solveMeta.last = { fromCache: true };
499
- return { errors: [], warnings: [] };
500
- });
501
- const outcome = await runSolvePipeline(baseArgs({ client }));
502
- expect(outcome.kind).toBe('ok');
503
- if (outcome.kind !== 'ok') return;
504
- const st = outcome.envelope.headers['Server-Timing'];
505
- expect(st).toContain('selva_cache;dur=1');
506
- expect(st).not.toContain('rhino_decode');
507
- });
508
- });
509
-
510
- // ============================================================================
511
- // L2 durable solve cache hook (Phase 3.4)
512
- // ============================================================================
513
-
514
- describe('runSolvePipeline — L2 solve cache', () => {
515
- const config = { computeServerId: 'srv-1' };
516
-
517
- /** A hook backed by a Map, recording lookups/stores for assertions. */
518
- function fakeHook(seed?: Map<string, Uint8Array>) {
519
- const store = seed ?? new Map<string, Uint8Array>();
520
- const lookups: string[] = [];
521
- const stores: string[] = [];
522
- const hook: SolvePipelineCacheHook = {
523
- configSubset: config,
524
- lookup: async (key) => {
525
- lookups.push(key);
526
- return store.get(key) ?? null;
527
- },
528
- store: (key, entry) => {
529
- stores.push(key);
530
- store.set(key, entry);
531
- }
532
- };
533
- return { hook, store, lookups, stores };
534
- }
535
-
536
- it('a miss solves, then write-throughs the gzipped envelope and marks l2_cache;dur=0', async () => {
537
- const result = { values: [{ id: 'out' }], errors: [], warnings: ['w'] };
538
- let solves = 0;
539
- const { hook, store, stores } = fakeHook();
540
- const outcome = await runSolvePipeline(
541
- baseArgs({
542
- client: fakeClient(async () => {
543
- solves += 1;
544
- return result;
545
- }),
546
- acceptEncoding: 'gzip',
547
- solveCache: hook
548
- })
549
- );
550
- expect(outcome.kind).toBe('ok');
551
- if (outcome.kind !== 'ok') return;
552
- expect(solves).toBe(1);
553
- expect(outcome.envelope.headers['Server-Timing']).toContain('l2_cache;dur=0');
554
- // Write-through happened — one entry stored under the derived key.
555
- expect(stores).toHaveLength(1);
556
- expect(store.size).toBe(1);
557
- });
558
-
559
- it('a hit returns the stored envelope WITHOUT solving and marks l2_cache;dur=1', async () => {
560
- const result = { values: [{ id: 'cached' }], errors: [], warnings: [] };
561
- const serialized = JSON.stringify(result);
562
- // Pre-seed the store at the key the pipeline will derive for these inputs.
563
- const args = baseArgs({ acceptEncoding: 'gzip' });
564
- const tree = { __tree: true, count: 1 }; // matches the mock TreeBuilder output
565
- const inputKey = deriveSolveCacheInputKey(tree, config).hash;
566
- const entry = encodeSolveCacheEntry(
567
- { errorCount: 0, warningCount: 0, serializedBytes: serialized.length, inputHash: inputKey },
568
- new Uint8Array(gzipSync(Buffer.from(serialized)))
569
- );
570
- const seed = new Map([[inputKey, entry]]);
571
- const { hook } = fakeHook(seed);
572
-
573
- let solves = 0;
574
- const outcome = await runSolvePipeline({
575
- ...args,
576
- client: fakeClient(async () => {
577
- solves += 1;
578
- return { values: [], errors: [], warnings: [] };
579
- }),
580
- solveCache: hook
581
- });
582
- expect(outcome.kind).toBe('ok');
583
- if (outcome.kind !== 'ok') return;
584
- expect(solves).toBe(0); // never solved — served from L2
585
- expect(outcome.envelope.encoding).toBe('gzip');
586
- expect(gunzipSync(outcome.envelope.body as Uint8Array).toString()).toBe(serialized);
587
- expect(outcome.envelope.headers['Server-Timing']).toContain('l2_cache;dur=1');
588
- });
589
-
590
- it('a hit for a non-gzip client gunzips the stored body back to JSON', async () => {
591
- const result = { values: [{ id: 'x' }], errors: [], warnings: [] };
592
- const serialized = JSON.stringify(result);
593
- const tree = { __tree: true, count: 1 };
594
- const inputKey = deriveSolveCacheInputKey(tree, config).hash;
595
- const entry = encodeSolveCacheEntry(
596
- { errorCount: 0, warningCount: 0, serializedBytes: serialized.length, inputHash: inputKey },
597
- new Uint8Array(gzipSync(Buffer.from(serialized)))
598
- );
599
- const { hook } = fakeHook(new Map([[inputKey, entry]]));
600
- const outcome = await runSolvePipeline(baseArgs({ acceptEncoding: '', solveCache: hook }));
601
- expect(outcome.kind).toBe('ok');
602
- if (outcome.kind !== 'ok') return;
603
- expect(outcome.envelope.encoding).toBeUndefined();
604
- expect(outcome.envelope.body).toBe(serialized);
605
- });
606
-
607
- it('a stored entry whose inputHash mismatches is ignored (collision defense) and re-solves', async () => {
608
- // Seed the derived key with an entry carrying a DIFFERENT inputHash — a
609
- // (hypothetical) storage-key collision must not serve the wrong geometry.
610
- const tree = { __tree: true, count: 1 };
611
- const inputKey = deriveSolveCacheInputKey(tree, config).hash;
612
- const wrong = encodeSolveCacheEntry(
613
- { errorCount: 0, warningCount: 0, serializedBytes: 2, inputHash: 'not-the-real-hash' },
614
- new Uint8Array(gzipSync(Buffer.from('{}')))
615
- );
616
- const { hook } = fakeHook(new Map([[inputKey, wrong]]));
617
- let solves = 0;
618
- const outcome = await runSolvePipeline(
619
- baseArgs({
620
- client: fakeClient(async () => {
621
- solves += 1;
622
- return { values: [{ id: 'fresh' }], errors: [], warnings: [] };
623
- }),
624
- solveCache: hook
625
- })
626
- );
627
- expect(outcome.kind).toBe('ok');
628
- if (outcome.kind !== 'ok') return;
629
- expect(solves).toBe(1); // fell through to a real solve
630
- });
631
-
632
- it('omits l2_cache from Server-Timing when no hook is passed', async () => {
633
- const outcome = await runSolvePipeline(baseArgs());
634
- expect(outcome.kind).toBe('ok');
635
- if (outcome.kind !== 'ok') return;
636
- expect(outcome.envelope.headers['Server-Timing']).not.toContain('l2_cache');
637
- });
638
-
639
- it('a lookup that rejects is treated as a miss (best-effort), then solves', async () => {
640
- let solves = 0;
641
- const hook: SolvePipelineCacheHook = {
642
- configSubset: config,
643
- lookup: async () => {
644
- throw new Error('backend down');
645
- },
646
- store: () => {}
647
- };
648
- const outcome = await runSolvePipeline(
649
- baseArgs({
650
- client: fakeClient(async () => {
651
- solves += 1;
652
- return { values: [], errors: [], warnings: [] };
653
- }),
654
- solveCache: hook
655
- })
656
- );
657
- expect(outcome.kind).toBe('ok');
658
- expect(solves).toBe(1);
659
- });
660
- });