Skip to content

fix: hide unbridged git tools in sandbox#431

Merged
chubes4 merged 1 commit into
mainfrom
fix/issue-428-sandbox-git-tools
Jun 1, 2026
Merged

fix: hide unbridged git tools in sandbox#431
chubes4 merged 1 commit into
mainfrom
fix/issue-428-sandbox-git-tools

Conversation

@chubes4
Copy link
Copy Markdown
Collaborator

@chubes4 chubes4 commented Jun 1, 2026

Summary

  • Moves unbridged git-backed workspace evidence tools out of the sandbox-safe DMC allow-list and into the parent-only policy.
  • Updates sandbox policy smoke coverage so git-backed tools cannot be advertised without a host bridge.
  • Aligns sandbox tool docs with the actual safe edit path: read/list/grep/write/edit plus read-only GitHub context.

Closes #428

Testing

  • npm install (also ran npm run build via prepare)
  • npm run sandbox-tool-policy-smoke
  • npm run agent-sandbox-code-smoke
  • npm run build
  • git diff --check

AI assistance

  • AI assistance: Yes
  • Tool(s): OpenCode (GPT-5.5)
  • Used for: Read the issue/related PR context, drafted the minimal sandbox policy/docs/smoke-test changes, and ran focused verification. Chris remains responsible for review and merge.

@chubes4 chubes4 merged commit 853f656 into main Jun 1, 2026
@chubes4 chubes4 deleted the fix/issue-428-sandbox-git-tools branch June 1, 2026 22:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

sandbox tools: provide host-backed git status/diff or hide git-backed tools

1 participant