@reventlessdev/reventless-core 3.0.0-alpha.248 → 3.0.0-alpha.250

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.250 (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.249 (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.248 (2026-08-23)
 
 * feat(aws)!: scope the active-role store to the identity provider ([08e287d](https://github.com/ReventlessDev/reventless-core/commit/08e287db9721977b818bad76671ec4c62be6f9af))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.248",
+  "version": "3.0.0-alpha.250",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -29,21 +29,21 @@
     "sury": "11.0.0-rc.2",
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
     "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.8",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
     "@reventlessdev/rescript-node": "2.0.0-alpha.8",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
     "@reventlessdev/rescript-ssh2": "2.0.0-alpha.8",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.150",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.33",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.122"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.123",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.151"
   },
   "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/components/Api/GraphQL_FragmentGenerator.res

@@ -903,7 +903,12 @@ let generate = (
     switch entry.indexQueries {
     | Some(indexes) =>
       let connectionTypeName = entry.returnTypeName ++ "Connection"
-      indexes->Array.forEach(indexConfig =>
+      // Derived indexes are skipped: they key a read the list resolver already
+      // makes on the caller's behalf, and a `<single>By<OwnerField>` door any
+      // caller may name is not the read they serve.
+      indexes
+      ->Array.filter(ic => !Reventless.ReadModel.isDerivedIndex(ic))
+      ->Array.forEach(indexConfig =>
         queries->Array.push(
           deriveIndexQueryField(
             ~singleFieldName=entry.singleFieldName,

package/src/components/Api/GraphQL_FragmentGenerator.res.mjs

@@ -5,6 +5,7 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Stdlib_String from "@rescript/runtime/lib/es6/Stdlib_String.js";
 import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as Logger$ReventlessCore from "../../util/Logger.res.mjs";
 import * as Api_Naming$ReventlessCore from "./Api_Naming.res.mjs";
 import * as SchemaType$ReventlessCore from "./SchemaType.res.mjs";
@@ -580,7 +581,7 @@ function generate(mutationEntries, queryEntries) {
     let indexes = entry.indexQueries;
     if (indexes !== undefined) {
       let connectionTypeName = entry.returnTypeName + "Connection";
-      indexes.forEach(indexConfig => {
+      indexes.filter(ic => !ReadModel$Reventless.isDerivedIndex(ic)).forEach(indexConfig => {
         queries.push(deriveIndexQueryField(entry.singleFieldName, indexConfig, connectionTypeName));
       });
     }

package/src/components/Api/QueryDbListQuery.res

@@ -265,10 +265,22 @@ let run = (
 
   let first =
     argsDict->Dict.get("first")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
-  let after = argsDict->Dict.get("after")->Option.flatMap(JSON.Decode.string)
+  // An empty cursor is no cursor. The host shell clears the opposite argument by
+  // setting it to "" rather than dropping it, and `Some("")` read as a cursor
+  // bounds nothing while still selecting the branch that expects one.
+  let cursorArg = key =>
+    argsDict
+    ->Dict.get(key)
+    ->Option.flatMap(JSON.Decode.string)
+    ->Option.flatMap(s => s == "" ? None : Some(s))
+  let after = cursorArg("after")
   let last = argsDict->Dict.get("last")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
-  let before = argsDict->Dict.get("before")->Option.flatMap(JSON.Decode.string)
-  let isBackward = last->Option.isSome
+  let before = cursorArg("before")
+  // `before` decides the direction, not `last`. Relay pairs `last` with `before`,
+  // but a client that keeps its page size in `first` and only moves the cursor
+  // sends `before` alone — and keying on `last` made that a FORWARD read bounded
+  // by nothing, which answers page one and calls it the previous page.
+  let isBackward = last->Option.isSome || before->Option.isSome
   let cursorField = orderByField->Option.getOr("id")
   let getCursorValue = item => getFieldString(item, cursorField)->Option.getOr(getId(item))
 
@@ -288,8 +300,12 @@ let run = (
   | _ => sorted
   }
 
+  // `last` when given, else the page size the caller has been paging with.
   let pageSize = if isBackward {
-    last->Option.getOr(defaultListPageSize)
+    switch last {
+    | Some(n) => n
+    | None => first->Option.getOr(defaultListPageSize)
+    }
   } else {
     first->Option.getOr(defaultListPageSize)
   }
@@ -311,10 +327,14 @@ let run = (
     (arr->Array.slice(~start=0, ~end=pageSize), hasMore)
   }
 
+  // Both directions report both flags. A backward page was cut from ahead, so a
+  // next page provably exists — the one the caller came from — and a forward page
+  // reached by a cursor has one behind it. Reporting only the flag that matches
+  // the direction made Prev vanish the moment it was used.
   buildConnection(
     ~pageItems,
-    ~hasNextPage=!isBackward && hasMore,
-    ~hasPreviousPage=isBackward && hasMore,
+    ~hasNextPage=isBackward ? true : hasMore,
+    ~hasPreviousPage=isBackward ? hasMore : after->Option.isSome,
     ~cursorValueOf=getCursorValue,
   )
 }

package/src/components/Api/QueryDbListQuery.res.mjs

@@ -154,10 +154,17 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
     });
   }
   let first = Stdlib_Option.map(Stdlib_Option.flatMap(argsDict["first"], Stdlib_JSON.Decode.float), prim => prim | 0);
-  let after = Stdlib_Option.flatMap(argsDict["after"], Stdlib_JSON.Decode.string);
+  let cursorArg = key => Stdlib_Option.flatMap(Stdlib_Option.flatMap(argsDict[key], Stdlib_JSON.Decode.string), s => {
+    if (s === "") {
+      return;
+    } else {
+      return s;
+    }
+  });
+  let after = cursorArg("after");
   let last = Stdlib_Option.map(Stdlib_Option.flatMap(argsDict["last"], Stdlib_JSON.Decode.float), prim => prim | 0);
-  let before = Stdlib_Option.flatMap(argsDict["before"], Stdlib_JSON.Decode.string);
-  let isBackward = Stdlib_Option.isSome(last);
+  let before = cursorArg("before");
+  let isBackward = Stdlib_Option.isSome(last) || Stdlib_Option.isSome(before);
   let cursorField = Stdlib_Option.getOr(orderByField, "id");
   let getCursorValue = item => Stdlib_Option.getOr(getFieldString(item, cursorField), getId(item));
   let cursorBounded;
@@ -188,7 +195,7 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
   } else {
     cursorBounded = sorted;
   }
-  let pageSize = isBackward ? Stdlib_Option.getOr(last, 50) : Stdlib_Option.getOr(first, 50);
+  let pageSize = isBackward && last !== undefined ? last : Stdlib_Option.getOr(first, 50);
   let take = pageSize + 1 | 0;
   let match;
   if (isBackward) {
@@ -210,7 +217,7 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
     ];
   }
   let hasMore$2 = match[1];
-  return buildConnection(match[0], !isBackward && hasMore$2, isBackward && hasMore$2, getCursorValue);
+  return buildConnection(match[0], isBackward ? true : hasMore$2, isBackward ? hasMore$2 : Stdlib_Option.isSome(after), getCursorValue);
 }
 
 let defaultListPageSize = 50;

package/tests/api/GraphQL_FragmentGeneratorTest.res

@@ -509,6 +509,42 @@ describe("the by-index door", () => {
       GraphQL_FragmentGenerator.indexQueryFieldName(~singleFieldName="X", ~index="by"),
     ))->toEqual(("XByOwner", "XByOwnerId", "XByBy"))
   )
+
+  // The regression that would otherwise land in silence: `@owner` provisions an
+  // index on every view that declares one, and if that index emitted a door, a
+  // `<single>By<OwnerField>` field any caller may name would appear in every
+  // published SDL — a schema change nobody asked for, on views that only wanted
+  // their own list read to stop scanning.
+  testSync("a derived index adds no query field", () => {
+    let entryWith = (indexes): ReventlessInfra.Api.querySchemaEntry => {
+      singleFieldName: "Ordering_Order",
+      listFieldName: "Ordering_Orders",
+      returnTypeName: "Ordering_Order",
+      stateSchema: S.unknown,
+      authorization: None,
+      indexQueries: indexes,
+    }
+    let derived: Reventless.ReadModel.indexConfig = {
+      index: "_owner",
+      type_: "S",
+      idField: "customerId",
+      subIdField: "id",
+      projectionType: ALL,
+      derived: true,
+    }
+    let authored: Reventless.ReadModel.indexConfig = {
+      index: "byCategory",
+      type_: "S",
+      idField: "categoryId",
+      projectionType: ALL,
+    }
+    let doorsOf = indexes =>
+      GraphQL_Stitcher.decode(
+        GraphQL_FragmentGenerator.generate(~mutationEntries=[], ~queryEntries=[entryWith(indexes)]),
+      ).queries->Array.filter(q => q->String.includes("Ordering_OrderBy"))
+    expect((doorsOf([derived])->Array.length, doorsOf([authored, derived])->Array.length))
+    ->toEqual((0, 1))
+  })
 })
 
 // ── @internal: a field that is not on the GraphQL surface ────────────────────

package/tests/api/GraphQL_FragmentGeneratorTest.res.mjs

@@ -427,6 +427,40 @@ globalThis.describe("the by-index door", () => {
       "XByBy"
     ]);
   });
+  globalThis.test("a derived index adds no query field", () => {
+    let entryWith = indexes => ({
+      singleFieldName: "Ordering_Order",
+      listFieldName: "Ordering_Orders",
+      returnTypeName: "Ordering_Order",
+      stateSchema: Sury.unknown,
+      authorization: undefined,
+      indexQueries: indexes
+    });
+    let derived = {
+      index: "_owner",
+      type_: "S",
+      idField: "customerId",
+      subIdField: "id",
+      projectionType: "ALL",
+      derived: true
+    };
+    let doorsOf = indexes => GraphQL_Stitcher$ReventlessCore.decode(GraphQL_FragmentGenerator$ReventlessCore.generate([], [entryWith(indexes)])).queries.filter(q => q.includes("Ordering_OrderBy"));
+    globalThis.expect([
+      doorsOf([derived]).length,
+      doorsOf([
+        {
+          index: "byCategory",
+          type_: "S",
+          idField: "categoryId",
+          projectionType: "ALL"
+        },
+        derived
+      ]).length
+    ]).toEqual([
+      0,
+      1
+    ]);
+  });
 });
 
 globalThis.describe("@internal keeps a field off the generated type", () => {