@intentic/sandbox-contract 1.311.0 → 1.312.0

package/dist/index.d.ts

@@ -42,6 +42,7 @@ export { systemContract } from "./contracts/system.contract.js";
 export { translatorContract } from "./contracts/translator.contract.js";
 export { type PlanLimitsHeld, type PlanLimitsRefreshed, PlanLimitsRefreshedSchema, usageContract } from "./contracts/usage.contract.js";
 export { netdiskContract } from "./contracts/netdisk.contract.js";
+export { offloadContract } from "./contracts/offload.contract.js";
 export { vpnContract } from "./contracts/vpn.contract.js";
 export { workflowsContract } from "./contracts/workflows.contract.js";
 export { workspaceContract } from "./contracts/workspace.contract.js";
@@ -52,6 +53,7 @@ export * from "./events/resume.js";
 export * from "./events/system-events.js";
 export * from "./events/transcript.js";
 export * from "./events/land-breakage.js";
+export * from "./events/land-conflict.js";
 export * from "./events/verify-nudge.js";
 export * from "./events/watch-wake.js";
 export * from "./policy/request-status.js";
@@ -147,6 +149,7 @@ 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";
@@ -156,17 +159,18 @@ 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";
@@ -238,6 +242,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -290,6 +298,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -327,6 +339,10 @@ export declare const sandboxContract: {
                     }, z.core.$strip>]>;
                 }, z.core.$strip>>;
                 measuredAt: z.ZodNumber;
