@astrosheep/keiyaku 4.5.7 → 4.5.9

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

@@ -0,0 +1,4464 @@
+import type { AuditReport } from "../protocol/audit.js";
+import type { ReviewValue } from "../protocol/review.js";
+import type { ContinuationReport } from "./continuation.js";
+import { z } from "zod";
+export type Review = ReviewValue & Readonly<{
+    continuation?: ContinuationReport;
+}>;
+export declare const auditReportSchema: z.ZodType<AuditReport>;
+export declare const deliveryResultSchema: z.ZodUnion<readonly [z.ZodPipe<z.ZodObject<{
+    facts: z.ZodArray<z.ZodPipe<z.ZodUnknown, z.ZodTransform<Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>, unknown>>>;
+    head: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractHead, string>>;
+    value: z.ZodType<{
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+        tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+        integration: {
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            changeId: import("../core/facts/types.js").ChangeId;
+        };
+        method: "squash";
+        policy: {
+            requireBranchesToBeUpToDate: boolean;
+        };
+    }, unknown, z.core.$ZodTypeInternals<{
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+        tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+        integration: {
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            changeId: import("../core/facts/types.js").ChangeId;
+        };
+        method: "squash";
+        policy: {
+            requireBranchesToBeUpToDate: boolean;
+        };
+    }, unknown>>;
+    lags: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-retained">;
+        path: z.ZodString;
+    }, z.core.$strict>, z.ZodPipe<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.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    }, {
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+        paths?: string[] | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"unsealed-bytes">;
+        path: z.ZodString;
+        paths: z.ZodArray<z.ZodString>;
+        head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    }, {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+        head?: import("../core/facts/types.js").SnapshotId | undefined;
+    }>>, 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<"reconcile-failed">;
+        stage: z.ZodEnum<{
+            observation: "observation";
+            effect: "effect";
+        }>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"ref-migration-conflict">;
+        legacyRef: z.ZodString;
+        legacyOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        currentRef: z.ZodString;
+        currentOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    }, 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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"contract-file-failed">;
+        worktree: z.ZodString;
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>>;
+    settlementLags: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"settlement-failed">;
+        surface: z.ZodEnum<{
+            task: "task";
+            "namespace-context": "namespace-context";
+            "task-holder": "task-holder";
+        }>;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractId, string>>;
+        taskId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<`task/${string}`, string>>>;
+        path: z.ZodOptional<z.ZodString>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodTransform<{
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }, {
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+        taskId?: `task/${string}` | undefined;
+        path?: string | undefined;
+    }>>>;
+    recoverySnapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    cleanup: z.ZodOptional<z.ZodObject<{
+        phase: z.ZodLiteral<"destroy">;
+        command: z.ZodNumber;
+        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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>;
+    leak: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodTransform<{
+    leak?: {
+        path: string;
+        diagnostic: string;
+    };
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    };
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId;
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    head: import("../core/facts/types.js").ContractHead;
+    value: {
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+        tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+        integration: {
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            changeId: import("../core/facts/types.js").ChangeId;
+        };
+        method: "squash";
+        policy: {
+            requireBranchesToBeUpToDate: boolean;
+        };
+    };
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+}, {
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    head: import("../core/facts/types.js").ContractHead;
+    value: {
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+        tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+        integration: {
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            changeId: import("../core/facts/types.js").ChangeId;
+        };
+        method: "squash";
+        policy: {
+            requireBranchesToBeUpToDate: boolean;
+        };
+    };
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | undefined;
+    leak?: {
+        path: string;
+        diagnostic: string;
+    } | undefined;
+}>>, z.ZodObject<{
+    kind: z.ZodLiteral<"integration-conflict-materialized">;
+    targetHead: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    conflictPaths: z.ZodArray<z.ZodString>;
+    workspace: z.ZodObject<{
+        kind: z.ZodLiteral<"worktree">;
+        path: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>]>;
+export declare const reviewResultSchema: z.ZodPipe<z.ZodObject<{
+    facts: z.ZodArray<z.ZodPipe<z.ZodUnknown, z.ZodTransform<Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>, unknown>>>;
+    head: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractHead, string>>;
+    value: z.ZodType<{
+        workspace?: {
+            staged: string[];
+            unstaged: string[];
+            untracked: string[];
+            shortStat: {
+                filesChanged: number;
+                insertions: number;
+                deletions: number;
+            };
+        };
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+    }, unknown, z.core.$ZodTypeInternals<{
+        workspace?: {
+            staged: string[];
+            unstaged: string[];
+            untracked: string[];
+            shortStat: {
+                filesChanged: number;
+                insertions: number;
+                deletions: number;
+            };
+        };
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+    }, unknown>>;
+    lags: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-retained">;
+        path: z.ZodString;
+    }, z.core.$strict>, z.ZodPipe<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.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    }, {
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+        paths?: string[] | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"unsealed-bytes">;
+        path: z.ZodString;
+        paths: z.ZodArray<z.ZodString>;
+        head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    }, {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+        head?: import("../core/facts/types.js").SnapshotId | undefined;
+    }>>, 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<"reconcile-failed">;
+        stage: z.ZodEnum<{
+            observation: "observation";
+            effect: "effect";
+        }>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"ref-migration-conflict">;
+        legacyRef: z.ZodString;
+        legacyOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        currentRef: z.ZodString;
+        currentOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    }, 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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"contract-file-failed">;
+        worktree: z.ZodString;
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>>;
+    settlementLags: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"settlement-failed">;
+        surface: z.ZodEnum<{
+            task: "task";
+            "namespace-context": "namespace-context";
+            "task-holder": "task-holder";
+        }>;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractId, string>>;
+        taskId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<`task/${string}`, string>>>;
+        path: z.ZodOptional<z.ZodString>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodTransform<{
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }, {
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+        taskId?: `task/${string}` | undefined;
+        path?: string | undefined;
+    }>>>;
+    recoverySnapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    cleanup: z.ZodOptional<z.ZodObject<{
+        phase: z.ZodLiteral<"destroy">;
+        command: z.ZodNumber;
+        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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>;
+    leak: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodTransform<{
+    leak?: {
+        path: string;
+        diagnostic: string;
+    };
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    };
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId;
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    head: import("../core/facts/types.js").ContractHead;
+    value: {
+        workspace?: {
+            staged: string[];
+            unstaged: string[];
+            untracked: string[];
+            shortStat: {
+                filesChanged: number;
+                insertions: number;
+                deletions: number;
+            };
+        };
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+    };
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+}, {
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    head: import("../core/facts/types.js").ContractHead;
+    value: {
+        workspace?: {
+            staged: string[];
+            unstaged: string[];
+            untracked: string[];
+            shortStat: {
+                filesChanged: number;
+                insertions: number;
+                deletions: number;
+            };
+        };
+        continuation?: {
+            claimed: import("../core/facts/types.js").ContractId[];
+            stopped: {
+                contractId: import("../core/facts/types.js").ContractId;
+                stop: {
+                    refusal: {
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        conflictPaths: string[];
+                        kind: "integration-failed";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                        targetHead: import("../core/facts/types.js").SnapshotId;
+                    } | {
+                        kind: "checkout-not-followable";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        target: string;
+                        path: string;
+                        reason: "conflict" | "staged" | "untracked";
+                        paths: string[];
+                    } | {
+                        kind: "gates-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            gate: import("../core/facts/types.js").Gate;
+                            current: {
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                summary: string;
+                                kind: "attested";
+                                verdict: "satisfied" | "unsatisfied";
+                                at: string;
+                            } | {
+                                kind: "stale";
+                                priorVerdict: "satisfied" | "unsatisfied";
+                            } | {
+                                kind: "missing";
+                            };
+                        }[];
+                    } | {
+                        kind: "prerequisites-unsatisfied";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        unmet: {
+                            contractId: import("../core/facts/types.js").ContractId;
+                            state: "missing" | "active" | "abandoned";
+                        }[];
+                    } | {
+                        kind: "terminal" | "contract-missing" | "delivery-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    } | {
+                        kind: "integration-unsupported";
+                        contractId: import("../core/facts/types.js").ContractId;
+                        requiredGit: "2.38";
+                    } | {
+                        kind: "target-missing";
+                        contractId: import("../core/facts/types.js").ContractId;
+                    };
+                } | {
+                    retry: {
+                        kind: "exhausted";
+                    } | {
+                        kind: "collision";
+                    } | {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    };
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    expected: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-moved";
+                    contractId: import("../core/facts/types.js").ContractId;
+                    target: string;
+                    integratedAt: import("../core/facts/types.js").SnapshotId;
+                    observed: import("../core/facts/types.js").SnapshotId | null;
+                    attempts: number;
+                    observedTreeEqualsCandidate: boolean;
+                } | {
+                    failure: "target-placement-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "already-terminal";
+                };
+            }[];
+        };
+        leak?: {
+            path: string;
+            diagnostic: string;
+        };
+        cleanup?: {
+            phase: "destroy";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        placement?: {
+            refusal: {
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                conflictPaths: string[];
+                kind: "integration-failed";
+                contractId: import("../core/facts/types.js").ContractId;
+                reason: "conflict" | "not-based-on-target" | "unrelated-histories";
+                targetHead: import("../core/facts/types.js").SnapshotId;
+            } | {
+                kind: "checkout-not-followable";
+                contractId: import("../core/facts/types.js").ContractId;
+                target: string;
+                path: string;
+                reason: "conflict" | "staged" | "untracked";
+                paths: string[];
+            } | {
+                kind: "gates-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        summary: string;
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                    } | {
+                        kind: "missing";
+                    };
+                }[];
+            } | {
+                kind: "prerequisites-unsatisfied";
+                contractId: import("../core/facts/types.js").ContractId;
+                unmet: {
+                    contractId: import("../core/facts/types.js").ContractId;
+                    state: "missing" | "active" | "abandoned";
+                }[];
+            } | {
+                kind: "terminal" | "contract-missing" | "delivery-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            } | {
+                kind: "integration-unsupported";
+                contractId: import("../core/facts/types.js").ContractId;
+                requiredGit: "2.38";
+            } | {
+                kind: "target-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            expected: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-moved";
+            contractId: import("../core/facts/types.js").ContractId;
+            target: string;
+            integratedAt: import("../core/facts/types.js").SnapshotId;
+            observed: import("../core/facts/types.js").SnapshotId | null;
+            attempts: number;
+            observedTreeEqualsCandidate: boolean;
+        } | {
+            failure: "target-placement-failed";
+            diagnostic: string;
+        };
+        verificationSummary?: string;
+        verificationReuse?: {
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        } | {
+            summary: string;
+            entry: import("../core/facts/types.js").EntryUlid;
+            verdict: "satisfied" | "unsatisfied";
+        };
+        verification?: {
+            refusal: {
+                kind: "verification-declaration-invalid";
+            } | {
+                contractId: import("../core/facts/types.js").ContractId;
+                kind: "verification-declaration-invalid";
+            } | {
+                kind: "terminal" | "contract-missing";
+                contractId: import("../core/facts/types.js").ContractId;
+            };
+        } | {
+            retry: {
+                kind: "exhausted";
+            } | {
+                kind: "collision";
+            } | {
+                kind: "publication-failed";
+                diagnostic: string;
+            };
+        } | {
+            failure: "cancelled" | "unknown-exit";
+        } | {
+            failure: "spawn-error" | "candidate-unavailable";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            diagnostic: string;
+        } | {
+            failure: "environment-failure";
+            command: number;
+            detail: {
+                kind: "exit";
+                code: number;
+                stdout: string;
+                stderr: string;
+                truncated: boolean;
+            } | {
+                kind: "timeout";
+            } | {
+                kind: "spawn-error";
+                diagnostic: string;
+            } | {
+                kind: "unknown-exit";
+            };
+        };
+        completion?: {
+            integration: import("../core/facts/types.js").SnapshotId;
+        } | {
+            verification: {
+                mode: "reused" | "ran";
+                verdict: "satisfied" | "unsatisfied";
+            };
+            integration: import("../core/facts/types.js").SnapshotId;
+        };
+    };
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | undefined;
+    leak?: {
+        path: string;
+        diagnostic: string;
+    } | undefined;
+}>>;
+export declare const auditResultSchema: z.ZodPipe<z.ZodObject<{
+    facts: z.ZodArray<z.ZodPipe<z.ZodUnknown, z.ZodTransform<Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>, unknown>>>;
+    head: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractHead, string>>;
+    value: 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("../core/facts/types.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("../core/facts/types.js").ChangeId;
+            relation: "identical" | "differs";
+        }>;
+    }>, unknown>>;
+    lags: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"worktree-retained">;
+        path: z.ZodString;
+    }, z.core.$strict>, z.ZodPipe<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.ZodArray<z.ZodString>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    }, {
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+        paths?: string[] | undefined;
+    }>>, z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"unsealed-bytes">;
+        path: z.ZodString;
+        paths: z.ZodArray<z.ZodString>;
+        head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    }, z.core.$strict>, z.ZodTransform<{
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    }, {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+        head?: import("../core/facts/types.js").SnapshotId | undefined;
+    }>>, 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<"reconcile-failed">;
+        stage: z.ZodEnum<{
+            observation: "observation";
+            effect: "effect";
+        }>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"ref-migration-conflict">;
+        legacyRef: z.ZodString;
+        legacyOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        currentRef: z.ZodString;
+        currentOid: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+    }, 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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"contract-file-failed">;
+        worktree: z.ZodString;
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>>;
+    settlementLags: z.ZodArray<z.ZodPipe<z.ZodObject<{
+        kind: z.ZodLiteral<"settlement-failed">;
+        surface: z.ZodEnum<{
+            task: "task";
+            "namespace-context": "namespace-context";
+            "task-holder": "task-holder";
+        }>;
+        contractId: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").ContractId, string>>;
+        taskId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<`task/${string}`, string>>>;
+        path: z.ZodOptional<z.ZodString>;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>, z.ZodTransform<{
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }, {
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+        taskId?: `task/${string}` | undefined;
+        path?: string | undefined;
+    }>>>;
+    recoverySnapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
+    cleanup: z.ZodOptional<z.ZodObject<{
+        phase: z.ZodLiteral<"destroy">;
+        command: z.ZodNumber;
+        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<{
+            kind: z.ZodLiteral<"timeout">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"spawn-error">;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"unknown-exit">;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>;
+    leak: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>, z.ZodTransform<{
+    leak?: {
+        path: string;
+        diagnostic: string;
+    };
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    };
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId;
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    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("../core/facts/types.js").ChangeId;
+            relation: "identical" | "differs";
+        }>;
+    }>;
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+}, {
+    facts: (Readonly<{
+        v: 1;
+        kind: "bound";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<Record<string, never>>;
+    }> | Readonly<{
+        v: 1;
+        kind: "bind";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            coordinates: import("../core/facts/types.js").ContractCoordinates;
+            terms: import("../core/facts/types.js").ContractTerms;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "amend";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            document: Readonly<{
+                bytes: string;
+                key: import("../core/facts/types.js").DocumentKey;
+            }>;
+            segments: readonly import("../core/facts/types.js").DocumentSegmentKey[];
+            gates: readonly import("../core/facts/types.js").Gate[];
+            after: readonly import("../core/facts/types.js").ContractId[];
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "deliver";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            tenderSnapshot: import("../core/facts/types.js").SnapshotId;
+            integration: Readonly<{
+                predecessor: import("../core/facts/types.js").SnapshotId;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                changeId: import("../core/facts/types.js").ChangeId;
+            }>;
+            method: "squash";
+            policy: Readonly<{
+                requireBranchesToBeUpToDate: boolean;
+            }>;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "reintegrated";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            predecessor: import("../core/facts/types.js").SnapshotId;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "attestation";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            gate: import("../core/facts/types.js").Gate;
+            subject: import("../core/facts/types.js").DependencyKeySet;
+            verdict: "satisfied" | "unsatisfied";
+            summary?: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "claimed";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            delivery: import("../core/facts/types.js").EntryUlid;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "arc";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            seq: number;
+            title: string;
+            objective: string;
+            brief: string;
+        }>;
+    }> | Readonly<{
+        v: 1;
+        kind: "abandoned";
+        contract: import("../core/facts/types.js").ContractId;
+        entry: import("../core/facts/types.js").EntryUlid;
+        at: string;
+        actor?: import("../core/facts/types.js").ActorId;
+        data: Readonly<{
+            note?: string;
+        }>;
+    }>)[];
+    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("../core/facts/types.js").ChangeId;
+            relation: "identical" | "differs";
+        }>;
+    }>;
+    lags: ({
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        paths: string[];
+        kind: "worktree-follow-retained";
+        path: string;
+        tender: import("../core/facts/types.js").SnapshotId;
+        head: import("../core/facts/types.js").SnapshotId;
+        reason: "head-moved" | "head-attached" | "operation-in-progress" | "unsupported-parent-shape";
+    } | {
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        head: import("../core/facts/types.js").SnapshotId;
+        kind: "unsealed-bytes";
+        path: string;
+        paths: string[];
+    } | {
+        kind: "worktree-retained";
+        path: string;
+    } | {
+        kind: "target-checkout-retained";
+        path: string;
+        target: string;
+        diagnostic: string;
+    } | {
+        kind: "reconcile-failed";
+        stage: "observation" | "effect";
+        diagnostic: string;
+    } | {
+        kind: "ref-migration-conflict";
+        legacyRef: string;
+        legacyOid: import("../core/facts/types.js").SnapshotId;
+        currentRef: string;
+        currentOid: import("../core/facts/types.js").SnapshotId;
+    } | {
+        kind: "worktree-hook-failed";
+        phase: "destroy" | "create";
+        path: string;
+        command: number;
+        name: string;
+        failure: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | {
+        kind: "contract-file-failed";
+        worktree: string;
+        path: string;
+        diagnostic: string;
+    })[];
+    settlementLags: {
+        path?: string;
+        taskId?: `task/${string}`;
+        kind: "settlement-failed";
+        surface: "task" | "namespace-context" | "task-holder";
+        contractId: import("../core/facts/types.js").ContractId;
+        diagnostic: string;
+    }[];
+    recoverySnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
+    cleanup?: {
+        phase: "destroy";
+        command: number;
+        detail: {
+            kind: "exit";
+            code: number;
+            stdout: string;
+            stderr: string;
+            truncated: boolean;
+        } | {
+            kind: "timeout";
+        } | {
+            kind: "spawn-error";
+            diagnostic: string;
+        } | {
+            kind: "unknown-exit";
+        };
+    } | undefined;
+    leak?: {
+        path: string;
+        diagnostic: string;
+    } | undefined;
+}>>;
+export declare function encodeContractLiveFailure(error: unknown): unknown | null;
+export declare function decodeContractLiveFailure(value: unknown): Error | null;