audit-tools 0.52.5 → 0.54.0

package/dist/remediate/contractPipeline/executionPlan.d.ts

@@ -0,0 +1,1908 @@
+import { z } from "zod";
+import { type ExecutableChangePlan } from "../../shared/types/executionPlan.js";
+export declare const PlanSourceSchema: z.ZodObject<{
+    plan_id: z.ZodString;
+    findings: z.ZodArray<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;
+    }>, "many">;
+    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[];
+    }>>;
+    audit_read: z.ZodNullable<z.ZodObject<{
+        commit: z.ZodString;
+        dirty_paths: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        commit: string;
+        dirty_paths: string[];
+    }, {
+        commit: string;
+        dirty_paths: string[];
+    }>>;
+    sources: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        sha256: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string;
+    }, {
+        path: string;
+        sha256: string;
+    }>, "many">;
+    intent: z.ZodOptional<z.ZodObject<Omit<{
+        schema_version: z.ZodLiteral<"intent-checkpoint/v1">;
+        confirmed_at: z.ZodString;
+        confirmed_by: z.ZodLiteral<"host">;
+        scope_summary: z.ZodString;
+        intent_summary: z.ZodString;
+        free_form_intent: z.ZodOptional<z.ZodString>;
+        conformance_review: z.ZodOptional<z.ZodBoolean>;
+        excluded_scope: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            reason: string;
+        }, {
+            path: string;
+            reason: string;
+        }>, "many">>;
+        must_not_touch: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        filters: z.ZodOptional<z.ZodObject<{
+            severity: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            lenses: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            packages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            themes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        }, {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        }>>;
+        closing_action: z.ZodOptional<z.ZodEnum<["commit", "push", "open-pr", "publish", "tag", "none", "custom"]>>;
+        closing_custom_command: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        constraint_clauses: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            clause_id: z.ZodOptional<z.ZodString>;
+            text: z.ZodString;
+            checkpoint_question: z.ZodString;
+            host_answer: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }, {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }>, "many">>;
+        disposition_overrides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            status: z.ZodEnum<["included", "excluded", "generated", "vendor", "binary", "doc_only"]>;
+            reason: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }, {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }>, "many">>;
+        lens_selection: z.ZodOptional<z.ZodObject<{
+            include: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            exclude: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        }, {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        }>>;
+        design_review: z.ZodOptional<z.ZodEffects<z.ZodObject<{
+            answered_at: z.ZodOptional<z.ZodString>;
+            conceptual_depth: z.ZodOptional<z.ZodEnum<["shallow", "deep"]>>;
+            perspectives: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodString, z.ZodObject<{
+                name: z.ZodString;
+                lens: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                name: string;
+                lens: string;
+            }, {
+                name: string;
+                lens: string;
+            }>]>, "many">, (string | {
+                name: string;
+                lens: string;
+            })[], (string | {
+                name: string;
+                lens: string;
+            })[]>]>>;
+            ceiling: z.ZodOptional<z.ZodObject<{
+                rung: z.ZodEnum<["shallow", "deep", "deepest"]>;
+                explicit_opt_in: z.ZodOptional<z.ZodBoolean>;
+            }, "strict", z.ZodTypeAny, {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            }, {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            }>>;
+            attention: z.ZodOptional<z.ZodUnion<[z.ZodNumber, z.ZodLiteral<"all">]>>;
+        }, "strict", z.ZodTypeAny, {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        }, {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        }>, {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        }, {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        }>>;
+    }, "confirmed_at" | "conformance_review" | "closing_action" | "closing_custom_command">, "strict", z.ZodTypeAny, {
+        schema_version: "intent-checkpoint/v1";
+        confirmed_by: "host";
+        scope_summary: string;
+        intent_summary: string;
+        excluded_scope?: {
+            path: string;
+            reason: string;
+        }[] | undefined;
+        free_form_intent?: string | undefined;
+        must_not_touch?: string[] | undefined;
+        filters?: {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        } | undefined;
+        constraint_clauses?: {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }[] | undefined;
+        disposition_overrides?: {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }[] | undefined;
+        lens_selection?: {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        } | undefined;
+        design_review?: {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        } | undefined;
+    }, {
+        schema_version: "intent-checkpoint/v1";
+        confirmed_by: "host";
+        scope_summary: string;
+        intent_summary: string;
+        excluded_scope?: {
+            path: string;
+            reason: string;
+        }[] | undefined;
+        free_form_intent?: string | undefined;
+        must_not_touch?: string[] | undefined;
+        filters?: {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        } | undefined;
+        constraint_clauses?: {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }[] | undefined;
+        disposition_overrides?: {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }[] | undefined;
+        lens_selection?: {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        } | undefined;
+        design_review?: {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        } | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    findings: {
+        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;
+    }[];
+    audit_read: {
+        commit: string;
+        dirty_paths: string[];
+    } | null;
+    plan_id: string;
+    sources: {
+        path: string;
+        sha256: string;
+    }[];
+    intent?: {
+        schema_version: "intent-checkpoint/v1";
+        confirmed_by: "host";
+        scope_summary: string;
+        intent_summary: string;
+        excluded_scope?: {
+            path: string;
+            reason: string;
+        }[] | undefined;
+        free_form_intent?: string | undefined;
+        must_not_touch?: string[] | undefined;
+        filters?: {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        } | undefined;
+        constraint_clauses?: {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }[] | undefined;
+        disposition_overrides?: {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }[] | undefined;
+        lens_selection?: {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        } | undefined;
+        design_review?: {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        } | undefined;
+    } | undefined;
+    request?: {
+        id: string;
+        text: string;
+        source_paths: string[];
+    } | undefined;
+}, {
+    findings: {
+        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;
+    }[];
+    audit_read: {
+        commit: string;
+        dirty_paths: string[];
+    } | null;
+    plan_id: string;
+    sources: {
+        path: string;
+        sha256: string;
+    }[];
+    intent?: {
+        schema_version: "intent-checkpoint/v1";
+        confirmed_by: "host";
+        scope_summary: string;
+        intent_summary: string;
+        excluded_scope?: {
+            path: string;
+            reason: string;
+        }[] | undefined;
+        free_form_intent?: string | undefined;
+        must_not_touch?: string[] | undefined;
+        filters?: {
+            lenses?: string[] | undefined;
+            severity?: string[] | undefined;
+            themes?: string[] | undefined;
+            packages?: string[] | undefined;
+        } | undefined;
+        constraint_clauses?: {
+            text: string;
+            checkpoint_question: string;
+            clause_id?: string | undefined;
+            host_answer?: string | undefined;
+        }[] | undefined;
+        disposition_overrides?: {
+            path: string;
+            status: "binary" | "included" | "excluded" | "generated" | "vendor" | "doc_only";
+            reason: string;
+        }[] | undefined;
+        lens_selection?: {
+            include?: string[] | undefined;
+            exclude?: string[] | undefined;
+        } | undefined;
+        design_review?: {
+            answered_at?: string | undefined;
+            conceptual_depth?: "shallow" | "deep" | undefined;
+            perspectives?: number | (string | {
+                name: string;
+                lens: string;
+            })[] | undefined;
+            ceiling?: {
+                rung: "shallow" | "deep" | "deepest";
+                explicit_opt_in?: boolean | undefined;
+            } | undefined;
+            attention?: number | "all" | undefined;
+        } | undefined;
+    } | undefined;
+    request?: {
+        id: string;
+        text: string;
+        source_paths: string[];
+    } | undefined;
+}>;
+export type PlanSource = z.infer<typeof PlanSourceSchema>;
+export declare function readExecutionIntent(artifactsDir: string): Promise<PlanSource["intent"]>;
+export declare const PlanSubmissionSchema: z.ZodObject<{
+    base_revision_sha256: z.ZodNullable<z.ZodString>;
+    plan: z.ZodObject<{
+        plan_id: z.ZodString;
+        objective: z.ZodString;
+        non_goals: z.ZodArray<z.ZodString, "many">;
+        requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodString;
+            source_finding_ids: z.ZodArray<z.ZodString, "many">;
+            change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+            assertions: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<["positive", "negative"]>;
+                description: z.ZodString;
+                scope_paths: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }, {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }>, "many">;
+            inapplicable_reason: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }>, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }>, "many">;
+        units: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            title: z.ZodString;
+            description: z.ZodString;
+            source_finding_ids: z.ZodArray<z.ZodString, "many">;
+            requirement_ids: z.ZodArray<z.ZodString, "many">;
+            dependencies: z.ZodArray<z.ZodString, "many">;
+            phase_ordinal: z.ZodOptional<z.ZodNumber>;
+            read_paths: z.ZodArray<z.ZodString, "many">;
+            allowed_files: z.ZodArray<z.ZodString, "many">;
+            required_tests: z.ZodArray<z.ZodString, "many">;
+            affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                description: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                name: string;
+                description: string;
+            }, {
+                name: string;
+                description: string;
+            }>, "many">>;
+            addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }, {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }>, "many">;
+        source_dispositions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            finding_id: z.ZodString;
+            status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }, {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }>, "many">>;
+        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[];
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }[];
+        source_dispositions: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[];
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    }, {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }[];
+        source_dispositions?: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[] | undefined;
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    }>;
+    retired_requirements: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        reason: z.ZodString;
+        replaced_by: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        reason: string;
+        id: string;
+        replaced_by: string[];
+    }, {
+        reason: string;
+        id: string;
+        replaced_by: string[];
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    plan: {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }[];
+        source_dispositions: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[];
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    };
+    base_revision_sha256: string | null;
+    retired_requirements: {
+        reason: string;
+        id: string;
+        replaced_by: string[];
+    }[];
+}, {
+    plan: {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }[];
+        source_dispositions?: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[] | undefined;
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    };
+    base_revision_sha256: string | null;
+    retired_requirements?: {
+        reason: string;
+        id: string;
+        replaced_by: string[];
+    }[] | undefined;
+}>;
+export declare const CanonicalPlanSchema: z.ZodObject<{
+    contract_version: z.ZodLiteral<"remediate-code-executable-plan/v1">;
+    revision_sha256: z.ZodString;
+    source_sha256: z.ZodString;
+    context_files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        sha256: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        sha256: string | null;
+    }, {
+        path: string;
+        sha256: string | null;
+    }>, "many">;
+    plan: z.ZodObject<{
+        plan_id: z.ZodString;
+        objective: z.ZodString;
+        non_goals: z.ZodArray<z.ZodString, "many">;
+        requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            id: z.ZodString;
+            description: z.ZodString;
+            source_finding_ids: z.ZodArray<z.ZodString, "many">;
+            change_kind: z.ZodEnum<["behavior_change", "addition", "structural"]>;
+            assertions: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<["positive", "negative"]>;
+                description: z.ZodString;
+                scope_paths: z.ZodArray<z.ZodString, "many">;
+            }, "strict", z.ZodTypeAny, {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }, {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }>, "many">;
+            inapplicable_reason: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }>, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }, {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }>, "many">;
+        units: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            title: z.ZodString;
+            description: z.ZodString;
+            source_finding_ids: z.ZodArray<z.ZodString, "many">;
+            requirement_ids: z.ZodArray<z.ZodString, "many">;
+            dependencies: z.ZodArray<z.ZodString, "many">;
+            phase_ordinal: z.ZodOptional<z.ZodNumber>;
+            read_paths: z.ZodArray<z.ZodString, "many">;
+            allowed_files: z.ZodArray<z.ZodString, "many">;
+            required_tests: z.ZodArray<z.ZodString, "many">;
+            affected_interfaces: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                description: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                name: string;
+                description: string;
+            }, {
+                name: string;
+                description: string;
+            }>, "many">>;
+            addresses_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }, {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }>, "many">;
+        source_dispositions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            finding_id: z.ZodString;
+            status: z.ZodEnum<["already_fixed", "refuted", "deferred"]>;
+            reason: z.ZodString;
+            evidence: z.ZodArray<z.ZodString, "many">;
+        }, "strict", z.ZodTypeAny, {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }, {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }>, "many">>;
+        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[];
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }[];
+        source_dispositions: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[];
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    }, {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }[];
+        source_dispositions?: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[] | undefined;
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    contract_version: "remediate-code-executable-plan/v1";
+    plan: {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            affected_interfaces: {
+                name: string;
+                description: string;
+            }[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+        }[];
+        source_dispositions: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[];
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    };
+    revision_sha256: string;
+    source_sha256: string;
+    context_files: {
+        path: string;
+        sha256: string | null;
+    }[];
+}, {
+    contract_version: "remediate-code-executable-plan/v1";
+    plan: {
+        plan_id: string;
+        objective: string;
+        non_goals: string[];
+        requirements: {
+            id: string;
+            description: string;
+            source_finding_ids: string[];
+            change_kind: "structural" | "behavior_change" | "addition";
+            assertions: {
+                kind: "positive" | "negative";
+                description: string;
+                scope_paths: string[];
+            }[];
+            inapplicable_reason?: string | undefined;
+        }[];
+        units: {
+            id: string;
+            read_paths: string[];
+            title: string;
+            description: string;
+            source_finding_ids: string[];
+            requirement_ids: string[];
+            dependencies: string[];
+            allowed_files: string[];
+            required_tests: string[];
+            addresses_counterexample_ids: string[];
+            phase_ordinal?: number | undefined;
+            affected_interfaces?: {
+                name: string;
+                description: string;
+            }[] | undefined;
+        }[];
+        source_dispositions?: {
+            status: "refuted" | "already_fixed" | "deferred";
+            reason: string;
+            evidence: string[];
+            finding_id: string;
+        }[] | undefined;
+        request_disposition?: {
+            status: "deferred" | "already_satisfied";
+            reason: string;
+            evidence: string[];
+        } | undefined;
+    };
+    revision_sha256: string;
+    source_sha256: string;
+    context_files: {
+        path: string;
+        sha256: string | null;
+    }[];
+}>;
+export type CanonicalPlan = z.infer<typeof CanonicalPlanSchema>;
+export declare const ReviewIssueSchema: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    requirement_ids: z.ZodArray<z.ZodString, "many">;
+    unit_ids: z.ZodArray<z.ZodString, "many">;
+    blocking: z.ZodBoolean;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    unit_ids: string[];
+    description: string;
+    requirement_ids: string[];
+    blocking: boolean;
+}, {
+    id: string;
+    unit_ids: string[];
+    description: string;
+    requirement_ids: string[];
+    blocking: boolean;
+}>;
+export declare const CritiqueSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["approved", "needs_repair"]>;
+    issues: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        requirement_ids: z.ZodArray<z.ZodString, "many">;
+        unit_ids: z.ZodArray<z.ZodString, "many">;
+        blocking: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        unit_ids: string[];
+        description: string;
+        requirement_ids: string[];
+        blocking: boolean;
+    }, {
+        id: string;
+        unit_ids: string[];
+        description: string;
+        requirement_ids: string[];
+        blocking: boolean;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    issues: {
+        id: string;
+        unit_ids: string[];
+        description: string;
+        requirement_ids: string[];
+        blocking: boolean;
+    }[];
+    verdict: "approved" | "needs_repair";
+}, {
+    issues: {
+        id: string;
+        unit_ids: string[];
+        description: string;
+        requirement_ids: string[];
+        blocking: boolean;
+    }[];
+    verdict: "approved" | "needs_repair";
+}>;
+export declare const PlanCounterexampleSchema: z.ZodObject<{
+    id: z.ZodString;
+    claim: z.ZodString;
+    reproduction_steps: z.ZodArray<z.ZodString, "many">;
+    expected: z.ZodString;
+    actual: z.ZodString;
+    requirement_ids: z.ZodArray<z.ZodString, "many">;
+    unit_ids: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    expected: string;
+    id: string;
+    unit_ids: string[];
+    claim: string;
+    requirement_ids: string[];
+    reproduction_steps: string[];
+    actual: string;
+}, {
+    expected: string;
+    id: string;
+    unit_ids: string[];
+    claim: string;
+    requirement_ids: string[];
+    reproduction_steps: string[];
+    actual: string;
+}>;
+export declare const CriticSchema: z.ZodObject<{
+    counterexamples: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        claim: z.ZodString;
+        reproduction_steps: z.ZodArray<z.ZodString, "many">;
+        expected: z.ZodString;
+        actual: z.ZodString;
+        requirement_ids: z.ZodArray<z.ZodString, "many">;
+        unit_ids: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        expected: string;
+        id: string;
+        unit_ids: string[];
+        claim: string;
+        requirement_ids: string[];
+        reproduction_steps: string[];
+        actual: string;
+    }, {
+        expected: string;
+        id: string;
+        unit_ids: string[];
+        claim: string;
+        requirement_ids: string[];
+        reproduction_steps: string[];
+        actual: string;
+    }>, "many">;
+}, "strict", z.ZodTypeAny, {
+    counterexamples: {
+        expected: string;
+        id: string;
+        unit_ids: string[];
+        claim: string;
+        requirement_ids: string[];
+        reproduction_steps: string[];
+        actual: string;
+    }[];
+}, {
+    counterexamples: {
+        expected: string;
+        id: string;
+        unit_ids: string[];
+        claim: string;
+        requirement_ids: string[];
+        reproduction_steps: string[];
+        actual: string;
+    }[];
+}>;
+export declare const PlanJudgeSchema: z.ZodObject<{
+    verdict: z.ZodEnum<["approved", "needs_repair"]>;
+    classifications: z.ZodArray<z.ZodObject<{
+        counterexample_id: z.ZodString;
+        classification: z.ZodEnum<["accepted", "repaired", "invalid", "out_of_scope", "duplicate", "residual_risk"]>;
+        rationale: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        rationale: string;
+        counterexample_id: string;
+        classification: "accepted" | "out_of_scope" | "invalid" | "repaired" | "duplicate" | "residual_risk";
+    }, {
+        rationale: string;
+        counterexample_id: string;
+        classification: "accepted" | "out_of_scope" | "invalid" | "repaired" | "duplicate" | "residual_risk";
+    }>, "many">;
+    requirement_assessments: z.ZodArray<z.ZodObject<{
+        requirement_id: z.ZodString;
+        verdict: z.ZodEnum<["satisfied", "insufficient"]>;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        requirement_id: string;
+    }, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        requirement_id: string;
+    }>, "many">;
+    disposition_assessments: z.ZodArray<z.ZodObject<{
+        finding_id: z.ZodString;
+        verdict: z.ZodEnum<["satisfied", "insufficient"]>;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        finding_id: string;
+    }, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        finding_id: string;
+    }>, "many">;
+    request_disposition_assessment: z.ZodOptional<z.ZodObject<{
+        verdict: z.ZodEnum<["satisfied", "insufficient"]>;
+        evidence: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+    }, {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    verdict: "approved" | "needs_repair";
+    classifications: {
+        rationale: string;
+        counterexample_id: string;
+        classification: "accepted" | "out_of_scope" | "invalid" | "repaired" | "duplicate" | "residual_risk";
+    }[];
+    requirement_assessments: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        requirement_id: string;
+    }[];
+    disposition_assessments: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        finding_id: string;
+    }[];
+    request_disposition_assessment?: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+    } | undefined;
+}, {
+    verdict: "approved" | "needs_repair";
+    classifications: {
+        rationale: string;
+        counterexample_id: string;
+        classification: "accepted" | "out_of_scope" | "invalid" | "repaired" | "duplicate" | "residual_risk";
+    }[];
+    requirement_assessments: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        requirement_id: string;
+    }[];
+    disposition_assessments: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+        finding_id: string;
+    }[];
+    request_disposition_assessment?: {
+        evidence: string[];
+        verdict: "satisfied" | "insufficient";
+    } | undefined;
+}>;
+export declare const PlanRiskDecisionSchema: z.ZodObject<{
+    revision_sha256: z.ZodString;
+    confirmed_by: z.ZodLiteral<"host">;
+    accepted_counterexample_ids: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    confirmed_by: "host";
+    revision_sha256: string;
+    accepted_counterexample_ids: string[];
+}, {
+    confirmed_by: "host";
+    revision_sha256: string;
+    accepted_counterexample_ids: string[];
+}>;
+export type PlanCounterexample = z.infer<typeof PlanCounterexampleSchema>;
+export type PlanReviewRole = "critique" | "critic" | "judge";
+export declare const PLAN_REVIEW_ROLES: readonly PlanReviewRole[];
+export declare const PlanReviewReceiptSchema: z.ZodObject<{
+    revision_sha256: z.ZodString;
+    role: z.ZodEnum<["critique", "critic", "judge"]>;
+    input_sha256: z.ZodString;
+    provenance: z.ZodObject<{
+        requirement: z.ZodEnum<["ordinary", "independent", "degraded_allowed"]>;
+        prompt_sha256: 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";
+        }>;
+        reviewed_content_hash: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        prompt_sha256: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "ordinary" | "independent" | "degraded_allowed";
+        reviewed_content_hash: string;
+    }, {
+        prompt_sha256: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "ordinary" | "independent" | "degraded_allowed";
+        reviewed_content_hash: string;
+    }>;
+    result: z.ZodUnknown;
+}, "strict", z.ZodTypeAny, {
+    role: "judge" | "critique" | "critic";
+    provenance: {
+        prompt_sha256: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "ordinary" | "independent" | "degraded_allowed";
+        reviewed_content_hash: string;
+    };
+    revision_sha256: string;
+    input_sha256: string;
+    result?: unknown;
+}, {
+    role: "judge" | "critique" | "critic";
+    provenance: {
+        prompt_sha256: string;
+        review: {
+            reason: string;
+            mode: "degraded" | "independent" | "unavailable";
+        };
+        requirement: "ordinary" | "independent" | "degraded_allowed";
+        reviewed_content_hash: string;
+    };
+    revision_sha256: string;
+    input_sha256: string;
+    result?: unknown;
+}>;
+export type PlanReviewReceipt = z.infer<typeof PlanReviewReceiptSchema>;
+export interface PlanReviewHistory {
+    counterexamples: PlanCounterexample[];
+    accepted_ids: string[];
+    repair_rounds: number;
+    repair_revision?: string;
+    repair_reason?: string;
+}
+export declare function executionPlanPaths(artifactsDir: string): {
+    directory: string;
+    source: string;
+    canonical: string;
+    submission: string;
+    history: string;
+    approval: string;
+    review: (role: PlanReviewRole) => {
+        request: string;
+        submission: string;
+        accepted: string;
+    };
+};
+/** Canonical order ignores unrelated insert/reorder, but command order is semantic. */
+export declare function executionPlanRevision(plan: ExecutableChangePlan, sourceSha256: string, contextFiles?: CanonicalPlan["context_files"]): string;
+export declare function readPlanSource(artifactsDir: string): Promise<PlanSource | undefined>;
+export declare function readCanonicalPlan(artifactsDir: string): Promise<CanonicalPlan | undefined>;
+export declare function readPlanReviewHistory(artifactsDir: string): Promise<PlanReviewHistory>;
+/** Cross-reference and executable-boundary validation, not semantic self-certification. */
+export declare function executionPlanIssues(root: string, source: PlanSource, plan: ExecutableChangePlan): string[];
+export declare function ingestExecutionPlan(params: {
+    root: string;
+    artifactsDir: string;
+    acceptedUnits?: ReadonlyMap<string, unknown>;
+}): Promise<{
+    changed: boolean;
+    issues: string[];
+}>;
+export declare function captureExecutionContext(root: string, plan: ExecutableChangePlan): Promise<CanonicalPlan["context_files"]>;
+/** Preparation checks reviewed premises; result ingestion instead checks its bound baseline. */
+export declare function executionPlanContextIssues(root: string, canonical: CanonicalPlan, accepted?: readonly {
+    allowed_files: readonly string[];
+    landed_commit: string;
+}[]): Promise<string[]>;
+export declare function readPlanReview(artifactsDir: string, role: PlanReviewRole, revision: string): Promise<PlanReviewReceipt | undefined>;
+export declare function readApprovedExecutionPlan(artifactsDir: string): Promise<{
+    canonical: CanonicalPlan;
+    source: PlanSource;
+} | undefined>;
+//# sourceMappingURL=executionPlan.d.ts.map