harnery 0.17.0 → 0.19.0

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 { readSupervisorPlan, readSupervisorPlanReviewReceipt, readSupervisorPlans, } from "./plan-read.js";
+export { MAX_SUPERVISOR_PLAN_REVIEWERS, MAX_SUPERVISOR_PLAN_REVISION_ROUNDS, SUPERVISOR_PLAN_SCHEMA_VERSION, type SupervisorPlanEvent, type SupervisorPlanEventType, type SupervisorPlanHistory, type SupervisorPlanMilestone, type SupervisorPlanOutcome, type SupervisorPlanProposal, type SupervisorPlanRecord, type SupervisorPlanRequest, type SupervisorPlanReviewFinding, type SupervisorPlanReviewReceipt, type SupervisorPlanReviewReviewer, type SupervisorPlanReviewRound, type SupervisorPlanReviewStatus, type SupervisorPlanReviewSummary, type SupervisorPlanReviewVerdict, 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,EACL,kBAAkB,EAClB,+BAA+B,EAC/B,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,6BAA6B,EAC7B,mCAAmC,EACnC,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,2BAA2B,EAChC,KAAK,2BAA2B,EAChC,KAAK,4BAA4B,EACjC,KAAK,yBAAyB,EAC9B,KAAK,0BAA0B,EAC/B,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EAChC,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"}

package/dist/core/supervisor/read.js

@@ -1,4 +1,4 @@
-export { readSupervisorPlan, readSupervisorPlans } from "./plan-read.js";
-export { SUPERVISOR_PLAN_SCHEMA_VERSION, } from "./plan-types.js";
+export { readSupervisorPlan, readSupervisorPlanReviewReceipt, readSupervisorPlans, } from "./plan-read.js";
+export { MAX_SUPERVISOR_PLAN_REVIEWERS, MAX_SUPERVISOR_PLAN_REVISION_ROUNDS, SUPERVISOR_PLAN_SCHEMA_VERSION, } from "./plan-types.js";
 export { readSupervisorServiceConfig, readSupervisorServiceRuntime, readSupervisorServiceStatus, supervisorServiceLogPath, } from "./service-read.js";
 export { assertSupervisorId, collectSupervisorWork, listSupervisors, readSupervisor, SUPERVISOR_INTENT_SCHEMA_VERSION, } from "./state.js";

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

@@ -1 +1 @@
-{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/runner.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,gBAAgB,EAItB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAE7D,OAAO,EAGL,KAAK,oBAAoB,EAE1B,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAC5B,WAAW,GACX,oBAAoB,GACpB,SAAS,GACT,kBAAkB,GAClB,aAAa,GACb,eAAe,CAAC;AAEpB,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAC;IACnC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IACrB,WAAW,EAAE,oBAAoB,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,EAAE,oBAAoB,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACtF,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAQD,wBAAsB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAqL3F"}
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/runner.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,gBAAgB,EAItB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAE7D,OAAO,EAGL,KAAK,oBAAoB,EAE1B,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAC5B,WAAW,GACX,oBAAoB,GACpB,SAAS,GACT,kBAAkB,GAClB,aAAa,GACb,eAAe,CAAC;AAEpB,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAC;IACnC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IACrB,WAAW,EAAE,oBAAoB,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,UAAU,EAAE,oBAAoB,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,WAAW,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IACtF,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAQD,wBAAsB,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CA4L3F"}

package/dist/core/supervisor/runner.js

@@ -33,8 +33,10 @@ export async function runSupervisor(input) {
             }
             const before = graphFingerprint(record);
             let changed = false;
-            if (record.projection.next_action === "replan") {
-                log(`[${record.intent.title}] replan active graph generation ${record.projection.plan_generation}`);
+            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,
@@ -48,6 +50,9 @@ export async function runSupervisor(input) {
                 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);
                 }

package/dist/core/supervisor/service.js

@@ -434,9 +434,12 @@ function projectionFingerprint(projection) {
         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,

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

@@ -15,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;
@@ -23,15 +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" | "replan" | "review_plan" | "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;
@@ -46,6 +58,8 @@ export interface SupervisorProjection {
     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[];
@@ -58,12 +72,13 @@ export interface SupervisorRecord {
 }
 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;

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;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;AAS3D,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,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,aAAa,GACb,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;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,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,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;IACjD,UAAU,CAAC,EAAE,+BAA+B,CAAC;CAC9C;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,gBAAgB,CAyB/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,EAIpC,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,CAkD/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

@@ -6,31 +6,49 @@ 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";
+import { MAX_SUPERVISOR_PLAN_REVIEWERS, MAX_SUPERVISOR_PLAN_REVISION_ROUNDS, 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 limits = normalizeLimits(input.limits);
     const replanning = input.replanning
-        ? normalizeReplanning(input.replanning, input.specialists)
+        ? normalizeReplanning(input.replanning, input.specialists, limits)
         : 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),
+        limits,
         automation: normalizeAutomation(input.automation),
+        ...(mission ? { mission } : {}),
         ...(replanning ? { replanning } : {}),
         created_at: new Date().toISOString(),
     };
@@ -136,7 +154,11 @@ function readSupervisorInternal(coordRootRaw, goalId, ignoreLease) {
     const coordRoot = resolve(coordRootRaw);
     const intent = readSupervisorIntent(coordRoot, goalId);
     const plans = readSupervisorPlans(coordRoot, intent.id, intent.root_work_id);
-    const work = collectSupervisorWork(coordRoot, plans.active_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,
@@ -147,8 +169,6 @@ function readSupervisorInternal(coordRootRaw, goalId, ignoreLease) {
 }
 function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease) {
     const root = work.find((record) => record.intent.id === plans.active_root_work_id);
-    if (!root)
-        throw new Error(`supervisor ${intent.id} root work is missing`);
     const attemptsUsed = governed.reduce((sum, record) => sum + record.projection.attempts_used, 0);
     const readyWork = work
         .filter((record) => record.projection.state === "ready")
@@ -181,10 +201,14 @@ function deriveProjection(coordRoot, intent, work, governed, plans, 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: plans.active_root_work_id,
+        root_materialized: root !== undefined,
         work_ids: work.map((record) => record.intent.id),
         ready_work: readyWork,
         resumable_work: resumableWork,
@@ -196,6 +220,8 @@ function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease)
         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),
@@ -208,11 +234,11 @@ function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease)
             next_action: "wait_for_run",
         };
     }
-    if (root.projection.state === "succeeded") {
+    if (intent.mission && plans.completed) {
         return {
             ...base,
             state: "succeeded",
-            reason: "root work was explicitly accepted",
+            reason: "mission completion was explicitly accepted",
             next_action: "none",
         };
     }
@@ -240,6 +266,64 @@ function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease)
             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,
+            state: "succeeded",
+            reason: "root work was explicitly accepted",
+            next_action: "none",
+        };
+    }
     const resumableDispatchable = intent.automation.resume_approved ? resumableWork : [];
     const attemptDispatchable = [
         ...readyWork,
@@ -318,14 +402,6 @@ function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease)
             next_action: "none",
         };
     }
