audit-tools 0.52.4 → 0.53.0

package/dist/shared/types/remediationOutcome.d.ts

@@ -1,5 +1,5 @@
 import { z } from "zod";
-export declare const RemediationOutcomeStatusSchema: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
+export declare const RemediationOutcomeStatusSchema: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "pending", "deferred", "verified_already_fixed", "refuted"]>;
 export type RemediationOutcomeStatus = z.infer<typeof RemediationOutcomeStatusSchema>;
 export declare const EVIDENCE_MECHANISM_KINDS: readonly ["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"];
 export declare const EvidenceMechanismKindSchema: z.ZodEnum<["red_green_test", "build_lint_gate", "read_at_head_verification", "read_at_head_refutation"]>;
@@ -274,6 +274,305 @@ export declare const MechanicalVerificationSchema: z.ZodObject<{
 export type MechanicalVerification = z.infer<typeof MechanicalVerificationSchema>;
 export declare const RemediationOutcomeSchema: z.ZodObject<{
     finding_id: z.ZodString;
+    finding: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        category: z.ZodString;
+        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+        severity_downgraded_from: z.ZodOptional<z.ZodEnum<["critical", "high", "medium", "low", "info"]>>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        lens: z.ZodString;
+        summary: z.ZodString;
+        affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            path: z.ZodString;
+            line_start: z.ZodOptional<z.ZodNumber>;
+            line_end: z.ZodOptional<z.ZodNumber>;
+            symbol: z.ZodOptional<z.ZodString>;
+            quoted_text: z.ZodOptional<z.ZodString>;
+            no_quotable_span: z.ZodOptional<z.ZodString>;
+            hash_at_plan_time: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }>, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }>, "many">;
+        impact: z.ZodOptional<z.ZodString>;
+        likelihood: z.ZodOptional<z.ZodString>;
+        evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        systemic: z.ZodOptional<z.ZodBoolean>;
+        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        theme_id: z.ZodOptional<z.ZodString>;
+        blast_radius: z.ZodOptional<z.ZodNumber>;
+        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+        grounding: z.ZodOptional<z.ZodObject<{
+            status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }>>;
+        evidence_lane: z.ZodOptional<z.ZodEnum<["per-file-lane", "design-review-lane"]>>;
+        verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
+        executable_anchor: z.ZodOptional<z.ZodObject<{
+            command: z.ZodArray<z.ZodString, "many">;
+            confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                kind: z.ZodLiteral<"exit_zero">;
+            }, "strip", z.ZodTypeAny, {
+                kind: "exit_zero";
+            }, {
+                kind: "exit_zero";
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"exit_nonzero">;
+            }, "strip", z.ZodTypeAny, {
+                kind: "exit_nonzero";
+            }, {
+                kind: "exit_nonzero";
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"output_includes">;
+                text: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                kind: "output_includes";
+                text: string;
+            }, {
+                kind: "output_includes";
+                text: string;
+            }>, z.ZodObject<{
+                kind: z.ZodLiteral<"output_excludes">;
+                text: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                kind: "output_excludes";
+                text: string;
+            }, {
+                kind: "output_excludes";
+                text: string;
+            }>]>;
+            claim: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        }, {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        }>>;
+        contract_goal_id: z.ZodOptional<z.ZodString>;
+        contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        analyzer_provenance: z.ZodOptional<z.ZodObject<{
+            analyzer_id: z.ZodString;
+            rule: z.ZodOptional<z.ZodString>;
+            path: z.ZodString;
+            snippet_hash: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        }, {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        }>>;
+        lead_lineage: z.ZodOptional<z.ZodObject<{
+            producer: z.ZodString;
+            source_hash: z.ZodString;
+            confirmation: z.ZodLiteral<"lead">;
+        }, "strict", z.ZodTypeAny, {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        }, {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "info" | "high" | "low" | "critical" | "medium";
+        lens: string;
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: string[] | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        blast_radius?: number | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | undefined;
+        evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+        executable_anchor?: {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        } | undefined;
+        contract_goal_id?: string | undefined;
+        contract_obligation_ids?: string[] | undefined;
+        verification_obligation_ids?: string[] | undefined;
+        targeted_commands?: string[] | undefined;
+        analyzer_provenance?: {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        } | undefined;
+        lead_lineage?: {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        } | undefined;
+    }, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "info" | "high" | "low" | "critical" | "medium";
+        lens: string;
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: string[] | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        blast_radius?: number | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | undefined;
+        evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+        executable_anchor?: {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        } | undefined;
+        contract_goal_id?: string | undefined;
+        contract_obligation_ids?: string[] | undefined;
+        verification_obligation_ids?: string[] | undefined;
+        targeted_commands?: string[] | undefined;
+        analyzer_provenance?: {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        } | undefined;
+        lead_lineage?: {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        } | undefined;
+    }>>;
+    unit_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    unit_dependencies: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    unit_statuses: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    final_status: z.ZodOptional<z.ZodEnum<["fixed", "failed", "skipped", "ignored", "pending", "deferred"]>>;
+    original_state: z.ZodOptional<z.ZodString>;
     conformance_review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
         requirement: z.ZodLiteral<"independent">;
         binding: z.ZodString;
