Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion UPSTREAM_CODEX_VERSION.txt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.130.0
0.131.0
2 changes: 1 addition & 1 deletion external/codex
Submodule codex updated 1224 files
Original file line number Diff line number Diff line change
Expand Up @@ -25,12 +25,6 @@ internal partial class ActivePermissionProfile
[System.Text.Json.Serialization.JsonPropertyName("id")]
public string Id { get; set; } = default!;

/// <summary>
/// Bounded user-requested modifications applied on top of the named profile, if any.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("modifications")]
public System.Collections.Generic.ICollection<Modifications>? Modifications { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -28,11 +28,14 @@ internal partial class Config
[System.Text.Json.Serialization.JsonPropertyName("compact_prompt")]
public string? Compact_prompt { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("desktop")]
public System.Collections.Generic.IDictionary<string, object>? Desktop { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("developer_instructions")]
public string? Developer_instructions { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("forced_chatgpt_workspace_id")]
public string? Forced_chatgpt_workspace_id { get; set; } = default!;
public Forced_chatgpt_workspace_id? Forced_chatgpt_workspace_id { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("forced_login_method")]
public Forced_login_method? Forced_login_method { get; set; } = default!;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,9 @@ namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;
internal partial class ConfigRequirements
{

[System.Text.Json.Serialization.JsonPropertyName("allowManagedHooksOnly")]
public bool? AllowManagedHooksOnly { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("allowedApprovalPolicies")]
public System.Collections.Generic.ICollection<AllowedApprovalPolicies>? AllowedApprovalPolicies { get; set; } = default!;

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,8 @@

namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

/// <summary>
/// Additional concrete directory that should be writable.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class PermissionProfileModificationParams
internal partial class Discoverability2
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,10 @@
namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

/// <summary>
/// Additional concrete directory that should be writable.
/// Backward-compatible API shape for ChatGPT workspace login restrictions.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class ActivePermissionProfileModification
internal partial class ForcedChatgptWorkspaceIds
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@

namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

[System.CodeDom.Compiler.GeneratedCode("JKToolKit.CodexSDK.UpstreamGen", "0.0.0")]
internal partial class Modifications
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class Forced_chatgpt_workspace_id
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down

This file was deleted.

Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,13 @@

namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

/// <summary>
/// Select a named built-in or user-defined profile and optionally apply bounded modifications that Codex knows how to validate.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class PermissionProfileSelectionParams
internal partial class PluginShareCheckoutParams
{

[System.Text.Json.Serialization.JsonPropertyName("remotePluginId")]
public string RemotePluginId { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
// <auto-generated/>
#nullable enable

using System;
using System.CodeDom.Compiler;
using System.Collections.Generic;
using System.Text.Json;
using System.Text.Json.Serialization;

namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class PluginShareCheckoutResponse
{

[System.Text.Json.Serialization.JsonPropertyName("marketplaceName")]
public string MarketplaceName { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("marketplacePath")]
public string MarketplacePath { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("pluginId")]
public string PluginId { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("pluginName")]
public string PluginName { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("pluginPath")]
public string PluginPath { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("remotePluginId")]
public string RemotePluginId { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("remoteVersion")]
public string? RemoteVersion { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
public System.Collections.Generic.IDictionary<string, object> AdditionalProperties
{
get { return _additionalProperties ?? (_additionalProperties = new System.Collections.Generic.Dictionary<string, object>()); }
set { _additionalProperties = value; }
}

}
Original file line number Diff line number Diff line change
Expand Up @@ -19,11 +19,20 @@ internal partial class PluginShareContext
[System.Text.Json.Serialization.JsonPropertyName("creatorName")]
public string? CreatorName { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("discoverability")]
public Discoverability? Discoverability { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("remotePluginId")]
public string RemotePluginId { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("shareTargets")]
public System.Collections.Generic.ICollection<PluginSharePrincipal>? ShareTargets { get; set; } = default!;
/// <summary>
/// Version of the remote shared plugin release when available.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("remoteVersion")]
public string? RemoteVersion { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("sharePrincipals")]
public System.Collections.Generic.ICollection<PluginSharePrincipal>? SharePrincipals { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("shareUrl")]
public string? ShareUrl { get; set; } = default!;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,6 @@ internal partial class PluginShareListItem
[System.Text.Json.Serialization.JsonPropertyName("plugin")]
public PluginSummary Plugin { get; set; } = new PluginSummary();

[System.Text.Json.Serialization.JsonPropertyName("shareUrl")]
public string ShareUrl { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,10 @@ internal partial class PluginSharePrincipal
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<PluginSharePrincipalType>))]
public PluginSharePrincipalType PrincipalType { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("role")]
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<PluginSharePrincipalRole>))]
public PluginSharePrincipalRole Role { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,19 @@
namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal enum ActivePermissionProfileModificationType
internal enum PluginSharePrincipalRole
{

[System.Runtime.Serialization.EnumMember(Value = @"additionalWritableRoot")]
AdditionalWritableRoot = 0,
[System.Runtime.Serialization.EnumMember(Value = @"reader")]
Reader = 0,


[System.Runtime.Serialization.EnumMember(Value = @"editor")]
Editor = 1,


[System.Runtime.Serialization.EnumMember(Value = @"owner")]
Owner = 2,


}
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ internal partial class PluginShareSaveParams
{

[System.Text.Json.Serialization.JsonPropertyName("discoverability")]
public Discoverability? Discoverability { get; set; } = default!;
public Discoverability2? Discoverability { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("pluginPath")]
public string PluginPath { get; set; } = default!;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,10 @@ internal partial class PluginShareTarget
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<PluginSharePrincipalType>))]
public PluginSharePrincipalType PrincipalType { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("role")]
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<PluginShareTargetRole>))]
public PluginShareTargetRole Role { get; set; } = default!;

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;

