Merge origin/main into fazxes/native-workspace-indexer

.github/workflows/ci.yml

@@ -238,6 +238,9 @@ jobs:
       - name: Install terminal test dependencies
         run: npm ci --prefix sdk/node
 
+      - name: Install the durable Worlds
+        run: npm ci --prefix sdk/durable
+
       - name: Test Node + WASM
         run: npm run --prefix sdk test:node-wasm
 
@@ -248,6 +251,15 @@ jobs:
           node --experimental-wasm-jspi sdk/tests/test-mcp-adapter.mjs http wasm
           node --experimental-wasm-jspi sdk/tests/test-skills-adapter.mjs host wasm
 
+      - name: Test durable sessions on Wasm
+        run: |
+          node --experimental-wasm-jspi sdk/tests/test-durable.mjs memory wasm
+          node --experimental-wasm-jspi sdk/tests/test-durable.mjs local wasm
+          node --experimental-wasm-jspi sdk/tests/test-durable-codex-crash.mjs wasm
+
+      - name: Type-check the TypeScript declarations
+        run: node sdk/tests/test-types.mjs
+
   sdk-node-napi:
     name: SDK (Node + N-API)
     needs: sdk-napi
@@ -282,6 +294,19 @@ jobs:
           node sdk/tests/test-mcp-adapter.mjs stdio native
           node sdk/tests/test-skills-adapter.mjs disk native
 
+      - name: Install the durable Worlds
+        run: npm ci --prefix sdk/durable
+
+      - name: Test durable sessions on N-API
+        run: |
+          node sdk/tests/test-durable.mjs memory native
+          node sdk/tests/test-durable.mjs local native
+          node sdk/tests/test-durable.mjs world native
+          node sdk/tests/test-durable-codex-crash.mjs native
+          node sdk/tests/test-durable-core.mjs memory
+          node sdk/tests/test-durable-core.mjs local
+          node sdk/tests/test-durable-core.mjs world
+
   sdk-bun:
     name: SDK (Bun + N-API/WASM)
     needs: [sdk-wasm, sdk-napi]
@@ -320,6 +345,9 @@ jobs:
       - name: Install terminal test dependencies
         run: npm ci --prefix sdk/node
 
+      - name: Install the durable Worlds
+        run: npm ci --prefix sdk/durable
+
       - name: Test Bun + N-API
         run: bun sdk/tests/test-node-napi.mjs
 
@@ -327,13 +355,49 @@ jobs:
         run: bun sdk/tests/test-node-wasm.mjs
 
       - name: Test Bun benchmark path
-        run: bun sdk/tests/test-libfx-benchmark.mjs
+        run: |
+          bun sdk/tests/test-libfx-benchmark.mjs
+          bun sdk/tests/test-durable-harness.mjs
+
+      - name: Test durable sessions on Bun
+        run: |
+          bun sdk/tests/test-durable.mjs memory native
+          bun sdk/tests/test-durable.mjs local native
+          bun sdk/tests/test-durable-core.mjs memory
+          bun sdk/tests/test-durable-core.mjs local
+
+      - name: Model-check durable sessions and drive the code along the model
+        run: |
+          set -euo pipefail
+          jar="$RUNNER_TEMP/tla2tools.jar"
+          curl -fsSL -o "$jar" https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/tla2tools.jar
+          echo "936a262061c914694dfd669a543be24573c45d5aa0ff20a8b96b23d01e050e88  $jar" | sha256sum -c -
+          TLA2TOOLS_JAR="$jar" sdk/tests/model/check.sh
+          bun sdk/tests/model/drive.mjs send --walks 40
+          bun sdk/tests/model/drive.mjs lookup --walks 40 --seed 7
+          bun sdk/tests/model/drive.mjs send --walks 20 --seed 3 --durability world
+          bun sdk/tests/model/drive.mjs lookup --walks 20 --seed 9 --durability world
+          bun sdk/tests/model/drive.mjs cutoff --walks 20 --seed 5
+          bun sdk/tests/model/drive.mjs leased --walks 40 --seed 12
+
+      - name: Test libfx on a World
+        run: |
+          # The World libfx bundles, installed above from its lockfile.
+          world_root=sdk/durable
+          node sdk/tests/test-world-persistence.mjs "$world_root" native
+          node --experimental-wasm-jspi sdk/tests/test-world-persistence.mjs "$world_root" wasm
+          bun sdk/tests/test-world-persistence.mjs "$world_root" native
+          bun sdk/tests/test-world-persistence.mjs "$world_root" wasm
 
       - name: Test Bun cross-backend integrations
         run: |
           bun sdk/tests/test-agent-bootstrap.mjs auto
           bun sdk/tests/test-checkpoint.mjs native wasm
           bun sdk/tests/test-checkpoint.mjs wasm native
+          bun sdk/tests/test-journal.mjs native wasm
+          bun sdk/tests/test-journal.mjs wasm native
+          bun sdk/tests/test-tool-contract.mjs native
+          bun sdk/tests/test-tool-contract.mjs wasm
           bun sdk/tests/test-host-tools.mjs native
           bun sdk/tests/test-host-tools.mjs wasm
           bun sdk/tests/test-host-tool-cancel.mjs native

.github/workflows/publish-libfx.yml

@@ -246,6 +246,9 @@ jobs:
           name: libfx-wasm
           path: wasm-artifacts
 
+      - name: Install the durable Worlds
+        run: npm ci --prefix sdk/durable
+
       - name: Assemble package
         env:
           LIBFX_VERSION: ${{ needs.metadata.outputs.version }}
@@ -281,7 +284,9 @@ jobs:
             const names = new Set(report.files.map(({ path }) => path));
             const required = [
               "package.json", "README.md", "LICENSE", "browser.js", "node.js", "node.cjs", "fx-sdk.js", "wasm-module.js",
-              "core-output.js", "fetch-cleanup.js", "mcp.js", "skills.js", "skills-node.js",
+              "core-output.js", "fetch-cleanup.js", "mcp.js", "skills.js", "skills-node.js", "chatgpt.js", "chatgpt-sign-in.js",
+              "durable.js", "fx-harness.js", "durable/local.mjs", "durable/vercel.mjs", "durable/world.mjs",
+              "types/browser.d.ts", "types/chatgpt.d.ts", "types/durable-local.d.ts", "types/durable-vercel.d.ts", "types/durable-world.d.ts", "types/libfx.d.cts", "types/mcp.d.ts", "types/node.d.cts", "types/node.d.ts", "types/skills-node.d.ts", "types/skills.d.ts", "types/wasm.d.ts",
               "fx-core.wasm", "fx-term.wasm",
               "libfx.linux-x64.node", "libfx.linux-arm64.node",
               "libfx.darwin-x64.node", "libfx.darwin-arm64.node",