Retarget Codex developer bridge for proxy tools - #527
Open
TheGreatAxios wants to merge 4 commits into
Open
Conversation
Why: Codex-trained models call apply_patch from pinned instructions, but Corbits only advertised write_file/edit_file/delete_file. That dialect mismatch hurts Codex evals versus Codex-native harnesses. What changed: Codex-only apply_patch proxy (parse envelope, forward through posix write/edit/delete), shared product-mutation ownership, primary deny unchanged, IMPLEMENT/DOCS allowlists, docs leaves refuse Delete/Move via allowDelete. Bridge text left for the next stacked change. Test plan: bun test on codex-apply-patch, codex-tool-proxies, codex-tool-mount, product-mutation-tools, tool-sets; bun run typecheck.
createUpdatePlanProxy called runTool("manage_tasks", ...), but runTool
forwards only to posixTools, which has no manage_tasks handler — every
update_plan call errored with "unknown tool: manage_tasks". Give
createCodexToolProxies its own runManageTasks callback and wire each
mount site (tools.ts, subagent/run.ts) to the same manage_tasks logic
their stringTool handler already uses. Also fix requireOk's hardcoded
"apply_patch failed" label to use the actual label argument.
Tests: dropped the manage_tasks special case from the apply_patch mock
recorder (posixTools has no such handler, so it now falls through to
the accurate "unknown tool" branch), and added coverage that dispatches
through the real parseManageTasksArgs/applyManageTasks pair and through
the real createAgentToolset mount with unstubbed posixTools — both
would have caught the dead dispatch.
TheGreatAxios
force-pushed
the
cl-6695-retarget-the-codex-developer-bridge-for-proxy-tools
branch
from
August 22, 2026 22:52
782cdec to
e97732d
Compare
TheGreatAxios
changed the base branch from
cl-6696-proxy-codex-native-tool-names-onto-corbits-tools
to
main
August 22, 2026 22:55
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.
The developer bridge message told the model Codex CLI tools (apply_patch, update_plan, shell) do not exist and to ignore all tool references — false now that this branch proxies them onto Corbits tools. Rewrites the bridge to name Corbits as the harness, confirm the proxies are live with matching permissions, and defer to the current tool list and operating prompt where they differ.
Fixes CL-6695. Stacked on #505.
https://linear.app/abklabs/issue/CL-6695