@claudexor/schema 3.0.3 → 3.1.0

package/dist/control-run-detail.d.ts

@@ -51,6 +51,16 @@ export declare const ControlCandidate: z.ZodObject<{
         additions?: number | undefined;
         deletions?: number | undefined;
     }>>>;
+    /**
+     * QA-028: this candidate's row of the decision's ranking scorecard —
+     * every compared ranking axis (`tool_warnings`, `diff_size`, `cost`, …)
+     * keyed to its formatted value, projected from
+     * `decision.ranking_scorecard` by attempt id. Null when the run had no
+     * arbitration (single candidate / no decision). Together with the
+     * detail-level `decision.decisive_axis`, a machine surface can explain WHY
+     * a winner beat a runner-up without reimplementing the ranking order.
+     */
+    rankingAxes: z.ZodDefault<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodString>>>;
 }, "strip", z.ZodTypeAny, {
     harnessId: string;
     attemptId: string;
@@ -70,6 +80,7 @@ export declare const ControlCandidate: z.ZodObject<{
         additions: number;
         deletions: number;
     } | null;
+    rankingAxes: Record<string, string> | null;
 }, {
     harnessId: string;
     attemptId: string;
@@ -89,6 +100,7 @@ export declare const ControlCandidate: z.ZodObject<{
         additions?: number | undefined;
         deletions?: number | undefined;
     } | null | undefined;
+    rankingAxes?: Record<string, string> | null | undefined;
 }>;
 export type ControlCandidate = z.infer<typeof ControlCandidate>;
 export declare const ControlRunDetail: z.ZodObject<{
@@ -101,7 +113,8 @@ export declare const ControlRunDetail: 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;
@@ -111,11 +124,12 @@ export declare const ControlRunDetail: 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[];
@@ -123,11 +137,12 @@ export declare const ControlRunDetail: 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;
@@ -140,13 +155,13 @@ export declare const ControlRunDetail: 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"]>>;
@@ -261,7 +276,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             rawDetailRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
             available: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
-            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
+            status: "failed" | "none" | "unverified" | "attempted" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
@@ -273,7 +288,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             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;
@@ -369,19 +384,70 @@ export declare const ControlRunDetail: z.ZodObject<{
             noChanges: z.ZodDefault<z.ZodBoolean>;
             checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
             review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
-            reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted"]>>>;
+            reason: z.ZodDefault<z.ZodNullable<z.ZodEnum<["harness_failed", "no_changes", "review_blocked", "checks_failed", "budget_exhausted", "budget_overshoot", "cost_unverifiable", "not_converged", "stuck_no_progress", "wall_clock_exceeded", "user_cancelled", "crash_interrupted", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+            work_state: z.ZodOptional<z.ZodObject<{
+                state: z.ZodEnum<["completed", "needs_input", "incomplete", "unverified"]>;
+                source: z.ZodEnum<["constrained", "validated", "absent"]>;
+                required_inputs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<["file", "context", "credential", "permission", "decision", "external_dependency"]>;
+                    locator: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+                    description: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }, {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }>, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            }, {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            }>>;
         }, "strict", z.ZodTypeAny, {
             review: "not_run" | "approved" | "blocked";
-            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null;
+            reason: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null;
             checks: "passed" | "failed" | "not_configured";
             lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
             noChanges: boolean;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator: string | null;
+                }[] | undefined;
+            } | undefined;
         }, {
             lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
             review?: "not_run" | "approved" | "blocked" | undefined;
-            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | null | undefined;
+            reason?: "harness_failed" | "no_changes" | "review_blocked" | "checks_failed" | "budget_exhausted" | "budget_overshoot" | "cost_unverifiable" | "not_converged" | "stuck_no_progress" | "wall_clock_exceeded" | "user_cancelled" | "crash_interrupted" | "input_required" | "work_incomplete" | "context_capacity_exhausted" | "work_report_contract" | null | undefined;
             checks?: "passed" | "failed" | "not_configured" | undefined;
             noChanges?: boolean | undefined;
+            work_state?: {
+                source: "constrained" | "validated" | "absent";
+                state: "completed" | "needs_input" | "incomplete" | "unverified";
+                required_inputs?: {
+                    kind: "file" | "context" | "decision" | "credential" | "permission" | "external_dependency";
+                    description: string;
+                    locator?: string | null | undefined;
+                }[] | undefined;
+            } | undefined;
         }>>>;
         waitingOnUser: z.ZodDefault<z.ZodBoolean>;
         route: z.ZodDefault<z.ZodNullable<z.ZodObject<{
@@ -391,14 +457,61 @@ export declare const ControlRunDetail: z.ZodObject<{
             verified: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
             harnessId: string | null;
+            verified: boolean;
             requestedModel: string | null;
             observedModel: string | null;
-            verified: boolean;
         }, {
             harnessId?: string | null | undefined;
+            verified?: boolean | undefined;
             requestedModel?: string | null | undefined;
             observedModel?: string | null | undefined;
-            verified?: boolean | undefined;
+        }>>>;
+        routingRationale: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            goal: z.ZodEnum<["auto", "quality", "economy"]>;
+            paid_fallback: z.ZodEnum<["never", "when_unavailable", "allowed_within_cap"]>;
+            order: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            dropped: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            reason: z.ZodEnum<["subscription_entitlement_first", "lowest_incremental_cash", "quality_tier", "expiring_quota_slack", "all_incremental_cash_unknown", "declared_order"]>;
+            entries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                harness_id: z.ZodString;
+                billing_knowledge: z.ZodEnum<["proven_zero", "subscription_entitlement", "metered", "unknown"]>;
+                incremental_cost_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+                eligible: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }, {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }>, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            entries: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                incremental_cost_usd: number | null;
+                eligible: boolean;
+            }[];
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            order: string[];
+            dropped: string[];
+        }, {
+            reason: "subscription_entitlement_first" | "lowest_incremental_cash" | "quality_tier" | "expiring_quota_slack" | "all_incremental_cash_unknown" | "declared_order";
+            goal: "auto" | "quality" | "economy";
+            paid_fallback: "never" | "when_unavailable" | "allowed_within_cap";
+            entries?: {
+                harness_id: string;
+                billing_knowledge: "unknown" | "proven_zero" | "subscription_entitlement" | "metered";
+                eligible: boolean;
+                incremental_cost_usd?: number | null | undefined;
+            }[] | undefined;
+            order?: string[] | undefined;
+            dropped?: string[] | undefined;
         }>>>;
         tests: z.ZodOptional<z.ZodArray<z.ZodObject<{
             program: z.ZodString;
@@ -421,27 +534,21 @@ export declare const ControlRunDetail: 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[];
@@ -449,7 +556,7 @@ export declare const ControlRunDetail: 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";
@@ -487,12 +594,41 @@ export declare const ControlRunDetail: 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;
@@ -501,7 +637,6 @@ export declare const ControlRunDetail: 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[];
@@ -510,6 +645,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             cwd?: string | undefined;
         }[] | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -556,8 +692,8 @@ export declare const ControlRunDetail: 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;