+                unread: z.ZodOptional<z.ZodObject<{
+                    since: z.ZodNumber;
+                    reason: z.ZodString;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         disconnect: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
@@ -2861,6 +2877,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -2910,6 +2937,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -3138,6 +3173,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -3187,6 +3233,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -3433,6 +3487,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -3482,6 +3547,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4036,6 +4109,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4085,6 +4169,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4295,6 +4387,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4344,6 +4447,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4564,6 +4675,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4613,6 +4735,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>>;
@@ -4823,6 +4953,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -4872,6 +5013,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>>;
@@ -5081,6 +5230,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -5130,6 +5290,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>>;
@@ -5340,6 +5508,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<{
@@ -5389,6 +5568,292 @@ 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>>;
+        stopJob: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            id: z.ZodString;
+            jobId: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            id: z.ZodString;
+            sessionId: z.ZodOptional<z.ZodString>;
+            title: z.ZodOptional<z.ZodString>;
+            titleAction: z.ZodOptional<z.ZodString>;
+            status: z.ZodEnum<{
+                awaiting: "awaiting";
+                conflict: "conflict";
+                dismissing: "dismissing";
+                error: "error";
+                idle: "idle";
+                interrupted: "interrupted";
+                landed: "landed";
+                landing: "landing";
+                ready: "ready";
+                resuming: "resuming";
+                running: "running";
+                stopped: "stopped";
+                stopping: "stopping";
+            }>;
+            failure: z.ZodOptional<z.ZodString>;
+            failureCode: z.ZodOptional<z.ZodString>;
+            limitResetsAt: z.ZodOptional<z.ZodNumber>;
+            limitHeld: z.ZodOptional<z.ZodBoolean>;
+            limitScheduled: z.ZodOptional<z.ZodBoolean>;
+            limitMoving: z.ZodOptional<z.ZodString>;
+            provider: z.ZodString;
+            harness: z.ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>;
+            runner: z.ZodOptional<z.ZodString>;
+            startIn: z.ZodOptional<z.ZodString>;
+            actsAs: z.ZodOptional<z.ZodString>;
+            model: z.ZodOptional<z.ZodString>;
+            effort: z.ZodOptional<z.ZodString>;
+            thinking: z.ZodOptional<z.ZodBoolean>;
+            fast: z.ZodOptional<z.ZodBoolean>;
+            account: z.ZodOptional<z.ZodString>;
+            branch: z.ZodOptional<z.ZodString>;
+            autoLand: z.ZodOptional<z.ZodBoolean>;
+            limitPolicy: z.ZodOptional<z.ZodEnum<{
+                move: "move";
+                resend: "resend";
+                wait: "wait";
+            }>>;
+            outagePolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            stopPolicy: z.ZodOptional<z.ZodEnum<{
+                retry: "retry";
+                wait: "wait";
+            }>>;
+            landRequested: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+            }, z.core.$strip>>;
+            reactions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                emoji: z.ZodString;
+                by: z.ZodArray<z.ZodObject<{
+                    email: z.ZodString;
+                    name: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>>;
+            origin: z.ZodOptional<z.ZodObject<{
+                automationId: z.ZodString;
+                provider: z.ZodString;
+                channelId: z.ZodOptional<z.ZodString>;
+                author: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedBy: z.ZodOptional<z.ZodString>;
+            areas: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            owner: z.ZodOptional<z.ZodObject<{
+                email: z.ZodString;
+                name: z.ZodOptional<z.ZodString>;
+                since: z.ZodNumber;
+            }, z.core.$strip>>;
+            forkedFrom: z.ZodOptional<z.ZodObject<{
+                conversationId: z.ZodString;
+                index: z.ZodNumber;
+                files: z.ZodEnum<{
+                    now: "now";
+                    then: "then";
+                }>;
+            }, z.core.$strip>>;
+            base: z.ZodOptional<z.ZodString>;
+            costUsd: z.ZodOptional<z.ZodNumber>;
+            inputTokens: z.ZodOptional<z.ZodNumber>;
+            outputTokens: z.ZodOptional<z.ZodNumber>;
+            contextTokens: z.ZodOptional<z.ZodNumber>;
+            contextWindow: z.ZodOptional<z.ZodNumber>;
+            promptCache: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                ttlMs: z.ZodNumber;
+                rollsAt: z.ZodOptional<z.ZodNumber>;
+                keepable: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            keepWarm: z.ZodOptional<z.ZodObject<{
+                since: z.ZodNumber;
+                until: z.ZodNumber;
+                auto: z.ZodOptional<z.ZodBoolean>;
+                refreshes: z.ZodNumber;
+                readTokens: z.ZodOptional<z.ZodNumber>;
+                ended: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    reason: z.ZodEnum<{
+                        allowance: "allowance";
+                        changed: "changed";
+                        cold: "cold";
+                        elapsed: "elapsed";
+                        failed: "failed";
+                        limited: "limited";
+                        midnight: "midnight";
+                        moved: "moved";
+                        rewrote: "rewrote";
+                    }>;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            activity: z.ZodOptional<z.ZodObject<{
+                tool: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                todo: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            checklist: z.ZodOptional<z.ZodObject<{
+                done: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedMessageDraft: z.ZodOptional<z.ZodObject<{
+                startedAt: z.ZodNumber;
+                steps: z.ZodArray<z.ZodObject<{
+                    provider: z.ZodString;
+                    model: z.ZodString;
+                    status: z.ZodEnum<{
+                        answered: "answered";
+                        asking: "asking";
+                        refused: "refused";
+                        skipped: "skipped";
+                    }>;
+                    at: z.ZodOptional<z.ZodNumber>;
+                    ms: z.ZodOptional<z.ZodNumber>;
+                    reason: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                outcome: z.ZodOptional<z.ZodEnum<{
+                    failed: "failed";
+                    written: "written";
+                }>>;
+                reason: z.ZodOptional<z.ZodString>;
+                finishedAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            landedMessage: z.ZodOptional<z.ZodObject<{
+                subject: z.ZodString;
+                note: z.ZodOptional<z.ZodString>;
+                breaking: z.ZodOptional<z.ZodString>;
+                testNote: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            startedAt: z.ZodOptional<z.ZodNumber>;
+            run: z.ZodOptional<z.ZodString>;
+            queue: z.ZodOptional<z.ZodObject<{
+                items: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    text: z.ZodString;
+                    attachments: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    voice: z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        sandbox: "sandbox";
+                    }>;
+                    queuedAt: z.ZodNumber;
+                    revision: z.ZodNumber;
+                }, z.core.$strip>>;
+                revision: z.ZodNumber;
+                paused: z.ZodOptional<z.ZodEnum<{
+                    refused: "refused";
+                    stopped: "stopped";
+                }>>;
+            }, z.core.$strip>>;
+            updatedAt: z.ZodNumber;
+            seenAt: z.ZodOptional<z.ZodNumber>;
+            attention: z.ZodObject<{
+                plan: z.ZodBoolean;
+                question: z.ZodBoolean;
+                permission: z.ZodBoolean;
+                capability: z.ZodBoolean;
+                credential: z.ZodBoolean;
+                conflict: z.ZodBoolean;
+            }, z.core.$strip>;
+            conflictCauses: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                binary: "binary";
+                diverged: "diverged";
+                workspace: "workspace";
+            }>>>;
+            unfinished: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                steps: z.ZodOptional<z.ZodObject<{
+                    open: z.ZodNumber;
+                    total: z.ZodNumber;
+                    next: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                check: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            turns: z.ZodOptional<z.ZodNumber>;
+            toolUses: z.ZodOptional<z.ZodNumber>;
+            subagents: z.ZodOptional<z.ZodObject<{
+                running: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            diff: z.ZodOptional<z.ZodObject<{
+                files: z.ZodNumber;
+                insertions: z.ZodNumber;
+                deletions: z.ZodNumber;
+            }, z.core.$strip>>;
+            landedPresence: z.ZodOptional<z.ZodObject<{
+                landed: z.ZodNumber;
+                present: z.ZodNumber;
+            }, z.core.$strip>>;
+            loop: z.ZodOptional<z.ZodObject<{
+                state: z.ZodEnum<{
+                    done: "done";
+                    error: "error";
+                    exhausted: "exhausted";
+                    overspent: "overspent";
+                    running: "running";
+                    stalled: "stalled";
+                    stopped: "stopped";
+                }>;
+                iteration: z.ZodNumber;
+                maxIterations: z.ZodNumber;
+                goal: z.ZodString;
+            }, z.core.$strip>>;
+            workflow: z.ZodOptional<z.ZodObject<{
+                runId: z.ZodString;
+                name: z.ZodString;
+                step: z.ZodString;
+                index: z.ZodNumber;
+                total: z.ZodNumber;
+            }, z.core.$strip>>;
+            watches: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                note: z.ZodString;
+                intervalSeconds: z.ZodNumber;
+                deadlineAt: z.ZodNumber;
+            }, z.core.$strip>>>;
+            jobs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                label: z.ZodString;
+                session: z.ZodString;
+                startedAt: z.ZodNumber;
+                endedAt: z.ZodOptional<z.ZodNumber>;
+                exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -5597,6 +6062,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -5646,6 +6122,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -5722,15 +6206,32 @@ export declare const sandboxContract: {
                 paths: z.ZodArray<z.ZodObject<{
                     path: z.ZodString;
                     reason: z.ZodEnum<{
-                        byproduct: "byproduct";
-                        checkout: "checkout";
-                        hidden: "hidden";
-                        oversized: "oversized";
-                        root: "root";
+                        byproduct: "byproduct";
+                        checkout: "checkout";
+                        hidden: "hidden";
+                        oversized: "oversized";
+                        root: "root";
+                    }>;
+                    files: z.ZodOptional<z.ZodNumber>;
+                    bytes: z.ZodOptional<z.ZodNumber>;
+                }, 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";
                     }>;
-                    files: z.ZodOptional<z.ZodNumber>;
-                    bytes: z.ZodOptional<z.ZodNumber>;
                 }, 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<{
@@ -5799,6 +6300,27 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             ok: z.ZodLiteral<true>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        pushFix: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+            pick: z.ZodOptional<z.ZodObject<{
+                agent: z.ZodString;
+                model: z.ZodString;
+                account: z.ZodOptional<z.ZodString>;
+                harness: z.ZodOptional<z.ZodEnum<{
+                    "claude-code": "claude-code";
+                    native: "native";
+                }>>;
+                effort: z.ZodOptional<z.ZodString>;
+                thinking: z.ZodOptional<z.ZodBoolean>;
+                fast: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            mode: z.ZodOptional<z.ZodEnum<{
+                continue: "continue";
+                "start-over": "start-over";
+            }>>;
+        }, z.core.$strip>, z.ZodObject<{
+            conversationId: z.ZodString;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         land: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             id: z.ZodString;
             mode: z.ZodOptional<z.ZodEnum<{
@@ -6039,6 +6561,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -6088,6 +6621,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -6298,6 +6839,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -6347,6 +6899,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -6558,6 +7118,17 @@ export declare const sandboxContract: {
                 }, z.core.$strip>>;
                 check: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
+            proof: z.ZodOptional<z.ZodObject<{
+                at: z.ZodNumber;
+                verification: z.ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: z.ZodOptional<z.ZodString>;
+                unviewed: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
             turns: z.ZodOptional<z.ZodNumber>;
             toolUses: z.ZodOptional<z.ZodNumber>;
             subagents: z.ZodOptional<z.ZodObject<{
@@ -6607,6 +7178,14 @@ export declare const sandboxContract: {
                 startedAt: z.ZodNumber;
                 endedAt: z.ZodOptional<z.ZodNumber>;
                 exitCode: z.ZodOptional<z.ZodNumber>;
+                watch: z.ZodOptional<z.ZodString>;
+                handed: z.ZodOptional<z.ZodBoolean>;
+                ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                stoppedBy: z.ZodOptional<z.ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, z.core.$strip>>>;
             archivedAt: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -6822,6 +7401,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -6871,6 +7461,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -7087,6 +7685,17 @@ export declare const sandboxContract: {
                     }, z.core.$strip>>;
                     check: z.ZodOptional<z.ZodString>;
                 }, z.core.$strip>>;
+                proof: z.ZodOptional<z.ZodObject<{
+                    at: z.ZodNumber;
+                    verification: z.ZodEnum<{
+                        failing: "failing";
+                        "no-code": "no-code";
+                        unproven: "unproven";
+                        verified: "verified";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    unviewed: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
                 turns: z.ZodOptional<z.ZodNumber>;
                 toolUses: z.ZodOptional<z.ZodNumber>;
                 subagents: z.ZodOptional<z.ZodObject<{
@@ -7136,6 +7745,14 @@ export declare const sandboxContract: {
                     startedAt: z.ZodNumber;
                     endedAt: z.ZodOptional<z.ZodNumber>;
                     exitCode: z.ZodOptional<z.ZodNumber>;
+                    watch: z.ZodOptional<z.ZodString>;
+                    handed: z.ZodOptional<z.ZodBoolean>;
+                    ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                    stoppedBy: z.ZodOptional<z.ZodEnum<{
+                        agent: "agent";
+                        person: "person";
+                        turn: "turn";
+                    }>>;
                 }, z.core.$strip>>>;
                 archivedAt: z.ZodOptional<z.ZodNumber>;
             }, z.core.$strip>>;
@@ -9078,6 +9695,7 @@ export declare const sandboxContract: {
                                 identity: z.ZodOptional<z.ZodString>;
                                 insecure: z.ZodOptional<z.ZodBoolean>;
                             }, z.core.$strip>>;
+                            mcp: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>, z.ZodObject<{
                             id: z.ZodString;
                             catalog: z.ZodObject<{
@@ -9532,6 +10150,7 @@ export declare const sandboxContract: {
                                 identity: z.ZodOptional<z.ZodString>;
                                 insecure: z.ZodOptional<z.ZodBoolean>;
                             }, z.core.$strip>>;
+                            mcp: z.ZodOptional<z.ZodString>;
                         }, z.core.$strip>, z.ZodObject<{
                             id: z.ZodString;
                             catalog: z.ZodObject<{
@@ -10525,6 +11144,10 @@ export declare const sandboxContract: {
             keepWarmMinTokens: z.ZodDefault<z.ZodNumber>;
             keepWarmReserve: z.ZodDefault<z.ZodNumber>;
             autoRepair: z.ZodDefault<z.ZodBoolean>;
+            offload: z.ZodDefault<z.ZodObject<{
+                commands: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                landCheck: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
             autoResumeOnRestart: z.ZodDefault<z.ZodBoolean>;
             adoptedChecks: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
             rules: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -10689,6 +11312,10 @@ export declare const sandboxContract: {
             keepWarmMinTokens: z.ZodDefault<z.ZodNumber>;
             keepWarmReserve: z.ZodDefault<z.ZodNumber>;
             autoRepair: z.ZodDefault<z.ZodBoolean>;
+            offload: z.ZodDefault<z.ZodObject<{
+                commands: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+                landCheck: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
             autoResumeOnRestart: z.ZodDefault<z.ZodBoolean>;
             adoptedChecks: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
             rules: z.ZodDefault<z.ZodArray<z.ZodObject<{
@@ -11928,6 +12555,7 @@ export declare const sandboxContract: {
             tree: z.ZodArray<z.ZodType<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown>>>;
             hidden: z.ZodNumber;
             barren: z.ZodArray<z.ZodString>;
+            generation: z.ZodOptional<z.ZodNumber>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         children: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             agent: z.ZodOptional<z.ZodString>;
@@ -12214,6 +12842,12 @@ export declare const sandboxContract: {
             path: z.ZodString;
         }, z.core.$strip>, z.ZodObject<{
             ok: z.ZodLiteral<true>;
+            trashed: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        restore: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            trashed: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            path: z.ZodString;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         move: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             from: z.ZodString;
@@ -12257,6 +12891,145 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             queued: z.ZodArray<z.ZodString>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainline: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            projects: z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                running: z.ZodOptional<z.ZodObject<{
+                    command: z.ZodString;
+                    startedAt: z.ZodNumber;
+                    lands: z.ZodArray<z.ZodObject<{
+                        conversationId: z.ZodString;
+                        title: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                    }, z.core.$strip>>;
+                    on: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+                queued: z.ZodArray<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    title: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+                last: z.ZodOptional<z.ZodObject<{
+                    project: z.ZodString;
+                    command: z.ZodString;
+                    status: z.ZodEnum<{
+                        green: "green";
+                        red: "red";
+                    }>;
+                    startedAt: z.ZodNumber;
+                    at: z.ZodNumber;
+                    lands: z.ZodArray<z.ZodObject<{
+                        conversationId: z.ZodString;
+                        title: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                    }, z.core.$strip>>;
+                    failures: z.ZodArray<z.ZodString>;
+                    failureCount: z.ZodNumber;
+                    attempt: z.ZodNumber;
+                    suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    routing: z.ZodOptional<z.ZodObject<{
+                        kind: z.ZodEnum<{
+                            "fix-up": "fix-up";
+                            held: "held";
+                            original: "original";
+                            reported: "reported";
+                            resolved: "resolved";
+                            spent: "spent";
+                            waiting: "waiting";
+                        }>;
+                        conversationId: z.ZodOptional<z.ZodString>;
+                        at: z.ZodNumber;
+                        detail: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strip>>;
+                }, z.core.$strip>>;
+                redSince: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            recent: z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                command: z.ZodString;
+                status: z.ZodEnum<{
+                    green: "green";
+                    red: "red";
+                }>;
+                startedAt: z.ZodNumber;
+                at: z.ZodNumber;
+                lands: z.ZodArray<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    title: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                }, z.core.$strip>>;
+                failures: z.ZodArray<z.ZodString>;
+                failureCount: z.ZodNumber;
+                attempt: z.ZodNumber;
+                suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                routing: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        "fix-up": "fix-up";
+                        held: "held";
+                        original: "original";
+                        reported: "reported";
+                        resolved: "resolved";
+                        spent: "spent";
+                        waiting: "waiting";
+                    }>;
+                    conversationId: z.ZodOptional<z.ZodString>;
+                    at: z.ZodNumber;
+                    detail: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            pushes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                project: z.ZodString;
+                id: z.ZodString;
+                at: z.ZodNumber;
+                remote: z.ZodOptional<z.ZodString>;
+                branch: z.ZodOptional<z.ZodString>;
+                base: z.ZodOptional<z.ZodString>;
+                head: z.ZodString;
+                commits: z.ZodNumber;
+                findings: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodEnum<{
+                        check: "check";
+                        lint: "lint";
+                        lockstep: "lockstep";
+                        ratchet: "ratchet";
+                        rustfmt: "rustfmt";
+                    }>;
+                    check: z.ZodOptional<z.ZodString>;
+                    gate: z.ZodOptional<z.ZodEnum<{
+                        code: "code";
+                        tidy: "tidy";
+                    }>>;
+                    text: z.ZodString;
+                    command: z.ZodOptional<z.ZodString>;
+                    commit: z.ZodOptional<z.ZodObject<{
+                        sha: z.ZodString;
+                        subject: z.ZodString;
+                    }, z.core.$strip>>;
+                    state: z.ZodEnum<{
+                        dismissed: "dismissed";
+                        open: "open";
+                        resolved: "resolved";
+                    }>;
+                    settledAt: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>;
+                measuredAt: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainlinePushDismiss: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+            ids: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            restore: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>, z.ZodObject<{
+            changed: z.ZodNumber;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        mainlinePushRecheck: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            project: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            measured: z.ZodBoolean;
+            resolved: z.ZodNumber;
+            open: z.ZodNumber;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         repos: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
             repos: z.ZodArray<z.ZodString>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -13050,6 +13823,11 @@ export declare const sandboxContract: {
                 command: z.ZodOptional<z.ZodString>;
                 cwd: z.ZodOptional<z.ZodString>;
                 session: z.ZodOptional<z.ZodString>;
+                job: z.ZodOptional<z.ZodObject<{
+                    conversationId: z.ZodString;
+                    jobId: z.ZodString;
+                    label: z.ZodString;
+                }, z.core.$strip>>;
                 forwarded: z.ZodBoolean;
                 previewUrl: z.ZodOptional<z.ZodString>;
             }, z.core.$strip>>;
@@ -13303,6 +14081,18 @@ export declare const sandboxContract: {
                 version: z.ZodOptional<z.ZodString>;
                 channel: z.ZodString;
                 at: z.ZodNumber;
+                plan: z.ZodOptional<z.ZodObject<{
+                    ok: z.ZodBoolean;
+                    downgrade: z.ZodOptional<z.ZodBoolean>;
+                    steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        change: z.ZodString;
+                    }, z.core.$strip>>>;
+                    failures: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                        document: z.ZodString;
+                        detail: z.ZodString;
+                    }, z.core.$strip>>>;
+                }, z.core.$strip>>;
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
         manifestProblems: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodArray<z.ZodObject<{
@@ -13545,6 +14335,12 @@ export declare const sandboxContract: {
                     } | undefined;
                     check?: string | undefined;
                 } | undefined;
+                proof?: {
+                    at: number;
+                    verification: "failing" | "no-code" | "unproven" | "verified";
+                    check?: string | undefined;
+                    unviewed?: number | undefined;
+                } | undefined;
                 turns?: number | undefined;
                 toolUses?: number | undefined;
                 subagents?: {
@@ -13586,6 +14382,10 @@ export declare const sandboxContract: {
                     startedAt: number;
                     endedAt?: number | undefined;
                     exitCode?: number | undefined;
+                    watch?: string | undefined;
+                    handed?: boolean | undefined;
+                    ports?: number[] | undefined;
+                    stoppedBy?: "agent" | "person" | "turn" | undefined;
                 }[] | undefined;
                 archivedAt?: number | undefined;
             }[];
@@ -13605,6 +14405,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -13616,6 +14420,15 @@ export declare const sandboxContract: {
                 account?: string | undefined;
                 model?: string | undefined;
             } | undefined;
+        } | {
+            from: number;
+            generation: number;
+            dirs: {
+                path: string;
+                entries: unknown[];
+            }[];
+            barren?: string[] | undefined;
+            kind: "treeChanged";
         }, unknown, void>, import("@orpc/contract").AsyncIteratorClass<{
             kind: "hello";
             workspaceId: string;
@@ -13829,6 +14642,12 @@ export declare const sandboxContract: {
                     } | undefined;
                     check?: string | undefined;
                 } | undefined;
+                proof?: {
+                    at: number;
+                    verification: "failing" | "no-code" | "unproven" | "verified";
+                    check?: string | undefined;
+                    unviewed?: number | undefined;
+                } | undefined;
                 turns?: number | undefined;
                 toolUses?: number | undefined;
                 subagents?: {
@@ -13870,6 +14689,10 @@ export declare const sandboxContract: {
                     startedAt: number;
                     endedAt?: number | undefined;
                     exitCode?: number | undefined;
+                    watch?: string | undefined;
+                    handed?: boolean | undefined;
+                    ports?: number[] | undefined;
+                    stoppedBy?: "agent" | "person" | "turn" | undefined;
                 }[] | undefined;
                 archivedAt?: number | undefined;
             }[];
@@ -13889,6 +14712,10 @@ export declare const sandboxContract: {
                     };
                 }[];
                 measuredAt: number;
+                unread?: {
+                    since: number;
+                    reason: string;
+                } | undefined;
             } | undefined;
         } | {
             kind: "providerRefusal";
@@ -13900,6 +14727,15 @@ export declare const sandboxContract: {
                 account?: string | undefined;
                 model?: string | undefined;
             } | undefined;
+        } | {
+            from: number;
+            generation: number;
+            dirs: {
+                path: string;
+                entries: import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry[];
+            }[];
+            barren?: string[] | undefined;
+            kind: "treeChanged";
         }, unknown, void>> & {
             [x: symbol]: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"hello">;
@@ -13943,6 +14779,15 @@ export declare const sandboxContract: {
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"workspaceChanged">;
                 paths: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                from: z.ZodNumber;
+                generation: z.ZodNumber;
+                dirs: z.ZodArray<z.ZodObject<{
+                    path: z.ZodString;
+                    entries: z.ZodArray<z.ZodType<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<import("./schemas/workspace/workspace-tree.js").WorkspaceTreeEntry, unknown>>>;
+                }, z.core.$strip>>;
+                barren: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                kind: z.ZodLiteral<"treeChanged">;
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"derivedChanged">;
                 paths: z.ZodArray<z.ZodString>;
@@ -14190,6 +15035,17 @@ export declare const sandboxContract: {
                         }, z.core.$strip>>;
                         check: z.ZodOptional<z.ZodString>;
                     }, z.core.$strip>>;
+                    proof: z.ZodOptional<z.ZodObject<{
+                        at: z.ZodNumber;
+                        verification: z.ZodEnum<{
+                            failing: "failing";
+                            "no-code": "no-code";
+                            unproven: "unproven";
+                            verified: "verified";
+                        }>;
+                        check: z.ZodOptional<z.ZodString>;
+                        unviewed: z.ZodOptional<z.ZodNumber>;
+                    }, z.core.$strip>>;
                     turns: z.ZodOptional<z.ZodNumber>;
                     toolUses: z.ZodOptional<z.ZodNumber>;
                     subagents: z.ZodOptional<z.ZodObject<{
@@ -14239,6 +15095,14 @@ export declare const sandboxContract: {
                         startedAt: z.ZodNumber;
                         endedAt: z.ZodOptional<z.ZodNumber>;
                         exitCode: z.ZodOptional<z.ZodNumber>;
+                        watch: z.ZodOptional<z.ZodString>;
+                        handed: z.ZodOptional<z.ZodBoolean>;
+                        ports: z.ZodOptional<z.ZodArray<z.ZodNumber>>;
+                        stoppedBy: z.ZodOptional<z.ZodEnum<{
+                            agent: "agent";
+                            person: "person";
+                            turn: "turn";
+                        }>>;
                     }, z.core.$strip>>>;
                     archivedAt: z.ZodOptional<z.ZodNumber>;
                 }, z.core.$strip>>;
@@ -14258,6 +15122,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"providerRefusal">;
@@ -14359,6 +15227,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -14412,6 +15281,7 @@ export declare const sandboxContract: {
                 categories: z.ZodArray<z.ZodObject<{
                     id: z.ZodEnum<{
                         artifacts: "artifacts";
+                        backups: "backups";
                         browserCaptures: "browserCaptures";
                         browserProfiles: "browserProfiles";
                         buildCaches: "buildCaches";
@@ -14456,6 +15326,7 @@ export declare const sandboxContract: {
         cleanStorage: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
             category: z.ZodEnum<{
                 artifacts: "artifacts";
+                backups: "backups";
                 browserCaptures: "browserCaptures";
                 browserProfiles: "browserProfiles";
                 buildCaches: "buildCaches";
@@ -14480,6 +15351,7 @@ export declare const sandboxContract: {
         }, z.core.$strip>, z.ZodObject<{
             category: z.ZodEnum<{
                 artifacts: "artifacts";
+                backups: "backups";
                 browserCaptures: "browserCaptures";
                 browserProfiles: "browserProfiles";
                 buildCaches: "buildCaches";
@@ -14926,6 +15798,7 @@ export declare const sandboxContract: {
                         unreachable: z.ZodNumber;
                         unreachableSince: z.ZodOptional<z.ZodNumber>;
                     }, z.core.$strip>>;
+                    features: z.ZodOptional<z.ZodArray<z.ZodString>>;
                 }, z.core.$strip>>;
                 agentVersion: z.ZodOptional<z.ZodString>;
                 lastSeen: z.ZodOptional<z.ZodNumber>;
@@ -15171,6 +16044,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -15191,6 +16068,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -15211,6 +16092,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -15231,6 +16116,10 @@ export declare const sandboxContract: {
                         }, z.core.$strip>]>;
                     }, z.core.$strip>>;
                     measuredAt: z.ZodNumber;
+                    unread: z.ZodOptional<z.ZodObject<{
+                        since: z.ZodNumber;
+                        reason: z.ZodString;
+                    }, z.core.$strip>>;
                 }, z.core.$strip>>;
                 cooling: z.ZodOptional<z.ZodObject<{
                     until: z.ZodOptional<z.ZodNumber>;
@@ -15416,6 +16305,111 @@ export declare const sandboxContract: {
             }, z.core.$strip>>;
         }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
     };
+    offload: {
+        target: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runner: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            runner: z.ZodString;
+            name: z.ZodString;
+            ready: z.ZodBoolean;
+            why: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        run: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runId: z.ZodString;
+            repo: z.ZodString;
+            ref: z.ZodString;
+            cwd: z.ZodString;
+            command: z.ZodString;
+            env: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            exports: z.ZodDefault<z.ZodArray<z.ZodString>>;
+            label: z.ZodString;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
+            runner: z.ZodString;
+        }, z.core.$strip>, import("@orpc/contract").Schema<AsyncIteratorObject<{
+            kind: "status";
+            text: string;
+        } | {
+            kind: "output";
+            stream: "stderr" | "stdout";
+            text: string;
+        } | {
+            kind: "exit";
+            code: number;
+            signal?: string | undefined;
+            failure?: string | undefined;
+            ran?: boolean | undefined;
+            patchBase64?: string | undefined;
+            files?: Record<string, string> | undefined;
+        } | {
+            kind: "refused";
+            why: string;
+        }, unknown, void>, import("@orpc/contract").AsyncIteratorClass<{
+            kind: "status";
+            text: string;
+        } | {
+            kind: "output";
+            stream: "stderr" | "stdout";
+            text: string;
+        } | {
+            kind: "exit";
+            code: number;
+            signal?: string | undefined;
+            failure?: string | undefined;
+            ran: boolean;
+            patchBase64?: string | undefined;
+            files: Record<string, string>;
+        } | {
+            kind: "refused";
+            why: string;
+        }, unknown, void>> & {
+            [x: symbol]: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"status">;
+                text: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"output">;
+                stream: z.ZodEnum<{
+                    stderr: "stderr";
+                    stdout: "stdout";
+                }>;
+                text: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"exit">;
+                code: z.ZodNumber;
+                signal: z.ZodOptional<z.ZodString>;
+                failure: z.ZodOptional<z.ZodString>;
+                ran: z.ZodDefault<z.ZodBoolean>;
+                patchBase64: z.ZodOptional<z.ZodString>;
+                files: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"refused">;
+                why: z.ZodString;
+            }, z.core.$strip>]>;
+        }, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        cancel: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<z.ZodObject<{
+            runId: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            ok: z.ZodLiteral<true>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        kinds: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            kinds: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                pattern: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+        runs: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
+            runs: z.ZodArray<z.ZodObject<{
+                runId: z.ZodString;
+                runner: z.ZodString;
+                name: z.ZodString;
+                label: z.ZodString;
+                command: z.ZodString;
+                startedAt: z.ZodNumber;
+                endedAt: z.ZodOptional<z.ZodNumber>;
+                code: z.ZodOptional<z.ZodNumber>;
+                failure: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, Record<never, never>, import("./protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    };
     exit: {
         list: import("@orpc/contract").ContractProcedureBuilderWithOutput<import("@orpc/contract").Schema<unknown, unknown>, z.ZodObject<{
             links: z.ZodArray<z.ZodObject<{