@intentic/sandbox-contract 1.310.0 → 1.312.0

package/dist/index.d.ts

@@ -42,6 +42,7 @@ export { systemContract } from "./contracts/system.contract.js";
 export { translatorContract } from "./contracts/translator.contract.js";
 export { type PlanLimitsHeld, type PlanLimitsRefreshed, PlanLimitsRefreshedSchema, usageContract } from "./contracts/usage.contract.js";
 export { netdiskContract } from "./contracts/netdisk.contract.js";
+export { offloadContract } from "./contracts/offload.contract.js";
 export { vpnContract } from "./contracts/vpn.contract.js";
 export { workflowsContract } from "./contracts/workflows.contract.js";
 export { workspaceContract } from "./contracts/workspace.contract.js";
@@ -52,6 +53,7 @@ export * from "./events/resume.js";
 export * from "./events/system-events.js";
 export * from "./events/transcript.js";
 export * from "./events/land-breakage.js";
+export * from "./events/land-conflict.js";
 export * from "./events/verify-nudge.js";
 export * from "./events/watch-wake.js";
 export * from "./policy/request-status.js";
@@ -147,25 +149,28 @@ export * from "./schemas/secrets.js";
 export * from "./schemas/netdisk.js";
 export * from "./schemas/sessions.js";
 export * from "./schemas/settings.js";
+export * from "./schemas/settings-history.js";
 export * from "./schemas/share.js";
 export * from "./schemas/shared.js";
 export * from "./schemas/system-prompt.js";
 export * from "./schemas/system.js";
 export * from "./schemas/terminal.js";
 export * from "./schemas/turn-break.js";
+export * from "./schemas/keep-warm.js";
 export * from "./schemas/providers/usage.js";
 export * from "./schemas/vpn.js";
+export * from "./schemas/offload.js";
 export * from "./schemas/webext.js";
 export * from "./schemas/workflows.js";
 export * from "./schemas/workspace/workspace-repos.js";
 export * from "./schemas/workspace/workspace-search.js";
+export * from "./schemas/workspace/mainline.js";
 export * from "./schemas/workspace/workspace-setup.js";
 export * from "./schemas/workspace/workspace-tree.js";
 export * from "./state/arrival.js";
 export * from "./state/definition.js";
 export * from "./policy/search-globs.js";
 export * from "./state/starter.js";
-export * from "./protocol/terminal-protocol.js";
 export * from "./text/title.js";
 export * from "./state/versions.js";
 export * from "./text/model-answer.js";
