@openspecui/core 4.1.0 → 6.0.0-beta.0

package/dist/cli-projection-DxnVGm2B.d.mts

@@ -0,0 +1,789 @@
+import { n as CliJsonValue, t as CliCommandResult } from "./command-result-fkH3Ekdz.mjs";
+import { z } from "zod";
+
+//#region src/cli-projection.d.ts
+
+declare const CliJsonValueSchema: z.ZodType<CliJsonValue>;
+/** Complete CLI attempt evidence retained when a Projection Work command rejects. */
+declare const CliProjectionCommandEvidenceSchema: 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>;
+}, "strip", z.ZodTypeAny, {
+  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">[];
+  contractError?: string | undefined;
+}, {
+  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">[];
+  contractError?: string | undefined;
+}>;
+type CliProjectionCommandEvidence = z.infer<typeof CliProjectionCommandEvidenceSchema>;
+/** Serializable infrastructure failure for one Projection Work attempt. */
+declare const CliProjectionFailureSchema: z.ZodObject<{
+  name: z.ZodString;
+  message: z.ZodString;
+  cliEvidence: z.ZodNullable<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>;
+  }, "strip", z.ZodTypeAny, {
+    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">[];
+    contractError?: string | undefined;
+  }, {
+    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">[];
+    contractError?: string | undefined;
+  }>>;
+}, "strip", z.ZodTypeAny, {
+  message: string;
+  name: string;
+  cliEvidence: {
+    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">[];
+    contractError?: string | undefined;
+  } | null;
+}, {
+  message: string;
+  name: string;
+  cliEvidence: {
+    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">[];
+    contractError?: string | undefined;
+  } | null;
+}>;
+type CliProjectionFailure = z.infer<typeof CliProjectionFailureSchema>;
+declare const cliProjectionStates: readonly ["loading", "ready", "revalidating", "error", "refresh-error"];
+declare const CliProjectionStateNameSchema: z.ZodEnum<["loading", "ready", "revalidating", "error", "refresh-error"]>;
+type CliProjectionStateName = z.infer<typeof CliProjectionStateNameSchema>;
+declare const cliProjectionInvalidationCauses: readonly ["initial", "dependency", "explicit-refresh", "subscriber-resume"];
+declare const CliProjectionInvalidationCauseSchema: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+type CliProjectionInvalidationCause = z.infer<typeof CliProjectionInvalidationCauseSchema>;
+interface CliProjectionStateBase {
+  /** Opaque, deterministic complete Work identity. */
+  identity: string;
+  /** Current attempt generation, including an in-flight or failed replacement. */
+  workGeneration: number;
+  /** Objective reason that started the current attempt generation. */
+  invalidationCause: CliProjectionInvalidationCause;
+}
+/** Public Pull result for a CLI-backed projection. */
+type CliProjectionState<T$1> = (CliProjectionStateBase & {
+  state: 'loading';
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  error: null;
+}) | (CliProjectionStateBase & {
+  state: 'ready';
+  data: T$1;
+  freshness: 'current';
+  snapshotGeneration: number;
+  error: null;
+}) | (CliProjectionStateBase & {
+  state: 'revalidating';
+  data: T$1;
+  freshness: 'stale-display-only';
+  snapshotGeneration: number;
+  error: null;
+}) | (CliProjectionStateBase & {
+  state: 'error';
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  error: CliProjectionFailure;
+}) | (CliProjectionStateBase & {
+  state: 'refresh-error';
+  data: T$1;
+  freshness: 'stale-display-only';
+  snapshotGeneration: number;
+  error: CliProjectionFailure;
+});
+/** Build a runtime decoder for one concrete CLI projection payload. */
+declare function createCliProjectionStateSchema<TOutput, TInput>(dataSchema: z.ZodType<TOutput, z.ZodTypeDef, TInput>): z.ZodDiscriminatedUnion<"state", [z.ZodObject<{
+  state: z.ZodLiteral<"loading">;
+  data: z.ZodNull;
+  freshness: z.ZodNull;
+  snapshotGeneration: z.ZodNull;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, {
+  error: null;
+  state: "loading";
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}, {
+  error: null;
+  state: "loading";
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}>, z.ZodObject<{
+  state: z.ZodLiteral<"ready">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"current">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
+  state: z.ZodLiteral<"ready">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"current">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}>, any> extends infer T ? { [k in keyof T]: T[k] } : never, z.baseObjectInputType<{
+  state: z.ZodLiteral<"ready">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"current">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}> extends infer T_1 ? { [k_1 in keyof T_1]: T_1[k_1] } : never>, z.ZodObject<{
+  state: z.ZodLiteral<"revalidating">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
+  state: z.ZodLiteral<"revalidating">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}>, any> extends infer T_2 ? { [k_2 in keyof T_2]: T_2[k_2] } : never, z.baseObjectInputType<{
+  state: z.ZodLiteral<"revalidating">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodNull;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}> extends infer T_3 ? { [k_3 in keyof T_3]: T_3[k_3] } : never>, z.ZodObject<{
+  state: z.ZodLiteral<"error">;
+  data: z.ZodNull;
+  freshness: z.ZodNull;
+  snapshotGeneration: z.ZodNull;
+  error: z.ZodObject<{
+    name: z.ZodString;
+    message: z.ZodString;
+    cliEvidence: z.ZodNullable<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>;
+    }, "strip", z.ZodTypeAny, {
+      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">[];
+      contractError?: string | undefined;
+    }, {
+      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">[];
+      contractError?: string | undefined;
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }>;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, {
+  error: {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  };
+  state: "error";
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}, {
+  error: {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  };
+  state: "error";
+  data: null;
+  freshness: null;
+  snapshotGeneration: null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}>, z.ZodObject<{
+  state: z.ZodLiteral<"refresh-error">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodObject<{
+    name: z.ZodString;
+    message: z.ZodString;
+    cliEvidence: z.ZodNullable<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>;
+    }, "strip", z.ZodTypeAny, {
+      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">[];
+      contractError?: string | undefined;
+    }, {
+      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">[];
+      contractError?: string | undefined;
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }>;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
+  state: z.ZodLiteral<"refresh-error">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodObject<{
+    name: z.ZodString;
+    message: z.ZodString;
+    cliEvidence: z.ZodNullable<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>;
+    }, "strip", z.ZodTypeAny, {
+      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">[];
+      contractError?: string | undefined;
+    }, {
+      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">[];
+      contractError?: string | undefined;
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }>;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}>, any> extends infer T_4 ? { [k_4 in keyof T_4]: T_4[k_4] } : never, z.baseObjectInputType<{
+  state: z.ZodLiteral<"refresh-error">;
+  data: z.ZodType<TOutput, z.ZodTypeDef, TInput>;
+  freshness: z.ZodLiteral<"stale-display-only">;
+  snapshotGeneration: z.ZodNumber;
+  error: z.ZodObject<{
+    name: z.ZodString;
+    message: z.ZodString;
+    cliEvidence: z.ZodNullable<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>;
+    }, "strip", z.ZodTypeAny, {
+      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">[];
+      contractError?: string | undefined;
+    }, {
+      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">[];
+      contractError?: string | undefined;
+    }>>;
+  }, "strip", z.ZodTypeAny, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }, {
+    message: string;
+    name: string;
+    cliEvidence: {
+      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">[];
+      contractError?: string | undefined;
+    } | null;
+  }>;
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}> extends infer T_5 ? { [k_5 in keyof T_5]: T_5[k_5] } : never>]>;
+/** Lifecycle-only Server Push that wakes a client Pull without duplicating projection data. */
+declare const CliProjectionNoticeSchema: z.ZodObject<{
+  identity: z.ZodString;
+  workGeneration: z.ZodNumber;
+  snapshotGeneration: z.ZodNullable<z.ZodNumber>;
+  state: z.ZodEnum<["loading", "ready", "revalidating", "error", "refresh-error"]>;
+  invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
+}, "strip", z.ZodTypeAny, {
+  state: "error" | "loading" | "ready" | "revalidating" | "refresh-error";
+  snapshotGeneration: number | null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}, {
+  state: "error" | "loading" | "ready" | "revalidating" | "refresh-error";
+  snapshotGeneration: number | null;
+  identity: string;
+  workGeneration: number;
+  invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
+}>;
+type CliProjectionNotice = z.infer<typeof CliProjectionNoticeSchema>;
+/** Error raised by a typed CLI reader while retaining its complete command evidence. */
+declare class CliProjectionCommandError extends Error {
+  readonly cliEvidence: CliProjectionCommandEvidence;
+  constructor(message: string, result: CliCommandResult<unknown>);
+}
+/** Remove typed business data while retaining every process/parser fact for public projection evidence. */
+declare function toCliProjectionCommandEvidence(result: CliCommandResult<unknown>): CliProjectionCommandEvidence;
+/** Convert an unknown Work rejection into the stable public failure boundary. */
+declare function toCliProjectionFailure(error: unknown): CliProjectionFailure;
+/** Drop business data and exact errors from one Pull state before Server Push. */
+declare function toCliProjectionNotice<T$1>(state: CliProjectionState<T$1>): CliProjectionNotice;
+//#endregion
+export { toCliProjectionCommandEvidence as _, CliProjectionFailure as a, CliProjectionInvalidationCauseSchema as c, CliProjectionState as d, CliProjectionStateName as f, createCliProjectionStateSchema as g, cliProjectionStates as h, CliProjectionCommandEvidenceSchema as i, CliProjectionNotice as l, cliProjectionInvalidationCauses as m, CliProjectionCommandError as n, CliProjectionFailureSchema as o, CliProjectionStateNameSchema as p, CliProjectionCommandEvidence as r, CliProjectionInvalidationCause as s, CliJsonValueSchema as t, CliProjectionNoticeSchema as u, toCliProjectionFailure as v, toCliProjectionNotice as y };