@claudexor/schema 3.0.4 → 3.1.1

package/dist/control.d.ts

@@ -15,15 +15,15 @@ export declare const ControlReviewerPanelEntry: z.ZodObject<{
     /** Optional per-reviewer model hint, passed to that harness only. */
     model: z.ZodOptional<z.ZodString>;
     /** Optional per-reviewer effort hint, passed to that harness only. */
-    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;
 }>;
 export type ControlReviewerPanelEntry = z.infer<typeof ControlReviewerPanelEntry>;
 export declare const ControlRunStartRequest: z.ZodObject<{
@@ -48,8 +48,8 @@ export declare const ControlRunStartRequest: z.ZodObject<{
         context: z.ZodDefault<z.ZodEnum<["auto"]>>;
     }, "strict", z.ZodTypeAny, {
         kind: "project";
-        root: string;
         context: "auto";
+        root: string;
     }, {
         kind: "project";
         root: string;
@@ -79,9 +79,14 @@ export declare const ControlRunStartRequest: z.ZodObject<{
      * general: an entry here wins over the scalar `model` and over the
      * per-harness settings default. */
     models: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-    effort: z.ZodOptional<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>;
+    effort: z.ZodOptional<z.ZodString>;
+    /** Harness-scoped effort map (harness id → effort). Specific beats general:
+     * an entry here wins over the scalar `effort` and the per-harness settings
+     * default, analogous to `models`. Exact Retry replays the frozen
+     * per-lane efforts through this map so a non-primary lane keeps its effort. */
+    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>>;
     /** agent flag: iterate until the convergence predicate is clean (no fixed cap). */
@@ -191,15 +196,15 @@ export declare const ControlRunStartRequest: z.ZodObject<{
         /** Optional per-reviewer model hint, passed to that harness only. */
         model: z.ZodOptional<z.ZodString>;
         /** Optional per-reviewer effort hint, passed to that harness only. */
-        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">>;
     /** Per-run auth route override (subscription/api_key/auto). */
     authPreference: z.ZodOptional<z.ZodEnum<["subscription", "api_key", "auto"]>>;
@@ -244,8 +249,8 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     prompt: string;
     scope: {
         kind: "project";
-        root: string;
         context: "auto";
+        root: string;
     } | {
         kind: "none";
     };
@@ -270,7 +275,7 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     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;
@@ -280,8 +285,9 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     retryOf?: string | 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;
@@ -304,7 +310,7 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     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;
@@ -334,7 +340,7 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     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;
@@ -354,8 +360,9 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     } | 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;
@@ -378,7 +385,7 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     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;
@@ -415,8 +422,8 @@ export declare const ControlRunRetryResponse: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     state: string;
     turnId: string | null;
-    runId: string | null;
     jobId: string;
+    runId: string | null;
     retryOf: string;
 }, {
     state: string;
@@ -449,8 +456,8 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
             context: z.ZodDefault<z.ZodEnum<["auto"]>>;
         }, "strict", z.ZodTypeAny, {
             kind: "project";
-            root: string;
             context: "auto";
+            root: string;
         }, {
             kind: "project";
             root: string;
@@ -480,9 +487,14 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
          * general: an entry here wins over the scalar `model` and over the
          * per-harness settings default. */
         models: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        effort: z.ZodOptional<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>;
+        effort: z.ZodOptional<z.ZodString>;
+        /** Harness-scoped effort map (harness id → effort). Specific beats general:
+         * an entry here wins over the scalar `effort` and the per-harness settings
+         * default, analogous to `models`. Exact Retry replays the frozen
+         * per-lane efforts through this map so a non-primary lane keeps its effort. */
+        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>>;
         /** agent flag: iterate until the convergence predicate is clean (no fixed cap). */
@@ -592,15 +604,15 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
             /** Optional per-reviewer model hint, passed to that harness only. */
             model: z.ZodOptional<z.ZodString>;
             /** Optional per-reviewer effort hint, passed to that harness only. */
-            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">>;
         /** Per-run auth route override (subscription/api_key/auto). */
         authPreference: z.ZodOptional<z.ZodEnum<["subscription", "api_key", "auto"]>>;
@@ -645,8 +657,8 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         prompt: string;
         scope: {
             kind: "project";
-            root: string;
             context: "auto";
+            root: string;
         } | {
             kind: "none";
         };
@@ -671,7 +683,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -681,8 +693,9 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         retryOf?: string | 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;
@@ -705,7 +718,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -735,7 +748,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -755,8 +768,9 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         } | 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;
@@ -779,7 +793,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -809,8 +823,8 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         prompt: string;
         scope: {
             kind: "project";
-            root: string;
             context: "auto";
+            root: string;
         } | {
             kind: "none";
         };
@@ -835,7 +849,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -845,8 +859,9 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         retryOf?: string | 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;
@@ -869,7 +884,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -907,7 +922,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -927,8 +942,9 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         } | 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;
@@ -951,7 +967,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         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;
@@ -983,9 +999,12 @@ export declare const ControlQueuedRunInfo: z.ZodObject<{
     error?: string | undefined;
 }>;
 export type ControlQueuedRunInfo = z.infer<typeof ControlQueuedRunInfo>;
+export declare const RunFailureCode: z.ZodEnum<["finite_zero", "hard_cap", "estimate_headroom", "unknown_paid_in_flight", "budget_overshoot", "cost_unverifiable"]>;
+export type RunFailureCode = z.infer<typeof RunFailureCode>;
 export declare const RunFailure: 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;
@@ -995,11 +1014,12 @@ export declare const RunFailure: 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[];
@@ -1007,11 +1027,12 @@ export declare const RunFailure: 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;
@@ -1025,13 +1046,13 @@ export declare const ControlProjectMetadata: 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;
 }>;
 export type ControlProjectMetadata = z.infer<typeof ControlProjectMetadata>;
