sortie-dogs 0.14.0 → 0.14.2

package/README.md

@@ -19,8 +19,8 @@ evidence-backed result, not more agents for their own sake.
 [![Node.js](https://img.shields.io/node/v/sortie-dogs)](https://www.npmjs.com/package/sortie-dogs)
 [![MIT License](https://img.shields.io/npm/l/sortie-dogs)](LICENSE)
 
-**Current release: [v0.14.0](https://github.com/zufall-upon/Sortie-dogs/releases/tag/v0.14.0)**
-· [Release notes](docs/release-v0.14.0.md) · [Execution vision](docs/v0.14.0-execution-vision.md)
+**Current release: [v0.14.2](https://github.com/zufall-upon/Sortie-dogs/releases/tag/v0.14.2)**
+· [Release notes](docs/release-v0.14.2.md) · [Execution vision](docs/v0.14.0-execution-vision.md)
 
 [Quick start](#quick-start) · [Workflow](#mission-workflow) · [Models](#default-models) ·
 [Measured results](#measured-results) · [Configuration](#configuration) · [Documentation](#documentation)
@@ -57,7 +57,7 @@ Use an existing Codex CLI signed in with **ChatGPT**. On Windows, PowerShell **7
 available; POSIX uses bash. Sortie does not install Codex, start login or use a metered API fallback.
 
 ```sh
-npm install --save-dev sortie-dogs@0.14.0
+npm install --save-dev sortie-dogs@0.14.2
 npx --no-install sortie-dogs codex init .
 ```
 
@@ -86,7 +86,7 @@ bridge. [Codex guide: SDK, permissions, progress, resume and manifest route](doc
 Use **OpenCode V2**. In the target project:
 
 ```sh
-npm install --save-dev sortie-dogs@0.14.0
+npm install --save-dev sortie-dogs@0.14.2
 npx --no-install sortie-dogs init .
 ```
 
@@ -178,6 +178,30 @@ general speed or success-rate guarantee.
 
 ### SWE-bench evaluation
 
+#### v0.14.0 dev23 (2026-10-15 UTC)
+
+**Official resolution: 10/23 (43.48%); Mission completion: 22/23.** One pass through the normal
+OpenCode CLI + Sortie Mission path, using the fixed released v0.14.0 package.
+
+- All 23 frozen patches were officially scored: **10 resolved, 13 unresolved**, zero empty patches,
+  evaluation errors or infrastructure failures. The cost-stopped `sqlfluff__sqlfluff-2419` patch
+  resolved officially, but its Mission remains incomplete; official correctness does not imply acceptance.
+- Pinned public Lite dev rows; one inference attempt per task, no retries. Official grading:
+  `split=dev`, `max_workers=1`, `retry_count=0`. Inference concurrency was **1** due to low host memory.
+- Actual Operator/Coordinator/Reviewer model: `openai/gpt-6.1-sol#xhigh`;
+  Worker: `openai/gpt-6-luna-fast#max`. Ten cases used Workers; 13 used Coordinator direct execution.
+- Inference wall time **2h53m28s**; separate official grading **7m19s**.
+- Known estimated inference cost **$16.76**, with one pending usage record. Separate holds:
+  **$2** for unresolved usage and **$5** for implementation/supervision; these are not known expenses.
+  Costs are API-equivalent estimates, not invoices; the $2/task monitor is not an exact billing cap.
+- Release/runner commit `e69a3b2317a76eeea1229034f52902812ff1d580`;
+  package SHA-256 `120922c31dd6d85040210d68456192b4e6aa45dc87a11451476f3ed576a68e30`.
+
+Local evidence (generated artifacts are not committed):
+`_testenv/autodev/sortie-dogs-dev23/benchmark-v0140-20261015/one-pass-summary.json`.
+
+#### Historical v0.12.24 test300
+
 **SWE-bench Lite test300: 170/300 (56.67%)**, fixed **v0.12.24**, one pass@1 campaign.
 Nine empty patches, zero official evaluation errors, frozen predictions and trajectories for all
 300 instances. Workers ran Luna Fast/max; management/review ran GPT-6 Sol/xhigh.
@@ -195,8 +219,8 @@ known expense. Official local evaluation and leaderboard acceptance are separate
 **8/23 (34.8%)**, versus v0.12.25's 7/23; all seven prior resolutions retained, no empty patches or
 official evaluation errors. [Fixed conditions, stopped-run accounting and costs](docs/benchmarks/swebench-lite-history.md#v0131-dev23-2026-09-30).
 
-All scores belong to their fixed candidates, **not v0.14.0**. SWE-bench remains an optional
-measurement, not a release gate. Different budgets, models and conditions are not controlled comparisons.
+Each score belongs to its fixed candidate. SWE-bench remains an optional measurement, not a release
+gate. Different splits, budgets, models and conditions are not controlled comparisons or proof of a fix's effect.
 
 ## Configuration
 
@@ -218,7 +242,7 @@ Install the desired package version and rerun **your host's** initializer:
 
 An OpenCode config-local bridge may resolve a separate package; npm-global update alone does not
 update it. [Global/update instructions](docs/configuration.md#global-availability).
-The current Mission asset marker is `0.14.0-autonomous-routing-v1`; the unchanged Codex skill marker is
+The current Mission asset marker is `0.14.2-cold-resume-v1`; the unchanged Codex skill marker is
 `0.13.11-codex-skill-v2`. Installed markers alone do not prove a running host reloaded the new version.
 
 There is no supported uninstall command. Remove the dependency and only known Sortie-owned paths;
@@ -234,7 +258,7 @@ follow the [manual removal guide](docs/uninstall.md), never delete the entire `.
   [SWE-bench history](docs/benchmarks/swebench-lite-history.md) · [Historical local case study](docs/benchmark-reference.md).
 - **Development:** [Testing](docs/testing.md) · [CLI testing](docs/cli-testing.md) ·
   [Windows tests](docs/windows-tests.md) · [Release routine](docs/release-batch.md).
-- **Releases:** [v0.14.0](docs/release-v0.14.0.md) · [v0.13.22](docs/release-v0.13.22.md) · [v0.13.21](docs/release-v0.13.21.md) · [v0.13.20](docs/release-v0.13.20.md) · [v0.13.19](docs/release-v0.13.19.md) · [v0.13.18](docs/release-v0.13.18.md) · [v0.13.17](docs/release-v0.13.17.md) · [v0.13.16](docs/release-v0.13.16.md) · [v0.13.15](docs/release-v0.13.15.md) · [v0.13.14](docs/release-v0.13.14.md) · [v0.13.13](docs/release-v0.13.13.md) · [v0.13.12](docs/release-v0.13.12.md) · [v0.13.11](docs/release-v0.13.11.md) · [v0.13.10](docs/release-v0.13.10.md) ·
+- **Releases:** [v0.14.2](docs/release-v0.14.2.md) · [v0.14.1](docs/release-v0.14.1.md) · [v0.14.0](docs/release-v0.14.0.md) · [v0.13.22](docs/release-v0.13.22.md) · [v0.13.21](docs/release-v0.13.21.md) · [v0.13.20](docs/release-v0.13.20.md) · [v0.13.19](docs/release-v0.13.19.md) · [v0.13.18](docs/release-v0.13.18.md) · [v0.13.17](docs/release-v0.13.17.md) · [v0.13.16](docs/release-v0.13.16.md) · [v0.13.15](docs/release-v0.13.15.md) · [v0.13.14](docs/release-v0.13.14.md) · [v0.13.13](docs/release-v0.13.13.md) · [v0.13.12](docs/release-v0.13.12.md) · [v0.13.11](docs/release-v0.13.11.md) · [v0.13.10](docs/release-v0.13.10.md) ·
   [v0.13.9](docs/release-v0.13.9.md) · [All GitHub releases](https://github.com/zufall-upon/Sortie-dogs/releases).
 
 ## Community

package/dist/asset-version.d.ts

@@ -3,6 +3,6 @@
  * installed project marker without importing every asset body.
  */
 export declare const RUNTIME_ASSET_VERSION = "0.3.89-completion-proof-v1";
-export declare const V010_RUNTIME_ASSET_VERSION = "0.14.0-autonomous-routing-v1";
+export declare const V010_RUNTIME_ASSET_VERSION = "0.14.2-cold-resume-v1";
 export declare const CODEX_SKILL_ASSET_VERSION = "0.13.11-codex-skill-v2";
 export type RuntimeAssetVersion = typeof RUNTIME_ASSET_VERSION | typeof V010_RUNTIME_ASSET_VERSION | typeof CODEX_SKILL_ASSET_VERSION;

package/dist/asset-version.js

@@ -3,5 +3,5 @@
  * installed project marker without importing every asset body.
  */
 export const RUNTIME_ASSET_VERSION = "0.3.89-completion-proof-v1";
-export const V010_RUNTIME_ASSET_VERSION = "0.14.0-autonomous-routing-v1";
+export const V010_RUNTIME_ASSET_VERSION = "0.14.2-cold-resume-v1";
 export const CODEX_SKILL_ASSET_VERSION = "0.13.11-codex-skill-v2";

package/dist/cli/codex-mission.js

@@ -71,6 +71,9 @@ export function codexMissionProgress(event) {
             native_status: event.params.turn?.status };
     if (event.method === "sortie/continuation")
         return { thread_id: event.threadId, turn_id: event.params.turnId, phase: event.params.phase, calls: event.params.calls };
+    if (event.method === "sortie/coordinatorRestored")
+        return { thread_id: event.threadId, phase: "coordinator-restored", mission_id: event.params.missionId,
+            coordinator_id: event.params.coordinatorId, call_id: event.params.callId, native_outcome: event.params.outcome, next_action: event.params.action };
     if (event.method === "sortie/modelRoute")
         return { thread_id: event.threadId, phase: "model-route", agent: event.params.agent, model: event.params.model,
             effort: event.params.effort, service_tier: event.params.serviceTier };

package/dist/codex/mission-session.d.ts

@@ -79,8 +79,9 @@ export declare class CodexMissionSession {
     close(): Promise<void>;
     private claimOwner;
     private rootOf;
+    private restoreCoordinator;
     private recoverNotStarted;
-    private bindWorkerDispatch;
+    private bindTaskDispatch;
     private recoverCompletedWorker;
     private required;
     private executeHostCommand;

package/dist/codex/mission-session.js

@@ -62,6 +62,7 @@ export class CodexMissionSession {
                 this.observations = missions.find(item => item.root === resume)?.codexUsage ?? [];
                 await this.restoreSession(resume, "dog-operator");
                 this.root = resume;
+                await this.restoreCoordinator(resume);
                 await this.claimOwner(resume);
                 await this.hooks.tool?.sortie_v010_operator_status?.execute({ view: "full" }, { sessionID: resume, agent: "dog-operator" });
             }
@@ -118,6 +119,45 @@ export class CodexMissionSession {
             current = this.required(current.parentID);
         return current.id;
     }
+    async restoreCoordinator(root) {
+        const missions = new OperatorMissionRuntime(this.directory, profile);
+        const mission = await missions.required(root);
+        if (!mission.coordinator || ["completed", "cancelled"].includes(mission.phase))
+            return;
+        if (!await codexOwnerGone(mission.codexOwner))
+            throw new Error("codex-mission-owner-active:no-resend");
+        // Codex can persist claim() and the child turn but omit the interrupted parent
+        // Task item. The existing Mission binding still owns this same Coordinator.
+        const coordinator = await this.restoreSession(mission.coordinator, "dogs-coordinator", root);
+        if (coordinator.parentID !== root || coordinator.agent !== "dogs-coordinator")
+            throw new Error("Retained Coordinator lineage mismatch.");
+        if (mission.dispatchOpen && mission.callID) {
+            // A retained terminal parent receipt already has the shared reconciliation path.
+            // The new binding is required only when that exact receipt is missing.
+            const parentReceipts = this.required(root).history.flatMap(message => Array.isArray(message.parts) ? message.parts.filter(object) : [])
+                .filter(part => part.type === "tool" && part.tool === "task" && part.callID === mission.callID && object(part.state) &&
+                ["completed", "error"].includes(String(part.state.status)) && object(part.state.input) &&
+                part.state.input.subagent_type === coordinator.agent &&
+                (part.state.input.task_id === undefined || part.state.input.task_id === coordinator.id));
+            if (parentReceipts.length === 1)
+                return;
+            const binding = mission.codexCoordinatorDispatch;
+            if (!binding || binding.missionID !== mission.id || binding.threadID !== root || binding.callID !== mission.callID ||
+                binding.childThreadID !== coordinator.id || binding.ownerGeneration !== mission.codexOwner?.generation ||
+                coordinator.history.filter(message => object(message.info) && message.info.role === "user" &&
+                    message.info.id === binding.clientUserMessageID).length !== 1)
+                throw new Error("Retained Coordinator has unproven execution for the current dispatch; no resend. Reconcile its exact native turn before resuming.");
+            await missions.codexRecovery(root, async (current) => {
+                if (current.codexOwner?.generation !== binding.ownerGeneration || !await codexOwnerGone(current.codexOwner) ||
+                    JSON.stringify(current.codexCoordinatorDispatch) !== JSON.stringify(binding))
+                    throw new Error("codex-mission-recovery-generation-stale");
+                await missions.reconcileFinishedDispatch(root, mission.id, mission.callID);
+            });
+            await this.options.onEvent?.({ method: "sortie/coordinatorRestored", threadId: root,
+                params: { missionId: mission.id, coordinatorId: coordinator.id, callId: mission.callID,
+                    outcome: coordinator.outcome, action: "resume-existing-task" } });
+        }
+    }
     async recoverNotStarted(threadID, turn, item) {
         if (item.tool !== "task" || !object(item.arguments) || item.arguments.task_id || typeof item.id !== "string" || typeof turn.id !== "string" ||
             !["completed", "interrupted", "failed"].includes(String(turn.status)))
@@ -156,7 +196,18 @@ export class CodexMissionSession {
         }
         return false;
     }
-    async bindWorkerDispatch(parent, child, call, messageID) {
+    async bindTaskDispatch(parent, child, call, messageID) {
+        if (child.agent === "dogs-coordinator") {
+            await new OperatorMissionRuntime(this.directory, profile).update(this.rootOf(parent), state => {
+                if (state.root !== call.threadId || state.coordinator !== child.id || state.callID !== call.callId || !state.dispatchOpen ||
+                    state.codexOwner?.generation !== this.owner.generation || state.codexOwner.closed)
+                    throw new Error("codex-mission-dispatch-owner-stale");
+                state.codexCoordinatorDispatch = { missionID: state.id, threadID: call.threadId, turnID: call.turnId, callID: call.callId,
+                    inputHash: createHash("sha256").update(JSON.stringify(call.arguments)).digest("hex"),
+                    childThreadID: child.id, clientUserMessageID: messageID, ownerGeneration: this.owner.generation };
+            });
+            return;
+        }
         if (child.agent !== "dog-worker-v010" || !object(call.arguments) || call.arguments.task_id)
             return;
         const root = this.rootOf(parent), missions = new OperatorMissionRuntime(this.directory, profile);
@@ -365,7 +416,7 @@ export class CodexMissionSession {
                 throw new Error(`Codex thread ${id} has no matching repository history.`);
             const turns = thread.turns.filter(object);
             for (const turn of turns) {
-                if (!Array.isArray(turn.items) || turn.status === "inProgress" || turn.itemsView !== "full")
+                if (!Array.isArray(turn.items) || !["completed", "failed", "interrupted", "cancelled"].includes(String(turn.status)) || turn.itemsView !== "full")
                     throw new Error(`Codex thread ${id} still has unproven execution; no resend. Reconcile its native execution before resuming.`);
                 for (const item of turn.items.filter(object)) {
                     // A terminal parent turn does not prove that its native executions or children stopped.
@@ -373,7 +424,8 @@ export class CodexMissionSession {
                         ["commandExecution", "fileChange", "mcpToolCall"].includes(String(item.type)) &&
                             !["completed", "failed", ...(item.type === "mcpToolCall" ? [] : ["declined"])].includes(String(item.status)))
                         throw new Error(`Codex thread ${id} has an unresolved native execution; no resend. Reconcile its native execution before resuming.`);
-                    if (item.type !== "dynamicToolCall" || item.status === "completed" && (turn.status === "completed" || item.success === true))
+                    if (item.type !== "dynamicToolCall" || ["completed", "failed"].includes(String(item.status)) &&
+                        (turn.status === "completed" || item.success === true))
                         continue;
                     const unique = turns.flatMap(entry => Array.isArray(entry.items) ? entry.items.filter(object) : []).filter(entry => entry.id === item.id).length === 1;
                     if (!unique)
@@ -475,7 +527,7 @@ export class CodexMissionSession {
             result = await this.promptTurn(session, "The previous native response ended while existing host tools were still running. Those exact calls have now returned:\n" +
                 JSON.stringify(result.deferredToolResults) +
                 "\nContinue this same Mission from these results through the remaining validation, delivery, review and root acceptance. " +
-                "Do not resend the original request or redispatch the completed Tasks. Preserve failures, ownership and cumulative budget; use existing Mission status for the next action.", undefined, true);
+                "Do not resend the original request or redispatch the completed Tasks. Preserve failures, ownership and cumulative budget; use existing Mission status for the next action.", session.agent === "dogs-coordinator" ? onDispatch : undefined, true);
         }
         return result;
     }
@@ -577,7 +629,7 @@ export class CodexMissionSession {
                 });
                 await this.hooks["tool.execute.after"]?.({ tool: call.tool, sessionID: session.id, callID: call.callId, args }, { output: "", metadata: { sessionId: child.id, status: "running" } });
                 const result = await this.prompt(child, String(args.prompt), async (messageID) => {
-                    await this.bindWorkerDispatch(session, child, call, messageID);
+                    await this.bindTaskDispatch(session, child, call, messageID);
                     dispatched = true;
                 });
                 text = result.finalResponse ?? "";

package/dist/core/operator-mission.d.ts

@@ -49,6 +49,7 @@ export interface CodexWorkerDispatch {
     clientUserMessageID: string;
     ownerGeneration: string;
 }
+export type CodexCoordinatorDispatch = Omit<CodexWorkerDispatch, "runID" | "unitID">;
 export interface CodexCompletedTaskProof {
     dispatch: CodexWorkerDispatch;
     childTurnID: string;
@@ -209,6 +210,8 @@ export interface OperatorMission {
     codexNotStarted?: CodexNotStartedProof[];
     /** Missing parent receipts reconciled from exact completed native Worker turns. */
     codexCompletedTasks?: CodexCompletedTaskProof[];
+    /** Current Coordinator dispatch bound before its exact native turn is sent. */
+    codexCoordinatorDispatch?: CodexCoordinatorDispatch;
     version: "0.12";
     id: string;
     root: string;
@@ -319,6 +322,11 @@ export interface OperatorMission {
             admittedAt: number;
             reviewIdentity: string;
         };
+        /** Exact terminal of an unused inline grant; no implementation calls followed admission. */
+        noWriteReceipt?: {
+            promptID: string;
+            messageID: string;
+        };
         status: "prepared" | "running" | "ready" | "failed" | "cancelled";
         selfRecheck?: MissionSelfRecheck;
     }[];

package/dist/core/operator-mission.js

@@ -891,7 +891,8 @@ export async function missionAcceptanceSummary(mission, run, operators, observe)
 }
 export function missionReviewIndependent(mission, child) {
     return child !== undefined && !mission.sourceAuthors?.includes(child) &&
-        !(mission.corrections ?? []).some(correction => correction.author === child);
+        !(mission.corrections ?? []).some(correction => correction.author === child &&
+            !(correction.status === "failed" && correction.noWriteReceipt));
 }
 export function missionPacket(mission, run, includeWorkQuantity = true) {
     const predecessor = run && mission.runID !== run.runID && (mission.supersededRunID === run.runID || run.phase === "cancelled") ? run : undefined;

package/dist/plugin/mission-review.js

@@ -199,6 +199,14 @@ export function reviewerCorrectionValidation(validation, child, history, notBefo
                 continue;
             }
             previousEnd = attempt.completed;
+            // A final-check-only refresh must replace its old binding, not force the
+            // unchanged prefix to run again. Repeated declarations stay ambiguous;
+            // preserve their existing occurrence rules and validate every saved input.
+            if (completed && partial.length === required.length && members.length === 1 &&
+                members[0].command === required.at(-1) && required.indexOf(members[0].command) === required.length - 1) {
+                partial.splice(0, partial.length, ...completed.slice(0, -1));
+                completed = undefined;
+            }
             if (members[0].command !== required[partial.length] || partial.length === required.length)
                 partial.length = 0;
             failed = undefined;
@@ -366,7 +374,7 @@ export async function missionDeliveryObservation(directory, runID) {
 }
 /** A child ID alone cannot establish the initial phase after a restart or failed dispatch. */
 export function initialMissionReviewPrompt(mission, prompts) {
-    return [mission.review?.initialPrompt, ...prompts].find(prompt => typeof prompt === "string" &&
+    return [mission.review?.initialPrompt, ...(mission.corrections ?? []).map(item => item.initialPrompt), ...prompts].find(prompt => typeof prompt === "string" &&
         prompt.startsWith(`candidate_id: ${mission.id}\n`) && /^review_phase: initial$/mu.test(prompt) &&
         /^canonical_validation_exit: 0$/mu.test(prompt));
 }
@@ -377,8 +385,9 @@ export async function completedMissionReviewPrompts(mission, profile, root, requ
         return [];
     // The completion hook has already bound this prompt to a real independent Reviewer child.
     // Avoid a second V2 history read when its page/list API is temporarily unavailable.
-    if (initialMissionReviewPrompt(mission, []))
-        return [mission.review.initialPrompt];
+    const initial = initialMissionReviewPrompt(mission, []);
+    if (initial)
+        return [initial];
     const owner = mission.coordinator ?? root;
     if (mission.coordinator !== null) {
         const coordinator = await host.get(owner);

package/dist/plugin/profiled.js

@@ -355,6 +355,47 @@ export function createProfiledPlugin(profile, assetVersion) {
             return who.role === "dog-reviewer" && who.parent === (mission.coordinator ?? root);
         }
         async function restoreReviewAuthorship(root, mission, id) {
+            // An inline correction admission can end without any implementation: the
+            // controller may be the designated writer. Recover that exact native return
+            // rather than permanently treating the unused grant as source authorship.
+            const unused = mission.sourceAuthors?.includes(id) ? [] : (mission.corrections ?? []).filter(item => item.author === id && item.inlineReview && item.status === "failed" && !item.noWriteReceipt);
+            if (unused.length) {
+                const history = await reviewMessages(id);
+                const receipts = unused.flatMap(correction => {
+                    const inline = correction.inlineReview;
+                    const prompt = history.findIndex(message => record(message.info) && message.info.id === inline.promptID &&
+                        message.info.role === "user" && message.info.sessionID === id);
+                    if (prompt < 0)
+                        return [];
+                    const response = reviewResponseMessages(history, prompt);
+                    const last = [...response].reverse().find(message => record(message.info) && message.info.role === "assistant");
+                    const info = record(last?.info) ? last.info : undefined;
+                    if (!info || info.sessionID !== id || info.finish !== "stop" || info.error || typeof info.id !== "string" ||
+                        !record(info.time) || typeof info.time.completed !== "number" || info.time.completed < inline.admittedAt)
+                        return [];
+                    const parts = response.flatMap(message => Array.isArray(message.parts) ? message.parts.filter(record) : []);
+                    const admitted = parts.findIndex(part => part.type === "tool" && part.tool === repairReview && record(part.state) &&
+                        part.state.status === "completed" && record(part.state.time) && typeof part.state.time.end === "number" &&
+                        part.state.time.end >= inline.admittedAt);
+                    // Before admission this Reviewer was read-only. After it, require the
+                    // observed terminal and only read/search calls; unknown tools or failed
+                    // writes cannot establish that no implementation occurred.
+                    if (admitted < 0 || parts.slice(admitted + 1).some(part => part.type === "tool" &&
+                        (!["read", "grep", "glob"].includes(String(part.tool)) || !record(part.state) ||
+                            !["completed", "error"].includes(String(part.state.status)))))
+                        return [];
+                    return [{ runID: correction.runID, promptID: inline.promptID, messageID: info.id }];
+                });
+                if (receipts.length)
+                    mission = await missions.update(root, current => {
+                        for (const receipt of receipts) {
+                            const correction = current.corrections?.find(item => item.runID === receipt.runID && item.author === id &&
+                                item.status === "failed" && item.inlineReview?.promptID === receipt.promptID);
+                            if (correction)
+                                correction.noWriteReceipt = { promptID: receipt.promptID, messageID: receipt.messageID };
+                        }
+                    });
+            }
             if (!missionReviewIndependent(mission, id) || !mission.attempts?.some(attempt => attempt.childSessionID === id))
                 return mission;
             const history = await reviewMessages(id);
@@ -1187,6 +1228,9 @@ export function createProfiledPlugin(profile, assetVersion) {
                 return { ...packet, next_action: "Fast-lane: dispatch the exact Reviewer Task from review_mission if not yet active; otherwise wait for that Reviewer. Do not start a Coordinator or another Worker while review is pending." };
             }
             if (mission.runID === run?.runID && run?.units.some(unit => unit.status === "running")) {
+                if (mission.coordinator && !mission.dispatchOpen && !["completed", "cancelled"].includes(mission.phase))
+                    return { ...packet, task: missions.task(mission),
+                        next_action: "Resume this existing Coordinator Task with its task_id to continue the retained unit. Do not dispatch a replacement or wait for background work that has already ended." };
                 return { ...packet, next_action: "The current unit is active. Continue its owning session; do not dispatch a replacement Worker or Coordinator. Native background completion will return to the parent." };
             }
             if (mission.coordinator === null && mission.runID === run?.runID && !mission.dispatchOpen &&
@@ -2834,7 +2878,7 @@ export function createProfiledPlugin(profile, assetVersion) {
         }
         async function declareMissionUnits(root, actor, mission, raw, reason, execution, planningCallID, handoffNotes, workQuantities) {
             await control.currentBudget(root);
-            mission = await missions.required(root);
+            mission = actor === root ? await reconcileMissionDispatch(root) ?? await missions.required(root) : await missions.required(root);
             let previous = await operators.read(root);
             if (sourceReconciliationRequired(mission, previous))
                 return JSON.stringify({ ...missionDispatchPacket(mission, previous),
@@ -2849,8 +2893,34 @@ export function createProfiledPlugin(profile, assetVersion) {
                 Array.isArray(execution.commands) && execution.commands.length === 0);
             const plan = missionPlan(mission, raw, input.directory);
             assertMissionWritePaths(mission, plan.units.flatMap(unit => unit.write));
-            if (actor === root && (mission.coordinator !== null || plan.units.length !== 1))
-                throw new Error("mission-coordinator-required: dispatch the returned Coordinator task");
+            if (actor === root && (mission.coordinator !== null || plan.units.length !== 1)) {
+                // A submitted Coordinator still owns corrective planning. Return its actual
+                // continuation instead of referring to a Task that the rejection never supplied.
+                // This is routing advice only: no replacement plan, reservation or admission.
+                // Routing below alone chooses whether to offer a Task. A resumable parent
+                // packet can already contain one even while its Reviewer is still pending.
+                const { task: _dispatchTask, ...packet } = missionDispatchPacket(mission, previous);
+                const reviewPending = mission.runID === previous?.runID && mission.review?.verdict === "pending";
+                const active = mission.dispatchOpen || reviewPending || mission.runID === previous?.runID &&
+                    previous?.units.some(unit => unit.status === "running");
+                const continuation = !active ? missions.task(mission) : undefined;
+                // Existing Coordinator resumes accept a concrete prompt. Do not use the opaque
+                // initial reference here: claim() would expand it from unchanged Mission state
+                // and lose the unadmitted correction that prompted this continuation.
+                const task = continuation && mission.coordinator !== null ? { ...continuation,
+                    prompt: `Continue the same Mission ${mission.id} in this existing Coordinator session, in the user's language. ` +
+                        "Retain the saved original requests, requirements, candidate, checks and cumulative budget.\n" +
+                        "Proposed correction from Operator root (not admitted; preserve requirements, candidate and cumulative budget):\n" +
+                        JSON.stringify({ units: raw, reason, execution, handoff_context: handoffNotes, work_quantities: workQuantities }) } : continuation;
+                return JSON.stringify({ ...packet,
+                    status: active ? "mission-coordinator-active" : "mission-coordinator-required",
+                    ...(task ? { task } : {}),
+                    next_action: reviewPending
+                        ? "Dispatch the exact Reviewer Task from review_mission if not yet active; otherwise wait for that Reviewer. Do not start a Coordinator or another Worker while review is pending. The proposed plan has not been admitted."
+                        : active
+                            ? "Continue the active owning session or wait for its native completion; do not dispatch a duplicate Coordinator or Worker. The proposed plan has not been admitted."
+                            : "Dispatch this exact Task to continue the same Mission and Coordinator session with the concrete correction and retained checks. The proposed plan has not been admitted; keep requirements, candidate and cumulative budget unchanged." });
+            }
             const same = previous?.planHash === createHash("sha256").update(JSON.stringify(plan)).digest("hex");
             const replanning = previous && !["completed", "cancelled"].includes(previous.phase) && !same;
             const activeDirect = previous?.units.find(unit => unit.status === "running" && unit.directExecution?.actor === actor);
@@ -3034,7 +3104,10 @@ export function createProfiledPlugin(profile, assetVersion) {
                         if (args.executor === "worker" && args.units === undefined)
                             return handoffDirect(root, context.sessionID, context.callID, args.handoff_context);
                         const planned = await declareMissionUnits(root, context.sessionID, mission, args.units, args.reason, args.execution, context.callID, args.handoff_context, args.work_quantities);
-                        return args.executor === "self" && record(JSON.parse(planned).task) ? startDirect(root, context.sessionID) : planned;
+                        const task = JSON.parse(planned).task;
+                        // A Coordinator continuation is not a newly prepared direct unit.
+                        return args.executor === "self" && record(task) && task.subagent_type !== profileAgent(profile, "dog-operator")
+                            ? startDirect(root, context.sessionID) : planned;
                     });
                 }
                 catch (error) {
@@ -3178,7 +3251,7 @@ export function createProfiledPlugin(profile, assetVersion) {
                             current.verdict = "findings";
                             current.result = findings;
                             // The independent investigation is recorded by this real tool call, not a fictitious terminal.
-                            current.initialPrompt = current.task.prompt;
+                            current.initialPrompt = initialMissionReviewPrompt(item, [current.task.prompt]);
                         });
                         review = mission.review;
                     }
@@ -3375,7 +3448,7 @@ export function createProfiledPlugin(profile, assetVersion) {
                     // turn. Generate verification only when a completed initial review is recoverable;
                     // otherwise generate an admissible initial review instead of trapping the Coordinator.
                     const prior = mission.review?.task?.prompt;
-                    const completed = risk.length > 0 && prior && mission.review?.child && !mission.review.initialPrompt
+                    const completed = risk.length > 0 && prior && !initialMissionReviewPrompt(mission, [])
                         ? await completedMissionReviewPrompts(mission, profile, root, prior, {
                             get: async (id) => payload(await session("get", { path: { id }, query: { directory: input.directory } })),
                             messages: reviewMessages,

package/dist/runtime-mission-assets.d.ts

@@ -18,6 +18,8 @@ export declare const MISSION_REFLECTION_WORKFLOW = "When bounded process reflect
 export declare function missionOperatorContent(profile: RuntimeProfile, version: string): string;
 /** Keep representation oracles consistent in direct execution, Worker and Review. */
 export declare const MISSION_REPRESENTATION_ORACLE = "Same-type representation, not name/visitor analogy; resolve conflicts.";
+/** Planning and Review use public type families instead of only issue-named examples. */
+export declare const MISSION_TYPE_FAMILY_ORACLE = "When changing a dispatch/exclusion set, derive the affected same-representation family from an existing\nschema/registry and its public callers, not just issue examples. Compare sibling entries under that\ncontract; reuse suitable parameterized checks. Do not widen unrelated families or require an exhaustive\nmatrix, another unit or review lane.";
 /** Coordinator preserves source-backed return semantics in direct work or a Worker's objective. */
 export declare const MISSION_RETURN_CONTRACT = "For a changed value-producing operation, derive its return contract from public callers and unchanged source/tests.\nPreserve established return type/container, metadata and label alignment unless the original request changes them;\nequal numeric values alone do not prove that contract. Trace which inputs determine result shape and labels,\nincluding non-primary parameters; a scalar primary input need not yield a scalar result. For a mask or conditional\nreplacement, preserve established broadcasting and missing-value propagation; an unknown condition is not proof\nthat replacement is intended. Carry the affected contract into direct work or the Worker's objective.\nReuse an adequate focused assertion; add only the smallest source-backed regression when needed, not an input matrix,\nanother unit, validation lane or review.";
 /** Coordinator preserves source-backed mutation semantics in direct work or a Worker's objective. */
@@ -25,7 +27,7 @@ export declare const MISSION_MUTATION_CONTRACT = "For a changed mutating operati
 /** Coordinator authors and plans regressions without adding another validation/review lane. */
 export declare const MISSION_REGRESSION_PLACEMENT = "Prefer an existing relevant test suite/subtest or fixture when it can express the regression assertion.\nIf a new test module is needed, prefer a distinctive behavior-specific name over automatically mirroring the implementation module.\nPreserve established assertions and project test discovery. This is placement guidance, not another test, unit or review requirement.";
 /** Shared by the installed Reviewer and its host-generated mission prompt. */
-export declare const MISSION_BEHAVIOR_REVIEW = "Establish the test oracle independently of the patch: tests added with the implementation are claims to\nreview, not established API behavior. For a changed failure path, compare a pre-existing analogous public\ntest and its shared assertion helper, including default expected outputs, with the new case. A new test\nthat asserts the implementation's current result can encode the defect rather than catch it. Preserve\nthe pre-change contract unless the request changes it; do not invent a universal failure-result convention.\nFor changed observable behavior, inspect affected public caller assertions/output snapshots found by search, not only implementation-local fixtures.\nReconcile expected outputs with the original requirements and reuse adequate checks; no extra review round.\nFor requested side-effect changes, check remaining controls with existing client-owned state, not only isolated defaults.\nJudge allowed effects from the original request; preserve authorized opt-in behavior.\nSame-type representation, not name/visitor analogy; resolve conflicts.\nTrace a concrete rejected input through the changed code back to the public caller, checking result,\nerror and observable state together, including earlier results that can survive failure. Missing assertions\nalone are not defects; a concrete contradiction with the established contract is a finding even if tests pass.\nDuring correction, reuse the established public test harness where applicable and exercise the smallest\nregression exposing the defect before the fix and passing afterward. Do not change expected values or\nhelper defaults merely to agree with the implementation; derive them from the original contract.\nPrefer existing suites/subtests for regressions. New test entry/helper names should be distinctive\nand compose with other same-package test files, not create generic package-level collisions.\n\nFor a requested per-call mode/option, trace where the setting is chosen and where changed code uses\nretained objects or closures. Distinguish the current caller's setting from a captured creation-time\nsetting; use the requested contract to decide which governs. If actual source crosses that boundary\nand existing tests do not cover it, exercise its smallest public case, including the disabled behavior.\nDo not invent a lifecycle matrix or infer that an opt-in feature is correct from only its enabled path.\n\nFor a changed failure handler, inspect the operation it calls and the public inputs reaching it,\nincluding failures not listed in the new handler. Use the supplied source/tests and established API behavior\nto identify a concrete input that could still violate the requested contract. A passing normal input does\nnot settle a different failure outcome of that same operation. A demonstrable material defect is FINDINGS; ask for\nan excerpt or result only when a specific material outcome cannot be settled. Do not invent new behavior,\nrequire an exhaustive exception inventory, or recommend catching every exception.\n\nReport FINDINGS only for concrete major or medium defects with a material impact on the original requirements,\npublic behavior, correctness or required validation. Name the consequence and smallest necessary fix.\nDo not turn minor style, wording, optional improvements or speculative edge cases into FINDINGS or EVIDENCE_GAPS.\nUse read/search to settle missing context in the current review. If a consequential uncertainty remains,\nrecord EVIDENCE_GAPS as an advisory limitation, not a demand for another evidence packet. Missing narration,\nrequirement mappings, hashes or clipped excerpts alone never justify a blocking finding.\n\nAssess behavioral requirements against actual source, tests and observed results. A required check known to\nhave failed or not run is a concrete finding; missing documentation of a check is not proof it did not run.\nFor incidental workflow constraints such as cache settings or command-path spelling, use existing host observations;\nabsence of a separate settings dump or historical log is not itself an evidence gap. Flag observed material\ncontradictions. The Operator owns final comparison with the original request. If a missing check genuinely\naffects correctness or a requested deliverable, name that consequence and the smallest useful next check.\nOn verification, compare the correction and its affected public outcomes with the original contract, not\nonly the wording of previous findings. Reuse unchanged evidence; do not expand into optional improvements\nor an exhaustive input matrix. PASS means no material finding, not exhaustive proof of every path.";
+export declare const MISSION_BEHAVIOR_REVIEW = "Establish the test oracle independently of the patch: tests added with the implementation are claims to\nreview, not established API behavior. For a changed failure path, compare a pre-existing analogous public\ntest and its shared assertion helper, including default expected outputs, with the new case. A new test\nthat asserts the implementation's current result can encode the defect rather than catch it. Preserve\nthe pre-change contract unless the request changes it; do not invent a universal failure-result convention.\nFor changed observable behavior, inspect affected public caller assertions/output snapshots found by search, not only implementation-local fixtures.\nReconcile expected outputs with the original requirements and reuse adequate checks; no extra review round.\nFor requested side-effect changes, check remaining controls with existing client-owned state, not only isolated defaults.\nJudge allowed effects from the original request; preserve authorized opt-in behavior.\nSame-type representation, not name/visitor analogy; resolve conflicts.\nWhen changing a dispatch/exclusion set, derive the affected same-representation family from an existing\nschema/registry and its public callers, not just issue examples. Compare sibling entries under that\ncontract; reuse suitable parameterized checks. Do not widen unrelated families or require an exhaustive\nmatrix, another unit or review lane.\nTrace a concrete rejected input through the changed code back to the public caller, checking result,\nerror and observable state together, including earlier results that can survive failure. Missing assertions\nalone are not defects; a concrete contradiction with the established contract is a finding even if tests pass.\nDuring correction, reuse the established public test harness where applicable and exercise the smallest\nregression exposing the defect before the fix and passing afterward. Do not change expected values or\nhelper defaults merely to agree with the implementation; derive them from the original contract.\nPrefer existing suites/subtests for regressions. New test entry/helper names should be distinctive\nand compose with other same-package test files, not create generic package-level collisions.\n\nFor a requested per-call mode/option, trace where the setting is chosen and where changed code uses\nretained objects or closures. Distinguish the current caller's setting from a captured creation-time\nsetting; use the requested contract to decide which governs. If actual source crosses that boundary\nand existing tests do not cover it, exercise its smallest public case, including the disabled behavior.\nDo not invent a lifecycle matrix or infer that an opt-in feature is correct from only its enabled path.\n\nFor a changed failure handler, inspect the operation it calls and the public inputs reaching it,\nincluding failures not listed in the new handler. Use the supplied source/tests and established API behavior\nto identify a concrete input that could still violate the requested contract. A passing normal input does\nnot settle a different failure outcome of that same operation. A demonstrable material defect is FINDINGS; ask for\nan excerpt or result only when a specific material outcome cannot be settled. Do not invent new behavior,\nrequire an exhaustive exception inventory, or recommend catching every exception.\n\nReport FINDINGS only for concrete major or medium defects with a material impact on the original requirements,\npublic behavior, correctness or required validation. Name the consequence and smallest necessary fix.\nDo not turn minor style, wording, optional improvements or speculative edge cases into FINDINGS or EVIDENCE_GAPS.\nUse read/search to settle missing context in the current review. If a consequential uncertainty remains,\nrecord EVIDENCE_GAPS as an advisory limitation, not a demand for another evidence packet. Missing narration,\nrequirement mappings, hashes or clipped excerpts alone never justify a blocking finding.\n\nAssess behavioral requirements against actual source, tests and observed results. A required check known to\nhave failed or not run is a concrete finding; missing documentation of a check is not proof it did not run.\nFor incidental workflow constraints such as cache settings or command-path spelling, use existing host observations;\nabsence of a separate settings dump or historical log is not itself an evidence gap. Flag observed material\ncontradictions. The Operator owns final comparison with the original request. If a missing check genuinely\naffects correctness or a requested deliverable, name that consequence and the smallest useful next check.\nOn verification, compare the correction and its affected public outcomes with the original contract, not\nonly the wording of previous findings. Reuse unchanged evidence; do not expand into optional improvements\nor an exhaustive input matrix. PASS means no material finding, not exhaustive proof of every path.";
 /** Mission Reviewer uses ordinary host read/search permissions, not a supplied-packet-only protocol. */
 export declare function missionReviewerContent(profile: RuntimeProfile): string;
 export declare function missionCoordinatorContent(profile: RuntimeProfile, version: string): string;

package/dist/runtime-mission-assets.js

@@ -284,6 +284,11 @@ existing user authorization and project gates; npm publication remains manual.
 }
 /** Keep representation oracles consistent in direct execution, Worker and Review. */
 export const MISSION_REPRESENTATION_ORACLE = `Same-type representation, not name/visitor analogy; resolve conflicts.`;
+/** Planning and Review use public type families instead of only issue-named examples. */
+export const MISSION_TYPE_FAMILY_ORACLE = `When changing a dispatch/exclusion set, derive the affected same-representation family from an existing
+schema/registry and its public callers, not just issue examples. Compare sibling entries under that
+contract; reuse suitable parameterized checks. Do not widen unrelated families or require an exhaustive
+matrix, another unit or review lane.`;
 /** Coordinator preserves source-backed return semantics in direct work or a Worker's objective. */
 export const MISSION_RETURN_CONTRACT = `For a changed value-producing operation, derive its return contract from public callers and unchanged source/tests.
 Preserve established return type/container, metadata and label alignment unless the original request changes them;
@@ -319,6 +324,7 @@ For changed observable behavior, inspect affected public caller assertions/outpu
 Reconcile expected outputs with the original requirements and reuse adequate checks; no extra review round.
 ${MISSION_CLIENT_STATE_CHECK}
 ${MISSION_REPRESENTATION_ORACLE}
+${MISSION_TYPE_FAMILY_ORACLE}
 Trace a concrete rejected input through the changed code back to the public caller, checking result,
 error and observable state together, including earlier results that can survive failure. Missing assertions
 alone are not defects; a concrete contradiction with the established contract is a finding even if tests pass.
@@ -540,6 +546,7 @@ If peer source/tests expose a plausible related still-unhandled error, probe its
 before choosing the fix; reuse adequate checks. Include this in the current author's objective/check
 plan, not another unit or review round. Do not invent an exhaustive error matrix.
 ${MISSION_REPRESENTATION_ORACLE}
+${MISSION_TYPE_FAMILY_ORACLE}
 ${MISSION_RETURN_CONTRACT}
 ${MISSION_MUTATION_CONTRACT}
 ${MISSION_REGRESSION_PLACEMENT}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sortie-dogs",
-  "version": "0.14.0",
+  "version": "0.14.2",
   "description": "Bounded agent harness and validated orchestration loop plugin for OpenCode",
   "keywords": [
     "opencode",