@intentic/sandbox-contract 1.311.0 → 1.313.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,15 +53,19 @@ 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/errands.js";
 export * from "./events/watch-wake.js";
 export * from "./policy/request-status.js";
+export * from "./events/child-run.js";
 export * from "./policy/turned-away.js";
 export * from "./text/mentions.js";
 export * from "./protocol/sse.js";
 export * from "./protocol/routes.js";
-export type { ControlReach, RouteMeta } from "./protocol/route-meta.js";
+export { type ControlReach, defaultFloor, type RouteAccess, type RouteMeta, routeAccess } from "./protocol/route-meta.js";
 export { RAW_ROUTE_LIST, RAW_ROUTES, type RawRouteKey, rawRoutePath } from "./protocol/raw-routes.js";
+export { tunnelBulkRoutes } from "./protocol/tunnel-bulk.js";
 export type { SandboxCallInput, SandboxGroup, SandboxHandlerInput, SandboxHandlerOutput, SandboxProcedure } from "./protocol/procedure-types.js";
 export * from "./policy/control-scopes.js";
 export { HISTORY_ROOT, HOST_STATE_ROOT, STATE_DIR, WORKSPACE_ROOT } from "@intentic/constants";
@@ -71,6 +76,7 @@ export * from "./state/history-state.js";
 export * from "./state/fix-stance.js";
 export * from "./state/landed-commit.js";
 export * from "./state/fix-attempt-plan.js";
+export * from "./state/red-streak.js";
 export * from "./models/agent-runtimes.js";
 export * from "./models/provider-specs.js";
 export * from "./models/agent-catalog.js";
@@ -107,6 +113,7 @@ export * from "./schemas/areas.js";
 export * from "./policy/fence-paths.js";
 export * from "./policy/persona-home.js";
 export * from "./schemas/agents.js";
+export * from "./schemas/speaker.js";
 export * from "./schemas/approvals.js";
 export * from "./schemas/automations.js";
 export * from "./schemas/capabilities.js";
@@ -147,29 +154,33 @@ 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/state-plan.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";
+export * from "./text/shell-regions.js";
 export * from "./text/whisper.js";
 export * from "./text/workflow-faults.js";
 export * from "./text/emoji.js";
@@ -222,6 +233,7 @@ export declare const sandboxContract: {
                 label: z.ZodString;
                 email: z.ZodOptional<z.ZodString>;
                 organization: z.ZodOptional<z.ZodString>;
+                variant: z.ZodOptional<z.ZodString>;
                 scope: z.ZodOptional<z.ZodString>;
                 connectedAt: z.ZodNumber;
                 needsReauth: z.ZodOptional<z.ZodBoolean>;
@@ -238,7 +250,29 @@ 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>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         cancel: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
@@ -274,6 +308,7 @@ export declare const sandboxContract: {
                 label: z.ZodString;
                 email: z.ZodOptional<z.ZodString>;
                 organization: z.ZodOptional<z.ZodString>;
+                variant: z.ZodOptional<z.ZodString>;
                 scope: z.ZodOptional<z.ZodString>;
                 connectedAt: z.ZodNumber;
                 needsReauth: z.ZodOptional<z.ZodBoolean>;
@@ -290,7 +325,29 @@ 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>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         rename: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
@@ -311,6 +368,7 @@ export declare const sandboxContract: {
             label: z.ZodString;
             email: z.ZodOptional<z.ZodString>;
             organization: z.ZodOptional<z.ZodString>;
+            variant: z.ZodOptional<z.ZodString>;
             scope: z.ZodOptional<z.ZodString>;
             connectedAt: z.ZodNumber;
             needsReauth: z.ZodOptional<z.ZodBoolean>;
@@ -327,7 +385,29 @@ 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>>;
+            state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"ready">;
+                room: z.ZodNumber;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"spent">;
+                reopensAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"blocked">;
+                fix: z.ZodEnum<{
+                    admin: "admin";
+                    reconnect: "reconnect";
+                    wait: "wait";
+                }>;
+                reason: z.ZodString;
+                until: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"unknown">;
+            }, z.core.$strip>], "kind">>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         disconnect: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             provider: z.ZodEnum<{
@@ -411,6 +491,18 @@ export declare const sandboxContract: {
     agent: {
         run: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             prompt: z.ZodString;
+            errand: z.ZodOptional<z.ZodEnum<{
+                "ci-fix": "ci-fix";
+                "ci-fix-nudge": "ci-fix-nudge";
+                "land-breakage": "land-breakage";
+                "land-conflict": "land-conflict";
+                "land-fix": "land-fix";
+                "land-fix-nudge": "land-fix-nudge";
+                "land-held": "land-held";
+                "push-fix": "push-fix";
+                "push-fix-nudge": "push-fix-nudge";
+                "verify-nudge": "verify-nudge";
+            }>>;
             messageId: z.ZodOptional<z.ZodString>;
             title: z.ZodOptional<z.ZodString>;
             attachments: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -530,6 +622,21 @@ export declare const sandboxContract: {
                     title: string;
                     text: string;
                 }[] | undefined;
+                speaker?: {
+                    kind: "person";
+                    email: string;
+                    name?: string | undefined;
+                } | {
+                    kind: "program";
+                    token: string;
+                } | {
+                    kind: "agent";
+                    conversationId: string;
+                } | {
+                    kind: "sandbox";
+                    source?: string | undefined;
+                } | undefined;
+                errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                 placed?: boolean | undefined;
                 noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                 sandboxHeld?: boolean | undefined;
@@ -586,6 +693,29 @@ export declare const sandboxContract: {
                             end: number;
                         }[];
                     } | undefined;
+                    child?: {
+                        provider: string;
+                        model: string;
+                        harness?: "claude-code" | "native" | undefined;
+                        account?: string | undefined;
+                        effort?: string | undefined;
+                        thinking?: boolean | undefined;
+                        fast?: boolean | undefined;
+                        move: "answer" | "send" | "spawn";
+                        child?: string | undefined;
+                        task?: string | undefined;
+                        message?: string | undefined;
+                        on?: string | undefined;
+                        proposed?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                        } | undefined;
+                    } | undefined;
                     explain?: string | undefined;
                     requestId: string;
                     status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -707,6 +837,21 @@ export declare const sandboxContract: {
                         title: string;
                         text: string;
                     }[] | undefined;
+                    speaker?: {
+                        kind: "person";
+                        email: string;
+                        name?: string | undefined;
+                    } | {
+                        kind: "program";
+                        token: string;
+                    } | {
+                        kind: "agent";
+                        conversationId: string;
+                    } | {
+                        kind: "sandbox";
+                        source?: string | undefined;
+                    } | undefined;
+                    errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                     placed?: boolean | undefined;
                     noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                     sandboxHeld?: boolean | undefined;
@@ -763,6 +908,29 @@ export declare const sandboxContract: {
                                 end: number;
                             }[];
                         } | undefined;
+                        child?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                            move: "answer" | "send" | "spawn";
+                            child?: string | undefined;
+                            task?: string | undefined;
+                            message?: string | undefined;
+                            on?: string | undefined;
+                            proposed?: {
+                                provider: string;
+                                model: string;
+                                harness?: "claude-code" | "native" | undefined;
+                                account?: string | undefined;
+                                effort?: string | undefined;
+                                thinking?: boolean | undefined;
+                                fast?: boolean | undefined;
+                            } | undefined;
+                        } | undefined;
                         explain?: string | undefined;
                         requestId: string;
                         status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -882,6 +1050,21 @@ export declare const sandboxContract: {
                         title: string;
                         text: string;
                     }[] | undefined;
+                    speaker?: {
+                        kind: "person";
+                        email: string;
+                        name?: string | undefined;
+                    } | {
+                        kind: "program";
+                        token: string;
+                    } | {
+                        kind: "agent";
+                        conversationId: string;
+                    } | {
+                        kind: "sandbox";
+                        source?: string | undefined;
+                    } | undefined;
+                    errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                     placed?: boolean | undefined;
                     noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                     sandboxHeld?: boolean | undefined;
@@ -938,6 +1121,29 @@ export declare const sandboxContract: {
                                 end: number;
                             }[];
                         } | undefined;
