@openspecui/core 13.0.1 → 14.0.0

package/dist/{opsx-types-r1oKVWgZ.d.mts → opsx-types-FvNmqVVh.d.mts}

@@ -1,5 +1,5 @@
-import { Tt as CliJsonValue } from "./index-DPsUTX4C.mjs";
-import { n as ChangeFile, v as Task } from "./schemas-pfpqDlAd.mjs";
+import { Tt as CliJsonValue } from "./index-D8GM018H.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-DqfpM3ZI.mjs";
 import { z } from "zod";
 
 //#region src/task-progress.d.ts
@@ -449,6 +449,14 @@ declare const ChangeStatusSchema: z.ZodObject<{
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }>, "many">;
+  /**
+   * OpenSpec 1.14 top-level advisory warnings (unrecognized `.openspec.yaml` keys).
+   * Verbatim CLI evidence, absent when the CLI omitted it — never a synthesized empty
+   * array and never a gate on planning facts or actions. The Kernel's
+   * `projectWorkflowStatus` rebuild copies this member explicitly because the
+   * decode-side `.passthrough()` retention does not survive the object rebuild.
+   */
+  warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   provenance: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
     kind: z.ZodLiteral<"cli">;
     planningHome: z.ZodObject<{
@@ -692,32 +700,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
-    evidence: {
-      success: boolean;
-      stdout: string;
-      stderr: string;
-      exitCode: number | null;
-      payload: CliJsonValue;
-      diagnostics: z.objectOutputType<{
-        severity: z.ZodEnum<["error", "warning", "info"]>;
-        code: z.ZodString;
-        message: z.ZodString;
-        target: z.ZodOptional<z.ZodString>;
-        fix: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough">[];
-      command: "status";
-      selector: {
-        store?: string | undefined;
-      };
-      contractError?: string | undefined;
-      root?: z.objectOutputType<{
-        path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
-        store_id: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough"> | undefined;
-    } & {
-      [k: string]: unknown;
-    };
     planningHome: {
       kind: "repo";
       root: string;
@@ -746,22 +728,13 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
-  }, {
-    kind: "cli";
-    root: {
-      path: string;
-      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
-      store_id?: string | undefined;
-    } & {
-      [k: string]: unknown;
-    };
     evidence: {
       success: boolean;
       stdout: string;
       stderr: string;
       exitCode: number | null;
       payload: CliJsonValue;
-      diagnostics: z.objectInputType<{
+      diagnostics: z.objectOutputType<{
         severity: z.ZodEnum<["error", "warning", "info"]>;
         code: z.ZodString;
         message: z.ZodString;
@@ -773,7 +746,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
         store?: string | undefined;
       };
       contractError?: string | undefined;
-      root?: z.objectInputType<{
+      root?: z.objectOutputType<{
         path: z.ZodString;
         source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
@@ -781,6 +754,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
+  }, {
+    kind: "cli";
+    root: {
+      path: string;
+      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
+      store_id?: string | undefined;
+    } & {
+      [k: string]: unknown;
+    };
     planningHome: {
       kind: "repo";
       root: string;
@@ -809,6 +791,32 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
+    evidence: {
+      success: boolean;
+      stdout: string;
+      stderr: string;
+      exitCode: number | null;
+      payload: CliJsonValue;
+      diagnostics: z.objectInputType<{
+        severity: z.ZodEnum<["error", "warning", "info"]>;
+        code: z.ZodString;
+        message: z.ZodString;
+        target: z.ZodOptional<z.ZodString>;
+        fix: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">[];
+      command: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
   }>, z.ZodObject<{
     kind: z.ZodLiteral<"static">;
   }, "strip", z.ZodTypeAny, {
@@ -838,32 +846,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
-    evidence: {
-      success: boolean;
-      stdout: string;
-      stderr: string;
-      exitCode: number | null;
-      payload: CliJsonValue;
-      diagnostics: z.objectOutputType<{
-        severity: z.ZodEnum<["error", "warning", "info"]>;
-        code: z.ZodString;
-        message: z.ZodString;
-        target: z.ZodOptional<z.ZodString>;
-        fix: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough">[];
-      command: "status";
-      selector: {
-        store?: string | undefined;
-      };
-      contractError?: string | undefined;
-      root?: z.objectOutputType<{
-        path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
-        store_id: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough"> | undefined;
-    } & {
-      [k: string]: unknown;
-    };
     planningHome: {
       kind: "repo";
       root: string;
@@ -892,9 +874,36 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
+    evidence: {
+      success: boolean;
+      stdout: string;
+      stderr: string;
+      exitCode: number | null;
+      payload: CliJsonValue;
+      diagnostics: z.objectOutputType<{
+        severity: z.ZodEnum<["error", "warning", "info"]>;
+        code: z.ZodString;
+        message: z.ZodString;
+        target: z.ZodOptional<z.ZodString>;
+        fix: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">[];
+      command: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
   } | {
     kind: "static";
   };
+  warnings?: string[] | undefined;
 }, {
   changeName: string;
   schemaName: string;
@@ -917,32 +926,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
-    evidence: {
-      success: boolean;
-      stdout: string;
-      stderr: string;
-      exitCode: number | null;
-      payload: CliJsonValue;
-      diagnostics: z.objectInputType<{
-        severity: z.ZodEnum<["error", "warning", "info"]>;
-        code: z.ZodString;
-        message: z.ZodString;
-        target: z.ZodOptional<z.ZodString>;
-        fix: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough">[];
-      command: "status";
-      selector: {
-        store?: string | undefined;
-      };
-      contractError?: string | undefined;
-      root?: z.objectInputType<{
-        path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
-        store_id: z.ZodOptional<z.ZodString>;
-      }, z.ZodTypeAny, "passthrough"> | undefined;
-    } & {
-      [k: string]: unknown;
-    };
     planningHome: {
       kind: "repo";
       root: string;
@@ -971,9 +954,36 @@ declare const ChangeStatusSchema: z.ZodObject<{
     } & {
       [k: string]: unknown;
     };
+    evidence: {
+      success: boolean;
+      stdout: string;
+      stderr: string;
+      exitCode: number | null;
+      payload: CliJsonValue;
+      diagnostics: z.objectInputType<{
+        severity: z.ZodEnum<["error", "warning", "info"]>;
+        code: z.ZodString;
+        message: z.ZodString;
+        target: z.ZodOptional<z.ZodString>;
+        fix: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">[];
+      command: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
   } | {
     kind: "static";
   };
+  warnings?: string[] | undefined;
 }>;
 type ChangeStatus = z.infer<typeof ChangeStatusSchema>;
 declare const DependencyInfoSchema: z.ZodObject<{
@@ -985,14 +995,14 @@ declare const DependencyInfoSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   path: string;
   id: string;
-  description: string;
   done: boolean;
+  description: string;
   skipped?: boolean | undefined;
 }, {
   path: string;
   id: string;
-  description: string;
   done: boolean;
+  description: string;
   skipped?: boolean | undefined;
 }>;
 type DependencyInfo = z.infer<typeof DependencyInfoSchema>;
@@ -1000,14 +1010,26 @@ declare const ApplyTaskSchema: z.ZodObject<{
   id: z.ZodString;
   description: z.ZodString;
   done: z.ZodBoolean;
+  /**
+   * OpenSpec 1.14 LocatedTask source locations: the absolute `sourcePath` of the file
+   * the checkbox lives in plus its 1-based `line`. Optional because older payloads may
+   * lack them; verbatim CLI evidence, never re-derived or second-guessed, and never an
+   * input to `createApplyInstructionProgress`.
+   */
+  sourcePath: z.ZodOptional<z.ZodString>;
+  line: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
   id: string;
-  description: string;
   done: boolean;
+  description: string;
+  sourcePath?: string | undefined;
+  line?: number | undefined;
 }, {
   id: string;
-  description: string;
   done: boolean;
+  description: string;
+  sourcePath?: string | undefined;
+  line?: number | undefined;
 }>;
 type ApplyTask = z.infer<typeof ApplyTaskSchema>;
 declare const ApplyInstructionsContextFilesSchema: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
@@ -1021,19 +1043,42 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     id: z.ZodString;
     description: z.ZodString;
     done: z.ZodBoolean;
+    /**
+     * OpenSpec 1.14 LocatedTask source locations: the absolute `sourcePath` of the file
+     * the checkbox lives in plus its 1-based `line`. Optional because older payloads may
+     * lack them; verbatim CLI evidence, never re-derived or second-guessed, and never an
+     * input to `createApplyInstructionProgress`.
+     */
+    sourcePath: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   missingPrerequisites: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  taskTrackingConfigured: z.ZodOptional<z.ZodBoolean>;
+  unavailableTrackingFiles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    path: z.ZodString;
+    reason: z.ZodString;
+  }, "strip", z.ZodTypeAny, {
+    path: string;
+    reason: string;
+  }, {
+    path: string;
+    reason: string;
+  }>, "many">>;
   instruction: z.ZodString;
   references: z.ZodOptional<z.ZodArray<z.ZodObject<{
     store_id: z.ZodString;
@@ -1324,13 +1369,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         phase: "no-tasks" | "in-progress" | "complete";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1338,13 +1383,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         phase: "no-tasks" | "in-progress" | "complete";
       };
     }, {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1359,13 +1404,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1380,13 +1425,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1399,9 +1444,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -1428,8 +1477,6 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
-  schemaName: string;
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
@@ -1440,13 +1487,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1455,6 +1502,8 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       };
     } | null;
   };
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1490,18 +1539,25 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -1528,8 +1584,6 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
-  schemaName: string;
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
@@ -1540,13 +1594,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -1555,6 +1609,8 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       };
     } | null;
   };
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1590,10 +1646,13 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }>;
 declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
@@ -1618,19 +1677,42 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     id: z.ZodString;
     description: z.ZodString;
     done: z.ZodBoolean;
+    /**
+     * OpenSpec 1.14 LocatedTask source locations: the absolute `sourcePath` of the file
+     * the checkbox lives in plus its 1-based `line`. Optional because older payloads may
+     * lack them; verbatim CLI evidence, never re-derived or second-guessed, and never an
+     * input to `createApplyInstructionProgress`.
+     */
+    sourcePath: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   missingPrerequisites: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  taskTrackingConfigured: z.ZodOptional<z.ZodBoolean>;
+  unavailableTrackingFiles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    path: z.ZodString;
+    reason: z.ZodString;
+  }, "strip", z.ZodTypeAny, {
+    path: string;
+    reason: string;
+  }, {
+    path: string;
+    reason: string;
+  }>, "many">>;
   instruction: z.ZodString;
   references: z.ZodOptional<z.ZodArray<z.ZodObject<{
     store_id: z.ZodString;
@@ -1886,9 +1968,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -1915,16 +2001,16 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string[]>;
   progress: {
     complete: number;
     total: number;
     remaining: number;
   };
-  changeName: string;
-  schemaName: string;
-  changeDir: string;
-  instruction: string;
-  contextFiles: Record<string, string[]>;
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1960,18 +2046,25 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -1998,16 +2091,16 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
   progress: {
     complete: number;
     total: number;
     remaining: number;
   };
-  changeName: string;
-  schemaName: string;
-  changeDir: string;
-  instruction: string;
-  contextFiles: Record<string, string | string[]>;
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2043,19 +2136,26 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }>, {
   applyInstructionProgress: ApplyInstructionProgress;
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -2082,11 +2182,11 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
-  schemaName: string;
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2122,18 +2222,25 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -2160,16 +2267,16 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
   progress: {
     complete: number;
     total: number;
     remaining: number;
   };
-  changeName: string;
-  schemaName: string;
-  changeDir: string;
-  instruction: string;
-  contextFiles: Record<string, string | string[]>;
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2205,10 +2312,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }>, z.ZodObject<{
   changeName: z.ZodString;
@@ -2219,19 +2329,42 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     id: z.ZodString;
     description: z.ZodString;
     done: z.ZodBoolean;
+    /**
+     * OpenSpec 1.14 LocatedTask source locations: the absolute `sourcePath` of the file
+     * the checkbox lives in plus its 1-based `line`. Optional because older payloads may
+     * lack them; verbatim CLI evidence, never re-derived or second-guessed, and never an
+     * input to `createApplyInstructionProgress`.
+     */
+    sourcePath: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }, {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   missingPrerequisites: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   warnings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  taskTrackingConfigured: z.ZodOptional<z.ZodBoolean>;
+  unavailableTrackingFiles: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    path: z.ZodString;
+    reason: z.ZodString;
+  }, "strip", z.ZodTypeAny, {
+    path: string;
+    reason: string;
+  }, {
+    path: string;
+    reason: string;
+  }>, "many">>;
   instruction: z.ZodString;
   references: z.ZodOptional<z.ZodArray<z.ZodObject<{
     store_id: z.ZodString;
@@ -2522,13 +2655,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         phase: "no-tasks" | "in-progress" | "complete";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2536,13 +2669,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         phase: "no-tasks" | "in-progress" | "complete";
       };
     }, {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2557,13 +2690,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2578,13 +2711,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2597,9 +2730,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -2626,8 +2763,6 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
-  schemaName: string;
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
@@ -2638,13 +2773,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2653,6 +2788,8 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       };
     } | null;
   };
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2688,18 +2825,25 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
     id: string;
-    description: string;
     done: boolean;
+    description: string;
+    sourcePath?: string | undefined;
+    line?: number | undefined;
   }[];
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -2726,8 +2870,6 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
-  schemaName: string;
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
@@ -2738,13 +2880,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     remaining: number;
     source: "openspec-instructions-apply";
     divergence: {
-      message: string;
-      kind: "tracked-task-mismatch";
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
+      message: string;
+      kind: "tracked-task-mismatch";
       tracked: {
         completed: number;
         total: number;
@@ -2753,6 +2895,8 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       };
     } | null;
   };
+  warnings?: string[] | undefined;
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2788,10 +2932,13 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | undefined;
-  warnings?: string[] | undefined;
   missingArtifacts?: string[] | undefined;
   missingPrerequisites?: string[] | undefined;
+  taskTrackingConfigured?: boolean | undefined;
+  unavailableTrackingFiles?: {
+    path: string;
+    reason: string;
+  }[] | undefined;
   operationGuidance?: string[] | undefined;
 }>>;
 type ApplyInstructions = z.infer<typeof ApplyInstructionsSchema>;
@@ -2945,6 +3092,7 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
     command: z.ZodLiteral<"instructions archive">;
   }, z.ZodTypeAny, "passthrough">>;
 }, "strip", z.ZodTypeAny, {
+  changeName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -2971,10 +3119,10 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
   context?: string | undefined;
   operationGuidance?: string[] | undefined;
 }, {
+  changeName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -3001,7 +3149,6 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  changeName: string;
   context?: string | undefined;
   operationGuidance?: string[] | undefined;
 }>;
