@jarenjs/linq 0.72.2 → 0.73.0

package/ARCHITECTURE.md

@@ -49,6 +49,10 @@ document (`{ $count: … }`), and `groupBy` packs its default return as
 `{ key: …, items: [ '$it' ] }` because an object member takes exactly
 one item.
 
+The emitter also owns `requireNonNegativeInteger`, the shared count/index guard
+for synchronous and asynchronous sequence windows and positional terminals.
+Both surfaces report the same `JL0005` refusal at their existing call boundary.
+
 ## The typed surface (`types/index.d.ts`)
 
 Hand-authored declarations are the public type contract (the runtime

package/docs/DB-CLIENT.md

@@ -826,7 +826,7 @@ never builds one; the migration between two of them is
 
 ## 7. Cost
 
-`@jarenjs/linq/db` builds to **<!--fact:bundle.db-->627,770<!--/fact--> bytes** as a minified,
+`@jarenjs/linq/db` builds to **<!--fact:bundle.db-->627,769<!--/fact--> bytes** as a minified,
 tree-shaken ESM bundle — the figure `scripts/check-tree-shaking.js`
 measures and `npm run test:tree-shaking` reports, published rounded
 (<!--fact:bundle.db.kb-->628<!--/fact--> kB) beside the other nine subpath prices in

package/docs/LINQ-FORMAT.md

@@ -205,7 +205,7 @@ and the bundle is the byte count the tree-shaking probe builds.
 | Document | Subpath | Lines | Mapping rows | Worked examples | Refusals | Bundle |
 |---|---|---:|---:|---:|---:|---:|
 | [LINQ-FORMAT.md](LINQ-FORMAT.md) | — | 948 | — | — | — | — |
-| [QUERY-PEN.md](QUERY-PEN.md) | `.` | 1,725 | 34 | 8 | 15 | 174,188 B |
+| [QUERY-PEN.md](QUERY-PEN.md) | `.` | 1,725 | 34 | 8 | 15 | 174,131 B |
 | [SCHEMA-PEN.md](SCHEMA-PEN.md) | `./schema` | 1,205 | 82 | 10 | 4 | 36,717 B |
 | [MODEL-PEN.md](MODEL-PEN.md) | `./model` | 1,092 | 28 | 6 | 3 | 45,143 B |
 | [JSLT-PEN.md](JSLT-PEN.md) | `./jslt` | 955 | 17 | 8 | 3 | 19,856 B |
@@ -219,7 +219,7 @@ and the bundle is the byte count the tree-shaking probe builds.
 | [JTLT-PEN.md](JTLT-PEN.md) | `./jtlt` | 83 | 13 | 1 | 2 | 16,725 B |
 | [PROJECT-PEN.md](PROJECT-PEN.md) | `./project` | 75 | 9 | 1 | 1 | 15,132 B |
 | [CHARTS-PEN.md](CHARTS-PEN.md) | `./charts` | 94 | 21 | 1 | 1 | 17,014 B |
-| [DB-CLIENT.md](DB-CLIENT.md) | `./db` | 893 | 41 | 4 | 2 | 627,770 B |
+| [DB-CLIENT.md](DB-CLIENT.md) | `./db` | 893 | 41 | 4 | 2 | 627,769 B |
 | **16 documents** | | **12,391** | **371** | **73** | | |
 <!--/fact-->
 
@@ -262,7 +262,7 @@ it and each document publishes it. The rounded column is what
 <!--fact:pens.cost-->
 | Subpath | Document | Bundle | Rounded |
 |---|---|---:|---:|
-| `@jarenjs/linq` | [QUERY-PEN.md](QUERY-PEN.md) | 174,188 B | 174 kB |
+| `@jarenjs/linq` | [QUERY-PEN.md](QUERY-PEN.md) | 174,131 B | 174 kB |
 | `@jarenjs/linq/schema` | [SCHEMA-PEN.md](SCHEMA-PEN.md) | 36,717 B | 37 kB |
 | `@jarenjs/linq/model` | [MODEL-PEN.md](MODEL-PEN.md) | 45,143 B | 45 kB |
 | `@jarenjs/linq/jslt` | [JSLT-PEN.md](JSLT-PEN.md) | 19,856 B | 20 kB |
@@ -276,7 +276,7 @@ it and each document publishes it. The rounded column is what
 | `@jarenjs/linq/jtlt` | [JTLT-PEN.md](JTLT-PEN.md) | 16,725 B | 17 kB |
 | `@jarenjs/linq/project` | [PROJECT-PEN.md](PROJECT-PEN.md) | 15,132 B | 15 kB |
 | `@jarenjs/linq/charts` | [CHARTS-PEN.md](CHARTS-PEN.md) | 17,014 B | 17 kB |
-| `@jarenjs/linq/db` | [DB-CLIENT.md](DB-CLIENT.md) | 627,770 B | 628 kB |
+| `@jarenjs/linq/db` | [DB-CLIENT.md](DB-CLIENT.md) | 627,769 B | 628 kB |
 <!--/fact-->
 
 Read these as prices, not as scores. `./db` is the largest by an order of

package/docs/QUERY-PEN.md

@@ -1672,14 +1672,14 @@ are shorter:
 ## 17. Cost
 
 A consumer importing `from` from `@jarenjs/linq` and calling one
-terminal bundles **<!--fact:bundle.chain-->174,188<!--/fact--> bytes** (esbuild, ESM, minified, tree-shaken,
+terminal bundles **<!--fact:bundle.chain-->174,131<!--/fact--> bytes** (esbuild, ESM, minified, tree-shaken,
 `platform: 'neutral'`). The figure is measured by
 `scripts/check-tree-shaking.js`'s chain probe and compared with this
 section on every `npm run test:tree-shaking`: it is derived, never typed,
 and a stale one is red here rather than wrong in a document somebody
 reads.
 
-Of that, **<!--fact:bundle.chain.own-->40,258<!--/fact--> bytes** are the chain's own modules — `sequence.js`,
+Of that, **<!--fact:bundle.chain.own-->40,131<!--/fact--> bytes** are the chain's own modules — `sequence.js`,
 `async.js`, `expression.js`, `document.js`, `provider.js`,
 `concurrency.js`, `errors.js` and `schema-of.js`. The remaining ~134 kB
 is the query ENGINE and the core it stands on: a chain's document has to
@@ -1715,7 +1715,7 @@ the reason is worth knowing: a bundler counts a shared module once, and
 the chain and every pen share the expression capture (`expression.js`)
 and the coded errors under it (`errors.js`, and `@jarenjs/core`'s error
 and object helpers). A consumer importing the chain AND the schema pen
-bundles **<!--fact:bundle.chain.withSchemaPen-->198,858<!--/fact--> bytes** — **<!--fact:bundle.chain.shared-->12,047<!--/fact--> bytes** less than the sum of the
+bundles **<!--fact:bundle.chain.withSchemaPen-->198,801<!--/fact--> bytes** — **<!--fact:bundle.chain.shared-->12,047<!--/fact--> bytes** less than the sum of the
 figure above and [SCHEMA-PEN.md](SCHEMA-PEN.md#7-cost) §7's, which is
 what those shared modules weigh. The probe measures that pair too, so
 the saving is derived like everything else here. What the chain does NOT

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@jarenjs/linq",
   "private": false,
-  "version": "0.72.2",
+  "version": "0.73.0",
   "type": "module",
   "main": "./src/index.js",
   "types": "./types/index.d.ts",
@@ -104,13 +104,13 @@
     "prepack": "npm run build:types"
   },
   "dependencies": {
-    "@jarenjs/core": "^0.72.2",
-    "@jarenjs/json": "^0.72.2"
+    "@jarenjs/core": "^0.73.0",
+    "@jarenjs/json": "^0.73.0"
   },
   "peerDependencies": {
-    "@jarenjs/db": "^0.72.2",
-    "@jarenjs/formats": "^0.72.2",
-    "@jarenjs/validate": "^0.72.2"
+    "@jarenjs/db": "^0.73.0",
+    "@jarenjs/formats": "^0.73.0",
+    "@jarenjs/validate": "^0.73.0"
   },
   "peerDependenciesMeta": {
     "@jarenjs/db": {

package/src/async.js

@@ -45,7 +45,7 @@ import {
 } from './provider.js';
 import {
   emitDocument, wrapTerminal, snapshot, fanProjection, isReservedBinding, RESERVED_BINDINGS_TEXT,
-  PROJECTING_STAGES,
+  PROJECTING_STAGES, requireNonNegativeInteger,
 } from './document.js';
 import { adaptAsyncSource } from './sources.js';
 import { applyMapAsync, normalizeMapAsyncOptions } from './concurrency.js';
@@ -369,8 +369,8 @@ export class AsyncSequence {
     }, params);
   }
 
-  skip(count) { return this.#with({ kind: 'skip', count: requireIndex(count, 'skip') }); }
-  take(count) { return this.#with({ kind: 'take', count: requireIndex(count, 'take') }); }
+  skip(count) { return this.#with({ kind: 'skip', count: requireNonNegativeInteger(count, 'skip') }); }
+  take(count) { return this.#with({ kind: 'take', count: requireNonNegativeInteger(count, 'take') }); }
   distinct() { return this.#with({ kind: 'distinct' }); }
   reverse() { return this.#with({ kind: 'reverse' }); }
 
@@ -722,7 +722,7 @@ export class AsyncSequence {
 
   /** @param {number} index */
   async elementAt(index) {
-    requireIndex(index, 'elementAt');
+    requireNonNegativeInteger(index, 'elementAt');
     const w = this.#pushable()
       ? await this.#pushWindow('elementAt', [index]) : await this.skip(index).#window(1);
     if (w.length === 0) throw new LinqRuntimeError('JL2003', `elementAt(${index}) is out of range`);
@@ -731,7 +731,7 @@ export class AsyncSequence {
 
   /** @param {number} index @param {any} [defaultValue] */
   async elementAtOrDefault(index, defaultValue) {
-    requireIndex(index, 'elementAtOrDefault');
+    requireNonNegativeInteger(index, 'elementAtOrDefault');
     const w = this.#pushable()
       ? await this.#pushWindow('elementAt', [index]) : await this.skip(index).#window(1);
     return w.length === 0 ? defaultValue : w[0];
@@ -832,14 +832,6 @@ async function collect(stream) {
   return out;
 }
 
-/** @param {number} value @param {string} what */
-function requireIndex(value, what) {
-  if (!Number.isInteger(value) || value < 0) {
-    throw new LinqBuildError('JL0005', `${what} takes a non-negative integer, got ${value}`);
-  }
-  return value;
-}
-
 /** @param {any} bindings */
 function validateParams(bindings) {
   if (bindings === null || typeof bindings !== 'object' || Array.isArray(bindings)) {

package/src/db/ledger.js

@@ -132,7 +132,8 @@ export function createDbLedger(client, options = {}) {
     return inside(async (tx) => {
       const c = rows(tx);
       const record = await c.get(r.id);
-      if (record === undefined || record.generation !== r.generation || record.status !== 'started') {
+      if (record === undefined || record.generation !== r.generation || record.status !== 'started'
+        || record.expiresAt <= at) {
         throw stale(ref, 'the key expired, was reclaimed under a newer generation, or was settled already');
       }
       await c.put({ ...record, ...changes, updatedAt: at }, r.id);

package/src/document.js

@@ -39,6 +39,19 @@
 
 import { LinqBuildError } from './errors.js';
 
+/**
+ * Validate a sequence window's count or a positional terminal's index.
+ * @param {number} value
+ * @param {string} what - The operator named by a refusal
+ * @returns {number} The unchanged count or index
+ */
+export function requireNonNegativeInteger(value, what) {
+  if (!Number.isInteger(value) || value < 0) {
+    throw new LinqBuildError('JL0005', `${what} takes a non-negative integer, got ${value}`);
+  }
+  return value;
+}
+
 /** The binding names the emitted documents own (QUERY-PEN §7): the
  * item bindings, the accumulator and the group — and the relation-hop
  * bindings `r1`, `r2`, … a capture allocates (expression.js). A

package/src/sequence.js

@@ -20,7 +20,7 @@ import {
 } from './expression.js';
 import {
   emitDocument, wrapTerminal, snapshot, fanProjection, isReservedBinding, RESERVED_BINDINGS_TEXT,
-  PROJECTING_STAGES,
+  PROJECTING_STAGES, requireNonNegativeInteger,
 } from './document.js';
 import {
   classifySource, compileDocument, executeInMemory, providerRoot, providerRelations, sharesScope,
@@ -31,14 +31,6 @@ import { schemaOf } from './schema-of.js';
 
 const VAR_NAME_RE = /^[A-Za-z_][A-Za-z0-9_]*$/;
 
-/** @param {number} value @param {string} what */
-function requireIndex(value, what) {
-  if (!Number.isInteger(value) || value < 0) {
-    throw new LinqBuildError('JL0005', `${what} takes a non-negative integer, got ${value}`);
-  }
-  return value;
-}
-
 /** The immutable query sequence. Construct via `from`/`fromDocument`. */
 export class Sequence {
   #source;
@@ -315,11 +307,11 @@ export class Sequence {
   }
 
   skip(count) {
-    return this.#with({ kind: 'skip', count: requireIndex(count, 'skip') });
+    return this.#with({ kind: 'skip', count: requireNonNegativeInteger(count, 'skip') });
   }
 
   take(count) {
-    return this.#with({ kind: 'take', count: requireIndex(count, 'take') });
+    return this.#with({ kind: 'take', count: requireNonNegativeInteger(count, 'take') });
   }
 
   distinct() {
@@ -557,7 +549,7 @@ export class Sequence {
   }
 
   elementAt(index) {
-    requireIndex(index, 'elementAt');
+    requireNonNegativeInteger(index, 'elementAt');
     const w = this.#window('elementAt', [index]);
     if (w.length === 0) throw new LinqRuntimeError('JL2003', `elementAt(${index}) is out of range`);
     return w[0];
@@ -565,7 +557,7 @@ export class Sequence {
 
   /** @param {number} index @param {any} [defaultValue] */
   elementAtOrDefault(index, defaultValue) {
-    requireIndex(index, 'elementAtOrDefault');
+    requireNonNegativeInteger(index, 'elementAtOrDefault');
     const w = this.#window('elementAt', [index]);
     return w.length === 0 ? defaultValue : w[0];
   }