@@ -325,7 +624,7 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
     lens: z.ZodString;
     /** Distinct file extensions of the finding's affected files (e.g. [".ts"]). */
     file_exts: z.ZodArray<z.ZodString, "many">;
-    outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
+    outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "pending", "deferred", "verified_already_fixed", "refuted"]>;
     /** How many times the item was sent back for rework before this outcome. */
     rework_count: z.ZodNumber;
     /** The run's closing-action status (e.g. "success", "failed"). */
@@ -391,13 +690,14 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
      */
     recorded_by_module: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
-    outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+    outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
     lens: string;
     finding_id: string;
     file_exts: string[];
     rework_count: number;
     closing_status: string;
     reason?: string | undefined;
+    unit_ids?: string[] | undefined;
     evidence?: {
         line: string;
         file: string;
@@ -414,6 +714,74 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
         binding: string;
     } | undefined;
     duration_ms?: number | undefined;
+    finding?: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "info" | "high" | "low" | "critical" | "medium";
+        lens: string;
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: string[] | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        blast_radius?: number | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | undefined;
+        evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+        executable_anchor?: {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        } | undefined;
+        contract_goal_id?: string | undefined;
+        contract_obligation_ids?: string[] | undefined;
+        verification_obligation_ids?: string[] | undefined;
+        targeted_commands?: string[] | undefined;
+        analyzer_provenance?: {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        } | undefined;
+        lead_lineage?: {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        } | undefined;
+    } | undefined;
+    unit_dependencies?: string[] | undefined;
+    unit_statuses?: Record<string, string> | undefined;
+    final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+    original_state?: string | undefined;
     closing_status_reason?: string | undefined;
     started_at?: string | undefined;
     completed_at?: string | undefined;
@@ -424,13 +792,14 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
     } | undefined;
     recorded_by_module?: string | undefined;
 }, {
-    outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+    outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
     lens: string;
     finding_id: string;
     file_exts: string[];
     rework_count: number;
     closing_status: string;
     reason?: string | undefined;
+    unit_ids?: string[] | undefined;
     evidence?: {
         line: string;
         file: string;
@@ -447,6 +816,74 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
         binding: string;
     } | undefined;
     duration_ms?: number | undefined;
+    finding?: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "info" | "high" | "low" | "critical" | "medium";
+        lens: string;
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            no_quotable_span?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: string[] | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        blast_radius?: number | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | undefined;
+        evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+        executable_anchor?: {
+            command: string[];
+            confirm_if: {
+                kind: "exit_zero";
+            } | {
+                kind: "exit_nonzero";
+            } | {
+                kind: "output_includes";
+                text: string;
+            } | {
+                kind: "output_excludes";
+                text: string;
+            };
+            claim?: string | undefined;
+        } | undefined;
+        contract_goal_id?: string | undefined;
+        contract_obligation_ids?: string[] | undefined;
+        verification_obligation_ids?: string[] | undefined;
+        targeted_commands?: string[] | undefined;
+        analyzer_provenance?: {
+            path: string;
+            analyzer_id: string;
+            snippet_hash: string;
+            rule?: string | undefined;
+        } | undefined;
+        lead_lineage?: {
+            producer: string;
+            source_hash: string;
+            confirmation: "lead";
+        } | undefined;
+    } | undefined;
+    unit_dependencies?: string[] | undefined;
+    unit_statuses?: Record<string, string> | undefined;
+    final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+    original_state?: string | undefined;
     closing_status_reason?: string | undefined;
     started_at?: string | undefined;
     completed_at?: string | undefined;
