ci: verify Windows (MinGW) and WebAssembly (emscripten) builds

Adds two CI jobs so 'runs anywhere' is backed, not asserted:
- windows: MSYS2/MinGW builds the loadable DLL, builds and runs the
  static soak driver (the portability proof, no load_extension needed),
  and loads the DLL through the SQLite CLI.
- wasm: emscripten compiles the soak to WebAssembly and runs it under
  node, proving the operations are correct in a wasm runtime.

Makefile: -lm on the Windows config (MinGW math), and a soak-wasm target.
The static soak is the core check on both platforms because it needs no
Python (whose Windows sqlite3 often can't load extensions) and no
browser.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Signed-off-by: mstrathman <matthew.strathman@gmail.com>

Author: mstrathman

.github/workflows/ci.yml

@@ -66,3 +66,36 @@ jobs:
             predict-tabular.c predict-receipts.c vendor/sha256.c \
             vendor/sqlite3.c -o fuzz_predict -lm -lpthread -ldl
           ./fuzz_predict -max_total_time=60 -max_len=512 fuzz/seeds
+
+  windows:
+    name: windows (mingw)
+    runs-on: windows-latest
+    defaults:
+      run:
+        shell: msys2 {0}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: msys2/setup-msys2@v2
+        with:
+          msystem: MINGW64
+          update: true
+          install: >-
+            mingw-w64-x86_64-gcc make curl unzip mingw-w64-x86_64-sqlite3
+      - name: Build loadable DLL
+        run: make loadable
+      - name: Build + run soak (static, portability proof)
+        run: make soak && ./dist/soak
+      - name: Load the DLL via the SQLite CLI
+        run: |
+          sqlite3 ":memory:" ".load ./dist/predict0" "SELECT predict_version();"
+
+  wasm:
+    name: wasm (emscripten)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: mymindstorm/setup-emsdk@v14
+      - name: Compile soak to WebAssembly
+        run: make soak-wasm CC=emcc
+      - name: Run under node
+        run: node dist/soak.js

Makefile

@@ -29,6 +29,7 @@ endif
 
 ifdef CONFIG_WINDOWS
 LOADABLE_EXTENSION=dll
+LDFLAGS+=-lm
 endif
 
 CC?=gcc
@@ -111,11 +112,18 @@ test-valgrind: vendor/sqlite3ext.h sqlite-predict.h
 	  valgrind --leak-check=full --error-exitcode=9 --errors-for-leak-kinds=definite \
 	    ./dist/soak-linux"
 
-# standalone soak binary (used by CI valgrind, and runnable directly)
+# standalone soak binary (used by CI valgrind + Windows, runnable directly)
 soak: $(prefix) vendor/sqlite3ext.h sqlite-predict.h
 	$(CC) -std=c99 -g -O0 -Ivendor/ -I./ -DSQLITE_CORE -DSQLITE_PREDICT_STATIC \
 	  tests/soak.c $(OBJS) vendor/sqlite3.c -o $(prefix)/soak $(LDFLAGS)
 
+# WebAssembly soak (emscripten): compiles the static soak to wasm. CI runs
+# it under node to prove the code is wasm-portable and correct there.
+soak-wasm: $(prefix) vendor/sqlite3ext.h sqlite-predict.h
+	emcc -std=c99 -O1 -Ivendor/ -I./ -DSQLITE_CORE -DSQLITE_PREDICT_STATIC \
+	  -sALLOW_MEMORY_GROWTH -sEXIT_RUNTIME=1 -sSTACK_SIZE=1048576 \
+	  tests/soak.c $(OBJS) vendor/sqlite3.c -o $(prefix)/soak.js
+
 clean:
 	rm -rf $(prefix) sqlite-predict.h