audit-tools 0.28.0

package/dist/audit/types.d.ts

@@ -0,0 +1,1077 @@
+import { z } from "zod";
+import type { Finding as SharedFinding } from "audit-tools/shared";
+export type Lens = "correctness" | "architecture" | "maintainability" | "security" | "reliability" | "performance" | "data_integrity" | "tests" | "operability" | "config_deployment" | "observability";
+/** Single authoritative record for one audit lens. `order_weight` governs task
+ * priority ordering — lower values sort earlier (higher urgency). */
+export interface LensDefinition {
+    id: Lens;
+    display_name: string;
+    /** Lower = higher priority in task ordering. */
+    order_weight: number;
+    default_enabled: boolean;
+}
+/** Single source of truth for all lens metadata. Adding or renaming a lens
+ * requires a single edit here; `ALL_LENSES`, `ENABLED_LENSES`, and
+ * `LENS_ORDER` (in auditTaskUtils) are all derived from this registry. */
+export declare const LENS_REGISTRY: readonly LensDefinition[];
+/** Canonical list of every valid {@link Lens}. Derived from {@link LENS_REGISTRY}
+ * — import {@link isLens} / `ALL_LENSES` instead of hand-copying lens lists into
+ * local guards, which drift (a copy omitting "observability" caused it to be
+ * wrongly rejected in flow requeue). */
+export declare const ALL_LENSES: readonly Lens[];
+/** Lenses enabled by default (all entries in the registry with default_enabled true). */
+export declare const ENABLED_LENSES: readonly Lens[];
+export declare function isLens(value: unknown): value is Lens;
+export declare const FileRecordSchema: z.ZodObject<{
+    path: z.ZodString;
+    language: z.ZodString;
+    size_bytes: z.ZodNumber;
+    hash: z.ZodOptional<z.ZodString>;
+    excluded: z.ZodOptional<z.ZodBoolean>;
+    exclusion_reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    language: string;
+    size_bytes: number;
+    excluded?: boolean | undefined;
+    hash?: string | undefined;
+    exclusion_reason?: string | undefined;
+}, {
+    path: string;
+    language: string;
+    size_bytes: number;
+    excluded?: boolean | undefined;
+    hash?: string | undefined;
+    exclusion_reason?: string | undefined;
+}>;
+export type FileRecord = z.infer<typeof FileRecordSchema>;
+export declare const RepoManifestSchema: z.ZodObject<{
+    repository: z.ZodObject<{
+        name: z.ZodString;
+        root: z.ZodOptional<z.ZodString>;
+        default_branch: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        root?: string | undefined;
+        default_branch?: string | undefined;
+    }, {
+        name: string;
+        root?: string | undefined;
+        default_branch?: string | undefined;
+    }>;
+    generated_at: z.ZodString;
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        language: z.ZodString;
+        size_bytes: z.ZodNumber;
+        hash: z.ZodOptional<z.ZodString>;
+        excluded: z.ZodOptional<z.ZodBoolean>;
+        exclusion_reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        language: string;
+        size_bytes: number;
+        excluded?: boolean | undefined;
+        hash?: string | undefined;
+        exclusion_reason?: string | undefined;
+    }, {
+        path: string;
+        language: string;
+        size_bytes: number;
+        excluded?: boolean | undefined;
+        hash?: string | undefined;
+        exclusion_reason?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    files: {
+        path: string;
+        language: string;
+        size_bytes: number;
+        excluded?: boolean | undefined;
+        hash?: string | undefined;
+        exclusion_reason?: string | undefined;
+    }[];
+    repository: {
+        name: string;
+        root?: string | undefined;
+        default_branch?: string | undefined;
+    };
+    generated_at: string;
+}, {
+    files: {
+        path: string;
+        language: string;
+        size_bytes: number;
+        excluded?: boolean | undefined;
+        hash?: string | undefined;
+        exclusion_reason?: string | undefined;
+    }[];
+    repository: {
+        name: string;
+        root?: string | undefined;
+        default_branch?: string | undefined;
+    };
+    generated_at: string;
+}>;
+export type RepoManifest = z.infer<typeof RepoManifestSchema>;
+export declare const AuditUnitSchema: z.ZodObject<{
+    unit_id: z.ZodString;
+    name: z.ZodString;
+    kind: z.ZodOptional<z.ZodString>;
+    files: z.ZodArray<z.ZodString, "many">;
+    risk_score: z.ZodOptional<z.ZodNumber>;
+    required_lenses: z.ZodArray<z.ZodString, "many">;
+    critical_flows: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    files: string[];
+    unit_id: string;
+    name: string;
+    required_lenses: string[];
+    risk_score?: number | undefined;
+    kind?: string | undefined;
+    critical_flows?: string[] | undefined;
+}, {
+    files: string[];
+    unit_id: string;
+    name: string;
+    required_lenses: string[];
+    risk_score?: number | undefined;
+    kind?: string | undefined;
+    critical_flows?: string[] | undefined;
+}>;
+export type AuditUnit = z.infer<typeof AuditUnitSchema>;
+export declare const UnitManifestSchema: z.ZodObject<{
+    units: z.ZodArray<z.ZodObject<{
+        unit_id: z.ZodString;
+        name: z.ZodString;
+        kind: z.ZodOptional<z.ZodString>;
+        files: z.ZodArray<z.ZodString, "many">;
+        risk_score: z.ZodOptional<z.ZodNumber>;
+        required_lenses: z.ZodArray<z.ZodString, "many">;
+        critical_flows: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        files: string[];
+        unit_id: string;
+        name: string;
+        required_lenses: string[];
+        risk_score?: number | undefined;
+        kind?: string | undefined;
+        critical_flows?: string[] | undefined;
+    }, {
+        files: string[];
+        unit_id: string;
+        name: string;
+        required_lenses: string[];
+        risk_score?: number | undefined;
+        kind?: string | undefined;
+        critical_flows?: string[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    units: {
+        files: string[];
+        unit_id: string;
+        name: string;
+        required_lenses: string[];
+        risk_score?: number | undefined;
+        kind?: string | undefined;
+        critical_flows?: string[] | undefined;
+    }[];
+}, {
+    units: {
+        files: string[];
+        unit_id: string;
+        name: string;
+        required_lenses: string[];
+        risk_score?: number | undefined;
+        kind?: string | undefined;
+        critical_flows?: string[] | undefined;
+    }[];
+}>;
+export type UnitManifest = z.infer<typeof UnitManifestSchema>;
+export interface FileCoverageRecord {
+    path: string;
+    total_lines: number;
+    pass_id: string;
+    lens?: string;
+    agent_role?: string;
+}
+/** Single source of truth for coverage-matrix classification statuses (mirrors
+ * the LENS_REGISTRY-derives-Lens pattern above). The value set is
+ * {unclassified, classified} plus the audit-excluded subset of
+ * FileDispositionStatus (excluded | generated | vendor | binary | doc_only)
+ * plus the scope/trivial-audit statuses written by scope.ts
+ * (out_of_scope_delta, out_of_scope_intent) and trivialAudit.ts
+ * (excluded_trivial). The coverage_matrix JSON schema is GENERATED from
+ * {@link CoverageMatrixSchema}, so it can never drift from this enum. */
+export declare const ClassificationStatusSchema: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
+export declare const CLASSIFICATION_STATUSES: ["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"];
+export type ClassificationStatus = z.infer<typeof ClassificationStatusSchema>;
+export declare const CoverageFileRecordSchema: z.ZodObject<{
+    path: z.ZodString;
+    unit_ids: z.ZodArray<z.ZodString, "many">;
+    classification_status: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
+    audit_status: z.ZodString;
+    required_lenses: z.ZodArray<z.ZodString, "many">;
+    completed_lenses: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    unit_ids: string[];
+    required_lenses: string[];
+    classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+    audit_status: string;
+    completed_lenses: string[];
+}, {
+    path: string;
+    unit_ids: string[];
+    required_lenses: string[];
+    classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+    audit_status: string;
+    completed_lenses: string[];
+}>;
+export type CoverageFileRecord = z.infer<typeof CoverageFileRecordSchema>;
+export declare const CoverageMatrixSchema: z.ZodObject<{
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        unit_ids: z.ZodArray<z.ZodString, "many">;
+        classification_status: z.ZodEnum<["unclassified", "classified", "excluded", "generated", "vendor", "binary", "doc_only", "out_of_scope_delta", "excluded_trivial", "out_of_scope_intent"]>;
+        audit_status: z.ZodString;
+        required_lenses: z.ZodArray<z.ZodString, "many">;
+        completed_lenses: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        unit_ids: string[];
+        required_lenses: string[];
+        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+        audit_status: string;
+        completed_lenses: string[];
+    }, {
+        path: string;
+        unit_ids: string[];
+        required_lenses: string[];
+        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+        audit_status: string;
+        completed_lenses: string[];
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    files: {
+        path: string;
+        unit_ids: string[];
+        required_lenses: string[];
+        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+        audit_status: string;
+        completed_lenses: string[];
+    }[];
+}, {
+    files: {
+        path: string;
+        unit_ids: string[];
+        required_lenses: string[];
+        classification_status: "excluded" | "generated" | "vendor" | "binary" | "doc_only" | "unclassified" | "classified" | "out_of_scope_delta" | "excluded_trivial" | "out_of_scope_intent";
+        audit_status: string;
+        completed_lenses: string[];
+    }[];
+}>;
+export type CoverageMatrix = z.infer<typeof CoverageMatrixSchema>;
+export type AuditTaskStatus = "pending" | "complete";
+export declare const AuditTaskSchema: z.ZodObject<{
+    task_id: z.ZodString;
+    unit_id: z.ZodString;
+    pass_id: z.ZodString;
+    lens: z.ZodString;
+    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;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        end: number;
+        start: number;
+    }, {
+        path: string;
+        end: number;
+        start: number;
+    }>, "many">>;
+    inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    rationale: z.ZodString;
+    priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+    /**
+     * Frozen, provider-neutral estimate of the content tokens this task's files
+     * contribute to a review prompt. Seeded deterministically at planning
+     * (byte-based) and refined/frozen by the estimate-review step. Authoritative
+     * input to just-in-time dispatch packetization — see
+     * docs/audit-workflow-design.md.
+     */
+    token_estimate: z.ZodOptional<z.ZodNumber>;
+    /**
+     * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
+     * latent defects). Seeded deterministically from priority/lens/tags and
+     * refined/frozen by the estimate-review step. Drives just-in-time risk-mass
+     * packetization and model-tier routing; never a model/provider decision.
+     */
+    risk_estimate: z.ZodOptional<z.ZodNumber>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+    completed_at: z.ZodOptional<z.ZodString>;
+    completion_reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    unit_id: string;
+    lens: string;
+    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: string;
+    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;
+}>;
+export type AuditTask = z.infer<typeof AuditTaskSchema>;
+export type Finding = SharedFinding;
+export declare const AuditVerificationSchema: 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;
+        lens: z.ZodString;
+        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;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            end: number;
+            start: number;
+        }, {
+            path: string;
+            end: number;
+            start: number;
+        }>, "many">>;
+        inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        rationale: z.ZodString;
+        priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+        /**
+         * Frozen, provider-neutral estimate of the content tokens this task's files
+         * contribute to a review prompt. Seeded deterministically at planning
+         * (byte-based) and refined/frozen by the estimate-review step. Authoritative
+         * input to just-in-time dispatch packetization — see
+         * docs/audit-workflow-design.md.
+         */
+        token_estimate: z.ZodOptional<z.ZodNumber>;
+        /**
+         * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
+         * latent defects). Seeded deterministically from priority/lens/tags and
+         * refined/frozen by the estimate-review step. Drives just-in-time risk-mass
+         * packetization and model-tier routing; never a model/provider decision.
+         */
+        risk_estimate: z.ZodOptional<z.ZodNumber>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+        completed_at: z.ZodOptional<z.ZodString>;
+        completion_reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        unit_id: string;
+        lens: string;
+        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: string;
+        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">>;
+}, "strip", z.ZodTypeAny, {
+    verified: boolean;
+    needs_followup: boolean;
+    concerns?: string[] | undefined;
+    coverage_concerns?: string[] | undefined;
+    confidence_concerns?: string[] | undefined;
+    followup_tasks?: {
+        unit_id: string;
+        lens: string;
+        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: string;
+        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;
+}>;
+export type AuditVerification = z.infer<typeof AuditVerificationSchema>;
+export declare const AuditResultSchema: z.ZodObject<{
+    task_id: z.ZodString;
+    unit_id: z.ZodString;
+    pass_id: z.ZodString;
+    lens: z.ZodString;
+    agent_role: z.ZodOptional<z.ZodString>;
+    file_coverage: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        total_lines: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        total_lines: number;
+    }, {
+        path: string;
+        total_lines: number;
+    }>, "many">;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        category: z.ZodString;
+        severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        lens: z.ZodString;
+        summary: z.ZodString;
+        affected_files: z.ZodArray<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>;
+            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;
+            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">;
+        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>;
+        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;
+        }>>;
+        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">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: string;
+        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;
+        }[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: 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: string;
+        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;
+        }[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: 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">;
+    notes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    requires_followup: z.ZodOptional<z.ZodBoolean>;
+    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;
+            lens: z.ZodString;
+            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;
+            }, "strip", z.ZodTypeAny, {
+                path: string;
+                end: number;
+                start: number;
+            }, {
+                path: string;
+                end: number;
+                start: number;
+            }>, "many">>;
+            inputs: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            rationale: z.ZodString;
+            priority: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+            /**
+             * Frozen, provider-neutral estimate of the content tokens this task's files
+             * contribute to a review prompt. Seeded deterministically at planning
+             * (byte-based) and refined/frozen by the estimate-review step. Authoritative
+             * input to just-in-time dispatch packetization — see
+             * docs/audit-workflow-design.md.
+             */
+            token_estimate: z.ZodOptional<z.ZodNumber>;
+            /**
+             * Frozen, provider-neutral audit-risk score in [0,1] (likelihood × stakes of
+             * latent defects). Seeded deterministically from priority/lens/tags and
+             * refined/frozen by the estimate-review step. Drives just-in-time risk-mass
+             * packetization and model-tier routing; never a model/provider decision.
+             */
+            risk_estimate: z.ZodOptional<z.ZodNumber>;
+            tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            status: z.ZodOptional<z.ZodEnum<["pending", "complete"]>>;
+            completed_at: z.ZodOptional<z.ZodString>;
+            completion_reason: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            unit_id: string;
+            lens: string;
+            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: string;
+            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">>;
+    }, "strip", z.ZodTypeAny, {
+        verified: boolean;
+        needs_followup: boolean;
+        concerns?: string[] | undefined;
+        coverage_concerns?: string[] | undefined;
+        confidence_concerns?: string[] | undefined;
+        followup_tasks?: {
+            unit_id: string;
+            lens: string;
+            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: string;
+            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;
+    }>>;
+    run_id: z.ZodOptional<z.ZodString>;
+    submitted_at: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    unit_id: string;
+    lens: string;
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: string;
+        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;
+        }[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: 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: string;
+            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: string;
+    findings: {
+        id: string;
+        confidence: "high" | "low" | "medium";
+        title: string;
+        category: string;
+        severity: "high" | "low" | "critical" | "medium" | "info";
+        lens: string;
+        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;
+        }[];
+        impact?: string | undefined;
+        likelihood?: string | undefined;
+        evidence?: 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: string;
+            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;
+}>;
+export type AuditResult = z.infer<typeof AuditResultSchema>;
+//# sourceMappingURL=types.d.ts.map