@@ -458,8 +895,114 @@ export declare const RemediationOutcomeSchema: z.ZodObject<{
     recorded_by_module?: string | undefined;
 }>;
 export type RemediationOutcome = z.infer<typeof RemediationOutcomeSchema>;
+export declare const ExecutionOutcomeSchema: z.ZodObject<{
+    unit_id: z.ZodString;
+    title: z.ZodString;
+    source_finding_ids: z.ZodArray<z.ZodString, "many">;
+    status: z.ZodString;
+    required_tests: z.ZodArray<z.ZodString, "many">;
+    evidence: z.ZodArray<z.ZodString, "many">;
+    rework_count: z.ZodNumber;
+    landed_commit: z.ZodOptional<z.ZodString>;
+    landed_files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    reason: z.ZodOptional<z.ZodString>;
+    started_at: z.ZodOptional<z.ZodString>;
+    completed_at: z.ZodOptional<z.ZodString>;
+    conformance_review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+        requirement: z.ZodLiteral<"independent">;
+        binding: z.ZodString;
+        review: z.ZodObject<{
+            mode: z.ZodEnum<["independent", "degraded", "unavailable"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        }, {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        }>;
+        summary: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    }, {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    }>, {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    }, {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    status: string;
+    unit_id: string;
+    title: string;
+    evidence: string[];
+    source_finding_ids: string[];
+    required_tests: string[];
+    rework_count: number;
+    reason?: string | undefined;
+    conformance_review?: {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    } | undefined;
+    started_at?: string | undefined;
+    completed_at?: string | undefined;
+    landed_commit?: string | undefined;
+    landed_files?: string[] | undefined;
+}, {
+    status: string;
+    unit_id: string;
+    title: string;
+    evidence: string[];
+    source_finding_ids: string[];
+    required_tests: string[];
+    rework_count: number;
+    reason?: string | undefined;
+    conformance_review?: {
+        summary: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "independent";
+        binding: string;
+    } | undefined;
+    started_at?: string | undefined;
+    completed_at?: string | undefined;
+    landed_commit?: string | undefined;
+    landed_files?: string[] | undefined;
+}>;
+export declare const REMEDIATION_OUTCOMES_CONTRACT_VERSION: "remediate-code-outcomes/v2";
 export declare const RemediationOutcomesReportSchema: z.ZodObject<{
-    contract_version: z.ZodString;
+    contract_version: z.ZodLiteral<"remediate-code-outcomes/v2">;
     total: z.ZodNumber;
     by_outcome: z.ZodObject<{
         resolved: z.ZodNumber;
@@ -467,23 +1010,29 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         inappropriate: z.ZodNumber;
         ignored: z.ZodNumber;
         blocked: z.ZodNumber;
+        pending: z.ZodNumber;
+        deferred: z.ZodNumber;
         verified_already_fixed: z.ZodNumber;
         refuted: z.ZodNumber;
     }, "strict", z.ZodTypeAny, {
         refuted: number;
+        deferred: number;
         resolved: number;
         verified_no_change: number;
         inappropriate: number;
         ignored: number;
         blocked: number;
+        pending: number;
         verified_already_fixed: number;
     }, {
         refuted: number;
+        deferred: number;
         resolved: number;
         verified_no_change: number;
         inappropriate: number;
         ignored: number;
         blocked: number;
+        pending: number;
         verified_already_fixed: number;
     }>;
     by_lens: z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -492,23 +1041,29 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         inappropriate: z.ZodOptional<z.ZodNumber>;
         ignored: z.ZodOptional<z.ZodNumber>;
         blocked: z.ZodOptional<z.ZodNumber>;
+        pending: z.ZodOptional<z.ZodNumber>;
+        deferred: z.ZodOptional<z.ZodNumber>;
         verified_already_fixed: z.ZodOptional<z.ZodNumber>;
         refuted: z.ZodOptional<z.ZodNumber>;
     }, "strict", z.ZodTypeAny, {
         refuted?: number | undefined;
+        deferred?: number | undefined;
         resolved?: number | undefined;
         verified_no_change?: number | undefined;
         inappropriate?: number | undefined;
         ignored?: number | undefined;
         blocked?: number | undefined;
+        pending?: number | undefined;
         verified_already_fixed?: number | undefined;
     }, {
         refuted?: number | undefined;
+        deferred?: number | undefined;
         resolved?: number | undefined;
         verified_no_change?: number | undefined;
         inappropriate?: number | undefined;
         ignored?: number | undefined;
         blocked?: number | undefined;
+        pending?: number | undefined;
         verified_already_fixed?: number | undefined;
     }>>;
     /** Earliest item started_at across all outcomes. */
@@ -689,6 +1244,305 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
     }>, "many">>;
     outcomes: z.ZodArray<z.ZodObject<{
         finding_id: z.ZodString;
+        finding: z.ZodOptional<z.ZodObject<{
+            id: z.ZodString;
+            title: z.ZodString;
+            category: z.ZodString;
+            severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+            severity_downgraded_from: z.ZodOptional<z.ZodEnum<["critical", "high", "medium", "low", "info"]>>;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            lens: z.ZodString;
+            summary: z.ZodString;
+            affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
+                path: z.ZodString;
+                line_start: z.ZodOptional<z.ZodNumber>;
+                line_end: z.ZodOptional<z.ZodNumber>;
+                symbol: z.ZodOptional<z.ZodString>;
+                quoted_text: z.ZodOptional<z.ZodString>;
+                no_quotable_span: z.ZodOptional<z.ZodString>;
+                hash_at_plan_time: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }, {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }>, {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }, {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }>, "many">;
+            impact: z.ZodOptional<z.ZodString>;
+            likelihood: z.ZodOptional<z.ZodString>;
+            evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            systemic: z.ZodOptional<z.ZodBoolean>;
+            related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            theme_id: z.ZodOptional<z.ZodString>;
+            blast_radius: z.ZodOptional<z.ZodNumber>;
+            evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+            grounding: z.ZodOptional<z.ZodObject<{
+                status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+                reason: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            }, {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            }>>;
+            evidence_lane: z.ZodOptional<z.ZodEnum<["per-file-lane", "design-review-lane"]>>;
+            verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
+            executable_anchor: z.ZodOptional<z.ZodObject<{
+                command: z.ZodArray<z.ZodString, "many">;
+                confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+                    kind: z.ZodLiteral<"exit_zero">;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "exit_zero";
+                }, {
+                    kind: "exit_zero";
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"exit_nonzero">;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "exit_nonzero";
+                }, {
+                    kind: "exit_nonzero";
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"output_includes">;
+                    text: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "output_includes";
+                    text: string;
+                }, {
+                    kind: "output_includes";
+                    text: string;
+                }>, z.ZodObject<{
+                    kind: z.ZodLiteral<"output_excludes">;
+                    text: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    kind: "output_excludes";
+                    text: string;
+                }, {
+                    kind: "output_excludes";
+                    text: string;
+                }>]>;
+                claim: z.ZodOptional<z.ZodString>;
+            }, "strip", z.ZodTypeAny, {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            }, {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            }>>;
+            contract_goal_id: z.ZodOptional<z.ZodString>;
+            contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            analyzer_provenance: z.ZodOptional<z.ZodObject<{
+                analyzer_id: z.ZodString;
+                rule: z.ZodOptional<z.ZodString>;
+                path: z.ZodString;
+                snippet_hash: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            }, {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            }>>;
+            lead_lineage: z.ZodOptional<z.ZodObject<{
+                producer: z.ZodString;
+                source_hash: z.ZodString;
+                confirmation: z.ZodLiteral<"lead">;
+            }, "strict", z.ZodTypeAny, {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            }, {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        }, {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        }>>;
+        unit_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        unit_dependencies: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        unit_statuses: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        final_status: z.ZodOptional<z.ZodEnum<["fixed", "failed", "skipped", "ignored", "pending", "deferred"]>>;
+        original_state: z.ZodOptional<z.ZodString>;
         conformance_review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
             requirement: z.ZodLiteral<"independent">;
             binding: z.ZodString;
