Commit: a18a458f2552ac5cd9dd561a834049b98b202ae9
Environment: real T3 dev server, isolated fresh database, Claude provider, synthetic ticketdesk stdio MCP server.
Local reproduction-only adjustment: idle timeout 45 seconds; MCP initialize delay 4 seconds.
Same Claude session resumed after its original process exited.

2026-11-12T07:07:59.392Z {"type": "deferred_tools_delta", "addedNames": [], "addedLines": [], "removedNames": ["mcp__ticketdesk__lookup_ticket"], "wireHiddenNames": [], "readdedNames": [], "pendingMcpServers": ["ticketdesk"], "needsAuthMcpServers": [], "failedMcpServers": []}
2026-11-12T07:07:59.392Z {"type": "mcp_instructions_delta", "addedNames": [], "addedBlocks": [], "removedNames": ["ticketdesk"]}
REQUEST CONTENT The following deferred tools are no longer available (their MCP server disconnected). Do not search for them — ToolSearch will return no match:
mcp__ticketdesk__lookup_ticket

This is ambient context — do not narrate it to the user unless they ask or it is directly relevant to their request.

The following MCP servers are still connecting — their tools (typically named mcp__<server>__*) are not yet available but will appear shortly:
ticketdesk

If the user's request might be served by one of these servers (even if they didn't name it explicitly), call ToolSearch with a relevant keyword — ToolSearch will wait for connecting servers and search their tools once available. Do not report a capability as unavailable without first searching.

The following MCP servers have disconnected. Their instructions above no longer apply:
ticketdesk

This is ambient context — do not narrate it to the user unless they ask or it is directly relevant to their request.


2026-11-12T07:07:59.423Z API request
2026-11-12T07:08:04.746Z TOOL mcp__ticketdesk__lookup_ticket {"id": "T-2"}
2026-11-12T07:08:04.765Z {"type": "deferred_tools_delta", "addedNames": ["mcp__ticketdesk__lookup_ticket"], "addedLines": [], "removedNames": [], "wireHiddenNames": [], "readdedNames": ["mcp__ticketdesk__lookup_ticket"], "pendingMcpServers": [], "needsAuthMcpServers": [], "failedMcpServers": []}
2026-11-12T07:08:04.765Z {"type": "mcp_instructions_delta", "addedNames": ["ticketdesk"], "addedBlocks": ["## ticketdesk\nUse ticketdesk tools to look up support tickets."], "removedNames": []}
REQUEST CONTENT 1 deferred tool is available again (MCP server reconnected — names announced earlier in this conversation): mcp__ticketdesk__*. Load via ToolSearch as before.

# MCP Server Instructions

The following MCP servers have provided instructions for how to use their tools and resources:

## ticketdesk
Use ticketdesk tools to look up support tickets.


2026-11-12T07:08:04.774Z API request
2026-11-12T07:08:06.561Z ASSISTANT Ticket T-2 is **OPEN** and owned by **alice**.
CLI result: Ticket T-2 is **OPEN** and owned by **alice**.