@rindle/wasm 0.1.0-rc.5

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,82 @@
+# @rindle/wasm — local (in-process) IVM backend
+
+The WASM backend for [`@rindle/client`](../client): the Rust IVM engine (a port of Zero's ZQL
+dataflow engine) compiled to WebAssembly, running queries **in-process**. It re-exports
+`@rindle/client`, so a local app can import everything from here.
+
+## Quick start
+
+```ts
+import { table, string, number, boolean, createSchema, createWasmStore } from "@rindle/wasm";
+
+const issue = table("issue")
+  .columns({ id: number(), title: string(), closed: boolean() })
+  .primaryKey("id");
+const comment = table("comment")
+  .columns({ id: number(), issueID: number(), body: string() })
+  .primaryKey("id");
+const schema = createSchema({ tables: [issue, comment] });
+
+const store = await createWasmStore(schema); // inits the wasm + wires the local backend
+
+const view = store.query.issue
+  .where.closed(false)
+  .sub("comments", comment, { parent: ["id"], child: ["issueID"] }, (c) => c.orderBy("id", "asc"))
+  .materialize();
+
+view.subscribe((data) => render(data)); // typed, nested, reference-stable tree
+await store.write((tx) => tx.add("comment", { id: 1, issueID: 1, body: "hi" }));
+
+// `.one()` materializes a single row (`data` is the row or `null`, not an array):
+const top = store.query.issue.orderBy("priority", "desc").one().materialize();
+top.subscribe((row) => render(row)); // row: Issue | null
+
+// `.start(cursor, { exclusive })` pages from a cursor over the sort columns:
+const page2 = store.query.issue.orderBy("id", "asc").start({ id: lastId }, { exclusive: true }).limit(20).materialize();
+```
+
+## How it works
+
+`store.query.<table>…materialize()` registers the query with the in-process engine and folds
+its **flat change** stream into a live `ArrayView`. `store.write(...)` applies row mutations and
+the affected views update. The engine derives true incremental changes — `view.data` always
+equals a freshly-run query.
+
+## Building & publishing
+
+Two build steps. The Rust → wasm artifact (`pkg/`), needed once (and whenever the engine changes):
+
+```sh
+pnpm --filter @rindle/wasm build:wasm   # or: packages/wasm/build.sh [dev|release|wasm-release]
+```
+
+Requires the Rust toolchain + `wasm-bindgen` (`cargo install wasm-bindgen-cli`). The output is a
+`--target web` ESM bundle that runs in browsers, bundlers, and Node.
+
+Then the TypeScript → `dist/` compile that produces the published, runnable `.js` + `.d.ts`:
+
+```sh
+pnpm run build                       # builds @rindle/client then @rindle/wasm dist/ (run from the repo root)
+```
+
+The published package ships `dist/` (compiled) + `pkg/` (the wasm). In-repo the test suite resolves
+the TS source directly (via the `@rindle/source` export condition), so `pnpm test` needs no build.
+
+### Browser smoke test
+
+`pnpm test:browser` builds `dist/`, then loads the package in **headless Chrome** (taking the real
+browser `fetch` + `WebAssembly.instantiateStreaming` init path) and runs a query. Needs system
+Chrome/Chromium (`CHROME_BIN` to override); skipped with a message when none is installed.
+
+## Initialization
+
+`createWasmStore(schema)` calls `initWasm()` for you. If you build a `WasmBackend` directly,
+`await initWasm()` first:
+
+```ts
+import { initWasm, WasmBackend, Store } from "@rindle/wasm";
+await initWasm();                               // browser: fetches the wasm; Node: reads it
+const store = new Store(schema, new WasmBackend(schema));
+```
+
+Pass `initWasm(moduleOrPath)` to supply the wasm yourself (a `WebAssembly.Module`, URL, or bytes).

package/build.sh

