@claudexor/schema 2.1.2 → 3.0.0

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

@@ -1,4 +1,24 @@
 import { z } from "zod";
+export declare const ControlPrimaryOutput: z.ZodObject<{
+    kind: z.ZodEnum<["answer", "report", "plan", "summary", "patch", "diagnostic", "structured_output"]>;
+    path: z.ZodString;
+    text: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    bytes: z.ZodOptional<z.ZodNumber>;
+    truncated: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
+    text: string | null;
+    truncated: boolean;
+    bytes?: number | undefined;
+}, {
+    path: string;
+    kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
+    bytes?: number | undefined;
+    text?: string | null | undefined;
+    truncated?: boolean | undefined;
+}>;
+export type ControlPrimaryOutput = z.infer<typeof ControlPrimaryOutput>;
 /** Per-candidate evidence card for a race run (projected from
  * attempts/<id>/attempt.yaml + reviews/<id>.yaml + the decision winner).
  * The macOS Candidates tab renders these; SSE freshness rides the client's
@@ -10,6 +30,7 @@ export declare const ControlCandidate: z.ZodObject<{
     costUsd: z.ZodDefault<z.ZodNumber>;
     costEstimated: z.ZodDefault<z.ZodBoolean>;
     errored: z.ZodDefault<z.ZodBoolean>;
+    errorReason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     gatesPassed: z.ZodDefault<z.ZodNumber>;
     gatesTotal: z.ZodDefault<z.ZodNumber>;
     /** Blocking review findings count (accepted blockers). */
