@reventlessdev/reventless-postgres 3.0.0-alpha.124 → 3.0.0-alpha.125

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.125 (2026-09-09)
+
+### Bug Fixes
+
+* **postgres:** a forward page reached by a cursor has one behind it ([7eda0c8](https://github.com/ReventlessDev/reventless-core/commit/7eda0c892529242b7e5f0c12d5f5928c64e706ca))
+
+
 # 3.0.0-alpha.124 (2026-09-08)
 
 **Note:** Version bump only for package @reventlessdev/reventless-postgres

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1788869313185)
-#Done(1788869318964)
+#Start(1788992674550)
+#Done(1788992682364)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "af2af60a0fa33b8249a96ff2758f36482843126dc4e07b9302842d011e0ad8c6",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1788869318970"
+  "generated_at": "1788992682372"
 }

package/lib/bs/src/DcbEventLogStorage_Postgres_Ops.res

@@ -143,7 +143,7 @@ let buildReadWhere = (
 // Strip the zero-padding a cursor carries for string-sortability, leaving a
 // plain decimal both `::xid8` and `::bigint` parse unambiguously ("0" if empty).
 let stripZeros = (s: string): string => {
-  let t = s->String.replaceRegExp(%re("/^0+/"), "")
+  let t = s->String.replaceRegExp(/^0+/, "")
   t == "" ? "0" : t
 }
 
@@ -222,49 +222,45 @@ let makeOps = (
     }
   }
 
