audit-tools 0.28.0

package/dist/audit/contracts/workerSchemas.d.ts

@@ -0,0 +1,1448 @@
+import { z } from "zod";
+/** A cited span as a worker must emit it: bounded line numbers, no extra keys. */
+export declare const WorkerFindingLocationSchema: z.ZodObject<{
+    path: z.ZodString;
+    symbol: z.ZodOptional<z.ZodString>;
+    quoted_text: z.ZodOptional<z.ZodString>;
+    hash_at_plan_time: z.ZodOptional<z.ZodString>;
+} & {
+    line_start: z.ZodOptional<z.ZodNumber>;
+    line_end: z.ZodOptional<z.ZodNumber>;
+}, "strict", z.ZodTypeAny, {
+    path: string;
+    symbol?: string | undefined;
+    line_start?: number | undefined;
+    line_end?: number | undefined;
+    quoted_text?: 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;
+    hash_at_plan_time?: string | undefined;
+}>;
+/**
+ * A finding as a dispatch worker must emit it. Stricter than the pipeline
+ * {@link FindingSchema}: a canonical lens, a non-empty category, at least one
+ * affected file, non-empty evidence, and no unknown keys.
+ */
+export declare const WorkerFindingSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+    confidence: z.ZodEnum<["high", "medium", "low"]>;
+    summary: z.ZodString;
+    impact: z.ZodOptional<z.ZodString>;
+    likelihood: z.ZodOptional<z.ZodString>;
+    systemic: z.ZodOptional<z.ZodBoolean>;
+    theme_id: z.ZodOptional<z.ZodString>;
+    evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+    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">>;
+} & {
+    category: z.ZodString;
+    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+    affected_files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        symbol: z.ZodOptional<z.ZodString>;
+        quoted_text: z.ZodOptional<z.ZodString>;
+        hash_at_plan_time: z.ZodOptional<z.ZodString>;
+    } & {
+        line_start: z.ZodOptional<z.ZodNumber>;
+        line_end: z.ZodOptional<z.ZodNumber>;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        symbol?: string | undefined;
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        quoted_text?: 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;
+        hash_at_plan_time?: string | undefined;
+    }>, "many">;
+    evidence: z.ZodArray<z.ZodString, "many">;
+    reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    grounding: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    }, {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    confidence: "high" | "low" | "medium";
+    title: string;
+    category: string;
+    severity: "high" | "low" | "critical" | "medium" | "info";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    summary: string;
+    affected_files: {
+        path: string;
+        symbol?: string | undefined;
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        quoted_text?: string | undefined;
+        hash_at_plan_time?: string | undefined;
+    }[];
+    evidence: string[];
+    impact?: string | undefined;
+    likelihood?: string | undefined;
+    reproduction?: string[] | undefined;
+    systemic?: boolean | undefined;
+    related_findings?: string[] | undefined;
+    theme_id?: string | undefined;
+    evidence_grounded?: boolean | undefined;
+    grounding?: {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    } | 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;
+}, {
+    id: string;
+    confidence: "high" | "low" | "medium";
+    title: string;
+    category: string;
+    severity: "high" | "low" | "critical" | "medium" | "info";
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    summary: string;
+    affected_files: {
+        path: string;
+        symbol?: string | undefined;
+        line_start?: number | undefined;
+        line_end?: number | undefined;
+        quoted_text?: string | undefined;
+        hash_at_plan_time?: string | undefined;
+    }[];
+    evidence: string[];
+    impact?: string | undefined;
+    likelihood?: string | undefined;
+    reproduction?: string[] | undefined;
+    systemic?: boolean | undefined;
+    related_findings?: string[] | undefined;
+    theme_id?: string | undefined;
+    evidence_grounded?: boolean | undefined;
+    grounding?: {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    } | 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;
+}>;
+/** An audit task as it appears in worker contracts (canonical lens, bounded ranges). */
+export declare const WorkerAuditTaskSchema: z.ZodObject<{
+    task_id: z.ZodString;
+    unit_id: z.ZodString;
+    pass_id: z.ZodString;
+    inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    rationale: z.ZodString;
+    priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+    status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+    completed_at: z.ZodOptional<z.ZodString>;
+    completion_reason: z.ZodOptional<z.ZodString>;
+} & {
+    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+    file_paths: z.ZodArray<z.ZodString, "many">;
+    file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    line_ranges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        start: z.ZodNumber;
+        end: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        end: number;
+        start: number;
+    }, {
+        path: string;
+        end: number;
+        start: number;
+    }>, "many">>;
+    token_estimate: z.ZodOptional<z.ZodNumber>;
+    risk_estimate: z.ZodOptional<z.ZodNumber>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    rationale: string;
+    task_id: string;
+    pass_id: string;
+    file_paths: string[];
+    status?: "complete" | "pending" | undefined;
+    file_line_counts?: Record<string, number> | undefined;
+    line_ranges?: {
+        path: string;
+        end: number;
+        start: number;
+    }[] | undefined;
+    inputs?: Record<string, string> | undefined;
+    priority?: "high" | "low" | "medium" | undefined;
+    token_estimate?: number | undefined;
+    risk_estimate?: number | undefined;
+    tags?: string[] | undefined;
+    completed_at?: string | undefined;
+    completion_reason?: string | undefined;
+}, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    rationale: string;
+    task_id: string;
+    pass_id: string;
+    file_paths: string[];
+    status?: "complete" | "pending" | undefined;
+    file_line_counts?: Record<string, number> | undefined;
+    line_ranges?: {
+        path: string;
+        end: number;
+        start: number;
+    }[] | undefined;
+    inputs?: Record<string, string> | undefined;
+    priority?: "high" | "low" | "medium" | undefined;
+    token_estimate?: number | undefined;
+    risk_estimate?: number | undefined;
+    tags?: string[] | undefined;
+    completed_at?: string | undefined;
+    completion_reason?: string | undefined;
+}>;
+/**
+ * One AuditResult as a worker must emit it. Note `followup_tasks` is a string[]
+ * of task ids at the top level (the prior hand-written schema wrongly typed it as
+ * AuditTask[] — corrected here by single-sourcing from the TS type).
+ */
+export declare const WorkerAuditResultSchema: z.ZodObject<{
+    task_id: z.ZodString;
+    unit_id: z.ZodString;
+    pass_id: z.ZodString;
+    agent_role: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    requires_followup: z.ZodOptional<z.ZodBoolean>;
+    run_id: z.ZodOptional<z.ZodString>;
+} & {
+    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+    file_coverage: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        total_lines: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        total_lines: number;
+    }, {
+        path: string;
+        total_lines: number;
+    }>, "many">;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        summary: z.ZodString;
+        impact: z.ZodOptional<z.ZodString>;
+        likelihood: z.ZodOptional<z.ZodString>;
+        systemic: z.ZodOptional<z.ZodBoolean>;
+        theme_id: z.ZodOptional<z.ZodString>;
+        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+        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">>;
+    } & {
+        category: z.ZodString;
+        lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+        affected_files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            symbol: z.ZodOptional<z.ZodString>;
+            quoted_text: z.ZodOptional<z.ZodString>;
+            hash_at_plan_time: z.ZodOptional<z.ZodString>;
+        } & {
+            line_start: z.ZodOptional<z.ZodNumber>;
+            line_end: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: 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;
+            hash_at_plan_time?: string | undefined;
+        }>, "many">;
+        evidence: z.ZodArray<z.ZodString, "many">;
+        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        grounding: z.ZodOptional<z.ZodObject<{
+            status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }>, "many">;
+    followup_tasks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    verification: z.ZodOptional<z.ZodObject<{
+        verified: z.ZodBoolean;
+        needs_followup: z.ZodBoolean;
+        concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        coverage_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        confidence_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    } & {
+        followup_tasks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            task_id: z.ZodString;
+            unit_id: z.ZodString;
+            pass_id: z.ZodString;
+            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rationale: z.ZodString;
+            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+            completed_at: z.ZodOptional<z.ZodString>;
+            completion_reason: z.ZodOptional<z.ZodString>;
+        } & {
+            lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+            file_paths: z.ZodArray<z.ZodString, "many">;
+            file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+            line_ranges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                path: string;
+                end: number;
+                start: number;
+            }, {
+                path: string;
+                end: number;
+                start: number;
+            }>, "many">>;
+            token_estimate: z.ZodOptional<z.ZodNumber>;
+            risk_estimate: z.ZodOptional<z.ZodNumber>;
+            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }, {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    }, {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    }>>;
+    submitted_at: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }[];
+    task_id: string;
+    pass_id: string;
+    file_coverage: {
+        path: string;
+        total_lines: number;
+    }[];
+    notes?: string[] | undefined;
+    verification?: {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    run_id?: string | undefined;
+    followup_tasks?: string[] | undefined;
+    agent_role?: string | undefined;
+    requires_followup?: boolean | undefined;
+    submitted_at?: string | undefined;
+}, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }[];
+    task_id: string;
+    pass_id: string;
+    file_coverage: {
+        path: string;
+        total_lines: number;
+    }[];
+    notes?: string[] | undefined;
+    verification?: {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    run_id?: string | undefined;
+    followup_tasks?: string[] | undefined;
+    agent_role?: string | undefined;
+    requires_followup?: boolean | undefined;
+    submitted_at?: string | undefined;
+}>;
+/** The full worker submission: a non-empty array of AuditResults. */
+export declare const WorkerAuditResultsSchema: z.ZodArray<z.ZodObject<{
+    task_id: z.ZodString;
+    unit_id: z.ZodString;
+    pass_id: z.ZodString;
+    agent_role: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    requires_followup: z.ZodOptional<z.ZodBoolean>;
+    run_id: z.ZodOptional<z.ZodString>;
+} & {
+    lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+    file_coverage: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        total_lines: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        total_lines: number;
+    }, {
+        path: string;
+        total_lines: number;
+    }>, "many">;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        summary: z.ZodString;
+        impact: z.ZodOptional<z.ZodString>;
+        likelihood: z.ZodOptional<z.ZodString>;
+        systemic: z.ZodOptional<z.ZodBoolean>;
+        theme_id: z.ZodOptional<z.ZodString>;
+        evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+        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">>;
+    } & {
+        category: z.ZodString;
+        lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+        affected_files: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            symbol: z.ZodOptional<z.ZodString>;
+            quoted_text: z.ZodOptional<z.ZodString>;
+            hash_at_plan_time: z.ZodOptional<z.ZodString>;
+        } & {
+            line_start: z.ZodOptional<z.ZodNumber>;
+            line_end: z.ZodOptional<z.ZodNumber>;
+        }, "strict", z.ZodTypeAny, {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: 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;
+            hash_at_plan_time?: string | undefined;
+        }>, "many">;
+        evidence: z.ZodArray<z.ZodString, "many">;
+        reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        grounding: z.ZodOptional<z.ZodObject<{
+            status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+            reason: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }, {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }>, "many">;
+    followup_tasks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    verification: z.ZodOptional<z.ZodObject<{
+        verified: z.ZodBoolean;
+        needs_followup: z.ZodBoolean;
+        concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        coverage_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        confidence_concerns: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    } & {
+        followup_tasks: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            task_id: z.ZodString;
+            unit_id: z.ZodString;
+            pass_id: z.ZodString;
+            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rationale: z.ZodString;
+            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+            completed_at: z.ZodOptional<z.ZodString>;
+            completion_reason: z.ZodOptional<z.ZodString>;
+        } & {
+            lens: z.ZodEnum<["correctness", "architecture", "maintainability", "security", "reliability", "performance", "data_integrity", "tests", "operability", "config_deployment", "observability"]>;
+            file_paths: z.ZodArray<z.ZodString, "many">;
+            file_line_counts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+            line_ranges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                start: z.ZodNumber;
+                end: z.ZodNumber;
+            }, "strict", z.ZodTypeAny, {
+                path: string;
+                end: number;
+                start: number;
+            }, {
+                path: string;
+                end: number;
+                start: number;
+            }>, "many">>;
+            token_estimate: z.ZodOptional<z.ZodNumber>;
+            risk_estimate: z.ZodOptional<z.ZodNumber>;
+            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }, {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    }, {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    }>>;
+    submitted_at: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }[];
+    task_id: string;
+    pass_id: string;
+    file_coverage: {
+        path: string;
+        total_lines: number;
+    }[];
+    notes?: string[] | undefined;
+    verification?: {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    run_id?: string | undefined;
+    followup_tasks?: string[] | undefined;
+    agent_role?: string | undefined;
+    requires_followup?: boolean | undefined;
+    submitted_at?: string | undefined;
+}, {
+    unit_id: string;
+    lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+        summary: string;
+        affected_files: {
+            path: string;
+            symbol?: string | undefined;
+            line_start?: number | undefined;
+            line_end?: number | undefined;
+            quoted_text?: string | undefined;
+            hash_at_plan_time?: string | undefined;
+        }[];
+        evidence: string[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        reproduction?: string[] | undefined;
+        systemic?: boolean | undefined;
+        related_findings?: string[] | undefined;
+        theme_id?: string | undefined;
+        evidence_grounded?: boolean | undefined;
+        grounding?: {
+            status: "grounded" | "ungrounded" | "refuted";
+            reason?: string | undefined;
+        } | 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;
+    }[];
+    task_id: string;
+    pass_id: string;
+    file_coverage: {
+        path: string;
+        total_lines: number;
+    }[];
+    notes?: string[] | undefined;
+    verification?: {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+            rationale: string;
+            task_id: string;
+            pass_id: string;
+            file_paths: string[];
+            status?: "complete" | "pending" | undefined;
+            file_line_counts?: Record<string, number> | undefined;
+            line_ranges?: {
+                path: string;
+                end: number;
+                start: number;
+            }[] | undefined;
+            inputs?: Record<string, string> | undefined;
+            priority?: "high" | "low" | "medium" | undefined;
+            token_estimate?: number | undefined;
+            risk_estimate?: number | undefined;
+            tags?: string[] | undefined;
+            completed_at?: string | undefined;
+            completion_reason?: string | undefined;
+        }[] | undefined;
+    } | undefined;
+    run_id?: string | undefined;
+    followup_tasks?: string[] | undefined;
+    agent_role?: string | undefined;
+    requires_followup?: boolean | undefined;
+    submitted_at?: string | undefined;
+}>, "many">;
+/**
+ * Registry of the worker-facing JSON schema files and the zod source each is
+ * generated from. The keys are the committed filenames under `schemas/`.
+ */
+export declare const WORKER_SCHEMA_SOURCES: Record<string, {
+    schema: z.ZodTypeAny;
+    title: string;
+}>;
+/**
+ * Render the committed JSON-schema document for a worker-facing schema file.
+ * Self-contained (refs inlined) so a worker can validate against the single file.
+ */
+export declare function renderWorkerJsonSchema(filename: string): Record<string, unknown>;
+//# sourceMappingURL=workerSchemas.d.ts.map