+                        child?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                            move: "answer" | "send" | "spawn";
+                            child?: string | undefined;
+                            task?: string | undefined;
+                            message?: string | undefined;
+                            on?: string | undefined;
+                            proposed?: {
+                                provider: string;
+                                model: string;
+                                harness?: "claude-code" | "native" | undefined;
+                                account?: string | undefined;
+                                effort?: string | undefined;
+                                thinking?: boolean | undefined;
+                                fast?: boolean | undefined;
+                            } | undefined;
+                        } | undefined;
                         explain?: string | undefined;
                         requestId: string;
                         status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -1087,6 +1293,21 @@ export declare const sandboxContract: {
                     title: string;
                     text: string;
                 }[] | undefined;
+                speaker?: {
+                    kind: "person";
+                    email: string;
+                    name?: string | undefined;
+                } | {
+                    kind: "program";
+                    token: string;
+                } | {
+                    kind: "agent";
+                    conversationId: string;
+                } | {
+                    kind: "sandbox";
+                    source?: string | undefined;
+                } | undefined;
+                errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                 placed?: boolean | undefined;
                 noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                 sandboxHeld?: boolean | undefined;
@@ -1143,6 +1364,29 @@ export declare const sandboxContract: {
                             end: number;
                         }[];
                     } | undefined;
+                    child?: {
+                        provider: string;
+                        model: string;
+                        harness?: "claude-code" | "native" | undefined;
+                        account?: string | undefined;
+                        effort?: string | undefined;
+                        thinking?: boolean | undefined;
+                        fast?: boolean | undefined;
+                        move: "answer" | "send" | "spawn";
+                        child?: string | undefined;
+                        task?: string | undefined;
+                        message?: string | undefined;
+                        on?: string | undefined;
+                        proposed?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                        } | undefined;
+                    } | undefined;
                     explain?: string | undefined;
                     requestId: string;
                     status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -1264,6 +1508,21 @@ export declare const sandboxContract: {
                         title: string;
                         text: string;
                     }[] | undefined;
+                    speaker?: {
+                        kind: "person";
+                        email: string;
+                        name?: string | undefined;
+                    } | {
+                        kind: "program";
+                        token: string;
+                    } | {
+                        kind: "agent";
+                        conversationId: string;
+                    } | {
+                        kind: "sandbox";
+                        source?: string | undefined;
+                    } | undefined;
+                    errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                     placed?: boolean | undefined;
                     noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                     sandboxHeld?: boolean | undefined;
@@ -1320,6 +1579,29 @@ export declare const sandboxContract: {
                                 end: number;
                             }[];
                         } | undefined;
+                        child?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                            move: "answer" | "send" | "spawn";
+                            child?: string | undefined;
+                            task?: string | undefined;
+                            message?: string | undefined;
+                            on?: string | undefined;
+                            proposed?: {
+                                provider: string;
+                                model: string;
+                                harness?: "claude-code" | "native" | undefined;
+                                account?: string | undefined;
+                                effort?: string | undefined;
+                                thinking?: boolean | undefined;
+                                fast?: boolean | undefined;
+                            } | undefined;
+                        } | undefined;
                         explain?: string | undefined;
                         requestId: string;
                         status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -1439,6 +1721,21 @@ export declare const sandboxContract: {
                         title: string;
                         text: string;
                     }[] | undefined;
+                    speaker?: {
+                        kind: "person";
+                        email: string;
+                        name?: string | undefined;
+                    } | {
+                        kind: "program";
+                        token: string;
+                    } | {
+                        kind: "agent";
+                        conversationId: string;
+                    } | {
+                        kind: "sandbox";
+                        source?: string | undefined;
+                    } | undefined;
+                    errand?: "ci-fix" | "ci-fix-nudge" | "land-breakage" | "land-conflict" | "land-fix" | "land-fix-nudge" | "land-held" | "push-fix" | "push-fix-nudge" | "verify-nudge" | undefined;
                     placed?: boolean | undefined;
                     noticeAction?: "depsInstall" | "landHold" | "sandboxMemory" | "sendAgain" | "sendAnyway" | "watchStop" | undefined;
                     sandboxHeld?: boolean | undefined;
@@ -1495,6 +1792,29 @@ export declare const sandboxContract: {
                                 end: number;
                             }[];
                         } | undefined;
+                        child?: {
+                            provider: string;
+                            model: string;
+                            harness?: "claude-code" | "native" | undefined;
+                            account?: string | undefined;
+                            effort?: string | undefined;
+                            thinking?: boolean | undefined;
+                            fast?: boolean | undefined;
+                            move: "answer" | "send" | "spawn";
+                            child?: string | undefined;
+                            task?: string | undefined;
+                            message?: string | undefined;
+                            on?: string | undefined;
+                            proposed?: {
+                                provider: string;
+                                model: string;
+                                harness?: "claude-code" | "native" | undefined;
+                                account?: string | undefined;
+                                effort?: string | undefined;
+                                thinking?: boolean | undefined;
+                                fast?: boolean | undefined;
+                            } | undefined;
+                        } | undefined;
                         explain?: string | undefined;
                         requestId: string;
                         status: "allowed" | "always" | "cancelled" | "denied" | "pending";
@@ -1653,6 +1973,32 @@ export declare const sandboxContract: {
                         title: z.ZodString;
                         text: z.ZodString;
                     }, z.core.$strip>>>;
+                    speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"person">;
+                        email: z.ZodString;
+                        name: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"program">;
+                        token: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"agent">;
+                        conversationId: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"sandbox">;
+                        source: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>], "kind">>;
+                    errand: z.ZodOptional<z.ZodEnum<{
+                        "ci-fix": "ci-fix";
+                        "ci-fix-nudge": "ci-fix-nudge";
+                        "land-breakage": "land-breakage";
+                        "land-conflict": "land-conflict";
+                        "land-fix": "land-fix";
+                        "land-fix-nudge": "land-fix-nudge";
+                        "land-held": "land-held";
+                        "push-fix": "push-fix";
+                        "push-fix-nudge": "push-fix-nudge";
+                        "verify-nudge": "verify-nudge";
+                    }>>;
                     placed: z.ZodOptional<z.ZodBoolean>;
                     noticeAction: z.ZodOptional<z.ZodEnum<{
                         depsInstall: "depsInstall";
@@ -1732,6 +2078,39 @@ export declare const sandboxContract: {
                                 end: z.ZodNumber;
                             }, z.core.$strip>>;
                         }, z.core.$strip>>;
+                        child: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodString;
+                            model: z.ZodString;
+                            harness: z.ZodOptional<z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                native: "native";
+                            }>>;
+                            account: z.ZodOptional<z.ZodString>;
+                            effort: z.ZodOptional<z.ZodString>;
+                            thinking: z.ZodOptional<z.ZodBoolean>;
+                            fast: z.ZodOptional<z.ZodBoolean>;
+                            move: z.ZodEnum<{
+                                answer: "answer";
+                                send: "send";
+                                spawn: "spawn";
+                            }>;
+                            child: z.ZodOptional<z.ZodString>;
+                            task: z.ZodOptional<z.ZodString>;
+                            message: z.ZodOptional<z.ZodString>;
+                            on: z.ZodOptional<z.ZodString>;
+                            proposed: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodString;
+                                model: z.ZodString;
+                                harness: z.ZodOptional<z.ZodEnum<{
+                                    "claude-code": "claude-code";
+                                    native: "native";
+                                }>>;
+                                account: z.ZodOptional<z.ZodString>;
+                                effort: z.ZodOptional<z.ZodString>;
+                                thinking: z.ZodOptional<z.ZodBoolean>;
+                                fast: z.ZodOptional<z.ZodBoolean>;
+                            }, z.core.$strip>>;
+                        }, z.core.$strip>>;
                         explain: z.ZodOptional<z.ZodString>;
                         requestId: z.ZodString;
                         status: z.ZodEnum<{
@@ -1921,6 +2300,32 @@ export declare const sandboxContract: {
                             title: z.ZodString;
                             text: z.ZodString;
                         }, z.core.$strip>>>;
+                        speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"person">;
+                            email: z.ZodString;
+                            name: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"program">;
+                            token: z.ZodString;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"agent">;
+                            conversationId: z.ZodString;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"sandbox">;
+                            source: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>], "kind">>;
+                        errand: z.ZodOptional<z.ZodEnum<{
+                            "ci-fix": "ci-fix";
+                            "ci-fix-nudge": "ci-fix-nudge";
+                            "land-breakage": "land-breakage";
+                            "land-conflict": "land-conflict";
+                            "land-fix": "land-fix";
+                            "land-fix-nudge": "land-fix-nudge";
+                            "land-held": "land-held";
+                            "push-fix": "push-fix";
+                            "push-fix-nudge": "push-fix-nudge";
+                            "verify-nudge": "verify-nudge";
+                        }>>;
                         placed: z.ZodOptional<z.ZodBoolean>;
                         noticeAction: z.ZodOptional<z.ZodEnum<{
                             depsInstall: "depsInstall";
@@ -2000,6 +2405,39 @@ export declare const sandboxContract: {
                                     end: z.ZodNumber;
                                 }, z.core.$strip>>;
                             }, z.core.$strip>>;
