Use request permission profile in app server (#14665)

2026-04-26 23:55:25 +00:00 · 2026-03-16 10:12:23 -07:00
parent db89b73a9c
commit 7a6e30b55b
13 changed files with 248 additions and 531 deletions
--- a/codex-rs/app-server-protocol/schema/json/ServerRequest.json
+++ b/codex-rs/app-server-protocol/schema/json/ServerRequest.json
@@ -1449,7 +1449,7 @@
          "type": "string"
        },
        "permissions": {
-          "$ref": "#/definitions/AdditionalPermissionProfile"
+          "$ref": "#/definitions/RequestPermissionProfile"
        },
        "reason": {
          "type": [
@@ -1483,6 +1483,32 @@
        }
      ]
    },
+    "RequestPermissionProfile": {
+      "additionalProperties": false,
+      "properties": {
+        "fileSystem": {
+          "anyOf": [
+            {
+              "$ref": "#/definitions/AdditionalFileSystemPermissions"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "network": {
+          "anyOf": [
+            {
+              "$ref": "#/definitions/AdditionalNetworkPermissions"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        }
+      },
+      "type": "object"
+    },
    "ThreadId": {
      "type": "string"
    },