@@ -740,7 +1594,7 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         lens: z.ZodString;
         /** Distinct file extensions of the finding's affected files (e.g. [".ts"]). */
         file_exts: z.ZodArray<z.ZodString, "many">;
-        outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "verified_already_fixed", "refuted"]>;
+        outcome: z.ZodEnum<["resolved", "verified_no_change", "inappropriate", "ignored", "blocked", "pending", "deferred", "verified_already_fixed", "refuted"]>;
         /** How many times the item was sent back for rework before this outcome. */
         rework_count: z.ZodNumber;
         /** The run's closing-action status (e.g. "success", "failed"). */
@@ -806,13 +1660,14 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
          */
         recorded_by_module: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
-        outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+        outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
         lens: string;
         finding_id: string;
         file_exts: string[];
         rework_count: number;
         closing_status: string;
         reason?: string | undefined;
+        unit_ids?: string[] | undefined;
         evidence?: {
             line: string;
             file: string;
@@ -829,6 +1684,74 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
             binding: string;
         } | undefined;
         duration_ms?: number | undefined;
+        finding?: {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        } | undefined;
+        unit_dependencies?: string[] | undefined;
+        unit_statuses?: Record<string, string> | undefined;
+        final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+        original_state?: string | undefined;
         closing_status_reason?: string | undefined;
         started_at?: string | undefined;
         completed_at?: string | undefined;
