feat(snap): ship the standalone prover binary in the snap

Signed-off-by: Oliver Calder <oliver.calder@canonical.com>

Author: olivercalder

.github/workflows/release-canary.yml

@@ -231,9 +231,32 @@ jobs:
           docker info
           sudo snap connections openshell | grep -E '^docker +openshell:docker +:docker +'
           openshell --version
+          openshell.prover --version
           sudo snap services openshell
           openshell status
 
+      - name: Check a policy boundary with the Snap prover
+        run: |
+          set -euo pipefail
+          prover_dir=$(mktemp -d "$HOME/openshell-prover-canary.XXXXXX")
+          trap 'rm -rf "$prover_dir"' EXIT
+          cat >"$prover_dir/boundary.yaml" <<'EOF'
+          version: 1
+          filesystem_policy:
+            read_only:
+              - /usr
+              - /etc
+          EOF
+          cat >"$prover_dir/candidate.yaml" <<'EOF'
+          version: 1
+          filesystem_policy:
+            read_only:
+              - /usr
+          EOF
+          result=$(openshell.prover check "$prover_dir/candidate.yaml" \
+            --boundary "$prover_dir/boundary.yaml")
+          grep -q '^result: within_boundary$' <<<"$result"
+
       - name: Create and exercise a sandbox
         run: |
           set -euo pipefail

.github/workflows/snap-package.yml

@@ -89,6 +89,12 @@ jobs:
           name: openshell-${{ matrix.rust_arch }}-unknown-linux-musl
           path: prebuilt/cli
 
+      - name: Download prebuilt prover binary
+        uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
+        with:
+          name: openshell-prover-${{ matrix.rust_arch }}-unknown-linux-musl
+          path: prebuilt/prover
+
       - name: Download prebuilt gateway binary
         uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
         with:
@@ -105,6 +111,7 @@ jobs:
         run: |
           set -euo pipefail
           chmod +x prebuilt/cli/openshell
+          chmod +x prebuilt/prover/openshell-prover
           chmod +x prebuilt/gateway/openshell-gateway
           chmod +x prebuilt/sandbox/openshell-sandbox
           ls -laR prebuilt/
@@ -115,6 +122,7 @@ jobs:
           mkdir -p snap/prebuilt
 
           cp prebuilt/cli/openshell snap/prebuilt/openshell
+          cp prebuilt/prover/openshell-prover snap/prebuilt/openshell-prover
           cp prebuilt/gateway/openshell-gateway snap/prebuilt/openshell-gateway
           cp prebuilt/sandbox/openshell-sandbox snap/prebuilt/openshell-sandbox
 

CI.md

@@ -423,7 +423,7 @@ These workflows run after merge to publish dev/tagged artifacts and verify them.
 |---|---|
 | `.github/workflows/release-dev.yml` | Publishes the rolling `dev` build on every push to `main`. Builds gateway, sandbox, and supervisor images and binaries, packages, wheels, and pushes the Helm chart as `oci://ghcr.io/nvidia/openshell/helm-chart:0.0.0-dev` (plus an immutable `0.0.0-dev.<sha>` pin). Also dispatchable manually. |
 | `.github/workflows/release-tag.yml` | Publishes tagged stable releases and manually dispatched pre-releases. Its automatic tag trigger excludes `-pre.*`. Security and integration failures do not block pre-release artifact publication. Stable publication requires the currently implemented qualification profile to pass; the summary identifies the remaining RFC 0014 coverage. |
-| `.github/workflows/release-canary.yml` | Smoke-tests published dev artifacts in the `macos`, `ubuntu-deb`, `ubuntu-snap-system-docker`, `fedora`, and `kubernetes` (kind + Helm) jobs. Each job reaches its gateway and creates, exercises, and deletes a sandbox. The Snap lanes verify a compatible system Docker lifecycle and `ubuntu-snap-docker-preflight` tests fail-fast behavior when Docker is absent or supplied by the Docker snap. It runs automatically after `Release Dev` succeeds and supports manual dispatch (`gh workflow run release-canary.yml --ref <branch>`). See the `test-release-canary` skill for the playbook and local kind reproduction. |
+| `.github/workflows/release-canary.yml` | Smoke-tests published dev artifacts in the `macos`, `ubuntu-deb`, `ubuntu-snap-system-docker`, `fedora`, and `kubernetes` (kind + Helm) jobs. Each job reaches its gateway and creates, exercises, and deletes a sandbox. The positive Snap lane also runs a local policy containment check with the packaged prover. The Snap lanes verify a compatible system Docker lifecycle and `ubuntu-snap-docker-preflight` tests fail-fast behavior when Docker is absent or supplied by the Docker snap. It runs automatically after `Release Dev` succeeds and supports manual dispatch (`gh workflow run release-canary.yml --ref <branch>`). See the `test-release-canary` skill for the playbook and local kind reproduction. |
 
 ## Required status contexts
 

architecture/build.md

@@ -77,12 +77,13 @@ not reintroduce bundled Mozilla roots. Release builds that need bundled Z3
 continue to opt in with `bundled-z3`.
 
 Release workflows build the standalone `openshell-prover` executable for Linux