@@ -565,14 +701,6 @@ export declare const ControlRunDetail: 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;
@@ -582,11 +710,12 @@ export declare const ControlRunDetail: 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;
@@ -608,11 +737,12 @@ export declare const ControlRunDetail: z.ZodObject<{
         }[] | 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;
@@ -642,7 +772,7 @@ export declare const ControlRunDetail: 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;
@@ -681,12 +811,41 @@ export declare const ControlRunDetail: 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;
     }>;
@@ -750,6 +909,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolName: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         target: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         errorSummary: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        ignoredSettings: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         rawRef: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     }, "strip", z.ZodTypeAny, {
         type: string;
@@ -761,6 +921,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         errorSummary: string | null;
         severity: "error" | "info" | "warning";
         toolName: string | null;
+        ignoredSettings: string[];
         rawRef: string | null;
         ts?: string | undefined;
     }, {
@@ -774,6 +935,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         errorSummary?: string | null | undefined;
         severity?: "error" | "info" | "warning" | undefined;
         toolName?: string | null | undefined;
+        ignoredSettings?: string[] | undefined;
         rawRef?: string | null | undefined;
     }>, "many">>;
     budget: z.ZodDefault<z.ZodObject<{
@@ -794,9 +956,12 @@ export declare const ControlRunDetail: z.ZodObject<{
             maxUsd: number;
         }>]>>;
         spendUsd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+        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;
