@reventlessdev/reventless-local 3.0.0-alpha.236 → 3.0.0-alpha.238

package/CHANGELOG.md

@@ -3,6 +3,20 @@
 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.238 (2026-08-23)
+
+### Bug Fixes
+
+* **querydb:** serve the previous page instead of refusing it ([48341c9](https://github.com/ReventlessDev/reventless-core/commit/48341c9f61b5155b441deeb0edc9abf461948346))
+
+
+# 3.0.0-alpha.237 (2026-08-23)
+
+### Features
+
+* **querydb:** serve owner-scoped lists from an index instead of a filtered Scan ([ad26c28](https://github.com/ReventlessDev/reventless-core/commit/ad26c284b4b0650fa3f3b6109ed33bbfe8608f6d))
+
+
 # 3.0.0-alpha.236 (2026-08-23)
 
 **Note:** Version bump only for package @reventlessdev/reventless-local

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-local",
-  "version": "3.0.0-alpha.236",
+  "version": "3.0.0-alpha.238",
   "description": "Local platform for Reventless (in-memory or SQLite backend, for development and testing without AWS)",
   "license": "Apache-2.0",
   "bin": {
@@ -35,23 +35,23 @@
     "sury": "11.0.0-rc.2",
     "ws": "^8.18.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-graphql-yoga": "1.0.0-alpha.27",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
-    "@reventlessdev/rescript-mcp-sdk": "1.0.0-alpha.21",
+    "@reventlessdev/rescript-graphql-yoga": "1.0.0-alpha.27",
     "@reventlessdev/rescript-node": "2.0.0-alpha.8",
+    "@reventlessdev/rescript-mcp-sdk": "1.0.0-alpha.21",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/reventless-graphql-server": "1.0.0-alpha.96",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.195",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.150",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.112",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.248",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.122",
-    "@reventlessdev/reventless-seed": "1.0.0-alpha.17"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.197",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.151",
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.114",
+    "@reventlessdev/reventless-seed": "1.0.0-alpha.17",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.250",
+    "@reventlessdev/reventless-graphql-server": "1.0.0-alpha.98",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.123"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.72"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.73"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/Platform.res

@@ -1427,7 +1427,9 @@ module MakeWithConfig = (
       // indexed scan is fleshed out together with that first concrete index.
       switch entry.indexQueries {
       | Some(indexes) =>
-        indexes->Array.forEach((ic: Reventless.ReadModel.indexConfig) => {
+        indexes
+        ->Array.filter(ic => !Reventless.ReadModel.isDerivedIndex(ic))
+        ->Array.forEach((ic: Reventless.ReadModel.indexConfig) => {
           let fieldName = ReventlessCore.GraphQL_FragmentGenerator.indexQueryFieldName(
             ~singleFieldName=entry.singleFieldName,
             ~index=ic.index,

package/src/Platform.res.mjs

@@ -13,6 +13,7 @@ import * as Effect from "effect/Effect";
 import * as Pulumi from "@pulumi/pulumi";
 import * as Stdlib_Promise from "@rescript/runtime/lib/es6/Stdlib_Promise.js";
 import * as Plugin$Reventless from "@reventlessdev/reventless-spec/src/components/Plugin.res.mjs";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/Util_Sury.res.mjs";
 import * as Logger$ReventlessCore from "@reventlessdev/reventless-core/src/util/Logger.res.mjs";
 import * as Plugin$ReventlessCore from "@reventlessdev/reventless-core/src/plugin/component/Plugin.res.mjs";
@@ -1206,7 +1207,7 @@ function MakeWithConfig(Config) {
       }
       let indexes = entry.indexQueries;
       if (indexes !== undefined) {
-        indexes.forEach(ic => {
+        indexes.filter(ic => !ReadModel$Reventless.isDerivedIndex(ic)).forEach(ic => {
           let fieldName = GraphQL_FragmentGenerator$ReventlessCore.indexQueryFieldName(entry.singleFieldName, ic.index);
           queryResolvers[fieldName] = async (_root, _args, _ctx) => connectionResponse([]);
         });
@@ -2932,7 +2933,7 @@ function Make($star) {
       }
       let indexes = entry.indexQueries;
       if (indexes !== undefined) {
-        indexes.forEach(ic => {
+        indexes.filter(ic => !ReadModel$Reventless.isDerivedIndex(ic)).forEach(ic => {
           let fieldName = GraphQL_FragmentGenerator$ReventlessCore.indexQueryFieldName(entry.singleFieldName, ic.index);
           queryResolvers[fieldName] = async (_root, _args, _ctx) => connectionResponse([]);
         });

package/src/adapter/QueryDb/QueryDbResolvers_GraphQL.res

@@ -792,7 +792,12 @@ module Make = (Bus: LocalBus.T) => {
     // which is also where the AppSync SDL gets them. They used to be spelled out
     // here independently and disagreed with that emitter on all three, so the
     // same door had a different signature per backend and worked on neither.
-    let indexSdlFields = indexes->Array.map((ic: Reventless.ReadModel.indexConfig) =>
+    //
+    // Derived indexes carry no door, on either backend — the same reasoning, and
+    // the same filter, as `GraphQL_FragmentGenerator`: a field emitted here and
+    // not there would make the local SDL disagree with the deployed one.
+    let doorIndexes = indexes->Array.filter(ic => !Reventless.ReadModel.isDerivedIndex(ic))
+    let indexSdlFields = doorIndexes->Array.map((ic: Reventless.ReadModel.indexConfig) =>
       GraphQL_FragmentGenerator.deriveIndexQueryField(
         ~singleFieldName=singleQueryName,
         ~indexConfig=ic,
@@ -858,7 +863,7 @@ module Make = (Bus: LocalBus.T) => {
         ),
       ])->JSON.Encode.object
     }
-    let indexResolvers: array<(string, ReventlessGraphqlServer.GraphQL_ServerInstance.resolverFn)> = indexes->Array.map(
+    let indexResolvers: array<(string, ReventlessGraphqlServer.GraphQL_ServerInstance.resolverFn)> = doorIndexes->Array.map(
       (ic: Reventless.ReadModel.indexConfig) => {
         let resolverName = GraphQL_FragmentGenerator.indexQueryFieldName(
           ~singleFieldName=singleQueryName,

package/src/adapter/QueryDb/QueryDbResolvers_GraphQL.res.mjs

@@ -10,6 +10,7 @@ import * as Stdlib_Nullable from "@rescript/runtime/lib/es6/Stdlib_Nullable.js";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as Identity$Reventless from "@reventlessdev/reventless-spec/src/types/Identity.res.mjs";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types/OwnerScope.res.mjs";
 import * as Api_Ids$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/Api_Ids.res.mjs";
 import * as Authorization$Reventless from "@reventlessdev/reventless-spec/src/types/Authorization.res.mjs";
@@ -525,7 +526,8 @@ function Make(Bus) {
     } else {
       itemsResolvers = [];
     }
-    let indexSdlFields = indexes.map(ic => GraphQL_FragmentGenerator$ReventlessCore.deriveIndexQueryField(singleQueryName, ic, returnTypeName + "Connection"));
+    let doorIndexes = indexes.filter(ic => !ReadModel$Reventless.isDerivedIndex(ic));
+    let indexSdlFields = doorIndexes.map(ic => GraphQL_FragmentGenerator$ReventlessCore.deriveIndexQueryField(singleQueryName, ic, returnTypeName + "Connection"));
     let rejectBackwardPaging = args => {
       let given = key => {
         let match = Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(args), d => d[key]);
@@ -585,7 +587,7 @@ function Make(Bus) {
         ]
       ]);
     };
-    let indexResolvers = indexes.map(ic => {
+    let indexResolvers = doorIndexes.map(ic => {
       let resolverName = GraphQL_FragmentGenerator$ReventlessCore.indexQueryFieldName(singleQueryName, ic.index);
       let filterField = GraphQL_FragmentGenerator$ReventlessCore.indexKeyField(ic);
       let resolver = async (_root, args, ctx) => {

package/src/adapter/QueryDb/QueryDbStorage_Sqlite.res

@@ -527,7 +527,15 @@ let makeStorage = (
       | Some(f) => jsonText(f)
       | None => idExpr
       }
-      switch argsDict->Dict.get("after")->Option.flatMap(JSON.Decode.string) {
+      // Empty is absent, as it is in the spec: the host shell clears the opposite
+      // cursor by setting it to "" rather than dropping it, and an empty cursor
+      // pushed into SQL bounds the read on a decoded empty string.
+      let afterCursor =
+        argsDict
+        ->Dict.get("after")
+        ->Option.flatMap(JSON.Decode.string)
+        ->Option.flatMap(c => c == "" ? None : Some(c))
+      switch afterCursor {
       | Some(c) =>
         whereParts->Array.push(`${cursorExpr} ${isDesc ? "<" : ">"} ?`)
         params->Array.push(JSON.Encode.string(QueryDbListQuery.decodeCursor(c)))
@@ -557,7 +565,10 @@ let makeStorage = (
         QueryDbListQuery.buildConnection(
           ~pageItems,
           ~hasNextPage=hasMore,
-          ~hasPreviousPage=false,
+          // Same rule the spec uses, because the parity suite compares them: a
+          // forward page reached by a cursor has one behind it. Hardcoding false
+          // made Prev disappear on exactly the pages that have a previous one.
+          ~hasPreviousPage=afterCursor->Option.isSome,
           ~cursorValueOf,
         ),
       )

package/src/adapter/QueryDb/QueryDbStorage_Sqlite.res.mjs

@@ -396,12 +396,18 @@ function makeStorage(db, bus, name, indexes, subIdField) {
     let orderByField = Stdlib_Option.flatMap(Stdlib_Option.flatMap(orderByDict, ob => ob["field"]), Stdlib_JSON.Decode.string);
     let isDesc = Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(orderByDict, ob => ob["direction"]), Stdlib_JSON.Decode.string), "ASC") === "DESC";
     let cursorExpr = orderByField !== undefined ? jsonText(orderByField) : idExpr;
-    let c = Stdlib_Option.flatMap(argsDict["after"], Stdlib_JSON.Decode.string);
-    if (c !== undefined) {
+    let afterCursor = Stdlib_Option.flatMap(Stdlib_Option.flatMap(argsDict["after"], Stdlib_JSON.Decode.string), c => {
+      if (c === "") {
+        return;
+      } else {
+        return c;
+      }
+    });
+    if (afterCursor !== undefined) {
       whereParts.push(cursorExpr + ` ` + (
         isDesc ? "<" : ">"
       ) + ` ?`);
-      params.push(QueryDbListQuery$ReventlessCore.decodeCursor(c));
+      params.push(QueryDbListQuery$ReventlessCore.decodeCursor(afterCursor));
     }
     let orderClause = orderByField !== undefined ? jsonText(orderByField) + ` ` + (
         isDesc ? "DESC" : "ASC"
@@ -413,7 +419,7 @@ function makeStorage(db, bus, name, indexes, subIdField) {
     let pageItems = rows.slice(0, pageSize);
     let cursorField = Stdlib_Option.getOr(orderByField, "id");
     let cursorValueOf = item => Stdlib_Option.getOr(QueryDbListQuery$ReventlessCore.getFieldString(item, cursorField), QueryDbListQuery$ReventlessCore.getId(item));
-    return QueryDbListQuery$ReventlessCore.buildConnection(pageItems, hasMore, false, cursorValueOf);
+    return QueryDbListQuery$ReventlessCore.buildConnection(pageItems, hasMore, Stdlib_Option.isSome(afterCursor), cursorValueOf);
   };
   bus.registerQueryDbListPage(name, listPage);
   return {

package/tests/adapter/QueryDbListResolverTest.res

@@ -291,7 +291,10 @@ describe("QueryDb list resolver — keyset pagination", () => {
     expect(edgeNodeField(backEdges->Array.getUnsafe(0), "productId"))->toBe("p-3")
     expect(edgeNodeField(backEdges->Array.getUnsafe(1), "productId"))->toBe("p-4")
     expect(pageInfoBool(backPage, "hasPreviousPage"))->toBe(true)
-    expect(pageInfoBool(backPage, "hasNextPage"))->toBe(false)
+    // A backward page was cut from ahead, so the page it came from is a next
+    // page. Reporting false here is what made Prev a one-way door: step back
+    // once and the connection claimed to have ended.
+    expect(pageInfoBool(backPage, "hasNextPage"))->toBe(true)
 
     // Walk one more step back — should land on p-1, p-2 with hasPreviousPage = false.
     let backStart = pageInfoString(backPage, "startCursor")->Option.getOr("")

package/tests/adapter/QueryDbListResolverTest.res.mjs

@@ -334,7 +334,7 @@ globalThis.describe("QueryDb list resolver — keyset pagination", () => {
     globalThis.expect(edgeNodeField(backEdges[0], "productId")).toBe("p-3");
     globalThis.expect(edgeNodeField(backEdges[1], "productId")).toBe("p-4");
     globalThis.expect(pageInfoBool(backPage, "hasPreviousPage")).toBe(true);
-    globalThis.expect(pageInfoBool(backPage, "hasNextPage")).toBe(false);
+    globalThis.expect(pageInfoBool(backPage, "hasNextPage")).toBe(true);
     let backStart = Stdlib_Option.getOr(getString(pageInfo(backPage), "startCursor"), "");
     let firstPage = await resolver(null, Object.fromEntries([
       [