@openspecui/core 6.2.0 → 7.0.0

package/dist/{opsx-types-BNEqpP-B.d.mts → opsx-types-DP8JjGq0.d.mts}

@@ -1,5 +1,5 @@
-import { n as CliJsonValue } from "./command-result-DPdfvbPT.mjs";
-import { n as ChangeFile, v as Task } from "./schemas-D4afES_m.mjs";
+import { G as CliJsonValue } from "./index-CF5niw80.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-divIlNvA.mjs";
 import { z } from "zod";
 
 //#region src/task-progress.d.ts
@@ -109,7 +109,7 @@ declare function projectTaskProjectionsFromMarkdownFiles(files: readonly ChangeF
 declare function isGlobPattern(pattern: string): boolean;
 /** Raw process and parser evidence retained beside one live CLI projection. */
 declare const OpsxCliEvidenceSchema: z.ZodObject<{
-  command: z.ZodEnum<["status", "instructions", "instructions apply"]>;
+  command: z.ZodEnum<["status", "instructions", "instructions apply", "instructions archive"]>;
   success: z.ZodBoolean;
   stdout: z.ZodString;
   stderr: z.ZodString;
@@ -144,19 +144,19 @@ declare const OpsxCliEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-  command: z.ZodEnum<["status", "instructions", "instructions apply"]>;
+  command: z.ZodEnum<["status", "instructions", "instructions apply", "instructions archive"]>;
   success: z.ZodBoolean;
   stdout: z.ZodString;
   stderr: z.ZodString;
@@ -191,19 +191,19 @@ declare const OpsxCliEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-  command: z.ZodEnum<["status", "instructions", "instructions apply"]>;
+  command: z.ZodEnum<["status", "instructions", "instructions apply", "instructions archive"]>;
   success: z.ZodBoolean;
   stdout: z.ZodString;
   stderr: z.ZodString;
@@ -238,15 +238,15 @@ declare const OpsxCliEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 }, z.ZodTypeAny, "passthrough">>;
@@ -287,15 +287,15 @@ declare const OpsxStatusEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 } & {
@@ -335,15 +335,15 @@ declare const OpsxStatusEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 } & {
@@ -383,15 +383,15 @@ declare const OpsxStatusEvidenceSchema: z.ZodObject<{
   }>;
   root: z.ZodOptional<z.ZodObject<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
     path: z.ZodString;
-    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
     store_id: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>>;
 } & {
@@ -401,19 +401,22 @@ type OpsxStatusEvidence = z.infer<typeof OpsxStatusEvidenceSchema>;
 declare const ArtifactStatusSchema: z.ZodObject<{
   id: z.ZodString;
   outputPath: z.ZodString;
-  status: z.ZodEnum<["done", "ready", "blocked"]>;
+  status: z.ZodEnum<["done", "skipped", "ready", "blocked"]>;
+  requires: z.ZodArray<z.ZodString, "many">;
   missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   relativePath: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-  status: "done" | "ready" | "blocked";
+  status: "ready" | "done" | "skipped" | "blocked";
   id: string;
   outputPath: string;
+  requires: string[];
   missingDeps?: string[] | undefined;
   relativePath?: string | undefined;
 }, {
-  status: "done" | "ready" | "blocked";
+  status: "ready" | "done" | "skipped" | "blocked";
   id: string;
   outputPath: string;
+  requires: string[];
   missingDeps?: string[] | undefined;
   relativePath?: string | undefined;
 }>;
@@ -426,19 +429,22 @@ declare const ChangeStatusSchema: z.ZodObject<{
   artifacts: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
     outputPath: z.ZodString;
-    status: z.ZodEnum<["done", "ready", "blocked"]>;
+    status: z.ZodEnum<["done", "skipped", "ready", "blocked"]>;
+    requires: z.ZodArray<z.ZodString, "many">;
     missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     relativePath: z.ZodOptional<z.ZodString>;
   }, "strip", z.ZodTypeAny, {
-    status: "done" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
+    requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }, {
-    status: "done" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
+    requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }>, "many">;
@@ -520,15 +526,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>;
     root: z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>;
     evidence: z.ZodObject<{
@@ -566,15 +572,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
       }>;
       root: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">>>;
     } & {
@@ -614,15 +620,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
       }>;
       root: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">>>;
     } & {
@@ -662,15 +668,15 @@ declare const ChangeStatusSchema: z.ZodObject<{
       }>;
       root: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         path: z.ZodString;
-        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
         store_id: z.ZodOptional<z.ZodString>;
       }, z.ZodTypeAny, "passthrough">>>;
     } & {
@@ -680,7 +686,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
     kind: "cli";
     root: {
       path: string;
-      source: "store" | "declared" | "nearest" | "implicit";
+      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
       store_id?: string | undefined;
     } & {
       [k: string]: unknown;
@@ -714,7 +720,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -727,15 +732,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", "implicit"]>;
+        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;
     };
@@ -743,7 +749,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
     kind: "cli";
     root: {
       path: string;
-      source: "store" | "declared" | "nearest" | "implicit";
+      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
       store_id?: string | undefined;
     } & {
       [k: string]: unknown;
@@ -777,7 +783,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -790,15 +795,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", "implicit"]>;
+        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;
     };
@@ -815,9 +821,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "done" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
+    requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }[];
@@ -825,7 +832,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
     kind: "cli";
     root: {
       path: string;
-      source: "store" | "declared" | "nearest" | "implicit";
+      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
       store_id?: string | undefined;
     } & {
       [k: string]: unknown;
@@ -859,7 +866,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -872,15 +878,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", "implicit"]>;
+        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;
     };
