audit-tools 0.50.21 → 0.51.1

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

@@ -149,6 +149,33 @@ export declare const FindingGroundingSchema: z.ZodObject<{
     reason?: string | undefined;
 }>;
 export type FindingGrounding = z.infer<typeof FindingGroundingSchema>;
+/**
+ * Whether the DEFECT a conceptual finding names is present at HEAD — the third
+ * axis, orthogonal to `grounding` (does it cite something real) and to the
+ * remediation outcome (what did we do about it). Grounding on the conceptual
+ * path certifies only that a cited component path exists, so it reads as
+ * confirmation while certifying far less; this field carries the presence claim.
+ *
+ * EVERY value here is JUDGE-AUTHORED. `judge_confirmed` is deliberately NOT
+ * spelled `confirmed`: the bare word is already taken by the executable-anchor
+ * contract above, where "the confirmed bit is the tool's run, never the model's
+ * word". This one is the opposite provenance — a judge's reading of HEAD, never
+ * a tool run — and the name must say so wherever it is read.
+ *
+ * - `judge_confirmed`: the judge checked the named defect against current code
+ *   and it holds. The tool guarantees the claim is PRESENT, CONSISTENT and
+ *   PUBLISHED (and that a non-`asserted` claim carries a note); never that it is
+ *   true.
+ * - `asserted`: not checked. The default, and it is stated explicitly rather
+ *   than left absent — an optional field defaults to silence, which is the
+ *   failure this vocabulary exists to end.
+ * - `refuted_at_head`: the judge checked and the defect is absent or already
+ *   remediated. It can NEVER appear on an admitted finding: the adjudication
+ *   validator forces a `refuted_at_head` candidate to `rejected`, and a rejected
+ *   candidate maps to no final finding.
+ */
+export declare const FindingVerificationStatusSchema: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
+export type FindingVerificationStatus = z.infer<typeof FindingVerificationStatusSchema>;
 /**
  * What outcome of an executable anchor's command CONFIRMS the finding's claim.
  * The worker declares the falsifiable condition; the tool runs the command and
@@ -355,6 +382,15 @@ export declare const FindingSchema: z.ZodObject<{
         status: "grounded" | "ungrounded" | "refuted";
         reason?: string | undefined;
     }>>;
+    /**
+     * Whether the defect this finding names is present at HEAD. TOOL-DERIVED at
+     * conceptual ingest from the judge's per-candidate verification claims — host
+     * supply is REFUSED, exactly as for `grounding`, so the value can always be
+     * cross-checked against the adjudication record. Optional because the per-file
+     * audit workers have no verification concept; absent outside the conceptual
+     * design-review path.
+     */
+    verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
     /**
      * Optional executable anchor for a behavior claim (S7 tier-2). The tool runs
      * the read-only `command` at ingest and folds the verdict into `grounding`: a
@@ -486,6 +522,7 @@ export declare const FindingSchema: z.ZodObject<{
         status: "grounded" | "ungrounded" | "refuted";
         reason?: string | undefined;
     } | undefined;
+    verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
     executable_anchor?: {
         command: string[];
         confirm_if: {
@@ -540,6 +577,7 @@ export declare const FindingSchema: z.ZodObject<{
         status: "grounded" | "ungrounded" | "refuted";
         reason?: string | undefined;
     } | undefined;
+    verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
     executable_anchor?: {
         command: string[];
         confirm_if: {
@@ -760,6 +798,39 @@ export interface FindingIdentity {
  * without carrying any contract_* fields.
  */
 export declare function findingIdentity(finding: Finding): FindingIdentity;
