@openspecui/core 7.0.2 → 9.0.1

package/dist/{opsx-types-Ch6juiWL.d.mts → opsx-types-CwR1AXgQ.d.mts}

@@ -1,5 +1,5 @@
-import { G as CliJsonValue } from "./index-CYFOH_f8.mjs";
-import { n as ChangeFile, v as Task } from "./schemas-zh0_vzYQ.mjs";
+import { Y as CliJsonValue } from "./index-BZWtHuI2.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-_BT364v-.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: "done" | "skipped" | "ready" | "blocked";
+  status: "ready" | "done" | "skipped" | "blocked";
   id: string;
   outputPath: string;
   requires: string[];
   missingDeps?: string[] | undefined;
   relativePath?: string | undefined;
 }, {
-  status: "done" | "skipped" | "ready" | "blocked";
+  status: "ready" | "done" | "skipped" | "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: "done" | "skipped" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }, {
-    status: "done" | "skipped" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -720,7 +721,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -733,15 +733,16 @@ 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,7 +784,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -796,15 +796,16 @@ 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: "done" | "skipped" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -866,7 +867,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -879,15 +879,16 @@ 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: "done" | "skipped" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
     requires: string[];
@@ -945,7 +946,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -958,15 +958,16 @@ 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 +1297,12 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         complete: z.ZodNumber;
         remaining: z.ZodNumber;
       }, "strip", z.ZodTypeAny, {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       }, {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       }>;
       tracked: z.ZodObject<{
@@ -1313,90 +1314,90 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       }, {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1409,15 +1410,16 @@ 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;
   };
@@ -1429,26 +1431,25 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -1491,10 +1492,10 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1507,15 +1508,16 @@ 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;
   };
@@ -1527,26 +1529,25 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -1599,12 +1600,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     complete: z.ZodNumber;
     remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
   }, {
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
   }>;
   tasks: z.ZodArray<z.ZodObject<{
@@ -1874,10 +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";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1890,15 +1891,16 @@ 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;
   };
@@ -1910,10 +1912,9 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   progress: {
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -1955,10 +1956,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1971,15 +1972,16 @@ 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;
   };
@@ -1991,10 +1993,9 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   progress: {
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -2037,10 +2038,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   operationGuidance?: string[] | undefined;
 }>, {
   applyInstructionProgress: ApplyInstructionProgress;
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2053,15 +2054,16 @@ 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;
   };
@@ -2073,7 +2075,6 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
@@ -2113,10 +2114,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2129,15 +2130,16 @@ 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;
   };
@@ -2149,10 +2151,9 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   progress: {
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
   };
   context?: string | undefined;
@@ -2478,12 +2479,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         complete: z.ZodNumber;
         remaining: z.ZodNumber;
       }, "strip", z.ZodTypeAny, {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       }, {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       }>;
       tracked: z.ZodObject<{
@@ -2495,90 +2496,90 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       }, {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       }>;
     }, "strip", z.ZodTypeAny, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2591,15 +2592,16 @@ 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;
   };
@@ -2611,26 +2613,25 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -2673,10 +2674,10 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   missingArtifacts?: string[] | undefined;
   operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2689,15 +2690,16 @@ 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;
   };
@@ -2709,26 +2711,25 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: boolean;
     description: string;
   }[];
-  state: "ready" | "blocked" | "all_done";
   applyInstructionProgress: {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
+    source: "openspec-instructions-apply";
     complete: number;
+    total: number;
     remaining: number;
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
         total: number;
         remaining: number;
         completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "complete" | "in-progress";
       };
     } | null;
   };
@@ -2924,7 +2925,6 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   changeName: string;
   evidence: {
-    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2937,15 +2937,16 @@ 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,7 +2955,6 @@ declare const ArchiveInstructionsSchema: z.ZodObject<{
 }, {
   changeName: string;
   evidence: {
-    command: "instructions archive";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2967,15 +2967,16 @@ 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;
   };
@@ -3267,7 +3268,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   schemaName: string;
   outputPath: string;
   evidence: {
-    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3280,15 +3280,16 @@ 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;
   };
@@ -3347,7 +3348,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   schemaName: string;
   outputPath: string;
   evidence: {
-    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3360,15 +3360,16 @@ 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;
   };
@@ -3582,6 +3583,7 @@ 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;
@@ -3591,12 +3593,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;
@@ -3606,7 +3608,6 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
-  name: string;
   description?: string | undefined;
   version?: string | number | undefined;
   applyTracks?: string | undefined;
@@ -3661,6 +3662,7 @@ 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;
@@ -3670,12 +3672,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;
@@ -3685,7 +3687,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3766,6 +3767,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
     source: z.ZodEnum<["project", "user", "package"]>;
   }, z.ZodTypeAny, "passthrough">[];
   schemaDetails: Record<string, {
+    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3775,7 +3777,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3812,6 +3813,7 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
     source: z.ZodEnum<["project", "user", "package"]>;
   }, z.ZodTypeAny, "passthrough">[];
   schemaDetails: Record<string, {
+    name: string;
     applyRequires: string[];
     artifacts: {
       id: string;
@@ -3821,7 +3823,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;