+                            child: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodString;
+                                model: z.ZodString;
+                                harness: z.ZodOptional<z.ZodEnum<{
+                                    "claude-code": "claude-code";
+                                    native: "native";
+                                }>>;
+                                account: z.ZodOptional<z.ZodString>;
+                                effort: z.ZodOptional<z.ZodString>;
+                                thinking: z.ZodOptional<z.ZodBoolean>;
+                                fast: z.ZodOptional<z.ZodBoolean>;
+                                move: z.ZodEnum<{
+                                    answer: "answer";
+                                    send: "send";
+                                    spawn: "spawn";
+                                }>;
+                                child: z.ZodOptional<z.ZodString>;
+                                task: z.ZodOptional<z.ZodString>;
+                                message: z.ZodOptional<z.ZodString>;
+                                on: z.ZodOptional<z.ZodString>;
+                                proposed: z.ZodOptional<z.ZodObject<{
+                                    provider: z.ZodString;
+                                    model: z.ZodString;
+                                    harness: z.ZodOptional<z.ZodEnum<{
+                                        "claude-code": "claude-code";
+                                        native: "native";
+                                    }>>;
+                                    account: z.ZodOptional<z.ZodString>;
+                                    effort: z.ZodOptional<z.ZodString>;
+                                    thinking: z.ZodOptional<z.ZodBoolean>;
+                                    fast: z.ZodOptional<z.ZodBoolean>;
+                                }, z.core.$strip>>;
+                            }, z.core.$strip>>;
                             explain: z.ZodOptional<z.ZodString>;
                             requestId: z.ZodString;
                             status: z.ZodEnum<{
@@ -2187,6 +2625,32 @@ export declare const sandboxContract: {
                             title: z.ZodString;
                             text: z.ZodString;
                         }, z.core.$strip>>>;
+                        speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"person">;
+                            email: z.ZodString;
+                            name: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"program">;
+                            token: z.ZodString;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"agent">;
+                            conversationId: z.ZodString;
+                        }, z.core.$strip>, z.ZodObject<{
+                            kind: z.ZodLiteral<"sandbox">;
+                            source: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>], "kind">>;
+                        errand: z.ZodOptional<z.ZodEnum<{
+                            "ci-fix": "ci-fix";
+                            "ci-fix-nudge": "ci-fix-nudge";
+                            "land-breakage": "land-breakage";
+                            "land-conflict": "land-conflict";
+                            "land-fix": "land-fix";
+                            "land-fix-nudge": "land-fix-nudge";
+                            "land-held": "land-held";
+                            "push-fix": "push-fix";
+                            "push-fix-nudge": "push-fix-nudge";
+                            "verify-nudge": "verify-nudge";
+                        }>>;
                         placed: z.ZodOptional<z.ZodBoolean>;
                         noticeAction: z.ZodOptional<z.ZodEnum<{
                             depsInstall: "depsInstall";
@@ -2266,6 +2730,39 @@ export declare const sandboxContract: {
                                     end: z.ZodNumber;
                                 }, z.core.$strip>>;
                             }, z.core.$strip>>;