@@ -893,9 +900,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "done" | "ready" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
+    requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }[];
@@ -903,7 +911,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
     kind: "cli";
     root: {
       path: string;
-      source: "store" | "declared" | "nearest" | "implicit";
+      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
       store_id?: string | undefined;
     } & {
       [k: string]: unknown;
@@ -937,7 +945,6 @@ declare const ChangeStatusSchema: z.ZodObject<{
       [k: string]: unknown;
     };
     evidence: {
-      command: "status";
       success: boolean;
       stdout: string;
       stderr: string;
@@ -950,15 +957,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", "implicit"]>;
+        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;
     };
@@ -972,16 +980,19 @@ declare const DependencyInfoSchema: z.ZodObject<{
   done: z.ZodBoolean;
   path: z.ZodString;
   description: z.ZodString;
+  skipped: z.ZodOptional<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
   path: string;
   id: string;
-  done: boolean;
   description: string;
+  done: boolean;
+  skipped?: boolean | undefined;
 }, {
   path: string;
   id: string;
-  done: boolean;
   description: string;
+  done: boolean;
+  skipped?: boolean | undefined;
 }>;
 type DependencyInfo = z.infer<typeof DependencyInfoSchema>;
 declare const ApplyTaskSchema: z.ZodObject<{
@@ -990,12 +1001,12 @@ declare const ApplyTaskSchema: z.ZodObject<{
   done: z.ZodBoolean;
 }, "strip", z.ZodTypeAny, {
   id: string;
-  done: boolean;
   description: string;
+  done: boolean;
 }, {
   id: string;
-  done: boolean;
   description: string;
+  done: boolean;
 }>;
 type ApplyTask = z.infer<typeof ApplyTaskSchema>;
 declare const ApplyInstructionsContextFilesSchema: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
@@ -1011,12 +1022,12 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     done: z.ZodBoolean;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -1124,6 +1135,8 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>, "many">>;
+  context: z.ZodOptional<z.ZodString>;
+  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   evidence: z.ZodObject<{
     success: z.ZodBoolean;
     stdout: z.ZodString;
@@ -1159,15 +1172,15 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -1207,15 +1220,15 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -1255,15 +1268,15 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -1283,12 +1296,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<{
@@ -1297,93 +1310,98 @@ 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;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       }, {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       }>;
     }, "strip", z.ZodTypeAny, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     }, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   }, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1396,49 +1414,45 @@ 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", "implicit"]>;
+      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";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1475,11 +1489,17 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1492,49 +1512,45 @@ 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", "implicit"]>;
+      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";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1571,6 +1587,7 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }>;
 declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   changeName: z.ZodString;
@@ -1582,12 +1599,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<{
@@ -1596,12 +1613,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: z.ZodBoolean;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -1709,6 +1726,8 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>, "many">>;
+  context: z.ZodOptional<z.ZodString>;
+  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   evidence: z.ZodObject<{
     success: z.ZodBoolean;
     stdout: z.ZodString;
@@ -1744,15 +1763,15 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -1792,15 +1811,15 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -1840,25 +1859,35 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
     command: z.ZodLiteral<"instructions apply">;
   }, z.ZodTypeAny, "passthrough">>;
 }, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