@@ -3026,14 +3173,14 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   }, "strip", z.ZodTypeAny, {
     path: string;
     id: string;
-    description: string;
     done: boolean;
+    description: string;
     skipped?: boolean | undefined;
   }, {
     path: string;
     id: string;
-    description: string;
     done: boolean;
+    description: string;
     skipped?: boolean | undefined;
   }>, "many">;
   unlocks: z.ZodArray<z.ZodString, "many">;
@@ -3288,6 +3435,8 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   artifactId: string;
   outputPath: string;
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -3314,19 +3463,20 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  description: string;
-  changeName: string;
-  schemaName: string;
   changeDir: string;
+  description: string;
   template: string;
   dependencies: {
     path: string;
     id: string;
-    description: string;
     done: boolean;
+    description: string;
     skipped?: boolean | undefined;
   }[];
   unlocks: string[];
+  instruction?: string | null | undefined;
+  context?: string | null | undefined;
+  rules?: string[] | null | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -3362,12 +3512,11 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | null | undefined;
-  instruction?: string | null | undefined;
-  rules?: string[] | null | undefined;
 }, {
   artifactId: string;
   outputPath: string;
+  changeName: string;
+  schemaName: string;
   evidence: {
     success: boolean;
     stdout: string;
@@ -3394,19 +3543,20 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   } & {
     [k: string]: unknown;
   };
-  description: string;
-  changeName: string;
-  schemaName: string;
   changeDir: string;
+  description: string;
   template: string;
   dependencies: {
     path: string;
     id: string;
-    description: string;
     done: boolean;
+    description: string;
     skipped?: boolean | undefined;
   }[];
   unlocks: string[];
+  instruction?: string | null | undefined;
+  context?: string | null | undefined;
+  rules?: string[] | null | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -3442,9 +3592,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
-  context?: string | null | undefined;
-  instruction?: string | null | undefined;
-  rules?: string[] | null | undefined;
 }>;
 type ArtifactInstructions = z.infer<typeof ArtifactInstructionsSchema>;
 /** CLI-owned Schema list item projected by OPSX. */