@@ -807,7 +972,10 @@ export declare const ControlRunDetail: 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;
@@ -818,7 +986,10 @@ export declare const ControlRunDetail: 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;
     }>>;
     finalSummary: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     decision: z.ZodDefault<z.ZodNullable<z.ZodObject<{
@@ -828,34 +999,119 @@ export declare const ControlRunDetail: 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;
         }>;
         why_winner: z.ZodDefault<z.ZodString>;
         why_not_others: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        ranking_policy_version: z.ZodDefault<z.ZodNumber>;
+        score_axes: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        ranking_scorecard: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            attempt_id: z.ZodString;
+            label: z.ZodString;
+            axes: z.ZodRecord<z.ZodString, z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }, {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }>, "many">>;
+        decisive_axis: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            key: z.ZodString;
+            winner_value: z.ZodString;
+            runner_up_value: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        }, {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        }>>>;
         accepted_risks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         final_checks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         evidence_facts: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         budget_summary: z.ZodDefault<z.ZodObject<{
             spend_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
             estimated: z.ZodDefault<z.ZodBoolean>;
+            cash_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+            valuation_usd: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
         }, "strip", z.ZodTypeAny, {
             estimated: boolean;
             spend_usd: number | null;
+            cash_usd: number | null;
+            valuation_usd: number | null;
         }, {
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
+            cash_usd?: number | null | undefined;
+            valuation_usd?: number | null | undefined;
         }>>;
         apply_recommendation: z.ZodDefault<z.ZodEnum<["apply", "inspect", "continue", "human_review"]>>;
         verification_basis: z.ZodDefault<z.ZodEnum<["none", "cross_family_review", "both"]>>;
