Repository navigation
Confine macOS model child file access - #142
Conversation
Bind the model child Seatbelt file grants to Runtime-validated model, engine, journal, and socket paths. Add native child and descendant probes for unrelated file and network access. Source and one isolated provider-to-engine reply are verified; installed signed-in Home and full descriptor custody remain open. (cherry picked from commit c0f9107)
|
Independent adversarial review (Claude Opus, run by the operator for Anders, 2 October; different model family from the author). |
|
Mac condition for the operator’s adversarial PASS is complete at |
Runtime confines macOS model file access to admitted payloads, the pinned engine bundle, operator artifacts, the private journal and Runtime-owned sockets. Runtime owns descriptor verification and serialized Init authority. This protects other Home files while admission uses the existing provider process.
The candidate preserves all ten task paths from the accepted independent security review. It includes the independently reviewed #154 matcher as a dependency. PR #155 needs human approval and integration before this PR merges into develop.
Validation: the four basic gates pass. Accepted focused checks cover bridge and broker tests, child and descendant restrictions, socket lifecycle, late admission, outside symlinks, artifact writes and network ownership. All eight checks pass at 6f19912 in CI run 36801365883.
The exact installed candidate passes signed-in Home → visible Marketplace Get → Available → Open in Assistant → composer Send → readable SmolLM2 reply. The native completed journal binds the run to Assistant and the admitted offer. Built and installed Runtime SHA-256 is f946cc102dad1943772bb4a3a13a70e6db34a64f8bc402668a3dde16e69bddaf. Home, Marketplace and Assistant served files match source and installed hashes.
Cold readiness passes through the Runtime-issued signed Marketplace capsule. The offer, descriptor bytes, mtime and ctime remain unchanged. The earlier cold helper stopped at a hidden-window visibility precondition; that partial UI result is retained separately from the successful cold Runtime read. Automated reply media was inspected; human review and UX acceptance remain separate gates. All owned fixture processes stopped and the port is reusable. #141 owns exact receipts and results.