@astrosheep/keiyaku 4.5.29 → 4.6.2

package/build/src/protocol/operations.d.ts

@@ -1,54 +1,393 @@
-import type { ExecutionProgress } from "./progress.js";
-import type { DirtyWorkspaceRefusal } from "../git/tender.js";
-import type { GitRepository } from "../git/process.js";
-import { type GitDecodeChannel } from "../git/read-observation.js";
-import type { WorktreeLeak } from "../git/scratch.js";
-import type { ConflictRecovery } from "../git/workspace.js";
-import type { AbandonRefusal } from "../core/verbs/abandon.js";
-import type { AmendRefusal } from "../core/verbs/amend.js";
-import type { ArcRefusal } from "../core/verbs/arc.js";
-import type { DeliverRefusal } from "../core/verbs/deliver.js";
-import type { PlacementRefusal } from "../core/verbs/placement.js";
-import type { AttestationRefusal } from "../core/verbs/attestation.js";
+import { z } from "zod";
 import type { ContractId, ContractState, DeliverData, DocumentKey, SnapshotId } from "../core/facts/types.js";
-import type { BindRefusal, ForkSourceMovedRefusal, TargetInputRefusal } from "./bind.js";
 import type { IntegrationPreparationRefusal } from "../git/integration.js";
-import type { TargetPlacementRefusal } from "../git/target-placement.js";
-import type { VerificationCleanupFailure, VerificationRuntimeStop, VerificationResult } from "./intent.js";
-import type { VerificationDeclarationPreparation, VerificationDeclarationRefusal } from "../verification/declaration.js";
 import { type PrivateStateSeatOutcome } from "../git/private-state-seat.js";
-import type { PlacementProtocolResult } from "./placement.js";
+import type { GitRepository } from "../git/process.js";
+import { type GitDecodeChannel } from "../git/read-observation.js";
+import type { WorktreeLeak } from "../git/scratch.js";
+import type { VerificationDeclarationPreparation } from "../verification/declaration.js";
 import type { AcceptedAdmission, DecidedOfferResult } from "./attempt.js";
+import type { VerificationCleanupFailure, VerificationResult } from "./intent.js";
 import type { AcceptedProtocolStep, IntentOutcome as ProtocolIntentOutcome } from "./outcome.js";
-import type { ProtocolResult, ProtocolTerminal } from "./run.js";
+import type { PlacementProtocolResult } from "./placement.js";
+import type { ProtocolProgress } from "./progress.js";
 import { type ContractDocumentProjection } from "./read/documents.js";
 import { type ContractBoard, type ContractCatalogue, type ContractObservation } from "./read/status.js";