@@ -3615,8 +3762,8 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
-  version?: string | number | undefined;
   description?: string | undefined;
+  version?: string | number | undefined;
   applyTracks?: string | undefined;
   applyInstruction?: string | undefined;
 }, {
@@ -3630,8 +3777,8 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
-  version?: string | number | undefined;
   description?: string | undefined;
+  version?: string | number | undefined;
   applyTracks?: string | undefined;
   applyInstruction?: string | undefined;
 }>;
@@ -3694,8 +3841,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    version?: string | number | undefined;
     description?: string | undefined;
+    version?: string | number | undefined;
     applyTracks?: string | undefined;
     applyInstruction?: string | undefined;
   }, {
@@ -3709,8 +3856,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    version?: string | number | undefined;
     description?: string | undefined;
+    version?: string | number | undefined;
     applyTracks?: string | undefined;
     applyInstruction?: string | undefined;
   }>>>;
@@ -3799,8 +3946,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    version?: string | number | undefined;
     description?: string | undefined;
+    version?: string | number | undefined;
     applyTracks?: string | undefined;
     applyInstruction?: string | undefined;
   } | null>;
@@ -3845,8 +3992,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    version?: string | number | undefined;
     description?: string | undefined;
+    version?: string | number | undefined;
     applyTracks?: string | undefined;
     applyInstruction?: string | undefined;
   } | null>;