@claudexor/schema 4.8.2 → 5.0.1

package/dist/control.d.ts

@@ -33,7 +33,7 @@ export declare const ControlRunStartRequest: z.ZodObject<{
     /** Caller-supplied system-level instructions layered onto every
      * task-producing lane (primary, candidate, planner, explorer) — never
      * reviewers, synthesis, or the auth smoke.
-     * Scanned by the inline-secret fence like the prompt (INV-062). */
+     * Delivered exactly, like the prompt (INV-146). */
     instructions: z.ZodOptional<z.ZodString>;
     /** Immutable daemon resource ids; upload/finalize happens before enqueue. */
     attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -877,7 +877,7 @@ export declare const ControlRunAgainDraft: z.ZodObject<{
         /** Caller-supplied system-level instructions layered onto every
          * task-producing lane (primary, candidate, planner, explorer) — never
          * reviewers, synthesis, or the auth smoke.
-         * Scanned by the inline-secret fence like the prompt (INV-062). */
+         * Delivered exactly, like the prompt (INV-146). */
         instructions: z.ZodOptional<z.ZodString>;
         /** Immutable daemon resource ids; upload/finalize happens before enqueue. */
         attachments: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1651,14 +1651,14 @@ export declare const RunDeliveryState: z.ZodObject<{
     appliedPaths: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
     discardedAt: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     deliveredAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-    revertAnchorId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    revertAnchorId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
     postTurnSha: z.ZodDefault<z.ZodNullable<z.ZodString>>;
 }, "strip", z.ZodTypeAny, {
     applyState: "applied" | "applied_review_blocked" | "discarded" | "not_applied" | "reverted";
     appliedPaths?: string[] | undefined;
     discardedAt?: string | null | undefined;
     deliveredAt: string | null;
-    revertAnchorId: string | null;
+    revertAnchorId?: string | null | undefined;
     postTurnSha: string | null;
 }, {
     applyState?: "applied" | "applied_review_blocked" | "discarded" | "not_applied" | "reverted" | undefined;
@@ -1860,6 +1860,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         modelMismatch: z.ZodNullable<z.ZodBoolean>;
         identityCheck: z.ZodEnum<["matched_before_effects", "mismatch_before_effects", "mismatch_after_possible_effects", "not_applicable"]>;
         inputDelivery: z.ZodEnum<["confirmed", "uncertain", "not_applicable"]>;
+        sourceRetirement: z.ZodOptional<z.ZodEnum<["retired", "not_confirmed"]>>;
     }, "strict", z.ZodTypeAny, {
         tryIndex: number;
         attemptId: string;
@@ -1881,6 +1882,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         modelMismatch: boolean | null;
         identityCheck: "matched_before_effects" | "mismatch_after_possible_effects" | "mismatch_before_effects" | "not_applicable";
         inputDelivery: "confirmed" | "not_applicable" | "uncertain";
+        sourceRetirement?: "not_confirmed" | "retired" | undefined;
     }, {
         tryIndex: number;
         attemptId: string;
@@ -1902,6 +1904,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         modelMismatch: boolean | null;
         identityCheck: "matched_before_effects" | "mismatch_after_possible_effects" | "mismatch_before_effects" | "not_applicable";
         inputDelivery: "confirmed" | "not_applicable" | "uncertain";
+        sourceRetirement?: "not_confirmed" | "retired" | undefined;
     }>, "many">>;
     retainedEnvelope: z.ZodDefault<z.ZodNullable<z.ZodObject<{
         root: z.ZodString;
@@ -1983,13 +1986,54 @@ export declare const ControlRunSummary: z.ZodObject<{
             source: "grok_init";
             reported_source: string;
         }>]>>;
+        rawContextShortfall: z.ZodOptional<z.ZodObject<{
+            model: z.ZodString;
+            context_window: z.ZodNumber;
+            packet_tokens: z.ZodNumber;
+            framing_tokens: z.ZodNumber;
+            output_allowance_tokens: z.ZodNumber;
+            mandatory_files: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                estimated_tokens: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                path: string;
+                estimated_tokens: number;
+            }, {
+                path: string;
+                estimated_tokens: number;
+            }>, "many">;
+        }, "strict", z.ZodTypeAny, {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        }, {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        }>>;
         captureFailure: z.ZodOptional<z.ZodObject<{
-            code: z.ZodEnum<["capture_output_exceeded", "capture_output_incomplete", "capture_preview_truncated", "capture_failed"]>;
+            code: z.ZodEnum<["capture_output_exceeded", "capture_output_incomplete", "capture_preview_truncated", "capture_space_insufficient", "capture_git_stalled", "capture_git_signal", "capture_read_failed", "capture_object_missing", "capture_failed"]>;
             message: z.ZodString;
             causeCode: z.ZodOptional<z.ZodString>;
             bufferBudgetBytes: z.ZodOptional<z.ZodNumber>;
             stream: z.ZodOptional<z.ZodEnum<["stdout", "stderr"]>>;
             drain: z.ZodOptional<z.ZodLiteral<"truncated">>;
+            requiredBytes: z.ZodOptional<z.ZodNumber>;
+            availableBytes: z.ZodOptional<z.ZodNumber>;
+            signal: z.ZodOptional<z.ZodString>;
+            stallMs: z.ZodOptional<z.ZodNumber>;
             cleanup: z.ZodOptional<z.ZodObject<{
                 code: z.ZodNullable<z.ZodString>;
                 message: z.ZodString;
@@ -2000,32 +2044,91 @@ export declare const ControlRunSummary: z.ZodObject<{
                 code: string | null;
                 message: string;
             }>>;
+            inventory: z.ZodOptional<z.ZodObject<{
+                exact: z.ZodLiteral<false>;
+                changedFiles: z.ZodNumber;
+                largest: z.ZodArray<z.ZodObject<{
+                    path: z.ZodString;
+                    change: z.ZodEnum<["added", "modified", "deleted", "type_changed"]>;
+                    sizeBytes: z.ZodNullable<z.ZodNumber>;
+                }, "strip", z.ZodTypeAny, {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }, {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }>, "many">;
+            }, "strip", z.ZodTypeAny, {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            }, {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            }>>;
         }, "strip", z.ZodTypeAny, {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         }, {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         }>>;
         phase: z.ZodDefault<z.ZodString>;
         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", "delegation_child_drain_timeout", "subscription_window_exhausted", "credential_pool_exhausted", "input_too_large", "vendor_cli_too_old", "credential_source_unconfirmed", "delegated_home_unavailable", "delegated_confinement_unavailable", "delegated_evidence_incomplete", "access_profile_incompatible", "auxiliary_writable_roots_unsupported", "retired_access_profile"]>>>;
+        code: z.ZodDefault<z.ZodNullable<z.ZodEnum<["finite_zero", "hard_cap", "estimate_headroom", "unknown_paid_in_flight", "budget_overshoot", "cost_unverifiable", "delegation_child_drain_timeout", "subscription_window_exhausted", "credential_pool_exhausted", "input_too_large", "raw_context_mandatory_unavailable", "raw_context_exceeds_window", "model_catalog_unavailable", "vendor_cli_too_old", "credential_source_unconfirmed", "delegated_home_unavailable", "delegated_confinement_unavailable", "delegated_evidence_incomplete", "access_profile_incompatible", "auxiliary_writable_roots_unsupported", "retired_access_profile"]>>>;
         harnessId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         attemptId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         safeMessage: z.ZodString;
@@ -2034,6 +2137,22 @@ export declare const ControlRunSummary: z.ZodObject<{
         eventRefs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
         runDir: z.ZodDefault<z.ZodNullable<z.ZodString>>;
         resetsAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+        quotaRefusal: z.ZodOptional<z.ZodObject<{
+            basis: z.ZodEnum<["owner_reserve", "provider_window", "provider_cooldown"]>;
+            constraintId: z.ZodNullable<z.ZodString>;
+            usedRatio: z.ZodNullable<z.ZodNumber>;
+            threshold: z.ZodNullable<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        }, {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        }>>;
         vendorFailure: z.ZodDefault<z.ZodNullable<z.ZodObject<{
             code: z.ZodNullable<z.ZodString>;
             message: z.ZodNullable<z.ZodString>;
@@ -2126,21 +2245,45 @@ export declare const ControlRunSummary: z.ZodObject<{
             source: "grok_init";
             reported_source: string;
         } | undefined;
+        rawContextShortfall?: {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        } | undefined;
         captureFailure?: {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         } | undefined;
         phase: string;
         category: "auth" | "budget" | "cancelled" | "config_error" | "harness_error" | "harness_unavailable" | "internal" | "policy" | "project" | "unknown" | "validation";
-        code: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null;
+        code: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "model_catalog_unavailable" | "raw_context_exceeds_window" | "raw_context_mandatory_unavailable" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null;
         harnessId: string | null;
         attemptId: string | null;
         safeMessage: string;
@@ -2149,6 +2292,12 @@ export declare const ControlRunSummary: z.ZodObject<{
         eventRefs: string[];
         runDir: string | null;
         resetsAt: string | null;
+        quotaRefusal?: {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        } | undefined;
         vendorFailure: {
             code: string | null;
             message: string | null;
@@ -2193,21 +2342,45 @@ export declare const ControlRunSummary: z.ZodObject<{
             source: "grok_init";
             reported_source: string;
         } | undefined;
+        rawContextShortfall?: {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        } | undefined;
         captureFailure?: {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         } | undefined;
         phase?: string | undefined;
         category?: "auth" | "budget" | "cancelled" | "config_error" | "harness_error" | "harness_unavailable" | "internal" | "policy" | "project" | "unknown" | "validation" | undefined;
-        code?: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null | undefined;
+        code?: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "model_catalog_unavailable" | "raw_context_exceeds_window" | "raw_context_mandatory_unavailable" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null | undefined;
         harnessId?: string | null | undefined;
         attemptId?: string | null | undefined;
         safeMessage: string;
@@ -2216,6 +2389,12 @@ export declare const ControlRunSummary: z.ZodObject<{
         eventRefs?: string[] | undefined;
         runDir?: string | null | undefined;
         resetsAt?: string | null | undefined;
+        quotaRefusal?: {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        } | undefined;
         vendorFailure?: {
             code: string | null;
             message: string | null;
@@ -2526,7 +2705,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
         review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
         review_requested: z.ZodOptional<z.ZodBoolean>;
-        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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+        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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "capture_refused", "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"]>;
@@ -2569,7 +2748,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         checks: "failed" | "not_configured" | "passed";
         review: "approved" | "blocked" | "not_run";
         review_requested?: boolean | undefined;
-        reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+        reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -2586,7 +2765,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         checks?: "failed" | "not_configured" | "passed" | undefined;
         review?: "approved" | "blocked" | "not_run" | undefined;
         review_requested?: boolean | undefined;
-        reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+        reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -2691,6 +2870,74 @@ export declare const ControlRunSummary: z.ZodObject<{
             eligible: boolean;
         }[] | undefined;
     }>>>;
+    rawContext: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        model: z.ZodString;
+        estimated_request_tokens: z.ZodNumber;
+        budget: z.ZodObject<{
+            estimator: z.ZodLiteral<"chars_div_4">;
+            basis: z.ZodEnum<["model_context_window", "assumed_ceiling"]>;
+            model: z.ZodNullable<z.ZodString>;
+            context_window: z.ZodNullable<z.ZodNumber>;
+            output_allowance_tokens: z.ZodNullable<z.ZodNumber>;
+            framing_tokens: z.ZodNullable<z.ZodNumber>;
+            selection_limit_tokens: z.ZodNumber;
+            estimated_packet_tokens: z.ZodNumber;
+            omitted_for_budget: z.ZodNumber;
+            mandatory_paths: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        }, {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        model: string;
+        estimated_request_tokens: number;
+        budget: {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        };
+    }, {
+        model: string;
+        estimated_request_tokens: number;
+        budget: {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        };
+    }>>>;
     tests: z.ZodOptional<z.ZodArray<z.ZodObject<{
         program: z.ZodString;
         args: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
@@ -2761,6 +3008,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         modelMismatch: boolean | null;
         identityCheck: "matched_before_effects" | "mismatch_after_possible_effects" | "mismatch_before_effects" | "not_applicable";
         inputDelivery: "confirmed" | "not_applicable" | "uncertain";
+        sourceRetirement?: "not_confirmed" | "retired" | undefined;
     }[] | undefined;
     retainedEnvelope: {
         root: string;
@@ -2793,21 +3041,45 @@ export declare const ControlRunSummary: z.ZodObject<{
             source: "grok_init";
             reported_source: string;
         } | undefined;
+        rawContextShortfall?: {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        } | undefined;
         captureFailure?: {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         } | undefined;
         phase: string;
         category: "auth" | "budget" | "cancelled" | "config_error" | "harness_error" | "harness_unavailable" | "internal" | "policy" | "project" | "unknown" | "validation";
-        code: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null;
+        code: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "model_catalog_unavailable" | "raw_context_exceeds_window" | "raw_context_mandatory_unavailable" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null;
         harnessId: string | null;
         attemptId: string | null;
         safeMessage: string;
@@ -2816,6 +3088,12 @@ export declare const ControlRunSummary: z.ZodObject<{
         eventRefs: string[];
         runDir: string | null;
         resetsAt: string | null;
+        quotaRefusal?: {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        } | undefined;
         vendorFailure: {
             code: string | null;
             message: string | null;
@@ -2949,7 +3227,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         checks: "failed" | "not_configured" | "passed";
         review: "approved" | "blocked" | "not_run";
         review_requested?: boolean | undefined;
-        reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+        reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -2989,6 +3267,22 @@ export declare const ControlRunSummary: z.ZodObject<{
             eligible: boolean;
         }[];
     } | null;
+    rawContext: {
+        model: string;
+        estimated_request_tokens: number;
+        budget: {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        };
+    } | null;
     tests?: {
         program: string;
         args: string[];
@@ -3049,6 +3343,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         modelMismatch: boolean | null;
         identityCheck: "matched_before_effects" | "mismatch_after_possible_effects" | "mismatch_before_effects" | "not_applicable";
         inputDelivery: "confirmed" | "not_applicable" | "uncertain";
+        sourceRetirement?: "not_confirmed" | "retired" | undefined;
     }[] | undefined;
     retainedEnvelope?: {
         root: string;
@@ -3081,21 +3376,45 @@ export declare const ControlRunSummary: z.ZodObject<{
             source: "grok_init";
             reported_source: string;
         } | undefined;
+        rawContextShortfall?: {
+            model: string;
+            context_window: number;
+            packet_tokens: number;
+            framing_tokens: number;
+            output_allowance_tokens: number;
+            mandatory_files: {
+                path: string;
+                estimated_tokens: number;
+            }[];
+        } | undefined;
         captureFailure?: {
-            code: "capture_failed" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated";
+            code: "capture_failed" | "capture_git_signal" | "capture_git_stalled" | "capture_object_missing" | "capture_output_exceeded" | "capture_output_incomplete" | "capture_preview_truncated" | "capture_read_failed" | "capture_space_insufficient";
             message: string;
             causeCode?: string | undefined;
             bufferBudgetBytes?: number | undefined;
             stream?: "stderr" | "stdout" | undefined;
             drain?: "truncated" | undefined;
+            requiredBytes?: number | undefined;
+            availableBytes?: number | undefined;
+            signal?: string | undefined;
+            stallMs?: number | undefined;
             cleanup?: {
                 code: string | null;
                 message: string;
             } | undefined;
+            inventory?: {
+                exact: false;
+                changedFiles: number;
+                largest: {
+                    path: string;
+                    change: "added" | "deleted" | "modified" | "type_changed";
+                    sizeBytes: number | null;
+                }[];
+            } | undefined;
         } | undefined;
         phase?: string | undefined;
         category?: "auth" | "budget" | "cancelled" | "config_error" | "harness_error" | "harness_unavailable" | "internal" | "policy" | "project" | "unknown" | "validation" | undefined;
-        code?: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null | undefined;
+        code?: "access_profile_incompatible" | "auxiliary_writable_roots_unsupported" | "budget_overshoot" | "cost_unverifiable" | "credential_pool_exhausted" | "credential_source_unconfirmed" | "delegated_confinement_unavailable" | "delegated_evidence_incomplete" | "delegated_home_unavailable" | "delegation_child_drain_timeout" | "estimate_headroom" | "finite_zero" | "hard_cap" | "input_too_large" | "model_catalog_unavailable" | "raw_context_exceeds_window" | "raw_context_mandatory_unavailable" | "retired_access_profile" | "subscription_window_exhausted" | "unknown_paid_in_flight" | "vendor_cli_too_old" | null | undefined;
         harnessId?: string | null | undefined;
         attemptId?: string | null | undefined;
         safeMessage: string;
@@ -3104,6 +3423,12 @@ export declare const ControlRunSummary: z.ZodObject<{
         eventRefs?: string[] | undefined;
         runDir?: string | null | undefined;
         resetsAt?: string | null | undefined;
+        quotaRefusal?: {
+            basis: "owner_reserve" | "provider_cooldown" | "provider_window";
+            constraintId: string | null;
+            usedRatio: number | null;
+            threshold: number | null;
+        } | undefined;
         vendorFailure?: {
             code: string | null;
             message: string | null;
@@ -3237,7 +3562,7 @@ export declare const ControlRunSummary: z.ZodObject<{
         checks?: "failed" | "not_configured" | "passed" | undefined;
         review?: "approved" | "blocked" | "not_run" | undefined;
         review_requested?: boolean | undefined;
-        reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+        reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -3277,6 +3602,22 @@ export declare const ControlRunSummary: z.ZodObject<{
             eligible: boolean;
         }[] | undefined;
     } | null | undefined;
+    rawContext?: {
+        model: string;
+        estimated_request_tokens: number;
+        budget: {
+            estimator: "chars_div_4";
+            basis: "assumed_ceiling" | "model_context_window";
+            model: string | null;
+            context_window: number | null;
+            output_allowance_tokens: number | null;
+            framing_tokens: number | null;
+            selection_limit_tokens: number;
+            estimated_packet_tokens: number;
+            omitted_for_budget: number;
+            mandatory_paths: string[];
+        };
+    } | null | undefined;
     tests?: {
         program: string;
         args?: string[] | undefined;
@@ -3968,7 +4309,7 @@ export declare const ControlTurnRunCard: z.ZodObject<{
         checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
         review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
         review_requested: z.ZodOptional<z.ZodBoolean>;
-        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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+        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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "capture_refused", "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"]>;
@@ -4011,7 +4352,7 @@ export declare const ControlTurnRunCard: z.ZodObject<{
         checks: "failed" | "not_configured" | "passed";
         review: "approved" | "blocked" | "not_run";
         review_requested?: boolean | undefined;
-        reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+        reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -4028,7 +4369,7 @@ export declare const ControlTurnRunCard: z.ZodObject<{
         checks?: "failed" | "not_configured" | "passed" | undefined;
         review?: "approved" | "blocked" | "not_run" | undefined;
         review_requested?: boolean | undefined;
-        reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+        reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -4102,7 +4443,7 @@ export declare const ControlTurnRunCard: z.ZodObject<{
         checks: "failed" | "not_configured" | "passed";
         review: "approved" | "blocked" | "not_run";
         review_requested?: boolean | undefined;
-        reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+        reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -4152,7 +4493,7 @@ export declare const ControlTurnRunCard: z.ZodObject<{
         checks?: "failed" | "not_configured" | "passed" | undefined;
         review?: "approved" | "blocked" | "not_run" | undefined;
         review_requested?: boolean | undefined;
-        reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+        reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
         work_state?: {
             state: "completed" | "incomplete" | "needs_input" | "unverified";
             source: "absent" | "constrained" | "validated";
@@ -4267,7 +4608,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
             review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
             review_requested: z.ZodOptional<z.ZodBoolean>;
-            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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+            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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "capture_refused", "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"]>;
@@ -4310,7 +4651,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks: "failed" | "not_configured" | "passed";
             review: "approved" | "blocked" | "not_run";
             review_requested?: boolean | undefined;
-            reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+            reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -4327,7 +4668,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks?: "failed" | "not_configured" | "passed" | undefined;
             review?: "approved" | "blocked" | "not_run" | undefined;
             review_requested?: boolean | undefined;
-            reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+            reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -4401,7 +4742,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks: "failed" | "not_configured" | "passed";
             review: "approved" | "blocked" | "not_run";
             review_requested?: boolean | undefined;
-            reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+            reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -4451,7 +4792,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks?: "failed" | "not_configured" | "passed" | undefined;
             review?: "approved" | "blocked" | "not_run" | undefined;
             review_requested?: boolean | undefined;
-            reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+            reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -4577,7 +4918,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks: "failed" | "not_configured" | "passed";
             review: "approved" | "blocked" | "not_run";
             review_requested?: boolean | undefined;
-            reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+            reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -4657,7 +4998,7 @@ export declare const ControlThreadTurn: z.ZodObject<{
             checks?: "failed" | "not_configured" | "passed" | undefined;
             review?: "approved" | "blocked" | "not_run" | undefined;
             review_requested?: boolean | undefined;
-            reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+            reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
             work_state?: {
                 state: "completed" | "incomplete" | "needs_input" | "unverified";
                 source: "absent" | "constrained" | "validated";
@@ -5057,7 +5398,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks: z.ZodDefault<z.ZodEnum<["passed", "failed", "not_configured"]>>;
                 review: z.ZodDefault<z.ZodEnum<["approved", "blocked", "not_run"]>>;
                 review_requested: z.ZodOptional<z.ZodBoolean>;
-                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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "input_required", "work_incomplete", "context_capacity_exhausted", "work_report_contract"]>>>;
+                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", "host_cancelled", "owner_task_gone", "crash_interrupted", "workspace_unavailable", "capture_refused", "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"]>;
@@ -5100,7 +5441,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks: "failed" | "not_configured" | "passed";
                 review: "approved" | "blocked" | "not_run";
                 review_requested?: boolean | undefined;
-                reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+                reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5117,7 +5458,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks?: "failed" | "not_configured" | "passed" | undefined;
                 review?: "approved" | "blocked" | "not_run" | undefined;
                 review_requested?: boolean | undefined;
-                reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+                reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5191,7 +5532,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks: "failed" | "not_configured" | "passed";
                 review: "approved" | "blocked" | "not_run";
                 review_requested?: boolean | undefined;
-                reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+                reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5241,7 +5582,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks?: "failed" | "not_configured" | "passed" | undefined;
                 review?: "approved" | "blocked" | "not_run" | undefined;
                 review_requested?: boolean | undefined;
-                reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+                reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5367,7 +5708,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks: "failed" | "not_configured" | "passed";
                 review: "approved" | "blocked" | "not_run";
                 review_requested?: boolean | undefined;
-                reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+                reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5447,7 +5788,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks?: "failed" | "not_configured" | "passed" | undefined;
                 review?: "approved" | "blocked" | "not_run" | undefined;
                 review_requested?: boolean | undefined;
-                reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+                reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5560,7 +5901,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks: "failed" | "not_configured" | "passed";
                 review: "approved" | "blocked" | "not_run";
                 review_requested?: boolean | undefined;
-                reason: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
+                reason: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";
@@ -5673,7 +6014,7 @@ export declare const ControlThreadDetail: z.ZodObject<{
                 checks?: "failed" | "not_configured" | "passed" | undefined;
                 review?: "approved" | "blocked" | "not_run" | undefined;
                 review_requested?: boolean | undefined;
-                reason?: "budget_exhausted" | "budget_overshoot" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
+                reason?: "budget_exhausted" | "budget_overshoot" | "capture_refused" | "checks_failed" | "context_capacity_exhausted" | "cost_unverifiable" | "crash_interrupted" | "harness_failed" | "host_cancelled" | "input_required" | "no_changes" | "not_converged" | "owner_task_gone" | "review_blocked" | "stuck_no_progress" | "user_cancelled" | "wall_clock_exceeded" | "work_incomplete" | "work_report_contract" | "workspace_unavailable" | null | undefined;
                 work_state?: {
                     state: "completed" | "incomplete" | "needs_input" | "unverified";
                     source: "absent" | "constrained" | "validated";