harnery 0.16.0 → 0.18.0

package/dist/core/supervisor/runner.js

@@ -1,5 +1,6 @@
 import { resolve } from "node:path";
 import { acceptWorkItem, reconcileWorkItem, runWorkItem, } from "../work/index.js";
+import { runSupervisorPlanner } from "./planning.js";
 import { acquireSupervisorLease, readSupervisorIgnoringLease, } from "./state.js";
 export async function runSupervisor(input) {
     const coordRoot = resolve(input.coordRoot);
@@ -12,7 +13,9 @@ export async function runSupervisor(input) {
     let cycles = 0;
     let dispatches = 0;
     let acceptances = 0;
+    let replans = 0;
     const outcomes = [];
+    const planOutcomes = [];
     try {
         const initial = readSupervisorIgnoringLease(coordRoot, input.goalId);
         const cycleLimit = mode === "tick" ? 1 : initial.intent.limits.max_cycles;
@@ -30,6 +33,31 @@ export async function runSupervisor(input) {
             }
             const before = graphFingerprint(record);
             let changed = false;
+            if (record.projection.next_action === "replan" ||
+                record.projection.next_action === "plan_initial" ||
+                record.projection.next_action === "plan_milestone") {
+                log(`[${record.intent.title}] ${record.projection.next_action} at graph generation ${record.projection.plan_generation}`);
+                const plan = await runSupervisorPlanner({
+                    coordRoot,
+                    record,
+                    engine: input.engine,
+                    actor,
+                    onLog: input.onLog,
+                });
+                replans++;
+                planOutcomes.push(plan);
+                record = refreshGraph(coordRoot, input.goalId, actor);
+                if (mode === "tick") {
+                    return report("tick_complete", `planner produced ${plan.status} plan ${plan.plan_id}`, record);
+                }
+                if (record.projection.state === "succeeded") {
+                    return report("succeeded", record.projection.reason, record);
+                }
+                if (record.projection.state !== "ready") {
+                    return report(stopForProjection(record.projection), record.projection.reason, record);
+                }
+                continue;
+            }
             if (record.intent.automation.accept_passing_proof) {
                 for (const work of record.work) {
                     if (work.projection.state !== "in_review")
@@ -133,7 +161,9 @@ export async function runSupervisor(input) {
             cycles,
             dispatches,
             acceptances,
+            replans,
             outcomes,
+            plan_outcomes: planOutcomes,
             projection: record.projection,
         };
     }
@@ -177,13 +207,18 @@ function selectWithinAttemptBudget(record, candidates) {
     });
 }
 function graphFingerprint(record) {
-    return JSON.stringify(record.work.map((work) => [
-        work.intent.id,
-        work.projection.state,
-        work.projection.next_action,
-        work.projection.attempts_used,
-        work.events.length,
-    ]));
+    return JSON.stringify([
+        record.projection.root_work_id,
+        record.projection.plan_generation,
+        record.projection.latest_plan_status,
+        record.work.map((work) => [
+            work.intent.id,
+            work.projection.state,
+            work.projection.next_action,
+            work.projection.attempts_used,
+            work.events.length,
+        ]),
+    ]);
 }
 function stopForProjection(projection) {
     if (projection.state === "budget_exhausted")

package/dist/core/supervisor/service.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/service.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,KAAK,gBAAgB,EAAmB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAiB,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnE,eAAO,MAAM,wCAAwC,EAAG,CAAU,CAAC;AACnE,eAAO,MAAM,yCAAyC,EAAG,CAAU,CAAC;AACpE,eAAO,MAAM,wCAAwC,EAAG,CAAU,CAAC;AAOnE,MAAM,WAAW,6BAA6B;IAC5C,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,uBAAuB;IACtC,cAAc,EAAE,OAAO,wCAAwC,CAAC;IAChE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,MAAM,EAAE,6BAA6B,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC,6BAA6B,CAAC,CAAC;CACjD;AAED,MAAM,MAAM,0BAA0B,GAAG,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAC;AAEhF,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,0BAA0B,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,OAAO,yCAAyC,CAAC;IACjE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,6BAA6B,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAE5F,MAAM,WAAW,6BAA6B;IAC5C,cAAc,EAAE,OAAO,wCAAwC,CAAC;IAChE,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,6BAA6B,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,6BAA6B,CAAC;IACvC,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,CAAC,EAAE,wBAAwB,CAAC;CACpC;AAED,MAAM,WAAW,6BAA6B;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,oBAAoB,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,6BAA6B,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,uBAAuB,CAAC;IAChC,MAAM,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACvF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACnE,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC3D,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACtF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AASD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,+BAA+B,GACrC,uBAAuB,CAiDzB;AAED,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAQzF;AAED,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,MAAM,GACnB,wBAAwB,GAAG,SAAS,CAkBtC;AAED,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAkBzF;AAED,wBAAsB,sBAAsB,CAC1C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CAwClC;AAED,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAgB1F;AAED,wBAAsB,yBAAyB,CAC7C,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,4BAA4B,CAAC,CAuIvC;AAED,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,+BAA+B,GACrC,OAAO,CAAC,6BAA6B,CAAC,CAyGxC;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAElE"}
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/service.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,KAAK,gBAAgB,EAAmB,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAiB,KAAK,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACjG,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnE,eAAO,MAAM,wCAAwC,EAAG,CAAU,CAAC;AACnE,eAAO,MAAM,yCAAyC,EAAG,CAAU,CAAC;AACpE,eAAO,MAAM,wCAAwC,EAAG,CAAU,CAAC;AAOnE,MAAM,WAAW,6BAA6B;IAC5C,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,uBAAuB;IACtC,cAAc,EAAE,OAAO,wCAAwC,CAAC;IAChE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,MAAM,EAAE,6BAA6B,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC,6BAA6B,CAAC,CAAC;CACjD;AAED,MAAM,MAAM,0BAA0B,GAAG,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAC;AAEhF,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,0BAA0B,CAAC;IAClC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,OAAO,yCAAyC,CAAC;IACjE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,6BAA6B,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAE5F,MAAM,WAAW,6BAA6B;IAC5C,cAAc,EAAE,OAAO,wCAAwC,CAAC;IAChE,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,6BAA6B,CAAC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,6BAA6B,CAAC;IACvC,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,CAAC,EAAE,wBAAwB,CAAC;CACpC;AAED,MAAM,WAAW,6BAA6B;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,oBAAoB,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,4BAA4B;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,6BAA6B,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,uBAAuB,CAAC;IAChC,MAAM,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACvF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACnE,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC3D,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;CACxC;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACtF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AASD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,+BAA+B,GACrC,uBAAuB,CAiDzB;AAED,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAQzF;AAED,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,MAAM,GACnB,wBAAwB,GAAG,SAAS,CAkBtC;AAED,wBAAgB,2BAA2B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAkBzF;AAED,wBAAsB,sBAAsB,CAC1C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,CAwClC;AAED,wBAAgB,4BAA4B,CAAC,YAAY,EAAE,MAAM,GAAG,uBAAuB,CAgB1F;AAED,wBAAsB,yBAAyB,CAC7C,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,4BAA4B,CAAC,CAwIvC;AAED,wBAAsB,0BAA0B,CAC9C,KAAK,EAAE,+BAA+B,GACrC,OAAO,CAAC,6BAA6B,CAAC,CAyGxC;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAElE"}

package/dist/core/supervisor/service.js

@@ -241,6 +241,7 @@ export async function runSupervisorServiceSweep(input) {
                 cycles: report.cycles,
                 dispatches: report.dispatches,
                 acceptances: report.acceptances,
+                replans: report.replans,
             });
             persistRuntime(coordRoot, runtime, completedAt);
         }
@@ -432,6 +433,15 @@ function projectionFingerprint(projection) {
         projection.next_action,
         projection.attempts_used,
         projection.attempts_remaining,
+        projection.root_work_id,
+        projection.root_materialized,
+        projection.plan_generation,
+        projection.replans_used,
+        projection.replans_remaining,
+        projection.milestones_completed,
+        projection.milestones_remaining,
+        projection.pending_plan_id,
+        projection.latest_plan_status,
         projection.ready_work,
         projection.resumable_work,
         projection.retryable_work,

package/dist/core/supervisor/state.d.ts

@@ -1,5 +1,6 @@
 import { type WorkRecord } from "../work/read.js";
 import type { WorkflowSpecialistProfile } from "../workflow/types.js";
+import { type CreateSupervisorReplanningInput, type SupervisorPlanRecord, type SupervisorReplanningPolicy } from "./plan-types.js";
 export declare const SUPERVISOR_INTENT_SCHEMA_VERSION: 1;
 export interface SupervisorLimits {
     max_cycles: number;
@@ -14,6 +15,16 @@ export interface SupervisorAutomationPolicy {
     resume_approved: boolean;
     retry_blocked: boolean;
 }
+export interface SupervisorMission {
+    objective: string;
+    acceptance: string[];
+    max_milestones: number;
+}
+export interface CreateSupervisorMissionInput {
+    objective: string;
+    acceptance: readonly string[];
+    maxMilestones?: number;
+}
 export interface SupervisorIntent {
     schema_version: typeof SUPERVISOR_INTENT_SCHEMA_VERSION;
     id: string;
@@ -22,14 +33,17 @@ export interface SupervisorIntent {
     specialists: Record<string, WorkflowSpecialistProfile>;
     limits: SupervisorLimits;
     automation: SupervisorAutomationPolicy;
+    mission?: SupervisorMission;
+    replanning?: SupervisorReplanningPolicy;
     created_at: string;
 }
 export type SupervisorState = "ready" | "running" | "awaiting_attention" | "blocked" | "budget_exhausted" | "succeeded";
-export type SupervisorNextAction = "run" | "wait_for_run" | "resolve_approval" | "review" | "retry" | "none";
+export type SupervisorNextAction = "run" | "wait_for_run" | "resolve_approval" | "review" | "retry" | "replan" | "plan_initial" | "plan_milestone" | "review_plan" | "none";
 export interface SupervisorProjection {
     id: string;
     title: string;
     root_work_id: string;
+    root_materialized: boolean;
     state: SupervisorState;
     reason: string;
     next_action: SupervisorNextAction;
@@ -41,20 +55,31 @@ export interface SupervisorProjection {
     attempts_used: number;
     attempts_remaining: number;
     specialists: string[];
+    plan_generation: number;
+    replans_used: number;
+    replans_remaining: number;
+    milestones_completed: number;
+    milestones_remaining: number;
+    pending_plan_id?: string;
+    latest_plan_status?: SupervisorPlanRecord["status"];
+    governed_work_ids: string[];
 }
 export interface SupervisorRecord {
     intent: SupervisorIntent;
     projection: SupervisorProjection;
     work: WorkRecord[];
+    plans: SupervisorPlanRecord[];
 }
 export interface CreateSupervisorInput {
     coordRoot: string;
-    rootWorkId: string;
+    rootWorkId?: string;
     specialists: Readonly<Record<string, WorkflowSpecialistProfile>>;
     title?: string;
     id?: string;
     limits?: Partial<SupervisorLimits>;
     automation?: Partial<SupervisorAutomationPolicy>;
+    mission?: CreateSupervisorMissionInput;
+    replanning?: CreateSupervisorReplanningInput;
 }
 export declare function createSupervisor(input: CreateSupervisorInput): SupervisorRecord;
 export declare function readSupervisor(coordRoot: string, goalId: string): SupervisorRecord;

package/dist/core/supervisor/state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/state.ts"],"names":[],"mappings":"AAeA,OAAO,EAA8B,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE9E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAO3D,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,0BAA0B;IACzC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,eAAe,EAAE,OAAO,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,OAAO,gCAAgC,CAAC;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IACvD,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,0BAA0B,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,eAAe,GACvB,OAAO,GACP,SAAS,GACT,oBAAoB,GACpB,SAAS,GACT,kBAAkB,GAClB,WAAW,CAAC;AAEhB,MAAM,MAAM,oBAAoB,GAC5B,KAAK,GACL,cAAc,GACd,kBAAkB,GAClB,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,eAAe,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,oBAAoB,CAAC;IACjC,IAAI,EAAE,UAAU,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC;IACjE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACnC,UAAU,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC,CAAC;CAClD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,gBAAgB,CAqB/E;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAElF;AAED,gFAAgF;AAChF,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAE/F;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAWrE;AAED,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,EAAE,CAezF;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAEvD;AAED,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,CA0CpF"}
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/state.ts"],"names":[],"mappings":"AAeA,OAAO,EAA8B,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG9E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EACL,KAAK,+BAA+B,EAEpC,KAAK,oBAAoB,EACzB,KAAK,0BAA0B,EAEhC,MAAM,iBAAiB,CAAC;AAEzB,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAW3D,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,0BAA0B;IACzC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,eAAe,EAAE,OAAO,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,4BAA4B;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,OAAO,gCAAgC,CAAC;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IACvD,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,0BAA0B,CAAC;IACvC,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,UAAU,CAAC,EAAE,0BAA0B,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,eAAe,GACvB,OAAO,GACP,SAAS,GACT,oBAAoB,GACpB,SAAS,GACT,kBAAkB,GAClB,WAAW,CAAC;AAEhB,MAAM,MAAM,oBAAoB,GAC5B,KAAK,GACL,cAAc,GACd,kBAAkB,GAClB,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,cAAc,GACd,gBAAgB,GAChB,aAAa,GACb,MAAM,CAAC;AAEX,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,KAAK,EAAE,eAAe,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,oBAAoB,CAAC;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACpD,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,CAAC;IACzB,UAAU,EAAE,oBAAoB,CAAC;IACjC,IAAI,EAAE,UAAU,EAAE,CAAC;IACnB,KAAK,EAAE,oBAAoB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC;IACjE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACnC,UAAU,CAAC,EAAE,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACjD,OAAO,CAAC,EAAE,4BAA4B,CAAC;IACvC,UAAU,CAAC,EAAE,+BAA+B,CAAC;CAC9C;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,gBAAgB,CAiD/E;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAElF;AAED,gFAAgF;AAChF,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAE/F;AAED,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAWrE;AAED,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,UAAU,EAAE,CAezF;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAEvD;AAED,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,IAAI,CA0CpF"}

package/dist/core/supervisor/state.js

@@ -1,28 +1,54 @@
 import { randomBytes, randomUUID } from "node:crypto";
 import { chmodSync, closeSync, existsSync, mkdirSync, openSync, readdirSync, readFileSync, statSync, unlinkSync, writeFileSync, } from "node:fs";
 import { hostname } from "node:os";
-import { dirname, join, resolve } from "node:path";
+import { dirname, isAbsolute, join, resolve } from "node:path";
 import { assertWorkId, readWorkItem } from "../work/read.js";
+import { workflowScriptDigest } from "../workflow/run-state.js";
 import { normalizeWorkflowSpecialists } from "../workflow/specialists.js";
+import { readSupervisorPlans } from "./plan-read.js";
+import { supervisorGraphFingerprint, } from "./plan-types.js";
 export const SUPERVISOR_INTENT_SCHEMA_VERSION = 1;
 const GOAL_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,99}$/;
 const MAX_TITLE = 200;
+const MAX_OBJECTIVE = 4_000;
+const MAX_ACCEPTANCE = 50;
 const MAX_INTENT_BYTES = 256 * 1024;
+const MAX_TEMPLATES = 20;
+const TEMPLATE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
 const FOREIGN_LEASE_STALE_MS = 24 * 60 * 60 * 1_000;
 export function createSupervisor(input) {
     const coordRoot = resolve(input.coordRoot);
-    assertWorkId(input.rootWorkId);
-    const root = readWorkItem(coordRoot, input.rootWorkId);
     const id = input.id ?? newSupervisorId();
     assertSupervisorId(id);
+    const mission = input.mission ? normalizeMission(input.mission) : undefined;
+    if (mission && !input.replanning) {
+        throw new Error("supervisor mission requires a replanning policy");
+    }
+    if (!input.rootWorkId && !mission) {
+        throw new Error("supervisor creation without root work requires a mission and replanning policy");
+    }
+    if (input.rootWorkId)
+        assertWorkId(input.rootWorkId);
+    const root = input.rootWorkId ? readWorkItem(coordRoot, input.rootWorkId) : undefined;
+    const replanning = input.replanning
+        ? normalizeReplanning(input.replanning, input.specialists)
+        : undefined;
+    if (mission &&
+        !input.rootWorkId &&
+        replanning &&
+        replanning.max_replans <= mission.max_milestones) {
+        throw new Error("objective-first mission max_replans must exceed max_milestones to reserve completion review");
+    }
     const intent = {
         schema_version: SUPERVISOR_INTENT_SCHEMA_VERSION,
         id,
-        title: bounded(input.title ?? root.intent.title, "supervisor title", MAX_TITLE),
-        root_work_id: input.rootWorkId,
+        title: bounded(input.title ?? root?.intent.title ?? missionTitle(mission), "supervisor title", MAX_TITLE),
+        root_work_id: input.rootWorkId ?? missionRootId(id),
         specialists: normalizeWorkflowSpecialists(input.specialists),
         limits: normalizeLimits(input.limits),
         automation: normalizeAutomation(input.automation),
+        ...(mission ? { mission } : {}),
+        ...(replanning ? { replanning } : {}),
         created_at: new Date().toISOString(),
     };
     const path = supervisorIntentPath(coordRoot, id);
@@ -126,18 +152,23 @@ export function acquireSupervisorLease(coordRoot, goalId) {
 function readSupervisorInternal(coordRootRaw, goalId, ignoreLease) {
     const coordRoot = resolve(coordRootRaw);
     const intent = readSupervisorIntent(coordRoot, goalId);
-    const work = collectSupervisorWork(coordRoot, intent.root_work_id);
+    const plans = readSupervisorPlans(coordRoot, intent.id, intent.root_work_id);
+    const activeRootExists = workIntentExists(coordRoot, plans.active_root_work_id);
+    if (!activeRootExists && (!intent.mission || plans.generation > 0)) {
+        throw new Error(`supervisor ${intent.id} root work is missing`);
+    }
+    const work = activeRootExists ? collectSupervisorWork(coordRoot, plans.active_root_work_id) : [];
+    const governed = collectGovernedWork(coordRoot, intent.root_work_id, plans, work);
     return {
         intent,
         work,
-        projection: deriveProjection(coordRoot, intent, work, ignoreLease),
+        plans: plans.plans,
+        projection: deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease),
     };
 }
-function deriveProjection(coordRoot, intent, work, ignoreLease) {
-    const root = work.find((record) => record.intent.id === intent.root_work_id);
-    if (!root)
-        throw new Error(`supervisor ${intent.id} root work is missing`);
-    const attemptsUsed = work.reduce((sum, record) => sum + record.projection.attempts_used, 0);
+function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease) {
+    const root = work.find((record) => record.intent.id === plans.active_root_work_id);
+    const attemptsUsed = governed.reduce((sum, record) => sum + record.projection.attempts_used, 0);
     const readyWork = work
         .filter((record) => record.projection.state === "ready")
         .map((record) => record.intent.id);
@@ -169,10 +200,14 @@ function deriveProjection(coordRoot, intent, work, ignoreLease) {
         ...cancelled,
         ...terminalBlocked,
     ]);
+    const initialRootAccepted = intent.mission !== undefined &&
+        governed.some((record) => record.intent.id === intent.root_work_id && record.projection.state === "succeeded");
+    const milestonesCompleted = plans.milestones_completed + (initialRootAccepted ? 1 : 0);
     const base = {
         id: intent.id,
         title: intent.title,
-        root_work_id: intent.root_work_id,
+        root_work_id: plans.active_root_work_id,
+        root_materialized: root !== undefined,
         work_ids: work.map((record) => record.intent.id),
         ready_work: readyWork,
         resumable_work: resumableWork,
@@ -181,6 +216,14 @@ function deriveProjection(coordRoot, intent, work, ignoreLease) {
         attempts_used: attemptsUsed,
         attempts_remaining: Math.max(0, intent.limits.max_total_attempts - attemptsUsed),
         specialists: Object.keys(intent.specialists),
+        plan_generation: plans.generation,
+        replans_used: plans.plans.length,
+        replans_remaining: Math.max(0, (intent.replanning?.max_replans ?? 0) - plans.plans.length),
+        milestones_completed: milestonesCompleted,
+        milestones_remaining: Math.max(0, (intent.mission?.max_milestones ?? 0) - milestonesCompleted),
+        pending_plan_id: plans.latest?.status === "proposed" ? plans.latest.request.id : undefined,
+        latest_plan_status: plans.latest?.status,
+        governed_work_ids: governed.map((record) => record.intent.id),
     };
     if (!ignoreLease && supervisorLeaseIsLive(coordRoot, intent.id)) {
         return {
@@ -190,6 +233,88 @@ function deriveProjection(coordRoot, intent, work, ignoreLease) {
             next_action: "wait_for_run",
         };
     }
+    if (intent.mission && plans.completed) {
+        return {
+            ...base,
+            state: "succeeded",
+            reason: "mission completion was explicitly accepted",
+            next_action: "none",
+        };
+    }
+    if (plans.latest?.status === "proposed") {
+        return {
+            ...base,
+            state: "awaiting_attention",
+            reason: `replacement plan ${plans.latest.request.id} awaits explicit review`,
+            next_action: "review_plan",
+        };
+    }
+    if (plans.latest?.status === "awaiting_approval") {
+        return {
+            ...base,
+            state: "awaiting_attention",
+            reason: `planner workflow awaits approval ${plans.latest.approval_id}`,
+            next_action: "resolve_approval",
+        };
+    }
+    if (plans.latest?.status === "resumable") {
+        return {
+            ...base,
+            state: "ready",
+            reason: `planner workflow ${plans.latest.request.workflow_run_id} is resumable`,
+            next_action: "replan",
+        };
+    }
+    const triggerFingerprint = supervisorGraphFingerprint({
+        rootWorkId: plans.active_root_work_id,
+        generation: plans.generation,
+        work,
+    });
+    const latestHandledSameGraph = plans.latest?.request.trigger_fingerprint === triggerFingerprint &&
+        plans.latest.request.prior_root_work_id === plans.active_root_work_id &&
+        plans.latest.status === "attention";
+    if (latestHandledSameGraph && plans.latest) {
+        return {
+            ...base,
+            state: "awaiting_attention",
+            reason: plans.latest.reason ?? `plan ${plans.latest.request.id} requires attention`,
+            next_action: "none",
+        };
+    }
+    if (!root && intent.mission) {
+        if (!intent.replanning || plans.plans.length >= intent.replanning.max_replans) {
+            return {
+                ...base,
+                state: "budget_exhausted",
+                reason: "mission exhausted its planning budget before creating an initial milestone",
+                next_action: "none",
+            };
+        }
+        return {
+            ...base,
+            state: "ready",
+            reason: "mission is ready for its initial bounded milestone plan",
+            next_action: "plan_initial",
+        };
+    }
+    if (!root)
+        throw new Error(`supervisor ${intent.id} root work is missing`);
+    if (root.projection.state === "succeeded" && intent.mission) {
+        if (!intent.replanning || plans.plans.length >= intent.replanning.max_replans) {
+            return {
+                ...base,
+                state: "budget_exhausted",
+                reason: "mission exhausted its planning budget at a milestone boundary",
+                next_action: "none",
+            };
+        }
+        return {
+            ...base,
+            state: "ready",
+            reason: `milestone ${plans.milestones_completed} is accepted and requires mission reassessment`,
+            next_action: "plan_milestone",
+        };
+    }
     if (root.projection.state === "succeeded") {
         return {
             ...base,
@@ -268,6 +393,38 @@ function deriveProjection(coordRoot, intent, work, ignoreLease) {
             next_action: "retry",
         };
     }
+    if (attemptsUsed >= intent.limits.max_total_attempts && cancelled.length === 0) {
+        return {
+            ...base,
+            state: "budget_exhausted",
+            reason: `goal exhausted its ${intent.limits.max_total_attempts} total attempts`,
+            next_action: "none",
+        };
+    }
+    const canReplan = intent.replanning !== undefined &&
+        plans.plans.length < intent.replanning.max_replans &&
+        cancelled.length === 0 &&
+        !latestHandledSameGraph;
+    if (canReplan) {
+        return {
+            ...base,
+            state: "ready",
+            reason: terminalBlocked.length
+                ? `${terminalBlocked.length} terminally blocked work item${terminalBlocked.length === 1 ? " can" : "s can"} be replanned`
+                : "the active graph has no legal progress action and may be replanned",
+            next_action: "replan",
+        };
+    }
+    if (intent.replanning &&
+        plans.plans.length >= intent.replanning.max_replans &&
+        cancelled.length === 0) {
+        return {
+            ...base,
+            state: "budget_exhausted",
+            reason: `goal exhausted its ${intent.replanning.max_replans} replans`,
+            next_action: "none",
+        };
+    }
     return {
         ...base,
         state: "blocked",
@@ -304,6 +461,19 @@ function validateIntent(intent, goalId) {
     }
     bounded(intent.title, "supervisor title", MAX_TITLE);
     assertWorkId(intent.root_work_id);
+    if (intent.mission) {
+        const normalizedMission = normalizeMission({
+            objective: intent.mission.objective,
+            acceptance: intent.mission.acceptance,
+            maxMilestones: intent.mission.max_milestones,
+        });
+        if (JSON.stringify(normalizedMission) !== JSON.stringify(intent.mission)) {
+            throw new Error(`supervisor intent ${goalId} mission is not canonical`);
+        }
+        if (!intent.replanning) {
+            throw new Error(`supervisor intent ${goalId} mission requires replanning`);
+        }
+    }
     const specialists = normalizeWorkflowSpecialists(intent.specialists);
     if (JSON.stringify(specialists) !== JSON.stringify(intent.specialists)) {
         throw new Error(`supervisor intent ${goalId} specialists are not canonical`);
@@ -314,6 +484,30 @@ function validateIntent(intent, goalId) {
     if (JSON.stringify(normalizeAutomation(intent.automation)) !== JSON.stringify(intent.automation)) {
         throw new Error(`supervisor intent ${goalId} automation policy is not canonical`);
     }
+    if (intent.replanning)
+        validateReplanning(intent.replanning, specialists, goalId);
+}
+function normalizeMission(input) {
+    if (!Array.isArray(input.acceptance)) {
+        throw new Error("supervisor mission acceptance must be an array");
+    }
+    if (input.acceptance.length < 1 || input.acceptance.length > MAX_ACCEPTANCE) {
+        throw new Error(`supervisor mission acceptance must contain 1 to ${MAX_ACCEPTANCE} criteria`);
+    }
+    const acceptance = input.acceptance.map((criterion, index) => bounded(criterion, `supervisor mission acceptance[${index}]`, 500));
+    if (new Set(acceptance).size !== acceptance.length) {
+        throw new Error("supervisor mission acceptance criteria must be unique");
+    }
+    return {
+        objective: bounded(input.objective, "supervisor mission objective", MAX_OBJECTIVE),
+        acceptance,
+        max_milestones: positive(input.maxMilestones ?? 4, "supervisor mission max_milestones", 20),
+    };
+}
+function missionTitle(mission) {
+    return mission.objective.length <= MAX_TITLE
+        ? mission.objective
+        : `${mission.objective.slice(0, MAX_TITLE - 1).trimEnd()}…`;
 }
 function normalizeLimits(input) {
     return {
@@ -332,6 +526,101 @@ function normalizeAutomation(input) {
         retry_blocked: boolean(input?.retry_blocked ?? false, "retry_blocked"),
     };
 }
+function normalizeReplanning(input, specialistsInput) {
+    const specialists = normalizeWorkflowSpecialists(specialistsInput);
+    const plannerSpecialist = bounded(input.plannerSpecialist, "planner specialist", 100);
+    if (!specialists[plannerSpecialist]) {
+        throw new Error(`planner specialist ${plannerSpecialist} is not present in the frozen team`);
+    }
+    const entries = Object.entries(input.templates);
+    if (entries.length < 1 || entries.length > MAX_TEMPLATES) {
+        throw new Error(`replanning templates must contain 1 to ${MAX_TEMPLATES} entries`);
+    }
+    const templates = Object.fromEntries(entries
+        .sort(([left], [right]) => left.localeCompare(right))
+        .map(([id, template]) => {
+        if (!TEMPLATE_ID.test(id))
+            throw new Error(`invalid replanning template id ${id}`);
+        const path = resolve(template.workflowPath);
+        if (!existsSync(path))
+            throw new Error(`replanning template ${id} does not exist at ${path}`);
+        const maxAttempts = positive(template.maxAttempts ?? 3, `replanning template ${id} maxAttempts`, 100);
+        return [
+            id,
+            {
+                workflow: { path, sha256: workflowScriptDigest(path) },
+                max_attempts: maxAttempts,
+                root: boolean(template.root ?? false, `replanning template ${id} root`),
+            },
+        ];
+    }));
+    if (!Object.values(templates).some((template) => template.root)) {
+        throw new Error("replanning requires at least one root-capable template");
+    }
+    const maxWorkItemsPerPlan = positive(input.maxWorkItemsPerPlan ?? 8, "replanning max_work_items_per_plan", 25);
+    const maxTotalWorkItems = positive(input.maxTotalWorkItems ?? 25, "replanning max_total_work_items", 100);
+    if (maxWorkItemsPerPlan > maxTotalWorkItems) {
+        throw new Error("replanning max_work_items_per_plan cannot exceed max_total_work_items");
+    }
+    return {
+        planner_specialist: plannerSpecialist,
+        auto_apply: boolean(input.autoApply ?? false, "replanning auto_apply"),
+        max_replans: positive(input.maxReplans ?? 5, "replanning max_replans", 100),
+        max_work_items_per_plan: maxWorkItemsPerPlan,
+        max_total_work_items: maxTotalWorkItems,
+        templates,
+    };
+}
+function validateReplanning(policy, specialists, goalId) {
+    if (!specialists[policy.planner_specialist]) {
+        throw new Error(`supervisor ${goalId} planner specialist is not in the frozen team`);
+    }
+    boolean(policy.auto_apply, "replanning auto_apply");
+    positive(policy.max_replans, "replanning max_replans", 100);
+    positive(policy.max_work_items_per_plan, "replanning max_work_items_per_plan", 25);
+    positive(policy.max_total_work_items, "replanning max_total_work_items", 100);
+    if (policy.max_work_items_per_plan > policy.max_total_work_items) {
+        throw new Error(`supervisor ${goalId} replanning work-item bounds are inconsistent`);
+    }
+    const entries = Object.entries(policy.templates ?? {});
+    if (entries.length < 1 || entries.length > MAX_TEMPLATES) {
+        throw new Error(`supervisor ${goalId} has invalid replanning templates`);
+    }
+    let rootCapable = false;
+    for (const [id, template] of entries) {
+        if (!TEMPLATE_ID.test(id) ||
+            !isAbsolute(template.workflow?.path) ||
+            !/^[a-f0-9]{64}$/.test(template.workflow?.sha256) ||
+            !Number.isSafeInteger(template.max_attempts) ||
+            template.max_attempts < 1 ||
+            template.max_attempts > 100 ||
+            typeof template.root !== "boolean") {
+            throw new Error(`supervisor ${goalId} replanning template ${id} is invalid`);
+        }
+        rootCapable ||= template.root;
+    }
+    if (!rootCapable)
+        throw new Error(`supervisor ${goalId} has no root-capable replanning template`);
+}
+function collectGovernedWork(coordRoot, originalRootWorkId, plans, active) {
+    const governed = new Map();
+    if (workIntentExists(coordRoot, originalRootWorkId)) {
+        for (const record of collectSupervisorWork(coordRoot, originalRootWorkId)) {
+            governed.set(record.intent.id, record);
+        }
+    }
+    for (const workId of plans.applied_work_ids)
+        governed.set(workId, readWorkItem(coordRoot, workId));
+    for (const record of active)
+        governed.set(record.intent.id, record);
+    return [...governed.values()];
+}
+function workIntentExists(coordRoot, workId) {
+    return existsSync(join(resolve(coordRoot), ".harnery", "work", workId, "intent.json"));
+}
+function missionRootId(goalId) {
+    return `${goalId.slice(0, 87)}-mission-root`;
+}
 function supervisorDir(coordRoot, goalId) {
     assertSupervisorId(goalId);
     return join(resolve(coordRoot), ".harnery", "supervisors", goalId);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "harnery",
-  "version": "0.16.0",
+  "version": "0.18.0",
   "description": "Multi-agent coordination for AI coding agents - Claude Code, Cursor, and Codex.",
   "license": "MIT",
   "author": "Ryan Kelly",