@@ -839,13 +1762,14 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         } | undefined;
         recorded_by_module?: string | undefined;
     }, {
-        outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+        outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
         lens: string;
         finding_id: string;
         file_exts: string[];
         rework_count: number;
         closing_status: string;
         reason?: string | undefined;
+        unit_ids?: string[] | undefined;
         evidence?: {
             line: string;
             file: string;
@@ -862,6 +1786,74 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
             binding: string;
         } | undefined;
         duration_ms?: number | undefined;
+        finding?: {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        } | undefined;
+        unit_dependencies?: string[] | undefined;
+        unit_statuses?: Record<string, string> | undefined;
+        final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+        original_state?: string | undefined;
         closing_status_reason?: string | undefined;
         started_at?: string | undefined;
         completed_at?: string | undefined;
@@ -872,25 +1864,177 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         } | undefined;
         recorded_by_module?: string | undefined;
     }>, "many">;
+    execution_outcomes: z.ZodArray<z.ZodObject<{
+        unit_id: z.ZodString;
+        title: z.ZodString;
+        source_finding_ids: z.ZodArray<z.ZodString, "many">;
+        status: z.ZodString;
+        required_tests: z.ZodArray<z.ZodString, "many">;
+        evidence: z.ZodArray<z.ZodString, "many">;
+        rework_count: z.ZodNumber;
+        landed_commit: z.ZodOptional<z.ZodString>;
+        landed_files: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        reason: z.ZodOptional<z.ZodString>;
+        started_at: z.ZodOptional<z.ZodString>;
+        completed_at: z.ZodOptional<z.ZodString>;
+        conformance_review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            requirement: z.ZodLiteral<"independent">;
+            binding: z.ZodString;
+            review: z.ZodObject<{
+                mode: z.ZodEnum<["independent", "degraded", "unavailable"]>;
+                reason: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            }, {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            }>;
+            summary: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        }, {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        }>, {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        }, {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        status: string;
+        unit_id: string;
+        title: string;
+        evidence: string[];
+        source_finding_ids: string[];
+        required_tests: string[];
+        rework_count: number;
+        reason?: string | undefined;
+        conformance_review?: {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        } | undefined;
+        started_at?: string | undefined;
+        completed_at?: string | undefined;
+        landed_commit?: string | undefined;
+        landed_files?: string[] | undefined;
+    }, {
+        status: string;
+        unit_id: string;
+        title: string;
+        evidence: string[];
+        source_finding_ids: string[];
+        required_tests: string[];
+        rework_count: number;
+        reason?: string | undefined;
+        conformance_review?: {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        } | undefined;
+        started_at?: string | undefined;
+        completed_at?: string | undefined;
+        landed_commit?: string | undefined;
+        landed_files?: string[] | undefined;
+    }>, "many">;
+    objective: z.ZodOptional<z.ZodString>;
+    request: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        text: z.ZodString;
+        source_paths: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        text: string;
+        source_paths: string[];
+    }, {
+        id: string;
+        text: string;
+        source_paths: string[];
+    }>>;
+    request_disposition: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["already_satisfied", "deferred"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }, {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    }>>;
+    request_outcome: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["resolved", "already_satisfied", "ignored", "pending", "deferred", "blocked"]>;
+        reason: z.ZodString;
+        evidence: z.ZodArray<z.ZodString, "many">;
+        unit_ids: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        status: "deferred" | "already_satisfied" | "resolved" | "ignored" | "blocked" | "pending";
+        reason: string;
+        unit_ids: string[];
+        evidence: string[];
+    }, {
+        status: "deferred" | "already_satisfied" | "resolved" | "ignored" | "blocked" | "pending";
+        reason: string;
+        unit_ids: string[];
+        evidence: string[];
+    }>>;
 }, "strip", z.ZodTypeAny, {
-    contract_version: string;
+    contract_version: "remediate-code-outcomes/v2";
     total: number;
     by_outcome: {
         refuted: number;
+        deferred: number;
         resolved: number;
         verified_no_change: number;
         inappropriate: number;
         ignored: number;
         blocked: number;
+        pending: number;
         verified_already_fixed: number;
     };
     by_lens: Record<string, {
         refuted?: number | undefined;
+        deferred?: number | undefined;
         resolved?: number | undefined;
         verified_no_change?: number | undefined;
         inappropriate?: number | undefined;
         ignored?: number | undefined;
         blocked?: number | undefined;
+        pending?: number | undefined;
         verified_already_fixed?: number | undefined;
     }>;
     final_gate: {
@@ -919,13 +2063,14 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         dropped_lines: number;
     };
     outcomes: {
-        outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+        outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
         lens: string;
         finding_id: string;
         file_exts: string[];
         rework_count: number;
         closing_status: string;
         reason?: string | undefined;
+        unit_ids?: string[] | undefined;
         evidence?: {
             line: string;
             file: string;
@@ -942,6 +2087,74 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
             binding: string;
         } | undefined;
         duration_ms?: number | undefined;
+        finding?: {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        } | undefined;
+        unit_dependencies?: string[] | undefined;
+        unit_statuses?: Record<string, string> | undefined;
+        final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+        original_state?: string | undefined;
         closing_status_reason?: string | undefined;
         started_at?: string | undefined;
         completed_at?: string | undefined;
@@ -952,7 +2165,36 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         } | undefined;
         recorded_by_module?: string | undefined;
     }[];
