@nimbus-sh/fabric 0.1.0 → 0.2.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 (103) hide show
  1. package/README.md +84 -55
  2. package/dist/bindings.js +5 -5
  3. package/dist/budgets.d.ts +132 -0
  4. package/dist/budgets.d.ts.map +1 -0
  5. package/dist/budgets.js +248 -0
  6. package/dist/composition.d.ts +87 -0
  7. package/dist/composition.d.ts.map +1 -0
  8. package/dist/composition.js +76 -0
  9. package/dist/connections.d.ts +81 -0
  10. package/dist/connections.d.ts.map +1 -0
  11. package/dist/connections.js +114 -0
  12. package/dist/derived.d.ts +65 -0
  13. package/dist/derived.d.ts.map +1 -0
  14. package/dist/derived.js +95 -0
  15. package/dist/do-calls.d.ts +94 -0
  16. package/dist/do-calls.d.ts.map +1 -0
  17. package/dist/do-calls.js +111 -0
  18. package/dist/facet-pool.d.ts +90 -0
  19. package/dist/facet-pool.d.ts.map +1 -0
  20. package/dist/facet-pool.js +113 -0
  21. package/dist/{fanout-pool.d.ts → fanout.d.ts} +20 -20
  22. package/dist/fanout.d.ts.map +1 -0
  23. package/dist/{fanout-pool.js → fanout.js} +20 -20
  24. package/dist/{launch-journal.d.ts → fenced-work.d.ts} +25 -13
  25. package/dist/fenced-work.d.ts.map +1 -0
  26. package/dist/{launch-journal.js → fenced-work.js} +47 -13
  27. package/dist/generation.d.ts +69 -0
  28. package/dist/generation.d.ts.map +1 -0
  29. package/dist/generation.js +118 -0
  30. package/dist/{facet-image-store.d.ts → image-store.d.ts} +8 -8
  31. package/dist/image-store.d.ts.map +1 -0
  32. package/dist/{facet-image-store.js → image-store.js} +4 -4
  33. package/dist/index.d.ts +16 -8
  34. package/dist/index.d.ts.map +1 -1
  35. package/dist/index.js +16 -8
  36. package/dist/{loader-pool.d.ts → isolate-pool.d.ts} +19 -19
  37. package/dist/isolate-pool.d.ts.map +1 -0
  38. package/dist/{loader-pool.js → isolate-pool.js} +20 -20
  39. package/dist/journal.d.ts +111 -0
  40. package/dist/journal.d.ts.map +1 -0
  41. package/dist/journal.js +177 -0
  42. package/dist/outbox.d.ts +249 -0
  43. package/dist/outbox.d.ts.map +1 -0
  44. package/dist/outbox.js +355 -0
  45. package/dist/process-fabric.d.ts +2 -14
  46. package/dist/process-fabric.d.ts.map +1 -1
  47. package/dist/process-fabric.js +6 -15
  48. package/dist/process-host.d.ts +1 -1
  49. package/dist/process-host.d.ts.map +1 -1
  50. package/dist/process-host.js +10 -9
  51. package/dist/sealed.d.ts +78 -0
  52. package/dist/sealed.d.ts.map +1 -0
  53. package/dist/sealed.js +145 -0
  54. package/dist/timers.d.ts +138 -0
  55. package/dist/timers.d.ts.map +1 -0
  56. package/dist/timers.js +231 -0
  57. package/dist/{launch-pacer.d.ts → turn-budget.d.ts} +19 -21
  58. package/dist/turn-budget.d.ts.map +1 -0
  59. package/dist/{launch-pacer.js → turn-budget.js} +22 -11
  60. package/dist/workerd-facet-host.d.ts +28 -67
  61. package/dist/workerd-facet-host.d.ts.map +1 -1
  62. package/dist/workerd-facet-host.js +49 -171
  63. package/examples/agent-core-adapter.ts +191 -0
  64. package/package.json +4 -2
  65. package/src/bindings.ts +6 -6
  66. package/src/budgets.ts +308 -0
  67. package/src/composition.ts +127 -0
  68. package/src/connections.ts +140 -0
  69. package/src/derived.ts +135 -0
  70. package/src/do-calls.ts +156 -0
  71. package/src/facet-pool.ts +157 -0
  72. package/src/{fanout-pool.ts → fanout.ts} +35 -35
  73. package/src/{launch-journal.ts → fenced-work.ts} +58 -22
  74. package/src/generation.ts +144 -0
  75. package/src/{facet-image-store.ts → image-store.ts} +9 -9
  76. package/src/index.ts +16 -8
  77. package/src/{loader-pool.ts → isolate-pool.ts} +34 -34
  78. package/src/journal.ts +242 -0
  79. package/src/node-async-hooks.d.ts +14 -0
  80. package/src/outbox.ts +520 -0
  81. package/src/process-fabric.ts +6 -33
  82. package/src/process-host.ts +10 -15
  83. package/src/sealed.ts +150 -0
  84. package/src/timers.ts +294 -0
  85. package/src/{launch-pacer.ts → turn-budget.ts} +30 -24
  86. package/src/workerd-facet-host.ts +67 -193
  87. package/dist/alarms.d.ts +0 -134
  88. package/dist/alarms.d.ts.map +0 -1
  89. package/dist/alarms.js +0 -214
  90. package/dist/ctx-exports.d.ts +0 -47
  91. package/dist/ctx-exports.d.ts.map +0 -1
  92. package/dist/ctx-exports.js +0 -54
  93. package/dist/facet-image-store.d.ts.map +0 -1
  94. package/dist/fanout-pool.d.ts.map +0 -1
  95. package/dist/launch-journal.d.ts.map +0 -1
  96. package/dist/launch-pacer.d.ts.map +0 -1
  97. package/dist/loader-ledger.d.ts +0 -57
  98. package/dist/loader-ledger.d.ts.map +0 -1
  99. package/dist/loader-ledger.js +0 -91
  100. package/dist/loader-pool.d.ts.map +0 -1
  101. package/src/alarms.ts +0 -275
  102. package/src/ctx-exports.ts +0 -77
  103. package/src/loader-ledger.ts +0 -112