@@ -1051,24 +1072,24 @@ export declare const ControlWebEvidence: z.ZodObject<{
     /** False when the run predates telemetry.yaml; surfaces must render "telemetry unavailable". */
     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;
@@ -1088,14 +1109,14 @@ export declare const ControlRouteInfo: 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;
 }>;
 export type ControlRouteInfo = z.infer<typeof ControlRouteInfo>;
 /**
@@ -1199,7 +1220,8 @@ export declare const ControlRunSummary: 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;
@@ -1209,11 +1231,12 @@ export declare const ControlRunSummary: 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[];
@@ -1221,11 +1244,12 @@ export declare const ControlRunSummary: 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;
@@ -1238,13 +1262,13 @@ export declare const ControlRunSummary: 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"]>>;
@@ -1262,15 +1286,15 @@ export declare const ControlRunSummary: z.ZodObject<{
         /** Optional per-reviewer model hint, passed to that harness only. */
         model: z.ZodOptional<z.ZodString>;
         /** Optional per-reviewer effort hint, passed to that harness only. */
-        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;
@@ -1380,24 +1404,24 @@ export declare const ControlRunSummary: z.ZodObject<{
         /** False when the run predates telemetry.yaml; surfaces must render "telemetry unavailable". */
         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;
@@ -1499,19 +1523,70 @@ export declare const ControlRunSummary: 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;
     }>>>;
     /** True while at least one interaction.requested has no answered/timeout. */
     waitingOnUser: z.ZodDefault<z.ZodBoolean>;
@@ -1523,14 +1598,65 @@ export declare const ControlRunSummary: 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;
+    }>>>;
+    /** QA-034: typed routing rationale projected verbatim from
+     * telemetry.routing_rationale — the ordered/dropped pool, decisive reason,
+     * and per-candidate billing/cost tuples. Null when no ranking was computed
+     * (explicit single-harness pool) or on legacy runs. */
+    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;
@@ -1553,27 +1679,21 @@ export declare const ControlRunSummary: 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[];
@@ -1581,12 +1701,12 @@ export declare const ControlRunSummary: 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";
@@ -1619,12 +1739,41 @@ export declare const ControlRunSummary: 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;
@@ -1633,7 +1782,6 @@ export declare const ControlRunSummary: 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[];
@@ -1642,6 +1790,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         cwd?: string | undefined;
     }[] | undefined;
     taskId?: string | undefined;
+    runDir?: string | undefined;
     primaryHarness?: string | undefined;
     routingGoal?: "auto" | "quality" | "economy" | undefined;
     n?: number | undefined;
@@ -1659,7 +1808,7 @@ export declare const ControlRunSummary: 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;
@@ -1688,8 +1837,8 @@ export declare const ControlRunSummary: 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;
@@ -1697,14 +1846,6 @@ export declare const ControlRunSummary: 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;
@@ -1714,11 +1855,12 @@ export declare const ControlRunSummary: 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;
@@ -1736,15 +1878,16 @@ export declare const ControlRunSummary: 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;
@@ -1774,12 +1917,12 @@ export declare const ControlRunSummary: 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;
@@ -1813,12 +1956,41 @@ export declare const ControlRunSummary: 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;
 }>;
