@rindle/wasm 0.2.0 → 0.4.2

package/build.sh

@@ -15,11 +15,14 @@ PROFILE="${1:-wasm-release}"
 TARGET=wasm32-unknown-unknown
 FEATURES=wasm
 ROOT="$(cd "$(dirname "$0")/../.." && pwd)"
+# The Cargo workspace lives under rust/; the wasm artifact ships into this JS package's pkg/ (which
+# stays at the repo root). Build from rust/ so `-p rindle` and target/ resolve; emit into packages/wasm/pkg.
+RUST_ROOT="$ROOT/rust"
 OUT="${RINDLE_WASM_OUT:-$ROOT/packages/wasm/pkg}"
 BINDGEN_TARGET="${RINDLE_WASM_BINDGEN_TARGET:-web}"
 export PATH="$HOME/.cargo/bin:$PATH"
 
-cd "$ROOT"
+cd "$RUST_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
@@ -29,9 +32,9 @@ cd "$ROOT"
 # 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" ;;
+  dev)     cargo rustc -p rindle               --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$RUST_ROOT/target/$TARGET/debug/rindle.wasm" ;;
+  release) cargo rustc -p rindle --release      --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$RUST_ROOT/target/$TARGET/release/rindle.wasm" ;;
+  *)       cargo rustc -p rindle --profile "$PROFILE" --target "$TARGET" --no-default-features --features "$FEATURES" --crate-type cdylib; WASM="$RUST_ROOT/target/$TARGET/$PROFILE/rindle.wasm" ;;
 esac
 
 wasm-bindgen --target "$BINDGEN_TARGET" --out-dir "$OUT" --out-name rindle "$WASM"

package/dist/index.d.ts