+/**
+ * What ONE lens the operator selected actually delivered.
+ *
+ * `lens_breakdown` is a `countBy` over what was PRODUCED, so a selected lens
+ * that produced nothing has no key at all — and the render suppressed the whole
+ * line on an empty map. A run therefore advertised the operator's chosen scope,
+ * delivered a fraction of it, and nothing could distinguish "reviewed, nothing
+ * found" from "never reviewed". This states the difference:
+ *
+ *   • `findings` — asked, and it found something.
+ *   • `clean` — asked through a lens-open channel that was ingested, and there
+ *     was nothing there. The ONLY value that may be read as "no defect".
+ *   • `not_run` — selected, and no lens-open channel was ever ingested. Absence
+ *     of a finding is not absence of a defect.
+ */
+export declare const LensCoverageEntrySchema: z.ZodObject<{
+    lens: z.ZodString;
+    /** True when the operator's resolved selection includes this lens. */
+    selected: z.ZodBoolean;
+    findings_count: z.ZodNumber;
+    outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
+}, "strict", z.ZodTypeAny, {
+    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+    lens: string;
+    selected: boolean;
+    findings_count: number;
+}, {
+    outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+    lens: string;
+    selected: boolean;
+    findings_count: number;
+}>;
+export type LensCoverageEntry = z.infer<typeof LensCoverageEntrySchema>;
 export declare const AuditFindingsSummarySchema: z.ZodObject<{
     finding_count: z.ZodNumber;
     work_block_count: z.ZodNumber;
@@ -777,6 +848,45 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
      * dropped from the admitted set. Absent when no finding carried a verdict.
      */
     grounding_status_breakdown: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    /**
+     * Per-status counts of the judge's defect-presence claim, over the FINDINGS —
+     * `judge_confirmed` versus `asserted`, which is what lets a remediator rank
+     * one above the other. `refuted_at_head` never appears here: the adjudication
+     * validator forces a refuted candidate to `rejected`, and a rejected candidate
+     * maps to no final finding. Absent when no finding carried a status.
+     *
+     * Finding-scoped, and deliberately NOT reconciled with the CANDIDATE-scoped
+     * counts on `conceptual_review_adjudication.json`: the post-adjudication
+     * grounding quarantine can drop a merged candidate's final finding, so the two
+     * populations legitimately differ. One reconciled number would have to pick a
+     * population and would hide the quarantine.
+     */
+    verification_status_breakdown: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    /**
+     * What EVERY lens the operator selected delivered — the statement that makes
+     * an absent `lens_breakdown` key legible. Optional because a run that carried
+     * no lens selection has no coverage claim to make, and because the recovery
+     * deliverable mints a summary from a flat finding set with no checkpoint at
+     * all. PRESENCE is guaranteed at the synthesis boundary, which holds the
+     * checkpoint; this schema and its validator own only internal consistency.
+     */
+    lens_coverage: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        lens: z.ZodString;
+        /** True when the operator's resolved selection includes this lens. */
+        selected: z.ZodBoolean;
+        findings_count: z.ZodNumber;
+        outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
+    }, "strict", z.ZodTypeAny, {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+        lens: string;
+        selected: boolean;
+        findings_count: number;
+    }, {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+        lens: string;
+        selected: boolean;
+        findings_count: number;
+    }>, "many">>;
 }, "strip", z.ZodTypeAny, {
     finding_count: number;
     work_block_count: number;
@@ -786,6 +896,13 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
     runtime_validation_status_breakdown: Record<string, number>;
     lens_breakdown?: Record<string, number> | undefined;
     grounding_status_breakdown?: Record<string, number> | undefined;
+    verification_status_breakdown?: Record<string, number> | undefined;
+    lens_coverage?: {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+        lens: string;
+        selected: boolean;
+        findings_count: number;
+    }[] | undefined;
 }, {
     finding_count: number;
     work_block_count: number;
@@ -795,6 +912,13 @@ export declare const AuditFindingsSummarySchema: z.ZodObject<{
     runtime_validation_status_breakdown: Record<string, number>;
     lens_breakdown?: Record<string, number> | undefined;
     grounding_status_breakdown?: Record<string, number> | undefined;
+    verification_status_breakdown?: Record<string, number> | undefined;
+    lens_coverage?: {
+        outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+        lens: string;
+        selected: boolean;
+        findings_count: number;
+    }[] | undefined;
 }>;
 export type AuditFindingsSummary = z.infer<typeof AuditFindingsSummarySchema>;
 /**
@@ -821,6 +945,45 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
          * dropped from the admitted set. Absent when no finding carried a verdict.
          */
         grounding_status_breakdown: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        /**
+         * Per-status counts of the judge's defect-presence claim, over the FINDINGS —
+         * `judge_confirmed` versus `asserted`, which is what lets a remediator rank
+         * one above the other. `refuted_at_head` never appears here: the adjudication
+         * validator forces a refuted candidate to `rejected`, and a rejected candidate
+         * maps to no final finding. Absent when no finding carried a status.
+         *
+         * Finding-scoped, and deliberately NOT reconciled with the CANDIDATE-scoped
+         * counts on `conceptual_review_adjudication.json`: the post-adjudication
+         * grounding quarantine can drop a merged candidate's final finding, so the two
+         * populations legitimately differ. One reconciled number would have to pick a
+         * population and would hide the quarantine.
+         */
+        verification_status_breakdown: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+        /**
+         * What EVERY lens the operator selected delivered — the statement that makes
+         * an absent `lens_breakdown` key legible. Optional because a run that carried
+         * no lens selection has no coverage claim to make, and because the recovery
+         * deliverable mints a summary from a flat finding set with no checkpoint at
+         * all. PRESENCE is guaranteed at the synthesis boundary, which holds the
+         * checkpoint; this schema and its validator own only internal consistency.
+         */
+        lens_coverage: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            lens: z.ZodString;
+            /** True when the operator's resolved selection includes this lens. */
+            selected: z.ZodBoolean;
+            findings_count: z.ZodNumber;
+            outcome: z.ZodEnum<["clean", "findings", "degraded", "not_run", "not_applicable"]>;
+        }, "strict", z.ZodTypeAny, {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }, {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }>, "many">>;
     }, "strip", z.ZodTypeAny, {
         finding_count: number;
         work_block_count: number;
@@ -830,6 +993,13 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         runtime_validation_status_breakdown: Record<string, number>;
         lens_breakdown?: Record<string, number> | undefined;
         grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
     }, {
         finding_count: number;
         work_block_count: number;
@@ -839,6 +1009,13 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
         runtime_validation_status_breakdown: Record<string, number>;
         lens_breakdown?: Record<string, number> | undefined;
         grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
     }>;
     findings: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -933,6 +1110,15 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         }>>;
