@astrosheep/keiyaku 4.5.29 → 4.6.2

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

@@ -2,43 +2,571 @@ import { type ContractId, type ContractState } from "../core/facts/types.js";
 import { type GitDecodeChannel } from "../git/read-observation.js";
 import type { ReconcileResult } from "../git/reconcile.js";
 import { type CompletionResult } from "../protocol/completion.js";
-import { type ExecutionProgress, type ExecutionStop } from "../protocol/progress.js";
-import type { DocumentDerivation, PlacementStop, RepositoryScope, VerificationStop } from "../protocol/operations.js";
+import { type ExecutionStop, type ProtocolProgress } from "../protocol/progress.js";
+import type { DocumentDerivation, RepositoryScope } from "../protocol/operations.js";
 import { z } from "zod";
-export type ContinuationStop = PlacementStop | VerificationStop | ExecutionStop | Readonly<{
-    kind: "already-terminal";
-}> | Readonly<{
-    kind: "physical-lag";
-    lags: ReconcileResult["lag"];
-}>;
-export type ContinuationReport = Readonly<{
-    claimed: readonly ContractId[];
-    stopped: readonly Readonly<{
-        contractId: ContractId;
-        stop: ContinuationStop;
-    }>[];
-}>;
-export declare function decodeContinuationReport(value: unknown): ContinuationReport;
-export declare const continuationReportSchema: z.ZodType<Readonly<{
-    claimed: readonly ContractId[];
-    stopped: readonly Readonly<{
+declare const continuationStopSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+    refusal: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodEnum<{
+            terminal: "terminal";
+            "contract-missing": "contract-missing";
+            "delivery-missing": "delivery-missing";
+        }>;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"gates-unsatisfied">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        unmet: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            gate: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").Gate, string>>;
+            current: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"missing">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"attested">;
+                verdict: z.ZodEnum<{
+                    satisfied: "satisfied";
+                    unsatisfied: "unsatisfied";
+                }>;
+                at: z.ZodString;
+                summary: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"stale">;
+                priorVerdict: z.ZodEnum<{
+                    satisfied: "satisfied";
+                    unsatisfied: "unsatisfied";
+                }>;
+                reason: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodLiteral<"candidate-content-changed">;
+                    target: z.ZodOptional<z.ZodString>;
+                    previousChange: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ChangeId, string>>;
+                    currentChange: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ChangeId, string>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>>>;
+        target: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"prerequisites-unsatisfied">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        unmet: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            state: z.ZodEnum<{
+                abandoned: "abandoned";
+                missing: "missing";
+                active: "active";
+            }>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>]>, z.ZodObject<{
+        kind: z.ZodLiteral<"checkout-not-followable">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        target: z.ZodString;
+        path: z.ZodString;
+        reason: z.ZodLiteral<"untracked">;
+        paths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"integration-failed">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        reason: z.ZodEnum<{
+            "not-based-on-target": "not-based-on-target";
+            "unrelated-histories": "unrelated-histories";
+            conflict: "conflict";
+        }>;
+        targetHead: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        conflictPaths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "integration-failed";
         contractId: ContractId;
-        stop: ContinuationStop;
-    }>[];
-}>, unknown, z.core.$ZodTypeInternals<Readonly<{
-    claimed: readonly ContractId[];
-    stopped: readonly Readonly<{
+        reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+        targetHead: import("../core/facts/types.js").SnapshotId;
+    } & {
+        conflictPaths?: readonly string[];
+    }, {
+        kind: "integration-failed";
         contractId: ContractId;
-        stop: ContinuationStop;
-    }>[];
-}>, unknown>>;
+        reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+        targetHead: import("../core/facts/types.js").SnapshotId;
+        conflictPaths?: readonly string[] | undefined;
+    }>>, z.ZodObject<{
+        kind: z.ZodLiteral<"integration-unsupported">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        requiredGit: z.ZodLiteral<"2.38">;
+    }, z.core.$strict>]>, z.ZodObject<{
+        kind: z.ZodLiteral<"target-missing">;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    }, z.core.$strict>]>;
+}, z.core.$strict>, z.ZodObject<{
+    retry: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodEnum<{
+            exhausted: "exhausted";
+            collision: "collision";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"publication-failed">;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>;
+}, z.core.$strict>, z.ZodObject<{
+    failure: z.ZodLiteral<"target-placement-failed">;
+    diagnostic: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    failure: z.ZodLiteral<"target-moved">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    target: z.ZodString;
+    integratedAt: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    attempts: z.ZodNumber;
+    observedTreeEqualsCandidate: z.ZodBoolean;
+}, z.core.$strict>, z.ZodObject<{
+    failure: z.ZodLiteral<"target-moved">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    target: z.ZodString;
+    expected: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    observedTreeEqualsCandidate: z.ZodBoolean;
+}, z.core.$strict>]>, z.ZodUnion<readonly [z.ZodObject<{
+    refusal: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodEnum<{
+            terminal: "terminal";
+            "contract-missing": "contract-missing";
+        }>;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"verification-declaration-invalid">;
+        contractId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>;
+    }, z.core.$strict>]>;
+}, z.core.$strict>, z.ZodObject<{
+    retry: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodEnum<{
+            exhausted: "exhausted";
+            collision: "collision";
+        }>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"publication-failed">;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>;
+}, z.core.$strict>, z.ZodUnion<readonly [z.ZodObject<{
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+    failure: z.ZodEnum<{
+        cancelled: "cancelled";
+        "unknown-exit": "unknown-exit";
+    }>;
+}, z.core.$strict>, z.ZodObject<{
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+    failure: z.ZodEnum<{
+        "spawn-error": "spawn-error";
+        "candidate-unavailable": "candidate-unavailable";
+    }>;
+    diagnostic: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+    failure: z.ZodLiteral<"environment-failure">;
+    diagnostic: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    stdout: z.ZodOptional<z.ZodString>;
+    stderr: z.ZodOptional<z.ZodString>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+    failure: z.ZodLiteral<"environment-failure">;
+    name: z.ZodString;
+    detail: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"exit">;
+        code: z.ZodNumber;
+        stdout: z.ZodString;
+        stderr: z.ZodString;
+        truncated: z.ZodBoolean;
+    }, z.core.$strict>, z.ZodObject<{
+        stdout: z.ZodOptional<z.ZodString>;
+        stderr: z.ZodOptional<z.ZodString>;
+        truncated: z.ZodOptional<z.ZodBoolean>;
+        kind: z.ZodLiteral<"timeout">;
+    }, z.core.$strict>, z.ZodObject<{
+        stdout: z.ZodOptional<z.ZodString>;
+        stderr: z.ZodOptional<z.ZodString>;
+        truncated: z.ZodOptional<z.ZodBoolean>;
+        kind: z.ZodLiteral<"unknown-exit">;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"spawn-error">;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>;
+}, z.core.$strict>]>]>, z.ZodObject<{
+    kind: z.ZodLiteral<"execution-stopped">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    stage: z.ZodEnum<{
+        admission: "admission";
+        placement: "placement";
+        verification: "verification";
+        continuation: "continuation";
+        reconciliation: "reconciliation";
+        reintegration: "reintegration";
+    }>;
+    reason: z.ZodEnum<{
+        failed: "failed";
+        cancelled: "cancelled";
+    }>;
+    diagnostic: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"already-terminal">;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"physical-lag">;
+    lags: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-retained">;
+        path: z.ZodString;
+        diagnostic: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-follow-retained">;
+        path: z.ZodString;
+        tender: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        head: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        reason: z.ZodEnum<{
+            "head-moved": "head-moved";
+            "head-attached": "head-attached";
+            "operation-in-progress": "operation-in-progress";
+            "unsupported-parent-shape": "unsupported-parent-shape";
+        }>;
+        paths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"unsealed-bytes">;
+        path: z.ZodString;
+        paths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"target-checkout-retained">;
+        path: z.ZodString;
+        target: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-hook-failed">;
+        phase: z.ZodEnum<{
+            destroy: "destroy";
+            create: "create";
+        }>;
+        path: z.ZodString;
+        command: z.ZodNumber;
+        name: z.ZodString;
+        failure: z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodLiteral<"exit">;
+            code: z.ZodNumber;
+            stdout: z.ZodString;
+            stderr: z.ZodString;
+            truncated: z.ZodBoolean;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodBoolean>;
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodBoolean>;
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"reconcile-failed">;
+        stage: z.ZodEnum<{
+            observation: "observation";
+            effect: "effect";
+        }>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>>>;
+}, z.core.$strict>]>;
+export type ContinuationStop = z.infer<typeof continuationStopSchema>;
+export declare const continuationReportSchema: z.ZodObject<{
+    claimed: z.ZodReadonly<z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>>;
+    stopped: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+        stop: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+            refusal: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    terminal: "terminal";
+                    "contract-missing": "contract-missing";
+                    "delivery-missing": "delivery-missing";
+                }>;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"gates-unsatisfied">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                unmet: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                    gate: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").Gate, string>>;
+                    current: z.ZodUnion<readonly [z.ZodObject<{
+                        kind: z.ZodLiteral<"missing">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"attested">;
+                        verdict: z.ZodEnum<{
+                            satisfied: "satisfied";
+                            unsatisfied: "unsatisfied";
+                        }>;
+                        at: z.ZodString;
+                        summary: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"stale">;
+                        priorVerdict: z.ZodEnum<{
+                            satisfied: "satisfied";
+                            unsatisfied: "unsatisfied";
+                        }>;
+                        reason: z.ZodOptional<z.ZodObject<{
+                            kind: z.ZodLiteral<"candidate-content-changed">;
+                            target: z.ZodOptional<z.ZodString>;
+                            previousChange: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ChangeId, string>>;
+                            currentChange: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ChangeId, string>>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>]>;
+                }, z.core.$strict>>>;
+                target: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"prerequisites-unsatisfied">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                unmet: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                    state: z.ZodEnum<{
+                        abandoned: "abandoned";
+                        missing: "missing";
+                        active: "active";
+                    }>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>]>, z.ZodObject<{
+                kind: z.ZodLiteral<"checkout-not-followable">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                target: z.ZodString;
+                path: z.ZodString;
+                reason: z.ZodLiteral<"untracked">;
+                paths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>, z.ZodUnion<readonly [z.ZodPipe<z.ZodObject<{
+                kind: z.ZodLiteral<"integration-failed">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                reason: z.ZodEnum<{
+                    "not-based-on-target": "not-based-on-target";
+                    "unrelated-histories": "unrelated-histories";
+                    conflict: "conflict";
+                }>;
+                targetHead: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+                conflictPaths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            }, z.core.$strict>, z.ZodTransform<{
+                kind: "integration-failed";
+                contractId: ContractId;
+                reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } & {
+                conflictPaths?: readonly string[];
+            }, {
+                kind: "integration-failed";
+                contractId: ContractId;
+                reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+                conflictPaths?: readonly string[] | undefined;
+            }>>, z.ZodObject<{
+                kind: z.ZodLiteral<"integration-unsupported">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+                requiredGit: z.ZodLiteral<"2.38">;
+            }, z.core.$strict>]>, z.ZodObject<{
+                kind: z.ZodLiteral<"target-missing">;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>, z.ZodObject<{
+            retry: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    exhausted: "exhausted";
+                    collision: "collision";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"publication-failed">;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>, z.ZodObject<{
+            failure: z.ZodLiteral<"target-placement-failed">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            failure: z.ZodLiteral<"target-moved">;
+            contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            target: z.ZodString;
+            integratedAt: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+            observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+            attempts: z.ZodNumber;
+            observedTreeEqualsCandidate: z.ZodBoolean;
+        }, z.core.$strict>, z.ZodObject<{
+            failure: z.ZodLiteral<"target-moved">;
+            contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            target: z.ZodString;
+            expected: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+            observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+            observedTreeEqualsCandidate: z.ZodBoolean;
+        }, z.core.$strict>]>, z.ZodUnion<readonly [z.ZodObject<{
+            refusal: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    terminal: "terminal";
+                    "contract-missing": "contract-missing";
+                }>;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"verification-declaration-invalid">;
+                contractId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>, z.ZodObject<{
+            retry: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    exhausted: "exhausted";
+                    collision: "collision";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"publication-failed">;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>, z.ZodUnion<readonly [z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodEnum<{
+                cancelled: "cancelled";
+                "unknown-exit": "unknown-exit";
+            }>;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodEnum<{
+                "spawn-error": "spawn-error";
+                "candidate-unavailable": "candidate-unavailable";
+            }>;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodLiteral<"environment-failure">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodLiteral<"environment-failure">;
+            name: z.ZodString;
+            detail: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"exit">;
+                code: z.ZodNumber;
+                stdout: z.ZodString;
+                stderr: z.ZodString;
+                truncated: z.ZodBoolean;
+            }, z.core.$strict>, z.ZodObject<{
+                stdout: z.ZodOptional<z.ZodString>;
+                stderr: z.ZodOptional<z.ZodString>;
+                truncated: z.ZodOptional<z.ZodBoolean>;
+                kind: z.ZodLiteral<"timeout">;
+            }, z.core.$strict>, z.ZodObject<{
+                stdout: z.ZodOptional<z.ZodString>;
+                stderr: z.ZodOptional<z.ZodString>;
+                truncated: z.ZodOptional<z.ZodBoolean>;
+                kind: z.ZodLiteral<"unknown-exit">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"spawn-error">;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>]>]>, z.ZodObject<{
+            kind: z.ZodLiteral<"execution-stopped">;
+            contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            stage: z.ZodEnum<{
+                admission: "admission";
+                placement: "placement";
+                verification: "verification";
+                continuation: "continuation";
+                reconciliation: "reconciliation";
+                reintegration: "reintegration";
+            }>;
+            reason: z.ZodEnum<{
+                failed: "failed";
+                cancelled: "cancelled";
+            }>;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"already-terminal">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"physical-lag">;
+            lags: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"worktree-retained">;
+                path: z.ZodString;
+                diagnostic: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"worktree-follow-retained">;
+                path: z.ZodString;
+                tender: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+                head: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+                reason: z.ZodEnum<{
+                    "head-moved": "head-moved";
+                    "head-attached": "head-attached";
+                    "operation-in-progress": "operation-in-progress";
+                    "unsupported-parent-shape": "unsupported-parent-shape";
+                }>;
+                paths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"unsealed-bytes">;
+                path: z.ZodString;
+                paths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+                head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"target-checkout-retained">;
+                path: z.ZodString;
+                target: z.ZodString;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"worktree-hook-failed">;
+                phase: z.ZodEnum<{
+                    destroy: "destroy";
+                    create: "create";
+                }>;
+                path: z.ZodString;
+                command: z.ZodNumber;
+                name: z.ZodString;
+                failure: z.ZodUnion<readonly [z.ZodObject<{
+                    kind: z.ZodLiteral<"exit">;
+                    code: z.ZodNumber;
+                    stdout: z.ZodString;
+                    stderr: z.ZodString;
+                    truncated: z.ZodBoolean;
+                }, z.core.$strict>, z.ZodObject<{
+                    stdout: z.ZodOptional<z.ZodString>;
+                    stderr: z.ZodOptional<z.ZodString>;
+                    truncated: z.ZodOptional<z.ZodBoolean>;
+                    kind: z.ZodLiteral<"timeout">;
+                }, z.core.$strict>, z.ZodObject<{
+                    stdout: z.ZodOptional<z.ZodString>;
+                    stderr: z.ZodOptional<z.ZodString>;
+                    truncated: z.ZodOptional<z.ZodBoolean>;
+                    kind: z.ZodLiteral<"unknown-exit">;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spawn-error">;
+                    diagnostic: z.ZodString;
+                }, z.core.$strict>]>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"reconcile-failed">;
+                stage: z.ZodEnum<{
+                    observation: "observation";
+                    effect: "effect";
+                }>;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>>>;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+export type ContinuationReport = z.infer<typeof continuationReportSchema>;
+/**
+ * The narrow Library-side sink a continuation offers. It reuses the accumulator's own progress
+ * methods, so each attempt is retained before the next sibling is awaited.
+ */
+type ContinuationProgress = Readonly<{
+    recordPhysical(contractId: ContractId, physical: ReconcileResult): void;
+    recordStop(stop: ExecutionStop): void;
+    recordContinuation(contractId: ContractId, report: ContinuationReport): void;
+}>;
 type ContinuationInput = Readonly<{
     scope: RepositoryScope;
     channel: GitDecodeChannel;
     completed: Extract<CompletionResult, {
         kind: "completed";
     }>;
-    progress: ExecutionProgress;
+    progress: ProtocolProgress & ContinuationProgress;
     deriveDocument(state: ContractState): DocumentDerivation;
     actor?: import("../core/facts/types.js").ActorId;
     signal?: AbortSignal;