mirror of
https://github.com/pchuan98/codex.git
synced 2026-07-01 00:31:56 +08:00
jif-oai
f27bbbd49c
## Summary - add an extension-owned `GoalApi` for thread goal get/set/clear operations - register live goal runtimes with the API from the goal extension backend - cover the API and runtime-effect paths in goal extension tests ## Stack Follow-up app-server wiring PR: #25108 ## Validation - `just fmt` - `just fix -p codex-goal-extension` - `just test -p codex-goal-extension`
32 lines
906 B
Rust
32 lines
906 B
Rust
//! Extension crate sketch for the `/goal` feature.
|
|
//!
|
|
//! This crate is intentionally not wired into the host yet. It contains the
|
|
//! goal tool specs, extension registration shape, and the parts of runtime
|
|
//! accounting that can be represented with today's extension API.
|
|
|
|
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;
|