@shware/workflow 7.0.0 → 9.0.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 (166) hide show
  1. package/README.md +125 -35
  2. package/dist/aws/engine-step.cjs +4 -1
  3. package/dist/aws/engine-step.cjs.map +1 -1
  4. package/dist/aws/engine-step.d.cts.map +1 -1
  5. package/dist/aws/engine-step.d.mts.map +1 -1
  6. package/dist/aws/engine-step.mjs +4 -1
  7. package/dist/aws/engine-step.mjs.map +1 -1
  8. package/dist/aws/index.cjs +3 -3
  9. package/dist/aws/index.cjs.map +1 -1
  10. package/dist/aws/index.mjs +3 -3
  11. package/dist/aws/index.mjs.map +1 -1
  12. package/dist/client.cjs +66 -41
  13. package/dist/client.cjs.map +1 -1
  14. package/dist/client.d.cts +72 -22
  15. package/dist/client.d.cts.map +1 -1
  16. package/dist/client.d.mts +72 -22
  17. package/dist/client.d.mts.map +1 -1
  18. package/dist/client.mjs +66 -42
  19. package/dist/client.mjs.map +1 -1
  20. package/dist/cloudflare/index.d.cts +5 -4
  21. package/dist/cloudflare/index.d.mts +5 -4
  22. package/dist/cloudflare/runner.cjs +3 -1
  23. package/dist/cloudflare/runner.cjs.map +1 -1
  24. package/dist/cloudflare/runner.d.cts.map +1 -1
  25. package/dist/cloudflare/runner.d.mts.map +1 -1
  26. package/dist/cloudflare/runner.mjs +3 -1
  27. package/dist/cloudflare/runner.mjs.map +1 -1
  28. package/dist/cloudflare/worker.cjs +12 -1
  29. package/dist/cloudflare/worker.cjs.map +1 -1
  30. package/dist/cloudflare/worker.d.cts +9 -1
  31. package/dist/cloudflare/worker.d.cts.map +1 -1
  32. package/dist/cloudflare/worker.d.mts +9 -1
  33. package/dist/cloudflare/worker.d.mts.map +1 -1
  34. package/dist/cloudflare/worker.mjs +12 -1
  35. package/dist/cloudflare/worker.mjs.map +1 -1
  36. package/dist/contract.cjs.map +1 -1
  37. package/dist/contract.d.cts +4 -4
  38. package/dist/contract.d.mts +4 -4
  39. package/dist/contract.mjs.map +1 -1
  40. package/dist/dsl/trigger.cjs +2 -1
  41. package/dist/dsl/trigger.cjs.map +1 -1
  42. package/dist/dsl/trigger.d.cts +6 -0
  43. package/dist/dsl/trigger.d.cts.map +1 -1
  44. package/dist/dsl/trigger.d.mts +6 -0
  45. package/dist/dsl/trigger.d.mts.map +1 -1
  46. package/dist/dsl/trigger.mjs +2 -1
  47. package/dist/dsl/trigger.mjs.map +1 -1
  48. package/dist/engine/condition.cjs +3 -3
  49. package/dist/engine/condition.cjs.map +1 -1
  50. package/dist/engine/condition.d.cts +3 -3
  51. package/dist/engine/condition.d.mts +3 -3
  52. package/dist/engine/condition.mjs +3 -3
  53. package/dist/engine/condition.mjs.map +1 -1
  54. package/dist/engine/interpreter.cjs +9 -5
  55. package/dist/engine/interpreter.cjs.map +1 -1
  56. package/dist/engine/interpreter.d.cts.map +1 -1
  57. package/dist/engine/interpreter.d.mts.map +1 -1
  58. package/dist/engine/interpreter.mjs +9 -5
  59. package/dist/engine/interpreter.mjs.map +1 -1
  60. package/dist/engine/ports.d.cts +2 -0
  61. package/dist/engine/ports.d.cts.map +1 -1
  62. package/dist/engine/ports.d.mts +2 -0
  63. package/dist/engine/ports.d.mts.map +1 -1
  64. package/dist/host/batch.cjs +172 -0
  65. package/dist/host/batch.cjs.map +1 -0
  66. package/dist/host/batch.d.cts +88 -0
  67. package/dist/host/batch.d.cts.map +1 -0
  68. package/dist/host/batch.d.mts +88 -0
  69. package/dist/host/batch.d.mts.map +1 -0
  70. package/dist/host/batch.mjs +163 -0
  71. package/dist/host/batch.mjs.map +1 -0
  72. package/dist/host/execute.cjs +10 -6
  73. package/dist/host/execute.cjs.map +1 -1
  74. package/dist/host/execute.mjs +10 -6
  75. package/dist/host/execute.mjs.map +1 -1
  76. package/dist/host/http.cjs +30 -89
  77. package/dist/host/http.cjs.map +1 -1
  78. package/dist/host/http.d.cts +1 -1
  79. package/dist/host/http.d.cts.map +1 -1
  80. package/dist/host/http.d.mts +1 -1
  81. package/dist/host/http.d.mts.map +1 -1
  82. package/dist/host/http.mjs +24 -83
  83. package/dist/host/http.mjs.map +1 -1
  84. package/dist/host/ingest.cjs +84 -35
  85. package/dist/host/ingest.cjs.map +1 -1
  86. package/dist/host/ingest.d.cts +29 -16
  87. package/dist/host/ingest.d.cts.map +1 -1
  88. package/dist/host/ingest.d.mts +29 -16
  89. package/dist/host/ingest.d.mts.map +1 -1
  90. package/dist/host/ingest.mjs +83 -36
  91. package/dist/host/ingest.mjs.map +1 -1
  92. package/dist/host/journey-host.cjs +6 -0
  93. package/dist/host/journey-host.cjs.map +1 -1
  94. package/dist/host/journey-host.d.cts +5 -2
  95. package/dist/host/journey-host.d.cts.map +1 -1
  96. package/dist/host/journey-host.d.mts +5 -2
  97. package/dist/host/journey-host.d.mts.map +1 -1
  98. package/dist/host/journey-host.mjs +6 -0
  99. package/dist/host/journey-host.mjs.map +1 -1
  100. package/dist/host/platform.cjs.map +1 -1
  101. package/dist/host/platform.d.cts +2 -0
  102. package/dist/host/platform.d.cts.map +1 -1
  103. package/dist/host/platform.d.mts +2 -0
  104. package/dist/host/platform.d.mts.map +1 -1
  105. package/dist/host/platform.mjs.map +1 -1
  106. package/dist/ir.cjs +2 -1
  107. package/dist/ir.cjs.map +1 -1
  108. package/dist/ir.d.cts +3 -0
  109. package/dist/ir.d.cts.map +1 -1
  110. package/dist/ir.d.mts +3 -0
  111. package/dist/ir.d.mts.map +1 -1
  112. package/dist/ir.mjs +2 -1
  113. package/dist/ir.mjs.map +1 -1
  114. package/dist/store/condition-sql.cjs +144 -0
  115. package/dist/store/condition-sql.cjs.map +1 -0
  116. package/dist/store/condition-sql.d.cts +38 -0
  117. package/dist/store/condition-sql.d.cts.map +1 -0
  118. package/dist/store/condition-sql.d.mts +38 -0
  119. package/dist/store/condition-sql.d.mts.map +1 -0
  120. package/dist/store/condition-sql.mjs +143 -0
  121. package/dist/store/condition-sql.mjs.map +1 -0
  122. package/dist/store/facts.cjs +13 -9
  123. package/dist/store/facts.cjs.map +1 -1
  124. package/dist/store/facts.d.cts +6 -2
  125. package/dist/store/facts.d.cts.map +1 -1
  126. package/dist/store/facts.d.mts +6 -2
  127. package/dist/store/facts.d.mts.map +1 -1
  128. package/dist/store/facts.mjs +13 -9
  129. package/dist/store/facts.mjs.map +1 -1
  130. package/dist/store/identity.cjs +34 -0
  131. package/dist/store/identity.cjs.map +1 -0
  132. package/dist/store/identity.d.cts +13 -0
  133. package/dist/store/identity.d.cts.map +1 -0
  134. package/dist/store/identity.d.mts +13 -0
  135. package/dist/store/identity.d.mts.map +1 -0
  136. package/dist/store/identity.mjs +30 -0
  137. package/dist/store/identity.mjs.map +1 -0
  138. package/dist/store/index.cjs +5 -0
  139. package/dist/store/index.cjs.map +1 -1
  140. package/dist/store/index.d.cts +67 -21
  141. package/dist/store/index.d.cts.map +1 -1
  142. package/dist/store/index.d.mts +67 -21
  143. package/dist/store/index.d.mts.map +1 -1
  144. package/dist/store/index.mjs +2 -1
  145. package/dist/store/index.mjs.map +1 -1
  146. package/dist/store/postgres.cjs +248 -54
  147. package/dist/store/postgres.cjs.map +1 -1
  148. package/dist/store/postgres.d.cts +25 -7
  149. package/dist/store/postgres.d.cts.map +1 -1
  150. package/dist/store/postgres.d.mts +25 -7
  151. package/dist/store/postgres.d.mts.map +1 -1
  152. package/dist/store/postgres.mjs +249 -55
  153. package/dist/store/postgres.mjs.map +1 -1
  154. package/dist/store/tables.cjs +24 -6
  155. package/dist/store/tables.cjs.map +1 -1
  156. package/dist/store/tables.d.cts +1 -0
  157. package/dist/store/tables.d.cts.map +1 -1
  158. package/dist/store/tables.d.mts +1 -0
  159. package/dist/store/tables.d.mts.map +1 -1
  160. package/dist/store/tables.mjs +24 -6
  161. package/dist/store/tables.mjs.map +1 -1
  162. package/dist/webpush.cjs.map +1 -1
  163. package/dist/webpush.d.cts +1 -1
  164. package/dist/webpush.d.mts +1 -1
  165. package/dist/webpush.mjs.map +1 -1
  166. package/package.json +1 -1
@@ -1,6 +1,7 @@
1
1
  import { BundleIR, ConditionIR, ScalarIR, WorkflowIR } from "../ir.cjs";
2
2
  import { PushDevice } from "../engine/ports.cjs";
3
3
  import { ErasureState, UserErasedError } from "./erasure.cjs";
4
+ import { instanceOwner, isVisitorSubject, visitorIdOf, visitorSubject } from "./identity.cjs";
4
5
  import { JourneyFactSource } from "./facts.cjs";
5
6
  import { SqlClientLike } from "./sql.cjs";
6
7
  import { DEFAULT_SCHEMA, TABLES, TableSpec, UniqueConstraintSpec, renderDrizzleSchema, renderPostgresDdl } from "./tables.cjs";
