harnery 0.17.0 → 0.18.0

package/README.md

@@ -23,7 +23,7 @@
 - **Cross-machine presence:** sessions on every machine that shares a repo see each other, labeled by machine. Zero-config over the repo's own git remote (presence refs), with an optional live-socket upgrade via an end-to-end-encrypted relay — the public `relay.harnery.com`, or self-host with `harn relay serve` / the bundled Cloudflare Worker (`relay/worker/`). The relay sees only ciphertext in opaquely-named rooms.
 - **Coordination-aware workflows:** `harn workflow run <script>` executes bounded, schema-gated multi-subagent workflow scripts — plain JS stages fanning out to headless harness-CLI subagents that are born coordination-registered (heartbeats, events, claim guards), with deterministic code deciding the routing between stages. An optional host-owned policy gates dispatch and declared external mutations with `ALLOW`, `ASK`, and `DENY`; CLI `ASK` requests park durably for an explicit approve/deny and same-run resume, while library callers remain fail-closed by default.
 - **Durable work above attempts:** `harn work` preserves an objective across bounded workflow attempts, dependencies, approval parks, failures, and review. Its one-shot reconciler derives state from append-only local evidence and reports the next explicit action without silently spawning, retrying, or accepting work.
-- **Bounded goal supervision:** `harn supervisor` freezes a specialist team and safety limits around a root durable-work graph, then runs scheduling cycles until success, human attention, no progress, or budget exhaustion. An optional planner can propose a schema-gated replacement graph from a frozen workflow-template catalog when the active graph has no legal move; proposals require review by default, old graphs remain immutable evidence, and their attempts still consume the goal budget. Use explicit foreground ticks or enroll goals in the optional heartbeat-backed background service.
+- **Bounded goal supervision:** `harn supervisor` freezes a mission or existing root graph, specialist team, and safety limits, then runs scheduling cycles until reviewed mission success, human attention, no progress, or budget exhaustion. Its optional planner can create the first milestone, reassess accepted milestone proof, or recover a terminal graph using only a frozen workflow-template catalog. Proposals require review by default, old generations remain immutable evidence, and all attempts still consume the goal budget. Use explicit foreground ticks or enroll goals in the optional heartbeat-backed background service.
 - **Standalone web UI:** `harn web up` boots a local Next.js dashboard for the coord layer, councils, per-project state, and a local coding-agent status view (Claude Code / Codex / Cursor usage, backed by `harn devtools`). Ships with the git clone, not the npm package (see [Install](#install)).
 - **Backup + sync:** `harn backup` snapshots `.harnery/` via [restic](https://restic.net/); `harn sync` keeps a curated subset live across machines via [rclone](https://rclone.org/) (Google Drive or any rclone remote).
 

package/dist/commands/supervisor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"supervisor.d.ts","sourceRoot":"","sources":["../../src/commands/supervisor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAmEnD,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,GAAG,IAAI,CA8FnF"}
+{"version":3,"file":"supervisor.d.ts","sourceRoot":"","sources":["../../src/commands/supervisor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAqEnD,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,GAAG,IAAI,CAgGnF"}

package/dist/commands/supervisor.js

@@ -11,8 +11,8 @@ export function registerSupervisorCommand(program, emit) {
         .command("supervisor")
         .description("Run a bounded specialist team over a durable-work dependency graph.");
     supervisor
-        .command("create <root-work-id>")
-        .description("Freeze a goal, specialist team, automation policy, and execution limits.")
+        .command("create [root-work-id]")
+        .description("Freeze an existing-root goal or an objective-first bounded mission.")
         .requiredOption("--team <file>", "JSON object mapping specialist ids to profiles")
         .option("--id <goal-id>", "Stable goal id (generated by default)")
         .option("--title <text>", "Goal title (defaults to root work title)")
@@ -26,6 +26,7 @@ export function registerSupervisorCommand(program, emit) {
         .option("--no-resume-approved", "Stop after an approval instead of resuming its parked run")
         .option("--retry-blocked", "Allow bounded retry of blocked work")
         .option("--replanning <file>", "Frozen planner policy and allowed workflow-template catalog")
+        .option("--mission <file>", "Frozen objective, acceptance criteria, and milestone bound")
         .option("--json", "Emit the complete supervisor record as JSON")
         .action((rootWorkId, opts) => {
         withSupervisorRoot(emit, (coordRoot) => {
@@ -54,6 +55,7 @@ export function registerSupervisorCommand(program, emit) {
                     resume_approved: opts.resumeApproved,
                     retry_blocked: opts.retryBlocked,
                 },
+                mission: opts.mission ? readMissionFile(opts.mission) : undefined,
                 replanning: opts.replanning ? readReplanningFile(opts.replanning) : undefined,
             }), opts.json, emit, true);
         });
@@ -475,6 +477,32 @@ function readReplanningFile(path) {
         templates,
     };
 }
+function readMissionFile(path) {
+    const absolute = resolve(path);
+    let value;
+    try {
+        value = JSON.parse(readFileSync(absolute, "utf8"));
+    }
+    catch (error) {
+        throw new Error(`cannot read supervisor mission at ${absolute}: ${error.message}`);
+    }
+    if (!value || typeof value !== "object" || Array.isArray(value)) {
+        throw new Error("supervisor mission must be a JSON object");
+    }
+    const config = value;
+    if (typeof config.objective !== "string") {
+        throw new Error("supervisor mission objective must be a string");
+    }
+    if (!Array.isArray(config.acceptance) ||
+        config.acceptance.some((item) => typeof item !== "string")) {
+        throw new Error("supervisor mission acceptance must be an array of strings");
+    }
+    return {
+        objective: config.objective,
+        acceptance: config.acceptance,
+        maxMilestones: jsonInteger(config.max_milestones, "mission max_milestones"),
+    };
+}
 function emitSupervisor(record, json, emit, detail = false) {
     if (json) {
         emit.config({ format: "json" });
@@ -489,7 +517,7 @@ function emitSupervisor(record, json, emit, detail = false) {
     const lines = [
         `${record.intent.id}: ${record.intent.title}`,
         `state: ${projection.state}`,
-        `root: ${projection.root_work_id}`,
+        `root: ${projection.root_materialized ? projection.root_work_id : "pending initial plan"}`,
         `reason: ${projection.reason}`,
         `next: ${projection.next_action}`,
         `work: ${projection.work_ids.length}`,
@@ -506,6 +534,11 @@ function emitSupervisor(record, json, emit, detail = false) {
         if (projection.pending_plan_id)
             lines.push(`pending plan: ${projection.pending_plan_id}`);
     }
+    if (record.intent.mission) {
+        lines.push(`mission: ${record.intent.mission.objective}`);
+        lines.push(`milestones: ${projection.milestones_completed}/${record.intent.mission.max_milestones}`);
+        lines.push(`mission acceptance: ${record.intent.mission.acceptance.length}`);
+    }
     if (projection.attention_work.length) {
         lines.push(`attention: ${projection.attention_work.join(", ")}`);
     }
@@ -559,6 +592,7 @@ function emitPlan(plan, json, emit) {
         `${plan.request.id}: ${plan.status}`,
         `goal: ${plan.request.goal_id}`,
         `sequence: ${plan.request.sequence}`,
+        `trigger: ${plan.request.trigger ?? "recovery"}`,
         `prior root: ${plan.request.prior_root_work_id}`,
         `planner run: ${plan.request.workflow_run_id}`,
     ];
@@ -566,6 +600,9 @@ function emitPlan(plan, json, emit) {
         lines.push(`decision: ${plan.proposal.decision}`);
         lines.push(`rationale: ${plan.proposal.rationale}`);
         lines.push(`proposed work: ${plan.proposal.work.length}`);
+        if (plan.proposal.milestone) {
+            lines.push(`milestone: ${plan.proposal.milestone.sequence} ${plan.proposal.milestone.title}`);
+        }
     }
     if (plan.root_work_id)
         lines.push(`applied root: ${plan.root_work_id}`);

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

@@ -1,7 +1,7 @@
 export { approveSupervisorPlan, rejectSupervisorPlan } from "./plan-api.js";
 export { readSupervisorPlan, readSupervisorPlans } from "./plan-read.js";
-export { type CreateSupervisorPlanTemplateInput, type CreateSupervisorReplanningInput, SUPERVISOR_PLAN_SCHEMA_VERSION, type SupervisorPlanEvent, type SupervisorPlanEventType, type SupervisorPlanHistory, type SupervisorPlanOutcome, type SupervisorPlanProposal, type SupervisorPlanRecord, type SupervisorPlanRequest, type SupervisorPlanStatus, type SupervisorPlanTemplate, type SupervisorPlanWorkSpec, type SupervisorReplanningPolicy, } from "./plan-types.js";
+export { type CreateSupervisorPlanTemplateInput, type CreateSupervisorReplanningInput, SUPERVISOR_PLAN_SCHEMA_VERSION, type SupervisorPlanEvent, type SupervisorPlanEventType, type SupervisorPlanHistory, type SupervisorPlanMilestone, type SupervisorPlanOutcome, type SupervisorPlanProposal, type SupervisorPlanRecord, type SupervisorPlanRequest, type SupervisorPlanStatus, type SupervisorPlanTemplate, type SupervisorPlanWorkSpec, type SupervisorReplanningPolicy, } from "./plan-types.js";
 export { type RunSupervisorInput, runSupervisor, type SupervisorDispatchOutcome, type SupervisorRunReport, type SupervisorStopReason, } from "./runner.js";
 export { type ConfigureSupervisorServiceInput, configureSupervisorService, type RunSupervisorServiceDaemonInput, type RunSupervisorServiceSweepInput, readSupervisorServiceConfig, readSupervisorServiceRuntime, readSupervisorServiceStatus, requestSupervisorServiceStop, runSupervisorServiceDaemon, runSupervisorServiceSweep, SUPERVISOR_SERVICE_CONFIG_SCHEMA_VERSION, SUPERVISOR_SERVICE_RUNTIME_SCHEMA_VERSION, SUPERVISOR_SERVICE_STATUS_SCHEMA_VERSION, type SupervisorServiceConfig, type SupervisorServiceEngineConfig, type SupervisorServiceGoalRuntime, type SupervisorServiceGoalState, type SupervisorServiceProcessState, type SupervisorServiceRuntime, type SupervisorServiceStatus, type SupervisorServiceStatusRecord, type SupervisorServiceSweepOutcome, type SupervisorServiceSweepReport, spawnSupervisorService, supervisorServiceLogPath, } from "./service.js";
-export { assertSupervisorId, type CreateSupervisorInput, collectSupervisorWork, createSupervisor, listSupervisors, newSupervisorId, readSupervisor, SUPERVISOR_INTENT_SCHEMA_VERSION, type SupervisorAutomationPolicy, type SupervisorIntent, type SupervisorLimits, type SupervisorNextAction, type SupervisorProjection, type SupervisorRecord, type SupervisorState, } from "./state.js";
+export { assertSupervisorId, type CreateSupervisorInput, type CreateSupervisorMissionInput, collectSupervisorWork, createSupervisor, listSupervisors, newSupervisorId, readSupervisor, SUPERVISOR_INTENT_SCHEMA_VERSION, type SupervisorAutomationPolicy, type SupervisorIntent, type SupervisorLimits, type SupervisorMission, type SupervisorNextAction, type SupervisorProjection, type SupervisorRecord, type SupervisorState, } from "./state.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EACL,KAAK,iCAAiC,EACtC,KAAK,+BAA+B,EACpC,8BAA8B,EAC9B,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,GAChC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,kBAAkB,EACvB,aAAa,EACb,KAAK,yBAAyB,EAC9B,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,GAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,+BAA+B,EACpC,0BAA0B,EAC1B,KAAK,+BAA+B,EACpC,KAAK,8BAA8B,EACnC,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,0BAA0B,EAC1B,yBAAyB,EACzB,wCAAwC,EACxC,yCAAyC,EACzC,wCAAwC,EACxC,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,6BAA6B,EAClC,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,6BAA6B,EAClC,KAAK,4BAA4B,EACjC,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,kBAAkB,EAClB,KAAK,qBAAqB,EAC1B,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,cAAc,EACd,gCAAgC,EAChC,KAAK,0BAA0B,EAC/B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EACL,KAAK,iCAAiC,EACtC,KAAK,+BAA+B,EACpC,8BAA8B,EAC9B,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,GAChC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,kBAAkB,EACvB,aAAa,EACb,KAAK,yBAAyB,EAC9B,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,GAC1B,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,+BAA+B,EACpC,0BAA0B,EAC1B,KAAK,+BAA+B,EACpC,KAAK,8BAA8B,EACnC,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,0BAA0B,EAC1B,yBAAyB,EACzB,wCAAwC,EACxC,yCAAyC,EACzC,wCAAwC,EACxC,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,6BAA6B,EAClC,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAC5B,KAAK,6BAA6B,EAClC,KAAK,6BAA6B,EAClC,KAAK,4BAA4B,EACjC,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,kBAAkB,EAClB,KAAK,qBAAqB,EAC1B,KAAK,4BAA4B,EACjC,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,cAAc,EACd,gCAAgC,EAChC,KAAK,0BAA0B,EAC/B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,YAAY,CAAC"}

package/dist/core/supervisor/plan-read.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-read.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/plan-read.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,KAAK,qBAAqB,EAE1B,KAAK,oBAAoB,EAE1B,MAAM,iBAAiB,CAAC;AAsBzB,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,kBAAkB,EAAE,MAAM,GACzB,qBAAqB,CAoDvB;AAED,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,oBAAoB,CAetB"}
+{"version":3,"file":"plan-read.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/plan-read.ts"],"names":[],"mappings":"AAGA,OAAO,EAIL,KAAK,qBAAqB,EAE1B,KAAK,oBAAoB,EAE1B,MAAM,iBAAiB,CAAC;AAuBzB,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,kBAAkB,EAAE,MAAM,GACzB,qBAAqB,CAwEvB;AAED,wBAAgB,kBAAkB,CAChC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,oBAAoB,CAetB"}

package/dist/core/supervisor/plan-read.js

@@ -1,5 +1,6 @@
 import { existsSync, readdirSync, readFileSync, statSync } from "node:fs";
 import { join, resolve } from "node:path";
+import { readWorkItem } from "../work/read.js";
 import { SUPERVISOR_PLAN_SCHEMA_VERSION, } from "./plan-types.js";
 const PLAN_ID = /^plan-[0-9]{4}-[a-f0-9]{8}$/;
 const GOAL_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,99}$/;
@@ -16,6 +17,7 @@ const EVENT_TYPES = new Set([
     "plan.resumed",
     "plan.proposed",
     "plan.applied",
+    "plan.completed",
     "plan.rejected",
     "plan.attention",
     "plan.failed",
@@ -32,6 +34,8 @@ export function readSupervisorPlans(coordRootRaw, goalId, originalRootWorkId) {
             generation: 0,
             applied_work_ids: [],
             materialized_work_ids: [],
+            milestones_completed: 0,
+            completed: false,
         };
     }
     const entries = readdirSync(root, { withFileTypes: true })
@@ -51,6 +55,8 @@ export function readSupervisorPlans(coordRootRaw, goalId, originalRootWorkId) {
     }
     let activeRoot = originalRootWorkId;
     let generation = 0;
+    let milestonesCompleted = 0;
+    let completed = false;
     const appliedWork = new Set();
     const materializedWork = new Set();
     for (const plan of plans) {
@@ -64,15 +70,27 @@ export function readSupervisorPlans(coordRootRaw, goalId, originalRootWorkId) {
             continue;
         activeRoot = plan.root_work_id;
         generation++;
+        if (plan.proposal?.milestone &&
+            readWorkItem(coordRoot, plan.root_work_id).projection.state === "succeeded") {
+            milestonesCompleted++;
+        }
         for (const workId of plan.work_ids)
             appliedWork.add(workId);
     }
+    const completedPlans = plans.filter((plan) => plan.status === "completed");
+    if (completedPlans.length > 1 ||
+        (completedPlans.length === 1 && completedPlans[0] !== plans.at(-1))) {
+        throw new Error(`supervisor ${goalId} has invalid completion history`);
+    }
+    completed = completedPlans.length === 1;
     return {
         plans,
         active_root_work_id: activeRoot,
         generation,
         applied_work_ids: [...appliedWork],
         materialized_work_ids: [...materializedWork],
+        milestones_completed: milestonesCompleted,
+        completed,
         latest: plans.at(-1),
     };
 }
@@ -95,6 +113,10 @@ export function readSupervisorPlan(coordRootRaw, goalId, planId) {
 }
 function deriveStatus(coordRoot, events, proposal) {
     const latest = events.at(-1);
+    const completed = [...events].reverse().find((event) => event.event === "plan.completed");
+    if (completed) {
+        return { status: "completed", work_ids: [], reason: completed.reason };
+    }
     const applied = [...events].reverse().find((event) => event.event === "plan.applied");
     if (applied) {
         return {
@@ -159,6 +181,8 @@ function validateRequest(request, goalId, planId) {
         !Number.isSafeInteger(request.sequence) ||
         request.sequence < 1 ||
         request.sequence > MAX_PLANS ||
+        (request.trigger !== undefined &&
+            !["initial", "recovery", "milestone"].includes(request.trigger)) ||
         typeof request.trigger_fingerprint !== "string" ||
         request.trigger_fingerprint.length < 1 ||
         request.trigger_fingerprint.length > 64_000 ||
@@ -171,7 +195,7 @@ function validateRequest(request, goalId, planId) {
 function validateProposalEnvelope(proposal, planId) {
     if (proposal.schema_version !== SUPERVISOR_PLAN_SCHEMA_VERSION ||
         proposal.plan_id !== planId ||
-        !["apply", "attention"].includes(proposal.decision) ||
+        !["apply", "complete", "attention"].includes(proposal.decision) ||
         typeof proposal.rationale !== "string" ||
         proposal.rationale.length < 1 ||
         proposal.rationale.length > 2_000 ||
@@ -182,6 +206,28 @@ function validateProposalEnvelope(proposal, planId) {
         !validTimestamp(proposal.proposed_at)) {
         throw new Error(`supervisor plan proposal ${planId} has an unsupported schema`);
     }
+    if (proposal.milestone !== undefined) {
+        const milestone = proposal.milestone;
+        if (!Number.isSafeInteger(milestone.sequence) ||
+            milestone.sequence < 1 ||
+            milestone.sequence > 20 ||
+            typeof milestone.title !== "string" ||
+            milestone.title.length < 1 ||
+            milestone.title.length > 200 ||
+            typeof milestone.objective !== "string" ||
+            milestone.objective.length < 1 ||
+            milestone.objective.length > 4_000 ||
+            !Array.isArray(milestone.acceptance) ||
+            milestone.acceptance.length < 1 ||
+            milestone.acceptance.length > 50 ||
+            milestone.acceptance.some((criterion) => typeof criterion !== "string" || criterion.length < 1 || criterion.length > 500)) {
+            throw new Error(`supervisor plan proposal ${planId} milestone is invalid`);
+        }
+    }
+    if ((proposal.decision === "attention" || proposal.decision === "complete") &&
+        (proposal.root !== "" || proposal.work.length > 0 || proposal.milestone !== undefined)) {
+        throw new Error(`supervisor plan proposal ${planId} terminal decision contains work`);
+    }
     for (const [index, spec] of proposal.work.entries()) {
         if (!spec ||
             typeof spec !== "object" ||

package/dist/core/supervisor/plan-types.d.ts

@@ -33,11 +33,18 @@ export interface SupervisorPlanRequest {
     id: string;
     goal_id: string;
     sequence: number;
+    trigger?: "initial" | "recovery" | "milestone";
     trigger_fingerprint: string;
     prior_root_work_id: string;
     workflow_run_id: string;
     created_at: string;
 }
+export interface SupervisorPlanMilestone {
+    sequence: number;
+    title: string;
+    objective: string;
+    acceptance: string[];
+}
 export interface SupervisorPlanWorkSpec {
     key: string;
     title: string;
@@ -49,13 +56,14 @@ export interface SupervisorPlanWorkSpec {
 export interface SupervisorPlanProposal {
     schema_version: typeof SUPERVISOR_PLAN_SCHEMA_VERSION;
     plan_id: string;
-    decision: "apply" | "attention";
+    decision: "apply" | "complete" | "attention";
     rationale: string;
     root: string;
     work: SupervisorPlanWorkSpec[];
+    milestone?: SupervisorPlanMilestone;
     proposed_at: string;
 }
-export type SupervisorPlanEventType = "plan.awaiting_approval" | "plan.resumed" | "plan.proposed" | "plan.applied" | "plan.rejected" | "plan.attention" | "plan.failed";
+export type SupervisorPlanEventType = "plan.awaiting_approval" | "plan.resumed" | "plan.proposed" | "plan.applied" | "plan.completed" | "plan.rejected" | "plan.attention" | "plan.failed";
 export interface SupervisorPlanEvent {
     schema_version: typeof SUPERVISOR_PLAN_SCHEMA_VERSION;
     plan_id: string;
@@ -68,7 +76,7 @@ export interface SupervisorPlanEvent {
     root_work_id?: string;
     work_ids?: string[];
 }
-export type SupervisorPlanStatus = "interrupted" | "awaiting_approval" | "resumable" | "proposed" | "applied" | "rejected" | "attention" | "failed";
+export type SupervisorPlanStatus = "interrupted" | "awaiting_approval" | "resumable" | "proposed" | "applied" | "completed" | "rejected" | "attention" | "failed";
 export interface SupervisorPlanRecord {
     request: SupervisorPlanRequest;
     proposal?: SupervisorPlanProposal;
@@ -85,6 +93,8 @@ export interface SupervisorPlanHistory {
     generation: number;
     applied_work_ids: string[];
     materialized_work_ids: string[];
+    milestones_completed: number;
+    completed: boolean;
     latest?: SupervisorPlanRecord;
 }
 export interface SupervisorPlanOutcome {

package/dist/core/supervisor/plan-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-types.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/plan-types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,iCAAiC;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,+BAA+B;IAC9C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,WAAW,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,sBAAsB,EAAE,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,uBAAuB,GAC/B,wBAAwB,GACxB,cAAc,GACd,eAAe,GACf,cAAc,GACd,eAAe,GACf,gBAAgB,GAChB,aAAa,CAAC;AAElB,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,uBAAuB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,mBAAmB,GACnB,WAAW,GACX,UAAU,GACV,SAAS,GACT,UAAU,GACV,WAAW,GACX,QAAQ,CAAC;AAEb,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,qBAAqB,CAAC;IAC/B,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAClC,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,aAAa,CAAC;QAClB,MAAM,EAAE;YAAE,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QACvB,UAAU,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,aAAa,EAAE,MAAM,CAAA;SAAE,CAAC;QAC1E,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;KAC5B,CAAC,CAAC;CACJ,GAAG,MAAM,CAYT"}
+{"version":3,"file":"plan-types.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/plan-types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,8BAA8B,EAAG,CAAU,CAAC;AAEzD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,iCAAiC;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,+BAA+B;IAC9C,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,qBAAqB;IACpC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,sBAAsB,EAAE,CAAC;IAC/B,SAAS,CAAC,EAAE,uBAAuB,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,uBAAuB,GAC/B,wBAAwB,GACxB,cAAc,GACd,eAAe,GACf,cAAc,GACd,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,CAAC;AAElB,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,OAAO,8BAA8B,CAAC;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,uBAAuB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,mBAAmB,GACnB,WAAW,GACX,UAAU,GACV,SAAS,GACT,WAAW,GACX,UAAU,GACV,WAAW,GACX,QAAQ,CAAC;AAEb,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,qBAAqB,CAAC;IAC/B,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAClC,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,oBAAoB,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,aAAa,CAAC;QAClB,MAAM,EAAE;YAAE,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC;QACvB,UAAU,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,aAAa,EAAE,MAAM,CAAA;SAAE,CAAC;QAC1E,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;KAC5B,CAAC,CAAC;CACJ,GAAG,MAAM,CAYT"}

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

@@ -1 +1 @@
-{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/planning.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,KAAK,UAAU,EAIhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAGL,KAAK,qBAAqB,EAK3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAQnD,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,yBAAyB,GAC/B,OAAO,CAAC,qBAAqB,CAAC,CAkGhC;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,qBAAqB,CAyFxB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,qBAAqB,CAYxB"}
+{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/planning.ts"],"names":[],"mappings":"AAcA,OAAO,EACL,KAAK,UAAU,EAKhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAIL,KAAK,qBAAqB,EAK3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAQnD,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,yBAAyB,GAC/B,OAAO,CAAC,qBAAqB,CAAC,CA0GhC;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,qBAAqB,CAsGxB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,qBAAqB,CAYxB"}

package/dist/core/supervisor/planning.js

@@ -2,7 +2,7 @@ import { randomBytes, randomUUID } from "node:crypto";
 import { appendFileSync, chmodSync, existsSync, linkSync, mkdirSync, readFileSync, statSync, unlinkSync, writeFileSync, } from "node:fs";
 import { dirname, join, resolve } from "node:path";
 import { createWorkItem, readWorkItem } from "../work/index.js";
-import { runWorkflow, WorkflowParkedError, workflowScriptDigest, } from "../workflow/index.js";
+import { readWorkflowProof, runWorkflow, WorkflowParkedError, workflowScriptDigest, } from "../workflow/index.js";
 import { readSupervisorPlan, readSupervisorPlans } from "./plan-read.js";
 import { SUPERVISOR_PLAN_SCHEMA_VERSION, supervisorGraphFingerprint, } from "./plan-types.js";
 const PLAN_KEY = /^[a-z][a-z0-9-]{0,31}$/;
@@ -21,6 +21,7 @@ export async function runSupervisorPlanner(input) {
         generation: input.record.projection.plan_generation,
         work: input.record.work,
     });
+    const trigger = planTrigger(input.record);
     const resumable = history.latest?.status === "resumable" &&
         history.latest.request.trigger_fingerprint === triggerFingerprint &&
         history.latest.request.prior_root_work_id === input.record.projection.root_work_id
@@ -28,7 +29,7 @@ export async function runSupervisorPlanner(input) {
         : undefined;
     const request = resumable
         ? resumable.request
-        : createPlanRequest(coordRoot, input.record, history.plans.length + 1, triggerFingerprint);
+        : createPlanRequest(coordRoot, input.record, history.plans.length + 1, triggerFingerprint, trigger);
     const scriptPath = planScriptPath(coordRoot, input.record.intent.id, request.id);
     if (resumable) {
         appendPlanEvent(coordRoot, input.record.intent.id, request.id, {
@@ -51,7 +52,7 @@ export async function runSupervisorPlanner(input) {
             concurrency: 1,
             onLog: input.onLog,
         });
-        const proposal = normalizeProposal(request.id, report.result, input.record, history.materialized_work_ids.length);
+        const proposal = normalizeProposal(request.id, report.result, input.record, history.materialized_work_ids.length, request.trigger ?? "recovery");
         writeExclusiveJson(planProposalPath(coordRoot, input.record.intent.id, request.id), proposal, "supervisor plan proposal");
         appendPlanEvent(coordRoot, input.record.intent.id, request.id, {
             event: "plan.proposed",
@@ -104,16 +105,26 @@ export function applySupervisorPlanProposal(input) {
     if (!policy)
         throw new Error(`supervisor ${input.record.intent.id} does not allow replanning`);
     const plan = readSupervisorPlan(coordRoot, input.record.intent.id, input.planId);
-    if (plan.status === "applied")
+    if (plan.status === "applied" || plan.status === "completed")
         return outcome(plan);
-    if (plan.status !== "proposed" || !plan.proposal || plan.proposal.decision !== "apply") {
+    if (plan.status !== "proposed" ||
+        !plan.proposal ||
+        !["apply", "complete"].includes(plan.proposal.decision)) {
         throw new Error(`supervisor plan ${input.planId} cannot be applied from ${plan.status}`);
     }
     if (plan.request.prior_root_work_id !== input.record.projection.root_work_id) {
         throw new Error(`supervisor plan ${input.planId} targets stale root ${plan.request.prior_root_work_id}`);
     }
     const history = readSupervisorPlans(coordRoot, input.record.intent.id, input.record.intent.root_work_id);
-    const proposal = normalizeProposal(input.planId, plan.proposal, input.record, history.materialized_work_ids.filter((workId) => !workId.startsWith(`${input.planId}-`)).length);
+    const proposal = normalizeProposal(input.planId, plan.proposal, input.record, history.materialized_work_ids.filter((workId) => !workId.startsWith(`${input.planId}-`)).length, plan.request.trigger ?? "recovery");
+    if (proposal.decision === "complete") {
+        appendPlanEvent(coordRoot, input.record.intent.id, input.planId, {
+            event: "plan.completed",
+            actor: input.actor,
+            reason: input.reason ?? proposal.rationale,
+        });
+        return outcome(readSupervisorPlan(coordRoot, input.record.intent.id, input.planId));
+    }
     const ids = new Map();
     const created = [];
     for (const spec of proposal.work) {
@@ -195,7 +206,7 @@ export function rejectSupervisorPlanProposal(input) {
     });
     return outcome(readSupervisorPlan(input.coordRoot, input.goalId, input.planId));
 }
-function createPlanRequest(coordRoot, record, sequence, triggerFingerprint) {
+function createPlanRequest(coordRoot, record, sequence, triggerFingerprint, trigger) {
     const policy = record.intent.replanning;
     if (!policy)
         throw new Error(`supervisor ${record.intent.id} does not allow replanning`);
@@ -208,36 +219,42 @@ function createPlanRequest(coordRoot, record, sequence, triggerFingerprint) {
         id: planId,
         goal_id: record.intent.id,
         sequence,
+        trigger,
         trigger_fingerprint: triggerFingerprint,
         prior_root_work_id: record.projection.root_work_id,
         workflow_run_id: `${planId}-workflow`,
         created_at: new Date().toISOString(),
     };
+    const script = plannerScript(coordRoot, record, planId, trigger);
     const dir = planDir(coordRoot, record.intent.id, planId);
     mkdirSync(dir, { recursive: true, mode: 0o700 });
     chmodSync(dir, 0o700);
     writeExclusiveJson(join(dir, "request.json"), request, "supervisor plan request");
-    const script = plannerScript(record, planId);
     writeExclusive(join(dir, "planner.mjs"), script, "supervisor planner script");
     return request;
 }
-function plannerScript(record, planId) {
+function plannerScript(coordRoot, record, planId, trigger) {
     const policy = record.intent.replanning;
     if (!policy)
         throw new Error(`supervisor ${record.intent.id} does not allow replanning`);
     const prompt = [
-        "You are producing a bounded replacement plan for a durable supervised goal.",
-        "The current graph is blocked and cannot make a legal scheduling step.",
-        "Return decision=apply with a new immutable root graph, or decision=attention when human judgment is required.",
-        "Never claim work is complete. Never request a workflow outside the frozen template catalog.",
+        "You are producing one bounded replacement plan or milestone decision for a durable supervised goal.",
+        record.intent.mission
+            ? "Return decision=apply with the next immutable milestone graph, decision=complete only when mission acceptance is met, or decision=attention when human judgment is required."
+            : "Return decision=apply with a replacement immutable root graph, or decision=attention when human judgment is required.",
+        "Never claim mission completion unless the frozen mission acceptance is met. Never request a workflow outside the frozen template catalog.",
         "Dependencies may name an active work ID or an earlier key in your proposed work array.",
         "Every proposed item must be reachable from root. The root must be a proposed key using a root-capable template.",
         `Plan id: ${planId}`,
+        `Planning trigger: ${trigger}`,
         `Goal: ${record.intent.title}`,
+        `Mission: ${JSON.stringify(record.intent.mission ?? null)}`,
         `Original root: ${record.intent.root_work_id}`,
         `Active root: ${record.projection.root_work_id}`,
         `Remaining work attempts: ${record.projection.attempts_remaining}`,
         `Remaining replans: ${record.projection.replans_remaining}`,
+        `Completed milestones: ${record.projection.milestones_completed}`,
+        `Remaining milestones: ${record.projection.milestones_remaining}`,
         `Latest planner outcome: ${JSON.stringify(record.plans.at(-1)
             ? {
                 status: record.plans.at(-1)?.status,
@@ -253,12 +270,31 @@ function plannerScript(record, planId) {
             dependencies: work.intent.dependencies,
             state: work.projection.state,
             reason: work.projection.reason,
+            proof: work.projection.proof_path
+                ? (() => {
+                    const proof = readWorkflowProof(coordRoot, work.projection.latest_run_id);
+                    return {
+                        run_id: proof.run.id,
+                        status: proof.run.status,
+                        acceptance: proof.acceptance.summary,
+                        repository: {
+                            head_changed: proof.repository.drift.head_changed,
+                            dirty_paths_added: proof.repository.drift.dirty_paths_added,
+                            incomplete: proof.repository.drift.incomplete,
+                        },
+                        unknowns: proof.unknowns.map((unknown) => unknown.code),
+                    };
+                })()
+                : null,
         })))}`,
     ].join("\n\n");
     const schema = {
         type: "object",
         properties: {
-            decision: { type: "string", enum: ["apply", "attention"] },
+            decision: {
+                type: "string",
+                enum: record.intent.mission ? ["apply", "complete", "attention"] : ["apply", "attention"],
+            },
             rationale: { type: "string" },
             root: { type: "string" },
             work: {
@@ -276,13 +312,27 @@ function plannerScript(record, planId) {
                     required: ["key", "title", "objective", "acceptance", "dependencies", "template"],
                 },
             },
+            milestone: {
+                type: "object",
+                properties: {
+                    sequence: { type: "number" },
+                    title: { type: "string" },
+                    objective: { type: "string" },
+                    acceptance: { type: "array", items: { type: "string" } },
+                },
+                required: ["sequence", "title", "objective", "acceptance"],
+            },
         },
         required: ["decision", "rationale", "root", "work"],
     };
     return [
         `export const meta = ${JSON.stringify({ name: `replan-${planId}` })};`,
         "export default async ({ agent, stage }) => {",
-        '  stage("Replan blocked goal");',
+        `  stage(${JSON.stringify(trigger === "initial"
+            ? "Plan initial mission milestone"
+            : trigger === "milestone"
+                ? "Reassess completed milestone"
+                : "Replan blocked goal")});`,
         `  return await agent(${JSON.stringify(prompt)}, ${JSON.stringify({
             specialist: policy.planner_specialist,
             schema,
@@ -292,7 +342,7 @@ function plannerScript(record, planId) {
         "",
     ].join("\n");
 }
-function normalizeProposal(planId, raw, record, previouslyApplied) {
+function normalizeProposal(planId, raw, record, previouslyApplied, trigger) {
     const policy = record.intent.replanning;
     if (!policy)
         throw new Error(`supervisor ${record.intent.id} does not allow replanning`);
@@ -300,14 +350,18 @@ function normalizeProposal(planId, raw, record, previouslyApplied) {
         throw new Error("planner result must be an object");
     }
     const value = raw;
-    const decision = enumValue(value.decision, ["apply", "attention"], "plan decision");
+    const decision = enumValue(value.decision, ["apply", "complete", "attention"], "plan decision");
     const rationale = bounded(value.rationale, "plan rationale", MAX_REASON);
     const root = typeof value.root === "string" ? value.root.trim() : "";
     if (!Array.isArray(value.work))
         throw new Error("plan work must be an array");
-    if (decision === "attention") {
-        if (root || value.work.length > 0)
-            throw new Error("attention plan must not contain work");
+    if (decision === "attention" || decision === "complete") {
+        if (root || value.work.length > 0 || value.milestone !== undefined) {
+            throw new Error(`${decision} plan must not contain work or milestone data`);
+        }
+        if (decision === "complete" && (!record.intent.mission || trigger !== "milestone")) {
+            throw new Error("mission completion may be proposed only at a milestone boundary");
+        }
         return {
             schema_version: SUPERVISOR_PLAN_SCHEMA_VERSION,
             plan_id: planId,
@@ -318,6 +372,15 @@ function normalizeProposal(planId, raw, record, previouslyApplied) {
             proposed_at: new Date().toISOString(),
         };
     }
+    const milestone = record.intent.mission
+        ? normalizeMilestone(value.milestone, record.projection.milestones_completed + 1)
+        : undefined;
+    if (!record.intent.mission && value.milestone !== undefined) {
+        throw new Error("non-mission replacement plan must not contain milestone data");
+    }
+    if (milestone && milestone.sequence > record.intent.mission.max_milestones) {
+        throw new Error(`milestone ${milestone.sequence} exceeds mission limit ${record.intent.mission.max_milestones}`);
+    }
     if (value.work.length < 1 || value.work.length > policy.max_work_items_per_plan) {
         throw new Error(`plan work must contain 1 to ${policy.max_work_items_per_plan} items`);
     }
@@ -393,9 +456,39 @@ function normalizeProposal(planId, raw, record, previouslyApplied) {
         rationale,
         root,
         work,
+        ...(milestone ? { milestone } : {}),
         proposed_at: new Date().toISOString(),
     };
 }
+function normalizeMilestone(raw, expectedSequence) {
+    if (!raw || typeof raw !== "object" || Array.isArray(raw)) {
+        throw new Error("mission plan must contain a milestone object");
+    }
+    const value = raw;
+    if (value.sequence !== expectedSequence) {
+        throw new Error(`milestone sequence must be ${expectedSequence}`);
+    }
+    if (!Array.isArray(value.acceptance) || value.acceptance.length < 1) {
+        throw new Error("milestone acceptance must be a non-empty array");
+    }
+    if (value.acceptance.length > 50)
+        throw new Error("milestone acceptance exceeds 50 criteria");
+    return {
+        sequence: expectedSequence,
+        title: bounded(value.title, "milestone title", 200),
+        objective: bounded(value.objective, "milestone objective", 4_000),
+        acceptance: value.acceptance.map((criterion, index) => bounded(criterion, `milestone acceptance[${index}]`, 500)),
+    };
+}
+function planTrigger(record) {
+    if (record.intent.mission &&
+        record.projection.plan_generation === 0 &&
+        record.work.length === 0) {
+        return "initial";
+    }
+    const root = record.work.find((work) => work.intent.id === record.projection.root_work_id);
+    return record.intent.mission && root?.projection.state === "succeeded" ? "milestone" : "recovery";
+}
 function appendPlanEvent(coordRootRaw, goalId, planId, input) {
     const coordRoot = resolve(coordRootRaw);
     const path = join(planDir(coordRoot, goalId, planId), "events.jsonl");

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

@@ -1,6 +1,6 @@
 export { readSupervisorPlan, readSupervisorPlans } from "./plan-read.js";
-export { SUPERVISOR_PLAN_SCHEMA_VERSION, type SupervisorPlanEvent, type SupervisorPlanEventType, type SupervisorPlanHistory, type SupervisorPlanOutcome, type SupervisorPlanProposal, type SupervisorPlanRecord, type SupervisorPlanRequest, type SupervisorPlanStatus, type SupervisorPlanTemplate, type SupervisorPlanWorkSpec, type SupervisorReplanningPolicy, } from "./plan-types.js";
+export { SUPERVISOR_PLAN_SCHEMA_VERSION, type SupervisorPlanEvent, type SupervisorPlanEventType, type SupervisorPlanHistory, type SupervisorPlanMilestone, type SupervisorPlanOutcome, type SupervisorPlanProposal, type SupervisorPlanRecord, type SupervisorPlanRequest, type SupervisorPlanStatus, type SupervisorPlanTemplate, type SupervisorPlanWorkSpec, type SupervisorReplanningPolicy, } from "./plan-types.js";
 export type { SupervisorServiceConfig, SupervisorServiceGoalRuntime, SupervisorServiceGoalState, SupervisorServiceProcessState, SupervisorServiceRuntime, SupervisorServiceStatus, SupervisorServiceStatusRecord, } from "./service.js";
 export { readSupervisorServiceConfig, readSupervisorServiceRuntime, readSupervisorServiceStatus, supervisorServiceLogPath, } from "./service-read.js";
-export { assertSupervisorId, collectSupervisorWork, listSupervisors, readSupervisor, SUPERVISOR_INTENT_SCHEMA_VERSION, type SupervisorAutomationPolicy, type SupervisorIntent, type SupervisorLimits, type SupervisorNextAction, type SupervisorProjection, type SupervisorRecord, type SupervisorState, } from "./state.js";
+export { assertSupervisorId, collectSupervisorWork, listSupervisors, readSupervisor, SUPERVISOR_INTENT_SCHEMA_VERSION, type SupervisorAutomationPolicy, type SupervisorIntent, type SupervisorLimits, type SupervisorMission, type SupervisorNextAction, type SupervisorProjection, type SupervisorRecord, type SupervisorState, } from "./state.js";
 //# sourceMappingURL=read.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/read.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EACL,8BAA8B,EAC9B,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,GAChC,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,uBAAuB,EACvB,4BAA4B,EAC5B,0BAA0B,EAC1B,6BAA6B,EAC7B,wBAAwB,EACxB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,gCAAgC,EAChC,KAAK,0BAA0B,EAC/B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/read.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,EACL,8BAA8B,EAC9B,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAC3B,KAAK,0BAA0B,GAChC,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,uBAAuB,EACvB,4BAA4B,EAC5B,0BAA0B,EAC1B,6BAA6B,EAC7B,wBAAwB,EACxB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,wBAAwB,GACzB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,cAAc,EACd,gCAAgC,EAChC,KAAK,0BAA0B,EAC/B,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,YAAY,CAAC"}