+    execution_outcomes: {
+        status: string;
+        unit_id: string;
+        title: string;
+        evidence: string[];
+        source_finding_ids: string[];
+        required_tests: string[];
+        rework_count: number;
+        reason?: string | undefined;
+        conformance_review?: {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        } | undefined;
+        started_at?: string | undefined;
+        completed_at?: string | undefined;
+        landed_commit?: string | undefined;
+        landed_files?: string[] | undefined;
+    }[];
     duration_ms?: number | undefined;
+    objective?: string | undefined;
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
     started_at?: string | undefined;
     completed_at?: string | undefined;
     contract_reviews?: {
@@ -966,25 +2208,40 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         reviewed_content_hash: string;
         artifact: string;
     }[] | undefined;
+    request?: {
+        id: string;
+        text: string;
+        source_paths: string[];
+    } | undefined;
+    request_outcome?: {
+        status: "deferred" | "already_satisfied" | "resolved" | "ignored" | "blocked" | "pending";
+        reason: string;
+        unit_ids: string[];
+        evidence: string[];
+    } | undefined;
 }, {
-    contract_version: string;
+    contract_version: "remediate-code-outcomes/v2";
     total: number;
     by_outcome: {
         refuted: number;
+        deferred: number;
         resolved: number;
         verified_no_change: number;
         inappropriate: number;
         ignored: number;
         blocked: number;
+        pending: number;
         verified_already_fixed: number;
     };
     by_lens: Record<string, {
         refuted?: number | undefined;
+        deferred?: number | undefined;
         resolved?: number | undefined;
         verified_no_change?: number | undefined;
         inappropriate?: number | undefined;
         ignored?: number | undefined;
         blocked?: number | undefined;
+        pending?: number | undefined;
         verified_already_fixed?: number | undefined;
     }>;
     final_gate: {
@@ -1013,13 +2270,14 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         dropped_lines: number;
     };
     outcomes: {
-        outcome: "refuted" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "verified_already_fixed";
+        outcome: "refuted" | "deferred" | "resolved" | "verified_no_change" | "inappropriate" | "ignored" | "blocked" | "pending" | "verified_already_fixed";
         lens: string;
         finding_id: string;
         file_exts: string[];
         rework_count: number;
         closing_status: string;
         reason?: string | undefined;
+        unit_ids?: string[] | undefined;
         evidence?: {
             line: string;
             file: string;
@@ -1036,6 +2294,74 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
             binding: string;
         } | undefined;
         duration_ms?: number | undefined;
+        finding?: {
+            id: string;
+            confidence: "high" | "low" | "medium";
+            title: string;
+            category: string;
+            severity: "info" | "high" | "low" | "critical" | "medium";
+            lens: string;
+            summary: string;
+            affected_files: {
+                path: string;
+                symbol?: string | undefined;
+                line_start?: number | undefined;
+                line_end?: number | undefined;
+                quoted_text?: string | undefined;
+                no_quotable_span?: string | undefined;
+                hash_at_plan_time?: string | undefined;
+            }[];
+            severity_downgraded_from?: "info" | "high" | "low" | "critical" | "medium" | undefined;
+            impact?: string | undefined;
+            likelihood?: string | undefined;
+            evidence?: string[] | undefined;
+            reproduction?: string[] | undefined;
+            systemic?: boolean | undefined;
+            related_findings?: string[] | undefined;
+            theme_id?: string | undefined;
+            blast_radius?: number | undefined;
+            evidence_grounded?: boolean | undefined;
+            grounding?: {
+                status: "grounded" | "ungrounded" | "refuted";
+                reason?: string | undefined;
+            } | undefined;
+            evidence_lane?: "per-file-lane" | "design-review-lane" | undefined;
+            verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
+            executable_anchor?: {
+                command: string[];
+                confirm_if: {
+                    kind: "exit_zero";
+                } | {
+                    kind: "exit_nonzero";
+                } | {
+                    kind: "output_includes";
+                    text: string;
+                } | {
+                    kind: "output_excludes";
+                    text: string;
+                };
+                claim?: string | undefined;
+            } | undefined;
+            contract_goal_id?: string | undefined;
+            contract_obligation_ids?: string[] | undefined;
+            verification_obligation_ids?: string[] | undefined;
+            targeted_commands?: string[] | undefined;
+            analyzer_provenance?: {
+                path: string;
+                analyzer_id: string;
+                snippet_hash: string;
+                rule?: string | undefined;
+            } | undefined;
+            lead_lineage?: {
+                producer: string;
+                source_hash: string;
+                confirmation: "lead";
+            } | undefined;
+        } | undefined;
+        unit_dependencies?: string[] | undefined;
+        unit_statuses?: Record<string, string> | undefined;
+        final_status?: "fixed" | "deferred" | "ignored" | "pending" | "skipped" | "failed" | undefined;
+        original_state?: string | undefined;
         closing_status_reason?: string | undefined;
         started_at?: string | undefined;
         completed_at?: string | undefined;
@@ -1046,7 +2372,36 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         } | undefined;
         recorded_by_module?: string | undefined;
     }[];
