@codacy/verity-cli 0.34.0-experimental.d4649a0 → 0.34.0-experimental.e086ee3

package/bin/verity.js

@@ -6975,10 +6975,10 @@ var require_resolve_block_map = __commonJS2({
       let offset = bm.offset;
       let commentEnd = null;
       for (const collItem of bm.items) {
-        const { start: start2, key, sep: sep5, value } = collItem;
+        const { start: start2, key, sep: sep6, value } = collItem;
         const keyProps = resolveProps.resolveProps(start2, {
           indicator: "explicit-key-ind",
-          next: key ?? sep5?.[0],
+          next: key ?? sep6?.[0],
           offset,
           onError,
           parentIndent: bm.indent,
@@ -6992,7 +6992,7 @@ var require_resolve_block_map = __commonJS2({
             else if ("indent" in key && key.indent !== bm.indent)
               onError(offset, "BAD_INDENT", startColMsg);
           }
-          if (!keyProps.anchor && !keyProps.tag && !sep5) {
+          if (!keyProps.anchor && !keyProps.tag && !sep6) {
             commentEnd = keyProps.end;
             if (keyProps.comment) {
               if (map.comment)
@@ -7016,7 +7016,7 @@ var require_resolve_block_map = __commonJS2({
         ctx.atKey = false;
         if (utilMapIncludes.mapIncludes(ctx, map.items, keyNode))
           onError(keyStart, "DUPLICATE_KEY", "Map keys must be unique");
-        const valueProps = resolveProps.resolveProps(sep5 ?? [], {
+        const valueProps = resolveProps.resolveProps(sep6 ?? [], {
           indicator: "map-value-ind",
           next: value,
           offset: keyNode.range[2],
@@ -7032,7 +7032,7 @@ var require_resolve_block_map = __commonJS2({
             if (ctx.options.strict && keyProps.start < valueProps.found.offset - 1024)
               onError(keyNode.range, "KEY_OVER_1024_CHARS", "The : indicator must be at most 1024 chars after the start of an implicit block mapping key");
           }
-          const valueNode = value ? composeNode(ctx, value, valueProps, onError) : composeEmptyNode(ctx, offset, sep5, null, valueProps, onError);
+          const valueNode = value ? composeNode(ctx, value, valueProps, onError) : composeEmptyNode(ctx, offset, sep6, null, valueProps, onError);
           if (ctx.schema.compat)
             utilFlowIndentCheck.flowIndentCheck(bm.indent, value, onError);
           offset = valueNode.range[2];
@@ -7123,7 +7123,7 @@ var require_resolve_end = __commonJS2({
       let comment = "";
       if (end) {
         let hasSpace = false;
-        let sep5 = "";
+        let sep6 = "";
         for (const token of end) {
           const { source: source2, type } = token;
           switch (type) {
@@ -7137,13 +7137,13 @@ var require_resolve_end = __commonJS2({
               if (!comment)
                 comment = cb;
               else
-                comment += sep5 + cb;
-              sep5 = "";
+                comment += sep6 + cb;
+              sep6 = "";
               break;
             }
             case "newline":
               if (comment)
-                sep5 += source2;
+                sep6 += source2;
               hasSpace = true;
               break;
             default:
@@ -7186,18 +7186,18 @@ var require_resolve_flow_collection = __commonJS2({
       let offset = fc.offset + fc.start.source.length;
       for (let i2 = 0; i2 < fc.items.length; ++i2) {
         const collItem = fc.items[i2];
-        const { start: start2, key, sep: sep5, value } = collItem;
+        const { start: start2, key, sep: sep6, value } = collItem;
         const props = resolveProps.resolveProps(start2, {
           flow: fcName,
           indicator: "explicit-key-ind",
-          next: key ?? sep5?.[0],
+          next: key ?? sep6?.[0],
           offset,
           onError,
           parentIndent: fc.indent,
           startOnNewline: false
         });
         if (!props.found) {
-          if (!props.anchor && !props.tag && !sep5 && !value) {
+          if (!props.anchor && !props.tag && !sep6 && !value) {
             if (i2 === 0 && props.comma)
               onError(props.comma, "UNEXPECTED_TOKEN", `Unexpected , in ${fcName}`);
             else if (i2 < fc.items.length - 1)
@@ -7251,8 +7251,8 @@ var require_resolve_flow_collection = __commonJS2({
             }
           }
         }
-        if (!isMap && !sep5 && !props.found) {
-          const valueNode = value ? composeNode(ctx, value, props, onError) : composeEmptyNode(ctx, props.end, sep5, null, props, onError);
+        if (!isMap && !sep6 && !props.found) {
+          const valueNode = value ? composeNode(ctx, value, props, onError) : composeEmptyNode(ctx, props.end, sep6, null, props, onError);
           coll.items.push(valueNode);
           offset = valueNode.range[2];
           if (isBlock(value))
@@ -7264,7 +7264,7 @@ var require_resolve_flow_collection = __commonJS2({
           if (isBlock(key))
             onError(keyNode.range, "BLOCK_IN_FLOW", blockMsg);
           ctx.atKey = false;
-          const valueProps = resolveProps.resolveProps(sep5 ?? [], {
+          const valueProps = resolveProps.resolveProps(sep6 ?? [], {
             flow: fcName,
             indicator: "map-value-ind",
             next: value,
@@ -7275,8 +7275,8 @@ var require_resolve_flow_collection = __commonJS2({
           });
           if (valueProps.found) {
             if (!isMap && !props.found && ctx.options.strict) {
-              if (sep5)
-                for (const st of sep5) {
+              if (sep6)
+                for (const st of sep6) {
                   if (st === valueProps.found)
                     break;
                   if (st.type === "newline") {
@@ -7293,7 +7293,7 @@ var require_resolve_flow_collection = __commonJS2({
             else
               onError(valueProps.start, "MISSING_CHAR", `Missing , or : between ${fcName} items`);
           }
-          const valueNode = value ? composeNode(ctx, value, valueProps, onError) : valueProps.found ? composeEmptyNode(ctx, valueProps.end, sep5, null, valueProps, onError) : null;
+          const valueNode = value ? composeNode(ctx, value, valueProps, onError) : valueProps.found ? composeEmptyNode(ctx, valueProps.end, sep6, null, valueProps, onError) : null;
           if (valueNode) {
             if (isBlock(value))
               onError(valueNode.range, "BLOCK_IN_FLOW", blockMsg);
@@ -7473,7 +7473,7 @@ var require_resolve_block_scalar = __commonJS2({
           chompStart = i2 + 1;
       }
       let value = "";
-      let sep5 = "";
+      let sep6 = "";
       let prevMoreIndented = false;
       for (let i2 = 0; i2 < contentStart; ++i2)
         value += lines[i2][0].slice(trimIndent) + "\n";
@@ -7490,24 +7490,24 @@ var require_resolve_block_scalar = __commonJS2({
           indent = "";
         }
         if (type === Scalar.Scalar.BLOCK_LITERAL) {
-          value += sep5 + indent.slice(trimIndent) + content;
-          sep5 = "\n";
+          value += sep6 + indent.slice(trimIndent) + content;
+          sep6 = "\n";
         } else if (indent.length > trimIndent || content[0] === "	") {
-          if (sep5 === " ")
-            sep5 = "\n";
-          else if (!prevMoreIndented && sep5 === "\n")
-            sep5 = "\n\n";
-          value += sep5 + indent.slice(trimIndent) + content;
-          sep5 = "\n";
+          if (sep6 === " ")
+            sep6 = "\n";
+          else if (!prevMoreIndented && sep6 === "\n")
+            sep6 = "\n\n";
+          value += sep6 + indent.slice(trimIndent) + content;
+          sep6 = "\n";
           prevMoreIndented = true;
         } else if (content === "") {
-          if (sep5 === "\n")
+          if (sep6 === "\n")
             value += "\n";
           else
-            sep5 = "\n";
+            sep6 = "\n";
         } else {
-          value += sep5 + content;
-          sep5 = " ";
+          value += sep6 + content;
+          sep6 = " ";
           prevMoreIndented = false;
         }
       }
@@ -7689,25 +7689,25 @@ var require_resolve_flow_scalar = __commonJS2({
       if (!match)
         return source2;
       let res = match[1];
-      let sep5 = " ";
+      let sep6 = " ";
       let pos = first.lastIndex;
       line2.lastIndex = pos;
       while (match = line2.exec(source2)) {
         if (match[1] === "") {
-          if (sep5 === "\n")
-            res += sep5;
+          if (sep6 === "\n")
+            res += sep6;
           else
-            sep5 = "\n";
+            sep6 = "\n";
         } else {
-          res += sep5 + match[1];
-          sep5 = " ";
+          res += sep6 + match[1];
+          sep6 = " ";
         }
         pos = line2.lastIndex;
       }
       const last = /[ \t]*(.*)/sy;
       last.lastIndex = pos;
       match = last.exec(source2);
-      return res + sep5 + (match?.[1] ?? "");
+      return res + sep6 + (match?.[1] ?? "");
     }
     function doubleQuotedValue(source2, onError) {
       let res = "";
@@ -8514,14 +8514,14 @@ var require_cst_stringify = __commonJS2({
         }
       }
     }
-    function stringifyItem({ start: start2, key, sep: sep5, value }) {
+    function stringifyItem({ start: start2, key, sep: sep6, value }) {
       let res = "";
       for (const st of start2)
         res += st.source;
       if (key)
         res += stringifyToken(key);
-      if (sep5)
-        for (const st of sep5)
+      if (sep6)
+        for (const st of sep6)
           res += st.source;
       if (value)
         res += stringifyToken(value);
@@ -9671,18 +9671,18 @@ var require_parser = __commonJS2({
         if (this.type === "map-value-ind") {
           const prev = getPrevProps(this.peek(2));
           const start2 = getFirstKeyStartProps(prev);
-          let sep5;
+          let sep6;
           if (scalar.end) {
-            sep5 = scalar.end;
-            sep5.push(this.sourceToken);
+            sep6 = scalar.end;
+            sep6.push(this.sourceToken);
             delete scalar.end;
           } else
-            sep5 = [this.sourceToken];
+            sep6 = [this.sourceToken];
           const map = {
             type: "block-map",
             offset: scalar.offset,
             indent: scalar.indent,
-            items: [{ start: start2, key: scalar, sep: sep5 }]
+            items: [{ start: start2, key: scalar, sep: sep6 }]
           };
           this.onKeyLine = true;
           this.stack[this.stack.length - 1] = map;
@@ -9835,15 +9835,15 @@ var require_parser = __commonJS2({
                 } else if (isFlowToken(it.key) && !includesToken(it.sep, "newline")) {
                   const start3 = getFirstKeyStartProps(it.start);
                   const key = it.key;
-                  const sep5 = it.sep;
-                  sep5.push(this.sourceToken);
+                  const sep6 = it.sep;
+                  sep6.push(this.sourceToken);
                   delete it.key;
                   delete it.sep;
                   this.stack.push({
                     type: "block-map",
                     offset: this.offset,
                     indent: this.indent,
-                    items: [{ start: start3, key, sep: sep5 }]
+                    items: [{ start: start3, key, sep: sep6 }]
                   });
                 } else if (start2.length > 0) {
                   it.sep = it.sep.concat(start2, this.sourceToken);
@@ -10037,13 +10037,13 @@ var require_parser = __commonJS2({
             const prev = getPrevProps(parent);
             const start2 = getFirstKeyStartProps(prev);
             fixFlowSeqItems(fc);
-            const sep5 = fc.end.splice(1, fc.end.length);
-            sep5.push(this.sourceToken);
+            const sep6 = fc.end.splice(1, fc.end.length);
+            sep6.push(this.sourceToken);
             const map = {
               type: "block-map",
               offset: fc.offset,
               indent: fc.indent,
-              items: [{ start: start2, key: fc, sep: sep5 }]
+              items: [{ start: start2, key: fc, sep: sep6 }]
             };
             this.onKeyLine = true;
             this.stack[this.stack.length - 1] = map;
@@ -19476,8 +19476,8 @@ function ensureVerityGitignore() {
     }
     let text = next.join("\n");
     if (!hasMarker) {
-      const sep5 = text === "" ? "" : text.endsWith("\n") ? "\n" : "\n\n";
-      text = text + sep5 + VERITY_GITIGNORE_BLOCK;
+      const sep6 = text === "" ? "" : text.endsWith("\n") ? "\n" : "\n\n";
+      text = text + sep6 + VERITY_GITIGNORE_BLOCK;
     }
     if (text !== content) (0, import_node_fs19.writeFileSync)(".gitignore", text);
     return verified(
@@ -19507,8 +19507,8 @@ function writeFencedBlock() {
   lines = fenceMemoryLines(lines);
   let text = lines.join("\n");
   if (!hasMarker) {
-    const sep5 = text === "" ? "" : text.endsWith("\n") ? "\n" : "\n\n";
-    text = text + sep5 + VERITY_GITIGNORE_BLOCK;
+    const sep6 = text === "" ? "" : text.endsWith("\n") ? "\n" : "\n\n";
+    text = text + sep6 + VERITY_GITIGNORE_BLOCK;
   }
   try {
     (0, import_node_fs19.writeFileSync)(".gitignore", text);
@@ -19558,8 +19558,8 @@ function keepMemoryTracked() {
   }
   if (content.includes(MEMORY_OPT_OUT_MARKER)) return "already";
   try {
-    const sep5 = content === "" ? "" : content.endsWith("\n") ? "\n" : "\n\n";
-    (0, import_node_fs19.writeFileSync)(".gitignore", content + sep5 + MEMORY_OPT_OUT_STANZA);
+    const sep6 = content === "" ? "" : content.endsWith("\n") ? "\n" : "\n\n";
+    (0, import_node_fs19.writeFileSync)(".gitignore", content + sep6 + MEMORY_OPT_OUT_STANZA);
   } catch {
     return "failed";
   }
@@ -23064,6 +23064,41 @@ function setupDataPath(file) {
 var import_node_child_process9 = require("node:child_process");
 var import_node_fs31 = require("node:fs");
 var import_node_path28 = require("node:path");
+
+// src/lib/self-scope.ts
+var LEGACY_GATE_SKILLS = /* @__PURE__ */ new Set([
+  "gate-setup",
+  "gate-analyze",
+  "gate-review",
+  "gate-status",
+  "gate-feedback",
+  "gate-insights",
+  "gate-learn",
+  "gate-memory",
+  "gate-reflect"
+]);
+function isVerityOwned(path) {
+  const segments = path.replace(/\\/g, "/").split("/");
+  for (let i2 = 0; i2 < segments.length; i2++) {
+    const seg = segments[i2];
+    if (seg === ".verity" || seg === ".codacy") return true;
+    if (i2 === segments.length - 1 && (seg === "VERITY.md" || seg === "GATE.md")) return true;
+    if (seg === ".claude" && segments[i2 + 1] === "skills" && typeof segments[i2 + 2] === "string") {
+      const skill = segments[i2 + 2];
+      if (skill.startsWith("verity-") || LEGACY_GATE_SKILLS.has(skill)) return true;
+    }
+    if (seg === ".claude" && segments[i2 + 1] === "settings.json") return true;
+  }
+  return false;
+}
+function partitionVerityOwned(paths) {
+  const kept = [];
+  const owned = [];
+  for (const p of paths) (isVerityOwned(p) ? owned : kept).push(p);
+  return { kept, owned };
+}
+
+// src/lib/detect.ts
 var TOOLED_LANGUAGES = /* @__PURE__ */ new Set([
   "typescript",
   "javascript",
@@ -23098,19 +23133,22 @@ function isIgnored2(path) {
   const parts2 = path.split("/");
   return parts2.some((p) => IGNORED_SEGMENTS.includes(p));
 }
+function isProjectFile(path) {
+  return !isIgnored2(path) && !isVerityOwned(path);
+}
 function listProjectFiles(root) {
   try {
-    const out2 = (0, import_node_child_process9.execSync)("git ls-files -z", {
+    const out2 = (0, import_node_child_process9.execSync)("git ls-files -z --cached --others --exclude-standard", {
       cwd: root,
       encoding: "utf-8",
       maxBuffer: 32 * 1024 * 1024,
       stdio: ["pipe", "pipe", "pipe"]
     });
-    const tracked = out2.split("\0").filter(Boolean).filter((p) => !isIgnored2(p));
+    const tracked = out2.split("\0").filter(Boolean).filter(isProjectFile);
     if (tracked.length > 0) return tracked;
   } catch {
   }
-  return walk(root);
+  return walk(root).filter(isProjectFile);
 }
 var WALK_MAX_FILES = 2e4;
 var WALK_MAX_DEPTH = 8;
@@ -26928,7 +26966,7 @@ function sanitizeCommandWithLoss(rawCmd) {
   const lost = lines.slice(1).some((l) => l.trim().length > 0);
   const first = lines[0];
   const cmd = sanitizeCommand(first);
-  const hadSeparator = SEPARATORS.some((sep5) => first.indexOf(sep5) > 0);
+  const hadSeparator = SEPARATORS.some((sep6) => first.indexOf(sep6) > 0);
   return { cmd, lost: lost || !hadSeparator && first.length > MAX_COMMAND_CHARS };
 }
 var SEPARATORS = [" | ", " > ", " >> ", " 2>", " && ", " ; "];
@@ -26937,11 +26975,11 @@ function sanitizeCommand(rawCmd) {
   let cmd = rawCmd.split("\n")[0];
   let cut = -1;
   let marker = "";
-  for (const sep5 of SEPARATORS) {
-    const idx = cmd.indexOf(sep5);
+  for (const sep6 of SEPARATORS) {
+    const idx = cmd.indexOf(sep6);
     if (idx > 0 && (cut === -1 || idx < cut)) {
       cut = idx;
-      marker = sep5.trim();
+      marker = sep6.trim();
     }
   }
   if (cut > -1) cmd = cmd.slice(0, cut);
@@ -27040,39 +27078,6 @@ async function bootstrap(run4) {
   Object.assign(run4, { actionSummary, assistantResponse, baseline, baselineSessionId, reachability, sessionId, stopReason, tokenResult, transcriptPath, turnId });
 }
 
-// src/lib/self-scope.ts
-var LEGACY_GATE_SKILLS = /* @__PURE__ */ new Set([
-  "gate-setup",
-  "gate-analyze",
-  "gate-review",
-  "gate-status",
-  "gate-feedback",
-  "gate-insights",
-  "gate-learn",
-  "gate-memory",
-  "gate-reflect"
-]);
-function isVerityOwned(path) {
-  const segments = path.replace(/\\/g, "/").split("/");
-  for (let i2 = 0; i2 < segments.length; i2++) {
-    const seg = segments[i2];
-    if (seg === ".verity" || seg === ".codacy") return true;
-    if (i2 === segments.length - 1 && (seg === "VERITY.md" || seg === "GATE.md")) return true;
-    if (seg === ".claude" && segments[i2 + 1] === "skills" && typeof segments[i2 + 2] === "string") {
-      const skill = segments[i2 + 2];
-      if (skill.startsWith("verity-") || LEGACY_GATE_SKILLS.has(skill)) return true;
-    }
-    if (seg === ".claude" && segments[i2 + 1] === "settings.json") return true;
-  }
-  return false;
-}
-function partitionVerityOwned(paths) {
-  const kept = [];
-  const owned = [];
-  for (const p of paths) (isVerityOwned(p) ? owned : kept).push(p);
-  return { kept, owned };
-}
-
 // src/lib/knowledge-note-state.ts
 var stateDir = () => projectPath(VERITY_DIR);
 var STATE_FILE2 = "knowledge-note-state.json";
@@ -27252,7 +27257,7 @@ function channelSilence(input) {
 // src/lib/cli-version.ts
 function cliVersion() {
   try {
-    return true ? "0.34.0-experimental.d4649a0" : "dev";
+    return true ? "0.34.0-experimental.e086ee3" : "dev";
   } catch {
     return "dev";
   }
@@ -27294,6 +27299,170 @@ async function sendSkipBeacon(ctx, reason) {
 // src/lib/static-analysis.ts
 var import_node_child_process12 = require("node:child_process");
 var import_node_fs42 = require("node:fs");
+
+// src/lib/environment-globals.ts
+var NODE = [
+  "process",
+  "Buffer",
+  "global",
+  "require",
+  "module",
+  "exports",
+  "__dirname",
+  "__filename",
+  "console",
+  "setTimeout",
+  "clearTimeout",
+  "setInterval",
+  "clearInterval",
+  "setImmediate",
+  "clearImmediate",
+  "queueMicrotask",
+  "structuredClone",
+  "performance",
+  "fetch",
+  "Request",
+  "Response",
+  "Headers",
+  "FormData",
+  "Blob",
+  "File",
+  "URL",
+  "URLSearchParams",
+  "TextEncoder",
+  "TextDecoder",
+  "TextEncoderStream",
+  "TextDecoderStream",
+  "AbortController",
+  "AbortSignal",
+  "Event",
+  "EventTarget",
+  "CustomEvent",
+  "MessageChannel",
+  "MessagePort",
+  "MessageEvent",
+  "BroadcastChannel",
+  "WebSocket",
+  "WebAssembly",
+  "crypto",
+  "Crypto",
+  "CryptoKey",
+  "SubtleCrypto",
+  "atob",
+  "btoa",
+  "navigator",
+  "DOMException",
+  "ReadableStream",
+  "WritableStream",
+  "TransformStream",
+  "CompressionStream",
+  "DecompressionStream",
+  "ByteLengthQueuingStrategy",
+  "CountQueuingStrategy",
+  "PerformanceObserver",
+  "PerformanceEntry",
+  "PerformanceMark",
+  "PerformanceMeasure"
+];
+var BROWSER = [
+  "window",
+  "self",
+  "document",
+  "location",
+  "history",
+  "localStorage",
+  "sessionStorage",
+  "screen",
+  "alert",
+  "confirm",
+  "prompt",
+  "requestAnimationFrame",
+  "cancelAnimationFrame",
+  "requestIdleCallback",
+  "cancelIdleCallback",
+  "getComputedStyle",
+  "matchMedia",
+  "getSelection",
+  "scrollTo",
+  "scrollBy",
+  "innerWidth",
+  "innerHeight",
+  "outerWidth",
+  "outerHeight",
+  "devicePixelRatio",
+  "visualViewport",
+  "postMessage",
+  "addEventListener",
+  "removeEventListener",
+  "dispatchEvent",
+  "customElements",
+  "indexedDB",
+  "IDBKeyRange",
+  "caches",
+  "XMLHttpRequest",
+  "EventSource",
+  "FileReader",
+  "Image",
+  "Audio",
+  "Worker",
+  "SharedWorker",
+  "Notification",
+  "MutationObserver",
+  "IntersectionObserver",
+  "ResizeObserver",
+  "DOMParser",
+  "XMLSerializer",
+  "Node",
+  "Element",
+  "HTMLElement",
+  "SVGElement",
+  "NodeList",
+  "HTMLCollection",
+  "DocumentFragment",
+  "ShadowRoot",
+  "Range",
+  "Selection",
+  "KeyboardEvent",
+  "MouseEvent",
+  "PointerEvent",
+  "FocusEvent",
+  "InputEvent",
+  "TouchEvent",
+  "UIEvent",
+  "ErrorEvent",
+  "ProgressEvent",
+  "StorageEvent",
+  "CloseEvent",
+  "CSS",
+  "CSSStyleSheet",
+  "FontFace",
+  "ImageData",
+  "ImageBitmap",
+  "createImageBitmap",
+  "OffscreenCanvas",
+  "Path2D",
+  "CanvasRenderingContext2D",
+  "AudioContext",
+  "MediaStream",
+  "MediaRecorder",
+  "RTCPeerConnection",
+  "ClipboardItem",
+  "isSecureContext",
+  "crossOriginIsolated",
+  "reportError",
+  "speechSynthesis"
+];
+var ENVIRONMENT_GLOBALS = /* @__PURE__ */ new Set([...NODE, ...BROWSER]);
+var NOT_DEFINED = /^'([^']+)' is not defined\.?$/;
+var COMMONJS_ONLY = /* @__PURE__ */ new Set(["require", "module", "exports", "__dirname", "__filename"]);
+function isEnvironmentGlobalNoUndef(ruleId, message, filePath = "") {
+  if (!/(^|_)no-undef$/.test(ruleId)) return false;
+  const name2 = message.trim().match(NOT_DEFINED)?.[1];
+  if (name2 === void 0 || !ENVIRONMENT_GLOBALS.has(name2)) return false;
+  return !(COMMONJS_ONLY.has(name2) && /\.m[jt]s$/.test(filePath));
+}
+
+// src/lib/static-analysis.ts
 var SEVERITY_ORDER = {
   Error: 0,
   Critical: 0,
@@ -27381,7 +27550,10 @@ function interpretAnalyzerRun(run4) {
   } catch {
     return withFailure("unparseable_output", output);
   }
-  const issues = parsed.issues ?? [];
+  const reported = parsed.issues ?? [];
+  const issues = reported.filter(
+    (i2) => !isEnvironmentGlobalNoUndef(i2.patternId ?? "", i2.message ?? "", i2.filePath ?? "")
+  );
   const findings = issues.map((issue) => ({
     rule_id: issue.patternId ?? "",
     tool: issue.toolId ?? "",
@@ -27404,7 +27576,7 @@ function interpretAnalyzerRun(run4) {
   );
   const analyzerErrors = parsed.errors ?? [];
   let failure;
-  if (findings.length === 0) {
+  if (reported.length === 0) {
     if (analyzerErrors.length > 0) {
       const first = analyzerErrors[0];
       failure = {
@@ -38020,6 +38192,7 @@ var import_node_fs67 = require("node:fs");
 var import_promises20 = require("node:fs/promises");
 var import_yaml6 = __toESM2(require_dist());
 var import_node_path52 = require("node:path");
+var import_node_os11 = require("node:os");
 var import_node_child_process19 = require("node:child_process");
 
 // src/lib/banner.ts
@@ -38665,8 +38838,8 @@ function mergeGlobalCredentials(gateCreds, verityCreds) {
     toAppend.push(line2.replace(/\r$/, ""));
   }
   if (toAppend.length > 0) {
-    const sep5 = verityContent.endsWith("\n") || verityContent === "" ? "" : "\n";
-    (0, import_node_fs64.writeFileSync)(verityCreds, verityContent + sep5 + toAppend.join("\n") + "\n");
+    const sep6 = verityContent.endsWith("\n") || verityContent === "" ? "" : "\n";
+    (0, import_node_fs64.writeFileSync)(verityCreds, verityContent + sep6 + toAppend.join("\n") + "\n");
   }
   (0, import_node_fs64.rmSync)(gateCreds, { force: true });
   return toAppend.length;
@@ -39909,7 +40082,15 @@ async function offerFormalVerification(defaultsOnly, pluginMode) {
   console.log("    At push, Verity picks the riskiest changed function, checks a small model of");
   console.log("    it, and replays any counterexample on the real code (its source is sent to");
   console.log("    Verity for that). Only a reproduced bug can block; most pushes get no model.");
-  console.log(`    Adds /verity-prove <worry> to check any code on demand.${toolchain ? "" : ` Needs to install Lean 4 (${LEAN_DOWNLOAD_SIZE}) on "yes".`}`);
+  console.log("    Adds /verity-prove <worry> to check any code on demand, e.g.");
+  console.log(`      ${DIM}/verity-prove can the webhook handler charge twice on a retried event?${NC}`);
+  if (!toolchain) {
+    const dir = pinnedVersionDir();
+    const home = (0, import_node_os11.homedir)();
+    const shown = dir.startsWith(home + import_node_path52.sep) ? `~${dir.slice(home.length)}` : dir;
+    console.log("");
+    console.log(`    "yes" installs Lean 4 (${LEAN_DOWNLOAD_SIZE}) into ${shown}`);
+  }
   console.log("");
   const wants = await promptChoice("Formal verification at push?", FORMAL_CHOICES, "no");
   if (wants === "yes" && pluginMode) printInfo("  Plugin: the push check works now; /verity:verity-prove arrives with the plugin's next release.");
@@ -40019,7 +40200,7 @@ function registerInitCommand(program2) {
     const claudeInstalled = await checkPrerequisites(step);
     console.log("");
     if (pluginMode) {
-      printInfo("Skipping skills \u2014 the Verity plugin provides them, namespaced as /verity:<name>.");
+      step("Skills already installed by the plugin, namespaced as /verity:<name>");
     } else {
       await installSkills(force, step);
     }
@@ -40173,7 +40354,7 @@ function registerInitCommand(program2) {
         ...telemetryChoice ? { telemetry: telemetryChoice } : {},
         init: {
           completed_at: (/* @__PURE__ */ new Date()).toISOString(),
-          cli_version: true ? "0.34.0-experimental.d4649a0" : "dev"
+          cli_version: true ? "0.34.0-experimental.e086ee3" : "dev"
         }
       });
     } catch (err2) {
@@ -41587,7 +41768,7 @@ function refreshScaffold(root) {
 // src/commands/lean.ts
 var import_node_fs73 = require("node:fs");
 var import_node_child_process20 = require("node:child_process");
-var import_node_os11 = require("node:os");
+var import_node_os12 = require("node:os");
 var import_node_path56 = require("node:path");
 function registerLeanCommand(program2) {
   const lean = program2.command("lean").description("The Lean 4 toolchain formal verification needs (managed download, pinned by this CLI)");
@@ -41619,7 +41800,7 @@ function registerLeanCommand(program2) {
   lean.command("install").description("Download and unpack the pinned Lean 4 into ~/.verity/lean/<version> (official release, \u2248800 MB, 2.7 GB on disk)").option("--yes", "Do not ask").option("--force", "Reinstall even if present").action(async (opts) => {
     const asset = leanAssetName();
     if (!asset) {
-      printError(`no Lean release for ${(0, import_node_os11.platform)()}/${(0, import_node_os11.arch)()}`);
+      printError(`no Lean release for ${(0, import_node_os12.platform)()}/${(0, import_node_os12.arch)()}`);
       process.exit(2);
     }
     const dir = pinnedVersionDir();
@@ -41669,8 +41850,8 @@ function registerLeanCommand(program2) {
 }
 
 // src/cli.ts
-program.name("verity").description("CLI for Verity quality gate service").version("0.34.0-experimental.d4649a0").option("--token <token>", "Override authentication token").option("--service-url <url>", "Override service URL").option("--verbose", "Log HTTP requests/responses to stderr").hook("preAction", async (_thisCommand, actionCommand) => {
-  installStderrLog(actionCommand.name(), process.argv.slice(2), "0.34.0-experimental.d4649a0");
+program.name("verity").description("CLI for Verity quality gate service").version("0.34.0-experimental.e086ee3").option("--token <token>", "Override authentication token").option("--service-url <url>", "Override service URL").option("--verbose", "Log HTTP requests/responses to stderr").hook("preAction", async (_thisCommand, actionCommand) => {
+  installStderrLog(actionCommand.name(), process.argv.slice(2), "0.34.0-experimental.e086ee3");
   setUserNamedServiceUrl(program.opts().serviceUrl);
   try {
     await foldLegacyLocalCredential();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codacy/verity-cli",
-  "version": "0.34.0-experimental.d4649a0",
+  "version": "0.34.0-experimental.e086ee3",
   "description": "CLI for Verity quality gate service",
   "license": "SEE LICENSE IN LICENSE",
   "homepage": "https://verity.md",