test(abi,ffi): port TypeScript test suite to Idris2 + Zig; purge wokelangiser

.gitattributes

@@ -64,5 +64,6 @@ docs/** linguist-documentation
 .machine_readable/** linguist-generated
 container/** linguist-generated
 features/** linguist-generated
+generated/** linguist-generated
 verification/** linguist-generated
 contractile.just linguist-generated

.gitignore

@@ -115,17 +115,10 @@ site/dist/
 # asdf version manager
 .tool-versions
 generated/
-# Exception: wokelangiser artifacts (consent gates and reports committed, i18n excluded)
-!generated/wokelangiser/
-!generated/wokelangiser/consent/
-!generated/wokelangiser/consent/**
-!generated/wokelangiser/compliance-report.txt
 # Exception: directory README and tlaiser specs are source-controlled
 !generated/README.adoc
 !generated/tlaiser/
 !generated/tlaiser/**
-# wokelangiser generated i18n locale files (too large for GitHub, 192MB-2.2GB each)
-generated/wokelangiser/i18n/
 target/
 node_modules/
 _build/

GETTING-STARTED.md

@@ -22,12 +22,12 @@ just hello
 just test
 
 # Benchmark core operations
-deno bench --allow-env tests/bench/
+just test-zig-bench
 ```
 
 ## Configuration Files
 
-- **deno.json** — Deno tasks and dependencies (test, bench, lint tasks)
+- **gossamer-abi.ipkg / gossamer-abi-tests.ipkg** — Idris2 ABI package and its test runner
 - **flake.nix** — Nix development environment (fallback to guix.scm)
 - **guix.scm** — Primary Guix package definition for reproducible dev env
 - **gossamer.conf.json** — Runtime config: window size, IPC protocol, CSP, capabilities, sandbox

Justfile

@@ -215,8 +215,28 @@ test-conformance:
 test-integration:
     cd src/interface/ffi && zig test test/integration_test.zig
 
+# Run Zig unit / e2e tests ported from TypeScript (no display, no FFI required)
+test-zig-unit:
+    cd src/interface/ffi && zig test test/dialog_test.zig
+    cd src/interface/ffi && zig test test/webview_lifecycle_test.zig
+
+# Run Zig benchmarks (ReleaseFast for realistic numbers — printed to stderr)
+test-zig-bench:
+    cd src/interface/ffi && zig test -OReleaseFast test/gossamer_bench.zig
+    cd src/interface/ffi && zig test -OReleaseFast test/startup_bench.zig
+
+# Run Idris2 ABI tests (installs the library locally, builds and runs the test executable)
+test-abi:
+    #!/usr/bin/env bash
+    set -e
+    # idris2 on this host has a stale baked-in prefix; locate the real libdir via the binary
+    export IDRIS2_PREFIX="$(dirname "$(dirname "$(command -v idris2)")")"
+    idris2 --install gossamer-abi.ipkg
+    idris2 --build   gossamer-abi-tests.ipkg
+    ./build/exec/gossamer-abi-tests
+
 # Run all tests
-test: test-ffi test-integration test-conformance
+test: test-ffi test-integration test-zig-unit test-conformance test-abi
 
 # ═══════════════════════════════════════════════════════════════
 # Clean

TEST-NEEDS.md

@@ -46,5 +46,5 @@
 ## Run Tests
 
 ```bash
-deno test --no-check tests/
+just test
 ```