@intentic/sandbox-contract 1.311.0 → 1.313.0

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

@@ -34,6 +34,7 @@ export declare const agentsContract: {
             runner: import("zod").ZodOptional<import("zod").ZodString>;
             startIn: import("zod").ZodOptional<import("zod").ZodString>;
             actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+            lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
             model: import("zod").ZodOptional<import("zod").ZodString>;
             effort: import("zod").ZodOptional<import("zod").ZodString>;
             thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -98,12 +99,11 @@ export declare const agentsContract: {
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
                 rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
             }, import("zod/v4/core").$strip>>;
             keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
                 since: import("zod").ZodNumber;
                 until: import("zod").ZodNumber;
-                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
                 refreshes: import("zod").ZodNumber;
                 readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
                 ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -114,10 +114,6 @@ export declare const agentsContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: import("zod").ZodOptional<import("zod").ZodString>;
                 }, import("zod/v4/core").$strip>>;
@@ -158,6 +154,7 @@ export declare const agentsContract: {
                 note: import("zod").ZodOptional<import("zod").ZodString>;
                 breaking: import("zod").ZodOptional<import("zod").ZodString>;
                 testNote: import("zod").ZodOptional<import("zod").ZodString>;
+                allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strip>>;
             startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -204,6 +201,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -240,6 +248,7 @@ export declare const agentsContract: {
                 index: import("zod").ZodNumber;
                 total: import("zod").ZodNumber;
             }, import("zod/v4/core").$strip>>;
+            awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
             watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
                 id: import("zod").ZodString;
                 note: import("zod").ZodString;
@@ -253,6 +262,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -311,6 +328,7 @@ export declare const agentsContract: {
             runner: import("zod").ZodOptional<import("zod").ZodString>;
             startIn: import("zod").ZodOptional<import("zod").ZodString>;
             actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+            lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
             model: import("zod").ZodOptional<import("zod").ZodString>;
             effort: import("zod").ZodOptional<import("zod").ZodString>;
             thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -375,12 +393,11 @@ export declare const agentsContract: {
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
                 rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
             }, import("zod/v4/core").$strip>>;
             keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
                 since: import("zod").ZodNumber;
                 until: import("zod").ZodNumber;
-                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
                 refreshes: import("zod").ZodNumber;
                 readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
                 ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -391,10 +408,6 @@ export declare const agentsContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: import("zod").ZodOptional<import("zod").ZodString>;
                 }, import("zod/v4/core").$strip>>;
@@ -435,6 +448,7 @@ export declare const agentsContract: {
                 note: import("zod").ZodOptional<import("zod").ZodString>;
                 breaking: import("zod").ZodOptional<import("zod").ZodString>;
                 testNote: import("zod").ZodOptional<import("zod").ZodString>;
+                allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strip>>;
             startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -481,6 +495,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -517,6 +542,7 @@ export declare const agentsContract: {
                 index: import("zod").ZodNumber;
                 total: import("zod").ZodNumber;
             }, import("zod/v4/core").$strip>>;
+            awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
             watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
                 id: import("zod").ZodString;
                 note: import("zod").ZodString;
@@ -530,6 +556,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -606,6 +640,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -670,12 +705,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -686,10 +720,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -730,6 +760,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -776,6 +807,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -812,6 +854,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -825,6 +868,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -868,6 +919,32 @@ export declare const agentsContract: {
                 title: import("zod").ZodString;
                 text: import("zod").ZodString;
             }, import("zod/v4/core").$strip>>>;
+            speaker: import("zod").ZodOptional<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
+                kind: import("zod").ZodLiteral<"person">;
+                email: import("zod").ZodString;
+                name: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+                kind: import("zod").ZodLiteral<"program">;
+                token: import("zod").ZodString;
+            }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+                kind: import("zod").ZodLiteral<"agent">;
+                conversationId: import("zod").ZodString;
+            }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+                kind: import("zod").ZodLiteral<"sandbox">;
+                source: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>], "kind">>;
+            errand: import("zod").ZodOptional<import("zod").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: import("zod").ZodOptional<import("zod").ZodBoolean>;
             noticeAction: import("zod").ZodOptional<import("zod").ZodEnum<{
                 depsInstall: "depsInstall";
@@ -947,6 +1024,39 @@ export declare const agentsContract: {
                         end: import("zod").ZodNumber;
                     }, import("zod/v4/core").$strip>>;
                 }, import("zod/v4/core").$strip>>;