@@ -903,19 +1159,42 @@ export declare const ControlRunDetail: z.ZodObject<{
         winner: string | null;
         facts: {
             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;
         };
         why_winner: string;
         why_not_others: Record<string, string>;
+        ranking_policy_version: number;
+        score_axes: string[];
+        ranking_scorecard: {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }[];
+        decisive_axis: {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        } | null;
         accepted_risks: string[];
         final_checks: string[];
         evidence_facts: string[];
         budget_summary: {
             estimated: boolean;
             spend_usd: number | null;
+            cash_usd: number | null;
+            valuation_usd: number | null;
         };
         apply_recommendation: "apply" | "inspect" | "continue" | "human_review";
         verification_basis: "none" | "cross_family_review" | "both";
@@ -936,18 +1215,41 @@ export declare const ControlRunDetail: z.ZodObject<{
         facts: {
             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;
         };
         why_winner?: string | undefined;
         why_not_others?: Record<string, string> | undefined;
+        ranking_policy_version?: number | undefined;
+        score_axes?: string[] | undefined;
+        ranking_scorecard?: {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }[] | undefined;
+        decisive_axis?: {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        } | null | undefined;
         accepted_risks?: string[] | undefined;
         final_checks?: string[] | undefined;
         evidence_facts?: string[] | undefined;
         budget_summary?: {
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
+            cash_usd?: number | null | undefined;
+            valuation_usd?: number | null | undefined;
         } | undefined;
         apply_recommendation?: "apply" | "inspect" | "continue" | "human_review" | undefined;
         verification_basis?: "none" | "cross_family_review" | "both" | undefined;
@@ -1007,10 +1309,10 @@ export declare const ControlRunDetail: z.ZodObject<{
         state: z.ZodEnum<["ready", "needs_answers", "unverified"]>;
         questionCount: z.ZodDefault<z.ZodNumber>;
     }, "strict", z.ZodTypeAny, {
-        state: "ready" | "needs_answers" | "unverified";
+        state: "ready" | "unverified" | "needs_answers";
         questionCount: number;
     }, {
-        state: "ready" | "needs_answers" | "unverified";
+        state: "ready" | "unverified" | "needs_answers";
         questionCount?: number | undefined;
     }>>>;
     /** The plan run's OPEN questions, projected from the same
@@ -1185,13 +1487,13 @@ export declare const ControlRunDetail: z.ZodObject<{
             observed_model: string | null;
             requested_model: string | null;
             requested_effort: string | null;
-            route_proof_status: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback";
+            route_proof_status: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback";
         }, {
             harness_id: string;
             observed_model?: string | null | undefined;
             requested_model?: string | null | undefined;
             requested_effort?: string | null | undefined;
-            route_proof_status?: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback" | undefined;
+            route_proof_status?: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback" | undefined;
         }>;
         status: z.ZodDefault<z.ZodEnum<["proposed", "accepted", "rebutted", "fixed", "accepted_risk", "duplicate", "stale", "out_of_scope", "insufficient_evidence"]>>;
         revalidation_note: z.ZodOptional<z.ZodString>;
@@ -1200,8 +1502,6 @@ export declare const ControlRunDetail: z.ZodObject<{
         id: string;
         category: "correctness" | "regression" | "security" | "performance" | "maintainability" | "test_gap" | "spec_gap" | "deploy" | "architecture" | "ux";
         severity: "BLOCK" | "FIX_FIRST" | "WARN" | "NIT" | "OUT_OF_SCOPE" | "INSUFFICIENT_EVIDENCE" | "NEEDS_HUMAN";
-        claim: string;
-        linked_acceptance_criteria: string[];
         evidence: {
             files: {
                 path: string;
@@ -1215,13 +1515,15 @@ export declare const ControlRunDetail: z.ZodObject<{
                 path: string;
             }[];
         };
+        claim: string;
+        linked_acceptance_criteria: string[];
         proposed_fix: string | null;
         reviewer: {
             harness_id: string;
             observed_model: string | null;
             requested_model: string | null;
             requested_effort: string | null;
-            route_proof_status: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback";
+            route_proof_status: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback";
         };
         revalidation_note?: string | undefined;
     }, {
@@ -1234,10 +1536,9 @@ export declare const ControlRunDetail: z.ZodObject<{
             observed_model?: string | null | undefined;
             requested_model?: string | null | undefined;
             requested_effort?: string | null | undefined;
-            route_proof_status?: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback" | undefined;
+            route_proof_status?: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback" | undefined;
         };
         status?: "stale" | "accepted" | "proposed" | "rebutted" | "fixed" | "accepted_risk" | "duplicate" | "out_of_scope" | "insufficient_evidence" | undefined;
-        linked_acceptance_criteria?: string[] | undefined;
         evidence?: {
             files?: {
                 path: string;
@@ -1251,6 +1552,7 @@ export declare const ControlRunDetail: z.ZodObject<{
                 path: string;
             }[] | undefined;
         } | undefined;
+        linked_acceptance_criteria?: string[] | undefined;
         proposed_fix?: string | null | undefined;
         revalidation_note?: string | undefined;
     }>, "many">>;
@@ -1365,6 +1667,16 @@ export declare const ControlRunDetail: z.ZodObject<{
             additions?: number | undefined;
             deletions?: number | undefined;
         }>>>;
+        /**
+         * QA-028: this candidate's row of the decision's ranking scorecard —
+         * every compared ranking axis (`tool_warnings`, `diff_size`, `cost`, …)
+         * keyed to its formatted value, projected from
+         * `decision.ranking_scorecard` by attempt id. Null when the run had no
+         * arbitration (single candidate / no decision). Together with the
+         * detail-level `decision.decisive_axis`, a machine surface can explain WHY
+         * a winner beat a runner-up without reimplementing the ranking order.
+         */
+        rankingAxes: z.ZodDefault<z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodString>>>;
     }, "strip", z.ZodTypeAny, {
         harnessId: string;
         attemptId: string;
@@ -1384,6 +1696,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             additions: number;
             deletions: number;
         } | null;
+        rankingAxes: Record<string, string> | null;
     }, {
         harnessId: string;
         attemptId: string;
@@ -1403,6 +1716,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             additions?: number | undefined;
             deletions?: number | undefined;
         } | null | undefined;
+        rankingAxes?: Record<string, string> | null | undefined;
     }>, "many">>;
     /** Live plan checklist: the LAST plan.progress event's items, or null
      * when the run never emitted one. */
@@ -1420,22 +1734,26 @@ export declare const ControlRunDetail: z.ZodObject<{
             id: string;
             title: string;
         }>, "many">>;
+        evidence: z.ZodDefault<z.ZodEnum<["complete", "incomplete", "unavailable"]>>;
     }, "strip", z.ZodTypeAny, {
         items: {
             status: "pending" | "completed" | "in_progress";
             id: string;
             title: string;
         }[];
+        evidence: "unavailable" | "incomplete" | "complete";
     }, {
         items?: {
             status: "pending" | "completed" | "in_progress";
             id: string;
             title: string;
         }[] | undefined;
+        evidence?: "unavailable" | "incomplete" | "complete" | undefined;
     }>>>;
     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;
@@ -1445,11 +1763,12 @@ export declare const ControlRunDetail: 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[];
@@ -1457,40 +1776,51 @@ export declare const ControlRunDetail: 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;
         nextActions?: string[] | undefined;
     }>>>;
