mirror of
https://github.com/openai/codex.git
synced 2026-11-10 21:00:47 +00:00
Eric Traut
a8c9530911
## Stack 1. [#26547](https://github.com/openai/codex/pull/26547) - [1 of 2] Align goal extension with core behavior 2. [#26548](https://github.com/openai/codex/pull/26548) - [2 of 2] Move goal runtime to extension ## Why The goal runtime is moving out of `codex-core` and into `codex-goal-extension`. This first PR brings the extension back in line with the current core behavior before the follow-up PR switches app-server sessions over to the extension, so that review can focus on ownership and wiring rather than hidden behavior drift. ## What Changed - Updates the extension `create_goal` and `update_goal` tool schemas/descriptions to match the current core wording for explicit token budgets, blocked-goal audits, resumed blocked goals, and system-owned budget/usage-limit transitions. - Marks `codex-goal-extension` as the live `/goal` extension crate rather than an unwired sketch. - Looks up the live thread before reading goal state for idle continuation, so continuation setup exits early when no live thread can accept the automatic turn.
28 lines
675 B
Rust
28 lines
675 B
Rust
//! Extension crate for the `/goal` feature.
|
|
|
|
mod accounting;
|
|
mod api;
|
|
mod events;
|
|
mod extension;
|
|
mod metrics;
|
|
mod runtime;
|
|
mod spec;
|
|
mod steering;
|
|
mod tool;
|
|
|
|
pub use api::GoalObjectiveUpdate;
|
|
pub use api::GoalService;
|
|
pub use api::GoalServiceError;
|
|
pub use api::GoalSetOutcome;
|
|
pub use api::GoalSetRequest;
|
|
pub use api::GoalTokenBudgetUpdate;
|
|
pub use extension::GoalExtension;
|
|
pub use extension::GoalExtensionConfig;
|
|
pub use extension::install_with_backend;
|
|
pub use runtime::GoalRuntimeHandle;
|
|
pub use runtime::PreviousGoalSnapshot;
|
|
pub use spec::CREATE_GOAL_TOOL_NAME;
|
|
pub use spec::GET_GOAL_TOOL_NAME;
|
|
pub use spec::UPDATE_GOAL_TOOL_NAME;
|
|
pub use tool::CreateGoalRequest;
|