audit-tools 0.50.21 → 0.51.0

package/dist/audit/types/charterRegister.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,gBAAgB,EAChB,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,+BAA+B,wBAAwB,CAAC;AAErE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,OAAO,+BAA+B,CAAC;IACvD,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,SAAS,CAAC;IAClB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,iFAAiF;IACjF,UAAU,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;;OAIG;IACH,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC;;;OAGG;IACH,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC,qFAAqF;IACrF,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B"}
+{"version":3,"file":"charterRegister.d.ts","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EACV,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,iBAAiB,EAClB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,eAAO,MAAM,+BAA+B,wBAAwB,CAAC;AAErE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,eAAe;IAC9B,cAAc,EAAE,OAAO,+BAA+B,CAAC;IACvD,YAAY,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,MAAM,EAAE,SAAS,CAAC;IAClB;;;;;OAKG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;OAGG;IACH,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,iFAAiF;IACjF,UAAU,EAAE,SAAS,CAAC;IACtB;;;;OAIG;IACH,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB;;;;OAIG;IACH,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC;;;OAGG;IACH,YAAY,EAAE,mBAAmB,EAAE,CAAC;IACpC;;;;;OAKG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B;;;;OAIG;IACH,mBAAmB,EAAE,yBAAyB,CAAC;IAC/C;;;;;;;OAOG;IACH,iBAAiB,EAAE,qBAAqB,EAAE,CAAC;CAC5C"}

package/dist/audit/types/charterRegister.js

@@ -1,6 +1,16 @@
 /**
  * The stamped register schema version.
  *
+ * v4 = the register no longer self-certifies. `validation_issues: []` printed
+ * identically at 1-of-15 correct citations and at 75-of-75, because its only two
+ * producers were node-file membership and the True-charter gate while the
+ * overshoots lived in `provenance[].ref` — a field nothing read. v4 adds
+ * `citation_validation` (the affirmation that the check RAN, with a recorded
+ * abstention rather than an implicit pass) and `evidence_coverage` (what each
+ * blind lane's packet actually delivered, per evidence class). Both are REQUIRED:
+ * an optional affirmation is one a writer can forget, which is the same
+ * false-green in a new place.
+ *
  * v3 = the deltas carry their own identity: every delta is a
  * {@link StampedCharterDelta} with an explicit `node_id` (and `goal_node_id`
  * when linked), so no consumer recovers a subsystem by parsing `delta_id`. A v2
@@ -21,5 +31,5 @@
  * deltas. The clarification join's own refusal of an unstamped delta stays as
  * defense-in-depth for anything that reaches it anyway.
  */
-export const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v3";
+export const CHARTER_REGISTER_SCHEMA_VERSION = "charter-register/v4";
 //# sourceMappingURL=charterRegister.js.map

package/dist/audit/types/charterRegister.js.map

@@ -1 +1 @@
-{"version":3,"file":"charterRegister.js","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAUA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,qBAAqB,CAAC"}
+{"version":3,"file":"charterRegister.js","sourceRoot":"","sources":["../../../src/audit/types/charterRegister.ts"],"names":[],"mappings":"AAYA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,qBAAqB,CAAC"}

package/dist/audit/types/conceptualAdjudication.d.ts

@@ -99,7 +99,7 @@ export declare function conceptualReviewRoundManifestPath(artifactsDir: string):
 export declare function writeConceptualReviewRoundManifest(artifactsDir: string, manifest: ConceptualReviewRoundManifest): Promise<void>;
 export declare function readConceptualReviewRoundManifest(artifactsDir: string): Promise<ConceptualReviewRoundManifest | undefined>;
 export declare function clearConceptualReviewRoundManifest(artifactsDir: string): Promise<void>;