+  progress: {
+    complete: number;
+    total: number;
+    remaining: number;
+  };
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1871,32 +1900,23 @@ 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", "implicit"]>;
+      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: {
-    total: number;
-    complete: number;
-    remaining: number;
-  };
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1933,11 +1953,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
+  progress: {
+    complete: number;
+    total: number;
+    remaining: number;
+  };
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -1950,32 +1981,23 @@ 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", "implicit"]>;
+      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: {
-    total: number;
-    complete: number;
-    remaining: number;
-  };
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2012,12 +2034,18 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }>, {
   applyInstructionProgress: ApplyInstructionProgress;
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2030,27 +2058,23 @@ 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", "implicit"]>;
+      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;
     root: z.ZodOptional<z.ZodString>;
@@ -2087,11 +2111,22 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
+  progress: {
+    complete: number;
+    total: number;
+    remaining: number;
+  };
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2104,32 +2139,23 @@ 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", "implicit"]>;
+      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: {
-    total: number;
-    complete: number;
-    remaining: number;
-  };
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2166,6 +2192,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }>, z.ZodObject<{
   changeName: z.ZodString;
   changeDir: z.ZodString;
@@ -2177,12 +2204,12 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     done: z.ZodBoolean;
   }, "strip", z.ZodTypeAny, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }, {
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
   }>, "many">;
   state: z.ZodEnum<["blocked", "all_done", "ready"]>;
   missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -2290,6 +2317,8 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>, "many">>;
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">>, "many">>;
+  context: z.ZodOptional<z.ZodString>;
+  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
   evidence: z.ZodObject<{
     success: z.ZodBoolean;
     stdout: z.ZodString;
@@ -2325,15 +2354,15 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -2373,15 +2402,15 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -2421,15 +2450,15 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -2449,12 +2478,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<{
@@ -2463,93 +2492,98 @@ 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;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       }, {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       }>;
     }, "strip", z.ZodTypeAny, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     }, {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     }>>;
   }, "strip", z.ZodTypeAny, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   }, {
-    source: "openspec-instructions-apply";
     state: "ready" | "blocked" | "all_done";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   }>;
 }, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2562,49 +2596,45 @@ 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", "implicit"]>;