@@ -0,0 +1,39 @@
+#!/usr/bin/env bash
+# Build the rindle wasm engine into this package as a portable ESM artifact (--target web):
+# works in browsers/bundlers (await init()) and Node (await init(bytes)) — see src/index.ts.
+#
+#   ./build.sh [profile]   # wasm-release (default) | release | dev
+#
+# Produces packages/wasm/pkg/{rindle.js, rindle_bg.wasm, rindle.d.ts}.
+set -euo pipefail
+
+PROFILE="${1:-wasm-release}"
+TARGET=wasm32-unknown-unknown
+FEATURES=wasm
+ROOT="$(cd "$(dirname "$0")/../.." && pwd)"
+OUT="$ROOT/packages/wasm/pkg"
+export PATH="$HOME/.cargo/bin:$PATH"
+
+cd "$ROOT"
+
+# `-p rindle`: build ONLY the C-toolchain-free core crate for wasm32 — not the whole workspace
+# (the SQLite members `rindle-sqlite`/`rindle-replica` and `rindle-fuzz`'s `getrandom` don't compile to
+# `wasm32-unknown-unknown`, and a bare `cargo build` would try to).
+#
+# `cargo rustc … --crate-type cdylib`: the lib's default crate-type is `rlib` (so native builds
+# don't emit a colliding `librindle.so`, cargo#6313); the `.wasm` artifact needs `cdylib`, requested
+# here just for this wasm32 build. Produces `target/$TARGET/<profile>/rindle.wasm` either way.
+case "$PROFILE" in
+  dev)     cargo rustc -p rindle               --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$ROOT/target/$TARGET/debug/rindle.wasm" ;;
+  release) cargo rustc -p rindle --release      --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$ROOT/target/$TARGET/release/rindle.wasm" ;;
+  *)       cargo rustc -p rindle --profile "$PROFILE" --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$ROOT/target/$TARGET/$PROFILE/rindle.wasm" ;;
+esac
+
+wasm-bindgen --target web --out-dir "$OUT" --out-name rindle "$WASM"
+
+if command -v wasm-opt >/dev/null 2>&1 && [ "$PROFILE" != "dev" ]; then
+  wasm-opt -Oz "$OUT/rindle_bg.wasm" -o "$OUT/rindle_bg.wasm"
+  echo "wasm-opt -Oz applied"
+fi
+
+echo "built $OUT  (target=web, profile=$PROFILE, $(wc -c < "$OUT/rindle_bg.wasm") bytes)"

package/dist/index.d.ts

