@astrosheep/keiyaku 4.5.29 → 4.6.2

package/build/src/library/mutation.d.ts

@@ -1,501 +0,0 @@
-import { ExecutionProgress } from "../protocol/progress.js";
-import { type MutationOperation, type ExecutionCleanup, type ExecutionStop } from "./execution-result.js";
-import { type ContractHead, type ContractId, type JournalEntry, type SnapshotId } from "../core/facts/types.js";
-import type { GitDecodeChannel } from "../git/read-observation.js";
-import type { ReconcileReport } from "../protocol/reconcile.js";
-import type { RepositoryScope } from "../protocol/operations.js";
-import type { IntentOutcome } from "../protocol/operations.js";
-import type { AcceptedObligations } from "../protocol/outcome.js";
-import type { SettlementReport } from "../settlement/settle.js";
-import type { TaskHolderAdmission } from "../settlement/holder.js";
-import type { WorktreeHooks } from "./configuration.js";
-import { type ReconcileCompletion, type ReconcileLagScope } from "./reconcile.js";
-import { type AuditReport } from "../protocol/audit.js";
-import { type IntegrationConflictMaterialized } from "../protocol/deliver.js";
-import { type ReviewValue } from "../protocol/review.js";
-import { type ContinuationReport } from "./continuation.js";
-import { type DeliveryValue } from "./delivery.js";
-import type { KeiyakuRefused, KeiyakuRetry } from "./refusal.js";
-import { z } from "zod";
-export type MutationFinalitySurface = "verification" | "placement" | "continuation" | "reconciliation" | "settlement" | "cleanup" | "execution";
-export type MutationFinality = Readonly<{
-    kind: "complete";
-}> | Readonly<{
-    kind: "accepted-pending";
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}> | Readonly<{
-    kind: "not-admitted";
-}>;
-export type MutationLag = ReconcileCompletion["lag"][number] & Readonly<{
-    affects: ReconcileLagScope;
-}>;
-type AcceptedFinalityInput = Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    lags: MutationResult<unknown>["lags"];
-    settlementLags: MutationResult<unknown>["settlementLags"];
-    value?: unknown;
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly ExecutionStop[];
-    /** Transport/display convenience only; never finality authority. */
-    pending?: readonly MutationPendingSurface[];
-}>;
-export type MutationFinalityInput = AcceptedFinalityInput | IntegrationConflictMaterialized | KeiyakuRefused | KeiyakuRetry;
-export type MutationPendingSurface = Readonly<{
-    surface: MutationFinalitySurface;
-    required: boolean;
-}>;
-export declare function decodeMutationPendingSurface(value: unknown): MutationPendingSurface;
-export declare const mutationPendingSurfaceSchema: z.ZodType<Readonly<{
-    surface: MutationFinalitySurface;
-    required: boolean;
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    surface: MutationFinalitySurface;
-    required: boolean;
-}>, unknown>>;
-export type Review = ReviewValue & Readonly<{
-    continuation?: ContinuationReport;
-}>;
-export declare function decodeReview(value: unknown): Review;
-export declare const auditReportSchema: z.ZodType<Readonly<{
-    candidate: Readonly<{
-        kind: "blocked";
-        refusal: import("../protocol/operations.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("../protocol/operations.js").VerificationStop;
-    }>;
-    target: Readonly<{
-        kind: "not-observed";
-    }> | import("../git/target-placement.js").AuditTargetAnswer;
-    delivery?: Readonly<{
-        changeId: import("../core/facts/types.js").ChangeId;
-        relation: "identical" | "differs";
-        verification: Readonly<{
-            kind: "undeclared" | "unrecorded";
-        }> | Readonly<{
-            kind: "recorded";
-            verdict: "satisfied" | "unsatisfied";
-            fact: import("../core/facts/types.js").EntryUlid;
-        }>;
-    }>;
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    candidate: Readonly<{
-        kind: "blocked";
-        refusal: import("../protocol/operations.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("../protocol/operations.js").VerificationStop;
-    }>;
-    target: Readonly<{
-        kind: "not-observed";
-    }> | import("../git/target-placement.js").AuditTargetAnswer;
-    delivery?: Readonly<{
-        changeId: import("../core/facts/types.js").ChangeId;
-        relation: "identical" | "differs";
-        verification: Readonly<{
-            kind: "undeclared" | "unrecorded";
-        }> | Readonly<{
-            kind: "recorded";
-            verdict: "satisfied" | "unsatisfied";
-            fact: import("../core/facts/types.js").EntryUlid;
-        }>;
-    }>;
-}>, unknown>>;
-export declare const mutationResultSchema: <Value>(operation: MutationOperation, value: z.ZodType<Value>) => z.ZodType<MutationResult<Value>>;
-export declare const deliveryResultSchema: z.ZodUnion<readonly [z.ZodType<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: DeliveryValue;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: DeliveryValue;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown>>, z.ZodType<Readonly<{
-    kind: "integration-conflict-materialized";
-    targetHead: SnapshotId;
-    conflictPaths: readonly string[];
-    workspace: import("../protocol/deliver.js").AppointedWorkspace;
-    handoffBase: SnapshotId;
-    recovery: import("../git/workspace.js").ConflictRecovery;
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "integration-conflict-materialized";
-    targetHead: SnapshotId;
-    conflictPaths: readonly string[];
-    workspace: import("../protocol/deliver.js").AppointedWorkspace;
-    handoffBase: SnapshotId;
-    recovery: import("../git/workspace.js").ConflictRecovery;
-}>, unknown>>]>;
-export declare const reviewResultSchema: z.ZodType<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Review;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Review;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown>>;
-export declare const auditResultSchema: z.ZodType<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Readonly<{
-        candidate: Readonly<{
-            kind: "blocked";
-            refusal: import("../protocol/operations.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("../protocol/operations.js").VerificationStop;
-        }>;
-        target: Readonly<{
-            kind: "not-observed";
-        }> | import("../git/target-placement.js").AuditTargetAnswer;
-        delivery?: Readonly<{
-            changeId: import("../core/facts/types.js").ChangeId;
-            relation: "identical" | "differs";
-            verification: Readonly<{
-                kind: "undeclared" | "unrecorded";
-            }> | Readonly<{
-                kind: "recorded";
-                verdict: "satisfied" | "unsatisfied";
-                fact: import("../core/facts/types.js").EntryUlid;
-            }>;
-        }>;
-    }>;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Readonly<{
-        candidate: Readonly<{
-            kind: "blocked";
-            refusal: import("../protocol/operations.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("../protocol/operations.js").VerificationStop;
-        }>;
-        target: Readonly<{
-            kind: "not-observed";
-        }> | import("../git/target-placement.js").AuditTargetAnswer;
-        delivery?: Readonly<{
-            changeId: import("../core/facts/types.js").ChangeId;
-            relation: "identical" | "differs";
-            verification: Readonly<{
-                kind: "undeclared" | "unrecorded";
-            }> | Readonly<{
-                kind: "recorded";
-                verdict: "satisfied" | "unsatisfied";
-                fact: import("../core/facts/types.js").EntryUlid;
-            }>;
-        }>;
-    }>;
-    lags: readonly MutationLag[];
-    settlementLags: readonly Readonly<{
-        kind: "settlement-failed";
-        surface: "task-holder" | "task";
-        contractId: ContractId;
-        taskId?: import("./contract.js").TaskId;
-        path?: string;
-        diagnostic: string;
-    }>[];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly Readonly<{
-        kind: "execution-stopped";
-        contractId: ContractId;
-        stage: import("../protocol/progress.js").ExecutionStage;
-        reason: "cancelled" | "failed";
-        diagnostic: string;
-    }>[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly Readonly<{
-        surface: MutationFinalitySurface;
-        required: boolean;
-    }>[];
-}>, unknown>>;
-type ObligationPendingInput = Readonly<{
-    lags: readonly MutationLag[];
-    settlementLags: MutationResult<unknown>["settlementLags"];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly ExecutionStop[];
-}>;
-type CompletionPendingValue = Readonly<{
-    verification?: unknown | undefined;
-    placement?: unknown | undefined;
-    continuation?: ContinuationReport | undefined;
-}>;
-export declare function noValuePending(_value?: unknown): readonly MutationPendingSurface[];
-export declare function auditPending(value: AuditReport): readonly MutationPendingSurface[];
-export declare function completionPending(value: CompletionPendingValue | undefined): readonly MutationPendingSurface[];
-export declare function obligationPending(input: ObligationPendingInput): readonly MutationPendingSurface[];
-export declare function collectAcceptedPending(valuePending: readonly MutationPendingSurface[], obligations: ObligationPendingInput): readonly MutationPendingSurface[];
-/** Purely projects the leading mutation's finality without changing its details. */
-export declare function projectMutationFinality(input: MutationFinalityInput): MutationFinality;
-export type AcceptedIntent<Value> = Readonly<{
-    kind: "accepted";
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Value;
-    physical?: ReconcileReport;
-} & AcceptedObligations>;
-export type MutationResult<Value> = Readonly<{
-    kind: "accepted";
-    operation: MutationOperation;
-    facts: readonly JournalEntry[];
-    head: ContractHead;
-    value: Value;
-    lags: readonly MutationLag[];
-    settlementLags: SettlementReport["lags"];
-    cleanup: readonly ExecutionCleanup[];
-    executionStops: readonly ExecutionStop[];
-    recoverySnapshot?: SnapshotId;
-    pending: readonly MutationPendingSurface[];
-}>;
-type Completion<Value, PublicValue> = Readonly<{
-    operation: MutationOperation;
-    progress?: ExecutionProgress;
-    scope: RepositoryScope;
-    channel: GitDecodeChannel;
-    contractId: ContractId;
-    accepted: AcceptedIntent<Value>;
-    value: (result: Value) => PublicValue;
-    hooks: WorktreeHooks;
-}>;
-export declare function completionInput<Value, PublicValue>(input: Omit<Completion<Value, PublicValue>, "accepted">): Omit<Completion<Value, PublicValue>, "accepted">;
-export declare function completeMutation<Value, PublicValue>(input: Completion<Value, PublicValue>): Promise<MutationResult<PublicValue>>;
-export declare function completeHolderMutation<Value, PublicValue, Refusal>(input: Readonly<{
-    completion: Omit<Completion<Value, PublicValue>, "accepted">;
-    admission: TaskHolderAdmission<IntentOutcome<Value, Refusal>>;
-    requireAccepted: (result: IntentOutcome<Value, Refusal>) => AcceptedIntent<Value>;
-}>): Promise<MutationResult<PublicValue>>;
-export {};