+                            child: z.ZodOptional<z.ZodObject<{
+                                provider: z.ZodString;
+                                model: z.ZodString;
+                                harness: z.ZodOptional<z.ZodEnum<{
+                                    "claude-code": "claude-code";
+                                    native: "native";
+                                }>>;
+                                account: z.ZodOptional<z.ZodString>;
+                                effort: z.ZodOptional<z.ZodString>;
+                                thinking: z.ZodOptional<z.ZodBoolean>;
+                                fast: z.ZodOptional<z.ZodBoolean>;
+                                move: z.ZodEnum<{
+                                    answer: "answer";
+                                    send: "send";
+                                    spawn: "spawn";
+                                }>;
+                                child: z.ZodOptional<z.ZodString>;
+                                task: z.ZodOptional<z.ZodString>;
+                                message: z.ZodOptional<z.ZodString>;
+                                on: z.ZodOptional<z.ZodString>;
+                                proposed: z.ZodOptional<z.ZodObject<{
+                                    provider: z.ZodString;
+                                    model: z.ZodString;
+                                    harness: z.ZodOptional<z.ZodEnum<{
+                                        "claude-code": "claude-code";
+                                        native: "native";
+                                    }>>;
+                                    account: z.ZodOptional<z.ZodString>;
+                                    effort: z.ZodOptional<z.ZodString>;
+                                    thinking: z.ZodOptional<z.ZodBoolean>;
+                                    fast: z.ZodOptional<z.ZodBoolean>;
+                                }, z.core.$strip>>;
+                            }, z.core.$strip>>;
                             explain: z.ZodOptional<z.ZodString>;
                             requestId: z.ZodString;
                             status: z.ZodEnum<{
@@ -2464,6 +2961,18 @@ export declare const sandboxContract: {
                 once: "once";
             }>;
             feedback: z.ZodOptional<z.ZodString>;
+            child: z.ZodOptional<z.ZodObject<{
+                provider: z.ZodString;
+                model: z.ZodString;
+                harness: z.ZodOptional<z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    native: "native";
+                }>>;
+                account: z.ZodOptional<z.ZodString>;
+                effort: z.ZodOptional<z.ZodString>;
+                thinking: z.ZodOptional<z.ZodBoolean>;
+                fast: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"browser_help">;
             requestId: z.ZodString;
@@ -2600,6 +3109,13 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             run: z.ZodString;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        switchAccount: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            conversationId: z.ZodString;
+            account: z.ZodString;
+            carry: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>, z.ZodObject<{
+            run: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         rewind: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             conversationId: z.ZodString;
             index: z.ZodNumber;
@@ -2691,6 +3207,7 @@ export declare const sandboxContract: {
                 runner: z.ZodOptional<z.ZodString>;
                 startIn: z.ZodOptional<z.ZodString>;
                 actsAs: z.ZodOptional<z.ZodString>;
+                lastActsAs: z.ZodOptional<z.ZodString>;
                 model: z.ZodOptional<z.ZodString>;
                 effort: z.ZodOptional<z.ZodString>;
                 thinking: z.ZodOptional<z.ZodBoolean>;
@@ -2755,12 +3272,11 @@ export declare const sandboxContract: {
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
                     rollsAt: z.ZodOptional<z.ZodNumber>;
-                    keepable: z.ZodOptional<z.ZodBoolean>;
+                    keepableUntil: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -2771,10 +3287,6 @@ export declare const sandboxContract: {
                             cold: "cold";
                             elapsed: "elapsed";
                             failed: "failed";
-                            limited: "limited";
-                            midnight: "midnight";
-                            moved: "moved";
-                            rewrote: "rewrote";
                         }>;
                         detail: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
@@ -2815,6 +3327,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 startedAt: z.ZodOptional<z.ZodNumber>;
                 run: z.ZodOptional<z.ZodString>;
@@ -2861,6 +3374,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<{
@@ -2897,6 +3421,7 @@ export declare const sandboxContract: {
                     index: z.ZodNumber;
                     total: z.ZodNumber;
                 }, z.core.$strip>>;
+                awaitingWake: z.ZodOptional<z.ZodBoolean>;
                 watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     id: z.ZodString;
                     note: z.ZodString;
@@ -2910,6 +3435,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>>;
@@ -2968,6 +3501,7 @@ export declare const sandboxContract: {
                 runner: z.ZodOptional<z.ZodString>;
                 startIn: z.ZodOptional<z.ZodString>;
                 actsAs: z.ZodOptional<z.ZodString>;
+                lastActsAs: z.ZodOptional<z.ZodString>;
                 model: z.ZodOptional<z.ZodString>;
                 effort: z.ZodOptional<z.ZodString>;
                 thinking: z.ZodOptional<z.ZodBoolean>;
@@ -3032,12 +3566,11 @@ export declare const sandboxContract: {
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
                     rollsAt: z.ZodOptional<z.ZodNumber>;
-                    keepable: z.ZodOptional<z.ZodBoolean>;
+                    keepableUntil: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -3048,10 +3581,6 @@ export declare const sandboxContract: {
                             cold: "cold";
                             elapsed: "elapsed";
                             failed: "failed";
-                            limited: "limited";
-                            midnight: "midnight";
-                            moved: "moved";
-                            rewrote: "rewrote";
                         }>;
                         detail: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
@@ -3092,6 +3621,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 startedAt: z.ZodOptional<z.ZodNumber>;
                 run: z.ZodOptional<z.ZodString>;
@@ -3138,6 +3668,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<{
@@ -3174,6 +3715,7 @@ export declare const sandboxContract: {
                     index: z.ZodNumber;
                     total: z.ZodNumber;
                 }, z.core.$strip>>;
+                awaitingWake: z.ZodOptional<z.ZodBoolean>;
                 watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     id: z.ZodString;
                     note: z.ZodString;
@@ -3187,6 +3729,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>>;
@@ -3263,6 +3813,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -3327,12 +3878,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -3343,10 +3893,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -3387,6 +3933,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -3433,6 +3980,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<{
@@ -3469,6 +4027,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -3482,6 +4041,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>>;
@@ -3525,6 +4092,32 @@ export declare const sandboxContract: {
                     title: z.ZodString;
                     text: z.ZodString;
                 }, z.core.$strip>>>;
+                speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"person">;
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"program">;
+                    token: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"agent">;
+                    conversationId: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"sandbox">;
+                    source: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>], "kind">>;
+                errand: z.ZodOptional<z.ZodEnum<{
+                    "ci-fix": "ci-fix";
+                    "ci-fix-nudge": "ci-fix-nudge";
+                    "land-breakage": "land-breakage";
+                    "land-conflict": "land-conflict";
+                    "land-fix": "land-fix";
+                    "land-fix-nudge": "land-fix-nudge";
+                    "land-held": "land-held";
+                    "push-fix": "push-fix";
+                    "push-fix-nudge": "push-fix-nudge";
+                    "verify-nudge": "verify-nudge";
+                }>>;
                 placed: z.ZodOptional<z.ZodBoolean>;
                 noticeAction: z.ZodOptional<z.ZodEnum<{
                     depsInstall: "depsInstall";
@@ -3604,6 +4197,39 @@ export declare const sandboxContract: {
                             end: z.ZodNumber;
                         }, z.core.$strip>>;
                     }, z.core.$strip>>;
+                    child: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodString;
+                        model: z.ZodString;
+                        harness: z.ZodOptional<z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            native: "native";
+                        }>>;
+                        account: z.ZodOptional<z.ZodString>;
+                        effort: z.ZodOptional<z.ZodString>;
+                        thinking: z.ZodOptional<z.ZodBoolean>;
+                        fast: z.ZodOptional<z.ZodBoolean>;
+                        move: z.ZodEnum<{
+                            answer: "answer";
+                            send: "send";
+                            spawn: "spawn";
+                        }>;
+                        child: z.ZodOptional<z.ZodString>;
+                        task: z.ZodOptional<z.ZodString>;
+                        message: z.ZodOptional<z.ZodString>;
+                        on: z.ZodOptional<z.ZodString>;
+                        proposed: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodString;
+                            model: z.ZodString;
+                            harness: z.ZodOptional<z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                native: "native";
+                            }>>;
+                            account: z.ZodOptional<z.ZodString>;
+                            effort: z.ZodOptional<z.ZodString>;
+                            thinking: z.ZodOptional<z.ZodBoolean>;
+                            fast: z.ZodOptional<z.ZodBoolean>;
+                        }, z.core.$strip>>;
+                    }, z.core.$strip>>;
                     explain: z.ZodOptional<z.ZodString>;
                     requestId: z.ZodString;
                     status: z.ZodEnum<{
@@ -3866,6 +4492,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -3930,12 +4557,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -3946,10 +4572,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -3990,6 +4612,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -4036,6 +4659,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<{
@@ -4072,6 +4706,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -4085,6 +4720,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>>;
@@ -4125,6 +4768,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -4189,12 +4833,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -4205,10 +4848,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -4249,6 +4888,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -4295,6 +4935,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<{
@@ -4331,6 +4982,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -4344,6 +4996,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>>;
@@ -4394,6 +5054,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -4458,12 +5119,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -4474,10 +5134,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -4518,6 +5174,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -4564,6 +5221,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<{
@@ -4600,6 +5268,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -4613,6 +5282,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>>;
@@ -4653,6 +5330,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -4717,12 +5395,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -4733,10 +5410,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -4777,6 +5450,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -4823,6 +5497,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<{
@@ -4859,6 +5544,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -4872,6 +5558,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>>;
@@ -4911,6 +5605,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -4975,12 +5670,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -4991,10 +5685,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -5035,6 +5725,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -5081,6 +5772,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<{
@@ -5117,6 +5819,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -5130,6 +5833,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>>;
@@ -5170,6 +5881,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -5234,12 +5946,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -5250,10 +5961,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -5294,6 +6001,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -5340,6 +6048,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<{
@@ -5376,6 +6095,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -5389,28 +6109,312 @@ 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";
+        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>;
+            lastActsAs: 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>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                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";
+                    }>;
+                    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>;
+                allows: z.ZodOptional<z.ZodArray<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>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
+            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>;
@@ -5427,6 +6431,7 @@ export declare const sandboxContract: {
                 runner: z.ZodOptional<z.ZodString>;
                 startIn: z.ZodOptional<z.ZodString>;
                 actsAs: z.ZodOptional<z.ZodString>;
+                lastActsAs: z.ZodOptional<z.ZodString>;
                 model: z.ZodOptional<z.ZodString>;
                 effort: z.ZodOptional<z.ZodString>;
                 thinking: z.ZodOptional<z.ZodBoolean>;
@@ -5491,12 +6496,11 @@ export declare const sandboxContract: {
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
                     rollsAt: z.ZodOptional<z.ZodNumber>;
-                    keepable: z.ZodOptional<z.ZodBoolean>;
+                    keepableUntil: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -5507,10 +6511,6 @@ export declare const sandboxContract: {
                             cold: "cold";
                             elapsed: "elapsed";
                             failed: "failed";
-                            limited: "limited";
-                            midnight: "midnight";
-                            moved: "moved";
-                            rewrote: "rewrote";
                         }>;
                         detail: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
@@ -5551,6 +6551,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 startedAt: z.ZodOptional<z.ZodNumber>;
                 run: z.ZodOptional<z.ZodString>;
@@ -5597,6 +6598,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<{
@@ -5633,6 +6645,7 @@ export declare const sandboxContract: {
                     index: z.ZodNumber;
                     total: z.ZodNumber;
                 }, z.core.$strip>>;
+                awaitingWake: z.ZodOptional<z.ZodBoolean>;
                 watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     id: z.ZodString;
                     note: z.ZodString;
@@ -5646,6 +6659,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>>;
@@ -5733,6 +6754,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<{
@@ -5799,6 +6837,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<{
@@ -5869,6 +6928,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -5933,12 +6993,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -5949,10 +7008,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -5993,6 +7048,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -6039,6 +7095,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<{
@@ -6075,6 +7142,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -6088,6 +7156,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>>;
@@ -6128,6 +7204,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -6192,12 +7269,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -6208,10 +7284,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -6252,6 +7324,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -6298,6 +7371,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<{
@@ -6334,6 +7418,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -6347,6 +7432,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>>;
@@ -6388,6 +7481,7 @@ export declare const sandboxContract: {
             runner: z.ZodOptional<z.ZodString>;
             startIn: z.ZodOptional<z.ZodString>;
             actsAs: z.ZodOptional<z.ZodString>;
+            lastActsAs: z.ZodOptional<z.ZodString>;
             model: z.ZodOptional<z.ZodString>;
             effort: z.ZodOptional<z.ZodString>;
             thinking: z.ZodOptional<z.ZodBoolean>;
@@ -6452,12 +7546,11 @@ export declare const sandboxContract: {
                 at: z.ZodNumber;
                 ttlMs: z.ZodNumber;
                 rollsAt: z.ZodOptional<z.ZodNumber>;
-                keepable: z.ZodOptional<z.ZodBoolean>;
+                keepableUntil: z.ZodOptional<z.ZodNumber>;
             }, 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<{
@@ -6468,10 +7561,6 @@ export declare const sandboxContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
@@ -6512,6 +7601,7 @@ export declare const sandboxContract: {
                 note: z.ZodOptional<z.ZodString>;
                 breaking: z.ZodOptional<z.ZodString>;
                 testNote: z.ZodOptional<z.ZodString>;
+                allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             startedAt: z.ZodOptional<z.ZodNumber>;
             run: z.ZodOptional<z.ZodString>;
@@ -6558,6 +7648,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<{
@@ -6594,6 +7695,7 @@ export declare const sandboxContract: {
                 index: z.ZodNumber;
                 total: z.ZodNumber;
             }, z.core.$strip>>;
+            awaitingWake: z.ZodOptional<z.ZodBoolean>;
             watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
                 note: z.ZodString;
@@ -6607,6 +7709,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>>;
@@ -6652,6 +7762,7 @@ export declare const sandboxContract: {
                 runner: z.ZodOptional<z.ZodString>;
                 startIn: z.ZodOptional<z.ZodString>;
                 actsAs: z.ZodOptional<z.ZodString>;
+                lastActsAs: z.ZodOptional<z.ZodString>;
                 model: z.ZodOptional<z.ZodString>;
                 effort: z.ZodOptional<z.ZodString>;
                 thinking: z.ZodOptional<z.ZodBoolean>;
@@ -6716,12 +7827,11 @@ export declare const sandboxContract: {
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
                     rollsAt: z.ZodOptional<z.ZodNumber>;
-                    keepable: z.ZodOptional<z.ZodBoolean>;
+                    keepableUntil: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -6732,10 +7842,6 @@ export declare const sandboxContract: {
                             cold: "cold";
                             elapsed: "elapsed";
                             failed: "failed";
-                            limited: "limited";
-                            midnight: "midnight";
-                            moved: "moved";
-                            rewrote: "rewrote";
                         }>;
                         detail: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
@@ -6776,6 +7882,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 startedAt: z.ZodOptional<z.ZodNumber>;
                 run: z.ZodOptional<z.ZodString>;
@@ -6822,6 +7929,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<{
@@ -6858,6 +7976,7 @@ export declare const sandboxContract: {
                     index: z.ZodNumber;
                     total: z.ZodNumber;
                 }, z.core.$strip>>;
+                awaitingWake: z.ZodOptional<z.ZodBoolean>;
                 watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     id: z.ZodString;
                     note: z.ZodString;
@@ -6871,6 +7990,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>>;
@@ -6917,6 +8044,7 @@ export declare const sandboxContract: {
                 runner: z.ZodOptional<z.ZodString>;
                 startIn: z.ZodOptional<z.ZodString>;
                 actsAs: z.ZodOptional<z.ZodString>;
+                lastActsAs: z.ZodOptional<z.ZodString>;
                 model: z.ZodOptional<z.ZodString>;
                 effort: z.ZodOptional<z.ZodString>;
                 thinking: z.ZodOptional<z.ZodBoolean>;
@@ -6981,12 +8109,11 @@ export declare const sandboxContract: {
                     at: z.ZodNumber;
                     ttlMs: z.ZodNumber;
                     rollsAt: z.ZodOptional<z.ZodNumber>;
-                    keepable: z.ZodOptional<z.ZodBoolean>;
+                    keepableUntil: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -6997,10 +8124,6 @@ export declare const sandboxContract: {
                             cold: "cold";
                             elapsed: "elapsed";
                             failed: "failed";
-                            limited: "limited";
-                            midnight: "midnight";
-                            moved: "moved";
-                            rewrote: "rewrote";
                         }>;
                         detail: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
@@ -7041,6 +8164,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 startedAt: z.ZodOptional<z.ZodNumber>;
                 run: z.ZodOptional<z.ZodString>;
@@ -7087,6 +8211,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<{
@@ -7123,6 +8258,7 @@ export declare const sandboxContract: {
                     index: z.ZodNumber;
                     total: z.ZodNumber;
                 }, z.core.$strip>>;
+                awaitingWake: z.ZodOptional<z.ZodBoolean>;
                 watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                     id: z.ZodString;
                     note: z.ZodString;
@@ -7136,6 +8272,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>>;
@@ -9078,6 +10222,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<{
@@ -9319,6 +10464,11 @@ export declare const sandboxContract: {
                             secret: z.ZodOptional<z.ZodBoolean>;
                             env: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>>>;
+                        tools: z.ZodOptional<z.ZodObject<{
+                            perCard: z.ZodOptional<z.ZodString>;
+                            process: z.ZodOptional<z.ZodString>;
+                            path: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>>;
                         viewers: z.ZodOptional<z.ZodArray<z.ZodObject<{
                             id: z.ZodString;
                             extensions: z.ZodArray<z.ZodString>;
@@ -9366,6 +10516,7 @@ export declare const sandboxContract: {
                     }>;
                     detail: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                problems: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 update: z.ZodOptional<z.ZodObject<{
                     ref: z.ZodString;
                     version: z.ZodOptional<z.ZodString>;
@@ -9532,6 +10683,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<{
@@ -9773,6 +10925,11 @@ export declare const sandboxContract: {
                             secret: z.ZodOptional<z.ZodBoolean>;
                             env: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>>>;
+                        tools: z.ZodOptional<z.ZodObject<{
+                            perCard: z.ZodOptional<z.ZodString>;
+                            process: z.ZodOptional<z.ZodString>;
+                            path: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strip>>;
                         viewers: z.ZodOptional<z.ZodArray<z.ZodObject<{
                             id: z.ZodString;
                             extensions: z.ZodArray<z.ZodString>;
@@ -9990,6 +11147,7 @@ export declare const sandboxContract: {
                     connectors: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     devices: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     mcp: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 workspace: z.ZodOptional<z.ZodObject<{
                     startIn: z.ZodOptional<z.ZodString>;
@@ -10050,6 +11208,7 @@ export declare const sandboxContract: {
                 connectors: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 devices: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 mcp: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                extensions: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             workspace: z.ZodOptional<z.ZodObject<{
                 startIn: z.ZodOptional<z.ZodString>;
@@ -10222,6 +11381,32 @@ export declare const sandboxContract: {
                     title: z.ZodString;
                     text: z.ZodString;
                 }, z.core.$strip>>>;
+                speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"person">;
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"program">;
+                    token: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"agent">;
+                    conversationId: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"sandbox">;
+                    source: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>], "kind">>;
+                errand: z.ZodOptional<z.ZodEnum<{
+                    "ci-fix": "ci-fix";
+                    "ci-fix-nudge": "ci-fix-nudge";
+                    "land-breakage": "land-breakage";
+                    "land-conflict": "land-conflict";
+                    "land-fix": "land-fix";
+                    "land-fix-nudge": "land-fix-nudge";
+                    "land-held": "land-held";
+                    "push-fix": "push-fix";
+                    "push-fix-nudge": "push-fix-nudge";
+                    "verify-nudge": "verify-nudge";
+                }>>;
                 placed: z.ZodOptional<z.ZodBoolean>;
                 noticeAction: z.ZodOptional<z.ZodEnum<{
                     depsInstall: "depsInstall";
@@ -10301,6 +11486,39 @@ export declare const sandboxContract: {
                             end: z.ZodNumber;
                         }, z.core.$strip>>;
                     }, z.core.$strip>>;
+                    child: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodString;
+                        model: z.ZodString;
+                        harness: z.ZodOptional<z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            native: "native";
+                        }>>;
+                        account: z.ZodOptional<z.ZodString>;
+                        effort: z.ZodOptional<z.ZodString>;
+                        thinking: z.ZodOptional<z.ZodBoolean>;
+                        fast: z.ZodOptional<z.ZodBoolean>;
+                        move: z.ZodEnum<{
+                            answer: "answer";
+                            send: "send";
+                            spawn: "spawn";
+                        }>;
+                        child: z.ZodOptional<z.ZodString>;
+                        task: z.ZodOptional<z.ZodString>;
+                        message: z.ZodOptional<z.ZodString>;
+                        on: z.ZodOptional<z.ZodString>;
+                        proposed: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodString;
+                            model: z.ZodString;
+                            harness: z.ZodOptional<z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                native: "native";
+                            }>>;
+                            account: z.ZodOptional<z.ZodString>;
+                            effort: z.ZodOptional<z.ZodString>;
+                            thinking: z.ZodOptional<z.ZodBoolean>;
+                            fast: z.ZodOptional<z.ZodBoolean>;
+                        }, z.core.$strip>>;
+                    }, z.core.$strip>>;
                     explain: z.ZodOptional<z.ZodString>;
                     requestId: z.ZodString;
                     status: z.ZodEnum<{
@@ -10520,11 +11738,17 @@ 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>;
+            keepWarm: z.ZodPrefault<z.ZodObject<{
+                auto: z.ZodDefault<z.ZodBoolean>;
+                hours: z.ZodDefault<z.ZodNumber>;
+                minTokens: z.ZodDefault<z.ZodNumber>;
+                reserve: z.ZodDefault<z.ZodNumber>;
+            }, z.core.$strip>>;
             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<{
@@ -10684,11 +11908,17 @@ 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>;
+            keepWarm: z.ZodPrefault<z.ZodObject<{
+                auto: z.ZodDefault<z.ZodBoolean>;
+                hours: z.ZodDefault<z.ZodNumber>;
+                minTokens: z.ZodDefault<z.ZodNumber>;
+                reserve: z.ZodDefault<z.ZodNumber>;
+            }, z.core.$strip>>;
             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<{
@@ -11297,6 +12527,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>>;
             committing: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -11699,6 +12930,7 @@ export declare const sandboxContract: {
                     note: z.ZodOptional<z.ZodString>;
                     breaking: z.ZodOptional<z.ZodString>;
                     testNote: z.ZodOptional<z.ZodString>;
+                    allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -11928,6 +13160,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>;
@@ -12214,6 +13447,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;
@@ -12227,35 +13466,245 @@ 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>>;
-        extract: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
-            path: z.ZodString;
+        extract: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            path: 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>>;
+        setup: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            projects: z.ZodArray<z.ZodObject<{
+                dir: z.ZodString;
+                ecosystem: z.ZodEnum<{
+                    node: "node";
+                    python: "python";
+                }>;
+                manager: z.ZodString;
+                command: z.ZodString;
+                evidence: z.ZodString;
+                state: z.ZodEnum<{
+                    installing: "installing";
+                    "needs-setup": "needs-setup";
+                    ready: "ready";
+                    stale: "stale";
+                    unsupported: "unsupported";
+                }>;
+                missing: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        install: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            dirs: z.ZodArray<z.ZodString>;
+        }, 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>>;
+                session: z.ZodOptional<z.ZodString>;
+                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>>;
+                    named: z.ZodOptional<z.ZodBoolean>;
+                    units: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        name: z.ZodString;
+                        path: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>>;
+                    routing: z.ZodOptional<z.ZodObject<{
+                        kind: z.ZodEnum<{
+                            dismissed: "dismissed";
+                            "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>;
+                        findings: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>;
+                redSince: z.ZodOptional<z.ZodNumber>;
+                red: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    cause: z.ZodArray<z.ZodObject<{
+                        conversationId: z.ZodString;
+                        title: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
+                    named: z.ZodBoolean;
+                    fixer: z.ZodOptional<z.ZodObject<{
+                        kind: z.ZodEnum<{
+                            dismissed: "dismissed";
+                            "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>;
+                        findings: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>;
+            }, 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>>;
+                named: z.ZodOptional<z.ZodBoolean>;
+                units: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>>;
+                routing: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        dismissed: "dismissed";
+                        "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>;
+                    findings: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            pushed: 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;
+                    source: z.ZodString;
+                    text: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
+                    command: z.ZodOptional<z.ZodString>;
+                    recheckable: z.ZodBoolean;
+                    gate: z.ZodOptional<z.ZodEnum<{
+                        code: "code";
+                        tidy: "tidy";
+                    }>>;
+                    commit: z.ZodOptional<z.ZodObject<{
+                        sha: z.ZodString;
+                        subject: z.ZodString;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>;
+                refused: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>>;
+            reds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                source: z.ZodEnum<{
+                    ci: "ci";
+                    land: "land";
+                    push: "push";
+                }>;
+                scope: z.ZodString;
+                since: z.ZodNumber;
+                findings: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    source: z.ZodString;
+                    text: z.ZodString;
+                    path: z.ZodOptional<z.ZodString>;
+                    command: z.ZodOptional<z.ZodString>;
+                    recheckable: z.ZodBoolean;
+                    gate: z.ZodOptional<z.ZodEnum<{
+                        code: "code";
+                        tidy: "tidy";
+                    }>>;
+                    commit: z.ZodOptional<z.ZodObject<{
+                        sha: z.ZodString;
+                        subject: z.ZodString;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>>;
+                suspects: z.ZodDefault<z.ZodArray<z.ZodString>>;
+                named: z.ZodDefault<z.ZodBoolean>;
+                decisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        dismissed: "dismissed";
+                        "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>;
+                    findings: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                }, z.core.$strip>>>;
+            }, 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<{
-            path: z.ZodString;
-        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
-        setup: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
-            projects: z.ZodArray<z.ZodObject<{
-                dir: z.ZodString;
-                ecosystem: z.ZodEnum<{
-                    node: "node";
-                    python: "python";
-                }>;
-                manager: z.ZodString;
-                command: z.ZodString;
-                evidence: z.ZodString;
-                state: z.ZodEnum<{
-                    installing: "installing";
-                    "needs-setup": "needs-setup";
-                    ready: "ready";
-                    stale: "stale";
-                    unsupported: "unsupported";
-                }>;
-                missing: z.ZodOptional<z.ZodNumber>;
-            }, z.core.$strip>>;
+            changed: z.ZodNumber;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
-        install: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
-            dirs: z.ZodArray<z.ZodString>;
+        mainlinePushRecheck: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
         }, z.core.$strip>, z.ZodObject<{
-            queued: z.ZodArray<z.ZodString>;
+            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>;
@@ -13050,6 +14499,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>>;
@@ -13303,6 +14757,29 @@ export declare const sandboxContract: {
                 version: z.ZodOptional<z.ZodString>;
                 channel: z.ZodString;
                 at: z.ZodNumber;
+                plan: z.ZodOptional<z.ZodObject<{
+                    plan: z.ZodOptional<z.ZodLiteral<1>>;
+                    version: z.ZodOptional<z.ZodString>;
+                    engine: z.ZodOptional<z.ZodNumber>;
+                    digest: z.ZodOptional<z.ZodString>;
+                    downgrade: z.ZodOptional<z.ZodBoolean>;
+                    failures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        detail: z.ZodString;
+                    }, z.core.$strip>>>;
+                    steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        change: z.ZodString;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>>;
+                    converts: z.ZodOptional<z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        change: z.ZodString;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>>>;
+                    files: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    ok: z.ZodBoolean;
+                }, 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<{
@@ -13313,6 +14790,12 @@ export declare const sandboxContract: {
                     unknownKey: "unknownKey";
                     unreadable: "unreadable";
                 }>;
+                reason: z.ZodOptional<z.ZodEnum<{
+                    "conversion-failed": "conversion-failed";
+                    io: "io";
+                    "not-json": "not-json";
+                    rejected: "rejected";
+                }>>;
                 detail: z.ZodString;
                 suggestion: z.ZodOptional<z.ZodString>;
                 fix: z.ZodOptional<z.ZodString>;
@@ -13333,6 +14816,19 @@ export declare const sandboxContract: {
         events: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             clientId: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>, import("@orpc/contract").Schema<AsyncIteratorObject<{
+            kind: "heartbeat";
+            rev: number;
+        } | {
+            ready: boolean;
+            startedAt: number;
+            steps: {
+                key: string;
+                label: string;
+                state: "done" | "failed" | "pending" | "running";
+                ms?: number | undefined;
+            }[];
+            kind: "boot";
+        } | {
             kind: "hello";
             workspaceId: string;
             routes?: string[] | undefined;
@@ -13349,18 +14845,8 @@ export declare const sandboxContract: {
                 }[];
             } | undefined;
         } | {
-            kind: "heartbeat";
-            rev: number;
-        } | {
-            ready: boolean;
-            startedAt: number;
-            steps: {
-                key: string;
-                label: string;
-                state: "done" | "failed" | "pending" | "running";
-                ms?: number | undefined;
-            }[];
-            kind: "boot";
+            kind: "reposChanged";
+            repos: string[];
         } | {
             kind: "workspaceChanged";
             paths: string[];
@@ -13376,9 +14862,6 @@ export declare const sandboxContract: {
                 shadows?: number | undefined;
                 sweptAt?: string | undefined;
             };
-        } | {
-            kind: "reposChanged";
-            repos: string[];
         } | {
             kind: "refsChanged";
             repos: string[];
@@ -13417,6 +14900,7 @@ export declare const sandboxContract: {
                 runner?: string | undefined;
                 startIn?: string | undefined;
                 actsAs?: string | undefined;
+                lastActsAs?: string | undefined;
                 model?: string | undefined;
                 effort?: string | undefined;
                 thinking?: boolean | undefined;
@@ -13468,17 +14952,16 @@ export declare const sandboxContract: {
                     at: number;
                     ttlMs: number;
                     rollsAt?: number | undefined;
-                    keepable?: boolean | undefined;
+                    keepableUntil?: number | 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";
+                        reason: "allowance" | "changed" | "cold" | "elapsed" | "failed";
                         detail?: string | undefined;
                     } | undefined;
                 } | undefined;
@@ -13510,6 +14993,7 @@ export declare const sandboxContract: {
                     note?: string | undefined;
                     breaking?: string | undefined;
                     testNote?: string | undefined;
+                    allows?: string[] | undefined;
                 } | undefined;
                 startedAt?: number | undefined;
                 run?: string | undefined;
@@ -13545,6 +15029,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?: {
@@ -13573,6 +15063,7 @@ export declare const sandboxContract: {
                     index: number;
                     total: number;
                 } | undefined;
+                awaitingWake?: boolean | undefined;
                 watches?: {
                     id: string;
                     note: string;
@@ -13586,6 +15077,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;
             }[];
@@ -13605,6 +15100,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -13616,7 +15115,29 @@ 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: "heartbeat";
+            rev: number;
+        } | {
+            ready: boolean;
+            startedAt: number;
+            steps: {
+                key: string;
+                label: string;
+                state: "done" | "failed" | "pending" | "running";
+                ms?: number | undefined;
+            }[];
+            kind: "boot";
+        } | {
             kind: "hello";
             workspaceId: string;
             routes?: string[] | undefined;
@@ -13633,18 +15154,8 @@ export declare const sandboxContract: {
                 }[];
             } | undefined;
         } | {
-            kind: "heartbeat";
-            rev: number;
-        } | {
-            ready: boolean;
-            startedAt: number;
-            steps: {
-                key: string;
-                label: string;
-                state: "done" | "failed" | "pending" | "running";
-                ms?: number | undefined;
-            }[];
-            kind: "boot";
+            kind: "reposChanged";
+            repos: string[];
         } | {
             kind: "workspaceChanged";
             paths: string[];
@@ -13660,9 +15171,6 @@ export declare const sandboxContract: {
                 shadows?: number | undefined;
                 sweptAt?: string | undefined;
             };
-        } | {
-            kind: "reposChanged";
-            repos: string[];
         } | {
             kind: "refsChanged";
             repos: string[];
@@ -13701,6 +15209,7 @@ export declare const sandboxContract: {
                 runner?: string | undefined;
                 startIn?: string | undefined;
                 actsAs?: string | undefined;
+                lastActsAs?: string | undefined;
                 model?: string | undefined;
                 effort?: string | undefined;
                 thinking?: boolean | undefined;
@@ -13752,17 +15261,16 @@ export declare const sandboxContract: {
                     at: number;
                     ttlMs: number;
                     rollsAt?: number | undefined;
-                    keepable?: boolean | undefined;
+                    keepableUntil?: number | 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";
+                        reason: "allowance" | "changed" | "cold" | "elapsed" | "failed";
                         detail?: string | undefined;
                     } | undefined;
                 } | undefined;
@@ -13794,6 +15302,7 @@ export declare const sandboxContract: {
                     note?: string | undefined;
                     breaking?: string | undefined;
                     testNote?: string | undefined;
+                    allows?: string[] | undefined;
                 } | undefined;
                 startedAt?: number | undefined;
                 run?: string | undefined;
@@ -13829,6 +15338,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?: {
@@ -13857,6 +15372,7 @@ export declare const sandboxContract: {
                     index: number;
                     total: number;
                 } | undefined;
+                awaitingWake?: boolean | undefined;
                 watches?: {
                     id: string;
                     note: string;
@@ -13870,6 +15386,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;
             }[];
@@ -13889,6 +15409,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -13900,6 +15424,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">;
@@ -13943,6 +15476,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>;
@@ -14020,6 +15562,7 @@ export declare const sandboxContract: {
                     runner: z.ZodOptional<z.ZodString>;
                     startIn: z.ZodOptional<z.ZodString>;
                     actsAs: z.ZodOptional<z.ZodString>;
+                    lastActsAs: z.ZodOptional<z.ZodString>;
                     model: z.ZodOptional<z.ZodString>;
                     effort: z.ZodOptional<z.ZodString>;
                     thinking: z.ZodOptional<z.ZodBoolean>;
@@ -14084,12 +15627,11 @@ export declare const sandboxContract: {
                         at: z.ZodNumber;
                         ttlMs: z.ZodNumber;
                         rollsAt: z.ZodOptional<z.ZodNumber>;
-                        keepable: z.ZodOptional<z.ZodBoolean>;
+                        keepableUntil: z.ZodOptional<z.ZodNumber>;
                     }, 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<{
@@ -14100,10 +15642,6 @@ export declare const sandboxContract: {
                                 cold: "cold";
                                 elapsed: "elapsed";
                                 failed: "failed";
-                                limited: "limited";
-                                midnight: "midnight";
-                                moved: "moved";
-                                rewrote: "rewrote";
                             }>;
                             detail: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>>;
@@ -14144,6 +15682,7 @@ export declare const sandboxContract: {
                         note: z.ZodOptional<z.ZodString>;
                         breaking: z.ZodOptional<z.ZodString>;
                         testNote: z.ZodOptional<z.ZodString>;
+                        allows: z.ZodOptional<z.ZodArray<z.ZodString>>;
                     }, z.core.$strip>>;
                     startedAt: z.ZodOptional<z.ZodNumber>;
                     run: z.ZodOptional<z.ZodString>;
@@ -14190,6 +15729,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<{
@@ -14226,6 +15776,7 @@ export declare const sandboxContract: {
                         index: z.ZodNumber;
                         total: z.ZodNumber;
                     }, z.core.$strip>>;
+                    awaitingWake: z.ZodOptional<z.ZodBoolean>;
                     watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
                         id: z.ZodString;
                         note: z.ZodString;
@@ -14239,6 +15790,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>>;
@@ -14258,6 +15817,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">;
@@ -14305,6 +15868,13 @@ export declare const sandboxContract: {
                 memoryBytes: z.ZodNumber;
                 memoryLimitBytes: z.ZodNumber;
                 swapBytes: z.ZodOptional<z.ZodNumber>;
+                memoryRoom: z.ZodOptional<z.ZodObject<{
+                    freeBytes: z.ZodOptional<z.ZodNumber>;
+                    reservedBytes: z.ZodNumber;
+                    personNeedBytes: z.ZodNumber;
+                    stallPercent: z.ZodNumber;
+                    stallLimitPercent: z.ZodNumber;
+                }, z.core.$strip>>;
                 diskBytes: z.ZodOptional<z.ZodNumber>;
                 diskTotalBytes: z.ZodOptional<z.ZodNumber>;
                 loadAverage: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
@@ -14359,6 +15929,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -14412,6 +15983,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -14456,6 +16028,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";
@@ -14480,6 +16053,7 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             category: z.ZodEnum<{
                 artifacts: "artifacts";
+                backups: "backups";
                 browserCaptures: "browserCaptures";
                 browserProfiles: "browserProfiles";
                 buildCaches: "buildCaches";
@@ -14662,6 +16236,32 @@ export declare const sandboxContract: {
                     title: z.ZodString;
                     text: z.ZodString;
                 }, z.core.$strip>>>;
+                speaker: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"person">;
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"program">;
+                    token: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"agent">;
+                    conversationId: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"sandbox">;
+                    source: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>], "kind">>;
+                errand: z.ZodOptional<z.ZodEnum<{
+                    "ci-fix": "ci-fix";
+                    "ci-fix-nudge": "ci-fix-nudge";
+                    "land-breakage": "land-breakage";
+                    "land-conflict": "land-conflict";
+                    "land-fix": "land-fix";
+                    "land-fix-nudge": "land-fix-nudge";
+                    "land-held": "land-held";
+                    "push-fix": "push-fix";
+                    "push-fix-nudge": "push-fix-nudge";
+                    "verify-nudge": "verify-nudge";
+                }>>;
                 placed: z.ZodOptional<z.ZodBoolean>;
                 noticeAction: z.ZodOptional<z.ZodEnum<{
                     depsInstall: "depsInstall";
@@ -14741,6 +16341,39 @@ export declare const sandboxContract: {
                             end: z.ZodNumber;
                         }, z.core.$strip>>;
                     }, z.core.$strip>>;
+                    child: z.ZodOptional<z.ZodObject<{
+                        provider: z.ZodString;
+                        model: z.ZodString;
+                        harness: z.ZodOptional<z.ZodEnum<{
+                            "claude-code": "claude-code";
+                            native: "native";
+                        }>>;
+                        account: z.ZodOptional<z.ZodString>;
+                        effort: z.ZodOptional<z.ZodString>;
+                        thinking: z.ZodOptional<z.ZodBoolean>;
+                        fast: z.ZodOptional<z.ZodBoolean>;
+                        move: z.ZodEnum<{
+                            answer: "answer";
+                            send: "send";
+                            spawn: "spawn";
+                        }>;
+                        child: z.ZodOptional<z.ZodString>;
+                        task: z.ZodOptional<z.ZodString>;
+                        message: z.ZodOptional<z.ZodString>;
+                        on: z.ZodOptional<z.ZodString>;
+                        proposed: z.ZodOptional<z.ZodObject<{
+                            provider: z.ZodString;
+                            model: z.ZodString;
+                            harness: z.ZodOptional<z.ZodEnum<{
+                                "claude-code": "claude-code";
+                                native: "native";
+                            }>>;
+                            account: z.ZodOptional<z.ZodString>;
+                            effort: z.ZodOptional<z.ZodString>;
+                            thinking: z.ZodOptional<z.ZodBoolean>;
+                            fast: z.ZodOptional<z.ZodBoolean>;
+                        }, z.core.$strip>>;
+                    }, z.core.$strip>>;
                     explain: z.ZodOptional<z.ZodString>;
                     requestId: z.ZodString;
                     status: z.ZodEnum<{
@@ -14902,11 +16535,16 @@ export declare const sandboxContract: {
                         sync: "sync";
                     }>;
                     seenAt: z.ZodOptional<z.ZodNumber>;
+                    machineId: z.ZodOptional<z.ZodString>;
+                    environment: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
                 hostId: z.ZodOptional<z.ZodString>;
+                card: z.ZodOptional<z.ZodString>;
+                machineId: z.ZodOptional<z.ZodString>;
                 online: z.ZodOptional<z.ZodBoolean>;
                 platform: z.ZodOptional<z.ZodString>;
                 facts: z.ZodOptional<z.ZodObject<{
+                    machineId: z.ZodOptional<z.ZodString>;
                     os: z.ZodString;
                     arch: z.ZodString;
                     shell: z.ZodString;
@@ -14926,10 +16564,12 @@ 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>;
                 report: z.ZodOptional<z.ZodObject<{
+                    machineId: z.ZodOptional<z.ZodString>;
                     hostname: z.ZodString;
                     os: z.ZodString;
                     wsl: z.ZodOptional<z.ZodObject<{
@@ -15009,6 +16649,18 @@ export declare const sandboxContract: {
                         gpu: z.ZodBoolean;
                         hostRuntime: z.ZodArray<z.ZodString>;
                         overlayRuntime: z.ZodArray<z.ZodString>;
+                        shape: z.ZodOptional<z.ZodObject<{
+                            memoryGib: z.ZodNullable<z.ZodInt>;
+                            cpus: z.ZodNullable<z.ZodInt>;
+                            privileged: z.ZodBoolean;
+                            gpu: z.ZodBoolean;
+                        }, z.core.$strip>>;
+                        desired: z.ZodOptional<z.ZodObject<{
+                            memoryGib: z.ZodNullable<z.ZodInt>;
+                            cpus: z.ZodNullable<z.ZodInt>;
+                            privileged: z.ZodBoolean;
+                            gpu: z.ZodBoolean;
+                        }, z.core.$strip>>;
                         saved: z.ZodOptional<z.ZodObject<{
                             memoryGib: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
                             cpus: z.ZodOptional<z.ZodNullable<z.ZodInt>>;
@@ -15016,6 +16668,11 @@ export declare const sandboxContract: {
                             gpu: z.ZodOptional<z.ZodBoolean>;
                         }, z.core.$strip>>;
                     }, z.core.$strip>>;
+                    staged: z.ZodOptional<z.ZodObject<{
+                        image: z.ZodString;
+                        version: z.ZodOptional<z.ZodString>;
+                        channel: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>>;
                 gap: z.ZodOptional<z.ZodEnum<{
                     offline: "offline";
@@ -15027,6 +16684,7 @@ export declare const sandboxContract: {
         manageDeviceSandbox: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             op: z.ZodEnum<{
                 create: "create";
+                "forget-shape": "forget-shape";
                 logs: "logs";
                 prepare: "prepare";
                 rebuild: "rebuild";
@@ -15037,18 +16695,29 @@ export declare const sandboxContract: {
                 rollback: "rollback";
                 "runner-remove": "runner-remove";
                 "runner-up": "runner-up";
+                "set-shape": "set-shape";
                 start: "start";
                 stop: "stop";
                 update: "update";
             }>;
             slug: z.ZodString;
             hash: z.ZodOptional<z.ZodString>;
+            shape: z.ZodOptional<z.ZodObject<{
+                memoryGib: z.ZodNullable<z.ZodInt>;
+                cpus: z.ZodNullable<z.ZodInt>;
+                privileged: z.ZodBoolean;
+                gpu: z.ZodBoolean;
+            }, z.core.$strict>>;
+            when: z.ZodOptional<z.ZodEnum<{
+                nextRestart: "nextRestart";
+                now: "now";
+            }>>;
             resources: 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.$strict>>;
             later: z.ZodOptional<z.ZodBoolean>;
             parentUrl: z.ZodOptional<z.ZodString>;
             pair: z.ZodOptional<z.ZodString>;
@@ -15058,7 +16727,7 @@ export declare const sandboxContract: {
             overlay: z.ZodOptional<z.ZodString>;
             overlayHash: z.ZodOptional<z.ZodString>;
             id: z.ZodString;
-        }, z.core.$strip>, import("@orpc/contract").Schema<AsyncIteratorObject<{
+        }, z.core.$strict>, import("@orpc/contract").Schema<AsyncIteratorObject<{
             kind: "line";
             text: string;
         } | {
@@ -15124,7 +16793,7 @@ export declare const sandboxContract: {
                 upgrade: "upgrade";
             }>;
             id: z.ZodString;
-        }, z.core.$strip>, import("@orpc/contract").Schema<AsyncIteratorObject<{
+        }, z.core.$strict>, import("@orpc/contract").Schema<AsyncIteratorObject<{
             kind: "line";
             text: string;
         } | {
@@ -15171,11 +16840,33 @@ 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>;
                     reason: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
             gemini: z.ZodArray<z.ZodObject<{
                 name: z.ZodString;
@@ -15191,11 +16882,33 @@ 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>;
                     reason: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
             grok: z.ZodArray<z.ZodObject<{
                 name: z.ZodString;
@@ -15211,11 +16924,33 @@ 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>;
                     reason: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
             kimi: z.ZodArray<z.ZodObject<{
                 name: z.ZodString;
@@ -15231,11 +16966,33 @@ 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>;
                     reason: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                state: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"ready">;
+                    room: z.ZodNumber;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"spent">;
+                    reopensAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"blocked">;
+                    fix: z.ZodEnum<{
+                        admin: "admin";
+                        reconnect: "reconnect";
+                        wait: "wait";
+                    }>;
+                    reason: z.ZodString;
+                    until: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"unknown">;
+                }, z.core.$strip>], "kind">>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         connect: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
@@ -15416,6 +17173,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<{