-musl x86_64 and aarch64 and macOS Apple Silicon. The standard Debian, RPM, and
-Homebrew installations include it. Releases also publish one standalone archive
-per target plus a dedicated SHA-256 manifest. Before publication, target-native
-jobs extract each archive, reject host Z3 or Nix store linkage, and run a real
-local containment check. The standalone artifact therefore requires neither an
-OpenShell installation nor a separately installed Z3 runtime.
+musl x86_64 and aarch64 and macOS Apple Silicon. The standard Snap, Debian,
+RPM, and Homebrew installations include it. Releases also publish one
+standalone archive per target plus a dedicated SHA-256 manifest. Before
+publication, target-native jobs extract each archive, reject host Z3 or Nix
+store linkage, and run a real local containment check. The standalone artifact
+therefore requires neither an OpenShell installation nor a separately installed
+Z3 runtime.
 
 ## Linux Runtime Environments
 

docs/about/installation.mdx

@@ -73,6 +73,11 @@ The snap requires Docker Engine installed from your distribution or Docker's pac
 sudo snap install openshell
 ```
 
+The snap installs the standalone policy prover as `openshell.prover`. The
+`openshell-prover` alias requires Snap Store approval and may not be available.
+The prover reads local policy files through the `home` interface and does not
+connect to the gateway.
+
 The snap does not migrate existing Debian, RPM, or Homebrew installs. Remove any existing installation first, then rerun the script with `OPENSHELL_ACK_BREAKING_UPGRADE=1`.
 
 The gateway runs as a system service at `http://127.0.0.1:17670` and reads `/var/snap/openshell/common/gateway.toml`.

docs/about/support-matrix.mdx

@@ -106,6 +106,11 @@ OpenShell publishes standalone `openshell-prover` release assets for manual down
 
 These artifacts are attached to GitHub releases. The Linux binaries are static and do not require glibc. All prover archives include the required solver linkage.
 
+The Debian, RPM, Homebrew, and Snap packages also include the prover. Debian,
+RPM, and Homebrew installations expose it as `openshell-prover`; use
+`openshell.prover` with the Snap. The `openshell-prover` Snap alias requires
+Store approval and may not be available.
+
 ## Runtimes
 
 The gateway can manage sandboxes through several runtimes.

docs/how-it-works/policies/prover.mdx

