okengine 0.6.1 → 0.8.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 (167) hide show
  1. package/AGENTS.md +2 -2
  2. package/README.md +73 -181
  3. package/package.json +3 -3
  4. package/site/content/docs/console/clock.mdx +25 -5
  5. package/site/content/docs/console/signals.mdx +13 -4
  6. package/site/content/docs/elements/ai.mdx +29 -2
  7. package/site/content/docs/elements/channel.mdx +42 -25
  8. package/site/content/docs/elements/clock.mdx +59 -25
  9. package/site/content/docs/elements/flow.mdx +8 -2
  10. package/site/content/docs/elements/gate.mdx +8 -1
  11. package/site/content/docs/elements/signal.mdx +173 -29
  12. package/site/content/docs/elements/store.mdx +595 -73
  13. package/site/content/docs/elements/vault.mdx +15 -5
  14. package/site/content/docs/get-started/basic-usage.mdx +13 -6
  15. package/site/content/docs/get-started/installation.mdx +52 -14
  16. package/site/content/docs/get-started/introduction.mdx +1 -1
  17. package/site/content/docs/plugins/magic-link.mdx +42 -0
  18. package/site/content/docs/plugins/phone-number.mdx +78 -17
  19. package/site/content/docs/plugins/two-factor.mdx +1 -0
  20. package/site/content/docs/reference/cli.md +32 -2
  21. package/site/content/docs/reference/configuration.mdx +15 -13
  22. package/site/content/docs/reference/environment-variables.mdx +32 -18
  23. package/site/content/docs/reference/errors.mdx +12 -11
  24. package/site/content/docs/reference/fx.mdx +15 -13
  25. package/site/content/docs/reference/security.md +3 -1
  26. package/src/cli/ai-setup/ai-setup.test.ts +144 -0
  27. package/src/cli/ai-setup/apply.ts +214 -0
  28. package/src/cli/ai-setup/catalog.ts +263 -0
  29. package/src/cli/ai-setup/detect-ollama.ts +166 -0
  30. package/src/cli/ai-setup/index.ts +228 -0
  31. package/src/cli/ai-setup/prompts.ts +649 -0
  32. package/src/cli/ai-setup/recommend.test.ts +100 -0
  33. package/src/cli/ai-setup/recommend.ts +203 -0
  34. package/src/cli/ai.ts +38 -0
  35. package/src/cli/db-auto-push.test.ts +6 -1
  36. package/src/cli/db-auto-push.ts +8 -3
  37. package/src/cli/db-seed.ts +359 -0
  38. package/src/cli/db.test.ts +341 -3
  39. package/src/cli/db.ts +75 -8
  40. package/src/cli/dev-db-push.test.ts +59 -0
  41. package/src/cli/dev.test.ts +40 -0
  42. package/src/cli/dev.ts +55 -1
  43. package/src/cli/docker-clean.test.ts +179 -0
  44. package/src/cli/docker-clean.ts +406 -0
  45. package/src/cli/docker.ts +16 -4
  46. package/src/cli/ensure-drizzle-config.ts +1 -1
  47. package/src/cli/hero-meta.test.ts +6 -5
  48. package/src/cli/hero-meta.ts +7 -1
  49. package/src/cli/index.ts +5 -0
  50. package/src/cli/load-config.images.test.ts +22 -0
  51. package/src/cli/load-config.ts +7 -2
  52. package/src/cli/openbao-bootstrap.test.ts +1 -0
  53. package/src/cli/openbao-bootstrap.ts +9 -2
  54. package/src/cli/registry.ts +116 -2
  55. package/src/client/live-gap.test.ts +35 -0
  56. package/src/client/transport.test.ts +21 -0
  57. package/src/client/transport.ts +27 -5
  58. package/src/compiler/effects-infer.ts +1 -0
  59. package/src/compiler/fixtures/skyport/oke.config.ts +1 -1
  60. package/src/config/define-config.test.ts +6 -6
  61. package/src/config/index.ts +5 -1
  62. package/src/console/server/console.test.ts +45 -0
  63. package/src/console/server/flows.ts +39 -9
  64. package/src/console/server/i18n.ts +41 -0
  65. package/src/console/server/vault.ts +12 -38
  66. package/src/console/ui/dist/assets/index-ClX0ZCe5.js +10 -0
  67. package/src/console/ui/dist/assets/{panel-access-BGv45snf.js → panel-access-ri1X9Otj.js} +1 -1
  68. package/src/console/ui/dist/assets/{panel-ai-B2S7LEii.js → panel-ai-DLHjRoJk.js} +1 -1
  69. package/src/console/ui/dist/assets/{panel-architecture-D7UJh91v.js → panel-architecture-DI3bQF3J.js} +1 -1
  70. package/src/console/ui/dist/assets/{panel-channels-9T3ybqRu.js → panel-channels-BDYWX29p.js} +1 -1
  71. package/src/console/ui/dist/assets/{panel-clock-Cb1UXGRQ.js → panel-clock-i-JpTjVB.js} +1 -1
  72. package/src/console/ui/dist/assets/{panel-diff-DmYbKWmN.js → panel-diff-CFuWxiXy.js} +1 -1
  73. package/src/console/ui/dist/assets/{panel-flows-PiHwT55z.js → panel-flows-B8TRhcoe.js} +1 -1
  74. package/src/console/ui/dist/assets/{panel-gates-BQGYXvjT.js → panel-gates-CfkBgco7.js} +1 -1
  75. package/src/console/ui/dist/assets/{panel-overview-BBnRO18l.js → panel-overview-DONDzBd2.js} +1 -1
  76. package/src/console/ui/dist/assets/{panel-plugins-D0PsmVw2.js → panel-plugins-DDJwTehL.js} +1 -1
  77. package/src/console/ui/dist/assets/{panel-runs-CWuRDe0r.js → panel-runs-D5zf-D9c.js} +1 -1
  78. package/src/console/ui/dist/assets/{panel-signals-Bbg4ewpP.js → panel-signals-Dsxdu_AR.js} +1 -1
  79. package/src/console/ui/dist/assets/{panel-store-CPCbsDRa.js → panel-store-hy7O8HOs.js} +1 -1
  80. package/src/console/ui/dist/assets/{panel-traces-DVAzuA_S.js → panel-traces-CBiAe5go.js} +1 -1
  81. package/src/console/ui/dist/assets/{panel-vault-D1_MvOmo.js → panel-vault-Za1GyJfM.js} +1 -1
  82. package/src/console/ui/dist/index.html +1 -1
  83. package/src/console/ui/shell/components/ui.tsx +5 -1
  84. package/src/console/ui/shell/setup/Wizard.tsx +26 -5
  85. package/src/docker/cleanup.test.ts +193 -0
  86. package/src/docker/cleanup.ts +355 -0
  87. package/src/docker/docker.test.ts +4 -0
  88. package/src/docker/index.ts +19 -0
  89. package/src/docker/recipes/ollama.ts +10 -5
  90. package/src/drivers/ai-ollama.ts +45 -2
  91. package/src/drivers/ai-providers.test.ts +31 -0
  92. package/src/drivers/channel-sently.test.ts +8 -0
  93. package/src/drivers/channel-taqnyat-mail.ts +34 -0
  94. package/src/drivers/channel-types.ts +71 -0
  95. package/src/drivers/clock-postgres.test.ts +258 -0
  96. package/src/drivers/clock-postgres.ts +410 -0
  97. package/src/drivers/index.ts +21 -0
  98. package/src/drivers/journal-postgres.test.ts +175 -0
  99. package/src/drivers/journal-postgres.ts +492 -0
  100. package/src/drivers/signal-engine.ts +98 -25
  101. package/src/drivers/signal-nats.ts +4 -4
  102. package/src/drivers/signal-postgres.ts +158 -64
  103. package/src/drivers/signal-redis.ts +4 -4
  104. package/src/drivers/signal-types.ts +61 -2
  105. package/src/drivers/vault-driver-removal.test.ts +5 -1
  106. package/src/elements/channel/runtime.ts +51 -0
  107. package/src/elements/channel.test.ts +71 -0
  108. package/src/elements/clock/chaos-child.ts +389 -0
  109. package/src/elements/clock/chaos.test.ts +204 -0
  110. package/src/elements/clock/durable.ts +7 -0
  111. package/src/elements/clock/reconcile.ts +110 -0
  112. package/src/elements/clock/runtime.ts +13 -0
  113. package/src/elements/clock.test.ts +164 -2
  114. package/src/elements/clock.ts +2 -1
  115. package/src/elements/gate/runtime.ts +6 -0
  116. package/src/elements/signal/chaos-child.ts +41 -4
  117. package/src/elements/signal/declare.ts +4 -1
  118. package/src/elements/signal/delivery-modes.test.ts +179 -0
  119. package/src/elements/signal/key-ordering.test.ts +306 -0
  120. package/src/elements/signal/lease-reclaim.test.ts +123 -0
  121. package/src/elements/signal/optional-emit.test.ts +76 -0
  122. package/src/elements/signal/order-lifecycle.test.ts +130 -0
  123. package/src/elements/signal/orphan-messages.test.ts +152 -0
  124. package/src/elements/signal/runtime.ts +11 -4
  125. package/src/elements/signal/schema-emit.test.ts +107 -0
  126. package/src/elements/signal.test.ts +89 -5
  127. package/src/elements/store/files-fx.ts +104 -0
  128. package/src/elements/store/files-image.test.ts +251 -0
  129. package/src/elements/store/files-image.ts +494 -0
  130. package/src/elements/store/runtime.ts +60 -0
  131. package/src/elements/store/seed.test.ts +27 -0
  132. package/src/elements/store/seed.ts +68 -0
  133. package/src/elements/store/sql-session.test.ts +39 -0
  134. package/src/elements/store/sql-session.ts +55 -0
  135. package/src/elements/store/upsert-app.test.ts +103 -0
  136. package/src/elements/store.ts +29 -0
  137. package/src/elements/vault/boot-chain.ts +150 -0
  138. package/src/elements/vault/runtime.ts +8 -0
  139. package/src/index.ts +15 -0
  140. package/src/kernel/app.ts +168 -15
  141. package/src/kernel/boot-bind/channel.test.ts +16 -0
  142. package/src/kernel/boot-bind/channel.ts +13 -0
  143. package/src/kernel/boot-bind/clock.ts +63 -7
  144. package/src/kernel/boot-bind/gate.ts +71 -3
  145. package/src/kernel/boot-bind/honor-config.test.ts +348 -0
  146. package/src/kernel/boot-bind/journal.ts +89 -0
  147. package/src/kernel/boot-bind/signal.ts +64 -7
  148. package/src/kernel/boot-bind/vault.ts +27 -8
  149. package/src/kernel/boot.test.ts +6 -4
  150. package/src/kernel/boot.ts +63 -15
  151. package/src/kernel/concurrency.ts +1 -1
  152. package/src/kernel/errors.ts +8 -2
  153. package/src/kernel/fx.test.ts +19 -0
  154. package/src/kernel/fx.ts +153 -9
  155. package/src/kernel/index.ts +6 -0
  156. package/src/kernel/journal-boot.test.ts +397 -0
  157. package/src/kernel/journal-suspend.ts +35 -0
  158. package/src/kernel/journal.test.ts +142 -0
  159. package/src/kernel/journal.ts +202 -27
  160. package/src/plugins/auth-methods.security.test.ts +10 -7
  161. package/src/plugins/phone-number.ts +67 -10
  162. package/src/plugins/taqnyat.live.test.ts +174 -0
  163. package/src/runtime/dev-request-log.test.ts +20 -1
  164. package/src/runtime/dev-request-log.ts +38 -0
  165. package/src/term.test.ts +15 -0
  166. package/src/term.ts +8 -3
  167. package/src/console/ui/dist/assets/index-CjxwRGVv.js +0 -10
