@astrosheep/keiyaku 4.5.11 → 4.5.13

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

@@ -1,4270 +0,0 @@
-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;
-}>;
-type WithoutUndefined<Value> = {
-    [Key in keyof Value as undefined extends Value[Key] ? never : Key]: Value[Key];
-} & {
-    [Key in keyof Value as undefined extends Value[Key] ? Key : never]?: Exclude<Value[Key], undefined>;
-};
-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<WithoutUndefined<{
-        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;
-        };
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-    }>, unknown, z.core.$ZodTypeInternals<WithoutUndefined<{
-        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;
-        };
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-    }>, 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<WithoutUndefined<{
-        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;
-    }>, {
-        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<WithoutUndefined<{
-    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: WithoutUndefined<{
-        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;
-        };
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-    }>;
-    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: WithoutUndefined<{
-        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?: 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;
-}>, {
-    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: WithoutUndefined<{
-        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;
-        };
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-    }>;
-    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: WithoutUndefined<{
-        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?: 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<WithoutUndefined<{
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-        workspace?: {
-            staged: string[];
-            unstaged: string[];
-            untracked: string[];
-            shortStat: {
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-            };
-        } | undefined;
-    }>, unknown, z.core.$ZodTypeInternals<WithoutUndefined<{
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-        workspace?: {
-            staged: string[];
-            unstaged: string[];
-            untracked: string[];
-            shortStat: {
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-            };
-        } | undefined;
-    }>, 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<WithoutUndefined<{
-        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;
-    }>, {
-        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<WithoutUndefined<{
-    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: WithoutUndefined<{
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-        workspace?: {
-            staged: string[];
-            unstaged: string[];
-            untracked: string[];
-            shortStat: {
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-            };
-        } | undefined;
-    }>;
-    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: WithoutUndefined<{
-        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?: 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;
-}>, {
-    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: WithoutUndefined<{
-        completion?: WithoutUndefined<{
-            integration: import("../core/facts/types.js").SnapshotId;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
-        }> | undefined;
-        verification?: {
-            refusal: WithoutUndefined<{
-                kind: "verification-declaration-invalid";
-                contractId?: import("../core/facts/types.js").ContractId | undefined;
-            }> | {
-                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";
-            };
-        } | undefined;
-        verificationReuse?: WithoutUndefined<{
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        }> | undefined;
-        verificationSummary?: string | undefined;
-        placement?: {
-            refusal: WithoutUndefined<{
-                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[] | undefined;
-            }> | {
-                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: WithoutUndefined<{
-                        kind: "attested";
-                        verdict: "satisfied" | "unsatisfied";
-                        at: string;
-                        summary?: string | undefined;
-                    }> | {
-                        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;
-        } | 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;
-        continuation?: {
-            claimed: import("../core/facts/types.js").ContractId[];
-            stopped: {
-                contractId: import("../core/facts/types.js").ContractId;
-                stop: {
-                    refusal: WithoutUndefined<{
-                        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[] | undefined;
-                    }> | {
-                        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: WithoutUndefined<{
-                                kind: "attested";
-                                verdict: "satisfied" | "unsatisfied";
-                                at: string;
-                                summary?: string | undefined;
-                            }> | {
-                                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";
-                };
-            }[];
-        } | undefined;
-        workspace?: {
-            staged: string[];
-            unstaged: string[];
-            untracked: string[];
-            shortStat: {
-                filesChanged: number;
-                insertions: number;
-                deletions: number;
-            };
-        } | undefined;
-    }>;
-    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: WithoutUndefined<{
-        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?: 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<WithoutUndefined<{
-        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;
-    }>, {
-        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<WithoutUndefined<{
-    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: WithoutUndefined<{
-        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?: 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;
-}>, {
-    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: WithoutUndefined<{
-        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?: 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;
-export {};