@spooky-sync/core 0.0.1-canary.33 → 0.0.1-canary.331

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 (266) hide show
  1. package/AGENTS.md +84 -0
  2. package/README.md +56 -16
  3. package/dist/index.d.ts +2080 -142
  4. package/dist/index.js +16009 -2480
  5. package/dist/live.d.ts +149 -0
  6. package/dist/live.js +739 -0
  7. package/dist/otel/index.d.ts +1 -1
  8. package/dist/otel/index.js +3 -3
  9. package/dist/pure.d.ts +373 -0
  10. package/dist/pure.js +24 -0
  11. package/dist/sqlite-open.js +392 -0
  12. package/dist/sqlite-worker.d.ts +1 -0
  13. package/dist/sqlite-worker.js +439 -0
  14. package/dist/sw.d.ts +207 -0
  15. package/dist/sw.js +393 -0
  16. package/dist/tabs-broker-worker.d.ts +8 -0
  17. package/dist/tabs-broker-worker.js +477 -0
  18. package/dist/types.d.ts +1857 -38
  19. package/dist/worker-edges.js +480 -0
  20. package/dist/worker-impersonation.js +60 -0
  21. package/dist/worker-ref-tables.d.ts +48 -0
  22. package/dist/worker-types.d.ts +112 -0
  23. package/dist/worker-types.js +73 -0
  24. package/package.json +28 -7
  25. package/scripts/check-broker-bundle.mjs +33 -0
  26. package/scripts/check-worker-entries.mjs +173 -0
  27. package/skills/sp00ky-core/SKILL.md +32 -7
  28. package/skills/sp00ky-core/references/config.md +7 -1
  29. package/src/boot/auth-flip.saga.test.ts +135 -0
  30. package/src/boot/auth-flip.saga.ts +77 -0
  31. package/src/boot/boot.saga.test.ts +203 -0
  32. package/src/boot/boot.saga.ts +146 -0
  33. package/src/boot/bucket-switch.saga.test.ts +187 -0
  34. package/src/boot/bucket-switch.saga.ts +133 -0
  35. package/src/boot/preload.saga.test.ts +80 -0
  36. package/src/boot/preload.saga.ts +40 -0
  37. package/src/bucket-blurhash.test.ts +148 -0
  38. package/src/build-globals.d.ts +12 -0
  39. package/src/client/bucket-handle.test.ts +195 -0
  40. package/src/client/bucket-handle.ts +352 -0
  41. package/src/client/router.test.ts +58 -0
  42. package/src/client/router.ts +100 -0
  43. package/src/client/runtime.test.ts +195 -0
  44. package/src/client/runtime.ts +296 -0
  45. package/src/client/services.test.ts +74 -0
  46. package/src/client/services.ts +434 -0
  47. package/src/client/sp00ky-client.test.ts +341 -0
  48. package/src/client/sp00ky-client.ts +625 -0
  49. package/src/events/events.test.ts +2 -1
  50. package/src/events/index.ts +3 -0
  51. package/src/index.ts +69 -1
  52. package/src/kernel/constants.test.ts +19 -0
  53. package/src/kernel/constants.ts +80 -0
  54. package/src/kernel/effects.test.ts +40 -0
  55. package/src/kernel/effects.ts +167 -0
  56. package/src/kernel/events.ts +57 -0
  57. package/src/kernel/interpreter.test.ts +116 -0
  58. package/src/kernel/interpreter.ts +148 -0
  59. package/src/kernel/saga.test.ts +89 -0
  60. package/src/kernel/saga.ts +73 -0
  61. package/src/live/index.test.ts +512 -0
  62. package/src/live/index.ts +1059 -0
  63. package/src/modules/app-release/index.test.ts +125 -0
  64. package/src/modules/app-release/index.ts +209 -0
  65. package/src/modules/auth/auth.local-first.test.ts +228 -0
  66. package/src/modules/auth/events/index.ts +9 -2
  67. package/src/modules/auth/impersonation-banner.ts +443 -0
  68. package/src/modules/auth/impersonation.integration.test.ts +205 -0
  69. package/src/modules/auth/impersonation.test.ts +377 -0
  70. package/src/modules/auth/impersonation.ts +179 -0
  71. package/src/modules/auth/index.ts +476 -22
  72. package/src/modules/crdt/acceptance.ts +75 -0
  73. package/src/modules/crdt/bytes.ts +50 -0
  74. package/src/modules/crdt/crdt-field.ts +125 -0
  75. package/src/modules/crdt/crdt.test.ts +469 -0
  76. package/src/modules/crdt/hash.ts +103 -0
  77. package/src/modules/crdt/index.ts +757 -0
  78. package/src/modules/crdt/loro-loader.ts +25 -0
  79. package/src/modules/crdt/mirror.ts +37 -0
  80. package/src/modules/devtools/flags.ts +349 -0
  81. package/src/modules/devtools/index.ts +746 -95
  82. package/src/modules/devtools/mutations.test.ts +92 -0
  83. package/src/modules/devtools/mutations.ts +160 -0
  84. package/src/modules/devtools/notify-throttle.test.ts +166 -0
  85. package/src/modules/devtools/state-shape.test.ts +263 -0
  86. package/src/modules/devtools/storage-info.test.ts +79 -0
  87. package/src/modules/devtools/storage-info.ts +168 -0
  88. package/src/modules/devtools/versions.test.ts +74 -0
  89. package/src/modules/devtools/versions.ts +110 -0
  90. package/src/modules/feature-flag/index.test.ts +298 -0
  91. package/src/modules/feature-flag/index.ts +316 -0
  92. package/src/modules/ref-tables.test.ts +93 -0
  93. package/src/modules/ref-tables.ts +91 -0
  94. package/src/modules/web-push/index.test.ts +824 -0
  95. package/src/modules/web-push/index.ts +1027 -0
  96. package/src/mutation/jobs.test.ts +25 -0
  97. package/src/mutation/jobs.ts +41 -0
  98. package/src/mutation/mutation-id.test.ts +37 -0
  99. package/src/mutation/mutation-id.ts +35 -0
  100. package/src/mutation/pending-writes.integration.test.ts +175 -0
  101. package/src/mutation/push.saga.test.ts +301 -0
  102. package/src/mutation/push.saga.ts +225 -0
  103. package/src/mutation/rows.test.ts +231 -0
  104. package/src/mutation/rows.ts +427 -0
  105. package/src/mutation/tray.saga.test.ts +63 -0
  106. package/src/mutation/tray.saga.ts +48 -0
  107. package/src/mutation/write.saga.test.ts +316 -0
  108. package/src/mutation/write.saga.ts +268 -0
  109. package/src/otel/index.ts +10 -7
  110. package/src/pure.ts +66 -0
  111. package/src/push/types.ts +174 -0
  112. package/src/query/anon-query-isolation.integration.test.ts +527 -0
  113. package/src/query/env.test.ts +23 -0
  114. package/src/query/env.ts +65 -0
  115. package/src/query/fetch.saga.test.ts +199 -0
  116. package/src/query/fetch.saga.ts +120 -0
  117. package/src/query/hash.test.ts +14 -0
  118. package/src/query/hash.ts +18 -0
  119. package/src/query/id-set-plan.test.ts +132 -0
  120. package/src/query/lifecycle.saga.test.ts +274 -0
  121. package/src/query/lifecycle.saga.ts +186 -0
  122. package/src/query/list-ref-live.integration.test.ts +203 -0
  123. package/src/query/materialize.saga.test.ts +115 -0
  124. package/src/query/materialize.saga.ts +84 -0
  125. package/src/query/materialize.test.ts +58 -0
  126. package/src/query/materialize.ts +57 -0
  127. package/src/query/membership.saga.test.ts +407 -0
  128. package/src/query/membership.saga.ts +282 -0
  129. package/src/query/membership.test.ts +118 -0
  130. package/src/query/membership.ts +201 -0
  131. package/src/query/register.saga.test.ts +311 -0
  132. package/src/query/register.saga.ts +235 -0
  133. package/src/query/render-set.test.ts +47 -0
  134. package/src/query/render-set.ts +71 -0
  135. package/src/query/sql.test.ts +118 -0
  136. package/src/query/sql.ts +157 -0
  137. package/src/query/window-query.test.ts +70 -0
  138. package/src/query/window-query.ts +208 -0
  139. package/src/services/blobs/blob-cache.test.ts +359 -0
  140. package/src/services/blobs/blob-cache.ts +603 -0
  141. package/src/services/blobs/blob-manifest.ts +227 -0
  142. package/src/services/blobs/blob-store.test.ts +77 -0
  143. package/src/services/blobs/blob-store.ts +359 -0
  144. package/src/services/blobs/blob.fixture.ts +90 -0
  145. package/src/services/blobs/index.ts +70 -0
  146. package/src/services/database/cache-engine.ts +209 -0
  147. package/src/services/database/connection-supervisor.test.ts +318 -0
  148. package/src/services/database/connection-supervisor.ts +422 -0
  149. package/src/services/database/database.query-timeout.test.ts +140 -0
  150. package/src/services/database/database.responses.test.ts +43 -0
  151. package/src/services/database/database.ts +156 -61
  152. package/src/services/database/engine-factory.ts +33 -0
  153. package/src/services/database/errors.ts +34 -0
  154. package/src/services/database/events/index.ts +2 -1
  155. package/src/services/database/index.ts +7 -0
  156. package/src/services/database/landed-body-clear.integration.test.ts +236 -0
  157. package/src/services/database/local-migrator.integration.test.ts +110 -0
  158. package/src/services/database/local-migrator.ts +61 -16
  159. package/src/services/database/local.test.ts +150 -0
  160. package/src/services/database/local.ts +508 -63
  161. package/src/services/database/plan-render.test.ts +159 -0
  162. package/src/services/database/plan-render.ts +108 -0
  163. package/src/services/database/relation-resolver.test.ts +484 -0
  164. package/src/services/database/relation-resolver.ts +0 -0
  165. package/src/services/database/remote.ts +285 -6
  166. package/src/services/database/sqlite-cache-engine.test.ts +628 -0
  167. package/src/services/database/sqlite-cache-engine.timeout.test.ts +61 -0
  168. package/src/services/database/sqlite-cache-engine.ts +1401 -0
  169. package/src/services/database/sqlite-column-reset.integration.test.ts +100 -0
  170. package/src/services/database/sqlite-column-reset.ts +91 -0
  171. package/src/services/database/sqlite-devtools-queries.integration.test.ts +143 -0
  172. package/src/services/database/sqlite-devtools-queries.test.ts +154 -0
  173. package/src/services/database/sqlite-lock-verify.test.ts +33 -0
  174. package/src/services/database/sqlite-lock-verify.ts +45 -0
  175. package/src/services/database/sqlite-open.test.ts +150 -0
  176. package/src/services/database/sqlite-open.ts +164 -0
  177. package/src/services/database/sqlite-plan-sql.test.ts +164 -0
  178. package/src/services/database/sqlite-plan-sql.ts +196 -0
  179. package/src/services/database/sqlite-projection.test.ts +121 -0
  180. package/src/services/database/sqlite-select.integration.test.ts +185 -0
  181. package/src/services/database/sqlite-select.test.ts +261 -0
  182. package/src/services/database/sqlite-select.ts +131 -0
  183. package/src/services/database/sqlite-transport.fixture.ts +30 -0
  184. package/src/services/database/sqlite-transport.ts +224 -0
  185. package/src/services/database/sqlite-worker.ts +437 -0
  186. package/src/services/database/surql-translate.ts +417 -0
  187. package/src/services/database/surreal-cache-engine.ts +163 -0
  188. package/src/services/logger/index.test.ts +132 -0
  189. package/src/services/logger/index.ts +189 -7
  190. package/src/services/persistence/localstorage.ts +2 -2
  191. package/src/services/persistence/resilient.ts +10 -3
  192. package/src/services/persistence/surrealdb.ts +4 -4
  193. package/src/services/stream-processor/index.ts +806 -67
  194. package/src/services/stream-processor/permissions.test.ts +47 -0
  195. package/src/services/stream-processor/permissions.ts +53 -0
  196. package/src/services/stream-processor/stream-processor.batch.test.ts +186 -0
  197. package/src/services/stream-processor/stream-processor.prime.test.ts +234 -0
  198. package/src/services/stream-processor/stream-processor.reset.test.ts +226 -0
  199. package/src/services/stream-processor/stream-processor.test.ts +1 -1
  200. package/src/services/stream-processor/wasm-types.ts +58 -2
  201. package/src/services/tabs/broker-client.ts +284 -0
  202. package/src/services/tabs/broker.test.ts +381 -0
  203. package/src/services/tabs/coordinator.test.ts +386 -0
  204. package/src/services/tabs/coordinator.ts +646 -0
  205. package/src/services/tabs/fake-ports.fixture.ts +112 -0
  206. package/src/services/tabs/leader-locks.ts +75 -0
  207. package/src/services/tabs/protocol.ts +262 -0
  208. package/src/services/tabs/support.ts +36 -0
  209. package/src/services/tabs/tabs-broker-worker.ts +652 -0
  210. package/src/sp00ky.ts +5 -395
  211. package/src/state/client-state.ts +208 -0
  212. package/src/state/lifecycle.test.ts +141 -0
  213. package/src/state/lifecycle.ts +99 -0
  214. package/src/state/reducers.test.ts +306 -0
  215. package/src/state/reducers.ts +531 -0
  216. package/src/state/selectors.test.ts +188 -0
  217. package/src/state/selectors.ts +258 -0
  218. package/src/sw/index.test.ts +582 -0
  219. package/src/sw/index.ts +607 -0
  220. package/src/sw/store.ts +96 -0
  221. package/src/sync/connection.saga.test.ts +97 -0
  222. package/src/sync/connection.saga.ts +89 -0
  223. package/src/sync/live.saga.test.ts +178 -0
  224. package/src/sync/live.saga.ts +107 -0
  225. package/src/sync/policy.health.test.ts +56 -0
  226. package/src/sync/policy.test.ts +663 -0
  227. package/src/sync/policy.ts +515 -0
  228. package/src/sync/poll.saga.test.ts +51 -0
  229. package/src/sync/poll.saga.ts +36 -0
  230. package/src/sync/tabs.saga.test.ts +78 -0
  231. package/src/sync/tabs.saga.ts +96 -0
  232. package/src/testing/adapters.ts +137 -0
  233. package/src/testing/build.ts +63 -0
  234. package/src/testing/fake-services.ts +63 -0
  235. package/src/testing/run-pure.test.ts +92 -0
  236. package/src/testing/run-pure.ts +128 -0
  237. package/src/testing/services.ts +17 -0
  238. package/src/types.ts +633 -10
  239. package/src/utils/blurhash.ts +90 -0
  240. package/src/utils/edges.ts +39 -0
  241. package/src/utils/error-classification.test.ts +54 -0
  242. package/src/utils/error-classification.ts +25 -0
  243. package/src/utils/index.ts +89 -12
  244. package/src/utils/parser.test.ts +67 -102
  245. package/src/utils/parser.ts +64 -2
  246. package/src/utils/semver.test.ts +32 -0
  247. package/src/utils/semver.ts +30 -0
  248. package/src/utils/sha256.ts +15 -0
  249. package/src/utils/surql.ts +29 -18
  250. package/src/utils/utils.test.ts +3 -2
  251. package/tsdown.config.ts +117 -3
  252. package/vitest.config.ts +48 -0
  253. package/src/modules/cache/index.ts +0 -241
  254. package/src/modules/cache/types.ts +0 -19
  255. package/src/modules/data/data.test.ts +0 -58
  256. package/src/modules/data/index.ts +0 -879
  257. package/src/modules/sync/engine.ts +0 -173
  258. package/src/modules/sync/events/index.ts +0 -77
  259. package/src/modules/sync/index.ts +0 -3
  260. package/src/modules/sync/queue/index.ts +0 -2
  261. package/src/modules/sync/queue/queue-down.ts +0 -89
  262. package/src/modules/sync/queue/queue-up.ts +0 -223
  263. package/src/modules/sync/scheduler.ts +0 -84
  264. package/src/modules/sync/sync.ts +0 -421
  265. package/src/modules/sync/utils.test.ts +0 -311
  266. package/src/modules/sync/utils.ts +0 -167