@@ -11,21 +11,25 @@ import { dirname } from "node:path";
11
11
  import type { SignalDecl } from "../elements/signal/declare.ts";
12
12
  import type { SignalDelivery } from "../manifest/types.ts";
13
13
  import { DryRunWriteIsolationError, setDryRunMessageId, withDryRun } from "../kernel/dry-run.ts";
14
- import type {
15
- DeadLetter,
16
- LiveHandler,
17
- SignalBus,
18
- SignalDiscardOptions,
19
- SignalDriverId,
20
- SignalFailureReason,
21
- SignalHandler,
22
- SignalMessage,
23
- SignalOpenOptions,
24
- SignalReplayOptions,
25
- SignalReplayResult,
26
- SignalStats,
27
- SignalTransaction,
28
- SignalUnsubscribe,
14
+ import { OkeError, OKE_ERRORS } from "../kernel/errors.ts";
15
+ import {
16
+ SIGNAL_DEFAULT_LEASE_MS,
17
+ validateSignalEmitPayload,
18
+ type DeadLetter,
19
+ type LiveHandler,
20
+ type SignalBus,
21
+ type SignalDiscardOptions,
22
+ type SignalDriverId,
23
+ type SignalEmitOptions,
24
+ type SignalFailureReason,
25
+ type SignalHandler,
26
+ type SignalMessage,
27
+ type SignalOpenOptions,
28
+ type SignalReplayOptions,
29
+ type SignalReplayResult,
30
+ type SignalStats,
31
+ type SignalTransaction,
32
+ type SignalUnsubscribe,
29
33
  } from "./signal-types.ts";
30
34
 
31
35
  /** Internal mutable message. */
@@ -33,6 +37,8 @@ interface MutMessage {
33
37
  id: string;
34
38
  signal: string;
35
39
  payload: unknown;
40
+ /** Optional per-key ordering token (`once` serialization). */
41
+ key: string | null;
36
42
  delivery: SignalDelivery;
37
43
  attempts: number;
38
44
  failures: SignalFailureReason[];
@@ -41,6 +47,8 @@ interface MutMessage {
41
47
  status: "pending" | "inflight" | "delivered" | "dead";
42
48
  /** For once: which consumer holds the claim. */
43
49
  lockedBy: string | null;
50
+ /** For once: when the claim lease expires (epoch ms); null when unlocked. */
51
+ leaseExpiresAt: number | null;
44
52
  /** For broadcast: subscriber ids that already received. */
45
53
  deliveredTo: Set<string>;
46
54
  }
@@ -48,9 +56,10 @@ interface MutMessage {
48
56
  /** Persisted snapshot for chaos recovery. */
49
57
  interface Snapshot {
50
58
  messages: Array<
51
- Omit<MutMessage, "deliveredTo" | "lockedBy"> & {
59
+ Omit<MutMessage, "deliveredTo" | "lockedBy" | "leaseExpiresAt"> & {
52
60
  deliveredTo: string[];
53
61
  lockedBy: string | null;
62
+ leaseExpiresAt: number | null;
54
63
  }
55
64
  >;
56
65
  writes: Array<[string, unknown]>;
@@ -76,6 +85,7 @@ export async function createSignalEngine(
76
85
  const now = options.now ?? (() => Date.now());
77
86
  const signals = options.signals;
78
87
  const durablePath = options.durablePath;
88
+ const leaseMs = options.leaseMs ?? SIGNAL_DEFAULT_LEASE_MS;
79
89
 
80
90
  let messages: MutMessage[] = [];
81
91
  let writes = new Map<string, unknown>();
@@ -152,7 +162,9 @@ export async function createSignalEngine(
152
162
  if (snap) {
153
163
  messages = snap.messages.map((m) => ({
154
164
  ...m,
165
+ key: m.key ?? null,
155
166
  lockedBy: m.lockedBy,
167
+ leaseExpiresAt: m.leaseExpiresAt ?? null,
156
168
  deliveredTo: new Set(m.deliveredTo),
157
169
  }));
158
170
  writes = new Map(snap.writes);
@@ -166,6 +178,7 @@ export async function createSignalEngine(
166
178
  id: m.id,
167
179
  signal: m.signal,
168
180
  payload: m.payload,
181
+ key: m.key,
169
182
  delivery: m.delivery,
170
183
  attempts: m.attempts,
171
184
  failures: m.failures,
@@ -173,6 +186,7 @@ export async function createSignalEngine(
173
186
  availableAt: m.availableAt,
174
187
  status: m.status,
175
188
  lockedBy: m.lockedBy,
189
+ leaseExpiresAt: m.leaseExpiresAt,
176
190
  deliveredTo: [...m.deliveredTo],
177
191
  })),
178
192
  writes: [...writes.entries()],
@@ -189,13 +203,38 @@ export async function createSignalEngine(
189
203
  return decl;
190
204
  }
191
205
 
192
- function stageEmit(stagedMessages: MutMessage[], name: string, payload: unknown): void {
206
+ function hasSubscriber(name: string): boolean {
207
+ if (consumers.some((c) => c.signal === name)) return true;
208
+ const live = liveHandlers.get(name);
209
+ return live !== undefined && live.size > 0;
210
+ }
211
+
212
+ function assertEmitAllowed(name: string): void {
213
+ const decl = requireDecl(name);
214
+ if (decl.optional) return;
215
+ if (hasSubscriber(name)) return;
216
+ throw new OkeError(OKE_ERRORS.ORPHAN_EMIT, {
217
+ flow: "unknown",
218
+ resource: name,
219
+ });
220
+ }
221
+
222
+ async function stageEmit(
223
+ stagedMessages: MutMessage[],
224
+ name: string,
225
+ payload: unknown,
226
+ options?: SignalEmitOptions,
227
+ ): Promise<void> {
193
228
  const decl = requireDecl(name);
229
+ assertEmitAllowed(name);
230
+ const value = await validateSignalEmitPayload(name, decl, payload);
194
231
  const t = now();
232
+ const key = typeof options?.key === "string" && options.key.length > 0 ? options.key : null;
195
233
  stagedMessages.push({
196
234
  id: crypto.randomUUID(),
197
235
  signal: name,
198
- payload: payload ?? null,
236
+ payload: value,
237
+ key,
199
238
  delivery: decl.delivery,
200
239
  attempts: 0,
201
240
  failures: [],
@@ -203,6 +242,7 @@ export async function createSignalEngine(
203
242
  availableAt: t,
204
243
  status: "pending",
205
244
  lockedBy: null,
245
+ leaseExpiresAt: null,
206
246
  deliveredTo: new Set(),
207
247
  });
208
248
  }
@@ -218,9 +258,9 @@ export async function createSignalEngine(
218
258
  if (done) throw new Error("transaction finished");
219
259
  stagedWrites.set(key, value);
220
260
  },
221
- async emit(signal, payload) {
261
+ async emit(signal, payload, options) {
222
262
  if (done) throw new Error("transaction finished");
223
- stageEmit(stagedMessages, signal, payload);
263
+ await stageEmit(stagedMessages, signal, payload, options);
224
264
  },
225
265
  async commit() {
226
266
  if (done) throw new Error("transaction finished");
@@ -240,9 +280,13 @@ export async function createSignalEngine(
240
280
  return Promise.resolve(tx);
241
281
  }
242
282
 
243
- async function emit(signal: string, payload?: unknown): Promise<void> {
283
+ async function emit(
284
+ signal: string,
285
+ payload?: unknown,
286
+ options?: SignalEmitOptions,
287
+ ): Promise<void> {
244
288
  const tx = await begin();
245
- await tx.emit(signal, payload);
289
+ await tx.emit(signal, payload, options);
246
290
  await tx.commit();
247
291
  }
248
292
 
@@ -287,6 +331,7 @@ export async function createSignalEngine(
287
331
  id: m.id,
288
332
  signal: m.signal,
289
333
  payload: m.payload,
334
+ ...(m.key !== null ? { key: m.key } : {}),
290
335
  delivery: m.delivery,
291
336
  attempts: m.attempts,
292
337
  failures: [...m.failures],
@@ -296,18 +341,40 @@ export async function createSignalEngine(
296
341
  };
297
342
  }
298
343
 
344
+ /** True when another same-(signal, key) message holds an unexpired lease. */
345
+ function keyHeldByOther(candidate: MutMessage, t: number): boolean {
346
+ if (candidate.key === null) return false;
347
+ return messages.some(
348
+ (other) =>
349
+ other !== candidate &&
350
+ other.signal === candidate.signal &&
351
+ other.key === candidate.key &&
352
+ other.status === "inflight" &&
353
+ other.leaseExpiresAt !== null &&
354
+ other.leaseExpiresAt > t,
355
+ );
356
+ }
357
+
299
358
  /**
300
- * Claim the next `once` message with SKIP LOCKED semantics.
359
+ * Claim the next `once` message with SKIP LOCKED + lazy lease reclaim.
360
+ *
361
+ * Eligible: pending/unlocked, or inflight whose `leaseExpiresAt` has passed,
362
+ * and not blocked by a same-key unexpired inflight (per-key serialization).
363
+ * No background sweeper — reclaim happens only at claim time.
301
364
  */
302
365
  function claimOnce(signal: string, consumerId: string): MutMessage | null {
303
366
  const t = now();
304
367
  for (const m of messages) {
305
368
  if (m.signal !== signal || m.delivery !== "once") continue;
306
- if (m.status !== "pending") continue;
307
369
  if (m.availableAt > t) continue;
308
- if (m.lockedBy !== null) continue;
370
+ const pendingOk = m.status === "pending" && m.lockedBy === null;
371
+ const leaseExpired =
372
+ m.status === "inflight" && m.leaseExpiresAt !== null && m.leaseExpiresAt <= t;
373
+ if (!pendingOk && !leaseExpired) continue;
374
+ if (keyHeldByOther(m, t)) continue;
309
375
  m.status = "inflight";
310
376
  m.lockedBy = consumerId;
377
+ m.leaseExpiresAt = t + leaseMs;
311
378
  m.attempts += 1;
312
379
  return m;
313
380
  }
@@ -320,10 +387,12 @@ export async function createSignalEngine(
320
387
  await consumer.handler(toPublic(m));
321
388
  m.status = "delivered";
322
389
  m.lockedBy = null;
390
+ m.leaseExpiresAt = null;
323
391
  noteDelivered();
324
392
  } catch (err) {
325
393
  m.failures.push(failureFromError(err, m.attempts));
326
394
  m.lockedBy = null;
395
+ m.leaseExpiresAt = null;
327
396
  if (m.attempts > decl.retries) {
328
397
  if (decl.deadLetter) {
329
398
  m.status = "dead";
@@ -348,6 +417,9 @@ export async function createSignalEngine(
348
417
  const m = claimOnce(consumer.signal, consumer.subscriberId);
349
418
  if (!m) continue;
350
419
  progress = true;
420
+ // Persist claim + lease before the handler runs so a crash mid-handler
421
+ // leaves a reclaimable inflight row (not a silent pending that never locked).
422
+ await persist();
351
423
  await deliverOnce(m, consumer);
352
424
  }
353
425
  return progress;
@@ -571,6 +643,7 @@ export async function createSignalEngine(
571
643
  if (!options.dryRun) {
572
644
  m.status = "pending";
573
645
  m.lockedBy = null;
646
+ m.leaseExpiresAt = null;
574
647
  m.availableAt = now();
575
648
  m.attempts = 0;
576
649
  if (m.delivery === "broadcast") {
@@ -87,8 +87,8 @@ export async function openNatsSignal(options: SignalOpenOptions): Promise<Signal
87
87
 
88
88
  return {
89
89
  driverId: "nats",
90
- async emit(signal, payload) {
91
- await outbox.emit(signal, payload);
90
+ async emit(signal, payload, options) {
91
+ await outbox.emit(signal, payload, options);
92
92
  await relayToNats(signal, payload);
93
93
  },
94
94
  async begin() {
@@ -96,9 +96,9 @@ export async function openNatsSignal(options: SignalOpenOptions): Promise<Signal
96
96
  const tx = await outbox.begin();
97
97
  return {
98
98
  write: (k, v) => tx.write(k, v),
99
- async emit(signal, payload) {
99
+ async emit(signal, payload, options) {
100
100
  staged.push({ signal, payload });
101
- await tx.emit(signal, payload);
101
+ await tx.emit(signal, payload, options);
102
102
  },
103
103
  async commit() {
104
104
  await tx.commit();