@@ -39,6 +60,7 @@ export declare const ControlCandidate: z.ZodObject<{
     blockers: number;
     costEstimated: boolean;
     errored: boolean;
+    errorReason: string | null;
     gatesPassed: number;
     gatesTotal: number;
     reviewVerified: boolean;
@@ -57,6 +79,7 @@ export declare const ControlCandidate: z.ZodObject<{
     blockers?: number | undefined;
     costEstimated?: boolean | undefined;
     errored?: boolean | undefined;
+    errorReason?: string | null | undefined;
     gatesPassed?: number | undefined;
     gatesTotal?: number | undefined;
     reviewVerified?: boolean | undefined;
@@ -73,7 +96,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         jobId: z.ZodString;
         runId: z.ZodString;
         taskId: z.ZodOptional<z.ZodString>;
-        state: z.ZodEnum<["queued", "running", "blocked", "succeeded", "no_op", "ungated", "review_not_run", "failed", "cancelled", "interrupted_unknown", "cost_unverifiable", "exhausted_overshoot", "exhausted", "not_converged", "stuck_no_progress"]>;
+        state: z.ZodEnum<["queued", "running", "succeeded", "failed", "cancelled", "interrupted"]>;
         runDir: z.ZodOptional<z.ZodString>;
         error: z.ZodOptional<z.ZodString>;
         failure: z.ZodDefault<z.ZodNullable<z.ZodObject<{
@@ -126,8 +149,8 @@ export declare const ControlRunDetail: z.ZodObject<{
             context?: "off" | "auto" | undefined;
             projectName?: string | null | undefined;
         }>>;
-        mode: z.ZodOptional<z.ZodEnum<["ask", "plan", "audit", "agent", "orchestrate"]>>;
-        strategy: z.ZodOptional<z.ZodNullable<z.ZodEnum<["race", "attempts", "until_clean", "swarm", "create"]>>>;
+        mode: z.ZodOptional<z.ZodEnum<["ask", "plan", "agent"]>>;
+        strategy: z.ZodOptional<z.ZodNullable<z.ZodEnum<["race", "attempts", "until_clean", "deep_scan", "create"]>>>;
         prompt: z.ZodOptional<z.ZodString>;
         harnesses: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         primaryHarness: z.ZodOptional<z.ZodString>;
@@ -238,7 +261,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" | "satisfied" | "unverified";
+            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
@@ -250,7 +273,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             satisfied: boolean;
             errorSummary: string | null;
         }, {
-            status?: "failed" | "none" | "attempted" | "satisfied" | "unverified" | undefined;
+            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -314,6 +337,9 @@ export declare const ControlRunDetail: z.ZodObject<{
             revertable: z.ZodDefault<z.ZodBoolean>;
         }, "strip", z.ZodTypeAny, {
             kind: "plan" | "none" | "patch" | "answer" | "report";
+            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
+            revertAnchorId: string | null;
+            postTurnSha: string | null;
             diffStat: {
                 files: number;
                 additions: number;
@@ -321,13 +347,13 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null;
             blockers: number;
             adopted: boolean | null;
-            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
             preTurnSha: string | null;
-            postTurnSha: string | null;
-            revertAnchorId: string | null;
             revertable: boolean;
         }, {
             kind?: "plan" | "none" | "patch" | "answer" | "report" | undefined;
+            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
+            revertAnchorId?: string | null | undefined;
+            postTurnSha?: string | null | undefined;
             diffStat?: {
                 files: number;
                 additions: number;
@@ -335,12 +361,28 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null | undefined;
             blockers?: number | undefined;
             adopted?: boolean | null | undefined;
-            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
             preTurnSha?: string | null | undefined;
-            postTurnSha?: string | null | undefined;
-            revertAnchorId?: string | null | undefined;
             revertable?: boolean | undefined;
         }>>;
+        outcomeFacts: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            lifecycle: z.ZodEnum<["succeeded", "failed", "cancelled", "interrupted"]>;
+            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"]>>>;
+        }, "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;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+        }, {
+            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;
+        }>>>;
         waitingOnUser: z.ZodDefault<z.ZodBoolean>;
         route: z.ZodDefault<z.ZodNullable<z.ZodObject<{
             requestedModel: z.ZodDefault<z.ZodNullable<z.ZodString>>;
@@ -364,24 +406,29 @@ export declare const ControlRunDetail: z.ZodObject<{
             cwd: z.ZodOptional<z.ZodString>;
             envAllowlist: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         }, "strict", z.ZodTypeAny, {
-            program: string;
             args: string[];
+            program: string;
             envAllowlist: string[];
             cwd?: string | undefined;
         }, {
             program: string;
-            cwd?: string | undefined;
             args?: string[] | undefined;
+            cwd?: string | undefined;
             envAllowlist?: string[] | undefined;
         }>, "many">>;
-        specId: z.ZodOptional<z.ZodString>;
-        specHash: z.ZodOptional<z.ZodString>;
         createdAt: z.ZodOptional<z.ZodString>;
         startedAt: z.ZodOptional<z.ZodString>;
         finishedAt: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        state: "failed" | "cancelled" | "running" | "interrupted_unknown" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | "queued" | "succeeded";
+        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;
@@ -402,7 +449,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             nextActions: string[];
         } | null;
         webEvidence: {
-            status: "failed" | "none" | "attempted" | "satisfied" | "unverified";
+            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
@@ -427,6 +474,9 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolWarningsTotal: number;
         result: {
             kind: "plan" | "none" | "patch" | "answer" | "report";
+            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
+            revertAnchorId: string | null;
+            postTurnSha: string | null;
             diffStat: {
                 files: number;
                 additions: number;
@@ -434,10 +484,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null;
             blockers: number;
             adopted: boolean | null;
-            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
             preTurnSha: string | null;
-            postTurnSha: string | null;
-            revertAnchorId: string | null;
             revertable: boolean;
         };
         waitingOnUser: boolean;
@@ -450,22 +497,22 @@ export declare const ControlRunDetail: z.ZodObject<{
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
-        mode?: "ask" | "plan" | "audit" | "agent" | "orchestrate" | undefined;
+        mode?: "ask" | "plan" | "agent" | undefined;
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
         runDir?: string | undefined;
         model?: string | undefined;
         tests?: {
-            program: string;
             args: string[];
+            program: string;
             envAllowlist: string[];
             cwd?: string | undefined;
         }[] | undefined;
-        n?: number | undefined;
         taskId?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
+        n?: number | undefined;
         paidBudget?: {
             kind: "unlimited";
         } | {
@@ -477,14 +524,12 @@ export declare const ControlRunDetail: z.ZodObject<{
             path: string;
             reason?: string | undefined;
         }[] | undefined;
-        specId?: string | undefined;
-        specHash?: string | undefined;
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
             effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
         }[] | undefined;
-        strategy?: "race" | "attempts" | "swarm" | "create" | "until_clean" | null | undefined;
+        strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
         spendEstimated?: boolean | undefined;
         inputTokens?: number | null | undefined;
@@ -510,22 +555,29 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolPermissionPolicy?: Record<string, unknown> | undefined;
         finishedAt?: string | undefined;
     }, {
-        state: "failed" | "cancelled" | "running" | "interrupted_unknown" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | "queued" | "succeeded";
+        state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
         runId: string;
         jobId: string;
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
-        mode?: "ask" | "plan" | "audit" | "agent" | "orchestrate" | undefined;
+        mode?: "ask" | "plan" | "agent" | undefined;
         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;
-            cwd?: string | undefined;
             args?: string[] | undefined;
+            cwd?: string | undefined;
             envAllowlist?: string[] | undefined;
         }[] | undefined;
         project?: {
@@ -534,10 +586,10 @@ export declare const ControlRunDetail: z.ZodObject<{
             context?: "off" | "auto" | undefined;
             projectName?: string | null | undefined;
         } | undefined;
-        n?: number | undefined;
         taskId?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
+        n?: number | undefined;
         paidBudget?: {
             kind: "unlimited";
         } | {
@@ -549,8 +601,6 @@ export declare const ControlRunDetail: z.ZodObject<{
             path: string;
             reason?: string | undefined;
         }[] | undefined;
-        specId?: string | undefined;
-        specHash?: string | undefined;
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
@@ -568,7 +618,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             eventRefs?: string[] | undefined;
             nextActions?: string[] | undefined;
         } | null | undefined;
-        strategy?: "race" | "attempts" | "swarm" | "create" | "until_clean" | null | undefined;
+        strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
         spendEstimated?: boolean | undefined;
         inputTokens?: number | null | undefined;
@@ -592,7 +642,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         webRequired?: boolean | undefined;
         webMode?: "off" | "auto" | "cached" | "live" | undefined;
         webEvidence?: {
-            status?: "failed" | "none" | "attempted" | "satisfied" | "unverified" | undefined;
+            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -618,6 +668,9 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolWarningsTotal?: number | undefined;
         result?: {
             kind?: "plan" | "none" | "patch" | "answer" | "report" | undefined;
+            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
+            revertAnchorId?: string | null | undefined;
+            postTurnSha?: string | null | undefined;
             diffStat?: {
                 files: number;
                 additions: number;
@@ -625,10 +678,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null | undefined;
             blockers?: number | undefined;
             adopted?: boolean | null | undefined;
-            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
             preTurnSha?: string | null | undefined;
-            postTurnSha?: string | null | undefined;
-            revertAnchorId?: string | null | undefined;
             revertable?: boolean | undefined;
         } | undefined;
         waitingOnUser?: boolean | undefined;
@@ -640,6 +690,14 @@ export declare const ControlRunDetail: z.ZodObject<{
         } | null | undefined;
         finishedAt?: string | undefined;
     }>;
+    /**
+     * Server-owned outcome banner (D18): the ONE honest headline for this run,
+     * derived by the single projection owner (status-projection.outcomeBanner)
+     * from the terminal outcome facts + delivery state — e.g. "Candidate ready
+     * — NOT APPLIED", "Applied", "Needs review". Surfaces render this verbatim
+     * above any model prose; null while the run is not terminal.
+     */
+    outcomeBanner: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     /**
      * Highest event seq included in this snapshot. Clients subscribe to the
      * event stream from this cursor; events with seq <= lastSeq are already
@@ -667,16 +725,19 @@ export declare const ControlRunDetail: z.ZodObject<{
         path: z.ZodString;
         text: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         bytes: z.ZodOptional<z.ZodNumber>;
+        truncated: z.ZodDefault<z.ZodBoolean>;
     }, "strip", z.ZodTypeAny, {
         path: string;
         kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
         text: string | null;
+        truncated: boolean;
         bytes?: number | undefined;
     }, {
         path: string;
         kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
         bytes?: number | undefined;
         text?: string | null | undefined;
+        truncated?: boolean | undefined;
     }>>>;
     timeline: z.ZodDefault<z.ZodArray<z.ZodObject<{
         type: z.ZodString;
@@ -762,8 +823,25 @@ export declare const ControlRunDetail: z.ZodObject<{
     finalSummary: z.ZodDefault<z.ZodNullable<z.ZodString>>;
     decision: z.ZodDefault<z.ZodNullable<z.ZodObject<{
         winner: z.ZodNullable<z.ZodString>;
-        status: z.ZodEnum<["success", "no_op", "ungated", "review_not_run", "blocked", "failed", "interrupted_unknown", "cost_unverifiable", "exhausted_overshoot", "exhausted", "not_converged", "stuck_no_progress", "cancelled"]>;
-        outcome: z.ZodDefault<z.ZodEnum<["ready", "no_op", "ungated", "review_not_run", "blocked"]>>;
+        facts: z.ZodObject<{
+            lifecycle: z.ZodEnum<["succeeded", "failed", "cancelled", "interrupted"]>;
+            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"]>>>;
+        }, "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;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+        }, {
+            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;
+        }>;
         why_winner: z.ZodDefault<z.ZodString>;
         why_not_others: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
         accepted_risks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
@@ -779,7 +857,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
         }>>;
-        apply_recommendation: z.ZodDefault<z.ZodEnum<["apply", "inspect", "continue", "split_task", "human_review"]>>;
+        apply_recommendation: z.ZodDefault<z.ZodEnum<["apply", "inspect", "continue", "human_review"]>>;
         verification_basis: z.ZodDefault<z.ZodEnum<["none", "cross_family_review", "both"]>>;
         final_verify: z.ZodDefault<z.ZodNullable<z.ZodObject<{
             attempted: z.ZodBoolean;
@@ -822,9 +900,14 @@ export declare const ControlRunDetail: z.ZodObject<{
             }[] | undefined;
         }>>>;
     }, "strip", z.ZodTypeAny, {
-        status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress";
         winner: string | null;
-        outcome: "ready" | "no_op" | "ungated" | "review_not_run" | "blocked";
+        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;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+        };
         why_winner: string;
         why_not_others: Record<string, string>;
         accepted_risks: string[];
@@ -834,7 +917,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             estimated: boolean;
             spend_usd: number | null;
         };
-        apply_recommendation: "apply" | "inspect" | "continue" | "split_task" | "human_review";
+        apply_recommendation: "apply" | "inspect" | "continue" | "human_review";
         verification_basis: "none" | "cross_family_review" | "both";
         final_verify: {
             reason: string | null;
@@ -849,9 +932,14 @@ export declare const ControlRunDetail: z.ZodObject<{
             }[];
         } | null;
     }, {
-        status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress";
         winner: string | null;
-        outcome?: "ready" | "no_op" | "ungated" | "review_not_run" | "blocked" | undefined;
+        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;
+            checks?: "passed" | "failed" | "not_configured" | undefined;
+            noChanges?: boolean | undefined;
+        };
         why_winner?: string | undefined;
         why_not_others?: Record<string, string> | undefined;
         accepted_risks?: string[] | undefined;
@@ -861,7 +949,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
         } | undefined;
-        apply_recommendation?: "apply" | "inspect" | "continue" | "split_task" | "human_review" | undefined;
+        apply_recommendation?: "apply" | "inspect" | "continue" | "human_review" | undefined;
         verification_basis?: "none" | "cross_family_review" | "both" | undefined;
         final_verify?: {
             attempted: boolean;
@@ -913,6 +1001,105 @@ export declare const ControlRunDetail: z.ZodObject<{
         meta?: Record<string, unknown> | undefined;
     }>>>;
     /** Derived apply-gate verdict (single producer: the delivery gate); null when the run has no patch artifact. */
+    /** Derived plan readiness (mode=plan runs; single derivation owner —
+     * derivePlanReadiness over final/questions.json). Null otherwise. */
+    planReadiness: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        state: z.ZodEnum<["ready", "needs_answers", "unverified"]>;
+        questionCount: z.ZodDefault<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        state: "ready" | "needs_answers" | "unverified";
+        questionCount: number;
+    }, {
+        state: "ready" | "needs_answers" | "unverified";
+        questionCount?: number | undefined;
+    }>>>;
+    /** The plan run's OPEN questions, projected from the same
+     * final/questions.json the readiness derives from (D17). Empty for a ready
+     * plan, an unverified plan, and every non-plan run. Surfaces render these
+     * as a question set (CLI TTY answer loop / ACP turn text) and answer them
+     * as an ordinary follow-up plan turn — the questions are never re-parsed
+     * from plan text on any surface. */
+    planQuestions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<["single", "multi", "text"]>;
+        prompt: z.ZodString;
+        options: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            label: string;
+        }, {
+            id: string;
+            label: string;
+        }>, "many">>;
+        allow_text: z.ZodDefault<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        options: {
+            id: string;
+            label: string;
+        }[];
+        kind: "text" | "single" | "multi";
+        id: string;
+        prompt: string;
+        allow_text: boolean;
+    }, {
+        kind: "text" | "single" | "multi";
+        id: string;
+        prompt: string;
+        options?: {
+            id: string;
+            label: string;
+        }[] | undefined;
+        allow_text?: boolean | undefined;
+    }>, "many">>;
+    /** Council membership + merge disclosure (INV-031); null for solo plans
+     * and every non-plan run. Purely additive — the plan artifacts themselves
+     * are shape-identical to a solo plan. */
+    council: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        requested: z.ZodNumber;
+        drafted: z.ZodNumber;
+        degraded: z.ZodDefault<z.ZodBoolean>;
+        mergedBy: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        members: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            harnessId: z.ZodString;
+            role: z.ZodEnum<["primary", "member"]>;
+            status: z.ZodEnum<["drafted", "failed", "merged"]>;
+            error: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        }, "strict", z.ZodTypeAny, {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            error: string | null;
+            role: "primary" | "member";
+        }, {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            role: "primary" | "member";
+            error?: string | null | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        requested: number;
+        degraded: boolean;
+        drafted: number;
+        mergedBy: string | null;
+        members: {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            error: string | null;
+            role: "primary" | "member";
+        }[];
+    }, {
+        requested: number;
+        drafted: number;
+        degraded?: boolean | undefined;
+        mergedBy?: string | null | undefined;
+        members?: {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            role: "primary" | "member";
+            error?: string | null | undefined;
+        }[] | undefined;
+    }>>>;
     applyEligibility: z.ZodDefault<z.ZodNullable<z.ZodObject<{
         eligible: z.ZodBoolean;
         state: z.ZodNullable<z.ZodString>;
@@ -1146,77 +1333,6 @@ export declare const ControlRunDetail: z.ZodObject<{
         sourceTool?: string | null | undefined;
         timeoutAt?: string | null | undefined;
     }>, "many">>;
-    /** Typed executor progress for an orchestrate run (auto_safe/auto_full);
-     * null for non-orchestrate runs or suggest autonomy. Projected from
-     * final/orchestration_progress.yaml. */
-    orchestrate: z.ZodDefault<z.ZodNullable<z.ZodObject<{
-        steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
-            index: z.ZodNumber;
-            tool: z.ZodEnum<["start_run", "race", "status", "answer_question", "apply", "review"]>;
-            risk: z.ZodEnum<["safe", "risky"]>;
-            status: z.ZodEnum<["pending", "running", "done", "skipped", "blocked", "failed"]>;
-            required: z.ZodDefault<z.ZodBoolean>;
-            terminal_status: z.ZodDefault<z.ZodNullable<z.ZodEnum<["success", "no_op", "ungated", "review_not_run", "blocked", "failed", "interrupted_unknown", "cost_unverifiable", "exhausted_overshoot", "exhausted", "not_converged", "stuck_no_progress", "cancelled"]>>>;
-            terminal_source: z.ZodDefault<z.ZodNullable<z.ZodEnum<["executor", "subrun", "review", "delivery", "policy", "budget"]>>>;
-            evidence_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
-            run_id: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-            detail: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-        }, "strip", z.ZodTypeAny, {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            detail: string | null;
-            index: number;
-            evidence_refs: string[];
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            run_id: string | null;
-            required: boolean;
-            risk: "safe" | "risky";
-            terminal_status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null;
-            terminal_source: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null;
-        }, {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            index: number;
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            risk: "safe" | "risky";
-            detail?: string | null | undefined;
-            evidence_refs?: string[] | undefined;
-            run_id?: string | null | undefined;
-            required?: boolean | undefined;
-            terminal_status?: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null | undefined;
-            terminal_source?: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null | undefined;
-        }>, "many">>;
-        autonomy: z.ZodEnum<["suggest", "auto_safe", "auto_full"]>;
-        stopped_reason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-    }, "strip", z.ZodTypeAny, {
-        autonomy: "suggest" | "auto_safe" | "auto_full";
-        steps: {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            detail: string | null;
-            index: number;
-            evidence_refs: string[];
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            run_id: string | null;
-            required: boolean;
-            risk: "safe" | "risky";
-            terminal_status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null;
-            terminal_source: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null;
-        }[];
-        stopped_reason: string | null;
-    }, {
-        autonomy: "suggest" | "auto_safe" | "auto_full";
-        steps?: {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            index: number;
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            risk: "safe" | "risky";
-            detail?: string | null | undefined;
-            evidence_refs?: string[] | undefined;
-            run_id?: string | null | undefined;
-            required?: boolean | undefined;
-            terminal_status?: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null | undefined;
-            terminal_source?: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null | undefined;
-        }[] | undefined;
-        stopped_reason?: string | null | undefined;
-    }>>>;
     /** Per-candidate evidence cards. Present for EVERY envelope-producing
      * mode (races show N lanes; single-candidate turns and convergence
      * refinements project their attempts too); empty only when no attempt
@@ -1228,6 +1344,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         costUsd: z.ZodDefault<z.ZodNumber>;
         costEstimated: z.ZodDefault<z.ZodBoolean>;
         errored: z.ZodDefault<z.ZodBoolean>;
+        errorReason: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         gatesPassed: z.ZodDefault<z.ZodNumber>;
         gatesTotal: z.ZodDefault<z.ZodNumber>;
         /** Blocking review findings count (accepted blockers). */
@@ -1257,6 +1374,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         blockers: number;
         costEstimated: boolean;
         errored: boolean;
+        errorReason: string | null;
         gatesPassed: number;
         gatesTotal: number;
         reviewVerified: boolean;
@@ -1275,6 +1393,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         blockers?: number | undefined;
         costEstimated?: boolean | undefined;
         errored?: boolean | undefined;
+        errorReason?: string | null | undefined;
         gatesPassed?: number | undefined;
         gatesTotal?: number | undefined;
         reviewVerified?: boolean | undefined;
@@ -1349,25 +1468,16 @@ export declare const ControlRunDetail: z.ZodObject<{
         nextActions?: string[] | undefined;
     }>>>;
 }, "strip", z.ZodTypeAny, {
-    orchestrate: {
-        autonomy: "suggest" | "auto_safe" | "auto_full";
-        steps: {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            detail: string | null;
-            index: number;
-            evidence_refs: string[];
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            run_id: string | null;
-            required: boolean;
-            risk: "safe" | "risky";
-            terminal_status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null;
-            terminal_source: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null;
-        }[];
-        stopped_reason: string | null;
-    } | null;
     summary: {
-        state: "failed" | "cancelled" | "running" | "interrupted_unknown" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | "queued" | "succeeded";
+        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;
@@ -1388,7 +1498,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             nextActions: string[];
         } | null;
         webEvidence: {
-            status: "failed" | "none" | "attempted" | "satisfied" | "unverified";
+            status: "failed" | "none" | "attempted" | "unverified" | "satisfied";
             available: boolean;
             target: string | null;
             mode: "off" | "auto" | "cached" | "live";
@@ -1413,6 +1523,9 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolWarningsTotal: number;
         result: {
             kind: "plan" | "none" | "patch" | "answer" | "report";
+            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
+            revertAnchorId: string | null;
+            postTurnSha: string | null;
             diffStat: {
                 files: number;
                 additions: number;
@@ -1420,10 +1533,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null;
             blockers: number;
             adopted: boolean | null;
-            applyState: "not_applied" | "applied" | "applied_review_blocked" | "reverted";
             preTurnSha: string | null;
-            postTurnSha: string | null;
-            revertAnchorId: string | null;
             revertable: boolean;
         };
         waitingOnUser: boolean;
@@ -1436,22 +1546,22 @@ export declare const ControlRunDetail: z.ZodObject<{
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
-        mode?: "ask" | "plan" | "audit" | "agent" | "orchestrate" | undefined;
+        mode?: "ask" | "plan" | "agent" | undefined;
         prompt?: string | undefined;
         access?: "readonly" | "workspace_write" | "full" | "external_sandbox_full" | "inherit_native" | undefined;
         harnesses?: string[] | undefined;
         runDir?: string | undefined;
         model?: string | undefined;
         tests?: {
-            program: string;
             args: string[];
+            program: string;
             envAllowlist: string[];
             cwd?: string | undefined;
         }[] | undefined;
-        n?: number | undefined;
         taskId?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
+        n?: number | undefined;
         paidBudget?: {
             kind: "unlimited";
         } | {
@@ -1463,14 +1573,12 @@ export declare const ControlRunDetail: z.ZodObject<{
             path: string;
             reason?: string | undefined;
         }[] | undefined;
-        specId?: string | undefined;
-        specHash?: string | undefined;
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
             effort?: "low" | "medium" | "high" | "xhigh" | "max" | undefined;
         }[] | undefined;
-        strategy?: "race" | "attempts" | "swarm" | "create" | "until_clean" | null | undefined;
+        strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
         spendEstimated?: boolean | undefined;
         inputTokens?: number | null | undefined;
@@ -1497,9 +1605,14 @@ export declare const ControlRunDetail: z.ZodObject<{
         finishedAt?: string | undefined;
     };
     decision: {
-        status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress";
         winner: string | null;
-        outcome: "ready" | "no_op" | "ungated" | "review_not_run" | "blocked";
+        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;
+            checks: "passed" | "failed" | "not_configured";
+            lifecycle: "failed" | "cancelled" | "succeeded" | "interrupted";
+            noChanges: boolean;
+        };
         why_winner: string;
         why_not_others: Record<string, string>;
         accepted_risks: string[];
@@ -1509,7 +1622,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             estimated: boolean;
             spend_usd: number | null;
         };
-        apply_recommendation: "apply" | "inspect" | "continue" | "split_task" | "human_review";
+        apply_recommendation: "apply" | "inspect" | "continue" | "human_review";
         verification_basis: "none" | "cross_family_review" | "both";
         final_verify: {
             reason: string | null;
@@ -1530,6 +1643,30 @@ export declare const ControlRunDetail: z.ZodObject<{
         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;
@@ -1542,6 +1679,18 @@ export declare const ControlRunDetail: z.ZodObject<{
         spendUsd: number | null;
         remainingUsd: number | null;
     };
+    council: {
+        requested: number;
+        degraded: boolean;
+        drafted: number;
+        mergedBy: string | null;
+        members: {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            error: string | null;
+            role: "primary" | "member";
+        }[];
+    } | null;
     failure: {
         harnessId: string | null;
         attemptId: string | null;
@@ -1565,6 +1714,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         path: string;
         kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
         text: string | null;
+        truncated: boolean;
         bytes?: number | undefined;
     } | null;
     timeline: {
@@ -1594,6 +1744,16 @@ export declare const ControlRunDetail: z.ZodObject<{
         producer_attempt_id?: string | undefined;
         evidence_dir?: string | undefined;
     } | null;
+    planQuestions: {
+        options: {
+            id: string;
+            label: string;
+        }[];
+        kind: "text" | "single" | "multi";
+        id: string;
+        prompt: string;
+        allow_text: boolean;
+    }[];
     reviewFindings: {
         status: "stale" | "accepted" | "proposed" | "rebutted" | "fixed" | "accepted_risk" | "duplicate" | "out_of_scope" | "insufficient_evidence";
         id: string;
@@ -1624,25 +1784,6 @@ export declare const ControlRunDetail: z.ZodObject<{
         };
         revalidation_note?: string | undefined;
     }[];
-    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;
-    }[];
     candidates: {
         harnessId: string;
         attemptId: string;
@@ -1652,6 +1793,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         blockers: number;
         costEstimated: boolean;
         errored: boolean;
+        errorReason: string | null;
         gatesPassed: number;
         gatesTotal: number;
         reviewVerified: boolean;
@@ -1671,22 +1813,29 @@ export declare const ControlRunDetail: z.ZodObject<{
     } | null;
 }, {
     summary: {
-        state: "failed" | "cancelled" | "running" | "interrupted_unknown" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | "queued" | "succeeded";
+        state: "failed" | "cancelled" | "running" | "succeeded" | "interrupted" | "queued";
         runId: string;
         jobId: string;
         startedAt?: string | undefined;
         error?: string | undefined;
         createdAt?: string | undefined;
-        mode?: "ask" | "plan" | "audit" | "agent" | "orchestrate" | undefined;
+        mode?: "ask" | "plan" | "agent" | undefined;
         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;
-            cwd?: string | undefined;
             args?: string[] | undefined;
+            cwd?: string | undefined;
             envAllowlist?: string[] | undefined;
         }[] | undefined;
         project?: {
@@ -1695,10 +1844,10 @@ export declare const ControlRunDetail: z.ZodObject<{
             context?: "off" | "auto" | undefined;
             projectName?: string | null | undefined;
         } | undefined;
-        n?: number | undefined;
         taskId?: string | undefined;
         primaryHarness?: string | undefined;
         routingGoal?: "auto" | "quality" | "economy" | undefined;
+        n?: number | undefined;
         paidBudget?: {
             kind: "unlimited";
         } | {
@@ -1710,8 +1859,6 @@ export declare const ControlRunDetail: z.ZodObject<{
             path: string;
             reason?: string | undefined;
         }[] | undefined;
-        specId?: string | undefined;
-        specHash?: string | undefined;
         reviewerPanel?: {
             harness: string;
             model?: string | undefined;
@@ -1729,7 +1876,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             eventRefs?: string[] | undefined;
             nextActions?: string[] | undefined;
         } | null | undefined;
-        strategy?: "race" | "attempts" | "swarm" | "create" | "until_clean" | null | undefined;
+        strategy?: "attempts" | "create" | "race" | "until_clean" | "deep_scan" | null | undefined;
         spendUsd?: number | null | undefined;
         spendEstimated?: boolean | undefined;
         inputTokens?: number | null | undefined;
@@ -1753,7 +1900,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         webRequired?: boolean | undefined;
         webMode?: "off" | "auto" | "cached" | "live" | undefined;
         webEvidence?: {
-            status?: "failed" | "none" | "attempted" | "satisfied" | "unverified" | undefined;
+            status?: "failed" | "none" | "attempted" | "unverified" | "satisfied" | undefined;
             available?: boolean | undefined;
             target?: string | null | undefined;
             mode?: "off" | "auto" | "cached" | "live" | undefined;
@@ -1779,6 +1926,9 @@ export declare const ControlRunDetail: z.ZodObject<{
         toolWarningsTotal?: number | undefined;
         result?: {
             kind?: "plan" | "none" | "patch" | "answer" | "report" | undefined;
+            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
+            revertAnchorId?: string | null | undefined;
+            postTurnSha?: string | null | undefined;
             diffStat?: {
                 files: number;
                 additions: number;
@@ -1786,10 +1936,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             } | null | undefined;
             blockers?: number | undefined;
             adopted?: boolean | null | undefined;
-            applyState?: "not_applied" | "applied" | "applied_review_blocked" | "reverted" | undefined;
             preTurnSha?: string | null | undefined;
-            postTurnSha?: string | null | undefined;
-            revertAnchorId?: string | null | undefined;
             revertable?: boolean | undefined;
         } | undefined;
         waitingOnUser?: boolean | undefined;
@@ -1801,26 +1948,15 @@ export declare const ControlRunDetail: z.ZodObject<{
         } | null | undefined;
         finishedAt?: string | undefined;
     };
-    orchestrate?: {
-        autonomy: "suggest" | "auto_safe" | "auto_full";
-        steps?: {
-            status: "pending" | "failed" | "running" | "blocked" | "done" | "skipped";
-            index: number;
-            tool: "status" | "review" | "apply" | "start_run" | "race" | "answer_question";
-            risk: "safe" | "risky";
-            detail?: string | null | undefined;
-            evidence_refs?: string[] | undefined;
-            run_id?: string | null | undefined;
-            required?: boolean | undefined;
-            terminal_status?: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress" | null | undefined;
-            terminal_source?: "review" | "delivery" | "policy" | "budget" | "executor" | "subrun" | null | undefined;
-        }[] | undefined;
-        stopped_reason?: string | null | undefined;
-    } | null | undefined;
     decision?: {
-        status: "failed" | "cancelled" | "interrupted_unknown" | "success" | "no_op" | "ungated" | "review_not_run" | "blocked" | "cost_unverifiable" | "exhausted_overshoot" | "exhausted" | "not_converged" | "stuck_no_progress";
         winner: string | null;
-        outcome?: "ready" | "no_op" | "ungated" | "review_not_run" | "blocked" | undefined;
+        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;
+            checks?: "passed" | "failed" | "not_configured" | undefined;
+            noChanges?: boolean | undefined;
+        };
         why_winner?: string | undefined;
         why_not_others?: Record<string, string> | undefined;
         accepted_risks?: string[] | undefined;
@@ -1830,7 +1966,7 @@ export declare const ControlRunDetail: z.ZodObject<{
             estimated?: boolean | undefined;
             spend_usd?: number | null | undefined;
         } | undefined;
-        apply_recommendation?: "apply" | "inspect" | "continue" | "split_task" | "human_review" | undefined;
+        apply_recommendation?: "apply" | "inspect" | "continue" | "human_review" | undefined;
         verification_basis?: "none" | "cross_family_review" | "both" | undefined;
         final_verify?: {
             attempted: boolean;
@@ -1851,6 +1987,30 @@ export declare const ControlRunDetail: z.ZodObject<{
         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;
@@ -1863,6 +2023,18 @@ export declare const ControlRunDetail: z.ZodObject<{
         spendUsd?: number | null | undefined;
         remainingUsd?: number | null | undefined;
     } | undefined;
+    council?: {
+        requested: number;
+        drafted: number;
+        degraded?: boolean | undefined;
+        mergedBy?: string | null | undefined;
+        members?: {
+            status: "failed" | "drafted" | "merged";
+            harnessId: string;
+            role: "primary" | "member";
+            error?: string | null | undefined;
+        }[] | undefined;
+    } | null | undefined;
     failure?: {
         safeMessage: string;
         harnessId?: string | null | undefined;
@@ -1887,6 +2059,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         kind: "diagnostic" | "plan" | "summary" | "patch" | "answer" | "report" | "structured_output";
         bytes?: number | undefined;
         text?: string | null | undefined;
+        truncated?: boolean | undefined;
     } | null | undefined;
     timeline?: {
         type: string;
@@ -1915,6 +2088,16 @@ export declare const ControlRunDetail: z.ZodObject<{
         evidence_dir?: string | undefined;
         meta?: Record<string, unknown> | undefined;
     } | null | undefined;
+    planQuestions?: {
+        kind: "text" | "single" | "multi";
+        id: string;
+        prompt: string;
+        options?: {
+            id: string;
+            label: string;
+        }[] | undefined;
+        allow_text?: boolean | undefined;
+    }[] | undefined;
     reviewFindings?: {
         id: string;
         category: "correctness" | "regression" | "security" | "performance" | "maintainability" | "test_gap" | "spec_gap" | "deploy" | "architecture" | "ux";
@@ -1945,25 +2128,6 @@ export declare const ControlRunDetail: z.ZodObject<{
         proposed_fix?: string | null | undefined;
         revalidation_note?: string | undefined;
     }[] | 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;
     candidates?: {
         harnessId: string;
         attemptId: string;
@@ -1973,6 +2137,7 @@ export declare const ControlRunDetail: z.ZodObject<{
         blockers?: number | undefined;
         costEstimated?: boolean | undefined;
         errored?: boolean | undefined;
+        errorReason?: string | null | undefined;
         gatesPassed?: number | undefined;
         gatesTotal?: number | undefined;
         reviewVerified?: boolean | undefined;