+                child: import("zod").ZodOptional<import("zod").ZodObject<{
+                    provider: import("zod").ZodString;
+                    model: import("zod").ZodString;
+                    harness: import("zod").ZodOptional<import("zod").ZodEnum<{
+                        "claude-code": "claude-code";
+                        native: "native";
+                    }>>;
+                    account: import("zod").ZodOptional<import("zod").ZodString>;
+                    effort: import("zod").ZodOptional<import("zod").ZodString>;
+                    thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                    fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                    move: import("zod").ZodEnum<{
+                        answer: "answer";
+                        send: "send";
+                        spawn: "spawn";
+                    }>;
+                    child: import("zod").ZodOptional<import("zod").ZodString>;
+                    task: import("zod").ZodOptional<import("zod").ZodString>;
+                    message: import("zod").ZodOptional<import("zod").ZodString>;
+                    on: import("zod").ZodOptional<import("zod").ZodString>;
+                    proposed: import("zod").ZodOptional<import("zod").ZodObject<{
+                        provider: import("zod").ZodString;
+                        model: import("zod").ZodString;
+                        harness: import("zod").ZodOptional<import("zod").ZodEnum<{
+                            "claude-code": "claude-code";
+                            native: "native";
+                        }>>;
+                        account: import("zod").ZodOptional<import("zod").ZodString>;
+                        effort: import("zod").ZodOptional<import("zod").ZodString>;
+                        thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                        fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                    }, import("zod/v4/core").$strip>>;
+                }, import("zod/v4/core").$strip>>;
                 explain: import("zod").ZodOptional<import("zod").ZodString>;
                 requestId: import("zod").ZodString;
                 status: import("zod").ZodEnum<{
@@ -1209,6 +1319,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -1273,12 +1384,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1289,10 +1399,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -1333,6 +1439,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1379,6 +1486,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1415,6 +1533,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -1428,6 +1547,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -1468,6 +1595,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -1532,12 +1660,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1548,10 +1675,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -1592,6 +1715,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1638,6 +1762,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1674,6 +1809,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -1687,6 +1823,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -1737,6 +1881,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -1801,12 +1946,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1817,10 +1961,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -1861,6 +2001,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -1907,6 +2048,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1943,6 +2095,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -1956,6 +2109,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -1996,6 +2157,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -2060,12 +2222,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2076,10 +2237,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -2120,6 +2277,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2166,6 +2324,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2202,6 +2371,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -2215,6 +2385,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -2254,6 +2432,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -2318,12 +2497,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2334,10 +2512,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -2378,6 +2552,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2424,6 +2599,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2460,6 +2646,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -2473,6 +2660,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -2513,6 +2708,283 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        model: import("zod").ZodOptional<import("zod").ZodString>;
+        effort: import("zod").ZodOptional<import("zod").ZodString>;
+        thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        account: import("zod").ZodOptional<import("zod").ZodString>;
+        branch: import("zod").ZodOptional<import("zod").ZodString>;
+        autoLand: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            move: "move";
+            resend: "resend";
+            wait: "wait";
+        }>>;
+        outagePolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        stopPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        landRequested: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            at: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        reactions: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            emoji: import("zod").ZodString;
+            by: import("zod").ZodArray<import("zod").ZodObject<{
+                email: import("zod").ZodString;
+                name: import("zod").ZodOptional<import("zod").ZodString>;
+                at: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>>;
+        origin: import("zod").ZodOptional<import("zod").ZodObject<{
+            automationId: import("zod").ZodString;
+            provider: import("zod").ZodString;
+            channelId: import("zod").ZodOptional<import("zod").ZodString>;
+            author: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedBy: import("zod").ZodOptional<import("zod").ZodString>;
+        areas: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        owner: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            since: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        forkedFrom: import("zod").ZodOptional<import("zod").ZodObject<{
+            conversationId: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            files: import("zod").ZodEnum<{
+                now: "now";
+                then: "then";
+            }>;
+        }, import("zod/v4/core").$strip>>;
+        base: import("zod").ZodOptional<import("zod").ZodString>;
+        costUsd: import("zod").ZodOptional<import("zod").ZodNumber>;
+        inputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        outputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextWindow: import("zod").ZodOptional<import("zod").ZodNumber>;
+        promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>;
+        activity: import("zod").ZodOptional<import("zod").ZodObject<{
+            tool: import("zod").ZodOptional<import("zod").ZodString>;
+            target: import("zod").ZodOptional<import("zod").ZodString>;
+            todo: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        checklist: import("zod").ZodOptional<import("zod").ZodObject<{
+            done: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedMessageDraft: import("zod").ZodOptional<import("zod").ZodObject<{
+            startedAt: import("zod").ZodNumber;
+            steps: import("zod").ZodArray<import("zod").ZodObject<{
+                provider: import("zod").ZodString;
+                model: import("zod").ZodString;
+                status: import("zod").ZodEnum<{
+                    answered: "answered";
+                    asking: "asking";
+                    refused: "refused";
+                    skipped: "skipped";
+                }>;
+                at: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ms: import("zod").ZodOptional<import("zod").ZodNumber>;
+                reason: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            outcome: import("zod").ZodOptional<import("zod").ZodEnum<{
+                failed: "failed";
+                written: "written";
+            }>>;
+            reason: import("zod").ZodOptional<import("zod").ZodString>;
+            finishedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        landedMessage: import("zod").ZodOptional<import("zod").ZodObject<{
+            subject: import("zod").ZodString;
+            note: import("zod").ZodOptional<import("zod").ZodString>;
+            breaking: import("zod").ZodOptional<import("zod").ZodString>;
+            testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        }, import("zod/v4/core").$strip>>;
+        startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        run: import("zod").ZodOptional<import("zod").ZodString>;
+        queue: import("zod").ZodOptional<import("zod").ZodObject<{
+            items: import("zod").ZodArray<import("zod").ZodObject<{
+                id: import("zod").ZodString;
+                text: import("zod").ZodString;
+                attachments: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+                voice: import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    sandbox: "sandbox";
+                }>;
+                queuedAt: import("zod").ZodNumber;
+                revision: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+            revision: import("zod").ZodNumber;
+            paused: import("zod").ZodOptional<import("zod").ZodEnum<{
+                refused: "refused";
+                stopped: "stopped";
+            }>>;
+        }, import("zod/v4/core").$strip>>;
+        updatedAt: import("zod").ZodNumber;
+        seenAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        attention: import("zod").ZodObject<{
+            plan: import("zod").ZodBoolean;
+            question: import("zod").ZodBoolean;
+            permission: import("zod").ZodBoolean;
+            capability: import("zod").ZodBoolean;
+            credential: import("zod").ZodBoolean;
+            conflict: import("zod").ZodBoolean;
+        }, import("zod/v4/core").$strip>;
+        conflictCauses: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodEnum<{
+            binary: "binary";
+            diverged: "diverged";
+            workspace: "workspace";
+        }>>>;
+        unfinished: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            steps: import("zod").ZodOptional<import("zod").ZodObject<{
+                open: import("zod").ZodNumber;
+                total: import("zod").ZodNumber;
+                next: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        turns: import("zod").ZodOptional<import("zod").ZodNumber>;
+        toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
+        subagents: import("zod").ZodOptional<import("zod").ZodObject<{
+            running: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        diff: import("zod").ZodOptional<import("zod").ZodObject<{
+            files: import("zod").ZodNumber;
+            insertions: import("zod").ZodNumber;
+            deletions: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedPresence: import("zod").ZodOptional<import("zod").ZodObject<{
+            landed: import("zod").ZodNumber;
+            present: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        loop: import("zod").ZodOptional<import("zod").ZodObject<{
+            state: import("zod").ZodEnum<{
+                done: "done";
+                error: "error";
+                exhausted: "exhausted";
+                overspent: "overspent";
+                running: "running";
+                stalled: "stalled";
+                stopped: "stopped";
+            }>;
+            iteration: import("zod").ZodNumber;
+            maxIterations: import("zod").ZodNumber;
+            goal: import("zod").ZodString;
+        }, import("zod/v4/core").$strip>>;
+        workflow: import("zod").ZodOptional<import("zod").ZodObject<{
+            runId: import("zod").ZodString;
+            name: import("zod").ZodString;
+            step: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            note: import("zod").ZodString;
+            intervalSeconds: import("zod").ZodNumber;
+            deadlineAt: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>>;
+        jobs: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            label: import("zod").ZodString;
+            session: import("zod").ZodString;
+            startedAt: import("zod").ZodNumber;
+            endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
+        }, import("zod/v4/core").$strip>>>;
+        archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    stopJob: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        jobId: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        id: import("zod").ZodString;
+        sessionId: import("zod").ZodOptional<import("zod").ZodString>;
+        title: import("zod").ZodOptional<import("zod").ZodString>;
+        titleAction: import("zod").ZodOptional<import("zod").ZodString>;
+        status: import("zod").ZodEnum<{
+            awaiting: "awaiting";
+            conflict: "conflict";
+            dismissing: "dismissing";
+            error: "error";
+            idle: "idle";
+            interrupted: "interrupted";
+            landed: "landed";
+            landing: "landing";
+            ready: "ready";
+            resuming: "resuming";
+            running: "running";
+            stopped: "stopped";
+            stopping: "stopping";
+        }>;
+        failure: import("zod").ZodOptional<import("zod").ZodString>;
+        failureCode: import("zod").ZodOptional<import("zod").ZodString>;
+        limitResetsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        limitHeld: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitScheduled: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitMoving: import("zod").ZodOptional<import("zod").ZodString>;
+        provider: import("zod").ZodString;
+        harness: import("zod").ZodEnum<{
+            "claude-code": "claude-code";
+            native: "native";
+        }>;
+        runner: import("zod").ZodOptional<import("zod").ZodString>;
+        startIn: import("zod").ZodOptional<import("zod").ZodString>;
+        actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -2577,12 +3049,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2593,10 +3064,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -2637,6 +3104,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2683,6 +3151,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2719,6 +3198,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -2732,6 +3212,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -2770,6 +3258,7 @@ export declare const agentsContract: {
             runner: import("zod").ZodOptional<import("zod").ZodString>;
             startIn: import("zod").ZodOptional<import("zod").ZodString>;
             actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+            lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
             model: import("zod").ZodOptional<import("zod").ZodString>;
             effort: import("zod").ZodOptional<import("zod").ZodString>;
             thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -2834,12 +3323,11 @@ export declare const agentsContract: {
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
                 rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
             }, import("zod/v4/core").$strip>>;
             keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
                 since: import("zod").ZodNumber;
                 until: import("zod").ZodNumber;
-                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
                 refreshes: import("zod").ZodNumber;
                 readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
                 ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2850,10 +3338,6 @@ export declare const agentsContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: import("zod").ZodOptional<import("zod").ZodString>;
                 }, import("zod/v4/core").$strip>>;
@@ -2894,6 +3378,7 @@ export declare const agentsContract: {
                 note: import("zod").ZodOptional<import("zod").ZodString>;
                 breaking: import("zod").ZodOptional<import("zod").ZodString>;
                 testNote: import("zod").ZodOptional<import("zod").ZodString>;
+                allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strip>>;
             startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -2940,6 +3425,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2976,6 +3472,7 @@ export declare const agentsContract: {
                 index: import("zod").ZodNumber;
                 total: import("zod").ZodNumber;
             }, import("zod/v4/core").$strip>>;
+            awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
             watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
                 id: import("zod").ZodString;
                 note: import("zod").ZodString;
@@ -2989,6 +3486,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -3076,6 +3581,23 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    conflicts: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conflicts: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            repo: import("zod").ZodString;
+            paths: import("zod").ZodArray<import("zod").ZodObject<{
+                path: import("zod").ZodString;
+                reason: import("zod").ZodEnum<{
+                    binary: "binary";
+                    diverged: "diverged";
+                    workspace: "workspace";
+                }>;
+            }, import("zod/v4/core").$strip>>;
+            clean: import("zod").ZodNumber;
+            mainBranch: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     history: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
@@ -3142,6 +3664,27 @@ export declare const agentsContract: {
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         ok: import("zod").ZodLiteral<true>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    pushFix: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        project: import("zod").ZodString;
+        pick: import("zod").ZodOptional<import("zod").ZodObject<{
+            agent: import("zod").ZodString;
+            model: import("zod").ZodString;
+            account: import("zod").ZodOptional<import("zod").ZodString>;
+            harness: import("zod").ZodOptional<import("zod").ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>>;
+            effort: import("zod").ZodOptional<import("zod").ZodString>;
+            thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        mode: import("zod").ZodOptional<import("zod").ZodEnum<{
+            continue: "continue";
+            "start-over": "start-over";
+        }>>;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conversationId: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     land: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
         mode: import("zod").ZodOptional<import("zod").ZodEnum<{
@@ -3212,6 +3755,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -3276,12 +3820,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3292,10 +3835,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -3336,6 +3875,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3382,6 +3922,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3418,6 +3969,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -3431,6 +3983,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3471,6 +4031,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -3535,12 +4096,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3551,10 +4111,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -3595,6 +4151,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3641,6 +4198,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3677,6 +4245,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -3690,6 +4259,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3731,6 +4308,7 @@ export declare const agentsContract: {
         runner: import("zod").ZodOptional<import("zod").ZodString>;
         startIn: import("zod").ZodOptional<import("zod").ZodString>;
         actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+        lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
         model: import("zod").ZodOptional<import("zod").ZodString>;
         effort: import("zod").ZodOptional<import("zod").ZodString>;
         thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -3795,12 +4373,11 @@ export declare const agentsContract: {
             at: import("zod").ZodNumber;
             ttlMs: import("zod").ZodNumber;
             rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
         keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
             since: import("zod").ZodNumber;
             until: import("zod").ZodNumber;
-            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
             refreshes: import("zod").ZodNumber;
             readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
             ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3811,10 +4388,6 @@ export declare const agentsContract: {
                     cold: "cold";
                     elapsed: "elapsed";
                     failed: "failed";
-                    limited: "limited";
-                    midnight: "midnight";
-                    moved: "moved";
-                    rewrote: "rewrote";
                 }>;
                 detail: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
@@ -3855,6 +4428,7 @@ export declare const agentsContract: {
             note: import("zod").ZodOptional<import("zod").ZodString>;
             breaking: import("zod").ZodOptional<import("zod").ZodString>;
             testNote: import("zod").ZodOptional<import("zod").ZodString>;
+            allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
         }, import("zod/v4/core").$strip>>;
         startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -3901,6 +4475,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3937,6 +4522,7 @@ export declare const agentsContract: {
             index: import("zod").ZodNumber;
             total: import("zod").ZodNumber;
         }, import("zod/v4/core").$strip>>;
+        awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
         watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
             id: import("zod").ZodString;
             note: import("zod").ZodString;
@@ -3950,6 +4536,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3995,6 +4589,7 @@ export declare const agentsContract: {
             runner: import("zod").ZodOptional<import("zod").ZodString>;
             startIn: import("zod").ZodOptional<import("zod").ZodString>;
             actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+            lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
             model: import("zod").ZodOptional<import("zod").ZodString>;
             effort: import("zod").ZodOptional<import("zod").ZodString>;
             thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -4059,12 +4654,11 @@ export declare const agentsContract: {
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
                 rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
             }, import("zod/v4/core").$strip>>;
             keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
                 since: import("zod").ZodNumber;
                 until: import("zod").ZodNumber;
-                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
                 refreshes: import("zod").ZodNumber;
                 readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
                 ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4075,10 +4669,6 @@ export declare const agentsContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: import("zod").ZodOptional<import("zod").ZodString>;
                 }, import("zod/v4/core").$strip>>;
@@ -4119,6 +4709,7 @@ export declare const agentsContract: {
                 note: import("zod").ZodOptional<import("zod").ZodString>;
                 breaking: import("zod").ZodOptional<import("zod").ZodString>;
                 testNote: import("zod").ZodOptional<import("zod").ZodString>;
+                allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strip>>;
             startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -4165,6 +4756,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4201,6 +4803,7 @@ export declare const agentsContract: {
                 index: import("zod").ZodNumber;
                 total: import("zod").ZodNumber;
             }, import("zod/v4/core").$strip>>;
+            awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
             watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
                 id: import("zod").ZodString;
                 note: import("zod").ZodString;
@@ -4214,6 +4817,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -4260,6 +4871,7 @@ export declare const agentsContract: {
             runner: import("zod").ZodOptional<import("zod").ZodString>;
             startIn: import("zod").ZodOptional<import("zod").ZodString>;
             actsAs: import("zod").ZodOptional<import("zod").ZodString>;
+            lastActsAs: import("zod").ZodOptional<import("zod").ZodString>;
             model: import("zod").ZodOptional<import("zod").ZodString>;
             effort: import("zod").ZodOptional<import("zod").ZodString>;
             thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
@@ -4324,12 +4936,11 @@ export declare const agentsContract: {
                 at: import("zod").ZodNumber;
                 ttlMs: import("zod").ZodNumber;
                 rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
-                keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                keepableUntil: import("zod").ZodOptional<import("zod").ZodNumber>;
             }, import("zod/v4/core").$strip>>;
             keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
                 since: import("zod").ZodNumber;
                 until: import("zod").ZodNumber;
-                auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
                 refreshes: import("zod").ZodNumber;
                 readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
                 ended: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4340,10 +4951,6 @@ export declare const agentsContract: {
                         cold: "cold";
                         elapsed: "elapsed";
                         failed: "failed";
-                        limited: "limited";
-                        midnight: "midnight";
-                        moved: "moved";
-                        rewrote: "rewrote";
                     }>;
                     detail: import("zod").ZodOptional<import("zod").ZodString>;
                 }, import("zod/v4/core").$strip>>;
@@ -4384,6 +4991,7 @@ export declare const agentsContract: {
                 note: import("zod").ZodOptional<import("zod").ZodString>;
                 breaking: import("zod").ZodOptional<import("zod").ZodString>;
                 testNote: import("zod").ZodOptional<import("zod").ZodString>;
+                allows: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
             }, import("zod/v4/core").$strip>>;
             startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             run: import("zod").ZodOptional<import("zod").ZodString>;
@@ -4430,6 +5038,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4466,6 +5085,7 @@ export declare const agentsContract: {
                 index: import("zod").ZodNumber;
                 total: import("zod").ZodNumber;
             }, import("zod/v4/core").$strip>>;
+            awaitingWake: import("zod").ZodOptional<import("zod").ZodBoolean>;
             watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
                 id: import("zod").ZodString;
                 note: import("zod").ZodString;
@@ -4479,6 +5099,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;