@@ -0,0 +1,85 @@
+import { Store } from "@rindle/client";
+import type { Ast, Backend, ChangeEvent, ColsMap, Mutation, QueryId, Schema } from "@rindle/client";
+export * from "@rindle/client";
+/** A raw staged write transaction over the wasm engine — the surface an optimistic client
+ *  mutator runs against (`get` reads the live state under this txn's staged overlay, so a
+ *  read-dependent mutator sees its own writes; OPTIMISTIC-WRITES-DESIGN.md §4.1). */
+export interface WasmWriteTxn {
+    add(table: string, row: unknown[]): void;
+    remove(table: string, row: unknown[]): void;
+    edit(table: string, oldRow: unknown[], newRow: unknown[]): void;
+    get(table: string, pk: unknown[]): unknown[] | undefined;
+    commit(): Array<{
+        queryId: number;
+        events: unknown[];
+    }>;
+    rollback(): void;
+}
+/** One base-table row op of a coherent server delta (the §1.3 `D`), bare cells. */
+export type ServerDeltaOp = {
+    table: string;
+    type: "add";
+    row: unknown[];
+} | {
+    table: string;
+    type: "remove";
+    row: unknown[];
+} | {
+    table: string;
+    type: "edit";
+    row: unknown[];
+    old: unknown[];
+};
+/** Initialize the wasm module (idempotent). Call once at startup before `new WasmBackend`
+ *  / `createWasmStore`. Browser/bundler: no args (the wasm is fetched). Node: the bytes are
+ *  read from the package. Pass `moduleOrPath` to override (a `WebAssembly.Module`, URL, or bytes). */
+export declare function initWasm(moduleOrPath?: unknown): Promise<void>;
+export declare class WasmBackend<S extends ColsMap> implements Backend {
+    private readonly db;
+    private handler;
+    private readonly dispatchQueue;
+    private draining;
+    constructor(schema: Schema<S>);
+    /** Register an additional base table after construction — for a SYNTHETIC aggregate table
+     *  (`AGGREGATE-SYNC-DESIGN.md` §3.3) that is not in the typed schema. The
+     *  `NormalizedBackend` registers each such `__agg_*` table once, before a query that reads
+     *  it, so the local engine can join to it (the relationship `count` it backs is shipped by
+     *  the server, never recomputed). */
+    registerTable(name: string, spec: {
+        columns: string[];
+        primaryKey: number[];
+    }): void;
+    /** Remove a synthetic aggregate table registered by {@link registerTable}, once the last
+     *  query reading it has been unregistered (`AGGREGATE-SYNC-DESIGN.md` §4): frees the engine
+     *  source + its optimistic baseline so aggregate state is reclaimed, not permanent. Throws
+     *  if a query still reads it (the backend refcounts readers, so it calls this only at 0). */
+    unregisterTable(name: string): void;
+    registerQuery(qid: QueryId, ast: Ast): void;
+    unregisterQuery(qid: QueryId): void;
+    mutate(mutations: Mutation[]): Promise<void>;
+    onEvent(handler: (qid: QueryId, ev: ChangeEvent) => void): void;
+    /** Deliver one commit's per-query batches. Non-reentrant (#15): if a delivery is already in
+     *  progress (a subscriber re-entered via write()), enqueue and let the active drain pick it
+     *  up FIFO, so each query folds commits in order. Per-query isolated (#11): a view's fold or
+     *  subscriber throwing does NOT drop sibling queries' batches — the first error is re-raised
+     *  only after every query has been delivered. */
+    private dispatch;
+    /** Run `f` against a raw staged write txn (with the §4.1 `get` read path), commit, and
+     *  dispatch the resulting batches on the ordinary event stream. Inside an open server
+     *  batch the engine buffers the events into the cycle instead (commit returns `[]`),
+     *  so re-invocations dispatch nothing here — delivery is `serverBatchEnd`'s. */
+    writeWith(f: (tx: WasmWriteTxn) => void): void;
+    /** Open a §1.3 reconcile cycle against the coherent server delta: the engine rewinds
+     *  (optimistic layer un-applied, delta folded in, `sync` re-forked) and starts
+     *  buffering. Re-invoke the still-pending mutators via {@link writeWith}, then call
+     *  {@link serverBatchEnd}. On error the optimistic state is poisoned — discard the
+     *  backend and re-hydrate. */
+    serverBatchBegin(deltas: ServerDeltaOp[]): void;
+    /** Close the cycle: the whole buffered stream (rewind + re-invocations) coalesces to
+     *  the minimal net per query (§3 — a confirmed-correct prediction delivers nothing)
+     *  and dispatches as ONE batch per affected query on the ordinary event stream. */
+    serverBatchEnd(): void;
+}
+/** Convenience: init the wasm + return a ready local {@link Store}. */
+export declare function createWasmStore<S extends ColsMap>(schema: Schema<S>): Promise<Store<S>>;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,KAAK,EAAa,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EACV,GAAG,EACH,OAAO,EACP,WAAW,EACX,OAAO,EACP,QAAQ,EACR,OAAO,EACP,MAAM,EACP,MAAM,gBAAgB,CAAC;AAExB,cAAc,gBAAgB,CAAC;AAa/B;;qFAEqF;AACrF,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACzC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAC5C,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAChE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC;IACzD,MAAM,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IACxD,QAAQ,IAAI,IAAI,CAAC;CAClB;AAED,mFAAmF;AACnF,MAAM,MAAM,aAAa,GACrB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,OAAO,EAAE,CAAA;CAAE,GAC9C;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,OAAO,EAAE,CAAA;CAAE,GACjD;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,EAAE,CAAC;IAAC,GAAG,EAAE,OAAO,EAAE,CAAA;CAAE,CAAC;AAIpE;;sGAEsG;AACtG,wBAAgB,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAe9D;AAMD,qBAAa,WAAW,CAAC,CAAC,SAAS,OAAO,CAAE,YAAW,OAAO;IAC5D,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAS;IAC5B,OAAO,CAAC,OAAO,CAAqD;IAMpE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkB;IAChD,OAAO,CAAC,QAAQ,CAAS;gBAEb,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAO7B;;;;yCAIqC;IACrC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI;IAIpF;;;iGAG6F;IAC7F,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAInC,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAM3C,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;IAInC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAW5C,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,KAAK,IAAI,GAAG,IAAI;IAI/D;;;;qDAIiD;IACjD,OAAO,CAAC,QAAQ;IA+BhB;;;oFAGgF;IAChF,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,YAAY,KAAK,IAAI,GAAG,IAAI;IAM9C;;;;kCAI8B;IAC9B,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,IAAI;IAI/C;;uFAEmF;IACnF,cAAc,IAAI,IAAI;CAGvB;AAED,uEAAuE;AACvE,wBAAsB,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAG7F"}