+    execution_outcomes: {
+        status: string;
+        unit_id: string;
+        title: string;
+        evidence: string[];
+        source_finding_ids: string[];
+        required_tests: string[];
+        rework_count: number;
+        reason?: string | undefined;
+        conformance_review?: {
+            summary: string;
+            review: {
+                reason: string;
+                mode: "degraded" | "independent" | "unavailable";
+            };
+            requirement: "independent";
+            binding: string;
+        } | undefined;
+        started_at?: string | undefined;
+        completed_at?: string | undefined;
+        landed_commit?: string | undefined;
+        landed_files?: string[] | undefined;
+    }[];
     duration_ms?: number | undefined;
+    objective?: string | undefined;
+    request_disposition?: {
+        status: "deferred" | "already_satisfied";
+        reason: string;
+        evidence: string[];
+    } | undefined;
     started_at?: string | undefined;
     completed_at?: string | undefined;
     contract_reviews?: {
@@ -1060,6 +2415,17 @@ export declare const RemediationOutcomesReportSchema: z.ZodObject<{
         reviewed_content_hash: string;
         artifact: string;
     }[] | undefined;
+    request?: {
+        id: string;
+        text: string;
+        source_paths: string[];
+    } | undefined;
+    request_outcome?: {
+        status: "deferred" | "already_satisfied" | "resolved" | "ignored" | "blocked" | "pending";
+        reason: string;
+        unit_ids: string[];
+        evidence: string[];
+    } | undefined;
 }>;
 export type RemediationOutcomesReport = z.infer<typeof RemediationOutcomesReportSchema>;
 //# sourceMappingURL=remediationOutcome.d.ts.map