refactor(prover): remove legacy policy risk queries

Signed-off-by: Alexander Watson <zredlined@users.noreply.github.com>

.github/workflows/docker-build.yml

@@ -96,7 +96,7 @@ jobs:
             cli)
               binary_component=cli
               binary_name=openshell
-              features="bundled-z3"
+              features=""
               has_image=false
               ;;
             *)

.github/workflows/release-dev.yml

@@ -292,7 +292,7 @@ jobs:
           sed -i -E '/^\[workspace\.package\]/,/^\[/{s/^version[[:space:]]*=[[:space:]]*".*"/version = "'"${{ needs.compute-versions.outputs.cargo_version }}"'"/}' Cargo.toml
 
       - name: Build ${{ matrix.target }}
-        run: mise x -- cargo build --release --target ${{ matrix.target }} -p openshell-cli --features bundled-z3
+        run: mise x -- cargo build --release --target ${{ matrix.target }} -p openshell-cli
 
       - name: sccache stats
         if: always()

.github/workflows/release-tag.yml

@@ -324,7 +324,7 @@ jobs:
           sed -i -E '/^\[workspace\.package\]/,/^\[/{s/^version[[:space:]]*=[[:space:]]*".*"/version = "'"${{ needs.compute-versions.outputs.cargo_version }}"'"/}' Cargo.toml
 
       - name: Build ${{ matrix.target }}
-        run: mise x -- cargo build --release --target ${{ matrix.target }} -p openshell-cli --features bundled-z3
+        run: mise x -- cargo build --release --target ${{ matrix.target }} -p openshell-cli
 
       - name: sccache stats
         if: always()

.github/workflows/rust-native-build.yml

@@ -223,12 +223,6 @@ jobs:
           OPENSHELL_IMAGE_TAG: ${{ inputs['image-tag'] }}
         run: |
           set -euo pipefail
-          # z3 built with zig c++ uses libc++ symbols (std::__1::*).
-          # Override z3-sys default (stdc++) so Rust links the matching runtime.
-          if [[ "${{ inputs.component }}" == "cli" ]]; then
-            echo "CXXSTDLIB=c++" >> "$GITHUB_ENV"
-          fi
-
           mise x -- rustup target add "${{ steps.target.outputs.target }}"
           
           cargo_cmd=(cargo build)