@intentic/sandbox-contract 1.311.0 → 1.312.0

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

@@ -204,6 +204,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -253,6 +264,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -481,6 +500,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -530,6 +560,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -776,6 +814,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -825,6 +874,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -1379,6 +1436,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<{
@@ -1428,6 +1496,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>>;
@@ -1638,6 +1714,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<{
@@ -1687,6 +1774,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>>;
@@ -1907,6 +2002,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -1956,6 +2062,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>>;
@@ -2166,6 +2280,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2215,6 +2340,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>>;
@@ -2424,6 +2557,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2473,6 +2617,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>>;
@@ -2683,6 +2835,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2732,6 +2895,292 @@ 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>>;
+    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>;
+        model: import("zod").ZodOptional<import("zod").ZodString>;
+        effort: import("zod").ZodOptional<import("zod").ZodString>;
+        thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        account: import("zod").ZodOptional<import("zod").ZodString>;
+        branch: import("zod").ZodOptional<import("zod").ZodString>;
+        autoLand: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        limitPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            move: "move";
+            resend: "resend";
+            wait: "wait";
+        }>>;
+        outagePolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        stopPolicy: import("zod").ZodOptional<import("zod").ZodEnum<{
+            retry: "retry";
+            wait: "wait";
+        }>>;
+        landRequested: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            at: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        reactions: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            emoji: import("zod").ZodString;
+            by: import("zod").ZodArray<import("zod").ZodObject<{
+                email: import("zod").ZodString;
+                name: import("zod").ZodOptional<import("zod").ZodString>;
+                at: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>>;
+        origin: import("zod").ZodOptional<import("zod").ZodObject<{
+            automationId: import("zod").ZodString;
+            provider: import("zod").ZodString;
+            channelId: import("zod").ZodOptional<import("zod").ZodString>;
+            author: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedBy: import("zod").ZodOptional<import("zod").ZodString>;
+        areas: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+        owner: import("zod").ZodOptional<import("zod").ZodObject<{
+            email: import("zod").ZodString;
+            name: import("zod").ZodOptional<import("zod").ZodString>;
+            since: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        forkedFrom: import("zod").ZodOptional<import("zod").ZodObject<{
+            conversationId: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            files: import("zod").ZodEnum<{
+                now: "now";
+                then: "then";
+            }>;
+        }, import("zod/v4/core").$strip>>;
+        base: import("zod").ZodOptional<import("zod").ZodString>;
+        costUsd: import("zod").ZodOptional<import("zod").ZodNumber>;
+        inputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        outputTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+        contextWindow: import("zod").ZodOptional<import("zod").ZodNumber>;
+        promptCache: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            ttlMs: import("zod").ZodNumber;
+            rollsAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            keepable: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        keepWarm: import("zod").ZodOptional<import("zod").ZodObject<{
+            since: import("zod").ZodNumber;
+            until: import("zod").ZodNumber;
+            auto: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            refreshes: import("zod").ZodNumber;
+            readTokens: import("zod").ZodOptional<import("zod").ZodNumber>;
+            ended: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                reason: import("zod").ZodEnum<{
+                    allowance: "allowance";
+                    changed: "changed";
+                    cold: "cold";
+                    elapsed: "elapsed";
+                    failed: "failed";
+                    limited: "limited";
+                    midnight: "midnight";
+                    moved: "moved";
+                    rewrote: "rewrote";
+                }>;
+                detail: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+        }, import("zod/v4/core").$strip>>;
+        activity: import("zod").ZodOptional<import("zod").ZodObject<{
+            tool: import("zod").ZodOptional<import("zod").ZodString>;
+            target: import("zod").ZodOptional<import("zod").ZodString>;
+            todo: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        checklist: import("zod").ZodOptional<import("zod").ZodObject<{
+            done: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedMessageDraft: import("zod").ZodOptional<import("zod").ZodObject<{
+            startedAt: import("zod").ZodNumber;
+            steps: import("zod").ZodArray<import("zod").ZodObject<{
+                provider: import("zod").ZodString;
+                model: import("zod").ZodString;
+                status: import("zod").ZodEnum<{
+                    answered: "answered";
+                    asking: "asking";
+                    refused: "refused";
+                    skipped: "skipped";
+                }>;
+                at: import("zod").ZodOptional<import("zod").ZodNumber>;
+                ms: import("zod").ZodOptional<import("zod").ZodNumber>;
+                reason: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            outcome: import("zod").ZodOptional<import("zod").ZodEnum<{
+                failed: "failed";
+                written: "written";
+            }>>;
+            reason: import("zod").ZodOptional<import("zod").ZodString>;
+            finishedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        landedMessage: import("zod").ZodOptional<import("zod").ZodObject<{
+            subject: import("zod").ZodString;
+            note: import("zod").ZodOptional<import("zod").ZodString>;
+            breaking: import("zod").ZodOptional<import("zod").ZodString>;
+            testNote: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        startedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        run: import("zod").ZodOptional<import("zod").ZodString>;
+        queue: import("zod").ZodOptional<import("zod").ZodObject<{
+            items: import("zod").ZodArray<import("zod").ZodObject<{
+                id: import("zod").ZodString;
+                text: import("zod").ZodString;
+                attachments: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
+                voice: import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    sandbox: "sandbox";
+                }>;
+                queuedAt: import("zod").ZodNumber;
+                revision: import("zod").ZodNumber;
+            }, import("zod/v4/core").$strip>>;
+            revision: import("zod").ZodNumber;
+            paused: import("zod").ZodOptional<import("zod").ZodEnum<{
+                refused: "refused";
+                stopped: "stopped";
+            }>>;
+        }, import("zod/v4/core").$strip>>;
+        updatedAt: import("zod").ZodNumber;
+        seenAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+        attention: import("zod").ZodObject<{
+            plan: import("zod").ZodBoolean;
+            question: import("zod").ZodBoolean;
+            permission: import("zod").ZodBoolean;
+            capability: import("zod").ZodBoolean;
+            credential: import("zod").ZodBoolean;
+            conflict: import("zod").ZodBoolean;
+        }, import("zod/v4/core").$strip>;
+        conflictCauses: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodEnum<{
+            binary: "binary";
+            diverged: "diverged";
+            workspace: "workspace";
+        }>>>;
+        unfinished: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            steps: import("zod").ZodOptional<import("zod").ZodObject<{
+                open: import("zod").ZodNumber;
+                total: import("zod").ZodNumber;
+                next: import("zod").ZodOptional<import("zod").ZodString>;
+            }, import("zod/v4/core").$strip>>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
+        turns: import("zod").ZodOptional<import("zod").ZodNumber>;
+        toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
+        subagents: import("zod").ZodOptional<import("zod").ZodObject<{
+            running: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        diff: import("zod").ZodOptional<import("zod").ZodObject<{
+            files: import("zod").ZodNumber;
+            insertions: import("zod").ZodNumber;
+            deletions: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        landedPresence: import("zod").ZodOptional<import("zod").ZodObject<{
+            landed: import("zod").ZodNumber;
+            present: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        loop: import("zod").ZodOptional<import("zod").ZodObject<{
+            state: import("zod").ZodEnum<{
+                done: "done";
+                error: "error";
+                exhausted: "exhausted";
+                overspent: "overspent";
+                running: "running";
+                stalled: "stalled";
+                stopped: "stopped";
+            }>;
+            iteration: import("zod").ZodNumber;
+            maxIterations: import("zod").ZodNumber;
+            goal: import("zod").ZodString;
+        }, import("zod/v4/core").$strip>>;
+        workflow: import("zod").ZodOptional<import("zod").ZodObject<{
+            runId: import("zod").ZodString;
+            name: import("zod").ZodString;
+            step: import("zod").ZodString;
+            index: import("zod").ZodNumber;
+            total: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>;
+        watches: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            note: import("zod").ZodString;
+            intervalSeconds: import("zod").ZodNumber;
+            deadlineAt: import("zod").ZodNumber;
+        }, import("zod/v4/core").$strip>>>;
+        jobs: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            id: import("zod").ZodString;
+            label: import("zod").ZodString;
+            session: import("zod").ZodString;
+            startedAt: import("zod").ZodNumber;
+            endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
+            exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -2940,6 +3389,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -2989,6 +3449,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -3076,6 +3544,23 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
         }, import("zod/v4/core").$strip>>>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    conflicts: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        id: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conflicts: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodObject<{
+            repo: import("zod").ZodString;
+            paths: import("zod").ZodArray<import("zod").ZodObject<{
+                path: import("zod").ZodString;
+                reason: import("zod").ZodEnum<{
+                    binary: "binary";
+                    diverged: "diverged";
+                    workspace: "workspace";
+                }>;
+            }, import("zod/v4/core").$strip>>;
+            clean: import("zod").ZodNumber;
+            mainBranch: import("zod").ZodOptional<import("zod").ZodString>;
+        }, import("zod/v4/core").$strip>>>;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     history: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
@@ -3142,6 +3627,27 @@ export declare const agentsContract: {
     }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
         ok: import("zod").ZodLiteral<true>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
+    pushFix: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
+        project: import("zod").ZodString;
+        pick: import("zod").ZodOptional<import("zod").ZodObject<{
+            agent: import("zod").ZodString;
+            model: import("zod").ZodString;
+            account: import("zod").ZodOptional<import("zod").ZodString>;
+            harness: import("zod").ZodOptional<import("zod").ZodEnum<{
+                "claude-code": "claude-code";
+                native: "native";
+            }>>;
+            effort: import("zod").ZodOptional<import("zod").ZodString>;
+            thinking: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            fast: import("zod").ZodOptional<import("zod").ZodBoolean>;
+        }, import("zod/v4/core").$strip>>;
+        mode: import("zod").ZodOptional<import("zod").ZodEnum<{
+            continue: "continue";
+            "start-over": "start-over";
+        }>>;
+    }, import("zod/v4/core").$strip>, import("zod").ZodObject<{
+        conversationId: import("zod").ZodString;
+    }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
     land: import("@orpc/contract").ContractProcedureBuilderWithInputOutput<import("zod").ZodObject<{
         id: import("zod").ZodString;
         mode: import("zod").ZodOptional<import("zod").ZodEnum<{
@@ -3382,6 +3888,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3431,6 +3948,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3641,6 +4166,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3690,6 +4226,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -3901,6 +4445,17 @@ export declare const agentsContract: {
             }, import("zod/v4/core").$strip>>;
             check: import("zod").ZodOptional<import("zod").ZodString>;
         }, import("zod/v4/core").$strip>>;
+        proof: import("zod").ZodOptional<import("zod").ZodObject<{
+            at: import("zod").ZodNumber;
+            verification: import("zod").ZodEnum<{
+                failing: "failing";
+                "no-code": "no-code";
+                unproven: "unproven";
+                verified: "verified";
+            }>;
+            check: import("zod").ZodOptional<import("zod").ZodString>;
+            unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+        }, import("zod/v4/core").$strip>>;
         turns: import("zod").ZodOptional<import("zod").ZodNumber>;
         toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
         subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -3950,6 +4505,14 @@ export declare const agentsContract: {
             startedAt: import("zod").ZodNumber;
             endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
             exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+            watch: import("zod").ZodOptional<import("zod").ZodString>;
+            handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+            ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+            stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                agent: "agent";
+                person: "person";
+                turn: "turn";
+            }>>;
         }, import("zod/v4/core").$strip>>>;
         archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
     }, import("zod/v4/core").$strip>, Record<never, never>, import("../protocol/route-meta.js").RouteMeta & Record<never, never>>;
@@ -4165,6 +4728,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4214,6 +4788,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;
@@ -4430,6 +5012,17 @@ export declare const agentsContract: {
                 }, import("zod/v4/core").$strip>>;
                 check: import("zod").ZodOptional<import("zod").ZodString>;
             }, import("zod/v4/core").$strip>>;
+            proof: import("zod").ZodOptional<import("zod").ZodObject<{
+                at: import("zod").ZodNumber;
+                verification: import("zod").ZodEnum<{
+                    failing: "failing";
+                    "no-code": "no-code";
+                    unproven: "unproven";
+                    verified: "verified";
+                }>;
+                check: import("zod").ZodOptional<import("zod").ZodString>;
+                unviewed: import("zod").ZodOptional<import("zod").ZodNumber>;
+            }, import("zod/v4/core").$strip>>;
             turns: import("zod").ZodOptional<import("zod").ZodNumber>;
             toolUses: import("zod").ZodOptional<import("zod").ZodNumber>;
             subagents: import("zod").ZodOptional<import("zod").ZodObject<{
@@ -4479,6 +5072,14 @@ export declare const agentsContract: {
                 startedAt: import("zod").ZodNumber;
                 endedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
                 exitCode: import("zod").ZodOptional<import("zod").ZodNumber>;
+                watch: import("zod").ZodOptional<import("zod").ZodString>;
+                handed: import("zod").ZodOptional<import("zod").ZodBoolean>;
+                ports: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodNumber>>;
+                stoppedBy: import("zod").ZodOptional<import("zod").ZodEnum<{
+                    agent: "agent";
+                    person: "person";
+                    turn: "turn";
+                }>>;
             }, import("zod/v4/core").$strip>>>;
             archivedAt: import("zod").ZodOptional<import("zod").ZodNumber>;
         }, import("zod/v4/core").$strip>>;