@vercel/factory 0.0.12 → 0.0.14

package/dist/approval-CIXB8IF8.d.mts

@@ -1,522 +0,0 @@
-import { i as StoreDriver } from "./driver-CrZsy7sm.mjs";
-import { c as ReplyTo, n as SignalOutcome, r as SignalSource, t as Signal } from "./signal-CHVEmzvI.mjs";
-import { z } from "zod";
-//#region src/schema/id.d.ts
-declare const factoryIdSchema: z.ZodString;
-declare const repositoryIdSchema: z.ZodString;
-declare const signalIdSchema: z.ZodString;
-declare const taskIdSchema: z.ZodString;
-declare const changeIdSchema: z.ZodString;
-declare const receiptIdSchema: z.ZodString;
-declare const repositoryIdsSchema: z.ZodArray<z.ZodString>;
-type FactoryId = z.infer<typeof factoryIdSchema>;
-type RepositoryId = z.infer<typeof repositoryIdSchema>;
-type SignalId = z.infer<typeof signalIdSchema>;
-type TaskId = z.infer<typeof taskIdSchema>;
-type ChangeId = z.infer<typeof changeIdSchema>;
-type ReceiptId = z.infer<typeof receiptIdSchema>;
-//#endregion
-//#region src/schema/change.d.ts
-declare const levelSchema: z.ZodEnum<{
-  low: "low";
-  medium: "medium";
-  high: "high";
-}>;
-declare const changeStateSchema: z.ZodEnum<{
-  verifying: "verifying";
-  ready: "ready";
-  merged: "merged";
-  deployed: "deployed";
-  rolled_out: "rolled_out";
-  rolled_back: "rolled_back";
-  closed: "closed";
-}>;
-declare const changeEvidenceSchema: z.ZodObject<{
-  reproVerified: z.ZodBoolean;
-  testsAdded: z.ZodNumber;
-  checksGreen: z.ZodBoolean;
-  attackPassed: z.ZodBoolean;
-  scopeMatches: z.ZodBoolean;
-  previewUrl: z.ZodOptional<z.ZodURL>;
-}, z.core.$strict>;
-declare const changeSchema: z.ZodObject<{
-  schemaVersion: z.ZodLiteral<1>;
-  id: z.ZodString;
-  repositoryId: z.ZodString;
-  taskId: z.ZodOptional<z.ZodString>;
-  groupId: z.ZodOptional<z.ZodString>;
-  prNumber: z.ZodNumber;
-  prUrl: z.ZodURL;
-  author: z.ZodString;
-  risk: z.ZodEnum<{
-    low: "low";
-    medium: "medium";
-    high: "high";
-  }>;
-  confidence: z.ZodEnum<{
-    low: "low";
-    medium: "medium";
-    high: "high";
-  }>;
-  evidence: z.ZodObject<{
-    reproVerified: z.ZodBoolean;
-    testsAdded: z.ZodNumber;
-    checksGreen: z.ZodBoolean;
-    attackPassed: z.ZodBoolean;
-    scopeMatches: z.ZodBoolean;
-    previewUrl: z.ZodOptional<z.ZodURL>;
-  }, z.core.$strict>;
-  state: z.ZodEnum<{
-    verifying: "verifying";
-    ready: "ready";
-    merged: "merged";
-    deployed: "deployed";
-    rolled_out: "rolled_out";
-    rolled_back: "rolled_back";
-    closed: "closed";
-  }>;
-  mergeSha: z.ZodOptional<z.ZodString>;
-  decidedBy: z.ZodOptional<z.ZodString>;
-  createdAt: z.ZodISODateTime;
-  updatedAt: z.ZodISODateTime;
-}, z.core.$strict>;
-type Level = z.infer<typeof levelSchema>;
-type ChangeState = z.infer<typeof changeStateSchema>;
-type ChangeEvidence = z.infer<typeof changeEvidenceSchema>;
-type Change = z.infer<typeof changeSchema>;
-//#endregion
-//#region src/schema/receipt.d.ts
-/** States the engine writes on transitions. Any vocabulary value is valid. */
-declare const standardReceiptStates: readonly ["approved", "rejected", "dispatched", "succeeded", "failed", "needs_human", "cancelled", "settled", "ready", "merged", "deployed", "rolled_out", "rolled_back"];
-/** Phases the standard loop uses. Any vocabulary value is valid. */
-declare const standardReceiptPhases: readonly ["approval", "budget", "dispatch", "implementation", "verification", "pull_request", "cleanup"];
-/** Kinds the standard loop writes: the standard task kinds plus "change". */
-declare const standardReceiptKinds: readonly ["coordination", "code_change", "verification", "investigation", "question", "change"];
-declare const receiptStateSchema: z.ZodString;
-declare const receiptPhaseSchema: z.ZodString;
-declare const receiptKindSchema: z.ZodString;
-declare const costSchema: z.ZodObject<{
-  totalUsd: z.ZodNumber;
-}, z.core.$strict>;
-declare const receiptSchema: z.ZodObject<{
-  schemaVersion: z.ZodLiteral<1>;
-  receiptId: z.ZodString;
-  repositoryIds: z.ZodArray<z.ZodString>;
-  taskId: z.ZodOptional<z.ZodString>;
-  changeId: z.ZodOptional<z.ZodString>;
-  kind: z.ZodString;
-  state: z.ZodString;
-  phase: z.ZodOptional<z.ZodString>;
-  reason: z.ZodOptional<z.ZodString>;
-  attempt: z.ZodNumber;
-  cost: z.ZodOptional<z.ZodObject<{
-    totalUsd: z.ZodNumber;
-  }, z.core.$strict>>;
-  decidedBy: z.ZodOptional<z.ZodString>;
-  recordedAt: z.ZodISODateTime;
-}, z.core.$strict>;
-type ReceiptState = z.infer<typeof receiptStateSchema>;
-type ReceiptPhase = z.infer<typeof receiptPhaseSchema>;
-type ReceiptKind = z.infer<typeof receiptKindSchema>;
-type Cost = z.infer<typeof costSchema>;
-type Receipt = z.infer<typeof receiptSchema>;
-//#endregion
-//#region src/schema/repository.d.ts
-declare const repositorySlugSchema: z.ZodString;
-declare const repositorySchema: z.ZodObject<{
-  schemaVersion: z.ZodLiteral<1>;
-  id: z.ZodString;
-  slug: z.ZodString;
-  defaultBranch: z.ZodString;
-  enabled: z.ZodBoolean;
-  dependsOn: z.ZodArray<z.ZodString>;
-  devbox: z.ZodOptional<z.ZodObject<{
-    projectId: z.ZodString;
-    teamId: z.ZodString;
-    snapshot: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  connectedAt: z.ZodISODateTime;
-}, z.core.$strict>;
-type RepositorySlug = z.infer<typeof repositorySlugSchema>;
-type Repository = z.infer<typeof repositorySchema>;
-//#endregion
-//#region src/schema/task.d.ts
-/**
- * Kinds the standard loop understands. Any vocabulary value is valid; the
- * kind-scoped rules below apply only to these standard kinds.
- */
-declare const standardTaskKinds: readonly ["coordination", "code_change", "verification", "investigation", "question"];
-declare const taskKindSchema: z.ZodString;
-declare const taskStateSchema: z.ZodEnum<{
-  queued: "queued";
-  running: "running";
-  verifying: "verifying";
-  succeeded: "succeeded";
-  failed: "failed";
-  needs_human: "needs_human";
-  cancelled: "cancelled";
-}>;
-declare const taskApprovalSchema: z.ZodEnum<{
-  required: "required";
-  granted: "granted";
-  denied: "denied";
-}>;
-declare const taskExecutionRepositoryIdsSchema: z.ZodTuple<[z.ZodString], null>;
-declare const coordinationRepositoryIdsSchema: z.ZodTuple<[z.ZodString, z.ZodString], z.ZodString>;
-declare const harnessSchema: z.ZodString;
-declare const taskOriginSchema: z.ZodObject<{
-  signalId: z.ZodOptional<z.ZodString>;
-  parentTaskId: z.ZodOptional<z.ZodString>;
-  operator: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-declare const taskDevboxSchema: z.ZodObject<{
-  devboxId: z.ZodString;
-  remoteId: z.ZodString;
-  harness: z.ZodString;
-}, z.core.$strict>;
-declare const taskQuestionSchema: z.ZodObject<{
-  text: z.ZodString;
-  options: z.ZodArray<z.ZodString>;
-  answer: z.ZodOptional<z.ZodString>;
-  answeredBy: z.ZodOptional<z.ZodString>;
-}, z.core.$strict>;
-declare const taskSchema: z.ZodObject<{
-  schemaVersion: z.ZodLiteral<1>;
-  id: z.ZodString;
-  repositoryIds: z.ZodArray<z.ZodString>;
-  kind: z.ZodString;
-  area: z.ZodOptional<z.ZodString>;
-  state: z.ZodEnum<{
-    queued: "queued";
-    running: "running";
-    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.ZodString>;
-    parentTaskId: z.ZodOptional<z.ZodString>;
-    operator: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>;
-  dependsOn: z.ZodOptional<z.ZodArray<z.ZodString>>;
-  replyTo: z.ZodObject<{
-    channel: z.ZodString;
-    address: z.ZodString;
-  }, z.core.$strict>;
-  devbox: z.ZodOptional<z.ZodObject<{
-    devboxId: z.ZodString;
-    remoteId: z.ZodString;
-    harness: z.ZodString;
-  }, z.core.$strict>>;
-  attempt: z.ZodNumber;
-  reservedUsd: z.ZodOptional<z.ZodNumber>;
-  settledUsd: z.ZodOptional<z.ZodNumber>;
-  question: z.ZodOptional<z.ZodObject<{
-    text: z.ZodString;
-    options: z.ZodArray<z.ZodString>;
-    answer: z.ZodOptional<z.ZodString>;
-    answeredBy: z.ZodOptional<z.ZodString>;
-  }, z.core.$strict>>;
-  changeId: z.ZodOptional<z.ZodString>;
-  reportRef: z.ZodOptional<z.ZodString>;
-  createdAt: z.ZodISODateTime;
-  updatedAt: z.ZodISODateTime;
-}, z.core.$strict>;
-type TaskApproval = z.infer<typeof taskApprovalSchema>;
-type TaskKind = z.infer<typeof taskKindSchema>;
-type TaskState = z.infer<typeof taskStateSchema>;
-type Task = z.infer<typeof taskSchema>;
-//#endregion
-//#region src/store/engine.d.ts
-/** An approval decision that does not apply to the task's current approval or state. */
-declare class ApprovalError extends Error {
-  readonly taskId: TaskId;
-  readonly reason: string;
-  constructor(taskId: TaskId, reason: string);
-}
-declare class ChangeAssociationError extends Error {
-  readonly taskId: TaskId;
-  readonly repositoryId: RepositoryId;
-  readonly reason: string;
-  constructor(taskId: TaskId, repositoryId: RepositoryId, reason: string);
-}
-interface CreateSignalInput {
-  repositoryId: RepositoryId;
-  source: SignalSource;
-  deliveryId: string;
-  replyTo: ReplyTo;
-  payload: unknown;
-}
-interface DecideSignalOptions {
-  detail?: string;
-  reason?: string;
-}
-interface CreateTaskInput {
-  repositoryIds: RepositoryId[];
-  kind: Task["kind"];
-  origin: Task["origin"];
-  replyTo: ReplyTo;
-  /** Same key creates one task and returns it on workflow retries. */
-  dedupeKey?: string;
-  area?: string;
-  changeId?: ChangeId;
-  dependsOn?: TaskId[];
-  question?: Task["question"];
-  /** Stamp the task as needing a human decision before dispatch. */
-  approval?: "required";
-}
-interface ApprovalDecision {
-  /** Authenticated operator making the decision. */
-  by: string;
-  reason?: string;
-}
-type TaskPatch = Partial<Pick<Task, "devbox" | "changeId" | "reportRef" | "reservedUsd" | "settledUsd" | "question">>;
-interface TaskTransitionOptions {
-  patch?: TaskPatch;
-  reason?: string;
-}
-interface CreateChangeInput {
-  repositoryId: RepositoryId;
-  taskId?: TaskId;
-  groupId?: TaskId;
-  prNumber: number;
-  prUrl: string;
-  author: string;
-  risk: Level;
-  confidence: Level;
-  evidence: Change["evidence"];
-}
-type ChangePatch = Partial<Pick<Change, "confidence" | "evidence" | "decidedBy" | "mergeSha">>;
-interface ChangeTransitionOptions {
-  patch?: ChangePatch;
-  reason?: string;
-}
-interface AppendReceiptInput {
-  repositoryIds: RepositoryId[];
-  taskId?: TaskId;
-  changeId?: ChangeId;
-  kind: string;
-  state: string;
-  phase?: string;
-  reason?: string;
-  attempt?: number;
-  cost?: Cost;
-  decidedBy?: string;
-  /** Same key twice appends one receipt and returns the existing one. */
-  dedupeKey?: string;
-}
-interface FactoryStores {
-  driverName: string;
-  repositories: {
-    put(repository: Repository): Promise<Repository>;
-    get(id: RepositoryId): Promise<Repository | null>;
-    list(): Promise<Repository[]>;
-  };
-  signals: {
-    create(input: CreateSignalInput): Promise<Signal>;
-    get(id: SignalId): Promise<Signal | null>;
-    decide(id: SignalId, outcome: SignalOutcome, options?: DecideSignalOptions): Promise<Signal>;
-    list(): Promise<Signal[]>;
-  };
-  tasks: {
-    create(input: CreateTaskInput): Promise<Task>;
-    get(id: TaskId): Promise<Task | null>;
-    transition(id: TaskId, to: TaskState, options?: TaskTransitionOptions): Promise<Task>;
-    /** Grant a required approval. The task stays queued; dispatch may now take it. */
-    approve(id: TaskId, decision: ApprovalDecision): Promise<Task>;
-    /** Deny a required approval. The task is cancelled with the reason. */
-    reject(id: TaskId, decision: ApprovalDecision): Promise<Task>;
-    list(): Promise<Task[]>;
-  };
-  changes: {
-    create(input: CreateChangeInput): Promise<Change>;
-    get(id: ChangeId): Promise<Change | null>;
-    transition(id: ChangeId, to: ChangeState, options?: ChangeTransitionOptions): Promise<Change>;
-    list(): Promise<Change[]>;
-  };
-  receipts: {
-    append(input: AppendReceiptInput): Promise<Receipt>;
-    get(id: string): Promise<Receipt | null>;
-    list(): Promise<Receipt[]>;
-  };
-}
-interface CreateStoresOptions {
-  driver: StoreDriver;
-  now?: () => string;
-}
-declare function createStores(options: CreateStoresOptions): FactoryStores;
-//#endregion
-//#region src/schema/finding.d.ts
-declare const findingPrioritySchema: z.ZodEnum<{
-  P0: "P0";
-  P1: "P1";
-  P2: "P2";
-  P3: "P3";
-}>;
-declare const findingCategorySchema: z.ZodEnum<{
-  security: "security";
-  correctness: "correctness";
-  reliability: "reliability";
-  performance: "performance";
-  compatibility: "compatibility";
-  accessibility: "accessibility";
-  documentation: "documentation";
-  maintainability: "maintainability";
-  testing: "testing";
-  usability: "usability";
-}>;
-declare const findingVerificationLevelSchema: z.ZodEnum<{
-  unverified: "unverified";
-  supported: "supported";
-  confirmed: "confirmed";
-}>;
-declare const findingVerificationMethodSchema: 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";
-}>;
-/**
- * What was done to check the finding. Forces a reporter to distinguish "I
- * think this is a problem" from "I demonstrated it", which is the axis a human
- * approving fixes cares about most.
- */
-declare const findingVerificationSchema: 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>;
-/** A single problem found in a repository, as a scanner or agent reports it. */
-declare const findingSchema: 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>;
-type FindingPriority = z.infer<typeof findingPrioritySchema>;
-type FindingCategory = z.infer<typeof findingCategorySchema>;
-type FindingVerification = z.infer<typeof findingVerificationSchema>;
-type Finding = z.infer<typeof findingSchema>;
-/**
- * Stable identity of a finding across scans, used as the signal's delivery id
- * so re-reporting is a no-op instead of a second task. A scanner finding is
- * the same problem when the same tool reports the same rule on the same file;
- * its title is model-written prose and changes between runs, so it is left
- * out. Without a rule id the title is all there is, normalised.
- */
-declare function findingFingerprint(repositoryId: string, finding: Finding): string;
-//#endregion
-//#region src/approval.d.ts
-/**
- * One approval rule. Every listed field must match for the rule to apply;
- * absent fields match anything. Rules are evaluated first-match.
- */
-declare const approvalRuleSchema: z.ZodObject<{
-  source: z.ZodOptional<z.ZodString>;
-  kind: z.ZodOptional<z.ZodString>;
-  priority: z.ZodOptional<z.ZodArray<z.ZodEnum<{
-    P0: "P0";
-    P1: "P1";
-    P2: "P2";
-    P3: "P3";
-  }>>>;
-  require: z.ZodBoolean;
-}, z.core.$strict>;
-declare const approvalPolicySchema: z.ZodArray<z.ZodObject<{
-  source: z.ZodOptional<z.ZodString>;
-  kind: z.ZodOptional<z.ZodString>;
-  priority: z.ZodOptional<z.ZodArray<z.ZodEnum<{
-    P0: "P0";
-    P1: "P1";
-    P2: "P2";
-    P3: "P3";
-  }>>>;
-  require: z.ZodBoolean;
-}, z.core.$strict>>;
-type ApprovalRule = z.infer<typeof approvalRuleSchema>;
-type ApprovalPolicy = z.infer<typeof approvalPolicySchema>;
-/**
- * The default: fixes for security findings wait for a human; everything else
- * runs as it always has. Handoffs between agents (verification) never wait,
- * because a human already approved the work they continue.
- */
-declare const defaultApprovalPolicy: ApprovalPolicy;
-interface ApprovalSubject {
-  source?: string;
-  kind: string;
-  priority?: FindingPriority;
-}
-/**
- * Decide at task-creation time whether a task needs approval. Pure: the answer
- * is stamped on the task and never re-evaluated, so a later policy change
- * cannot silently release work a human was expecting to see.
- */
-declare function requiresApproval(policy: ApprovalPolicy, subject: ApprovalSubject): boolean;
-//#endregion
-export { Cost as $, FactoryStores as A, repositoryIdsSchema as At, standardTaskKinds as B, ChangePatch as C, RepositoryId as Ct, CreateStoresOptions as D, factoryIdSchema as Dt, CreateSignalInput as E, changeIdSchema as Et, TaskApproval as F, taskOriginSchema as G, taskDevboxSchema as H, TaskKind as I, taskStateSchema as J, taskQuestionSchema as K, TaskState as L, TaskTransitionOptions as M, taskIdSchema as Mt, createStores as N, CreateTaskInput as O, receiptIdSchema as Ot, Task as P, repositorySlugSchema as Q, coordinationRepositoryIdsSchema as R, ChangeAssociationError as S, ReceiptId as St, CreateChangeInput as T, TaskId as Tt, taskExecutionRepositoryIdsSchema as U, taskApprovalSchema as V, taskKindSchema as W, RepositorySlug as X, Repository as Y, repositorySchema as Z, findingVerificationMethodSchema as _, changeSchema as _t, approvalRuleSchema as a, receiptKindSchema as at, ApprovalDecision as b, ChangeId as bt, Finding as c, receiptStateSchema as ct, FindingVerification as d, standardReceiptStates as dt, Receipt as et, findingCategorySchema as f, Change as ft, findingVerificationLevelSchema as g, changeEvidenceSchema as gt, findingSchema as h, Level as ht, approvalPolicySchema as i, costSchema as it, TaskPatch as j, signalIdSchema as jt, DecideSignalOptions as k, repositoryIdSchema as kt, FindingCategory as l, standardReceiptKinds as lt, findingPrioritySchema as m, ChangeState as mt, ApprovalRule as n, ReceiptPhase as nt, defaultApprovalPolicy as o, receiptPhaseSchema as ot, findingFingerprint as p, ChangeEvidence as pt, taskSchema as q, ApprovalSubject as r, ReceiptState as rt, requiresApproval as s, receiptSchema as st, ApprovalPolicy as t, ReceiptKind as tt, FindingPriority as u, standardReceiptPhases as ut, findingVerificationSchema as v, changeStateSchema as vt, ChangeTransitionOptions as w, SignalId as wt, ApprovalError as x, FactoryId as xt, AppendReceiptInput as y, levelSchema as yt, harnessSchema as z };
-//# sourceMappingURL=approval-CIXB8IF8.d.mts.map