Implement the build side of spec shaking

.github/workflows/test-with-openzeppelin-contracts.yml

@@ -52,6 +52,7 @@ jobs:
       fail-fast: false
       matrix:
         dir: ${{ fromJSON(needs.collect-crates.outputs.dirs) }}
+        experimental_spec_shaking_v2: [true, false]
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
@@ -65,14 +66,34 @@ jobs:
       - run: echo "${{ github.workspace }}/stellar-cli" >> $GITHUB_PATH
       - run: rustup update
       - run: rustup target add wasm32v1-none
+      - name: Enable experimental_spec_shaking_v2 feature
+        if: matrix.experimental_spec_shaking_v2
+        run: |
+          find . -name Cargo.toml | while read -r file; do
+            # Add feature to entries with existing features
+            sed -i '/soroban-sdk = {/s|features = \[|features = ["experimental_spec_shaking_v2", |' "$file"
+            # Add features field to entries without features
+            sed -i '/soroban-sdk = {/{/features/!s| }|, features = ["experimental_spec_shaking_v2"] }|}' "$file"
+          done
+          cargo update -p soroban-sdk
+      - name: Diff
+        run: git diff
       - name: Build ${{ matrix.dir }}
         run: stellar contract build --manifest-path ${{ matrix.dir }}/Cargo.toml
       - name: Find wasm
-        if: ${{ startsWith(matrix.dir, 'examples/') }}
         id: find-wasm
         run: |
           wasm=$(find . -name '*.wasm' -path '*/wasm32v1-none/release/*' -not -path '*/deps/*' | head -1)
           echo "wasm=$wasm" | tee -a $GITHUB_OUTPUT
+      - name: Set artifact name
+        id: artifact-name
+        run: echo "name=wasm-$(echo ${{ matrix.dir }} | sed 's/\//-/g')${{ matrix.experimental_spec_shaking_v2 && '-spec-shaking-v2' || '' }}" | tee -a $GITHUB_OUTPUT
+      - name: Upload WASM artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: ${{ steps.artifact-name.outputs.name }}
+          path: ${{ steps.find-wasm.outputs.wasm }}
+          retention-days: 3
       - name: Verify interface
         if: ${{ startsWith(matrix.dir, 'examples/') }}
         run: |
@@ -104,3 +125,5 @@ jobs:
       - name: Verify spec
         if: ${{ startsWith(matrix.dir, 'examples/') }}
         run: stellar contract spec-verify --wasm ${{ steps.find-wasm.outputs.wasm }}
+      - name: Diff
+        run: git add -N . && git diff HEAD

.github/workflows/test-with-soroban-examples.yml

@@ -59,6 +59,7 @@ jobs:
       fail-fast: false
       matrix:
         dir: ${{ fromJSON(needs.collect-examples.outputs.dirs) }}
+        experimental_spec_shaking_v2: [true, false]
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
@@ -73,13 +74,34 @@ jobs:
       - run: echo "${{ github.workspace }}/stellar-cli" >> $GITHUB_PATH
       - run: rustup update
       - run: rustup target add wasm32v1-none
+      - name: Enable experimental_spec_shaking_v2 feature
+        if: matrix.experimental_spec_shaking_v2
+        run: |
+          find . -name Cargo.toml | while read -r file; do
+            # Add feature to entries with existing features
+            sed -i '/soroban-sdk = {/s|features = \[|features = ["experimental_spec_shaking_v2", |' "$file"
+            # Add features field to entries without features
+            sed -i '/soroban-sdk = {/{/features/!s| }|, features = ["experimental_spec_shaking_v2"] }|}' "$file"
+            (cd "$(dirname "$file")" && cargo update -p soroban-sdk 2>/dev/null || true)
+          done
+      - name: Diff
+        run: git diff
       - name: Build ${{ matrix.dir }}
         run: make -C ${{ matrix.dir }} build
       - name: Find wasm
         id: find-wasm
         run: |
           wasm=$(find ${{ matrix.dir }}/target -name '*.wasm' -path '*/wasm32v1-none/release/*' -not -path '*/deps/*' | head -1)
           echo "wasm=$wasm" | tee -a $GITHUB_OUTPUT
+      - name: Set artifact name
+        id: artifact-name
+        run: echo "name=wasm-$(echo ${{ matrix.dir }} | sed 's/\//-/g')${{ matrix.experimental_spec_shaking_v2 && '-spec-shaking-v2' || '' }}" | tee -a $GITHUB_OUTPUT
+      - name: Upload WASM artifacts
+        uses: actions/upload-artifact@v4
+        with:
+          name: ${{ steps.artifact-name.outputs.name }}
+          path: ${{ steps.find-wasm.outputs.wasm }}
+          retention-days: 3
       - name: Verify interface
         run: |
           output=$(stellar contract info interface --wasm ${{ steps.find-wasm.outputs.wasm }} --output json)
@@ -107,3 +129,5 @@ jobs:
           fi
       - name: Verify spec
         run: stellar contract spec-verify --wasm ${{ steps.find-wasm.outputs.wasm }}
+      - name: Diff
+        run: git add -N . && git diff HEAD

Cargo.toml

@@ -48,13 +48,13 @@ version = "25.0.0"
 
 # Dependencies from the rs-soroban-sdk repo:
 [workspace.dependencies.soroban-spec]
-version = "25.0.2"
+version = "25.2.0"
 
 [workspace.dependencies.soroban-spec-rust]
-version = "25.0.2"
+version = "25.2.0"
 
 [workspace.dependencies.soroban-sdk]
-version = "25.0.2"
+version = "25.2.0"
 
 [workspace.dependencies.soroban-env-host]
 version = "25.0.2"
@@ -138,4 +138,3 @@ lto = true
 [profile.release-with-panic-unwind]
 inherits = "release"
 panic = "unwind"
-

cmd/crates/soroban-spec-tools/Cargo.toml

@@ -29,6 +29,7 @@ hex = { workspace = true }
 wasmparser = { workspace = true }
 base64 = { workspace = true }
 thiserror = "1.0.31"
+wasm-encoder = "0.235.0"
 indexmap = { version = "2.7", features = ["serde"] }
 
 

cmd/crates/soroban-spec-tools/src/lib.rs

@@ -19,6 +19,7 @@ pub mod contract;
 pub mod event;
 pub mod utils;
 mod verify;
+pub mod wasm;
 
 pub use contract::sanitize;
 pub use verify::SpecWarning;