@astrosheep/pi-goal-next 0.1.7 → 0.1.8

package/README.md

@@ -29,7 +29,7 @@ For a project-local extension, add the package path to the project's Pi extensio
 /goal clear
 ```
 
-Creating a goal is refused while an unfinished goal exists. `edit` atomically replaces the current goal, preserves its limits, and records `goal.replaced`; it never exposes an intermediate cleared state. `pause` and `resume` are user commands; `clear` removes the goal semantically from the journal. Token suffixes accepted by create are `k` and `M` (for example, `200k` and `2M`).
+With no goal, or when the current goal is complete, `/goal <objective>` creates a fresh goal. With an unfinished goal it instead updates the objective in place (Codex `thread/goal/set` semantics): same goal id, status, token budget, and cumulative usage are preserved, and an `objective_updated` steering message is sent. `/goal edit <objective>` performs the same in-place update. The model-facing `create_goal` tool still refuses while an unfinished goal exists. `pause` and `resume` are user commands; `clear` removes the goal semantically from the journal. Token suffixes accepted by create are `k` and `M` (for example, `200k` and `2M`).
 
 ## Model tools
 

package/docs/architecture.md

@@ -85,7 +85,7 @@ Retry messages are separately accounted because each response costs real tokens.
 
 - `continuationPrompt(goal)` (`continuation.md`): the objective inside `<objective>` as user-provided data; budget block; "Work from evidence"; "Fidelity"; completion audit; blocked audit (three consecutive goal turns); closing rules.
 - `budgetLimitPrompt(goal)` (`budget_limit.md`): sent once per goal instance when the status flips to `budget_limited`.
-- `objectiveUpdatedPrompt(goal)` (`objective_updated.md`): sent after a successful `/goal edit`; uses `<untrusted_objective>` and reports remaining tokens as `unknown` when no budget is set.
+- `objectiveUpdatedPrompt(goal)` (`objective_updated.md`): sent after a successful in-place objective update (`/goal <new>` or `/goal edit` on an unfinished goal); uses `<untrusted_objective>` and reports remaining tokens as `unknown` when no budget is set.
 
 Substitution is trivial `{{ name }}` replacement. `escapeXmlText` (`&`→`&amp;`, `<`→`&lt;`, `>`→`&gt;`) is applied to the objective only. `tokens_used` is `input+output+cacheRead+cacheWrite`; `token_budget` is the budget or `none`; `remaining_tokens` is `max(0, budget-used)`, or `unbounded` (continuation) / `unknown` (objective update) without a budget; `time_used_seconds` is `floor((Date.now()-createdAt)/1000)`.
 
@@ -93,9 +93,9 @@ The blocked audit is prompt-level only: the runtime does not count blocking turn
 
 ## Commands
 
-`/goal` or `/goal status` · `/goal [--tokens N[k|M]] <objective>` (create; refuses while unfinished) · `/goal edit <objective>` · `/goal pause` · `/goal resume` · `/goal clear` · `/goal budget <tokens|none>` · `/goal turns <max-continuations>`.
+`/goal` or `/goal status` · `/goal [--tokens N[k|M]] <objective>` (create, or in-place objective update while unfinished — Codex `thread/goal/set` semantics) · `/goal edit <objective>` (same in-place update) · `/goal pause` · `/goal resume` · `/goal clear` · `/goal budget <tokens|none>` · `/goal turns <max-continuations>`.
 
-A successful `resume` atomically journals `resetContinuations: true` on the user transition to active, resetting the run's continuation count while preserving the objective, usage, budget, and historical entries. It also accepts an already-active goal. Exhausted token budgets and zero continuation allowances are reported without resuming. A successful `create` or `resume` calls `continuation.onSettled()` so an idle session starts pursuing immediately (Codex starts the turn directly). A successful `edit` atomically appends `goal.replaced`, preserving limits without an intermediate clear, then sends `objectiveUpdatedPrompt(goal)` with `triggerTurn: true`; `pause` and `clear` send nothing (the active-status check stops continuation).
+A successful `resume` atomically journals `resetContinuations: true` on the user transition to active, resetting the run's continuation count while preserving the objective, usage, budget, and historical entries. It also accepts an already-active goal. Exhausted token budgets and zero continuation allowances are reported without resuming. A successful `create` or `resume` calls `continuation.onSettled()` so an idle session starts pursuing immediately (Codex starts the turn directly). A successful in-place objective update atomically appends `goal.objective_updated`, preserving the goal id, status, limits, and cumulative usage, then sends `objectiveUpdatedPrompt(goal)` with `triggerTurn: true`; `pause` and `clear` send nothing (the active-status check stops continuation).
 
 ## Defaults
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrosheep/pi-goal-next",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "Persistent autonomous goals for pi, with Codex-verbatim goal semantics: continuation prompts, self-audited completion, budgets, and CAS-journaled state.",
   "type": "module",
   "files": [

package/src/commands.ts

@@ -33,14 +33,21 @@ export function registerGoalCommands(piLike: CommandPiLike, deps: CommandDeps):
       switch (cmd.kind) {
         case "status": return summarize(current);
         case "create": {
-          if (current && current.goal.status !== "complete") return "Cannot create goal: an unfinished goal already exists.";
+          // Codex thread/goal/set semantics: an unfinished goal's objective is
+          // updated in place (same goal id, usage/budget preserved); a missing
+          // or complete goal starts a fresh one.
+          if (current && current.goal.status !== "complete") {
+            const r = await goalCommit.commit({ type: "update_objective", objective: cmd.objective as string, ...(cmd.tokenBudget === undefined || cmd.tokenBudget === null ? {} : { tokenBudget: cmd.tokenBudget }) }, revision);
+            if (r.kind === "ok" && r.snapshot) deps.send({ customType: "pi-goal-next/objective_updated", content: objectiveUpdatedPrompt(r.snapshot.goal), display: false, details: { goalId: r.snapshot.goal.id } }, { triggerTurn: true });
+            return r.kind === "ok" ? "Goal updated." : "Goal update failed.";
+          }
           const r = await goalCommit.commit({ type: "create", id: newGoalId(), objective: cmd.objective as string, tokenBudget: cmd.tokenBudget ?? null }, revision);
           if (r.kind === "ok") await deps.kick();
           return r.kind === "ok" ? "Goal created." : "Goal update failed.";
         }
         case "edit": {
           if (!current) return "Goal update failed.";
-          const r = await goalCommit.commit({ type: "replace", id: newGoalId(), objective: cmd.objective as string }, revision);
+          const r = await goalCommit.commit({ type: "update_objective", objective: cmd.objective as string }, revision);
           if (r.kind === "ok" && r.snapshot) deps.send({ customType: "pi-goal-next/objective_updated", content: objectiveUpdatedPrompt(r.snapshot.goal), display: false, details: { goalId: r.snapshot.goal.id } }, { triggerTurn: true });
           return r.kind === "ok" ? "Goal edited." : "Goal update failed.";
         }

package/src/goal-commit.ts

@@ -41,6 +41,7 @@ export function createGoalCommit(store: GoalStore) {
     switch (intent.type) {
       case "create": return { type: "goal.created", version: 1, seq, goal: next! };
       case "replace": return { type: "goal.replaced", version: 1, seq, goal: next! };
+      case "update_objective": return { type: "goal.objective_updated", version: 1, seq, objective: intent.objective };
       case "clear": return { type: "goal.cleared", version: 1, seq };
       case "transition": return { type: "goal.transition", version: 1, seq, from: previous!.status, to: intent.to, by: intent.by, ...(intent.userRequest ? { userRequest: intent.userRequest } : {}), ...(intent.resetContinuations ? { resetContinuations: true } : {}) };
       case "usage": return { type: "goal.usage", version: 1, seq, input: intent.input === undefined ? 0 : intent.input, output: intent.output === undefined ? 0 : intent.output, cacheRead: intent.cacheRead === undefined ? 0 : intent.cacheRead, cacheWrite: intent.cacheWrite === undefined ? 0 : intent.cacheWrite, unknownMessages: intent.unknownMessages ?? 0 };

package/src/goal.ts

@@ -8,6 +8,7 @@ export type Goal = {
 export type Entry =
   | { type: "goal.created"; version: 1; seq: number; goal: Goal }
   | { type: "goal.replaced"; version: 1; seq: number; goal: Goal }
+  | { type: "goal.objective_updated"; version: 1; seq: number; objective: string }
   | { type: "goal.transition"; version: 1; seq: number; from: Status; to: Status; by: Actor; userRequest?: string; resetContinuations?: boolean }
   | { type: "goal.cleared"; version: 1; seq: number }
   | { type: "goal.usage"; version: 1; seq: number; input: number | null; output: number | null; cacheRead: number | null; cacheWrite: number | null; unknownMessages: number }
@@ -17,6 +18,7 @@ export type Entry =
 export type Intent =
   | { type: "create"; id: string; objective: string; tokenBudget?: number | null; maxContinuations?: number }
   | { type: "replace"; id: string; objective: string }
+  | { type: "update_objective"; objective: string; tokenBudget?: number | null }
   | { type: "transition"; to: Status; by: Actor; userRequest?: string; resetContinuations?: boolean }
   | { type: "clear" }
   | { type: "usage"; input?: number | null; output?: number | null; cacheRead?: number | null; cacheWrite?: number | null; unknownMessages?: number }
@@ -56,6 +58,13 @@ export function transition(state: Goal | null, intent: Intent): Goal | null {
   }
   if (!state) throw new GoalError("missing", "no goal exists");
   if (intent.type === "clear") return null;
+  if (intent.type === "update_objective") {
+    if (typeof intent.objective !== "string" || !intent.objective.trim()) throw new GoalError("invalid", "objective is required");
+    if (intent.tokenBudget !== undefined && intent.tokenBudget !== null && (!Number.isFinite(intent.tokenBudget) || intent.tokenBudget < 0)) throw new GoalError("invalid", "invalid limits");
+    // Codex thread/goal/set semantics: update the objective in place, preserving
+    // status, limits, and cumulative usage on the same goal id.
+    return { ...state, objective: intent.objective.trim(), ...(intent.tokenBudget !== undefined ? { tokenBudget: intent.tokenBudget } : {}) };
+  }
   if (intent.type === "transition") {
     if (!statuses.includes(intent.to)) throw new GoalError("invalid", "unknown status");
     if (intent.to === "paused" && !intent.userRequest?.trim()) throw new GoalError("forbidden", "paused requires user request evidence");
@@ -104,6 +113,7 @@ export function fold(entries: readonly Entry[]): Goal | null {
     if (!entry.type.startsWith("goal.")) continue;
     if (entry.type === "goal.created" || entry.type === "goal.replaced") state = { ...entry.goal };
     else if (entry.type === "goal.cleared") state = null;
+    else if (state && entry.type === "goal.objective_updated") state = transition(state, { type: "update_objective", objective: entry.objective });
     else if (state && entry.type === "goal.transition") state = transition(state, { type: "transition", to: entry.to, by: entry.by, userRequest: entry.userRequest, resetContinuations: entry.resetContinuations });
     else if (state && entry.type === "goal.limit_config") state = transition(state, { type: "limit_config", tokenBudget: entry.tokenBudget, maxContinuations: entry.maxContinuations });
     else if (state && entry.type === "goal.continuation_sent") state = transition(state, { type: "continuation_sent", generation: entry.generation });

package/src/store.ts

@@ -3,7 +3,7 @@ export type BranchContext = { sessionManager: { getBranch(): readonly unknown[]
 export type PiCustomEntry = { type: "custom"; customType: string; data: unknown };
 export type PiAppender = { appendEntry(customType: string, data: unknown): unknown };
 export const VERSION = 1 as const;
-const entryTypes = new Set(["goal.created", "goal.replaced", "goal.transition", "goal.cleared", "goal.usage", "goal.continuation_sent", "goal.stale_turn", "goal.limit_config"]);
+const entryTypes = new Set(["goal.created", "goal.replaced", "goal.objective_updated", "goal.transition", "goal.cleared", "goal.usage", "goal.continuation_sent", "goal.stale_turn", "goal.limit_config"]);
 export function isEntry(entry: unknown): entry is Entry { return !!entry && typeof entry === "object" && (entry as { version?: unknown }).version === VERSION && entryTypes.has((entry as { type?: unknown }).type as string) && Number.isSafeInteger((entry as { seq?: unknown }).seq); }
 export function readBranch(ctx: BranchContext): Entry[] { return ctx.sessionManager.getBranch().filter((item): item is PiCustomEntry => { if (!item || typeof item !== "object") return false; const wrapped = item as Partial<PiCustomEntry>; return wrapped.type === "custom" && wrapped.customType === "pi-goal-next"; }).map(item => item.data).filter(isEntry); }
 export async function append(pi: PiAppender, entry: Entry): Promise<void> { if (!isEntry(entry)) throw new Error("unsupported journal version"); await pi.appendEntry("pi-goal-next", entry); }