@openspecui/core 5.0.0 → 6.0.0-beta.0

package/dist/opsx-types-BJ8AjhrS.d.mts

@@ -0,0 +1,3642 @@
+import { n as CliJsonValue } from "./command-result-fkH3Ekdz.mjs";
+import { n as ChangeFile, v as Task } from "./schemas-DS-JqAJ2.mjs";
+import { z } from "zod";
+
+//#region src/task-progress.d.ts
+type TrackedTaskPhase = 'no-tasks' | 'in-progress' | 'complete';
+/** Exact tracked Markdown checkbox location used for a guarded mutation. */
+interface TrackedTaskLocation {
+  filePath: string;
+  taskIndex: number;
+}
+/** Formal tracked task with its physical source identity. */
+interface TrackedTask extends Task {
+  location: TrackedTaskLocation;
+}
+type TrackedTaskSource = {
+  kind: 'artifact';
+  artifactId: string;
+  outputPath: string;
+  filePaths: string[];
+} | {
+  kind: 'top-level-fallback';
+  artifactId: null;
+  outputPath: 'tasks.md';
+  filePaths: ['tasks.md'];
+} | {
+  kind: 'none';
+  artifactId: null;
+  outputPath: null;
+  filePaths: [];
+};
+/** Formal workflow task truth resolved from the OpenSpec tracked artifact. */
+interface TrackedTaskProgress {
+  tasks: TrackedTask[];
+  total: number;
+  completed: number;
+  remaining: number;
+  phase: TrackedTaskPhase;
+  source: TrackedTaskSource;
+}
+/** One physical schema document, counted once even when artifact globs overlap. */
+interface DocumentChecklistGroup {
+  artifactIds: string[];
+  filePath: string;
+  tasks: Task[];
+  total: number;
+  completed: number;
+  remaining: number;
+}
+/** Secondary checklist analytics. This type intentionally has no workflow phase. */
+interface DocumentChecklistSummary {
+  groups: DocumentChecklistGroup[];
+  total: number;
+  completed: number;
+  remaining: number;
+}
+type ApplyInstructionState = 'blocked' | 'all_done' | 'ready';
+interface ApplyInstructionDivergence {
+  kind: 'tracked-task-mismatch';
+  message: string;
+  apply: {
+    total: number;
+    complete: number;
+    remaining: number;
+  };
+  tracked: {
+    total: number;
+    completed: number;
+    remaining: number;
+    phase: TrackedTaskPhase;
+  };
+}
+/** Raw OpenSpec Apply progress with explicit source and tracked-task comparison. */
+interface ApplyInstructionProgress {
+  source: 'openspec-instructions-apply';
+  total: number;
+  complete: number;
+  remaining: number;
+  state: ApplyInstructionState;
+  divergence: ApplyInstructionDivergence | null;
+}
+interface TaskProjections {
+  trackedTaskProgress: TrackedTaskProgress;
+  documentChecklistSummary: DocumentChecklistSummary;
+}
+interface TaskProjectionOptions {
+  schemaDetail?: SchemaDetail | null;
+  hasSchemaMetadata?: boolean;
+}
+declare function isMarkdownTaskSourcePath(path: string): boolean;
+declare function parseMarkdownTasks(content: string, options?: {
+  initialIndex?: number;
+}): Task[];
+declare function deriveTrackedTaskPhase(total: number, completed: number): TrackedTaskPhase;
+declare function createTrackedTaskProgress(tasks: TrackedTask[], source?: TrackedTaskSource): TrackedTaskProgress;
+declare function createDocumentChecklistSummary(groups: DocumentChecklistGroup[]): DocumentChecklistSummary;
+declare function createApplyInstructionProgress(input: {
+  total: number;
+  complete: number;
+  remaining: number;
+  state: ApplyInstructionState;
+}, trackedTaskProgress?: TrackedTaskProgress | null): ApplyInstructionProgress;
+/** Toggle one checkbox by its 1-based index while preserving the surrounding Markdown. */
+declare function toggleMarkdownTask(content: string, taskIndex: number, completed: boolean): string | null;
+declare function projectTaskProjectionsFromMarkdownFiles(files: readonly ChangeFile[], options?: TaskProjectionOptions): TaskProjections;
+//#endregion
+//#region src/opsx-types.d.ts
+/** Check if an outputPath contains glob pattern characters */
+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"]>;
+  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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+  command: z.ZodEnum<["status", "instructions", "instructions apply"]>;
+  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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+  command: z.ZodEnum<["status", "instructions", "instructions apply"]>;
+  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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+}, z.ZodTypeAny, "passthrough">>;
+type OpsxCliEvidence = z.infer<typeof OpsxCliEvidenceSchema>;
+/** Status-specific evidence kept as a narrow public contract for consumers. */
+declare const OpsxStatusEvidenceSchema: 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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+} & {
+  command: z.ZodLiteral<"status">;
+}, "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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+} & {
+  command: z.ZodLiteral<"status">;
+}, 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", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    path: z.ZodString;
+    source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+    store_id: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>>;
+} & {
+  command: z.ZodLiteral<"status">;
+}, z.ZodTypeAny, "passthrough">>;
+type OpsxStatusEvidence = z.infer<typeof OpsxStatusEvidenceSchema>;
+declare const ArtifactStatusSchema: z.ZodObject<{
+  id: z.ZodString;
+  outputPath: z.ZodString;
+  status: z.ZodEnum<["done", "ready", "blocked"]>;
+  missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  relativePath: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+  status: "ready" | "done" | "blocked";
+  id: string;
+  outputPath: string;
+  missingDeps?: string[] | undefined;
+  relativePath?: string | undefined;
+}, {
+  status: "ready" | "done" | "blocked";
+  id: string;
+  outputPath: string;
+  missingDeps?: string[] | undefined;
+  relativePath?: string | undefined;
+}>;
+type ArtifactStatus = z.infer<typeof ArtifactStatusSchema>;
+declare const ChangeStatusSchema: z.ZodObject<{
+  changeName: z.ZodString;
+  schemaName: z.ZodString;
+  isComplete: z.ZodBoolean;
+  applyRequires: z.ZodArray<z.ZodString, "many">;
+  artifacts: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    outputPath: z.ZodString;
+    status: z.ZodEnum<["done", "ready", "blocked"]>;
+    missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    relativePath: z.ZodOptional<z.ZodString>;
+  }, "strip", z.ZodTypeAny, {
+    status: "ready" | "done" | "blocked";
+    id: string;
+    outputPath: string;
+    missingDeps?: string[] | undefined;
+    relativePath?: string | undefined;
+  }, {
+    status: "ready" | "done" | "blocked";
+    id: string;
+    outputPath: string;
+    missingDeps?: string[] | undefined;
+    relativePath?: string | undefined;
+  }>, "many">;
+  provenance: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"cli">;
+    planningHome: z.ZodObject<{
+      kind: z.ZodLiteral<"repo">;
+      root: z.ZodString;
+      changesDir: z.ZodString;
+      defaultSchema: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      kind: z.ZodLiteral<"repo">;
+      root: z.ZodString;
+      changesDir: z.ZodString;
+      defaultSchema: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      kind: z.ZodLiteral<"repo">;
+      root: z.ZodString;
+      changesDir: z.ZodString;
+      defaultSchema: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>;
+    changeRoot: z.ZodString;
+    artifactPaths: z.ZodRecord<z.ZodString, z.ZodObject<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>>;
+    nextSteps: z.ZodArray<z.ZodString, "many">;
+    actionContext: z.ZodObject<{
+      mode: z.ZodLiteral<"repo-local">;
+      sourceOfTruth: z.ZodLiteral<"repo">;
+      planningArtifacts: z.ZodArray<z.ZodString, "many">;
+      linkedContext: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">>, "many">;
+      allowedEditRoots: z.ZodArray<z.ZodString, "many">;
+      requiresAffectedAreaSelection: z.ZodBoolean;
+      constraints: z.ZodArray<z.ZodString, "many">;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      mode: z.ZodLiteral<"repo-local">;
+      sourceOfTruth: z.ZodLiteral<"repo">;
+      planningArtifacts: z.ZodArray<z.ZodString, "many">;
+      linkedContext: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">>, "many">;
+      allowedEditRoots: z.ZodArray<z.ZodString, "many">;
+      requiresAffectedAreaSelection: z.ZodBoolean;
+      constraints: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      mode: z.ZodLiteral<"repo-local">;
+      sourceOfTruth: z.ZodLiteral<"repo">;
+      planningArtifacts: z.ZodArray<z.ZodString, "many">;
+      linkedContext: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">>, "many">;
+      allowedEditRoots: z.ZodArray<z.ZodString, "many">;
+      requiresAffectedAreaSelection: z.ZodBoolean;
+      constraints: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    root: z.ZodObject<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>;
+    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", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">>>;
+    } & {
+      command: z.ZodLiteral<"status">;
+    }, "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", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">>>;
+    } & {
+      command: z.ZodLiteral<"status">;
+    }, 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", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough">>>;
+    } & {
+      command: z.ZodLiteral<"status">;
+    }, z.ZodTypeAny, "passthrough">>;
+  }, "strip", z.ZodTypeAny, {
+    kind: "cli";
+    root: {
+      path: string;
+      source: "store" | "declared" | "nearest" | "implicit";
+      store_id?: string | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    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: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    planningHome: {
+      kind: "repo";
+      root: string;
+      changesDir: string;
+      defaultSchema: string;
+    } & {
+      [k: string]: unknown;
+    };
+    changeRoot: string;
+    artifactPaths: Record<string, z.objectOutputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    nextSteps: string[];
+    actionContext: {
+      mode: "repo-local";
+      sourceOfTruth: "repo";
+      planningArtifacts: string[];
+      linkedContext: z.objectOutputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">[];
+      allowedEditRoots: string[];
+      requiresAffectedAreaSelection: boolean;
+      constraints: string[];
+    } & {
+      [k: string]: unknown;
+    };
+  }, {
+    kind: "cli";
+    root: {
+      path: string;
+      source: "store" | "declared" | "nearest" | "implicit";
+      store_id?: string | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    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: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    planningHome: {
+      kind: "repo";
+      root: string;
+      changesDir: string;
+      defaultSchema: string;
+    } & {
+      [k: string]: unknown;
+    };
+    changeRoot: string;
+    artifactPaths: Record<string, z.objectInputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    nextSteps: string[];
+    actionContext: {
+      mode: "repo-local";
+      sourceOfTruth: "repo";
+      planningArtifacts: string[];
+      linkedContext: z.objectInputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">[];
+      allowedEditRoots: string[];
+      requiresAffectedAreaSelection: boolean;
+      constraints: string[];
+    } & {
+      [k: string]: unknown;
+    };
+  }>, z.ZodObject<{
+    kind: z.ZodLiteral<"static">;
+  }, "strip", z.ZodTypeAny, {
+    kind: "static";
+  }, {
+    kind: "static";
+  }>]>;
+}, "strip", z.ZodTypeAny, {
+  changeName: string;
+  schemaName: string;
+  isComplete: boolean;
+  applyRequires: string[];
+  artifacts: {
+    status: "ready" | "done" | "blocked";
+    id: string;
+    outputPath: string;
+    missingDeps?: string[] | undefined;
+    relativePath?: string | undefined;
+  }[];
+  provenance: {
+    kind: "cli";
+    root: {
+      path: string;
+      source: "store" | "declared" | "nearest" | "implicit";
+      store_id?: string | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    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: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectOutputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    planningHome: {
+      kind: "repo";
+      root: string;
+      changesDir: string;
+      defaultSchema: string;
+    } & {
+      [k: string]: unknown;
+    };
+    changeRoot: string;
+    artifactPaths: Record<string, z.objectOutputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    nextSteps: string[];
+    actionContext: {
+      mode: "repo-local";
+      sourceOfTruth: "repo";
+      planningArtifacts: string[];
+      linkedContext: z.objectOutputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">[];
+      allowedEditRoots: string[];
+      requiresAffectedAreaSelection: boolean;
+      constraints: string[];
+    } & {
+      [k: string]: unknown;
+    };
+  } | {
+    kind: "static";
+  };
+}, {
+  changeName: string;
+  schemaName: string;
+  isComplete: boolean;
+  applyRequires: string[];
+  artifacts: {
+    status: "ready" | "done" | "blocked";
+    id: string;
+    outputPath: string;
+    missingDeps?: string[] | undefined;
+    relativePath?: string | undefined;
+  }[];
+  provenance: {
+    kind: "cli";
+    root: {
+      path: string;
+      source: "store" | "declared" | "nearest" | "implicit";
+      store_id?: string | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    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: "status";
+      selector: {
+        store?: string | undefined;
+      };
+      contractError?: string | undefined;
+      root?: z.objectInputType<{
+        path: z.ZodString;
+        source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+        store_id: z.ZodOptional<z.ZodString>;
+      }, z.ZodTypeAny, "passthrough"> | undefined;
+    } & {
+      [k: string]: unknown;
+    };
+    planningHome: {
+      kind: "repo";
+      root: string;
+      changesDir: string;
+      defaultSchema: string;
+    } & {
+      [k: string]: unknown;
+    };
+    changeRoot: string;
+    artifactPaths: Record<string, z.objectInputType<{
+      outputPath: z.ZodString;
+      resolvedOutputPath: z.ZodString;
+      existingOutputPaths: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    nextSteps: string[];
+    actionContext: {
+      mode: "repo-local";
+      sourceOfTruth: "repo";
+      planningArtifacts: string[];
+      linkedContext: z.objectInputType<{
+        name: z.ZodString;
+      }, z.ZodTypeAny, "passthrough">[];
+      allowedEditRoots: string[];
+      requiresAffectedAreaSelection: boolean;
+      constraints: string[];
+    } & {
+      [k: string]: unknown;
+    };
+  } | {
+    kind: "static";
+  };
+}>;
+type ChangeStatus = z.infer<typeof ChangeStatusSchema>;
+declare const DependencyInfoSchema: z.ZodObject<{
+  id: z.ZodString;
+  done: z.ZodBoolean;
+  path: z.ZodString;
+  description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+  path: string;
+  id: string;
+  done: boolean;
+  description: string;
+}, {
+  path: string;
+  id: string;
+  done: boolean;
+  description: string;
+}>;
+type DependencyInfo = z.infer<typeof DependencyInfoSchema>;
+declare const ApplyTaskSchema: z.ZodObject<{
+  id: z.ZodString;
+  description: z.ZodString;
+  done: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+  id: string;
+  done: boolean;
+  description: string;
+}, {
+  id: string;
+  done: boolean;
+  description: string;
+}>;
+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[]>>;
+/** Runtime schema for the final transformed Apply projection returned to clients. */
+declare const ApplyInstructionsProjectionSchema: z.ZodObject<{
+  changeName: z.ZodString;
+  changeDir: z.ZodString;
+  schemaName: z.ZodString;
+  contextFiles: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
+  tasks: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    done: z.ZodBoolean;
+  }, "strip", z.ZodTypeAny, {
+    id: string;
+    done: boolean;
+    description: string;
+  }, {
+    id: string;
+    done: boolean;
+    description: string;
+  }>, "many">;
+  state: z.ZodEnum<["blocked", "all_done", "ready"]>;
+  missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  instruction: z.ZodString;
+  references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, 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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, z.ZodTypeAny, "passthrough">>;
+  applyInstructionProgress: z.ZodObject<{
+    source: z.ZodLiteral<"openspec-instructions-apply">;
+    total: z.ZodNumber;
+    complete: z.ZodNumber;
+    remaining: z.ZodNumber;
+    state: z.ZodEnum<["blocked", "all_done", "ready"]>;
+    divergence: z.ZodNullable<z.ZodObject<{
+      kind: z.ZodLiteral<"tracked-task-mismatch">;
+      message: z.ZodString;
+      apply: z.ZodObject<{
+        total: z.ZodNumber;
+        complete: z.ZodNumber;
+        remaining: z.ZodNumber;
+      }, "strip", z.ZodTypeAny, {
+        total: number;
+        remaining: number;
+        complete: number;
+      }, {
+        total: number;
+        remaining: number;
+        complete: number;
+      }>;
+      tracked: z.ZodObject<{
+        total: z.ZodNumber;
+        completed: z.ZodNumber;
+        remaining: z.ZodNumber;
+        phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
+      }, "strip", z.ZodTypeAny, {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      }, {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      }>;
+    }, "strip", z.ZodTypeAny, {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    }, {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  }, {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  }>;
+}, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string[]>;
+  applyInstructionProgress: {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  };
+  references?: z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
+  applyInstructionProgress: {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  };
+  references?: z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}>;
+declare const ApplyInstructionsSchema: z.ZodPipeline<z.ZodEffects<z.ZodObject<{
+  changeName: z.ZodString;
+  changeDir: z.ZodString;
+  schemaName: z.ZodString;
+  contextFiles: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
+  progress: z.ZodObject<{
+    total: z.ZodNumber;
+    complete: z.ZodNumber;
+    remaining: z.ZodNumber;
+  }, "strip", z.ZodTypeAny, {
+    total: number;
+    remaining: number;
+    complete: number;
+  }, {
+    total: number;
+    remaining: number;
+    complete: number;
+  }>;
+  tasks: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    done: z.ZodBoolean;
+  }, "strip", z.ZodTypeAny, {
+    id: string;
+    done: boolean;
+    description: string;
+  }, {
+    id: string;
+    done: boolean;
+    description: string;
+  }>, "many">;
+  state: z.ZodEnum<["blocked", "all_done", "ready"]>;
+  missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  instruction: z.ZodString;
+  references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, 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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "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;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string[]>;
+  progress: {
+    total: number;
+    remaining: number;
+    complete: number;
+  };
+  references?: z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
+  progress: {
+    total: number;
+    remaining: number;
+    complete: number;
+  };
+  references?: z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}>, {
+  applyInstructionProgress: ApplyInstructionProgress;
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string[]>;
+  references?: z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
+  progress: {
+    total: number;
+    remaining: number;
+    complete: number;
+  };
+  references?: z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}>, z.ZodObject<{
+  changeName: z.ZodString;
+  changeDir: z.ZodString;
+  schemaName: z.ZodString;
+  contextFiles: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
+  tasks: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    done: z.ZodBoolean;
+  }, "strip", z.ZodTypeAny, {
+    id: string;
+    done: boolean;
+    description: string;
+  }, {
+    id: string;
+    done: boolean;
+    description: string;
+  }>, "many">;
+  state: z.ZodEnum<["blocked", "all_done", "ready"]>;
+  missingArtifacts: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+  instruction: z.ZodString;
+  references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, 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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions apply">;
+  }, z.ZodTypeAny, "passthrough">>;
+  applyInstructionProgress: z.ZodObject<{
+    source: z.ZodLiteral<"openspec-instructions-apply">;
+    total: z.ZodNumber;
+    complete: z.ZodNumber;
+    remaining: z.ZodNumber;
+    state: z.ZodEnum<["blocked", "all_done", "ready"]>;
+    divergence: z.ZodNullable<z.ZodObject<{
+      kind: z.ZodLiteral<"tracked-task-mismatch">;
+      message: z.ZodString;
+      apply: z.ZodObject<{
+        total: z.ZodNumber;
+        complete: z.ZodNumber;
+        remaining: z.ZodNumber;
+      }, "strip", z.ZodTypeAny, {
+        total: number;
+        remaining: number;
+        complete: number;
+      }, {
+        total: number;
+        remaining: number;
+        complete: number;
+      }>;
+      tracked: z.ZodObject<{
+        total: z.ZodNumber;
+        completed: z.ZodNumber;
+        remaining: z.ZodNumber;
+        phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
+      }, "strip", z.ZodTypeAny, {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      }, {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      }>;
+    }, "strip", z.ZodTypeAny, {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    }, {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  }, {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  }>;
+}, "strip", z.ZodTypeAny, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string[]>;
+  applyInstructionProgress: {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  };
+  references?: z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}, {
+  state: "ready" | "blocked" | "all_done";
+  tasks: {
+    id: string;
+    done: boolean;
+    description: 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 apply";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  instruction: string;
+  contextFiles: Record<string, string | string[]>;
+  applyInstructionProgress: {
+    state: "ready" | "blocked" | "all_done";
+    total: number;
+    remaining: number;
+    complete: number;
+    source: "openspec-instructions-apply";
+    divergence: {
+      message: string;
+      kind: "tracked-task-mismatch";
+      apply: {
+        total: number;
+        remaining: number;
+        complete: number;
+      };
+      tracked: {
+        completed: number;
+        total: number;
+        remaining: number;
+        phase: "no-tasks" | "in-progress" | "complete";
+      };
+    } | null;
+  };
+  references?: z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  missingArtifacts?: string[] | undefined;
+}>>;
+type ApplyInstructions = z.infer<typeof ApplyInstructionsSchema>;
+declare const ArtifactInstructionsSchema: z.ZodObject<{
+  changeName: z.ZodString;
+  artifactId: z.ZodString;
+  schemaName: z.ZodString;
+  changeDir: z.ZodString;
+  outputPath: z.ZodString;
+  description: z.ZodString;
+  instruction: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+  context: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+  rules: z.ZodNullable<z.ZodOptional<z.ZodArray<z.ZodString, "many">>>;
+  template: z.ZodString;
+  dependencies: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    done: z.ZodBoolean;
+    path: z.ZodString;
+    description: z.ZodString;
+  }, "strip", z.ZodTypeAny, {
+    path: string;
+    id: string;
+    done: boolean;
+    description: string;
+  }, {
+    path: string;
+    id: string;
+    done: boolean;
+    description: string;
+  }>, "many">;
+  unlocks: z.ZodArray<z.ZodString, "many">;
+  references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions">;
+  }, "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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions">;
+  }, 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", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+  } & {
+    command: z.ZodLiteral<"instructions">;
+  }, z.ZodTypeAny, "passthrough">>;
+}, "strip", z.ZodTypeAny, {
+  artifactId: string;
+  outputPath: 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";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectOutputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  description: string;
+  template: string;
+  dependencies: {
+    path: string;
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  unlocks: string[];
+  references?: z.objectOutputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  context?: string | null | undefined;
+  instruction?: string | null | undefined;
+  rules?: string[] | null | undefined;
+}, {
+  artifactId: string;
+  outputPath: 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";
+    selector: {
+      store?: string | undefined;
+    };
+    contractError?: string | undefined;
+    root?: z.objectInputType<{
+      path: z.ZodString;
+      source: z.ZodEnum<["store", "declared", "nearest", "implicit"]>;
+      store_id: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+  } & {
+    [k: string]: unknown;
+  };
+  changeName: string;
+  schemaName: string;
+  changeDir: string;
+  description: string;
+  template: string;
+  dependencies: {
+    path: string;
+    id: string;
+    done: boolean;
+    description: string;
+  }[];
+  unlocks: string[];
+  references?: z.objectInputType<{
+    store_id: z.ZodString;
+    root: z.ZodOptional<z.ZodString>;
+    status: 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">;
+  } & {
+    specs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      id: z.ZodString;
+      summary: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>, "many">>;
+    fetch: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">[] | undefined;
+  context?: string | null | undefined;
+  instruction?: string | null | undefined;
+  rules?: string[] | null | undefined;
+}>;
+type ArtifactInstructions = z.infer<typeof ArtifactInstructionsSchema>;
+/** CLI-owned Schema list item projected by OPSX. */
+declare const SchemaInfoSchema: z.ZodObject<{
+  name: z.ZodString;
+  description: z.ZodOptional<z.ZodString>;
+  artifacts: z.ZodArray<z.ZodString, "many">;
+  source: z.ZodEnum<["project", "user", "package"]>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+  name: z.ZodString;
+  description: z.ZodOptional<z.ZodString>;
+  artifacts: z.ZodArray<z.ZodString, "many">;
+  source: z.ZodEnum<["project", "user", "package"]>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+  name: z.ZodString;
+  description: z.ZodOptional<z.ZodString>;
+  artifacts: z.ZodArray<z.ZodString, "many">;
+  source: z.ZodEnum<["project", "user", "package"]>;
+}, z.ZodTypeAny, "passthrough">>;
+type SchemaInfo = z.infer<typeof SchemaInfoSchema>;
+/** CLI-owned schema resolution enriched only with display-safe paths. */
+declare const SchemaResolutionSchema: z.ZodObject<{
+  name: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+  path: z.ZodString;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+  shadows: z.ZodArray<z.ZodObject<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "many">;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+  name: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+  path: z.ZodString;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+  shadows: z.ZodArray<z.ZodObject<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "many">;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+  name: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+  path: z.ZodString;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+  shadows: z.ZodArray<z.ZodObject<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+  }, z.ZodTypeAny, "passthrough">>, "many">;
+}, z.ZodTypeAny, "passthrough">>;
+type SchemaResolution = z.infer<typeof SchemaResolutionSchema>;
+/** CLI-owned template index enriched only with display-safe paths. */
+declare const TemplatesSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+  path: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+  path: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+  path: z.ZodString;
+  source: z.ZodEnum<["project", "user", "package"]>;
+} & {
+  displayPath: z.ZodOptional<z.ZodString>;
+}, z.ZodTypeAny, "passthrough">>>;
+type TemplatesMap = z.infer<typeof TemplatesSchema>;
+declare const SchemaArtifactSchema: z.ZodObject<{
+  id: z.ZodString;
+  outputPath: z.ZodString;
+  description: z.ZodOptional<z.ZodString>;
+  template: z.ZodOptional<z.ZodString>;
+  instruction: z.ZodOptional<z.ZodString>;
+  requires: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+  id: string;
+  outputPath: string;
+  requires: string[];
+  description?: string | undefined;
+  instruction?: string | undefined;
+  template?: string | undefined;
+}, {
+  id: string;
+  outputPath: string;
+  requires: string[];
+  description?: string | undefined;
+  instruction?: string | undefined;
+  template?: string | undefined;
+}>;
+type SchemaArtifact = z.infer<typeof SchemaArtifactSchema>;
+declare const SchemaDetailSchema: z.ZodObject<{
+  name: z.ZodString;
+  description: z.ZodOptional<z.ZodString>;
+  version: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+  artifacts: z.ZodArray<z.ZodObject<{
+    id: z.ZodString;
+    outputPath: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    template: z.ZodOptional<z.ZodString>;
+    instruction: z.ZodOptional<z.ZodString>;
+    requires: z.ZodArray<z.ZodString, "many">;
+  }, "strip", z.ZodTypeAny, {
+    id: string;
+    outputPath: string;
+    requires: string[];
+    description?: string | undefined;
+    instruction?: string | undefined;
+    template?: string | undefined;
+  }, {
+    id: string;
+    outputPath: string;
+    requires: string[];
+    description?: string | undefined;
+    instruction?: string | undefined;
+    template?: string | undefined;
+  }>, "many">;
+  applyRequires: z.ZodArray<z.ZodString, "many">;
+  applyTracks: z.ZodOptional<z.ZodString>;
+  applyInstruction: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+  name: string;
+  applyRequires: string[];
+  artifacts: {
+    id: string;
+    outputPath: string;
+    requires: string[];
+    description?: string | undefined;
+    instruction?: string | undefined;
+    template?: string | undefined;
+  }[];
+  version?: string | number | undefined;
+  description?: string | undefined;
+  applyTracks?: string | undefined;
+  applyInstruction?: string | undefined;
+}, {
+  name: string;
+  applyRequires: string[];
+  artifacts: {
+    id: string;
+    outputPath: string;
+    requires: string[];
+    description?: string | undefined;
+    instruction?: string | undefined;
+    template?: string | undefined;
+  }[];
+  version?: string | number | undefined;
+  description?: string | undefined;
+  applyTracks?: string | undefined;
+  applyInstruction?: string | undefined;
+}>;
+type SchemaDetail = z.infer<typeof SchemaDetailSchema>;
+/** Runtime schema for the aggregate Schema workspace projection. */
+declare const OpsxConfigBundleSchema: z.ZodObject<{
+  schemas: z.ZodArray<z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    artifacts: z.ZodArray<z.ZodString, "many">;
+    source: z.ZodEnum<["project", "user", "package"]>;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    artifacts: z.ZodArray<z.ZodString, "many">;
+    source: z.ZodEnum<["project", "user", "package"]>;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    artifacts: z.ZodArray<z.ZodString, "many">;
+    source: z.ZodEnum<["project", "user", "package"]>;
+  }, z.ZodTypeAny, "passthrough">>, "many">;
+  schemaDetails: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodObject<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    version: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber]>>;
+    artifacts: z.ZodArray<z.ZodObject<{
+      id: z.ZodString;
+      outputPath: z.ZodString;
+      description: z.ZodOptional<z.ZodString>;
+      template: z.ZodOptional<z.ZodString>;
+      instruction: z.ZodOptional<z.ZodString>;
+      requires: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }, {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }>, "many">;
+    applyRequires: z.ZodArray<z.ZodString, "many">;
+    applyTracks: z.ZodOptional<z.ZodString>;
+    applyInstruction: z.ZodOptional<z.ZodString>;
+  }, "strip", z.ZodTypeAny, {
+    name: string;
+    applyRequires: string[];
+    artifacts: {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }[];
+    version?: string | number | undefined;
+    description?: string | undefined;
+    applyTracks?: string | undefined;
+    applyInstruction?: string | undefined;
+  }, {
+    name: string;
+    applyRequires: string[];
+    artifacts: {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }[];
+    version?: string | number | undefined;
+    description?: string | undefined;
+    applyTracks?: string | undefined;
+    applyInstruction?: string | undefined;
+  }>>>;
+  schemaResolutions: z.ZodRecord<z.ZodString, z.ZodNullable<z.ZodObject<{
+    name: z.ZodString;
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+    shadows: z.ZodArray<z.ZodObject<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    name: z.ZodString;
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+    shadows: z.ZodArray<z.ZodObject<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    name: z.ZodString;
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+    shadows: z.ZodArray<z.ZodObject<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+  }, z.ZodTypeAny, "passthrough">>>>;
+}, "strip", z.ZodTypeAny, {
+  schemas: z.objectOutputType<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    artifacts: z.ZodArray<z.ZodString, "many">;
+    source: z.ZodEnum<["project", "user", "package"]>;
+  }, z.ZodTypeAny, "passthrough">[];
+  schemaDetails: Record<string, {
+    name: string;
+    applyRequires: string[];
+    artifacts: {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }[];
+    version?: string | number | undefined;
+    description?: string | undefined;
+    applyTracks?: string | undefined;
+    applyInstruction?: string | undefined;
+  } | null>;
+  schemaResolutions: Record<string, z.objectOutputType<{
+    name: z.ZodString;
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+    shadows: z.ZodArray<z.ZodObject<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+  }, z.ZodTypeAny, "passthrough"> | null>;
+}, {
+  schemas: z.objectInputType<{
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    artifacts: z.ZodArray<z.ZodString, "many">;
+    source: z.ZodEnum<["project", "user", "package"]>;
+  }, z.ZodTypeAny, "passthrough">[];
+  schemaDetails: Record<string, {
+    name: string;
+    applyRequires: string[];
+    artifacts: {
+      id: string;
+      outputPath: string;
+      requires: string[];
+      description?: string | undefined;
+      instruction?: string | undefined;
+      template?: string | undefined;
+    }[];
+    version?: string | number | undefined;
+    description?: string | undefined;
+    applyTracks?: string | undefined;
+    applyInstruction?: string | undefined;
+  } | null>;
+  schemaResolutions: Record<string, z.objectInputType<{
+    name: z.ZodString;
+    source: z.ZodEnum<["project", "user", "package"]>;
+    path: z.ZodString;
+  } & {
+    displayPath: z.ZodOptional<z.ZodString>;
+    shadows: z.ZodArray<z.ZodObject<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+      source: z.ZodEnum<["project", "user", "package"]>;
+      path: z.ZodString;
+    } & {
+      displayPath: z.ZodOptional<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>, "many">;
+  }, z.ZodTypeAny, "passthrough"> | null>;
+}>;
+type OpsxConfigBundle = z.infer<typeof OpsxConfigBundleSchema>;
+/** Runtime schema for one resolved template body and its physical provenance. */
+declare const TemplateContentSchema: z.ZodObject<{
+  content: z.ZodNullable<z.ZodString>;
+  path: z.ZodString;
+  displayPath: z.ZodOptional<z.ZodString>;
+  source: z.ZodEnum<["project", "user", "package"]>;
+}, "strip", z.ZodTypeAny, {
+  path: string;
+  source: "project" | "user" | "package";
+  content: string | null;
+  displayPath?: string | undefined;
+}, {
+  path: string;
+  source: "project" | "user" | "package";
+  content: string | null;
+  displayPath?: string | undefined;
+}>;
+/** Runtime schema for template bodies keyed by artifact id. */
+declare const TemplateContentMapSchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+  content: z.ZodNullable<z.ZodString>;
+  path: z.ZodString;
+  displayPath: z.ZodOptional<z.ZodString>;
+  source: z.ZodEnum<["project", "user", "package"]>;
+}, "strip", z.ZodTypeAny, {
+  path: string;
+  source: "project" | "user" | "package";
+  content: string | null;
+  displayPath?: string | undefined;
+}, {
+  path: string;
+  source: "project" | "user" | "package";
+  content: string | null;
+  displayPath?: string | undefined;
+}>>;
+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 };