@@ -225,6 +230,7 @@ export declare const sandboxContract: {
                 connectedAt: z.ZodNumber;
                 needsReauth: z.ZodOptional<z.ZodBoolean>;
                 detail: z.ZodOptional<z.ZodString>;
+                seatRefusal: z.ZodOptional<z.ZodString>;
                 usage: z.ZodOptional<z.ZodObject<{
                     windows: z.ZodArray<z.ZodObject<{
                         kind: z.ZodString;
@@ -236,6 +242,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -276,6 +286,7 @@ export declare const sandboxContract: {
                 connectedAt: z.ZodNumber;
                 needsReauth: z.ZodOptional<z.ZodBoolean>;
                 detail: z.ZodOptional<z.ZodString>;
+                seatRefusal: z.ZodOptional<z.ZodString>;
                 usage: z.ZodOptional<z.ZodObject<{
                     windows: z.ZodArray<z.ZodObject<{
                         kind: z.ZodString;
@@ -287,6 +298,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -312,6 +327,7 @@ export declare const sandboxContract: {
             connectedAt: z.ZodNumber;
             needsReauth: z.ZodOptional<z.ZodBoolean>;
             detail: z.ZodOptional<z.ZodString>;
+            seatRefusal: z.ZodOptional<z.ZodString>;
             usage: z.ZodOptional<z.ZodObject<{
                 windows: z.ZodArray<z.ZodObject<{
                     kind: z.ZodString;
@@ -323,6 +339,10 @@ export declare const sandboxContract: {
                     }, z.core.$strip>]>;
                 }, z.core.$strip>>;
                 measuredAt: z.ZodNumber;
+                unread: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    reason: z.ZodString;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         disconnect: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
@@ -1034,6 +1054,11 @@ export declare const sandboxContract: {
                 op: "thinking";
                 index: number;
                 text: string;
+            } | {
+                op: "toolThinking";
+                index: number;
+                id: string;
+                text: string;
             } | {
                 op: "tool";
                 index: number;
@@ -1586,6 +1611,11 @@ export declare const sandboxContract: {
                 op: "thinking";
                 index: number;
                 text: string;
+            } | {
+                op: "toolThinking";
+                index: number;
+                id: string;
+                text: string;
             } | {
                 op: "tool";
                 index: number;
@@ -2412,6 +2442,11 @@ export declare const sandboxContract: {
                     op: z.ZodLiteral<"thinking">;
                     index: z.ZodNumber;
                     text: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    op: z.ZodLiteral<"toolThinking">;
+                    index: z.ZodNumber;
+                    id: z.ZodString;
+                    text: z.ZodString;
                 }, z.core.$strip>, z.ZodObject<{
                     op: z.ZodLiteral<"tool">;
                     index: z.ZodNumber;
@@ -2735,6 +2770,30 @@ export declare const sandboxContract: {
                 promptCache: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
+                    rollsAt: z.ZodOptional<z.ZodNumber>;
+                    keepable: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strip>>;
+                keepWarm: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    until: z.ZodNumber;
+                    auto: z.ZodOptional<z.ZodBoolean>;
+                    refreshes: z.ZodNumber;
+                    readTokens: z.ZodOptional<z.ZodNumber>;
+                    ended: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        reason: z.ZodEnum<{
+                            allowance: "allowance";
+                            changed: "changed";
+                            cold: "cold";
+                            elapsed: "elapsed";
+                            failed: "failed";
+                            limited: "limited";
+                            midnight: "midnight";
+                            moved: "moved";
+                            rewrote: "rewrote";
+                        }>;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 activity: z.ZodOptional<z.ZodObject<{
                     tool: z.ZodOptional<z.ZodString>;
@@ -2818,6 +2877,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -2867,6 +2937,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -2988,6 +3066,30 @@ export declare const sandboxContract: {
                 promptCache: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
+                    rollsAt: z.ZodOptional<z.ZodNumber>;
+                    keepable: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strip>>;
+                keepWarm: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    until: z.ZodNumber;
+                    auto: z.ZodOptional<z.ZodBoolean>;
+                    refreshes: z.ZodNumber;
+                    readTokens: z.ZodOptional<z.ZodNumber>;
+                    ended: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        reason: z.ZodEnum<{
+                            allowance: "allowance";
+                            changed: "changed";
+                            cold: "cold";
+                            elapsed: "elapsed";
+                            failed: "failed";
+                            limited: "limited";
+                            midnight: "midnight";
+                            moved: "moved";
+                            rewrote: "rewrote";
+                        }>;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 activity: z.ZodOptional<z.ZodObject<{
                     tool: z.ZodOptional<z.ZodString>;
@@ -3071,6 +3173,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -3120,6 +3233,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -3259,6 +3380,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -3342,6 +3487,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -3391,6 +3547,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3838,6 +4002,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -3921,6 +4109,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -3970,6 +4169,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4073,6 +4280,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -4156,6 +4387,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4205,6 +4447,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4318,6 +4568,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -4401,6 +4675,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4450,11 +4735,20 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
-        seen: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+        keepWarm: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
+            until: z.ZodNullable<z.ZodNumber>;
         }, z.core.$strip>, z.ZodObject<{
             id: z.ZodString;
             sessionId: z.ZodOptional<z.ZodString>;
@@ -4552,6 +4846,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -4635,6 +4953,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4684,12 +5013,19 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
-        stopWatching: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+        seen: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
-            watchId: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>, z.ZodObject<{
             id: z.ZodString;
             sessionId: z.ZodOptional<z.ZodString>;
@@ -4787,6 +5123,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -4870,6 +5230,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4919,100 +5290,664 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
-        seenAll: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
-            agents: z.ZodArray<z.ZodObject<{
-                id: z.ZodString;
-                sessionId: z.ZodOptional<z.ZodString>;
-                title: z.ZodOptional<z.ZodString>;
-                titleAction: z.ZodOptional<z.ZodString>;
-                status: z.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: z.ZodOptional<z.ZodString>;
-                failureCode: z.ZodOptional<z.ZodString>;
-                limitResetsAt: z.ZodOptional<z.ZodNumber>;
-                limitHeld: z.ZodOptional<z.ZodBoolean>;
-                limitScheduled: z.ZodOptional<z.ZodBoolean>;
-                limitMoving: z.ZodOptional<z.ZodString>;
-                provider: z.ZodString;
-                harness: z.ZodEnum<{
-                    "claude-code": "claude-code";
-                    native: "native";
-                }>;
-                runner: z.ZodOptional<z.ZodString>;
-                startIn: z.ZodOptional<z.ZodString>;
-                actsAs: z.ZodOptional<z.ZodString>;
-                model: z.ZodOptional<z.ZodString>;
-                effort: z.ZodOptional<z.ZodString>;
-                thinking: z.ZodOptional<z.ZodBoolean>;
-                fast: z.ZodOptional<z.ZodBoolean>;
-                account: z.ZodOptional<z.ZodString>;
-                branch: z.ZodOptional<z.ZodString>;
-                autoLand: z.ZodOptional<z.ZodBoolean>;
-                limitPolicy: z.ZodOptional<z.ZodEnum<{
-                    move: "move";
-                    resend: "resend";
-                    wait: "wait";
-                }>>;
-                outagePolicy: z.ZodOptional<z.ZodEnum<{
-                    retry: "retry";
-                    wait: "wait";
-                }>>;
-                stopPolicy: z.ZodOptional<z.ZodEnum<{
-                    retry: "retry";
-                    wait: "wait";
-                }>>;
-                landRequested: z.ZodOptional<z.ZodObject<{
-                    email: z.ZodString;
-                    name: z.ZodOptional<z.ZodString>;
-                    at: z.ZodNumber;
-                }, z.core.$strip>>;
-                reactions: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                    emoji: z.ZodString;
-                    by: z.ZodArray<z.ZodObject<{
-                        email: z.ZodString;
-                        name: z.ZodOptional<z.ZodString>;
-                        at: z.ZodNumber;
-                    }, z.core.$strip>>;
-                }, z.core.$strip>>>;
-                origin: z.ZodOptional<z.ZodObject<{
-                    automationId: z.ZodString;
-                    provider: z.ZodString;
-                    channelId: z.ZodOptional<z.ZodString>;
-                    author: z.ZodOptional<z.ZodString>;
-                }, z.core.$strip>>;
-                startedBy: z.ZodOptional<z.ZodString>;
-                areas: z.ZodOptional<z.ZodArray<z.ZodString>>;
-                owner: z.ZodOptional<z.ZodObject<{
-                    email: z.ZodString;
-                    name: z.ZodOptional<z.ZodString>;
-                    since: z.ZodNumber;
-                }, z.core.$strip>>;
-                forkedFrom: z.ZodOptional<z.ZodObject<{
-                    conversationId: z.ZodString;
-                    index: z.ZodNumber;
-                    files: z.ZodEnum<{
-                        now: "now";
-                        then: "then";
-                    }>;
-                }, z.core.$strip>>;
-                base: z.ZodOptional<z.ZodString>;
-                costUsd: z.ZodOptional<z.ZodNumber>;
+        stopWatching: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            id: z.ZodString;
+            watchId: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            id: z.ZodString;
+            sessionId: z.ZodOptional<z.ZodString>;
+            title: z.ZodOptional<z.ZodString>;
+            titleAction: z.ZodOptional<z.ZodString>;
+            status: z.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: z.ZodOptional<z.ZodString>;
+            failureCode: z.ZodOptional<z.ZodString>;
+            limitResetsAt: z.ZodOptional<z.ZodNumber>;
+            limitHeld: z.ZodOptional<z.ZodBoolean>;
+            limitScheduled: z.ZodOptional<z.ZodBoolean>;
+            limitMoving: z.ZodOptional<z.ZodString>;
+            provider: z.ZodString;
+            harness: z.ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>;
+            runner: z.ZodOptional<z.ZodString>;
+            startIn: z.ZodOptional<z.ZodString>;
+            actsAs: z.ZodOptional<z.ZodString>;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+            thinking: z.ZodOptional<z.ZodBoolean>;
+            fast: z.ZodOptional<z.ZodBoolean>;
+            account: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            autoLand: z.ZodOptional<z.ZodBoolean>;
+            limitPolicy: z.ZodOptional<z.ZodEnum<{
+                move: "move";
+                resend: "resend";
+                wait: "wait";
+            }>>;
+            outagePolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            stopPolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            landRequested: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+            }, z.core.$strip>>;
+            reactions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                emoji: z.ZodString;
+                by: z.ZodArray<z.ZodObject<{
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>>;
+            origin: z.ZodOptional<z.ZodObject<{
+                automationId: z.ZodString;
+                provider: z.ZodString;
+                channelId: z.ZodOptional<z.ZodString>;
+                author: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedBy: z.ZodOptional<z.ZodString>;
+            areas: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            owner: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                since: z.ZodNumber;
+            }, z.core.$strip>>;
+            forkedFrom: z.ZodOptional<z.ZodObject<{
+                conversationId: z.ZodString;
+                index: z.ZodNumber;
+                files: z.ZodEnum<{
+                    now: "now";
+                    then: "then";
+                }>;
+            }, z.core.$strip>>;
+            base: z.ZodOptional<z.ZodString>;
+            costUsd: z.ZodOptional<z.ZodNumber>;
+            inputTokens: z.ZodOptional<z.ZodNumber>;
+            outputTokens: z.ZodOptional<z.ZodNumber>;
+            contextTokens: z.ZodOptional<z.ZodNumber>;
+            contextWindow: z.ZodOptional<z.ZodNumber>;
+            promptCache: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            activity: z.ZodOptional<z.ZodObject<{
+                tool: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                todo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            checklist: z.ZodOptional<z.ZodObject<{
+                done: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedMessageDraft: z.ZodOptional<z.ZodObject<{
+                startedAt: z.ZodNumber;
+                steps: z.ZodArray<z.ZodObject<{
+                    provider: z.ZodString;
+                    model: z.ZodString;
+                    status: z.ZodEnum<{
+                        answered: "answered";
+                        asking: "asking";
+                        refused: "refused";
+                        skipped: "skipped";
+                    }>;
+                    at: z.ZodOptional<z.ZodNumber>;
+                    ms: z.ZodOptional<z.ZodNumber>;
+                    reason: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                outcome: z.ZodOptional<z.ZodEnum<{
+                    failed: "failed";
+                    written: "written";
+                }>>;
+                reason: z.ZodOptional<z.ZodString>;
+                finishedAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            landedMessage: z.ZodOptional<z.ZodObject<{
+                subject: z.ZodString;
+                note: z.ZodOptional<z.ZodString>;
+                breaking: z.ZodOptional<z.ZodString>;
+                testNote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedAt: z.ZodOptional<z.ZodNumber>;
+            run: z.ZodOptional<z.ZodString>;
+            queue: z.ZodOptional<z.ZodObject<{
+                items: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    text: z.ZodString;
+                    attachments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    voice: z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        sandbox: "sandbox";
+                    }>;
+                    queuedAt: z.ZodNumber;
+                    revision: z.ZodNumber;
+                }, z.core.$strip>>;
+                revision: z.ZodNumber;
+                paused: z.ZodOptional<z.ZodEnum<{
+                    refused: "refused";
+                    stopped: "stopped";
+                }>>;
+            }, z.core.$strip>>;
+            updatedAt: z.ZodNumber;
+            seenAt: z.ZodOptional<z.ZodNumber>;
+            attention: z.ZodObject<{
+                plan: z.ZodBoolean;
+                question: z.ZodBoolean;
+                permission: z.ZodBoolean;
+                capability: z.ZodBoolean;
+                credential: z.ZodBoolean;
+                conflict: z.ZodBoolean;
+            }, z.core.$strip>;
+            conflictCauses: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                binary: "binary";
+                diverged: "diverged";
+                workspace: "workspace";
+            }>>>;
+            unfinished: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                steps: z.ZodOptional<z.ZodObject<{
+                    open: z.ZodNumber;
+                    total: z.ZodNumber;
+                    next: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                check: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            turns: z.ZodOptional<z.ZodNumber>;
+            toolUses: z.ZodOptional<z.ZodNumber>;
+            subagents: z.ZodOptional<z.ZodObject<{
+                running: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            diff: z.ZodOptional<z.ZodObject<{
+                files: z.ZodNumber;
+                insertions: z.ZodNumber;
+                deletions: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedPresence: z.ZodOptional<z.ZodObject<{
+                landed: z.ZodNumber;
+                present: z.ZodNumber;
+            }, z.core.$strip>>;
+            loop: z.ZodOptional<z.ZodObject<{
+                state: z.ZodEnum<{
+                    done: "done";
+                    error: "error";
+                    exhausted: "exhausted";
+                    overspent: "overspent";
+                    running: "running";
+                    stalled: "stalled";
+                    stopped: "stopped";
+                }>;
+                iteration: z.ZodNumber;
+                maxIterations: z.ZodNumber;
+                goal: z.ZodString;
+            }, z.core.$strip>>;
+            workflow: z.ZodOptional<z.ZodObject<{
+                runId: z.ZodString;
+                name: z.ZodString;
+                step: z.ZodString;
+                index: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                note: z.ZodString;
+                intervalSeconds: z.ZodNumber;
+                deadlineAt: z.ZodNumber;
+            }, z.core.$strip>>>;
+            jobs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodString;
+                session: z.ZodString;
+                startedAt: z.ZodNumber;
+                endedAt: z.ZodOptional<z.ZodNumber>;
+                exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
+            }, z.core.$strip>>>;
+            archivedAt: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        stopJob: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            id: z.ZodString;
+            jobId: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            id: z.ZodString;
+            sessionId: z.ZodOptional<z.ZodString>;
+            title: z.ZodOptional<z.ZodString>;
+            titleAction: z.ZodOptional<z.ZodString>;
+            status: z.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: z.ZodOptional<z.ZodString>;
+            failureCode: z.ZodOptional<z.ZodString>;
+            limitResetsAt: z.ZodOptional<z.ZodNumber>;
+            limitHeld: z.ZodOptional<z.ZodBoolean>;
+            limitScheduled: z.ZodOptional<z.ZodBoolean>;
+            limitMoving: z.ZodOptional<z.ZodString>;
+            provider: z.ZodString;
+            harness: z.ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>;
+            runner: z.ZodOptional<z.ZodString>;
+            startIn: z.ZodOptional<z.ZodString>;
+            actsAs: z.ZodOptional<z.ZodString>;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+            thinking: z.ZodOptional<z.ZodBoolean>;
+            fast: z.ZodOptional<z.ZodBoolean>;
+            account: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            autoLand: z.ZodOptional<z.ZodBoolean>;
+            limitPolicy: z.ZodOptional<z.ZodEnum<{
+                move: "move";
+                resend: "resend";
+                wait: "wait";
+            }>>;
+            outagePolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            stopPolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            landRequested: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+            }, z.core.$strip>>;
+            reactions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                emoji: z.ZodString;
+                by: z.ZodArray<z.ZodObject<{
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>>;
+            origin: z.ZodOptional<z.ZodObject<{
+                automationId: z.ZodString;
+                provider: z.ZodString;
+                channelId: z.ZodOptional<z.ZodString>;
+                author: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedBy: z.ZodOptional<z.ZodString>;
+            areas: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            owner: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                since: z.ZodNumber;
+            }, z.core.$strip>>;
+            forkedFrom: z.ZodOptional<z.ZodObject<{
+                conversationId: z.ZodString;
+                index: z.ZodNumber;
+                files: z.ZodEnum<{
+                    now: "now";
+                    then: "then";
+                }>;
+            }, z.core.$strip>>;
+            base: z.ZodOptional<z.ZodString>;
+            costUsd: z.ZodOptional<z.ZodNumber>;
+            inputTokens: z.ZodOptional<z.ZodNumber>;
+            outputTokens: z.ZodOptional<z.ZodNumber>;
+            contextTokens: z.ZodOptional<z.ZodNumber>;
+            contextWindow: z.ZodOptional<z.ZodNumber>;
+            promptCache: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            activity: z.ZodOptional<z.ZodObject<{
+                tool: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                todo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            checklist: z.ZodOptional<z.ZodObject<{
+                done: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedMessageDraft: z.ZodOptional<z.ZodObject<{
+                startedAt: z.ZodNumber;
+                steps: z.ZodArray<z.ZodObject<{
+                    provider: z.ZodString;
+                    model: z.ZodString;
+                    status: z.ZodEnum<{
+                        answered: "answered";
+                        asking: "asking";
+                        refused: "refused";
+                        skipped: "skipped";
+                    }>;
+                    at: z.ZodOptional<z.ZodNumber>;
+                    ms: z.ZodOptional<z.ZodNumber>;
+                    reason: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                outcome: z.ZodOptional<z.ZodEnum<{
+                    failed: "failed";
+                    written: "written";
+                }>>;
+                reason: z.ZodOptional<z.ZodString>;
+                finishedAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            landedMessage: z.ZodOptional<z.ZodObject<{
+                subject: z.ZodString;
+                note: z.ZodOptional<z.ZodString>;
+                breaking: z.ZodOptional<z.ZodString>;
+                testNote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedAt: z.ZodOptional<z.ZodNumber>;
+            run: z.ZodOptional<z.ZodString>;
+            queue: z.ZodOptional<z.ZodObject<{
+                items: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    text: z.ZodString;
+                    attachments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    voice: z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        sandbox: "sandbox";
+                    }>;
+                    queuedAt: z.ZodNumber;
+                    revision: z.ZodNumber;
+                }, z.core.$strip>>;
+                revision: z.ZodNumber;
+                paused: z.ZodOptional<z.ZodEnum<{
+                    refused: "refused";
+                    stopped: "stopped";
+                }>>;
+            }, z.core.$strip>>;
+            updatedAt: z.ZodNumber;
+            seenAt: z.ZodOptional<z.ZodNumber>;
+            attention: z.ZodObject<{
+                plan: z.ZodBoolean;
+                question: z.ZodBoolean;
+                permission: z.ZodBoolean;
+                capability: z.ZodBoolean;
+                credential: z.ZodBoolean;
+                conflict: z.ZodBoolean;
+            }, z.core.$strip>;
+            conflictCauses: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                binary: "binary";
+                diverged: "diverged";
+                workspace: "workspace";
+            }>>>;
+            unfinished: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                steps: z.ZodOptional<z.ZodObject<{
+                    open: z.ZodNumber;
+                    total: z.ZodNumber;
+                    next: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                check: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            turns: z.ZodOptional<z.ZodNumber>;
+            toolUses: z.ZodOptional<z.ZodNumber>;
+            subagents: z.ZodOptional<z.ZodObject<{
+                running: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            diff: z.ZodOptional<z.ZodObject<{
+                files: z.ZodNumber;
+                insertions: z.ZodNumber;
+                deletions: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedPresence: z.ZodOptional<z.ZodObject<{
+                landed: z.ZodNumber;
+                present: z.ZodNumber;
+            }, z.core.$strip>>;
+            loop: z.ZodOptional<z.ZodObject<{
+                state: z.ZodEnum<{
+                    done: "done";
+                    error: "error";
+                    exhausted: "exhausted";
+                    overspent: "overspent";
+                    running: "running";
+                    stalled: "stalled";
+                    stopped: "stopped";
+                }>;
+                iteration: z.ZodNumber;
+                maxIterations: z.ZodNumber;
+                goal: z.ZodString;
+            }, z.core.$strip>>;
+            workflow: z.ZodOptional<z.ZodObject<{
+                runId: z.ZodString;
+                name: z.ZodString;
+                step: z.ZodString;
+                index: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                note: z.ZodString;
+                intervalSeconds: z.ZodNumber;
+                deadlineAt: z.ZodNumber;
+            }, z.core.$strip>>>;
+            jobs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodString;
+                session: z.ZodString;
+                startedAt: z.ZodNumber;
+                endedAt: z.ZodOptional<z.ZodNumber>;
+                exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
+            }, z.core.$strip>>>;
+            archivedAt: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        seenAll: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            agents: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                sessionId: z.ZodOptional<z.ZodString>;
+                title: z.ZodOptional<z.ZodString>;
+                titleAction: z.ZodOptional<z.ZodString>;
+                status: z.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: z.ZodOptional<z.ZodString>;
+                failureCode: z.ZodOptional<z.ZodString>;
+                limitResetsAt: z.ZodOptional<z.ZodNumber>;
+                limitHeld: z.ZodOptional<z.ZodBoolean>;
+                limitScheduled: z.ZodOptional<z.ZodBoolean>;
+                limitMoving: z.ZodOptional<z.ZodString>;
+                provider: z.ZodString;
+                harness: z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    native: "native";
+                }>;
+                runner: z.ZodOptional<z.ZodString>;
+                startIn: z.ZodOptional<z.ZodString>;
+                actsAs: z.ZodOptional<z.ZodString>;
+                model: z.ZodOptional<z.ZodString>;
+                effort: z.ZodOptional<z.ZodString>;
+                thinking: z.ZodOptional<z.ZodBoolean>;
+                fast: z.ZodOptional<z.ZodBoolean>;
+                account: z.ZodOptional<z.ZodString>;
+                branch: z.ZodOptional<z.ZodString>;
+                autoLand: z.ZodOptional<z.ZodBoolean>;
+                limitPolicy: z.ZodOptional<z.ZodEnum<{
+                    move: "move";
+                    resend: "resend";
+                    wait: "wait";
+                }>>;
+                outagePolicy: z.ZodOptional<z.ZodEnum<{
+                    retry: "retry";
+                    wait: "wait";
+                }>>;
+                stopPolicy: z.ZodOptional<z.ZodEnum<{
+                    retry: "retry";
+                    wait: "wait";
+                }>>;
+                landRequested: z.ZodOptional<z.ZodObject<{
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+                reactions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    emoji: z.ZodString;
+                    by: z.ZodArray<z.ZodObject<{
+                        email: z.ZodString;
+                        name: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>>;
+                origin: z.ZodOptional<z.ZodObject<{
+                    automationId: z.ZodString;
+                    provider: z.ZodString;
+                    channelId: z.ZodOptional<z.ZodString>;
+                    author: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                startedBy: z.ZodOptional<z.ZodString>;
+                areas: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                owner: z.ZodOptional<z.ZodObject<{
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    since: z.ZodNumber;
+                }, z.core.$strip>>;
+                forkedFrom: z.ZodOptional<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    index: z.ZodNumber;
+                    files: z.ZodEnum<{
+                        now: "now";
+                        then: "then";
+                    }>;
+                }, z.core.$strip>>;
+                base: z.ZodOptional<z.ZodString>;
+                costUsd: z.ZodOptional<z.ZodNumber>;
                 inputTokens: z.ZodOptional<z.ZodNumber>;
                 outputTokens: z.ZodOptional<z.ZodNumber>;
                 contextTokens: z.ZodOptional<z.ZodNumber>;
@@ -5020,6 +5955,30 @@ export declare const sandboxContract: {
                 promptCache: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
+                    rollsAt: z.ZodOptional<z.ZodNumber>;
+                    keepable: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strip>>;
+                keepWarm: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    until: z.ZodNumber;
+                    auto: z.ZodOptional<z.ZodBoolean>;
+                    refreshes: z.ZodNumber;
+                    readTokens: z.ZodOptional<z.ZodNumber>;
+                    ended: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        reason: z.ZodEnum<{
+                            allowance: "allowance";
+                            changed: "changed";
+                            cold: "cold";
+                            elapsed: "elapsed";
+                            failed: "failed";
+                            limited: "limited";
+                            midnight: "midnight";
+                            moved: "moved";
+                            rewrote: "rewrote";
+                        }>;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 activity: z.ZodOptional<z.ZodObject<{
                     tool: z.ZodOptional<z.ZodString>;
@@ -5103,6 +6062,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -5152,6 +6122,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -5239,6 +6217,23 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
             }, z.core.$strip>>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        conflicts: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            id: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            conflicts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                repo: z.ZodString;
+                paths: z.ZodArray<z.ZodObject<{
+                    path: z.ZodString;
+                    reason: z.ZodEnum<{
+                        binary: "binary";
+                        diverged: "diverged";
+                        workspace: "workspace";
+                    }>;
+                }, z.core.$strip>>;
+                clean: z.ZodNumber;
+                mainBranch: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         history: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
         }, z.core.$strip>, z.ZodObject<{
@@ -5305,6 +6300,27 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             ok: z.ZodLiteral<true>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        pushFix: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+            pick: z.ZodOptional<z.ZodObject<{
+                agent: z.ZodString;
+                model: z.ZodString;
+                account: z.ZodOptional<z.ZodString>;
+                harness: z.ZodOptional<z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    native: "native";
+                }>>;
+                effort: z.ZodOptional<z.ZodString>;
+                thinking: z.ZodOptional<z.ZodBoolean>;
+                fast: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            mode: z.ZodOptional<z.ZodEnum<{
+                continue: "continue";
+                "start-over": "start-over";
+            }>>;
+        }, z.core.$strip>, z.ZodObject<{
+            conversationId: z.ZodString;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         land: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
             mode: z.ZodOptional<z.ZodEnum<{
@@ -5438,6 +6454,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -5521,6 +6561,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -5570,6 +6621,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -5673,6 +6732,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -5756,6 +6839,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -5805,6 +6899,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -5909,6 +7011,30 @@ export declare const sandboxContract: {
             promptCache: z.ZodOptional<z.ZodObject<{
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
             activity: z.ZodOptional<z.ZodObject<{
                 tool: z.ZodOptional<z.ZodString>;
@@ -5992,6 +7118,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -6041,6 +7178,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -6050,7 +7195,7 @@ export declare const sandboxContract: {
             ok: z.ZodLiteral<true>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         archive: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
-            ids: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            ids: z.ZodArray<z.ZodString>;
         }, z.core.$strip>, z.ZodObject<{
             moved: z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
@@ -6149,6 +7294,30 @@ export declare const sandboxContract: {
                 promptCache: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
+                    rollsAt: z.ZodOptional<z.ZodNumber>;
+                    keepable: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strip>>;
+                keepWarm: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    until: z.ZodNumber;
+                    auto: z.ZodOptional<z.ZodBoolean>;
+                    refreshes: z.ZodNumber;
+                    readTokens: z.ZodOptional<z.ZodNumber>;
+                    ended: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        reason: z.ZodEnum<{
+                            allowance: "allowance";
+                            changed: "changed";
+                            cold: "cold";
+                            elapsed: "elapsed";
+                            failed: "failed";
+                            limited: "limited";
+                            midnight: "midnight";
+                            moved: "moved";
+                            rewrote: "rewrote";
+                        }>;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 activity: z.ZodOptional<z.ZodObject<{
                     tool: z.ZodOptional<z.ZodString>;
@@ -6232,6 +7401,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -6281,6 +7461,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -6390,6 +7578,30 @@ export declare const sandboxContract: {
                 promptCache: z.ZodOptional<z.ZodObject<{
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
+                    rollsAt: z.ZodOptional<z.ZodNumber>;
+                    keepable: z.ZodOptional<z.ZodBoolean>;
+                }, z.core.$strip>>;
+                keepWarm: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    until: z.ZodNumber;
+                    auto: z.ZodOptional<z.ZodBoolean>;
+                    refreshes: z.ZodNumber;
+                    readTokens: z.ZodOptional<z.ZodNumber>;
+                    ended: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        reason: z.ZodEnum<{
+                            allowance: "allowance";
+                            changed: "changed";
+                            cold: "cold";
+                            elapsed: "elapsed";
+                            failed: "failed";
+                            limited: "limited";
+                            midnight: "midnight";
+                            moved: "moved";
+                            rewrote: "rewrote";
+                        }>;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 activity: z.ZodOptional<z.ZodObject<{
                     tool: z.ZodOptional<z.ZodString>;
@@ -6473,6 +7685,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -6522,6 +7745,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -7099,6 +8330,7 @@ export declare const sandboxContract: {
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                     code: z.ZodOptional<z.ZodString>;
+                    settling: z.ZodOptional<z.ZodBoolean>;
                 }, z.core.$strip>;
                 config: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
                 secrets: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -7799,6 +9031,7 @@ export declare const sandboxContract: {
             }>;
             detail: z.ZodOptional<z.ZodString>;
             code: z.ZodOptional<z.ZodString>;
+            settling: z.ZodOptional<z.ZodBoolean>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         connection: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
@@ -8462,6 +9695,7 @@ export declare const sandboxContract: {
                                 identity: z.ZodOptional<z.ZodString>;
                                 insecure: z.ZodOptional<z.ZodBoolean>;
                             }, z.core.$strip>>;
+                            mcp: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>, z.ZodObject<{
                             id: z.ZodString;
                             catalog: z.ZodObject<{
@@ -8916,6 +10150,7 @@ export declare const sandboxContract: {
                                 identity: z.ZodOptional<z.ZodString>;
                                 insecure: z.ZodOptional<z.ZodBoolean>;
                             }, z.core.$strip>>;
+                            mcp: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>, z.ZodObject<{
                             id: z.ZodString;
                             catalog: z.ZodObject<{
@@ -9904,7 +11139,15 @@ export declare const sandboxContract: {
                 wait: "wait";
             }>>;
             limitMoveCarryUnder: z.ZodDefault<z.ZodNumber>;
+            keepWarm: z.ZodDefault<z.ZodBoolean>;
+            keepWarmHours: z.ZodDefault<z.ZodNumber>;
+            keepWarmMinTokens: z.ZodDefault<z.ZodNumber>;
+            keepWarmReserve: z.ZodDefault<z.ZodNumber>;
             autoRepair: z.ZodDefault<z.ZodBoolean>;
+            offload: z.ZodDefault<z.ZodObject<{
+                commands: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                landCheck: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
             autoResumeOnRestart: z.ZodDefault<z.ZodBoolean>;
             adoptedChecks: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
             rules: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -10064,7 +11307,15 @@ export declare const sandboxContract: {
                 wait: "wait";
             }>>;
             limitMoveCarryUnder: z.ZodDefault<z.ZodNumber>;
+            keepWarm: z.ZodDefault<z.ZodBoolean>;
+            keepWarmHours: z.ZodDefault<z.ZodNumber>;
+            keepWarmMinTokens: z.ZodDefault<z.ZodNumber>;
+            keepWarmReserve: z.ZodDefault<z.ZodNumber>;
             autoRepair: z.ZodDefault<z.ZodBoolean>;
+            offload: z.ZodDefault<z.ZodObject<{
+                commands: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                landCheck: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
             autoResumeOnRestart: z.ZodDefault<z.ZodBoolean>;
             adoptedChecks: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
             rules: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -11304,6 +12555,7 @@ export declare const sandboxContract: {
             tree: z.ZodArray<z.ZodType<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown>>>;
             hidden: z.ZodNumber;
             barren: z.ZodArray<z.ZodString>;
+            generation: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         children: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             agent: z.ZodOptional<z.ZodString>;
@@ -11590,6 +12842,12 @@ export declare const sandboxContract: {
             path: z.ZodString;
         }, z.core.$strip>, z.ZodObject<{
             ok: z.ZodLiteral<true>;
+            trashed: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        restore: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            trashed: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            path: z.ZodString;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         move: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             from: z.ZodString;
@@ -11633,6 +12891,145 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             queued: z.ZodArray<z.ZodString>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainline: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            projects: z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                running: z.ZodOptional<z.ZodObject<{
+                    command: z.ZodString;
+                    startedAt: z.ZodNumber;
+                    lands: z.ZodArray<z.ZodObject<{
+                        conversationId: z.ZodString;
+                        title: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                    }, z.core.$strip>>;
+                    on: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                queued: z.ZodArray<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    title: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+                last: z.ZodOptional<z.ZodObject<{
+                    project: z.ZodString;
+                    command: z.ZodString;
+                    status: z.ZodEnum<{
+                        green: "green";
+                        red: "red";
+                    }>;
+                    startedAt: z.ZodNumber;
+                    at: z.ZodNumber;
+                    lands: z.ZodArray<z.ZodObject<{
+                        conversationId: z.ZodString;
+                        title: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                    }, z.core.$strip>>;
+                    failures: z.ZodArray<z.ZodString>;
+                    failureCount: z.ZodNumber;
+                    attempt: z.ZodNumber;
+                    suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    routing: z.ZodOptional<z.ZodObject<{
+                        kind: z.ZodEnum<{
+                            "fix-up": "fix-up";
+                            held: "held";
+                            original: "original";
+                            reported: "reported";
+                            resolved: "resolved";
+                            spent: "spent";
+                            waiting: "waiting";
+                        }>;
+                        conversationId: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>;
+                redSince: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            recent: z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                command: z.ZodString;
+                status: z.ZodEnum<{
+                    green: "green";
+                    red: "red";
+                }>;
+                startedAt: z.ZodNumber;
+                at: z.ZodNumber;
+                lands: z.ZodArray<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    title: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+                failures: z.ZodArray<z.ZodString>;
+                failureCount: z.ZodNumber;
+                attempt: z.ZodNumber;
+                suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                routing: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        "fix-up": "fix-up";
+                        held: "held";
+                        original: "original";
+                        reported: "reported";
+                        resolved: "resolved";
+                        spent: "spent";
+                        waiting: "waiting";
+                    }>;
+                    conversationId: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            pushes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                id: z.ZodString;
+                at: z.ZodNumber;
+                remote: z.ZodOptional<z.ZodString>;
+                branch: z.ZodOptional<z.ZodString>;
+                base: z.ZodOptional<z.ZodString>;
+                head: z.ZodString;
+                commits: z.ZodNumber;
+                findings: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        check: "check";
+                        lint: "lint";
+                        lockstep: "lockstep";
+                        ratchet: "ratchet";
+                        rustfmt: "rustfmt";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    gate: z.ZodOptional<z.ZodEnum<{
+                        code: "code";
+                        tidy: "tidy";
+                    }>>;
+                    text: z.ZodString;
+                    command: z.ZodOptional<z.ZodString>;
+                    commit: z.ZodOptional<z.ZodObject<{
+                        sha: z.ZodString;
+                        subject: z.ZodString;
+                    }, z.core.$strip>>;
+                    state: z.ZodEnum<{
+                        dismissed: "dismissed";
+                        open: "open";
+                        resolved: "resolved";
+                    }>;
+                    settledAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
+                measuredAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainlinePushDismiss: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+            ids: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            restore: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>, z.ZodObject<{
+            changed: z.ZodNumber;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainlinePushRecheck: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            measured: z.ZodBoolean;
+            resolved: z.ZodNumber;
+            open: z.ZodNumber;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         repos: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
             repos: z.ZodArray<z.ZodString>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -12426,6 +13823,11 @@ export declare const sandboxContract: {
                 command: z.ZodOptional<z.ZodString>;
                 cwd: z.ZodOptional<z.ZodString>;
                 session: z.ZodOptional<z.ZodString>;
+                job: z.ZodOptional<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    jobId: z.ZodString;
+                    label: z.ZodString;
+                }, z.core.$strip>>;
                 forwarded: z.ZodBoolean;
                 previewUrl: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
@@ -12679,6 +14081,18 @@ export declare const sandboxContract: {
                 version: z.ZodOptional<z.ZodString>;
                 channel: z.ZodString;
                 at: z.ZodNumber;
+                plan: z.ZodOptional<z.ZodObject<{
+                    ok: z.ZodBoolean;
+                    downgrade: z.ZodOptional<z.ZodBoolean>;
+                    steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        change: z.ZodString;
+                    }, z.core.$strip>>>;
+                    failures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        detail: z.ZodString;
+                    }, z.core.$strip>>>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         manifestProblems: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodArray<z.ZodObject<{
@@ -12843,6 +14257,20 @@ export declare const sandboxContract: {
                 promptCache?: {
                     at: number;
                     ttlMs: number;
+                    rollsAt?: number | undefined;
+                    keepable?: boolean | undefined;
+                } | undefined;
+                keepWarm?: {
+                    since: number;
+                    until: number;
+                    auto?: boolean | undefined;
+                    refreshes: number;
+                    readTokens?: number | undefined;
+                    ended?: {
+                        at: number;
+                        reason: "allowance" | "changed" | "cold" | "elapsed" | "failed" | "limited" | "midnight" | "moved" | "rewrote";
+                        detail?: string | undefined;
+                    } | undefined;
                 } | undefined;
                 activity?: {
                     tool?: string | undefined;
@@ -12907,6 +14335,12 @@ export declare const sandboxContract: {
                     } | undefined;
                     check?: string | undefined;
                 } | undefined;
+                proof?: {
+                    at: number;
+                    verification: "failing" | "no-code" | "unproven" | "verified";
+                    check?: string | undefined;
+                    unviewed?: number | undefined;
+                } | undefined;
                 turns?: number | undefined;
                 toolUses?: number | undefined;
                 subagents?: {
@@ -12948,6 +14382,10 @@ export declare const sandboxContract: {
                     startedAt: number;
                     endedAt?: number | undefined;
                     exitCode?: number | undefined;
+                    watch?: string | undefined;
+                    handed?: boolean | undefined;
+                    ports?: number[] | undefined;
+                    stoppedBy?: "agent" | "person" | "turn" | undefined;
                 }[] | undefined;
                 archivedAt?: number | undefined;
             }[];
@@ -12967,6 +14405,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -12978,6 +14420,15 @@ export declare const sandboxContract: {
                 account?: string | undefined;
                 model?: string | undefined;
             } | undefined;
+        } | {
+            from: number;
+            generation: number;
+            dirs: {
+                path: string;
+                entries: unknown[];
+            }[];
+            barren?: string[] | undefined;
+            kind: "treeChanged";
         }, unknown, void>, import("@orpc/contract").AsyncIteratorClass<{
             kind: "hello";
             workspaceId: string;
@@ -13113,6 +14564,20 @@ export declare const sandboxContract: {
                 promptCache?: {
                     at: number;
                     ttlMs: number;
+                    rollsAt?: number | undefined;
+                    keepable?: boolean | undefined;
+                } | undefined;
+                keepWarm?: {
+                    since: number;
+                    until: number;
+                    auto?: boolean | undefined;
+                    refreshes: number;
+                    readTokens?: number | undefined;
+                    ended?: {
+                        at: number;
+                        reason: "allowance" | "changed" | "cold" | "elapsed" | "failed" | "limited" | "midnight" | "moved" | "rewrote";
+                        detail?: string | undefined;
+                    } | undefined;
                 } | undefined;
                 activity?: {
                     tool?: string | undefined;
@@ -13177,6 +14642,12 @@ export declare const sandboxContract: {
                     } | undefined;
                     check?: string | undefined;
                 } | undefined;
+                proof?: {
+                    at: number;
+                    verification: "failing" | "no-code" | "unproven" | "verified";
+                    check?: string | undefined;
+                    unviewed?: number | undefined;
+                } | undefined;
                 turns?: number | undefined;
                 toolUses?: number | undefined;
                 subagents?: {
@@ -13218,6 +14689,10 @@ export declare const sandboxContract: {
                     startedAt: number;
                     endedAt?: number | undefined;
                     exitCode?: number | undefined;
+                    watch?: string | undefined;
+                    handed?: boolean | undefined;
+                    ports?: number[] | undefined;
+                    stoppedBy?: "agent" | "person" | "turn" | undefined;
                 }[] | undefined;
                 archivedAt?: number | undefined;
             }[];
@@ -13237,6 +14712,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -13248,6 +14727,15 @@ export declare const sandboxContract: {
                 account?: string | undefined;
                 model?: string | undefined;
             } | undefined;
+        } | {
+            from: number;
+            generation: number;
+            dirs: {
+                path: string;
+                entries: import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry[];
+            }[];
+            barren?: string[] | undefined;
+            kind: "treeChanged";
         }, unknown, void>> & {
             [x: symbol]: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"hello">;
@@ -13291,6 +14779,15 @@ export declare const sandboxContract: {
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"workspaceChanged">;
                 paths: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                from: z.ZodNumber;
+                generation: z.ZodNumber;
+                dirs: z.ZodArray<z.ZodObject<{
+                    path: z.ZodString;
+                    entries: z.ZodArray<z.ZodType<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown>>>;
+                }, z.core.$strip>>;
+                barren: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                kind: z.ZodLiteral<"treeChanged">;
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"derivedChanged">;
                 paths: z.ZodArray<z.ZodString>;
@@ -13431,6 +14928,30 @@ export declare const sandboxContract: {
                     promptCache: z.ZodOptional<z.ZodObject<{
                         at: z.ZodNumber;
                         ttlMs: z.ZodNumber;
+                        rollsAt: z.ZodOptional<z.ZodNumber>;
+                        keepable: z.ZodOptional<z.ZodBoolean>;
+                    }, z.core.$strip>>;
+                    keepWarm: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        until: z.ZodNumber;
+                        auto: z.ZodOptional<z.ZodBoolean>;
+                        refreshes: z.ZodNumber;
+                        readTokens: z.ZodOptional<z.ZodNumber>;
+                        ended: z.ZodOptional<z.ZodObject<{
+                            at: z.ZodNumber;
+                            reason: z.ZodEnum<{
+                                allowance: "allowance";
+                                changed: "changed";
+                                cold: "cold";
+                                elapsed: "elapsed";
+                                failed: "failed";
+                                limited: "limited";
+                                midnight: "midnight";
+                                moved: "moved";
+                                rewrote: "rewrote";
+                            }>;
+                            detail: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>>;
                     }, z.core.$strip>>;
                     activity: z.ZodOptional<z.ZodObject<{
                         tool: z.ZodOptional<z.ZodString>;
@@ -13514,6 +15035,17 @@ export declare const sandboxContract: {
                         }, z.core.$strip>>;
                         check: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
+                    proof: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        verification: z.ZodEnum<{
+                            failing: "failing";
+                            "no-code": "no-code";
+                            unproven: "unproven";
+                            verified: "verified";
+                        }>;
+                        check: z.ZodOptional<z.ZodString>;
+                        unviewed: z.ZodOptional<z.ZodNumber>;
+                    }, z.core.$strip>>;
                     turns: z.ZodOptional<z.ZodNumber>;
                     toolUses: z.ZodOptional<z.ZodNumber>;
                     subagents: z.ZodOptional<z.ZodObject<{
@@ -13563,6 +15095,14 @@ export declare const sandboxContract: {
                         startedAt: z.ZodNumber;
                         endedAt: z.ZodOptional<z.ZodNumber>;
                         exitCode: z.ZodOptional<z.ZodNumber>;
+                        watch: z.ZodOptional<z.ZodString>;
+                        handed: z.ZodOptional<z.ZodBoolean>;
+                        ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                        stoppedBy: z.ZodOptional<z.ZodEnum<{
+                            agent: "agent";
+                            person: "person";
+                            turn: "turn";
+                        }>>;
                     }, z.core.$strip>>>;
                     archivedAt: z.ZodOptional<z.ZodNumber>;
                 }, z.core.$strip>>;
@@ -13582,6 +15122,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"providerRefusal">;
@@ -13683,6 +15227,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -13736,6 +15281,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -13780,6 +15326,7 @@ export declare const sandboxContract: {
         cleanStorage: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             category: z.ZodEnum<{
                 artifacts: "artifacts";
+                backups: "backups";
                 browserCaptures: "browserCaptures";
                 browserProfiles: "browserProfiles";
                 buildCaches: "buildCaches";
@@ -13804,6 +15351,7 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             category: z.ZodEnum<{
                 artifacts: "artifacts";
+                backups: "backups";
                 browserCaptures: "browserCaptures";
                 browserProfiles: "browserProfiles";
                 buildCaches: "buildCaches";
@@ -14250,6 +15798,7 @@ export declare const sandboxContract: {
                         unreachable: z.ZodNumber;
                         unreachableSince: z.ZodOptional<z.ZodNumber>;
                     }, z.core.$strip>>;
+                    features: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 agentVersion: z.ZodOptional<z.ZodString>;
                 lastSeen: z.ZodOptional<z.ZodNumber>;
@@ -14333,6 +15882,12 @@ export declare const sandboxContract: {
                         gpu: z.ZodBoolean;
                         hostRuntime: z.ZodArray<z.ZodString>;
                         overlayRuntime: z.ZodArray<z.ZodString>;
+                        saved: z.ZodOptional<z.ZodObject<{
+                            memoryGib: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
+                            cpus: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
+                            privileged: z.ZodOptional<z.ZodBoolean>;
+                            gpu: z.ZodOptional<z.ZodBoolean>;
+                        }, z.core.$strip>>;
                     }, z.core.$strip>>;
                 }, z.core.$strip>>>;
                 gap: z.ZodOptional<z.ZodEnum<{
@@ -14367,6 +15922,7 @@ export declare const sandboxContract: {
                 privileged: z.ZodOptional<z.ZodBoolean>;
                 gpu: z.ZodOptional<z.ZodBoolean>;
             }, z.core.$strip>>;
+            later: z.ZodOptional<z.ZodBoolean>;
             parentUrl: z.ZodOptional<z.ZodString>;
             pair: z.ZodOptional<z.ZodString>;
             setupCode: z.ZodOptional<z.ZodString>;
@@ -14488,6 +16044,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -14508,6 +16068,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -14528,6 +16092,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -14548,6 +16116,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -14733,6 +16305,111 @@ export declare const sandboxContract: {
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
     };
+    offload: {
+        target: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runner: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            runner: z.ZodString;
+            name: z.ZodString;
+            ready: z.ZodBoolean;
+            why: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        run: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runId: z.ZodString;
+            repo: z.ZodString;
+            ref: z.ZodString;
+            cwd: z.ZodString;
+            command: z.ZodString;
+            env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            exports: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            label: z.ZodString;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
+            runner: z.ZodString;
+        }, z.core.$strip>, import("@orpc/contract").Schema<AsyncIteratorObject<{
+            kind: "status";
+            text: string;
+        } | {
+            kind: "output";
+            stream: "stderr" | "stdout";
+            text: string;
+        } | {
+            kind: "exit";
+            code: number;
+            signal?: string | undefined;
+            failure?: string | undefined;
+            ran?: boolean | undefined;
+            patchBase64?: string | undefined;
+            files?: Record<string, string> | undefined;
+        } | {
+            kind: "refused";
+            why: string;
+        }, unknown, void>, import("@orpc/contract").AsyncIteratorClass<{
+            kind: "status";
+            text: string;
+        } | {
+            kind: "output";
+            stream: "stderr" | "stdout";
+            text: string;
+        } | {
+            kind: "exit";
+            code: number;
+            signal?: string | undefined;
+            failure?: string | undefined;
+            ran: boolean;
+            patchBase64?: string | undefined;
+            files: Record<string, string>;
+        } | {
+            kind: "refused";
+            why: string;
+        }, unknown, void>> & {
+            [x: symbol]: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"status">;
+                text: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"output">;
+                stream: z.ZodEnum<{
+                    stderr: "stderr";
+                    stdout: "stdout";
+                }>;
+                text: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"exit">;
+                code: z.ZodNumber;
+                signal: z.ZodOptional<z.ZodString>;
+                failure: z.ZodOptional<z.ZodString>;
+                ran: z.ZodDefault<z.ZodBoolean>;
+                patchBase64: z.ZodOptional<z.ZodString>;
+                files: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"refused">;
+                why: z.ZodString;
+            }, z.core.$strip>]>;
+        }, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        cancel: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runId: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            ok: z.ZodLiteral<true>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        kinds: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            kinds: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                pattern: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        runs: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            runs: z.ZodArray<z.ZodObject<{
+                runId: z.ZodString;
+                runner: z.ZodString;
+                name: z.ZodString;
+                label: z.ZodString;
+                command: z.ZodString;
+                startedAt: z.ZodNumber;
+                endedAt: z.ZodOptional<z.ZodNumber>;
+                code: z.ZodOptional<z.ZodNumber>;
+                failure: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    };
     exit: {
         list: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
             links: z.ZodArray<z.ZodObject<{