@jeger-ai/opengantry 3.2.4 → 3.2.6

package/dist/cli/lib/verdict-expected.js

@@ -3,7 +3,7 @@ import fs from "node:fs";
 import path from "node:path";
 import { GantryUserError } from "./errors.js";
 import { parseMissionFile, assertMissionGatePresent } from "./missions/parser.js";
-import { resolveOrgExportConfig } from "./org-export-config.js";
+import { REL_ORG_EXPORT_LOCAL, resolveOrgId } from "./org-export-config.js";
 /** Canonical digest for a passed verify with zero advisory findings. */
 export const PASSED_FINDINGS_DIGEST = crypto
     .createHash("sha256")
@@ -15,7 +15,20 @@ function sha256File(absPath) {
 function missionAbsPath(repoRoot, missionRelPath) {
     return path.isAbsolute(missionRelPath) ? missionRelPath : path.join(repoRoot, missionRelPath);
 }
-/** Build server-side verdict claims after a successful gantry::verify pass. */
+function orgExportMtimeMs(repoRoot) {
+    const abs = path.join(repoRoot, REL_ORG_EXPORT_LOCAL);
+    try {
+        return fs.statSync(abs).mtimeMs;
+    }
+    catch {
+        return undefined;
+    }
+}
+const claimsCache = new Map();
+function cacheKey(repoRoot, missionRelPath, missionMtimeMs, missionSize, orgMtimeMs) {
+    return `${repoRoot}\0${missionRelPath}\0${missionMtimeMs}\0${missionSize}\0${orgMtimeMs ?? ""}`;
+}
+/** Build server-side verdict claims (uncached primitive). */
 export function buildVerdictExpectedClaims(repoRoot, missionRelPath) {
     const missionAbs = missionAbsPath(repoRoot, missionRelPath);
     const mission = parseMissionFile(repoRoot, missionRelPath);
@@ -24,13 +37,7 @@ export function buildVerdictExpectedClaims(repoRoot, missionRelPath) {
     if (!msnId) {
         throw new GantryUserError("MISSION_MSN_MISSING", "buildVerdictExpectedClaims: mission msn_id required", missionRelPath, 2);
     }
-    let org_id;
-    try {
-        org_id = resolveOrgExportConfig(repoRoot).org_id;
-    }
-    catch (e) {
-        throw new GantryUserError("ORG_EXPORT_CONFIG_MISSING", "buildVerdictExpectedClaims requires org export config (GANTRY_ORG_ID + GANTRY_ORG_PEPPER or ORG.export.local)", e instanceof Error ? e.message : String(e), 2);
-    }
+    const org_id = resolveOrgId(repoRoot);
     return {
         msn_id: msnId,
         mission_sha256: sha256File(missionAbs),
@@ -39,4 +46,21 @@ export function buildVerdictExpectedClaims(repoRoot, missionRelPath) {
         org_id,
     };
 }
+/** Memoized promote-path entry: recomputes when mission or org export file changes. */
+export function verdictClaimsFor(repoRoot, missionRelPath) {
+    const missionAbs = missionAbsPath(repoRoot, missionRelPath);
+    const missionStat = fs.statSync(missionAbs);
+    const orgMtime = orgExportMtimeMs(repoRoot);
+    const key = cacheKey(repoRoot, missionRelPath, missionStat.mtimeMs, missionStat.size, orgMtime);
+    const hit = claimsCache.get(key);
+    if (hit)
+        return hit;
+    const claims = buildVerdictExpectedClaims(repoRoot, missionRelPath);
+    claimsCache.set(key, claims);
+    return claims;
+}
+/** Test-only: clear memoization between cases. */
+export function clearVerdictClaimsCache() {
+    claimsCache.clear();
+}
 //# sourceMappingURL=verdict-expected.js.map

package/dist/cli/lib/verdict-expected.js.map

@@ -1 +1 @@
-{"version":3,"file":"verdict-expected.js","sourceRoot":"","sources":["../../../src/cli/lib/verdict-expected.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM;KACzC,UAAU,CAAC,QAAQ,CAAC;KACpB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;KACpB,MAAM,CAAC,KAAK,CAAC,CAAC;AAUjB,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,cAAsB;IAC9D,OAAO,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AAChG,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,0BAA0B,CACxC,QAAgB,EAChB,cAAsB;IAEtB,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC3D,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,eAAe,CACvB,qBAAqB,EACrB,qDAAqD,EACrD,cAAc,EACd,CAAC,CACF,CAAC;IACJ,CAAC;IACD,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,eAAe,CACvB,2BAA2B,EAC3B,+GAA+G,EAC/G,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAC1C,CAAC,CACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,KAAK;QACb,cAAc,EAAE,UAAU,CAAC,UAAU,CAAC;QACtC,eAAe,EAAE,sBAAsB;QACvC,YAAY,EAAE,OAAO,CAAC,IAAK,CAAC,OAAO,CAAC,IAAI,EAAE;QAC1C,MAAM;KACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"verdict-expected.js","sourceRoot":"","sources":["../../../src/cli/lib/verdict-expected.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAE5E,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM;KACzC,UAAU,CAAC,QAAQ,CAAC;KACpB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;KACpB,MAAM,CAAC,KAAK,CAAC,CAAC;AAUjB,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,cAAsB;IAC9D,OAAO,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IACtD,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAiC,CAAC;AAE7D,SAAS,QAAQ,CACf,QAAgB,EAChB,cAAsB,EACtB,cAAsB,EACtB,WAAmB,EACnB,UAA8B;IAE9B,OAAO,GAAG,QAAQ,KAAK,cAAc,KAAK,cAAc,KAAK,WAAW,KAAK,UAAU,IAAI,EAAE,EAAE,CAAC;AAClG,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,0BAA0B,CACxC,QAAgB,EAChB,cAAsB;IAEtB,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC3D,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,eAAe,CACvB,qBAAqB,EACrB,qDAAqD,EACrD,cAAc,EACd,CAAC,CACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACtC,OAAO;QACL,MAAM,EAAE,KAAK;QACb,cAAc,EAAE,UAAU,CAAC,UAAU,CAAC;QACtC,eAAe,EAAE,sBAAsB;QACvC,YAAY,EAAE,OAAO,CAAC,IAAK,CAAC,OAAO,CAAC,IAAI,EAAE;QAC1C,MAAM;KACP,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,cAAsB;IAEtB,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAClB,QAAQ,EACR,cAAc,EACd,WAAW,CAAC,OAAO,EACnB,WAAW,CAAC,IAAI,EAChB,QAAQ,CACT,CAAC;IACF,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,MAAM,GAAG,0BAA0B,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACpE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,uBAAuB;IACrC,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC"}

package/dist/cli/lib/verify-engine.d.ts

@@ -1,7 +1,8 @@
 import type { KpiFinding, Manifest, ParsedMission } from "./types.js";
-import { type TraceVerifyWarning } from "./trace.js";
 import type { VerifyPhaseFailure } from "./verify-failure.js";
+import type { TraceVerifyWarning } from "./trace.js";
 import type { VerifyOptions } from "./verify-options.js";
+import { type VerifyPhaseTiming } from "./verify-phase-clock.js";
 /** Discover mission files changed between baseRef and HEAD (inclusive triple-dot). */
 export declare function discoverChangedMissionFiles(repoRoot: string, baseRef: string): string[];
 export interface VerifyPhaseSuccess {
@@ -16,8 +17,11 @@ export interface VerifyPhaseSuccess {
     defensiveWarnings?: string[];
     defensiveAudits?: string[];
     traceEvidenceSkippedUncommitted?: number;
+    phaseTimings: VerifyPhaseTiming[];
 }
-export type VerifyPhaseResult = VerifyPhaseFailure | VerifyPhaseSuccess;
+export type VerifyPhaseResult = (VerifyPhaseFailure & {
+    phaseTimings: VerifyPhaseTiming[];
+}) | VerifyPhaseSuccess;
 export declare function resolveExecutorLogPath(root: string, options: VerifyOptions): string;
 /** Single source of truth for verify phase evaluation (no logging or exit codes). */
 export declare function evaluateVerifyPhases(root: string, mission: ParsedMission, options: VerifyOptions, manifest: Manifest): VerifyPhaseResult;

package/dist/cli/lib/verify-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-engine.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAA0F,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC7I,OAAO,KAAK,EAOV,kBAAkB,EACnB,MAAM,qBAAqB,CAAC;AAQ7B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAWzD,sFAAsF;AACtF,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAcvF;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,eAAe,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,CAAC,EAAE,UAAU,EAAE,CAAC;IACnC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,+BAA+B,CAAC,EAAE,MAAM,CAAC;CAC1C;AAED,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,CAAC;AAwBxE,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAEnF;AAgPD,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,QAAQ,GACjB,iBAAiB,CAwEnB"}
+{"version":3,"file":"verify-engine.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAY,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,KAAK,EAAsB,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAOrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAwC,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAsBvG,sFAAsF;AACtF,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAcvF;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,eAAe,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,CAAC,EAAE,UAAU,EAAE,CAAC;IACnC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,+BAA+B,CAAC,EAAE,MAAM,CAAC;IACzC,YAAY,EAAE,iBAAiB,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,iBAAiB,GACzB,CAAC,kBAAkB,GAAG;IAAE,YAAY,EAAE,iBAAiB,EAAE,CAAA;CAAE,CAAC,GAC5D,kBAAkB,CAAC;AAEvB,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,CAEnF;AA+ED,qFAAqF;AACrF,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,QAAQ,GACjB,iBAAiB,CAgFnB"}

package/dist/cli/lib/verify-engine.js

@@ -4,18 +4,15 @@
  * verify-hints (remediation) → verify-presenters (sinks) → verify-run (orchestration).
  */
 import path from "node:path";
-import { toPosixRel } from "./cli-io.js";
+import { formatRepoRelative, toPosixRel } from "./cli-io.js";
 import { gitRunOk } from "./git.js";
-import { assertPlannerMissionProof, REL_MISSIONS_PREFIX } from "./git-proof.js";
-import { gatePassed, runGate, resolveGateWorkDir } from "./gate.js";
-import { evaluateKpiPhase } from "./kpi-engine.js";
-import { evaluateDefensiveGuardPhase } from "./verify-defensive-phase.js";
+import { REL_MISSIONS_PREFIX } from "./git-proof.js";
 import { isLegislativeStub } from "./missions/formatter.js";
-import { formatRepoRelative } from "./cli-io.js";
-import { evaluateInterrogationPhase } from "./verify-interrogation.js";
-import { isPendingStatus, verifyTraceEvidenceFreshness, verifyTraceRows, defaultExecutorLogPath } from "./trace.js";
-import { errorMessage } from "./cli-io.js";
+import { defaultExecutorLogPath } from "./trace.js";
 import { createVirtualFlightId, purgeVirtualFlightDir, scavengeStaleVirtualFlights, writeGateCaptureSync, } from "./virtual-scratch-store.js";
+import { VerifyPhaseClock } from "./verify-phase-clock.js";
+import { evaluateInterrogationPhase } from "./verify-interrogation.js";
+import { evaluateDefensivePhase, evaluateGatePhase, evaluateGitProof, evaluateKpiGatePhase, evaluateTracePhase, } from "./verify-phase-steps.js";
 const MISSION_EXTENSIONS = new Set([".yaml", ".yml", ".md"]);
 function isMissionFile(repoRel) {
     const norm = repoRel.replace(/\\/g, "/");
@@ -41,109 +38,9 @@ export function discoverChangedMissionFiles(repoRoot, baseRef) {
         .filter((line) => line.length > 0 && isMissionFile(line))
         .map((rel) => toPosixRel(repoRoot, path.join(repoRoot, rel)));
 }
-function gitProofFailure(executorLogPath, message) {
-    return {
-        ok: false,
-        phase: "git_proof",
-        message,
-        exitCode: 1,
-        executorLogPath,
-        gitProofMessage: message,
-    };
-}
 export function resolveExecutorLogPath(root, options) {
     return options.executorLog ? path.resolve(root, options.executorLog) : defaultExecutorLogPath(root);
 }
-function evaluateGitProof(root, mission, options, executorLogPath) {
-    try {
-        const gitProofWarnings = [];
-        const proofMsnId = assertPlannerMissionProof(root, mission.rawPath, {
-            msnId: mission.msnId ?? undefined,
-            scanDepth: options.scanDepth,
-            warnings: gitProofWarnings,
-        });
-        return { kind: "ok", proofMsnId, warnings: gitProofWarnings };
-    }
-    catch (e) {
-        return { kind: "fail", failure: gitProofFailure(executorLogPath, errorMessage(e)) };
-    }
-}
-function evaluateGatePhase(root, gate, options, executorLogPath) {
-    const gateResult = runGate(resolveGateWorkDir(root, options), gate);
-    if (gatePassed(gateResult, gate.successSubstring))
-        return { failure: null, gateResult };
-    return {
-        failure: {
-            ok: false,
-            phase: "gate",
-            message: "GATE FAILED",
-            exitCode: 1,
-            executorLogPath,
-            gateCommand: gate.command,
-            gateStdout: gateResult.stdout,
-            gateStderr: gateResult.stderr,
-            gateExitCode: gateResult.exitCode ?? undefined,
-        },
-        gateResult,
-    };
-}
-function evaluateTracePhase(input) {
-    const { root, manifest, mission, options, executorLogPath } = input;
-    const hasPending = mission.traceRows.some((row) => isPendingStatus(row.status));
-    if (hasPending) {
-        return {
-            kind: "fail",
-            failure: {
-                ok: false,
-                phase: "trace_pending",
-                message: "Trace rows still PENDING — executor must execute, update mission trace row, then verify",
-                exitCode: 1,
-                executorLogPath,
-                gateCommand: mission.gate?.command,
-            },
-        };
-    }
-    const traceResult = verifyTraceRows(executorLogPath, mission.traceRows, {
-        fuzzyNumericAnchor: options.fuzzyTrace === true,
-        strictTrace: options.strictTrace === true,
-    });
-    if (traceResult.failures.length > 0) {
-        const first = traceResult.failures[0];
-        return {
-            kind: "fail",
-            failure: {
-                ok: false,
-                phase: "trace",
-                message: first.reason,
-                exitCode: 1,
-                executorLogPath,
-                traceKind: first.kind,
-                traceQuote: first.row.traceQuote,
-                traceReason: first.reason,
-            },
-        };
-    }
-    const evidence = verifyTraceEvidenceFreshness(root, manifest, mission.skillKey, executorLogPath, traceResult.resolvedLines, { skipStaleEvidence: options.skipStaleEvidence === true });
-    if (evidence.failures.length > 0) {
-        const first = evidence.failures[0];
-        return {
-            kind: "fail",
-            failure: {
-                ok: false,
-                phase: "trace",
-                message: first.reason,
-                exitCode: 1,
-                executorLogPath,
-                traceKind: "stale_evidence",
-                traceQuote: first.row.traceQuote,
-                traceReason: first.reason,
-                attestationCommit: first.attestationCommit,
-                stalePaths: first.stalePaths,
-            },
-        };
-    }
-    return { kind: "ok", warnings: traceResult.warnings, skippedUncommitted: evidence.skippedUncommitted };
-}
 function beginVirtualCapture(root, mission) {
     if (!mission.virtualCapture)
         return null;
@@ -161,68 +58,58 @@ function recordVirtualGateCapture(root, flightId, gate, gateResult) {
         stderr: gateResult.stderr,
     });
 }
-function collectDefensiveAndKpiOutcomes(input) {
-    const { root, manifest, mission, options, executorLogPath } = input;
-    let kpiWarnings;
-    let kpiAdvisoryFindings;
-    let defensiveWarnings;
-    let defensiveAudits;
-    if (mission.skillKey) {
-        const defensiveOutcome = evaluateDefensiveGuardPhase(root, manifest, mission.skillKey, executorLogPath);
-        if (defensiveOutcome.failure)
-            return { kind: "fail", failure: defensiveOutcome.failure };
-        if (defensiveOutcome.warnings.length > 0)
-            defensiveWarnings = defensiveOutcome.warnings;
-        if (defensiveOutcome.audits.length > 0)
-            defensiveAudits = defensiveOutcome.audits;
-    }
-    if (mission.kpiGate) {
-        const kpiOutcome = evaluateKpiPhase(root, manifest, mission.skillKey, mission.kpiGate, options, executorLogPath);
-        if (kpiOutcome?.kind === "fail")
-            return { kind: "fail", failure: kpiOutcome.failure };
-        if (kpiOutcome?.kind === "ok") {
-            kpiWarnings = kpiOutcome.warnings;
-            if (kpiOutcome.advisoryFindings && kpiOutcome.advisoryFindings.length > 0) {
-                kpiAdvisoryFindings = kpiOutcome.advisoryFindings;
-            }
+function failurePhaseToClockId(phase) {
+    switch (phase) {
+        case "git_proof":
+            return "git_proof";
+        case "interrogation":
+            return "interrogation";
+        case "gate":
+            return "gate";
+        case "defensive":
+            return "defensive";
+        case "kpi":
+            return "kpi";
+        case "trace":
+        case "trace_pending":
+            return "trace";
+        default: {
+            const _exhaustive = phase;
+            return _exhaustive;
         }
     }
-    return {
-        kind: "ok",
-        warnings: { kpiWarnings, kpiAdvisoryFindings, defensiveWarnings, defensiveAudits },
-    };
+}
+function failWithTimings(failure, clock) {
+    clock.markFailed(failurePhaseToClockId(failure.phase));
+    return { ...failure, phaseTimings: clock.finalize() };
 }
 function buildFullVerifySuccess(input) {
-    const { proofMsnId, executorLogPath, trace, gitProofWarnings, extras } = input;
+    const { proofMsnId, executorLogPath, trace, gitProofWarnings, defensive, kpi, phaseTimings } = input;
     return {
         ok: true,
         outcome: "full",
         proofMsnId,
         executorLogPath,
         traceWarnings: trace.warnings,
+        phaseTimings,
         ...(gitProofWarnings.length > 0 ? { gitProofWarnings } : {}),
-        ...(extras.kpiWarnings && extras.kpiWarnings.length > 0 ? { kpiWarnings: extras.kpiWarnings } : {}),
-        ...(extras.kpiAdvisoryFindings && extras.kpiAdvisoryFindings.length > 0
-            ? { kpiAdvisoryFindings: extras.kpiAdvisoryFindings }
-            : {}),
-        ...(extras.defensiveWarnings && extras.defensiveWarnings.length > 0
-            ? { defensiveWarnings: extras.defensiveWarnings }
-            : {}),
-        ...(extras.defensiveAudits && extras.defensiveAudits.length > 0
-            ? { defensiveAudits: extras.defensiveAudits }
-            : {}),
+        ...(kpi.warnings.length > 0 ? { kpiWarnings: kpi.warnings } : {}),
+        ...(kpi.advisoryFindings.length > 0 ? { kpiAdvisoryFindings: kpi.advisoryFindings } : {}),
+        ...(defensive.warnings.length > 0 ? { defensiveWarnings: defensive.warnings } : {}),
+        ...(defensive.audits.length > 0 ? { defensiveAudits: defensive.audits } : {}),
         traceEvidenceSkippedUncommitted: trace.skippedUncommitted > 0 ? trace.skippedUncommitted : undefined,
     };
 }
 /** Single source of truth for verify phase evaluation (no logging or exit codes). */
 export function evaluateVerifyPhases(root, mission, options, manifest) {
+    const clock = new VerifyPhaseClock();
     const executorLogPath = resolveExecutorLogPath(root, options);
-    const proof = evaluateGitProof(root, mission, options, executorLogPath);
+    const proof = clock.timed("git_proof", () => evaluateGitProof(root, mission, options, executorLogPath));
     if (proof.kind === "fail")
-        return proof.failure;
+        return failWithTimings(proof.failure, clock);
     const { proofMsnId, warnings: proofWarnings } = proof;
     const missionRel = formatRepoRelative(root, mission.rawPath);
-    const interrogation = evaluateInterrogationPhase({
+    const interrogation = clock.timed("interrogation", () => evaluateInterrogationPhase({
         root,
         manifest,
         mission,
@@ -230,9 +117,9 @@ export function evaluateVerifyPhases(root, mission, options, manifest) {
         options,
         proofMsnId,
         executorLogPath,
-    });
+    }));
     if (interrogation.failure)
-        return interrogation.failure;
+        return failWithTimings(interrogation.failure, clock);
     const gitProofWarnings = [...proofWarnings, ...interrogation.warnings];
     if (options.prePush === true && isLegislativeStub(mission)) {
         return {
@@ -241,45 +128,45 @@ export function evaluateVerifyPhases(root, mission, options, manifest) {
             proofMsnId,
             executorLogPath,
             traceWarnings: [],
+            phaseTimings: clock.finalize(),
             ...(gitProofWarnings.length > 0 ? { gitProofWarnings } : {}),
         };
     }
     const gate = mission.gate;
     if (!gate) {
-        return {
+        return failWithTimings({
             ok: false,
             phase: "gate",
             message: "Mission has no gate_command",
             exitCode: 1,
             executorLogPath,
-        };
+        }, clock);
     }
     const virtualFlightId = beginVirtualCapture(root, mission);
-    const gateOutcome = evaluateGatePhase(root, gate, options, executorLogPath);
+    const phaseCtx = { root, manifest, mission, options, executorLogPath };
+    const gateOutcome = clock.timed("gate", () => evaluateGatePhase(root, gate, options, executorLogPath));
     recordVirtualGateCapture(root, virtualFlightId, gate, gateOutcome.gateResult);
     if (gateOutcome.failure)
-        return gateOutcome.failure;
-    const postGate = collectDefensiveAndKpiOutcomes({
-        root,
-        manifest,
-        mission,
-        options,
-        executorLogPath,
-    });
-    if (postGate.kind === "fail")
-        return postGate.failure;
-    const trace = evaluateTracePhase({ root, manifest, mission, options, executorLogPath });
+        return failWithTimings(gateOutcome.failure, clock);
+    const defensive = clock.timed("defensive", () => evaluateDefensivePhase(phaseCtx));
+    if (defensive.kind === "fail")
+        return failWithTimings(defensive.failure, clock);
+    const kpi = clock.timed("kpi", () => evaluateKpiGatePhase(phaseCtx));
+    if (kpi.kind === "fail")
+        return failWithTimings(kpi.failure, clock);
+    const trace = clock.timed("trace", () => evaluateTracePhase(phaseCtx));
     if (trace.kind === "fail")
-        return trace.failure;
-    if (virtualFlightId) {
+        return failWithTimings(trace.failure, clock);
+    if (virtualFlightId)
         purgeVirtualFlightDir(root, virtualFlightId);
-    }
     return buildFullVerifySuccess({
         proofMsnId,
         executorLogPath,
         trace,
         gitProofWarnings,
-        extras: postGate.warnings,
+        defensive,
+        kpi,
+        phaseTimings: clock.finalize(),
     });
 }
 //# sourceMappingURL=verify-engine.js.map

package/dist/cli/lib/verify-engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAsB,MAAM,WAAW,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,eAAe,EAAE,sBAAsB,EAA2B,MAAM,YAAY,CAAC;AAU7I,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAGpC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7D,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,OAAO,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,OAAe;IAC3E,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE;QACxC,MAAM;QACN,aAAa;QACb,GAAG,OAAO,SAAS;QACnB,IAAI;QACJ,mBAAmB;KACpB,CAAC,CAAC;IACH,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AA0BD,SAAS,eAAe,CACtB,eAAuB,EACvB,OAAe;IAEf,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,WAAW;QAClB,OAAO;QACP,QAAQ,EAAE,CAAC;QACX,eAAe;QACf,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,OAAsB;IACzE,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,eAAuB;IAEvB,IAAI,CAAC;QACH,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;YAClE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,SAAS;YACjC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,QAAQ,EAAE,gBAAgB;SAC3B,CAAC,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAChE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAY,EACZ,IAAc,EACd,OAAsB,EACtB,eAAuB;IAEvB,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACxF,OAAO;QACL,OAAO,EAAE;YACP,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,aAAa;YACtB,QAAQ,EAAE,CAAC;YACX,eAAe;YACf,WAAW,EAAE,IAAI,CAAC,OAAO;YACzB,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,YAAY,EAAE,UAAU,CAAC,QAAQ,IAAI,SAAS;SAC/C;QACD,UAAU;KACX,CAAC;AACJ,CAAC;AAUD,SAAS,kBAAkB,CAAC,KAAsB;IAChD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IACpE,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,eAAe;gBACtB,OAAO,EACL,yFAAyF;gBAC3F,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO;aACnC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,eAAe,EAAE,OAAO,CAAC,SAAS,EAAE;QACtE,kBAAkB,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI;QAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI;KAC1C,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACvC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;aAC1B;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,4BAA4B,CAC3C,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,EACf,WAAW,CAAC,aAAa,EACzB,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAC1D,CAAC;IAEF,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE;gBACP,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,KAAK,CAAC,MAAM;gBACrB,QAAQ,EAAE,CAAC;gBACX,eAAe;gBACf,SAAS,EAAE,gBAAgB;gBAC3B,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,UAAU;gBAChC,WAAW,EAAE,KAAK,CAAC,MAAM;gBACzB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;gBAC1C,UAAU,EAAE,KAAK,CAAC,UAAU;aAC7B;SACF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAsB;IAC/D,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,qBAAqB,EAAE,CAAC;IACzC,2BAA2B,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAY,EACZ,QAAuB,EACvB,IAAc,EACd,UAAqC;IAErC,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;QAAE,OAAO;IACrC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE;QACnC,YAAY,EAAE,IAAI,CAAC,OAAO;QAC1B,SAAS,EAAE,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC;AAqBD,SAAS,8BAA8B,CAAC,KAAoB;IAC1D,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IACpE,IAAI,WAAiC,CAAC;IACtC,IAAI,mBAA6C,CAAC;IAClD,IAAI,iBAAuC,CAAC;IAC5C,IAAI,eAAqC,CAAC;IAE1C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,gBAAgB,GAAG,2BAA2B,CAClD,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,eAAe,CAChB,CAAC;QACF,IAAI,gBAAgB,CAAC,OAAO;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,OAAO,EAAE,CAAC;QACzF,IAAI,gBAAgB,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,iBAAiB,GAAG,gBAAgB,CAAC,QAAQ,CAAC;QACxF,IAAI,gBAAgB,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC;IACpF,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,gBAAgB,CACjC,IAAI,EACJ,QAAQ,EACR,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,eAAe,CAChB,CAAC;QACF,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;QACtF,IAAI,UAAU,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9B,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC;YAClC,IAAI,UAAU,CAAC,gBAAgB,IAAI,UAAU,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1E,mBAAmB,GAAG,UAAU,CAAC,gBAAgB,CAAC;YACpD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,eAAe,EAAE;KACnF,CAAC;AACJ,CAAC;AAUD,SAAS,sBAAsB,CAAC,KAA6B;IAC3D,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC/E,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU;QACV,eAAe;QACf,aAAa,EAAE,KAAK,CAAC,QAAQ;QAC7B,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnG,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;YACrE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,EAAE;YACrD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;YACjE,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;YAC7D,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACP,+BAA+B,EAC7B,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,QAAkB;IAElB,MAAM,eAAe,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAChD,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAEtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,0BAA0B,CAAC;QAC/C,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,UAAU;QACV,OAAO;QACP,UAAU;QACV,eAAe;KAChB,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,OAAO;QAAE,OAAO,aAAa,CAAC,OAAO,CAAC;IACxD,MAAM,gBAAgB,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAEvE,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,eAAe;YACxB,UAAU;YACV,eAAe;YACf,aAAa,EAAE,EAAE;YACjB,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,6BAA6B;YACtC,QAAQ,EAAE,CAAC;YACX,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAC5E,wBAAwB,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAE9E,IAAI,WAAW,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC,OAAO,CAAC;IAEpD,MAAM,QAAQ,GAAG,8BAA8B,CAAC;QAC9C,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,OAAO;QACP,eAAe;KAChB,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IAEtD,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;IACxF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,OAAO,CAAC;IAEhD,IAAI,eAAe,EAAE,CAAC;QACpB,qBAAqB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,sBAAsB,CAAC;QAC5B,UAAU;QACV,eAAe;QACf,KAAK;QACL,gBAAgB;QAChB,MAAM,EAAE,QAAQ,CAAC,QAAQ;KAC1B,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"verify-engine.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-engine.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAKpD,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,gBAAgB,EAA8C,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,kBAAkB,GAInB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7D,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,OAAO,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,2BAA2B,CAAC,QAAgB,EAAE,OAAe;IAC3E,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE;QACxC,MAAM;QACN,aAAa;QACb,GAAG,OAAO,SAAS;QACnB,IAAI;QACJ,mBAAmB;KACpB,CAAC,CAAC;IACH,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,OAAO,MAAM;SACV,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAqBD,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,OAAsB;IACzE,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,OAAsB;IAC/D,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,QAAQ,GAAG,qBAAqB,EAAE,CAAC;IACzC,2BAA2B,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB,CAC/B,IAAY,EACZ,QAAuB,EACvB,IAAc,EACd,UAAqC;IAErC,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU;QAAE,OAAO;IACrC,oBAAoB,CAAC,IAAI,EAAE,QAAQ,EAAE;QACnC,YAAY,EAAE,IAAI,CAAC,OAAO;QAC1B,SAAS,EAAE,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAyB;IACtD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAA2B,EAAE,KAAuB;IAC3E,KAAK,CAAC,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,sBAAsB,CAAC,KAQ/B;IACC,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,EAAE,GAC1F,KAAK,CAAC;IACR,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,MAAM;QACf,UAAU;QACV,eAAe;QACf,aAAa,EAAE,KAAK,CAAC,QAAQ;QAC7B,YAAY;QACZ,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,+BAA+B,EAC7B,KAAK,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;KACtE,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,OAAsB,EACtB,OAAsB,EACtB,QAAkB;IAElB,MAAM,KAAK,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACrC,MAAM,eAAe,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAC1C,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,CAC1D,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAEtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,EAAE,GAAG,EAAE,CACtD,0BAA0B,CAAC;QACzB,IAAI;QACJ,QAAQ;QACR,OAAO;QACP,UAAU;QACV,OAAO;QACP,UAAU;QACV,eAAe;KAChB,CAAC,CACH,CAAC;IACF,IAAI,aAAa,CAAC,OAAO;QAAE,OAAO,eAAe,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAEvE,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO;YACL,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,eAAe;YACxB,UAAU;YACV,eAAe;YACf,aAAa,EAAE,EAAE;YACjB,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE;YAC9B,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,eAAe,CACpB;YACE,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,6BAA6B;YACtC,QAAQ,EAAE,CAAC;YACX,eAAe;SAChB,EACD,KAAK,CACN,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAEvE,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,CAC3C,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CACxD,CAAC;IACF,wBAAwB,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAC9E,IAAI,WAAW,CAAC,OAAO;QAAE,OAAO,eAAe,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAE5E,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnF,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEhF,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrE,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEpE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAExE,IAAI,eAAe;QAAE,qBAAqB,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAElE,OAAO,sBAAsB,CAAC;QAC5B,UAAU;QACV,eAAe;QACf,KAAK;QACL,gBAAgB;QAChB,SAAS;QACT,GAAG;QACH,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE;KAC/B,CAAC,CAAC;AACL,CAAC"}

package/dist/cli/lib/verify-export.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-export.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC;AAa5D,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAaR;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA2DxF;AAuBD,wBAAgB,aAAa,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAoBlE"}
+{"version":3,"file":"verify-export.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,CAAC;AAa5D,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAaR;AAuBD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA4DxF;AAuBD,wBAAgB,aAAa,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAoBlE"}

package/dist/cli/lib/verify-export.js

@@ -22,12 +22,28 @@ export function buildVerifyExportDocument(payload, format) {
         }
     }
 }
+function sarifRegionForFinding(finding) {
+    const region = {
+        startLine: finding.line > 0 ? finding.line : 1,
+    };
+    if (finding.end_line !== undefined && finding.end_line > 0) {
+        region.endLine = finding.end_line;
+    }
+    if (finding.start_column !== undefined && finding.start_column > 0) {
+        region.startColumn = finding.start_column;
+    }
+    if (finding.end_column !== undefined && finding.end_column > 0) {
+        region.endColumn = finding.end_column;
+    }
+    return region;
+}
 export function buildSarifDocument(payload) {
     const results = [];
     if (payload.status === "failed") {
         for (const finding of payload.findings ?? []) {
+            const ruleId = finding.rule_id ?? finding.failed_gate;
             results.push({
-                ruleId: finding.failed_gate,
+                ruleId,
                 level: finding.severity === "warning" ? "warning" : "error",
                 message: { text: finding.resolution_hint },
                 ...(finding.offending_file
@@ -36,7 +52,7 @@ export function buildSarifDocument(payload) {
                             {
                                 physicalLocation: {
                                     artifactLocation: { uri: finding.offending_file },
-                                    region: { startLine: finding.line > 0 ? finding.line : 1 },
+                                    region: sarifRegionForFinding(finding),
                                 },
                             },
                         ],

package/dist/cli/lib/verify-export.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-export.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAK/C,MAAM,YAAY,GAChB,gGAAgG,CAAC;AAEnG,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK;SACT,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAA4B,EAC5B,MAA0B;IAE1B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9D,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,MAAM,CAAC;YAClC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAA4B;IAC7D,MAAM,OAAO,GAA8B,EAAE,CAAC;IAE9C,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC7C,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,OAAO,CAAC,WAAW;gBAC3B,KAAK,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;gBAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE;gBAC1C,GAAG,CAAC,OAAO,CAAC,cAAc;oBACxB,CAAC,CAAC;wBACE,SAAS,EAAE;4BACT;gCACE,gBAAgB,EAAE;oCAChB,gBAAgB,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,cAAc,EAAE;oCACjD,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;iCAC3D;6BACF;yBACF;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,UAAU,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;aACzD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,OAAO,CAAC,UAAU;gBAC1B,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,iBAAiB;gBACzB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE;oBACP,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,mBAAmB,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE;iBACjG;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,WAAW;wBACpB,cAAc,EAAE,sBAAsB;qBACvC;iBACF;gBACD,OAAO;aACR;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAA4B;IAIlD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,MAAM,GACV,OAAO,CAAC,KAAK,KAAK,eAAe;YAC/B,CAAC,CAAC,CAAC,WAAW,CAAC;YACf,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,aAAa;gBAC/B,CAAC,CAAC,CAAC,aAAa,CAAC;gBACjB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC9F,IAAI,CACL,CAAC;IACF,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAA4B;IACxD,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,sBAAsB,CAAC;IAChG,MAAM,KAAK,GAAG;QACZ,wCAAwC;QACxC,qBAAqB,QAAQ,YAAY,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,IAAI;QAChG,sBAAsB,SAAS,CAAC,SAAS,CAAC,YAAY,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,IAAI;KAC9G,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CACR,iDAAiD,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,uBAAuB,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CACnN,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,iDAAiD,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC;IAC9C,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}
+{"version":3,"file":"verify-export.js","sourceRoot":"","sources":["../../../src/cli/lib/verify-export.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAK/C,MAAM,YAAY,GAChB,gGAAgG,CAAC;AAEnG,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK;SACT,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAA4B,EAC5B,MAA0B;IAE1B,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9D,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,MAAM,CAAC;YAClC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,OAK9B;IACC,MAAM,MAAM,GAA2B;QACrC,SAAS,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC/C,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC;IACpC,CAAC;IACD,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC;IACxC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAA4B;IAC7D,MAAM,OAAO,GAA8B,EAAE,CAAC;IAE9C,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,WAAW,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM;gBACN,KAAK,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;gBAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE;gBAC1C,GAAG,CAAC,OAAO,CAAC,cAAc;oBACxB,CAAC,CAAC;wBACE,SAAS,EAAE;4BACT;gCACE,gBAAgB,EAAE;oCAChB,gBAAgB,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,cAAc,EAAE;oCACjD,MAAM,EAAE,qBAAqB,CAAC,OAAO,CAAC;iCACvC;6BACF;yBACF;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,UAAU,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE;aACzD,CAAC,CAAC;QACL,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,OAAO,CAAC,UAAU;gBAC1B,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,iBAAiB;gBACzB,KAAK,EAAE,SAAS;gBAChB,OAAO,EAAE;oBACP,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,mBAAmB,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE;iBACjG;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,WAAW;wBACpB,cAAc,EAAE,sBAAsB;qBACvC;iBACF;gBACD,OAAO;aACR;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAA4B;IAIlD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,MAAM,GACV,OAAO,CAAC,KAAK,KAAK,eAAe;YAC/B,CAAC,CAAC,CAAC,WAAW,CAAC;YACf,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,aAAa;gBAC/B,CAAC,CAAC,CAAC,aAAa,CAAC;gBACjB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC9F,IAAI,CACL,CAAC;IACF,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAA4B;IACxD,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,sBAAsB,CAAC;IAChG,MAAM,KAAK,GAAG;QACZ,wCAAwC;QACxC,qBAAqB,QAAQ,YAAY,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,IAAI;QAChG,sBAAsB,SAAS,CAAC,SAAS,CAAC,YAAY,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,IAAI;KAC9G,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CACR,iDAAiD,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,uBAAuB,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAuB,CACnN,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,iDAAiD,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC;IAC9C,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/cli/lib/verify-failure.d.ts

@@ -49,6 +49,8 @@ export interface TraceFailure extends VerifyFailureBase {
     traceKind: TraceFailureKind;
     traceReason: string;
     traceQuote: string;
+    /** 1-based declared line from mission trace anchor when numeric; else 0. */
+    declaredLine?: number;
     attestationCommit?: string;
     stalePaths?: string[];
 }

package/dist/cli/lib/verify-failure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-failure.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,MAAM,GACN,WAAW,GACX,KAAK,GACL,eAAe,GACf,OAAO,GACP,eAAe,CAAC;AAEpB,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAEzF,UAAU,iBAAiB;IACzB,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,iBAAiB;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,UAAW,SAAQ,iBAAiB;IACnD,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,gBAAgB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,KAAK,EAAE,eAAe,CAAC;IACvB,iBAAiB,EAAE,YAAY,CAAC;IAChC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,oFAAoF;AACpF,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,WAAW,GACX,gBAAgB,GAChB,UAAU,GACV,mBAAmB,GACnB,YAAY,GACZ,oBAAoB,CAAC"}
+{"version":3,"file":"verify-failure.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,MAAM,GACN,WAAW,GACX,KAAK,GACL,eAAe,GACf,OAAO,GACP,eAAe,CAAC;AAEpB,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAEzF,UAAU,iBAAiB;IACzB,EAAE,EAAE,KAAK,CAAC;IACV,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,iBAAiB;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,KAAK,EAAE,WAAW,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,UAAW,SAAQ,iBAAiB;IACnD,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,gBAAgB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,4EAA4E;IAC5E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,KAAK,EAAE,eAAe,CAAC;IACvB,iBAAiB,EAAE,YAAY,CAAC;IAChC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAED,oFAAoF;AACpF,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,WAAW,GACX,gBAAgB,GAChB,UAAU,GACV,mBAAmB,GACnB,YAAY,GACZ,oBAAoB,CAAC"}

package/dist/cli/lib/verify-finding-fingerprint.d.ts

@@ -0,0 +1,26 @@
+import type { VerifyFailedGate, VerifyFinding } from "./verify-finding.js";
+export declare const EVIDENCE_BYTE_LIMIT: 2048;
+export declare const EVIDENCE_TRUNCATION_SENTINEL: "\n[...truncated]";
+export declare const DIGEST_RING_CAP: 4;
+/** Byte-safe UTF-8 truncation at newline or code-point boundary, then sentinel. */
+export declare function truncateEvidenceBytes(text: string): string;
+/** Normalize evidence for semantic fingerprint (NFC, whitespace, strip diff hunk headers). */
+export declare function normalizeEvidenceForSemantic(text: string): string;
+export interface FingerprintInput {
+    failed_gate: VerifyFailedGate;
+    offending_file: string;
+    line: number;
+    end_line?: number;
+    start_column?: number;
+    end_column?: number;
+    rule_id?: string;
+    evidence?: string;
+}
+export declare function computeExactFingerprint(input: FingerprintInput): string;
+export declare function computeSemanticFingerprint(input: FingerprintInput): string;
+export declare function finalizeVerifyFinding(finding: Omit<VerifyFinding, "fingerprint" | "semantic_fingerprint">): VerifyFinding;
+export declare function finalizeVerifyFindings(findings: VerifyFinding[]): VerifyFinding[];
+export declare function computeFindingsDigest(findings: readonly VerifyFinding[]): string;
+export declare function appendDigestToRing(ring: readonly string[], digest: string): string[];
+export declare function digestRecurredInRing(ring: readonly string[], digest: string): boolean;
+//# sourceMappingURL=verify-finding-fingerprint.d.ts.map

package/dist/cli/lib/verify-finding-fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-finding-fingerprint.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/verify-finding-fingerprint.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAE3E,eAAO,MAAM,mBAAmB,EAAG,IAAa,CAAC;AACjD,eAAO,MAAM,4BAA4B,EAAG,kBAA2B,CAAC;AACxE,eAAO,MAAM,eAAe,EAAG,CAAU,CAAC;AAE1C,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAoB1D;AAED,8FAA8F;AAC9F,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIjE;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,gBAAgB,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAMD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAavE;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAgB1E;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,aAAa,GAAG,sBAAsB,CAAC,GACnE,aAAa,CAsBf;AAED,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAejF;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,GAAG,MAAM,CAKhF;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAOpF;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAErF"}