package/src/outbox.ts ADDED
@@ -0,0 +1,520 @@
1
+ /**
2
+ * outbox.ts — a durable retry outbox over a Durable Object's own SQLite.
3
+ *
4
+ * Proteus built this discipline twice by hand and says so: its email outbox
5
+ * (`cf-backend/src/email/outbox.ts:7` — "The discipline mirrors the peer
6
+ * outbox", 8 attempts from a 30s base) and its peer transport
7
+ * (`core/src/events/ingress/peer.ts` — 8 attempts from a 5s base, per-receiver
8
+ * ordering, an ask/reply waiter over the same rows). Both carry the same
9
+ * mechanism: a write-ahead intent row in `state='pending'`, an
10
+ * `attempt_count`, a `next_attempt_at` with a partial index over pending rows,
11
+ * backoff `next = now + base * 2**(attempts-1)`, and a `nextRetryAt()` folded
12
+ * into the object's single alarm. This module is that mechanism once.
13
+ *
14
+ * What the consumers proved and this keeps:
15
+ * - WRITE-AHEAD. The row commits before send runs. On a Durable Object the
16
+ * output gate orders it: an outbound message cannot leave before the
17
+ * writes of its turn are durable, so no explicit sync is needed here.
18
+ * - DISPOSITION, not a boolean. peer.ts:476-526 separates three failures: a
19
+ * RESOLVED refusal is permanent (dlq now), a THROWN send is transport
20
+ * trouble (backoff), a malformed row is poison (dlq now, no send). A
21
+ * boolean cannot carry that, and retrying a refusal re-offends.
22
+ * - ORDERING per key. Rows drain in id order. A transient failure blocks
23
+ * later rows with the same order key until the head clears (peer.ts:465
24
+ * head-of-line set); a dead-lettered head does not block, and keyless rows
25
+ * never block each other (the email outbox has no ordering at all).
26
+ * - IDEMPOTENCY. A dedupe key already queued or sent is refused with the
27
+ * existing id, and a sent key never reaches send again.
28
+ *
29
+ * What the consumers lacked and this adds:
30
+ * - The drain registers with `timers` (one reason in the shared map) instead
31
+ * of owning an alarm, and the dispatch-side handler re-arms through its
32
+ * RETURN value — calling schedule() from inside the dispatcher's chain
33
+ * would deadlock on the chain that serializes the reason map. A host
34
+ * whose alarm belongs to another framework (the Agents SDK, agent-core's
35
+ * reconciler) uses the scheduler-seam form instead: fabric hands every
36
+ * next due time to the policy's `schedule` and touches no timer storage.
37
+ * - The drain is turn-bounded through a {@link TurnBudget}: both consumer
38
+ * drains iterate every due row in one turn, which is the same
39
+ * thread-holding shape the pacer exists to end.
40
+ *
41
+ * ADOPTION IS A DATA MIGRATION for a live consumer. The rows live in
42
+ * fabric's own table (`outbox_<name>`), and nothing moves itself: a consumer
43
+ * with pending intents or a sent-key dedupe history in its old table keeps
44
+ * them there. The ported EmailOutbox went from `email_outbox` to
45
+ * `outbox_email` — deployed live without a migration, its pending mail would
46
+ * never send and every sent key would deliver a second time.
47
+ */
48
+
49
+ import { z } from 'zod/v4';
50
+ import { timers, type TimerContext, type TimerHandlerResult, type TimerHost, type TimerStorage } from './timers.js';
51
+ import type { TurnBudget } from './turn-budget.js';
52
+
53
+ /** Synchronous DO SQLite, as the outbox uses it. `exec` returns row objects. */
54
+ export interface OutboxSqlExec {
55
+ exec(query: string, ...bindings: Array<string | number | null>): Iterable<unknown>;
56
+ }
57
+
58
+ /** The hosting actor's storage: its SQLite plus the shared timer map's keys. */
59
+ export interface OutboxStorage extends TimerStorage {
60
+ sql: OutboxSqlExec;
61
+ }
62
+
63
+ export interface OutboxContext extends TimerContext {
64
+ storage: OutboxStorage;
65
+ }
66
+
67
+ /**
68
+ * All a scheduler-seam outbox needs from its host: the SQLite the rows live
69
+ * in. The timer map's keys belong to the {@link TimerHost} path only.
70
+ */
71
+ export interface OutboxSqlContext {
72
+ storage: { sql: OutboxSqlExec };
73
+ }
74
+
75
+ /**
76
+ * What one send attempt concluded. A resolved `retry` and a thrown send are
77
+ * the same transient class; `poison` is the resolved refusal that must never
78
+ * be retried — the split the peer transport proved necessary.
79
+ */
80
+ export type OutboxDisposition =
81
+ | { status: 'sent' }
82
+ | { status: 'retry'; reason: string }
83
+ | { status: 'poison'; reason: string };
84
+
85
+ export interface OutboxPolicy<M, C = void> {
86
+ /** Attempts before a row dead-letters. Email uses 8; peer uses 8. */
87
+ maxAttempts: number;
88
+ /** Backoff base: `next = now + baseMs * 2**(attempts-1)`. */
89
+ baseMs: number;
90
+ /**
91
+ * Per-key delivery order (the peer transport's per-receiver key). Rows
92
+ * without a key deliver independently, as the email outbox's do.
93
+ */
94
+ orderBy?(message: M): string;
95
+ /**
96
+ * Deliver one message. Throwing is transient, same as `retry`. `context`
97
+ * is the caller's per-drain state — Proteus's email outbox resolves its
98
+ * transport binding per call, and a policy closed at construction cannot
99
+ * hold it (the ported consumer smuggled it through an instance field).
100
+ */
101
+ send(message: M, info: { id: string; attempt: number }, context: C): Promise<OutboxDisposition>;
102
+ }
103
+
104
+ /**
105
+ * `context` carries the caller's per-drain state into `send`. Required when
106
+ * the policy declares one; absent (and unpayable) when it does not.
107
+ */
108
+ export type OutboxDrainOptions<C> = { budget?: TurnBudget } & ([C] extends [void]
109
+ ? { context?: C }
110
+ : { context: C });
111
+
112
+ type OutboxDrainArgs<C> = [C] extends [void]
113
+ ? [opts?: OutboxDrainOptions<C>]
114
+ : [opts: OutboxDrainOptions<C>];
115
+
116
+ type OutboxHandlerArgs<C> = [C] extends [void] ? [] : [context: C];
117
+
118
+ /**
119
+ * The policy of an outbox whose host owns the alarm. Proteus's Durable
120
+ * Object alarm belongs to the Agents SDK and agent-core's to its own
121
+ * reconciler; neither can give fabric the alarm slot. `schedule` receives
122
+ * every next due time — queue's admission instant, and the earliest pending
123
+ * deadline after each drain — and the consumer folds it into its own alarm.
124
+ */
125
+ export interface ScheduledOutboxPolicy<M, C = void> extends OutboxPolicy<M, C> {
126
+ schedule(at: number): Promise<void>;
127
+ }
128
+
129
+ type OutboxScheduling =
130
+ | { kind: 'timers'; host: TimerHost; ctx: OutboxContext }
131
+ | { kind: 'schedule'; schedule: (at: number) => Promise<void> };
132
+
133
+ export interface OutboxDrainResult {
134
+ sent: number;
135
+ retried: number;
136
+ deadLettered: number;
137
+ }
138
+
139
+ /**
140
+ * One row, as {@link Outbox.status} and {@link Outbox.find} report it. Both
141
+ * ported consumers read fabric's table with raw SQL for exactly this: the
142
+ * email outbox to answer sent/deduped/failed per key, the peer transport to
143
+ * correlate a reply with its stored ask — which is why the record carries
144
+ * the stored message, not just the state.
145
+ */
146
+ export interface OutboxRecord<M> {
147
+ id: string;
148
+ state: 'pending' | 'sent' | 'dlq';
149
+ /** Null when the stored payload no longer parses (a poison-parse row). */
150
+ message: M | null;
151
+ dedupeKey: string | null;
152
+ attemptCount: number;
153
+ lastError: string | null;
154
+ }
155
+
156
+ export interface OutboxDeadLetter<M> {
157
+ id: string;
158
+ /** Null when the stored payload no longer parses (a poison-parse row). */
159
+ message: M | null;
160
+ dedupeKey: string | null;
161
+ attemptCount: number;
162
+ lastError: string;
163
+ }
164
+
165
+ const PendingRowSchema = z.object({
166
+ id: z.string(),
167
+ message: z.string(),
168
+ order_key: z.string().nullable(),
169
+ attempt_count: z.number(),
170
+ next_attempt_at: z.number(),
171
+ });
172
+
173
+ const DlqRowSchema = z.object({
174
+ id: z.string(),
175
+ message: z.string(),
176
+ dedupe_key: z.string().nullable(),
177
+ attempt_count: z.number(),
178
+ last_error: z.string().nullable(),
179
+ });
180
+
181
+ const RecordRowSchema = z.object({
182
+ id: z.string(),
183
+ state: z.enum(['pending', 'sent', 'dlq']),
184
+ message: z.string(),
185
+ dedupe_key: z.string().nullable(),
186
+ attempt_count: z.number(),
187
+ last_error: z.string().nullable(),
188
+ });
189
+
190
+ const NAME_PATTERN = /^[a-z][a-z0-9_]{0,40}$/;
191
+
192
+ /** One named outbox on one hosting actor. Cheap accessor, like `timers()`. */
193
+ export function outbox<M, C = void>(
194
+ host: TimerHost,
195
+ ctx: OutboxContext,
196
+ name: string,
197
+ policy: OutboxPolicy<M, C>,
198
+ ): Outbox<M, C>;
199
+ /** The scheduler-seam form: the host owns the alarm, fabric owns the rows. */
200
+ export function outbox<M, C = void>(
201
+ ctx: OutboxSqlContext,
202
+ name: string,
203
+ policy: ScheduledOutboxPolicy<M, C>,
204
+ ): Outbox<M, C>;
205
+ export function outbox<M, C = void>(
206
+ ...args:
207
+ | [host: TimerHost, ctx: OutboxContext, name: string, policy: OutboxPolicy<M, C>]
208
+ | [ctx: OutboxSqlContext, name: string, policy: ScheduledOutboxPolicy<M, C>]
209
+ ): Outbox<M, C> {
210
+ if (args.length === 4) {
211
+ const [host, ctx, name, policy] = args;
212
+ return new Outbox(ctx, name, policy, { kind: 'timers', host, ctx });
213
+ }
214
+ const [ctx, name, policy] = args;
215
+ return new Outbox(ctx, name, policy, { kind: 'schedule', schedule: (at) => policy.schedule(at) });
216
+ }
217
+
218
+ export class Outbox<M, C = void> {
219
+ /** The timer reason this outbox arms in the shared map. */
220
+ readonly reason: string;
221
+
222
+ private readonly table: string;
223
+ private schemaReady = false;
224
+ private draining = false;
225
+ /** Largest id ever seen, so a replacement instance mints above it. */
226
+ private lastId = '';
227
+ private seq = 0;
228
+
229
+ constructor(
230
+ private readonly ctx: OutboxSqlContext,
231
+ name: string,
232
+ private readonly policy: OutboxPolicy<M, C>,
233
+ private readonly scheduling: OutboxScheduling,
234
+ ) {
235
+ if (!NAME_PATTERN.test(name)) {
236
+ throw new Error(`fabric: outbox name '${name}' must match ${NAME_PATTERN}`);
237
+ }
238
+ this.table = `outbox_${name}`;
239
+ this.reason = `outbox:${name}`;
240
+ }
241
+
242
+ private ensureSchema(): void {
243
+ if (this.schemaReady) return;
244
+ const sql = this.ctx.storage.sql;
245
+ sql.exec(`CREATE TABLE IF NOT EXISTS ${this.table} (
246
+ id TEXT PRIMARY KEY,
247
+ dedupe_key TEXT,
248
+ order_key TEXT,
249
+ message TEXT NOT NULL,
250
+ state TEXT NOT NULL DEFAULT 'pending'
251
+ CHECK (state IN ('pending', 'sent', 'dlq')),
252
+ attempt_count INTEGER NOT NULL DEFAULT 0,
253
+ next_attempt_at INTEGER NOT NULL,
254
+ created_at INTEGER NOT NULL,
255
+ sent_at INTEGER,
256
+ last_error TEXT
257
+ )`);
258
+ sql.exec(`CREATE UNIQUE INDEX IF NOT EXISTS idx_${this.table}_dedupe
259
+ ON ${this.table} (dedupe_key) WHERE dedupe_key IS NOT NULL`);
260
+ // The recovery read (`nextRetryAt`, the drain) must not table-scan sent
261
+ // history, which only grows — the same reason both consumer schemas carry
262
+ // exactly this partial index.
263
+ sql.exec(`CREATE INDEX IF NOT EXISTS idx_${this.table}_pending
264
+ ON ${this.table} (next_attempt_at) WHERE state = 'pending'`);
265
+ const rows = [...sql.exec(`SELECT MAX(id) AS id FROM ${this.table}`)] as Array<{ id: string | null }>;
266
+ this.lastId = rows[0]?.id ?? '';
267
+ this.schemaReady = true;
268
+ }
269
+
270
+ /**
271
+ * Ids order the drain, so they must grow: time-prefixed, tie-broken by a
272
+ * per-instance counter, and forced above the largest stored id so a
273
+ * replacement instance with a lagging clock cannot mint into the past.
274
+ */
275
+ private mintId(now: number): string {
276
+ let id = `${now.toString(36).padStart(9, '0')}-${(this.seq++).toString(36).padStart(6, '0')}`;
277
+ if (this.lastId !== '' && id <= this.lastId) id = `${this.lastId}0`;
278
+ this.lastId = id;
279
+ return id;
280
+ }
281
+
282
+ /**
283
+ * Write the intent ahead of any send. Returns `admitted: false` with the
284
+ * existing id when the dedupe key is already queued, sent, or dead-lettered
285
+ * — a sent key never reaches send again (the email outbox's short-circuit).
286
+ *
287
+ * `onDuplicate: 'retry-now'` treats a re-ask for an UNSENT key as new
288
+ * intent: the row's retry instant is clamped to `now` and a dead letter
289
+ * returns to 'pending', its attempt count kept — so every re-ask buys one
290
+ * more delivery attempt, past the attempt budget. The monitor's alert-once
291
+ * contract needs exactly this: a failed alert is retried by each sweep
292
+ * until it lands. A sent key stays final either way.
293
+ *
294
+ * Arms the scheduler at `now`, so delivery is owed by the alarm even
295
+ * when the caller never drains inline.
296
+ */
297
+ async queue(
298
+ message: M,
299
+ opts: { dedupeKey?: string; now?: number; onDuplicate?: 'refuse' | 'retry-now' } = {},
300
+ ): Promise<{ id: string; admitted: boolean }> {
301
+ this.ensureSchema();
302
+ const now = opts.now ?? Date.now();
303
+ const sql = this.ctx.storage.sql;
304
+ if (opts.dedupeKey !== undefined) {
305
+ const existing = [...sql.exec(
306
+ `SELECT id, state FROM ${this.table} WHERE dedupe_key = ?`, opts.dedupeKey,
307
+ )] as Array<{ id: string; state: string }>;
308
+ if (existing.length > 0) {
309
+ if (opts.onDuplicate === 'retry-now' && existing[0].state !== 'sent') {
310
+ sql.exec(
311
+ `UPDATE ${this.table} SET state = 'pending', next_attempt_at = ? WHERE id = ?`,
312
+ now, existing[0].id,
313
+ );
314
+ await this.arm(now);
315
+ }
316
+ return { id: existing[0].id, admitted: false };
317
+ }
318
+ }
319
+ const id = this.mintId(now);
320
+ sql.exec(
321
+ `INSERT INTO ${this.table} (id, dedupe_key, order_key, message, next_attempt_at, created_at)
322
+ VALUES (?, ?, ?, ?, ?, ?)`,
323
+ id,
324
+ opts.dedupeKey ?? null,
325
+ this.policy.orderBy?.(message) ?? null,
326
+ JSON.stringify(message),
327
+ now,
328
+ now,
329
+ );
330
+ await this.arm(now);
331
+ return { id, admitted: true };
332
+ }
333
+
334
+ /** Hand a due time to whichever scheduler this outbox was built on. */
335
+ private async arm(at: number): Promise<void> {
336
+ if (this.scheduling.kind === 'timers') {
337
+ await timers(this.scheduling.host, this.scheduling.ctx).schedule(this.reason, at);
338
+ } else {
339
+ await this.scheduling.schedule(at);
340
+ }
341
+ }
342
+
343
+ /** The single-alarm fold: the earliest pending deadline, or null. */
344
+ nextRetryAt(): number | null {
345
+ this.ensureSchema();
346
+ const rows = [...this.ctx.storage.sql.exec(
347
+ `SELECT MIN(next_attempt_at) AS next FROM ${this.table} WHERE state = 'pending'`,
348
+ )] as Array<{ next: number | null }>;
349
+ return rows[0]?.next ?? null;
350
+ }
351
+
352
+ /** The row queue() named, by its id. Null when no such row exists. */
353
+ status(id: string): OutboxRecord<M> | null {
354
+ return this.record('id', id);
355
+ }
356
+
357
+ /** The row a dedupe key admitted, whatever its state. Null when none. */
358
+ find(dedupeKey: string): OutboxRecord<M> | null {
359
+ return this.record('dedupe_key', dedupeKey);
360
+ }
361
+
362
+ private record(column: 'id' | 'dedupe_key', value: string): OutboxRecord<M> | null {
363
+ this.ensureSchema();
364
+ const rows = [...this.ctx.storage.sql.exec(
365
+ `SELECT id, state, message, dedupe_key, attempt_count, last_error
366
+ FROM ${this.table} WHERE ${column} = ?`, value,
367
+ )];
368
+ if (rows.length === 0) return null;
369
+ const row = RecordRowSchema.parse(rows[0]);
370
+ let message: M | null = null;
371
+ try { message = JSON.parse(row.message) as M; } catch { /* poison-parse row */ }
372
+ return {
373
+ id: row.id,
374
+ state: row.state,
375
+ message,
376
+ dedupeKey: row.dedupe_key,
377
+ attemptCount: row.attempt_count,
378
+ lastError: row.last_error,
379
+ };
380
+ }
381
+
382
+ /** Dead-lettered rows, for inspection. Terminal: nothing retries out. */
383
+ dlq(): Array<OutboxDeadLetter<M>> {
384
+ this.ensureSchema();
385
+ const rows = [...this.ctx.storage.sql.exec(
386
+ `SELECT id, message, dedupe_key, attempt_count, last_error FROM ${this.table} WHERE state = 'dlq' ORDER BY id`,
387
+ )].map((row) => DlqRowSchema.parse(row));
388
+ return rows.map((row) => {
389
+ let message: M | null = null;
390
+ try { message = JSON.parse(row.message) as M; } catch { /* poison-parse row */ }
391
+ return {
392
+ id: row.id,
393
+ message,
394
+ dedupeKey: row.dedupe_key,
395
+ attemptCount: row.attempt_count,
396
+ lastError: row.last_error ?? '',
397
+ };
398
+ });
399
+ }
400
+
401
+ /**
402
+ * Deliver every due pending row, in id order, honouring per-key blocking.
403
+ * Reentrancy-guarded: the alarm and an inline post-queue drain overlap on
404
+ * the same activation (peer.ts:452 carries the same guard).
405
+ *
406
+ * `budget` bounds the turn: the drain spends each processed row's payload
407
+ * size and suspends when a chunk is full, so a large backlog crosses turns
408
+ * instead of holding the actor's only thread.
409
+ *
410
+ * `context` is handed to every `send` this drain makes — the seam for
411
+ * per-call state such as a transport binding resolved by the caller.
412
+ */
413
+ async drain(now = Date.now(), ...rest: OutboxDrainArgs<C>): Promise<OutboxDrainResult> {
414
+ const opts = rest[0] ?? {};
415
+ const result: OutboxDrainResult = { sent: 0, retried: 0, deadLettered: 0 };
416
+ if (this.draining) return result;
417
+ this.draining = true;
418
+ try {
419
+ this.ensureSchema();
420
+ const sql = this.ctx.storage.sql;
421
+ const rows = [...sql.exec(
422
+ `SELECT id, message, order_key, attempt_count, next_attempt_at
423
+ FROM ${this.table} WHERE state = 'pending' ORDER BY id`,
424
+ )].map((row) => PendingRowSchema.parse(row));
425
+ const blocked = new Set<string>();
426
+ for (const row of rows) {
427
+ if (row.order_key !== null && blocked.has(row.order_key)) continue;
428
+ if (row.next_attempt_at > now) {
429
+ // A backed-off head still blocks the rows queued behind it.
430
+ if (row.order_key !== null) blocked.add(row.order_key);
431
+ continue;
432
+ }
433
+ let message: M;
434
+ try {
435
+ message = JSON.parse(row.message) as M;
436
+ } catch (e) {
437
+ // Unparseable is poison: it can never succeed, so it never blocks.
438
+ this.deadLetter(row.id, row.attempt_count, `outbox row does not parse: ${errorText(e)}`);
439
+ result.deadLettered++;
440
+ continue;
441
+ }
442
+ const attempt = row.attempt_count + 1;
443
+ let disposition: OutboxDisposition;
444
+ try {
445
+ disposition = await this.policy.send(message, { id: row.id, attempt }, opts.context as C);
446
+ } catch (e) {
447
+ disposition = { status: 'retry', reason: errorText(e) };
448
+ }
449
+ if (disposition.status === 'sent') {
450
+ sql.exec(
451
+ `UPDATE ${this.table} SET state = 'sent', attempt_count = ?, sent_at = ?, last_error = NULL WHERE id = ?`,
452
+ attempt, now, row.id,
453
+ );
454
+ result.sent++;
455
+ } else if (disposition.status === 'poison') {
456
+ this.deadLetter(row.id, attempt, disposition.reason);
457
+ result.deadLettered++;
458
+ } else if (attempt >= this.policy.maxAttempts) {
459
+ this.deadLetter(row.id, attempt, `undeliverable after ${attempt} attempts: ${disposition.reason}`);
460
+ result.deadLettered++;
461
+ } else {
462
+ const next = now + this.policy.baseMs * 2 ** (attempt - 1);
463
+ sql.exec(
464
+ `UPDATE ${this.table} SET attempt_count = ?, next_attempt_at = ?, last_error = ? WHERE id = ?`,
465
+ attempt, next, disposition.reason, row.id,
466
+ );
467
+ result.retried++;
468
+ if (row.order_key !== null) blocked.add(row.order_key);
469
+ }
470
+ // Code-unit length: equal to UTF-8 bytes for the ASCII JSON the rows
471
+ // hold, an undercount otherwise — the bound names where a turn ends,
472
+ // it is not an admission ceiling (same reading as budgets.ts).
473
+ await opts.budget?.spend(row.message.length);
474
+ }
475
+ // A seam-scheduled outbox re-arms itself: there is no dispatcher whose
476
+ // return value could, and the ported consumer re-armed by hand after
477
+ // every drain — delivery stays owed either way.
478
+ if (this.scheduling.kind === 'schedule') {
479
+ const next = this.nextRetryAt();
480
+ if (next !== null) await this.scheduling.schedule(next);
481
+ }
482
+ return result;
483
+ } finally {
484
+ this.draining = false;
485
+ }
486
+ }
487
+
488
+ private deadLetter(id: string, attempts: number, error: string): void {
489
+ this.ctx.storage.sql.exec(
490
+ `UPDATE ${this.table} SET state = 'dlq', attempt_count = ?, last_error = ? WHERE id = ?`,
491
+ attempts, error, id,
492
+ );
493
+ }
494
+
495
+ /**
496
+ * The dispatch-side entry for the embedder's timer handler map. Re-arms
497
+ * through the RETURN value: the dispatcher runs handlers inside the chain
498
+ * that serializes the reason map, so a schedule() call from here would
499
+ * deadlock on its own chain.
500
+ *
501
+ * An alarm fires with no caller, so a policy that declares a drain context
502
+ * receives it here once, closed over every alarm-driven drain.
503
+ */
504
+ handler(...context: OutboxHandlerArgs<C>): (now: number) => Promise<TimerHandlerResult> {
505
+ if (this.scheduling.kind === 'schedule') {
506
+ throw new Error(
507
+ `fabric: outbox '${this.reason}' uses a scheduler seam — there is no timer dispatcher to hand this handler to`,
508
+ );
509
+ }
510
+ return async (now: number) => {
511
+ await this.drain(now, ...([{ context: context[0] }] as OutboxDrainArgs<C>));
512
+ const next = this.nextRetryAt();
513
+ return next === null ? undefined : { rearmAt: next };
514
+ };
515
+ }
516
+ }
517
+
518
+ function errorText(error: unknown): string {
519
+ return error instanceof Error ? error.message : String(error);
520
+ }
@@ -5,7 +5,7 @@
5
5
  * Every long-lived process Nimbus runs — node servers, python/ruby socket
