@openspecui/core 7.0.1 → 9.0.0

package/dist/{opsx-types-DJzyK1W7.d.mts → opsx-types-C_4QxcU6.d.mts}

@@ -1,5 +1,5 @@
-import { G as CliJsonValue } from "./index-CkwSp1WZ.mjs";
-import { n as ChangeFile, v as Task } from "./schemas-kuds0tNv.mjs";
+import { Y as CliJsonValue } from "./index-BGT-MVqL.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-Dnw_rfST.mjs";
 import { z } from "zod";
 
 //#region src/task-progress.d.ts
@@ -406,14 +406,14 @@ declare const ArtifactStatusSchema: z.ZodObject<{
   missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   relativePath: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-  status: "ready" | "done" | "skipped" | "blocked";
+  status: "done" | "skipped" | "ready" | "blocked";
   id: string;
   outputPath: string;
   requires: string[];
   missingDeps?: string[] | undefined;
   relativePath?: string | undefined;
 }, {
-  status: "ready" | "done" | "skipped" | "blocked";
+  status: "done" | "skipped" | "ready" | "blocked";
   id: string;
   outputPath: string;
   requires: string[];
@@ -424,7 +424,8 @@ type ArtifactStatus = z.infer<typeof ArtifactStatusSchema>;
 declare const ChangeStatusSchema: z.ZodObject<{
   changeName: z.ZodString;
   schemaName: z.ZodString;
-  isComplete: z.ZodBoolean;
+  /** Planning-artifact completion fact from the CLI; never an implementation-task authority. */
+  isPlanningComplete: z.ZodBoolean;
   applyRequires: z.ZodArray<z.ZodString, "many">;
   artifacts: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
@@ -434,14 +435,14 @@ declare const ChangeStatusSchema: z.ZodObject<{
     missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     relativePath: z.ZodOptional<z.ZodString>;
   }, "strip", z.ZodTypeAny, {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }, {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -720,6 +721,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -732,16 +734,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
         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;
+      contractError?: string | undefined;
     } & {
       [k: string]: unknown;
     };
@@ -783,6 +784,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -795,16 +797,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
         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;
+      contractError?: string | undefined;
     } & {
       [k: string]: unknown;
     };
@@ -818,10 +819,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   changeName: string;
   schemaName: string;
-  isComplete: boolean;
+  isPlanningComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -866,6 +867,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -878,16 +880,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
         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;
+      contractError?: string | undefined;
     } & {
       [k: string]: unknown;
     };
@@ -897,10 +898,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
 }, {
   changeName: string;
   schemaName: string;
-  isComplete: boolean;
+  isPlanningComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -945,6 +946,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -957,16 +959,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
         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;
+      contractError?: string | undefined;
     } & {
       [k: string]: unknown;
     };
@@ -1310,98 +1311,93 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         remaining: z.ZodNumber;
         phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
       }, "strip", z.ZodTypeAny, {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
-      }, {
         completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
+      }, {
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }, {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1414,41 +1410,46 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -1491,15 +1492,10 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1512,41 +1508,46 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -1874,15 +1875,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     command: z.ZodLiteral<"instructions apply">;
   }, z.ZodTypeAny, "passthrough">>;
 }, "strip", z.ZodTypeAny, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1895,22 +1891,27 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   progress: {
     complete: number;
     total: number;
@@ -1955,15 +1956,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1976,22 +1972,27 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   progress: {
     complete: number;
     total: number;
@@ -2037,15 +2038,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   operationGuidance?: string[] | undefined;
 }>, {
   applyInstructionProgress: ApplyInstructionProgress;
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2058,22 +2054,27 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
@@ -2113,15 +2114,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2134,22 +2130,27 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   progress: {
     complete: number;
     total: number;
@@ -2492,98 +2493,93 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         remaining: z.ZodNumber;
         phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
       }, "strip", z.ZodTypeAny, {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
-      }, {
         completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
+      }, {
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }, {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2596,41 +2592,46 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -2673,15 +2674,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
-  state: "ready" | "blocked" | "all_done";
-  tasks: {
-    id: string;
-    done: boolean;
-    description: string;
-  }[];
   changeName: string;
   schemaName: string;
   evidence: {
+    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2694,41 +2690,46 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions apply";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  tasks: {
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    state: "ready" | "blocked" | "all_done";
+    source: "openspec-instructions-apply";
     complete: number;
+    state: "ready" | "blocked" | "all_done";
     total: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
         complete: number;
         total: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -2924,6 +2925,7 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   changeName: string;
   evidence: {
+    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2936,16 +2938,15 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions archive";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
@@ -2954,6 +2955,7 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, {
   changeName: string;
   evidence: {
+    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2966,16 +2968,15 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions archive";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
@@ -3263,11 +3264,11 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     command: z.ZodLiteral<"instructions">;
   }, z.ZodTypeAny, "passthrough">>;
 }, "strip", z.ZodTypeAny, {
-  artifactId: string;
-  outputPath: string;
   changeName: string;
   schemaName: string;
+  outputPath: string;
   evidence: {
+    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3280,19 +3281,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
+  artifactId: string;
   changeDir: string;
   description: string;
   template: string;
@@ -3343,11 +3344,11 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
 }, {
-  artifactId: string;
-  outputPath: string;
   changeName: string;
   schemaName: string;
+  outputPath: string;
   evidence: {
+    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3360,19 +3361,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
       target: z.ZodOptional<z.ZodString>;
       fix: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">[];
-    command: "instructions";
     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;
+    contractError?: string | undefined;
   } & {
     [k: string]: unknown;
   };
+  artifactId: string;
   changeDir: string;
   description: string;
   template: string;
@@ -3582,7 +3583,6 @@ declare const SchemaDetailSchema: z.ZodObject<{
   applyTracks: z.ZodOptional<z.ZodString>;
   applyInstruction: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-  name: string;
   applyRequires: string[];
   artifacts: {
     id: string;
@@ -3592,12 +3592,12 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
+  name: string;
   description?: string | undefined;
   version?: string | number | undefined;
   applyTracks?: string | undefined;
   applyInstruction?: string | undefined;
 }, {
-  name: string;
   applyRequires: string[];
   artifacts: {
     id: string;
@@ -3607,6 +3607,7 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
+  name: string;
   description?: string | undefined;
   version?: string | number | undefined;
   applyTracks?: string | undefined;
@@ -3661,7 +3662,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
     applyTracks: z.ZodOptional<z.ZodString>;
     applyInstruction: z.ZodOptional<z.ZodString>;
   }, "strip", z.ZodTypeAny, {
-    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3671,12 +3671,12 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
+    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
     applyInstruction?: string | undefined;
   }, {
-    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3686,6 +3686,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
+    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3766,7 +3767,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
     source: z.ZodEnum<["project", "user", "package"]>;
   }, z.ZodTypeAny, "passthrough">[];
   schemaDetails: Record<string, {
-    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3776,6 +3776,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
+    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3812,7 +3813,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
     source: z.ZodEnum<["project", "user", "package"]>;
   }, z.ZodTypeAny, "passthrough">[];
   schemaDetails: Record<string, {
-    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3822,6 +3822,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
+    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;