@@ -1834,6 +2006,12 @@ export declare const ControlTimelineEvent: z.ZodObject<{
     toolName: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     target: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     errorSummary: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    /** Unsupported per-harness knobs the selected route silently could not honor
+     * (INV-105): the engine discloses them on `harness.started`, and this
+     * projection carries them so the row can render a visible warning ("max_turns
+     * was ignored") instead of an indistinguishable benign start (QA-070). Empty
+     * for every event that dropped nothing. */
+    ignoredSettings: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
     rawRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
 }, "strip", z.ZodTypeAny, {
     type: string;
@@ -1845,6 +2023,7 @@ export declare const ControlTimelineEvent: z.ZodObject<{
     errorSummary: string | null;
     severity: "error" | "info" | "warning";
     toolName: string | null;
+    ignoredSettings: string[];
     rawRef: string | null;
     ts?: string | undefined;
 }, {
@@ -1858,9 +2037,12 @@ export declare const ControlTimelineEvent: z.ZodObject<{
     errorSummary?: string | null | undefined;
     severity?: "error" | "info" | "warning" | undefined;
     toolName?: string | null | undefined;
+    ignoredSettings?: string[] | undefined;
     rawRef?: string | null | undefined;
 }>;
 export type ControlTimelineEvent = z.infer<typeof ControlTimelineEvent>;
+export declare const ControlEvidenceIntegrity: z.ZodEnum<["complete", "incomplete", "unavailable"]>;
+export type ControlEvidenceIntegrity = z.infer<typeof ControlEvidenceIntegrity>;
 export declare const ControlBudgetSnapshot: z.ZodObject<{
     paidBudget: z.ZodDefault<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
         kind: z.ZodLiteral<"unlimited">;
@@ -1879,9 +2061,18 @@ export declare const ControlBudgetSnapshot: z.ZodObject<{
         maxUsd: number;
     }>]>>;
     spendUsd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    /** Subscription VALUATION in USD (QA-023c/QA-017b): what this run's
+     * native-subscription work would approximately have cost by token valuation,
+     * accumulated separately from real billed cash. Null when no valuation is
+     * known — an UNKNOWN valuation (e.g. a harness that never reported usage)
+     * stays null and is NEVER coerced to a fake $0. Cash exact $0 + a non-null
+     * valuation is the honest subscription shape. */
+    valuationUsd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    valuationKnowledge: z.ZodDefault<z.ZodEnum<["exact", "estimated", "unknown"]>>;
     remainingUsd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
     estimated: z.ZodDefault<z.ZodBoolean>;
     source: z.ZodDefault<z.ZodEnum<["decision", "events", "settings", "unknown"]>>;
+    evidence: z.ZodDefault<z.ZodEnum<["complete", "incomplete", "unavailable"]>>;
 }, "strip", z.ZodTypeAny, {
     source: "unknown" | "decision" | "events" | "settings";
     estimated: boolean;
@@ -1892,7 +2083,10 @@ export declare const ControlBudgetSnapshot: z.ZodObject<{
         maxUsd: number;
     };
     spendUsd: number | null;
+    valuationUsd: number | null;
+    valuationKnowledge: "exact" | "unknown" | "estimated";
     remainingUsd: number | null;
+    evidence: "unavailable" | "incomplete" | "complete";
 }, {
     source?: "unknown" | "decision" | "events" | "settings" | undefined;
     estimated?: boolean | undefined;
@@ -1903,7 +2097,10 @@ export declare const ControlBudgetSnapshot: z.ZodObject<{
         maxUsd: number;
     } | undefined;
     spendUsd?: number | null | undefined;
+    valuationUsd?: number | null | undefined;
+    valuationKnowledge?: "exact" | "unknown" | "estimated" | undefined;
     remainingUsd?: number | null | undefined;
+    evidence?: "unavailable" | "incomplete" | "complete" | undefined;
 }>;
 export type ControlBudgetSnapshot = z.infer<typeof ControlBudgetSnapshot>;
 export declare const ControlArtifactInfo: z.ZodObject<{
@@ -2174,14 +2371,14 @@ export declare const ControlRunControlResponse: z.ZodObject<{
     runId: z.ZodOptional<z.ZodString>;
     message: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    status: "rejected" | "queued" | "applied" | "unsupported";
+    status: "unsupported" | "rejected" | "queued" | "applied";
     accepted: boolean;
     message?: string | undefined;
     runId?: string | undefined;
 }, {
     accepted: boolean;
     message?: string | undefined;
-    status?: "rejected" | "queued" | "applied" | "unsupported" | undefined;
+    status?: "unsupported" | "rejected" | "queued" | "applied" | undefined;
     runId?: string | undefined;
 }>;
 export type ControlRunControlResponse = z.infer<typeof ControlRunControlResponse>;
@@ -2343,12 +2540,12 @@ export declare const ControlRunDecisionResponse: z.ZodObject<{
     newRunId: z.ZodOptional<z.ZodString>;
     message: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    status: "rejected" | "applied" | "unsupported" | "requeued";
+    status: "unsupported" | "rejected" | "applied" | "requeued";
     accepted: boolean;
     message?: string | undefined;
     newRunId?: string | undefined;
 }, {
-    status: "rejected" | "applied" | "unsupported" | "requeued";
+    status: "unsupported" | "rejected" | "applied" | "requeued";
     accepted: boolean;
     message?: string | undefined;
     newRunId?: string | undefined;
@@ -2519,19 +2716,70 @@ export declare const ControlTurnRunCard: 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;
     }>>>;
     spendUsd: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
     outputReadyState: z.ZodDefault<z.ZodEnum<["pending", "finalizing", "ready", "diagnostic"]>>;
@@ -2539,13 +2787,6 @@ export declare const ControlTurnRunCard: z.ZodObject<{
     finishedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
 }, "strip", z.ZodTypeAny, {
     state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-    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;
     outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
     result: {
         kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -2562,6 +2803,22 @@ export declare const ControlTurnRunCard: 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;
     finishedAt: string | null;
     mode?: "ask" | "plan" | "agent" | undefined;
@@ -2571,13 +2828,6 @@ export declare const ControlTurnRunCard: z.ZodObject<{
 }, {
     state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
     mode?: "ask" | "plan" | "agent" | 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;
     n?: number | undefined;
     strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
     spendUsd?: number | null | undefined;
@@ -2597,6 +2847,22 @@ export declare const ControlTurnRunCard: 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;
     finishedAt?: string | null | undefined;
 }>;
@@ -2608,6 +2874,16 @@ export declare const ControlThreadTurn: z.ZodObject<{
     parentRunId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     /** Set when this turn implements an approved plan from an earlier run. */
     planRunId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    /** The SHA-256 of the exact plan bytes this Implement turn froze (INV-081),
+     * persisted on the durable turn but historically dropped by the projection
+     * (QA-046). Surfaces render a compact "implemented plan <run> · sha256 <hash>"
+     * receipt; null on non-Implement turns and legacy turns predating the freeze. */
+    planHash: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    /** True when the operator chose "Implement anyway" over a plan that still had
+     * open questions (INV-081 provenance); the durable turn records it but the
+     * projection dropped it (QA-046). Surfaces render a persistent warning receipt
+     * so the destructive-override choice survives reload. Defaults false. */
+    planReadinessOverridden: z.ZodDefault<z.ZodBoolean>;
     kind: z.ZodDefault<z.ZodEnum<["initial", "followup", "decision"]>>;
     prompt: z.ZodDefault<z.ZodString>;
     /** Embedded run card (outcome/state) so the chat renders without N+1 fetches. */
@@ -2678,19 +2954,70 @@ export declare const ControlThreadTurn: 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;
         }>>>;
         spendUsd: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
         outputReadyState: z.ZodDefault<z.ZodEnum<["pending", "finalizing", "ready", "diagnostic"]>>;
@@ -2698,13 +3025,6 @@ export declare const ControlThreadTurn: z.ZodObject<{
         finishedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     }, "strip", z.ZodTypeAny, {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        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;
         outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
         result: {
             kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -2721,6 +3041,22 @@ export declare const ControlThreadTurn: 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;
         finishedAt: string | null;
         mode?: "ask" | "plan" | "agent" | undefined;
@@ -2730,13 +3066,6 @@ export declare const ControlThreadTurn: z.ZodObject<{
     }, {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
         mode?: "ask" | "plan" | "agent" | 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;
         n?: number | undefined;
         strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
@@ -2756,6 +3085,22 @@ export declare const ControlThreadTurn: 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;
         finishedAt?: string | null | undefined;
     }>>>;
@@ -2835,15 +3180,10 @@ export declare const ControlThreadTurn: z.ZodObject<{
     planRunId: string | null;
     runId: string | null;
     parentRunId: string | null;
+    planHash: string | null;
+    planReadinessOverridden: boolean;
     run: {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        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;
         outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
         result: {
             kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -2860,6 +3200,22 @@ export declare const ControlThreadTurn: 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;
         finishedAt: string | null;
         mode?: "ask" | "plan" | "agent" | undefined;
@@ -2891,16 +3247,11 @@ export declare const ControlThreadTurn: z.ZodObject<{
     planRunId?: string | null | undefined;
     runId?: string | null | undefined;
     parentRunId?: string | null | undefined;
+    planHash?: string | null | undefined;
+    planReadinessOverridden?: boolean | undefined;
     run?: {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
         mode?: "ask" | "plan" | "agent" | 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;
         n?: number | undefined;
         strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
@@ -2920,6 +3271,22 @@ export declare const ControlThreadTurn: 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;
         finishedAt?: string | null | undefined;
     } | null | undefined;
@@ -2939,8 +3306,8 @@ export declare const ControlThreadCreateRequest: z.ZodObject<{
         context: z.ZodDefault<z.ZodEnum<["auto"]>>;
     }, "strict", z.ZodTypeAny, {
         kind: "project";
-        root: string;
         context: "auto";
+        root: string;
     }, {
         kind: "project";
         root: string;
@@ -2963,8 +3330,8 @@ export declare const ControlThreadCreateRequest: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     scope: {
         kind: "project";
-        root: string;
         context: "auto";
+        root: string;
     } | {
         kind: "none";
     };
@@ -3276,6 +3643,16 @@ export declare const ControlThreadDetail: z.ZodObject<{
         parentRunId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         /** Set when this turn implements an approved plan from an earlier run. */
         planRunId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        /** The SHA-256 of the exact plan bytes this Implement turn froze (INV-081),
+         * persisted on the durable turn but historically dropped by the projection
+         * (QA-046). Surfaces render a compact "implemented plan <run> · sha256 <hash>"
+         * receipt; null on non-Implement turns and legacy turns predating the freeze. */
+        planHash: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        /** True when the operator chose "Implement anyway" over a plan that still had
+         * open questions (INV-081 provenance); the durable turn records it but the
+         * projection dropped it (QA-046). Surfaces render a persistent warning receipt
+         * so the destructive-override choice survives reload. Defaults false. */
+        planReadinessOverridden: z.ZodDefault<z.ZodBoolean>;
         kind: z.ZodDefault<z.ZodEnum<["initial", "followup", "decision"]>>;
         prompt: z.ZodDefault<z.ZodString>;
         /** Embedded run card (outcome/state) so the chat renders without N+1 fetches. */
@@ -3346,19 +3723,70 @@ export declare const ControlThreadDetail: 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;
             }>>>;
             spendUsd: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
             outputReadyState: z.ZodDefault<z.ZodEnum<["pending", "finalizing", "ready", "diagnostic"]>>;
@@ -3366,13 +3794,6 @@ export declare const ControlThreadDetail: z.ZodObject<{
             finishedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         }, "strip", z.ZodTypeAny, {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-            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;
             outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
             result: {
                 kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -3389,6 +3810,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt: string | null;
             mode?: "ask" | "plan" | "agent" | undefined;
@@ -3398,13 +3835,6 @@ export declare const ControlThreadDetail: z.ZodObject<{
         }, {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
             mode?: "ask" | "plan" | "agent" | 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;
             n?: number | undefined;
             strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
             spendUsd?: number | null | undefined;
@@ -3424,6 +3854,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt?: string | null | undefined;
         }>>>;
@@ -3503,15 +3949,10 @@ export declare const ControlThreadDetail: z.ZodObject<{
         planRunId: string | null;
         runId: string | null;
         parentRunId: string | null;
+        planHash: string | null;
+        planReadinessOverridden: boolean;
         run: {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-            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;
             outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
             result: {
                 kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -3528,6 +3969,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt: string | null;
             mode?: "ask" | "plan" | "agent" | undefined;
@@ -3559,16 +4016,11 @@ export declare const ControlThreadDetail: z.ZodObject<{
         planRunId?: string | null | undefined;
         runId?: string | null | undefined;
         parentRunId?: string | null | undefined;
+        planHash?: string | null | undefined;
+        planReadinessOverridden?: boolean | undefined;
         run?: {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
             mode?: "ask" | "plan" | "agent" | 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;
             n?: number | undefined;
             strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
             spendUsd?: number | null | undefined;
@@ -3588,6 +4040,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt?: string | null | undefined;
         } | null | undefined;
@@ -3646,15 +4114,10 @@ export declare const ControlThreadDetail: z.ZodObject<{
         planRunId: string | null;
         runId: string | null;
         parentRunId: string | null;
+        planHash: string | null;
+        planReadinessOverridden: boolean;
         run: {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-            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;
             outputReadyState: "pending" | "finalizing" | "ready" | "diagnostic";
             result: {
                 kind: "plan" | "none" | "patch" | "answer" | "report";
@@ -3671,6 +4134,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt: string | null;
             mode?: "ask" | "plan" | "agent" | undefined;
@@ -3733,16 +4212,11 @@ export declare const ControlThreadDetail: z.ZodObject<{
         planRunId?: string | null | undefined;
         runId?: string | null | undefined;
         parentRunId?: string | null | undefined;
+        planHash?: string | null | undefined;
+        planReadinessOverridden?: boolean | undefined;
         run?: {
             state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
             mode?: "ask" | "plan" | "agent" | 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;
             n?: number | undefined;
             strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
             spendUsd?: number | null | undefined;
@@ -3762,6 +4236,22 @@ export declare const ControlThreadDetail: 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;
             finishedAt?: string | null | undefined;
         } | null | undefined;
@@ -3920,7 +4410,20 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists: z.ZodDefault<z.ZodBoolean>;
                 interactive: z.ZodDefault<z.ZodBoolean>;
                 json_schema_output: z.ZodDefault<z.ZodBoolean>;
-                effort_levels: z.ZodDefault<z.ZodArray<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>, "many">>;
+                work_report_transport: z.ZodDefault<z.ZodEnum<["constrained", "validated", "unsupported"]>>;
+                structured_output_channel: z.ZodDefault<z.ZodEnum<["side_tool", "final_message"]>>;
+                effort_levels: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                model_effort_levels: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+                    levels: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+                    default: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                }, "strict", z.ZodTypeAny, {
+                    levels: string[];
+                    default: string | null;
+                }, {
+                    levels?: string[] | undefined;
+                    default?: string | null | undefined;
+                }>>>;
+                effort_levels_verified_against: z.ZodDefault<z.ZodNullable<z.ZodString>>;
                 known_models: z.ZodDefault<z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{
                     id: z.ZodString;
                     routes: z.ZodArray<z.ZodEnum<["local_session", "api_key"]>, "many">;
@@ -3947,7 +4450,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists: boolean;
                 interactive: boolean;
                 json_schema_output: boolean;
-                effort_levels: ("low" | "medium" | "high" | "xhigh" | "max")[];
+                work_report_transport: "constrained" | "validated" | "unsupported";
+                structured_output_channel: "side_tool" | "final_message";
+                effort_levels: string[];
+                model_effort_levels: Record<string, {
+                    levels: string[];
+                    default: string | null;
+                }>;
+                effort_levels_verified_against: string | null;
                 known_models: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -3968,7 +4478,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists?: boolean | undefined;
                 interactive?: boolean | undefined;
                 json_schema_output?: boolean | undefined;
-                effort_levels?: ("low" | "medium" | "high" | "xhigh" | "max")[] | undefined;
+                work_report_transport?: "constrained" | "validated" | "unsupported" | undefined;
+                structured_output_channel?: "side_tool" | "final_message" | undefined;
+                effort_levels?: string[] | undefined;
+                model_effort_levels?: Record<string, {
+                    levels?: string[] | undefined;
+                    default?: string | null | undefined;
+                }> | undefined;
+                effort_levels_verified_against?: string | null | undefined;
                 known_models?: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4023,7 +4540,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists: boolean;
                 interactive: boolean;
                 json_schema_output: boolean;
-                effort_levels: ("low" | "medium" | "high" | "xhigh" | "max")[];
+                work_report_transport: "constrained" | "validated" | "unsupported";
+                structured_output_channel: "side_tool" | "final_message";
+                effort_levels: string[];
+                model_effort_levels: Record<string, {
+                    levels: string[];
+                    default: string | null;
+                }>;
+                effort_levels_verified_against: string | null;
                 known_models: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4053,7 +4577,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists?: boolean | undefined;
                 interactive?: boolean | undefined;
                 json_schema_output?: boolean | undefined;
-                effort_levels?: ("low" | "medium" | "high" | "xhigh" | "max")[] | undefined;
+                work_report_transport?: "constrained" | "validated" | "unsupported" | undefined;
+                structured_output_channel?: "side_tool" | "final_message" | undefined;
+                effort_levels?: string[] | undefined;
+                model_effort_levels?: Record<string, {
+                    levels?: string[] | undefined;
+                    default?: string | null | undefined;
+                }> | undefined;
+                effort_levels_verified_against?: string | null | undefined;
                 known_models?: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4235,7 +4766,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists: boolean;
                 interactive: boolean;
                 json_schema_output: boolean;
-                effort_levels: ("low" | "medium" | "high" | "xhigh" | "max")[];
+                work_report_transport: "constrained" | "validated" | "unsupported";
+                structured_output_channel: "side_tool" | "final_message";
+                effort_levels: string[];
+                model_effort_levels: Record<string, {
+                    levels: string[];
+                    default: string | null;
+                }>;
+                effort_levels_verified_against: string | null;
                 known_models: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4283,7 +4821,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists?: boolean | undefined;
                 interactive?: boolean | undefined;
                 json_schema_output?: boolean | undefined;
-                effort_levels?: ("low" | "medium" | "high" | "xhigh" | "max")[] | undefined;
+                work_report_transport?: "constrained" | "validated" | "unsupported" | undefined;
+                structured_output_channel?: "side_tool" | "final_message" | undefined;
+                effort_levels?: string[] | undefined;
+                model_effort_levels?: Record<string, {
+                    levels?: string[] | undefined;
+                    default?: string | null | undefined;
+                }> | undefined;
+                effort_levels_verified_against?: string | null | undefined;
                 known_models?: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4415,7 +4960,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists: boolean;
                 interactive: boolean;
                 json_schema_output: boolean;
-                effort_levels: ("low" | "medium" | "high" | "xhigh" | "max")[];
+                work_report_transport: "constrained" | "validated" | "unsupported";
+                structured_output_channel: "side_tool" | "final_message";
+                effort_levels: string[];
+                model_effort_levels: Record<string, {
+                    levels: string[];
+                    default: string | null;
+                }>;
+                effort_levels_verified_against: string | null;
                 known_models: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4465,7 +5017,14 @@ export declare const ControlHarnessListResponse: z.ZodObject<{
                 tool_lists?: boolean | undefined;
                 interactive?: boolean | undefined;
                 json_schema_output?: boolean | undefined;
-                effort_levels?: ("low" | "medium" | "high" | "xhigh" | "max")[] | undefined;
+                work_report_transport?: "constrained" | "validated" | "unsupported" | undefined;
+                structured_output_channel?: "side_tool" | "final_message" | undefined;
+                effort_levels?: string[] | undefined;
+                model_effort_levels?: Record<string, {
+                    levels?: string[] | undefined;
+                    default?: string | null | undefined;
+                }> | undefined;
+                effort_levels_verified_against?: string | null | undefined;
                 known_models?: (string | {
                     id: string;
                     routes: ("api_key" | "local_session")[];
@@ -4586,15 +5145,15 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
         qualityTiers: z.ZodDefault<z.ZodRecord<z.ZodEnum<["plan", "spec", "implement", "create_from_scratch", "repair", "review", "verify", "synthesize", "explain", "audit"]>, z.ZodArray<z.ZodArray<z.ZodObject<{
             harness: z.ZodString;
             model: z.ZodString;
-            effort: z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>;
+            effort: z.ZodString;
         }, "strict", z.ZodTypeAny, {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }, {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }>, "many">, "many">>>;
     }, "strip", z.ZodTypeAny, {
         goal: "auto" | "quality" | "economy";
@@ -4606,7 +5165,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
         qualityTiers: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }[][]>>;
     }, {
         goal?: "auto" | "quality" | "economy" | undefined;
@@ -4618,7 +5177,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
         qualityTiers?: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }[][]>> | undefined;
     }>>;
     budget: z.ZodDefault<z.ZodObject<{
@@ -4692,7 +5251,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
          * ladder for this harness (INV-135). */
         nativeCredentialsEnabled: z.ZodDefault<z.ZodBoolean>;
         defaultModel: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-        effort: z.ZodDefault<z.ZodNullable<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>>;
+        effort: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         maxTurns: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
         maxRounds: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
         toolsAllow: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
@@ -4707,7 +5266,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
     }, "strip", z.ZodTypeAny, {
         enabled: boolean;
         web: "off" | "auto" | "cached" | "live";
-        effort: "low" | "medium" | "high" | "xhigh" | "max" | null;
+        effort: string | null;
         authPreference: "auto" | "subscription" | "api_key";
         maxTurns: number | null;
         nativeCredentialsEnabled: boolean;
@@ -4720,7 +5279,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
     }, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -4735,7 +5294,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
     harnesses: Record<string, {
         enabled: boolean;
         web: "off" | "auto" | "cached" | "live";
-        effort: "low" | "medium" | "high" | "xhigh" | "max" | null;
+        effort: string | null;
         authPreference: "auto" | "subscription" | "api_key";
         maxTurns: number | null;
         nativeCredentialsEnabled: boolean;
@@ -4754,6 +5313,8 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
             maxUsd: number;
         };
     };
+    sources: string[];
+    interactionTimeoutMs: number;
     routing: {
         goal: "auto" | "quality" | "economy";
         primaryHarness: string | null;
@@ -4764,7 +5325,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
         qualityTiers: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }[][]>>;
     };
     runtime: {
@@ -4776,13 +5337,11 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
             maxDelayMs: number;
         };
     };
-    sources: string[];
-    interactionTimeoutMs: number;
 }, {
     harnesses?: Record<string, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -4801,6 +5360,8 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
             maxUsd: number;
         } | undefined;
     } | undefined;
+    sources?: string[] | undefined;
+    interactionTimeoutMs?: number | undefined;
     routing?: {
         goal?: "auto" | "quality" | "economy" | undefined;
         primaryHarness?: string | null | undefined;
@@ -4811,7 +5372,7 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
         qualityTiers?: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
             harness: string;
             model: string;
-            effort: "low" | "medium" | "high" | "xhigh" | "max";
+            effort: string;
         }[][]>> | undefined;
     } | undefined;
     runtime?: {
@@ -4823,8 +5384,6 @@ export declare const ControlSettingsSnapshot: z.ZodObject<{
             maxDelayMs?: number | undefined;
         } | undefined;
     } | undefined;
-    sources?: string[] | undefined;
-    interactionTimeoutMs?: number | undefined;
 }>;
 export type ControlSettingsSnapshot = z.infer<typeof ControlSettingsSnapshot>;
 /**
@@ -4836,7 +5395,7 @@ export declare const ControlHarnessSettingsPatch: z.ZodObject<{
     /** Toggle the native/CLI login in this harness's credential ladder (INV-135). */
     nativeCredentialsEnabled: z.ZodOptional<z.ZodBoolean>;
     defaultModel: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-    effort: z.ZodOptional<z.ZodNullable<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>>;
+    effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     maxTurns: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
     maxRounds: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
     toolsAllow: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -4850,7 +5409,7 @@ export declare const ControlHarnessSettingsPatch: z.ZodObject<{
 }, "strict", z.ZodTypeAny, {
     enabled?: boolean | undefined;
     web?: "off" | "auto" | "cached" | "live" | undefined;
-    effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+    effort?: string | null | undefined;
     authPreference?: "auto" | "subscription" | "api_key" | undefined;
     maxTurns?: number | null | undefined;
     nativeCredentialsEnabled?: boolean | undefined;
@@ -4863,7 +5422,7 @@ export declare const ControlHarnessSettingsPatch: z.ZodObject<{
 }, {
     enabled?: boolean | undefined;
     web?: "off" | "auto" | "cached" | "live" | undefined;
-    effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+    effort?: string | null | undefined;
     authPreference?: "auto" | "subscription" | "api_key" | undefined;
     maxTurns?: number | null | undefined;
     nativeCredentialsEnabled?: boolean | undefined;
@@ -4881,15 +5440,15 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     qualityTiers: z.ZodOptional<z.ZodDefault<z.ZodRecord<z.ZodEnum<["plan", "spec", "implement", "create_from_scratch", "repair", "review", "verify", "synthesize", "explain", "audit"]>, z.ZodArray<z.ZodArray<z.ZodObject<{
         harness: z.ZodString;
         model: z.ZodString;
-        effort: z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>;
+        effort: z.ZodString;
     }, "strict", z.ZodTypeAny, {
         harness: string;
         model: string;
-        effort: "low" | "medium" | "high" | "xhigh" | "max";
+        effort: string;
     }, {
         harness: string;
         model: string;
-        effort: "low" | "medium" | "high" | "xhigh" | "max";
+        effort: string;
     }>, "many">, "many">>>>;
     interactionTimeoutMs: z.ZodOptional<z.ZodNumber>;
     primaryHarness: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -4917,7 +5476,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
         /** Toggle the native/CLI login in this harness's credential ladder (INV-135). */
         nativeCredentialsEnabled: z.ZodOptional<z.ZodBoolean>;
         defaultModel: z.ZodOptional<z.ZodNullable<z.ZodString>>;
-        effort: z.ZodOptional<z.ZodNullable<z.ZodEnum<["low", "medium", "high", "xhigh", "max"]>>>;
+        effort: z.ZodOptional<z.ZodNullable<z.ZodString>>;
         maxTurns: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
         maxRounds: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
         toolsAllow: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -4931,7 +5490,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     }, "strict", z.ZodTypeAny, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -4944,7 +5503,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     }, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -4959,7 +5518,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     harnesses?: Record<string, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -4980,7 +5539,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     qualityTiers?: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
         harness: string;
         model: string;
-        effort: "low" | "medium" | "high" | "xhigh" | "max";
+        effort: string;
     }[][]>> | undefined;
     paidBudgetPerRun?: {
         kind: "unlimited";
@@ -4992,7 +5551,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     harnesses?: Record<string, {
         enabled?: boolean | undefined;
         web?: "off" | "auto" | "cached" | "live" | undefined;
-        effort?: "low" | "medium" | "high" | "xhigh" | "max" | null | undefined;
+        effort?: string | null | undefined;
         authPreference?: "auto" | "subscription" | "api_key" | undefined;
         maxTurns?: number | null | undefined;
         nativeCredentialsEnabled?: boolean | undefined;
@@ -5013,7 +5572,7 @@ export declare const ControlSettingsUpdateRequest: z.ZodObject<{
     qualityTiers?: Partial<Record<"plan" | "spec" | "implement" | "create_from_scratch" | "repair" | "review" | "verify" | "synthesize" | "explain" | "audit", {
         harness: string;
         model: string;
-        effort: "low" | "medium" | "high" | "xhigh" | "max";
+        effort: string;
     }[][]>> | undefined;
     paidBudgetPerRun?: {
         kind: "unlimited";