6
6
  * servers, an agent TUI and its headless server — runs as a **DO Facet**:
7
7
  * a named child actor whose class comes from a dynamic worker, opened by
8
- * `openResidentFacet` in `workerd-facet-host.ts`.
8
+ * `processes(ctx, env).spawn` in `workerd-facet-host.ts`.
9
9
  *
10
10
  * ctx.facets.get(`proc-${pid}`, () => ({
11
11
  * class: env.LOADER.get(workerKey, buildConfig)
@@ -156,37 +156,10 @@ export type ResidentBootSpec =
156
156
  | { kind: 'code'; code: ResidentCodeSpec };
157
157
 
158
158
  // ── Staged boots ────────────────────────────────────────────────────────────
159
-
160
- /**
161
- * Assemble a complete Worker Loader config from a staged-artifact spec. The
162
- * embedder supplies this: a stage names artifact sources only the embedder
163
- * knows how to fetch (Nimbus's largest staged artifact is a ~23 MB module map from
164
- * ASSETS), and the assembler runs inside the loader's cache-miss callback so
165
- * those sources are materialized only while the facet actually loads.
166
- * `env` is whichever hosting actor's env the facet is opened with.
167
- */
168
- export type StagedBootAssembler = (
169
- env: unknown,
170
- stage: unknown,
171
- ) => Promise<object>;
172
-
173
- let _stagedBootAssembler: StagedBootAssembler | null = null;
174
-
175
- /** Registered once at composition time, first-write-wins. */
176
- export function setStagedBootAssembler(assembler: StagedBootAssembler): void {
177
- if (_stagedBootAssembler) return;
178
- _stagedBootAssembler = assembler;
179
- }
180
-
181
- export function requireStagedBootAssembler(): StagedBootAssembler {
182
- if (!_stagedBootAssembler) {
183
- throw new Error(
184
- 'fabric: no staged-boot assembler registered; a \'staged\' boot spec '
185
- + 'cannot be assembled without one (setStagedBootAssembler)',
186
- );
187
- }
188
- return _stagedBootAssembler;
189
- }
159
+ //
160
+ // A 'staged' boot spec assembles through the embedder's composed
161
+ // StagedBootAssembler — see composition.ts. What a stage IS belongs to
162
+ // whoever composed the assembler.
190
163
 
191
164
  // ── Boot-image store ────────────────────────────────────────────────────────
192
165
 
@@ -425,7 +398,7 @@ export interface ProcessImageDelivery {
425
398
  * ends: the source exists and is populated before, the destination is
426
399
  * non-empty after. A blocklist of bad names would pass a typo straight
427
400
  * through and wipe a process's filesystem while returning ok. Enforced by
428
- * `cloneFacetStorage` in the workerd host, which is the one way the fabric
401
+ * `cloneStorage` in the workerd host, which is the one way the fabric
429
402
  * calls clone.
430
403
  */
431
404
  readonly reflink: 'same-object' | 'impossible';
@@ -9,7 +9,7 @@
9
9
  * peer — the process is a named child actor of a SIBLING session DO, and
10
10
  * the coordinator reaches it over one held-open RPC.
11
11
  *
12
- * Both call the same `openResidentFacet`. The peer leg is not a second process
12
+ * Both call the same `processes(ctx, env).spawn`. The peer leg is not a second process
13
13
  * implementation; it is the same call made on a different actor, which is why
14
14
  * the runner, the boot spec, the class name, the writer handshake, the start
15
15
  * contract and the lifecycle are shared code rather than parallel paths.
@@ -64,9 +64,9 @@
64
64
  * that pair unforgeable by anything that did not open the process.
65
65
  */
66
66
 
67
- import { disposeRpcResource } from '@nimbus-sh/core/_shared/rpc-dispose.js';
68
- import { isTransientDoReset } from '@nimbus-sh/core/observability/oom-classify.js';
69
- import { PEER_RETRY_BACKOFF_MS, PEER_TRANSIENT_RESET_RETRIES } from './fanout-pool.js';
67
+ import { disposeRpcResource } from '@nimbus-sh/platform/rpc-dispose.js';
68
+ import { isTransientDoReset } from '@nimbus-sh/platform/oom-classify.js';
69
+ import { PEER_RETRY_BACKOFF_MS, PEER_TRANSIENT_RESET_RETRIES } from './fanout.js';
70
70
  import {
71
71
  type HostedProcess,
72
72
  type OneShotParams,
@@ -77,11 +77,10 @@ import {
77
77
  type ResidentDiskReader,
78
78
  type ResidentSupervisorProps,
79
79
  } from './process-fabric.js';
80
+ import { DYNAMIC_WORKER_CODE_LIMIT_BYTES } from './budgets.js';
80
81
  import {
81
- DYNAMIC_WORKER_CODE_LIMIT_BYTES,
82
- openResidentFacet,
82
+ processes,
83
83
  residentFacetName,
84
- runOneShotWorker,
85
84
  type ResidentFacetEnv,
86
85
  } from './workerd-facet-host.js';
87
86
  import { BindingError } from './vendor/errors.js';
@@ -136,9 +135,7 @@ class FacetProcessHost implements ProcessHost {
136
135
  }
137
136
 
138
137
  runOnce<T>(params: OneShotParams, consume: (response: Response) => Promise<T>): Promise<T> {
139
- return runOneShotWorker(
140
- this.ctx,
141
- this.env,
138
+ return processes(this.ctx, this.env).run(
142
139
  { doId: this.coordDoId, pid: params.pid, writerId: params.writerId },
143
140
  params,
144
141
  consume,
@@ -151,7 +148,7 @@ class FacetProcessHost implements ProcessHost {
151
148
  pid: params.pid,
152
149
  writerId: params.writerId,
153
150
  };
154
- const { slot, ...facet } = openResidentFacet(this.ctx, this.env, this.disk, supervisor, params);
151
+ const { slot, ...facet } = processes(this.ctx, this.env).spawn(this.disk, supervisor, params);
155
152
  return {
156
153
  ...facet,
157
154
  describe: () =>
@@ -337,9 +334,7 @@ class PeerProcessHost implements ProcessHost {
337
334
  * worker of the coordinator here exactly as it does on `facet`.
338
335
  */
339
336
  runOnce<T>(params: OneShotParams, consume: (response: Response) => Promise<T>): Promise<T> {
340
- return runOneShotWorker(
341
- this.ctx,
342
- this.env,
337
+ return processes(this.ctx, this.env).run(
343
338
  { doId: this.coordDoId, pid: params.pid, writerId: params.writerId },
344
339
  params,
345
340
  consume,
@@ -386,7 +381,7 @@ class PeerProcessHost implements ProcessHost {
386
381
  } catch (error) {
387
382
  this.tokensInUse.delete(params.pid);
388
383
  // Awaited, not fired off: a spawn that rejects must mean nothing was
389
- // left running, which is what a throw from `openResidentFacet` means on
384
+ // left running, which is what a throw from `processes().spawn` means on
390
385
  // the other substrate.
391
386
  try { await this._cancel(params.workerKey, placement.peerName); }
392
387
  finally { disposeRpcResource(placement.stub); }