chore(release): v0.9.2 — macOS static-z3 hotfix#65
Merged
Conversation
Pin openshell fork v0.6.3 -> v0.6.4: the macOS aarch64 openshell binary now static-links z3 (bundled-z3 via zig), so it no longer needs Homebrew's libz3.4.15.dylib at runtime. Verified on the published artifact: otool -L shows only system libs (no z3 / no /opt/homebrew) and the binary runs. Completes v0.9.1's clean-box promise on macOS (Linux was already static). Curated CHANGELOG aggregates this fix plus #64 (openlock-to9): compiled 'openlock sandbox' now exits cleanly after the harness instead of hanging.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
v0.9.2 — macOS clean-box hotfix
Hotfix completing v0.9.1's "works on a clean box" promise on macOS. Closes the macOS half of the z3 story (v0.9.1 fixed Linux only).
What's in it
openshellbinary is now z3-free at runtime (openlock-pvq). Pins openshell forkv0.6.3→v0.6.4. The fork'sbuild-macosjob now static-links z3 (bundled-z3) using zig as the C/C++ toolchain — GitHub's Apple-clang runners can't compile the vendored z3, but zig is deterministic and was locally proven. Previously the macOS aarch64 binary dynamically linked/opt/homebrew/opt/z3/lib/libz3.4.15.dylib, so on a Mac withoutbrew install z3it died at startup (dyld: Library not loaded) andopenlock sandboxfailed at the provider step.openlock sandboxexits cleanly after the harness (openlock-to9, already merged as fix(sandbox): exit cleanly after harness instead of hanging (openlock-to9) #64). No longer hangs atGateway kept running …on a normal harness exit.Verification
v0.6.4→openlock releaserun 27361383833 all jobs green (Linux arm64/amd64, macOS aarch64, Release).openshell-aarch64-apple-darwinbinary verified:otool -Lshows onlylibc++/Security/CoreFoundation/libiconv/libSystem— no z3, no Homebrew, no/opt— andopenshell --version→0.6.4.lint✓ ·typecheck✓ ·bun test768 pass / 0 fail ✓ ·knip✓.Remaining (post-merge)
openlock sandboxend-to-end on a Mac with no brew z3). Can't be faithfully run on the dev box — it has both the fork checkout (forces dev mode) and brew z3. Theotoolproof on the released artifact is decisive for the dyld-load failure mode; this is the belt-and-suspenders runtime confirmation.openlock-pvqstays open until then.Refs:
openlock-pvq,openlock-to9(#64), memoryproject_v0_9_1_devbox_enablement.