-export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
+export declare const ConceptualCandidateDispositionSchema: z.ZodEffects<z.ZodObject<{
     candidate_id: z.ZodString;
     contributor_id: z.ZodString;
     source_finding_id: z.ZodString;
@@ -107,7 +107,24 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
     target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
     modification_percent: z.ZodNumber;
     rationale: z.ZodString;
+    /**
+     * The judge's claim about whether this candidate's named defect is present
+     * at HEAD. REQUIRED, never optional: an optional field defaults to silence,
+     * and silence is the defect (134 candidates across two live runs, zero
+     * rejections, one of them a candidate the judge itself reported as already
+     * fixed and merged at 70% modification).
+     */
+    verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
+    /**
+     * What the judge checked, and what it found. Required exactly when the
+     * status is not `asserted` and REFUSED when it is: that makes a
+     * `judge_confirmed` or `refuted_at_head` claim cost something and leaves
+     * `asserted` the cheap path, so the note cannot decay into boilerplate
+     * stamped on every candidate.
+     */
+    verification_note: z.ZodOptional<z.ZodString>;
 }, "strict", z.ZodTypeAny, {
+    verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
     rationale: string;
     disposition: "rejected" | "retained" | "merged";
     contributor_id: string;
@@ -115,7 +132,9 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
     source_finding_id: string;
     target_final_finding_ids: string[];
     modification_percent: number;
+    verification_note?: string | undefined;
 }, {
+    verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
     rationale: string;
     disposition: "rejected" | "retained" | "merged";
     contributor_id: string;
@@ -123,6 +142,291 @@ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
     source_finding_id: string;
     target_final_finding_ids: string[];
     modification_percent: number;
+    verification_note?: string | undefined;
+}>, {
+    verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
+    rationale: string;
+    disposition: "rejected" | "retained" | "merged";
+    contributor_id: string;
+    candidate_id: string;
+    source_finding_id: string;
+    target_final_finding_ids: string[];
+    modification_percent: number;
+    verification_note?: string | undefined;
+}, {
+    verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
+    rationale: string;
+    disposition: "rejected" | "retained" | "merged";
+    contributor_id: string;
+    candidate_id: string;
+    source_finding_id: string;
+    target_final_finding_ids: string[];
+    modification_percent: number;
+    verification_note?: string | undefined;
+}>;
+/**
+ * The findings a judge or perspective may SUBMIT. `verification_status` is
+ * omitted for the same reason `WorkerFindingSchema` omits `grounding`: it is
+ * derived by the tool at ingest from the per-candidate claims, so a supplied
+ * value would bypass the derivation and be un-cross-checkable. The omit keeps it
+ * out of the parsed value; `refuseSuppliedVerificationStatus` NAMES it, because
+ * a silently stripped field teaches the host nothing.
+ */
+export declare const ConceptualSubmittedFindingSchema: z.ZodObject<Omit<{
+    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.ZodEffects<z.ZodObject<{
+        path: z.ZodString;
+        line_start: z.ZodOptional<z.ZodNumber>;
+        line_end: z.ZodOptional<z.ZodNumber>;
+        symbol: z.ZodOptional<z.ZodString>;
+        quoted_text: z.ZodOptional<z.ZodString>;
+        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;
+    }>, {
+        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>;
+    blast_radius: z.ZodOptional<z.ZodNumber>;
+    evidence_grounded: z.ZodOptional<z.ZodBoolean>;
+    grounding: z.ZodOptional<z.ZodObject<{
+        status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    }, {
+        status: "grounded" | "ungrounded" | "refuted";
+        reason?: string | undefined;
+    }>>;
+    verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
+    executable_anchor: z.ZodOptional<z.ZodObject<{
+        command: z.ZodArray<z.ZodString, "many">;
+        confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"exit_zero">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "exit_zero";
+        }, {
+            kind: "exit_zero";
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"exit_nonzero">;
+        }, "strip", z.ZodTypeAny, {
+            kind: "exit_nonzero";
+        }, {
+            kind: "exit_nonzero";
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"output_includes">;
+            text: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "output_includes";
+            text: string;
+        }, {
+            kind: "output_includes";
+            text: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"output_excludes">;
+            text: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "output_excludes";
+            text: string;
+        }, {
+            kind: "output_excludes";
+            text: string;
+        }>]>;
+        claim: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        command: string[];
+        confirm_if: {
+            kind: "exit_zero";
+        } | {
+            kind: "exit_nonzero";
+        } | {
+            kind: "output_includes";
+            text: string;
+        } | {
+            kind: "output_excludes";
+            text: string;
+        };
+        claim?: string | undefined;
+    }, {
+        command: string[];
+        confirm_if: {
+            kind: "exit_zero";
+        } | {
+            kind: "exit_nonzero";
+        } | {
+            kind: "output_includes";
+            text: string;
+        } | {
+            kind: "output_excludes";
+            text: string;
+        };
+        claim?: string | undefined;
+    }>>;
+    contract_goal_id: z.ZodOptional<z.ZodString>;
+    contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    analyzer_provenance: z.ZodOptional<z.ZodObject<{
+        analyzer_id: z.ZodString;
+        rule: z.ZodOptional<z.ZodString>;
+        path: z.ZodString;
+        snippet_hash: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        path: string;
+        analyzer_id: string;
+        snippet_hash: string;
+        rule?: string | undefined;
+    }, {
+        path: string;
+        analyzer_id: string;
+        snippet_hash: string;
+        rule?: string | undefined;
+    }>>;
+}, "verification_status">, "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;
+    blast_radius?: number | 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;
+    analyzer_provenance?: {
+        path: string;
+        analyzer_id: string;
+        snippet_hash: string;
+        rule?: string | undefined;
+    } | 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;
+    blast_radius?: number | 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;
+    analyzer_provenance?: {
+        path: string;
+        analyzer_id: string;
+        snippet_hash: string;
+        rule?: string | undefined;
+    } | undefined;
 }>;
 export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
     final_finding_id: z.ZodString;
