@astrosheep/keiyaku 4.5.12 → 4.5.13

package/build/src/library/contract-forwarding-result.d.ts

@@ -1,359 +0,0 @@
-import { type ContinuationReport } from "./continuation.js";
-import { type DeliveryValue } from "./delivery.js";
-import { z } from "zod";
-export type Review = import("../protocol/review.js").ReviewValue & Readonly<{
-    continuation?: ContinuationReport;
-}>;
-export declare function decodeReview(value: unknown): Review;
-export declare const auditReportSchema: z.ZodType<Readonly<{
-    candidate: Readonly<{
-        kind: "blocked";
-        refusal: import("./contract.js").DeliveryPreparationRefusal;
-    }> | Readonly<{
-        kind: "ready";
-        workspace: Readonly<{
-            kind: "worktree";
-            path: string;
-        }>;
-        identity: import("../core/facts/types.js").DeliverData;
-        scope: Readonly<{
-            filesChanged: number;
-            insertions: number;
-            deletions: number;
-            paths?: readonly string[];
-        }>;
-        diff?: string;
-    }>;
-    verification: Readonly<{
-        kind: "not-run";
-    }> | Readonly<{
-        kind: "satisfied";
-        passed: number;
-        total: number;
-        summary?: string;
-    }> | Readonly<{
-        kind: "unsatisfied";
-        passed: number;
-        total: number;
-        summary?: string;
-    }> | Readonly<{
-        kind: "stopped";
-        stop: import("./contract.js").VerificationStop;
-    }>;
-    target: Readonly<{
-        kind: "not-observed";
-    }> | import("../git/target-placement.js").AuditTargetAnswer;
-    delivery?: Readonly<{
-        changeId: import("./contract.js").ChangeId;
-        relation: "identical" | "differs";
-    }>;
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    candidate: Readonly<{
-        kind: "blocked";
-        refusal: import("./contract.js").DeliveryPreparationRefusal;
-    }> | Readonly<{
-        kind: "ready";
-        workspace: Readonly<{
-            kind: "worktree";
-            path: string;
-        }>;
-        identity: import("../core/facts/types.js").DeliverData;
-        scope: Readonly<{
-            filesChanged: number;
-            insertions: number;
-            deletions: number;
-            paths?: readonly string[];
-        }>;
-        diff?: string;
-    }>;
-    verification: Readonly<{
-        kind: "not-run";
-    }> | Readonly<{
-        kind: "satisfied";
-        passed: number;
-        total: number;
-        summary?: string;
-    }> | Readonly<{
-        kind: "unsatisfied";
-        passed: number;
-        total: number;
-        summary?: string;
-    }> | Readonly<{
-        kind: "stopped";
-        stop: import("./contract.js").VerificationStop;
-    }>;
-    target: Readonly<{
-        kind: "not-observed";
-    }> | import("../git/target-placement.js").AuditTargetAnswer;
-    delivery?: Readonly<{
-        changeId: import("./contract.js").ChangeId;
-        relation: "identical" | "differs";
-    }>;
-}>, unknown>>;
-export declare const deliveryResultSchema: z.ZodUnion<readonly [z.ZodType<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: DeliveryValue;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: DeliveryValue;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown>>, z.ZodType<Readonly<{
-    kind: "integration-conflict-materialized";
-    targetHead: import("./contract.js").SnapshotId;
-    conflictPaths: readonly string[];
-    workspace: import("../protocol/deliver.js").AppointedWorkspace;
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "integration-conflict-materialized";
-    targetHead: import("./contract.js").SnapshotId;
-    conflictPaths: readonly string[];
-    workspace: import("../protocol/deliver.js").AppointedWorkspace;
-}>, unknown>>]>;
-export declare const reviewResultSchema: z.ZodType<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: Review;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: Review;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown>>;
-export declare const auditResultSchema: z.ZodType<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: Readonly<{
-        candidate: Readonly<{
-            kind: "blocked";
-            refusal: import("./contract.js").DeliveryPreparationRefusal;
-        }> | Readonly<{
-            kind: "ready";
-            workspace: Readonly<{
-                kind: "worktree";
-                path: string;
-            }>;
-            identity: import("../core/facts/types.js").DeliverData;
-            scope: Readonly<{
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-                paths?: readonly string[];
-            }>;
-            diff?: string;
-        }>;
-        verification: Readonly<{
-            kind: "not-run";
-        }> | Readonly<{
-            kind: "satisfied";
-            passed: number;
-            total: number;
-            summary?: string;
-        }> | Readonly<{
-            kind: "unsatisfied";
-            passed: number;
-            total: number;
-            summary?: string;
-        }> | Readonly<{
-            kind: "stopped";
-            stop: import("./contract.js").VerificationStop;
-        }>;
-        target: Readonly<{
-            kind: "not-observed";
-        }> | import("../git/target-placement.js").AuditTargetAnswer;
-        delivery?: Readonly<{
-            changeId: import("./contract.js").ChangeId;
-            relation: "identical" | "differs";
-        }>;
-    }>;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    facts: readonly import("../core/facts/types.js").JournalEntry[];
-    head: import("../core/facts/types.js").ContractHead;
-    value: Readonly<{
-        candidate: Readonly<{
-            kind: "blocked";
-            refusal: import("./contract.js").DeliveryPreparationRefusal;
-        }> | Readonly<{
-            kind: "ready";
-            workspace: Readonly<{
-                kind: "worktree";
-                path: string;
-            }>;
-            identity: import("../core/facts/types.js").DeliverData;
-            scope: Readonly<{
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-                paths?: readonly string[];
-            }>;
-            diff?: string;
-        }>;
-        verification: Readonly<{
-            kind: "not-run";
-        }> | Readonly<{
-            kind: "satisfied";
-            passed: number;
-            total: number;
-            summary?: string;
-        }> | Readonly<{
-            kind: "unsatisfied";
-            passed: number;
-            total: number;
-            summary?: string;
-        }> | Readonly<{
-            kind: "stopped";
-            stop: import("./contract.js").VerificationStop;
-        }>;
-        target: Readonly<{
-            kind: "not-observed";
-        }> | import("../git/target-placement.js").AuditTargetAnswer;
-        delivery?: Readonly<{
-            changeId: import("./contract.js").ChangeId;
-            relation: "identical" | "differs";
-        }>;
-    }>;
-    lags: readonly (import("../git/reconcile.js").ReconcileLag | Readonly<{
-        kind: "contract-file-failed";
-        worktree: string;
-        path: string;
-        diagnostic: string;
-    }>)[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: import("./contract.js").ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: import("./contract.js").SnapshotId;
-    pending: readonly Readonly<{
-        surface: import("./mutation.js").MutationFinalitySurface;
-        required: boolean;
-    }>[];
-} & Readonly<{
-    cleanup?: import("../protocol/intent.js").VerificationCleanupFailure;
-    leak?: import("../git/scratch.js").WorktreeLeak;
-    seatClose?: readonly import("../git/private-state-seat.js").PrivateStateSeatCloseLag[];
-}>>, unknown>>;
-export declare function encodeContractLiveFailure(error: unknown): unknown | null;
-export declare function decodeContractLiveFailure(value: unknown): Error | null;

