@vercel/factory 0.0.13 → 0.0.15

package/dist/approval-contracts.d.mts

@@ -0,0 +1,692 @@
+import { TaskId } from "./schema/id.mjs";
+import { RepositorySlug } from "./schema/repository.mjs";
+import { JsonValue } from "./schema/work.mjs";
+import { Task, TaskKind } from "./schema/task.mjs";
+import "./workflows.mjs";
+import { ReceiptKind, ReceiptPhase, ReceiptState } from "./schema/receipt.mjs";
+import "./tasks.mjs";
+import "./receipts.mjs";
+import { z } from "zod";
+//#region src/approval-contracts.d.ts
+/** Workspace owner and optional individually authenticated actor at the approval boundary. */
+interface ApiPrincipal {
+  /** Workspace identity used for existing conversation ownership. */
+  readonly id: string;
+  /** Individually authenticated, provider-qualified actor; absent for anonymous/workload access. */
+  readonly actor?: string;
+}
+/** Validates one authorized approval proposal and its immutable decision state. */
+declare const approvalViewSchema: z.ZodObject<{
+  task: Omit<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    id: z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>;
+    repositoryIds: z.ZodReadonly<z.ZodTuple<[z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>], z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>>>;
+    kind: z.ZodType<TaskKind, unknown, z.core.$ZodTypeInternals<TaskKind, unknown>>;
+    area: z.ZodOptional<z.ZodString>;
+    state: z.ZodEnum<{
+      queued: "queued";
+      running: "running";
+      stalled: "stalled";
+      verifying: "verifying";
+      succeeded: "succeeded";
+      failed: "failed";
+      needs_human: "needs_human";
+      cancelled: "cancelled";
+    }>;
+    approval: z.ZodOptional<z.ZodEnum<{
+      required: "required";
+      granted: "granted";
+      denied: "denied";
+    }>>;
+    origin: z.ZodObject<{
+      signalId: z.ZodOptional<z.ZodType<`sig_${string}`, string, z.core.$ZodTypeInternals<`sig_${string}`, string>>>;
+      operator: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    work: z.ZodObject<{
+      title: z.ZodString;
+      input: z.ZodCustom<JsonValue, JsonValue>;
+      completionCriteria: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+      workflow: z.core.$ZodBranded<z.ZodObject<{
+        id: z.ZodString;
+        version: z.ZodNumber;
+      }, z.core.$strict>, "WorkflowBinding", "out">;
+      route: z.ZodOptional<z.core.$ZodBranded<z.ZodObject<{
+        id: z.ZodString;
+        version: z.ZodNumber;
+      }, z.core.$strict>, "AgentRouteBinding", "out">>;
+    }, z.core.$strict>;
+    workResult: z.ZodOptional<z.ZodObject<{
+      output: z.ZodCustom<JsonValue, JsonValue>;
+      completedAt: z.ZodISODateTime;
+    }, z.core.$strict>>;
+    waitingForMessages: z.ZodOptional<z.ZodBoolean>;
+    workflowPhase: z.ZodOptional<z.ZodString>;
+    rootTaskId: z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>;
+    parentTaskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+    parentTaskAttempt: z.ZodOptional<z.ZodNumber>;
+    replyTo: z.ZodObject<{
+      channel: z.ZodString;
+      address: z.ZodString;
+    }, z.core.$strict>;
+    pendingCommunicationReceiptIds: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>>>>;
+    failureReceiptId: z.ZodOptional<z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>>;
+    attempt: z.ZodNumber;
+    execution: z.ZodOptional<z.ZodObject<{
+      provider: z.ZodString;
+      sessionId: z.ZodString;
+      environmentId: z.ZodOptional<z.ZodString>;
+      harness: z.ZodOptional<z.ZodString>;
+      traceId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    lastProgressAt: z.ZodOptional<z.ZodISODateTime>;
+    stalledAt: z.ZodOptional<z.ZodISODateTime>;
+    stalledReason: z.ZodOptional<z.ZodString>;
+    needsHumanAction: z.ZodOptional<z.ZodString>;
+    needsHumanNotifiedAt: z.ZodOptional<z.ZodISODateTime>;
+    reservedUsd: z.ZodOptional<z.ZodNumber>;
+    reservedAt: z.ZodOptional<z.ZodISODateTime>;
+    usage: z.ZodOptional<z.ZodObject<{
+      costUsd: z.ZodNumber;
+      inputTokens: z.ZodNumber;
+      outputTokens: z.ZodNumber;
+      cacheReadTokens: z.ZodNumber;
+      cacheWriteTokens: z.ZodNumber;
+      steps: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strict>>;
+    settledUsd: z.ZodOptional<z.ZodNumber>;
+    question: z.ZodOptional<z.ZodObject<{
+      text: z.ZodString;
+      options: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+      closingOptions: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+      answer: z.ZodOptional<z.ZodString>;
+      answeredBy: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    questionTaskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+    answerEventIds: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodType<`ans_${string}`, string, z.core.$ZodTypeInternals<`ans_${string}`, string>>>>>;
+    changeId: z.ZodOptional<z.ZodType<`chg_${string}`, string, z.core.$ZodTypeInternals<`chg_${string}`, string>>>;
+    reportRef: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodISODateTime;
+    updatedAt: z.ZodISODateTime;
+  }, z.core.$strict>, keyof z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>> & z.ZodType<Task, {
+    schemaVersion: 1;
+    id: string;
+    repositoryIds: readonly [string, ...string[]];
+    kind: unknown;
+    state: "queued" | "running" | "stalled" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+    origin: {
+      signalId?: string | undefined;
+      operator?: string | undefined;
+    };
+    work: {
+      title: string;
+      input: JsonValue;
+      completionCriteria: readonly string[];
+      workflow: {
+        id: string;
+        version: number;
+      };
+      route?: {
+        id: string;
+        version: number;
+      } | undefined;
+    };
+    rootTaskId: string;
+    replyTo: {
+      channel: string;
+      address: string;
+    };
+    attempt: number;
+    createdAt: string;
+    updatedAt: string;
+    area?: string | undefined;
+    approval?: "required" | "granted" | "denied" | undefined;
+    workResult?: {
+      output: JsonValue;
+      completedAt: string;
+    } | undefined;
+    waitingForMessages?: boolean | undefined;
+    workflowPhase?: string | undefined;
+    parentTaskId?: string | undefined;
+    parentTaskAttempt?: number | undefined;
+    pendingCommunicationReceiptIds?: readonly string[] | undefined;
+    failureReceiptId?: string | undefined;
+    execution?: {
+      provider: string;
+      sessionId: string;
+      environmentId?: string | undefined;
+      harness?: string | undefined;
+      traceId?: string | undefined;
+    } | undefined;
+    lastProgressAt?: string | undefined;
+    stalledAt?: string | undefined;
+    stalledReason?: string | undefined;
+    needsHumanAction?: string | undefined;
+    needsHumanNotifiedAt?: string | undefined;
+    reservedUsd?: number | undefined;
+    reservedAt?: string | undefined;
+    usage?: {
+      costUsd: number;
+      inputTokens: number;
+      outputTokens: number;
+      cacheReadTokens: number;
+      cacheWriteTokens: number;
+      steps: Record<string, number>;
+    } | undefined;
+    settledUsd?: number | undefined;
+    question?: {
+      text: string;
+      options: readonly string[];
+      closingOptions?: readonly string[] | undefined;
+      answer?: string | undefined;
+      answeredBy?: string | undefined;
+    } | undefined;
+    questionTaskId?: string | undefined;
+    answerEventIds?: readonly string[] | undefined;
+    changeId?: string | undefined;
+    reportRef?: string | undefined;
+  }, z.core.$ZodTypeInternals<Task, {
+    schemaVersion: 1;
+    id: string;
+    repositoryIds: readonly [string, ...string[]];
+    kind: unknown;
+    state: "queued" | "running" | "stalled" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+    origin: {
+      signalId?: string | undefined;
+      operator?: string | undefined;
+    };
+    work: {
+      title: string;
+      input: JsonValue;
+      completionCriteria: readonly string[];
+      workflow: {
+        id: string;
+        version: number;
+      };
+      route?: {
+        id: string;
+        version: number;
+      } | undefined;
+    };
+    rootTaskId: string;
+    replyTo: {
+      channel: string;
+      address: string;
+    };
+    attempt: number;
+    createdAt: string;
+    updatedAt: string;
+    area?: string | undefined;
+    approval?: "required" | "granted" | "denied" | undefined;
+    workResult?: {
+      output: JsonValue;
+      completedAt: string;
+    } | undefined;
+    waitingForMessages?: boolean | undefined;
+    workflowPhase?: string | undefined;
+    parentTaskId?: string | undefined;
+    parentTaskAttempt?: number | undefined;
+    pendingCommunicationReceiptIds?: readonly string[] | undefined;
+    failureReceiptId?: string | undefined;
+    execution?: {
+      provider: string;
+      sessionId: string;
+      environmentId?: string | undefined;
+      harness?: string | undefined;
+      traceId?: string | undefined;
+    } | undefined;
+    lastProgressAt?: string | undefined;
+    stalledAt?: string | undefined;
+    stalledReason?: string | undefined;
+    needsHumanAction?: string | undefined;
+    needsHumanNotifiedAt?: string | undefined;
+    reservedUsd?: number | undefined;
+    reservedAt?: string | undefined;
+    usage?: {
+      costUsd: number;
+      inputTokens: number;
+      outputTokens: number;
+      cacheReadTokens: number;
+      cacheWriteTokens: number;
+      steps: Record<string, number>;
+    } | undefined;
+    settledUsd?: number | undefined;
+    question?: {
+      text: string;
+      options: readonly string[];
+      closingOptions?: readonly string[] | undefined;
+      answer?: string | undefined;
+      answeredBy?: string | undefined;
+    } | undefined;
+    questionTaskId?: string | undefined;
+    answerEventIds?: readonly string[] | undefined;
+    changeId?: string | undefined;
+    reportRef?: string | undefined;
+  }>>;
+  repositories: z.ZodReadonly<z.ZodArray<z.ZodType<`${string}/${string}`, string, z.core.$ZodTypeInternals<`${string}/${string}`, string>>>>;
+  finding: z.ZodNullable<z.ZodObject<{
+    title: z.ZodString;
+    body: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    line: z.ZodOptional<z.ZodNumber>;
+    endLine: z.ZodOptional<z.ZodNumber>;
+    priority: z.ZodEnum<{
+      P0: "P0";
+      P1: "P1";
+      P2: "P2";
+      P3: "P3";
+    }>;
+    category: z.ZodEnum<{
+      security: "security";
+      correctness: "correctness";
+      reliability: "reliability";
+      performance: "performance";
+      compatibility: "compatibility";
+      accessibility: "accessibility";
+      documentation: "documentation";
+      maintainability: "maintainability";
+      testing: "testing";
+      usability: "usability";
+    }>;
+    verification: z.ZodObject<{
+      level: z.ZodEnum<{
+        unverified: "unverified";
+        supported: "supported";
+        confirmed: "confirmed";
+      }>;
+      method: z.ZodEnum<{
+        documentation: "documentation";
+        code_inspection: "code_inspection";
+        static_analysis: "static_analysis";
+        manual_reproduction: "manual_reproduction";
+        unit_test: "unit_test";
+        integration_test: "integration_test";
+        e2e_test: "e2e_test";
+        runtime_observation: "runtime_observation";
+      }>;
+      summary: z.ZodString;
+      limitations: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    tool: z.ZodOptional<z.ZodString>;
+    ruleId: z.ZodOptional<z.ZodString>;
+  }, z.core.$strict>>;
+  decision: z.ZodNullable<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    receiptId: z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>;
+    repositoryIds: z.ZodReadonly<z.ZodTuple<[z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>], z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>>>;
+    taskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+    changeId: z.ZodOptional<z.ZodType<`chg_${string}`, string, z.core.$ZodTypeInternals<`chg_${string}`, string>>>;
+    kind: z.ZodType<ReceiptKind, unknown, z.core.$ZodTypeInternals<ReceiptKind, unknown>>;
+    state: z.ZodType<ReceiptState, unknown, z.core.$ZodTypeInternals<ReceiptState, unknown>>;
+    phase: z.ZodOptional<z.ZodType<ReceiptPhase, unknown, z.core.$ZodTypeInternals<ReceiptPhase, unknown>>>;
+    reason: z.ZodOptional<z.ZodString>;
+    attempt: z.ZodNumber;
+    cost: z.ZodOptional<z.ZodObject<{
+      totalUsd: z.ZodNumber;
+    }, z.core.$strict>>;
+    decidedBy: z.ZodOptional<z.ZodString>;
+    execution: z.ZodOptional<z.ZodObject<{
+      provider: z.ZodString;
+      sessionId: z.ZodString;
+      environmentId: z.ZodOptional<z.ZodString>;
+      harness: z.ZodOptional<z.ZodString>;
+      traceId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    delivery: z.ZodOptional<z.ZodObject<{
+      replyTo: z.ZodObject<{
+        channel: z.ZodString;
+        address: z.ZodString;
+      }, z.core.$strict>;
+      messageId: z.ZodString;
+      workspaceId: z.ZodString;
+    }, z.core.$strict>>;
+    recordedAt: z.ZodISODateTime;
+  }, z.core.$strict>>;
+}, z.core.$strip>;
+/** Validates a filtered, cursor-paginated page of approval proposals. */
+declare const approvalPageSchema: z.ZodObject<{
+  actor: z.ZodString;
+  items: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+    task: Omit<z.ZodObject<{
+      schemaVersion: z.ZodLiteral<1>;
+      id: z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>;
+      repositoryIds: z.ZodReadonly<z.ZodTuple<[z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>], z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>>>;
+      kind: z.ZodType<TaskKind, unknown, z.core.$ZodTypeInternals<TaskKind, unknown>>;
+      area: z.ZodOptional<z.ZodString>;
+      state: z.ZodEnum<{
+        queued: "queued";
+        running: "running";
+        stalled: "stalled";
+        verifying: "verifying";
+        succeeded: "succeeded";
+        failed: "failed";
+        needs_human: "needs_human";
+        cancelled: "cancelled";
+      }>;
+      approval: z.ZodOptional<z.ZodEnum<{
+        required: "required";
+        granted: "granted";
+        denied: "denied";
+      }>>;
+      origin: z.ZodObject<{
+        signalId: z.ZodOptional<z.ZodType<`sig_${string}`, string, z.core.$ZodTypeInternals<`sig_${string}`, string>>>;
+        operator: z.ZodOptional<z.ZodString>;
+      }, z.core.$strict>;
+      work: z.ZodObject<{
+        title: z.ZodString;
+        input: z.ZodCustom<JsonValue, JsonValue>;
+        completionCriteria: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        workflow: z.core.$ZodBranded<z.ZodObject<{
+          id: z.ZodString;
+          version: z.ZodNumber;
+        }, z.core.$strict>, "WorkflowBinding", "out">;
+        route: z.ZodOptional<z.core.$ZodBranded<z.ZodObject<{
+          id: z.ZodString;
+          version: z.ZodNumber;
+        }, z.core.$strict>, "AgentRouteBinding", "out">>;
+      }, z.core.$strict>;
+      workResult: z.ZodOptional<z.ZodObject<{
+        output: z.ZodCustom<JsonValue, JsonValue>;
+        completedAt: z.ZodISODateTime;
+      }, z.core.$strict>>;
+      waitingForMessages: z.ZodOptional<z.ZodBoolean>;
+      workflowPhase: z.ZodOptional<z.ZodString>;
+      rootTaskId: z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>;
+      parentTaskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+      parentTaskAttempt: z.ZodOptional<z.ZodNumber>;
+      replyTo: z.ZodObject<{
+        channel: z.ZodString;
+        address: z.ZodString;
+      }, z.core.$strict>;
+      pendingCommunicationReceiptIds: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>>>>;
+      failureReceiptId: z.ZodOptional<z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>>;
+      attempt: z.ZodNumber;
+      execution: z.ZodOptional<z.ZodObject<{
+        provider: z.ZodString;
+        sessionId: z.ZodString;
+        environmentId: z.ZodOptional<z.ZodString>;
+        harness: z.ZodOptional<z.ZodString>;
+        traceId: z.ZodOptional<z.ZodString>;
+      }, z.core.$strict>>;
+      lastProgressAt: z.ZodOptional<z.ZodISODateTime>;
+      stalledAt: z.ZodOptional<z.ZodISODateTime>;
+      stalledReason: z.ZodOptional<z.ZodString>;
+      needsHumanAction: z.ZodOptional<z.ZodString>;
+      needsHumanNotifiedAt: z.ZodOptional<z.ZodISODateTime>;
+      reservedUsd: z.ZodOptional<z.ZodNumber>;
+      reservedAt: z.ZodOptional<z.ZodISODateTime>;
+      usage: z.ZodOptional<z.ZodObject<{
+        costUsd: z.ZodNumber;
+        inputTokens: z.ZodNumber;
+        outputTokens: z.ZodNumber;
+        cacheReadTokens: z.ZodNumber;
+        cacheWriteTokens: z.ZodNumber;
+        steps: z.ZodRecord<z.ZodString, z.ZodNumber>;
+      }, z.core.$strict>>;
+      settledUsd: z.ZodOptional<z.ZodNumber>;
+      question: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        options: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        closingOptions: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+        answer: z.ZodOptional<z.ZodString>;
+        answeredBy: z.ZodOptional<z.ZodString>;
+      }, z.core.$strict>>;
+      questionTaskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+      answerEventIds: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodType<`ans_${string}`, string, z.core.$ZodTypeInternals<`ans_${string}`, string>>>>>;
+      changeId: z.ZodOptional<z.ZodType<`chg_${string}`, string, z.core.$ZodTypeInternals<`chg_${string}`, string>>>;
+      reportRef: z.ZodOptional<z.ZodString>;
+      createdAt: z.ZodISODateTime;
+      updatedAt: z.ZodISODateTime;
+    }, z.core.$strict>, keyof z.ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>> & z.ZodType<Task, {
+      schemaVersion: 1;
+      id: string;
+      repositoryIds: readonly [string, ...string[]];
+      kind: unknown;
+      state: "queued" | "running" | "stalled" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+      origin: {
+        signalId?: string | undefined;
+        operator?: string | undefined;
+      };
+      work: {
+        title: string;
+        input: JsonValue;
+        completionCriteria: readonly string[];
+        workflow: {
+          id: string;
+          version: number;
+        };
+        route?: {
+          id: string;
+          version: number;
+        } | undefined;
+      };
+      rootTaskId: string;
+      replyTo: {
+        channel: string;
+        address: string;
+      };
+      attempt: number;
+      createdAt: string;
+      updatedAt: string;
+      area?: string | undefined;
+      approval?: "required" | "granted" | "denied" | undefined;
+      workResult?: {
+        output: JsonValue;
+        completedAt: string;
+      } | undefined;
+      waitingForMessages?: boolean | undefined;
+      workflowPhase?: string | undefined;
+      parentTaskId?: string | undefined;
+      parentTaskAttempt?: number | undefined;
+      pendingCommunicationReceiptIds?: readonly string[] | undefined;
+      failureReceiptId?: string | undefined;
+      execution?: {
+        provider: string;
+        sessionId: string;
+        environmentId?: string | undefined;
+        harness?: string | undefined;
+        traceId?: string | undefined;
+      } | undefined;
+      lastProgressAt?: string | undefined;
+      stalledAt?: string | undefined;
+      stalledReason?: string | undefined;
+      needsHumanAction?: string | undefined;
+      needsHumanNotifiedAt?: string | undefined;
+      reservedUsd?: number | undefined;
+      reservedAt?: string | undefined;
+      usage?: {
+        costUsd: number;
+        inputTokens: number;
+        outputTokens: number;
+        cacheReadTokens: number;
+        cacheWriteTokens: number;
+        steps: Record<string, number>;
+      } | undefined;
+      settledUsd?: number | undefined;
+      question?: {
+        text: string;
+        options: readonly string[];
+        closingOptions?: readonly string[] | undefined;
+        answer?: string | undefined;
+        answeredBy?: string | undefined;
+      } | undefined;
+      questionTaskId?: string | undefined;
+      answerEventIds?: readonly string[] | undefined;
+      changeId?: string | undefined;
+      reportRef?: string | undefined;
+    }, z.core.$ZodTypeInternals<Task, {
+      schemaVersion: 1;
+      id: string;
+      repositoryIds: readonly [string, ...string[]];
+      kind: unknown;
+      state: "queued" | "running" | "stalled" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+      origin: {
+        signalId?: string | undefined;
+        operator?: string | undefined;
+      };
+      work: {
+        title: string;
+        input: JsonValue;
+        completionCriteria: readonly string[];
+        workflow: {
+          id: string;
+          version: number;
+        };
+        route?: {
+          id: string;
+          version: number;
+        } | undefined;
+      };
+      rootTaskId: string;
+      replyTo: {
+        channel: string;
+        address: string;
+      };
+      attempt: number;
+      createdAt: string;
+      updatedAt: string;
+      area?: string | undefined;
+      approval?: "required" | "granted" | "denied" | undefined;
+      workResult?: {
+        output: JsonValue;
+        completedAt: string;
+      } | undefined;
+      waitingForMessages?: boolean | undefined;
+      workflowPhase?: string | undefined;
+      parentTaskId?: string | undefined;
+      parentTaskAttempt?: number | undefined;
+      pendingCommunicationReceiptIds?: readonly string[] | undefined;
+      failureReceiptId?: string | undefined;
+      execution?: {
+        provider: string;
+        sessionId: string;
+        environmentId?: string | undefined;
+        harness?: string | undefined;
+        traceId?: string | undefined;
+      } | undefined;
+      lastProgressAt?: string | undefined;
+      stalledAt?: string | undefined;
+      stalledReason?: string | undefined;
+      needsHumanAction?: string | undefined;
+      needsHumanNotifiedAt?: string | undefined;
+      reservedUsd?: number | undefined;
+      reservedAt?: string | undefined;
+      usage?: {
+        costUsd: number;
+        inputTokens: number;
+        outputTokens: number;
+        cacheReadTokens: number;
+        cacheWriteTokens: number;
+        steps: Record<string, number>;
+      } | undefined;
+      settledUsd?: number | undefined;
+      question?: {
+        text: string;
+        options: readonly string[];
+        closingOptions?: readonly string[] | undefined;
+        answer?: string | undefined;
+        answeredBy?: string | undefined;
+      } | undefined;
+      questionTaskId?: string | undefined;
+      answerEventIds?: readonly string[] | undefined;
+      changeId?: string | undefined;
+      reportRef?: string | undefined;
+    }>>;
+    repositories: z.ZodReadonly<z.ZodArray<z.ZodType<`${string}/${string}`, string, z.core.$ZodTypeInternals<`${string}/${string}`, string>>>>;
+    finding: z.ZodNullable<z.ZodObject<{
+      title: z.ZodString;
+      body: z.ZodString;
+      path: z.ZodOptional<z.ZodString>;
+      line: z.ZodOptional<z.ZodNumber>;
+      endLine: z.ZodOptional<z.ZodNumber>;
+      priority: z.ZodEnum<{
+        P0: "P0";
+        P1: "P1";
+        P2: "P2";
+        P3: "P3";
+      }>;
+      category: z.ZodEnum<{
+        security: "security";
+        correctness: "correctness";
+        reliability: "reliability";
+        performance: "performance";
+        compatibility: "compatibility";
+        accessibility: "accessibility";
+        documentation: "documentation";
+        maintainability: "maintainability";
+        testing: "testing";
+        usability: "usability";
+      }>;
+      verification: z.ZodObject<{
+        level: z.ZodEnum<{
+          unverified: "unverified";
+          supported: "supported";
+          confirmed: "confirmed";
+        }>;
+        method: z.ZodEnum<{
+          documentation: "documentation";
+          code_inspection: "code_inspection";
+          static_analysis: "static_analysis";
+          manual_reproduction: "manual_reproduction";
+          unit_test: "unit_test";
+          integration_test: "integration_test";
+          e2e_test: "e2e_test";
+          runtime_observation: "runtime_observation";
+        }>;
+        summary: z.ZodString;
+        limitations: z.ZodOptional<z.ZodString>;
+      }, z.core.$strict>;
+      tool: z.ZodOptional<z.ZodString>;
+      ruleId: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    decision: z.ZodNullable<z.ZodObject<{
+      schemaVersion: z.ZodLiteral<1>;
+      receiptId: z.ZodType<`rcpt_${string}`, string, z.core.$ZodTypeInternals<`rcpt_${string}`, string>>;
+      repositoryIds: z.ZodReadonly<z.ZodTuple<[z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>], z.ZodType<`repo_${string}`, string, z.core.$ZodTypeInternals<`repo_${string}`, string>>>>;
+      taskId: z.ZodOptional<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+      changeId: z.ZodOptional<z.ZodType<`chg_${string}`, string, z.core.$ZodTypeInternals<`chg_${string}`, string>>>;
+      kind: z.ZodType<ReceiptKind, unknown, z.core.$ZodTypeInternals<ReceiptKind, unknown>>;
+      state: z.ZodType<ReceiptState, unknown, z.core.$ZodTypeInternals<ReceiptState, unknown>>;
+      phase: z.ZodOptional<z.ZodType<ReceiptPhase, unknown, z.core.$ZodTypeInternals<ReceiptPhase, unknown>>>;
+      reason: z.ZodOptional<z.ZodString>;
+      attempt: z.ZodNumber;
+      cost: z.ZodOptional<z.ZodObject<{
+        totalUsd: z.ZodNumber;
+      }, z.core.$strict>>;
+      decidedBy: z.ZodOptional<z.ZodString>;
+      execution: z.ZodOptional<z.ZodObject<{
+        provider: z.ZodString;
+        sessionId: z.ZodString;
+        environmentId: z.ZodOptional<z.ZodString>;
+        harness: z.ZodOptional<z.ZodString>;
+        traceId: z.ZodOptional<z.ZodString>;
+      }, z.core.$strict>>;
+      delivery: z.ZodOptional<z.ZodObject<{
+        replyTo: z.ZodObject<{
+          channel: z.ZodString;
+          address: z.ZodString;
+        }, z.core.$strict>;
+        messageId: z.ZodString;
+        workspaceId: z.ZodString;
+      }, z.core.$strict>>;
+      recordedAt: z.ZodISODateTime;
+    }, z.core.$strict>>;
+  }, z.core.$strip>>>;
+  totalCount: z.ZodOptional<z.ZodNumber>;
+  nextCursor: z.ZodNullable<z.ZodType<`task_${string}`, string, z.core.$ZodTypeInternals<`task_${string}`, string>>>;
+}, z.core.$strip>;
+/** Authorized Task proposal with repository, finding, and decision context. */
+type ApprovalView = z.infer<typeof approvalViewSchema>;
+/** Filtered, cursor-paginated approval proposals for one authorized actor. */
+type ApprovalPage = z.infer<typeof approvalPageSchema>;
+/** Filters, ordering, and cursor controls for approval discovery. */
+interface ApprovalListOptions {
+  readonly repository?: RepositorySlug;
+  readonly status?: "pending" | "decided" | "all";
+  readonly query?: string;
+  readonly sort?: "created" | "priority" | "decided";
+  readonly limit?: number;
+  readonly cursor?: TaskId;
+}
+//#endregion
+export { ApiPrincipal, ApprovalListOptions, ApprovalPage, ApprovalView, approvalPageSchema, approvalViewSchema };
+//# sourceMappingURL=approval-contracts.d.mts.map