Make unified exec session_id numeric (#14279)

It's a number on the write_stdin input, make it a number on the output
and also internally.
This commit is contained in:
pakrym-oai
2026-03-10 18:38:39 -07:00
committed by Michael Bolin
parent 01792a4c61
commit 31bf1dbe63
7 changed files with 99 additions and 127 deletions

View File

@@ -59,7 +59,7 @@ fn unified_exec_output_schema() -> JsonValue {
"description": "Process exit code when the command finished during this call."
},
"session_id": {
"type": "string",
"type": "number",
"description": "Session identifier to pass to write_stdin when the process is still running."
},
"original_token_count": {