Skip to content

Fix deferred tool discovery and Harbor deadline handling#745

Merged
ericleepi314 merged 5 commits into
mainfrom
codex/fix-deferred-tool-discovery
Jul 24, 2026
Merged

Fix deferred tool discovery and Harbor deadline handling#745
ericleepi314 merged 5 commits into
mainfrom
codex/fix-deferred-tool-discovery

Conversation

@ericleepi314

Copy link
Copy Markdown
Collaborator

Summary

  • restore dynamically discovered tool schemas from provider-ready role: user history
  • prevent ToolSearch from advertising disabled tools
  • make Harbor-driven clawcodex runs aware of the stock task deadline without modifying benchmark timeouts or resources
  • ensure subscription credentials have enough runway for legitimate long-running tasks

Validation

  • pytest -q tests/test_harbor_time_budget.py tests/test_tool_search.py (45 passed)
  • focused integration suite (164 passed)
  • Terminal-Bench reruns confirmed the invalid tool-reference failures were eliminated; deadline-aware runs preserve Harbor's official timeout policy

Untracked local demo and tmp-tb-eval files are not included.

@ericleepi314
ericleepi314 merged commit 51ab795 into main Jul 24, 2026
2 checks passed
@ericleepi314
ericleepi314 deleted the codex/fix-deferred-tool-discovery branch July 24, 2026 17:31
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.

1 participant