@@ -9,6 +9,12 @@ export interface WasmWriteTxn {
     remove(table: string, row: unknown[]): void;
     edit(table: string, oldRow: unknown[], newRow: unknown[]): void;
     get(table: string, pk: unknown[]): unknown[] | undefined;
+    /** Run a one-shot query over the state this txn is mutating — the live base plus this
+     *  txn's own staged writes-so-far (read-your-writes; 203-MUTATOR-READS-DESIGN.md §5.2).
+     *  Synchronous (over a lazy read-cache fork of the staged buffer). Returns the query's rows
+     *  as keyed objects with their materialized `related` children nested by name (identical in
+     *  shape to a `view.data` row), in the query's order. */
+    query(ast: Ast): unknown[];
     commit(): Array<{
         queryId: number;
         events: unknown[];
@@ -37,6 +43,7 @@ export declare function initWasm(moduleOrPath?: unknown): Promise<void>;
 export declare class WasmBackend<S extends ColsMap> implements Backend {
     private readonly db;
     private handler;
+    private boundaryHandler;
     /** Local-only table names (`201-LOCAL-ONLY-TABLES-DESIGN.md` §4): registered UNTRACKED (so the
      *  optimistic rewind never reverts them) and the only tables {@link writeLocal} accepts. */
     private readonly localTables;
@@ -65,11 +72,21 @@ export declare class WasmBackend<S extends ColsMap> implements Backend {
     unregisterQuery(qid: QueryId): void;
     mutate(mutations: Mutation[]): Promise<void>;
     onEvent(handler: (qid: QueryId, ev: ChangeEvent) => void): void;
+    /** Register the Store's commit-boundary handler ({@link Backend.onCommitBoundary}): `dispatch`
+     *  calls it around each commit's per-query batch delivery so the Store can fold every affected
+     *  view before notifying any subscriber. */
+    onCommitBoundary(handler: (phase: "begin" | "end") => 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. */
+     *  only after every query has been delivered.
+     *
+     *  Cross-view-atomic notification: each commit is bracketed with `boundaryHandler("begin"/"end")`
+     *  so the Store folds ALL of this commit's views before notifying ANY subscriber (a subscriber
+     *  re-reading a sibling view then sees post-commit data). `begin`/`end` stay balanced even if a
+     *  fold throws (the `finally`), and a re-entrant write enqueued during the `end` flush drains as
+     *  its own bracketed commit in the next loop turn — preserving per-query commit order (#15). */
     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

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,EAAa,MAAM,gBAAgB,CAAC;AACnE,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;IACpE;gGAC4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAM1C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkB;IAChD,OAAO,CAAC,QAAQ,CAAS;gBAEb,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAU7B;;;;qGAIiG;IACjG,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI;IAIpF;;+FAE2F;IAC3F,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI;IAevC;;;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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,EAAa,MAAM,gBAAgB,CAAC;AACnE,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;;;;6DAIyD;IACzD,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,EAAE,CAAC;IAC3B,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;IAKpE,OAAO,CAAC,eAAe,CAA8C;IACrE;gGAC4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAM1C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkB;IAChD,OAAO,CAAC,QAAQ,CAAS;gBAEb,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAU7B;;;;qGAIiG;IACjG,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI;IAIpF;;+FAE2F;IAC3F,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI;IAevC;;;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;;gDAE4C;IAC5C,gBAAgB,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,KAAK,IAAI,GAAG,IAAI;IAIjE;;;;;;;;;;oGAUgG;IAChG,OAAO,CAAC,QAAQ;IA4ChB;;;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

@@ -33,6 +33,11 @@ export function initWasm(moduleOrPath) {
 export class WasmBackend {
     db;
     handler = () => { };
+    // The Store's commit-boundary handler ({@link Backend.onCommitBoundary}): `dispatch` brackets
+    // each commit's per-query batch delivery with `begin`/`end` so the Store folds every affected
+    // view before notifying any subscriber (cross-view-atomic notification). Defaults to a no-op so
+    // a Store that never registers it (or none at all) just gets per-event notification.
+    boundaryHandler = () => { };
     /** Local-only table names (`201-LOCAL-ONLY-TABLES-DESIGN.md` §4): registered UNTRACKED (so the
      *  optimistic rewind never reverts them) and the only tables {@link writeLocal} accepts. */
     localTables;
@@ -110,11 +115,23 @@ export class WasmBackend {
     onEvent(handler) {
         this.handler = handler;
     }
+    /** Register the Store's commit-boundary handler ({@link Backend.onCommitBoundary}): `dispatch`
+     *  calls it around each commit's per-query batch delivery so the Store can fold every affected
+     *  view before notifying any subscriber. */
+    onCommitBoundary(handler) {
+        this.boundaryHandler = 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. */
+     *  only after every query has been delivered.
+     *
+     *  Cross-view-atomic notification: each commit is bracketed with `boundaryHandler("begin"/"end")`
+     *  so the Store folds ALL of this commit's views before notifying ANY subscriber (a subscriber
+     *  re-reading a sibling view then sees post-commit data). `begin`/`end` stay balanced even if a
+     *  fold throws (the `finally`), and a re-entrant write enqueued during the `end` flush drains as
+     *  its own bracketed commit in the next loop turn — preserving per-query commit order (#15). */
     dispatch(batches) {
         this.dispatchQueue.push(batches);
         if (this.draining)
@@ -122,18 +139,34 @@ export class WasmBackend {
         this.draining = true;
         let firstError;
         let hasError = false;
+        const note = (err) => {
+            if (!hasError) {
+                hasError = true;
+                firstError = err;
+            }
+        };
         try {
             while (this.dispatchQueue.length) {
                 const next = this.dispatchQueue.shift();
-                for (const b of next) {
+                if (next.length === 0)
+                    continue; // an empty commit (no query changed) — no barrier needed
+                this.boundaryHandler("begin");
+                try {
+                    for (const b of next) {
+                        try {
+                            this.handler(b.queryId, { type: "batch", events: b.events });
+                        }
+                        catch (err) {
+                            note(err);
+                        }
+                    }
+                }
+                finally {
                     try {
-                        this.handler(b.queryId, { type: "batch", events: b.events });
+                        this.boundaryHandler("end"); // flush: notify every folded view's subscribers
                     }
                     catch (err) {
-                        if (!hasError) {
-                            hasError = true;
-                            firstError = err;
-                        }
+                        note(err);
                     }
                 }
             }

package/dist/index.js.map

@@ -1 +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,eAAe,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAWnE,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;IACpE;gGAC4F;IAC3E,WAAW,CAAc;IAE1C,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,IAAI,CAAC,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,2FAA2F;YAC3F,8BAA8B;YAC9B,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED;;;;qGAIiG;IACjG,aAAa,CAAC,IAAY,EAAE,IAAiD;QAC3E,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IAED;;+FAE2F;IAC3F,UAAU,CAAC,SAAqB;QAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC,KAAK,8FAA8F,CAAC,CAAC;YAC/I,CAAC;QACH,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE;YACpB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;oBAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;qBACtC,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ;oBAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;;oBACjD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,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"}
+{"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,eAAe,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAWnE,cAAc,gBAAgB,CAAC;AAqC/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;IACpE,8FAA8F;IAC9F,8FAA8F;IAC9F,gGAAgG;IAChG,qFAAqF;IAC7E,eAAe,GAAqC,GAAG,EAAE,GAAE,CAAC,CAAC;IACrE;gGAC4F;IAC3E,WAAW,CAAc;IAE1C,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,IAAI,CAAC,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,2FAA2F;YAC3F,8BAA8B;YAC9B,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED;;;;qGAIiG;IACjG,aAAa,CAAC,IAAY,EAAE,IAAiD;QAC3E,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC;IAED;;+FAE2F;IAC3F,UAAU,CAAC,SAAqB;QAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC,KAAK,8FAA8F,CAAC,CAAC;YAC/I,CAAC;QACH,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE;YACpB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;oBAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;qBACtC,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ;oBAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;;oBACjD,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACtC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,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;;gDAE4C;IAC5C,gBAAgB,CAAC,OAAyC;QACxD,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC;IACjC,CAAC;IAED;;;;;;;;;;oGAUgG;IACxF,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,MAAM,IAAI,GAAG,CAAC,GAAY,EAAE,EAAE;YAC5B,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,QAAQ,GAAG,IAAI,CAAC;gBAChB,UAAU,GAAG,GAAG,CAAC;YACnB,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAG,CAAC;gBACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS,CAAC,yDAAyD;gBAC1F,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,CAAC;oBACH,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;wBACrB,IAAI,CAAC;4BACH,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAe,EAAE,CAAC,CAAC;wBACxE,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,IAAI,CAAC,GAAG,CAAC,CAAC;wBACZ,CAAC;oBACH,CAAC;gBACH,CAAC;wBAAS,CAAC;oBACT,IAAI,CAAC;wBACH,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,gDAAgD;oBAC/E,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,IAAI,CAAC,GAAG,CAAC,CAAC;oBACZ,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

@@ -1,6 +1,6 @@
 {
   "name": "@rindle/wasm",
-  "version": "0.2.0",
+  "version": "0.4.2",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
@@ -29,7 +29,7 @@
     "README.md"
   ],
   "dependencies": {
-    "@rindle/client": "0.2.0"
+    "@rindle/client": "0.4.2"
   },
   "devDependencies": {
     "@types/node": "^22.10.0",

package/pkg/rindle.d.ts

@@ -191,6 +191,25 @@ export class WriteTxn {
      * mutations re-invoked so far), which is exactly what re-invocation must read.
      */
     get(table: string, pk: any): any;
+    /**
+     * Run a one-shot query (a `where`/`orderBy`/`limit`/join AST) over the state this
+     * transaction is mutating — the live base **plus** this txn's own staged writes-so-far
+     * (`203-MUTATOR-READS-DESIGN.md` §5.2; the same read-your-writes contract `get`
+     * provides, §4.1). Returns the query's rows as keyed JS objects with their materialized
+     * `related` children nested by name — presented identically to a `view.data` row of the
+     * same query ([`marshal::caught_node_to_js`]) — in the query's order.
+     *
+     * Mechanically this is [`Db::query`] minus the persisted `QueryReg`, pointed at the
+     * per-table read-cache forks (§4): for every table the AST reads it seeds a cache fork
+     * ([`ensure_fork`](Self::ensure_fork)) and registers a throwaway COW **fork-of-fork** of
+     * it as a *scratch* source node — `add_memory_source` takes the source by value, so the
+     * cache fork stays in `forks` for later reads/writes. It then builds a transient
+     * pipeline over those scratch nodes, hydrates the snapshot, and tears **everything**
+     * down — the pipeline (incl. its sink) and every scratch source — on **every** exit
+     * path, including a malformed-AST build failure (invariant 4). No durable sink is
+     * registered and nothing is delivered to any live query.
+     */
+    query(ast_json: any): any;
     /**
      * Stage a remove of `row` from `table`.
      */
@@ -236,6 +255,7 @@ export interface InitOutput {
     readonly writetxn_commit: (a: number) => [number, number, number];
     readonly writetxn_edit: (a: number, b: number, c: number, d: any, e: any) => [number, number];
     readonly writetxn_get: (a: number, b: number, c: number, d: any) => [number, number, number];
+    readonly writetxn_query: (a: number, b: any) => [number, number, number];
     readonly writetxn_remove: (a: number, b: number, c: number, d: any) => [number, number];
     readonly writetxn_rollback: (a: number) => void;
     readonly __wbindgen_malloc: (a: number, b: number) => number;

package/pkg/rindle.js

@@ -355,6 +355,33 @@ export class WriteTxn {
         }
         return takeFromExternrefTable0(ret[0]);
     }
+    /**
+     * Run a one-shot query (a `where`/`orderBy`/`limit`/join AST) over the state this
+     * transaction is mutating — the live base **plus** this txn's own staged writes-so-far
+     * (`203-MUTATOR-READS-DESIGN.md` §5.2; the same read-your-writes contract `get`
+     * provides, §4.1). Returns the query's rows as keyed JS objects with their materialized
+     * `related` children nested by name — presented identically to a `view.data` row of the
+     * same query ([`marshal::caught_node_to_js`]) — in the query's order.
+     *
+     * Mechanically this is [`Db::query`] minus the persisted `QueryReg`, pointed at the
+     * per-table read-cache forks (§4): for every table the AST reads it seeds a cache fork
+     * ([`ensure_fork`](Self::ensure_fork)) and registers a throwaway COW **fork-of-fork** of
+     * it as a *scratch* source node — `add_memory_source` takes the source by value, so the
+     * cache fork stays in `forks` for later reads/writes. It then builds a transient
+     * pipeline over those scratch nodes, hydrates the snapshot, and tears **everything**
+     * down — the pipeline (incl. its sink) and every scratch source — on **every** exit
+     * path, including a malformed-AST build failure (invariant 4). No durable sink is
+     * registered and nothing is delivered to any live query.
+     * @param {any} ast_json
+     * @returns {any}
+     */
+    query(ast_json) {
+        const ret = wasm.writetxn_query(this.__wbg_ptr, ast_json);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
     /**
      * Stage a remove of `row` from `table`.
      * @param {string} table

package/pkg/rindle_bg.wasm.d.ts

@@ -24,6 +24,7 @@ export const writetxn_add: (a: number, b: number, c: number, d: any) => [number,
 export const writetxn_commit: (a: number) => [number, number, number];
 export const writetxn_edit: (a: number, b: number, c: number, d: any, e: any) => [number, number];
 export const writetxn_get: (a: number, b: number, c: number, d: any) => [number, number, number];
+export const writetxn_query: (a: number, b: any) => [number, number, number];
 export const writetxn_remove: (a: number, b: number, c: number, d: any) => [number, number];
 export const writetxn_rollback: (a: number) => void;
 export const __wbindgen_malloc: (a: number, b: number) => number;

package/src/index.ts

@@ -39,6 +39,12 @@ export interface WasmWriteTxn {
   remove(table: string, row: unknown[]): void;
   edit(table: string, oldRow: unknown[], newRow: unknown[]): void;
   get(table: string, pk: unknown[]): unknown[] | undefined;
+  /** Run a one-shot query over the state this txn is mutating — the live base plus this
+   *  txn's own staged writes-so-far (read-your-writes; 203-MUTATOR-READS-DESIGN.md §5.2).
+   *  Synchronous (over a lazy read-cache fork of the staged buffer). Returns the query's rows
+   *  as keyed objects with their materialized `related` children nested by name (identical in
+   *  shape to a `view.data` row), in the query's order. */
+  query(ast: Ast): unknown[];
   commit(): Array<{ queryId: number; events: unknown[] }>;
   rollback(): void;
 }
@@ -78,6 +84,11 @@ type BatchSet = Array<{ queryId: number; events: unknown[] }>;
 export class WasmBackend<S extends ColsMap> implements Backend {
   private readonly db: WasmDb;
   private handler: (qid: QueryId, ev: ChangeEvent) => void = () => {};
+  // The Store's commit-boundary handler ({@link Backend.onCommitBoundary}): `dispatch` brackets
+  // each commit's per-query batch delivery with `begin`/`end` so the Store folds every affected
+  // view before notifying any subscriber (cross-view-atomic notification). Defaults to a no-op so
+  // a Store that never registers it (or none at all) just gets per-event notification.
+  private boundaryHandler: (phase: "begin" | "end") => void = () => {};
   /** Local-only table names (`201-LOCAL-ONLY-TABLES-DESIGN.md` §4): registered UNTRACKED (so the
    *  optimistic rewind never reverts them) and the only tables {@link writeLocal} accepts. */
   private readonly localTables: Set<string>;
@@ -159,28 +170,54 @@ export class WasmBackend<S extends ColsMap> implements Backend {
     this.handler = handler;
   }
 
+  /** Register the Store's commit-boundary handler ({@link Backend.onCommitBoundary}): `dispatch`
+   *  calls it around each commit's per-query batch delivery so the Store can fold every affected
+   *  view before notifying any subscriber. */
+  onCommitBoundary(handler: (phase: "begin" | "end") => void): void {
+    this.boundaryHandler = 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. */
+   *  only after every query has been delivered.
+   *
+   *  Cross-view-atomic notification: each commit is bracketed with `boundaryHandler("begin"/"end")`
+   *  so the Store folds ALL of this commit's views before notifying ANY subscriber (a subscriber
+   *  re-reading a sibling view then sees post-commit data). `begin`/`end` stay balanced even if a
+   *  fold throws (the `finally`), and a re-entrant write enqueued during the `end` flush drains as
+   *  its own bracketed commit in the next loop turn — preserving per-query commit order (#15). */
   private dispatch(batches: BatchSet): void {
     this.dispatchQueue.push(batches);
     if (this.draining) return; // an outer drain is running; it will deliver this set
     this.draining = true;
     let firstError: unknown;
     let hasError = false;
+    const note = (err: unknown) => {
+      if (!hasError) {
+        hasError = true;
+        firstError = err;
+      }
+    };
     try {
       while (this.dispatchQueue.length) {
         const next = this.dispatchQueue.shift()!;
-        for (const b of next) {
+        if (next.length === 0) continue; // an empty commit (no query changed) — no barrier needed
+        this.boundaryHandler("begin");
+        try {
+          for (const b of next) {
+            try {
+              this.handler(b.queryId, { type: "batch", events: b.events as never });
+            } catch (err) {
+              note(err);
+            }
+          }
+        } finally {
           try {
-            this.handler(b.queryId, { type: "batch", events: b.events as never });
+            this.boundaryHandler("end"); // flush: notify every folded view's subscribers
           } catch (err) {
-            if (!hasError) {
-              hasError = true;
-              firstError = err;
-            }
+            note(err);
           }
         }
       }