@openspecui/core 6.2.1 → 7.0.0

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

@@ -1,5 +1,5 @@
-import { n as CliJsonValue } from "./command-result-BkUqqa0m.mjs";
-import { n as ChangeFile, v as Task } from "./schemas-DKF6kaQ3.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: "ready" | "done" | "blocked";
+  status: "ready" | "done" | "skipped" | "blocked";
   id: string;
   outputPath: string;
+  requires: string[];
   missingDeps?: string[] | undefined;
   relativePath?: string | undefined;
 }, {
-  status: "ready" | "done" | "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: "ready" | "done" | "blocked";
+    status: "ready" | "done" | "skipped" | "blocked";
     id: string;
     outputPath: string;
+    requires: string[];
     missingDeps?: string[] | undefined;
     relativePath?: string | undefined;
   }, {
-    status: "ready" | "done" | "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;
@@ -733,7 +739,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       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;
     } & {
@@ -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;
@@ -796,7 +802,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       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;
     } & {
@@ -815,9 +821,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "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;
@@ -878,7 +885,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       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;
     } & {
@@ -893,9 +900,10 @@ declare const ChangeStatusSchema: z.ZodObject<{
   isComplete: boolean;
   applyRequires: string[];
   artifacts: {
-    status: "ready" | "done" | "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;
@@ -956,7 +964,7 @@ declare const ChangeStatusSchema: z.ZodObject<{
       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;
     } & {
@@ -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;
   description: string;
   done: boolean;
+  skipped?: boolean | undefined;
 }, {
   path: string;
   id: string;
   description: string;
   done: boolean;
+  skipped?: boolean | undefined;
 }>;
 type DependencyInfo = z.infer<typeof DependencyInfoSchema>;
 declare const ApplyTaskSchema: z.ZodObject<{
@@ -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">>>;
   } & {
@@ -1408,7 +1421,7 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     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;
   } & {
@@ -1439,6 +1452,7 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1475,6 +1489,7 @@ 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: {
@@ -1504,7 +1519,7 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
     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;
   } & {
@@ -1535,6 +1550,7 @@ declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
       };
     } | 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;
@@ -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,15 +1859,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">>>;
   } & {
@@ -1888,7 +1907,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -1897,6 +1916,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -1933,6 +1953,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;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
@@ -1967,7 +1988,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -1976,6 +1997,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  context?: string | undefined;
   references?: z.objectInputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2012,6 +2034,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;
 }>, {
   applyInstructionProgress: ApplyInstructionProgress;
   state: "ready" | "blocked" | "all_done";
@@ -2042,7 +2065,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -2051,6 +2074,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string[]>;
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2087,6 +2111,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;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
@@ -2121,7 +2146,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -2130,6 +2155,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
   changeDir: string;
   instruction: string;
   contextFiles: Record<string, string | string[]>;
+  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;
@@ -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">>>;
   } & {
@@ -2574,7 +2603,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -2605,6 +2634,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       };
     } | null;
   };
+  context?: string | undefined;
   references?: z.objectOutputType<{
     store_id: z.ZodString;
     root: z.ZodOptional<z.ZodString>;
@@ -2641,6 +2671,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;
 }, {
   state: "ready" | "blocked" | "all_done";
   tasks: {
@@ -2670,7 +2701,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
     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;
   } & {
@@ -2701,6 +2732,7 @@ declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
       };
     } | 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;
     description: string;
     done: boolean;
+    skipped?: boolean | undefined;
   }, {
     path: string;
     id: string;
     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,15 +3248,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">>>;
   } & {
@@ -3019,7 +3266,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   artifactId: string;
   outputPath: string;
   description: string;
-  template: string;
   changeName: string;
   schemaName: string;
   evidence: {
@@ -3042,18 +3288,20 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     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;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
+  template: string;
   dependencies: {
     path: string;
     id: string;
     description: string;
     done: boolean;
+    skipped?: boolean | undefined;
   }[];
   unlocks: string[];
   context?: string | null | undefined;
@@ -3098,7 +3346,6 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
   artifactId: string;
   outputPath: string;
   description: string;
-  template: string;
   changeName: string;
   schemaName: string;
   evidence: {
@@ -3121,18 +3368,20 @@ declare const ArtifactInstructionsSchema: z.ZodObject<{
     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;
   } & {
     [k: string]: unknown;
   };
   changeDir: string;
+  template: string;
   dependencies: {
     path: string;
     id: string;
     description: string;
     done: boolean;
+    skipped?: boolean | undefined;
   }[];
   unlocks: string[];
   context?: string | null | undefined;
@@ -3292,15 +3541,15 @@ declare const SchemaArtifactSchema: z.ZodObject<{
   outputPath: string;
   requires: string[];
   description?: string | undefined;
-  template?: string | undefined;
   instruction?: string | undefined;
+  template?: string | undefined;
 }, {
   id: string;
   outputPath: string;
   requires: string[];
   description?: string | undefined;
-  template?: string | undefined;
   instruction?: string | undefined;
+  template?: string | undefined;
 }>;
 type SchemaArtifact = z.infer<typeof SchemaArtifactSchema>;
 declare const SchemaDetailSchema: z.ZodObject<{
@@ -3319,15 +3568,15 @@ declare const SchemaDetailSchema: z.ZodObject<{
     outputPath: string;
     requires: string[];
     description?: string | undefined;
-    template?: string | undefined;
     instruction?: string | undefined;
+    template?: string | undefined;
   }, {
     id: string;
     outputPath: string;
     requires: string[];
     description?: string | undefined;
-    template?: string | undefined;
     instruction?: string | undefined;
+    template?: string | undefined;
   }>, "many">;
   applyRequires: z.ZodArray<z.ZodString, "many">;
   applyTracks: z.ZodOptional<z.ZodString>;
@@ -3340,8 +3589,8 @@ declare const SchemaDetailSchema: z.ZodObject<{
     outputPath: string;
     requires: string[];
     description?: string | undefined;
-    template?: string | undefined;
     instruction?: string | undefined;
+    template?: string | undefined;
   }[];
   description?: string | undefined;
   version?: string | number | undefined;
@@ -3355,8 +3604,8 @@ declare const SchemaDetailSchema: z.ZodObject<{
     outputPath: string;
     requires: string[];
     description?: string | undefined;
-    template?: string | undefined;
     instruction?: string | undefined;
+    template?: string | undefined;
   }[];
   description?: string | undefined;
   version?: string | number | undefined;
@@ -3398,15 +3647,15 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }, {
       id: string;
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }>, "many">;
     applyRequires: z.ZodArray<z.ZodString, "many">;
     applyTracks: z.ZodOptional<z.ZodString>;
@@ -3419,8 +3668,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }[];
     description?: string | undefined;
     version?: string | number | undefined;
@@ -3434,8 +3683,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }[];
     description?: string | undefined;
     version?: string | number | undefined;
@@ -3524,8 +3773,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }[];
     description?: string | undefined;
     version?: string | number | undefined;
@@ -3570,8 +3819,8 @@ declare const OpsxConfigBundleSchema: z.ZodObject<{
       outputPath: string;
       requires: string[];
       description?: string | undefined;
-      template?: string | undefined;
       instruction?: string | undefined;
+      template?: string | undefined;
     }[];
     description?: string | undefined;
     version?: string | number | 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 };