@ordewell/core 0.6.4 → 0.7.1

package/dist/order-labels.d.mts

@@ -1,6 +1,7 @@
-import { aV as Task } from './Task-xqdxugt2.mjs';
+import { bh as Task } from './Task-BnLxkVQF.mjs';
 import 'child_process';
 import 'events';
+import 'zod/v4';
 
 /**
  * Parent-scoped dotted order label for a task, e.g. "2.1" for the first subtask
@@ -13,7 +14,20 @@ declare function taskOrderLabel(task: {
 }, parent?: {
     order: number;
 }): string;
+/** How a surface refers to a task in prose: "#2", or "#2.1" for a subtask. */
+declare function taskRef(task: {
+    order: number;
+}, parent?: {
+    order: number;
+}): string;
+/** A task named in full, as a confirmation or a picker title does: "#2 Deploy". */
+declare function titledTaskRef(task: {
+    order: number;
+    title: string;
+}, parent?: {
+    order: number;
+}): string;
 /** Resolve a dotted label to a task in a plan's top-level task list. */
 declare function resolveOrderLabel(tasks: Task[], label: string): Task | undefined;
 
-export { resolveOrderLabel, taskOrderLabel };
+export { resolveOrderLabel, taskOrderLabel, taskRef, titledTaskRef };

package/dist/order-labels.d.ts

@@ -1,6 +1,7 @@
-import { aV as Task } from './Task-xqdxugt2.js';
+import { bh as Task } from './Task-BnLxkVQF.js';
 import 'child_process';
 import 'events';
+import 'zod/v4';
 
 /**
  * Parent-scoped dotted order label for a task, e.g. "2.1" for the first subtask
@@ -13,7 +14,20 @@ declare function taskOrderLabel(task: {
 }, parent?: {
     order: number;
 }): string;
+/** How a surface refers to a task in prose: "#2", or "#2.1" for a subtask. */
+declare function taskRef(task: {
+    order: number;
+}, parent?: {
+    order: number;
+}): string;
+/** A task named in full, as a confirmation or a picker title does: "#2 Deploy". */
+declare function titledTaskRef(task: {
+    order: number;
+    title: string;
+}, parent?: {
+    order: number;
+}): string;
 /** Resolve a dotted label to a task in a plan's top-level task list. */
 declare function resolveOrderLabel(tasks: Task[], label: string): Task | undefined;
 
-export { resolveOrderLabel, taskOrderLabel };
+export { resolveOrderLabel, taskOrderLabel, taskRef, titledTaskRef };

package/dist/order-labels.js

@@ -21,12 +21,20 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 var order_labels_exports = {};
 __export(order_labels_exports, {
   resolveOrderLabel: () => resolveOrderLabel,
-  taskOrderLabel: () => taskOrderLabel
+  taskOrderLabel: () => taskOrderLabel,
+  taskRef: () => taskRef,
+  titledTaskRef: () => titledTaskRef
 });
 module.exports = __toCommonJS(order_labels_exports);
 function taskOrderLabel(task, parent) {
   return parent ? `${parent.order}.${task.order}` : String(task.order);
 }
+function taskRef(task, parent) {
+  return `#${taskOrderLabel(task, parent)}`;
+}
+function titledTaskRef(task, parent) {
+  return `${taskRef(task, parent)} ${task.title}`;
+}
 function resolveOrderLabel(tasks, label) {
   const parts = label.split(".");
   if (parts.length > 2 || parts.some((p) => !/^\d+$/.test(p))) return void 0;
@@ -39,6 +47,8 @@ function resolveOrderLabel(tasks, label) {
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   resolveOrderLabel,
-  taskOrderLabel
+  taskOrderLabel,
+  taskRef,
+  titledTaskRef
 });
 //# sourceMappingURL=order-labels.js.map