@@ -161,7 +465,7 @@ export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
 }>;
 export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
     round_id: z.ZodString;
-    findings: z.ZodArray<z.ZodObject<{
+    findings: z.ZodArray<z.ZodObject<Omit<{
         id: z.ZodString;
         title: z.ZodString;
         category: z.ZodString;
@@ -224,6 +528,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
             status: "grounded" | "ungrounded" | "refuted";
             reason?: string | undefined;
         }>>;
+        verification_status: z.ZodOptional<z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>>;
         executable_anchor: z.ZodOptional<z.ZodObject<{
             command: z.ZodArray<z.ZodString, "many">;
             confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
@@ -307,7 +612,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
             snippet_hash: string;
             rule?: string | undefined;
         }>>;
-    }, "strip", z.ZodTypeAny, {
+    }, "verification_status">, "strip", z.ZodTypeAny, {
         id: string;
         confidence: "high" | "low" | "medium";
         title: string;
@@ -416,7 +721,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }>, "many">;
-    candidate_dispositions: z.ZodArray<z.ZodObject<{
+    candidate_dispositions: z.ZodArray<z.ZodEffects<z.ZodObject<{
         candidate_id: z.ZodString;
         contributor_id: z.ZodString;
         source_finding_id: z.ZodString;
@@ -424,7 +729,44 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
         target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
         modification_percent: z.ZodNumber;
         rationale: z.ZodString;
+        /**
+         * The judge's claim about whether this candidate's named defect is present
+         * at HEAD. REQUIRED, never optional: an optional field defaults to silence,
+         * and silence is the defect (134 candidates across two live runs, zero
+         * rejections, one of them a candidate the judge itself reported as already
+         * fixed and merged at 70% modification).
+         */
+        verification_status: z.ZodEnum<["judge_confirmed", "asserted", "refuted_at_head"]>;
+        /**
+         * What the judge checked, and what it found. Required exactly when the
+         * status is not `asserted` and REFUSED when it is: that makes a
+         * `judge_confirmed` or `refuted_at_head` claim cost something and leaves
+         * `asserted` the cheap path, so the note cannot decay into boilerplate
+         * stamped on every candidate.
+         */
+        verification_note: z.ZodOptional<z.ZodString>;
     }, "strict", z.ZodTypeAny, {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
+        rationale: string;
+        disposition: "rejected" | "retained" | "merged";
+        contributor_id: string;
+        candidate_id: string;
+        source_finding_id: string;
+        target_final_finding_ids: string[];
+        modification_percent: number;
+        verification_note?: string | undefined;
+    }, {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
+        rationale: string;
+        disposition: "rejected" | "retained" | "merged";
+        contributor_id: string;
+        candidate_id: string;
+        source_finding_id: string;
+        target_final_finding_ids: string[];
+        modification_percent: number;
+        verification_note?: string | undefined;
+    }>, {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
         rationale: string;
         disposition: "rejected" | "retained" | "merged";
         contributor_id: string;
@@ -432,7 +774,9 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
         source_finding_id: string;
         target_final_finding_ids: string[];
         modification_percent: number;
+        verification_note?: string | undefined;
     }, {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
         rationale: string;
         disposition: "rejected" | "retained" | "merged";
         contributor_id: string;
@@ -440,6 +784,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
         source_finding_id: string;
         target_final_finding_ids: string[];
         modification_percent: number;
+        verification_note?: string | undefined;
     }>, "many">;
     final_finding_shares: z.ZodArray<z.ZodObject<{
         final_finding_id: z.ZodString;
@@ -534,6 +879,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
     }[];
     round_id: string;
     candidate_dispositions: {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
         rationale: string;
         disposition: "rejected" | "retained" | "merged";
         contributor_id: string;
@@ -541,6 +887,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
         source_finding_id: string;
         target_final_finding_ids: string[];
         modification_percent: number;
+        verification_note?: string | undefined;
     }[];
     final_finding_shares: {
         final_finding_id: string;
@@ -609,6 +956,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
     }[];
     round_id: string;
     candidate_dispositions: {
+        verification_status: "judge_confirmed" | "asserted" | "refuted_at_head";
         rationale: string;
         disposition: "rejected" | "retained" | "merged";
         contributor_id: string;
@@ -616,6 +964,7 @@ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
         source_finding_id: string;
         target_final_finding_ids: string[];
         modification_percent: number;
+        verification_note?: string | undefined;
     }[];
     final_finding_shares: {
         final_finding_id: string;
@@ -643,8 +992,38 @@ export interface ConceptualReviewAdjudication {
     contributors: ConceptualReviewContributor[];
     candidate_dispositions: ConceptualJudgeSubmission["candidate_dispositions"];
     final_finding_shares: ConceptualJudgeSubmission["final_finding_shares"];
+    /**
+     * CANDIDATE-scoped counts, DERIVED by `buildConceptualReviewAdjudication` and
+     * never read from the submission — an aggregate a judge supplied would let the
+     * artifact self-certify its own outcome. Both are required, so an adjudication
+     * that publishes no rejection rate cannot exist.
+     *
+     * These do NOT reconcile with the finding-scoped
+     * `AuditFindingsSummary.verification_status_breakdown`, and are not meant to:
+     * a merged candidate's final finding can still be quarantined ungrounded
+     * downstream. Each is labelled by its population rather than reconciled into
+     * one number that would have to hide the quarantine.
+     */
+    candidate_disposition_breakdown: Record<string, number>;
+    candidate_verification_status_breakdown: Record<string, number>;
 }
 export declare function conceptualCandidateId(contributorId: string, findingId: string): string;
+/**
+ * Fold the judge's per-CANDIDATE verification claims into a per-FINDING status.
+ * A final finding is `judge_confirmed` when at least one candidate that fed it
+ * was; otherwise `asserted`. The fold is TOTAL by construction — a judge-added
+ * finding has no candidate, and the shallow pass has no adjudication at all, and
+ * both land on `asserted` rather than on an absent field, because absence is the
+ * silence this vocabulary exists to end.
+ *
+ * `refuted_at_head` can never be emitted here: the validator forces a refuted
+ * candidate to `rejected`, and a rejected candidate maps to no final finding.
+ *
+ * Derived, never host-supplied — the reason `verification_status` is omitted
+ * from every submission schema. Returns new finding objects; the input is not
+ * mutated.
+ */
+export declare function deriveConceptualVerificationStatus(findings: readonly Finding[], adjudication: ConceptualReviewAdjudication | undefined): Finding[];
 /**
  * Read exactly the perspective result paths named by the current-round
  * manifest. No directory scan is permitted: old round files may remain for

package/dist/audit/types/conceptualAdjudication.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;EAUtC,CAAC;AAEZ,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOjC,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;CACzE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAMD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CA6M/B"}
+{"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;IAS7C;;;;;;OAMG;;IAEH;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBH,CAAC;AAEL;;;;;;;GAOG;AACH,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAC;AAEH,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlExC;;;;;;WAMG;;QAEH;;;;;;WAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA2DI,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;IACxE;;;;;;;;;;;OAWG;IACH,+BAA+B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxD,uCAAuC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,YAAY,EAAE,4BAA4B,GAAG,SAAS,GACrD,OAAO,EAAE,CAcX;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAyBD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CAoO/B"}