@@ -25,6 +25,10 @@ curl -LsSf https://raw.githubusercontent.com/NVIDIA/OpenShell/main/install.sh |
 openshell-prover --version
 ```
 
+For Snap installations, replace `openshell-prover` in these examples with
+`openshell.prover`. The `openshell-prover` Snap alias requires Store approval
+and may not be available.
+
 The prover remains independent of the gateway at runtime. If you only need the
 standalone binary, use the artifacts listed in the
 [Support Matrix](/about/support-matrix#standalone-policy-prover). These

nix/test-guest/scripts/snap-gateway-repro.sh

@@ -127,20 +127,39 @@ for attempt in $(seq 1 "${attempts}"); do
 	fi
 
 	sandbox="snap-${attempt}-$$"
+	prover_dir=$(mktemp -d "$HOME/openshell-prover-repro.XXXXXX")
+	cat >"${prover_dir}/boundary.yaml" <<'EOF'
+version: 1
+filesystem_policy:
+  read_only:
+    - /usr
+    - /etc
+EOF
+	cat >"${prover_dir}/candidate.yaml" <<'EOF'
+version: 1
+filesystem_policy:
+  read_only:
+    - /usr
+EOF
 	if ! OPENSHELL_VERSION=dev sh "${install_script}" ||
 		! sudo snap list openshell >/dev/null ||
 		! snap info openshell | grep -Eq '^tracking: +latest/edge$' ||
 		! docker_is_ready ||
 		! sudo snap connections openshell | grep -Eq '^docker +openshell:docker +:docker +' ||
 		! /snap/bin/openshell status ||
+		! /snap/bin/openshell.prover --version ||
+		! /snap/bin/openshell.prover check "${prover_dir}/candidate.yaml" \
+			--boundary "${prover_dir}/boundary.yaml" | grep -q '^result: within_boundary$' ||
 		! /snap/bin/openshell sandbox create --name "${sandbox}" --detach ||
 		! /snap/bin/openshell sandbox exec --name "${sandbox}" --no-tty -- true ||
 		! /snap/bin/openshell sandbox delete "${sandbox}"; then
 		echo "install.sh Snap reproduction failed" >&2
 		diagnostics "${attempt}"
 		failures=$((failures + 1))
+		rm -rf "${prover_dir}"
 		continue
 	fi
+	rm -rf "${prover_dir}"
 
 	if sudo snap list docker >/dev/null 2>&1; then
 		echo "install.sh unexpectedly installed the Docker snap" >&2

snapcraft.yaml

@@ -12,7 +12,8 @@ description: |
   profile-backed model-provider access.
 
   The OpenShell snap ships a CLI (`openshell`), a terminal UI
-  (`openshell.term`), and a managed gateway daemon (`openshell.gateway`).
+  (`openshell.term`), a standalone policy prover (`openshell.prover`), and a
+  managed gateway daemon (`openshell.gateway`).
 
   **Setup instructions**
 
@@ -85,6 +86,12 @@ apps:
       - home
       - network
       - system-observe
+  prover:
+    command: bin/openshell-prover
+    aliases:
+      - openshell-prover
+    plugs:
+      - home
   gateway:
     command: bin/openshell-gateway-wrapper
     daemon: simple
@@ -120,7 +127,7 @@ parts:
       set -euo pipefail
 
       MISSING=()
-      for bin in openshell openshell-gateway openshell-sandbox openshell-gateway-wrapper; do
+      for bin in openshell openshell-prover openshell-gateway openshell-sandbox openshell-gateway-wrapper; do
         if [ ! -f "$CRAFT_PART_SRC/$bin" ]; then
           MISSING+=("$bin")
         fi
@@ -138,6 +145,8 @@ parts:
 
       install -D -m 0755 "$CRAFT_PART_SRC/openshell" \
         "$CRAFT_PART_INSTALL/bin/openshell"
+      install -D -m 0755 "$CRAFT_PART_SRC/openshell-prover" \
+        "$CRAFT_PART_INSTALL/bin/openshell-prover"
       install -D -m 0755 "$CRAFT_PART_SRC/openshell-gateway" \
         "$CRAFT_PART_INSTALL/bin/openshell-gateway"
       install -D -m 0755 "$CRAFT_PART_SRC/openshell-sandbox" \

tasks/scripts/test-packaging-assets.sh

@@ -80,6 +80,7 @@ assert_not_contains "$spec" '%%S/openshell/tls'
 # Schema-v2 package startup wiring.
 snap_wrapper="${ROOT}/tasks/scripts/snap-gateway-wrapper.sh"
 snapcraft="${ROOT}/snapcraft.yaml"
+snap_workflow="${ROOT}/.github/workflows/snap-package.yml"
 snap_install_docs="${ROOT}/docs/about/installation.mdx"
 snap_canary="${ROOT}/.github/workflows/release-canary.yml"
 snap_repro="${ROOT}/nix/test-guest/scripts/snap-gateway-repro.sh"
@@ -88,6 +89,7 @@ snap_install_hook="${ROOT}/snap/hooks/install"
 package_deb="${ROOT}/tasks/scripts/package-deb.sh"
 assert_file_exists "$snap_wrapper"
 assert_file_exists "$snapcraft"
+assert_file_exists "$snap_workflow"
 assert_file_exists "$snap_install_docs"
 assert_file_exists "$snap_canary"
 assert_file_exists "$snap_repro"
@@ -125,14 +127,33 @@ if [[ ! -x "$snap_install_hook" ]]; then
 fi
 assert_contains "$snap_install_hook" 'allow_unauthenticated_users = true'
 bash "$ROOT/tasks/scripts/test-snap-install-hook.sh" "$snap_install_hook"
+assert_contains "$snap_workflow" 'name: openshell-prover-${{ matrix.rust_arch }}-unknown-linux-musl'
+assert_contains "$snap_workflow" 'chmod +x prebuilt/prover/openshell-prover'
+assert_contains "$snap_workflow" 'cp prebuilt/prover/openshell-prover snap/prebuilt/openshell-prover'
+assert_contains "$snapcraft" 'for bin in openshell openshell-prover openshell-gateway openshell-sandbox openshell-gateway-wrapper; do'
+assert_contains "$snapcraft" '"$CRAFT_PART_INSTALL/bin/openshell-prover"'
+if ! awk '
+  /^  prover:$/ { in_prover = 1; next }
+  in_prover && /^  [[:alnum:]_-]+:$/ { finished = 1; exit }
+  in_prover && /command: bin\/openshell-prover/ { command = 1 }
+  in_prover && /- openshell-prover/ { alias = 1 }
+  in_prover && /- home/ { home = 1 }
+  in_prover && /- (docker|log-observe|network|network-bind|system-observe)/ { broad_plug = 1 }
+  END { exit !(in_prover && finished && command && alias && home && !broad_plug) }
+' "$snapcraft"; then
+  echo "FAIL: Snap prover app must expose the openshell-prover alias with only home access" >&2
+  exit 1
+fi
 assert_not_contains "$snap_install_docs" "snap connect openshell:home"
 assert_not_contains "$snap_install_docs" "snap connect openshell:network"
 assert_not_contains "$snap_install_docs" "snap connect openshell:network-bind"
 assert_contains "$snap_install_docs" "snap connect openshell:docker :docker"
 assert_contains "$snap_canary" "install.sh | sh"
 assert_contains "$snap_canary" "ubuntu-snap-system-docker:"
 assert_contains "$snap_canary" "ubuntu-snap-docker-preflight:"
+assert_contains "$snap_canary" "openshell.prover check"
 assert_contains "$snap_repro" 'OPENSHELL_VERSION=dev sh "${install_script}"'
+assert_contains "$snap_repro" "/snap/bin/openshell.prover check"
 assert_contains "$snap_repro" "system-docker"
 assert_contains "$snap_repro" "missing-docker"
 assert_contains "$snap_repro" "docker-snap"