@@ -0,0 +1,148 @@
1
+ import { Duration } from 'surrealdb';
2
+ import type { LocalStore } from '../services/database/cache-engine';
3
+ import type { IngestRecord, StreamUpdate } from '../services/stream-processor/index';
4
+ import type { ClientState } from '../state/client-state';
5
+ import type { InlineRow } from '../types';
6
+ import { withTimeout } from '../utils/index';
7
+ import type { Effect, IdScope, RegisterResult, ServiceCalls, Settled, StatementResult } from './effects';
8
+ import type { OutEvent, RuntimeEvent } from './events';
9
+
10
+ /** The five adapters plus the pure ports, as the interpreter sees them. */
11
+ export interface Adapters {
12
+ local: Pick<LocalStore, 'query' | 'execute' | 'select' | 'getById' | 'upsert' | 'delete'> & { readonly epoch: number };
13
+ remote: {
14
+ queryResponses(sql: string, vars?: Record<string, unknown>): Promise<StatementResult[]>;
15
+ /**
16
+ * Subscribe to `LIVE SELECT * FROM <table>`; the callback receives the
17
+ * changed query hashes, plus the changed rows themselves when the
18
+ * subscription was opened with the body joined on (`liveInlineBodies`).
19
+ */
20
+ live(table: string, onChange: (hashes: string[], rows?: InlineRow[]) => void): Promise<string>;
21
+ kill(uuid: string): Promise<void>;
22
+ };
23
+ ssp: {
24
+ registerQueryPlan(plan: {
25
+ queryHash: string;
26
+ surql: string;
27
+ params: Record<string, unknown>;
28
+ ttl: Duration;
29
+ lastActiveAt: Date;
30
+ localArray: [];
31
+ remoteArray: [];
32
+ meta: { tableName: string; involvedTables?: string[] };
33
+ }): StreamUpdate | undefined;
34
+ unregisterQueryPlan(hash: string): void;
35
+ ingestMany(records: IngestRecord[]): unknown;
36
+ };
37
+ timers: { set(key: string, ms: number, fire: () => void): void; clear(key: string): void };
38
+ clock: { now(): number };
39
+ ids: Record<IdScope, () => string>;
40
+ hash(input: string): Promise<string>;
41
+ services: ServiceCalls;
42
+ }
43
+
44
+ /** What the interpreter needs from the runtime: state, waiting, emitting, dispatching. */
45
+ export interface InterpreterHost {
46
+ getState(): ClientState;
47
+ setState(next: ClientState): void;
48
+ waitFor(until: (s: ClientState) => boolean, signal?: AbortSignal): Promise<void>;
49
+ emit(event: OutEvent): void;
50
+ dispatch(event: RuntimeEvent): void;
51
+ }
52
+
53
+ export interface RunContext {
54
+ signal?: AbortSignal;
55
+ }
56
+
57
+ export type Interpreter = (effect: Effect, ctx?: RunContext) => Promise<unknown>;
58
+
59
+ /** Effects become adapter calls here and nowhere else. */
60
+ export function createInterpreter(adapters: Adapters, host: InterpreterHost): Interpreter {
61
+ const interpret: Interpreter = async (effect, ctx) => {
62
+ switch (effect.kind) {
63
+ case 'local.query':
64
+ return adapters.local.query(effect.sql, effect.vars, effect.epoch === undefined ? undefined : { epoch: effect.epoch });
65
+ case 'local.select':
66
+ return adapters.local.select(effect.plan, effect.params);
67
+ case 'local.execute':
68
+ return adapters.local.execute(effect.query, effect.vars, effect.epoch === undefined ? undefined : { epoch: effect.epoch });
69
+ case 'local.getById':
70
+ return adapters.local.getById(effect.table, effect.id);
71
+ case 'local.upsert':
72
+ return adapters.local.upsert(effect.table, effect.id, effect.data, effect.mode);
73
+ case 'local.delete':
74
+ return adapters.local.delete(effect.table, effect.id);
75
+ case 'local.epoch':
76
+ return adapters.local.epoch;
77
+ case 'remote.query': {
78
+ const pending = adapters.remote.queryResponses(effect.sql, effect.vars);
79
+ return effect.timeoutMs
80
+ ? withTimeout(pending, effect.timeoutMs, () => new Error(`Remote request timed out after ${effect.timeoutMs}ms`))
81
+ : pending;
82
+ }
83
+ case 'remote.live':
84
+ return adapters.remote.live(effect.table, (hashes, rows) => host.dispatch({ type: 'LiveChange', hashes, rows }));
85
+ case 'remote.kill':
86
+ return adapters.remote.kill(effect.uuid);
87
+ case 'ssp.register': {
88
+ const update = adapters.ssp.registerQueryPlan({
89
+ queryHash: effect.plan.queryHash,
90
+ surql: effect.plan.surql,
91
+ params: effect.plan.params,
92
+ ttl: new Duration(effect.plan.ttl),
93
+ lastActiveAt: new Date(adapters.clock.now()),
94
+ localArray: [],
95
+ remoteArray: [],
96
+ meta: { tableName: effect.plan.tableName, involvedTables: effect.plan.involvedTables },
97
+ });
98
+ if (!update) throw new Error('Stream processor is not initialized');
99
+ const result: RegisterResult = {
100
+ localArray: update.localArray,
101
+ timings: {
102
+ parseMs: update.registration?.parseMs ?? null,
103
+ planMs: update.registration?.planMs ?? null,
104
+ snapshotMs: update.registration?.snapshotMs ?? null,
105
+ wallMs: null,
106
+ },
107
+ };
108
+ return result;
109
+ }
110
+ case 'ssp.unregister':
111
+ return adapters.ssp.unregisterQueryPlan(effect.hash);
112
+ case 'ssp.ingest':
113
+ return adapters.ssp.ingestMany(effect.records);
114
+ case 'timer.set':
115
+ return adapters.timers.set(effect.key, effect.ms, () => host.dispatch(effect.event));
116
+ case 'timer.clear':
117
+ return adapters.timers.clear(effect.key);
118
+ case 'state.read':
119
+ return effect.select(host.getState());
120
+ case 'state.update': {
121
+ const next = effect.fn(host.getState());
122
+ host.setState(next);
123
+ return next;
124
+ }
125
+ case 'state.wait':
126
+ return host.waitFor(effect.until, ctx?.signal);
127
+ case 'now':
128
+ return adapters.clock.now();
129
+ case 'id':
130
+ return adapters.ids[effect.scope]();
131
+ case 'hash':
132
+ return adapters.hash(effect.input);
133
+ case 'emit':
134
+ return host.emit(effect.event);
135
+ case 'dispatch':
136
+ return host.dispatch(effect.event);
137
+ case 'all': {
138
+ const settled = await Promise.allSettled(effect.effects.map((e) => interpret(e, ctx)));
139
+ return settled.map((r): Settled => (r.status === 'fulfilled' ? { ok: true, value: r.value } : { ok: false, error: r.reason }));
140
+ }
141
+ case 'service': {
142
+ const fn = adapters.services[effect.name] as (...args: unknown[]) => unknown;
143
+ return fn(...effect.args);
144
+ }
145
+ }
146
+ };
147
+ return interpret;
148
+ }
@@ -0,0 +1,89 @@
1
+ import { describe, expect, it } from 'vitest';
2
+ import type { Effect } from './effects';
3
+ import { fx } from './effects';
4
+ import { acquire, emptyLanes, release, runSaga } from './saga';
5
+ import type { Saga } from './saga';
6
+
7
+ describe('runSaga', () => {
8
+ it('threads effect results back into the generator in order', async () => {
9
+ const seen: Effect[] = [];
10
+ function* saga(): Saga<number> {
11
+ const a = (yield fx.now()) as number;
12
+ const b = (yield fx.hash('x')) as number;
13
+ return a + b;
14
+ }
15
+ const result = await runSaga(saga(), async (e) => {
16
+ seen.push(e);
17
+ return e.kind === 'now' ? 1 : 2;
18
+ });
19
+ expect(result).toBe(3);
20
+ expect(seen.map((e) => e.kind)).toEqual(['now', 'hash']);
21
+ });
22
+
23
+ it('throws a rejected effect into the saga so it can catch it', async () => {
24
+ function* saga(): Saga<string> {
25
+ try {
26
+ yield fx.now();
27
+ return 'unreachable';
28
+ } catch (err) {
29
+ return `caught:${(err as Error).message}`;
30
+ }
31
+ }
32
+ await expect(runSaga(saga(), async () => Promise.reject(new Error('boom')))).resolves.toBe('caught:boom');
33
+ });
34
+
35
+ it('propagates an error the saga does not catch', async () => {
36
+ function* saga(): Saga<void> {
37
+ yield fx.now();
38
+ }
39
+ await expect(runSaga(saga(), async () => Promise.reject(new Error('boom')))).rejects.toThrow('boom');
40
+ });
41
+
42
+ it('returns immediately for a saga that yields nothing', async () => {
43
+ // oxlint-disable-next-line require-yield
44
+ function* saga(): Saga<number> {
45
+ return 7;
46
+ }
47
+ await expect(runSaga(saga(), async () => undefined)).resolves.toBe(7);
48
+ });
49
+ });
50
+
51
+ describe('lanes', () => {
52
+ it('serial: first acquires, second waits, release hands over, final release frees', () => {
53
+ const lane = { kind: 'serial', key: 'outbox' } as const;
54
+ const a = acquire(emptyLanes(), lane);
55
+ expect(a.decision).toBe('start');
56
+ const b = acquire(a.state, lane);
57
+ expect(b.decision).toBe('wait');
58
+ const c = acquire(b.state, lane);
59
+ expect(c.decision).toBe('wait');
60
+ expect(c.state.waiting.get('outbox')).toBe(2);
61
+ const r1 = release(c.state, 'outbox');
62
+ expect(r1.startNext).toBe(true);
63
+ expect(r1.state.waiting.get('outbox')).toBe(1);
64
+ expect(r1.state.running.has('outbox')).toBe(true);
65
+ const r2 = release(r1.state, 'outbox');
66
+ expect(r2.startNext).toBe(true);
67
+ expect(r2.state.waiting.has('outbox')).toBe(false);
68
+ const r3 = release(r2.state, 'outbox');
69
+ expect(r3.startNext).toBe(false);
70
+ expect(r3.state.running.has('outbox')).toBe(false);
71
+ });
72
+
73
+ it('dedupe: a request during a run joins it and does not queue', () => {
74
+ const lane = { kind: 'dedupe', key: 'mat:h' } as const;
75
+ const a = acquire(emptyLanes(), lane);
76
+ const b = acquire(a.state, lane);
77
+ expect(b.decision).toBe('join');
78
+ expect(b.state).toBe(a.state);
79
+ const r = release(b.state, 'mat:h');
80
+ expect(r.startNext).toBe(false);
81
+ expect(r.state.running.size).toBe(0);
82
+ });
83
+
84
+ it('keys are independent', () => {
85
+ const a = acquire(emptyLanes(), { kind: 'serial', key: 'x' });
86
+ const b = acquire(a.state, { kind: 'serial', key: 'y' });
87
+ expect(b.decision).toBe('start');
88
+ });
89
+ });
@@ -0,0 +1,73 @@
1
+ import type { Effect } from './effects';
2
+
3
+ /**
4
+ * A saga is a generator that yields effects and receives their results. It
5
+ * holds no references to adapters or state, so it can be driven by the real
6
+ * interpreter or by `testing/run-pure` with canned results.
7
+ */
8
+ export type Saga<R> = Generator<Effect, R, any>;
9
+ export type Interpret = (effect: Effect) => Promise<unknown>;
10
+
11
+ /**
12
+ * Drive a saga to completion. A rejected effect is thrown back into the saga
13
+ * at the `yield`, so sagas use ordinary `try/catch`; an error the saga does
14
+ * not catch propagates to the caller.
15
+ */
16
+ export async function runSaga<R>(saga: Saga<R>, interpret: Interpret): Promise<R> {
17
+ let step = saga.next();
18
+ while (!step.done) {
19
+ let result: unknown;
20
+ try {
21
+ result = await interpret(step.value);
22
+ } catch (error) {
23
+ step = saga.throw(error);
24
+ continue;
25
+ }
26
+ step = saga.next(result);
27
+ }
28
+ return step.value;
29
+ }
30
+
31
+ /**
32
+ * Lanes bound concurrency without a queue object per lane:
33
+ * - `serial`: runs strictly one at a time per key, in arrival order.
34
+ * - `dedupe`: a request while one run is active joins that run instead of
35
+ * starting another.
36
+ * The bookkeeping is a pure value so the policy is unit-testable; the runtime
37
+ * owns the promises.
38
+ */
39
+ export type Lane = { kind: 'serial'; key: string } | { kind: 'dedupe'; key: string };
40
+
41
+ export interface LaneState {
42
+ readonly running: ReadonlySet<string>;
43
+ readonly waiting: ReadonlyMap<string, number>;
44
+ }
45
+
46
+ export const emptyLanes = (): LaneState => ({ running: new Set(), waiting: new Map() });
47
+
48
+ export type LaneDecision = 'start' | 'wait' | 'join';
49
+
50
+ export function acquire(state: LaneState, lane: Lane): { decision: LaneDecision; state: LaneState } {
51
+ if (!state.running.has(lane.key)) {
52
+ const running = new Set(state.running);
53
+ running.add(lane.key);
54
+ return { decision: 'start', state: { running, waiting: state.waiting } };
55
+ }
56
+ if (lane.kind === 'dedupe') return { decision: 'join', state };
57
+ const waiting = new Map(state.waiting);
58
+ waiting.set(lane.key, (waiting.get(lane.key) ?? 0) + 1);
59
+ return { decision: 'wait', state: { running: state.running, waiting } };
60
+ }
61
+
62
+ export function release(state: LaneState, key: string): { startNext: boolean; state: LaneState } {
63
+ const pending = state.waiting.get(key) ?? 0;
64
+ if (pending > 0) {
65
+ const waiting = new Map(state.waiting);
66
+ if (pending === 1) waiting.delete(key);
67
+ else waiting.set(key, pending - 1);
68
+ return { startNext: true, state: { running: state.running, waiting } };
69
+ }
70
+ const running = new Set(state.running);
71
+ running.delete(key);
72
+ return { startNext: false, state: { running, waiting: state.waiting } };
73
+ }