@vercel/factory 0.0.0

package/dist/engine-BXVTLiXU.d.ts

@@ -0,0 +1,350 @@
+import { R as ReplyTo } from './common-CaHaEOAS.js';
+import { z } from 'zod';
+import { S as StoreDriver } from './driver-tRNggCCJ.js';
+
+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>;
+
+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";
+    }>;
+    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>;
+
+/** States the engine writes on transitions. Any vocabulary value is valid. */
+declare const standardReceiptStates: readonly ["dispatched", "succeeded", "failed", "needs_human", "cancelled", "settled", "merged", "deployed", "rolled_out", "rolled_back"];
+/** Phases the standard loop uses. Any vocabulary value is valid. */
+declare const standardReceiptPhases: readonly ["budget", "dispatch", "implementation", "verification", "pull_request", "cleanup"];
+/** Kinds the standard loop writes: the standard task kinds plus "change". */
+declare const standardReceiptKinds: readonly ["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>;
+
+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>;
+
+/** Sources used by the standard connectors. Any vocabulary value is valid. */
+declare const standardSignalSources: readonly ["github_issue", "github_pr", "github_pr_comment", "slack", "human", "github_ci_failure", "vercel_deploy_failure", "investigation", "api"];
+declare const signalSourceSchema: z.ZodString;
+declare const signalOutcomeSchema: z.ZodEnum<{
+    pending: "pending";
+    accepted: "accepted";
+    duplicate: "duplicate";
+    unactionable: "unactionable";
+    low_confidence: "low_confidence";
+    ignored: "ignored";
+}>;
+declare const signalSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    id: z.ZodString;
+    repositoryId: z.ZodString;
+    source: z.ZodString;
+    deliveryId: z.ZodString;
+    replyTo: z.ZodObject<{
+        channel: z.ZodString;
+        address: z.ZodString;
+    }, z.core.$strict>;
+    payload: z.ZodUnknown;
+    receivedAt: z.ZodISODateTime;
+    outcome: z.ZodEnum<{
+        pending: "pending";
+        accepted: "accepted";
+        duplicate: "duplicate";
+        unactionable: "unactionable";
+        low_confidence: "low_confidence";
+        ignored: "ignored";
+    }>;
+    detail: z.ZodOptional<z.ZodString>;
+    reason: z.ZodOptional<z.ZodString>;
+    decidedAt: z.ZodOptional<z.ZodISODateTime>;
+}, z.core.$strict>;
+type SignalSource = z.infer<typeof signalSourceSchema>;
+type SignalOutcome = z.infer<typeof signalOutcomeSchema>;
+type Signal = z.infer<typeof signalSchema>;
+
+/**
+ * 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 ["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 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.ZodOptional<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";
+    }>;
+    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 TaskKind = z.infer<typeof taskKindSchema>;
+type TaskState = z.infer<typeof taskStateSchema>;
+type Task = z.infer<typeof taskSchema>;
+
+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;
+    area?: string;
+    dependsOn?: TaskId[];
+    question?: Task["question"];
+}
+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">>;
+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>;
+        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;
+
+export { signalOutcomeSchema as $, type AppendReceiptInput as A, changeEvidenceSchema as B, type ChangeState as C, type DecideSignalOptions as D, changeIdSchema as E, type FactoryStores as F, changeSchema as G, changeStateSchema as H, costSchema as I, createStores as J, factoryIdSchema as K, type Level as L, harnessSchema as M, levelSchema as N, receiptIdSchema as O, receiptKindSchema as P, receiptPhaseSchema as Q, type Receipt as R, type SignalOutcome as S, type Task as T, receiptSchema as U, receiptStateSchema as V, repositoryIdSchema as W, repositoryIdsSchema as X, repositorySchema as Y, repositorySlugSchema as Z, signalIdSchema as _, type TaskId as a, signalSchema as a0, signalSourceSchema as a1, standardReceiptKinds as a2, standardReceiptPhases as a3, standardReceiptStates as a4, standardSignalSources as a5, standardTaskKinds as a6, taskDevboxSchema as a7, taskIdSchema as a8, taskKindSchema as a9, taskOriginSchema as aa, taskQuestionSchema as ab, taskSchema as ac, taskStateSchema as ad, type TaskState as b, type Change as c, type ChangeEvidence as d, type ChangeId as e, type ChangePatch as f, type ChangeTransitionOptions as g, type Cost as h, type CreateChangeInput as i, type CreateSignalInput as j, type CreateStoresOptions as k, type CreateTaskInput as l, type FactoryId as m, type ReceiptId as n, type ReceiptKind as o, type ReceiptPhase as p, type ReceiptState as q, type Repository as r, type RepositoryId as s, type RepositorySlug as t, type Signal as u, type SignalId as v, type SignalSource as w, type TaskKind as x, type TaskPatch as y, type TaskTransitionOptions as z };