@claudexor/schema 3.0.4 → 3.1.1

package/dist/control-operation-responses.d.ts

@@ -38,7 +38,8 @@ export declare const ControlRunListResponse: z.ZodObject<{
         error: z.ZodOptional<z.ZodString>;
         failure: z.ZodDefault<z.ZodNullable<z.ZodObject<{
             phase: z.ZodDefault<z.ZodString>;
-            category: z.ZodDefault<z.ZodEnum<["validation", "project", "auth", "harness_unavailable", "harness_error", "budget", "policy", "cancelled", "internal", "unknown"]>>;
+            category: z.ZodDefault<z.ZodEnum<["validation", "project", "auth", "harness_unavailable", "harness_error", "config_error", "budget", "policy", "cancelled", "internal", "unknown"]>>;
+            code: z.ZodDefault<z.ZodNullable<z.ZodEnum<["finite_zero", "hard_cap", "estimate_headroom", "unknown_paid_in_flight", "budget_overshoot", "cost_unverifiable"]>>>;
             harnessId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
             attemptId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
             safeMessage: z.ZodString;
@@ -48,11 +49,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
             runDir: z.ZodDefault<z.ZodNullable<z.ZodString>>;
             nextActions: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         }, "strip", z.ZodTypeAny, {
+            code: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null;
             harnessId: string | null;
             attemptId: string | null;
             runDir: string | null;
             phase: string;
-            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal";
+            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal";
             safeMessage: string;
             rawDetailRef: string | null;
             logRefs: string[];
@@ -60,11 +62,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
             nextActions: string[];
         }, {
             safeMessage: string;
+            code?: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null | undefined;
             harnessId?: string | null | undefined;
             attemptId?: string | null | undefined;
             runDir?: string | null | undefined;
             phase?: string | undefined;
-            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal" | undefined;
+            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal" | undefined;
             rawDetailRef?: string | null | undefined;
             logRefs?: string[] | undefined;
             eventRefs?: string[] | undefined;
@@ -77,13 +80,13 @@ export declare const ControlRunListResponse: z.ZodObject<{
             context: z.ZodDefault<z.ZodEnum<["off", "auto"]>>;
         }, "strip", z.ZodTypeAny, {
             kind: "none" | "project";
-            root: string | null;
             context: "off" | "auto";
+            root: string | null;
             projectName: string | null;
         }, {
             kind?: "none" | "project" | undefined;
-            root?: string | null | undefined;
             context?: "off" | "auto" | undefined;
+            root?: string | null | undefined;
             projectName?: string | null | undefined;
         }>>;
         mode: z.ZodOptional<z.ZodEnum<["ask", "plan", "agent"]>>;
@@ -96,15 +99,15 @@ export declare const ControlRunListResponse: z.ZodObject<{
         reviewerPanel: z.ZodOptional<z.ZodArray<z.ZodObject<{
             harness: z.ZodString;
             model: z.ZodOptional<z.ZodString>;
-            effort: z.ZodOptional<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>;
+            effort: z.ZodOptional<z.ZodString>;
         }, "strict", z.ZodTypeAny, {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }, {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }>, "many">>;
         protectedPathApprovals: z.ZodOptional<z.ZodArray<z.ZodObject<{
             path: z.ZodString;
@@ -198,24 +201,24 @@ export declare const ControlRunListResponse: z.ZodObject<{
             rawDetailRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
             available: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
-            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
+            status: "failed" | "none" | "unverified" | "attempted" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
-            tool: string | null;
             required: boolean;
+            tool: string | null;
             attempted: boolean;
             rawDetailRef: string | null;
             effectiveMode: "off" | "auto" | "cached" | "live";
             satisfied: boolean;
             errorSummary: string | null;
         }, {
-            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
+            status?: "failed" | "none" | "unverified" | "attempted" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
-            tool?: string | null | undefined;
             required?: boolean | undefined;
+            tool?: string | null | undefined;
             attempted?: boolean | undefined;
             rawDetailRef?: string | null | undefined;
             effectiveMode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -306,19 +309,70 @@ export declare const ControlRunListResponse: z.ZodObject<{
             noChanges: z.ZodDefault<z.ZodBoolean>;
             checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
             review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
-            reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted"]>>>;
+            reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+            work_state: z.ZodOptional<z.ZodObject<{
+                state: z.ZodEnum<["completed", "needs_input", "incomplete", "unverified"]>;
+                source: z.ZodEnum<["constrained", "validated", "absent"]>;
+                required_inputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<["file", "context", "credential", "permission", "decision", "external_dependency"]>;
+                    locator: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                    description: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }, {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }>, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            }, {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            }>>;
         }, "strict", z.ZodTypeAny, {
             review: "not_run" | "approved" | "blocked";
-            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
+            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
             checks: "passed" | "failed" | "not_configured";
             lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
             noChanges: boolean;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            } | undefined;
         }, {
             lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
             review?: "not_run" | "approved" | "blocked" | undefined;
-            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
+            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
             checks?: "passed" | "failed" | "not_configured" | undefined;
             noChanges?: boolean | undefined;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            } | undefined;
         }>>>;
         waitingOnUser: z.ZodDefault<z.ZodBoolean>;
         route: z.ZodDefault<z.ZodNullable<z.ZodObject<{
@@ -328,14 +382,61 @@ export declare const ControlRunListResponse: z.ZodObject<{
             verified: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
             harnessId: string | null;
+            verified: boolean;
             requestedModel: string | null;
             observedModel: string | null;
-            verified: boolean;
         }, {
             harnessId?: string | null | undefined;
+            verified?: boolean | undefined;
             requestedModel?: string | null | undefined;
             observedModel?: string | null | undefined;
-            verified?: boolean | undefined;
+        }>>>;
+        routingRationale: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            goal: z.ZodEnum<["auto", "quality", "economy"]>;
+            paid_fallback: z.ZodEnum<["never", "when_unavailable", "allowed_within_cap"]>;
+            order: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            dropped: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            reason: z.ZodEnum<["subscription_entitlement_first", "lowest_incremental_cash", "quality_tier", "expiring_quota_slack", "all_incremental_cash_unknown", "declared_order"]>;
+            entries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                harness_id: z.ZodString;
+                billing_knowledge: z.ZodEnum<["proven_zero", "subscription_entitlement", "metered", "unknown"]>;
+                incremental_cost_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+                eligible: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }, {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            entries: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }[];
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            order: string[];
+            dropped: string[];
+        }, {
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            entries?: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }[] | undefined;
+            order?: string[] | undefined;
+            dropped?: string[] | undefined;
         }>>>;
         tests: z.ZodOptional<z.ZodArray<z.ZodObject<{
             program: z.ZodString;
@@ -358,27 +459,21 @@ export declare const ControlRunListResponse: z.ZodObject<{
         finishedAt: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        runId: string;
-        outcomeFacts: {
-            review: "not_run" | "approved" | "blocked";
-            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
-            checks: "passed" | "failed" | "not_configured";
-            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
-            noChanges: boolean;
-        } | null;
         project: {
             kind: "none" | "project";
-            root: string | null;
             context: "off" | "auto";
+            root: string | null;
             projectName: string | null;
         };
         jobId: string;
+        runId: string;
         failure: {
+            code: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null;
             harnessId: string | null;
             attemptId: string | null;
             runDir: string | null;
             phase: string;
-            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal";
+            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal";
             safeMessage: string;
             rawDetailRef: string | null;
             logRefs: string[];
@@ -386,12 +481,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
             nextActions: string[];
         } | null;
         webEvidence: {
-            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
+            status: "failed" | "none" | "unverified" | "attempted" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
-            tool: string | null;
             required: boolean;
+            tool: string | null;
             attempted: boolean;
             rawDetailRef: string | null;
             effectiveMode: "off" | "auto" | "cached" | "live";
@@ -424,12 +519,41 @@ export declare const ControlRunListResponse: z.ZodObject<{
             preTurnSha: string | null;
             revertable: boolean;
         };
+        outcomeFacts: {
+            review: "not_run" | "approved" | "blocked";
+            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            } | undefined;
+        } | null;
         waitingOnUser: boolean;
         route: {
             harnessId: string | null;
+            verified: boolean;
             requestedModel: string | null;
             observedModel: string | null;
-            verified: boolean;
+        } | null;
+        routingRationale: {
+            entries: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }[];
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            order: string[];
+            dropped: string[];
         } | null;
         startedAt?: string | undefined;
         error?: string | undefined;
@@ -438,7 +562,6 @@ export declare const ControlRunListResponse: z.ZodObject<{
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
-        runDir?: string | undefined;
         model?: string | undefined;
         tests?: {
             args: string[];
@@ -447,6 +570,7 @@ export declare const ControlRunListResponse: z.ZodObject<{
             cwd?: string | undefined;
         }[] | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -464,7 +588,7 @@ export declare const ControlRunListResponse: z.ZodObject<{
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }[] | undefined;
         strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
@@ -493,8 +617,8 @@ export declare const ControlRunListResponse: z.ZodObject<{
         finishedAt?: string | undefined;
     }, {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        runId: string;
         jobId: string;
+        runId: string;
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
@@ -502,14 +626,6 @@ export declare const ControlRunListResponse: z.ZodObject<{
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
-        runDir?: string | undefined;
-        outcomeFacts?: {
-            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
-            review?: "not_run" | "approved" | "blocked" | undefined;
-            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
-            checks?: "passed" | "failed" | "not_configured" | undefined;
-            noChanges?: boolean | undefined;
-        } | null | undefined;
         model?: string | undefined;
         tests?: {
             program: string;
@@ -519,11 +635,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
         }[] | undefined;
         project?: {
             kind?: "none" | "project" | undefined;
-            root?: string | null | undefined;
             context?: "off" | "auto" | undefined;
+            root?: string | null | undefined;
             projectName?: string | null | undefined;
         } | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -541,15 +658,16 @@ export declare const ControlRunListResponse: z.ZodObject<{
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }[] | undefined;
         failure?: {
             safeMessage: string;
+            code?: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null | undefined;
             harnessId?: string | null | undefined;
             attemptId?: string | null | undefined;
             runDir?: string | null | undefined;
             phase?: string | undefined;
-            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal" | undefined;
+            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal" | undefined;
             rawDetailRef?: string | null | undefined;
             logRefs?: string[] | undefined;
             eventRefs?: string[] | undefined;
@@ -579,12 +697,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
         webRequired?: boolean | undefined;
         webMode?: "off" | "auto" | "cached" | "live" | undefined;
         webEvidence?: {
-            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
+            status?: "failed" | "none" | "unverified" | "attempted" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
-            tool?: string | null | undefined;
             required?: boolean | undefined;
+            tool?: string | null | undefined;
             attempted?: boolean | undefined;
             rawDetailRef?: string | null | undefined;
             effectiveMode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -618,39 +736,70 @@ export declare const ControlRunListResponse: z.ZodObject<{
             preTurnSha?: string | null | undefined;
             revertable?: boolean | undefined;
         } | undefined;
+        outcomeFacts?: {
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            review?: "not_run" | "approved" | "blocked" | undefined;
+            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
+            checks?: "passed" | "failed" | "not_configured" | undefined;
+            noChanges?: boolean | undefined;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            } | undefined;
+        } | null | undefined;
         waitingOnUser?: boolean | undefined;
         route?: {
             harnessId?: string | null | undefined;
+            verified?: boolean | undefined;
             requestedModel?: string | null | undefined;
             observedModel?: string | null | undefined;
-            verified?: boolean | undefined;
+        } | null | undefined;
+        routingRationale?: {
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            entries?: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }[] | undefined;
+            order?: string[] | undefined;
+            dropped?: string[] | undefined;
         } | null | undefined;
         finishedAt?: string | undefined;
     }>, "many">>;
+    /** QA-052 keyset page cursor: opaque `(createdAt,id)` token to fetch the
+     * next (older) page. Null when this page is the tail — no further runs match
+     * the current filter. Feed it back verbatim as the `cursor` query param. */
+    nextCursor: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    /** True when at least one further run matches the current filter beyond this
+     * page. A consumer keeps paging while this is true, never inferring the tail
+     * from a short page. */
+    hasMore: z.ZodDefault<z.ZodBoolean>;
 }, "strict", z.ZodTypeAny, {
     runs: {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        runId: string;
-        outcomeFacts: {
-            review: "not_run" | "approved" | "blocked";
-            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
-            checks: "passed" | "failed" | "not_configured";
-            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
-            noChanges: boolean;
-        } | null;
         project: {
             kind: "none" | "project";
-            root: string | null;
             context: "off" | "auto";
+            root: string | null;
             projectName: string | null;
         };
         jobId: string;
+        runId: string;
         failure: {
+            code: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null;
             harnessId: string | null;
             attemptId: string | null;
             runDir: string | null;
             phase: string;
-            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal";
+            category: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal";
             safeMessage: string;
             rawDetailRef: string | null;
             logRefs: string[];
@@ -658,12 +807,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
             nextActions: string[];
         } | null;
         webEvidence: {
-            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
+            status: "failed" | "none" | "unverified" | "attempted" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
-            tool: string | null;
             required: boolean;
+            tool: string | null;
             attempted: boolean;
             rawDetailRef: string | null;
             effectiveMode: "off" | "auto" | "cached" | "live";
@@ -696,12 +845,41 @@ export declare const ControlRunListResponse: z.ZodObject<{
             preTurnSha: string | null;
             revertable: boolean;
         };
+        outcomeFacts: {
+            review: "not_run" | "approved" | "blocked";
+            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            } | undefined;
+        } | null;
         waitingOnUser: boolean;
         route: {
             harnessId: string | null;
+            verified: boolean;
             requestedModel: string | null;
             observedModel: string | null;
-            verified: boolean;
+        } | null;
+        routingRationale: {
+            entries: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }[];
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            order: string[];
+            dropped: string[];
         } | null;
         startedAt?: string | undefined;
         error?: string | undefined;
@@ -710,7 +888,6 @@ export declare const ControlRunListResponse: z.ZodObject<{
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
-        runDir?: string | undefined;
         model?: string | undefined;
         tests?: {
             args: string[];
@@ -719,6 +896,7 @@ export declare const ControlRunListResponse: z.ZodObject<{
             cwd?: string | undefined;
         }[] | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -736,7 +914,7 @@ export declare const ControlRunListResponse: z.ZodObject<{
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }[] | undefined;
         strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
@@ -764,11 +942,13 @@ export declare const ControlRunListResponse: z.ZodObject<{
         toolPermissionPolicy?: Record<string, unknown> | undefined;
         finishedAt?: string | undefined;
     }[];
+    nextCursor: string | null;
+    hasMore: boolean;
 }, {
     runs?: {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        runId: string;
         jobId: string;
+        runId: string;
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
@@ -776,14 +956,6 @@ export declare const ControlRunListResponse: z.ZodObject<{
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
-        runDir?: string | undefined;
-        outcomeFacts?: {
-            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
-            review?: "not_run" | "approved" | "blocked" | undefined;
-            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
-            checks?: "passed" | "failed" | "not_configured" | undefined;
-            noChanges?: boolean | undefined;
-        } | null | undefined;
         model?: string | undefined;
         tests?: {
             program: string;
@@ -793,11 +965,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
         }[] | undefined;
         project?: {
             kind?: "none" | "project" | undefined;
-            root?: string | null | undefined;
             context?: "off" | "auto" | undefined;
+            root?: string | null | undefined;
             projectName?: string | null | undefined;
         } | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -815,15 +988,16 @@ export declare const ControlRunListResponse: z.ZodObject<{
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
-            effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+            effort?: string | undefined;
         }[] | undefined;
         failure?: {
             safeMessage: string;
+            code?: "budget_overshoot" | "cost_unverifiable" | "finite_zero" | "hard_cap" | "estimate_headroom" | "unknown_paid_in_flight" | null | undefined;
             harnessId?: string | null | undefined;
             attemptId?: string | null | undefined;
             runDir?: string | null | undefined;
             phase?: string | undefined;
-            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "internal" | undefined;
+            category?: "validation" | "unknown" | "harness_error" | "cancelled" | "auth" | "policy" | "budget" | "project" | "harness_unavailable" | "config_error" | "internal" | undefined;
             rawDetailRef?: string | null | undefined;
             logRefs?: string[] | undefined;
             eventRefs?: string[] | undefined;
@@ -853,12 +1027,12 @@ export declare const ControlRunListResponse: z.ZodObject<{
         webRequired?: boolean | undefined;
         webMode?: "off" | "auto" | "cached" | "live" | undefined;
         webEvidence?: {
-            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
+            status?: "failed" | "none" | "unverified" | "attempted" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
-            tool?: string | null | undefined;
             required?: boolean | undefined;
+            tool?: string | null | undefined;
             attempted?: boolean | undefined;
             rawDetailRef?: string | null | undefined;
             effectiveMode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -892,15 +1066,46 @@ export declare const ControlRunListResponse: z.ZodObject<{
             preTurnSha?: string | null | undefined;
             revertable?: boolean | undefined;
         } | undefined;
+        outcomeFacts?: {
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            review?: "not_run" | "approved" | "blocked" | undefined;
+            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
+            checks?: "passed" | "failed" | "not_configured" | undefined;
+            noChanges?: boolean | undefined;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            } | undefined;
+        } | null | undefined;
         waitingOnUser?: boolean | undefined;
         route?: {
             harnessId?: string | null | undefined;
+            verified?: boolean | undefined;
             requestedModel?: string | null | undefined;
             observedModel?: string | null | undefined;
-            verified?: boolean | undefined;
+        } | null | undefined;
+        routingRationale?: {
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            entries?: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }[] | undefined;
+            order?: string[] | undefined;
+            dropped?: string[] | undefined;
         } | null | undefined;
         finishedAt?: string | undefined;
     }[] | undefined;
+    nextCursor?: string | null | undefined;
+    hasMore?: boolean | undefined;
 }>;
 export type ControlRunListResponse = z.infer<typeof ControlRunListResponse>;
 export declare const ControlArtifactListResponse: z.ZodObject<{
@@ -979,14 +1184,22 @@ export declare const ControlApplyCheckResponse: z.ZodObject<{
     ok: z.ZodBoolean;
     code: z.ZodNullable<z.ZodNumber>;
     stderr: z.ZodString;
+    /** #26: TRUE when `ok` is a typed already-applied no-op (the run is
+     * delivered and the tree is this patch's exact postimage) rather than a
+     * fresh clean forward check. Lets a dry-run consumer distinguish "would
+     * apply cleanly" from "already applied; nothing would change". Defaults
+     * false. */
+    alreadyApplied: z.ZodDefault<z.ZodBoolean>;
 }, "strict", z.ZodTypeAny, {
     code: number | null;
     ok: boolean;
+    alreadyApplied: boolean;
     stderr: string;
 }, {
     code: number | null;
     ok: boolean;
     stderr: string;
+    alreadyApplied?: boolean | undefined;
 }>;
 export type ControlApplyCheckResponse = z.infer<typeof ControlApplyCheckResponse>;
 export declare const ControlDeliveryResponse: z.ZodObject<{
@@ -998,6 +1211,8 @@ export declare const ControlDeliveryResponse: z.ZodObject<{
     detail: z.ZodOptional<z.ZodString>;
     treeMutated: z.ZodOptional<z.ZodBoolean>;
     refused: z.ZodOptional<z.ZodBoolean>;
+    alreadyApplied: z.ZodDefault<z.ZodBoolean>;
+    deliveryStatus: z.ZodOptional<z.ZodEnum<["applied", "already_applied", "refused"]>>;
     finalVerify: z.ZodObject<{
         attempted: z.ZodBoolean;
         base_sha: z.ZodDefault<z.ZodNullable<z.ZodString>>;
@@ -1042,6 +1257,7 @@ export declare const ControlDeliveryResponse: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     mode: "apply" | "commit" | "branch" | "pr";
     applied: boolean;
+    alreadyApplied: boolean;
     finalVerify: {
         reason: string | null;
         duration_ms: number | null;
@@ -1061,6 +1277,7 @@ export declare const ControlDeliveryResponse: z.ZodObject<{
     prUrl?: string | undefined;
     treeMutated?: boolean | undefined;
     refused?: boolean | undefined;
+    deliveryStatus?: "applied" | "refused" | "already_applied" | undefined;
 }, {
     mode: "apply" | "commit" | "branch" | "pr";
     applied: boolean;
@@ -1083,6 +1300,8 @@ export declare const ControlDeliveryResponse: z.ZodObject<{
     prUrl?: string | undefined;
     treeMutated?: boolean | undefined;
     refused?: boolean | undefined;
+    alreadyApplied?: boolean | undefined;
+    deliveryStatus?: "applied" | "refused" | "already_applied" | undefined;
 }>;
 export type ControlDeliveryResponse = z.infer<typeof ControlDeliveryResponse>;
 export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
@@ -1102,8 +1321,8 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
         context: z.ZodDefault<z.ZodEnum<["auto"]>>;
     }, "strict", z.ZodTypeAny, {
         kind: "project";
-        root: string;
         context: "auto";
+        root: string;
     }, {
         kind: "project";
         root: string;
@@ -1127,9 +1346,10 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     routingGoal: z.ZodOptional<z.ZodEnum<["auto", "quality", "economy"]>>;
     model: z.ZodOptional<z.ZodString>;
     models: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-    effort: z.ZodOptional<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>;
+    effort: z.ZodOptional<z.ZodString>;
+    efforts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     reviewerModels: z.ZodOptional<z.ZodRecord<z.ZodEnum<["openai", "anthropic", "google", "cursor", "opencode", "xai", "local", "unknown"]>, z.ZodString>>;
-    reviewerEfforts: z.ZodOptional<z.ZodRecord<z.ZodEnum<["openai", "anthropic", "google", "cursor", "opencode", "xai", "local", "unknown"]>, z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>>;
+    reviewerEfforts: z.ZodOptional<z.ZodRecord<z.ZodEnum<["openai", "anthropic", "google", "cursor", "opencode", "xai", "local", "unknown"]>, z.ZodString>>;
     n: z.ZodOptional<z.ZodNumber>;
     attempts: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
     untilClean: z.ZodOptional<z.ZodBoolean>;
@@ -1204,15 +1424,15 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     reviewerPanel: z.ZodOptional<z.ZodArray<z.ZodObject<{
         harness: z.ZodString;
         model: z.ZodOptional<z.ZodString>;
-        effort: z.ZodOptional<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>;
+        effort: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
         harness: string;
         model?: string | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+        effort?: string | undefined;
     }, {
         harness: string;
         model?: string | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+        effort?: string | undefined;
     }>, "many">>;
     authPreference: z.ZodOptional<z.ZodEnum<["subscription", "api_key", "auto"]>>;
     credentialProfileId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1244,7 +1464,7 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     models?: Record<string, string> | undefined;
     harnesses?: string[] | undefined;
     model?: string | undefined;
-    effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+    effort?: string | undefined;
     tests?: {
         args: string[];
         program: string;
@@ -1253,8 +1473,9 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     }[] | undefined;
     primaryHarness?: string | undefined;
     routingGoal?: "auto" | "quality" | "economy" | undefined;
+    efforts?: Record<string, string> | undefined;
     reviewerModels?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", string>> | undefined;
-    reviewerEfforts?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", "low" | "medium" | "high" | "xhigh" | "max">> | undefined;
+    reviewerEfforts?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", string>> | undefined;
     n?: number | undefined;
     attempts?: number | null | undefined;
     untilClean?: boolean | undefined;
@@ -1276,7 +1497,7 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     reviewerPanel?: {
         harness: string;
         model?: string | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+        effort?: string | undefined;
     }[] | undefined;
     authPreference?: "auto" | "subscription" | "api_key" | undefined;
     credentialProfileId?: string | null | undefined;
@@ -1305,7 +1526,7 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     models?: Record<string, string> | undefined;
     harnesses?: string[] | undefined;
     model?: string | undefined;
-    effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+    effort?: string | undefined;
     tests?: {
         program: string;
         args?: string[] | undefined;
@@ -1314,8 +1535,9 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     }[] | undefined;
     primaryHarness?: string | undefined;
     routingGoal?: "auto" | "quality" | "economy" | undefined;
+    efforts?: Record<string, string> | undefined;
     reviewerModels?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", string>> | undefined;
-    reviewerEfforts?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", "low" | "medium" | "high" | "xhigh" | "max">> | undefined;
+    reviewerEfforts?: Partial<Record<"openai" | "anthropic" | "google" | "cursor" | "opencode" | "xai" | "local" | "unknown", string>> | undefined;
     n?: number | undefined;
     attempts?: number | null | undefined;
     untilClean?: boolean | undefined;
@@ -1337,7 +1559,7 @@ export declare const ControlThreadTurnRequest: z.ZodObject<Omit<{
     reviewerPanel?: {
         harness: string;
         model?: string | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
+        effort?: string | undefined;
     }[] | undefined;
     authPreference?: "auto" | "subscription" | "api_key" | undefined;
     credentialProfileId?: string | null | undefined;