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.131.0
0.133.0
2 changes: 1 addition & 1 deletion external/codex
Submodule codex updated 884 files
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ internal partial class ActivePermissionProfile
{

/// <summary>
/// Parent profile identifier once permissions profiles support inheritance. This is currently always `null`.
/// Parent profile identifier from the selected permissions profile's `extends` setting, when present.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("extends")]
public string? Extends { get; set; } = default!;
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 PermissionProfileFileSystemPermissions
internal partial class ActivePermissionProfile2
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
// <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;

/// <summary>
/// Selects which part of the active context is charged against `model_auto_compact_token_limit`.
/// </summary>
[System.CodeDom.Compiler.GeneratedCode("NJsonSchema", "11.5.2.0 (Newtonsoft.Json v13.0.0.0)")]
internal partial class AutoCompactTokenLimitScope
{

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 @@ -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 ComputerUse
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
// <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 ComputerUseRequirements
{

[System.Text.Json.Serialization.JsonPropertyName("allowLockedComputerUse")]
public bool? AllowLockedComputerUse { 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 @@ -49,6 +49,9 @@ internal partial class Config
[System.Text.Json.Serialization.JsonPropertyName("model_auto_compact_token_limit")]
public long? Model_auto_compact_token_limit { get; set; } = default!;

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

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

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,9 @@ internal partial class ConfigRequirements
[System.Text.Json.Serialization.JsonPropertyName("allowedApprovalPolicies")]
public System.Collections.Generic.ICollection<AllowedApprovalPolicies>? AllowedApprovalPolicies { get; set; } = default!;

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

[System.Text.Json.Serialization.JsonPropertyName("allowedSandboxModes")]
// TODO(system.text.json): Add ItemConverterType with enum converter when supported
public System.Collections.Generic.ICollection<SandboxMode>? AllowedSandboxModes { get; set; } = default!;
Expand All @@ -27,6 +30,9 @@ internal partial class ConfigRequirements
// TODO(system.text.json): Add ItemConverterType with enum converter when supported
public System.Collections.Generic.ICollection<WebSearchMode>? AllowedWebSearchModes { get; set; } = default!;

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

[System.Text.Json.Serialization.JsonPropertyName("enforceResidency")]
public EnforceResidency? EnforceResidency { 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>
/// 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 Effort2
{

private System.Collections.Generic.IDictionary<string, object>? _additionalProperties;
Expand Down
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
@@ -0,0 +1,25 @@
// <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 FileSystem
{

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 @@ -21,8 +21,8 @@ internal enum FileSystemAccessMode
Write = 1,


[System.Runtime.Serialization.EnumMember(Value = @"none")]
None = 2,
[System.Runtime.Serialization.EnumMember(Value = @"deny")]
Deny = 2,


}
25 changes: 25 additions & 0 deletions src/JKToolKit.CodexSDK/Generated/Upstream/AppServer/V2/Goal.g.cs
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
// <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 Goal
{

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 @@ -41,8 +41,16 @@ internal enum HookEventName
UserPromptSubmit = 6,


[System.Runtime.Serialization.EnumMember(Value = @"subagentStart")]
SubagentStart = 7,


[System.Runtime.Serialization.EnumMember(Value = @"subagentStop")]
SubagentStop = 8,


[System.Runtime.Serialization.EnumMember(Value = @"stop")]
Stop = 7,
Stop = 9,


}
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,


}
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,12 @@ internal partial class ManagedHooksRequirements
[System.Text.Json.Serialization.JsonPropertyName("Stop")]
public System.Collections.Generic.ICollection<ConfiguredHookMatcherGroup> Stop { get; set; } = new System.Collections.ObjectModel.Collection<ConfiguredHookMatcherGroup>();

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

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

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

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,12 @@ internal partial class Model
[System.Text.Json.Serialization.JsonConverter(typeof(System.Text.Json.Serialization.JsonStringEnumConverter<ReasoningEffort>))]
public ReasoningEffort DefaultReasoningEffort { get; set; } = default!;

/// <summary>
/// Catalog default service tier id for this model, when one is configured.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("defaultServiceTier")]
public string? DefaultServiceTier { get; set; } = default!;

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

Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
// <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 Model_auto_compact_token_limit_scope
{

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; }
}

}

This file was deleted.

Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
// <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 PermissionProfileListParams
{

/// <summary>
/// Opaque pagination cursor returned by a previous call.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("cursor")]
public string? Cursor { get; set; } = default!;

/// <summary>
/// Optional working directory to resolve project config layers.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("cwd")]
public string? Cwd { get; set; } = default!;

/// <summary>
/// Optional page size; defaults to the full result set.
/// </summary>
[System.Text.Json.Serialization.JsonPropertyName("limit")]
public int? Limit { 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; }
}

}
Loading
Loading