package/dist/index.js

@@ -0,0 +1,154 @@
+// @rindle/wasm — the WASM backend: the in-process IVM engine (src/wasm/db.rs) behind the
+// @rindle/client `Backend` seam (WASM-CLIENT-DESIGN.md §2.1). Also re-exports @rindle/client so a
+// local app can import everything from here.
+//
+// The wasm is a `--target web` ESM artifact (packages/wasm/pkg, built by ./build.sh): it
+// needs an explicit, one-time init — `await initWasm()` — before constructing a backend.
+// In Node the bytes are read from the package; in a browser/bundler the wasm is fetched.
+import init, { Db } from "../pkg/rindle.js";
+import { Store, tableSpec } from "@rindle/client";
+export * from "@rindle/client";
+let initialized = null;
+/** Initialize the wasm module (idempotent). Call once at startup before `new WasmBackend`
+ *  / `createWasmStore`. Browser/bundler: no args (the wasm is fetched). Node: the bytes are
+ *  read from the package. Pass `moduleOrPath` to override (a `WebAssembly.Module`, URL, or bytes). */
+export function initWasm(moduleOrPath) {
+    if (!initialized) {
+        initialized = (async () => {
+            if (moduleOrPath !== undefined) {
+                await init({ module_or_path: moduleOrPath });
+            }
+            else if (globalThis.process?.versions?.node) {
+                const { readFile } = await import("node:fs/promises");
+                const bytes = await readFile(new URL("../pkg/rindle_bg.wasm", import.meta.url));
+                await init({ module_or_path: bytes });
+            }
+            else {
+                await init();
+            }
+        })();
+    }
+    return initialized;
+}
+export class WasmBackend {
+    db;
+    handler = () => { };
+    // Non-reentrant delivery (#15): commits dispatch through a FIFO queue. A subscriber that
+    // synchronously triggers another write enqueues that commit's batches; they drain only after
+    // the in-flight commit's batches finish, preserving per-query commit order regardless of what
+    // subscribers do.
+    dispatchQueue = [];
+    draining = false;
+    constructor(schema) {
+        this.db = new Db();
+        for (const name of Object.keys(schema.tables)) {
+            this.db.registerTable(name, tableSpec(schema.tables[name]));
+        }
+    }
+    /** Register an additional base table after construction — for a SYNTHETIC aggregate table
+     *  (`AGGREGATE-SYNC-DESIGN.md` §3.3) that is not in the typed schema. The
+     *  `NormalizedBackend` registers each such `__agg_*` table once, before a query that reads
+     *  it, so the local engine can join to it (the relationship `count` it backs is shipped by
+     *  the server, never recomputed). */
+    registerTable(name, spec) {
+        this.db.registerTable(name, spec);
+    }
+    /** Remove a synthetic aggregate table registered by {@link registerTable}, once the last
+     *  query reading it has been unregistered (`AGGREGATE-SYNC-DESIGN.md` §4): frees the engine
+     *  source + its optimistic baseline so aggregate state is reclaimed, not permanent. Throws
+     *  if a query still reads it (the backend refcounts readers, so it calls this only at 0). */
+    unregisterTable(name) {
+        this.db.unregisterTable(name);
+    }
+    registerQuery(qid, ast) {
+        const r = this.db.query(qid, ast);
+        this.handler(qid, { type: "hello", schema: r.schema, comparatorVersion: r.comparatorVersion });
+        this.handler(qid, { type: "snapshot", adds: r.snapshot, last: true });
+    }
+    unregisterQuery(qid) {
+        this.db.destroyQuery(qid);
+    }
+    mutate(mutations) {
+        const tx = this.db.write();
+        for (const m of mutations) {
+            if (m.op === "add")
+                tx.add(m.table, m.row);
+            else if (m.op === "remove")
+                tx.remove(m.table, m.row);
+            else
+                tx.edit(m.table, m.old, m.new);
+        }
+        this.dispatch(tx.commit());
+        return Promise.resolve();
+    }
+    onEvent(handler) {
+        this.handler = handler;
+    }
+    /** Deliver one commit's per-query batches. Non-reentrant (#15): if a delivery is already in
+     *  progress (a subscriber re-entered via write()), enqueue and let the active drain pick it
+     *  up FIFO, so each query folds commits in order. Per-query isolated (#11): a view's fold or
+     *  subscriber throwing does NOT drop sibling queries' batches — the first error is re-raised
+     *  only after every query has been delivered. */
+    dispatch(batches) {
+        this.dispatchQueue.push(batches);
+        if (this.draining)
+            return; // an outer drain is running; it will deliver this set
+        this.draining = true;
+        let firstError;
+        let hasError = false;
+        try {
+            while (this.dispatchQueue.length) {
+                const next = this.dispatchQueue.shift();
+                for (const b of next) {
+                    try {
+                        this.handler(b.queryId, { type: "batch", events: b.events });
+                    }
+                    catch (err) {
+                        if (!hasError) {
+                            hasError = true;
+                            firstError = err;
+                        }
+                    }
+                }
+            }
+        }
+        finally {
+            this.draining = false;
+        }
+        if (hasError)
+            throw firstError;
+    }
+    // --- the optimistic-cycle surface (OPTIMISTIC-WRITES-DESIGN.md §1/§3/§9) ----------
+    //
+    // `@rindle/optimistic` drives the engine's fork/rebase loop through these three; the
+    // plain local path never calls them.
+    /** Run `f` against a raw staged write txn (with the §4.1 `get` read path), commit, and
+     *  dispatch the resulting batches on the ordinary event stream. Inside an open server
+     *  batch the engine buffers the events into the cycle instead (commit returns `[]`),
+     *  so re-invocations dispatch nothing here — delivery is `serverBatchEnd`'s. */
+    writeWith(f) {
+        const tx = this.db.write();
+        f(tx);
+        this.dispatch(tx.commit());
+    }
+    /** Open a §1.3 reconcile cycle against the coherent server delta: the engine rewinds
+     *  (optimistic layer un-applied, delta folded in, `sync` re-forked) and starts
+     *  buffering. Re-invoke the still-pending mutators via {@link writeWith}, then call
+     *  {@link serverBatchEnd}. On error the optimistic state is poisoned — discard the
+     *  backend and re-hydrate. */
+    serverBatchBegin(deltas) {
+        this.db.serverBatchBegin(deltas);
+    }
+    /** Close the cycle: the whole buffered stream (rewind + re-invocations) coalesces to
+     *  the minimal net per query (§3 — a confirmed-correct prediction delivers nothing)
+     *  and dispatches as ONE batch per affected query on the ordinary event stream. */
+    serverBatchEnd() {
+        this.dispatch(this.db.serverBatchEnd());
+    }
+}
+/** Convenience: init the wasm + return a ready local {@link Store}. */
+export async function createWasmStore(schema) {
+    await initWasm();
+    return new Store(schema, new WasmBackend(schema));
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,kGAAkG;AAClG,6CAA6C;AAC7C,EAAE;AACF,yFAAyF;AACzF,yFAAyF;AACzF,yFAAyF;AAEzF,OAAO,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAWlD,cAAc,gBAAgB,CAAC;AA+B/B,IAAI,WAAW,GAAyB,IAAI,CAAC;AAE7C;;sGAEsG;AACtG,MAAM,UAAU,QAAQ,CAAC,YAAsB;IAC7C,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;YACxB,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBAC/B,MAAM,IAAI,CAAC,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC;YAC/C,CAAC;iBAAM,IAAK,UAA6D,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAClG,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBACtD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,GAAG,CAAC,uBAAuB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAChF,MAAM,IAAI,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,EAAE,CAAC;YACf,CAAC;QACH,CAAC,CAAC,EAAE,CAAC;IACP,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAMD,MAAM,OAAO,WAAW;IACL,EAAE,CAAS;IACpB,OAAO,GAA4C,GAAG,EAAE,GAAE,CAAC,CAAC;IAEpE,yFAAyF;IACzF,6FAA6F;IAC7F,8FAA8F;IAC9F,kBAAkB;IACD,aAAa,GAAe,EAAE,CAAC;IACxC,QAAQ,GAAG,KAAK,CAAC;IAEzB,YAAY,MAAiB;QAC3B,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,EAAuB,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED;;;;yCAIqC;IACrC,aAAa,CAAC,IAAY,EAAE,IAAiD;QAC3E,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED;;;iGAG6F;IAC7F,eAAe,CAAC,IAAY;QAC1B,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,aAAa,CAAC,GAAY,EAAE,GAAQ;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAe,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,QAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,eAAe,CAAC,GAAY;QAC1B,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,SAAqB;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;gBAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;iBACtC,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ;gBAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;;gBACjD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAc,CAAC,CAAC;QACvC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED,OAAO,CAAC,OAAgD;QACtD,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;;qDAIiD;IACzC,QAAQ,CAAC,OAAiB;QAChC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,sDAAsD;QACjF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,UAAmB,CAAC;QACxB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAG,CAAC;gBACzC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,IAAI,CAAC;wBACH,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAe,EAAE,CAAC,CAAC;oBACxE,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,IAAI,CAAC,QAAQ,EAAE,CAAC;4BACd,QAAQ,GAAG,IAAI,CAAC;4BAChB,UAAU,GAAG,GAAG,CAAC;wBACnB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACxB,CAAC;QACD,IAAI,QAAQ;YAAE,MAAM,UAAU,CAAC;IACjC,CAAC;IAED,qFAAqF;IACrF,EAAE;IACF,qFAAqF;IACrF,qCAAqC;IAErC;;;oFAGgF;IAChF,SAAS,CAAC,CAA6B;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QAC3B,CAAC,CAAC,EAAE,CAAC,CAAC;QACN,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAc,CAAC,CAAC;IACzC,CAAC;IAED;;;;kCAI8B;IAC9B,gBAAgB,CAAC,MAAuB;QACtC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED;;uFAEmF;IACnF,cAAc;QACZ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,EAAc,CAAC,CAAC;IACtD,CAAC;CACF;AAED,uEAAuE;AACvE,MAAM,CAAC,KAAK,UAAU,eAAe,CAAoB,MAAiB;IACxE,MAAM,QAAQ,EAAE,CAAC;IACjB,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AACpD,CAAC"}

package/package.json

@@ -0,0 +1,43 @@
+{
+  "name": "@rindle/wasm",
+  "version": "0.1.0-rc.5",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/rindle-sh/rindle.git",
+    "directory": "packages/wasm"
+  },
+  "type": "module",
+  "description": "WASM backend for @rindle/client — the in-process IVM engine behind the Backend seam.",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "@rindle/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "pkg",
+    "build.sh",
+    "README.md"
+  ],
+  "dependencies": {
+    "@rindle/client": "0.1.0-rc.5"
+  },
+  "devDependencies": {
+    "@types/node": "^22.10.0",
+    "typescript": "^5.7.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "build:wasm": "./build.sh",
+    "typecheck": "tsc --noEmit",
+    "test": "node test/bundle-size.mjs && node --conditions=@rindle/source test/e2e.mjs && node --conditions=@rindle/source test/one-start.e2e.mjs && node --conditions=@rindle/source test/repro-high.e2e.mjs && node --conditions=@rindle/source test/partial-write.e2e.mjs",
+    "test:browser": "node test/browser-smoke.mjs"
+  }
+}