+    /** Minimal typed required-operator-actions for a succeeded-but-BLOCKED run
+     * (GH #29): stable-id actions derived by the single status-projection owner
+     * (requiredActionsFor) from the terminal outcome facts + operator-decision
+     * state — review blocked, checks failed, needs-decision, or a work_state
+     * needs_input/incomplete veto. Empty for clean, already-decided, and failed
+     * runs (a failed run's remediation rides RunFailure.nextActions). */
+    requiredActions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodEnum<["provide_required_input", "complete_incomplete_work", "resolve_review_block", "fix_failed_checks", "record_operator_decision"]>;
+        detail: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        detail: string;
+        id: "provide_required_input" | "complete_incomplete_work" | "resolve_review_block" | "fix_failed_checks" | "record_operator_decision";
+    }, {
+        detail: string;
+        id: "provide_required_input" | "complete_incomplete_work" | "resolve_review_block" | "fix_failed_checks" | "record_operator_decision";
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     summary: {
         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[];
@@ -1498,7 +1828,7 @@ export declare const ControlRunDetail: 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";
@@ -1536,12 +1866,41 @@ export declare const ControlRunDetail: 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;
@@ -1550,7 +1909,6 @@ export declare const ControlRunDetail: 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[];
@@ -1559,6 +1917,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             cwd?: string | undefined;
         }[] | undefined;
         taskId?: string | undefined;
+        runDir?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
         n?: number | undefined;
@@ -1608,19 +1967,42 @@ export declare const ControlRunDetail: z.ZodObject<{
         winner: string | null;
         facts: {
             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;
         };
         why_winner: string;
         why_not_others: Record<string, string>;
+        ranking_policy_version: number;
+        score_axes: string[];
+        ranking_scorecard: {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }[];
+        decisive_axis: {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        } | null;
         accepted_risks: string[];
         final_checks: string[];
         evidence_facts: string[];
         budget_summary: {
             estimated: boolean;
             spend_usd: number | null;
+            cash_usd: number | null;
+            valuation_usd: number | null;
         };
         apply_recommendation: "apply" | "inspect" | "continue" | "human_review";
         verification_basis: "none" | "cross_family_review" | "both";
@@ -1637,36 +2019,6 @@ export declare const ControlRunDetail: z.ZodObject<{
             }[];
         } | null;
     } | null;
-    applyEligibility: {
-        state: string | null;
-        reason: string | null;
-        eligible: boolean;
-        requiredAction: string | null;
-    } | null;
-    outcomeBanner: string | null;
-    planReadiness: {
-        state: "ready" | "needs_answers" | "unverified";
-        questionCount: number;
-    } | null;
-    pendingInteractions: {
-        harnessId: string | null;
-        attemptId: string | null;
-        questions: {
-            options: {
-                label: string;
-                description: string | null;
-            }[];
-            id: string;
-            question: string;
-            header: string | null;
-            multi_select: boolean;
-        }[];
-        runId: string;
-        interactionId: string;
-        sourceTool: string | null;
-        requestedAt: string;
-        timeoutAt: string | null;
-    }[];
     budget: {
         source: "unknown" | "decision" | "events" | "settings";
         estimated: boolean;
@@ -1677,7 +2029,10 @@ export declare const ControlRunDetail: z.ZodObject<{
             maxUsd: number;
         };
         spendUsd: number | null;
+        valuationUsd: number | null;
+        valuationKnowledge: "exact" | "unknown" | "estimated";
         remainingUsd: number | null;
+        evidence: "unavailable" | "incomplete" | "complete";
     };
     council: {
         requested: number;
@@ -1692,17 +2047,48 @@ export declare const ControlRunDetail: z.ZodObject<{
         }[];
     } | null;
     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[];
         eventRefs: string[];
         nextActions: string[];
     } | null;