package/build/src/library/contract-forwarding-result.js

@@ -1,44 +0,0 @@
-import { decodeAuditReport, decodeMaterializedConflict, decodeReviewValue } from "../protocol/result-codec.js";
-import { decodeContinuationReport } from "./continuation.js";
-import { deliveryValueSchema } from "./delivery.js";
-import { mutationResultSchema } from "./mutation.js";
-import { KeiyakuRefused, KeiyakuRetry, decodeKeiyakuRefusal, keiyakuRefusalSchema, keiyakuRetryReasonSchema, } from "./refusal.js";
-import { ownerSchema } from "./result-codec.js";
-import { z } from "zod";
-export function decodeReview(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed review");
-    const { continuation, ...protocol } = value;
-    const review = decodeReviewValue(protocol);
-    return continuation === undefined ? review : { ...review, continuation: decodeContinuationReport(continuation) };
-}
-export const auditReportSchema = ownerSchema(decodeAuditReport, "expected audit report");
-const reviewSchema = ownerSchema(decodeReview, "expected review");
-const materializedConflictSchema = ownerSchema(decodeMaterializedConflict, "expected materialized conflict");
-export const deliveryResultSchema = z.union([
-    mutationResultSchema(deliveryValueSchema),
-    materializedConflictSchema,
-]);
-export const reviewResultSchema = mutationResultSchema(reviewSchema);
-export const auditResultSchema = mutationResultSchema(auditReportSchema);
-const contractLiveFailureSchema = z.union([
-    z.object({ kind: z.literal("refused"), refusal: keiyakuRefusalSchema }).strict(),
-    z.object({ kind: z.literal("retry"), reason: keiyakuRetryReasonSchema }).strict(),
-]);
-export function encodeContractLiveFailure(error) {
-    if (error instanceof KeiyakuRefused) {
-        return { kind: "refused", refusal: error.refusal };
-    }
-    if (error instanceof KeiyakuRetry) {
-        return { kind: "retry", reason: error.reason };
-    }
-    return null;
-}
-export function decodeContractLiveFailure(value) {
-    const parsed = contractLiveFailureSchema.safeParse(value);
-    if (!parsed.success)
-        return null;
-    return parsed.data.kind === "refused"
-        ? new KeiyakuRefused(decodeKeiyakuRefusal(parsed.data.refusal))
-        : new KeiyakuRetry(parsed.data.reason);
-}