@astrosheep/keiyaku 4.6.4 → 4.6.7

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

@@ -285,7 +285,7 @@ declare const invocationEffectSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [
         contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
         snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
         leak: z.ZodObject<{
-            path: z.ZodString;
+            path: z.ZodOptional<z.ZodString>;
             diagnostic: z.ZodString;
         }, z.core.$strict>;
     }, z.core.$strict>, z.ZodObject<{
@@ -453,108 +453,99 @@ export declare const reviewSchema: z.ZodObject<{
             filesChanged: z.ZodNumber;
             insertions: z.ZodNumber;
         }, z.core.$strict>>;
-        verification: z.ZodOptional<z.ZodObject<{
-            mode: z.ZodEnum<{
-                reused: "reused";
-                ran: "ran";
-            }>;
-            verdict: z.ZodEnum<{
-                satisfied: "satisfied";
-                unsatisfied: "unsatisfied";
-            }>;
-        }, z.core.$strict>>;
     }, z.core.$strict>>;
-    verification: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
-        refusal: z.ZodUnion<readonly [z.ZodObject<{
-            kind: z.ZodEnum<{
-                terminal: "terminal";
-                "contract-missing": "contract-missing";
-            }>;
-            contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
-        }, z.core.$strict>, z.ZodObject<{
-            kind: z.ZodLiteral<"verification-declaration-invalid">;
-            contractId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>;
-        }, z.core.$strict>]>;
-    }, z.core.$strict>, z.ZodObject<{
-        retry: z.ZodUnion<readonly [z.ZodObject<{
-            kind: z.ZodEnum<{
-                exhausted: "exhausted";
-                collision: "collision";
-            }>;
-        }, z.core.$strict>, z.ZodObject<{
-            kind: z.ZodLiteral<"publication-failed">;
-            diagnostic: z.ZodString;
-        }, z.core.$strict>]>;
-    }, z.core.$strict>, z.ZodUnion<readonly [z.ZodObject<{
-        stdout: z.ZodOptional<z.ZodString>;
-        stderr: z.ZodOptional<z.ZodString>;
-        truncated: z.ZodOptional<z.ZodLiteral<true>>;
-        failure: z.ZodEnum<{
-            cancelled: "cancelled";
-            "unknown-exit": "unknown-exit";
+    verification: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        snapshot: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        verdict: z.ZodEnum<{
+            satisfied: "satisfied";
+            unsatisfied: "unsatisfied";
         }>;
+        summary: z.ZodOptional<z.ZodString>;
+        kind: z.ZodLiteral<"ran">;
+        entry: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").EntryUlid, string>>>;
     }, z.core.$strict>, z.ZodObject<{
-        stdout: z.ZodOptional<z.ZodString>;
-        stderr: z.ZodOptional<z.ZodString>;
-        truncated: z.ZodOptional<z.ZodLiteral<true>>;
-        failure: z.ZodEnum<{
-            "spawn-error": "spawn-error";
-            "candidate-unavailable": "candidate-unavailable";
+        snapshot: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
+        verdict: z.ZodEnum<{
+            satisfied: "satisfied";
+            unsatisfied: "unsatisfied";
         }>;
-        diagnostic: z.ZodString;
-    }, z.core.$strict>, z.ZodObject<{
-        stdout: z.ZodOptional<z.ZodString>;
-        stderr: z.ZodOptional<z.ZodString>;
-        truncated: z.ZodOptional<z.ZodLiteral<true>>;
-        failure: z.ZodLiteral<"environment-failure">;
-        diagnostic: z.ZodString;
+        entry: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").EntryUlid, string>>;
+        summary: z.ZodOptional<z.ZodString>;
+        kind: z.ZodLiteral<"reused">;
     }, z.core.$strict>, z.ZodObject<{
-        stdout: z.ZodOptional<z.ZodString>;
-        stderr: z.ZodOptional<z.ZodString>;
-        truncated: z.ZodOptional<z.ZodLiteral<true>>;
-        failure: z.ZodLiteral<"environment-failure">;
-        name: z.ZodString;
-        detail: z.ZodUnion<readonly [z.ZodObject<{
-            kind: z.ZodLiteral<"exit">;
-            code: z.ZodNumber;
-            stdout: z.ZodString;
-            stderr: z.ZodString;
-            truncated: z.ZodBoolean;
+        kind: z.ZodLiteral<"stopped">;
+        stop: z.ZodUnion<readonly [z.ZodObject<{
+            refusal: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    terminal: "terminal";
+                    "contract-missing": "contract-missing";
+                }>;
+                contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"verification-declaration-invalid">;
+                contractId: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>>;
+            }, z.core.$strict>]>;
         }, z.core.$strict>, z.ZodObject<{
+            retry: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodEnum<{
+                    exhausted: "exhausted";
+                    collision: "collision";
+                }>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"publication-failed">;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>, z.ZodUnion<readonly [z.ZodObject<{
             stdout: z.ZodOptional<z.ZodString>;
             stderr: z.ZodOptional<z.ZodString>;
-            truncated: z.ZodOptional<z.ZodBoolean>;
-            kind: z.ZodLiteral<"timeout">;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodEnum<{
+                cancelled: "cancelled";
+                "unknown-exit": "unknown-exit";
+            }>;
         }, z.core.$strict>, z.ZodObject<{
             stdout: z.ZodOptional<z.ZodString>;
             stderr: z.ZodOptional<z.ZodString>;
-            truncated: z.ZodOptional<z.ZodBoolean>;
-            kind: z.ZodLiteral<"unknown-exit">;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodEnum<{
+                "spawn-error": "spawn-error";
+                "candidate-unavailable": "candidate-unavailable";
+            }>;
+            diagnostic: z.ZodString;
         }, z.core.$strict>, z.ZodObject<{
-            kind: z.ZodLiteral<"spawn-error">;
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodLiteral<"environment-failure">;
             diagnostic: z.ZodString;
-        }, z.core.$strict>]>;
-    }, z.core.$strict>]>]>>;
-    verificationReuse: z.ZodOptional<z.ZodObject<{
-        entry: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").EntryUlid, string>>;
-        verdict: z.ZodEnum<{
-            satisfied: "satisfied";
-            unsatisfied: "unsatisfied";
-        }>;
-        summary: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>>;
-    verificationSubject: z.ZodOptional<z.ZodObject<{
-        mode: z.ZodEnum<{
-            reused: "reused";
-            ran: "ran";
-        }>;
-        verdict: z.ZodEnum<{
-            satisfied: "satisfied";
-            unsatisfied: "unsatisfied";
-        }>;
-        snapshot: z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>;
-    }, z.core.$strict>>;
-    verificationSummary: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            stdout: z.ZodOptional<z.ZodString>;
+            stderr: z.ZodOptional<z.ZodString>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+            failure: z.ZodLiteral<"environment-failure">;
+            name: z.ZodString;
+            detail: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"exit">;
+                code: z.ZodNumber;
+                stdout: z.ZodString;
+                stderr: z.ZodString;
+                truncated: z.ZodBoolean;
+            }, z.core.$strict>, z.ZodObject<{
+                stdout: z.ZodOptional<z.ZodString>;
+                stderr: z.ZodOptional<z.ZodString>;
+                truncated: z.ZodOptional<z.ZodBoolean>;
+                kind: z.ZodLiteral<"timeout">;
+            }, z.core.$strict>, z.ZodObject<{
+                stdout: z.ZodOptional<z.ZodString>;
+                stderr: z.ZodOptional<z.ZodString>;
+                truncated: z.ZodOptional<z.ZodBoolean>;
+                kind: z.ZodLiteral<"unknown-exit">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"spawn-error">;
+                diagnostic: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>]>]>;
+    }, z.core.$strict>], "kind">>;
     placement: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
         refusal: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
             kind: z.ZodEnum<{
@@ -995,6 +986,7 @@ declare function acceptedOutcomeSchema<Operation extends ContractVerb, Value>(op
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -1271,7 +1263,7 @@ declare function acceptedOutcomeSchema<Operation extends ContractVerb, Value>(op
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -1363,6 +1355,7 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -1639,7 +1632,7 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -1727,6 +1720,7 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -1895,8 +1889,8 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
             kind: "worktree-leak";
             contractId: ContractId;
             leak: {
-                path: string;
                 diagnostic: string;
+                path?: string | undefined;
             };
             snapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         } | {
@@ -2027,6 +2021,7 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -2195,8 +2190,8 @@ declare function refusedOutcomeSchema<Operation extends ContractVerb, Refusal>(o
             kind: "worktree-leak";
             contractId: ContractId;
             leak: {
-                path: string;
                 diagnostic: string;
+                path?: string | undefined;
             };
             snapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         } | {
@@ -2327,6 +2322,7 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -2603,7 +2599,7 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -2691,6 +2687,7 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -2859,8 +2856,8 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
             kind: "worktree-leak";
             contractId: ContractId;
             leak: {
-                path: string;
                 diagnostic: string;
+                path?: string | undefined;
             };
             snapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         } | {
@@ -2991,6 +2988,7 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -3159,8 +3157,8 @@ declare function retryOutcomeSchema<Operation extends ContractVerb>(operation: O
             kind: "worktree-leak";
             contractId: ContractId;
             leak: {
-                path: string;
                 diagnostic: string;
+                path?: string | undefined;
             };
             snapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         } | {
@@ -3290,6 +3288,7 @@ declare const handoffOutcomeSchema: z.ZodObject<{
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -3566,7 +3565,7 @@ declare const handoffOutcomeSchema: z.ZodObject<{
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -3770,6 +3769,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -4046,7 +4046,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -4171,6 +4171,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -4447,7 +4448,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -4566,6 +4567,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -4842,7 +4844,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -4903,81 +4905,81 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 filesChanged: number;
                 insertions: number;
             } | undefined;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
         } | undefined;
         verification?: {
-            refusal: {
-                kind: "terminal" | "contract-missing";
-                contractId: ContractId;
-            } | {
-                kind: "verification-declaration-invalid";
-                contractId?: ContractId | undefined;
-            };
-        } | {
-            retry: {
-                kind: "publication-failed";
-                diagnostic: string;
-            } | {
-                kind: "exhausted" | "collision";
-            };
-        } | {
-            failure: "cancelled" | "unknown-exit";
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | {
-            failure: "spawn-error" | "candidate-unavailable";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            kind: "ran";
+            summary?: string | undefined;
+            entry?: import("../core/facts/types.js").EntryUlid | undefined;
         } | {
-            failure: "environment-failure";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            entry: import("../core/facts/types.js").EntryUlid;
+            kind: "reused";
+            summary?: string | undefined;
         } | {
-            failure: "environment-failure";
-            name: string;
-            detail: {
-                kind: "exit";
-                code: number;
-                stdout: string;
-                stderr: string;
-                truncated: boolean;
+            kind: "stopped";
+            stop: {
+                refusal: {
+                    kind: "terminal" | "contract-missing";
+                    contractId: ContractId;
+                } | {
+                    kind: "verification-declaration-invalid";
+                    contractId?: ContractId | undefined;
+                };
             } | {
-                kind: "timeout";
+                retry: {
+                    kind: "publication-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "exhausted" | "collision";
+                };
+            } | {
+                failure: "cancelled" | "unknown-exit";
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "unknown-exit";
+                failure: "spawn-error" | "candidate-unavailable";
+                diagnostic: string;
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "spawn-error";
+                failure: "environment-failure";
                 diagnostic: string;
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
+            } | {
+                failure: "environment-failure";
+                name: string;
+                detail: {
+                    kind: "exit";
+                    code: number;
+                    stdout: string;
+                    stderr: string;
+                    truncated: boolean;
+                } | {
+                    kind: "timeout";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "unknown-exit";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "spawn-error";
+                    diagnostic: string;
+                };
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
             };
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | undefined;
-        verificationReuse?: {
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        } | undefined;
-        verificationSubject?: {
-            mode: "reused" | "ran";
-            verdict: "satisfied" | "unsatisfied";
-            snapshot: import("../core/facts/types.js").SnapshotId;
         } | undefined;
-        verificationSummary?: string | undefined;
         placement?: {
             refusal: {
                 kind: "checkout-not-followable";
@@ -5064,6 +5066,13 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         leading?: {
             kind: "admitted-now" | "already-admitted";
             fact: import("../core/facts/types.js").EntryUlid;
+            reusedIntegration?: import("../core/facts/types.js").SnapshotId | undefined;
+        } | undefined;
+        contentChange?: {
+            kind: "candidate-content-changed";
+            previousChange: import("../core/facts/types.js").ChangeId;
+            currentChange: import("../core/facts/types.js").ChangeId;
+            target?: string | undefined;
         } | undefined;
         continuation?: {
             claimed: readonly ContractId[];
@@ -5274,6 +5283,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 };
             }[];
         } | undefined;
+        note?: string | undefined;
         tenderSnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         integration?: {
             predecessor: import("../core/facts/types.js").SnapshotId;
@@ -5294,81 +5304,81 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 filesChanged: number;
                 insertions: number;
             } | undefined;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
         } | undefined;
         verification?: {
-            refusal: {
-                kind: "terminal" | "contract-missing";
-                contractId: ContractId;
-            } | {
-                kind: "verification-declaration-invalid";
-                contractId?: ContractId | undefined;
-            };
-        } | {
-            retry: {
-                kind: "publication-failed";
-                diagnostic: string;
-            } | {
-                kind: "exhausted" | "collision";
-            };
-        } | {
-            failure: "cancelled" | "unknown-exit";
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | {
-            failure: "spawn-error" | "candidate-unavailable";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            kind: "ran";
+            summary?: string | undefined;
+            entry?: import("../core/facts/types.js").EntryUlid | undefined;
         } | {
-            failure: "environment-failure";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            entry: import("../core/facts/types.js").EntryUlid;
+            kind: "reused";
+            summary?: string | undefined;
         } | {
-            failure: "environment-failure";
-            name: string;
-            detail: {
-                kind: "exit";
-                code: number;
-                stdout: string;
-                stderr: string;
-                truncated: boolean;
+            kind: "stopped";
+            stop: {
+                refusal: {
+                    kind: "terminal" | "contract-missing";
+                    contractId: ContractId;
+                } | {
+                    kind: "verification-declaration-invalid";
+                    contractId?: ContractId | undefined;
+                };
             } | {
-                kind: "timeout";
+                retry: {
+                    kind: "publication-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "exhausted" | "collision";
+                };
+            } | {
+                failure: "cancelled" | "unknown-exit";
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "unknown-exit";
+                failure: "spawn-error" | "candidate-unavailable";
+                diagnostic: string;
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "spawn-error";
+                failure: "environment-failure";
                 diagnostic: string;
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
+            } | {
+                failure: "environment-failure";
+                name: string;
+                detail: {
+                    kind: "exit";
+                    code: number;
+                    stdout: string;
+                    stderr: string;
+                    truncated: boolean;
+                } | {
+                    kind: "timeout";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "unknown-exit";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "spawn-error";
+                    diagnostic: string;
+                };
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
             };
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
         } | undefined;
-        verificationReuse?: {
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        } | undefined;
-        verificationSubject?: {
-            mode: "reused" | "ran";
-            verdict: "satisfied" | "unsatisfied";
-            snapshot: import("../core/facts/types.js").SnapshotId;
-        } | undefined;
-        verificationSummary?: string | undefined;
         placement?: {
             refusal: {
                 kind: "checkout-not-followable";
@@ -5455,6 +5465,13 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         leading?: {
             kind: "admitted-now" | "already-admitted";
             fact: import("../core/facts/types.js").EntryUlid;
+            reusedIntegration?: import("../core/facts/types.js").SnapshotId | undefined;
+        } | undefined;
+        contentChange?: {
+            kind: "candidate-content-changed";
+            previousChange: import("../core/facts/types.js").ChangeId;
+            currentChange: import("../core/facts/types.js").ChangeId;
+            target?: string | undefined;
         } | undefined;
         continuation?: {
             claimed: readonly ContractId[];
@@ -5665,6 +5682,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 };
             }[];
         } | undefined;
+        note?: string | undefined;
         tenderSnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
         integration?: {
             predecessor: import("../core/facts/types.js").SnapshotId;
@@ -5713,6 +5731,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -5989,7 +6008,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -6050,81 +6069,81 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 filesChanged: number;
                 insertions: number;
             } | undefined;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
         } | undefined;
         verification?: {
-            refusal: {
-                kind: "terminal" | "contract-missing";
-                contractId: ContractId;
-            } | {
-                kind: "verification-declaration-invalid";
-                contractId?: ContractId | undefined;
-            };
-        } | {
-            retry: {
-                kind: "publication-failed";
-                diagnostic: string;
-            } | {
-                kind: "exhausted" | "collision";
-            };
-        } | {
-            failure: "cancelled" | "unknown-exit";
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | {
-            failure: "spawn-error" | "candidate-unavailable";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            kind: "ran";
+            summary?: string | undefined;
+            entry?: import("../core/facts/types.js").EntryUlid | undefined;
         } | {
-            failure: "environment-failure";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            entry: import("../core/facts/types.js").EntryUlid;
+            kind: "reused";
+            summary?: string | undefined;
         } | {
-            failure: "environment-failure";
-            name: string;
-            detail: {
-                kind: "exit";
-                code: number;
-                stdout: string;
-                stderr: string;
-                truncated: boolean;
+            kind: "stopped";
+            stop: {
+                refusal: {
+                    kind: "terminal" | "contract-missing";
+                    contractId: ContractId;
+                } | {
+                    kind: "verification-declaration-invalid";
+                    contractId?: ContractId | undefined;
+                };
             } | {
-                kind: "timeout";
+                retry: {
+                    kind: "publication-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "exhausted" | "collision";
+                };
+            } | {
+                failure: "cancelled" | "unknown-exit";
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "unknown-exit";
+                failure: "spawn-error" | "candidate-unavailable";
+                diagnostic: string;
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "spawn-error";
+                failure: "environment-failure";
                 diagnostic: string;
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
+            } | {
+                failure: "environment-failure";
+                name: string;
+                detail: {
+                    kind: "exit";
+                    code: number;
+                    stdout: string;
+                    stderr: string;
+                    truncated: boolean;
+                } | {
+                    kind: "timeout";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "unknown-exit";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "spawn-error";
+                    diagnostic: string;
+                };
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
             };
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | undefined;
-        verificationReuse?: {
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        } | undefined;
-        verificationSubject?: {
-            mode: "reused" | "ran";
-            verdict: "satisfied" | "unsatisfied";
-            snapshot: import("../core/facts/types.js").SnapshotId;
         } | undefined;
-        verificationSummary?: string | undefined;
         placement?: {
             refusal: {
                 kind: "checkout-not-followable";
@@ -6438,81 +6457,81 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 filesChanged: number;
                 insertions: number;
             } | undefined;
-            verification?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-            } | undefined;
         } | undefined;
         verification?: {
-            refusal: {
-                kind: "terminal" | "contract-missing";
-                contractId: ContractId;
-            } | {
-                kind: "verification-declaration-invalid";
-                contractId?: ContractId | undefined;
-            };
-        } | {
-            retry: {
-                kind: "publication-failed";
-                diagnostic: string;
-            } | {
-                kind: "exhausted" | "collision";
-            };
-        } | {
-            failure: "cancelled" | "unknown-exit";
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
-        } | {
-            failure: "spawn-error" | "candidate-unavailable";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            kind: "ran";
+            summary?: string | undefined;
+            entry?: import("../core/facts/types.js").EntryUlid | undefined;
         } | {
-            failure: "environment-failure";
-            diagnostic: string;
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
+            snapshot: import("../core/facts/types.js").SnapshotId;
+            verdict: "satisfied" | "unsatisfied";
+            entry: import("../core/facts/types.js").EntryUlid;
+            kind: "reused";
+            summary?: string | undefined;
         } | {
-            failure: "environment-failure";
-            name: string;
-            detail: {
-                kind: "exit";
-                code: number;
-                stdout: string;
-                stderr: string;
-                truncated: boolean;
+            kind: "stopped";
+            stop: {
+                refusal: {
+                    kind: "terminal" | "contract-missing";
+                    contractId: ContractId;
+                } | {
+                    kind: "verification-declaration-invalid";
+                    contractId?: ContractId | undefined;
+                };
             } | {
-                kind: "timeout";
+                retry: {
+                    kind: "publication-failed";
+                    diagnostic: string;
+                } | {
+                    kind: "exhausted" | "collision";
+                };
+            } | {
+                failure: "cancelled" | "unknown-exit";
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "unknown-exit";
+                failure: "spawn-error" | "candidate-unavailable";
+                diagnostic: string;
                 stdout?: string | undefined;
                 stderr?: string | undefined;
-                truncated?: boolean | undefined;
+                truncated?: true | undefined;
             } | {
-                kind: "spawn-error";
+                failure: "environment-failure";
                 diagnostic: string;
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
+            } | {
+                failure: "environment-failure";
+                name: string;
+                detail: {
+                    kind: "exit";
+                    code: number;
+                    stdout: string;
+                    stderr: string;
+                    truncated: boolean;
+                } | {
+                    kind: "timeout";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "unknown-exit";
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: boolean | undefined;
+                } | {
+                    kind: "spawn-error";
+                    diagnostic: string;
+                };
+                stdout?: string | undefined;
+                stderr?: string | undefined;
+                truncated?: true | undefined;
             };
-            stdout?: string | undefined;
-            stderr?: string | undefined;
-            truncated?: true | undefined;
         } | undefined;
-        verificationReuse?: {
-            entry: import("../core/facts/types.js").EntryUlid;
-            verdict: "satisfied" | "unsatisfied";
-            summary?: string | undefined;
-        } | undefined;
-        verificationSubject?: {
-            mode: "reused" | "ran";
-            verdict: "satisfied" | "unsatisfied";
-            snapshot: import("../core/facts/types.js").SnapshotId;
-        } | undefined;
-        verificationSummary?: string | undefined;
         placement?: {
             refusal: {
                 kind: "checkout-not-followable";
@@ -6854,6 +6873,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -7130,7 +7150,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -7249,6 +7269,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 policy: {
                     requireBranchesToBeUpToDate: boolean;
                 };
+                note?: string | undefined;
             };
             scope: {
                 filesChanged: number;
@@ -7454,6 +7475,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 policy: {
                     requireBranchesToBeUpToDate: boolean;
                 };
+                note?: string | undefined;
             };
             scope: {
                 filesChanged: number;
@@ -7629,6 +7651,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -7905,7 +7928,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -7994,6 +8017,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         at: string;
         actor?: import("../core/facts/types.js").ActorId;
         data: Readonly<{
+            note?: string;
             tenderSnapshot: import("../core/facts/types.js").SnapshotId;
             integration: Readonly<{
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -8270,7 +8294,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
             contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
             snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
             leak: z.ZodObject<{
-                path: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
                 diagnostic: z.ZodString;
             }, z.core.$strict>;
         }, z.core.$strict>, z.ZodObject<{
@@ -8416,6 +8440,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -8692,7 +8717,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -8817,6 +8842,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -9093,7 +9119,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -9212,6 +9238,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -9488,7 +9515,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -9549,81 +9576,81 @@ declare const failureWireSchema: z.ZodObject<{
                     filesChanged: number;
                     insertions: number;
                 } | undefined;
-                verification?: {
-                    mode: "reused" | "ran";
-                    verdict: "satisfied" | "unsatisfied";
-                } | undefined;
             } | undefined;
             verification?: {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            } | {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                kind: "ran";
+                summary?: string | undefined;
+                entry?: import("../core/facts/types.js").EntryUlid | undefined;
             } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                entry: import("../core/facts/types.js").EntryUlid;
+                kind: "reused";
+                summary?: string | undefined;
             } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
+                kind: "stopped";
+                stop: {
+                    refusal: {
+                        kind: "terminal" | "contract-missing";
+                        contractId: ContractId;
+                    } | {
+                        kind: "verification-declaration-invalid";
+                        contractId?: ContractId | undefined;
+                    };
                 } | {
-                    kind: "timeout";
+                    retry: {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    } | {
+                        kind: "exhausted" | "collision";
+                    };
+                } | {
+                    failure: "cancelled" | "unknown-exit";
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "unknown-exit";
+                    failure: "spawn-error" | "candidate-unavailable";
+                    diagnostic: string;
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "spawn-error";
+                    failure: "environment-failure";
                     diagnostic: string;
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
+                } | {
+                    failure: "environment-failure";
+                    name: string;
+                    detail: {
+                        kind: "exit";
+                        code: number;
+                        stdout: string;
+                        stderr: string;
+                        truncated: boolean;
+                    } | {
+                        kind: "timeout";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "unknown-exit";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "spawn-error";
+                        diagnostic: string;
+                    };
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
                 };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
             } | undefined;
-            verificationReuse?: {
-                entry: import("../core/facts/types.js").EntryUlid;
-                verdict: "satisfied" | "unsatisfied";
-                summary?: string | undefined;
-            } | undefined;
-            verificationSubject?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-                snapshot: import("../core/facts/types.js").SnapshotId;
-            } | undefined;
-            verificationSummary?: string | undefined;
             placement?: {
                 refusal: {
                     kind: "checkout-not-followable";
@@ -9710,6 +9737,13 @@ declare const failureWireSchema: z.ZodObject<{
             leading?: {
                 kind: "admitted-now" | "already-admitted";
                 fact: import("../core/facts/types.js").EntryUlid;
+                reusedIntegration?: import("../core/facts/types.js").SnapshotId | undefined;
+            } | undefined;
+            contentChange?: {
+                kind: "candidate-content-changed";
+                previousChange: import("../core/facts/types.js").ChangeId;
+                currentChange: import("../core/facts/types.js").ChangeId;
+                target?: string | undefined;
             } | undefined;
             continuation?: {
                 claimed: readonly ContractId[];
@@ -9920,6 +9954,7 @@ declare const failureWireSchema: z.ZodObject<{
                     };
                 }[];
             } | undefined;
+            note?: string | undefined;
             tenderSnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
             integration?: {
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -9940,81 +9975,81 @@ declare const failureWireSchema: z.ZodObject<{
                     filesChanged: number;
                     insertions: number;
                 } | undefined;
-                verification?: {
-                    mode: "reused" | "ran";
-                    verdict: "satisfied" | "unsatisfied";
-                } | undefined;
             } | undefined;
             verification?: {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            } | {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                kind: "ran";
+                summary?: string | undefined;
+                entry?: import("../core/facts/types.js").EntryUlid | undefined;
             } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                entry: import("../core/facts/types.js").EntryUlid;
+                kind: "reused";
+                summary?: string | undefined;
             } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
+                kind: "stopped";
+                stop: {
+                    refusal: {
+                        kind: "terminal" | "contract-missing";
+                        contractId: ContractId;
+                    } | {
+                        kind: "verification-declaration-invalid";
+                        contractId?: ContractId | undefined;
+                    };
                 } | {
-                    kind: "timeout";
+                    retry: {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    } | {
+                        kind: "exhausted" | "collision";
+                    };
+                } | {
+                    failure: "cancelled" | "unknown-exit";
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "unknown-exit";
+                    failure: "spawn-error" | "candidate-unavailable";
+                    diagnostic: string;
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
+                } | {
+                    failure: "environment-failure";
+                    diagnostic: string;
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
+                } | {
+                    failure: "environment-failure";
+                    name: string;
+                    detail: {
+                        kind: "exit";
+                        code: number;
+                        stdout: string;
+                        stderr: string;
+                        truncated: boolean;
+                    } | {
+                        kind: "timeout";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "unknown-exit";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "spawn-error";
+                        diagnostic: string;
+                    };
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
-                } | {
-                    kind: "spawn-error";
-                    diagnostic: string;
+                    truncated?: true | undefined;
                 };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | undefined;
-            verificationReuse?: {
-                entry: import("../core/facts/types.js").EntryUlid;
-                verdict: "satisfied" | "unsatisfied";
-                summary?: string | undefined;
-            } | undefined;
-            verificationSubject?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-                snapshot: import("../core/facts/types.js").SnapshotId;
             } | undefined;
-            verificationSummary?: string | undefined;
             placement?: {
                 refusal: {
                     kind: "checkout-not-followable";
@@ -10101,6 +10136,13 @@ declare const failureWireSchema: z.ZodObject<{
             leading?: {
                 kind: "admitted-now" | "already-admitted";
                 fact: import("../core/facts/types.js").EntryUlid;
+                reusedIntegration?: import("../core/facts/types.js").SnapshotId | undefined;
+            } | undefined;
+            contentChange?: {
+                kind: "candidate-content-changed";
+                previousChange: import("../core/facts/types.js").ChangeId;
+                currentChange: import("../core/facts/types.js").ChangeId;
+                target?: string | undefined;
             } | undefined;
             continuation?: {
                 claimed: readonly ContractId[];
@@ -10311,6 +10353,7 @@ declare const failureWireSchema: z.ZodObject<{
                     };
                 }[];
             } | undefined;
+            note?: string | undefined;
             tenderSnapshot?: import("../core/facts/types.js").SnapshotId | undefined;
             integration?: {
                 predecessor: import("../core/facts/types.js").SnapshotId;
@@ -10359,6 +10402,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -10635,7 +10679,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -10696,81 +10740,81 @@ declare const failureWireSchema: z.ZodObject<{
                     filesChanged: number;
                     insertions: number;
                 } | undefined;
-                verification?: {
-                    mode: "reused" | "ran";
-                    verdict: "satisfied" | "unsatisfied";
-                } | undefined;
             } | undefined;
             verification?: {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            } | {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                kind: "ran";
+                summary?: string | undefined;
+                entry?: import("../core/facts/types.js").EntryUlid | undefined;
             } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                entry: import("../core/facts/types.js").EntryUlid;
+                kind: "reused";
+                summary?: string | undefined;
             } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
+                kind: "stopped";
+                stop: {
+                    refusal: {
+                        kind: "terminal" | "contract-missing";
+                        contractId: ContractId;
+                    } | {
+                        kind: "verification-declaration-invalid";
+                        contractId?: ContractId | undefined;
+                    };
                 } | {
-                    kind: "timeout";
+                    retry: {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    } | {
+                        kind: "exhausted" | "collision";
+                    };
+                } | {
+                    failure: "cancelled" | "unknown-exit";
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "unknown-exit";
+                    failure: "spawn-error" | "candidate-unavailable";
+                    diagnostic: string;
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "spawn-error";
+                    failure: "environment-failure";
                     diagnostic: string;
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
+                } | {
+                    failure: "environment-failure";
+                    name: string;
+                    detail: {
+                        kind: "exit";
+                        code: number;
+                        stdout: string;
+                        stderr: string;
+                        truncated: boolean;
+                    } | {
+                        kind: "timeout";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "unknown-exit";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "spawn-error";
+                        diagnostic: string;
+                    };
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
                 };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | undefined;
-            verificationReuse?: {
-                entry: import("../core/facts/types.js").EntryUlid;
-                verdict: "satisfied" | "unsatisfied";
-                summary?: string | undefined;
-            } | undefined;
-            verificationSubject?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-                snapshot: import("../core/facts/types.js").SnapshotId;
             } | undefined;
-            verificationSummary?: string | undefined;
             placement?: {
                 refusal: {
                     kind: "checkout-not-followable";
@@ -11084,81 +11128,81 @@ declare const failureWireSchema: z.ZodObject<{
                     filesChanged: number;
                     insertions: number;
                 } | undefined;
-                verification?: {
-                    mode: "reused" | "ran";
-                    verdict: "satisfied" | "unsatisfied";
-                } | undefined;
             } | undefined;
             verification?: {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            } | {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                kind: "ran";
+                summary?: string | undefined;
+                entry?: import("../core/facts/types.js").EntryUlid | undefined;
             } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
+                snapshot: import("../core/facts/types.js").SnapshotId;
+                verdict: "satisfied" | "unsatisfied";
+                entry: import("../core/facts/types.js").EntryUlid;
+                kind: "reused";
+                summary?: string | undefined;
             } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
+                kind: "stopped";
+                stop: {
+                    refusal: {
+                        kind: "terminal" | "contract-missing";
+                        contractId: ContractId;
+                    } | {
+                        kind: "verification-declaration-invalid";
+                        contractId?: ContractId | undefined;
+                    };
                 } | {
-                    kind: "timeout";
+                    retry: {
+                        kind: "publication-failed";
+                        diagnostic: string;
+                    } | {
+                        kind: "exhausted" | "collision";
+                    };
+                } | {
+                    failure: "cancelled" | "unknown-exit";
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "unknown-exit";
+                    failure: "spawn-error" | "candidate-unavailable";
+                    diagnostic: string;
                     stdout?: string | undefined;
                     stderr?: string | undefined;
-                    truncated?: boolean | undefined;
+                    truncated?: true | undefined;
                 } | {
-                    kind: "spawn-error";
+                    failure: "environment-failure";
                     diagnostic: string;
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
+                } | {
+                    failure: "environment-failure";
+                    name: string;
+                    detail: {
+                        kind: "exit";
+                        code: number;
+                        stdout: string;
+                        stderr: string;
+                        truncated: boolean;
+                    } | {
+                        kind: "timeout";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "unknown-exit";
+                        stdout?: string | undefined;
+                        stderr?: string | undefined;
+                        truncated?: boolean | undefined;
+                    } | {
+                        kind: "spawn-error";
+                        diagnostic: string;
+                    };
+                    stdout?: string | undefined;
+                    stderr?: string | undefined;
+                    truncated?: true | undefined;
                 };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | undefined;
-            verificationReuse?: {
-                entry: import("../core/facts/types.js").EntryUlid;
-                verdict: "satisfied" | "unsatisfied";
-                summary?: string | undefined;
-            } | undefined;
-            verificationSubject?: {
-                mode: "reused" | "ran";
-                verdict: "satisfied" | "unsatisfied";
-                snapshot: import("../core/facts/types.js").SnapshotId;
             } | undefined;
-            verificationSummary?: string | undefined;
             placement?: {
                 refusal: {
                     kind: "checkout-not-followable";
@@ -11500,6 +11544,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -11776,7 +11821,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -11895,6 +11940,7 @@ declare const failureWireSchema: z.ZodObject<{
                     policy: {
                         requireBranchesToBeUpToDate: boolean;
                     };
+                    note?: string | undefined;
                 };
                 scope: {
                     filesChanged: number;
@@ -12100,6 +12146,7 @@ declare const failureWireSchema: z.ZodObject<{
                     policy: {
                         requireBranchesToBeUpToDate: boolean;
                     };
+                    note?: string | undefined;
                 };
                 scope: {
                     filesChanged: number;
@@ -12275,6 +12322,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -12551,7 +12599,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{
@@ -12640,6 +12688,7 @@ declare const failureWireSchema: z.ZodObject<{
             at: string;
             actor?: import("../core/facts/types.js").ActorId;
             data: Readonly<{
+                note?: string;
                 tenderSnapshot: import("../core/facts/types.js").SnapshotId;
                 integration: Readonly<{
                     predecessor: import("../core/facts/types.js").SnapshotId;
@@ -12916,7 +12965,7 @@ declare const failureWireSchema: z.ZodObject<{
                 contractId: z.ZodPipe<z.ZodString, z.ZodTransform<ContractId, string>>;
                 snapshot: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<import("../core/facts/types.js").SnapshotId, string>>>;
                 leak: z.ZodObject<{
-                    path: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
                     diagnostic: z.ZodString;
                 }, z.core.$strict>;
             }, z.core.$strict>, z.ZodObject<{