import { Y as CliJsonValue } from "./index-CajHC-38.mjs";
import { n as ChangeFile, v as Task } from "./schemas-CxBYcq-e.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", "instructions archive"]>;
  success: z.ZodBoolean;
  stdout: z.ZodString;
  stderr: z.ZodString;
  exitCode: z.ZodNullable<z.ZodNumber>;
  payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
  diagnostics: z.ZodArray<z.ZodObject<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>, "many">;
  contractError: z.ZodOptional<z.ZodString>;
  selector: z.ZodObject<{
    store: z.ZodOptional<z.ZodString>;
  }, "strict", z.ZodTypeAny, {
    store?: string | undefined;
  }, {
    store?: string | undefined;
  }>;
  root: z.ZodOptional<z.ZodObject<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
  command: z.ZodEnum<["status", "instructions", "instructions apply", "instructions archive"]>;
  success: z.ZodBoolean;
  stdout: z.ZodString;
  stderr: z.ZodString;
  exitCode: z.ZodNullable<z.ZodNumber>;
  payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
  diagnostics: z.ZodArray<z.ZodObject<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>, "many">;
  contractError: z.ZodOptional<z.ZodString>;
  selector: z.ZodObject<{
    store: z.ZodOptional<z.ZodString>;
  }, "strict", z.ZodTypeAny, {
    store?: string | undefined;
  }, {
    store?: string | undefined;
  }>;
  root: z.ZodOptional<z.ZodObject<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
  command: z.ZodEnum<["status", "instructions", "instructions apply", "instructions archive"]>;
  success: z.ZodBoolean;
  stdout: z.ZodString;
  stderr: z.ZodString;
  exitCode: z.ZodNullable<z.ZodNumber>;
  payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
  diagnostics: z.ZodArray<z.ZodObject<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    severity: z.ZodEnum<["error", "warning", "info"]>;
    code: z.ZodString;
    message: z.ZodString;
    target: z.ZodOptional<z.ZodString>;
    fix: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>, "many">;
  contractError: z.ZodOptional<z.ZodString>;
  selector: z.ZodObject<{
    store: z.ZodOptional<z.ZodString>;
  }, "strict", z.ZodTypeAny, {
    store?: string | undefined;
  }, {
    store?: string | undefined;
  }>;
  root: z.ZodOptional<z.ZodObject<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
}, 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", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
} & {
  command: z.ZodLiteral<"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", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
} & {
  command: z.ZodLiteral<"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", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    path: z.ZodString;
    source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
    store_id: z.ZodOptional<z.ZodString>;
  }, z.ZodTypeAny, "passthrough">>>;
} & {
  command: z.ZodLiteral<"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", "skipped", "ready", "blocked"]>;
  requires: z.ZodArray<z.ZodString, "many">;
  missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
  relativePath: z.ZodOptional<z.ZodString>;
}, "strip", z.ZodTypeAny, {
  status: "ready" | "done" | "skipped" | "blocked";
  id: string;
  outputPath: string;
  requires: string[];
  missingDeps?: string[] | undefined;
  relativePath?: string | undefined;
}, {
  status: "ready" | "done" | "skipped" | "blocked";
  id: string;
  outputPath: string;
  requires: string[];
  missingDeps?: string[] | undefined;
  relativePath?: string | undefined;
}>;
type ArtifactStatus = z.infer<typeof ArtifactStatusSchema>;
declare const ChangeStatusSchema: z.ZodObject<{
  changeName: z.ZodString;
  schemaName: z.ZodString;
  /** Planning-artifact completion fact from the CLI; never an implementation-task authority. */
  isPlanningComplete: z.ZodBoolean;
  applyRequires: z.ZodArray<z.ZodString, "many">;
  artifacts: z.ZodArray<z.ZodObject<{
    id: z.ZodString;
    outputPath: z.ZodString;
    status: z.ZodEnum<["done", "skipped", "ready", "blocked"]>;
    requires: z.ZodArray<z.ZodString, "many">;
    missingDeps: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
    relativePath: z.ZodOptional<z.ZodString>;
  }, "strip", z.ZodTypeAny, {
    status: "ready" | "done" | "skipped" | "blocked";
    id: string;
    outputPath: string;
    requires: string[];
    missingDeps?: string[] | undefined;
    relativePath?: string | undefined;
  }, {
    status: "ready" | "done" | "skipped" | "blocked";
    id: string;
    outputPath: string;
    requires: 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>;
    evidence: z.ZodObject<{
      success: z.ZodBoolean;
      stdout: z.ZodString;
      stderr: z.ZodString;
      exitCode: z.ZodNullable<z.ZodNumber>;
      payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
      diagnostics: z.ZodArray<z.ZodObject<{
        severity: z.ZodEnum<["error", "warning", "info"]>;
        code: z.ZodString;
        message: z.ZodString;
        target: z.ZodOptional<z.ZodString>;
        fix: z.ZodOptional<z.ZodString>;
      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
        severity: z.ZodEnum<["error", "warning", "info"]>;
        code: z.ZodString;
        message: z.ZodString;
        target: z.ZodOptional<z.ZodString>;
        fix: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
        severity: z.ZodEnum<["error", "warning", "info"]>;
        code: z.ZodString;
        message: z.ZodString;
        target: z.ZodOptional<z.ZodString>;
        fix: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">>, "many">;
      contractError: z.ZodOptional<z.ZodString>;
      selector: z.ZodObject<{
        store: z.ZodOptional<z.ZodString>;
      }, "strict", z.ZodTypeAny, {
        store?: string | undefined;
      }, {
        store?: string | undefined;
      }>;
      root: z.ZodOptional<z.ZodObject<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">>>;
    } & {
      command: z.ZodLiteral<"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", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">>>;
    } & {
      command: z.ZodLiteral<"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", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough">>>;
    } & {
      command: z.ZodLiteral<"status">;
    }, z.ZodTypeAny, "passthrough">>;
  }, "strip", z.ZodTypeAny, {
    root: {
      path: string;
      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
      store_id?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    kind: "cli";
    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;
      };
      root?: z.objectOutputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough"> | undefined;
      contractError?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    planningHome: {
      root: string;
      kind: "repo";
      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;
    };
  }, {
    root: {
      path: string;
      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
      store_id?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    kind: "cli";
    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;
      };
      root?: z.objectInputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough"> | undefined;
      contractError?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    planningHome: {
      root: string;
      kind: "repo";
      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;
  isPlanningComplete: boolean;
  applyRequires: string[];
  artifacts: {
    status: "ready" | "done" | "skipped" | "blocked";
    id: string;
    outputPath: string;
    requires: string[];
    missingDeps?: string[] | undefined;
    relativePath?: string | undefined;
  }[];
  provenance: {
    root: {
      path: string;
      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
      store_id?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    kind: "cli";
    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;
      };
      root?: z.objectOutputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough"> | undefined;
      contractError?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    planningHome: {
      root: string;
      kind: "repo";
      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;
  isPlanningComplete: boolean;
  applyRequires: string[];
  artifacts: {
    status: "ready" | "done" | "skipped" | "blocked";
    id: string;
    outputPath: string;
    requires: string[];
    missingDeps?: string[] | undefined;
    relativePath?: string | undefined;
  }[];
  provenance: {
    root: {
      path: string;
      source: "store" | "declared" | "nearest" | "global_default" | "implicit";
      store_id?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    kind: "cli";
    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;
      };
      root?: z.objectInputType<{
        path: z.ZodString;
        source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
        store_id: z.ZodOptional<z.ZodString>;
      }, z.ZodTypeAny, "passthrough"> | undefined;
      contractError?: string | undefined;
    } & {
      [k: string]: unknown;
    };
    planningHome: {
      root: string;
      kind: "repo";
      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;
  skipped: z.ZodOptional<z.ZodBoolean>;
}, "strip", z.ZodTypeAny, {
  path: string;
  id: string;
  description: string;
  done: boolean;
  skipped?: boolean | undefined;
}, {
  path: string;
  id: string;
  description: string;
  done: boolean;
  skipped?: boolean | undefined;
}>;
type DependencyInfo = z.infer<typeof DependencyInfoSchema>;
declare const ApplyTaskSchema: z.ZodObject<{
  id: z.ZodString;
  description: z.ZodString;
  done: z.ZodBoolean;
}, "strip", z.ZodTypeAny, {
  id: string;
  description: string;
  done: boolean;
}, {
  id: string;
  description: string;
  done: boolean;
}>;
type ApplyTask = z.infer<typeof ApplyTaskSchema>;
declare const ApplyInstructionsContextFilesSchema: z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>, string[], string | string[]>>;
/** 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;
    description: string;
    done: boolean;
  }, {
    id: string;
    description: string;
    done: boolean;
  }>, "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">>;
  context: z.ZodOptional<z.ZodString>;
  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
  evidence: z.ZodObject<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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, {
        complete: number;
        total: number;
        remaining: number;
      }, {
        complete: number;
        total: number;
        remaining: number;
      }>;
      tracked: z.ZodObject<{
        total: z.ZodNumber;
        completed: z.ZodNumber;
        remaining: z.ZodNumber;
        phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
      }, "strip", z.ZodTypeAny, {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      }, {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      }>;
    }, "strip", z.ZodTypeAny, {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    }, {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    }>>;
  }, "strip", z.ZodTypeAny, {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  }, {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  }>;
}, "strip", z.ZodTypeAny, {
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  applyInstructionProgress: {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  };
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}, {
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string | string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  applyInstructionProgress: {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  };
  context?: string | undefined;
  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;
  operationGuidance?: 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, {
    complete: number;
    total: number;
    remaining: number;
  }, {
    complete: number;
    total: number;
    remaining: number;
  }>;
  tasks: z.ZodArray<z.ZodObject<{
    id: z.ZodString;
    description: z.ZodString;
    done: z.ZodBoolean;
  }, "strip", z.ZodTypeAny, {
    id: string;
    description: string;
    done: boolean;
  }, {
    id: string;
    description: string;
    done: boolean;
  }>, "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">>;
  context: z.ZodOptional<z.ZodString>;
  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
  evidence: z.ZodObject<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions apply">;
  }, z.ZodTypeAny, "passthrough">>;
}, "strip", z.ZodTypeAny, {
  progress: {
    complete: number;
    total: number;
    remaining: number;
  };
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}, {
  progress: {
    complete: number;
    total: number;
    remaining: number;
  };
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string | string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}>, {
  applyInstructionProgress: ApplyInstructionProgress;
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}, {
  progress: {
    complete: number;
    total: number;
    remaining: number;
  };
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string | string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  context?: string | undefined;
  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;
  operationGuidance?: 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;
    description: string;
    done: boolean;
  }, {
    id: string;
    description: string;
    done: boolean;
  }>, "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">>;
  context: z.ZodOptional<z.ZodString>;
  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
  evidence: z.ZodObject<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions 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, {
        complete: number;
        total: number;
        remaining: number;
      }, {
        complete: number;
        total: number;
        remaining: number;
      }>;
      tracked: z.ZodObject<{
        total: z.ZodNumber;
        completed: z.ZodNumber;
        remaining: z.ZodNumber;
        phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
      }, "strip", z.ZodTypeAny, {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      }, {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      }>;
    }, "strip", z.ZodTypeAny, {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    }, {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    }>>;
  }, "strip", z.ZodTypeAny, {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  }, {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  }>;
}, "strip", z.ZodTypeAny, {
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  applyInstructionProgress: {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  };
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}, {
  state: "ready" | "blocked" | "all_done";
  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;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  changeDir: string;
  instruction: string;
  contextFiles: Record<string, string | string[]>;
  tasks: {
    id: string;
    description: string;
    done: boolean;
  }[];
  applyInstructionProgress: {
    source: "openspec-instructions-apply";
    state: "ready" | "blocked" | "all_done";
    complete: number;
    total: number;
    remaining: number;
    divergence: {
      message: string;
      kind: "tracked-task-mismatch";
      apply: {
        complete: number;
        total: number;
        remaining: number;
      };
      tracked: {
        total: number;
        remaining: number;
        completed: number;
        phase: "no-tasks" | "complete" | "in-progress";
      };
    } | null;
  };
  context?: string | undefined;
  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;
  operationGuidance?: string[] | undefined;
}>>;
type ApplyInstructions = z.infer<typeof ApplyInstructionsSchema>;
declare const ArchiveInstructionsSchema: z.ZodObject<{
  changeName: z.ZodString;
  context: z.ZodOptional<z.ZodString>;
  operationGuidance: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
  evidence: z.ZodObject<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions archive">;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions archive">;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions archive">;
  }, z.ZodTypeAny, "passthrough">>;
}, "strip", z.ZodTypeAny, {
  evidence: {
    success: boolean;
    stdout: string;
    stderr: string;
    exitCode: number | null;
    payload: CliJsonValue;
    diagnostics: z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">[];
    command: "instructions archive";
    selector: {
      store?: string | undefined;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  context?: string | undefined;
  operationGuidance?: string[] | undefined;
}, {
  evidence: {
    success: boolean;
    stdout: string;
    stderr: string;
    exitCode: number | null;
    payload: CliJsonValue;
    diagnostics: z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">[];
    command: "instructions archive";
    selector: {
      store?: string | undefined;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  context?: string | undefined;
  operationGuidance?: string[] | undefined;
}>;
type ArchiveInstructions = z.infer<typeof ArchiveInstructionsSchema>;
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;
    skipped: z.ZodOptional<z.ZodBoolean>;
  }, "strip", z.ZodTypeAny, {
    path: string;
    id: string;
    description: string;
    done: boolean;
    skipped?: boolean | undefined;
  }, {
    path: string;
    id: string;
    description: string;
    done: boolean;
    skipped?: boolean | undefined;
  }>, "many">;
  unlocks: z.ZodArray<z.ZodString, "many">;
  references: z.ZodOptional<z.ZodArray<z.ZodObject<{
    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", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions">;
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions">;
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
    success: z.ZodBoolean;
    stdout: z.ZodString;
    stderr: z.ZodString;
    exitCode: z.ZodNullable<z.ZodNumber>;
    payload: z.ZodNullable<z.ZodType<CliJsonValue, z.ZodTypeDef, CliJsonValue>>;
    diagnostics: z.ZodArray<z.ZodObject<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      severity: z.ZodEnum<["error", "warning", "info"]>;
      code: z.ZodString;
      message: z.ZodString;
      target: z.ZodOptional<z.ZodString>;
      fix: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>, "many">;
    contractError: z.ZodOptional<z.ZodString>;
    selector: z.ZodObject<{
      store: z.ZodOptional<z.ZodString>;
    }, "strict", z.ZodTypeAny, {
      store?: string | undefined;
    }, {
      store?: string | undefined;
    }>;
    root: z.ZodOptional<z.ZodObject<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough">>>;
  } & {
    command: z.ZodLiteral<"instructions">;
  }, z.ZodTypeAny, "passthrough">>;
}, "strip", z.ZodTypeAny, {
  description: string;
  template: 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;
    };
    root?: z.objectOutputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  outputPath: string;
  artifactId: string;
  changeDir: string;
  dependencies: {
    path: string;
    id: string;
    description: string;
    done: boolean;
    skipped?: boolean | undefined;
  }[];
  unlocks: string[];
  context?: string | null | undefined;
  instruction?: string | null | undefined;
  rules?: string[] | null | undefined;
  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;
}, {
  description: string;
  template: 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;
    };
    root?: z.objectInputType<{
      path: z.ZodString;
      source: z.ZodEnum<["store", "declared", "nearest", "global_default", "implicit"]>;
      store_id: z.ZodOptional<z.ZodString>;
    }, z.ZodTypeAny, "passthrough"> | undefined;
    contractError?: string | undefined;
  } & {
    [k: string]: unknown;
  };
  changeName: string;
  schemaName: string;
  outputPath: string;
  artifactId: string;
  changeDir: string;
  dependencies: {
    path: string;
    id: string;
    description: string;
    done: boolean;
    skipped?: boolean | undefined;
  }[];
  unlocks: string[];
  context?: string | null | undefined;
  instruction?: string | null | undefined;
  rules?: string[] | null | undefined;
  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;
}>;
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;
  template?: string | undefined;
  instruction?: string | undefined;
}, {
  id: string;
  outputPath: string;
  requires: string[];
  description?: string | undefined;
  template?: string | undefined;
  instruction?: 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;
    template?: string | undefined;
    instruction?: string | undefined;
  }, {
    id: string;
    outputPath: string;
    requires: string[];
    description?: string | undefined;
    template?: string | undefined;
    instruction?: 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;
    template?: string | undefined;
    instruction?: 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;
    template?: string | undefined;
    instruction?: 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;
      template?: string | undefined;
      instruction?: string | undefined;
    }, {
      id: string;
      outputPath: string;
      requires: string[];
      description?: string | undefined;
      template?: string | undefined;
      instruction?: 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;
      template?: string | undefined;
      instruction?: 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;
      template?: string | undefined;
      instruction?: 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;
      template?: string | undefined;
      instruction?: 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;
      template?: string | undefined;
      instruction?: 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 { isMarkdownTaskSourcePath as $, SchemaResolutionSchema as A, DocumentChecklistGroup as B, SchemaArtifact as C, SchemaInfo as D, SchemaDetailSchema as E, TemplatesSchema as F, TrackedTaskLocation as G, TaskProjectionOptions as H, isGlobPattern as I, TrackedTaskSource as J, TrackedTaskPhase as K, ApplyInstructionDivergence as L, TemplateContentMapSchema as M, TemplateContentSchema as N, SchemaInfoSchema as O, TemplatesMap as P, deriveTrackedTaskPhase as Q, ApplyInstructionProgress as R, OpsxStatusEvidenceSchema as S, SchemaDetail as T, TaskProjections as U, DocumentChecklistSummary as V, TrackedTask as W, createDocumentChecklistSummary as X, createApplyInstructionProgress as Y, createTrackedTaskProgress as Z, OpsxCliEvidence as _, ApplyTask as a, OpsxConfigBundleSchema as b, ArchiveInstructionsSchema as c, ArtifactStatus as d, parseMarkdownTasks as et, ArtifactStatusSchema as f, DependencyInfoSchema as g, DependencyInfo as h, ApplyInstructionsSchema as i, TemplateContentMap as j, SchemaResolution as k, ArtifactInstructions as l, ChangeStatusSchema as m, ApplyInstructionsContextFilesSchema as n, toggleMarkdownTask as nt, ApplyTaskSchema as o, ChangeStatus as p, TrackedTaskProgress as q, ApplyInstructionsProjectionSchema as r, ArchiveInstructions as s, ApplyInstructions as t, projectTaskProjectionsFromMarkdownFiles as tt, ArtifactInstructionsSchema as u, OpsxCliEvidenceSchema as v, SchemaArtifactSchema as w, OpsxStatusEvidence as x, OpsxConfigBundle as y, ApplyInstructionState as z };