+    applyEligibility: {
+        state: string | null;
+        reason: string | null;
+        eligible: boolean;
+        requiredAction: string | null;
+    } | null;
+    outcomeBanner: string | null;
+    planReadiness: {
+        state: "ready" | "unverified" | "needs_answers";
+        questionCount: number;
+    } | null;
+    pendingInteractions: {
+        harnessId: string | null;
+        attemptId: string | null;
+        questions: {
+            options: {
+                label: string;
+                description: string | null;
+            }[];
+            id: string;
+            question: string;
+            header: string | null;
+            multi_select: boolean;
+        }[];
+        runId: string;
+        interactionId: string;
+        sourceTool: string | null;
+        requestedAt: string;
+        timeoutAt: string | null;
+    }[];
     artifacts: {
         path: string;
         kind: "file" | "directory";
@@ -1727,6 +2113,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         errorSummary: string | null;
         severity: "error" | "info" | "warning";
         toolName: string | null;
+        ignoredSettings: string[];
         rawRef: string | null;
         ts?: string | undefined;
     }[];
@@ -1759,8 +2146,6 @@ export declare const ControlRunDetail: z.ZodObject<{
         id: string;
         category: "correctness" | "regression" | "security" | "performance" | "maintainability" | "test_gap" | "spec_gap" | "deploy" | "architecture" | "ux";
         severity: "BLOCK" | "FIX_FIRST" | "WARN" | "NIT" | "OUT_OF_SCOPE" | "INSUFFICIENT_EVIDENCE" | "NEEDS_HUMAN";
-        claim: string;
-        linked_acceptance_criteria: string[];
         evidence: {
             files: {
                 path: string;
@@ -1774,13 +2159,15 @@ export declare const ControlRunDetail: z.ZodObject<{
                 path: string;
             }[];
         };
+        claim: string;
+        linked_acceptance_criteria: string[];
         proposed_fix: string | null;
         reviewer: {
             harness_id: string;
             observed_model: string | null;
             requested_model: string | null;
             requested_effort: string | null;
-            route_proof_status: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback";
+            route_proof_status: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback";
         };
         revalidation_note?: string | undefined;
     }[];
@@ -1803,6 +2190,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             additions: number;
             deletions: number;
         } | null;
+        rankingAxes: Record<string, string> | null;
     }[];
     planProgress: {
         items: {
@@ -1810,12 +2198,17 @@ export declare const ControlRunDetail: z.ZodObject<{
             id: string;
             title: string;
         }[];
+        evidence: "unavailable" | "incomplete" | "complete";
     } | null;
+    requiredActions: {
+        detail: string;
+        id: "provide_required_input" | "complete_incomplete_work" | "resolve_review_block" | "fix_failed_checks" | "record_operator_decision";
+    }[];
 }, {
     summary: {
         state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
-        runId: string;
         jobId: string;
+        runId: string;
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
@@ -1823,14 +2216,6 @@ export declare const ControlRunDetail: 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;
@@ -1840,11 +2225,12 @@ export declare const ControlRunDetail: 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;
@@ -1866,11 +2252,12 @@ export declare const ControlRunDetail: z.ZodObject<{
         }[] | 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;
@@ -1900,7 +2287,7 @@ export declare const ControlRunDetail: 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;
@@ -1939,12 +2326,41 @@ export declare const ControlRunDetail: 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;
     };
@@ -1953,18 +2369,41 @@ export declare const ControlRunDetail: z.ZodObject<{
         facts: {
             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;
         };
         why_winner?: string | undefined;
         why_not_others?: Record<string, string> | undefined;
+        ranking_policy_version?: number | undefined;
+        score_axes?: string[] | undefined;
+        ranking_scorecard?: {
+            label: string;
+            attempt_id: string;
+            axes: Record<string, string>;
+        }[] | undefined;
+        decisive_axis?: {
+            key: string;
+            winner_value: string;
+            runner_up_value: string;
+        } | null | undefined;
         accepted_risks?: string[] | undefined;
         final_checks?: string[] | undefined;
         evidence_facts?: string[] | undefined;
         budget_summary?: {
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
+            cash_usd?: number | null | undefined;
+            valuation_usd?: number | null | undefined;
         } | undefined;
         apply_recommendation?: "apply" | "inspect" | "continue" | "human_review" | undefined;
         verification_basis?: "none" | "cross_family_review" | "both" | undefined;
@@ -1981,36 +2420,6 @@ export declare const ControlRunDetail: z.ZodObject<{
             }[] | undefined;
         } | null | undefined;
     } | null | undefined;
