Skip to content
Open
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.131.0
0.132.0
2 changes: 1 addition & 1 deletion external/codex
Submodule codex updated 347 files
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,12 @@ internal partial class ExperimentalFeatureListParams
[System.Text.Json.Serialization.JsonPropertyName("limit")]
public int? Limit { get; set; } = default!;

/// <summary>
/// Optional loaded thread id. Pass this when showing feature state for an existing thread so enablement is computed from that thread's refreshed config, including project-local config for the thread's cwd.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("threadId")]
public string? ThreadId { 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,7 +10,7 @@
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 FileSystem2
internal partial class FileSystem
{

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

[System.Runtime.Serialization.EnumMember(Value = @"auto")]
Auto = 0,


[System.Runtime.Serialization.EnumMember(Value = @"low")]
Low = 1,


[System.Runtime.Serialization.EnumMember(Value = @"high")]
High = 2,
High = 0,


[System.Runtime.Serialization.EnumMember(Value = @"original")]
Original = 3,
Original = 1,


}

This file was deleted.

This file was deleted.

This file was deleted.

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

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

/// <summary>
/// Codex owns sandbox construction for this profile.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class PermissionProfile
internal partial class PluginInstalledParams
{

/// <summary>
/// Optional working directories used to discover repo marketplaces.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("cwds")]
public System.Collections.Generic.ICollection<string>? Cwds { get; set; } = default!;

/// <summary>
/// Additional uninstalled plugin names that should be returned when present locally. This is used by mention surfaces that intentionally expose install entrypoints.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("installSuggestionPluginNames")]
public System.Collections.Generic.ICollection<string>? InstallSuggestionPluginNames { 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,14 @@
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 PermissionProfileNetworkPermissions
internal partial class PluginInstalledResponse
{

[System.Text.Json.Serialization.JsonPropertyName("enabled")]
public bool Enabled { get; set; } = default!;
[System.Text.Json.Serialization.JsonPropertyName("marketplaceLoadErrors")]
public System.Collections.Generic.ICollection<MarketplaceLoadErrorInfo>? MarketplaceLoadErrors { get; set; } = default!;

[System.Text.Json.Serialization.JsonPropertyName("marketplaces")]
public System.Collections.Generic.ICollection<PluginMarketplaceEntry> Marketplaces { get; set; } = new System.Collections.ObjectModel.Collection<PluginMarketplaceEntry>();

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

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

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

[System.Text.Json.Serialization.JsonPropertyName("network")]
public Network? Network { get; set; } = default!;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -21,12 +21,20 @@ internal enum ThreadGoalStatus
Paused = 1,


[System.Runtime.Serialization.EnumMember(Value = @"blocked")]
Blocked = 2,


[System.Runtime.Serialization.EnumMember(Value = @"usageLimited")]
UsageLimited = 3,


[System.Runtime.Serialization.EnumMember(Value = @"budgetLimited")]
BudgetLimited = 2,
BudgetLimited = 4,


[System.Runtime.Serialization.EnumMember(Value = @"complete")]
Complete = 3,
Complete = 5,


}
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": 494030,
"schemaSha256": "22c64aefd7c8eff3d3e511ad2b10adc193f719b1b4dd0854f7e49c72570f1b19",
"codexCliVersion": "0.131.0",
"schemaByteCount": 493490,
"schemaSha256": "a6e6baf1ca02992e58b949383603c2901673ca820ae133065761a26b4e99e230",
"codexCliVersion": "0.132.0",
"codexCliVersionPinPath": "UPSTREAM_CODEX_VERSION.txt",
"codexCliPackageJsonPath": "external/codex/codex-cli/package.json"
}
Loading