openai/codex
1
0
Fork 0
mirror of https://github.com/openai/codex.git synced 2026-11-09 20:50:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(app-server): preserve dynamic tool schema diagnostics

Browse Source
This commit is contained in:
Alex Kotliarskyi
2026-05-21 12:08:29 -07:00
parent 8677b878cc
commit 03190e8fd3
33 changed files with 1832 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files
codex-rs/app-server-protocol/schema/json/v2/ErrorNotification.json
Generated
+88
View File
@@ -138,6 +138,33 @@
}
]
},
"DynamicToolSchemaErrorTool": {
"properties": {
"index": {
"format": "uint",
"minimum": 0.0,
"type": "integer"
},
"name": {
"type": "string"
},
"namespace": {
"type": [
"string",
"null"
]
},
"qualifiedName": {
"type": "string"
}
},
"required": [
"index",
"name",
"qualifiedName"
],
"type": "object"
},
"NonSteerableTurnKind": {
"enum": [
"review",
@@ -165,6 +192,14 @@
]
},
"data": {
"anyOf": [
{
"$ref": "#/definitions/TurnErrorData"
},
{
"type": "null"
}
],
"default": null
},
"message": {
@@ -175,6 +210,59 @@
"message"
],
"type": "object"
},
"TurnErrorData": {
"oneOf": [
{
"properties": {
"backend": {
"type": "string"
},
"reason": {
"enum": [
"dynamicToolInputSchema"
],
"type": "string"
},
"remediation": {
"type": "string"
},
"schemaPath": {
"type": [
"string",
"null"
]
},
"tool": {
"anyOf": [
{
"$ref": "#/definitions/DynamicToolSchemaErrorTool"
},
{
"type": "null"
}
]
},
"toolCandidates": {
"items": {
"$ref": "#/definitions/DynamicToolSchemaErrorTool"
},
"type": "array"
},
"underlyingError": {
"type": "string"
}
},
"required": [
"backend",
"reason",
"remediation",
"toolCandidates",
"underlyingError"
],
"type": "object"
}
]
}
},
"properties": {