-    applyEligibility?: {
-        state: string | null;
-        reason: string | null;
-        eligible: boolean;
-        requiredAction: string | null;
-    } | null | undefined;
-    outcomeBanner?: string | null | undefined;
-    planReadiness?: {
-        state: "ready" | "needs_answers" | "unverified";
-        questionCount?: number | undefined;
-    } | null | undefined;
-    pendingInteractions?: {
-        runId: string;
-        interactionId: string;
-        requestedAt: string;
-        harnessId?: string | null | undefined;
-        attemptId?: string | null | undefined;
-        questions?: {
-            id: string;
-            question: string;
-            options?: {
-                label: string;
-                description?: string | null | undefined;
-            }[] | undefined;
-            header?: string | null | undefined;
-            multi_select?: boolean | undefined;
-        }[] | undefined;
-        sourceTool?: string | null | undefined;
-        timeoutAt?: string | null | undefined;
-    }[] | undefined;
     budget?: {
         source?: "unknown" | "decision" | "events" | "settings" | undefined;
         estimated?: boolean | undefined;
@@ -2021,7 +2430,10 @@ export declare const ControlRunDetail: 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;
     } | undefined;
     council?: {
         requested: number;
@@ -2037,16 +2449,47 @@ export declare const ControlRunDetail: z.ZodObject<{
     } | null | 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;
         nextActions?: string[] | undefined;
     } | null | undefined;
+    applyEligibility?: {
+        state: string | null;
+        reason: string | null;
+        eligible: boolean;
+        requiredAction: string | null;
+    } | null | undefined;
+    outcomeBanner?: string | null | undefined;
+    planReadiness?: {
+        state: "ready" | "unverified" | "needs_answers";
+        questionCount?: number | undefined;
+    } | null | undefined;
+    pendingInteractions?: {
+        runId: string;
+        interactionId: string;
+        requestedAt: string;
+        harnessId?: string | null | undefined;
+        attemptId?: string | null | undefined;
+        questions?: {
+            id: string;
+            question: string;
+            options?: {
+                label: string;
+                description?: string | null | undefined;
+            }[] | undefined;
+            header?: string | null | undefined;
+            multi_select?: boolean | undefined;
+        }[] | undefined;
+        sourceTool?: string | null | undefined;
+        timeoutAt?: string | null | undefined;
+    }[] | undefined;
     artifacts?: {
         path: string;
         kind: "file" | "directory";
@@ -2072,6 +2515,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         errorSummary?: string | null | undefined;
         severity?: "error" | "info" | "warning" | undefined;
         toolName?: string | null | undefined;
+        ignoredSettings?: string[] | undefined;
         rawRef?: string | null | undefined;
     }[] | undefined;
     finalSummary?: string | null | undefined;
@@ -2108,10 +2552,9 @@ export declare const ControlRunDetail: z.ZodObject<{
             observed_model?: string | null | undefined;
             requested_model?: string | null | undefined;
             requested_effort?: string | null | undefined;
-            route_proof_status?: "unverified" | "verified" | "accepted_model_arg" | "same_model_fallback" | undefined;
+            route_proof_status?: "verified" | "unverified" | "accepted_model_arg" | "same_model_fallback" | undefined;
         };
         status?: "stale" | "accepted" | "proposed" | "rebutted" | "fixed" | "accepted_risk" | "duplicate" | "out_of_scope" | "insufficient_evidence" | undefined;
-        linked_acceptance_criteria?: string[] | undefined;
         evidence?: {
             files?: {
                 path: string;
@@ -2125,6 +2568,7 @@ export declare const ControlRunDetail: z.ZodObject<{
                 path: string;
             }[] | undefined;
         } | undefined;
+        linked_acceptance_criteria?: string[] | undefined;
         proposed_fix?: string | null | undefined;
         revalidation_note?: string | undefined;
     }[] | undefined;
@@ -2147,6 +2591,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             additions?: number | undefined;
             deletions?: number | undefined;
         } | null | undefined;
+        rankingAxes?: Record<string, string> | null | undefined;
     }[] | undefined;
     planProgress?: {
         items?: {
@@ -2154,7 +2599,12 @@ export declare const ControlRunDetail: z.ZodObject<{
             id: string;
             title: string;
         }[] | undefined;
+        evidence?: "unavailable" | "incomplete" | "complete" | undefined;
     } | null | undefined;
+    requiredActions?: {
+        detail: string;
+        id: "provide_required_input" | "complete_incomplete_work" | "resolve_review_block" | "fix_failed_checks" | "record_operator_decision";
+    }[] | undefined;
 }>;
 export type ControlRunDetail = z.infer<typeof ControlRunDetail>;
 //# sourceMappingURL=control-run-detail.d.ts.map