[System.Text.Json.Serialization.JsonExtensionData]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,15 @@
namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal enum PermissionProfileSelectionParamsType
internal enum PluginShareTargetRole
{

[System.Runtime.Serialization.EnumMember(Value = @"profile")]
Profile = 0,
[System.Runtime.Serialization.EnumMember(Value = @"reader")]
Reader = 0,


[System.Runtime.Serialization.EnumMember(Value = @"editor")]
Editor = 1,


}
Original file line number Diff line number Diff line change
Expand Up @@ -40,9 +40,21 @@ internal partial class PluginSummary
[System.Text.Json.Serialization.JsonPropertyName("keywords")]
public System.Collections.Generic.ICollection<string>? Keywords { get; set; } = default!;

/// <summary>
/// Version of the locally materialized plugin package when available.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("localVersion")]
public string? LocalVersion { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("name")]
public string Name { get; set; } = default!;

/// <summary>
/// Backend remote plugin identifier when available.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("remotePluginId")]
public string? RemotePluginId { get; set; } = default!;

/// <summary>
/// Remote sharing context associated with this plugin when available.
/// </summary>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;

/// <summary>
/// Current remote-control connection status and environment id exposed to clients.
/// Current remote-control connection status and remote identity exposed to clients.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class RemoteControlStatusChangedNotification
Expand All @@ -19,6 +19,12 @@ internal partial class RemoteControlStatusChangedNotification
[System.Text.Json.Serialization.JsonPropertyName("environmentId")]
public string? EnvironmentId { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("installationId")]
public string InstallationId { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("serverName")]
public string ServerName { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("status")]
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<RemoteControlConnectionStatus>))]
public RemoteControlConnectionStatus Status { get; set; } = default!;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,6 @@ namespace JKToolKit.CodexSDK.Generated.Upstream.AppServer.V2;
internal partial class ToolsV2
{

[System.Text.Json.Serialization.JsonPropertyName("view_image")]
public bool? View_image { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("web_search")]
public Web_search3? Web_search { get; set; } = default!;

Expand Down
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
{
"schemaPath": "external/codex/codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json",
"schemaByteCount": 490488,
"schemaSha256": "1f04bf6bad069775897b1e7544d613ed721a80ebf21d5c8bb3551babcebd6631",
"codexCliVersion": "0.130.0",
"schemaByteCount": 494030,
"schemaSha256": "22c64aefd7c8eff3d3e511ad2b10adc193f719b1b4dd0854f7e49c72570f1b19",
"codexCliVersion": "0.131.0",
"codexCliVersionPinPath": "UPSTREAM_CODEX_VERSION.txt",
"codexCliPackageJsonPath": "external/codex/codex-cli/package.json"
}
Loading