From ad953f64ec51948ce324f825cd8699cc73a2db4a Mon Sep 17 00:00:00 2001 From: Johnny Greco Date: Sat, 12 Sep 2026 02:12:25 +0000 Subject: [PATCH] docs(build): describe prover distribution directly Signed-off-by: Johnny Greco --- architecture/build.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/architecture/build.md b/architecture/build.md index 3f9e8f8b3..a85b22814 100644 --- a/architecture/build.md +++ b/architecture/build.md @@ -88,11 +88,10 @@ 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, following the same package-managed pattern -as `openshell-gateway`. 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 +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