@intentic/sandbox-contract 1.310.0 → 1.312.0

package/dist/contracts/agents.contract.d.ts

@@ -97,6 +97,30 @@ export declare const agentsContract: {
             promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
+                rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            }, import("zod/v4/core").$strip>>;
+            keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+                since: import("zod").ZodNumber;
+                until: import("zod").ZodNumber;
+                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                refreshes: import("zod").ZodNumber;
+                readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                    at: import("zod").ZodNumber;
+                    reason: import("zod").ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: import("zod").ZodOptional<import("zod").ZodString>;
+                }, import("zod/v4/core").$strip>>;
             }, import("zod/v4/core").$strip>>;
             activity: import("zod").ZodOptional<import("zod").ZodObject<{
                 tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -180,6 +204,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -229,6 +264,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -350,6 +393,30 @@ export declare const agentsContract: {
             promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
+                rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            }, import("zod/v4/core").$strip>>;
+            keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+                since: import("zod").ZodNumber;
+                until: import("zod").ZodNumber;
+                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                refreshes: import("zod").ZodNumber;
+                readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                    at: import("zod").ZodNumber;
+                    reason: import("zod").ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: import("zod").ZodOptional<import("zod").ZodString>;
+                }, import("zod/v4/core").$strip>>;
             }, import("zod/v4/core").$strip>>;
             activity: import("zod").ZodOptional<import("zod").ZodObject<{
                 tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -433,6 +500,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -482,6 +560,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -621,6 +707,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -704,6 +814,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -753,6 +874,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -1088,21 +1217,587 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    toolChildren: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
-        id: import("zod").ZodString;
-        toolId: import("zod").ZodString;
-    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
-        children: import("zod").ZodArray<import("zod").ZodType<import("../events/transcript.js").TranscriptTool, unknown, import("zod/v4/core").$ZodTypeInternals<import("../events/transcript.js").TranscriptTool, unknown>>>;
-    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    place: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
-        id: import("zod").ZodString;
-        text: import("zod").ZodString;
-    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
-        ok: import("zod").ZodLiteral<true>;
-    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    rename: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+    toolChildren: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        toolId: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        children: import("zod").ZodArray<import("zod").ZodType<import("../events/transcript.js").TranscriptTool, unknown, import("zod/v4/core").$ZodTypeInternals<import("../events/transcript.js").TranscriptTool, unknown>>>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    place: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        text: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        ok: import("zod").ZodLiteral<true>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    rename: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        title: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        sessionId: import("zod").ZodOptional<import("zod").ZodString>;
+        title: import("zod").ZodOptional<import("zod").ZodString>;
+        titleAction: import("zod").ZodOptional<import("zod").ZodString>;
+        status: import("zod").ZodEnum<{
+            awaiting: "awaiting";
+            conflict: "conflict";
+            dismissing: "dismissing";
+            error: "error";
+            idle: "idle";
+            interrupted: "interrupted";
+            landed: "landed";
+            landing: "landing";
+            ready: "ready";
+            resuming: "resuming";
+            running: "running";
+            stopped: "stopped";
+            stopping: "stopping";
+        }>;
+        failure: import("zod").ZodOptional<import("zod").ZodString>;
+        failureCode: import("zod").ZodOptional<import("zod").ZodString>;
+        limitResetsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        limitHeld: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitScheduled: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitMoving: import("zod").ZodOptional<import("zod").ZodString>;
+        provider: import("zod").ZodString;
+        harness: import("zod").ZodEnum<{
+            "claude-code": "claude-code";
+            native: "native";
+        }>;
+        runner: import("zod").ZodOptional<import("zod").ZodString>;
+        startIn: import("zod").ZodOptional<import("zod").ZodString>;
+        actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        model: import("zod").ZodOptional<import("zod").ZodString>;
+        effort: import("zod").ZodOptional<import("zod").ZodString>;
+        thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        account: import("zod").ZodOptional<import("zod").ZodString>;
+        branch: import("zod").ZodOptional<import("zod").ZodString>;
+        autoLand: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            move: "move";
+            resend: "resend";
+            wait: "wait";
+        }>>;
+        outagePolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        stopPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        landRequested: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            at: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        reactions: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            emoji: import("zod").ZodString;
+            by: import("zod").ZodArray<import("zod").ZodObject<{
+                email: import("zod").ZodString;
+                name: import("zod").ZodOptional<import("zod").ZodString>;
+                at: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>>;
+        origin: import("zod").ZodOptional<import("zod").ZodObject<{
+            automationId: import("zod").ZodString;
+            provider: import("zod").ZodString;
+            channelId: import("zod").ZodOptional<import("zod").ZodString>;
+            author: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedBy: import("zod").ZodOptional<import("zod").ZodString>;
+        areas: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        owner: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            since: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        forkedFrom: import("zod").ZodOptional<import("zod").ZodObject<{
+            conversationId: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            files: import("zod").ZodEnum<{
+                now: "now";
+                then: "then";
+            }>;
+        }, import("zod/v4/core").$strip>>;
+        base: import("zod").ZodOptional<import("zod").ZodString>;
+        costUsd: import("zod").ZodOptional<import("zod").ZodNumber>;
+        inputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        outputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextWindow: import("zod").ZodOptional<import("zod").ZodNumber>;
+        promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>;
+        activity: import("zod").ZodOptional<import("zod").ZodObject<{
+            tool: import("zod").ZodOptional<import("zod").ZodString>;
+            target: import("zod").ZodOptional<import("zod").ZodString>;
+            todo: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        checklist: import("zod").ZodOptional<import("zod").ZodObject<{
+            done: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedMessageDraft: import("zod").ZodOptional<import("zod").ZodObject<{
+            startedAt: import("zod").ZodNumber;
+            steps: import("zod").ZodArray<import("zod").ZodObject<{
+                provider: import("zod").ZodString;
+                model: import("zod").ZodString;
+                status: import("zod").ZodEnum<{
+                    answered: "answered";
+                    asking: "asking";
+                    refused: "refused";
+                    skipped: "skipped";
+                }>;
+                at: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ms: import("zod").ZodOptional<import("zod").ZodNumber>;
+                reason: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            outcome: import("zod").ZodOptional<import("zod").ZodEnum<{
+                failed: "failed";
+                written: "written";
+            }>>;
+            reason: import("zod").ZodOptional<import("zod").ZodString>;
+            finishedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        landedMessage: import("zod").ZodOptional<import("zod").ZodObject<{
+            subject: import("zod").ZodString;
+            note: import("zod").ZodOptional<import("zod").ZodString>;
+            breaking: import("zod").ZodOptional<import("zod").ZodString>;
+            testNote: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        run: import("zod").ZodOptional<import("zod").ZodString>;
+        queue: import("zod").ZodOptional<import("zod").ZodObject<{
+            items: import("zod").ZodArray<import("zod").ZodObject<{
+                id: import("zod").ZodString;
+                text: import("zod").ZodString;
+                attachments: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+                voice: import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    sandbox: "sandbox";
+                }>;
+                queuedAt: import("zod").ZodNumber;
+                revision: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+            revision: import("zod").ZodNumber;
+            paused: import("zod").ZodOptional<import("zod").ZodEnum<{
+                refused: "refused";
+                stopped: "stopped";
+            }>>;
+        }, import("zod/v4/core").$strip>>;
+        updatedAt: import("zod").ZodNumber;
+        seenAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        attention: import("zod").ZodObject<{
+            plan: import("zod").ZodBoolean;
+            question: import("zod").ZodBoolean;
+            permission: import("zod").ZodBoolean;
+            capability: import("zod").ZodBoolean;
+            credential: import("zod").ZodBoolean;
+            conflict: import("zod").ZodBoolean;
+        }, import("zod/v4/core").$strip>;
+        conflictCauses: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodEnum<{
+            binary: "binary";
+            diverged: "diverged";
+            workspace: "workspace";
+        }>>>;
+        unfinished: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            steps: import("zod").ZodOptional<import("zod").ZodObject<{
+                open: import("zod").ZodNumber;
+                total: import("zod").ZodNumber;
+                next: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        turns: import("zod").ZodOptional<import("zod").ZodNumber>;
+        toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
+        subagents: import("zod").ZodOptional<import("zod").ZodObject<{
+            running: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        diff: import("zod").ZodOptional<import("zod").ZodObject<{
+            files: import("zod").ZodNumber;
+            insertions: import("zod").ZodNumber;
+            deletions: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedPresence: import("zod").ZodOptional<import("zod").ZodObject<{
+            landed: import("zod").ZodNumber;
+            present: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        loop: import("zod").ZodOptional<import("zod").ZodObject<{
+            state: import("zod").ZodEnum<{
+                done: "done";
+                error: "error";
+                exhausted: "exhausted";
+                overspent: "overspent";
+                running: "running";
+                stalled: "stalled";
+                stopped: "stopped";
+            }>;
+            iteration: import("zod").ZodNumber;
+            maxIterations: import("zod").ZodNumber;
+            goal: import("zod").ZodString;
+        }, import("zod/v4/core").$strip>>;
+        workflow: import("zod").ZodOptional<import("zod").ZodObject<{
+            runId: import("zod").ZodString;
+            name: import("zod").ZodString;
+            step: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            note: import("zod").ZodString;
+            intervalSeconds: import("zod").ZodNumber;
+            deadlineAt: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>>;
+        jobs: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            label: import("zod").ZodString;
+            session: import("zod").ZodString;
+            startedAt: import("zod").ZodNumber;
+            endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
+        }, import("zod/v4/core").$strip>>>;
+        archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    autoLand: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        autoLand: import("zod").ZodNullable<import("zod").ZodBoolean>;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        sessionId: import("zod").ZodOptional<import("zod").ZodString>;
+        title: import("zod").ZodOptional<import("zod").ZodString>;
+        titleAction: import("zod").ZodOptional<import("zod").ZodString>;
+        status: import("zod").ZodEnum<{
+            awaiting: "awaiting";
+            conflict: "conflict";
+            dismissing: "dismissing";
+            error: "error";
+            idle: "idle";
+            interrupted: "interrupted";
+            landed: "landed";
+            landing: "landing";
+            ready: "ready";
+            resuming: "resuming";
+            running: "running";
+            stopped: "stopped";
+            stopping: "stopping";
+        }>;
+        failure: import("zod").ZodOptional<import("zod").ZodString>;
+        failureCode: import("zod").ZodOptional<import("zod").ZodString>;
+        limitResetsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        limitHeld: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitScheduled: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitMoving: import("zod").ZodOptional<import("zod").ZodString>;
+        provider: import("zod").ZodString;
+        harness: import("zod").ZodEnum<{
+            "claude-code": "claude-code";
+            native: "native";
+        }>;
+        runner: import("zod").ZodOptional<import("zod").ZodString>;
+        startIn: import("zod").ZodOptional<import("zod").ZodString>;
+        actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        model: import("zod").ZodOptional<import("zod").ZodString>;
+        effort: import("zod").ZodOptional<import("zod").ZodString>;
+        thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        account: import("zod").ZodOptional<import("zod").ZodString>;
+        branch: import("zod").ZodOptional<import("zod").ZodString>;
+        autoLand: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            move: "move";
+            resend: "resend";
+            wait: "wait";
+        }>>;
+        outagePolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        stopPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        landRequested: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            at: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        reactions: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            emoji: import("zod").ZodString;
+            by: import("zod").ZodArray<import("zod").ZodObject<{
+                email: import("zod").ZodString;
+                name: import("zod").ZodOptional<import("zod").ZodString>;
+                at: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>>;
+        origin: import("zod").ZodOptional<import("zod").ZodObject<{
+            automationId: import("zod").ZodString;
+            provider: import("zod").ZodString;
+            channelId: import("zod").ZodOptional<import("zod").ZodString>;
+            author: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedBy: import("zod").ZodOptional<import("zod").ZodString>;
+        areas: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        owner: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            since: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        forkedFrom: import("zod").ZodOptional<import("zod").ZodObject<{
+            conversationId: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            files: import("zod").ZodEnum<{
+                now: "now";
+                then: "then";
+            }>;
+        }, import("zod/v4/core").$strip>>;
+        base: import("zod").ZodOptional<import("zod").ZodString>;
+        costUsd: import("zod").ZodOptional<import("zod").ZodNumber>;
+        inputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        outputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextWindow: import("zod").ZodOptional<import("zod").ZodNumber>;
+        promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>;
+        activity: import("zod").ZodOptional<import("zod").ZodObject<{
+            tool: import("zod").ZodOptional<import("zod").ZodString>;
+            target: import("zod").ZodOptional<import("zod").ZodString>;
+            todo: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        checklist: import("zod").ZodOptional<import("zod").ZodObject<{
+            done: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedMessageDraft: import("zod").ZodOptional<import("zod").ZodObject<{
+            startedAt: import("zod").ZodNumber;
+            steps: import("zod").ZodArray<import("zod").ZodObject<{
+                provider: import("zod").ZodString;
+                model: import("zod").ZodString;
+                status: import("zod").ZodEnum<{
+                    answered: "answered";
+                    asking: "asking";
+                    refused: "refused";
+                    skipped: "skipped";
+                }>;
+                at: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ms: import("zod").ZodOptional<import("zod").ZodNumber>;
+                reason: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            outcome: import("zod").ZodOptional<import("zod").ZodEnum<{
+                failed: "failed";
+                written: "written";
+            }>>;
+            reason: import("zod").ZodOptional<import("zod").ZodString>;
+            finishedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        landedMessage: import("zod").ZodOptional<import("zod").ZodObject<{
+            subject: import("zod").ZodString;
+            note: import("zod").ZodOptional<import("zod").ZodString>;
+            breaking: import("zod").ZodOptional<import("zod").ZodString>;
+            testNote: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        run: import("zod").ZodOptional<import("zod").ZodString>;
+        queue: import("zod").ZodOptional<import("zod").ZodObject<{
+            items: import("zod").ZodArray<import("zod").ZodObject<{
+                id: import("zod").ZodString;
+                text: import("zod").ZodString;
+                attachments: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+                voice: import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    sandbox: "sandbox";
+                }>;
+                queuedAt: import("zod").ZodNumber;
+                revision: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+            revision: import("zod").ZodNumber;
+            paused: import("zod").ZodOptional<import("zod").ZodEnum<{
+                refused: "refused";
+                stopped: "stopped";
+            }>>;
+        }, import("zod/v4/core").$strip>>;
+        updatedAt: import("zod").ZodNumber;
+        seenAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        attention: import("zod").ZodObject<{
+            plan: import("zod").ZodBoolean;
+            question: import("zod").ZodBoolean;
+            permission: import("zod").ZodBoolean;
+            capability: import("zod").ZodBoolean;
+            credential: import("zod").ZodBoolean;
+            conflict: import("zod").ZodBoolean;
+        }, import("zod/v4/core").$strip>;
+        conflictCauses: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodEnum<{
+            binary: "binary";
+            diverged: "diverged";
+            workspace: "workspace";
+        }>>>;
+        unfinished: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            steps: import("zod").ZodOptional<import("zod").ZodObject<{
+                open: import("zod").ZodNumber;
+                total: import("zod").ZodNumber;
+                next: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        turns: import("zod").ZodOptional<import("zod").ZodNumber>;
+        toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
+        subagents: import("zod").ZodOptional<import("zod").ZodObject<{
+            running: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        diff: import("zod").ZodOptional<import("zod").ZodObject<{
+            files: import("zod").ZodNumber;
+            insertions: import("zod").ZodNumber;
+            deletions: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedPresence: import("zod").ZodOptional<import("zod").ZodObject<{
+            landed: import("zod").ZodNumber;
+            present: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        loop: import("zod").ZodOptional<import("zod").ZodObject<{
+            state: import("zod").ZodEnum<{
+                done: "done";
+                error: "error";
+                exhausted: "exhausted";
+                overspent: "overspent";
+                running: "running";
+                stalled: "stalled";
+                stopped: "stopped";
+            }>;
+            iteration: import("zod").ZodNumber;
+            maxIterations: import("zod").ZodNumber;
+            goal: import("zod").ZodString;
+        }, import("zod/v4/core").$strip>>;
+        workflow: import("zod").ZodOptional<import("zod").ZodObject<{
+            runId: import("zod").ZodString;
+            name: import("zod").ZodString;
+            step: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            note: import("zod").ZodString;
+            intervalSeconds: import("zod").ZodNumber;
+            deadlineAt: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>>;
+        jobs: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            label: import("zod").ZodString;
+            session: import("zod").ZodString;
+            startedAt: import("zod").ZodNumber;
+            endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
+        }, import("zod/v4/core").$strip>>>;
+        archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    breakPolicy: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
-        title: import("zod").ZodString;
+        ending: import("zod").ZodEnum<{
+            limit: "limit";
+            outage: "outage";
+            stopped: "stopped";
+        }>;
+        policy: import("zod").ZodNullable<import("zod").ZodEnum<{
+            move: "move";
+            resend: "resend";
+            retry: "retry";
+            wait: "wait";
+        }>>;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         id: import("zod").ZodString;
         sessionId: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1200,6 +1895,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1283,6 +2002,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1332,12 +2062,20 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    autoLand: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+    keepWarm: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
-        autoLand: import("zod").ZodNullable<import("zod").ZodBoolean>;
+        until: import("zod").ZodNullable<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         id: import("zod").ZodString;
         sessionId: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1435,6 +2173,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1518,6 +2280,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1567,22 +2340,19 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    breakPolicy: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+    seen: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
-        ending: import("zod").ZodEnum<{
-            limit: "limit";
-            outage: "outage";
-            stopped: "stopped";
-        }>;
-        policy: import("zod").ZodNullable<import("zod").ZodEnum<{
-            move: "move";
-            resend: "resend";
-            retry: "retry";
-            wait: "wait";
-        }>>;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         id: import("zod").ZodString;
         sessionId: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1680,6 +2450,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1763,6 +2557,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1812,11 +2617,20 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    seen: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+    stopWatching: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
+        watchId: import("zod").ZodOptional<import("zod").ZodString>;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         id: import("zod").ZodString;
         sessionId: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1914,6 +2728,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1997,6 +2835,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2046,12 +2895,20 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
-    stopWatching: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+    stopJob: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
-        watchId: import("zod").ZodOptional<import("zod").ZodString>;
+        jobId: import("zod").ZodString;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         id: import("zod").ZodString;
         sessionId: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2149,6 +3006,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2232,6 +3113,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2281,6 +3173,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -2382,6 +3282,30 @@ export declare const agentsContract: {
             promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
+                rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            }, import("zod/v4/core").$strip>>;
+            keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+                since: import("zod").ZodNumber;
+                until: import("zod").ZodNumber;
+                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                refreshes: import("zod").ZodNumber;
+                readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                    at: import("zod").ZodNumber;
+                    reason: import("zod").ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: import("zod").ZodOptional<import("zod").ZodString>;
+                }, import("zod/v4/core").$strip>>;
             }, import("zod/v4/core").$strip>>;
             activity: import("zod").ZodOptional<import("zod").ZodObject<{
                 tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2465,6 +3389,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2514,6 +3449,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -2601,6 +3544,23 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    conflicts: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conflicts: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            repo: import("zod").ZodString;
+            paths: import("zod").ZodArray<import("zod").ZodObject<{
+                path: import("zod").ZodString;
+                reason: import("zod").ZodEnum<{
+                    binary: "binary";
+                    diverged: "diverged";
+                    workspace: "workspace";
+                }>;
+            }, import("zod/v4/core").$strip>>;
+            clean: import("zod").ZodNumber;
+            mainBranch: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     history: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
@@ -2667,6 +3627,27 @@ export declare const agentsContract: {
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         ok: import("zod").ZodLiteral<true>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    pushFix: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        project: import("zod").ZodString;
+        pick: import("zod").ZodOptional<import("zod").ZodObject<{
+            agent: import("zod").ZodString;
+            model: import("zod").ZodString;
+            account: import("zod").ZodOptional<import("zod").ZodString>;
+            harness: import("zod").ZodOptional<import("zod").ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>>;
+            effort: import("zod").ZodOptional<import("zod").ZodString>;
+            thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        mode: import("zod").ZodOptional<import("zod").ZodEnum<{
+            continue: "continue";
+            "start-over": "start-over";
+        }>>;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conversationId: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     land: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
         mode: import("zod").ZodOptional<import("zod").ZodEnum<{
@@ -2800,6 +3781,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2883,6 +3888,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2932,6 +3948,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3035,6 +4059,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3118,6 +4166,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3167,6 +4226,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3271,6 +4338,30 @@ export declare const agentsContract: {
         promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>;
         activity: import("zod").ZodOptional<import("zod").ZodObject<{
             tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3354,6 +4445,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3403,6 +4505,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3412,7 +4522,7 @@ export declare const agentsContract: {
         ok: import("zod").ZodLiteral<true>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     archive: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
-        ids: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        ids: import("zod").ZodArray<import("zod").ZodString>;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         moved: import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
@@ -3511,6 +4621,30 @@ export declare const agentsContract: {
             promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
+                rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            }, import("zod/v4/core").$strip>>;
+            keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+                since: import("zod").ZodNumber;
+                until: import("zod").ZodNumber;
+                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                refreshes: import("zod").ZodNumber;
+                readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                    at: import("zod").ZodNumber;
+                    reason: import("zod").ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: import("zod").ZodOptional<import("zod").ZodString>;
+                }, import("zod/v4/core").$strip>>;
             }, import("zod/v4/core").$strip>>;
             activity: import("zod").ZodOptional<import("zod").ZodObject<{
                 tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3594,6 +4728,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3643,6 +4788,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -3752,6 +4905,30 @@ export declare const agentsContract: {
             promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
+                rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            }, import("zod/v4/core").$strip>>;
+            keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+                since: import("zod").ZodNumber;
+                until: import("zod").ZodNumber;
+                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                refreshes: import("zod").ZodNumber;
+                readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                    at: import("zod").ZodNumber;
+                    reason: import("zod").ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: import("zod").ZodOptional<import("zod").ZodString>;
+                }, import("zod/v4/core").$strip>>;
             }, import("zod/v4/core").$strip>>;
             activity: import("zod").ZodOptional<import("zod").ZodObject<{
                 tool: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3835,6 +5012,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3884,6 +5072,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;