-    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";
     const canReplan = intent.replanning !== undefined &&
         plans.plans.length < intent.replanning.max_replans &&
         cancelled.length === 0 &&
@@ -350,14 +426,6 @@ function deriveProjection(coordRoot, intent, work, governed, plans, ignoreLease)
             next_action: "none",
         };
     }
-    if (latestHandledSameGraph && plans.latest) {
-        return {
-            ...base,
-            state: "awaiting_attention",
-            reason: plans.latest.reason ?? `plan ${plans.latest.request.id} requires attention`,
-            next_action: "none",
-        };
-    }
     return {
         ...base,
         state: "blocked",
@@ -394,6 +462,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`);
@@ -405,7 +486,29 @@ function validateIntent(intent, goalId) {
         throw new Error(`supervisor intent ${goalId} automation policy is not canonical`);
     }
     if (intent.replanning)
-        validateReplanning(intent.replanning, specialists, goalId);
+        validateReplanning(intent.replanning, specialists, intent.limits, 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 {
@@ -424,7 +527,7 @@ function normalizeAutomation(input) {
         retry_blocked: boolean(input?.retry_blocked ?? false, "retry_blocked"),
     };
 }
-function normalizeReplanning(input, specialistsInput) {
+function normalizeReplanning(input, specialistsInput, limits) {
     const specialists = normalizeWorkflowSpecialists(specialistsInput);
     const plannerSpecialist = bounded(input.plannerSpecialist, "planner specialist", 100);
     if (!specialists[plannerSpecialist]) {
@@ -460,6 +563,9 @@ function normalizeReplanning(input, specialistsInput) {
     if (maxWorkItemsPerPlan > maxTotalWorkItems) {
         throw new Error("replanning max_work_items_per_plan cannot exceed max_total_work_items");
     }
+    const review = input.review
+        ? normalizeReviewPolicy(input.review, specialists, plannerSpecialist, limits)
+        : undefined;
     return {
         planner_specialist: plannerSpecialist,
         auto_apply: boolean(input.autoApply ?? false, "replanning auto_apply"),
@@ -467,9 +573,39 @@ function normalizeReplanning(input, specialistsInput) {
         max_work_items_per_plan: maxWorkItemsPerPlan,
         max_total_work_items: maxTotalWorkItems,
         templates,
+        ...(review ? { review } : {}),
     };
 }
-function validateReplanning(policy, specialists, goalId) {
+function normalizeReviewPolicy(input, specialists, plannerSpecialist, limits) {
+    if (!Array.isArray(input.reviewerSpecialists) || input.reviewerSpecialists.length < 1) {
+        throw new Error("replanning review requires at least one reviewer specialist");
+    }
+    if (input.reviewerSpecialists.length > MAX_SUPERVISOR_PLAN_REVIEWERS) {
+        throw new Error(`replanning review cannot exceed ${MAX_SUPERVISOR_PLAN_REVIEWERS} reviewer specialists`);
+    }
+    const reviewerSpecialists = input.reviewerSpecialists.map((specialist, index) => bounded(specialist, `reviewer specialist[${index}]`, 100));
+    if (new Set(reviewerSpecialists).size !== reviewerSpecialists.length) {
+        throw new Error("replanning reviewer specialists must be unique");
+    }
+    for (const specialist of reviewerSpecialists) {
+        if (!specialists[specialist]) {
+            throw new Error(`reviewer specialist ${specialist} is not present in the frozen team`);
+        }
+        if (specialist === plannerSpecialist) {
+            throw new Error("reviewer specialist cannot be the planner specialist");
+        }
+    }
+    const maxRevisionRounds = nonNegative(input.maxRevisionRounds, "replanning review max_revision_rounds", MAX_SUPERVISOR_PLAN_REVISION_ROUNDS);
+    const worstCaseAgents = 1 + reviewerSpecialists.length * (maxRevisionRounds + 1) + maxRevisionRounds;
+    if (worstCaseAgents > limits.max_agents_per_work) {
+        throw new Error(`replanning review worst-case ${worstCaseAgents} agents exceeds max_agents_per_work ${limits.max_agents_per_work}`);
+    }
+    return {
+        reviewer_specialists: reviewerSpecialists,
+        max_revision_rounds: maxRevisionRounds,
+    };
+}
+function validateReplanning(policy, specialists, limits, goalId) {
     if (!specialists[policy.planner_specialist]) {
         throw new Error(`supervisor ${goalId} planner specialist is not in the frozen team`);
     }
@@ -499,11 +635,41 @@ function validateReplanning(policy, specialists, goalId) {
     }
     if (!rootCapable)
         throw new Error(`supervisor ${goalId} has no root-capable replanning template`);
+    if (policy.review !== undefined) {
+        const review = policy.review;
+        if (!Array.isArray(review.reviewer_specialists) ||
+            review.reviewer_specialists.length < 1 ||
+            review.reviewer_specialists.length > MAX_SUPERVISOR_PLAN_REVIEWERS ||
+            !Number.isSafeInteger(review.max_revision_rounds) ||
+            review.max_revision_rounds < 0 ||
+            review.max_revision_rounds > MAX_SUPERVISOR_PLAN_REVISION_ROUNDS) {
+            throw new Error(`supervisor ${goalId} replanning review policy is invalid`);
+        }
+        if (new Set(review.reviewer_specialists).size !== review.reviewer_specialists.length) {
+            throw new Error(`supervisor ${goalId} replanning reviewers are not unique`);
+        }
+        for (const specialist of review.reviewer_specialists) {
+            if (!specialists[specialist]) {
+                throw new Error(`supervisor ${goalId} reviewer specialist is not in the frozen team`);
+            }
+            if (specialist === policy.planner_specialist) {
+                throw new Error(`supervisor ${goalId} reviewer specialist cannot be planner`);
+            }
+        }
+        const worstCaseAgents = 1 +
+            review.reviewer_specialists.length * (review.max_revision_rounds + 1) +
+            review.max_revision_rounds;
+        if (worstCaseAgents > limits.max_agents_per_work) {
+            throw new Error(`supervisor ${goalId} review policy exceeds the agent budget`);
+        }
+    }
 }
 function collectGovernedWork(coordRoot, originalRootWorkId, plans, active) {
     const governed = new Map();
-    for (const record of collectSupervisorWork(coordRoot, originalRootWorkId)) {
-        governed.set(record.intent.id, record);
+    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));
@@ -511,6 +677,12 @@ function collectGovernedWork(coordRoot, originalRootWorkId, plans, 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);
@@ -579,6 +751,12 @@ function positive(value, field, max) {
     }
     return value;
 }
+function nonNegative(value, field, max) {
+    if (!Number.isSafeInteger(value) || value < 0 || value > max) {
+        throw new Error(`${field} must be an integer between 0 and ${max}`);
+    }
+    return value;
+}
 function boolean(value, field) {
     if (typeof value !== "boolean")
         throw new Error(`supervisor ${field} must be boolean`);

package/dist/core/workflow/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAqCH,OAAO,KAAK,EAEV,UAAU,EAEV,SAAS,EAOV,MAAM,YAAY,CAAC;AAYpB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBAEf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAM/E;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;gBAEjB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;CAOpF;AAED,wBAAsB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAyC1F"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAqCH,OAAO,KAAK,EAEV,UAAU,EAEV,SAAS,EAQV,MAAM,YAAY,CAAC;AAYpB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;gBAEf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAM/E;AAED,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;gBAEjB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;CAOpF;AAED,wBAAsB,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAyC1F"}

package/dist/core/workflow/engine.js

@@ -350,6 +350,9 @@ async function executeWorkflow(scriptPath, absScript, opts, resumeState) {
         const assignment = resolveSpecialistAssignment(specialists, prompt, requestedOpts);
         const agentOpts = assignment.opts;
         const assignmentPrompt = assignment.prompt;
+        const dispatchPrompt = agentOpts.schema
+            ? withSchemaContract(assignmentPrompt, agentOpts.schema)
+            : assignmentPrompt;
         let reservedForDispatch = 0;
         let spawnCountClaimed = false;
         const harness = agentOpts.harness ?? defaultHarness;
@@ -409,7 +412,7 @@ async function executeWorkflow(scriptPath, absScript, opts, resumeState) {
                 max_attempts: maxAttempts,
                 max_turns: agentOpts.maxTurns ?? DEFAULT_MAX_TURNS,
                 timeout_ms: agentOpts.timeoutMs ?? DEFAULT_TIMEOUT_MS,
-                prompt_bytes: Buffer.byteLength(assignmentPrompt),
+                prompt_bytes: Buffer.byteLength(dispatchPrompt),
                 isolation,
                 network_access: networkAccess,
                 current_cost_usd: round4(costUsd + reservedCostUsd),
@@ -529,7 +532,7 @@ async function executeWorkflow(scriptPath, absScript, opts, resumeState) {
                 effort: agentOpts.effort ?? null,
             });
             log(`[${name}] ${currentStage || "(no stage)"} → ${id} [${harness}] ${label}`);
-            let attemptPrompt = assignmentPrompt;
+            let attemptPrompt = dispatchPrompt;
             let last = null;
             let agentCostUsd = 0;
             for (let attempt = 1; attempt <= maxAttempts; attempt++) {
@@ -594,12 +597,16 @@ async function executeWorkflow(scriptPath, absScript, opts, resumeState) {
                     return parsed.value;
                 }
                 journal("agent.schema_retry", { id, attempt, problems });
-                // Feed the validation failure back verbatim — the retry prompt carries
-                // exactly what was wrong, which is what makes bounded retry converge.
+                // Keep the original cache identity while making the actual output
+                // contract explicit. A full bounded copy of the rejected value lets the
+                // child repair omissions instead of reconstructing an unseen object.
                 attemptPrompt =
-                    `${assignmentPrompt}\n\nYour previous reply failed validation:\n` +
+                    `${dispatchPrompt}\n\nYour previous reply failed validation. ` +
+                        `Return a complete replacement value, not a patch.\n\n` +
+                        `Previous reply (JSON string): ${JSON.stringify(boundedSchemaReply(last.text))}\n\n` +
+                        `Validation problems:\n` +
                         `${problems.map((p) => `  - ${p}`).join("\n")}\n` +
-                        `Reply with ONLY the corrected JSON object. No prose, no code fences.`;
+                        `Reply with ONLY the corrected JSON value. No prose, no code fences.`;
             }
             const reason = last?.ok
                 ? `schema validation failed after ${maxAttempts} attempt(s)`
@@ -793,6 +800,17 @@ async function executeWorkflow(scriptPath, absScript, opts, resumeState) {
         throw new WorkflowRunError(err.message, runId, proofPath, err);
     }
 }
+const MAX_SCHEMA_RETRY_REPLY = 16_000;
+function withSchemaContract(prompt, schema) {
+    return (`${prompt}\n\nOutput contract:\n` +
+        `Return ONLY one JSON value matching this schema. Do not use prose or code fences.\n` +
+        `${JSON.stringify(schema)}`);
+}
+function boundedSchemaReply(value) {
+    if (value.length <= MAX_SCHEMA_RETRY_REPLY)
+        return value;
+    return `${value.slice(0, MAX_SCHEMA_RETRY_REPLY)}\n[truncated by Harnery]`;
+}
 /** Stable identity for one agent() call, for the resume cache. The ORIGINAL
  * prompt (never a retry-mutated one) plus everything that changes behavior. */
 function agentCallKey(stage, harness, agentOpts, prompt) {

package/dist/core/workflow/types.d.ts

@@ -174,6 +174,12 @@ export interface StageSchema {
     required?: string[];
     /** type=array */
     items?: StageSchema;
+    minItems?: number;
+    maxItems?: number;
+    /** type=string */
+    minLength?: number;
+    maxLength?: number;
+    pattern?: string;
     /** any type: closed value set (compared with ===) */
     enum?: Array<string | number | boolean>;
 }