package/dist/order-labels.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/order-labels.ts"],"sourcesContent":["import type { Task } from './models/Task';\n\n/**\n * Parent-scoped dotted order label for a task, e.g. \"2.1\" for the first subtask\n * of task 2. Kept in its own module (no Node imports) so a browser-bundled\n * surface — the VS Code webview — can import it via `@ordewell/core/order-labels`\n * without dragging the rest of core in.\n */\nexport function taskOrderLabel(task: { order: number }, parent?: { order: number }): string {\n  return parent ? `${parent.order}.${task.order}` : String(task.order);\n}\n\n/** Resolve a dotted label to a task in a plan's top-level task list. */\nexport function resolveOrderLabel(tasks: Task[], label: string): Task | undefined {\n  const parts = label.split('.');\n  if (parts.length > 2 || parts.some((p) => !/^\\d+$/.test(p))) return undefined;\n  const [topOrder, childOrder] = parts.map(Number);\n  const top = tasks.find((t) => t.order === topOrder);\n  if (!top) return undefined;\n  if (childOrder === undefined) return top;\n  return top.subtasks.find((s) => s.order === childOrder);\n}"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAQO,SAAS,eAAe,MAAyB,QAAoC;AAC1F,SAAO,SAAS,GAAG,OAAO,KAAK,IAAI,KAAK,KAAK,KAAK,OAAO,KAAK,KAAK;AACrE;AAGO,SAAS,kBAAkB,OAAe,OAAiC;AAChF,QAAM,QAAQ,MAAM,MAAM,GAAG;AAC7B,MAAI,MAAM,SAAS,KAAK,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAG,QAAO;AACpE,QAAM,CAAC,UAAU,UAAU,IAAI,MAAM,IAAI,MAAM;AAC/C,QAAM,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,QAAQ;AAClD,MAAI,CAAC,IAAK,QAAO;AACjB,MAAI,eAAe,OAAW,QAAO;AACrC,SAAO,IAAI,SAAS,KAAK,CAAC,MAAM,EAAE,UAAU,UAAU;AACxD;","names":[]}
+{"version":3,"sources":["../src/order-labels.ts"],"sourcesContent":["import type { Task } from './models/Task';\n\n/**\n * Parent-scoped dotted order label for a task, e.g. \"2.1\" for the first subtask\n * of task 2. Kept in its own module (no Node imports) so a browser-bundled\n * surface — the VS Code webview — can import it via `@ordewell/core/order-labels`\n * without dragging the rest of core in.\n */\nexport function taskOrderLabel(task: { order: number }, parent?: { order: number }): string {\n  return parent ? `${parent.order}.${task.order}` : String(task.order);\n}\n\n/** How a surface refers to a task in prose: \"#2\", or \"#2.1\" for a subtask. */\nexport function taskRef(task: { order: number }, parent?: { order: number }): string {\n  return `#${taskOrderLabel(task, parent)}`;\n}\n\n/** A task named in full, as a confirmation or a picker title does: \"#2 Deploy\". */\nexport function titledTaskRef(task: { order: number; title: string }, parent?: { order: number }): string {\n  return `${taskRef(task, parent)} ${task.title}`;\n}\n\n/** Resolve a dotted label to a task in a plan's top-level task list. */\nexport function resolveOrderLabel(tasks: Task[], label: string): Task | undefined {\n  const parts = label.split('.');\n  if (parts.length > 2 || parts.some((p) => !/^\\d+$/.test(p))) return undefined;\n  const [topOrder, childOrder] = parts.map(Number);\n  const top = tasks.find((t) => t.order === topOrder);\n  if (!top) return undefined;\n  if (childOrder === undefined) return top;\n  return top.subtasks.find((s) => s.order === childOrder);\n}"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAQO,SAAS,eAAe,MAAyB,QAAoC;AAC1F,SAAO,SAAS,GAAG,OAAO,KAAK,IAAI,KAAK,KAAK,KAAK,OAAO,KAAK,KAAK;AACrE;AAGO,SAAS,QAAQ,MAAyB,QAAoC;AACnF,SAAO,IAAI,eAAe,MAAM,MAAM,CAAC;AACzC;AAGO,SAAS,cAAc,MAAwC,QAAoC;AACxG,SAAO,GAAG,QAAQ,MAAM,MAAM,CAAC,IAAI,KAAK,KAAK;AAC/C;AAGO,SAAS,kBAAkB,OAAe,OAAiC;AAChF,QAAM,QAAQ,MAAM,MAAM,GAAG;AAC7B,MAAI,MAAM,SAAS,KAAK,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAG,QAAO;AACpE,QAAM,CAAC,UAAU,UAAU,IAAI,MAAM,IAAI,MAAM;AAC/C,QAAM,MAAM,MAAM,KAAK,CAAC,MAAM,EAAE,UAAU,QAAQ;AAClD,MAAI,CAAC,IAAK,QAAO;AACjB,MAAI,eAAe,OAAW,QAAO;AACrC,SAAO,IAAI,SAAS,KAAK,CAAC,MAAM,EAAE,UAAU,UAAU;AACxD;","names":[]}

package/dist/order-labels.mjs

@@ -1,9 +1,13 @@
 import {
   resolveOrderLabel,
-  taskOrderLabel
-} from "./chunk-HPNUFBIT.mjs";
+  taskOrderLabel,
+  taskRef,
+  titledTaskRef
+} from "./chunk-V3JHS7AX.mjs";
 export {
   resolveOrderLabel,
-  taskOrderLabel
+  taskOrderLabel,
+  taskRef,
+  titledTaskRef
 };
 //# sourceMappingURL=order-labels.mjs.map

package/dist/{parsing-DDZ1rUYa.d.mts → parsing-B6ctfF80.d.mts}

@@ -1,5 +1,5 @@
-import { bg as ValidationContext, bh as ValidationResult, aG as RunnerId, aV as Task } from './Task-xqdxugt2.mjs';
-import { R as RunnerModeInfo } from './ModeResolver-rqaY_4Ex.mjs';
+import { bh as Task, bJ as ValidationContext, bK as ValidationResult, a$ as RunnerId } from './Task-BnLxkVQF.mjs';
+import { R as RunnerModeInfo } from './ModeResolver-DZzJSdIU.mjs';
 
 /** The envelope key a full plan reply is keyed by: `{"tasks":[...]}`. */
 declare const PLAN_ENVELOPE_KEY = "tasks";
@@ -114,6 +114,27 @@ interface PartialPlanTask {
 declare function parsePartialPlan(partial: string): PartialPlanTask[];
 
 declare function parsePlanJson(raw: string, runners: RunnerId[], runnerModes?: Record<RunnerId, RunnerModeInfo[]>, autonomousDefault?: boolean): Task[];
+/** One reason a plan was refused, pinned to the task and field it is about. */
+interface PlanTaskError {
+    /** Absent when the envelope itself is wrong rather than one of its tasks. */
+    taskId?: string;
+    field: string;
+    message: string;
+}
+type PlanTasksResult = {
+    ok: true;
+    tasks: Task[];
+} | {
+    ok: false;
+    errors: PlanTaskError[];
+};
+/**
+ * Every check a plan's tasks must pass, on an already-parsed `{ tasks }`
+ * object — what a plan is held to whichever channel it arrived on. All
+ * problems are reported, in the order the text path has always met them, so
+ * the first is the one its corrective names.
+ */
+declare function validatePlanTasks(obj: unknown, runners: RunnerId[], runnerModes?: Record<RunnerId, RunnerModeInfo[]>, autonomousDefault?: boolean): PlanTasksResult;
 /**
  * Whether a reply that failed {@link parsePlanJson} actually LOOKED like a
  * plan attempt — a balanced tasks-keyed object, or JSON that got cut off.
@@ -128,4 +149,4 @@ declare function checkImmutableLog(ctx: ValidationContext): ValidationResult;
 declare function checkInProgress(ctx: ValidationContext): ValidationResult;
 declare function validatePlanModification(ctx: ValidationContext): ValidationResult;
 
-export { PLAN_ENVELOPE_KEY as P, TASK_OPS_ENVELOPE_KEY as T, type PartialPlanTask as a, PlanParseError as b, TASK_QUERY_ENVELOPE_KEY as c, checkDepsResolve as d, checkImmutableLog as e, checkInProgress as f, checkNoCycles as g, checkUniqueIds as h, escapeControlCharsInStrings as i, extractJsonObject as j, extractObjectWithBalance as k, extractObjectsWithKey as l, looksLikePlanAttempt as m, parsePlanJson as n, opensWithJsonObject as o, parsePartialPlan as p, stripTrailingCommas as q, stripModelNoise as s, validatePlanModification as v };
+export { PLAN_ENVELOPE_KEY as P, TASK_OPS_ENVELOPE_KEY as T, type PartialPlanTask as a, PlanParseError as b, type PlanTaskError as c, type PlanTasksResult as d, TASK_QUERY_ENVELOPE_KEY as e, checkDepsResolve as f, checkImmutableLog as g, checkInProgress as h, checkNoCycles as i, checkUniqueIds as j, escapeControlCharsInStrings as k, extractJsonObject as l, extractObjectWithBalance as m, extractObjectsWithKey as n, looksLikePlanAttempt as o, opensWithJsonObject as p, parsePartialPlan as q, parsePlanJson as r, stripModelNoise as s, stripTrailingCommas as t, validatePlanTasks as u, validatePlanModification as v };

package/dist/{parsing-COPG8-Ep.d.ts → parsing-ddZXZFP4.d.ts}

@@ -1,5 +1,5 @@
-import { bg as ValidationContext, bh as ValidationResult, aG as RunnerId, aV as Task } from './Task-xqdxugt2.js';
-import { R as RunnerModeInfo } from './ModeResolver-ByNpC0EP.js';
+import { bh as Task, bJ as ValidationContext, bK as ValidationResult, a$ as RunnerId } from './Task-BnLxkVQF.js';
+import { R as RunnerModeInfo } from './ModeResolver-DkMYf4uS.js';
 
 /** The envelope key a full plan reply is keyed by: `{"tasks":[...]}`. */
 declare const PLAN_ENVELOPE_KEY = "tasks";
@@ -114,6 +114,27 @@ interface PartialPlanTask {
 declare function parsePartialPlan(partial: string): PartialPlanTask[];
 
 declare function parsePlanJson(raw: string, runners: RunnerId[], runnerModes?: Record<RunnerId, RunnerModeInfo[]>, autonomousDefault?: boolean): Task[];
+/** One reason a plan was refused, pinned to the task and field it is about. */
+interface PlanTaskError {
+    /** Absent when the envelope itself is wrong rather than one of its tasks. */
+    taskId?: string;
+    field: string;
+    message: string;
+}
+type PlanTasksResult = {
+    ok: true;
+    tasks: Task[];
+} | {
+    ok: false;
+    errors: PlanTaskError[];
+};
+/**
+ * Every check a plan's tasks must pass, on an already-parsed `{ tasks }`
+ * object — what a plan is held to whichever channel it arrived on. All
+ * problems are reported, in the order the text path has always met them, so
+ * the first is the one its corrective names.
+ */
+declare function validatePlanTasks(obj: unknown, runners: RunnerId[], runnerModes?: Record<RunnerId, RunnerModeInfo[]>, autonomousDefault?: boolean): PlanTasksResult;
 /**
  * Whether a reply that failed {@link parsePlanJson} actually LOOKED like a
  * plan attempt — a balanced tasks-keyed object, or JSON that got cut off.
@@ -128,4 +149,4 @@ declare function checkImmutableLog(ctx: ValidationContext): ValidationResult;
 declare function checkInProgress(ctx: ValidationContext): ValidationResult;
 declare function validatePlanModification(ctx: ValidationContext): ValidationResult;
 
-export { PLAN_ENVELOPE_KEY as P, TASK_OPS_ENVELOPE_KEY as T, type PartialPlanTask as a, PlanParseError as b, TASK_QUERY_ENVELOPE_KEY as c, checkDepsResolve as d, checkImmutableLog as e, checkInProgress as f, checkNoCycles as g, checkUniqueIds as h, escapeControlCharsInStrings as i, extractJsonObject as j, extractObjectWithBalance as k, extractObjectsWithKey as l, looksLikePlanAttempt as m, parsePlanJson as n, opensWithJsonObject as o, parsePartialPlan as p, stripTrailingCommas as q, stripModelNoise as s, validatePlanModification as v };
+export { PLAN_ENVELOPE_KEY as P, TASK_OPS_ENVELOPE_KEY as T, type PartialPlanTask as a, PlanParseError as b, type PlanTaskError as c, type PlanTasksResult as d, TASK_QUERY_ENVELOPE_KEY as e, checkDepsResolve as f, checkImmutableLog as g, checkInProgress as h, checkNoCycles as i, checkUniqueIds as j, escapeControlCharsInStrings as k, extractJsonObject as l, extractObjectWithBalance as m, extractObjectsWithKey as n, looksLikePlanAttempt as o, opensWithJsonObject as p, parsePartialPlan as q, parsePlanJson as r, stripModelNoise as s, stripTrailingCommas as t, validatePlanTasks as u, validatePlanModification as v };

package/dist/parsing.d.mts

@@ -1,5 +1,6 @@
-export { a as PartialPlanTask, b as PlanParseError, j as extractJsonObject, p as parsePartialPlan, n as parsePlanJson } from './parsing-DDZ1rUYa.mjs';
-import './Task-xqdxugt2.mjs';
+export { a as PartialPlanTask, b as PlanParseError, l as extractJsonObject, q as parsePartialPlan, r as parsePlanJson } from './parsing-B6ctfF80.mjs';
+import './Task-BnLxkVQF.mjs';
 import 'child_process';
 import 'events';
-import './ModeResolver-rqaY_4Ex.mjs';
+import 'zod/v4';
+import './ModeResolver-DZzJSdIU.mjs';

package/dist/parsing.d.ts

@@ -1,5 +1,6 @@
-export { a as PartialPlanTask, b as PlanParseError, j as extractJsonObject, p as parsePartialPlan, n as parsePlanJson } from './parsing-COPG8-Ep.js';
-import './Task-xqdxugt2.js';
+export { a as PartialPlanTask, b as PlanParseError, l as extractJsonObject, q as parsePartialPlan, r as parsePlanJson } from './parsing-ddZXZFP4.js';
+import './Task-BnLxkVQF.js';
 import 'child_process';
 import 'events';
-import './ModeResolver-ByNpC0EP.js';
+import 'zod/v4';
+import './ModeResolver-DkMYf4uS.js';

package/dist/parsing.js

@@ -51,9 +51,12 @@ function createTask(overrides = {}) {
     autonomy: overrides.autonomy,
     sliceType: overrides.sliceType,
     userStoriesCovered: overrides.userStoriesCovered,
-    ...overrides.ops === true && (overrides.type ?? "ai") === "ai" ? { ops: true } : {}
+    ...opsFlag(overrides.ops, overrides.type) ? { ops: true } : {}
   };
 }
+function opsFlag(value, type = "ai") {
+  return value === true && type === "ai" ? true : void 0;
+}
 
 // src/services/JsonExtractor.ts
 var PLAN_ENVELOPE_KEY = "tasks";
@@ -263,25 +266,37 @@ function parsePlanObject(json, raw, runners, runnerModes, autonomousDefault = tr
     const detail = err instanceof Error ? err.message : String(err);
     throw new PlanParseError(`Plan response was not valid JSON: ${detail}`, raw);
   }
-  if (!parsed || typeof parsed !== "object" || !Array.isArray(parsed.tasks)) {
-    throw new PlanParseError("Invalid plan: missing tasks array", raw);
+  const result = validatePlanTasks(parsed, runners, runnerModes, autonomousDefault);
+  if (result.ok) return result.tasks;
+  const [first] = result.errors;
+  throw new PlanParseError(first.message, raw, { semantic: first.taskId !== void 0 });
+}
+function validatePlanTasks(obj, runners, runnerModes, autonomousDefault = true) {
+  const rawTasks = isRecord(obj) ? obj.tasks : void 0;
+  if (!Array.isArray(rawTasks)) {
+    return { ok: false, errors: [{ field: "tasks", message: "Invalid plan: missing tasks array" }] };
   }
-  const rawTasks = parsed.tasks;
   if (rawTasks.length === 0) {
-    throw new PlanParseError("Plan contained no tasks", raw);
+    return { ok: false, errors: [{ field: "tasks", message: "Plan contained no tasks" }] };
   }
-  const tasks = rawTasks.map((t) => parseTask(t, runners, runnerModes, autonomousDefault));
-  validateVerticalSliceShape(tasks, raw);
+  const tasks = rawTasks.map((t) => parseTask(asRecord(t), runners, runnerModes, autonomousDefault));
+  const errors = verticalSliceErrors(tasks);
   for (const t of tasks) {
     if (!runners.includes(t.assignedRunner)) {
-      throw new PlanParseError(
-        `Task "${t.title}" has invalid assignedRunner "${t.assignedRunner}". Expected one of: ${runners.join(", ")}`,
-        raw,
-        { semantic: true }
-      );
+      errors.push({
+        taskId: t.id,
+        field: "assignedRunner",
+        message: `Task "${t.title}" has invalid assignedRunner "${t.assignedRunner}". Expected one of: ${runners.join(", ")}`
+      });
     }
   }
-  return tasks;
+  return errors.length > 0 ? { ok: false, errors } : { ok: true, tasks };
+}
+function isRecord(value) {
+  return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function asRecord(value) {
+  return isRecord(value) ? value : {};
 }
 function parseTask(raw, runners, runnerModes, autonomousDefault = true, inherited) {
   const assignedRunner = typeof raw.assignedRunner === "string" ? raw.assignedRunner : runners[0] ?? "claude-code";
@@ -301,12 +316,12 @@ function parseTask(raw, runners, runnerModes, autonomousDefault = true, inherite
     // description/title — same fallback TaskOps.applyTaskOps uses for `add`, so
     // a task never silently ends up unschedulable (getReadyTasks requires prompt).
     prompt: raw.prompt ? String(raw.prompt) : description || title || void 0,
-    userSteps: Array.isArray(raw.userSteps) ? raw.userSteps.map((s) => ({
+    userSteps: Array.isArray(raw.userSteps) ? raw.userSteps.map(asRecord).map((s) => ({
       order: Number(s.order ?? 0),
       instruction: String(s.instruction ?? ""),
       completed: false
     })) : void 0,
-    subtasks: Array.isArray(raw.subtasks) ? raw.subtasks.map((s) => parseTask(s, runners, runnerModes, autonomousDefault, { sliceType, autonomy })) : [],
+    subtasks: Array.isArray(raw.subtasks) ? raw.subtasks.map((s) => parseTask(asRecord(s), runners, runnerModes, autonomousDefault, { sliceType, autonomy })) : [],
     assignedModel: raw.assignedModel ? {
       modelId: String(raw.assignedModel.modelId ?? ""),
       modelLabel: String(raw.assignedModel.modelLabel ?? ""),
@@ -323,46 +338,32 @@ function parseTask(raw, runners, runnerModes, autonomousDefault = true, inherite
     autonomy,
     sliceType,
     userStoriesCovered: Array.isArray(raw.userStoriesCovered) ? raw.userStoriesCovered.map(String) : void 0,
-    // A subtask runs with its parent, so only a top-level AI task carries it (ADR-0020).
-    ops: !inherited && taskType === "ai" && raw.ops === true
+    // A subtask runs with its parent, so only a top-level task carries it (ADR-0020).
+    ops: inherited ? void 0 : opsFlag(raw.ops)
   });
 }
-function validateVerticalSliceShape(tasks, raw, parentTitle) {
+function verticalSliceErrors(tasks, parentTitle) {
   const where = (t) => parentTitle ? `subtask "${t.title}" of "${parentTitle}"` : `Task "${t.title}"`;
-  const semantic = { semantic: true };
+  const errors = [];
   for (const t of tasks) {
+    const fail = (field, message) => errors.push({ taskId: t.id, field, message });
     if (!t.sliceType) {
-      throw new PlanParseError(
-        `${where(t)} is missing sliceType. Every task must specify sliceType ("AFK" or "HITL").`,
-        raw,
-        semantic
-      );
+      fail("sliceType", `${where(t)} is missing sliceType. Every task must specify sliceType ("AFK" or "HITL").`);
     }
     if (t.type === "ai" && !t.autonomy) {
-      throw new PlanParseError(
-        `AI ${where(t)} is missing autonomy. Every AI task must specify autonomy ("AFK" or "HITL").`,
-        raw,
-        semantic
-      );
+      fail("autonomy", `AI ${where(t)} is missing autonomy. Every AI task must specify autonomy ("AFK" or "HITL").`);
     }
     if (t.autonomy === "AFK" && t.userSteps && t.userSteps.length > 0) {
-      throw new PlanParseError(
-        `${where(t)} has autonomy "AFK" but contains userSteps. AFK tasks must not have user touchpoints.`,
-        raw,
-        semantic
-      );
+      fail("userSteps", `${where(t)} has autonomy "AFK" but contains userSteps. AFK tasks must not have user touchpoints.`);
     }
-    if (t.type === "user" && t.sliceType !== "HITL") {
-      throw new PlanParseError(
-        `User ${where(t)} has sliceType "${t.sliceType}". User tasks must have sliceType "HITL".`,
-        raw,
-        semantic
-      );
+    if (t.type === "user" && t.sliceType && t.sliceType !== "HITL") {
+      fail("sliceType", `User ${where(t)} has sliceType "${t.sliceType}". User tasks must have sliceType "HITL".`);
     }
     if (t.subtasks.length > 0) {
-      validateVerticalSliceShape(t.subtasks, raw, t.title);
+      errors.push(...verticalSliceErrors(t.subtasks, t.title));
     }
   }
+  return errors;
 }
 
 // src/services/PartialPlanParser.ts