style: format repository

extensions/codex/src/app-server/protocol-generated/json/DynamicToolCallParams.json

@@ -6,10 +6,7 @@
       "type": "string"
     },
     "namespace": {
-      "type": [
-        "string",
-        "null"
-      ]
+      "type": ["string", "null"]
     },
     "threadId": {
       "type": "string"
@@ -21,13 +18,7 @@
       "type": "string"
     }
   },
-  "required": [
-    "arguments",
-    "callId",
-    "threadId",
-    "tool",
-    "turnId"
-  ],
+  "required": ["arguments", "callId", "threadId", "tool", "turnId"],
   "title": "DynamicToolCallParams",
   "type": "object"
-}
+}

extensions/codex/src/app-server/protocol-generated/json/v2/ErrorNotification.json

@@ -27,18 +27,13 @@
                 "httpStatusCode": {
                   "format": "uint16",
                   "minimum": 0.0,
-                  "type": [
-                    "integer",
-                    "null"
-                  ]
+                  "type": ["integer", "null"]
                 }
               },
               "type": "object"
             }
           },
-          "required": [
-            "httpConnectionFailed"
-          ],
+          "required": ["httpConnectionFailed"],
           "title": "HttpConnectionFailedCodexErrorInfo",
           "type": "object"
         },
@@ -51,18 +46,13 @@
                 "httpStatusCode": {
                   "format": "uint16",
                   "minimum": 0.0,
-                  "type": [
-                    "integer",
-                    "null"
-                  ]
+                  "type": ["integer", "null"]
                 }
               },
               "type": "object"
             }
           },
-          "required": [
-            "responseStreamConnectionFailed"
-          ],
+          "required": ["responseStreamConnectionFailed"],
           "title": "ResponseStreamConnectionFailedCodexErrorInfo",
           "type": "object"
         },
@@ -75,18 +65,13 @@
                 "httpStatusCode": {
                   "format": "uint16",
                   "minimum": 0.0,
-                  "type": [
-                    "integer",
-                    "null"
-                  ]
+                  "type": ["integer", "null"]
                 }
               },
               "type": "object"
             }
           },
-          "required": [
-            "responseStreamDisconnected"
-          ],
+          "required": ["responseStreamDisconnected"],
           "title": "ResponseStreamDisconnectedCodexErrorInfo",
           "type": "object"
         },
@@ -99,18 +84,13 @@
                 "httpStatusCode": {
                   "format": "uint16",
                   "minimum": 0.0,
-                  "type": [
-                    "integer",
-                    "null"
-                  ]
+                  "type": ["integer", "null"]
                 }
               },
               "type": "object"
             }
           },
-          "required": [
-            "responseTooManyFailedAttempts"
-          ],
+          "required": ["responseTooManyFailedAttempts"],
           "title": "ResponseTooManyFailedAttemptsCodexErrorInfo",
           "type": "object"
         },
@@ -124,35 +104,25 @@
                   "$ref": "#/definitions/NonSteerableTurnKind"
                 }
               },
-              "required": [
-                "turnKind"
-              ],
+              "required": ["turnKind"],
               "type": "object"
             }
           },
-          "required": [
-            "activeTurnNotSteerable"
-          ],
+          "required": ["activeTurnNotSteerable"],
           "title": "ActiveTurnNotSteerableCodexErrorInfo",
           "type": "object"
         }
       ]
     },
     "NonSteerableTurnKind": {
-      "enum": [
-        "review",
-        "compact"
-      ],
+      "enum": ["review", "compact"],
       "type": "string"
     },
     "TurnError": {
       "properties": {
         "additionalDetails": {
           "default": null,
-          "type": [
-            "string",
-            "null"
-          ]
+          "type": ["string", "null"]
         },
         "codexErrorInfo": {
           "anyOf": [
@@ -168,9 +138,7 @@
           "type": "string"
         }
       },
-      "required": [
-        "message"
-      ],
+      "required": ["message"],
       "type": "object"
     }
   },
@@ -188,12 +156,7 @@
       "type": "boolean"
     }
   },
-  "required": [
-    "error",
-    "threadId",
-    "turnId",
-    "willRetry"
-  ],
+  "required": ["error", "threadId", "turnId", "willRetry"],
   "title": "ErrorNotification",
   "type": "object"
-}
+}

extensions/codex/src/app-server/protocol-generated/json/v2/ModelListResponse.json

@@ -6,16 +6,12 @@
       "oneOf": [
         {
           "description": "Plain text turns and tool payloads.",
-          "enum": [
-            "text"
-          ],
+          "enum": ["text"],
           "type": "string"
         },
         {
           "description": "Image attachments included in user turns.",
-          "enum": [
-            "image"
-          ],
+          "enum": ["image"],
           "type": "string"
         }
       ]
@@ -55,10 +51,7 @@
           "type": "string"
         },
         "inputModalities": {
-          "default": [
-            "text",
-            "image"
-          ],
+          "default": ["text", "image"],
           "items": {
             "$ref": "#/definitions/InputModality"
           },
@@ -81,10 +74,7 @@
           "type": "boolean"
         },
         "upgrade": {
-          "type": [
-            "string",
-            "null"
-          ]
+          "type": ["string", "null"]
         },
         "upgradeInfo": {
           "anyOf": [
@@ -115,50 +105,30 @@
           "type": "string"
         }
       },
-      "required": [
-        "message"
-      ],
+      "required": ["message"],
       "type": "object"
     },
     "ModelUpgradeInfo": {
       "properties": {
         "migrationMarkdown": {
-          "type": [
-            "string",
-            "null"
-          ]
+          "type": ["string", "null"]
         },
         "model": {
           "type": "string"
         },
         "modelLink": {
-          "type": [
-            "string",
-            "null"
-          ]
+          "type": ["string", "null"]
         },
         "upgradeCopy": {
-          "type": [
-            "string",
-            "null"
-          ]
+          "type": ["string", "null"]
         }
       },
-      "required": [
-        "model"
-      ],
+      "required": ["model"],
       "type": "object"
     },
     "ReasoningEffort": {
       "description": "See https://platform.openai.com/docs/guides/reasoning?api-mode=responses#get-started-with-reasoning",
-      "enum": [
-        "none",
-        "minimal",
-        "low",
-        "medium",
-        "high",
-        "xhigh"
-      ],
+      "enum": ["none", "minimal", "low", "medium", "high", "xhigh"],
       "type": "string"
     },
     "ReasoningEffortOption": {
@@ -170,10 +140,7 @@
           "$ref": "#/definitions/ReasoningEffort"
         }
       },
-      "required": [
-        "description",
-        "reasoningEffort"
-      ],
+      "required": ["description", "reasoningEffort"],
       "type": "object"
     }
   },
@@ -186,15 +153,10 @@
     },
     "nextCursor": {
       "description": "Opaque cursor to pass to the next call to continue after the last item. If None, there are no more items to return.",
-      "type": [
-        "string",
-        "null"
-      ]
+      "type": ["string", "null"]
     }
   },
-  "required": [
-    "data"
-  ],
+  "required": ["data"],
   "title": "ModelListResponse",
   "type": "object"
-}
+}