-export type MergeStatePresentRefusal = Readonly<{
-    kind: "merge-state-present";
-    contractId: ContractId;
-    workspace: Readonly<{
-        kind: "worktree" | "worktree";
-        path: string;
-    }>;
+import type { ProtocolResult, ProtocolTerminal } from "./run.js";
+export { changeIdSchema, contractIdSchema, snapshotIdSchema } from "../git/identity.js";
+export { entryUlidSchema } from "./attempt.js";
+export declare const gateSchema: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").Gate, string>>;
+export declare const deliverDataSchema: z.ZodObject<{
+    tenderSnapshot: z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>;
+    integration: z.ZodObject<{
+        predecessor: z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>;
+        snapshot: z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>;
+        changeId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ChangeId, string>>;
+    }, z.core.$strict>;
+    method: z.ZodLiteral<"squash">;
+    policy: z.ZodObject<{
+        requireBranchesToBeUpToDate: z.ZodBoolean;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export declare const verdictSchema: z.ZodEnum<{
+    satisfied: "satisfied";
+    unsatisfied: "unsatisfied";
 }>;
-export type UnmergedPathsRefusal = Readonly<{
-    kind: "unmerged-paths";
+export declare const activeContractRefusalSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        terminal: "terminal";
+        "contract-missing": "contract-missing";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>;
+export declare const bindRefusalSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "contract-exists": "contract-exists";
+        "invalid-after": "invalid-after";
+        "unknown-prerequisite": "unknown-prerequisite";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>;
+export declare const amendRefusalSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        terminal: "terminal";
+        "contract-missing": "contract-missing";
+        "unknown-prerequisite": "unknown-prerequisite";
+        "terms-moved": "terms-moved";
+        "cyclic-prerequisite": "cyclic-prerequisite";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>;
+export declare const deliverRefusalSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        terminal: "terminal";
+        "contract-missing": "contract-missing";
+        "document-moved": "document-moved";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>;
+export declare const verificationDeclarationRefusalSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"verification-declaration-invalid">;
+    contractId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>;
+}, z.core.$strict>;
+export declare const gateReportSchema: 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>;
+export declare const placementRefusalSchema: 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>]>;
+export declare const deliverConflictRefusalSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"integration-failed">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    reason: z.ZodLiteral<"conflict">;
+    targetHead: z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>;
+    conflictPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    recovery: z.ZodObject<{
+        materialize: z.ZodLiteral<"deliver --materialize-conflict --include-dirty">;
+        deliver: z.ZodLiteral<"deliver --include-dirty">;
+        staging: z.ZodLiteral<"not-required">;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type DeliverConflictRefusal = z.infer<typeof deliverConflictRefusalSchema>;
+export declare const deliveryPreparationRefusalSchema: z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"target-missing">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"worktree-missing">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"dirty-workspace">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    staged: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    unstaged: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    untracked: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    submodules: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    shortStat: z.ZodObject<{
+        filesChanged: z.ZodNumber;
+        insertions: z.ZodNumber;
+        deletions: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"unmerged-paths">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    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<SnapshotId, string>>;
+    conflictPaths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+}, z.core.$strict>, z.ZodTransform<{
+    kind: "integration-failed";
     contractId: ContractId;
-    paths: readonly string[];
-}>;
-export type DeliverConflictRefusal = Readonly<{
+    reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+    targetHead: SnapshotId;
+} & {
+    conflictPaths?: readonly string[];
+}, {
     kind: "integration-failed";
     contractId: ContractId;
-    reason: "conflict";
+    reason: "not-based-on-target" | "unrelated-histories" | "conflict";
     targetHead: SnapshotId;
-    conflictPaths: readonly string[];
-    recovery: ConflictRecovery;
-}>;
-export type DeliveryPreparationRefusal = Readonly<{
-    kind: "target-missing" | "worktree-missing";
+    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<"merge-state-present">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    workspace: z.ZodObject<{
+        kind: z.ZodLiteral<"worktree">;
+        path: z.ZodString;
+    }, 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>]>;
+export type DeliveryPreparationRefusal = z.infer<typeof deliveryPreparationRefusalSchema>;
+export declare const intentRefusalSchema: 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.ZodEnum<{
+        terminal: "terminal";
+        "contract-missing": "contract-missing";
+        "unknown-prerequisite": "unknown-prerequisite";
+        "terms-moved": "terms-moved";
+        "cyclic-prerequisite": "cyclic-prerequisite";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodEnum<{
+        "contract-exists": "contract-exists";
+        "invalid-after": "invalid-after";
+        "unknown-prerequisite": "unknown-prerequisite";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"fork-source-moved">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodEnum<{
+        terminal: "terminal";
+        "contract-missing": "contract-missing";
+        "document-moved": "document-moved";
+    }>;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"target-missing">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"worktree-missing">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"dirty-workspace">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    staged: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    unstaged: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    untracked: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    submodules: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    shortStat: z.ZodObject<{
+        filesChanged: z.ZodNumber;
+        insertions: z.ZodNumber;
+        deletions: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"unmerged-paths">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    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<SnapshotId, string>>;
+    conflictPaths: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+}, z.core.$strict>, z.ZodTransform<{
+    kind: "integration-failed";
     contractId: ContractId;
-}> | DirtyWorkspaceRefusal | UnmergedPathsRefusal | IntegrationPreparationRefusal | MergeStatePresentRefusal | TargetPlacementRefusal;
-export type IntentRefusal = AbandonRefusal | AmendRefusal | ArcRefusal | BindRefusal | ForkSourceMovedRefusal | DeliverRefusal | DeliveryPreparationRefusal | DeliverConflictRefusal | PlacementRefusal | AttestationRefusal | TargetInputRefusal | VerificationDeclarationRefusal;
+    reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+    targetHead: SnapshotId;
+} & {
+    conflictPaths?: readonly string[];
+}, {
+    kind: "integration-failed";
+    contractId: ContractId;
+    reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+    targetHead: 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<"merge-state-present">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    workspace: z.ZodObject<{
+        kind: z.ZodLiteral<"worktree">;
+        path: z.ZodString;
+    }, 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.ZodObject<{
+    kind: z.ZodLiteral<"integration-failed">;
+    contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+    reason: z.ZodLiteral<"conflict">;
+    targetHead: z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>;
+    conflictPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    recovery: z.ZodObject<{
+        materialize: z.ZodLiteral<"deliver --materialize-conflict --include-dirty">;
+        deliver: z.ZodLiteral<"deliver --include-dirty">;
+        staging: z.ZodLiteral<"not-required">;
+    }, z.core.$strict>;
+}, z.core.$strict>, 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.ZodEnum<{
+        "target-missing": "target-missing";
+        "unborn-head": "unborn-head";
+        "invalid-target": "invalid-target";
+    }>;
+}, 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>]>;
+type IntentRefusal = z.infer<typeof intentRefusalSchema>;
 export type IntentRetry = ProtocolTerminal;
 export type IntentOutcome<Value, Refusal = IntentRefusal> = ProtocolIntentOutcome<Value, Refusal>;
 type OperationInput = Readonly<{
@@ -58,7 +397,7 @@ type OperationInput = Readonly<{
 }>;
 export type MutationOperationInput = OperationInput & Readonly<{
     channel: GitDecodeChannel;
-    progress?: ExecutionProgress;
+    progress?: ProtocolProgress;
 }>;
 export type DocumentDerivation = Readonly<{
     document: DocumentKey;
@@ -73,29 +412,195 @@ type StepStop<R> = Readonly<{
     retry: IntentRetry;
     refusal?: never;
 }>;
-export type VerificationStop = StepStop<AttestationRefusal | VerificationDeclarationRefusal> | VerificationRuntimeStop;
-export type PlacementStop = StepStop<PlacementRefusal | TargetPlacementRefusal | IntegrationPreparationRefusal | Readonly<{
-    kind: "target-missing";
-    contractId: ContractId;
-}>> | Readonly<{
-    failure: "target-moved";
-    contractId: ContractId;
-    target: string;
-    expected: SnapshotId;
-    observed: SnapshotId | null;
-    observedTreeEqualsCandidate: boolean;
-}> | Readonly<{
-    failure: "target-moved";
-    contractId: ContractId;
-    target: string;
-    integratedAt: SnapshotId;
-    observed: SnapshotId | null;
-    attempts: number;
-    observedTreeEqualsCandidate: boolean;
-}> | Readonly<{
-    failure: "target-placement-failed";
-    diagnostic: string;
-}>;
+export declare const verificationStopSchema: 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>]>]>;
+export type VerificationStop = z.infer<typeof verificationStopSchema>;
+export declare const placementStopSchema: 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<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: SnapshotId;
+    } & {
+        conflictPaths?: readonly string[];
+    }, {
+        kind: "integration-failed";
+        contractId: ContractId;
+        reason: "not-based-on-target" | "unrelated-histories" | "conflict";
+        targetHead: 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<SnapshotId, string>>;
+    observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<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<SnapshotId, string>>;
+    observed: z.ZodNullable<z.ZodPipe<z.ZodString, z.ZodTransform<SnapshotId, string>>>;
+    observedTreeEqualsCandidate: z.ZodBoolean;
+}, z.core.$strict>]>;
+export type PlacementStop = z.infer<typeof placementStopSchema>;
 export type AttemptDecision<Value, Refusal = IntentRefusal> = (AcceptedAdmission & Readonly<{
     value: Value;
 }>) | Readonly<{
@@ -119,6 +624,7 @@ export declare function unpackVerificationOutcome(verification: VerificationResu
     leak?: WorktreeLeak;
     stop?: VerificationStop;
     admission?: AcceptedProtocolStep;
+    reuse?: VerificationResult["reuse"];
     counts?: NonNullable<VerificationResult["counts"]>;
 }>;
 export declare function placementStop(result: PlacementProtocolResult<IntegrationPreparationRefusal>): PlacementStop | undefined;
@@ -146,11 +652,11 @@ export declare function contractObservationOperation(input: Readonly<{
     contractId: ContractId;
 }>): Promise<ContractObservation>;
 export declare function documentsOperationAt(scope: RepositoryScope, channel: GitDecodeChannel): Promise<readonly ContractDocumentProjection[]>;
-export declare function stateOperation(input: MutationOperationInput): Promise<ContractState>;
+/** A legitimately absent Contract is `null`; the caller maps absence to its own domain answer. */
+export declare function stateOperation(input: MutationOperationInput): Promise<ContractState | null>;
 export declare function deliveryOperation(input: MutationOperationInput): Promise<DeliverData | null>;
 export declare function deliveryDiffOperation(input: Readonly<{
     scope: RepositoryScope;
     integrationPredecessor: SnapshotId;
     integrationSnapshot: SnapshotId;
 }>): Promise<string | null>;
-export {};