@@ -2,14 +2,11 @@ import type {
22 ClientRequest as GeneratedClientRequest ,
33 InitializeParams as GeneratedInitializeParams ,
44 InitializeResponse as GeneratedInitializeResponse ,
5- ServerNotification as GeneratedServerNotification ,
6- ServerRequest as GeneratedServerRequest ,
75 ServiceTier as GeneratedServiceTier ,
86 v2 ,
97} from "./protocol-generated/typescript/index.js" ;
108import type { JsonValue as GeneratedJsonValue } from "./protocol-generated/typescript/serde_json/JsonValue.js" ;
119
12- export type JsonPrimitive = null | boolean | number | string ;
1310export type JsonValue = GeneratedJsonValue ;
1411export type JsonObject = { [ key : string ] : JsonValue } ;
1512export type CodexServiceTier = GeneratedServiceTier ;
@@ -65,29 +62,17 @@ export type CodexTurnStartParams = v2.TurnStartParams;
6562
6663export type CodexSandboxPolicy = v2 . SandboxPolicy ;
6764
68- export type CodexTurnSteerParams = v2 . TurnSteerParams ;
69-
70- export type CodexTurnInterruptParams = {
71- threadId : string ;
72- turnId : string ;
73- } ;
74-
7565export type CodexTurnStartResponse = v2 . TurnStartResponse ;
7666
77- export type CodexThread = v2 . Thread ;
78-
7967export type CodexTurn = v2 . Turn ;
8068
8169export type CodexThreadItem = v2 . ThreadItem ;
8270
83- export type CodexKnownServerNotification = GeneratedServerNotification ;
8471export type CodexServerNotification = {
8572 method : string ;
8673 params ?: JsonValue ;
8774} ;
8875
89- export type CodexKnownServerRequest = GeneratedServerRequest ;
90-
9176export type CodexDynamicToolCallParams = v2 . DynamicToolCallParams ;
9277
9378export type CodexDynamicToolCallResponse = v2 . DynamicToolCallResponse ;
@@ -123,10 +108,3 @@ export function isJsonObject(value: JsonValue | undefined): value is JsonObject
123108export function isRpcResponse ( message : RpcMessage ) : message is RpcResponse {
124109 return "id" in message && ! ( "method" in message ) ;
125110}
126-
127- export function coerceJsonObject ( value : unknown ) : JsonObject | undefined {
128- if ( ! value || typeof value !== "object" || Array . isArray ( value ) ) {
129- return undefined ;
130- }
131- return value as JsonObject ;
132- }
0 commit comments