2 commits

Author	SHA1	Message	Date
Jeremiah Lowin	d41ff5bcd8	Rebuild guard tasks as end-and-reenter; remove imperative in-task elicit ... A task tool that returns InputRequiredResult now ends its leg (freeing the worker) and stores the ask as durable state; tasks/update enqueues a fresh Docket execution (the next leg) with accumulated request_state/input_responses injected via ctx. No worker ever blocks on input, so a parked task no longer holds up shutdown. Imperative ctx.elicit() inside a task is removed and raises with guard-pattern guidance. Co-Authored-By: Claude <noreply@anthropic.com>	2026-07-22 12:38:46 -04:00
Jeremiah Lowin	ef29b731ea	Add server-side claim production for tasks; emit resultType discriminator ... Widen the tools/call result serialization (via a refcounted, modern-gated wrap installed by TasksExtension) so a CreateTaskResult reaches the client instead of being stripped by the CallToolResult|InputRequiredResult surface — the SDK ships claim consumption but no production. Emit the resultType discriminator the protocol requires (task on CreateTaskResult, complete on the tasks/* results); the draft schema forbids it (additionalProperties:false), a contradiction reported upstream. Closes compliance gaps G1/G4/G5. Co-Authored-By: Claude <noreply@anthropic.com>	2026-07-22 08:03:32 -04:00