npm - audit-tools - Versions diffs - 0.50.21 → 0.51.0 - Mend

audit-tools 0.50.21 → 0.51.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (157) hide show

package/dist/audit/types/conceptualAdjudication.js CHANGED Viewed

@@ -1,7 +1,7 @@
 import { unlink } from "node:fs/promises";
 import { join } from "node:path";
 import { z } from "zod";
-import { FindingSchema, isFileMissingError, laneAssetsDir, readJsonFile, readOptionalJsonFile, writeJsonFile, } from "audit-tools/shared";
+import { countBy, FindingSchema, FindingVerificationStatusSchema, isFileMissingError, isRecord, laneAssetsDir, readJsonFile, readOptionalJsonFile, writeJsonFile, } from "audit-tools/shared";
 const PercentageSchema = z.number().finite().min(0).max(100);
 export const ConceptualRoundContributorSchema = z
     .object({
@@ -59,8 +59,52 @@ export const ConceptualCandidateDispositionSchema = z
     target_final_finding_ids: z.array(z.string().min(1)),
     modification_percent: PercentageSchema,
     rationale: z.string().trim().min(1),
+    /**
+     * 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: FindingVerificationStatusSchema,
+    /**
+     * 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.string().trim().min(1).optional(),
 })
-    .strict();
+    .strict()
+    .superRefine((disposition, ctx) => {
+    const asserted = disposition.verification_status === "asserted";
+    if (asserted && disposition.verification_note !== undefined) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            path: ["verification_note"],
+            message: `candidate ${disposition.candidate_id}: verification_note is not permitted on an asserted candidate`,
+        });
+    }
+    if (!asserted && disposition.verification_note === undefined) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            path: ["verification_note"],
+            message: `candidate ${disposition.candidate_id}: verification_status "${disposition.verification_status}" requires a verification_note stating what was checked`,
+        });
+    }
+});
+/**
+ * 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 const ConceptualSubmittedFindingSchema = FindingSchema.omit({
+    verification_status: true,
+});
 export const ConceptualFinalFindingShareSchema = z
     .object({
     final_finding_id: z.string().min(1),
@@ -79,7 +123,7 @@ export const ConceptualFinalFindingShareSchema = z
 export const ConceptualJudgeSubmissionSchema = z
     .object({
     round_id: z.string().min(1),
-    findings: z.array(FindingSchema),
+    findings: z.array(ConceptualSubmittedFindingSchema),
     candidate_dispositions: z.array(ConceptualCandidateDispositionSchema),
     final_finding_shares: z.array(ConceptualFinalFindingShareSchema),
 })
@@ -87,11 +131,42 @@ export const ConceptualJudgeSubmissionSchema = z
 export function conceptualCandidateId(contributorId, findingId) {
     return `${contributorId}::${findingId}`;
 }
+/**
+ * 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 function deriveConceptualVerificationStatus(findings, adjudication) {
+    const confirmedFinalIds = new Set();
+    for (const disposition of adjudication?.candidate_dispositions ?? []) {
+        if (disposition.verification_status !== "judge_confirmed")
+            continue;
+        for (const finalId of disposition.target_final_finding_ids) {
+            confirmedFinalIds.add(finalId);
+        }
+    }
+    return findings.map((finding) => ({
+        ...finding,
+        verification_status: confirmedFinalIds.has(finding.id)
+            ? "judge_confirmed"
+            : "asserted",
+    }));
+}
 function submissionFindings(value, path) {
     const envelope = z
         .union([
-        z.array(FindingSchema),
-        z.object({ findings: z.array(FindingSchema) }).passthrough(),
+        z.array(ConceptualSubmittedFindingSchema),
+        z.object({ findings: z.array(ConceptualSubmittedFindingSchema) }).passthrough(),
     ])
         .safeParse(value);
     if (!envelope.success) {
@@ -121,6 +196,22 @@ export async function loadConceptualPerspectiveFindings(manifestInput) {
 function fail(message) {
     throw new Error(`invalid conceptual adjudication: ${message}`);
 }
+/**
+ * The judge's own door into the finding contract. `ConceptualJudgeSubmissionSchema`
+ * parses `findings` with `verification_status` OMITTED, which strips a supplied
+ * value SILENTLY — so this pre-schema check names the field, exactly as the
+ * per-file host handoff does for `grounding`. Stated before the schema parse for
+ * the same reason: the strict envelope would report only a stripped/unknown key.
+ */
+function refuseSuppliedVerificationStatus(submission) {
+    if (!isRecord(submission) || !Array.isArray(submission.findings))
+        return;
+    for (const [index, finding] of submission.findings.entries()) {
+        if (isRecord(finding) && "verification_status" in finding) {
+            fail(`findings[${index}].verification_status: verification_status is derived at ingest and must not be supplied`);
+        }
+    }
+}
 /**
  * Apply semantic invariants a schema alone cannot express. Percentages remain
  * judge-authored estimates; tooling verifies references, completeness, and
@@ -128,6 +219,7 @@ function fail(message) {
  */
 export function buildConceptualReviewAdjudication(params) {
     const manifest = ConceptualReviewRoundManifestSchema.parse(params.manifest);
+    refuseSuppliedVerificationStatus(params.submission);
     const submission = ConceptualJudgeSubmissionSchema.parse(params.submission);
     if (submission.round_id !== manifest.round_id) {
         fail(`stale round ${submission.round_id}; expected current round ${manifest.round_id}`);
@@ -190,6 +282,16 @@ export function buildConceptualReviewAdjudication(params) {
             disposition.target_final_finding_ids.length > 0) {
             fail(`rejected candidate ${disposition.candidate_id} maps to a final finding`);
         }
+        // The single rule that closes NO-REJECTION-OUTCOME. A judge that has already
+        // checked the named defect against HEAD and found it absent cannot then
+        // launder the candidate into the final set at a high `modification_percent`
+        // — the observed case. Rejection is the only disposition a refutation admits,
+        // and `rejected` maps to no final finding, so `refuted_at_head` can never
+        // reach `findings[]`.
+        if (disposition.verification_status === "refuted_at_head" &&
+            disposition.disposition !== "rejected") {
+            fail(`refuted_at_head candidate ${disposition.candidate_id} must be rejected, not ${disposition.disposition}`);
+        }
         if (disposition.disposition !== "rejected" &&
             disposition.target_final_finding_ids.length === 0) {
             fail(`${disposition.disposition} candidate ${disposition.candidate_id} has no final finding`);
@@ -293,6 +395,8 @@ export function buildConceptualReviewAdjudication(params) {
         ],
         candidate_dispositions: submission.candidate_dispositions,
         final_finding_shares: submission.final_finding_shares,
+        candidate_disposition_breakdown: countBy(submission.candidate_dispositions, (disposition) => disposition.disposition),
+        candidate_verification_status_breakdown: countBy(submission.candidate_dispositions, (disposition) => disposition.verification_status),
     };
 }
 //# sourceMappingURL=conceptualAdjudication.js.map

package/dist/audit/types/conceptualAdjudication.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"conceptualAdjudication.js","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,aAAa,EACb,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAG5B,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7D,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC;KACjD,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC/B,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAMZ,MAAM,CAAC,MAAM,gCAAgC,GAC3C,8BAA8B,CAAC;AAEjC,MAAM,UAAU,iCAAiC,CAC/C,YAAoB;IAEpB,OAAO,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,gCAAgC,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,YAAoB,EACpB,QAAuC;IAEvC,MAAM,aAAa,CACjB,iCAAiC,CAAC,YAAY,CAAC,EAC/C,mCAAmC,CAAC,KAAK,CAAC,QAAQ,CAAC,CACpD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,YAAoB;IAEpB,MAAM,KAAK,GAAG,MAAM,oBAAoB,CACtC,iCAAiC,CAAC,YAAY,CAAC,CAChD,CAAC;IACF,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,mCAAmC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,YAAoB;IAEpB,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,iCAAiC,CAAC,YAAY,CAAC,CAAC,CAAC;IAChE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAC;KAClD,MAAM,CAAC;IACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACvD,wBAAwB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,oBAAoB,EAAE,gBAAgB;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,YAAY,EAAE,CAAC;SACZ,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,oBAAoB,EAAE,gBAAgB;QACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACpC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAChC,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,oCAAoC,CAAC;IACrE,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,iCAAiC,CAAC;CACjE,CAAC;KACD,MAAM,EAAE,CAAC;AAwBZ,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,SAAiB;IAEjB,OAAO,GAAG,aAAa,KAAK,SAAS,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAY;IACtD,MAAM,QAAQ,GAAG,CAAC;SACf,KAAK,CAAC;QACL,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QACtB,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;KAC7D,CAAC;SACD,SAAS,CAAC,KAAK,CAAC,CAAC;IACpB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,iCAAiC,IAAI,4CAA4C,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAC1G,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,aAA4C;IAE5C,MAAM,QAAQ,GAAG,mCAAmC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAqB,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,yBAAyB,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAU,WAAW,CAAC,WAAW,CAAC,CAAC;QACnE,GAAG,CAAC,GAAG,CACL,WAAW,CAAC,cAAc,EAC1B,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,oCAAoC,OAAO,EAAE,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iCAAiC,CAAC,MAKjD;IACC,MAAM,QAAQ,GAAG,mCAAmC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,+BAA+B,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,IAAI,UAAU,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC9C,IAAI,CACF,eAAe,UAAU,CAAC,QAAQ,4BAA4B,QAAQ,CAAC,QAAQ,EAAE,CAClF,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,yBAAyB,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,4CAA4C,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAG/B,CAAC;IACJ,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,oCAAoC,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,IAAI,CACF,4BAA4B,OAAO,CAAC,EAAE,qBAAqB,WAAW,CAAC,cAAc,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,qBAAqB,CAAC,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACzE,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE;gBACzB,aAAa,EAAE,WAAW,CAAC,cAAc;gBACzC,SAAS,EAAE,OAAO,CAAC,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,sBAAsB,EAAE,CAAC;QAC5D,IAAI,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,mCAAmC,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,qBAAqB,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,IACE,WAAW,CAAC,cAAc,KAAK,QAAQ,CAAC,aAAa;YACrD,WAAW,CAAC,iBAAiB,KAAK,QAAQ,CAAC,SAAS;YACpD,WAAW,CAAC,YAAY;gBACtB,qBAAqB,CACnB,WAAW,CAAC,cAAc,EAC1B,WAAW,CAAC,iBAAiB,CAC9B,EACH,CAAC;YACD,IAAI,CAAC,+BAA+B,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;YAC3D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,yBAAyB,OAAO,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,IACE,WAAW,CAAC,WAAW,KAAK,UAAU;YACtC,WAAW,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,EAC/C,CAAC;YACD,IAAI,CAAC,sBAAsB,WAAW,CAAC,YAAY,0BAA0B,CAAC,CAAC;QACjF,CAAC;QACD,IACE,WAAW,CAAC,WAAW,KAAK,UAAU;YACtC,WAAW,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,EACjD,CAAC;YACD,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,cAAc,WAAW,CAAC,YAAY,uBAAuB,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,iCAAiC,UAAU,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,oBAAoB,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,yBAAyB,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,iCAAiC,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAE1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC5C,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC/C,IAAI,CACF,yBAAyB,KAAK,CAAC,cAAc,sBAAsB,UAAU,CAAC,gBAAgB,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC3C,KAAK,IAAI,KAAK,CAAC,oBAAoB,CAAC;YACpC,IAAI,KAAK,CAAC,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;gBAC3D,WAAW,IAAI,CAAC,CAAC;gBACjB,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1C,IAAI,CAAC,mBAAmB,UAAU,CAAC,gBAAgB,+BAA+B,CAAC,CAAC;gBACtF,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,uBAAuB,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,CACF,qBAAqB,KAAK,CAAC,cAAc,QAAQ,UAAU,CAAC,gBAAgB,0BAA0B,CACvG,CAAC;YACJ,CAAC;YACH,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;gBACrD,MAAM,MAAM,GAAG,GAAG,WAAW,SAAS,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBACpE,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,IAAI,CACF,aAAa,WAAW,8CAA8C,UAAU,CAAC,gBAAgB,EAAE,CACpG,CAAC;gBACJ,CAAC;gBACD,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC9C,IAAI,CAAC,SAAS;oBAAE,IAAI,CAAC,qBAAqB,WAAW,EAAE,CAAC,CAAC;gBACzD,IAAI,SAAS,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;oBACtD,IAAI,CAAC,aAAa,WAAW,iCAAiC,CAAC,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;oBAC9E,IAAI,CACF,aAAa,WAAW,kCAAkC,UAAU,CAAC,gBAAgB,EAAE,CACxF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,iBAAiB,UAAU,CAAC,gBAAgB,mCAAmC,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YAC3C,IAAI,CAAC,2BAA2B,UAAU,CAAC,gBAAgB,wBAAwB,KAAK,GAAG,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,+BAA+B,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU;YAAE,SAAS;QACrD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;YAC3D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,YAAY,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC;gBACxE,IAAI,CACF,GAAG,WAAW,CAAC,WAAW,cAAc,WAAW,CAAC,YAAY,kCAAkC,OAAO,EAAE,CAC5G,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,MAAM,CAAC,WAAW;QAChC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE;YACZ,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBAC7C,cAAc,EAAE,WAAW,CAAC,cAAc;gBAC1C,IAAI,EAAE,aAAsB;gBAC5B,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,WAAW,EAAE,WAAW,CAAC,WAAW;aACrC,CAAC,CAAC;YACH;gBACE,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc;gBAC7C,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO;gBAC/B,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;gBACvC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;aACxC;SACF;QACD,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;QACzD,oBAAoB,EAAE,UAAU,CAAC,oBAAoB;KACtD,CAAC;AACJ,CAAC"}
1	+ {"version":3,"file":"conceptualAdjudication.js","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACL,OAAO,EACP,aAAa,EACb,+BAA+B,EAC/B,kBAAkB,EAClB,QAAQ,EACR,aAAa,EACb,YAAY,EACZ,oBAAoB,EACpB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAG5B,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7D,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC;KACjD,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC/B,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAMZ,MAAM,CAAC,MAAM,gCAAgC,GAC3C,8BAA8B,CAAC;AAEjC,MAAM,UAAU,iCAAiC,CAC/C,YAAoB;IAEpB,OAAO,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,gCAAgC,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,YAAoB,EACpB,QAAuC;IAEvC,MAAM,aAAa,CACjB,iCAAiC,CAAC,YAAY,CAAC,EAC/C,mCAAmC,CAAC,KAAK,CAAC,QAAQ,CAAC,CACpD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,YAAoB;IAEpB,MAAM,KAAK,GAAG,MAAM,oBAAoB,CACtC,iCAAiC,CAAC,YAAY,CAAC,CAChD,CAAC;IACF,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,mCAAmC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,YAAoB;IAEpB,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,iCAAiC,CAAC,YAAY,CAAC,CAAC,CAAC;IAChE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAC;KAClD,MAAM,CAAC;IACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACvD,wBAAwB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,oBAAoB,EAAE,gBAAgB;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC;;;;;;OAMG;IACH,mBAAmB,EAAE,+BAA+B;IACpD;;;;;;OAMG;IACH,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE;IAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,mBAAmB,KAAK,UAAU,CAAC;IAChE,IAAI,QAAQ,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC5D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,mBAAmB,CAAC;YAC3B,OAAO,EAAE,aAAa,WAAW,CAAC,YAAY,+DAA+D;SAC9G,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC7D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,IAAI,EAAE,CAAC,mBAAmB,CAAC;YAC3B,OAAO,EAAE,aAAa,WAAW,CAAC,YAAY,0BAA0B,WAAW,CAAC,mBAAmB,yDAAyD;SACjK,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,aAAa,CAAC,IAAI,CAAC;IACjE,mBAAmB,EAAE,IAAI;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC;KAC/C,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,YAAY,EAAE,CAAC;SACZ,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,oBAAoB,EAAE,gBAAgB;QACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACpC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;IACnD,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,oCAAoC,CAAC;IACrE,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,iCAAiC,CAAC;CACjE,CAAC;KACD,MAAM,EAAE,CAAC;AAsCZ,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,SAAiB;IAEjB,OAAO,GAAG,aAAa,KAAK,SAAS,EAAE,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kCAAkC,CAChD,QAA4B,EAC5B,YAAsD;IAEtD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5C,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,sBAAsB,IAAI,EAAE,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,mBAAmB,KAAK,iBAAiB;YAAE,SAAS;QACpE,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;YAC3D,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,GAAG,OAAO;QACV,mBAAmB,EAAE,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,CAAC,CAAE,iBAA2B;YAC9B,CAAC,CAAE,UAAoB;KAC1B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAY;IACtD,MAAM,QAAQ,GAAG,CAAC;SACf,KAAK,CAAC;QACL,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;QACzC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;KAChF,CAAC;SACD,SAAS,CAAC,KAAK,CAAC,CAAC;IACpB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,iCAAiC,IAAI,4CAA4C,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAC1G,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,aAA4C;IAE5C,MAAM,QAAQ,GAAG,mCAAmC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAqB,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,yBAAyB,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAU,WAAW,CAAC,WAAW,CAAC,CAAC;QACnE,GAAG,CAAC,GAAG,CACL,WAAW,CAAC,cAAc,EAC1B,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,WAAW,CAAC,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,oCAAoC,OAAO,EAAE,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gCAAgC,CAAC,UAAmB;IAC3D,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO;IACzE,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,qBAAqB,IAAI,OAAO,EAAE,CAAC;YAC1D,IAAI,CACF,YAAY,KAAK,0FAA0F,CAC5G,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAGD;;;;GAIG;AACH,MAAM,UAAU,iCAAiC,CAAC,MAKjD;IACC,MAAM,QAAQ,GAAG,mCAAmC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5E,gCAAgC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,+BAA+B,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5E,IAAI,UAAU,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC9C,IAAI,CACF,eAAe,UAAU,CAAC,QAAQ,4BAA4B,QAAQ,CAAC,QAAQ,EAAE,CAClF,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,yBAAyB,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,4CAA4C,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAG/B,CAAC;IACJ,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,oCAAoC,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,IAAI,CACF,4BAA4B,OAAO,CAAC,EAAE,qBAAqB,WAAW,CAAC,cAAc,EAAE,CACxF,CAAC;YACJ,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,qBAAqB,CAAC,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACzE,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE;gBACzB,aAAa,EAAE,WAAW,CAAC,cAAc;gBACzC,SAAS,EAAE,OAAO,CAAC,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,KAAK,MAAM,WAAW,IAAI,UAAU,CAAC,sBAAsB,EAAE,CAAC;QAC5D,IAAI,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,mCAAmC,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,qBAAqB,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,IACE,WAAW,CAAC,cAAc,KAAK,QAAQ,CAAC,aAAa;YACrD,WAAW,CAAC,iBAAiB,KAAK,QAAQ,CAAC,SAAS;YACpD,WAAW,CAAC,YAAY;gBACtB,qBAAqB,CACnB,WAAW,CAAC,cAAc,EAC1B,WAAW,CAAC,iBAAiB,CAC9B,EACH,CAAC;YACD,IAAI,CAAC,+BAA+B,WAAW,CAAC,YAAY,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;YAC3D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,yBAAyB,OAAO,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QACD,IACE,WAAW,CAAC,WAAW,KAAK,UAAU;YACtC,WAAW,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC,EAC/C,CAAC;YACD,IAAI,CAAC,sBAAsB,WAAW,CAAC,YAAY,0BAA0B,CAAC,CAAC;QACjF,CAAC;QACD,6EAA6E;QAC7E,wEAAwE;QACxE,4EAA4E;QAC5E,8EAA8E;QAC9E,0EAA0E;QAC1E,sBAAsB;QACtB,IACE,WAAW,CAAC,mBAAmB,KAAK,iBAAiB;YACrD,WAAW,CAAC,WAAW,KAAK,UAAU,EACtC,CAAC;YACD,IAAI,CACF,6BAA6B,WAAW,CAAC,YAAY,0BAA0B,WAAW,CAAC,WAAW,EAAE,CACzG,CAAC;QACJ,CAAC;QACD,IACE,WAAW,CAAC,WAAW,KAAK,UAAU;YACtC,WAAW,CAAC,wBAAwB,CAAC,MAAM,KAAK,CAAC,EACjD,CAAC;YACD,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,cAAc,WAAW,CAAC,YAAY,uBAAuB,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,iCAAiC,UAAU,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAGzB,CAAC;IACJ,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,oBAAoB,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,yBAAyB,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,iCAAiC,UAAU,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAE1D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC5C,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC/C,IAAI,CACF,yBAAyB,KAAK,CAAC,cAAc,sBAAsB,UAAU,CAAC,gBAAgB,EAAE,CACjG,CAAC;YACJ,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC3C,KAAK,IAAI,KAAK,CAAC,oBAAoB,CAAC;YACpC,IAAI,KAAK,CAAC,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;gBAC3D,WAAW,IAAI,CAAC,CAAC;gBACjB,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1C,IAAI,CAAC,mBAAmB,UAAU,CAAC,gBAAgB,+BAA+B,CAAC,CAAC;gBACtF,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,uBAAuB,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,KAAK,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,CACF,qBAAqB,KAAK,CAAC,cAAc,QAAQ,UAAU,CAAC,gBAAgB,0BAA0B,CACvG,CAAC;YACJ,CAAC;YACH,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;gBACrD,MAAM,MAAM,GAAG,GAAG,WAAW,SAAS,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBACpE,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,IAAI,CACF,aAAa,WAAW,8CAA8C,UAAU,CAAC,gBAAgB,EAAE,CACpG,CAAC;gBACJ,CAAC;gBACD,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC5B,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC9C,IAAI,CAAC,SAAS;oBAAE,IAAI,CAAC,qBAAqB,WAAW,EAAE,CAAC,CAAC;gBACzD,IAAI,SAAS,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;oBACtD,IAAI,CAAC,aAAa,WAAW,iCAAiC,CAAC,CAAC;gBAClE,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;oBAC9E,IAAI,CACF,aAAa,WAAW,kCAAkC,UAAU,CAAC,gBAAgB,EAAE,CACxF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,iBAAiB,UAAU,CAAC,gBAAgB,mCAAmC,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YAC3C,IAAI,CAAC,2BAA2B,UAAU,CAAC,gBAAgB,wBAAwB,KAAK,GAAG,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,+BAA+B,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU;YAAE,SAAS;QACrD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,wBAAwB,EAAE,CAAC;YAC3D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,YAAY,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC;gBACxE,IAAI,CACF,GAAG,WAAW,CAAC,WAAW,cAAc,WAAW,CAAC,YAAY,kCAAkC,OAAO,EAAE,CAC5G,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,YAAY,EAAE,MAAM,CAAC,WAAW;QAChC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE;YACZ,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBAC7C,cAAc,EAAE,WAAW,CAAC,cAAc;gBAC1C,IAAI,EAAE,aAAsB;gBAC5B,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,WAAW,EAAE,WAAW,CAAC,WAAW;aACrC,CAAC,CAAC;YACH;gBACE,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc;gBAC7C,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO;gBAC/B,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;gBACvC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW;aACxC;SACF;QACD,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;QACzD,oBAAoB,EAAE,UAAU,CAAC,oBAAoB;QACrD,+BAA+B,EAAE,OAAO,CACtC,UAAU,CAAC,sBAAsB,EACjC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CACzC;QACD,uCAAuC,EAAE,OAAO,CAC9C,UAAU,CAAC,sBAAsB,EACjC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,mBAAmB,CACjD;KACF,CAAC;AACJ,CAAC"}

package/dist/audit/types/designAssessment.d.ts CHANGED Viewed

@@ -37,7 +37,7 @@ export interface DesignAssessment {
     reviewed?: boolean;
     /** Contract-assessment pass (adversarial): inferred_contract_gap, trust_boundary_gap, invariant_counterexample, critical_invariant_coverage_gap */
     contract_findings?: Finding[];
-    /** Conceptual-design pass (generative): tool_opportunity, architecture_pattern, design_simplification, integration, missing_capability */
+    /** Conceptual-design pass (generative); categories are CONCEPTUAL_FINDING_CATEGORIES. */
     conceptual_findings?: Finding[];
     /** True when the contract review pass has been completed */
     contract_reviewed?: boolean;

package/dist/audit/types/designAssessment.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"designAssessment.d.ts","sourceRoot":"","sources":["../../../src/audit/types/designAssessment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;;GASG;AACH,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IAC3C;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,iDAAiD;IACjD,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,gDAAgD;IAChD,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,mJAAmJ;IACnJ,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9B,~~0IAA0I~~;~~IAC1I~~,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC;IAChC,4DAA4D;IAC5D,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,8DAA8D;IAC9D,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,yFAAyF;IACzF,oBAAoB,CAAC,EAAE,8BAA8B,EAAE,CAAC;CACzD"}
1	+ {"version":3,"file":"designAssessment.d.ts","sourceRoot":"","sources":["../../../src/audit/types/designAssessment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;;;;;;GASG;AACH,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IAC3C;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,iDAAiD;IACjD,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,gDAAgD;IAChD,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,mJAAmJ;IACnJ,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9B,yFAAyF;IACzF,mBAAmB,CAAC,EAAE,OAAO,EAAE,CAAC;IAChC,4DAA4D;IAC5D,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,8DAA8D;IAC9D,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,yFAAyF;IACzF,oBAAoB,CAAC,EAAE,8BAA8B,EAAE,CAAC;CACzD"}

package/dist/audit/types.d.ts CHANGED Viewed

@@ -582,6 +582,7 @@ export declare const AuditResultSchema: 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<{
@@ -694,6 +695,7 @@ export declare const AuditResultSchema: 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: {
@@ -748,6 +750,7 @@ export declare const AuditResultSchema: 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: {
@@ -947,7 +950,6 @@ export declare const AuditResultSchema: z.ZodObject<{
     attempt: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
     unit_id: string;
-    lens: string;
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -977,6 +979,7 @@ export declare const AuditResultSchema: 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: {
@@ -1003,6 +1006,7 @@ export declare const AuditResultSchema: z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    lens: string;
     task_id: string;
     pass_id: string;
     file_coverage: {
@@ -1052,7 +1056,6 @@ export declare const AuditResultSchema: z.ZodObject<{
     emit_source?: "base" | "deepening" | "steward" | "redispatch" | undefined;
 }, {
     unit_id: string;
-    lens: string;
     findings: {
         id: string;
         confidence: "high" | "low" | "medium";
@@ -1082,6 +1085,7 @@ export declare const AuditResultSchema: 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: {
@@ -1108,6 +1112,7 @@ export declare const AuditResultSchema: z.ZodObject<{
             rule?: string | undefined;
         } | undefined;
     }[];
+    lens: string;
     task_id: string;
     pass_id: string;
     file_coverage: {

package/dist/audit/types.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/audit/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnE,MAAM,MAAM,IAAI,GACZ,aAAa,GACb,cAAc,GACd,iBAAiB,GACjB,UAAU,GACV,aAAa,GACb,aAAa,GACb,gBAAgB,GAChB,OAAO,GACP,aAAa,GACb,mBAAmB,GACnB,eAAe,CAAC;AAEpB;qEACqE;AACrE,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,IAAI,CAAC;IACT,YAAY,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;0EAE0E;AAC1E,eAAO,MAAM,aAAa,EAAE,SAAS,cAAc,EAYlD,CAAC;AAEF;;;wCAGwC;AACxC,eAAO,MAAM,UAAU,EAAE,SAAS,IAAI,EAAmC,CAAC;AAE1E,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAIpD;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;EAO3B,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;EAUjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;yEAOyE;AACzE,eAAO,MAAM,0BAA0B,qKAWrC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;EAOnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;IAmB1B;;;;;;OAMG;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMH,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAMxD,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC;AAEpC,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5BlC;;;;;;WAMG;;QAEH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBH,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgB5B;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAhEH;;;;;;eAMG;;YAEH;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6EH,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}
1	+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/audit/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGnE,MAAM,MAAM,IAAI,GACZ,aAAa,GACb,cAAc,GACd,iBAAiB,GACjB,UAAU,GACV,aAAa,GACb,aAAa,GACb,gBAAgB,GAChB,OAAO,GACP,aAAa,GACb,mBAAmB,GACnB,eAAe,CAAC;AAEpB;qEACqE;AACrE,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,IAAI,CAAC;IACT,YAAY,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;0EAE0E;AAC1E,eAAO,MAAM,aAAa,EAAE,SAAS,cAAc,EAYlD,CAAC;AAEF;;;wCAGwC;AACxC,eAAO,MAAM,UAAU,EAAE,SAAS,IAAI,EAAmC,CAAC;AAE1E,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAIpD;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;EAO3B,CAAC;AAEH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;EAUjB,CAAC;AACZ,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;yEAOyE;AACzE,eAAO,MAAM,0BAA0B,qKAWrC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;EAOnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;IAmB1B;;;;;;OAMG;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMH,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAMxD,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC;AAEpC,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5BlC;;;;;;WAMG;;QAEH;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsBH,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAgB5B;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAhEH;;;;;;eAMG;;YAEH;;;;;eAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6EH,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}

package/dist/remediate/intent/intentOrdering.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"intentOrdering.d.ts","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;~~AAsEnE~~;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,iBAAiB,EACzB,cAAc,GAAE,MAAM,EAAgC,EACtD,cAAc,GAAE,MAAM,EAAgC,GACrD,MAAM,CAmBR;AAaD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,gBAAgB,EAAE,EAC1B,MAAM,EAAE,iBAAiB,GACxB,oBAAoB,~~CAuCtB~~"}
1	+ {"version":3,"file":"intentOrdering.d.ts","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE5D,OAAO,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAuFnE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,iBAAiB,EACzB,cAAc,GAAE,MAAM,EAAgC,EACtD,cAAc,GAAE,MAAM,EAAgC,GACrD,MAAM,CAmBR;AAaD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,gBAAgB,EAAE,EAC1B,MAAM,EAAE,iBAAiB,GACxB,oBAAoB,CAiDtB"}

package/dist/remediate/intent/intentOrdering.js CHANGED Viewed

@@ -27,6 +27,22 @@ const LENS_EMPHASIS_BOOST = 10;
 const SCOPE_EMPHASIS_BOOST = 5;
 /** Flat boost when the intent carried any priority/urgency signal at all. */
 const PRIORITY_SIGNAL_BOOST = 3;
+/**
+ * Tie-break rank for the audit judge's defect-presence claim. Deliberately NOT
+ * a weight boost: verification must never outrank severity, so it is applied
+ * only between findings the intent weighting AND severity already call equal.
+ * A finding the judge checked against HEAD is worth doing before one it merely
+ * asserted, at the same severity.
+ *
+ * ⚠ REACH: above risk tier `low` the remediate contract pipeline RE-MINTS
+ * `state.plan.findings` from DAG nodes rather than carrying the audit `Finding`
+ * objects through, so this tie-break reaches only the path where the audit
+ * findings survive. That is a pre-existing class, not one this ordering
+ * introduces, and closing it means changing what the contract pipeline carries.
+ */
+function verificationRank(finding) {
+    return finding.verification_status === "judge_confirmed" ? 1 : 0;
+}
 // Leading scope-verb phrases (focus on / prioritise / ignore / …) that prefix a
 // scope-emphasis clause; stripped so the needles are the path/identifier targets,
 // not the directive verb. Mirrors the shared SCOPE_PATTERNS lead-ins.
@@ -160,7 +176,19 @@ export function applyIntentOrdering(findings, blocks, intent) {
         .sort((a, b) => {
         const wa = weightByFinding.get(a.finding.id) ?? 0;
         const wb = weightByFinding.get(b.finding.id) ?? 0;
-        return wb - wa || a.index - b.index;
+        if (wb !== wa)
+            return wb - wa;
+        // Gated on EQUAL SEVERITY as well as equal weight. Weight folds severity
+        // in with the boosts, so two different severities can still tie on weight
+        // (e.g. critical+nothing against low+priority); requiring equal severity
+        // is what makes "never overrides severity" true rather than nearly true.
+        if (a.finding.severity === b.finding.severity) {
+            const va = verificationRank(a.finding);
+            const vb = verificationRank(b.finding);
+            if (vb !== va)
+                return vb - va;
+        }
+        return a.index - b.index;
     })
         .map((entry) => entry.finding);
     const blockWeight = (block) => {

package/dist/remediate/intent/intentOrdering.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"intentOrdering.js","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,+EAA+E;AAC/E,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,gFAAgF;AAChF,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,6EAA6E;AAC7E,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC,gFAAgF;AAChF,kFAAkF;AAClF,sEAAsE;AACtE,MAAM,eAAe,GACnB,0PAA0P,CAAC;AAE7P;;;;;;;;;;;GAWG;AACH,SAAS,mBAAmB,CAAC,OAAiB;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,kEAAkE;YAClE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;sCACsC;AACtC,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACnD,CAAC;AAED;;;;;0EAK0E;AAC1E,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,OAAgB,EAAE,OAAiB;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAyB,EACzB,iBAA2B,mBAAmB,CAAC,MAAM,CAAC,EACtD,iBAA2B,mBAAmB,CAAC,MAAM,CAAC;IAEtD,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,IAAI,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAuC,CAAC,KAAK,SAAS,EAAE,CAAC;QACjG,MAAM,IAAI,mBAAmB,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;SAAM,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8EAC8E;AAC9E,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;QAC5C,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAA0B,EAC1B,MAAyB;IAEzB,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,eAAe,CAAC,GAAG,CACjB,OAAO,CAAC,EAAE,EACV,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CACrE,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,MAAM,eAAe,GAAG,QAAQ;SAC7B,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;~~IACtC~~,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEjC,MAAM,WAAW,GAAG,CAAC,KAAuB,EAAU,EAAE;QACtD,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,MAAM;SACzB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SAChF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AAC9D,CAAC"}
1	+ {"version":3,"file":"intentOrdering.js","sourceRoot":"","sources":["../../../src/remediate/intent/intentOrdering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,+EAA+E;AAC/E,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,gFAAgF;AAChF,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,6EAA6E;AAC7E,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,SAAS,gBAAgB,CAAC,OAAgB;IACxC,OAAO,OAAO,CAAC,mBAAmB,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,kFAAkF;AAClF,sEAAsE;AACtE,MAAM,eAAe,GACnB,0PAA0P,CAAC;AAE7P;;;;;;;;;;;GAWG;AACH,SAAS,mBAAmB,CAAC,OAAiB;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACjD,kEAAkE;YAClE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;sCACsC;AACtC,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;AACnD,CAAC;AAED;;;;;0EAK0E;AAC1E,SAAS,mBAAmB,CAAC,MAAyB;IACpD,OAAO,mBAAmB,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,OAAgB,EAAE,OAAiB;IACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,MAAyB,EACzB,iBAA2B,mBAAmB,CAAC,MAAM,CAAC,EACtD,iBAA2B,mBAAmB,CAAC,MAAM,CAAC;IAEtD,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,IAAI,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAuC,CAAC,KAAK,SAAS,EAAE,CAAC;QACjG,MAAM,IAAI,mBAAmB,CAAC;IAChC,CAAC;IACD,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;SAAM,IAAI,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,oBAAoB,CAAC;IACjC,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,qBAAqB,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8EAC8E;AAC9E,SAAS,aAAa,CAAC,MAAyB;IAC9C,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC;QAC5C,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,CAC5C,CAAC;AACJ,CAAC;AAOD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAAmB,EACnB,MAA0B,EAC1B,MAAyB;IAEzB,IAAI,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,eAAe,CAAC,GAAG,CACjB,OAAO,CAAC,EAAE,EACV,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,cAAc,CAAC,CACrE,CAAC;IACJ,CAAC;IAED,kFAAkF;IAClF,MAAM,eAAe,GAAG,QAAQ;SAC7B,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9B,yEAAyE;QACzE,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC9C,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChC,CAAC;QACD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEjC,MAAM,WAAW,GAAG,CAAC,KAAuB,EAAU,EAAE;QACtD,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrC,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,MAAM;SACzB,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SAChF,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;AAC9D,CAAC"}

package/dist/remediate/phases/grounding.d.ts CHANGED Viewed

@@ -21,10 +21,18 @@ export declare function groundAffectedFiles(root: string, findings: Finding[], c
 /**
  * True when the evidence string cites at least one real repo path; a cited
  * line number must also exist in the file (a `path:9999` citation into a
- * 40-line file is not grounded). A bare basename resolves against the tracked
- * corpus (INV-B3-3); `corpus` is REQUIRED — the enumeration is async (INV-SSF),
- * so a caller enumerates once per pass with `enumerateTrackedFilePaths` and
- * threads the set through this sync predicate.
+ * 40-line file is not grounded), and a cited RANGE must exist at BOTH ends (a
+ * `path:2-9999` citation into a 3-line file is not grounded either — the start
+ * being real never certifies the end). A bare basename resolves against the
+ * tracked corpus (INV-B3-3); `corpus` is REQUIRED — the enumeration is async
+ * (INV-SSF), so a caller enumerates once per pass with
+ * `enumerateTrackedFilePaths` and threads the set through this sync predicate.
+ *
+ * ONE CORE, TWO DRAWS: this is the existential DRAW over the shared citation
+ * core (`audit-tools/shared` → `checkCitations`) — the same core the audit draw
+ * uses per-citation over a charter register's provenance. The grammar, the path
+ * resolution and the line counting live there in one copy, so the two draws
+ * cannot disagree about what a citation is or how long a file is.
  */
 export declare function evidenceCitesRealPath(root: string, evidence: string, corpus: ReadonlySet<string>): boolean;
 export interface EvidenceGrounding {

package/dist/remediate/phases/grounding.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"grounding.d.ts","sourceRoot":"","sources":["../../../src/remediate/phases/grounding.ts"],"names":[],"mappings":"~~AAkBA~~,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAKjD,MAAM,WAAW,qBAAqB;IACpC,gFAAgF;IAChF,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAwBD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,qBAAqB,CAqBvB;~~AAyCD;;;;;;;GAOG~~;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,OAAO,~~CAmBT~~;AAED,MAAM,WAAW,iBAAiB;IAChC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,iBAAiB,CAanB;AAID,MAAM,WAAW,yBAAyB;IACxC,+EAA+E;IAC/E,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,2EAA2E;IAC3E,OAAO,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACxD,sEAAsE;IACtE,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C,qEAAqE;IACrE,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,sBAAsB,CAAC,EAAE,CACvB,QAAQ,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,KACrD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,QAAQ,EAAE,OAAO,EAAE,EACnB,OAAO,EAAE,8BAA8B,GACtC,OAAO,CAAC,yBAAyB,CAAC,CA2DpC"}
1	+ {"version":3,"file":"grounding.d.ts","sourceRoot":"","sources":["../../../src/remediate/phases/grounding.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAKjD,MAAM,WAAW,qBAAqB;IACpC,gFAAgF;IAChF,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAwBD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,qBAAqB,CAqBvB;AAID;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,OAAO,CAST;AAED,MAAM,WAAW,iBAAiB;IAChC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAC1B,iBAAiB,CAanB;AAID,MAAM,WAAW,yBAAyB;IACxC,+EAA+E;IAC/E,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,2EAA2E;IAC3E,OAAO,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACxD,sEAAsE;IACtE,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C,qEAAqE;IACrE,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,sBAAsB,CAAC,EAAE,CACvB,QAAQ,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,KACrD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACpC;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,QAAQ,EAAE,OAAO,EAAE,EACnB,OAAO,EAAE,8BAA8B,GACtC,OAAO,CAAC,yBAAyB,CAAC,CA2DpC"}

package/dist/remediate/phases/grounding.js CHANGED Viewed

@@ -10,8 +10,8 @@
  * are already grounded, and dropping a since-deleted path there is the
  * integrity check's replan concern, not a grounding concern.
  */
-import { existsSync, readFileSync, statSync } from "node:fs";
-import { enumerateTrackedFilePaths, isBareBasename, resolveBasenameToTrackedPath, } from "audit-tools/shared";
+import { existsSync } from "node:fs";
+import { checkCitations, enumerateTrackedFilePaths, extractCitationRefs, isBareBasename, resolveBasenameToTrackedPath, } from "audit-tools/shared";
 import { resolveAffectedPath } from "../utils/fileIntegrity.js";
 /**
  * A cited path is real (grounded) when it resolves on disk relative to `root`
@@ -60,69 +60,32 @@ export function groundAffectedFiles(root, findings, corpus) {
     return { phantomPathsByFinding, zeroRealPathFindingIds };
 }
 // ── Evidence grounding (WS2) ──────────────────────────────────────────────────
-/**
- * Candidate `path[:line]` citations inside an evidence string. A token must
- * look like a path (contains a separator or a dot-extension) to be considered;
- * bare prose words never match.
- */
-const EVIDENCE_PATH_TOKEN_RE = /(?<path>[A-Za-z0-9_@.-]*[/\\][A-Za-z0-9_@./\\-]+|[A-Za-z0-9_@-]+\.[A-Za-z0-9_-]+)(?::(?<line>\d+))?/g;
-function fileLineCount(absolutePath) {
-    const content = readFileSync(absolutePath, "utf8");
-    if (content.length === 0)
-        return 0;
-    return content.split("\n").length;
-}
-/**
- * Resolve a cited evidence path to an existing absolute path, or `undefined`.
- * A full/dotfile path resolves by the `root` join; a bare basename that is not a
- * top-level file resolves against the tracked-path `corpus` (INV-B3-3) so a
- * nested `advance.ts` is not false-negatived by a naive `root/advance.ts` join.
- */
-function resolveEvidencePath(root, citedPath, corpus) {
-    const direct = resolveAffectedPath(root, citedPath);
-    if (existsSync(direct))
-        return direct;
-    if (isBareBasename(citedPath)) {
-        const tracked = resolveBasenameToTrackedPath(citedPath, corpus);
-        if (tracked) {
-            const resolved = resolveAffectedPath(root, tracked);
-            if (existsSync(resolved))
-                return resolved;
-        }
-    }
-    return undefined;
-}
 /**
  * True when the evidence string cites at least one real repo path; a cited
  * line number must also exist in the file (a `path:9999` citation into a
- * 40-line file is not grounded). A bare basename resolves against the tracked
- * corpus (INV-B3-3); `corpus` is REQUIRED — the enumeration is async (INV-SSF),
- * so a caller enumerates once per pass with `enumerateTrackedFilePaths` and
- * threads the set through this sync predicate.
+ * 40-line file is not grounded), and a cited RANGE must exist at BOTH ends (a
+ * `path:2-9999` citation into a 3-line file is not grounded either — the start
+ * being real never certifies the end). A bare basename resolves against the
+ * tracked corpus (INV-B3-3); `corpus` is REQUIRED — the enumeration is async
+ * (INV-SSF), so a caller enumerates once per pass with
+ * `enumerateTrackedFilePaths` and threads the set through this sync predicate.
+ *
+ * ONE CORE, TWO DRAWS: this is the existential DRAW over the shared citation
+ * core (`audit-tools/shared` → `checkCitations`) — the same core the audit draw
+ * uses per-citation over a charter register's provenance. The grammar, the path
+ * resolution and the line counting live there in one copy, so the two draws
+ * cannot disagree about what a citation is or how long a file is.
  */
 export function evidenceCitesRealPath(root, evidence, corpus) {
-    for (const match of evidence.matchAll(EVIDENCE_PATH_TOKEN_RE)) {
-        const citedPath = match.groups?.path;
-        if (!citedPath)
-            continue;
-        const absolute = resolveEvidencePath(root, citedPath.trim(), corpus);
-        if (!absolute)
-            continue;
-        const line = match.groups?.line;
-        if (line === undefined)
-            return true;
-        try {
-            if (!statSync(absolute).isFile())
-                continue;
-            if (Number(line) >= 1 && Number(line) <= fileLineCount(absolute)) {
-                return true;
-            }
-        }
-        catch {
-            continue;
-        }
-    }
-    return false;
+    const refs = extractCitationRefs(evidence);
+    if (refs.length === 0)
+        return false;
+    const { checks } = checkCitations({
+        root,
+        corpus,
+        citations: refs.map((ref) => ({ owner_id: "evidence", ref })),
+    });
+    return checks.some((check) => check.verdict === "ok");
 }
 /**
  * Mark each extracted finding `evidence_grounded` and downgrade ungrounded

package/dist/remediate/phases/grounding.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"grounding.js","sourceRoot":"","sources":["../../../src/remediate/phases/grounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,UAAU,EAAE,~~YAAY,EAAE,QAAQ,EAAE,~~MAAM,SAAS,CAAC;~~AAC7D~~,OAAO,EACL,yBAAyB,EACzB,cAAc,EACd,4BAA4B,GAC7B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAgBhE;;;;;;;;;GASG;AACH,SAAS,eAAe,CACtB,IAAY,EACZ,IAAY,EACZ,MAA2B;IAE3B,IAAI,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,QAAmB,EACnB,MAA2B;IAE3B,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1D,MAAM,sBAAsB,GAAa,EAAE,CAAC;IAE5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,KAAK;aACnB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;aACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEpC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,OAAO,CAAC,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,CAAC;AAC3D,CAAC;AAED,iFAAiF;AAEjF~~;;;;GAIG~~;AACH,MAAM,~~sBAAsB~~,~~GAC1B~~,~~sGAAsG~~,CAAC;AAEzG,SAAS,aAAa,CAAC,YAAoB;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAC1B,IAAY,EACZ,~~SAAiB~~,~~EACjB~~,MAA2B;IAE3B,MAAM,~~MAAM~~,GAAG,mBAAmB,CAAC,~~IAAI~~,~~EAAE,SAAS,~~CAAC,CAAC;~~IACpD~~,IAAI,~~UAAU~~,CAAC,MAAM,CAAC;QAAE,OAAO,~~MAAM~~,CAAC;~~IACtC~~,~~IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,~~MAAM,~~OAAO,GAAG,4BAA4B,CAAC,SAAS,~~EAAE,MAAM,~~CAAC,CAAC;QAChE,IAAI,OAAO,~~EAAE,~~CAAC;YACZ,MAAM,QAAQ,~~GAAG,~~mBAAmB~~,CAAC~~,IAAI,EAAE,OAAO,CAAC,CAAC~~;~~YACpD~~,IAAI~~,UAAU,CAAC,QAAQ,CAAC~~;~~gBAAE~~,~~OAAO,QAAQ,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;GAOG;AACH,~~MAAM~~,UAAU,qBAAqB,CACnC,IAAY,EACZ,QAAgB,EAChB,MAA2B~~;~~IAE3B~~,~~KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAC9D,MAAM,~~SAAS,~~GAAG,KAAK,CAAC,MAAM,~~EAAE,IAAI,CAAC~~;QACrC~~,~~IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,MAAM,QAAQ,~~GAAG,~~mBAAmB,~~CAAC,~~IAAI,EAAE,SAAS,~~CAAC,~~IAAI~~,EAAE,EAAE,~~MAAM,~~CAAC,CAAC~~;QACrE~~,~~IAAI~~,~~CAAC,~~QAAQ~~;YAAE~~,~~SAAS;QAExB~~,~~MAAM~~,~~IAAI~~,GAAG,~~KAAK,CAAC,MAAM,~~EAAE,~~IAAI,~~CAAC~~;QAChC~~,~~IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,~~CAAC;~~QACpC~~,~~IAAI,~~CAAC~~;YACH~~,~~IAAI,~~CAAC~~,QAAQ,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE~~;~~gBAAE~~,~~SAAS;YAC3C~~,~~IAAI,~~MAAM,CAAC,IAAI,CAAC,~~IAAI,~~CAAC,~~IAAI~~,~~MAAM~~,~~CAAC~~,~~IAAI,~~CAAC,~~IAAI~~,~~aAAa,~~CAAC,~~QAAQ~~,~~CAAC~~,~~EAAE,CAAC;gBACjE,OAAO,~~IAAI,CAAC~~;YACd~~,CAAC;~~QACH~~,CAAC;~~QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;~~AAOD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,QAAmB,EACnB,MAA2B;IAE3B,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvD,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAC3C,CAAC;QACF,OAAO,CAAC,iBAAiB,GAAG,QAAQ,CAAC;QACrC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACtC,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAClC,CAAC;AAmCD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,QAAmB,EACnB,OAAuC;IAEvC,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,4EAA4E;IAC5E,yBAAyB;IACzB,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,GAAG,mBAAmB,CAC3E,IAAI,EACJ,QAAQ,EACR,MAAM,CACP,CAAC;IAEF,MAAM,OAAO,GAAmD,EAAE,CAAC;IACnE,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,QAAQ;aACtB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;aAChD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,OAAO;YACP,YAAY,EAAE,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE;SAC1D,CAAC,CAAC,CAAC;QAEN,IAAI,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC3C,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,OAAO,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YAC5D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CACV,kDAAkD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAC3I,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,+DAA+D;YAC/D,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAC9D,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAC5C,CAAC;YACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,EAAE,oBAAoB,EAAE,GAC5B,OAAO,CAAC,iBAAiB,KAAK,KAAK;QACjC,CAAC,CAAC,EAAE,oBAAoB,EAAE,EAAE,EAAE;QAC9B,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAEzC,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,OAAO;QACP,qBAAqB;QACrB,oBAAoB;KACrB,CAAC;AACJ,CAAC"}
1	+ {"version":3,"file":"grounding.js","sourceRoot":"","sources":["../../../src/remediate/phases/grounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,mBAAmB,EACnB,cAAc,EACd,4BAA4B,GAC7B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAgBhE;;;;;;;;;GASG;AACH,SAAS,eAAe,CACtB,IAAY,EACZ,IAAY,EACZ,MAA2B;IAE3B,IAAI,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,4BAA4B,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY,EACZ,QAAmB,EACnB,MAA2B;IAE3B,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1D,MAAM,sBAAsB,GAAa,EAAE,CAAC;IAE5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,KAAK;aACnB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;aACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEpC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrC,OAAO,CAAC,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACxE,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,CAAC;AAC3D,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAY,EACZ,QAAgB,EAChB,MAA2B;IAE3B,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC;QAChC,IAAI;QACJ,MAAM;QACN,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;KAC9D,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;AACxD,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,QAAmB,EACnB,MAA2B;IAE3B,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACvD,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAC3C,CAAC;QACF,OAAO,CAAC,iBAAiB,GAAG,QAAQ,CAAC;QACrC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACtC,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,oBAAoB,EAAE,CAAC;AAClC,CAAC;AAmCD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,QAAmB,EACnB,OAAuC;IAEvC,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,4EAA4E;IAC5E,yBAAyB;IACzB,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,GAAG,mBAAmB,CAC3E,IAAI,EACJ,QAAQ,EACR,MAAM,CACP,CAAC;IAEF,MAAM,OAAO,GAAmD,EAAE,CAAC;IACnE,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,QAAQ;aACtB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;aAChD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,OAAO;YACP,YAAY,EAAE,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE;SAC1D,CAAC,CAAC,CAAC;QAEN,IAAI,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC3C,IAAI,OAAO,CAAC,sBAAsB,EAAE,CAAC;YACnC,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,OAAO,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YAC5D,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,IAAI,CACV,kDAAkD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,kCAAkC,CAC3I,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,+DAA+D;YAC/D,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAC9D,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7D,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAC5C,CAAC;YACF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,CAAC,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,EAAE,oBAAoB,EAAE,GAC5B,OAAO,CAAC,iBAAiB,KAAK,KAAK;QACjC,CAAC,CAAC,EAAE,oBAAoB,EAAE,EAAE,EAAE;QAC9B,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAEzC,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,OAAO;QACP,qBAAqB;QACrB,oBAAoB;KACrB,CAAC;AACJ,CAAC"}

package/dist/remediate/state/types.d.ts CHANGED Viewed

@@ -172,6 +172,7 @@ export declare const RemediationPlanSchema: 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<{
@@ -284,6 +285,7 @@ export declare const RemediationPlanSchema: 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: {
@@ -338,6 +340,7 @@ export declare const RemediationPlanSchema: 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: {
@@ -519,6 +522,7 @@ export declare const RemediationPlanSchema: 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: {
@@ -605,6 +609,7 @@ export declare const RemediationPlanSchema: 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: {