@@ -36,6 +37,8 @@ export interface TriggerRoute {
36
37
  where: ConditionIR | null;
37
38
  /** Profile gate, or null. */
38
39
  filter: ConditionIR | null;
40
+ /** Whether a visitor not signed in may enter. */
41
+ visitors: boolean;
39
42
  /**
40
43
  * The code version that applied these routes; absent after a hand-posted `POST /deploy`. Read
41
44
  * in the same row as the hash, so the pair is always one deploy's.
@@ -136,11 +139,22 @@ export interface ExecutionRegistry {
136
139
  export type EntryOutcome = 'entered' | 'reclaimed' | null;
137
140
  /** A device registered for pushes: its provider token belongs to the user who registered it last. */
138
141
  export interface DeviceInput {
139
- userId: string;
142
+ deviceId?: string | undefined;
143
+ /** Null until the device's visitor signs in. */
144
+ userId: string | null;
145
+ visitorId?: string | undefined;
140
146
  token: string;
141
147
  /** `ios` (APNs) or `android` (FCM): which provider the token belongs to. */
142
148
  platform: string;
143
- ts: number;
149
+ at: number;
150
+ }
151
+ /** What linking a visitor to a user did; null when it was already linked, or to another user. */
152
+ export interface VisitorMerge {
153
+ /** Instances dropped because the user is already in the same workflow: to stop. */
154
+ dropped: string[];
155
+ /** The event names and profile properties the user gained: their waits must wake. */
156
+ events: string[];
157
+ props: string[];
144
158
  }
145
159
  /** An instance of a user still in the ledger, and whether its runner was admitted (see `admitInstance`). */
146
160
  export interface RunningInstance {
@@ -327,6 +341,11 @@ export interface JourneyReporting {
327
341
  size: number;
328
342
  }[]>;
329
343
  }
344
+ /** A user the segment sweep has to evaluate, and for which segments. */
345
+ export interface SegmentCandidate {
346
+ userId: string;
347
+ segments: string[];
348
+ }
330
349
  export interface JourneyStore {
331
350
  /** Where instances stand, every copy and its engagement, segment sizes. */
332
351
  readonly reporting: JourneyReporting;
@@ -419,34 +438,61 @@ export interface JourneyStore {
419
438
  payloads: Record<string, unknown>[];
420
439
  next?: EventCursor | undefined;
421
440
  }>;
441
+ /** The user a visitor became, if they did. */
442
+ linkedUser(visitorId: string): Promise<string | undefined>;
443
+ /** The visitor was heard from: who they are now, the user they became or their own subject. */
444
+ touchVisitor(visitorId: string, at: number): Promise<string>;
445
+ /**
446
+ * Forget visitors who never signed in and were last heard from before `before`, with no journey
447
+ * running: up to `limit` of them, leaving no tombstone. Answers how many.
448
+ */
449
+ pruneVisitors(before: number, limit: number): Promise<number>;
450
+ /**
451
+ * The visitor became the user: their events, profile, devices, opt-outs and journeys move to the
452
+ * user, once. A visitor already linked keeps its first user. The user's own entry wins over the
453
+ * visitor's in the same workflow, and the visitor's instance is dropped.
454
+ */
455
+ linkVisitor(visitorId: string, userId: string, at: number): Promise<VisitorMerge | null>;
456
+ /** Who an instance's entry belongs to now. */
457
+ entryOwner(instanceId: string): Promise<string | undefined>;
422
458
  getProfile(userId: string): Promise<ProfileProps | undefined>;
423
459
  /**
424
- * Merge-patch `props` into the stored profile in one statement (a null
425
- * removes the property) and return the result. One statement, because a
426
- * read-modify-write loses one of two concurrent identifies.
460
+ * Merge-patch `props` into the stored profile (a null removes the property) and return the
461
+ * result, atomically: two concurrent identifies cannot lose each other's keys. `at` is when the
462
+ * values were read (now by default): a property written with a later `at` keeps its value, so
463
+ * a redelivered patch cannot undo a newer one.
427
464
  */
428
- mergeProfile(userId: string, props: ProfileProps): Promise<ProfileProps>;
465
+ mergeProfile(userId: string, props: ProfileProps, at?: number): Promise<ProfileProps>;
429
466
  /**
430
- * Every user the engine knows (a profile or an event): who the segment sweep evaluates. Ids
431
- * come in ascending order; `after` resumes past the last id of the previous page, and `limit`
432
- * bounds the page (the whole list without one).
467
+ * Who the segment sweep has to evaluate: for each user the engine knows (a profile, an event or
468
+ * a membership), the segments whose membership may have to change, or whose entry still owes a
469
+ * start. It may name a user whose membership turns out right, since `evaluateCondition` decides;
470
+ * it must not leave out one whose membership is wrong. Users come in ascending order; `after`
471
+ * resumes past the last id of the previous page, and users with nothing to do are left out.
433
472
  */
434
- listUserIds(page?: {
473
+ listSegmentCandidates(page: {
474
+ segments: readonly {
475
+ id: string;
476
+ condition: ConditionIR;
477
+ }[];
478
+ now: number;
435
479
  after?: string | undefined;
436
- limit?: number | undefined;
437
- }): Promise<string[]>;
438
- /** The user's push devices, most recently registered first. */
439
- listDevices(userId: string): Promise<PushDevice[]>;
480
+ limit: number;
481
+ }): Promise<SegmentCandidate[]>;
482
+ /** The push devices a user or visitor holds now, most recently registered first. */
483
+ listDevices(subject: string): Promise<PushDevice[]>;
440
484
  /**
441
- * Register a device: one row per token, so a token registered again moves to the user who
442
- * registered it last (a phone signed into another account) and to the front of their list.
485
+ * Register a device: one row per token and per device, holding only its current owner. A token
486
+ * registered again moves to whoever registered it last (a phone signed into another account) and
487
+ * to the front of their list; a device's new token replaces its old one. Answers the previous
488
+ * owners, whose device waits must wake.
443
489
  */
444
- upsertDevice(device: DeviceInput): Promise<void>;
445
- /** Forget a token (reported dead by APNs / FCM); the user it belonged to, if any. */
490
+ upsertDevice(device: DeviceInput): Promise<string[]>;
491
+ /** Forget a token (reported dead by APNs / FCM); the user or visitor it belonged to, if any. */
446
492
  removeDevice(token: string): Promise<string | undefined>;
447
493
  /**
448
- * The user signed out on the device: the token is kept, bound to nobody, until the next sign-in
449
- * binds it again. The user it belonged to, if any.
494
+ * The user signed out on the device: the token is kept, bound to nobody, until the next
495
+ * registration binds it again. Who it belonged to, if anyone.
450
496
  */
451
497
  unbindDevice(token: string): Promise<string | undefined>;
452
498
  getSegmentCondition(id: string): Promise<ConditionIR | undefined>;
@@ -520,5 +566,5 @@ export interface JourneyStore {
520
566
  /** Drop every registration the handle holds. */
521
567
  unsubscribe(handle: string): Promise<void>;
522
568
  }
523
- export { DEFAULT_SCHEMA, type ErasureState, JourneyFactSource, PostgresJourneyStore, type PostgresJourneyStoreOptions, PostgresReporting, type SqlClientLike, TABLES, type TableSpec, type UniqueConstraintSpec, UserErasedError, renderDrizzleSchema, renderPostgresDdl };
569
+ export { DEFAULT_SCHEMA, type ErasureState, JourneyFactSource, PostgresJourneyStore, type PostgresJourneyStoreOptions, PostgresReporting, type SqlClientLike, TABLES, type TableSpec, type UniqueConstraintSpec, UserErasedError, instanceOwner, isVisitorSubject, renderDrizzleSchema, renderPostgresDdl, visitorIdOf, visitorSubject };
524
570
  //# sourceMappingURL=index.d.cts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.cts","names":[],"sources":["../../src/store/index.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;YAkBY,eAAe,eAAe;iBAEzB;;EAEf;EACA;EACA;EACA;EACA,SAAS;;iBAGM;EACf;EACA;;EAEA,OAAO;;EAEP,QAAQ;;;;;EAKR;;iBAGe;EACf;EACA;EACA;;EAEA;;;;;;iBAOe;EACf;;EAEA;;iBAGe;EACf;EACA;EACA;EACA;EACA;;;;;EAKA,YAAY;;;iBAIG;;EAEf;;EAEA;;EAEA;;iBAGe,wBAAwB;EACvC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;;;;;;;iBAQe;EACf,IAAI,qBAAqB,QAAQ;;;;;EAKjC,cAAc;IACZ;IACA;IACA;IACA;MACE,QAAQ;EACZ,cAAc,oBAAoB,yBAAyB,aAAa;EACxE,eAAe,oBAAoB,aAAa;EAChD,OAAO,oBAAoB,cAAc;;EAEzC,YACE,oBACA;IAAY;IAAY;IAAoB;MAC3C;;EAEH,cAAc,oBAAoB,qBAAqB;;EAEvD,YAAY,eAAe,wBAAwB,QAAQ;EAC3D,YAAY,oBAAoB,aAAa;;EAE7C,YAAY,oBAAoB,aAAa;;;;;;;YAQnC;;iBAGK;EACf;EACA;;EAEA;EACA;;;iBAIe;EACf;;EAEA;;;iBAIe;EACf;;EAEA;;EAEA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf,OAAO;EACP,cAAc;;;;;;qBAWH,4BAA4B;WAGlB;WAFH;EAElB,YAAqB;;;iBAQN;EACf;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;EACA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf;EACA;;;iBAIe;EACf;EACA;EACA;;EAEA;IAAU;IAAkB;;;;iBAIb;EACf;EACA;;EAEA;EACA;;EAEA;EACA;EACA;;;;;;;;iBASe;EACf;EACA;;;;;;;iBAQe;EACf;EACA;;iBAGe;;EAEf,gBAAgB;IACd;IACA;IACA;IACA;MACE;EACJ,YAAY;IACV;IACA;IACA;IACA;IACA;MACE;EACJ,iBAAiB;IACf;IACA;IACA;IACA;IACA;IACA;MACE;;EAEJ,cAAc,SAAS,gBAAgB;;;;;EAKvC,eAAe,yBAAyB;EACxC,cACE,wBACA;IAAU;;IAAsB;IAAkB;KAClD,aACC;;EAEH,YAAY,mBAAmB,0BAA0B;;;;;;EAMzD,WACE,mBACA,QAAQ;IAAW;IAAgB;QAA0B,yBAC5D;;;;;;;;;EASH,YACE,mBACA,kBACA,YACA,kBACA,QAAQ,MAAM;IAAmB,YAAY;IAAY;MACxD;IAAU;IAAa,YAAY;;;;;;;;;;EAStC,kBACE,mBACA,YACA,0BACC;IAAU;IAAgB;;;EAE7B,cAAc,oBAAoB,QAAQ;;EAE1C,sBAAsB,mBAAmB,aAAa;;EAEtD,iBAAiB,aAAa;IAAU;IAAiB;;;iBAG1C;;WAEN,WAAW;;;;;;;EAQpB,eAAe,gBAAgB,aAAa;;EAE5C,mBAAmB;;;;;;;EAOnB,aAAa,iBAAiB,QAAQ;;EAEtC,iBAAiB,iBAAiB,QAAQ;;;;;;;;;;;;;;;;;EAiB1C,cAAc,oBAAoB,iBAAiB;;;;;;;;;;;EAWnD,WAAW,gBAAgB,aAAa;;;;;;EAOxC,aAAa,gBAAgB,iBAAiB,iBAAiB;;EAE/D,iBAAiB,gBAAgB,kBAAkB;;;;;;EAMnD,mBACE,gBACA,iBACA,kBAAkB,qBAClB,aACC;;;;;EAMH,eAAe;;;;;EAOf,YAAY,OAAO,aAAa;;;;;;;EAOhC,YACE,gBACA,eACA,SAAS,aACT,mBACC;;;;;;EAMH,kBACE,gBACA,eACA,QAAQ,yBACR;IAAQ;IAAe,QAAQ;MAC9B;IAAU,UAAU;IAA2B,OAAO;;EAGzD,WAAW,iBAAiB,QAAQ;;;;;;EAMpC,aAAa,gBAAgB,OAAO,eAAe,QAAQ;;;;;;EAO3D,YAAY;IAAS;IAA4B;MAA+B;;EAIhF,YAAY,iBAAiB,QAAQ;;;;;EAKrC,aAAa,QAAQ,cAAc;;EAEnC,aAAa,gBAAgB;;;;;EAK7B,aAAa,gBAAgB;EAG7B,oBAAoB,aAAa,QAAQ;;EAEzC,gBAAgB;IAAU;IAAY,WAAW;;EACjD,aAAa,gBAAgB,QAAQ;EACrC,uBAAuB,QAAQ;EAC/B,cAAc,UAAU,aAAa;EACrC,cAAc,sBAAsB,QAAQ;;;;;;;;;;;;EAY5C,cAAc,QAAQ,UAAU,UAAU,gBAAgB;;;;;;EAM1D,qBAAqB,QAAQ;;;;;;EAM7B,qBAAqB,QAAQ,UAAU,SAAS,gBAAgB;EAGhE,gBAAgB,iBAAiB,iBAAiB;;EAElD,iBACE,iBACA,gBACA,YACA,+BACC;;EAEH,qBAAqB,iBAAiB,iBAAiB;EACvD,qBAAqB,iBAAiB,gBAAgB,mBAAmB;;EAEzE,oBAAoB,iBAAiB,iBAAiB;;;;;;EAQtD,aAAa,OAAO,aAAa,QAAQ;EACzC,YAAY,qBAAqB;EACjC,eAAe,oBAAoB,iBAAiB;;EAEpD,SAAS,kBAAkB,iBAAiB,QAAQ;;;;;EAKpD,kBAAkB,uBAAuB,gBAAgB,QAAQ;;;;;EAKjE,oBAAoB,qBAAqB;;WAEhC,YAAY;;EAIrB,gBAAgB,gBAAgB,gBAAgB;;EAEhD,UAAU,gBAAgB,gBAAgB,2BAA2B,aAAa;;EAElF,YAAY,iBAAiB"}
1
+ {"version":3,"file":"index.d.cts","names":[],"sources":["../../src/store/index.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;YAkBY,eAAe,eAAe;iBAEzB;;EAEf;EACA;EACA;EACA;EACA,SAAS;;iBAGM;EACf;EACA;;EAEA,OAAO;;EAEP,QAAQ;;EAER;;;;;EAKA;;iBAGe;EACf;EACA;EACA;;EAEA;;;;;;iBAOe;EACf;;EAEA;;iBAGe;EACf;EACA;EACA;EACA;EACA;;;;;EAKA,YAAY;;;iBAIG;;EAEf;;EAEA;;EAEA;;iBAGe,wBAAwB;EACvC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;;;;;;;iBAQe;EACf,IAAI,qBAAqB,QAAQ;;;;;EAKjC,cAAc;IACZ;IACA;IACA;IACA;MACE,QAAQ;EACZ,cAAc,oBAAoB,yBAAyB,aAAa;EACxE,eAAe,oBAAoB,aAAa;EAChD,OAAO,oBAAoB,cAAc;;EAEzC,YACE,oBACA;IAAY;IAAY;IAAoB;MAC3C;;EAEH,cAAc,oBAAoB,qBAAqB;;EAEvD,YAAY,eAAe,wBAAwB,QAAQ;EAC3D,YAAY,oBAAoB,aAAa;;EAE7C,YAAY,oBAAoB,aAAa;;;;;;;YAQnC;;iBAGK;EACf;;EAEA;EACA;EACA;;EAEA;EACA;;;iBAIe;;EAEf;;EAEA;EACA;;;iBAIe;EACf;;EAEA;;;iBAIe;EACf;;EAEA;;EAEA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf,OAAO;EACP,cAAc;;;;;;qBAYH,4BAA4B;WAGlB;WAFH;EAElB,YAAqB;;;iBAQN;EACf;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;EACA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf;EACA;;;iBAIe;EACf;EACA;EACA;;EAEA;IAAU;IAAkB;;;;iBAIb;EACf;EACA;;EAEA;EACA;;EAEA;EACA;EACA;;;;;;;;iBASe;EACf;EACA;;;;;;;iBAQe;EACf;EACA;;iBAGe;;EAEf,gBAAgB;IACd;IACA;IACA;IACA;MACE;EACJ,YAAY;IACV;IACA;IACA;IACA;IACA;MACE;EACJ,iBAAiB;IACf;IACA;IACA;IACA;IACA;IACA;MACE;;EAEJ,cAAc,SAAS,gBAAgB;;;;;EAKvC,eAAe,yBAAyB;EACxC,cACE,wBACA;IAAU;;IAAsB;IAAkB;KAClD,aACC;;EAEH,YAAY,mBAAmB,0BAA0B;;;;;;EAMzD,WACE,mBACA,QAAQ;IAAW;IAAgB;QAA0B,yBAC5D;;;;;;;;;EASH,YACE,mBACA,kBACA,YACA,kBACA,QAAQ,MAAM;IAAmB,YAAY;IAAY;MACxD;IAAU;IAAa,YAAY;;;;;;;;;;EAStC,kBACE,mBACA,YACA,0BACC;IAAU;IAAgB;;;EAE7B,cAAc,oBAAoB,QAAQ;;EAE1C,sBAAsB,mBAAmB,aAAa;;EAEtD,iBAAiB,aAAa;IAAU;IAAiB;;;;iBAI1C;EACf;EACA;;iBAGe;;WAEN,WAAW;;;;;;;EAQpB,eAAe,gBAAgB,aAAa;;EAE5C,mBAAmB;;;;;;;EAOnB,aAAa,iBAAiB,QAAQ;;EAEtC,iBAAiB,iBAAiB,QAAQ;;;;;;;;;;;;;;;;;EAiB1C,cAAc,oBAAoB,iBAAiB;;;;;;;;;;;EAWnD,WAAW,gBAAgB,aAAa;;;;;;EAOxC,aAAa,gBAAgB,iBAAiB,iBAAiB;;EAE/D,iBAAiB,gBAAgB,kBAAkB;;;;;;EAMnD,mBACE,gBACA,iBACA,kBAAkB,qBAClB,aACC;;;;;EAMH,eAAe;;;;;EAOf,YAAY,OAAO,aAAa;;;;;;;EAOhC,YACE,gBACA,eACA,SAAS,aACT,mBACC;;;;;;EAMH,kBACE,gBACA,eACA,QAAQ,yBACR;IAAQ;IAAe,QAAQ;MAC9B;IAAU,UAAU;IAA2B,OAAO;;;EAIzD,WAAW,oBAAoB;;EAE/B,aAAa,mBAAmB,aAAa;;;;;EAK7C,cAAc,gBAAgB,gBAAgB;;;;;;EAM9C,YAAY,mBAAmB,gBAAgB,aAAa,QAAQ;;EAEpE,WAAW,qBAAqB;EAGhC,WAAW,iBAAiB,QAAQ;;;;;;;EAOpC,aAAa,gBAAgB,OAAO,cAAc,cAAc,QAAQ;;;;;;;;EASxE,sBAAsB;IACpB;MAAqB;MAAY,WAAW;;IAC5C;IACA;IACA;MACE,QAAQ;;EAIZ,YAAY,kBAAkB,QAAQ;;;;;;;EAOtC,aAAa,QAAQ,cAAc;;EAEnC,aAAa,gBAAgB;;;;;EAK7B,aAAa,gBAAgB;EAG7B,oBAAoB,aAAa,QAAQ;;EAEzC,gBAAgB;IAAU;IAAY,WAAW;;EACjD,aAAa,gBAAgB,QAAQ;EACrC,uBAAuB,QAAQ;EAC/B,cAAc,UAAU,aAAa;EACrC,cAAc,sBAAsB,QAAQ;;;;;;;;;;;;EAY5C,cAAc,QAAQ,UAAU,UAAU,gBAAgB;;;;;;EAM1D,qBAAqB,QAAQ;;;;;;EAM7B,qBAAqB,QAAQ,UAAU,SAAS,gBAAgB;EAGhE,gBAAgB,iBAAiB,iBAAiB;;EAElD,iBACE,iBACA,gBACA,YACA,+BACC;;EAEH,qBAAqB,iBAAiB,iBAAiB;EACvD,qBAAqB,iBAAiB,gBAAgB,mBAAmB;;EAEzE,oBAAoB,iBAAiB,iBAAiB;;;;;;EAQtD,aAAa,OAAO,aAAa,QAAQ;EACzC,YAAY,qBAAqB;EACjC,eAAe,oBAAoB,iBAAiB;;EAEpD,SAAS,kBAAkB,iBAAiB,QAAQ;;;;;EAKpD,kBAAkB,uBAAuB,gBAAgB,QAAQ;;;;;EAKjE,oBAAoB,qBAAqB;;WAEhC,YAAY;;EAIrB,gBAAgB,gBAAgB,gBAAgB;;EAEhD,UAAU,gBAAgB,gBAAgB,2BAA2B,aAAa;;EAElF,YAAY,iBAAiB"}
@@ -1,6 +1,7 @@
1
1
  import { BundleIR, ConditionIR, ScalarIR, WorkflowIR } from "../ir.mjs";
2
2
  import { PushDevice } from "../engine/ports.mjs";
3
3
  import { ErasureState, UserErasedError } from "./erasure.mjs";
4
+ import { instanceOwner, isVisitorSubject, visitorIdOf, visitorSubject } from "./identity.mjs";
4
5
  import { JourneyFactSource } from "./facts.mjs";
5
6
  import { SqlClientLike } from "./sql.mjs";
6
7
  import { DEFAULT_SCHEMA, TABLES, TableSpec, UniqueConstraintSpec, renderDrizzleSchema, renderPostgresDdl } from "./tables.mjs";
@@ -36,6 +37,8 @@ export interface TriggerRoute {
36
37
  where: ConditionIR | null;
37
38
  /** Profile gate, or null. */
38
39
  filter: ConditionIR | null;
40
+ /** Whether a visitor not signed in may enter. */
41
+ visitors: boolean;
39
42
  /**
40
43
  * The code version that applied these routes; absent after a hand-posted `POST /deploy`. Read
41
44
  * in the same row as the hash, so the pair is always one deploy's.
@@ -136,11 +139,22 @@ export interface ExecutionRegistry {
136
139
  export type EntryOutcome = 'entered' | 'reclaimed' | null;
137
140
  /** A device registered for pushes: its provider token belongs to the user who registered it last. */
138
141
  export interface DeviceInput {
139
- userId: string;
142
+ deviceId?: string | undefined;
143
+ /** Null until the device's visitor signs in. */
144
+ userId: string | null;
145
+ visitorId?: string | undefined;
140
146
  token: string;
141
147
  /** `ios` (APNs) or `android` (FCM): which provider the token belongs to. */
142
148
  platform: string;
143
- ts: number;
149
+ at: number;
150
+ }
151
+ /** What linking a visitor to a user did; null when it was already linked, or to another user. */
152
+ export interface VisitorMerge {
153
+ /** Instances dropped because the user is already in the same workflow: to stop. */
154
+ dropped: string[];
155
+ /** The event names and profile properties the user gained: their waits must wake. */
156
+ events: string[];
157
+ props: string[];
144
158
  }
145
159
  /** An instance of a user still in the ledger, and whether its runner was admitted (see `admitInstance`). */
146
160
  export interface RunningInstance {
@@ -327,6 +341,11 @@ export interface JourneyReporting {
327
341
  size: number;
328
342
  }[]>;
329
343
  }
344
+ /** A user the segment sweep has to evaluate, and for which segments. */
345
+ export interface SegmentCandidate {
346
+ userId: string;
347
+ segments: string[];
348
+ }
330
349
  export interface JourneyStore {
331
350
  /** Where instances stand, every copy and its engagement, segment sizes. */
332
351
  readonly reporting: JourneyReporting;
@@ -419,34 +438,61 @@ export interface JourneyStore {
419
438
  payloads: Record<string, unknown>[];
420
439
  next?: EventCursor | undefined;
421
440
  }>;
441
+ /** The user a visitor became, if they did. */
442
+ linkedUser(visitorId: string): Promise<string | undefined>;
443
+ /** The visitor was heard from: who they are now, the user they became or their own subject. */
444
+ touchVisitor(visitorId: string, at: number): Promise<string>;
445
+ /**
446
+ * Forget visitors who never signed in and were last heard from before `before`, with no journey
447
+ * running: up to `limit` of them, leaving no tombstone. Answers how many.
448
+ */
449
+ pruneVisitors(before: number, limit: number): Promise<number>;
450
+ /**
451
+ * The visitor became the user: their events, profile, devices, opt-outs and journeys move to the
452
+ * user, once. A visitor already linked keeps its first user. The user's own entry wins over the
453
+ * visitor's in the same workflow, and the visitor's instance is dropped.
454
+ */
455
+ linkVisitor(visitorId: string, userId: string, at: number): Promise<VisitorMerge | null>;
456
+ /** Who an instance's entry belongs to now. */
457
+ entryOwner(instanceId: string): Promise<string | undefined>;
422
458
  getProfile(userId: string): Promise<ProfileProps | undefined>;
423
459
  /**
424
- * Merge-patch `props` into the stored profile in one statement (a null
425
- * removes the property) and return the result. One statement, because a
426
- * read-modify-write loses one of two concurrent identifies.
460
+ * Merge-patch `props` into the stored profile (a null removes the property) and return the
461
+ * result, atomically: two concurrent identifies cannot lose each other's keys. `at` is when the
462
+ * values were read (now by default): a property written with a later `at` keeps its value, so
463
+ * a redelivered patch cannot undo a newer one.
427
464
  */
428
- mergeProfile(userId: string, props: ProfileProps): Promise<ProfileProps>;
465
+ mergeProfile(userId: string, props: ProfileProps, at?: number): Promise<ProfileProps>;
429
466
  /**
430
- * Every user the engine knows (a profile or an event): who the segment sweep evaluates. Ids
431
- * come in ascending order; `after` resumes past the last id of the previous page, and `limit`
432
- * bounds the page (the whole list without one).
467
+ * Who the segment sweep has to evaluate: for each user the engine knows (a profile, an event or
468
+ * a membership), the segments whose membership may have to change, or whose entry still owes a
469
+ * start. It may name a user whose membership turns out right, since `evaluateCondition` decides;
470
+ * it must not leave out one whose membership is wrong. Users come in ascending order; `after`
471
+ * resumes past the last id of the previous page, and users with nothing to do are left out.
433
472
  */
434
- listUserIds(page?: {
473
+ listSegmentCandidates(page: {
474
+ segments: readonly {
475
+ id: string;
476
+ condition: ConditionIR;
477
+ }[];
478
+ now: number;
435
479
  after?: string | undefined;
436
- limit?: number | undefined;
437
- }): Promise<string[]>;
438
- /** The user's push devices, most recently registered first. */
439
- listDevices(userId: string): Promise<PushDevice[]>;
480
+ limit: number;
481
+ }): Promise<SegmentCandidate[]>;
482
+ /** The push devices a user or visitor holds now, most recently registered first. */
483
+ listDevices(subject: string): Promise<PushDevice[]>;
440
484
  /**
441
- * Register a device: one row per token, so a token registered again moves to the user who
442
- * registered it last (a phone signed into another account) and to the front of their list.
485
+ * Register a device: one row per token and per device, holding only its current owner. A token
486
+ * registered again moves to whoever registered it last (a phone signed into another account) and
487
+ * to the front of their list; a device's new token replaces its old one. Answers the previous
488
+ * owners, whose device waits must wake.
443
489
  */
444
- upsertDevice(device: DeviceInput): Promise<void>;
445
- /** Forget a token (reported dead by APNs / FCM); the user it belonged to, if any. */
490
+ upsertDevice(device: DeviceInput): Promise<string[]>;
491
+ /** Forget a token (reported dead by APNs / FCM); the user or visitor it belonged to, if any. */
446
492
  removeDevice(token: string): Promise<string | undefined>;
447
493
  /**
448
- * The user signed out on the device: the token is kept, bound to nobody, until the next sign-in
449
- * binds it again. The user it belonged to, if any.
494
+ * The user signed out on the device: the token is kept, bound to nobody, until the next
495
+ * registration binds it again. Who it belonged to, if anyone.
450
496
  */
451
497
  unbindDevice(token: string): Promise<string | undefined>;
452
498
  getSegmentCondition(id: string): Promise<ConditionIR | undefined>;
@@ -520,5 +566,5 @@ export interface JourneyStore {
520
566
  /** Drop every registration the handle holds. */
521
567
  unsubscribe(handle: string): Promise<void>;
522
568
  }
523
- export { DEFAULT_SCHEMA, type ErasureState, JourneyFactSource, PostgresJourneyStore, type PostgresJourneyStoreOptions, PostgresReporting, type SqlClientLike, TABLES, type TableSpec, type UniqueConstraintSpec, UserErasedError, renderDrizzleSchema, renderPostgresDdl };
569
+ export { DEFAULT_SCHEMA, type ErasureState, JourneyFactSource, PostgresJourneyStore, type PostgresJourneyStoreOptions, PostgresReporting, type SqlClientLike, TABLES, type TableSpec, type UniqueConstraintSpec, UserErasedError, instanceOwner, isVisitorSubject, renderDrizzleSchema, renderPostgresDdl, visitorIdOf, visitorSubject };
524
570
  //# sourceMappingURL=index.d.mts.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.mts","names":[],"sources":["../../src/store/index.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;YAkBY,eAAe,eAAe;iBAEzB;;EAEf;EACA;EACA;EACA;EACA,SAAS;;iBAGM;EACf;EACA;;EAEA,OAAO;;EAEP,QAAQ;;;;;EAKR;;iBAGe;EACf;EACA;EACA;;EAEA;;;;;;iBAOe;EACf;;EAEA;;iBAGe;EACf;EACA;EACA;EACA;EACA;;;;;EAKA,YAAY;;;iBAIG;;EAEf;;EAEA;;EAEA;;iBAGe,wBAAwB;EACvC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;;;;;;;iBAQe;EACf,IAAI,qBAAqB,QAAQ;;;;;EAKjC,cAAc;IACZ;IACA;IACA;IACA;MACE,QAAQ;EACZ,cAAc,oBAAoB,yBAAyB,aAAa;EACxE,eAAe,oBAAoB,aAAa;EAChD,OAAO,oBAAoB,cAAc;;EAEzC,YACE,oBACA;IAAY;IAAY;IAAoB;MAC3C;;EAEH,cAAc,oBAAoB,qBAAqB;;EAEvD,YAAY,eAAe,wBAAwB,QAAQ;EAC3D,YAAY,oBAAoB,aAAa;;EAE7C,YAAY,oBAAoB,aAAa;;;;;;;YAQnC;;iBAGK;EACf;EACA;;EAEA;EACA;;;iBAIe;EACf;;EAEA;;;iBAIe;EACf;;EAEA;;EAEA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf,OAAO;EACP,cAAc;;;;;;qBAWH,4BAA4B;WAGlB;WAFH;EAElB,YAAqB;;;iBAQN;EACf;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;EACA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf;EACA;;;iBAIe;EACf;EACA;EACA;;EAEA;IAAU;IAAkB;;;;iBAIb;EACf;EACA;;EAEA;EACA;;EAEA;EACA;EACA;;;;;;;;iBASe;EACf;EACA;;;;;;;iBAQe;EACf;EACA;;iBAGe;;EAEf,gBAAgB;IACd;IACA;IACA;IACA;MACE;EACJ,YAAY;IACV;IACA;IACA;IACA;IACA;MACE;EACJ,iBAAiB;IACf;IACA;IACA;IACA;IACA;IACA;MACE;;EAEJ,cAAc,SAAS,gBAAgB;;;;;EAKvC,eAAe,yBAAyB;EACxC,cACE,wBACA;IAAU;;IAAsB;IAAkB;KAClD,aACC;;EAEH,YAAY,mBAAmB,0BAA0B;;;;;;EAMzD,WACE,mBACA,QAAQ;IAAW;IAAgB;QAA0B,yBAC5D;;;;;;;;;EASH,YACE,mBACA,kBACA,YACA,kBACA,QAAQ,MAAM;IAAmB,YAAY;IAAY;MACxD;IAAU;IAAa,YAAY;;;;;;;;;;EAStC,kBACE,mBACA,YACA,0BACC;IAAU;IAAgB;;;EAE7B,cAAc,oBAAoB,QAAQ;;EAE1C,sBAAsB,mBAAmB,aAAa;;EAEtD,iBAAiB,aAAa;IAAU;IAAiB;;;iBAG1C;;WAEN,WAAW;;;;;;;EAQpB,eAAe,gBAAgB,aAAa;;EAE5C,mBAAmB;;;;;;;EAOnB,aAAa,iBAAiB,QAAQ;;EAEtC,iBAAiB,iBAAiB,QAAQ;;;;;;;;;;;;;;;;;EAiB1C,cAAc,oBAAoB,iBAAiB;;;;;;;;;;;EAWnD,WAAW,gBAAgB,aAAa;;;;;;EAOxC,aAAa,gBAAgB,iBAAiB,iBAAiB;;EAE/D,iBAAiB,gBAAgB,kBAAkB;;;;;;EAMnD,mBACE,gBACA,iBACA,kBAAkB,qBAClB,aACC;;;;;EAMH,eAAe;;;;;EAOf,YAAY,OAAO,aAAa;;;;;;;EAOhC,YACE,gBACA,eACA,SAAS,aACT,mBACC;;;;;;EAMH,kBACE,gBACA,eACA,QAAQ,yBACR;IAAQ;IAAe,QAAQ;MAC9B;IAAU,UAAU;IAA2B,OAAO;;EAGzD,WAAW,iBAAiB,QAAQ;;;;;;EAMpC,aAAa,gBAAgB,OAAO,eAAe,QAAQ;;;;;;EAO3D,YAAY;IAAS;IAA4B;MAA+B;;EAIhF,YAAY,iBAAiB,QAAQ;;;;;EAKrC,aAAa,QAAQ,cAAc;;EAEnC,aAAa,gBAAgB;;;;;EAK7B,aAAa,gBAAgB;EAG7B,oBAAoB,aAAa,QAAQ;;EAEzC,gBAAgB;IAAU;IAAY,WAAW;;EACjD,aAAa,gBAAgB,QAAQ;EACrC,uBAAuB,QAAQ;EAC/B,cAAc,UAAU,aAAa;EACrC,cAAc,sBAAsB,QAAQ;;;;;;;;;;;;EAY5C,cAAc,QAAQ,UAAU,UAAU,gBAAgB;;;;;;EAM1D,qBAAqB,QAAQ;;;;;;EAM7B,qBAAqB,QAAQ,UAAU,SAAS,gBAAgB;EAGhE,gBAAgB,iBAAiB,iBAAiB;;EAElD,iBACE,iBACA,gBACA,YACA,+BACC;;EAEH,qBAAqB,iBAAiB,iBAAiB;EACvD,qBAAqB,iBAAiB,gBAAgB,mBAAmB;;EAEzE,oBAAoB,iBAAiB,iBAAiB;;;;;;EAQtD,aAAa,OAAO,aAAa,QAAQ;EACzC,YAAY,qBAAqB;EACjC,eAAe,oBAAoB,iBAAiB;;EAEpD,SAAS,kBAAkB,iBAAiB,QAAQ;;;;;EAKpD,kBAAkB,uBAAuB,gBAAgB,QAAQ;;;;;EAKjE,oBAAoB,qBAAqB;;WAEhC,YAAY;;EAIrB,gBAAgB,gBAAgB,gBAAgB;;EAEhD,UAAU,gBAAgB,gBAAgB,2BAA2B,aAAa;;EAElF,YAAY,iBAAiB"}
1
+ {"version":3,"file":"index.d.mts","names":[],"sources":["../../src/store/index.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;YAkBY,eAAe,eAAe;iBAEzB;;EAEf;EACA;EACA;EACA;EACA,SAAS;;iBAGM;EACf;EACA;;EAEA,OAAO;;EAEP,QAAQ;;EAER;;;;;EAKA;;iBAGe;EACf;EACA;EACA;;EAEA;;;;;;iBAOe;EACf;;EAEA;;iBAGe;EACf;EACA;EACA;EACA;EACA;;;;;EAKA,YAAY;;;iBAIG;;EAEf;;EAEA;;EAEA;;iBAGe,wBAAwB;EACvC;EACA;EACA;EACA;EACA;EACA;EACA;EACA;;EAEA;EACA;EACA;EACA;;;;;;;iBAQe;EACf,IAAI,qBAAqB,QAAQ;;;;;EAKjC,cAAc;IACZ;IACA;IACA;IACA;MACE,QAAQ;EACZ,cAAc,oBAAoB,yBAAyB,aAAa;EACxE,eAAe,oBAAoB,aAAa;EAChD,OAAO,oBAAoB,cAAc;;EAEzC,YACE,oBACA;IAAY;IAAY;IAAoB;MAC3C;;EAEH,cAAc,oBAAoB,qBAAqB;;EAEvD,YAAY,eAAe,wBAAwB,QAAQ;EAC3D,YAAY,oBAAoB,aAAa;;EAE7C,YAAY,oBAAoB,aAAa;;;;;;;YAQnC;;iBAGK;EACf;;EAEA;EACA;EACA;;EAEA;EACA;;;iBAIe;;EAEf;;EAEA;EACA;;;iBAIe;EACf;;EAEA;;;iBAIe;EACf;;EAEA;;EAEA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf,OAAO;EACP,cAAc;;;;;;qBAYH,4BAA4B;WAGlB;WAFH;EAElB,YAAqB;;;iBAQN;EACf;EACA;EACA;EACA;EACA;;EAEA;EACA;;EAEA;EACA;;;iBAIe;EACf;EACA;EACA;;;iBAIe;EACf;EACA;;;iBAIe;EACf;EACA;EACA;;EAEA;IAAU;IAAkB;;;;iBAIb;EACf;EACA;;EAEA;EACA;;EAEA;EACA;EACA;;;;;;;;iBASe;EACf;EACA;;;;;;;iBAQe;EACf;EACA;;iBAGe;;EAEf,gBAAgB;IACd;IACA;IACA;IACA;MACE;EACJ,YAAY;IACV;IACA;IACA;IACA;IACA;MACE;EACJ,iBAAiB;IACf;IACA;IACA;IACA;IACA;IACA;MACE;;EAEJ,cAAc,SAAS,gBAAgB;;;;;EAKvC,eAAe,yBAAyB;EACxC,cACE,wBACA;IAAU;;IAAsB;IAAkB;KAClD,aACC;;EAEH,YAAY,mBAAmB,0BAA0B;;;;;;EAMzD,WACE,mBACA,QAAQ;IAAW;IAAgB;QAA0B,yBAC5D;;;;;;;;;EASH,YACE,mBACA,kBACA,YACA,kBACA,QAAQ,MAAM;IAAmB,YAAY;IAAY;MACxD;IAAU;IAAa,YAAY;;;;;;;;;;EAStC,kBACE,mBACA,YACA,0BACC;IAAU;IAAgB;;;EAE7B,cAAc,oBAAoB,QAAQ;;EAE1C,sBAAsB,mBAAmB,aAAa;;EAEtD,iBAAiB,aAAa;IAAU;IAAiB;;;;iBAI1C;EACf;EACA;;iBAGe;;WAEN,WAAW;;;;;;;EAQpB,eAAe,gBAAgB,aAAa;;EAE5C,mBAAmB;;;;;;;EAOnB,aAAa,iBAAiB,QAAQ;;EAEtC,iBAAiB,iBAAiB,QAAQ;;;;;;;;;;;;;;;;;EAiB1C,cAAc,oBAAoB,iBAAiB;;;;;;;;;;;EAWnD,WAAW,gBAAgB,aAAa;;;;;;EAOxC,aAAa,gBAAgB,iBAAiB,iBAAiB;;EAE/D,iBAAiB,gBAAgB,kBAAkB;;;;;;EAMnD,mBACE,gBACA,iBACA,kBAAkB,qBAClB,aACC;;;;;EAMH,eAAe;;;;;EAOf,YAAY,OAAO,aAAa;;;;;;;EAOhC,YACE,gBACA,eACA,SAAS,aACT,mBACC;;;;;;EAMH,kBACE,gBACA,eACA,QAAQ,yBACR;IAAQ;IAAe,QAAQ;MAC9B;IAAU,UAAU;IAA2B,OAAO;;;EAIzD,WAAW,oBAAoB;;EAE/B,aAAa,mBAAmB,aAAa;;;;;EAK7C,cAAc,gBAAgB,gBAAgB;;;;;;EAM9C,YAAY,mBAAmB,gBAAgB,aAAa,QAAQ;;EAEpE,WAAW,qBAAqB;EAGhC,WAAW,iBAAiB,QAAQ;;;;;;;EAOpC,aAAa,gBAAgB,OAAO,cAAc,cAAc,QAAQ;;;;;;;;EASxE,sBAAsB;IACpB;MAAqB;MAAY,WAAW;;IAC5C;IACA;IACA;MACE,QAAQ;;EAIZ,YAAY,kBAAkB,QAAQ;;;;;;;EAOtC,aAAa,QAAQ,cAAc;;EAEnC,aAAa,gBAAgB;;;;;EAK7B,aAAa,gBAAgB;EAG7B,oBAAoB,aAAa,QAAQ;;EAEzC,gBAAgB;IAAU;IAAY,WAAW;;EACjD,aAAa,gBAAgB,QAAQ;EACrC,uBAAuB,QAAQ;EAC/B,cAAc,UAAU,aAAa;EACrC,cAAc,sBAAsB,QAAQ;;;;;;;;;;;;EAY5C,cAAc,QAAQ,UAAU,UAAU,gBAAgB;;;;;;EAM1D,qBAAqB,QAAQ;;;;;;EAM7B,qBAAqB,QAAQ,UAAU,SAAS,gBAAgB;EAGhE,gBAAgB,iBAAiB,iBAAiB;;EAElD,iBACE,iBACA,gBACA,YACA,+BACC;;EAEH,qBAAqB,iBAAiB,iBAAiB;EACvD,qBAAqB,iBAAiB,gBAAgB,mBAAmB;;EAEzE,oBAAoB,iBAAiB,iBAAiB;;;;;;EAQtD,aAAa,OAAO,aAAa,QAAQ;EACzC,YAAY,qBAAqB;EACjC,eAAe,oBAAoB,iBAAiB;;EAEpD,SAAS,kBAAkB,iBAAiB,QAAQ;;;;;EAKpD,kBAAkB,uBAAuB,gBAAgB,QAAQ;;;;;EAKjE,oBAAoB,qBAAqB;;WAEhC,YAAY;;EAIrB,gBAAgB,gBAAgB,gBAAgB;;EAEhD,UAAU,gBAAgB,gBAAgB,2BAA2B,aAAa;;EAElF,YAAY,iBAAiB"}
@@ -1,5 +1,6 @@
1
1
  import { JourneyFactSource } from "./facts.mjs";
2
2
  import { UserErasedError } from "./erasure.mjs";
3
+ import { instanceOwner, isVisitorSubject, visitorIdOf, visitorSubject } from "./identity.mjs";
3
4
  import { PostgresReporting } from "./postgres-reporting.mjs";
4
5
  import { DEFAULT_SCHEMA, TABLES, renderDrizzleSchema, renderPostgresDdl } from "./tables.mjs";
5
6
  import { PostgresJourneyStore } from "./postgres.mjs";
@@ -16,6 +17,6 @@ var SchemaMismatchError = class extends Error {
16
17
  this.problems = problems;
17
18
  }
18
19
  };
19
- export { DEFAULT_SCHEMA, JourneyFactSource, PostgresJourneyStore, PostgresReporting, SchemaMismatchError, TABLES, UserErasedError, renderDrizzleSchema, renderPostgresDdl };
20
+ export { DEFAULT_SCHEMA, JourneyFactSource, PostgresJourneyStore, PostgresReporting, SchemaMismatchError, TABLES, UserErasedError, instanceOwner, isVisitorSubject, renderDrizzleSchema, renderPostgresDdl, visitorIdOf, visitorSubject };
20
21
 
21
22
  //# sourceMappingURL=index.mjs.map
@@ -1 +1 @@
1
- {"version":3,"file":"index.mjs","names":[],"sources":["../../src/store/index.ts"],"sourcesContent":["import type { PushDevice } from '../engine/ports';\nimport type { BundleIR, ConditionIR, ScalarIR, WorkflowIR } from '../ir';\n\n/**\n * The journey engine's data plane. Postgres is the store (`PostgresJourneyStore`); this\n * interface is the port the host, the runner and the fact source use to persist or look\n * anything up, and what a test stub implements in its place. Execution (durable steps,\n * sleeps, wake-ups) is the workflow runtime's job and stays out of here.\n *\n * Timestamps are epoch milliseconds throughout; a store may persist them in\n * its native type as long as `sinceMs` comparisons behave.\n */\n\n/**\n * A profile patch or a stored profile. On the way in, `null` means \"remove\n * this property\" (RFC 7386 merge-patch, the only way the API has to unset\n * one); a stored profile never contains null.\n */\nexport type ProfileProps = Record<string, ScalarIR | null | undefined>;\n\nexport interface EventInput {\n /** The occurrence's identity, chosen by the sender; a second insert with the same id is a no-op. */\n id: string;\n userId: string;\n event: string;\n ts: number;\n payload: Record<string, unknown>;\n}\n\nexport interface TriggerRoute {\n workflow: string;\n hash: string;\n /** Payload gate (payload-only condition tree), or null when the trigger has none. */\n where: ConditionIR | null;\n /** Profile gate, or null. */\n filter: ConditionIR | null;\n /**\n * The code version that applied these routes; absent after a hand-posted `POST /deploy`. Read\n * in the same row as the hash, so the pair is always one deploy's.\n */\n version?: string | undefined;\n}\n\nexport interface SegmentTriggerRoute {\n workflow: string;\n hash: string;\n segment: string;\n /** As `TriggerRoute.version`. */\n version?: string | undefined;\n}\n\n/**\n * A Worker version, as Cloudflare's version metadata binding names it: the bundle compiled into\n * that version goes live only over an older one (`replaceRoutesIfNewer`).\n */\nexport interface BundleVersion {\n id: string;\n /** When the version was created (epoch ms): later versions are newer. */\n createdAt: number;\n}\n\nexport interface EntryInput {\n workflow: string;\n userId: string;\n instanceId: string;\n hash: string;\n ts: number;\n /**\n * The instance's start, recorded in the same transaction as the entry — for a runtime whose\n * start is an asynchronous submit (AWS) that may have to be retried.\n */\n execution?: ExecutionStart | undefined;\n}\n\n/** How an instance is started on a runtime that submits it: replayed as is on every retry. */\nexport interface ExecutionStart {\n /** The runtime's idempotency key (the durable execution name). */\n name: string;\n /** What is invoked: a qualified function ARN, its version included. */\n target: string;\n /** The exact payload: a retried submit must send the same bytes, or the runtime refuses it. */\n input: string;\n}\n\nexport interface ExecutionRecord extends ExecutionStart {\n instanceId: string;\n workflow: string;\n userId: string;\n createdAt: number;\n submittedAt?: number | undefined;\n arn?: string | undefined;\n unresolvedAt?: number | undefined;\n callbackId?: string | undefined;\n /** Bumped by every wait the instance arms: a wake or a cleanup of an older one leaves it alone. */\n generation: number;\n deadlineAt?: number | undefined;\n checkedAt?: number | undefined;\n stoppedAt?: number | undefined;\n}\n\n/**\n * What a runtime that submits its starts and parks waits on one-shot callbacks (AWS) keeps\n * beside the entry ledger. The runtime holds the execution history; this holds only the\n * mapping from the engine's instance id to it.\n */\nexport interface ExecutionRegistry {\n get(instanceId: string): Promise<ExecutionRecord | undefined>;\n /**\n * Starts not yet confirmed and not given up on, oldest first: of one (workflow, user) entry\n * still running, or every one created before `createdBefore`.\n */\n pendingStarts(filter: {\n workflow?: string;\n userId?: string;\n createdBefore?: number;\n limit: number;\n }): Promise<ExecutionRecord[]>;\n markSubmitted(instanceId: string, arn: string | undefined, at: number): Promise<void>;\n markUnresolved(instanceId: string, at: number): Promise<void>;\n setArn(instanceId: string, arn: string): Promise<void>;\n /** Record the callback a wait parks on; false when a newer generation is already armed. */\n armCallback(\n instanceId: string,\n callback: { id: string; generation: number; deadlineAt?: number | undefined }\n ): Promise<boolean>;\n /** Forget the callback — only if it is still that generation's. */\n clearCallback(instanceId: string, generation: number): Promise<void>;\n /** Submitted executions whose entry is still running, least recently checked first. */\n toReconcile(limit: number, checkedBefore: number): Promise<ExecutionRecord[]>;\n markChecked(instanceId: string, at: number): Promise<void>;\n /** Record the first stop; a later one keeps it. */\n markStopped(instanceId: string, at: number): Promise<void>;\n}\n\n/**\n * How an entry attempt ended: a fresh row, a 'failed' row of a dead instance\n * taken over (the once policy does not bar a user over one outage), or\n * refused because the pair already entered and is still alive.\n */\nexport type EntryOutcome = 'entered' | 'reclaimed' | null;\n\n/** A device registered for pushes: its provider token belongs to the user who registered it last. */\nexport interface DeviceInput {\n userId: string;\n token: string;\n /** `ios` (APNs) or `android` (FCM): which provider the token belongs to. */\n platform: string;\n ts: number;\n}\n\n/** An instance of a user still in the ledger, and whether its runner was admitted (see `admitInstance`). */\nexport interface RunningInstance {\n instanceId: string;\n /** False until the runner admitted itself: nothing has run, and the tombstone keeps it that way. */\n admitted: boolean;\n}\n\n/** One (workflow, user) entry: the attempt it records and how far that attempt got. */\nexport interface EntryState {\n instanceId: string;\n /** 'running' until the run finalizes it ('completed', 'goal', 'failed', …). */\n status: string;\n /** The runner admitted itself (`admitInstance`): the instance did reach the runtime. */\n admitted: boolean;\n}\n\n/** An entry still waiting for its first admission (`unadmittedEntries`). */\nexport interface UnadmittedEntry {\n instanceId: string;\n workflow: string;\n userId: string;\n}\n\n/** A store plus how to release what opening it acquired (a connection, say). */\nexport interface StoreLease {\n store: JourneyStore;\n close?: () => Promise<void>;\n}\n\nimport type { ErasureState } from './erasure';\n\nexport { type ErasureState, UserErasedError } from './erasure';\n\n/**\n * The live database lacks tables or columns the engine reads (an SDK upgrade added them, or the\n * host never ran the migration). Raised before a deploy writes anything.\n */\nexport class SchemaMismatchError extends Error {\n override readonly name = 'SchemaMismatchError';\n\n constructor(readonly problems: readonly string[]) {\n super(\n `the database does not match @shware/workflow's tables — regenerate the drizzle schema (workflow-ui generate) and run your migrations:\\n ${problems.join('\\n ')}`\n );\n }\n}\n\n/** A message copy as reporting records it, before it goes out. */\nexport interface MessageRecord {\n idempotencyKey: string;\n workflow: string;\n instanceId: string;\n nodeId: string;\n template: string;\n /** Where the copy lands: `email`, `push_ios`, `push_android`. */\n channel: string;\n userId: string;\n /** An email's subscription topic; null for a transactional email and for every other channel. */\n topic: string | null;\n sentAt: number;\n}\n\n/** What is known of a copy without its engagement: whose it is, where it went, its topic. */\nexport interface MessageSummary {\n userId: string;\n channel: string;\n topic: string | null;\n}\n\n/** One opt-out to set or clear: a topic of the channel, or the whole channel (`topic: null`). */\nexport interface SuppressionChange {\n topic: string | null;\n suppressed: boolean;\n}\n\n/** What a click is judged by. */\nexport interface ClickContext {\n url: string;\n deliveredAt: number;\n linkCount: number;\n /** The copy's clicks in the window before this one. */\n recent: { position: number; at: number }[];\n}\n\n/** An open or a click, with the verdict on who made it and where it came from. */\nexport interface Engagement {\n at: number;\n machine: boolean;\n /** The rule that called it a machine; null for a person. */\n reason: string | null;\n userAgent: string | null;\n /** The network the request came from (Cloudflare's `cf.asn`, `cf.asOrganization`, `cf.country`), never the address. */\n asn: number | null;\n organization: string | null;\n country: string | null;\n}\n\n/**\n * Journey reporting: where each instance stands, every copy and how it was engaged with, segment\n * sizes. The store exposes it as `reporting`; the host records it and serves email tracking.\n * Every write is idempotent — a retried step reports again.\n */\n/** Bounds on when an event happened, both inclusive (epoch ms); an absent side is open. */\nexport interface EventWindow {\n sinceMs?: number;\n untilMs?: number;\n}\n\n/**\n * Where a page of events ended: the last row's timestamp and id, the keyset `(ts, id)` the next\n * page starts after. Opaque to callers; `ts` is the store's own rendering of the timestamp, so a\n * round trip loses no precision.\n */\nexport interface EventCursor {\n ts: string;\n id: string;\n}\n\nexport interface JourneyReporting {\n /** The instance entered: its row exists from here, so one a guard ends at once still counts. */\n instanceStarted(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n at: number;\n }): Promise<void>;\n nodeReached(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n nodeId: string;\n at: number;\n }): Promise<void>;\n instanceFinished(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n status: string;\n at: number;\n convertedAt?: number;\n }): Promise<void>;\n /** The copy's row id; the row a retry already wrote, when there is one. */\n recordMessage(message: MessageRecord): Promise<string>;\n /**\n * Whether the copy was settled (`settleMessage`: delivered, or settled undelivered) — read from\n * the database itself, so a replayed send step never trusts a cache that missed the settle.\n */\n messageSettled(idempotencyKey: string): Promise<boolean>;\n settleMessage(\n idempotencyKey: string,\n result: { delivered: true } | { delivered: false; reason: string },\n at: number\n ): Promise<void>;\n /** An email's tracked links, in document order. */\n recordLinks(messageId: string, urls: readonly string[]): Promise<void>;\n /**\n * Record an open of the copy, judged by `judge` against the copy (its recipient and when it was\n * delivered — when it was sent, before the transport answered); `undefined` from the judge\n * records nothing. Read and written in one transaction. False for an unknown copy.\n */\n recordOpen(\n messageId: string,\n judge: (message: { userId: string; deliveredAt: number }) => Engagement | undefined\n ): Promise<boolean>;\n /**\n * Record a click on the copy's link at `position`, judged by `judge` against the link, how\n * many links the copy has and its clicks of the last `windowMs`. The copy is locked for the\n * transaction, so clicks arriving together (a scanner following every link at once) are\n * judged one after another, each seeing the ones before. When the judge asks to `backdate`,\n * the window's earlier clicks are reclassified with this one's verdict. A click implies an\n * open. Undefined for an unknown link.\n */\n recordClick(\n messageId: string,\n position: number,\n at: number,\n windowMs: number,\n judge: (link: ClickContext) => { engagement: Engagement; backdate: boolean }\n ): Promise<{ url: string; engagement: Engagement } | undefined>;\n /**\n * The email copy's recipient opted out: of the copy's topic, or with `scope: 'all'` of every\n * email. Recorded on the copy and as a suppression (the topic's row, or the channel-wide\n * null-topic row), in one transaction, which also yields who the recipient is and the topic —\n * so the caller acts on the unsubscribe without a second read. A transactional copy\n * (`topic: null`) has nothing to opt out of: nothing is recorded, and the answer says so.\n * Undefined for an unknown copy.\n */\n recordUnsubscribe(\n messageId: string,\n at: number,\n scope?: 'topic' | 'all'\n ): Promise<{ userId: string; topic: string | null } | undefined>;\n /** The copy's owner, channel and topic; undefined for an unknown copy. */\n lookupMessage(messageId: string): Promise<MessageSummary | undefined>;\n /** A push copy the device reported it received. False for an unknown copy. */\n recordDeviceDelivered(messageId: string, at: number): Promise<boolean>;\n /** Drop members of segments no longer deployed, then record every deployed segment's size. */\n snapshotSegments(at: number): Promise<{ segment: string; size: number }[]>;\n}\n\nexport interface JourneyStore {\n /** Where instances stand, every copy and its engagement, segment sizes. */\n readonly reporting: JourneyReporting;\n\n /**\n * Record that the user's data must go (a deleted account): the tombstone every write about\n * the user is conditional on, from here on and for good. Committed before anything is\n * stopped or erased, so an entry that got in before it is found by the erasure and none gets\n * in after it. Idempotent: a second request, or one for a user already erased, changes nothing.\n */\n requestErasure(userId: string, at: number): Promise<void>;\n /** Users whose erasure was requested and not carried out yet (`'erasing'`), oldest first. */\n pendingErasures(): Promise<string[]>;\n /**\n * Where the user stands: `'none'` (no tombstone), `'erasing'` (requested, their instances\n * being stopped, data still there) or `'erased'` (`forgetUser` went through). Both\n * tombstone states refuse every write about the user; the entry points read this for a fast\n * answer, and the store's conditional writes are the gate itself.\n */\n erasureState(userId: string): Promise<ErasureState>;\n /** The user's journey instances still running, by the entry ledger. */\n runningInstances(userId: string): Promise<RunningInstance[]>;\n /**\n * The runner's admission, before its first observable effect: records that the instance runs\n * (`admitted_at`, kept on replay) — unless the user has an erasure tombstone, in which case\n * nothing is recorded and the runner must not run. Mutually exclusive with `requestErasure`\n * and `forgetUser` for that user (Postgres: the user's advisory lock), so an erasure either\n * finds the instance admitted and stops it, or commits its tombstone first and the admission\n * is refused — never neither.\n *\n * A first admission needs the entry running. An instance already admitted is admitted again\n * whatever the entry's status — the legitimate replay of an instance whose finalisation was\n * cut short after the entry reached its terminal status, which resumes on its own checkpoint\n * and finishes what is left. Never a new attempt's way in: false for a terminal entry never\n * admitted, for an entry no longer in the ledger, for another user's entry, and for an\n * instance whose entry was reclaimed since (`enterJourney` resets the admission with the\n * instance id, so a superseded attempt cannot pass under the id it lost).\n */\n admitInstance(instanceId: string, userId: string): Promise<boolean>;\n /**\n * Erase everything kept about the user — profile, devices, events, wake subscriptions, segment\n * memberships, entries and reporting — and mark the tombstone erased (`erased_at`), which\n * stays: a write that was in flight when the data went cannot bring the user back, and the\n * same id is never reactivated by ingest — which is also why the suppressions go with the\n * rest: nothing is ever sent to the id again, so no opt-out needs keeping. Run only once no\n * instance of theirs runs any more, or one could write some of it back. Idempotent. Mutually\n * exclusive with every write about the user (the user's advisory lock), so the data is gone\n * when this returns — nothing of theirs lands afterwards.\n */\n forgetUser(userId: string, at: number): Promise<void>;\n\n /**\n * The user opted out of the channel (recorded by an unsubscribe, or set through\n * `/subscriptions`): with a `topic`, an opt-out of that topic or of the whole channel; without\n * one, only the whole channel.\n */\n isSuppressed(userId: string, channel: string, topic?: string): Promise<boolean>;\n /** Every opt-out of the user on the channel: the topics, and `null` for the whole channel. */\n listSuppressions(userId: string, channel: string): Promise<(string | null)[]>;\n /**\n * Set or clear opt-outs, all in one transaction: a suppressed change inserts the row (keeping\n * the time of one already there), an unsuppressed one deletes it. Written whatever the user's\n * erasure state — the caller refuses an erased user first — since an opt-out is never refused.\n */\n updateSuppressions(\n userId: string,\n channel: string,\n changes: readonly SuppressionChange[],\n at: number\n ): Promise<void>;\n\n /**\n * What the live database lacks against the engine's tables (read-only); a deploy refuses to\n * run while it lists anything.\n */\n checkSchema(): Promise<string[]>;\n\n /* ---------------------------------- events --------------------------------- */\n /**\n * Append the occurrence; false when its id was already in the log (nothing written). Throws\n * `UserErasedError` for a user with a tombstone, like every write about a user below.\n */\n insertEvent(input: EventInput): Promise<boolean>;\n /**\n * Occurrences of `event` for the user, optionally only those within the window. With\n * `atLeast`, counting may stop there: the result is exact below it and some number ≥ it\n * otherwise — all a `performed(…, { count })` check needs, without counting a heavy user's\n * whole history.\n */\n countEvents(\n userId: string,\n event: string,\n window?: EventWindow,\n atLeast?: number\n ): Promise<number>;\n /**\n * One page of those occurrences' payloads, oldest first — the caller filters them with the\n * shared evaluator and pages on with `next` only while it still needs matches, so a `where`\n * never loads a user's whole history at once. `next` is absent on the last page.\n */\n pageEventPayloads(\n userId: string,\n event: string,\n window: EventWindow | undefined,\n page: { limit: number; after?: EventCursor | undefined }\n ): Promise<{ payloads: Record<string, unknown>[]; next?: EventCursor | undefined }>;\n\n /* --------------------------------- profiles -------------------------------- */\n getProfile(userId: string): Promise<ProfileProps | undefined>;\n /**\n * Merge-patch `props` into the stored profile in one statement (a null\n * removes the property) and return the result. One statement, because a\n * read-modify-write loses one of two concurrent identifies.\n */\n mergeProfile(userId: string, props: ProfileProps): Promise<ProfileProps>;\n\n /**\n * Every user the engine knows (a profile or an event): who the segment sweep evaluates. Ids\n * come in ascending order; `after` resumes past the last id of the previous page, and `limit`\n * bounds the page (the whole list without one).\n */\n listUserIds(page?: { after?: string | undefined; limit?: number | undefined }): Promise<string[]>;\n\n /* ---------------------------------- devices --------------------------------- */\n /** The user's push devices, most recently registered first. */\n listDevices(userId: string): Promise<PushDevice[]>;\n /**\n * Register a device: one row per token, so a token registered again moves to the user who\n * registered it last (a phone signed into another account) and to the front of their list.\n */\n upsertDevice(device: DeviceInput): Promise<void>;\n /** Forget a token (reported dead by APNs / FCM); the user it belonged to, if any. */\n removeDevice(token: string): Promise<string | undefined>;\n /**\n * The user signed out on the device: the token is kept, bound to nobody, until the next sign-in\n * binds it again. The user it belonged to, if any.\n */\n unbindDevice(token: string): Promise<string | undefined>;\n\n /* ---------------------------- deployed definitions -------------------------- */\n getSegmentCondition(id: string): Promise<ConditionIR | undefined>;\n /** Every deployed segment with its definition: what the segment sweep evaluates. */\n listSegments(): Promise<{ id: string; condition: ConditionIR }[]>;\n findTriggers(event: string): Promise<TriggerRoute[]>;\n listSegmentTriggers(): Promise<SegmentTriggerRoute[]>;\n putWorkflowIR(workflow: WorkflowIR): Promise<void>;\n getWorkflowIR(contentHash: string): Promise<WorkflowIR | undefined>;\n /**\n * Swap the routing tables (segments, event triggers, segment triggers) for\n * the bundle's — atomically, so a concurrent ingest never sees them half\n * empty. Workflow bodies are stored separately (`putWorkflowIR`) because they\n * are content-addressed and outlive the routes that point at them.\n *\n * With `version` — a forced apply of the code's own bundle (`POST /bundle/deploy`) — the\n * version is recorded too, unconditionally and in the same transaction, so the live version\n * always names the code the routes came from. Without it (a hand-posted `POST /deploy`) the\n * recorded version stays as it was: that bundle holds until a newer code version applies its own.\n */\n replaceRoutes(bundle: BundleIR, version?: BundleVersion): Promise<void>;\n /**\n * The Worker version whose bundle the routes came from, when one put them there (through\n * `replaceRoutesIfNewer`, or a forced `replaceRoutes` with a version). Read from the database\n * itself, not a cache in front of it.\n */\n liveBundleVersion(): Promise<BundleVersion | undefined>;\n /**\n * `replaceRoutes`, only when `version` is newer than the live one, recorded in the same\n * transaction: two versions serving side by side during a rollout cannot leave the older one's\n * routes in force. False, with nothing written, when a version as new or newer is live.\n */\n replaceRoutesIfNewer(bundle: BundleIR, version: BundleVersion): Promise<boolean>;\n\n /* ----------------------------- segment membership --------------------------- */\n isSegmentMember(segment: string, userId: string): Promise<boolean>;\n /** Record the membership, with the workflows its entry has to start (see segment_start). */\n addSegmentMember(\n segment: string,\n userId: string,\n ts: number,\n workflows: readonly string[]\n ): Promise<void>;\n /** The workflows the member's entry has not started yet. */\n pendingSegmentStarts(segment: string, userId: string): Promise<string[]>;\n completeSegmentStart(segment: string, userId: string, workflow: string): Promise<void>;\n /** Drop the membership and any start it still owed. */\n removeSegmentMember(segment: string, userId: string): Promise<void>;\n\n /* ------------------------------- entry ledger ------------------------------- */\n /**\n * Record the entry (the once policy). Atomic under concurrent ingests: of\n * two racing attempts exactly one is 'entered' (or 'reclaimed', when the\n * pair's previous instance is recorded as 'failed') and the other null.\n */\n enterJourney(entry: EntryInput): Promise<EntryOutcome>;\n removeEntry(instanceId: string): Promise<void>;\n setEntryStatus(instanceId: string, status: string): Promise<void>;\n /** The (workflow, user) entry as it stands, read from the database itself; undefined if none. */\n getEntry(workflow: string, userId: string): Promise<EntryState | undefined>;\n /**\n * Running entries no runner has admitted, claimed before `claimedBefore` (epoch ms), oldest\n * first: candidates for a start that was lost between the claim and the platform's create.\n */\n unadmittedEntries(claimedBefore: number, limit: number): Promise<UnadmittedEntry[]>;\n /**\n * Mark a lost start `failed`, so the pair's next trigger reclaims it. Only while the entry is\n * still running and unadmitted under this instance id; false when it moved on meanwhile.\n */\n failUnadmittedEntry(instanceId: string): Promise<boolean>;\n /** Execution starts and wake callbacks, for a runtime that submits its starts (AWS). */\n readonly executions: ExecutionRegistry;\n\n /* ------------------------------ wake subscriptions --------------------------- */\n /** Distinct wake handles registered for (user, event). */\n findWakeHandles(userId: string, event: string): Promise<string[]>;\n /** Register the handle for each event; repeated registrations are idempotent. */\n subscribe(handle: string, userId: string, events: readonly string[], ts: number): Promise<void>;\n /** Drop every registration the handle holds. */\n unsubscribe(handle: string): Promise<void>;\n}\n\nexport { JourneyFactSource } from './facts';\nexport { PostgresJourneyStore } from './postgres';\nexport { PostgresReporting } from './postgres-reporting';\nexport {\n DEFAULT_SCHEMA,\n TABLES,\n renderDrizzleSchema,\n renderPostgresDdl,\n type TableSpec,\n type UniqueConstraintSpec,\n} from './tables';\nexport type { PostgresJourneyStoreOptions, SqlClientLike } from './postgres';\n"],"mappings":";;;;;;;;;;AA2LA,IAAa,sBAAb,cAAyC,MAAM;CAGxB;CAFrB,OAAyB;CAEzB,YAAY,UAAsC;EAChD,MACE,4IAA4I,SAAS,KAAK,MAAM,GAClK;EAHmB,KAAA,WAAA;CAIrB;AACF"}
1
+ {"version":3,"file":"index.mjs","names":[],"sources":["../../src/store/index.ts"],"sourcesContent":["import type { PushDevice } from '../engine/ports';\nimport type { BundleIR, ConditionIR, ScalarIR, WorkflowIR } from '../ir';\n\n/**\n * The journey engine's data plane. Postgres is the store (`PostgresJourneyStore`); this\n * interface is the port the host, the runner and the fact source use to persist or look\n * anything up, and what a test stub implements in its place. Execution (durable steps,\n * sleeps, wake-ups) is the workflow runtime's job and stays out of here.\n *\n * Timestamps are epoch milliseconds throughout; a store may persist them in\n * its native type as long as `sinceMs` comparisons behave.\n */\n\n/**\n * A profile patch or a stored profile. On the way in, `null` means \"remove\n * this property\" (RFC 7386 merge-patch, the only way the API has to unset\n * one); a stored profile never contains null.\n */\nexport type ProfileProps = Record<string, ScalarIR | null | undefined>;\n\nexport interface EventInput {\n /** The occurrence's identity, chosen by the sender; a second insert with the same id is a no-op. */\n id: string;\n userId: string;\n event: string;\n ts: number;\n payload: Record<string, unknown>;\n}\n\nexport interface TriggerRoute {\n workflow: string;\n hash: string;\n /** Payload gate (payload-only condition tree), or null when the trigger has none. */\n where: ConditionIR | null;\n /** Profile gate, or null. */\n filter: ConditionIR | null;\n /** Whether a visitor not signed in may enter. */\n visitors: boolean;\n /**\n * The code version that applied these routes; absent after a hand-posted `POST /deploy`. Read\n * in the same row as the hash, so the pair is always one deploy's.\n */\n version?: string | undefined;\n}\n\nexport interface SegmentTriggerRoute {\n workflow: string;\n hash: string;\n segment: string;\n /** As `TriggerRoute.version`. */\n version?: string | undefined;\n}\n\n/**\n * A Worker version, as Cloudflare's version metadata binding names it: the bundle compiled into\n * that version goes live only over an older one (`replaceRoutesIfNewer`).\n */\nexport interface BundleVersion {\n id: string;\n /** When the version was created (epoch ms): later versions are newer. */\n createdAt: number;\n}\n\nexport interface EntryInput {\n workflow: string;\n userId: string;\n instanceId: string;\n hash: string;\n ts: number;\n /**\n * The instance's start, recorded in the same transaction as the entry — for a runtime whose\n * start is an asynchronous submit (AWS) that may have to be retried.\n */\n execution?: ExecutionStart | undefined;\n}\n\n/** How an instance is started on a runtime that submits it: replayed as is on every retry. */\nexport interface ExecutionStart {\n /** The runtime's idempotency key (the durable execution name). */\n name: string;\n /** What is invoked: a qualified function ARN, its version included. */\n target: string;\n /** The exact payload: a retried submit must send the same bytes, or the runtime refuses it. */\n input: string;\n}\n\nexport interface ExecutionRecord extends ExecutionStart {\n instanceId: string;\n workflow: string;\n userId: string;\n createdAt: number;\n submittedAt?: number | undefined;\n arn?: string | undefined;\n unresolvedAt?: number | undefined;\n callbackId?: string | undefined;\n /** Bumped by every wait the instance arms: a wake or a cleanup of an older one leaves it alone. */\n generation: number;\n deadlineAt?: number | undefined;\n checkedAt?: number | undefined;\n stoppedAt?: number | undefined;\n}\n\n/**\n * What a runtime that submits its starts and parks waits on one-shot callbacks (AWS) keeps\n * beside the entry ledger. The runtime holds the execution history; this holds only the\n * mapping from the engine's instance id to it.\n */\nexport interface ExecutionRegistry {\n get(instanceId: string): Promise<ExecutionRecord | undefined>;\n /**\n * Starts not yet confirmed and not given up on, oldest first: of one (workflow, user) entry\n * still running, or every one created before `createdBefore`.\n */\n pendingStarts(filter: {\n workflow?: string;\n userId?: string;\n createdBefore?: number;\n limit: number;\n }): Promise<ExecutionRecord[]>;\n markSubmitted(instanceId: string, arn: string | undefined, at: number): Promise<void>;\n markUnresolved(instanceId: string, at: number): Promise<void>;\n setArn(instanceId: string, arn: string): Promise<void>;\n /** Record the callback a wait parks on; false when a newer generation is already armed. */\n armCallback(\n instanceId: string,\n callback: { id: string; generation: number; deadlineAt?: number | undefined }\n ): Promise<boolean>;\n /** Forget the callback — only if it is still that generation's. */\n clearCallback(instanceId: string, generation: number): Promise<void>;\n /** Submitted executions whose entry is still running, least recently checked first. */\n toReconcile(limit: number, checkedBefore: number): Promise<ExecutionRecord[]>;\n markChecked(instanceId: string, at: number): Promise<void>;\n /** Record the first stop; a later one keeps it. */\n markStopped(instanceId: string, at: number): Promise<void>;\n}\n\n/**\n * How an entry attempt ended: a fresh row, a 'failed' row of a dead instance\n * taken over (the once policy does not bar a user over one outage), or\n * refused because the pair already entered and is still alive.\n */\nexport type EntryOutcome = 'entered' | 'reclaimed' | null;\n\n/** A device registered for pushes: its provider token belongs to the user who registered it last. */\nexport interface DeviceInput {\n deviceId?: string | undefined;\n /** Null until the device's visitor signs in. */\n userId: string | null;\n visitorId?: string | undefined;\n token: string;\n /** `ios` (APNs) or `android` (FCM): which provider the token belongs to. */\n platform: string;\n at: number;\n}\n\n/** What linking a visitor to a user did; null when it was already linked, or to another user. */\nexport interface VisitorMerge {\n /** Instances dropped because the user is already in the same workflow: to stop. */\n dropped: string[];\n /** The event names and profile properties the user gained: their waits must wake. */\n events: string[];\n props: string[];\n}\n\n/** An instance of a user still in the ledger, and whether its runner was admitted (see `admitInstance`). */\nexport interface RunningInstance {\n instanceId: string;\n /** False until the runner admitted itself: nothing has run, and the tombstone keeps it that way. */\n admitted: boolean;\n}\n\n/** One (workflow, user) entry: the attempt it records and how far that attempt got. */\nexport interface EntryState {\n instanceId: string;\n /** 'running' until the run finalizes it ('completed', 'goal', 'failed', …). */\n status: string;\n /** The runner admitted itself (`admitInstance`): the instance did reach the runtime. */\n admitted: boolean;\n}\n\n/** An entry still waiting for its first admission (`unadmittedEntries`). */\nexport interface UnadmittedEntry {\n instanceId: string;\n workflow: string;\n userId: string;\n}\n\n/** A store plus how to release what opening it acquired (a connection, say). */\nexport interface StoreLease {\n store: JourneyStore;\n close?: () => Promise<void>;\n}\n\nimport type { ErasureState } from './erasure';\n\nexport { type ErasureState, UserErasedError } from './erasure';\nexport { instanceOwner, isVisitorSubject, visitorIdOf, visitorSubject } from './identity';\n\n/**\n * The live database lacks tables or columns the engine reads (an SDK upgrade added them, or the\n * host never ran the migration). Raised before a deploy writes anything.\n */\nexport class SchemaMismatchError extends Error {\n override readonly name = 'SchemaMismatchError';\n\n constructor(readonly problems: readonly string[]) {\n super(\n `the database does not match @shware/workflow's tables — regenerate the drizzle schema (workflow-ui generate) and run your migrations:\\n ${problems.join('\\n ')}`\n );\n }\n}\n\n/** A message copy as reporting records it, before it goes out. */\nexport interface MessageRecord {\n idempotencyKey: string;\n workflow: string;\n instanceId: string;\n nodeId: string;\n template: string;\n /** Where the copy lands: `email`, `push_ios`, `push_android`. */\n channel: string;\n userId: string;\n /** An email's subscription topic; null for a transactional email and for every other channel. */\n topic: string | null;\n sentAt: number;\n}\n\n/** What is known of a copy without its engagement: whose it is, where it went, its topic. */\nexport interface MessageSummary {\n userId: string;\n channel: string;\n topic: string | null;\n}\n\n/** One opt-out to set or clear: a topic of the channel, or the whole channel (`topic: null`). */\nexport interface SuppressionChange {\n topic: string | null;\n suppressed: boolean;\n}\n\n/** What a click is judged by. */\nexport interface ClickContext {\n url: string;\n deliveredAt: number;\n linkCount: number;\n /** The copy's clicks in the window before this one. */\n recent: { position: number; at: number }[];\n}\n\n/** An open or a click, with the verdict on who made it and where it came from. */\nexport interface Engagement {\n at: number;\n machine: boolean;\n /** The rule that called it a machine; null for a person. */\n reason: string | null;\n userAgent: string | null;\n /** The network the request came from (Cloudflare's `cf.asn`, `cf.asOrganization`, `cf.country`), never the address. */\n asn: number | null;\n organization: string | null;\n country: string | null;\n}\n\n/**\n * Journey reporting: where each instance stands, every copy and how it was engaged with, segment\n * sizes. The store exposes it as `reporting`; the host records it and serves email tracking.\n * Every write is idempotent — a retried step reports again.\n */\n/** Bounds on when an event happened, both inclusive (epoch ms); an absent side is open. */\nexport interface EventWindow {\n sinceMs?: number;\n untilMs?: number;\n}\n\n/**\n * Where a page of events ended: the last row's timestamp and id, the keyset `(ts, id)` the next\n * page starts after. Opaque to callers; `ts` is the store's own rendering of the timestamp, so a\n * round trip loses no precision.\n */\nexport interface EventCursor {\n ts: string;\n id: string;\n}\n\nexport interface JourneyReporting {\n /** The instance entered: its row exists from here, so one a guard ends at once still counts. */\n instanceStarted(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n at: number;\n }): Promise<void>;\n nodeReached(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n nodeId: string;\n at: number;\n }): Promise<void>;\n instanceFinished(input: {\n workflow: string;\n instanceId: string;\n userId: string;\n status: string;\n at: number;\n convertedAt?: number;\n }): Promise<void>;\n /** The copy's row id; the row a retry already wrote, when there is one. */\n recordMessage(message: MessageRecord): Promise<string>;\n /**\n * Whether the copy was settled (`settleMessage`: delivered, or settled undelivered) — read from\n * the database itself, so a replayed send step never trusts a cache that missed the settle.\n */\n messageSettled(idempotencyKey: string): Promise<boolean>;\n settleMessage(\n idempotencyKey: string,\n result: { delivered: true } | { delivered: false; reason: string },\n at: number\n ): Promise<void>;\n /** An email's tracked links, in document order. */\n recordLinks(messageId: string, urls: readonly string[]): Promise<void>;\n /**\n * Record an open of the copy, judged by `judge` against the copy (its recipient and when it was\n * delivered — when it was sent, before the transport answered); `undefined` from the judge\n * records nothing. Read and written in one transaction. False for an unknown copy.\n */\n recordOpen(\n messageId: string,\n judge: (message: { userId: string; deliveredAt: number }) => Engagement | undefined\n ): Promise<boolean>;\n /**\n * Record a click on the copy's link at `position`, judged by `judge` against the link, how\n * many links the copy has and its clicks of the last `windowMs`. The copy is locked for the\n * transaction, so clicks arriving together (a scanner following every link at once) are\n * judged one after another, each seeing the ones before. When the judge asks to `backdate`,\n * the window's earlier clicks are reclassified with this one's verdict. A click implies an\n * open. Undefined for an unknown link.\n */\n recordClick(\n messageId: string,\n position: number,\n at: number,\n windowMs: number,\n judge: (link: ClickContext) => { engagement: Engagement; backdate: boolean }\n ): Promise<{ url: string; engagement: Engagement } | undefined>;\n /**\n * The email copy's recipient opted out: of the copy's topic, or with `scope: 'all'` of every\n * email. Recorded on the copy and as a suppression (the topic's row, or the channel-wide\n * null-topic row), in one transaction, which also yields who the recipient is and the topic —\n * so the caller acts on the unsubscribe without a second read. A transactional copy\n * (`topic: null`) has nothing to opt out of: nothing is recorded, and the answer says so.\n * Undefined for an unknown copy.\n */\n recordUnsubscribe(\n messageId: string,\n at: number,\n scope?: 'topic' | 'all'\n ): Promise<{ userId: string; topic: string | null } | undefined>;\n /** The copy's owner, channel and topic; undefined for an unknown copy. */\n lookupMessage(messageId: string): Promise<MessageSummary | undefined>;\n /** A push copy the device reported it received. False for an unknown copy. */\n recordDeviceDelivered(messageId: string, at: number): Promise<boolean>;\n /** Drop members of segments no longer deployed, then record every deployed segment's size. */\n snapshotSegments(at: number): Promise<{ segment: string; size: number }[]>;\n}\n\n/** A user the segment sweep has to evaluate, and for which segments. */\nexport interface SegmentCandidate {\n userId: string;\n segments: string[];\n}\n\nexport interface JourneyStore {\n /** Where instances stand, every copy and its engagement, segment sizes. */\n readonly reporting: JourneyReporting;\n\n /**\n * Record that the user's data must go (a deleted account): the tombstone every write about\n * the user is conditional on, from here on and for good. Committed before anything is\n * stopped or erased, so an entry that got in before it is found by the erasure and none gets\n * in after it. Idempotent: a second request, or one for a user already erased, changes nothing.\n */\n requestErasure(userId: string, at: number): Promise<void>;\n /** Users whose erasure was requested and not carried out yet (`'erasing'`), oldest first. */\n pendingErasures(): Promise<string[]>;\n /**\n * Where the user stands: `'none'` (no tombstone), `'erasing'` (requested, their instances\n * being stopped, data still there) or `'erased'` (`forgetUser` went through). Both\n * tombstone states refuse every write about the user; the entry points read this for a fast\n * answer, and the store's conditional writes are the gate itself.\n */\n erasureState(userId: string): Promise<ErasureState>;\n /** The user's journey instances still running, by the entry ledger. */\n runningInstances(userId: string): Promise<RunningInstance[]>;\n /**\n * The runner's admission, before its first observable effect: records that the instance runs\n * (`admitted_at`, kept on replay) — unless the user has an erasure tombstone, in which case\n * nothing is recorded and the runner must not run. Mutually exclusive with `requestErasure`\n * and `forgetUser` for that user (Postgres: the user's advisory lock), so an erasure either\n * finds the instance admitted and stops it, or commits its tombstone first and the admission\n * is refused — never neither.\n *\n * A first admission needs the entry running. An instance already admitted is admitted again\n * whatever the entry's status — the legitimate replay of an instance whose finalisation was\n * cut short after the entry reached its terminal status, which resumes on its own checkpoint\n * and finishes what is left. Never a new attempt's way in: false for a terminal entry never\n * admitted, for an entry no longer in the ledger, for another user's entry, and for an\n * instance whose entry was reclaimed since (`enterJourney` resets the admission with the\n * instance id, so a superseded attempt cannot pass under the id it lost).\n */\n admitInstance(instanceId: string, userId: string): Promise<boolean>;\n /**\n * Erase everything kept about the user — profile, devices, events, wake subscriptions, segment\n * memberships, entries and reporting — and mark the tombstone erased (`erased_at`), which\n * stays: a write that was in flight when the data went cannot bring the user back, and the\n * same id is never reactivated by ingest — which is also why the suppressions go with the\n * rest: nothing is ever sent to the id again, so no opt-out needs keeping. Run only once no\n * instance of theirs runs any more, or one could write some of it back. Idempotent. Mutually\n * exclusive with every write about the user (the user's advisory lock), so the data is gone\n * when this returns — nothing of theirs lands afterwards.\n */\n forgetUser(userId: string, at: number): Promise<void>;\n\n /**\n * The user opted out of the channel (recorded by an unsubscribe, or set through\n * `/subscriptions`): with a `topic`, an opt-out of that topic or of the whole channel; without\n * one, only the whole channel.\n */\n isSuppressed(userId: string, channel: string, topic?: string): Promise<boolean>;\n /** Every opt-out of the user on the channel: the topics, and `null` for the whole channel. */\n listSuppressions(userId: string, channel: string): Promise<(string | null)[]>;\n /**\n * Set or clear opt-outs, all in one transaction: a suppressed change inserts the row (keeping\n * the time of one already there), an unsuppressed one deletes it. Written whatever the user's\n * erasure state — the caller refuses an erased user first — since an opt-out is never refused.\n */\n updateSuppressions(\n userId: string,\n channel: string,\n changes: readonly SuppressionChange[],\n at: number\n ): Promise<void>;\n\n /**\n * What the live database lacks against the engine's tables (read-only); a deploy refuses to\n * run while it lists anything.\n */\n checkSchema(): Promise<string[]>;\n\n /* ---------------------------------- events --------------------------------- */\n /**\n * Append the occurrence; false when its id was already in the log (nothing written). Throws\n * `UserErasedError` for a user with a tombstone, like every write about a user below.\n */\n insertEvent(input: EventInput): Promise<boolean>;\n /**\n * Occurrences of `event` for the user, optionally only those within the window. With\n * `atLeast`, counting may stop there: the result is exact below it and some number ≥ it\n * otherwise — all a `performed(…, { count })` check needs, without counting a heavy user's\n * whole history.\n */\n countEvents(\n userId: string,\n event: string,\n window?: EventWindow,\n atLeast?: number\n ): Promise<number>;\n /**\n * One page of those occurrences' payloads, oldest first — the caller filters them with the\n * shared evaluator and pages on with `next` only while it still needs matches, so a `where`\n * never loads a user's whole history at once. `next` is absent on the last page.\n */\n pageEventPayloads(\n userId: string,\n event: string,\n window: EventWindow | undefined,\n page: { limit: number; after?: EventCursor | undefined }\n ): Promise<{ payloads: Record<string, unknown>[]; next?: EventCursor | undefined }>;\n\n /* -------------------------------- visitors --------------------------------- */\n /** The user a visitor became, if they did. */\n linkedUser(visitorId: string): Promise<string | undefined>;\n /** The visitor was heard from: who they are now, the user they became or their own subject. */\n touchVisitor(visitorId: string, at: number): Promise<string>;\n /**\n * Forget visitors who never signed in and were last heard from before `before`, with no journey\n * running: up to `limit` of them, leaving no tombstone. Answers how many.\n */\n pruneVisitors(before: number, limit: number): Promise<number>;\n /**\n * The visitor became the user: their events, profile, devices, opt-outs and journeys move to the\n * user, once. A visitor already linked keeps its first user. The user's own entry wins over the\n * visitor's in the same workflow, and the visitor's instance is dropped.\n */\n linkVisitor(visitorId: string, userId: string, at: number): Promise<VisitorMerge | null>;\n /** Who an instance's entry belongs to now. */\n entryOwner(instanceId: string): Promise<string | undefined>;\n\n /* --------------------------------- profiles -------------------------------- */\n getProfile(userId: string): Promise<ProfileProps | undefined>;\n /**\n * Merge-patch `props` into the stored profile (a null removes the property) and return the\n * result, atomically: two concurrent identifies cannot lose each other's keys. `at` is when the\n * values were read (now by default): a property written with a later `at` keeps its value, so\n * a redelivered patch cannot undo a newer one.\n */\n mergeProfile(userId: string, props: ProfileProps, at?: number): Promise<ProfileProps>;\n\n /**\n * Who the segment sweep has to evaluate: for each user the engine knows (a profile, an event or\n * a membership), the segments whose membership may have to change, or whose entry still owes a\n * start. It may name a user whose membership turns out right, since `evaluateCondition` decides;\n * it must not leave out one whose membership is wrong. Users come in ascending order; `after`\n * resumes past the last id of the previous page, and users with nothing to do are left out.\n */\n listSegmentCandidates(page: {\n segments: readonly { id: string; condition: ConditionIR }[];\n now: number;\n after?: string | undefined;\n limit: number;\n }): Promise<SegmentCandidate[]>;\n\n /* ---------------------------------- devices --------------------------------- */\n /** The push devices a user or visitor holds now, most recently registered first. */\n listDevices(subject: string): Promise<PushDevice[]>;\n /**\n * Register a device: one row per token and per device, holding only its current owner. A token\n * registered again moves to whoever registered it last (a phone signed into another account) and\n * to the front of their list; a device's new token replaces its old one. Answers the previous\n * owners, whose device waits must wake.\n */\n upsertDevice(device: DeviceInput): Promise<string[]>;\n /** Forget a token (reported dead by APNs / FCM); the user or visitor it belonged to, if any. */\n removeDevice(token: string): Promise<string | undefined>;\n /**\n * The user signed out on the device: the token is kept, bound to nobody, until the next\n * registration binds it again. Who it belonged to, if anyone.\n */\n unbindDevice(token: string): Promise<string | undefined>;\n\n /* ---------------------------- deployed definitions -------------------------- */\n getSegmentCondition(id: string): Promise<ConditionIR | undefined>;\n /** Every deployed segment with its definition: what the segment sweep evaluates. */\n listSegments(): Promise<{ id: string; condition: ConditionIR }[]>;\n findTriggers(event: string): Promise<TriggerRoute[]>;\n listSegmentTriggers(): Promise<SegmentTriggerRoute[]>;\n putWorkflowIR(workflow: WorkflowIR): Promise<void>;\n getWorkflowIR(contentHash: string): Promise<WorkflowIR | undefined>;\n /**\n * Swap the routing tables (segments, event triggers, segment triggers) for\n * the bundle's — atomically, so a concurrent ingest never sees them half\n * empty. Workflow bodies are stored separately (`putWorkflowIR`) because they\n * are content-addressed and outlive the routes that point at them.\n *\n * With `version` — a forced apply of the code's own bundle (`POST /bundle/deploy`) — the\n * version is recorded too, unconditionally and in the same transaction, so the live version\n * always names the code the routes came from. Without it (a hand-posted `POST /deploy`) the\n * recorded version stays as it was: that bundle holds until a newer code version applies its own.\n */\n replaceRoutes(bundle: BundleIR, version?: BundleVersion): Promise<void>;\n /**\n * The Worker version whose bundle the routes came from, when one put them there (through\n * `replaceRoutesIfNewer`, or a forced `replaceRoutes` with a version). Read from the database\n * itself, not a cache in front of it.\n */\n liveBundleVersion(): Promise<BundleVersion | undefined>;\n /**\n * `replaceRoutes`, only when `version` is newer than the live one, recorded in the same\n * transaction: two versions serving side by side during a rollout cannot leave the older one's\n * routes in force. False, with nothing written, when a version as new or newer is live.\n */\n replaceRoutesIfNewer(bundle: BundleIR, version: BundleVersion): Promise<boolean>;\n\n /* ----------------------------- segment membership --------------------------- */\n isSegmentMember(segment: string, userId: string): Promise<boolean>;\n /** Record the membership, with the workflows its entry has to start (see segment_start). */\n addSegmentMember(\n segment: string,\n userId: string,\n ts: number,\n workflows: readonly string[]\n ): Promise<void>;\n /** The workflows the member's entry has not started yet. */\n pendingSegmentStarts(segment: string, userId: string): Promise<string[]>;\n completeSegmentStart(segment: string, userId: string, workflow: string): Promise<void>;\n /** Drop the membership and any start it still owed. */\n removeSegmentMember(segment: string, userId: string): Promise<void>;\n\n /* ------------------------------- entry ledger ------------------------------- */\n /**\n * Record the entry (the once policy). Atomic under concurrent ingests: of\n * two racing attempts exactly one is 'entered' (or 'reclaimed', when the\n * pair's previous instance is recorded as 'failed') and the other null.\n */\n enterJourney(entry: EntryInput): Promise<EntryOutcome>;\n removeEntry(instanceId: string): Promise<void>;\n setEntryStatus(instanceId: string, status: string): Promise<void>;\n /** The (workflow, user) entry as it stands, read from the database itself; undefined if none. */\n getEntry(workflow: string, userId: string): Promise<EntryState | undefined>;\n /**\n * Running entries no runner has admitted, claimed before `claimedBefore` (epoch ms), oldest\n * first: candidates for a start that was lost between the claim and the platform's create.\n */\n unadmittedEntries(claimedBefore: number, limit: number): Promise<UnadmittedEntry[]>;\n /**\n * Mark a lost start `failed`, so the pair's next trigger reclaims it. Only while the entry is\n * still running and unadmitted under this instance id; false when it moved on meanwhile.\n */\n failUnadmittedEntry(instanceId: string): Promise<boolean>;\n /** Execution starts and wake callbacks, for a runtime that submits its starts (AWS). */\n readonly executions: ExecutionRegistry;\n\n /* ------------------------------ wake subscriptions --------------------------- */\n /** Distinct wake handles registered for (user, event). */\n findWakeHandles(userId: string, event: string): Promise<string[]>;\n /** Register the handle for each event; repeated registrations are idempotent. */\n subscribe(handle: string, userId: string, events: readonly string[], ts: number): Promise<void>;\n /** Drop every registration the handle holds. */\n unsubscribe(handle: string): Promise<void>;\n}\n\nexport { JourneyFactSource } from './facts';\nexport { PostgresJourneyStore } from './postgres';\nexport { PostgresReporting } from './postgres-reporting';\nexport {\n DEFAULT_SCHEMA,\n TABLES,\n renderDrizzleSchema,\n renderPostgresDdl,\n type TableSpec,\n type UniqueConstraintSpec,\n} from './tables';\nexport type { PostgresJourneyStoreOptions, SqlClientLike } from './postgres';\n"],"mappings":";;;;;;;;;;;AA0MA,IAAa,sBAAb,cAAyC,MAAM;CAGxB;CAFrB,OAAyB;CAEzB,YAAY,UAAsC;EAChD,MACE,4IAA4I,SAAS,KAAK,MAAM,GAClK;EAHmB,KAAA,WAAA;CAIrB;AACF"}