Token counting for MCP tools now tracks which tools are actually loaded vs. deferred, providing more accurate context budget reporting when tool search is enabled.
Evidence
jyA() at line 402721 (returns mcpToolTokens, deferredToolTokens, loadedMcpToolNames)
Strings lifted out of the shipped bundle, so the claim above can be checked against them.