+      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";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2641,11 +2671,17 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    description: string;
+    done: boolean;
+  }[];
   changeName: string;
   schemaName: string;
   evidence: {
-    command: "instructions apply";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -2658,49 +2694,45 @@ 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", "implicit"]>;
+      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";
-    total: number;
     complete: number;
+    total: number;
     remaining: number;
+    source: "openspec-instructions-apply";
     divergence: {
-      kind: "tracked-task-mismatch";
       message: string;
+      kind: "tracked-task-mismatch";
       apply: {
-        total: number;
         complete: number;
+        total: number;
         remaining: number;
       };
       tracked: {
+        completed: number;
         total: number;
         remaining: number;
-        completed: number;
-        phase: "complete" | "no-tasks" | "in-progress";
+        phase: "no-tasks" | "in-progress" | "complete";
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2737,8 +2769,220 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
   missingArtifacts?: string[] | undefined;
+  operationGuidance?: string[] | undefined;
 }>>;
 type ApplyInstructions = z.infer<typeof ApplyInstructionsSchema>;
+declare const ArchiveInstructionsSchema: z.ZodObject<{
+  changeName: z.ZodString;
+  context: z.ZodOptional<z.ZodString>;
+  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  evidence: z.ZodObject<{
+    success: z.ZodBoolean;
+    stdout: z.ZodString;
+    stderr: z.ZodString;
+    exitCode: z.ZodNullable<z.ZodNumber>;
+    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+    contractError: z.ZodOptional<z.ZodString>;
+    selector: z.ZodObject<{
+      store: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+      store?: string | undefined;
+    }, {
+      store?: string | undefined;
+    }>;
+    root: z.ZodOptional<z.ZodObject<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions archive">;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    success: z.ZodBoolean;
+    stdout: z.ZodString;
+    stderr: z.ZodString;
+    exitCode: z.ZodNullable<z.ZodNumber>;
+    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+    contractError: z.ZodOptional<z.ZodString>;
+    selector: z.ZodObject<{
+      store: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+      store?: string | undefined;
+    }, {
+      store?: string | undefined;
+    }>;
+    root: z.ZodOptional<z.ZodObject<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions archive">;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    success: z.ZodBoolean;
+    stdout: z.ZodString;
+    stderr: z.ZodString;
+    exitCode: z.ZodNullable<z.ZodNumber>;
+    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
+    diagnostics: z.ZodArray<z.ZodObject<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+    contractError: z.ZodOptional<z.ZodString>;
+    selector: z.ZodObject<{
+      store: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+      store?: string | undefined;
+    }, {
+      store?: string | undefined;
+    }>;
+    root: z.ZodOptional<z.ZodObject<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions archive">;
+  }, z.ZodTypeAny, "passthrough">>;
+}, "strip", z.ZodTypeAny, {
+  changeName: string;
+  evidence: {
+    success: boolean;
+    stdout: string;
+    stderr: string;
+    exitCode: number | null;
+    payload: CliJsonValue;
+    diagnostics: z.objectOutputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[];
+    command: "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;
+  } & {
+    [k: string]: unknown;
+  };
+  context?: string | undefined;
+  operationGuidance?: string[] | undefined;
+}, {
+  changeName: string;
+  evidence: {
+    success: boolean;
+    stdout: string;
+    stderr: string;
+    exitCode: number | null;
+    payload: CliJsonValue;
+    diagnostics: z.objectInputType<{
+      severity: z.ZodEnum<["error", "warning", "info"]>;
+      code: z.ZodString;
+      message: z.ZodString;
+      target: z.ZodOptional<z.ZodString>;
+      fix: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">[];
+    command: "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;
+  } & {
+    [k: string]: unknown;
+  };
+  context?: string | undefined;
+  operationGuidance?: string[] | undefined;
+}>;
+type ArchiveInstructions = z.infer<typeof ArchiveInstructionsSchema>;
 declare const ArtifactInstructionsSchema: z.ZodObject<{
   changeName: z.ZodString;
   artifactId: z.ZodString;
@@ -2755,16 +2999,19 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     done: z.ZodBoolean;
     path: z.ZodString;
     description: z.ZodString;
+    skipped: z.ZodOptional<z.ZodBoolean>;
   }, "strip", z.ZodTypeAny, {
     path: string;
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
+    skipped?: boolean | undefined;
   }, {
     path: string;
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
+    skipped?: boolean | undefined;
   }>, "many">;
   unlocks: z.ZodArray<z.ZodString, "many">;
   references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -2905,15 +3152,15 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -2953,15 +3200,15 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
@@ -3001,26 +3248,27 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     }>;
     root: z.ZodOptional<z.ZodObject<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
       path: z.ZodString;
-      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
       store_id: z.ZodOptional<z.ZodString>;
     }, z.ZodTypeAny, "passthrough">>>;
   } & {
     command: z.ZodLiteral<"instructions">;
   }, z.ZodTypeAny, "passthrough">>;
 }, "strip", z.ZodTypeAny, {
+  artifactId: string;
+  outputPath: string;
+  description: string;
   changeName: string;
   schemaName: string;
-  outputPath: string;
   evidence: {
-    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3033,31 +3281,31 @@ 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", "implicit"]>;
+      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;
   dependencies: {
     path: string;
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
+    skipped?: boolean | undefined;
   }[];
   unlocks: string[];
-  instruction?: string | null | undefined;
   context?: string | null | undefined;
+  instruction?: string | null | undefined;
   rules?: string[] | null | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
@@ -3095,11 +3343,12 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     fetch: z.ZodOptional<z.ZodString>;
   }, z.ZodTypeAny, "passthrough">[] | undefined;
 }, {
+  artifactId: string;
+  outputPath: string;
+  description: string;
   changeName: string;
   schemaName: string;
-  outputPath: string;
   evidence: {
-    command: "instructions";
     success: boolean;
     stdout: string;
     stderr: string;
@@ -3112,31 +3361,31 @@ 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", "implicit"]>;
+      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;
   dependencies: {
     path: string;
     id: string;
-    done: boolean;
     description: string;
+    done: boolean;
+    skipped?: boolean | undefined;
   }[];
   unlocks: string[];
-  instruction?: string | null | undefined;
   context?: string | null | undefined;
+  instruction?: string | null | undefined;
   rules?: string[] | null | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
@@ -3333,6 +3582,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;
@@ -3342,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;
@@ -3357,7 +3607,6 @@ declare const SchemaDetailSchema: z.ZodObject<{
     instruction?: string | undefined;
     template?: string | undefined;
   }[];
-  name: string;
   description?: string | undefined;
   version?: string | number | undefined;
   applyTracks?: string | undefined;
@@ -3412,6 +3661,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;
@@ -3421,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;
@@ -3436,7 +3686,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3517,6 +3766,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;
@@ -3526,7 +3776,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3563,6 +3812,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;
@@ -3572,7 +3822,6 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       instruction?: string | undefined;
       template?: string | undefined;
     }[];
-    name: string;
     description?: string | undefined;
     version?: string | number | undefined;
     applyTracks?: string | undefined;
@@ -3639,4 +3888,4 @@ declare const TemplateContentMapSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
 }>>;
 type TemplateContentMap = z.infer<typeof TemplateContentMapSchema>;
 //#endregion
