@openspecui/core 7.0.1 → 7.0.2

package/dist/{opsx-types-DJzyK1W7.d.mts → opsx-types-Ch6juiWL.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 { G as CliJsonValue } from "./index-CYFOH_f8.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-zh0_vzYQ.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[];
@@ -434,14 +434,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 +720,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -732,16 +733,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 +783,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -795,16 +796,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;
     };
@@ -821,7 +821,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -866,6 +866,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -878,16 +879,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;
     };
@@ -900,7 +900,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "skipped" | "blocked";
+    status: "done" | "skipped" | "ready" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -945,6 +945,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
+      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -957,16 +958,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;
     };
@@ -1296,12 +1296,12 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         complete: z.ZodNumber;
         remaining: z.ZodNumber;
       }, "strip", z.ZodTypeAny, {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       }, {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       }>;
       tracked: z.ZodObject<{
@@ -1310,98 +1310,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: "complete" | "no-tasks" | "in-progress";
+      }, {
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     }, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   }, {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "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 +1409,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: {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   };
@@ -1491,15 +1491,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 +1507,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: {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   };
@@ -1599,12 +1599,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     complete: z.ZodNumber;
     remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
   }, {
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
   }>;
   tasks: z.ZodArray<z.ZodObject<{
@@ -1874,15 +1874,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,25 +1890,30 @@ 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;
+    complete: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -1955,15 +1955,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,25 +1971,30 @@ 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;
+    complete: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -2037,15 +2037,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 +2053,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 +2113,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,25 +2129,30 @@ 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;
+    complete: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -2478,12 +2478,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         complete: z.ZodNumber;
         remaining: z.ZodNumber;
       }, "strip", z.ZodTypeAny, {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       }, {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       }>;
       tracked: z.ZodObject<{
@@ -2492,98 +2492,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: "complete" | "no-tasks" | "in-progress";
+      }, {
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     }, {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   }, {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "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 +2591,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: {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   };
@@ -2673,15 +2673,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 +2689,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: {
+    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    complete: number;
     total: number;
+    complete: number;
     remaining: number;
-    source: "openspec-instructions-apply";
     divergence: {
-      message: string;
       kind: "tracked-task-mismatch";
+      message: string;
       apply: {
-        complete: number;
         total: number;
+        complete: number;
         remaining: number;
       };
       tracked: {
-        completed: number;
         total: number;
         remaining: number;
-        phase: "no-tasks" | "in-progress" | "complete";
+        completed: number;
+        phase: "complete" | "no-tasks" | "in-progress";
       };
     } | null;
   };
@@ -2924,6 +2924,7 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   changeName: string;
   evidence: {
+    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2936,16 +2937,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 +2954,7 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, {
   changeName: string;
   evidence: {
+    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2966,16 +2967,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 +3263,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 +3280,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 +3343,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 +3360,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 +3582,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 +3591,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 +3606,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 +3661,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 +3670,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 +3685,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 +3766,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 +3775,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 +3812,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 +3821,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
+    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;