+        /**
+         * Whether the defect this finding names is present at HEAD. TOOL-DERIVED at
+         * conceptual ingest from the judge's per-candidate verification claims — host
+         * supply is REFUSED, exactly as for `grounding`, so the value can always be
+         * cross-checked against the adjudication record. Optional because the per-file
+         * audit workers have no verification concept; absent outside the conceptual
+         * design-review path.
+         */
+        verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
         /**
          * Optional executable anchor for a behavior claim (S7 tier-2). The tool runs
          * the read-only `command` at ingest and folds the verdict into `grounding`: a
@@ -1064,6 +1250,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1118,6 +1305,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1363,6 +1551,15 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         }>>;
+        /**
+         * Whether the defect this finding names is present at HEAD. TOOL-DERIVED at
+         * conceptual ingest from the judge's per-candidate verification claims — host
+         * supply is REFUSED, exactly as for `grounding`, so the value can always be
+         * cross-checked against the adjudication record. Optional because the per-file
+         * audit workers have no verification concept; absent outside the conceptual
+         * design-review path.
+         */
+        verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
         /**
          * Optional executable anchor for a behavior claim (S7 tier-2). The tool runs
          * the read-only `command` at ingest and folds the verdict into `grounding`: a
@@ -1494,6 +1691,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1548,6 +1746,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1608,16 +1807,6 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
     top_risks: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
     contract_version: string;
-    summary: {
-        finding_count: number;
-        work_block_count: number;
-        severity_breakdown: Record<string, number>;
-        audited_file_count: number;
-        excluded_file_count: number;
-        runtime_validation_status_breakdown: Record<string, number>;
-        lens_breakdown?: Record<string, number> | undefined;
-        grounding_status_breakdown?: Record<string, number> | undefined;
-    };
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1647,6 +1836,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1673,6 +1863,23 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    summary: {
+        finding_count: number;
+        work_block_count: number;
+        severity_breakdown: Record<string, number>;
+        audited_file_count: number;
+        excluded_file_count: number;
+        runtime_validation_status_breakdown: Record<string, number>;
+        lens_breakdown?: Record<string, number> | undefined;
+        grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
+    };
     coherence_trace: {
         normalized_items: {
             id: string;
@@ -1740,6 +1947,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1772,16 +1980,6 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
     }[] | undefined;
 }, {
     contract_version: string;
-    summary: {
-        finding_count: number;
-        work_block_count: number;
-        severity_breakdown: Record<string, number>;
-        audited_file_count: number;
-        excluded_file_count: number;
-        runtime_validation_status_breakdown: Record<string, number>;
-        lens_breakdown?: Record<string, number> | undefined;
-        grounding_status_breakdown?: Record<string, number> | undefined;
-    };
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1811,6 +2009,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1837,6 +2036,23 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    summary: {
+        finding_count: number;
+        work_block_count: number;
+        severity_breakdown: Record<string, number>;
+        audited_file_count: number;
+        excluded_file_count: number;
+        runtime_validation_status_breakdown: Record<string, number>;
+        lens_breakdown?: Record<string, number> | undefined;
+        grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
+    };
     coherence_trace: {
         normalized_items: {
             id: string;
@@ -1904,6 +2120,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -1936,16 +2153,6 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
     }[] | undefined;
 }>, {
     contract_version: string;
-    summary: {
-        finding_count: number;
-        work_block_count: number;
-        severity_breakdown: Record<string, number>;
-        audited_file_count: number;
-        excluded_file_count: number;
-        runtime_validation_status_breakdown: Record<string, number>;
-        lens_breakdown?: Record<string, number> | undefined;
-        grounding_status_breakdown?: Record<string, number> | undefined;
-    };
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1975,6 +2182,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -2001,6 +2209,23 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    summary: {
+        finding_count: number;
+        work_block_count: number;
+        severity_breakdown: Record<string, number>;
+        audited_file_count: number;
+        excluded_file_count: number;
+        runtime_validation_status_breakdown: Record<string, number>;
+        lens_breakdown?: Record<string, number> | undefined;
+        grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
+    };
     coherence_trace: {
         normalized_items: {
             id: string;
@@ -2068,6 +2293,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -2100,16 +2326,6 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
     }[] | undefined;
 }, {
     contract_version: string;
-    summary: {
-        finding_count: number;
-        work_block_count: number;
-        severity_breakdown: Record<string, number>;
-        audited_file_count: number;
-        excluded_file_count: number;
-        runtime_validation_status_breakdown: Record<string, number>;
-        lens_breakdown?: Record<string, number> | undefined;
-        grounding_status_breakdown?: Record<string, number> | undefined;
-    };
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -2139,6 +2355,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {
@@ -2165,6 +2382,23 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    summary: {
+        finding_count: number;
+        work_block_count: number;
+        severity_breakdown: Record<string, number>;
+        audited_file_count: number;
+        excluded_file_count: number;
+        runtime_validation_status_breakdown: Record<string, number>;
+        lens_breakdown?: Record<string, number> | undefined;
+        grounding_status_breakdown?: Record<string, number> | undefined;
+        verification_status_breakdown?: Record<string, number> | undefined;
+        lens_coverage?: {
+            outcome: "clean" | "findings" | "degraded" | "not_run" | "not_applicable";
+            lens: string;
+            selected: boolean;
+            findings_count: number;
+        }[] | undefined;
+    };
     coherence_trace: {
         normalized_items: {
             id: string;
@@ -2232,6 +2466,7 @@ export declare const AuditFindingsReportSchema: z.ZodEffects<z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         } | undefined;
+        verification_status?: "judge_confirmed" | "asserted" | "refuted_at_head" | undefined;
         executable_anchor?: {
             command: string[];
             confirm_if: {

package/dist/shared/types/finding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,0DAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,2BAA2B;;;;;IAKtC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;EAE1E,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,yDACY,CAAC;AACzD,eAAO,MAAM,6BAA6B,uDACY,CAAC;AACvD,eAAO,MAAM,uBAAuB,iGAC4D,CAAC;AAEjG,sEAAsE;AACtE,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,YAAY,GAAG,UAAU,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE;IAClD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,GAAG,SAAS,wBAAwB,EAAE,CA4BtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,GACrC,UAAU,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,EACrD,SAAS,CAAC,CAAC,aAAa,KACvB,IAQF,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;IApGhC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6FP,CAAC;AACtE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB;;IAEjC,mEAAmE;;;;;;;;EAEnE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGjC,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,aAAa;;;;;;IAMxB,gEAAgE;;;;;;;;QApKhE;;;;;;WAMG;;QAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsK1E,yDAAyD;;IAEzD;;;;;;;;OAQG;;IAEH;;;;OAIG;;IAEH;;;;OAIG;;;QA3EH,mEAAmE;;;;;;;;;IA6EnE;;;;;;;OAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsDrE,4EAA4E;;IAE5E,iFAAiF;;IAEjF,0EAA0E;;IAE1E,+EAA+E;;IAE/E;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIH,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,2EAA2E;AAC3E,eAAO,MAAM,eAAe;;;;;IAK1B,wEAAwE;;;;;IAKxE,gFAAgF;;;;;;;;;;;;;;;;;;;;;;EAEhF,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,mBAAmB;;IAG5B,yDAAyD;;IAEzD;;;;OAIG;;;IAGH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYH,CAAC;AACL,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAInC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,eAAe,EAAE,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,eAAe,CASjE;AAED,eAAO,MAAM,0BAA0B;;;;;;;;IAQrC;;;;;;;OAOG;;;;;;;;;;;;;;;;;;;;EAEH,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;QAjBpC;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;QAtMH,gEAAgE;;;;;;;;YApKhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsK1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA3EH,mEAAmE;;;;;;;;;QA6EnE;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsDrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;QAE/E;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAaH,wEAAwE;;;;;QAKxE,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;QAmB9E,yDAAyD;;QAEzD;;;;WAIG;;;QAGH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA6GH;;;;OAIG;;;;;;;QA5NL,gEAAgE;;;;;;;;YApKhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsK1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA3EH,mEAAmE;;;;;;;;;QA6EnE;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApDH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAsDrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;QAE/E;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAsKD,6EAA6E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkD7E,CAAC;AACL,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}
+{"version":3,"file":"finding.d.ts","sourceRoot":"","sources":["../../../src/shared/types/finding.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,0DAMhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,sCAAoC,CAAC;AACzE,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,2BAA2B;;;;;IAKtC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;EAE1E,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,+BAA+B,yDACY,CAAC;AACzD,eAAO,MAAM,6BAA6B,uDACY,CAAC;AACvD,eAAO,MAAM,uBAAuB,iGAC4D,CAAC;AAEjG,sEAAsE;AACtE,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,YAAY,GAAG,UAAU,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE;IAClD,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,GAAG,SAAS,wBAAwB,EAAE,CA4BtC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,GACrC,UAAU,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,EACrD,SAAS,CAAC,CAAC,aAAa,KACvB,IAQF,CAAC;AAEF,eAAO,MAAM,qBAAqB;;;;;IApGhC;;;;;;OAMG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6FP,CAAC;AACtE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB;;IAEjC,mEAAmE;;;;;;;;EAEnE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,+BAA+B,+DAI1C,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGjC,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErE,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,aAAa;;;;;;IAMxB,gEAAgE;;;;;;;;QAtMhE;;;;;;WAMG;;QAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAwM1E,yDAAyD;;IAEzD;;;;;;;;OAQG;;IAEH;;;;OAIG;;IAEH;;;;OAIG;;;QA7GH,mEAAmE;;;;;;;;;IA+GnE;;;;;;;OAOG;;IAEH;;;;;;;OAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA7DH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA+DrE,4EAA4E;;IAE5E,iFAAiF;;IAEjF,0EAA0E;;IAE1E,+EAA+E;;IAE/E;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIH,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,2EAA2E;AAC3E,eAAO,MAAM,eAAe;;;;;IAK1B,wEAAwE;;;;;IAKxE,gFAAgF;;;;;;;;;;;;;;;;;;;;;;EAEhF,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,mBAAmB;;IAG5B,yDAAyD;;IAEzD;;;;OAIG;;;IAGH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYH,CAAC;AACL,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAInC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,eAAe,EAAE,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,eAAe,CASjE;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB;;IAGhC,sEAAsE;;;;;;;;;;;;;;EAK/D,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,0BAA0B;;;;;;;;IAQrC;;;;;;;OAOG;;IAEH;;;;;;;;;;;;OAYG;;IAEH;;;;;;;OAOG;;;QA9CD,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgDxE,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;QAxCpC;;;;;;;WAOG;;QAEH;;;;;;;;;;;;WAYG;;QAEH;;;;;;;WAOG;;;YA9CD,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlNxE,gEAAgE;;;;;;;;YAtMhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAwM1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA7GH,mEAAmE;;;;;;;;;QA+GnE;;;;;;;WAOG;;QAEH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YA7DH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA+DrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;QAE/E;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAaH,wEAAwE;;;;;QAKxE,gFAAgF;;;;;;;;;;;;;;;;;;;;;;;;;QAmB9E,yDAAyD;;QAEzD;;;;WAIG;;;QAGH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA8JH;;;;OAIG;;;;;;;QAtRL,gEAAgE;;;;;;;;YAtMhE;;;;;;eAMG;;YAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAwM1E,yDAAyD;;QAEzD;;;;;;;;WAQG;;QAEH;;;;WAIG;;QAEH;;;;WAIG;;;YA7GH,mEAAmE;;;;;;;;;QA+GnE;;;;;;;WAOG;;QAEH;;;;;;;WAOG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YA7DH,qEAAqE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA+DrE,4EAA4E;;QAE5E,iFAAiF;;QAEjF,0EAA0E;;QAE1E,+EAA+E;;QAE/E;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAuND,6EAA6E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkD7E,CAAC;AACL,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}