-export { projectTaskProjectionsFromMarkdownFiles as $, TemplateContentMapSchema as A, TaskProjectionOptions as B, SchemaDetail as C, SchemaResolution as D, SchemaInfoSchema as E, ApplyInstructionDivergence as F, TrackedTaskProgress as G, TrackedTask as H, ApplyInstructionProgress as I, createDocumentChecklistSummary as J, TrackedTaskSource as K, ApplyInstructionState as L, TemplatesMap as M, TemplatesSchema as N, SchemaResolutionSchema as O, isGlobPattern as P, parseMarkdownTasks as Q, DocumentChecklistGroup as R, SchemaArtifactSchema as S, SchemaInfo as T, TrackedTaskLocation as U, TaskProjections as V, TrackedTaskPhase as W, deriveTrackedTaskPhase as X, createTrackedTaskProgress as Y, isMarkdownTaskSourcePath as Z, OpsxConfigBundle as _, ApplyTask as a, OpsxStatusEvidenceSchema as b, ArtifactInstructionsSchema as c, ChangeStatus as d, toggleMarkdownTask as et, ChangeStatusSchema as f, OpsxCliEvidenceSchema as g, OpsxCliEvidence as h, ApplyInstructionsSchema as i, TemplateContentSchema as j, TemplateContentMap as k, ArtifactStatus as l, DependencyInfoSchema as m, ApplyInstructionsContextFilesSchema as n, ApplyTaskSchema as o, DependencyInfo as p, createApplyInstructionProgress as q, ApplyInstructionsProjectionSchema as r, ArtifactInstructions as s, ApplyInstructions as t, ArtifactStatusSchema as u, OpsxConfigBundleSchema as v, SchemaDetailSchema as w, SchemaArtifact as x, OpsxStatusEvidence as y, DocumentChecklistSummary as z };
+export { isMarkdownTaskSourcePath as $, SchemaResolutionSchema as A, DocumentChecklistGroup as B, SchemaArtifact as C, SchemaInfo as D, SchemaDetailSchema as E, TemplatesSchema as F, TrackedTaskLocation as G, TaskProjectionOptions as H, isGlobPattern as I, TrackedTaskSource as J, TrackedTaskPhase as K, ApplyInstructionDivergence as L, TemplateContentMapSchema as M, TemplateContentSchema as N, SchemaInfoSchema as O, TemplatesMap as P, deriveTrackedTaskPhase as Q, ApplyInstructionProgress as R, OpsxStatusEvidenceSchema as S, SchemaDetail as T, TaskProjections as U, DocumentChecklistSummary as V, TrackedTask as W, createDocumentChecklistSummary as X, createApplyInstructionProgress as Y, createTrackedTaskProgress as Z, OpsxCliEvidence as _, ApplyTask as a, OpsxConfigBundleSchema as b, ArchiveInstructionsSchema as c, ArtifactStatus as d, parseMarkdownTasks as et, ArtifactStatusSchema as f, DependencyInfoSchema as g, DependencyInfo as h, ApplyInstructionsSchema as i, TemplateContentMap as j, SchemaResolution as k, ArtifactInstructions as l, ChangeStatusSchema as m, ApplyInstructionsContextFilesSchema as n, toggleMarkdownTask as nt, ApplyTaskSchema as o, ChangeStatus as p, TrackedTaskProgress as q, ApplyInstructionsProjectionSchema as r, ArchiveInstructions as s, ApplyInstructions as t, projectTaskProjectionsFromMarkdownFiles as tt, ArtifactInstructionsSchema as u, OpsxCliEvidenceSchema as v, SchemaArtifactSchema as w, OpsxStatusEvidence as x, OpsxConfigBundle as y, ApplyInstructionState as z };