-  let append = async (
-    newEvents: array<DcbEventLog_Adapter.rawStoredEvent>,
-    ~condition=?,
-  ): result<DcbTag.sequencePosition, ReventlessInfra.DcbEventLog.appendError> => {
+  let append = async (newEvents: array<DcbEventLog_Adapter.rawStoredEvent>, ~condition=?): result<
+    DcbTag.sequencePosition,
+    ReventlessInfra.DcbEventLog.appendError,
+  > => {
     let eventsJson = JSON.Array(
-      newEvents->Array.map(ev =>
-        JSON.Object(
+      newEvents->Array.map(ev => JSON.Object(
+        Dict.fromArray([
+          ("event_type", JSON.Encode.string(ev.eventType)),
+          (
+            "tags",
+            JSON.Array(ev.tags->Array.map(t => JSON.Encode.string(t.key ++ "=" ++ t.value))),
+          ),
+          ("data", ev.data),
+          ("meta", ev.meta->Reventless.Util_Sury.toJson(Reventless.Message.metaSchema)),
+        ]),
+      )),
+    )
+    let conditionParam = switch condition {
+    | Some(cond: DcbTag.appendCondition) =>
+      let queryJson = JSON.Array(
+        cond.query->Array.map(clause => JSON.Object(
           Dict.fromArray([
-            ("event_type", JSON.Encode.string(ev.eventType)),
+            (
+              "eventTypes",
+              switch clause.eventTypes {
+              | Some(types) => JSON.Array(types->Array.map(JSON.Encode.string))
+              | None => JSON.Encode.null
+              },
+            ),
             (
               "tags",
-              JSON.Array(ev.tags->Array.map(t => JSON.Encode.string(t.key ++ "=" ++ t.value))),
+              switch clause.tags {
+              | Some(tags) =>
+                JSON.Array(tags->Array.map(t => JSON.Encode.string(t.key ++ "=" ++ t.value)))
+              | None => JSON.Encode.null
+              },
             ),
-            ("data", ev.data),
-            ("meta", ev.meta->Reventless.Util_Sury.toJson(Reventless.Message.metaSchema)),
           ]),
-        )
-      ),
-    )
-    let conditionParam = switch condition {
-    | Some(cond: DcbTag.appendCondition) =>
-      let queryJson = JSON.Array(
-        cond.query->Array.map(clause =>
-          JSON.Object(
-            Dict.fromArray([
-              (
-                "eventTypes",
-                switch clause.eventTypes {
-                | Some(types) => JSON.Array(types->Array.map(JSON.Encode.string))
-                | None => JSON.Encode.null
-                },
-              ),
-              (
-                "tags",
-                switch clause.tags {
-                | Some(tags) =>
-                  JSON.Array(tags->Array.map(t => JSON.Encode.string(t.key ++ "=" ++ t.value)))
-                | None => JSON.Encode.null
-                },
-              ),
-            ]),
-          )
-        ),
+        )),
       )
       let fields = [("query", queryJson)]
       switch cond.after {
@@ -306,7 +302,10 @@ let makeOps = (
         ? Error(ReventlessInfra.DcbEventLog.Conflict)
         : Error(
             ReventlessInfra.DcbEventLog.StorageFailure(
-              exn->JsExn.fromException->Option.flatMap(JsExn.message)->Option.getOr("storage error"),
+              exn
+              ->JsExn.fromException
+              ->Option.flatMap(JsExn.message)
+              ->Option.getOr("storage error"),
             ),
           )
     }
@@ -324,7 +323,9 @@ let makeOps = (
       Effect.promise(() => {
         let b = mkBuilder()
         let where = buildReadWhere(b, ~name, ~query, ~after=cursor, ~applyFence=true)
-        let sql = `SELECT ${selectColumns}, transaction_id::text AS tx_raw, position::text AS pos_raw FROM dcb_event WHERE ${where} ORDER BY transaction_id ASC, position ASC LIMIT ${Int.toString(pageSize)}`
+        let sql = `SELECT ${selectColumns}, transaction_id::text AS tx_raw, position::text AS pos_raw FROM dcb_event WHERE ${where} ORDER BY transaction_id ASC, position ASC LIMIT ${Int.toString(
+            pageSize,
+          )}`
         pool->PgDriver.query(sql, b.params)
       })->Effect.map(rows => {
         let events = rows->Array.map(rowToEvent)

package/lib/bs/src/EventLogChangeFeed.res

@@ -90,11 +90,12 @@ let readBatch = async (
     params->Array.push(JSON.Encode.string(tx))
     params->Array.push(JSON.Encode.string(pos))
     where :=
-      where.contents ++
-      " AND (transaction_id > $2::xid8 OR (transaction_id = $2::xid8 AND global_seq > $3::bigint))"
+      where.contents ++ " AND (transaction_id > $2::xid8 OR (transaction_id = $2::xid8 AND global_seq > $3::bigint))"
   | None => ()
   }
-  let sql = `SELECT ${selectColumns} FROM event_log WHERE ${where.contents} ORDER BY transaction_id ASC, global_seq ASC LIMIT ${Int.toString(limit)}`
+  let sql = `SELECT ${selectColumns} FROM event_log WHERE ${where.contents} ORDER BY transaction_id ASC, global_seq ASC LIMIT ${Int.toString(
+      limit,
+    )}`
   let rows = await pool->PgDriver.query(sql, params)
   let events = rows->Array.map(rowToEvent)
   let cursor = switch events->Array.get(events->Array.length - 1) {
@@ -166,7 +167,12 @@ let drain = async (
   let cursor = ref(await loadCheckpoint(pool, ~subscriber))
   let continue = ref(true)
   while continue.contents {
-    let {events, cursor: newCursor} = await readBatch(pool, ~logName, ~after=?cursor.contents, ~limit)
+    let {events, cursor: newCursor} = await readBatch(
+      pool,
+      ~logName,
+      ~after=?cursor.contents,
+      ~limit,
+    )
     if events->Array.length == 0 {
       continue := false
     } else {

package/lib/bs/src/EventLogStorage_Postgres_Ops.res

@@ -44,12 +44,10 @@ let isUniqueViolation = (exn: exn): bool => {
 
 // Builds the classic runtime op set bound to `pool`. Returns `(name, ops)`; the
 // deploy-time `EventLog_Adapter` wrapper lives in `EventLogStorage_Postgres`.
-let makeOps = (
-  ~pool: PgDriver.pool,
-  ~name: string,
-  ~opts as _,
-  ~onAppended=noTracking,
-): (string, EventLog_Adapter.operations) => {
+let makeOps = (~pool: PgDriver.pool, ~name: string, ~opts as _, ~onAppended=noTracking): (
+  string,
+  EventLog_Adapter.operations,
+) => {
   let appendTracked = async (~track, seqNr: int, id: string, jsons: array<JSON.t>) => {
     // Empty append is a legitimate no-op (at-least-once retries, idempotent
     // commands), NOT a conflict — return before the guarded insert whose 0-row
@@ -95,7 +93,10 @@ let makeOps = (
           ? Error(EventLog.Conflict)
           : Error(
               EventLog.StorageFailure(
-                exn->JsExn.fromException->Option.flatMap(JsExn.message)->Option.getOr("storage error"),
+                exn
+                ->JsExn.fromException
+                ->Option.flatMap(JsExn.message)
+                ->Option.getOr("storage error"),
               ),
             )
       }
@@ -106,12 +107,14 @@ let makeOps = (
     appendTracked(~track=true, seqNr, id, jsons)
 
   let replayArray = async (id: string, ~fromSeq=0): array<JSON.t> =>
-    (await pool->PgDriver.query(
-      "SELECT payload FROM event_log
+    (
+      await pool->PgDriver.query(
+        "SELECT payload FROM event_log
         WHERE log_name = $1 AND aggregate_id = $2 AND seq_nr >= $3::bigint
         ORDER BY seq_nr ASC",
-      [JSON.Encode.string(name), JSON.Encode.string(id), JSON.Encode.int(fromSeq)],
-    ))->Array.map(decodePayload)
+        [JSON.Encode.string(name), JSON.Encode.string(id), JSON.Encode.int(fromSeq)],
+      )
+    )->Array.map(decodePayload)
 
   let replay: EventLog.replay<string, JSON.t> = id => replayArray(id)
 
@@ -152,14 +155,21 @@ let makeOps = (
       Ok()
     } catch {
     | exn =>
-      Error(exn->JsExn.fromException->Option.flatMap(JsExn.message)->Option.getOr("snapshot write error"))
+      Error(
+        exn
+        ->JsExn.fromException
+        ->Option.flatMap(JsExn.message)
+        ->Option.getOr("snapshot write error"),
+      )
     }
 
   let appendStream: EventLog.appendStream<string, JSON.t> = (startingSeqNr, id, stream) =>
     stream
     ->Stream.runCollect
     ->Effect.flatMap(jsons =>
-      Effect.promise(() => appendTracked(~track=false, startingSeqNr, id, jsons))->Effect.flatMap(result =>
+      Effect.promise(() =>
+        appendTracked(~track=false, startingSeqNr, id, jsons)
+      )->Effect.flatMap(result =>
         switch result {
         | Ok() => Effect.succeed()
         | Error(EventLog.Conflict) => Effect.fail("conflict")

package/lib/bs/src/PgChangeFeed.res

@@ -49,7 +49,9 @@ let readBatch = async (
     ~after=after->Option.flatMap(Dcb.decodeCursor),
     ~applyFence=true,
   )
-  let sql = `SELECT ${Dcb.selectColumns} FROM dcb_event WHERE ${where} ORDER BY transaction_id ASC, position ASC LIMIT ${Int.toString(limit)}`
+  let sql = `SELECT ${Dcb.selectColumns} FROM dcb_event WHERE ${where} ORDER BY transaction_id ASC, position ASC LIMIT ${Int.toString(
+      limit,
+    )}`
   let rows = await pool->PgDriver.query(sql, b.params)
   let events = rows->Array.map(Dcb.rowToEvent)
   let cursor = switch events->Array.get(events->Array.length - 1) {
@@ -63,10 +65,9 @@ let readBatch = async (
 
 // The persisted checkpoint for `subscriber`, encoded as a cursor, or None if the
 // subscriber has never committed (→ replay from the beginning).
-let loadCheckpoint = async (
-  pool: PgDriver.pool,
-  ~subscriber: string,
-): option<DcbTag.sequencePosition> =>
+let loadCheckpoint = async (pool: PgDriver.pool, ~subscriber: string): option<
+  DcbTag.sequencePosition,
+> =>
   switch await pool->PgDriver.queryOne(
     "SELECT lpad(last_tx::text, 20, '0') || ':' || lpad(last_position::text, 20, '0') AS cursor
        FROM dcb_subscription WHERE subscriber = $1 AND last_position > 0",
@@ -105,8 +106,9 @@ let saveCheckpoint = async (
 // dedicated client (caller owns it — release via PgDriver.unlisten). Pair with a
 // low-frequency fallback tick in the consumer loop so a missed NOTIFY only adds
 // latency, never a permanent stall.
-let listen = (pool: PgDriver.pool, ~logName: string, ~onWake: unit => unit): promise<PgDriver.client> =>
-  pool->PgDriver.listen(~channel="dcb_" ++ logName, ~onNotify=_ => onWake())
+let listen = (pool: PgDriver.pool, ~logName: string, ~onWake: unit => unit): promise<
+  PgDriver.client,
+> => pool->PgDriver.listen(~channel="dcb_" ++ logName, ~onNotify=_ => onWake())
 
 let unlisten = (client: PgDriver.client, ~logName: string): promise<unit> =>
   client->PgDriver.unlisten(~channel="dcb_" ++ logName)
@@ -129,7 +131,12 @@ let drain = async (
   let cursor = ref(await loadCheckpoint(pool, ~subscriber))
   let continue = ref(true)
   while continue.contents {
-    let {events, cursor: newCursor} = await readBatch(pool, ~logName, ~after=?cursor.contents, ~limit)
+    let {events, cursor: newCursor} = await readBatch(
+      pool,
+      ~logName,
+      ~after=?cursor.contents,
+      ~limit,
+    )
     if events->Array.length == 0 {
       continue := false
     } else {

package/lib/bs/src/PgDriver.res

@@ -47,8 +47,7 @@ type queryResult = {rows: array<dict<JSON.t>>}
 
 let query = async (pool, sql, params) => (await _query(pool, sql, params)).rows
 
-let queryOne = async (pool, sql, params) =>
-  (await _query(pool, sql, params)).rows->Array.get(0)
+let queryOne = async (pool, sql, params) => (await _query(pool, sql, params)).rows->Array.get(0)
 
 let exec = async (pool, sql) => {
   let _ = await _queryText(pool, sql)

package/lib/bs/src/QueryDbStorage_Postgres.res

@@ -26,7 +26,11 @@ let makeStorage = (
 }
 
 // Standalone/deploy storage: inject the pool via a provider module.
-module Make = (P: {let pool: PgDriver.pool}) => {
+module Make = (
+  P: {
+    let pool: PgDriver.pool
+  },
+) => {
   type api = unit
   type role = unit
 
@@ -37,6 +41,7 @@ module Make = (P: {let pool: PgDriver.pool}) => {
     ~ttl as _=?,
     ~api as _,
     ~apiRole as _,
-    ~owner as _, ~opts as _,
+    ~owner as _,
+    ~opts as _,
   ) => makeStorage(~pool=P.pool, ~name, ~indexes, ~subIdField)
 }

package/lib/bs/src/QueryDbStorage_Postgres_Ops.res

@@ -14,14 +14,12 @@ open Reventless.ReadModel
 let tableName = (name: string): string => "qdb_" ++ name->String.replaceAll("-", "_")
 
 // Collapse anything outside [A-Za-z0-9_] to _ — predictable, injection-safe idents.
-let sanitizeIdent = (s: string): string =>
-  s->String.replaceRegExp(%re("/[^A-Za-z0-9_]/g"), "_")
+let sanitizeIdent = (s: string): string => s->String.replaceRegExp(/[^A-Za-z0-9_]/g, "_")
 
 let notExpiredClause = "(expires_at IS NULL OR expires_at > extract(epoch from now()))"
 
 // JSONB text extraction for a single top-level field.
-let jsonField = (field: string): string =>
-  `(item->>'${field->String.replaceAll("'", "''")}')`
+let jsonField = (field: string): string => `(item->>'${field->String.replaceAll("'", "''")}')`
 
 let compositeExpr = (fields: array<string>, sep: string): string => {
   let escapedSep = sep->String.replaceAll("'", "''")
@@ -120,10 +118,13 @@ let makeOperations = (
 
   let rowsFor = async (id: string): array<JSON.t> => {
     await ready()
-    (await pool->PgDriver.query(
-      `SELECT item FROM ${table} WHERE partition_key = $1 AND ${notExpiredClause} ORDER BY sub_key ASC`,
-      [JSON.Encode.string(id)],
-    ))->Array.map(decodeItem)
+
+    (
+      await pool->PgDriver.query(
+        `SELECT item FROM ${table} WHERE partition_key = $1 AND ${notExpiredClause} ORDER BY sub_key ASC`,
+        [JSON.Encode.string(id)],
+      )
+    )->Array.map(decodeItem)
   }
 
   let saveOne = async (id: string, state: JSON.t, ttl: option<int>) => {
@@ -149,11 +150,10 @@ let makeOperations = (
 
   let load: QueryDb.load<string, JSON.t> = async id => Ok(await rowsFor(id))
 
-  let loadStream: QueryDb.loadStream<string, JSON.t> =
-    id =>
-      Effect.promise(() => rowsFor(id))
-      ->Stream.fromEffect
-      ->Stream.flatMap(arr => Stream.fromIterable(arr))
+  let loadStream: QueryDb.loadStream<string, JSON.t> = id =>
+    Effect.promise(() => rowsFor(id))
+    ->Stream.fromEffect
+    ->Stream.flatMap(arr => Stream.fromIterable(arr))
 
   let save: QueryDb.save<string, JSON.t> = async (id, state, _saveMode, ttl) => {
     await saveOne(id, state, ttl)