fix: filter unregistered profile tools from active set and improve missing tool error#228

Open

LifeJiggy wants to merge 8 commits into

MoonshotAI:mainfrom

LifeJiggy:fix/tool-websearch-not-found-filter

Commits on May 30, 2026

fix: filter unregistered profile tools from active set and improve missing tool error
LifeJiggy
committed
fix: defer builtin tool filtering until builtins are initialized
LifeJiggy
committed
fix: compute allowBackground from pending names before tool construction
LifeJiggy
committed
fix: address P2 issues from codex review
LifeJiggy
committed
fix: address Codex P1 on stale pending merge
LifeJiggy
committed
fix: clear pending on empty/MCP-only setActiveTools before init
LifeJiggy
committed
fix: retain capability-gated pending tool names across initializeBuiltinTools calls
LifeJiggy
committed
fix: clear pendingBuiltinToolNames on any fully-resolved replacement set (Codex P2)
LifeJiggy
committed